, -6*r = -r - 4*t - 2402. Let v be 4 + -6 + r/60. Let o = 31/5 - v. Do 0 and o have the same value?
False
Suppose -21*m = -94 + 10. Let o(x) = x**3 - 5*x**2 - 4*x - 7. Let h be o(6). Suppose t = 2*t - h. Is m greater than or equal to t?
False
Let u = 13 - 14.1. Let x = u - -1. Is 4 bigger than x?
True
Suppose 0 = 4*j + 5*w - 6, 5*w - 6*w + 3 = -j. Let o be (0 + 1)*726/(-6). Let x be 184/770 + 22/o. Is j greater than x?
False
Let p be (-1)/(2 - (-20)/(-8)). Let z be 0/(-6*p/(-6)). Which is smaller: z or 4/19?
z
Let k(g) = -g**3 + 7*g**2 - 8*g + 3. Let x be k(5). Which is smaller: x or 12?
12
Let a = 3.7 - 4. Let y = 0.2 - 0. Let t = a + y. Which is greater: t or 0.2?
0.2
Let d be 2*(-2)/4 - (-35)/(-56). Is d greater than -3?
True
Let n(b) = -5*b**2 - b. Let h be n(-2). Let q be ((-1)/(-3))/((-2)/h). Let i be 9/((-5)/(10/q)). Which is greater: -7 or i?
i
Suppose 2*i + 7*i + 252 = 0. Is -29 bigger than i?
False
Let o be 5*(-2 + 1 + 2). Let m be (2 - o)*28/6. Let w be (4/m - 0)/(-1). Is 3 != w?
True
Let x = 7 - 8. Let l = x - -0.9. Let q = 1.9 + 0.1. Is l equal to q?
False
Let w = -0.05 - 2.95. Is 2/9 at most w?
False
Let d = -7 + 9.88. Let y = d + 0.12. Is 2 < y?
True
Let x = -722/3 - -238. Which is bigger: x or -3?
x
Let c = 10/7 + -6/7. Let p(i) = -i**3 - 5*i**2 + 6*i + 1. Let r be p(-6). Is c < r?
True
Let s(x) = -6*x**2 + 7*x. Let c be s(-3). Let n = 749/10 + c. Which is smaller: n or -1?
-1
Let c be 1/6*4/1. Let l be (6/4)/((-45)/(-60)). Which is smaller: c or l?
c
Let j(v) = v + 5. Let n(i) = i + 5. Let l(c) = -5*j(c) + 4*n(c). Let h be l(-4). Let r = 130 - 912/7. Is h greater than r?
False
Let i = 13 - 10. Let m = i + -4. Which is smaller: m or 2/35?
m
Let l(u) = u + 11. Let v be l(-6). Which is bigger: v or -2/3?
v
Let i(g) = -g**2 - 4*g - 13. Let y be i(-5). Is -17 greater than y?
True
Suppose 0 = -5*u - 2*b - 304, -145 = 5*u - b + 153. Is u >= -60?
True
Suppose -34 = 2*v - 4*m, 7*v - m = 4*v - 41. Let i(f) = -f**3 - 11*f**2 - 8*f + 19. Let w be i(-10). Is v at least w?
False
Let u be (-1 - 2)*15/45. Are 2/7 and u equal?
False
Let x = 3 - 5. Let p be ((-16)/30)/(20/(-6)). Let j = p + 17/50. Which is smaller: x or j?
x
Let p = -243/380 + 3/76. Is -2 at most as big as p?
True
Let f = 723 + -44104/61. Let h be 63/(-122) + -1 + 1. Let x = h - f. Which is smaller: 0 or x?
x
Let q(h) = 6*h**2 - 2*h + 1. Let n be q(1). Let w = n - 3. Is 1 less than w?
True
Let i be (2 - 2) + -1 + 1. Let w = 4/79 + -411/316. Is w at least i?
False
Let z = -21 + 29. Suppose -10 = -3*i + z*i. Let x be (0 + 0)*1/i. Is x < 1/3?
True
Let r be 4/(-6)*(-3)/2. Let z be 1/((2/(-2))/(-1)). Let o = -1 + z. Which is smaller: r or o?
o
Let k = 0.02 + 1.98. Suppose 0 = 46*a - 38*a + 8. Which is bigger: a or k?
k
Let x be (-1)/(2/(-8)*2). Let m be x/(-4) + (-1)/2. Let a be -2*1 + 96/42. Which is smaller: m or a?
m
Let z(r) be the second derivative of r**3/6 + r**2 + 2*r. Let n be (4 + -3)/(1/2). Let i be z(n). Which is greater: i or 3?
i
Suppose 4*w = -2*y - 12 + 2, -w + 20 = -4*y. Is -4/21 < w?
True
Let n = -828/7 + 118. Which is bigger: n or 0.04?
0.04
Let x = 4 + -3. Let a be 6 + -3 + 6 + -3. Let n = -3 + a. Do n and x have the same value?
False
Let b = 7 + -24. Is -17 != b?
False
Let s be (0 - 4)/(-1)*369/164. Which is smaller: 10 or s?
s
Suppose 5*g + 2*c = 5*c + 6, 0 = -c - 2. Let h be (3 + g)*5/(-5). Let j be (1/18)/(h/(-9)). Is j equal to 0?
False
Let k be 2/(-33)*21/14. Let n(f) = f**3 + 8*f**2 - 1. Let m be n(-8). Does k = m?
False
Suppose -4*h - 18 - 2 = 0. Let r = h - -8. Which is smaller: r or 2?
2
Let f = -7/10 + 9/20. Which is smaller: f or 6?
f
Let j = 8448730 + -13881262814/1643. Let c = j + -22/53. Is c greater than or equal to 0?
False
Let s(r) = -16*r**3 - 19*r**2 + 6*r - 25. Let i(d) = 3*d**3 + 4*d**2 - d + 5. Let q(p) = 11*i(p) + 2*s(p). Let u be q(-6). Which is smaller: -4 or u?
-4
Let x(w) = w**3 + w - 1. Let q be x(0). Are 1/15 and q equal?
False
Let a(g) = -2*g - 3. Let d be a(-2). Let k = -211/8 - -1483/56. Let l = k - -1/7. Which is smaller: l or d?
l
Let w(c) = -c**2 - 5*c + 22. Let j be w(-8). Is j > 1?
False
Let x be 4/10 + 69/15. Let s = -2 + 1. Let j be s/x*(0 + 1). Is j greater than -0.2?
False
Let j = -158/105 - -14/15. Which is greater: -1 or j?
j
Suppose 0*o - o + 2 = 0, 2*o - 8 = -l. Suppose 4*a - 6 = 2*d, -3*d = a - 6*a + 6. Which is bigger: d or l?
l
Let w = 0.04 - -0.01. Let v = -0.15 + w. Let n = 1.9 + -2. Is n at least as big as v?
True
Suppose -2*n + 4*n - 12 = 3*z, 0 = -z - 5*n + 13. Is 5/19 bigger than z?
True
Suppose -5 = 2*m - 13. Let w be ((-6)/m)/(2 - -4). Let l be ((0 - -2) + -2)/(-2). Are w and l equal?
False
Let x = -341 + 1375/4. Which is greater: 3 or x?
3
Suppose 5*j - 3*c = j + 25, -8 = -5*j - 4*c. Let u be (-4)/2 + (2 - 3). Let v be u/(2/(j/(-15))). Is v smaller than 1?
True
Let x = 6.767 + 0.033. Let b = x + -7. Which is smaller: b or -1/4?
-1/4
Let z = -0.03 + -1.92. Let v = z - 0.05. Which is smaller: v or -1/7?
v
Let l be 4/(-10) + 582/30. Which is smaller: 18 or l?
18
Let q = 1 + 5. Let d(j) = j**2 - 7*j + 6. Let v be d(5). Let c = q + v. Is c bigger than 1?
True
Let h = 2.9 + -3. Let b = -10 - -36. Let o = 53/2 - b. Which is greater: o or h?
o
Let l = 35/6 + -43/6. Which is smaller: 0 or l?
l
Let g = 5436/7 + -5342/7. Which is smaller: 13 or g?
13
Let s = 64/7 + -221/28. Let a = 20 - 21. Which is smaller: s or a?
a
Let m be (-630)/14*(-2)/6. Suppose 5*l + 5*n + m = 0, -3*n = 8 + 7. Do 7/5 and l have different values?
True
Suppose -3 = 3*z - 3*r, z - 6*z = 2*r - 30. Suppose 2*l = 5*m + 5, -4*m + 2 = -z*l + 6. Is 2/3 at least as big as l?
True
Let y(i) = i**2 + 7*i + 7. Let f = 116 - 67. Suppose -4*v - 5*u - f = 0, -3*v + 6*u - u + 7 = 0. Let a be y(v). Is -2/9 > a?
False
Let w = 156/163 - 4675/8802. Let o = 2/27 + w. Is -1 at most as big as o?
True
Let g(p) = -6*p - 36. Let h be g(-6). Is 2/47 at most as big as h?
False
Let s be (0 - 4) + 381/(-6). Let j = 69 + s. Which is smaller: j or 1?
1
Let a = -66 - -75. Does -2 = a?
False
Let c = 124 - 123.96. Which is greater: 0 or c?
c
Let b = -15 + 24. Suppose -g = 5*l - 7, -l + 7*g - 2*g = b. Which is greater: -1 or l?
l
Let c = -0.2 - -0.6. Let a = c - 0.4. Let u be 4 + -4 - 4/(-10). Which is smaller: u or a?
a
Let a = -21 + 21.16. Which is greater: -2/5 or a?
a
Let u be (-25)/(-6)*128/70. Let f = -22/3 + u. Which is bigger: f or 7?
7
Let v = -284/341 + -8/31. Suppose -2*k - 4 = -q, -q - k = -5*k - 10. Is q less than or equal to v?
True
Let g(o) = -o**2 + 10*o - 11. Let j be g(8). Let b = j + -3. Suppose -c - b*s - 2 = 2, 5*s = c - 3. Which is smaller: -2/3 or c?
c
Let v be (-3)/8*(-4)/6. Let c(j) = j**2 - 2*j. Let p = 0 - -2. Let l be c(p). Is l greater than or equal to v?
False
Let z be (-12)/54 + 148/18. Let h be 5/(-7) + z/(-28). Is h < -2/11?
True
Let n be (-4 - (-6 - -3))*-7. Are 6 and n unequal?
True
Let s be ((-308)/35)/(-1 - -3). Is -4 != s?
True
Let l = 0.3 + -0.4. Let x = 1.39 + -1.19. Which is greater: l or x?
x
Let q = 0.2 + -0.3. Let m = 5.1 + -6. Let i = 0.1 - m. Is q bigger than i?
False
Let g be (-4)/(-6)*(4 + -7). Let v = g + 4. Let b = 4 - 2. Are b and v nonequal?
False
Let v(q) = q**3 - 4*q**2 - q + 4. Let c be v(4). Let o be (-2)/4*c + -2. Let b(k) = -k - 12. Let r be b(-9). Which is bigger: o or r?
o
Let c = -8 - -13. Let n = -158 - -162. Is c <= n?
False
Let a = 19 - -8. Is 26 < a?
True
Let s(k) = k - 6. Let o be 1*(2 - 3 - 1). Let v be 1/((-3)/36*o). Let x be s(v). Is 2 smaller than x?
False
Let i be 4/8*(-3 - -1). Let r = -47708 + 429824/9. Let q = -50 + r. Which is greater: i or q?
q
Let h(n) = 22*n + 4 + 4*n**2 - 7*n - 7*n**2 + 2*n**2. Let d be h(15). Is d at most 3?
False
Let j be (-5)/1*(-3 - 0). Suppose -j = -7*g + 4*g. Is g > 5?
False
Suppose 4*r + 1 = y, 19 = 6*y - 3*y + 4*r. Suppose 5*f - 4 = 4*d + 18, y*f = -3*d + 1. Is f at least 6/11?
True
Let a = 29150 + -205431/7. Let s = 197 + a. Let u = 4/35 - s. Which is smaller: u or 0.1?
0.1
Let z = 463/6 + -78. Let s = -3 - -2. Is s > z?
False
Suppose -1 = 8*q - 9*q. Which is bigger: q or -1/21?
q
Suppose s = -0*s. Let r = 0 - s. Which is greater: r or 3?
3
Let h = 18 + -31. Let s be (-2)/((-1)/(1 - -2)). Let x be h/2 + (-3)/s. Which is greater: x or -8?
x
Let y(p) be the second derivativ