 Is 6 < m?
False
Let i = 19 - 17. Let t be 231/(-220) + 4/5. Which is smaller: t or i?
t
Let k = -4/17 - -54/85. Let z = 23.11 + -23. Let f = 7.89 + z. Which is bigger: k or f?
f
Let o = -144/7 + 19. Are o and -1 nonequal?
True
Let i(t) = t**3 + 3*t**2 - 2. Let q be i(-2). Suppose -2 = 2*x - q*m - 8, -5*m + 3 = 4*x. Suppose -x*z = 2*z. Is z not equal to 7/5?
True
Let v be ((-2)/(-21))/((-16)/24). Let m(p) be the first derivative of p**3/3 - 2*p**2 + 3*p - 1. Let s be m(3). Which is smaller: v or s?
v
Suppose t = 29*t - 420. Which is smaller: t or -3?
-3
Let y = 2149.9 + -2140. Which is smaller: -2/5 or y?
-2/5
Suppose 0 = 4*t - 5*t - 55. Are t and -57 equal?
False
Let d be 3/18 - (-127)/(-978). Let z = d + 200/3423. Let c be (15/(-12) + 1)*(-2 + -2). Which is greater: c or z?
c
Suppose t = 26 - 27. Let x(z) = 61*z + 1. Let w be x(-1). Let s be (-4)/(-6) - (-16)/w. Which is greater: s or t?
s
Let u = 595.39 + -598. Is u bigger than 0?
False
Suppose 5*n + 25 = -5*m, -m + 5*n - 3*n - 17 = 0. Let j(q) = -q**3 - 10*q**2 + 15*q + 32. Let t be j(-11). Does m = t?
False
Let i = -4 - 1. Let o(k) = k**2 - 3*k - 7. Let g be o(i). Suppose 3*n + 3*c = g, -6*c - 23 = -5*n - 3*c. Do n and 7 have the same value?
True
Let i = -29.71 - 0.29. Let c = -42 - i. Let v = 11.6 + c. Which is smaller: -0.2 or v?
v
Suppose -36 = 3*j - 15*j. Suppose -j*a - 219 = -222. Which is smaller: -3/44 or a?
-3/44
Let j = -60 - -55. Let c be (-1 + 5)*(j + (-276)/(-56)). Which is greater: c or 103?
103
Let l = -80392 + 130104. Let y = l + -696615/14. Let z = 93/2 + y. Does z = -6?
False
Let k = 308/855 - 6/19. Let z = 22 - 23. Is k less than or equal to z?
False
Suppose -5*w - 3*z = -130, 0 = -w + 5*z - 14 + 68. Suppose -8*j = w + 19. Is j greater than -2?
False
Let d be 4/10 - (10 - 31066/3235). Is d at most -1?
False
Suppose -43*j - 840 = -22*j. Which is bigger: j or -10?
-10
Let o be (-57)/108 - (54/(-24) + 2). Which is greater: 0.2 or o?
0.2
Suppose -8*o = 6*o - 28. Suppose o*x - 26 = 64. Which is smaller: 44 or x?
44
Let d be ((-9)/2736)/(-5 - -6). Is 1 at least d?
True
Let g = -39 + 35.5. Is 1/4 greater than or equal to g?
True
Let s(u) = u**2 - 23*u + 17. Let p be s(-5). Which is smaller: 159 or p?
p
Let y = 41.7 - 46.7. Which is smaller: y or -0.06?
y
Let s = 1.59 + -0.29. Let l = -1.25 + s. Let b = 0.25 + -0.05. Is l less than or equal to b?
True
Let u = 48 + -42. Let c(b) = -4*b**3 + 2*b**2 + b. Let t be c(-1). Suppose -39 = -t*s - 4*p, -4*s - 2*p + 20 = -10. Which is greater: u or s?
s
Let b be 1590/(-135) - 2/9. Let l be (2 - 1)/((b/4)/(-51)). Let v be (-4)/(-10) + (-83)/(-5). Is l <= v?
True
Suppose 5*g - 69 = 12*a - 15*a, 0 = -4*g + 2*a + 42. Which is greater: 25/2 or g?
25/2
Suppose 5*j - 64 = 4*s - 5*s, -3*j = 5*s - 276. Are 59 and s equal?
False
Suppose 4*k = 3*s, -7*s + 8*s = 3*k. Let j = -1 + 3. Let y = j - -3. Which is smaller: y or s?
s
Let d(u) = -u**2 - 9*u - 8. Let g(x) = x - 7. Let n be g(0). Let l be d(n). Suppose m + 5*m - 36 = 0. Is m at most as big as l?
True
Let k = 13.87 - -1.93. Let m = 16 - k. Is 4/11 at least m?
True
Let t = -29.073 - -0.073. Let y = 30 + t. Let h = 199 + -3581/18. Is h at most as big as y?
True
Let m(h) = 9*h - 2. Suppose 0 = -3*c - 1 - 2. Let t be m(c). Let a = -13 - t. Is -2 at least as big as a?
True
Let w = -1.289 - -0.089. Let t = w + 1.1. Let f be (-5)/(-2) + 2/(-4). Is t > f?
False
Let n be -2 + 0/(-3) + 0. Let t be 7/35 + (-6778)/9240. Let x = t - 1/84. Is n not equal to x?
True
Let f = 178 - 138. Which is greater: 39 or f?
f
Let k = 0.238 - 0.138. Which is bigger: k or 1.455?
1.455
Let l = 138 + -1530/11. Let f = -3 + 22. Let z = f + -21. Which is bigger: z or l?
l
Suppose -2*w = -3*w + 24. Suppose -5*z + w + 11 = 0. Let r = 9 - z. Is r at most 2?
True
Let a be (16/(-36))/(5/(-6)). Is 0 not equal to a?
True
Let w be 2/17*54/108*-2. Which is smaller: 0.31 or w?
w
Let m = -889 + 905. Which is smaller: m or 174/11?
174/11
Let d = 0.531 - 0.571. Let u be 62/(-4) - (-1)/(-4). Let k = u + 16. Which is smaller: d or k?
d
Suppose 9*l = 6*l + 24. Let u = l + -7. Which is bigger: 1/36 or u?
u
Let a = -39/121 - -6124/605. Is a bigger than 11?
False
Let j(u) = -u**3 - 9*u**2 + 10. Let t be j(-9). Let r be (t/(-12))/(153/30). Let y = 1/17 - r. Which is bigger: -2 or y?
y
Let d be (4/6)/((-2)/6). Let f(x) = -x**3 + 11*x**2 - 17*x - 13. Suppose 3 + 33 = 4*c. Let z be f(c). Which is greater: d or z?
d
Let o = 2583/4 - 646. Which is smaller: -19.9 or o?
-19.9
Let s be 43/(-20)*(-45)/36 + -3. Which is smaller: -1/2 or s?
-1/2
Let h = -48 + 50. Suppose -h*o = -y - 3*y + 16, 5*o = 4*y - 16. Is -7/19 at most as big as o?
True
Let m = -199 + 53. Let g be (-289)/m - (-3 + 5). Let l = g + -1013/438. Which is bigger: l or -3?
l
Suppose -17 = 5*a - 2. Let m(v) = 4*v**2 + 9*v + 9. Let c be m(-5). Let n be 1 + c/20 + a. Is n less than or equal to 2?
True
Let n(b) = b**2 - 3*b + 4. Let d be n(3). Suppose d*l = -3*l. Suppose -42 = 2*t + 3*q, -3*t + l*q - 64 = 5*q. Is t != -17?
True
Let p = -4 + -9. Suppose y = u - 6, 0 = -3*y + u + 3 - 7. Which is smaller: p or y?
p
Let t = 76 - 986/13. Let g = 4 - 1.99. Let r = 0.01 - g. Which is smaller: t or r?
r
Let f = -1255/19 + 66. Let n be -35*1/57 + 1. Let s = f + n. Which is greater: -2/27 or s?
s
Let w = 4967 + -4968. Let f = -17194/45 + 382. Which is smaller: f or w?
w
Suppose 27 = 124*w + 27. Let i(h) = -h. Let o be i(-7). Which is smaller: w or o?
w
Let d(s) = 2*s**2 + 104*s - 104. Let n be d(1). Is n at least as big as 28/31?
True
Let i(u) = -u**3 - 12*u**2 - 3*u - 36. Let l be i(-12). Which is bigger: l or -83?
l
Let y = 1799 + -1798. Do y and 1/165 have the same value?
False
Let c = -4.041 + -0.959. Is 66 > c?
True
Let i(p) = 3*p**2 - 91*p + 1001. Let g be i(13). Is g bigger than 323?
True
Let g = -15579.2 - -15582. Let i = 2.03 - 0.03. Is g at least i?
True
Suppose 3*q - 21 = 2*j + 80, -243 = 5*j + 2*q. Let m = -70 - j. Which is greater: m or -41/2?
-41/2
Let v = 1423 - 1422. Which is bigger: 6/13 or v?
v
Let j = 117 + -125. Which is smaller: j or -5?
j
Suppose z = 8*z - 98. Let c be -4*1/z - 16/(-154). Which is bigger: c or 0?
0
Let z = 2975 + -2975.41. Is z < 1/12?
True
Let s be 1/(-3) - ((-44)/30)/(-2). Do s and 1 have different values?
True
Suppose 9 = -w + 3. Let q = -14 - w. Let i = q - -9. Is 4 smaller than i?
False
Let k = 54.4158 + -0.1158. Let f = 27 - k. Let y = f - -26. Are -2 and y unequal?
True
Let c = -10 - 0. Let m = -15 - c. Let y = -4 - m. Which is smaller: 0 or y?
0
Let j(h) = h**3 - 20*h**2 - 24*h - 31. Let g be j(21). Let a be g + 0/((7 - 3) + -1). Do -95 and a have different values?
True
Let b(i) = i**2 + 14*i + 12. Let h be b(-13). Let f be ((-16)/5)/2 - h. Do f and -0.5 have different values?
True
Let k = 684 - 150. Which is greater: k or 2/5?
k
Let q(s) = -s**3 + 4*s**2 + 2. Let r be ((-12)/(-9))/(3/9). Let l be q(r). Suppose 5*x = -p + 5*p, 0 = l*p + 3*x. Which is bigger: p or -1/6?
p
Let s be (1/(-259))/(18/(-63)). Is s at most 0?
False
Let v be -3 - (-4)/(80/21). Let p = v + 1/5. Which is smaller: p or -1?
p
Suppose 0 = -5*g + j + 29, 0 = -2*j - 8. Let o(v) = -2*v + 9. Let a be o(g). Let z = 138 - 2620/19. Which is smaller: z or a?
a
Let t be (-2 + 1)/((-4)/2). Suppose k - 3*k + 10 = 0. Suppose 5*b - k*o = -0 + 15, 4*b - 5*o - 14 = 0. Is b at least t?
True
Let g = 32930 - 32941. Suppose -2*o = -5*o + 33. Let j = -21 + o. Which is smaller: g or j?
g
Let k be 6*(341/(-2))/11. Let g = -22 - k. Which is greater: 70 or g?
g
Let o(n) = -6*n + 10. Let j(k) = -k. Let h(p) = -5*j(p) + o(p). Let z be h(6). Which is smaller: z or 3?
3
Suppose -4*b = 3*y - 0 + 16, 5*y + 20 = -5*b. Let l be (2 - -314)/((-60)/26). Let g = l + 137. Which is greater: g or y?
g
Suppose 0 = -3*t, -3*t - 81 = 4*y - 9. Which is smaller: y or 3?
y
Let y = 84 - 87.3. Let m = y - -0.3. Which is smaller: -8 or m?
-8
Suppose -16*p + 17*p + 11 = 0. Let v be (p + 13)*1/(-2). Let l be (-1)/36 - (-3)/12. Which is bigger: l or v?
l
Let u = 131 + -1183/9. Let m = -0.362 - -0.002. Let o = m + 0.26. Is u less than o?
True
Let i(n) = -n**2 - 8*n - 84. Let v be i(-7). Is v <= 2/5?
True
Suppose j = -13 + 5. Let g(r) = -6*r + 6. Let s be g(3). Let t be ((-8)/6)/(j/s). Is 0 > t?
True
Let y be 10/(2*(-4)/(-8)). Let v(b) = 2