46/(-42)). Is a at least k?
True
Let k(x) = -5*x**3 + 5*x**2 - 6*x + 4. Let w be k(4). Let s be 4/26 + (-116)/w. Which is smaller: -1 or s?
-1
Let w = 0 - -3. Suppose 15 = w*p - h + 2, -5*p + h + 21 = 0. Suppose 0 = -4*m + 6*m - 10, j = p*m - 18. Which is greater: 1 or j?
j
Suppose -y - 3*y = 16. Let h be 100/(-16) + (-1)/y. Let s be 3/h*(-6)/(-7). Which is greater: 1 or s?
1
Suppose a - 4*p = -4*a + 23, 0 = 5*a - 5*p - 20. Let f(z) = -14*z**3 - 8 + 8*z**2 - 6*z + 23*z**3 - 10*z**3. Let o be f(a). Which is smaller: -2 or o?
-2
Let m be 84/16 + -2 - 1/4. Is m not equal to 7?
True
Let f be 1*-2 - ((-2226)/372 + 4). Is -1 at most f?
True
Suppose 3*q = 4*q + 13. Let k = 12 + q. Which is smaller: 2 or k?
k
Suppose n + 4*t - t + 16 = 0, -5*n = -2*t - 5. Let a be 12/2*(-2)/(-4). Let w be 2/a*(-6)/(-14). Which is smaller: n or w?
n
Let v be -1 - ((-6)/(-21) + -1). Let d = -9 + 10. Is v bigger than d?
False
Let d(j) = 2*j - 4. Let z be d(4). Suppose 3*a = -p + 26, -5*a + a + z*p + 8 = 0. Is a < 6?
False
Let y = -3 - -1. Let b = -94 - -753/8. Is b greater than y?
True
Let h(z) = z**2 + 4*z - 10. Let w be h(-6). Which is smaller: 10/9 or w?
10/9
Let d = -1.68 + 0.18. Let r = d + 2.5. Is r at most as big as -15?
False
Let l be (-5)/(-25)*2 + 1*-3. Let j be (-1)/(-4) - 34/8. Which is greater: j or l?
l
Let h = -6.5 + 5. Which is smaller: 2/3 or h?
h
Let u(d) = 21*d + 8. Let l be u(2). Which is greater: l or 52?
52
Let o be (-6)/(-70) + (-3)/(-15). Let v = -1.6 + -0.4. Let h = v - -1.9. Is h greater than o?
False
Let z = 10.8 + 0.2. Let y = z + -11. Suppose -f = -0*f. Is f bigger than y?
False
Let c be 0 + 10 + (-3 - -1). Let s be c/(-42)*1/8. Let t = s - -23/84. Is 0 smaller than t?
True
Suppose -100*c + 190 = -98*c. Are 96 and c non-equal?
True
Suppose 0 = y - 2*h - 1, -20 = -2*y - 5*h - 9. Let l be (-2)/y*(-6)/(-4). Suppose 3*d + 1 = 3*s + d, 0 = -2*s - 2*d + 4. Which is greater: s or l?
s
Suppose -2*r + 0 + 2 = 0. Are r and 1 unequal?
False
Suppose 0 = 5*t + 1 + 19. Let l(q) = q**3 + 3*q**2 - 5*q - 6. Let v be l(t). Are v and -2 nonequal?
False
Let c be (-13)/(-2) - (-5)/(-10). Suppose 4*b = c*b + 2*z - 12, 4*z - 18 = -b. Is 2 smaller than b?
False
Let p(c) = c**3 + 9*c**2 - 12*c - 15. Let s be p(-10). Let m be 0/(-2) + -4 + s. Which is smaller: 0 or m?
0
Let u(a) = 5*a**2 + 1. Let d be u(1). Let g(w) = w**2 - 5*w + 6. Let b be g(d). Let v be (b/9)/((-10)/(-3)). Which is bigger: v or 3/8?
v
Suppose 9*y - 10*y + 37 = 0. Is 37 at least as big as y?
True
Suppose 1 = -l + 2. Let n(h) = -h. Let g = 5 + -6. Let m be n(g). Are m and l non-equal?
False
Suppose 6 = -p + 7. Let t = 3 - p. Let z = t - 3. Is -2 >= z?
False
Let g = 0.235 - 0.035. Which is greater: g or -2?
g
Let a be (1 + (-66)/64)*-3. Let g = -821/5408 + -3/676. Let n = a - g. Which is greater: -3 or n?
n
Let s(v) = 2*v**2 + v. Let y be s(1). Let m be -5*y*(-4)/(-30). Let j = -2 - m. Are 0 and j equal?
True
Let f be (-2)/(-4) + (-1)/(-22). Is f < 0?
False
Let m(o) = 3*o**2 + o. Let q be m(1). Suppose q*i = 121 - 17. Let x = i + -38. Does -11 = x?
False
Let g be 3/(-9)*5/((-5)/(-3)). Which is greater: 2/19 or g?
2/19
Let x(n) = -n**3 - 7*n**2 - 4*n + 2. Let g be x(-2). Which is greater: g or -12?
g
Let m = 1 + -1. Let p be ((-6)/(-9))/((-12)/(-9))*-2. Which is smaller: p or m?
p
Suppose -5*m - 10 = 5*p - 0*m, 2*p = -m - 6. Let i be (1 + 0)/((-15)/30). Which is bigger: p or i?
i
Let c = -58 - -88. Let g be ((-8)/24)/((-2)/c). Is g less than or equal to 5?
True
Let v be -1 + ((-240)/116 - -3). Is v <= 1?
True
Let f = -24.2 - -24. Let k = f + 1. Which is smaller: -0.1 or k?
-0.1
Suppose 5*p + u - 4 = -14, u = 5*p + 10. Which is smaller: p or 2?
p
Let m = -2.3 + 2. Let c = m + 0.1. Let v = -0.2 - c. Which is greater: v or -1/5?
v
Suppose -5 = -4*y + y + 5*p, 3*p + 17 = -y. Is y less than -4?
True
Suppose -2*f = -6*f + 52. Is 13 smaller than f?
False
Let y be (-3 + (-7)/(-2))*86. Suppose 0 = -4*s - y + 3. Which is smaller: s or -11?
-11
Let n be 16/(-10) - (-4 - -1). Is 1 not equal to n?
True
Let m(x) = -x**3 - 5*x**2 + 7*x + 8. Let p be m(-6). Suppose 4 = p*y - 3*y. Is -4 > y?
False
Let w = 15 - 14. Let a = -105 - -1997/19. Is w not equal to a?
True
Let q = 1 + -1. Let x = q - 0.1. Let k be 28/(-42) + (-16)/(-6). Is x at least as big as k?
False
Let b = 6.97 - 7. Let x = b + 0.09. Which is bigger: 0.1 or x?
0.1
Let s = -13 - -25. Let l(m) = -11*m**2 - 2*m - 1. Let k be l(-1). Let w be k/(-3)*s/(-10). Does -5 = w?
False
Let x = 9 + -13. Is x not equal to 2?
True
Let q be (-9)/(-11) - 2/(-11). Suppose q = -2*m + 3. Is m less than 1/7?
False
Let j = 51 + -52. Suppose -4*n = 4*i, 2*i - 27 = 5*n - 2*i. Are n and j non-equal?
True
Let b = 40 - 29. Let o = b - 8. Suppose 0*i = i - 3. Is o less than or equal to i?
True
Let r be 6/(-12) - (-3)/2. Let n be ((-3)/(-2) - r)*0. Which is smaller: 1 or n?
n
Let b(w) = -w**2 - 8*w - 16. Let j be b(-5). Suppose -2*n - 1 - 17 = 3*r, 1 = -4*r + 5*n. Is j < r?
False
Let m(a) = 4*a**2 - 1. Let j be m(-1). Suppose 7 = 4*q - 5. Is q >= j?
True
Let o = 8515/21 - 405. Are o and 0 equal?
False
Suppose -3*l + 1 = -3*h - 11, -12 = -5*l + 3*h. Which is greater: l or -2/99?
l
Let g be (-2)/(-4) + 1/4. Suppose -9*q = -4*q. Let z be q/(2 + -4)*1. Is g <= z?
False
Let o be 0*4/(-36)*3. Do o and -1/10 have the same value?
False
Suppose 0 = -5*q + 3*q. Suppose -5*n = -q*n. Is n != -1?
True
Suppose r - 9 = -4. Let h(n) = -n**2 - 5*n - 4. Let z be h(-3). Let j = r - z. Is 3 < j?
False
Let o = -15 - -14. Do 0 and o have the same value?
False
Let m = -36 + 254/7. Let d be (-1)/(-3) + (-100)/12. Is m at most as big as d?
False
Let z(v) = 27*v**2 + 2*v - 26*v**2 + 2 + 2*v - 2*v. Let p be 3/(1 - 5/2). Let n be z(p). Which is greater: 8/3 or n?
8/3
Let s = 21 - 8. Which is smaller: 14 or s?
s
Suppose 0 = i + 2*d + 10, -2*i + 6*i + 30 = 2*d. Let n be -3*(-7)/((-84)/i). Let q be 18/4 - (4 - 1). Is n less than or equal to q?
False
Let l(f) = 2*f + 3. Let i be l(-6). Let g(b) = -4*b + 6. Let r be g(4). Is i greater than r?
True
Let o = 1/16 + -69/80. Let h(s) = s + 3. Let y be h(-5). Are o and y equal?
False
Let z = -79 + 87. Is z at most 2/7?
False
Suppose 34 - 30 = -2*m. Let u = 15 - 11. Let t = u - 5. Which is smaller: t or m?
m
Let q be (10 - 7) + 2*22/(-4). Is -7 at least q?
True
Let z be -9*(-4 - (-30)/9). Are z and 5 nonequal?
True
Let m = 10 - 10. Is m greater than -2/7?
True
Suppose 0*n + 42 = 3*n. Let b = n + -9. Suppose 43 = b*z - 5*h + 18, -2*h - 16 = -3*z. Which is bigger: 5 or z?
z
Let x = -3 - 4. Which is bigger: -8 or x?
x
Suppose -2 = d + 2*m - 13, -4*m = d - 21. Suppose s = -0*s - 3. Let j = s + 2. Is j less than or equal to d?
True
Let y(d) = -d**3 + 4*d**2 - 4*d. Let j be y(3). Let o be (-11)/j - 10/15. Are 3 and o non-equal?
False
Let l = 17 + -14. Let h = -4 + l. Which is bigger: h or -3?
h
Let t be ((-3)/2)/(-3)*6. Suppose m = -t*g, -4*g = -3*g + m. Is 3/7 less than g?
False
Suppose -g + 13 = 159. Let z = -587/4 - g. Suppose -2*p - 7 + 3 = 0. Which is bigger: p or z?
z
Suppose 0 = -12*f + 6*f - 48. Is f > -15/2?
False
Let q = 6/169 - 2583/1352. Let x = -17/8 - q. Let d = 7/12 + x. Which is bigger: d or 1?
1
Suppose 2*g = 7 - 1. Suppose 0 = -y + 5*y - 16. Let j be 12/y - (0 + 0). Is g > j?
False
Let y = -162/11 - -313/22. Is 0.07 not equal to y?
True
Let s = -73 - -75. Is -1.2 > s?
False
Let v be (-90)/60*(-4)/6. Is v smaller than -1/91?
False
Let f = 27 + -17. Suppose 0*v + f = -v - j, 50 = -5*v - 2*j. Which is smaller: v or -9?
v
Let c(v) = -3*v - 9. Let x be c(5). Let a = -7 - x. Is a less than 16?
False
Let a be 1 + 1 + -3 - 6. Is -4 >= a?
True
Let b = -108 - -211/2. Let l = 0.2 + -0.1. Which is smaller: l or b?
b
Let v = 0.7 - 0.9. Which is bigger: 2/3 or v?
2/3
Let r be ((-2)/(-4))/(2/(-4)). Is 0 bigger than r?
True
Let a = -164 + 131. Do a and -0.1 have different values?
True
Let t(j) = -43*j + 34. Let m be t(3). Are m and -96 nonequal?
True
Let l(s) = -s**2 - 4*s - 2. Let q be l(-3). Let y = -3 - q. Is y less than -8/3?
True
Let t = -25 + 6. Is -18 != t?
True
Suppose -20 = 5*s + 5*v, 16 = -s - 2*s - 5*v. Let y be ((-16)/12)/(s/3). Which is bigger: y or 3?
3
Let l be 4 - 6 - (-1 - -3). Suppose -x - 4 = -16. Let n = 7 - x. Is n at most as big as l?
True
Let m(a) = a*