s = -56 + 41. Is s at least h?
False
Let k(v) = v + 1. Let n be k(-9). Suppose 0*c - 5*c - 20 = 0. Let h be -1 - 2/n*c. Is -2 < h?
False
Let p = 19 - -5. Let v = 25 - p. Is v at least as big as -24?
True
Suppose 19*x = 11*x + 160. Suppose 5*t = -0*z - 2*z + x, 0 = 4*t - 16. Which is bigger: z or -11/8?
z
Let z be ((-12)/9*(-41682)/13708)/(-186). Let i = -1/3427 - z. Which is smaller: i or 1?
i
Suppose -2 = -v + 3*v. Let g be 3*(0 + -1) - (-20)/4. Let l be (g/3 - (-28)/(-63))/(-4). Which is smaller: v or l?
v
Suppose 5*b + 1 = c, -24*b = -3*c - 27*b + 3. Which is greater: -11/58 or c?
c
Let b = -6.27 - -6.1. Let o = -0.18 + 0.2. Let a = b + o. Is -1/3 at least as big as a?
False
Let h = 119 + -92. Let i = -26.7 + h. Which is smaller: 5/6 or i?
i
Suppose 222 - 39 = -3*h + 3*v, -239 = 4*h - 3*v. Which is smaller: -57 or h?
-57
Let t = -2581 - -2599. Which is smaller: t or 25?
t
Suppose -90 - 1054 = -22*f. Is f greater than or equal to 51?
True
Let r be 8/(-1 + 3 + -4) + -17. Is r > -21?
False
Let p be 986/(-8) + 3/12. Let j = 863/7 + p. Which is greater: j or -19?
j
Let a = -0.3 - -0.4. Let r = a + -8.1. Let q = -8 - r. Are q and 0 unequal?
False
Let x = 179 + -140. Suppose -3*p - 5 = -u - 2, -5*p = 4*u + x. Which is smaller: u or -7?
-7
Let m be (1*-1)/(5/(-25)). Suppose 0*x - 23 = -3*x + m*r, x - 5*r - 21 = 0. Suppose 7*o + 5 = -i + 2*o, 2*i + o + x = 0. Is 1/24 at least as big as i?
True
Let i = 4345 - 4370.87. Let n = i + 26. Let k = n + -0.23. Which is bigger: k or -2/17?
k
Suppose -2*g - 3*z = 0, -g - 83*z = -86*z. Which is smaller: g or 3/371?
g
Let u = 3 - 0. Let c = 2 - u. Let b be 2*1*(-1 - 8/(-9)). Which is greater: c or b?
b
Suppose w + 3*n - 127 = -4*w, 4*w = -n + 103. Let g = w + -27. Which is bigger: g or -1/3?
-1/3
Let h = 0.42 + -0.76. Let b = h - -7.34. Are b and 1/2 equal?
False
Let u = -97 + 144. Let k = u + -57. Is -31/3 >= k?
False
Let w = -2758/23 - -120. Suppose 3 + 5 = 2*d. Let j be 6/d + 12/(-8). Is w at least as big as j?
True
Let s be (-4 + 10 + -4)*59/2. Let b = s + -60. Is b less than 1/56?
True
Let d = 0.02213 - -0.97787. Let b = 7 + -2. Which is greater: d or b?
b
Let w = -1.98 + 2. Suppose -112 = -0*z + 4*z. Let u = z + 29. Is u equal to w?
False
Let t be 2/9 - 272/(-72). Suppose 6*i - t*i + 34 = 0. Suppose z - 2*z - 18 = 0. Which is bigger: i or z?
i
Let n = 83 + -144. Let l = -82 - n. Is -21 < l?
False
Let y be (12/(-48))/((-45)/12 + 3). Let m = -6 + -1. Let v = 7.4 + m. Which is greater: y or v?
v
Let b be (-2)/2 + -3 + 16. Suppose b - 6 = y. Suppose -4*r = 2*j + y, r + 4*r = 4*j - 1. Which is greater: 0 or j?
0
Let d(o) = o**3 + 17*o**2 + 9*o + 27. Let s be d(-16). Let v = s - 127. Which is greater: v or -0.03?
v
Suppose 0 = -d + 3*d - 5*p + 25, 10 = 2*p. Suppose 8 = -2*l, 4*i - 4*l + d*l = -64. Let a = -0.04125 + 0.14125. Is a equal to i?
False
Let x(t) = 6*t**3 + 3*t**2 - 6*t - 14. Let o be x(-2). Is o >= -38?
True
Suppose -77*y + 18 + 59 = 0. Which is smaller: -13/85 or y?
-13/85
Let c = 7.52 + -7. Let m = c - 0.73. Let s = m - -0.11. Which is smaller: 5 or s?
s
Let u = -0.2 - -14.2. Is 3/2 smaller than u?
True
Suppose 5*y = 5*b + y + 15, 5*b - 15 = -2*y. Let u = 66/7 + -288/35. Is u at least as big as b?
True
Let s be (270/(-12))/((-2)/4) - 2. Suppose 0 = 3*q - 0*q - 126. Are q and s equal?
False
Let y be (2/2 - 2) + 1. Suppose 0 = n - 0*x + x + 7, -n = -2*x + 16. Let q be 2/21*(-1 + n/(-4)). Which is bigger: y or q?
q
Let w be (96/(-2))/(-3) + -1. Let m be 155/10 + (8 - 38/4). Which is greater: w or m?
w
Let f(v) = 3 - v - 4 + 28. Let m be f(21). Is m less than or equal to 9?
True
Let n = 0.88 - 1. Let x = -315.1 + 315. Which is greater: n or x?
x
Let y be (4 + -5)*(-9)/(-3). Let r be (48/(-15) - y)*-5. Suppose -r = 3*l - 4. Is l smaller than 1/2?
False
Suppose 3*d = q - 25 + 68, 5*d - 3*q = 73. Let w(n) = -2*n + 30. Let k(v) = -v**2 + 16*v + 15. Let s be k(16). Let f be w(s). Is d != f?
True
Suppose -c + 4 = -2*j, -5*c = -0*c - j + 7. Let x(u) = u**2 + 6*u + 3. Let o be x(c). Is o bigger than -15/4?
False
Suppose -182 = 2*a - 8*y + 5*y, -y = 0. Which is smaller: -90 or a?
a
Let i(f) = 7*f + 1. Let j be i(-17). Let n = 4955/42 + j. Which is bigger: n or -1?
n
Let j = 39 - -8. Let a = j - 48. Is -0.49 at least a?
True
Let g(t) = t**2 - 16. Let x be g(-5). Suppose x*r = 12*r - 6. Which is smaller: r or 17/5?
r
Let c = 953 - 941. Which is smaller: 6 or c?
6
Let k(u) be the first derivative of -u**4/4 + u**3 + 3*u**2/2 + 5*u - 4. Let c = 16 - 12. Let g be k(c). Do g and 2/25 have different values?
True
Let b(v) = -v**3 + 8*v**2 - 1 + 2*v - 14*v**2 - 3*v. Let t be b(-6). Suppose 0 = -5*u - t*c + 10, 0 = 3*u - 2*c + 2 - 3. Which is smaller: -2/25 or u?
-2/25
Let i be (10*(-9)/(-810))/((-95)/3). Which is greater: 0 or i?
0
Let t(h) be the first derivative of -5*h**2 + 2*h - 1. Let n be t(-1). Let d be 1 - 1 - 3/n. Which is smaller: -3 or d?
-3
Suppose 0 = a + 3*q + 90, -26*a + 24*a + 4*q = 180. Which is smaller: -95 or a?
-95
Let v = -1.2 + -1.3. Let a = v + 2.2. Let q = a + 0.46. Is q less than or equal to -1?
False
Let x be (384/210)/((-2)/4). Let k = -7/26 - 459/130. Let s = k - x. Which is smaller: -0.3 or s?
-0.3
Suppose -10*o + 5 = -15. Suppose -o*k = -7*k + 5. Let b be 1 + 3/(72/(-26)). Which is greater: b or k?
k
Let g be (1 - 6/(-2)) + -3. Let q = -8 - g. Let w be (-29)/(-3) - (-6)/q. Which is smaller: 10 or w?
w
Let s = -2973/28 - -421/4. Which is bigger: -1 or s?
s
Suppose 5*u + 8 = -2. Let i be 3*-1 - u/8*-116. Is i at least -32?
True
Let u(k) = -k**3 + 2*k**2 + 3*k. Let t = 109 + -110. Let v be u(t). Which is smaller: v or 6/23?
v
Let k be 14/(21/(-9) + 2). Let h be (-144)/k*57/2. Let t = 98 - h. Which is smaller: t or 1/3?
t
Let z be -120*((-8)/10)/(3 - 1). Which is smaller: 97/2 or z?
z
Suppose -5*m + 0*h = 5*h - 55, 2*m = 3*h + 12. Let j be 46/(-4) + m/6. Let b = j - -13. Which is smaller: 4 or b?
b
Let z be 52/42 - ((-22)/77 + (-24)/(-28)). Let i = 0.168 + -76.168. Which is smaller: i or z?
i
Let t = -116 + 122. Suppose 5*d + 11 - t = 0. Is 2/35 < d?
False
Let k = 99 + 23. Let q be (1 - 2)/(k/4). Which is smaller: q or -1?
-1
Let l be -15*6*(-5)/(-15). Let s be (-5)/(-57)*(-916)/l. Let h = s + -2/171. Is 3 equal to h?
False
Let k = -38/15 + 22/3. Is 5 at least as big as k?
True
Suppose -30 = 2*b - 7*b. Suppose 0 = -4*g + b*g + 18. Let z be (-3 - (-2 + 0))*g. Which is smaller: 10 or z?
z
Suppose 4*r - 359 = -367. Do -13/11 and r have different values?
True
Let d(t) = t**3 - 3*t**2 - 9*t - 6. Let q be d(5). Is q less than or equal to -5/17?
True
Let c = 23 - 78. Let m = -49 - c. Is -4 >= m?
False
Let c = -15 + 15.16. Let n = c + -0.76. Let i = n + -1.4. Is 2/17 bigger than i?
True
Let j be ((-32144)/21)/((-5)/((-10)/(-12))). Is 256 > j?
True
Suppose 4*m - 392 = 4*b, 0 = b + 2*m + m + 94. Which is smaller: b or -96?
b
Let s(j) = 245*j + 9. Let u be s(-1). Let z be (((-64)/u)/4)/2. Do 1 and z have the same value?
False
Suppose -22*g + 16*g = 12. Which is smaller: g or -6/5?
g
Let x(k) = 2*k + 38. Suppose 8 = d - 5*m, -6*d + d - 100 = 3*m. Let n be x(d). Is n >= 2?
True
Let c be 3/(-2) - 7797/138. Let p(x) = -57*x**2 - 2*x + 1. Let a be p(1). Is a bigger than c?
False
Let o(y) = -2*y + 11. Suppose 2*a = -8, -m - a - 3*a - 11 = 0. Let q be o(m). Is 12/11 smaller than q?
False
Let s be 1/(-3) + (-299)/(-195). Let i(q) = -q**2 - 10*q - 9. Let u be i(-9). Which is bigger: s or u?
s
Suppose 0*y - 8*y = -3400. Which is bigger: 424 or y?
y
Let y(q) = q**2 + 3*q - 5. Let p be y(-5). Suppose -4*i = i + p. Is -2/3 greater than i?
True
Let w be 2/15 - (-4)/(-30). Which is smaller: w or -5/38?
-5/38
Suppose -w + 3*r + 18 = 12, 4*w - 35 = r. Let d be ((-21)/(-2))/(5/4). Which is smaller: d or w?
d
Suppose -3*l + 2*k = -k + 15, 5*l + 25 = -k. Let p be (16 - 0) + -1 + 1. Let j = 10 - p. Is j less than l?
True
Let m(k) = 37*k + 225. Let r be m(-5). Is r bigger than 1/14?
True
Suppose 5*k + 4*k = 0. Let l = -34 + 32. Is k smaller than l?
False
Let n be 6 - (-7 - 336/(-27)). Which is smaller: 2 or n?
n
Let b = -506 + 495. Is -85/7 at least as big as b?
False
Let u = -26 - -59. Let t = u - 11.9. Let l = 21 - t. Which is smaller: l or -2/5?
-2/5
Suppose 8*z - 5*z = -45. Let w be 9/z - (-2)/(-5). Which is smaller: -