+ b. Which is bigger: 2 or x?
2
Let y(n) = -4*n**3 + n**2 + 41*n + 263. Let o be y(-5). Which is smaller: o or 580?
580
Let n(k) = 42*k**2 + 10*k - 8. Let v be n(1). Suppose -o + 50 = -5*j, -5*j + 82 + 3 = 2*o. Is o != v?
True
Let q(s) = -80*s - 313. Let r be q(-9). Do r and 407 have the same value?
True
Suppose 5*i - 22 = 3*a, -5*a - 8 = -5*i + 12. Let d = -2.2 + 18.2. Let h = d + -22. Is a less than or equal to h?
False
Suppose -9*y + 5*d = -10*y - 15, -3*y - 9 = 3*d. Suppose y*o - 3*o = 7*o. Is o greater than or equal to -2/539?
True
Let x(i) = -i**2 - 30*i - 126. Let k be x(-25). Which is bigger: k or 1/2630?
1/2630
Let b = 2384903/1149 - -38/1149. Let h = -2075 + b. Suppose 0 = -3*q + 3*y + 153, 2*q + 0*y + y - 87 = 0. Which is smaller: h or q?
h
Suppose 81*n - 5 + 14 = 72*n. Which is smaller: 1/759 or n?
n
Let c be (-28)/(-35)*5/2*-1. Let s be (1/37)/(1/c). Which is smaller: s or 5?
s
Let s = 315 + -21737/69. Let l(r) = -6*r**2 - 3*r. Let j be l(-2). Let p = -19 - j. Do p and s have different values?
True
Let c be 1*-6 - ((-207)/(-4140) - 121/20). Is c equal to 1/1043?
False
Let a(h) = h**3 + 11*h**2 + 39*h + 9503. Let t be a(0). Which is smaller: t or 9502?
9502
Suppose -2400 = 56*i - 2568. Is i <= -672?
False
Suppose 124*j - 164 = 25*j + 133. Is j less than 92/51?
False
Let v = 51461/20 - 9637/4. Let m = v + -165. Which is greater: m or 0.13?
0.13
Let l be 2012 + 37/(222/(-60)). Is 2001 greater than l?
False
Let o(p) = p**3 + 23*p**2 - 140*p + 6. Let n = 596 + -624. Let f be o(n). Is f > 6?
False
Let a = -75 - -86. Suppose -a*z = -0 - 55. Suppose z*x = -15, 2*p = -2*p - 4*x + 4. Is p >= 18/7?
True
Let c = -23 + 104. Let t be 2 + (c/(-6) - (-12)/8). Which is smaller: -11 or t?
-11
Let k = 12763 + -12818.67. Let i = k - 0.33. Is i at least as big as 1?
False
Let r = 181 - 294. Let w = -113 - r. Which is smaller: -5/4 or w?
-5/4
Suppose 18 = -d + j + 20, 3*d + 4*j = -15. Let m be ((-1)/(-9))/((-111)/(-18)). Is d less than or equal to m?
True
Suppose 2*m = -0*m - 2. Let p be 564/2128*1 + (-1)/4. Let r = p - 145/798. Which is bigger: r or m?
r
Let q be (2 - -8)*(18 + (-104731)/5819). Which is bigger: -1 or q?
q
Suppose -2483 = 11*u + 626 + 818. Is u >= -364?
True
Let t = 607/3 - 19391/96. Let c(b) = -b**2 + 32*b - 175. Let w be c(7). Is t >= w?
True
Let b(i) = -i**2 + 11*i + 74. Let k be b(15). Suppose 0 = -3*n + 3*m - 90, -18*n + m = -k*n + 111. Which is smaller: -21 or n?
n
Let d(a) = a**3 - 17*a**2 + 22*a + 6. Let s be d(16). Suppose 9*q + s = 3*q. Suppose -2*c + 7 = 39. Is c less than or equal to q?
False
Let g = -97 - -125. Let l = -28.534 + 0.334. Let y = g + l. Is y < -6/5?
False
Let p be 20/1472*(-3922)/265. Is p < 1?
True
Let u be (260/(-182)*14/(-16))/(-1). Let p be -1*(0 + -3)/3. Let s = p - 2. Which is greater: s or u?
s
Let n = 6176590 - 2223577049/360. Let l = n + -479/40. Is -25 >= l?
False
Let u = -5.9 + -58.1. Let o = -62.51 - 1.64. Let n = o - u. Which is bigger: 0.1 or n?
0.1
Let f = -4897 + 4774. Is -4 >= f?
True
Let s = -558 - 28. Let o = -492 - s. Is o <= -1?
False
Let j be (-1)/((-1384)/276 - -5). Let r be ((-89)/2 - -1)*(-184)/j. Which is smaller: 117 or r?
r
Let f(j) = -2*j**2 - j - 8. Let y be f(-7). Let z be (6/(-15))/(y/15). Let d(a) = a**2 - 39*a - 40. Let v be d(40). Do v and z have the same value?
False
Let o = -87 - -86.836. Let d = o - -0.332. Do d and 1 have different values?
True
Let k = -4 + 2. Let p be k - ((-4)/14 + -2). Let n = -0.302 + 2.302. Is p != n?
True
Let b = 43 - 4. Suppose -n = -3*n - a + 15, 0 = 5*n + 2*a - b. Suppose 2*q - 4*l = -l - 1, -3*l = n. Which is greater: q or -13?
q
Let y be -14 + (-17 - -29) - (-40)/18. Are y and 2/975 nonequal?
True
Let w = 1403 + -1404. Let h be (65/871)/((-1)/2). Are w and h nonequal?
True
Suppose -2*q - 5*t + 43 = 11, 3*t = 0. Suppose 6*x = -2*x + q. Suppose -x*a + 14 = 3*v - a, 4*v - a = 14. Is v bigger than 9?
False
Let d = 24139 - 24140. Which is bigger: d or -396/221?
d
Let u(v) = -v**3 - 26*v**2 - 43*v + 94. Let w be u(-24). Is -42 less than w?
True
Let q be ((-19860505)/(-2184))/(-29) - 6/16. Let n = q - -314. Which is greater: n or 0?
n
Let z = -126509387/1247 - -101451. Is 0 smaller than z?
True
Let q = 8246 - 8329.98. Let d = 83 + q. Let m = d - -0.98. Which is smaller: -13 or m?
-13
Let m = -215 - -215. Let g = -279871/190 - -1473. Is g greater than m?
False
Let v be ((-20)/24)/(1 - 121/123). Let c = v + 405/8. Let q = 4 - 4. Is c at least q?
False
Let c = 223 + -178. Let u be ((-6)/(-15)*1)/((-3)/c). Is u less than or equal to -23?
False
Suppose 49*i - 80*i - 372 = 0. Is -12 greater than or equal to i?
True
Let g = -158 + 240. Suppose -g - 47 = -4*v - x, -3*x = -v + 16. Let r = v - 32. Which is smaller: r or -12/11?
-12/11
Let m = -14 + 14. Let s = -202 + 208. Let y be 1/(-2) - s/(-6). Which is bigger: y or m?
y
Let d be ((-42)/84)/(4/28104). Which is bigger: d or -3514?
d
Let f be (6 - 18)*(-60)/9. Let n be 2/(-8) + f/64. Is n less than 2/253?
False
Let c = -1.087 + 1.117. Let l be (-130)/6 + (-2 - -1). Let h = l - -23. Are c and h non-equal?
True
Let j = -1.4 + 13.4. Let f = -1.73 + -11.77. Let g = j + f. Which is smaller: g or 0?
g
Let x be 832186/1656 - (-30)/4*(-2)/20. Which is greater: x or 503?
503
Suppose -15*z + 832 = 17*z. Let l be (68/102)/(z/(-6) + 2). Which is smaller: 0.03 or l?
l
Let d = 3/44693 + -896017/32134267. Let u = d - 19752/13661. Which is greater: -1 or u?
-1
Suppose 0 = 2*o - 2*k + 562, 2*k = o + 7*k + 293. Which is smaller: o or -287?
-287
Let o(i) = -i**3 + 3*i**2 - 7*i + 4. Let x = -87 - -91. Let m be o(x). Is -40 less than m?
False
Let z be (-372)/(-1302) - (-3)/(-2)*20/105. Which is greater: -4/12871 or z?
z
Let u be (-2 - 6) + 10 + -4 - -10. Which is greater: u or 137/19?
u
Let g(d) = -53*d + 849. Let t be g(16). Is t less than -2/2191?
False
Let q = -927 - -844.9. Let g = q + 86. Let w = 9.9 - g. Do w and 2/5 have different values?
True
Let b = -3545 + 3782. Let r be (-477)/(-2) + (-1)/2. Are r and b unequal?
True
Suppose -10*o - 84*o = 94. Let p = 136/3 - 46. Which is smaller: p or o?
o
Let d = 568.8 + -508.8. Which is bigger: -15 or d?
d
Suppose 15 - 31 = -4*k. Let t = k - 8. Let a be 27/t*3/27*3. Which is bigger: a or -1?
-1
Suppose -4*a - 3*z + 170 = 0, -z = 4*a - 7*a + 121. Let w = 38 + 3. Is a bigger than w?
False
Let j = -238.4 - -238.6. Is j less than 242.7?
True
Let c = 45519 + -44851.58. Let q = c - 667. Which is smaller: 9 or q?
q
Let o = -5470708/763 - -7170. Let i = 10244/763 + o. Is i greater than or equal to 14?
False
Let q be (-211)/1705 + 0 - 7*(-20)/770. Do q and 0 have the same value?
False
Let f = -3423 - -3342. Which is bigger: -93 or f?
f
Let z = -17.6 - -30.4. Let p = -8.8 + z. Which is smaller: 6/5 or p?
6/5
Let f = -42444.121 - -42417. Let y = 0.121 + f. Is y >= 4?
False
Let g = -20106 + 20100. Is g greater than 171?
False
Suppose -q - 7 = -5*k - 0*q, -4*k + 4*q - 4 = 0. Suppose -2*m + 4*c = -m + 102, 366 = -4*m - 5*c. Let j = 664/7 + m. Is j > k?
False
Let r = 24967526/151569 + 2/13779. Which is greater: 166 or r?
166
Suppose 4*a - r = -2656, 111*a = 106*a - 2*r - 3333. Which is smaller: a or -663?
a
Let c(i) = -6*i**2 + 2*i - 4. Let x be c(3). Let o = -42 - x. Let b be o/((-4340)/133) - 1/(-2). Which is bigger: b or 0?
b
Let k(q) be the second derivative of -q**3/3 - 2*q**2 - q. Let j be k(-5). Let r be 126/(-105)*(-10)/3. Are r and j non-equal?
True
Suppose -118*n = -58*n. Let r = 11/21 + -61/105. Which is greater: r or n?
n
Suppose -5*x - 4*s - 339 = 0, -530*x + 529*x - 63 = -4*s. Do x and -52 have different values?
True
Let p = 34310 - 33802. Which is smaller: p or 494?
494
Let k = -243.3 - -259. Let i = k - 90.7. Let n = -41 - i. Which is smaller: n or -2/7?
-2/7
Let y(k) = 8*k**2 - 1. Let h be y(1). Suppose -215*d + 21 = -212*d. Is d <= h?
True
Let s = 1.23 - 2.47. Let o = s + -0.76. Which is bigger: o or 67/3?
67/3
Let t = -324 + 314. Let j be 20992/160 + (-8)/t. Which is greater: j or -0.2?
j
Suppose -4*g - 117 - 88 = -5*n, -2*n + 159 = -3*g. Is -56 > g?
False
Let y be (-2)/9 - (-38)/90. Let p = -150 - -43. Let t = -106 - p. Is y at least as big as t?
False
Suppose -2535*t = -2560*t - 35625. Is t less than -1426?
False
Let a = 4573.9 - 4574. Is a at most -0.1231?
False
Let n(m)