 equal?
False
Let c = -0.04 - 2.96. Let t = -2 - c. Let j be (1/(-4))/((-1)/4). Is j > t?
False
Let j(d) = d**3 - 5*d**2 + 8*d - 2. Let h be j(2). Is -3 at most as big as h?
True
Let p = -5 - -3. Let w = -2 + 3.8. Let y = p + w. Is -0.1 smaller than y?
False
Suppose 2*m + 6 = -0*m. Suppose 0 = -f - 2*f - 3. Let y be (12/(-15))/(f/(-5)). Is y <= m?
True
Let d(n) = n**3 + n + 70*n**2 - 30*n**2 + 7 - 34*n**2. Suppose -z = -2*z - 6. Let q be d(z). Is 1 != q?
False
Suppose -4*c + 1 = -3*c. Does -16 = c?
False
Let t be 62/3*(-63)/(-14). Let b = t + -65. Let c be (4/(-14))/((-12)/b). Which is smaller: 0 or c?
0
Let m be (1472/336)/(1 - 10/6). Which is bigger: -8 or m?
m
Let r(k) = -k**3 - 9*k**2 - 8*k - 4. Let a be r(-8). Let d(m) = m - 15. Let h be d(9). Is a <= h?
False
Let s be (-2)/(-2) - (-2)/(-2). Suppose s*x + 7 = a + x, 2*a + 4*x - 24 = 0. Suppose 0 = -a*o - 0*o - 4. Is o at most -2?
True
Let b be 10*2*(-1)/4. Let s = -6 + -6. Let z = s - -8. Are b and z equal?
False
Suppose -4*t - 4*r + 16 = -0*r, -4*t - 5*r + 15 = 0. Suppose 0 = t*i - 10*i - 25. Is -4 < i?
False
Let v = 161 - 161. Suppose 2 = c - 0. Which is bigger: c or v?
c
Let z = 1.1 - 3.1. Let t(r) = r**3 + 6*r**2 + 6*r + 4. Let v be t(-5). Let m be (-3)/(-1) + (v - 0). Is z greater than m?
False
Let p(n) = -n**2 - n + 2. Let j be p(-2). Let a = -0.4 - -0.3. Which is bigger: a or j?
j
Let z = 19 - 20. Is z bigger than 41?
False
Let h = 55 + -57. Which is greater: -19/6 or h?
h
Suppose 0*w + 2*t + 222 = -2*w, -3*t = 12. Let l = 1071/10 + w. Is 1 less than or equal to l?
False
Suppose -7*a = -3*a. Suppose -4*b = 2*o - o - 11, b = o - 1. Let l be (1 - -1)/(-6 - o). Is a < l?
False
Let m be ((-1 - -2) + 0)/1. Let h be m/(-1*(-3)/(-12)). Suppose 4*o + 3 = -5. Which is smaller: o or h?
h
Let j be -6*(2 + (-15)/6). Which is bigger: -1 or j?
j
Let q be 25/4 - (-26)/(-104). Suppose 0 = -3*u - 3. Let s be u/(-1 + (-6)/(-7)). Does q = s?
False
Let h = 6 + -4. Let c be 2/1 + (3 - h). Let y = c - 3. Is y > -1/5?
True
Let b = -22 - -23. Is 4/5 at most as big as b?
True
Let w = 14 - 15. Let z = 1 + w. Is z less than 4/15?
True
Let m = -43/294 + -1/49. Let s(d) = -4*d + 5. Let h(y) = y - 1. Let c(n) = 3*h(n) + s(n). Let x be c(3). Is x >= m?
False
Let j = 0.97 + -1. Let c = j - 0.97. Is c smaller than 0.3?
True
Suppose 0 = 2*g + g. Suppose 3*n + q - 47 = 0, -6*n = -3*n + 3*q - 51. Let j be ((-4)/(-5))/(6/n). Which is smaller: j or g?
g
Let k = -25 - -43. Which is smaller: 17 or k?
17
Let g be (-12)/(-30) + (8/5)/(-2). Which is smaller: g or 0?
g
Let n = -19 + -11. Let i = n + 119/4. Which is smaller: 0 or i?
i
Let o = 105 + -737/7. Let t(d) = 4*d + 5. Let n(g) = 3*g + 6. Let r(f) = 3*n(f) - 2*t(f). Let j be r(-8). Is j at most o?
False
Let c(i) = 13*i + 3. Let t be c(1). Which is smaller: 15 or t?
15
Suppose 4*u - 1 = 3. Which is bigger: u or -1/77?
u
Let v(g) = -g**3 + 8*g**2 - 6*g - 2. Let t(f) = -3*f**3 + 24*f**2 - 18*f - 7. Let j(n) = -4*t(n) + 11*v(n). Let y be j(7). Are y and 1/5 nonequal?
True
Suppose 0 = 2*m - 2*z - 6, 2*m + z = -3*m - 9. Let r be m/6 + 2/(-4). Is r greater than or equal to -1?
True
Suppose a = 5 - 2, 0 = -4*b - 5*a - 29. Is b greater than or equal to -13?
True
Let p = -0.05 + 0.1. Let l = 326 + -324. Is p less than or equal to l?
True
Let x(f) = f**3 + 4*f**2 + 2*f + 3. Let n be x(-4). Let b be 13/n - (0 - 3). Let u = 0.2 + -0.3. Are u and b non-equal?
True
Let q be (3 - (-1 + 5)) + 3. Let y be (-18)/24*q/(-3). Let l = -0.1 + 0.2. Which is bigger: y or l?
y
Let x(h) = -h**2 - 8*h - 4. Let n be x(-7). Let f be 4/6*15/2. Is f less than n?
False
Let c = -13 + 17. Suppose -5*x + 3*m + 34 = m, c*m + 8 = 0. Which is smaller: 7 or x?
x
Let v(w) = -1 + 7 - 3*w + 8*w + w**2. Let p be v(-4). Suppose y - p = -4. Which is bigger: -3/4 or y?
-3/4
Let o = -17 + 29. Is 0.1 >= o?
False
Let l(o) = -4*o**3 - o**2 + o. Let p be l(-2). Which is smaller: p or 27?
p
Suppose -27 = 5*c + 2*v, 2*c + v - 2*v = -9. Let p be 2/c*(-1)/(-8). Let i = -1/5 + p. Which is smaller: i or 1?
i
Suppose -6*p + 19 = 4*z - p, 13 = -2*z + 5*p. Let v be (-10)/(-26)*(2/(-10))/(-1). Is v greater than z?
False
Let d = -11 + 7. Is d greater than -6?
True
Let n(o) = o**3 - 3*o**2 - 6*o + 4. Let b = 29 - 18. Suppose 5*t + y - 8 = 13, -3*t + y = -b. Let f be n(t). Is f smaller than -2/5?
True
Let h(b) = b + 5. Let o be h(0). Is o at least 6?
False
Let t be (-2)/6*-2*6/4. Is -2/31 > t?
False
Let b = 16/15 - 113/120. Is 0 < b?
True
Let c = -4 - -5. Let d = 9 - 9. Which is smaller: c or d?
d
Let a(z) = -z + 1. Let v(l) = -10*l**2 + l. Let y be v(1). Let j be a(y). Suppose g - 3 = 0, -5*d - g + j = -28. Does 7 = d?
True
Let u be (-1)/3*-1*15. Which is smaller: u or 4?
4
Suppose 3*i - 3 = 6*i. Are -4/11 and i non-equal?
True
Suppose 0*k = 3*k. Let m = 390/41 + -1/82. Let a = 9 - m. Is a >= k?
False
Let c = 62 - 90. Let x be ((-6)/10)/(c/(-10)). Let w = x + 23/42. Is 0 greater than w?
False
Let p = -10 + 9.76. Let y = 0.24 + p. Is -2/7 greater than y?
False
Suppose -5*c = -5*k + 25, -2*k - k + 27 = c. Let b be 1*4/k*-4. Is b != -2?
False
Let y be (-12)/(-28) + 40/(-175). Let d = 3.03 - 0.03. Is y at least d?
False
Let x = 1.65 - 1.5. Let u = x - 0.15. Which is bigger: 14 or u?
14
Suppose 2*o - 14 = 2*p, p - 2*o = 4*p + 16. Let j = 30 - 37. Which is bigger: j or p?
p
Suppose p = 3*p. Let x = -31 + 31. Is p less than x?
False
Let v be (1 - (-820)/(-824))/((-1)/(-4)). Which is greater: v or 1?
1
Let g(a) = -4*a + 26. Let w be g(6). Let p(f) = -f**2 - f + 4. Let i be p(0). Suppose -w*h + 0 = -i. Which is bigger: h or 1?
h
Let r = 1 - 2. Let a = 1.3 + 0.7. Let t = -7 + a. Are t and r unequal?
True
Let k(m) be the second derivative of -m**5/20 - 11*m**4/12 - m**3/6 - 11*m**2/2 + 4*m. Let o be k(-11). Do -2 and o have different values?
True
Let m = 0.925 - -0.075. Are m and 0.037 nonequal?
True
Let b be ((3/(-6)*-106)/(-2))/1. Is -28 at least as big as b?
False
Let b = -6.03 + 6. Let k = -5 + 7. Do k and b have the same value?
False
Suppose -13 = -p - 3*l, -3*p = -0*p - l - 19. Let c = -23/3 + p. Is 0.3 at least c?
True
Let c = -1300822/267 + 4872. Let g = c + 791/1335. Let o(r) = -2*r**2 + 2*r - 1. Let q be o(1). Which is smaller: g or q?
q
Suppose 0 = -3*m + 5*m. Are -1/11 and m unequal?
True
Let y be -1 - 0 - -1 - (-7 - 1). Let n be 2/(-2)*-5 + 2. Is y bigger than n?
True
Let h = -524/3237 + 2/249. Which is smaller: h or 0.1?
h
Let c = 0.05 + 0.35. Let n = c - -0.6. Let d = 0 - n. Is d smaller than 3?
True
Let u = 4 + 2. Which is smaller: u or 7?
u
Let g = 0.4 + 0.6. Let r = -6.7 + 0.7. Let v = r - -8. Which is smaller: v or g?
g
Let f be -1*(-3 + 5 - 2). Suppose -6 = -7*k + 4*k - m, -18 = -3*k - 5*m. Is k >= f?
True
Let t be (-2 - (3 - 2))*-3. Suppose 2*d = t + 23. Is 16 at most as big as d?
True
Let q = 67286/63 - 1068. Is -1 < q?
True
Let z = -4.9 + 6. Let g = z + -0.1. Which is smaller: g or -0.2?
-0.2
Let y be -4 + (6/3 - 0). Let k be 3/6 - y/(-4). Is -3 at most as big as k?
True
Let j = -45 + 31. Let s = 19 + j. Which is bigger: s or -2?
s
Suppose q = h + 5*q - 14, 3*h + 5*q - 7 = 0. Let j be ((-3)/h)/(1/(-2)). Is j greater than 0?
False
Let y(o) = -2*o + 0 + 1 - 15. Let c be y(-10). Suppose 0 = -3*x + 4*x + c. Is x != -6?
False
Let m = -281 + 201. Is m greater than or equal to -80?
True
Let p = 8 - -3. Let l = p - 8. Which is smaller: l or 4?
l
Let y(x) = -x**3 - 11*x**2 + 13*x + 27. Let h be y(-12). Let k(d) = 6*d - 2. Let v be k(3). Are h and v equal?
False
Let u = 194/9 - 21. Is 0 > u?
False
Suppose -b = -4*b. Is b bigger than -3/11?
True
Let p(a) = -4*a + 0*a + 8 + 3*a. Let u be p(6). Suppose u*x + 3*x = 5. Which is greater: 2 or x?
2
Let c be (6/(-15))/(-4 + (-108)/(-30)). Is -1/150 equal to c?
False
Let b = -14 + 23. Let q = b - 6. Let l = 12 + -8. Which is greater: q or l?
l
Let p = -23 + 22. Is p != 3/7?
True
Suppose -3*b - 5 = -8*b. Are -6/19 and b unequal?
True
Let o(n) = -2*n. Let k be o(-3). Suppose 0 = -4*j - a - 17, -k = -5*j + a - 16. Let r be (2/(-24) + 0)*j. Which is greater: 2 or r?
2
Let z = 6 - 12. Let m(l) be the second derivative of l**5/20 + 5*l**4/12 - 2*l**3/3 + 3*l**2 + l. Let u be m(z). Which is bigger: 0 or u?
0
Suppose 3*z - 4*r = -0*z + 31, 15 = z + r. Which is smaller: z or 12?
12
Let x = 0 -