et j = g - 65/3. Is q at most as big as j?
True
Suppose 0 = -5*b + 122 - 162. Which is greater: -12 or b?
b
Suppose 4*o + 2*t + 30 = 3*o, 0 = 3*o - 4*t + 50. Let f be 19/(-95) + o/(-60). Let v(w) = w**2 + w + 1. Let s be v(0). Is s greater than f?
True
Let h(w) = -w**2 + 20*w - 66. Let c be h(8). Is c < 30?
False
Let c = 30.4 + -65.1. Let v = c + 33. Let l = -1.3 + v. Which is greater: -1/4 or l?
-1/4
Let h = 36.9 + -36.4. Which is greater: -76 or h?
h
Suppose w + 585 = 5*h - 4*w, 828 = 7*h + 2*w. Is 123 greater than or equal to h?
True
Let b = -13 - -12. Let k = 43 - 35.14. Let m = k + 0.14. Which is smaller: b or m?
b
Let c = 13499/11 - 1228. Let m = -1054 + 1054. Which is smaller: c or m?
c
Let b(q) = -q**2 + 4*q + 1. Let v be b(3). Suppose 8 = -v*s + 12. Which is bigger: 14/11 or s?
14/11
Suppose 0 = 4*o - 0*f - 2*f - 6, -5 = -3*o + 2*f. Let h be 2 + (o - -2) + -2. Is h equal to 0?
False
Let b = -33.0335 + 0.0335. Let g = -0.079 + 32.079. Let c = g + b. Which is smaller: -3 or c?
-3
Let t(v) = v**2 + 8 - 5*v + 6*v - 7*v. Suppose -3 - 7 = -2*f. Let y be t(f). Is y not equal to 2?
True
Let q = 385 + -392. Which is bigger: q or -14?
q
Suppose 16 = 2*r + 2*r. Suppose 3*s = -9, -4*s + r - 21 = -n. Which is greater: 17/4 or n?
n
Let q be 118/38 - (-10 + 13). Let t(a) = a**2 - 9*a + 5. Let s be t(9). Suppose -s*h = 20, -2*h = -z + h + 12. Are q and z unequal?
True
Suppose -213 = -10*l - 643. Let o = l + 66. Which is bigger: 2 or o?
o
Let c be 4 - (-5 + (-8)/(-1) - 10). Is 4/11 equal to c?
False
Let f be (-6)/(16040/80*4*1). Is 1 >= f?
True
Let d = 0.013 + -0.213. Let n = 49 + -28. Which is smaller: n or d?
d
Let g = -106.9 - -70.8. Let p = g + 36. Which is greater: p or 9/7?
9/7
Let v = 0.03 - 0.61. Let w = -2.58 - v. Which is bigger: w or -1.4?
-1.4
Suppose -8*o = -5*o - 36. Let a(f) = -3*f - 19. Let k be a(-10). Which is smaller: k or o?
k
Let h be (308/(-161) + 2)/(-12). Is 1 > h?
True
Let q(l) = 2*l**2 - 26*l - 15. Let b be q(14). Is 3 > b?
False
Let o = -41 - 118. Let h = o - -481/3. Which is greater: 0 or h?
h
Let i = -1635558509/3631 - -450443. Let u = 5842615/50834 - i. Let m = u + -115. Is m < -1?
False
Let l be (10 - 3 - 10)*1/(-164). Which is smaller: -1 or l?
-1
Let l be 3/(-3 - 1 - -5). Suppose -w + 2*z + 17 = -3*z, -5*w + l*z = 3. Let f = -1 - 5. Is w <= f?
False
Let s be ((-6)/6)/((-16)/(-388)). Let z be 6/(-15) - (-246)/(-10). Is s bigger than z?
True
Let l = -407 - -374. Are -32 and l equal?
False
Suppose 2*x - 5*x = -9. Suppose -4*a = 5*g + 70, x*g + a - 3*a = -42. Let w = g + 22. Which is greater: w or -0.1?
w
Let r(c) = -c - 3. Suppose -2*i - 66 = -3*o - 5, -3*o - 5*i = -47. Let y = 17 - o. Let x be r(y). Is x at least as big as 3/8?
False
Suppose -2*h - 2 = y - 5*y, -2 = -h + 5*y. Let t be -4*(-3 + 2)/1. Suppose 0 = -4*d + t*i, -3*i = -3*d + 2*d + 8. Is h <= d?
False
Let i = 551 - 523. Is i < 30?
True
Let y = -1097/6 - -8153/45. Let m = 8/45 - y. Are 3 and m unequal?
True
Let f be (10/(-2))/(19 - 14). Let i be 2/(-1) + (-35)/(-18). Are f and i equal?
False
Suppose 2*s + s = -4*c - 48, 0 = -3*c + s - 36. Let f = -18 + 27. Let y be (-18)/(-8) - f/c. Which is smaller: 2 or y?
2
Suppose 7*y + 160 = 3*y. Let j = y - -40. Which is greater: j or 4/55?
4/55
Let k(w) = 9*w**2 + 6*w - 2. Let x be k(-1). Let c be (-2)/11*(-5)/2. Which is smaller: x or c?
c
Suppose -3*m + 1466 = 254. Is 1 > m?
False
Let c = -482 - -483. Which is bigger: c or 1/285?
c
Suppose -133 = 6*s - 133. Let n = -137/2 + 1371/20. Do s and n have the same value?
False
Let w(c) = -5*c**2 + c + 6. Let d(n) = 4*n**2 - 2*n - 5. Let o(u) = -4*d(u) - 3*w(u). Let v be o(5). Let p be (-1 - -3)*1/v. Is 1 equal to p?
True
Let i = -17 + 29. Suppose -w + i = -4*w. Is -21/5 bigger than w?
False
Suppose -2*h - 247 = 3*j + 84, -4*j + h = 445. Is -115 less than j?
True
Let h be (-1 - -2)/(141/69 + -2). Which is greater: h or 1?
h
Let a be 7/((-189)/12360) - 34/153. Is -459 < a?
True
Let a = -99.9 - -103. Is 0.1 at most as big as a?
True
Suppose -30*f = 5*f + 4655. Is -133 greater than or equal to f?
True
Let h be (-8)/18 - (4188/540 - 8). Let s be ((-4)/(-10))/(2/20). Which is bigger: h or s?
s
Let n = -22861/4102 + 1/586. Let w be ((-1 - -6)*1)/(-1). Which is greater: w or n?
w
Let f = 13 - 11. Suppose 5*b + 35 = -4*o, f*b = -4*o - 2*b - 32. Let v(i) = -i**2 - 4*i + 6. Let q be v(o). Which is bigger: q or -2?
q
Let b = -8 + 13. Which is greater: 7 or b?
7
Let n(g) = 5*g - 3. Let o be n(4). Let b(w) = w**2 + 5*w + 3. Let j be b(-5). Let q be (j - o/6)/2. Which is greater: 1 or q?
1
Suppose -4*w = -2*m + 28, -w - 36 = -4*m + 2*w. Let l(g) = g**2 - 7*g + 7. Let t be l(m). Let d be ((-2)/t)/((-6)/(-3)). Which is smaller: d or 0?
d
Let i(z) = -5*z + 20. Let k be i(4). Suppose 3*v - 5*v = k. Are v and -2/339 equal?
False
Let k(j) = 2*j**2 - 6*j - 3. Let v be k(5). Let n = 357 + -341. Which is greater: v or n?
v
Let u be -201 - 4/(-6)*3. Which is greater: -200 or u?
u
Let b be 18/36 + (279385/(-62090) - -4). Is b greater than -1?
True
Suppose 5*x - 3*x = 14. Suppose -u = -x*u + 192. Is 32 < u?
False
Suppose 5*i - 768 = -2*d, -2*d - 3*d + 5*i = -1920. Suppose -c + 1 = 0, c + d = 4*p - 183. Let j = 1849/13 - p. Which is bigger: j or 0?
j
Let a(k) = k. Let l be a(1). Let w = l + -12. Let b be (-5)/(-20) + w/28. Which is bigger: b or -1?
b
Let h = -95320757/435 + 219128. Let c = h + -2/87. Let p = -37.02 - -37. Which is smaller: c or p?
c
Let p(a) = -18*a + 108. Let c be p(6). Which is smaller: -56 or c?
-56
Suppose 4*b = -438 + 290. Which is bigger: -192/5 or b?
b
Let d(x) = -x**3 + 2*x - 13. Let q be d(-3). Let m = 58 + -49. Is q at least as big as m?
False
Let n = -3.086 - -0.086. Which is greater: n or -0.17?
-0.17
Let l = -0.76 + 36.76. Let u = l + -37. Let c = 1 - 0.97. Which is smaller: c or u?
u
Let l be (102/(-10) + -1)*35/7. Which is bigger: -47 or l?
-47
Let r = -6.331 - -6.3. Let s = 0.029 - r. Which is smaller: s or 2/13?
s
Suppose -121*x = -117*x - 156. Is 36 at most x?
True
Let v = -87.7 + 74. Let i = v + 10. Let u = i - -3.8. Is u at least as big as -0.3?
True
Let j(g) be the second derivative of -g**5/20 + g**4/3 + 2*g**3/3 + g**2 + g. Suppose -f + 11 = 2*m, -4*f + 0 = m - 9. Let y be j(m). Are y and -3 unequal?
False
Suppose 0 = 3*r + 4*r - 147. Suppose 0 = 4*t - 2*d - 54, -t = -2*t + 3*d + r. Is 10 at least as big as t?
False
Suppose 34*t + 277 = 18297. Is t bigger than 529?
True
Suppose -2*t - 80 = -t. Let p = -656203/13 - -50397. Let y = t - p. Which is bigger: -1 or y?
y
Let h be 9/(-8) + 132/(-352). Which is bigger: h or 15/7?
15/7
Let h = 277 - 277. Which is smaller: h or -4/239?
-4/239
Let q = -9 + 57. Let s be (q/(-15) - -2)/((-9)/120). Which is smaller: 15 or s?
15
Let k = 16.6913 + 0.0287. Let w = 0.18 + k. Let q = 18 - w. Which is smaller: -1 or q?
-1
Let i(t) = -t**2 - 5*t + 15. Let w be i(-6). Suppose 5*a - w = 2*a. Suppose 43 = -5*s + a. Is -8 != s?
False
Let v be (-1)/(123/(-490)) + (-17 - -13). Is 0 > v?
True
Suppose 6*v - 336 + 84 = 0. Is v greater than 41?
True
Let u be (-3 + 5 + -6)/(1/3). Let c be 10/u*9/30. Which is smaller: 1 or c?
c
Suppose 0 = 14*z - 16*z - 88. Let i = -832/19 - z. Which is greater: 1 or i?
1
Let w(k) = k**3 - 7*k**2 - 9*k - 21. Let u be w(9). Suppose j = 6*j - u. Is 12 at least j?
True
Let q = 111 + -120. Let m = 11.8 - 11. Let c = m + -0.7. Which is smaller: c or q?
q
Let g(x) = x**2 - 4. Let s be g(3). Suppose -s*c - d - 3140 = 0, 423 + 1439 = -3*c - 5*d. Let y be c/136 - 8/(-2). Is -1 at least y?
False
Suppose 2*l + l = 0. Let i be (-40)/30*(-15)/(-230). Which is smaller: i or l?
i
Let j be (1*4)/(10 + -6). Do j and -0.01 have the same value?
False
Let f = -1/6726 + -355/125552. Is 1 at least as big as f?
True
Let u be 255/(-340) + 711/980. Which is bigger: u or 0?
0
Let y(t) = 3*t + 12. Let x be y(-8). Let l be 116/(-6) - (1 + 6)*-1. Is x smaller than l?
False
Let x = 423 + -398. Which is greater: 9 or x?
x
Let f = -264/5 + 7641/145. Let p be (2/(-3))/(10/(-15)). Is p <= f?
False
Let s = 0.114 + -15.114. Let w be ((-52)/12 - -4) + 0. Which is greater: s or w?
w
Let d = -6181 - -1673. Let k be -4 - d/528 - 4. Let q = k + -5/11. Which is bigger: q or -1?
q
Let r = 12 + -10. Let m = -416 + 402. Which is smaller: r or m?
m
Let j