-1?
True
Let m = -44.2 + 41. Let c = 3 + m. Let n = -8/13 - -82/91. Do c and n have different values?
True
Let r = 2 - 2. Suppose -4 = -r*x + 2*x. Suppose -4*n + n = 6. Is n < x?
False
Let x be ((-2)/(-76))/((-2)/(-4)). Suppose -2 + 1 = -h. Which is smaller: x or h?
x
Let x be 9/(-102)*64/24. Which is bigger: -1 or x?
x
Let m = -2.61 + 0.11. Let j = -0.5 - m. Let o = 1 - j. Are o and 0 nonequal?
True
Let d = -20 - -28. Suppose -3*x + 7 = 2*z, -z + 4*x - 5 = d. Suppose -3*w = -2*w. Is w smaller than z?
False
Suppose -8 = -2*a - 0. Let t = 6 - a. Is 2/5 greater than t?
False
Suppose 4*b - 36 = 2*q, -b - 1 = 4*q + 8. Let o be (-5 + 7)/(2/b). Is 7 bigger than o?
False
Let o(z) = z + 2. Let g be o(-5). Let p be (1 - -7) + (-3)/g. Do p and 8 have different values?
True
Suppose 0 = r - 3*k + 12, 3*k - 12 = -4*r + 9*r. Is r less than 2/59?
True
Let d = -135 - -134. Do d and -95 have different values?
True
Let r = 12 + -7. Let k be (5/(30/13))/((-4)/(-8)). Is r greater than or equal to k?
True
Suppose 5*c = 6*c + 3. Which is smaller: c or -5?
-5
Suppose 2*m - 5*x = -15, x = 4*m + 3 - 0. Let h(b) = 2*b**2 + b + 1. Let z be h(-1). Let r be (z/20)/(2/4). Are m and r non-equal?
True
Let h(u) be the second derivative of -u**4/12 + 2*u**3/3 - u**2 - 4*u. Let t be h(5). Does -7 = t?
True
Let m be -3*2/(-18)*3. Which is bigger: m or -2?
m
Let c(p) be the third derivative of p**6/120 - p**5/30 - p**4/24 - p**3/6 - 2*p**2. Let y be c(2). Is -3 smaller than y?
False
Suppose 0 = -0*s + 3*s - g - 39, -5*g + 1 = -s. Let v = 5 - s. Is v less than or equal to -9?
True
Let z = -6 + -1. Which is smaller: -5 or z?
z
Let a = 0.07 - -0.23. Let k = -0.12 - -0.02. Let u = a + k. Are -1 and u equal?
False
Let u = -41/6 - -7. Suppose -3*n - 5*n = -n. Which is smaller: u or n?
n
Suppose 0*b - 4*x + 9 = b, 2*x = 0. Which is bigger: 5 or b?
b
Let f(y) = 4*y**2 + 6*y - 4. Let l(i) = 9*i**2 + 13*i - 9. Let g(b) = -7*f(b) + 3*l(b). Let v be g(-2). Suppose 2*d - 2 = -k - 5, v*k = -5*d - 6. Does d = -4?
False
Suppose -j + 5 = -6*j. Let x be -2 + (2 - (-1)/j). Which is smaller: x or 3/7?
x
Let n be (8/12)/((-6)/(-27)). Suppose -12 = -n*u - u. Is u != 2?
True
Let c(l) = -2*l + 8. Let o be c(6). Let j be 5*2*o/(-10). Let y be j/12 - (2 + -1). Is -1 >= y?
False
Let r = 14 - 12. Let c = -4 - -8. Let l = c + -3.7. Is r not equal to l?
True
Suppose -4*w - 177 = -937. Let s be (-2)/w*2*-5. Which is bigger: -1 or s?
s
Let f be -1*2/((-8)/(-4)). Which is smaller: -3 or f?
-3
Let k(x) = -x - 25. Let j be k(0). Let s = -33 - j. Is s less than -10?
False
Let w(x) = -5 - 3*x + 1 + 1. Let p be w(-2). Let r be -4 + 3 + (3 - p). Which is smaller: r or -5/3?
-5/3
Suppose 2*t - 2*v = 7*t - 166, 40 = t - 3*v. Is 34 equal to t?
True
Let d = -10 + 13. Suppose -3*p + 2*i = -d*i - 5, -p + i = -1. Is p at least as big as -3/4?
True
Let d = 34 + -305/9. Suppose 10 = 18*w - 8. Which is smaller: d or w?
d
Let w = 10.006 + -0.006. Which is greater: w or 2?
w
Let s be (-5)/(-6)*(-2)/5. Is 1 < s?
False
Suppose q - 2 + 1 = 0. Suppose -2*x = -x. Let h be x*3*(-2)/(-12). Do h and q have the same value?
False
Let c = 19 + -56/3. Let n = -6 - -4. Let u be -8*n/4 - 3. Which is greater: u or c?
u
Let w be -2*(0 + 4)*-2. Suppose -4*s + w = 2*a, s = 6*s - 15. Suppose -6 = -2*n - 0*n. Which is bigger: a or n?
n
Suppose -2 = 3*y + 5*u + 11, -3*y + 4*u + 32 = 0. Suppose -6*k - y = -2*k. Are k and 1/8 nonequal?
True
Let v = 3.5 - 1.5. Is v bigger than -1/5?
True
Let i be (-2154)/(-11112)*(-72)/10. Let r be (2/(-926))/((-1)/2). Let g = i - r. Do g and -2 have different values?
True
Let m = 9 - 3. Suppose h + m = 4*h. Is h bigger than -2?
True
Let x(h) = h - 2. Let d = 9 - 5. Let q be x(d). Let m = q - -2. Which is smaller: 5 or m?
m
Let r = 149/28 - 23/4. Is -2/27 less than r?
False
Let g(q) = q**2 - 5*q - 10. Let a be g(7). Suppose 3*y + 3*j - 3 = 6*y, 5*j + 45 = -5*y. Let l = a + y. Which is smaller: l or -1/6?
l
Let k = 32 + -287/9. Suppose 0 = -6*t - 8*t - 14. Are k and t nonequal?
True
Let q be (-21)/(-6) + (-1)/2. Suppose 4*f - f = -q. Is f bigger than -1/4?
False
Let a be 52/20 + (-3)/5. Which is smaller: 3 or a?
a
Let n(h) = h**2 + h + 1. Let y(r) = -2*r**3 + 2*r**2 + 7*r + 7. Let q(p) = 4*n(p) - y(p). Let i be q(-2). Let j be ((-2)/i)/(8/10). Which is smaller: 1 or j?
j
Let l = 1817 + -5567/3. Which is bigger: -40 or l?
l
Suppose 2 = 2*h - 2. Suppose 5*x - 28 = h*z, 4*x - 3*z - 24 = x. Suppose x*s + 2 + 18 = -4*v, v - 31 = 5*s. Which is smaller: -7 or s?
-7
Let n = -1/10 - 2/5. Suppose 0 = -6*t + t - 10. Let b be t*((-34)/18 - -2). Which is greater: n or b?
b
Let s be (-1)/10*30/4. Is s greater than or equal to -1?
True
Let j = -136 + 59. Is -79 > j?
False
Let v(n) be the first derivative of n**3/3 + 11*n**2/2 - 9*n - 4. Let w be v(-12). Let h be (-4)/(-10)*(0 - w). Is -2 <= h?
True
Let z be (0 - 2)*(-2)/(-6). Suppose 0*k = 5*k. Is z equal to k?
False
Suppose 0 = -5*y - 0 - 5. Let l be (-5)/15 - (y - 28). Let v = -28 + l. Is v != 1?
True
Let i = 4.07 + -0.07. Let q = i + -4. Is 1/2 < q?
False
Let g = 0 - -6. Let c = g - 10. Let a be (-2)/c*(-4)/15. Do -1 and a have different values?
True
Let u be 5*4/20 - 9. Let z(w) = -2*w + w**2 + 11 - 2*w**2 - 5*w. Let n be z(u). Is n at least 1?
True
Let r(j) = j**2 + 6. Let h be r(0). Suppose -59 = 5*b - 19. Let q = b + 13. Which is greater: q or h?
h
Suppose -3*q - 3*g = 0, 0*q + 2*g = q - 6. Is q > 3/4?
True
Let p = -711 - -7829/11. Let y be (-8)/(-168)*-6*-7. Which is smaller: p or y?
p
Suppose 0 = -2*q - 3*w + 89, 0*w + 27 = q - 2*w. Let z = q - 553/15. Which is smaller: 0 or z?
0
Let j be (-18)/(-1) + 12 + -10. Are j and 21 non-equal?
True
Suppose -45*m + 49*m + 8 = 0. Does m = -2?
True
Let m = 1232 - 3661/3. Which is smaller: 12 or m?
m
Let n(x) = x**2 + 5*x - 6. Let z be n(-5). Let q be (12/z)/(1*-2). Which is smaller: 2/9 or q?
2/9
Let p(f) be the first derivative of 3*f**2/2 - 3. Suppose 4*x = 2*x - 2. Let m be p(x). Are -3 and m non-equal?
False
Let z be (3 - 0)*(-8 - 1). Is z at least as big as -27?
True
Let k(c) = 3*c**3 - c**2. Let t be k(-1). Suppose -j - 3*j + 5 = q, -10 = j + 4*q. Which is greater: t or j?
j
Suppose 5*j + 3*t = -36, 3*t + 1 = -5. Which is bigger: j or -2?
-2
Let q = 131 + -263/2. Which is bigger: q or -2/3?
q
Let b = -0.66 + 0.7. Let a = -1.96 - b. Which is smaller: a or -0.6?
a
Let p = 9 + -5. Suppose -20 = l + 5*r, p*l + 25 = -2*r - 1. Let g be (1/3)/(l/3). Which is smaller: g or -1/3?
-1/3
Let r = 15 - 14.9. Let c = 64 - 40. Let x = -74/3 + c. Are x and r equal?
False
Suppose -q + 0 + 16 = 0. Is 49/3 equal to q?
False
Let x be (-78)/45 - 12/(-30). Suppose -2*r + 5*n + 17 + 7 = 0, 0 = -r + n + 6. Suppose r*t + 8 = 2, b = t + 2. Is x smaller than b?
True
Let c(f) = -f**3 - 4*f**2 - 3*f - 1. Let k be c(-3). Is k less than 6/17?
True
Let u(f) = 20*f**2. Let h be u(1). Suppose 2*y - 6*y - h = 0. Let m be (0/(-3) + -6)/y. Which is greater: m or 0?
m
Let a = 17 + -22. Is a at most as big as -14/3?
True
Suppose 0 = 4*u - 2*u - 3*z - 29, 43 = 4*u - z. Let j be 15/u*10/(-3). Which is greater: j or -15/4?
-15/4
Suppose -r + 2*c - 4 = 3*r, 5*c + 8 = 4*r. Let g be (-1)/1 - (-1)/r. Which is bigger: -1 or g?
-1
Suppose -w + 3*b - 6*b = -12, b = -4*w + 4. Suppose -4*n + 0*n + 4 = w. Is 0 greater than n?
False
Let a = -183 - -3845/21. Is -1 at least as big as a?
False
Suppose 5*y + 2*k = -15, 0 = 9*y - 12*y + 4*k + 17. Is -12/29 greater than or equal to y?
True
Let s = -5 + 9. Suppose s*c - 8 = 8. Let m = c + -2. Which is smaller: m or 3?
m
Let f = 0 - -1. Let l be f - (3 - (-1 - -3)). Suppose -5*a + 1 + 4 = l. Which is smaller: a or 3/4?
3/4
Let m(a) = a + 5. Let l be m(4). Let f be 2/l*(-9)/(-6). Does f = 0?
False
Suppose -4 = -2*v + v. Suppose a - 4*w + 2 - v = 0, -4*w + 4 = -2*a. Which is bigger: a or -7?
a
Let o = -0.01 - 0.06. Let j = 1.93 - o. Which is bigger: j or -1?
j
Let x = -19 + 18. Is x < 0.1?
True
Let b = 11.7 - 9. Is b at least as big as 2/3?
True
Let t be (-3)/(-6) + 0 + 570/(-20). Which is bigger: t or -24?
-24
Suppose 0*o + 5*o + c = -284, -3*o + 4*c - 152 = 0. Let n = -337/6 - o. Which is bigger: n or 0?
0
Suppose 2 = s + 4. Let u be (s + 364/184)*4. Which is bigger: 0 or u?
0
Let z = 2/71 + -217/142. Do z and -0.05 have the same value?
F