 r be 4713/2357 - (2 - 0). Let m = r - 25875/122564. Let w = m - 1/26. Is w > 0?
False
Let l = -8 + 7. Is -4 < l?
True
Let s be (-3)/((-9)/6) + -2. Suppose s = -5*k + 3*b - 4*b + 4, -5*b = 5. Let h = k - 0. Which is smaller: -1 or h?
-1
Let x be (-2 - 147/(-69))/((-21)/28). Which is greater: x or -1?
x
Let l = -8 + 9. Suppose 3*z = -5*g - 25, z - 2*g - l = g. Which is smaller: -7 or z?
-7
Let h = 9 - 12.5. Let r = -5 - h. Let z = -1 - r. Which is greater: 2/3 or z?
2/3
Let d(b) = 2*b**2 + 23*b + 24. Let w(q) = 3*q**2 + 35*q + 36. Let x(h) = 8*d(h) - 5*w(h). Let l be x(-8). Is l > 4?
False
Let j = -3/65 - 23/65. Let b = -103/3 + 34. Is j < b?
True
Let q(b) = -b**2 - 5*b + 1. Suppose 0*m + 5*o + 25 = -5*m, 2*o = 4*m + 14. Let z be q(m). Suppose -z*n + 4 = 19. Which is smaller: n or 1?
n
Let f = -321 + 320. Let y = -19 + 12. Let w be y/4 + 2 + -1. Which is greater: w or f?
w
Let n be 4*2/24*-1. Which is smaller: n or 1?
n
Suppose -3*t - 5*g - 21 = t, t - 2*g = 11. Let d(j) = j**3 - 3*j**2 + 2*j + 1. Let p be 35/(-14)*(-4)/5. Let n be d(p). Is n <= t?
True
Let k = 460/7511 + 2/259. Suppose 0 = -d - 2*d + 4*a + 11, -5*d - 5*a = 5. Are d and k nonequal?
True
Suppose 2*z = 6 + 4. Suppose 2*g - 1 = -3*p + z, g = p + 13. Is 9 at least g?
True
Let j(a) = a**2 + 9*a + 3. Let l be j(-9). Suppose -l*c - 2 = 4*i, -i + 4*c - 3 = 7. Is -2 < i?
False
Let y = 54 + -61. Which is smaller: y or -4?
y
Let u be 5/((-4)/(-8)*-2). Is u greater than or equal to -6?
True
Let f = 509 - 346. Let s = -485/3 + f. Which is greater: s or 2?
2
Suppose 5*x - 3 = -0*x + 4*n, 1 = x - n. Let y = -1/12 - 65/84. Are x and y unequal?
True
Let p be (0/(1/(-1)))/2. Suppose p = -n - n. Let w = -0.3 + 0.2. Which is greater: n or w?
n
Suppose y - 1 + 11 = 2*g, -y + 14 = 4*g. Let o be 2/6 - (1 - -1). Which is bigger: o or y?
o
Suppose -m - m + 16 = 0. Let b = m - 7. Which is smaller: 2/15 or b?
2/15
Suppose -29*u + 25*u = -72. Is 18 equal to u?
True
Let b = -1 + 1. Suppose b = 2*v + 1 + 7. Let h be 2 + (v/(-1))/(-2). Which is smaller: h or 2/9?
h
Suppose -t - 2*t = -57. Suppose 20*x + 1 = t*x. Which is greater: -5/3 or x?
x
Let j = 5 + -4. Let u be (j - 4)/(5 + -4). Is -2 <= u?
False
Let r(j) = 2*j**2 + 1. Let x be r(1). Let w(y) = y**3 - 5*y**2 + 2*y - 7. Let z be w(5). Is x equal to z?
True
Let x(h) = 4*h**3 + h**2 + 2*h. Let a be x(2). Is a <= 40?
True
Suppose 0*h = 4*h - 28. Suppose -6*p = -2*p - 12. Suppose -4*o - 16 = -g, -p*g = -2*g + o - 6. Which is smaller: h or g?
h
Let s be 5*-3*4/30. Let p = 1 + -1. Which is bigger: s or p?
p
Let w(j) = -j**2 - j - 1. Let z be w(-1). Suppose -7*v + 2*v + 1315 = 0. Let h = -3421/13 + v. Is h at least z?
True
Let q be 128/799 - 8/68. Is q < 0?
False
Let i = 0.2 + -0.4. Let y be (-25)/180*(-6)/20. Let u = y - 53/120. Is i != u?
True
Suppose 0 = -0*r - 4*r + 8. Let c be r/(-12)*(-15)/25. Which is bigger: -1 or c?
c
Let c(h) be the third derivative of 65*h**4/24 - h**3/3 - 2*h**2. Let z be c(-4). Let q = -1831/7 - z. Which is smaller: 1 or q?
q
Let k = 17/90 - -1/30. Which is bigger: k or -1?
k
Suppose 5*t + 472 = 2*u, -u - 3*u + 464 = -5*t. Which is smaller: t or -0.1?
t
Let j = -27026/1315 - -40/263. Which is smaller: -19 or j?
j
Suppose w - 24 = -2*w. Which is smaller: 6 or w?
6
Let u = -1.41 - -1.49. Is u less than or equal to -2?
False
Let m(h) = h**3 - 2*h**2 + h. Let v be m(2). Let i be ((-1)/(-3))/(v/6). Suppose -2*f - 5 = -3*o, -3*f - 16 = -0*o + 4*o. Is o less than or equal to i?
True
Let t = 13.07 + -13. Let n = -6.07 + t. Which is greater: 0.1 or n?
0.1
Let z = -24 + 37. Let l(p) = -p + 18. Let y be l(z). Which is smaller: y or 3?
3
Let c be 0 + 0 + 0 - 2. Suppose -4 + 6 = u. Suppose -6 = -u*p + 5*p. Are c and p nonequal?
False
Let d(a) = -a**2 - 4*a - 3. Let f be d(-3). Is f at least 1/8?
False
Let r = -932 - -21442/23. Is -1 less than r?
True
Let j = 1 + -1. Let m(p) = -5*p**3 + p. Let s be m(-1). Suppose -2 = -2*x - s. Is j equal to x?
False
Let a = -2 + 2. Let z = -0.2 + a. Is 1 at least z?
True
Let i be -247 - (-9)/(-1 + -2). Let x be (1/(-2))/((-3)/i). Let l = x - -41. Which is greater: l or 2/7?
2/7
Let t(k) = k + 4. Let l be t(-3). Which is greater: l or -2/65?
l
Let b = -259 - -127. Let g be -3 + (-5)/(260/b). Which is smaller: 1 or g?
g
Let d(x) = -2*x - 13. Let l be d(-15). Do l and 18 have different values?
True
Suppose 0 = 5*r + 2*h - 11, 2 - 8 = 3*h. Suppose -17 - 4 = -r*n. Let s(k) = 3*k + 70. Let g be s(-21). Is n at least as big as g?
True
Let v = 9 + -8.93. Let a = 3.6 + -4.6. Which is greater: a or v?
v
Let n = 1 - 0. Let u be (-5 + 5)*(-2)/(-6). Is n at least u?
True
Let n = 50.9 - 3.9. Which is greater: 0 or n?
n
Let n be -2 - (-1 + 9/(-7)). Let u = 3 - 5. Let y = u - -2.2. Is n > y?
True
Let k = 27 + -16. Suppose 0*g - k = -g. Which is greater: 1 or g?
g
Let s(p) = -p + 12. Let w be s(8). Is 6 at most as big as w?
False
Let z = -43676/9 + 4848. Which is bigger: -6 or z?
z
Let q = 3.7 + -4. Let g = 0.24 + -0.44. Which is smaller: g or q?
q
Let p = -8 + 7.7. Let t = 7.9 - 0.9. Let f = -6 + t. Which is smaller: f or p?
p
Let w = -29.88 + 30. Which is smaller: w or -2/9?
-2/9
Let i = 2 + 3. Let x be 2/(i/(10/8)). Let k = 0.1 + 0. Is k at least as big as x?
False
Suppose r + 2*z = 8, -2*r + z = -4*r + 10. Let h = r - 2. Suppose -1 = h*g - 3. Which is smaller: -1 or g?
-1
Let q = -17 - -18. Which is smaller: -2/21 or q?
-2/21
Let j = 0.04 + 0.06. Let l = -0.1 + j. Is l greater than or equal to -1?
True
Let s = -17 + 29. Let u = 6 + -5. Let l be u/(-2) + 22/s. Are l and 2 nonequal?
True
Suppose 0 = -4*g + g + 12. Suppose 2*d = g*d. Which is smaller: d or 0.1?
d
Let u = -10.1 + 10.7. Which is bigger: u or 0?
u
Suppose -7*n = -3*n + 28. Let f(w) = 0 + w**2 - 1 - w**3 - 8 - 8*w - 9*w**2. Let g be f(n). Is -1 greater than g?
True
Suppose -35*q + 25*q + 50 = 0. Which is bigger: -5 or q?
q
Let i = -25 - -24.2. Let u = -1 - i. Is u not equal to 5/2?
True
Suppose 2*l - 2 = 2*a + 10, 0 = 2*a + l. Which is smaller: a or -9/7?
a
Suppose 10*f = 7*f - 30. Is f > -11?
True
Let h(b) = -b**2 + 8*b - 5. Let z be ((-14)/6)/((-1)/3). Let s be h(z). Is 4/7 at least as big as s?
False
Let g be (-285)/(-1161) - 10/45. Do 1 and g have the same value?
False
Let p = 1 + 2. Let t = p - 1. Which is bigger: 2/3 or t?
t
Let u = 262 - 6554/25. Are u and 1 nonequal?
True
Let c be 14/21*(-3)/13. Is c at most as big as 2/11?
True
Suppose -15*q + 48 = -19*q. Let s be q/8*4/3. Is s <= -5/8?
True
Let f = 5 + 0. Let y = -5.07 + f. Let z = y + 0.17. Is 2/7 greater than or equal to z?
True
Let y be ((-16)/(-9))/(-1) + (0 - -2). Are 0 and y nonequal?
True
Let x = 5 + -2. Let y = 10 + 3. Suppose 2*c - 2 = 3*j, y = j + 2*c + 3. Which is smaller: j or x?
j
Let q = -33/2 + 16. Let v be (2/3)/((-44)/12). Which is greater: q or v?
v
Suppose -i = 4*i - 10. Suppose -i*j - j = 0. Suppose j*m = -2*m. Is m >= 0?
True
Let x = -3/14 - -101/406. Are 0 and x unequal?
True
Let i = 9 + -12. Let v be -2 + (-1 + -2)/i. Is 1/6 less than or equal to v?
False
Suppose -5*j + 50 = -5*x, 12 = 2*x + 2*j + 36. Let o be 2/(-28)*(-1 - x). Is o less than 0?
True
Let r = 0.4 - -0.2. Let g = r - -0.4. Let k = -3.04 + 0.04. Is g greater than or equal to k?
True
Let v(h) = -h**2 + 6*h + 9. Let x be 0/(0 + -3) + 7. Let u be v(x). Let t be u*(1 + (-9)/6). Which is bigger: t or -2/5?
-2/5
Let b = -5 - 2. Let d be (-1)/((-3)/(-2))*3. Let y be b/d + 2/4. Which is smaller: y or 1?
1
Let k = 35 - 42. Let b = -7.0058 - -0.0258. Let s = b - k. Which is greater: s or -1?
s
Suppose 0*d + 4*d = 0. Are d and 5/8 equal?
False
Let f be 3 + (4 - 2)*-1. Does 2/39 = f?
False
Let f = -38/3 + 40/3. Let l be (-2)/7 - 12/7. Let n = l - -2. Is f smaller than n?
False
Let a = 1996109/114 - 106775/6. Let f = 286 + a. Which is smaller: 1 or f?
f
Let k = -121 - -85. Is -36 >= k?
True
Suppose 3*v + 9 = 6. Is v less than -1/6?
True
Let h = 357 + -255. Let j = h - 508/5. Which is greater: -1 or j?
j
Let w = 152575/26 + -5869. Let g = -3/13 - w. Which is greater: g or 1?
1
Let p = 29 + -24. Let g = -9 - -3. Let o = p + g. Which is smaller: -2/11 or o?
o
Let v be (3 - 1)/((-1)/2). Let s be (75/10)/((-3)/v). Is s greater than or equal to 10?
True
Let y be (-364)/(-18) - 2/9. Suppose 0 = -3*s + 7*s + y. Which is smaller: s 