Suppose 0 = o - g - 11. Let b be o + (2 - -2)/4. Is 33 > b?
False
Let o = -1220.98 + 126.98. Which is bigger: o or 0.02?
0.02
Let r = -1705.06339 - -0.06339. Which is bigger: 0.2 or r?
0.2
Let x = 5/34 - 177/1666. Let c = 10 + -10. Suppose c = -4*v - 0 - 4. Which is smaller: x or v?
v
Let a be 2 - 0 - 128/58. Let y = -87 - -61. Let q = 25 + y. Which is greater: q or a?
a
Suppose 67 = -13*v + 145. Suppose l - 5 + 9 = -4*y, y = l - v. Which is bigger: -21/5 or y?
y
Let o(p) = -p**3 + 14*p**2 + 16*p + 63. Let s be o(16). Let q = s - -157. Which is smaller: q or -31?
q
Let t be (-2436)/(-98) - (-3)/21. Suppose t*i - 221 = 54. Suppose 44 = 3*f + 5*p, -6*f + 32 = -f - 2*p. Is f at least as big as i?
False
Let p = -84 + 84. Suppose 3 = -3*y - p, -1 = -2*k + 5*y. Let i be -3 - (-21)/((-6 - k)/(-8)). Which is smaller: i or 1?
1
Let d = 290 - 306. Let z = d + 16. Do z and 119 have the same value?
False
Suppose 0 = -3*x - 16 - 17. Let q = 40 + x. Is 30 at most q?
False
Suppose 5*z - z - 16 = 0. Suppose 5*p + 3 = 3*l - 40, 0 = z*l - 3*p - 39. Suppose 5*t + 4*y + 45 = l, 4*t + y + 40 = 0. Which is smaller: t or -4?
t
Let p(u) = u. Let o be p(4). Suppose r = o*r + 18. Let s = -10524 - -10517. Which is smaller: r or s?
s
Let g be (1 - 3)/(38/7942*-22). Let p = 5 - 5.4. Is p > g?
False
Let k = -11915/14 + 3032399/3563. Are -1 and k non-equal?
True
Let n(d) = -2*d**3 + 8*d**2 + 30*d - 164. Let k be n(5). Do -59 and k have different values?
True
Let m be 6 - 6*2057/1551. Is -3 less than m?
True
Let a(b) = -33*b**2 - 22*b + 40. Let s be a(-7). Is -1423 greater than or equal to s?
True
Let m = 12420811/2925230 + -862/203. Is m at least 1?
False
Let g be (-58)/(-232)*16/10. Is -261 >= g?
False
Let g = 483 + -305. Suppose g = 2*p + 180. Is p > 3/113?
False
Let z = 3027 + -3019. Which is bigger: z or 0.11?
z
Let s = -10285.3 + 10269. Which is greater: 81 or s?
81
Let w = -96349/93 + 1036. Suppose -7*p = -2*p. Suppose p*u = 2*u. Is u != w?
True
Let v be 37248/2522 + -13 + -2. Let s(i) be the first derivative of i**4/4 + 5*i**3/3 - 2. Let w be s(-5). Is v at most w?
True
Let h be (4 + 65)/((-21)/(-49)). Let c be (-46)/h - 12/105. Which is bigger: c or 151?
151
Let z be (78/(-108) - 6/(-27))*-226. Suppose -119*k = -z*k + 12. Let f be 3 + -6 + (0 - 3). Is f bigger than k?
False
Let o = 19187 - 19623. Is o at most as big as 0.2?
True
Suppose -3*k = -4*q - 718, -5*q + 4*k - 238 - 659 = 0. Which is smaller: q or 7?
q
Let l = -3354 - -3339. Is l equal to -8?
False
Suppose -24*c - 4776 = -20*c. Is 1/4 less than c?
False
Let r = 1703/114 - 89/6. Let f be (-6)/(-9) + 7/3. Suppose -4 = 5*q + z - f, -3*z - 3 = 3*q. Which is smaller: q or r?
q
Let q = 1003 - 1066184/1063. Is q bigger than 1?
False
Suppose 3*f = 5*c - 7*c + 118, 5*f - 160 = 4*c. Let l be (-4)/12 - 24/f. Let r be (180/29)/(-3) + 2. Is l greater than r?
False
Let c be 180/(-13) - 22/143. Let m be -21*1*4/c. Is -13 <= m?
True
Let c be (1/24*10)/(((-42)/(-24))/7). Is -25 bigger than c?
False
Let n = -7 + 8.5. Suppose 6*v + 14 = 2*q + 5*v, -4*v = 3*q - 10. Suppose -q*y - 2*g = -10*y + 4, 5*y + 5*g - 5 = 0. Is y at most n?
True
Let r = -2817 + 5607/2. Suppose 3*h = 3*n, -2*h - 2*h = -n. Suppose -54 = 3*s - n*s + 3*u, 33 = -3*s + 4*u. Which is smaller: r or s?
s
Suppose -4*r + 5*i = 3*i + 326, -2*i + 246 = -3*r. Which is greater: -75 or r?
-75
Let d be 136/10 - (-4)/10. Suppose -3*p + 8*p + 2*l = 1516, -4*l + 296 = p. Let m = p - 289. Which is smaller: m or d?
d
Let i(j) = -2*j**3 - 12*j**2 + 10*j + 23. Let o be i(-7). Let p = -64 + 114. Which is bigger: o or p?
o
Let u be (146900/(-1230))/13 + 9. Let q = 11915/61746 + u. Is q not equal to -1?
True
Suppose 4*y - 2 = -v, -2*v - 2*y - 56 = -6*y. Let g be ((-3)/(-6))/(v/(-28)). Let z be (-6)/(-5)*25/15. Is z less than or equal to g?
False
Suppose -5 = -q + 31. Let w be 0/(8/(-1)) + (-1)/(-3). Which is smaller: w or q?
w
Suppose 5*y = -72 + 47, -4*f = -3*y - 559. Suppose 196 = -3*i + l, -2*i + l - f = -l. Is i at least -63?
False
Let t = -22 - -22. Suppose -2*h = -w + 3, -1 = -h - t*h + w. Let q(v) = -v - 8. Let g be q(-7). Which is smaller: g or h?
h
Suppose 0 = -7*q - 9*q. Let c = 321/34 - -69/17. Is c >= q?
True
Suppose u - 7*u - 120 = 0. Let g = 24 + u. Suppose g*y - 2*y = 4*t - 24, 0 = 5*t - 5*y - 40. Which is smaller: 2 or t?
2
Let x(j) = 2*j**3 - 14*j**2 + 17*j - 20. Let f be x(6). Suppose f*q + 1 = 11*q. Which is greater: 18/25 or q?
q
Let s be (2/(-20))/((35/(-42))/(37/(-296))). Which is greater: 1 or s?
1
Let p be ((-8)/56)/(24/(-70)). Let z be 6/(-4)*28/504. Let x = p - z. Is 1 bigger than x?
True
Let b = -9337 - -9327. Which is smaller: b or 457?
b
Let r = 8654 - 839411/97. Is 1 bigger than r?
True
Let c = 0.0986 - 10.3386. Which is smaller: c or -2/7?
c
Let s = 63 + -56. Suppose 5*c + 2*h = s*h - 35, 3*c - h + 17 = 0. Is c at most -37?
False
Suppose -t + 25 + 74 = 0. Let k be (t/(-390))/(-1 + 16). Let r = -3/50 + k. Which is bigger: 2 or r?
2
Let w = 23 - 23. Let h = 93.95 - 96. Let q = h - -2. Which is bigger: w or q?
w
Let b(u) = -3*u**3 + 13*u**2 - 16. Let r(w) = -10 + 45 - 10*w**2 - 29*w**2 + 12 + 8*w**3. Let g(d) = -11*b(d) - 4*r(d). Let z be g(-13). Is -13 less than z?
True
Suppose 0 = 34*r + 111 - 315. Let u = 37 + -32. Suppose -3*t = -u*t + 10. Which is greater: t or r?
r
Let l(j) = 45*j + 33. Let c be l(3). Let f = c + -163. Which is bigger: -12 or f?
f
Suppose 161*v - 49*v = 78*v + 204. Which is smaller: 50/7 or v?
v
Suppose 0 = -4*a + 5*a + p - 23, a - 4*p = 43. Suppose -24*z + a*z - 354 = 0. Does z = 118?
True
Let n = 7521 - 7531. Which is bigger: n or -252?
n
Let p = -7.7 - 112.3. Let y = p - -118. Let c = 23 + -22.89. Is c smaller than y?
False
Let o = -26087 + 39974. Which is smaller: o or 13886?
13886
Suppose -25 = -5*a, 1 = r + 2*r - a. Suppose 2 = -2*y + r*f, -3*y - f = -1 - 4. Let h = 26236 + -446002/17. Which is smaller: y or h?
h
Let j(x) = 45*x**3 - 4*x**2 - 5*x. Suppose -5*k + 4*i = 9, 0 = -0*k + k + 3*i - 2. Let a be j(k). Which is smaller: -45 or a?
-45
Suppose -5*v + 5 = 80. Let w = -11 - v. Suppose 3*r - 5*c - 6 = 22, -5*r - w*c = 15. Is r less than or equal to -3/8?
False
Let k be 1*21718/(-4147) - -6. Let t = k + 2/319. Which is smaller: t or 1?
t
Let r(n) = -4*n**2 - 6*n - 4. Let l(u) = u**2 + 1. Let t(q) = -6*l(q) - r(q). Let s be t(5). Let x = 23234 - 23255. Is s at most x?
True
Suppose -1476 - 344 = 28*c. Which is greater: c or -75?
c
Let h = -2.03 + 2. Let w = 300 + -134. Let y = w - 163. Which is smaller: y or h?
h
Suppose 2*b + 8*b - 2010 = 0. Suppose -26*n + 111 = -b. Is n less than or equal to 15?
True
Let i = 2600 - 304198/117. Let w = i - 80/117. Let u = 1720 - 1723. Which is smaller: w or u?
u
Let p(v) = -412*v + 1631. Let x be p(8). Which is smaller: x or -5?
x
Let i = 758 + -771. Let w = 18.8 + -18. Which is bigger: i or w?
w
Let t = -6.97 + -5.33. Let c = 6.206 + 0.094. Let i = c + t. Which is bigger: i or 0.4?
0.4
Suppose -4*r + 21 = p, -3 = -r + p + p. Suppose -2*f + 152 = -4*b, -b + r*b + 4*f = -140. Let q = b - -59. Which is smaller: 20 or q?
20
Let s be (8/258)/((-4)/6). Let l = -177 + 298. Let k = 121 - l. Which is smaller: s or k?
s
Suppose 17*k - 19*k = -48. Let p be (0 - (-57)/k)/(15/180). Let s = -35 + 65. Is p at most as big as s?
True
Let u(f) = -70*f + 769. Let v be u(11). Which is bigger: 9/4270 or v?
9/4270
Suppose 2*c - y - 9 = 0, 4*y = c - 0*c - 15. Suppose 5*q = 5*r + 2*q - 125, -c*r = -2*q - 75. Let g = 32 - r. Are 6 and g equal?
False
Let h(b) = 197*b**3 - 8*b**2 + 9*b + 5. Let c be h(7). Let r = 806341/12 - c. Let i = -52 - r. Which is bigger: 1 or i?
1
Let c = -117 - -117. Let v = 262.9 - 241. Let t = v + -3.9. Which is smaller: t or c?
c
Let k = -199.9652 - 0.0348. Let y = k + 202. Let i = -58.5 - 4.5. Which is bigger: y or i?
y
Let y = 16.2 + 19.6. Let x = y + -39. Let b = x - -4.1. Is 2/5 equal to b?
False
Let q = 1262.2 + -1262. Is q at least as big as 4?
False
Let z = 62605 + -38207. Is z at least 24398?
True
Let b = -1234 + 1306. Let a = 36 - -46. Let v = b - a. Which is bigger: -0.1 or v?
-0.1
Suppose 6*s = s + 50. Suppose s*c + 43 = -37. Which is bigger: 2 or c?
2
Let z = -2335 - -2336. Which is bigger: 0.928 or z?
z
Let a = -0.45 - 196.35. Let n = a + 197. Does n = 2?
False
Suppose 5