= 4*g**3 + 6*g**2 + 6*g + 50. Let b(u) = -3*s(u) + 4*x(u). Let n be b(-6). Which is smaller: n or 2/171?
n
Let z = 510 + -508. Suppose -4*a + 7 = d + a, -5*d + 59 = a. Let l = d - 8. Is l less than z?
False
Let x be (-22)/(-4) + (7015/46)/(-61). Is x at least as big as 125/79?
True
Let x(m) = m**3 + 18*m**2 + 18*m - 263. Let y be x(-20). Which is greater: y or -1421?
-1421
Let g = 9 - 2. Suppose -2*k - 5*y = 24, k + g*y + 42 = 12*y. Let x(l) = -l - 12. Let u be x(9). Is k bigger than u?
False
Let r = -245 + 246. Let h be (r + -21)*140/(-175). Let c = 3 - 2. Is h >= c?
True
Let b = -5.863 + 6.863. Is b bigger than -3.498?
True
Let f = -7208 - -7207.967. Which is greater: 13/3 or f?
13/3
Let o = -24 - -25. Let n be 0/3 - (-2 + o). Let d be (n/(-3))/(1 + (-556)/552). Is 45 less than d?
True
Let p be ((2 - 12) + 8)/(1/(-8)). Suppose -12*s - 80 = p. Which is smaller: -11 or s?
-11
Let m(d) = 24*d - 1488. Let p be m(62). Let o = -16892/12245 + 110/79. Which is smaller: p or o?
p
Let v = 0.164 + -0.285. Let u = 0.035 + v. Let y = u - 0.014. Is y at least as big as -1/25?
False
Let c(h) = 2*h**3 + 1 - 8*h**2 - 3*h**3 - 2. Suppose 2*f = -2*n - 26, 115*f + 3*n + 7 = 116*f. Let g be c(f). Are g and 1 unequal?
True
Let s = 0.2277 + 96.7723. Let r = 1.544 - 98.844. Let t = r + s. Which is greater: -0.11 or t?
-0.11
Suppose 30*s = -36*s - 10*s. Let u be (-4)/(-10)*720/784. Which is greater: u or s?
u
Suppose -28 = 7*l - 63. Let c = 33 - l. Let p = 38 + -8. Is c equal to p?
False
Let i(c) = 6*c + 47. Let s be i(-10). Let v(j) = 2*j**2 + 28*j + 24. Let p be v(s). Let k(m) = -m**3 - m**2 + 2*m. Let h be k(p). Which is bigger: h or -1/7?
h
Let t = -97 - -97. Suppose t = -l - 2, -6*l - 13 = -3*q - l. Which is bigger: q or -2/615?
q
Let o be 295/(-4*4/16). Let i be 2/(-4) + (-5327)/(-18). Let y = i + o. Is y smaller than -1?
False
Let q = -0.545 - -0.363. Let m = q + 0.182. Is m >= -174?
True
Let d = -17.184 - -1.684. Let x = -58.5 - -48. Let u = x - d. Is -2/7 < u?
True
Suppose -240*x + 2750 = -242*x. Are -1374 and x equal?
False
Let y be 15/3*(19/684)/(15/(-8)). Let l be (-8)/(-6) - (-8)/12. Suppose 1 = -3*s + l*s. Is s less than or equal to y?
True
Let r(j) = 17*j**3 - j. Let s be r(-1). Let i be s/40*(-1)/2. Suppose 22*m = -6*m. Which is smaller: m or i?
m
Let y be -2 - (-107 + -1 - -3). Suppose 15*l - o - 313 = 12*l, o = l - 107. Is y >= l?
True
Let u = 123 - 121. Suppose u*c + 2*j = 10, 0 = 6*c - 2*c + j - 17. Suppose -5*a = 5*r + 7 + 13, -c*r + 2*a = -8. Is r at least as big as 8/7?
False
Let q = -21910 + 108644/5. Which is smaller: q or -181?
q
Suppose -4*g - 1702 = 2*c, -7*g + 5*c - 2165 = -2*g. Are g and -433 unequal?
True
Let q = -649/3786 - -3/631. Is -1390 less than q?
True
Suppose 3506*o = 3500*o + 24. Is -2.03 < o?
True
Suppose -a - 5*z + z - 116 = 0, -5*a - 5*z = 550. Let h be 4/(-8) - a/8. Is 15 bigger than h?
True
Suppose 14*s = 16*s + 30. Let o = 22 + s. Let f be 61/(-11) + 6/(-1) + o. Is f not equal to -5?
True
Let z be 5/4 + (0 - 1). Let c = 20/117 + 505/468. Let f = c + z. Which is smaller: f or 2?
f
Let t be -3549*42/70 - (-2)/5. Which is greater: -2128 or t?
-2128
Suppose -246*i + 462*i + 7774 = 229*i. Which is smaller: 597 or i?
597
Let n = -37638 - -38443.72. Let v = n - 836. Let f = v - -0.28. Which is smaller: 1 or f?
f
Let i = -26 - -34. Let d(b) = b**2 - 13*b - 44. Let v be d(16). Let u be (-1)/(v - 185/45). Are i and u equal?
False
Let v be 27794/21340 - 1 - (-2)/(-11). Let t = v - 2/97. Let x(r) = r**3 + r**2 - r. Let k be x(1). Are k and t equal?
False
Suppose 0 = -3*i - i - 12. Let o be (1 - i)*824/32*-2. Let m be (-15)/(-150) - o/40. Which is smaller: m or 4?
4
Let f(q) = 5*q**2 - 130*q - 51. Let y be f(37). Is y at least as big as 1985?
False
Let k(j) = 28*j**3 + 3*j**2 - 22*j - 50. Let i be k(-4). Do i and -1 have the same value?
False
Let r be (-902263)/39 - (-176)/(-3432). Is r bigger than -23134?
False
Suppose 3*y = 2*y + 7. Let s = 423 + -421. Suppose s*a - 5 = -y. Which is smaller: a or -8/9?
a
Let b be ((-29)/5 + -2)*45/(-9). Suppose 6*a - b + 219 = 0. Is -30 less than a?
False
Let s(w) = 13*w + 4. Let c be s(5). Let u = 293670 + -293601. Are c and u equal?
True
Let a = 61886.3 + -61886. Let m = 0 - 1. Let j be 1*-7*m - 2. Which is greater: a or j?
j
Let f(c) = 29*c**3 + 14*c**2 - 3*c + 2. Let n be f(6). Is 6752 at most n?
True
Let r = -323 + 360. Suppose 2100 = -r*g - 3376. Which is bigger: g or -146?
-146
Let y = -18.04 + 18. Suppose z - 62 = 5*x, 300 = 5*z + x - 36. Suppose -2 = z*p - 66*p. Is p bigger than y?
False
Let g = 55.9607 + 0.1273. Let v = -0.088 + g. Let x = 57 - v. Is 32 greater than x?
True
Let t = 15 + -14. Suppose -7 = -3*y - t. Let v be (y - 3)/((-10)/(-4)). Which is smaller: v or -1?
-1
Let s(y) = 675*y + 16. Let d be s(10). Suppose 2*a = 3*p + p - d, -p + 1681 = 3*a. Let l be p/819 - 2/7. Which is greater: l or 2?
2
Let p(q) = q**2 - 46*q + 505. Let f be p(18). Do f and 11.94 have the same value?
False
Let y(q) = q**2 + 3*q - 4. Let i(m) = -m**3 + 3*m**2 + m - 2. Let p be i(3). Let b be y(p). Let c = 892/63 - 96/7. Which is smaller: c or b?
b
Suppose -o = 4*o - 160. Let t(z) = -7*z - 44. Let v be t(6). Let a = o + v. Which is smaller: a or -55?
-55
Suppose -3*g = 6*t - 489, -4*g - 4*t + 622 = -6*t. Suppose -g = 3*n + y, -6*y + 8*y = -2*n - 110. Let x be 20/((-3)/(15/2)). Which is smaller: x or n?
n
Suppose -4*h - 989 = -27*h. Suppose 301 = c + 64. Suppose -4*r = 61 - c. Is r at least as big as h?
True
Let d = -51 + 85. Let v = -33.4 + d. Let y = v - 0.32. Which is smaller: y or -1?
-1
Suppose -2*b - 42 = -4*k + 14, -3*b = 2*k - 36. Let c(t) = -128*t - 3 + 113*t - 8 - t**3 - k*t**2. Let w be c(-14). Is 5/2 greater than or equal to w?
False
Let a = 1566.4296 + -1565.5. Which is bigger: 0.1 or a?
a
Let d = 16519 + 7520. Which is smaller: 24040 or d?
d
Let u = -3613 + 3614. Let l(m) = -m - 6. Let g be l(6). Let s be ((-8)/g)/((-16)/(-6)). Do u and s have the same value?
False
Suppose -142 = -2*x + 44. Let g = -1346 - -1345. Let y be x + -3 - 2/g. Which is smaller: -1 or y?
-1
Let s be (-530)/212*(-6834)/105. Is 162 greater than s?
False
Suppose -40*p - 56749 = 20*p + 17*p. Which is smaller: -740 or p?
-740
Let y(v) = -23*v - 214. Let j be y(-12). Suppose j*r - 67*r - 5 = 0. Which is greater: -3/371 or r?
-3/371
Let o(n) = -n**3 + 12*n**2 + 14*n - 18. Let b(d) = 11*d - 53. Let q be b(6). Let a be o(q). Is a > -5?
False
Let d = 212 - 194. Let p be -12*(d/(-27))/(208/(-12)). Is 1.3 < p?
False
Let a = 2033/105 + -136/7. Which is smaller: a or -840?
-840
Suppose 0 = 6*i + 22*i + 183078 + 302106. Is -17329 >= i?
False
Suppose 4*x = 3*m - 584, -37*m - 580 = 4*x - 39*m. Is x bigger than -145?
True
Suppose 0 = 8*o - 10*o + 12. Let h be 2/o - 9/27. Suppose 4*j + l - 7 = h, 4*j + l - 6*l - 13 = 0. Are j and 2 non-equal?
False
Let o = 0.0463 + -0.0943. Let d = o + -0.152. Suppose 5*f - 38 = -0*m + m, -2*m - f = 54. Is d less than or equal to m?
False
Let c be (-5 + 4)/((-3)/309*-1). Is c >= 2/17?
False
Let x = -6541 + 6541.213. Is x equal to -9?
False
Let g = 60695 + -388023133/6393. Are 1 and g nonequal?
True
Let w(f) = -f**3 - 17*f**2 - 44*f + 33. Let a be w(-4). Which is smaller: -19/106 or a?
-19/106
Let p = -127.4 - -125. Let o = p - 47.6. Let v = -51 - o. Is v > 4?
False
Let c be (-111)/(-1258)*(1 + ((-7)/3 - -4)). Is c bigger than -82?
True
Let l = -136.81 + 129.48. Which is smaller: -22 or l?
-22
Suppose 9*p = -8*p. Suppose 0 = -j + k - p*k + 2, 2*j + 8 = -4*k. Which is smaller: -2/531 or j?
-2/531
Let h = 291 - 301. Let x be (4 - 216/45)/(28/h). Which is greater: x or 3/28?
x
Suppose 8*i - 26 = -5*i. Suppose -2*r - 8 = -4*b, -5*b + 20 = -7*r + i*r. Let z be (-1)/7*(-2)/25. Are b and z nonequal?
True
Let o(t) = -2*t**3 - 4*t**2 - 7*t. Let j be o(-4). Let u = 87 - j. Let y(z) = 2*z + 3. Let b be y(-4). Do b and u have different values?
False
Let n = 139 - 68. Let k = 150 + -104. Let s = k + 25. Is n less than or equal to s?
True
Let x = 49 + -50. Let a be 406/1974 + (x - (-6)/9). Is 0 less than a?
False
Let y(w) = 111*w**2 - 7*w - 10. Suppose -5*n = -5*g + 25, 0 = -g + 4*g - 9. Let v be y(n). Is 448 smaller than v?
False
Let o(d) = d. Let p(l) = -l**3 - 12*l**2 + 26*l - 13. Let r(v) = o(v) + p(v). Let n 