-8*d + 70 = 5*v - 9*d. Which is smaller: v or 15?
v
Let u be -5*(-6 - (-2028)/45)*-3. Is u equal to 587?
False
Let i = -52.8 + 58. Let f = 5.3 - i. Is f less than 1?
True
Suppose -2*m = 8, 2*g - 4*g + 5*m + 24 = 0. Suppose -g*t - 27 = 23. Let l = t - -25. Is -4/5 at least as big as l?
False
Suppose -4*f + 4*c = -12, 2*f + c = 5*c. Let d be -1 - -6*f/12. Let p = 0.3 + -0.2. Is p at least d?
False
Suppose 5*i - 135 = -5*h, -i = -6*i - 25. Suppose -3*x + 16 = 2*u, 3*x + h = u + 3*u. Is 8 >= u?
True
Let q(r) = r**2 - 2*r + 1. Let z be q(1). Let o be (-4)/(-2) - 1240/18. Let x = -67 - o. Is x at most z?
True
Let g = 2.006 + -0.006. Is g less than or equal to 0.1?
False
Let f = -15 - -7. Let l = 18 + -18. Is f equal to l?
False
Let s = 4 + 16. Which is greater: 31 or s?
31
Suppose 2*m - 3*c = -4*c - 117, -4*m - 254 = 6*c. Which is smaller: m or -57?
-57
Let n = 158 + -115. Which is greater: n or 219/5?
219/5
Let b be 8/36 + (-104)/(-18). Suppose y + 65 = b*y. Do 15 and y have different values?
True
Suppose 30*z + 1 = 2*v + 29*z, 1 = -5*v - z. Which is bigger: v or 14/19?
14/19
Let j(h) = -20*h - 5. Let x be j(-2). Let r = -36 + x. Is 2/7 smaller than r?
False
Let j(o) = 16*o - 22. Let h be j(-6). Let p be 3/(-15) + h/10. Do -11 and p have the same value?
False
Let f be 1/(-2) + (-3)/6. Let s = -13.93 - -13. Let j = s - 0.07. Is j smaller than f?
False
Suppose 206 - 114 = 23*n. Which is greater: n or 39/10?
n
Let y = -0.26 - 22.74. Let v = 0.23 - -8.77. Let m = v + y. Is m smaller than -2/5?
True
Let b = -0.007 - 0.093. Let i be 126/20*(-6)/9. Is i less than b?
True
Let n = -561338/13 + 43202. Which is smaller: n or 22?
22
Let a(q) = -q**2 - 8*q - 11. Suppose 0 = -i + 4 - 9. Let o be a(i). Suppose 0 = 3*y + 4*p + p - 22, -2*p + 14 = -o*y. Is -1 equal to y?
True
Let o(u) = -5*u + 4*u - 22*u**3 + 21*u**3. Let k be o(1). Which is bigger: k or -5?
k
Suppose 0 = s + 2*x + 5, -2*s + 4*s + 3*x + 11 = 0. Let z(v) = v**3 + v**2 + v - 1. Let q be z(-2). Is q smaller than s?
False
Suppose -q - 6 = 5*z - 3*q, 4*z - 2*q = -6. Suppose -i - 1 = z, -4*w - 2 = -5*i - 23. Suppose 0 = a - 3*u + 6, -a + u - 22 = -4*a. Is a < w?
False
Let n = 22.36 + -5.76. Is n at most 1/4?
False
Suppose 4*p = -5*a - 151, 0 = -2*a - 2*a - 12. Which is greater: p or -35?
p
Suppose -4*v + 3 = 91. Let c = v + 45/2. Is c smaller than 8?
True
Let g = 2.78 - 2.478. Is -0.1 >= g?
False
Suppose -4 = 4*m - 5*l, 0*m - 4*l + 8 = -2*m. Suppose m*t = 6*t - 14. Is t less than 6?
False
Let k be (-12)/(-7) - (-2)/7. Let l = 635 - 995. Let u be (l/(-28))/5 - k. Which is smaller: u or 1?
u
Suppose -2*n + g = -15, -19 = -3*n + 5*g - 0*g. Let v be n/((-16)/4) + 6. Suppose 0 = 4*z + 4*a + 52, 4*z + a + 48 = -v*a. Is -18 less than z?
True
Let r(b) = -3 - 5 - 2*b + 10 - 1. Let g be r(0). Which is bigger: -5 or g?
g
Suppose -7 = w + 2*z - 6*z, -w + 2*z - 11 = 0. Let f be 3/15 + 9/w. Which is smaller: f or 17?
f
Let m = -631 + 616. Is m >= -111/8?
False
Let u(w) = 13*w**2 - 2*w + 1. Let i be u(1). Let b(f) = 3*f**2 + 5*f + 3. Let r be b(-3). Let t be (2/r)/((-4)/i). Is 2 greater than t?
True
Let u(v) = 7 + v**2 - 8 + 2*v - 3*v. Let d be u(3). Suppose 0*m - 5*m = -d*c - 40, -22 = -4*m - c. Which is bigger: m or 7?
7
Suppose -3*z + 32 = 5*z. Let m be (-2)/z*(-3 - -3). Which is smaller: 2/13 or m?
m
Suppose 0 = -3*z - 2*g + 170, -5*z + 6*g = 3*g - 258. Suppose f - z + 57 = 0. Suppose -u + 3*j + 2 = 4*u, 3*u = 4*j + 10. Are f and u nonequal?
True
Suppose 97 + 32 = 4*j - x, -x + 3 = 0. Suppose 5*h + j = 3*t, -31 = 4*h - t - 6. Is h less than or equal to -39/8?
True
Let z(r) = -28*r - 20. Let w be z(-8). Let a be (-6)/(-9) + w/(-9). Which is smaller: a or -1?
a
Suppose -3*z + 3*g - 9 = 0, 0 = 3*g + 3 - 9. Let c be (-4495)/2088 + 2/(-9). Let x = 177/88 + c. Which is smaller: x or z?
z
Let x = -35 + 35. Let h = -28 + 39. Let n = h - x. Is n smaller than -0.1?
False
Suppose 5*p = 11*p. Is 2/285 greater than p?
True
Suppose 0 = 5*r + k - 0*k - 93, 66 = 4*r + 5*k. Is r smaller than 3?
False
Let r = -9/4 + 47/28. Let j = 54.9 - 59.9. Is j equal to r?
False
Let i be (2 + 3)*(-12)/30. Let t be (-892)/1088 + (-6)/51. Which is greater: i or t?
t
Suppose -8 = 4*h - i - 2470, -5*h - 4*i = -3088. Let d = h - 27721/45. Is d greater than or equal to -1?
True
Let g(p) = -p**2 + 18*p - 79. Let h be g(10). Which is greater: 3/518 or h?
h
Let g be (674 + 4)*(-4)/42. Let p = g - -65. Let c = 3 + -3. Is p less than or equal to c?
False
Let h = 2/137 + -433/1507. Let r = 0 - -2. Suppose -r*s = -s - 1. Which is bigger: s or h?
s
Suppose -19 = 4*w - 143. Let q = w - 9. Which is bigger: 23 or q?
23
Let t(z) = 6*z**2 - 18*z + 10. Let v be t(5). Which is smaller: 72 or v?
v
Let c = -15.1 + 16. Let q = c + -0.9. Let h = 0.1 - 3.1. Which is smaller: h or q?
h
Let v = 0.7 + -1.1. Let u = -0.8 - v. Let q = u + 0.6. Is 6 at most q?
False
Let n(r) = r**2 - 14. Let o be n(0). Let u be (-16)/24 + (-158)/6. Let d = u - -14. Is d smaller than o?
False
Let g = 63 - 24. Let v = g - 39. Which is smaller: -3.2 or v?
-3.2
Let f = -17/9 - -302/117. Let b be 2/(-2) + 1/1. Which is greater: f or b?
f
Suppose -f + 44 = -2*o, -3*f - 15*o = -20*o - 135. Which is smaller: f or 49?
49
Let l be (-398)/9*(-144)/24. Let x = 263 - l. Which is greater: x or -3?
x
Let t = -4.87 + 8.87. Is 2/107 greater than t?
False
Let z = -138515/1784 - -621/8. Is z > 0?
False
Let a = 44 + -42. Let y be 47/(-6) + 1 + a/(-4). Do y and -8 have the same value?
False
Suppose 0 = 2*o + 5*j - 48, 0 = -7*o + 5*o + 3*j + 16. Let n(h) = 2*h**3 + 2*h - 3. Let x be n(2). Which is smaller: x or o?
o
Let w = 9017/27 + -334. Let k(g) = g**2 - 15*g. Suppose 2*o - 4*o = -h - 30, -3*h = 2*o - 30. Let f be k(o). Which is greater: f or w?
f
Let t = 34 + -34. Which is smaller: t or -4/51?
-4/51
Suppose 4 - 32 = -c - 5*u, -c - 2*u = -13. Suppose -c*h + 4*h = 2. Let d be (h/(-4))/((-4)/(-72)). Is d greater than or equal to -8?
False
Let j be (27/6 + 0)*8/18. Suppose 3*k = -5*c - 206, -56 = 3*c + j*k + 67. Is -44 at most as big as c?
True
Let m = -26 + 16. Let t(y) = -y**2 - 11*y - 8. Let h be t(m). Suppose -n + 1 = -2*r, 0 = 3*r + 3*n - 28 + 7. Is h bigger than r?
False
Suppose 32 - 7 = -5*u. Let a = -5 - u. Let d be -1 - (1 - 6) - a. Is 4 less than d?
False
Let n = 6.07 - 0.07. Let o(l) = 50*l - 250. Let w be o(5). Is n at most as big as w?
False
Let n = -0.2 + 0.44. Let u be (5 + -3 - 0)/(-2). Is u > n?
False
Suppose -5*o = -13 - 2, 4*l - 22 = -2*o. Suppose 40 - 136 = -l*u. Do 26 and u have different values?
True
Let q = 11.85 - 8.85. Which is smaller: q or 29.7?
q
Let w(x) = -x**3 + x + 59. Let t be w(0). Let s = t - 39. Let n = s - 96/5. Is 1 smaller than n?
False
Let g = 751.1 + -750. Are 2.5 and g equal?
False
Let z(y) = 2*y**2 - 22*y + 12. Let u be z(9). Which is smaller: -15 or u?
u
Let d = -1.3 + -3.7. Let l = 19.8 - 15. Let t = l + d. Is t less than or equal to -1/3?
False
Let z be ((-8)/32)/(6/(-16)). Suppose 0 = 4*u + 5*q + 25, 3 = -3*q - 12. Suppose u = y + y. Which is bigger: z or y?
z
Suppose -3*n + 5 - 14 = -2*k, 2*k = 4*n + 6. Is k <= 11?
True
Let k = -22.8 + 0.8. Let g = k - -21.8. Let r = 3.2 + g. Does r = 1?
False
Let k be 4/2 - 3 - -166. Suppose m + 0*m = k. Let z = m - 2311/14. Is 1 greater than z?
True
Let l = 10 + 32. Let b = 41.71 - l. Are -0.1 and b non-equal?
True
Suppose -9*p + 4*p = 4*w - 10133, 2*p - 5*w = 4040. Let a = p + -14220/7. Which is smaller: -5 or a?
a
Let l = -500.06 + 500. Is 1 less than or equal to l?
False
Let s = 2/51 + -181/714. Let k = -806/21 + 683/18. Let i = k - s. Is 1 at most i?
False
Let x be (294/(-33))/(384/(-15)). Let b = x + 1/64. Which is smaller: -1 or b?
-1
Let w = 6 + -33. Let p be (-132)/9*(-2 - w/12). Which is greater: p or -4?
p
Let u = 19 - 32. Let m = 29 - 42. Let j = m - u. Is j <= -6/13?
False
Let i be (-102)/(-765) - (157/(-185) + 1). Which is smaller: i or -1?
-1
Let u(n) = 4*n**2 + 15*n - 3. Let q be u(-4). Do 280 and q have different values?
True
Let t = 0.09 + 10.91. Let x = t + -2. Let y = -11 + x. Is y smaller than 0.2?
True
Let w = -6 + 33. Suppose -29*u + 10 = -w*u. Suppose -u*t + 2 = -3*p, -2*t - 4*p = -7*t + 1. Which is smaller: 2/9 or t?
2/9
Let i be 0/2 - (-6)/(-9). Let d be (10/(-25))/(-1) - (-324)/15. Is i smaller than d?