a) = 543*a**3 + 3*a**2 - 5*a + 2. Let b be w(1). Suppose 1 + b = -8*x. Is -69 less than x?
True
Suppose 2*y + 2*n - 4902 = 0, 8*y - 15893 = 3*n + 3748. Which is bigger: y or 2455?
2455
Let l = 97 - 89. Suppose 359 = -l*p - 17. Which is greater: p or -49?
p
Let u = 0.697 + -0.397. Which is greater: u or 564?
564
Let j be ((-2)/4)/(3/90). Let r be (-52)/(-39)*j/2. Let k be r - -6 - -2 - (-2 - 1). Is k < -3/61?
False
Let d = -1/6 + -7/30. Let h = -7253928/297295 - 14/59459. Which is greater: h or d?
d
Let r = -307/1616 + 1/404. Is r less than 453?
True
Suppose -2*g = 19*g - 1260. Let l = g + -57. Are l and -6 equal?
False
Suppose 0 = -5*c + 3*d + 321, 4*c - 1679 + 1406 = -3*d. Which is bigger: 10 or c?
c
Let z = -532 + 366. Let l = 829/5 + z. Is l smaller than -1?
False
Suppose -3*h = 2*h - 4*o - 60, 0 = 3*o + 15. Let d = -218 + 238. Suppose 0*g + 3*g + 4*k = d, 0 = -2*k - 8. Which is smaller: h or g?
h
Let l = 1043.949 - 21.749. Is l bigger than -0.1?
True
Let x = 2.605 + -3.605. Is 564 at most as big as x?
False
Let h = 100 + -100.59. Let k = 15.3 - 14.8. Let u = h + k. Is u greater than 1?
False
Let m = -0.037 + -0.077. Let p = -0.014 - m. Let q be 3/((-966)/1444) - (-14)/(-161). Which is greater: p or q?
p
Let d(o) = 5*o**3 + 7*o**2 - 3*o - 38. Let j be d(-2). Which is smaller: -10 or j?
j
Suppose -s + 4 = 0, -b + 89 = -4*s - 47. Let p = b + -142. Is 1 > p?
False
Let q = 8245/2195497 - -2/8747. Suppose -3 + 1 = -2*u. Which is smaller: u or q?
q
Let t be (19760/(-285))/(3/(-3*3)). Is 226 != t?
True
Let r(b) = -b**3 - 8*b**2 - b + 4. Let c be r(-8). Let i be (-48)/c*2/4. Let u be 3/i - 86/(-52). Are 0.1 and u equal?
False
Let y(v) = -v**2 + 18*v - 51. Let q be y(15). Let n be (-1*3/5)/(q/15). Which is smaller: -0.2 or n?
-0.2
Suppose -3*m - 284 + 86 = 0. Suppose -2*d = -3*z - 211, 14*z + 320 = 9*z - 3*d. Is m smaller than z?
False
Let v(z) = z**2 - 3*z + 5. Let k be v(2). Suppose 3*g + u = -3*u - 70, 0 = 5*g + k*u + 102. Suppose -14 = -3*d - 74. Is d > g?
False
Let j be (-3)/(-2 + (-3)/(-6)). Suppose -n = 4*t + j, t - 5*n + 5 = 6*t. Let o = -4/13 - -278/819. Is t smaller than o?
True
Let r = -12243 - -12246. Do r and -44 have the same value?
False
Suppose 0 = i + 4*s + 1, 4 = -88*i + 89*i - s. Suppose -4*l + i*l = 3*z + 2, -4*z + 2*l + 4 = 0. Is -4/19 greater than z?
False
Suppose -52 = -5*m - 7. Suppose m - 35 = 13*k. Which is bigger: -9/11 or k?
-9/11
Suppose 5*m - 28 = -2*m. Suppose 5*z - 25 = -5*c, 4*c + 0*z - m*z - 28 = 0. Let s be (27/c - 3)*(-8)/22. Which is smaller: 0 or s?
s
Suppose 6*x - 13 = 5. Let w(o) = -o**3 + 5*o - 2. Let y be w(x). Let b be 44/(-28) + (-6)/y. Is -2 != b?
True
Let h be (-1 + -2)/(14 - 15). Suppose 0 = n - h*w - 115, -3*w - 354 - 161 = -5*n. Suppose n = 32*b - 27*b. Is b >= 20?
True
Let x(p) = p**3 + 27*p**2 + 26*p - 199. Let m be x(-27). Which is bigger: m or -906?
m
Let a = -80 + 83. Let z = -42 - -46. Suppose 0 = z*n + a*n + 7. Which is greater: n or 2/15?
2/15
Let w = -11435 + 11435. Is w equal to -20/217?
False
Suppose 8*y = 2*y - 48. Let v be -2*4/y*5. Let q(n) = -n**3 + 6*n**2 + 3*n - 11. Let f be q(6). Is f <= v?
False
Let z(r) = -12. Let c(d) = -d. Let y(n) = 5*c(n) + z(n). Let x be y(-7). Suppose 25*b - x*b = -74. Which is bigger: -36 or b?
-36
Suppose -k + 283 = -b, 12*k - 13*k + 289 = -3*b. Which is greater: k or 294?
294
Suppose -2*c - 23 + 1 = -2*h, 16 = -4*h. Let n be (1 - 1)/(-5*(-6)/c). Suppose -4*l = -3*l - 5. Is n greater than l?
False
Let t = 58204 - 58245.109. Let n = t - -41. Which is smaller: n or -2?
-2
Let x be (-1 + 1)*(9/12 - (-1)/(-4)). Is -28/377 bigger than x?
False
Let k be 2/6*(0 + 3). Suppose -j = -2*g + k, j = -5*g - 2 + 8. Suppose -361*h + 585 + 477 = -7*h. Is g smaller than h?
True
Let x = -890 - 171. Let i = 756 + x. Which is smaller: i or 0?
i
Suppose -13 = -2*x - t, -3 = -2*x + 3*t - 10. Let c be (6/(-28))/((-246)/120 + 2). Is c greater than or equal to x?
True
Let k be 0 + 9 + -15 + 1*(5 - 2). Let q be -2 - -3 - 122/26. Which is greater: q or k?
k
Let x = -296480/13 - -22794. Is -11 >= x?
True
Let h be 796/(-268) - (3 - 6). Let t be ((-55)/(-165))/(-2 + 2/4). Do h and t have different values?
True
Let j = -0.103 + 176.103. Let h = -166 + j. Do -2 and h have different values?
True
Let v = -693 + 689. Let s be -1*(2 - v)/(33/88). Which is greater: s or -17?
s
Suppose -4*h + 5 = 69. Let s = -236 - -673. Let y = -437.4 + s. Which is bigger: y or h?
y
Let g = -0.251 + -0.042. Let o = g + -0.707. Is o less than -17?
False
Suppose -2*i = -7*i - 25, -z + 21 = -4*i. Let n(w) = -7*w - 11. Let j be n(-1). Is j equal to z?
False
Let w = 10943/20 + -548. Let y = w + 9/20. Is 0 > y?
True
Let n be (-448)/1008 - (-350)/747. Let l = -106 + 107. Which is greater: l or n?
l
Let q(z) = z**3 - 13*z**2 - 10*z + 28. Let d be q(13). Let t = -112 - d. Let p be (t - -11)*6/(-21). Which is smaller: p or -11?
-11
Let r(y) = y**3 + 8*y**2 + 2*y - 31. Let h be r(-7). Let k(m) = -m**3 + 7*m**2 - 11*m + 5. Let i be k(h). Which is smaller: i or 11?
i
Suppose 0*t - 5*t + 160 = 0. Suppose 120 = -42*a + t*a. Which is smaller: -56/5 or a?
a
Let l = -11 + 5. Let v(a) = a**3 - 25*a**2 + a - 33. Let d be v(25). Let m be 9 - ((-4)/d + (-15)/l). Is m < 0?
False
Let d be 3 - 288/112 - 978/2289. Is d greater than -1?
True
Suppose 14*b + 10 = 94. Let k be (-9 - -7)*3/(-3 + b). Which is smaller: -21 or k?
-21
Suppose -132*d - 287 - 19 + 42 = 0. Are d and 1465 non-equal?
True
Let r(i) = i**2 + 2*i + 3. Let g be r(-3). Suppose -14 - g = -2*d. Suppose 129*a - 988 - 431 = 0. Are a and d non-equal?
True
Suppose 69*v = 385591 - 112144. Which is bigger: 3965 or v?
3965
Let i(q) = 10*q**2 + 2*q + 15. Suppose 27*m - 159 = 80*m. Let v be i(m). Do 97 and v have different values?
True
Suppose -10476 = 89*n + 19*n. Which is smaller: -393/4 or n?
-393/4
Let c be 51/255 - ((-112)/(-10) - 0). Let z be (-21186)/55*c/(-2). Let w = 2111 + z. Which is bigger: -8 or w?
w
Let p(w) = -15*w + 24. Let c be p(6). Let u = -35 - 31. Is u smaller than c?
False
Let o(u) = -u - 20. Let q be o(-24). Suppose q = -2*t - 6. Let k be (-84)/18 - t - (-67)/(-39). Which is greater: 0 or k?
0
Let g be (-4)/(-16)*-2*2 - -2. Suppose 5*m - 1 = h, 0 = -5*h + 3*m - 3 + 42. Let c be 632/(-930) + 1 + (-3)/h. Is c >= g?
False
Let z(x) = -x**2 + 8*x + 1. Let m be z(8). Let b be 14 - (-284)/(-25702)*(1264 + 0). Which is smaller: b or m?
b
Let n be 195/4*(5 + -1). Suppose 2*w + 0*w - 87 = 3*l, -5*w + n = -3*l. Suppose -w = -v + 5*m, v - 3*m = -2*v + 48. Which is smaller: 10 or v?
10
Let n = -16548376 - -1903020113/115. Let v = n - -375. Is v less than 1?
True
Let c be 820/(-8)*13/(130/8). Which is greater: c or 17?
17
Suppose -50*f = -47*f + 5*r - 7, 4*r = 8. Do f and -45/61 have the same value?
False
Let y = 685.7 + -719. Let s = y - -47.2. Let u = s - 2.9. Which is bigger: u or 2/3?
u
Let i = -76.38 - -77. Let h = -3/51992 + -103969/259960. Which is smaller: i or h?
h
Let b = -227 - -229. Let t be (b + (-30)/14)*(-42)/96. Is 4 less than t?
False
Suppose 49*l = 4*z + 53*l + 336, -4*z + 4*l = 320. Let y = -99 - z. Let k be 1 - (-42)/(-2) - -2. Is k bigger than y?
False
Let y = -4.4802 - -5.4802. Let z = 136/7 - 1831/91. Which is bigger: z or y?
y
Suppose -38*h - 8 = -39*h. Let n be (-4 - (-4)/h)*4/7. Let f(o) = -3*o - 8. Let k be f(n). Which is greater: k or -30/11?
k
Let k = -175 + 241. Let j be ((-148)/k + 2)*(-1125)/(-50). Is j greater than -4?
False
Let o = 658.4 + -638.4. Which is smaller: 0.7 or o?
0.7
Let q = 3402 - 3366. Which is smaller: 0.06 or q?
0.06
Let i be (-1)/(((-6)/2436)/(-1)). Let b = i + 279. Is b greater than -127?
False
Suppose -4*o = 3*m - 70 + 53, -3*m = 3*o - 15. Which is smaller: m or -1574?
-1574
Let t(y) = -6*y**3 + 2*y**2 + 6*y - 4. Suppose -b + 6 = 9. Let a be t(b). Which is smaller: 157 or a?
157
Let k be 10059/(-38556) - (-5)/20. Is k bigger than 1?
False
Let x(l) = -l**3 + 2*l**2 + 2*l. Let o be x(2). Let s be 4/(o*2/60). Let g(b) = 54*b - 833. Let z be g(16). Do s and z have different values?
True
Let j be 264/10 + 9/15. Suppose -8*i = -5*i - 90. Are i and j unequal?
True
Let x = 28045 + -13470. Which is bigger: 1 or x?
x
Let k = 1699/4 + -2161/4. Does k = -117?
False
Suppose 5*f = -q - 34, 2*f = -5*q - 86 + 77. Is q smaller than 1