u - 20 = u. Is -12 at most y?
True
Suppose 4*g - 115 - 41 = 0. Let k be 95*g/(-357) + 0. Let v = -71/7 - k. Is v < 1?
True
Let s be 320/18*(-8)/140*-3. Let n = s - 10/3. Which is bigger: -41 or n?
n
Let q(t) = 3*t**2 + 2*t - 193. Let d be q(0). Is -193 < d?
False
Let i = 1.367 + -1.067. Let f(s) = s**3 + 3*s**2 - 2*s + 2. Let m be f(-4). Is i less than m?
False
Let d = -19.1 + 19. Let m = 0 - d. Which is smaller: 5 or m?
m
Let s = 1.199 - 1.2. Let g = s - 0.099. Which is greater: g or -68?
g
Let y = -1.389 + 0.389. Which is smaller: y or 52/5?
y
Let g be ((-1)/(-4))/(11/(-2) + 6). Which is smaller: g or -202?
-202
Let m(v) = v**3 + 18*v**2 - 19*v - 69. Let u be m(-19). Are -341/5 and u equal?
False
Let g = 382 + -378. Let d be (-7 - -5)*(-6)/4. Which is bigger: d or g?
g
Suppose 0 = 5*x + 4*m - 876, -2*m = -x - 3*m + 176. Suppose 5*s - 220 = 5*g, -5*s = -s - 2*g - x. Which is smaller: 41 or s?
41
Suppose -10*u + 9*u = 4*b - 3, -4*b + 4*u = -8. Which is smaller: -10/29 or b?
-10/29
Let s be -26*(-10)/20*2. Let o be (-38)/(-3) + (-2)/3. Let r = o - -13. Is s greater than or equal to r?
True
Let a = 81 + -79. Suppose 0 = -a*u - 2, 0 = 2*v + 3*v + 2*u + 42. Let d be -5*3/((-15)/(-8)). Are d and v unequal?
False
Let s = -7529/88 - -882/11. Which is smaller: -6 or s?
-6
Suppose -3*r - 322 = 11*r. Are r and -249/11 equal?
False
Let c be (-11982)/18*3/1776. Let l = c - 1/1776. Do l and -1 have different values?
True
Let l(s) = -3*s**2 - 5*s + 27. Let p be l(-6). Which is smaller: -53 or p?
-53
Let b be (-2)/(-9) - 58/18. Let v be 3292/(-600) + 4 + 0. Let s = v - 1/75. Which is smaller: b or s?
b
Let c = -64 + 65. Let i(v) = 11*v**2 + 3*v - 1. Let b be i(c). Are b and 13 equal?
True
Suppose -5*z + 21 = -2*z. Is z >= 6?
True
Suppose v = -2*h - 0*h + 69, -65 = -2*h - 5*v. Is h less than or equal to 34?
False
Suppose -11 = -17*n - 28. Which is smaller: 3/20 or n?
n
Let w = 36.8 + -49.8. Let r = -5.2 + 5. Is r greater than or equal to w?
True
Suppose -48 = 4*x + 3*b, 0*b = -5*x + 2*b - 37. Let j = 6 + x. Let d be 4/(-10) + (-56)/35. Which is bigger: d or j?
d
Let o = 11.58 - 11.78. Let q(n) = -n**3 + 5*n**2 - 3*n + 5. Let i be q(4). Do i and o have the same value?
False
Suppose 2*q - 5*b + 9 = 30, -2*b - 6 = 0. Let p be 44/(-14) + q + 1. Are 1 and p equal?
False
Let d be (-750)/110 - -7 - 106/(-22). Which is smaller: 145 or d?
d
Let z be 2/74*2/(-1). Let u(m) = -m**2 - 10*m - 9. Let x = -3 + -6. Let n be u(x). Is z > n?
False
Let v = 246 - 1469/6. Let q = -1.2 - 5.8. Let u = q + 9. Is v less than u?
True
Let g = 16 - 24. Let k = 7.86 + g. Are 1/2 and k nonequal?
True
Let h = -1551/170 - -93/10. Are h and 1/9 equal?
False
Let c = 1.01 - 2.26. Let w = 1.8 + -3. Let s = w - c. Is 0.2 < s?
False
Suppose -2*a - 33 = 3*j, 0*a - 2*j + 58 = -4*a. Let c be 87/(-6) - 2 - -2. Is c < a?
False
Let v(r) = r**2 + 4*r + 5. Let o be v(-4). Suppose -2*s + 5 = -o. Suppose -s*l + 3 = -37. Is l < 6?
False
Suppose -w = -3*p + 4*w - 5, 2*p = -4*w + 4. Which is greater: p or -17/45?
p
Suppose -3*c - t - 24 = 0, c + 6*t + 8 = 9*t. Is 16 bigger than c?
True
Let r = 236 - 248. Let d = 5.3 + -5. Which is smaller: r or d?
r
Let m = -102 + 97. Suppose 4*o + 20 = 5*o. Suppose d + 2*d + 4*j = -2, o = -4*d - j. Which is bigger: m or d?
m
Let z = 10.953 + 0.047. Let s = -7 + 19. Let r = s - z. Which is smaller: r or -3/4?
-3/4
Let j(q) = q**2 - 6*q + 6. Let d be j(5). Let y = d - 4. Let p be 13/(-6) - (-4)/6. Is y at least as big as p?
False
Let o = 1360 + -1316. Is 43 greater than or equal to o?
False
Let v = -142/17 - -2876/153. Let u = v - 3460/333. Let a be (-5 - -4)*(1 - (6 + -4)). Are u and a nonequal?
True
Suppose g - 189 = 10*g. Let l be (-576)/(-56) - 3/g*-2. Is l equal to 12?
False
Suppose 12*x = -73 + 73. Let a = 1694595 - 1070983661/632. Let w = a + 2/79. Is w less than or equal to x?
False
Let b be (-6)/(-15) + 8/(-20). Suppose 6 + b = -3*w. Do -3 and w have the same value?
False
Let y be 9/6 - (-11)/(-10). Which is smaller: y or 7?
y
Let g be (4/(-7))/(2/(-7)). Suppose 12 = -g*u - 5*a, 0 = -3*u + 4*u + 5*a + 11. Let n be u/6 - (-4)/8. Which is bigger: -1/3 or n?
n
Suppose -b = -4*i + 15, 1 = 2*b - 1. Let z be 70/i - (-6)/(-12). Do 16 and z have different values?
True
Let p = -2/591 - -21875/2364. Suppose -7*w = -2*w - 3*h - 62, -52 = -4*w + 3*h. Is w greater than or equal to p?
True
Let l(i) = -i**3 + 6*i**2 + 10*i + 10. Let w be l(7). Let v = w + -18. Is v greater than -1/4?
True
Let y = -1/6 + 185/1038. Which is greater: 0 or y?
y
Let v(a) = -a**3 - 121*a + 113*a - 2 - 5 + 10*a**2. Let g be v(9). Suppose 0 = 3*i - g*i - 2. Do i and 2 have the same value?
True
Let z(w) = -15*w**3 - w**2 + 1. Let d be z(1). Let y be (-44)/(-6)*d/5. Let s = y + 12. Which is bigger: -9 or s?
-9
Suppose -3*b - x = 2, -3*b - 8*x + 5*x - 6 = 0. Which is bigger: b or 1/131?
1/131
Let a = 27 - 30.98. Let f = -0.02 + a. Let n = f + 4. Is 2 equal to n?
False
Let x = -2 + 12. Let o(n) = -n + 21. Suppose -g + 63 = 53. Let q be o(g). Is q bigger than x?
True
Let g be (-403)/14*4/(-6). Let n = g + -64/3. Does -1 = n?
False
Suppose a = -q - 0*q + 1, -2*q + a - 7 = 0. Let j = 30 + -27. Is q equal to j?
False
Let o be (-8 - -4) + (1256/316 - 0). Let g = 152/237 - o. Is g greater than 0?
True
Suppose -2*n + 19 = -339. Is 180 bigger than n?
True
Let y(m) = -2*m - 30. Let t be y(-16). Suppose -3*n + t*n = -0*n. Which is bigger: -4/27 or n?
n
Suppose 0*j = -4*j. Let q be 16/(-70)*((-8)/4)/(-8). Which is smaller: j or q?
q
Suppose 5*c + 2*k + 179 = 0, 25 = -c - 0*c - 4*k. Suppose -2*r - 78 = -3*t, -25*t + 78 = -2*r - 24*t. Which is smaller: c or r?
r
Let o = -240 + 229. Which is smaller: o or 0?
o
Let i = -13/73 - -341/1095. Which is smaller: i or 277?
i
Suppose -5*c + w = 2*w - 5, -4*c = 5*w + 17. Suppose -c*x + 83 = -3*h, -h + 3*h + 5*x + 87 = 0. Are -31 and h non-equal?
False
Let h be 36/10 - (-12)/30. Let v be (h/6)/((-6)/342). Is v greater than -39?
True
Let n = 232.87 + -231. Do n and -0.2 have the same value?
False
Let c = 22.8 + -23. Let q be (-26)/7 - (-14)/(-49). Let a be q/12 + (2 - 1). Is c bigger than a?
False
Let q = -0.028 - 3.272. Let n = -3 - q. Is 6 at most n?
False
Let m be -1*((-33 - 2) + 5). Suppose -4*z + 155 = z. Which is smaller: m or z?
m
Let q = 0.04 - -11.46. Let z = 0.12 + 11.88. Let a = z - q. Which is smaller: 2 or a?
a
Let a(x) = x**3 - 18*x**2 + 17*x + 2. Let r be a(17). Suppose 0 = n - r*n - 2*j - 12, -5*j = -2*n + 12. Let q be ((-1)/4)/(1/10). Are q and n nonequal?
True
Let g = 324 + -243. Is 81 at most g?
True
Let l(z) = 7*z**3 - 2*z**2 - 3*z + 3. Let j be l(1). Suppose -81 = -n + 9*m - 4*m, 203 = 3*n - j*m. Which is bigger: 62 or n?
62
Let r = 48 - -58. Let v = r - 76. Let x be ((-8)/v)/(26/65). Which is smaller: -1 or x?
-1
Let g = 31 - 28. Suppose 5*y = 2 + g. Are y and -3/11 nonequal?
True
Suppose -3*j + 3*h = -66, 3*j + 2*h = 3*h + 64. Let m be ((72/j)/(-6))/22. Is 0 equal to m?
False
Suppose -6 = a + 17. Let s = 16 + a. Let k = 7 + s. Which is smaller: k or 1?
k
Suppose 0 = -3*s + 341 - 71. Let g = s - 148. Is g at least -57?
False
Let x(w) = 132*w + 1847. Let q be x(-14). Let o = 0 + -1. Is o bigger than q?
False
Let j be 0 + 260 - (-5 + 8). Let t = 779/3 - j. Suppose -2*f - 4*n = -24, 3*f + 2*n = 13 + 7. Do f and t have the same value?
False
Let d = 1993 - 7907/4. Let c = d + -16. Which is smaller: 1.2 or c?
c
Let n = 0.9 - 1. Let j = 0.73 - 7.43. Let l = j + 4.7. Which is smaller: l or n?
l
Let z = -3 + 1. Let p be ((-3)/z)/(24/16). Suppose -3*d = 0, 5*v + 3*d = 6*d. Which is smaller: p or v?
v
Let d(g) = -93*g - 933. Let x be d(-10). Is x equal to -17?
False
Let v = 304 - 305. Is -11/10 less than v?
True
Let h(w) = 55*w - 50. Let n be h(-4). Which is smaller: n or -271?
-271
Let x = 1 - -11. Let r = 13 - x. Let v be (r + 0)/(3 - 2). Is -1 less than v?
True
Let r = -7 + 13. Let s be 23/(-21) + -5 + r. Which is bigger: s or -1?
s
Let b(p) = p**3 - 8*p**2 - 10*p + 11. Let y be b(9). Suppose -y*i + 4*k = -3*i - 12, k = 5*i - 45. Let m be (i - 5)*(-30)/(-9). Which is greater: m or 11?
11
Let o = 280 - 261. Are -2 and o non-equal?
True
Let l = 59 + -52. Suppose -j - 3 = y - l, -3 = -y. Is -2/105 at least as big as j?
False
Let n = -56 - -54. Let m be ((-12)/20 - 0) + n/