. Let n(z) = -2*z**3 - 4*z**2 + 9*z + 2. Let b be n(-6). Let g = b - 202. Are g and j equal?
True
Let p be ((-1)/1)/((-30)/(-1140)). Let x be (-83 + 95)/((-3)/10 - 0). Which is bigger: p or x?
p
Let w = -25 + 36. Let v = -84508 + 84516. Which is smaller: v or w?
v
Suppose -763 = -7*u + 2569. Is u greater than or equal to 481?
False
Suppose 2*q - 63 = -13. Let o be -2*(q/(-8) - -3). Let b = 11938 - 11905. Which is smaller: b or o?
o
Let b = -141151/8 + 17594. Which is bigger: b or -50?
b
Let z = 2 + -11. Let i(x) = x + 9. Let l be i(z). Let o be (l - 2)/(-189 - (-2 - 1)). Is 1 < o?
False
Let v(t) = -50*t + 642. Let r be v(-16). Is 1441 bigger than r?
False
Suppose -13*r + 145 = 16*r. Let a = 2.4 + -2.36. Let n = a + -0.14. Is n < r?
True
Let g = -752 - -830. Is g at most 82?
True
Let b = 7 + -4. Let c = 19/12 - -2/3. Which is greater: b or c?
b
Let z(x) = -3*x + 3. Let v be z(-4). Suppose 82*h + 900 = -8*h. Let k be 2 - ((-4)/h - (-39)/v). Is k at least -12/7?
True
Suppose 13*u = 14*u - 2. Suppose 18 = -4*p - u. Let f be (37 + 0 + p)*(-6)/(-4). Do 48 and f have the same value?
True
Let z(v) = v**3 + 200*v**2 + 8*v - 3*v - 9 - 204*v**2. Let d be z(4). Suppose d = 4*i + 3*c - 22, i = 5*c + 37. Is -1 > i?
False
Let i = 172 + -277. Let c be 0/(-2) + 12/i. Which is smaller: 0 or c?
c
Let m = 151541083/247 + -613524. Let y = m + -29/13. Suppose 0 = 2*c + 3*c + 5. Which is greater: y or c?
y
Let i = -48/667 - -2251/22011. Let w be ((-2)/3)/((-2)/3). Which is smaller: w or i?
i
Let g be (-2)/(-4) + -2 - -2. Let l = -29 + 25. Let i be ((-1)/l)/(70/(-80)). Is i at most g?
True
Let f(q) = 101*q**2 + 7*q + 27. Let m be f(-4). Which is greater: 1613 or m?
m
Let z = 57532699139/1138104 + -10904327/216. Let d = -752/11 + z. Is -2 > d?
False
Let t = -4433 + 13300/3. Suppose -5*y + 7 = -0*y + 2*a, 0 = 2*y - 3*a - 18. Suppose j + 5 = -y*d, 5*d + j + 6 = -1. Which is bigger: t or d?
t
Let v = 5.61 + -6. Let b = -0.91 + v. Let p = 10.3 + b. Which is greater: -0.3 or p?
p
Let j = 91 - 26. Suppose j = 5*o - 10*o - 3*c, -5*o = -4*c + 65. Which is smaller: -9 or o?
o
Let t = -6953 + 7108.8. Which is bigger: 0.3 or t?
t
Let f = 0.03055 - -1.00945. Is f at least 0.06?
True
Let b be 39/26*(2 + (-84)/40)*-2. Is -105 at least b?
False
Let w(f) = 2*f**2 - 5*f - 5. Let o be w(-1). Let t be 4 - ((-200)/2)/o. Suppose -41 - 7 = -4*m - 4*n, 2*n - t = -5*m. Is m >= 8?
True
Let a(z) = z**3 + 13*z**2 + 19*z - 23. Let s be a(-11). Suppose 0*w - 33 = -3*w - 3*v, -2*w + 18 = -2*v. Let r be 5/w*(-66)/(-3). Is r less than s?
False
Let u = 2/41 + 68/287. Let w(j) = -j**2 - 13*j - 6. Let s be w(-8). Suppose 5*n = 6*n - s. Which is smaller: u or n?
u
Suppose -2*i = 2*u + 536, 4*u - 1346 = 5*i + 3*u. Let f be (405/4)/((-21)/56). Which is smaller: i or f?
f
Let s = -0.2 - -2.2. Let x = -28 + -62. Let i = x - -89. Is i at most s?
True
Let a be 19/152 - 1146/11472. Which is smaller: -2 or a?
-2
Let o(l) = -12*l - 959. Let p be o(-80). Which is smaller: 15/121 or p?
15/121
Suppose 62*d - 99 = 63*d - g, -d - g - 93 = 0. Let z be (-566)/(-14) + d/224. Which is bigger: z or 37?
z
Let a be (0 + -193)/(((-22)/(-44))/((-2)/4)). Let d(g) = -g**3 - 8*g**2 + g + 1. Let w be d(-10). Is w bigger than a?
False
Let y = 87 + -35. Let w = 33 + y. Suppose -7*v = -2*v - 430. Is v smaller than w?
False
Suppose 13*s - 52 = 11*s. Suppose 0 = 5*n - 20, -4*n = 2*i + n - s. Suppose -2*c + i*c + 4 = 0. Is c smaller than -11/4?
True
Let t(q) = -9*q**2 - 49*q - 204. Let o be t(5). Is -670 equal to o?
False
Let g = 6.0638 + -1.0638. Is -5/6 smaller than g?
True
Suppose v = -2*w - 39 + 267, 0 = -5*w + 5*v + 555. Which is bigger: w or 117?
117
Let y = 6870 + -6874. Is -957 equal to y?
False
Let x = 1.71 + 11.99. Let c = -13.8 + x. Which is smaller: c or 4.3?
c
Suppose 4*p + 47 = -25*g + 30*g, 3*g - 2*p = 27. Is 495 smaller than g?
False
Let i(l) = -5*l - 22. Let c(z) = 10*z + 43. Let d(r) = 4*c(r) + 10*i(r). Let h be d(7). Which is smaller: -117 or h?
h
Suppose -613*n - 288 = -610*n. Which is bigger: n or -90?
-90
Suppose -2*y - 6 + 18 = -3*c, -c + 3 = -3*y. Suppose -8*h + 8 = -12*h. Let m be -11 + (0 - h) + 4/2. Is m smaller than c?
True
Let h(b) = -13*b**2 + 8*b + 22. Let a be h(-5). Let m be 3*(1722/a + 5). Which is smaller: 0 or m?
m
Let z be 1*(2 - 3 - 0). Suppose -c - 10 = 390. Let a be c/(-18) + 776/72 + -11. Which is bigger: a or z?
a
Suppose 4*v + 5*o + 17 = 2*v, 41 = 4*v - 5*o. Let s be (-68)/16 + 4 - (-1)/v. Let b = 245 + -8821/36. Are b and s nonequal?
True
Let w be (21/(-6) + 3)*84. Is w <= -42?
True
Suppose -386*u + 448 = -330*u. Is 258/37 bigger than u?
False
Suppose 297*c - 302*c = -615. Suppose 4*a = -5*y - c, -a + 18 = 15. Which is greater: -137/5 or y?
y
Let p = 1536 - 1535.8. Which is smaller: p or -456?
-456
Suppose -4*w - 2*h = w - 1, 2 = -h. Suppose n - j = -16, -111*n - 52 = -108*n - 4*j. Is n at least w?
False
Let o = -0.3 + 0.2. Let w = -0.39 - -0.48. Let m = w + o. Is m equal to -1?
False
Let p(h) = -32*h - 3 + h**2 - 54*h + 63*h. Let n be p(24). Suppose 0 = -19*z + 12*z + n. Which is smaller: z or 4?
z
Suppose 26*q + 28*q - 585 = 15*q. Which is greater: q or 7/10?
q
Let i be ((4 + -4)/(-1))/(12/4). Suppose i = 5*d + 21 + 69. Are -15 and d non-equal?
True
Let y = -2599.9877 + 1.9877. Which is greater: y or 3?
3
Let n = 23068/3 + -7754. Let q = n - -3689/57. Is -3 <= q?
True
Suppose 3*u + 546 = 2*y, -2*y - 574 = -4*y - 4*u. Suppose y*c + 90 = 274*c. Are c and -14 nonequal?
True
Let u be (2910/1660)/(279/120). Let t = 84/83 - u. Which is bigger: t or 0?
t
Let a(v) = -91*v + 999. Let w be a(11). Is w equal to -57/47?
False
Let j(c) = c + 10. Let o be j(-8). Let u = 228 - 209. Which is smaller: u or o?
o
Let k be (1027/(-65) + 15)/((-4)/6). Is 0 not equal to k?
True
Let k = -259 + 261. Suppose y + 2*y - k*y = 0. Let r be 1/2 + 57/(-42). Are y and r unequal?
True
Let b = 19137 - 516559/27. Which is greater: b or 5?
b
Suppose -46*u + 38*u = -768. Suppose -46*y + 45*y + 5*f = 40, -u = 2*y - 2*f. Is y at most -49?
True
Suppose 4 = 2*c + 16. Let o = 84 + -81. Let u be o + 1/(-4) + (-516)/48. Is u less than or equal to c?
True
Let y = -9991 + 9897. Which is bigger: -93 or y?
-93
Let b = 20936.61 + -21078. Let f = b + 1.39. Let k = 138.2 + f. Which is smaller: -1 or k?
k
Suppose 9*y - 112*y + 1854 = 0. Are y and 23 unequal?
True
Suppose -4*g = -5*d + 8 - 1, -4*d + 12 = 0. Suppose 4*k + 20 = 2*z, -5*k - 25 = -g*z - 0. Which is bigger: z or -2/291?
z
Let h = -37 - -40. Suppose 38 + 46 = -h*o. Let g = 26 + o. Which is smaller: g or -9?
-9
Let b = 302 - 647. Let l = b + 1037/3. Which is greater: -107 or l?
l
Let w = 104/7 - 451/28. Suppose -3 = 12*h + 21. Let m(l) = -l**3 - l**2 + 3*l. Let r be m(h). Is r greater than w?
False
Suppose -3*z + 2*b = -21, -4*b - 361 + 324 = -5*z. Which is greater: 101/24 or z?
z
Let m(r) = -276*r + 861. Let z be m(4). Is z < -242?
True
Let i = 22/791 - 46840/1740991. Let w = i + 85825/15407. Is 7 at least as big as w?
True
Let d = 685 - -1929. Which is bigger: 2615 or d?
2615
Let n(u) = 11*u**3 + 7*u**2 - 2*u + 1. Let x(w) = -3*w**3 - 2*w**2 + 2*w + 3. Suppose p = -48 + 47. Let k be x(p). Let y be n(k). Is y < 112?
False
Let q(i) = -8*i + 129. Let x be q(17). Let l be (2 - 3)*(4 - (x + -6)). Which is bigger: 7 or l?
7
Suppose 8*k + 40 = 6*k. Let c be ((-24)/k)/((-6)/15). Let a be c + 5/(2 - -3). Which is greater: a or -13/4?
a
Suppose -v = -87*u + 82*u - 4587, -5*u - 18408 = -4*v. Which is smaller: 4606 or v?
4606
Suppose 8*c + 2 = -6. Let o be c + (-14)/(-10) - 112/230. Is 1 greater than o?
True
Let k = 2344 + -2343.9. Which is smaller: k or -2/8013?
-2/8013
Suppose 5*n = -18*o + 13*o - 320, 2*n - 5*o + 107 = 0. Which is smaller: -63 or n?
-63
Let v be 95/(-475)*(20/1554 - 0). Let b be 1/((0 + 1)*1). Which is bigger: b or v?
b
Let b be 2/((-9 - -7)*(36/26 + -1)). Which is bigger: 94 or b?
94
Suppose 0 = -j + 5*j + 7*a - 20, 14 = -5*j + a. Which is bigger: -22/39 or j?
-22/39
Let h be -1 + 18/24 + 6/(-8). Let n = 0.054 - -13.946. Let m = n - 79. Which is greater: h or m?
h
Suppose -6 = -4*v + 3*v. Let j be 0 + -1 - v/(-1). Suppose y - 6 = -2*g, -2*g = 5*y - 19 + j. Which is smaller: -1 or g?
-1
Let h = 114.21 - 115. Let u be ((-1)/2)/((-6)/(-24))*2. Which is bigger: h or u?
h