= -37 + 14. Suppose -12 = -3*c, -10 = -2*h - 5*c - 34. Let o = h - f. Which is greater: 10/9 or o?
10/9
Let k = 63 - 58. Suppose -137 = k*p + 113. Is -50 less than p?
False
Let s = 27 + -15. Let r(h) = h**2 - 21*h - 33. Let j be r(23). Which is smaller: j or s?
s
Let r(k) = -k**2 + 12*k - 3. Suppose -17*z + 233 - 46 = 0. Let d be r(z). Which is bigger: d or 1?
d
Let b = -520 + 522.16. Is 2/7 smaller than b?
True
Let q = 998 + -873. Is q bigger than 125?
False
Let m = -14 - -14.6. Let u = -0.11 - -18.11. Let i = -17 + u. Do i and m have different values?
True
Let w = -55 + 144. Let n = w + -88. Is -2/61 bigger than n?
False
Suppose 0 = 3*t - 4*g - 2 + 13, -t = -5*g. Let d be 1 + (t - -2)*4. Is 3 < d?
False
Let o = -2.01 - -1.91. Let n = 29 - 29.34. Which is smaller: n or o?
n
Let a = 2986 - 2910.04. Let k = a + -76. Is -0.7 < k?
True
Let k be 57*(-5)/(-270) + -1. Let y(w) = -w**2 - 2. Let p be y(-2). Let r = p + 6. Which is greater: k or r?
k
Let f = -23 - -33. Suppose -2*t + 5*t = -5*l + 51, -l = t - 11. Is f at most as big as l?
False
Let l be 28/(-3)*3/2. Let v(s) = s + 6. Let u be v(-20). Is u less than or equal to l?
True
Let l be 2/10*2*15/159. Is l equal to 0?
False
Let y = 71 + -147. Let v = 77 + y. Which is smaller: v or 6/17?
6/17
Let y = -11.7 - 1.2. Let g = 16 + y. Let c = 3 - g. Which is smaller: c or 2/3?
c
Suppose -4*i + 228 = -116. Is 87 < i?
False
Let k(l) = -l**3 - 6*l**2 - l + 1. Let z be k(-6). Let w be 16/(-7) + 2/z. Suppose 0*u + 12 = 5*v + 3*u, -u + 4 = v. Is v less than or equal to w?
False
Suppose 2*i = -7*a + 13, 5*i + 5*a - 8*a - 53 = 0. Is 17 less than i?
False
Let m = 2509/5 + -10031/20. Which is smaller: -1.19 or m?
-1.19
Suppose 50*r + 40*r = 94*r. Is -42/71 <= r?
True
Let j(b) = -4*b + 5. Let o be j(2). Let x = 30 - 27. Let l = x - 2. Which is smaller: o or l?
o
Let x = -146 - -148. Suppose 6*j - 5*j = -o + 3, 5*j = -x*o + 3. Is 6/91 smaller than j?
False
Let k = 9992/3 + -3231. Let w = k - 96. Suppose 2*y - 15 = -y. Which is smaller: y or w?
w
Suppose 5*h - 12 = 2*h, 5*a + 4*h = 1. Let k be (-4)/a*(-6)/72. Let q be (2 + -4 + 2)/(-1). Is k not equal to q?
True
Let z be (183/9)/(8/(-24)). Let a = 60 + z. Is -7/6 not equal to a?
True
Let r(s) = s**2 - 25*s - 224. Let m be r(-8). Is 81/2 less than or equal to m?
False
Let s(t) = -t**3 - 6*t**2 - 6*t + 6. Let u be s(-6). Let f = u + -39. Which is bigger: 8/5 or f?
f
Let w be 24/21*5936/(-32). Which is smaller: w or -210?
w
Let y be ((-9)/(-2))/((-6)/(-8)). Let h be (y/5)/(22/55). Let a be ((-2)/(-3))/((-2)/h). Which is smaller: -3/7 or a?
a
Suppose 2*g + g = 0, -4*a - 4*g = -36. Suppose a*j + 12 = -96. Which is greater: j or 0?
0
Let c be 2*3 + 2 - -2. Let o(b) = b**3 + 5*b**2 - 9*b - 55. Let j be o(-5). Let x = c + j. Which is bigger: 5 or x?
5
Suppose -4*r = w + 15, 0*w = -w + 3*r + 13. Suppose -3*n = 2*n - 5. Let d be (n/(-4))/(4/(-10)). Are w and d equal?
False
Let m(n) = -n**2 - 16*n - 21. Let k be m(-14). Let f be (-50)/(-125) - 34/10. Is f <= k?
True
Let u = 80/3 - 27. Let h = -8.4 + 4.7. Let j = h - -0.7. Is u < j?
False
Suppose -5*y = 5*n - 400, -160 = -2*n - y - 3*y. Suppose -5*a + n = 5*i, a = -a + 8. Let k = -9 + i. Is k <= 4?
True
Let i(m) = -13*m - 6*m + 20*m + m**2. Let z be i(1). Let u be (-408)/(-128) - (1 + z). Are 0 and u non-equal?
True
Suppose -3*i - 24 = -2*k - 7*i, 4 = -3*k + 2*i. Let x be k/10 - 363/15. Let o be ((-1)/(-5))/((-40)/x). Which is greater: o or -1?
o
Let y be (1 - 6)*12/(-570). Let p be (16/(-48))/(2/4). Does y = p?
False
Let i = 0.19 - 42.19. Let c = -43 - i. Which is smaller: 22 or c?
c
Let c = -21 - -39. Let i be 1*-2 + c/8. Suppose -250 + 608 = -179*g. Which is smaller: g or i?
g
Suppose 12*y - 671 = y. Which is smaller: 59 or y?
59
Suppose -2*w + q + 88 = -6*w, w + 22 = -q. Let h(j) = -2*j**2 + 7*j + 8. Let z be h(6). Is z greater than or equal to w?
True
Suppose -3*c = -7*c + 16. Let r = 7 - c. Is r less than or equal to 18/5?
True
Let i be 6/(-2) - 4/((-24)/570). Suppose -i = 20*t + 108. Is t < -10?
False
Let u = -2567.7 + 2568. Let y = -6.3 + 7. Which is greater: y or u?
y
Let g(b) = 2*b - 35. Let z be g(19). Suppose -6 = -z*a - 3*a. Which is smaller: a or 2/37?
2/37
Let d = -0.19 - 5.81. Let g = d + 14. Which is smaller: -2/5 or g?
-2/5
Suppose v = -0*v + 5. Let a be (-6)/12 + v/6. Let y be ((-4)/20)/(6/10). Is a less than or equal to y?
False
Let f = -20246 + 263344/13. Which is bigger: 12 or f?
12
Suppose -14*m + 3 = -17*m. Let g = -1 + -5. Let f be 5/18*g/(-15). Are f and m non-equal?
True
Suppose 3*n = -0*n - 27. Let r = 9 + n. Suppose 0 = -4*m + 24 - r. Which is greater: 5 or m?
m
Let y be (3 + -53)*(-8)/(-20). Let j = 20 + y. Which is bigger: -1/10 or j?
j
Suppose u - 15 = -2*u. Let r be 1 + 3 + 4/(-2). Let s = 3 + r. Is u less than or equal to s?
True
Let b be 4 + (-5)/(45/(-3)). Which is smaller: b or 5?
b
Let d = -42.866 + -0.134. Let f = 43.009 + d. Which is smaller: f or 0.1?
f
Let s(a) = -11*a + 4. Let h be s(-4). Suppose -4*d + 2*q - 74 = 0, -h = 3*d + 3*q - 7*q. Let n = -22 - d. Which is smaller: -10/11 or n?
n
Let x be -3 + (11 - 220/33). Which is bigger: x or -102?
x
Suppose 2*l + 1 = 5. Suppose -3*x - 3*c + 150 = 0, l*c - 1 - 1 = 0. Suppose 4*i + d - 55 = 2*i, 0 = -2*i + d + x. Is 27 at least as big as i?
True
Let k be (-225)/(-207) - (-4)/(-46). Which is greater: k or -3/196?
k
Let x(s) = -14*s. Suppose 2*t = 3*h - 11, 0 = -2*t + 2*h - 1 - 5. Let r be x(t). Is r > -29?
True
Let y be 22/42 - 4/6. Suppose 0 = -4*v + 3*j + 2*j - 4, 3*v = 5*j - 3. Are y and v non-equal?
True
Let a = -35 - -39. Suppose o = -a*g + 5, -3*g - 20 = -g - 4*o. Which is greater: 2/9 or g?
2/9
Let q = 7/1224 + -269/689112. Is 1 bigger than q?
True
Let x be 145/12 + (-20)/30. Let f = -38/3 + x. Let a = 0 + -2. Is a greater than or equal to f?
False
Let d be (-50)/(-6) + 6/9. Suppose -10*g = -7*g - 9. Suppose 2*k = n + 15, -k + g*k + 4*n = 30. Is d equal to k?
True
Let f = 75 - 75. Let a = 0.35 + f. Is a at most 1/4?
False
Let j = -0.34 + -29.86. Let t = -30 - j. Let a = 0.2 - 0.3. Which is bigger: t or a?
t
Let y = -1376 + 1345. Does y = -161/5?
False
Let v be (-4)/(-6) - 535/15. Let t be (-2 - -1) + (-45)/v. Let o(x) = 6*x + 24. Let y be o(-4). Is t less than y?
False
Let o(h) = 21*h**3 + h**2 + h. Let q be o(-1). Let s = q + 9. Let w be 39/(-42) - s/8. Does 0 = w?
False
Let j be 41/(-13) - 8/(-52). Suppose 0 = 4*n + 15 + 45. Let q be (-24)/n*(2 - 3). Which is greater: j or q?
q
Let u(i) = -i**2 - 5*i - 2. Let v be u(-4). Suppose -5*f + 2*x + 6 = 0, 4 + 0 = v*x. Suppose 1 = -f*p - 9. Which is smaller: p or -4?
p
Let v be ((-2)/6)/((-4)/(-36)). Let k be 1 + (3 + v)/2. Let q be k/(9/(-15)) + 2. Is -3/8 greater than or equal to q?
False
Suppose 4*h + 23 = -d, 4*d = -d - h - 20. Let o = 17 + -21. Which is smaller: o or d?
o
Suppose 4 = 3*h + 7, -7 = -2*w - 3*h. Suppose -i = -w*i + 24. Let c be i/4*(6 + 0). Is 10 at most as big as c?
False
Let o = 83 - 93.2. Let x = o + 9. Let v = 1.24 + x. Is 0.1 greater than v?
True
Let n = -2.34 + 98.34. Let d = -97 + n. Let q = -1 - -2. Do d and q have the same value?
False
Let w = 318 - 321.98. Let i = -4 - w. Let p = i - -0.12. Which is smaller: p or -0.4?
-0.4
Suppose 208 = 2*z + 102*z. Which is greater: z or 438?
438
Let n(l) = -l**2 + 3 + l + 0 + 0. Let g be 30/(-20)*(-1)/((-3)/6). Let p be n(g). Which is smaller: p or -7?
p
Let d = 7/30 - -4/15. Let t be (-3 - (-1 + -1))*0. Suppose o - 4*o = t. Which is smaller: d or o?
o
Suppose 4*h - 5*i = 89, 4*h + 0*i - 101 = i. Suppose -7*r - 4*q = -2*r + 1, -5*q - h = -2*r. Let x be ((-3)/117*-6)/r. Which is smaller: 1 or x?
x
Suppose 3*m - 2*t = 26, -14*m - 45 = -19*m + 3*t. Is 21 greater than m?
True
Let d(m) = m**2 - 16*m + 48. Let k(a) = 13*a**2 + a + 2. Let f be k(-1). Let x be d(f). Is 20 greater than x?
False
Suppose 0 = -2*l + 5*l + 3*u - 21, 0 = -2*l + 5*u - 21. Suppose 4*m + 40 = l*m. Let z be (-1 - -3)*6/m. Which is smaller: z or -2?
-2
Let o be 22 + (5 - 2) - -4. Suppose 0 = -4*s - 20, 0 = -3*n + n + 5*s + o. Which is greater: n or 9/14?
n
Let u = -2 - -5. Let l be u/(-1)*-1 + -3. Suppose 0*c + 5*c - 35 = l. Do c and 6 have the same value?
False
Let x = -9070 - -45348/5. Let j be (1 - -1)/((-2)/(-6)). Let a = j - -3. Which is smaller: a or