e 5*i + 0*w + 5*w - 605 = 0, 5*w = i - 103. Suppose 0 = -2*y + 3*n + i, -y - 5*n + 56 = -8*n. Which is greater: 64 or y?
64
Suppose -f + 4*y = -13, 3*f = f + 2*y + 8. Let t be 3/6*-2 - -3. Let j be 4/52*-27 + t. Is f smaller than j?
False
Let v be 140*(4/24 - (-2)/(-3)). Let j = -71 - v. Which is smaller: j or 17/5?
j
Let u(i) = 5*i**3 + 58*i**2 - 10*i + 50. Let p be u(-11). Which is smaller: 525 or p?
p
Let b = 5319 + -5318.8. Let m be (6 - 4)*(-11)/(-14). Which is smaller: m or b?
b
Suppose -1068 = -14*v - 410. Which is smaller: v or 6?
6
Let u = 266 - 208. Which is bigger: u or 11?
u
Suppose -232*p + 228*p = 1216. Which is bigger: -1215/4 or p?
-1215/4
Suppose 12 = 3*p + p. Suppose 2*f = 2*i + 30, 0*i - i - 31 = p*f. Let y be (18/(-27))/((-177)/90 + 2). Which is bigger: y or i?
i
Let o = 2312 - 2311. Are o and 2/7 non-equal?
True
Let f(c) = -8*c - 67. Let t(h) = -9*h - 68. Let a(n) = 3*f(n) - 2*t(n). Let p be a(-11). Let q = -96/5 - -1071/55. Which is bigger: q or p?
p
Suppose 0 = -3*f + 403 - 439. Let m be (40/f)/((-7)/(-42)). Suppose 5*n - 3*x = -92, -2*n = 4*x + 18 + 24. Which is bigger: n or m?
n
Let j be 335/(-134) - 10/(-4). Suppose -13*d - 18*d + 403 = j. Are d and 16 equal?
False
Let h = 2.6157 - 1.6157. Is -7852 equal to h?
False
Let x = -13110 - -13110. Let l be 12/(-3165)*(-10)/12. Which is smaller: l or x?
x
Let j be ((-1)/(-6))/(-14 + (-588)/36). Which is bigger: j or -1?
j
Suppose 3*w + 9089 - 3693 = 2*p, -4*w + 8 = 0. Is p greater than 2704?
False
Let t(m) = m**3 - 12*m**2 - m + 12. Let a be t(12). Suppose -4*k + 1178 - 5630 = a. Let w be 2 - 5/2 - k/42. Which is bigger: 24 or w?
w
Let b be (3 - 3)/1*(-8 + 7). Suppose -3*w + 6 = 5*h, b + 18 = h - 5*w. Is h at least 20/7?
True
Let p(x) = -32*x**2 - 36*x**2 + x**3 + 7 + 42*x**2 - 57*x. Let g be p(28). Suppose -14 = b + 8. Which is smaller: b or g?
b
Suppose 4*i + 2*l - 14 = 0, -2*l = i + 2*i - 12. Suppose -i*o = -3*o. Suppose o = 5*q + 18 + 97. Is q at least -25?
True
Let m = -13195.256 + 13195. Which is smaller: m or 2/85?
m
Let z be (892/(-24))/(8/(-12)). Let c = -2437/44 + z. Let h = -11 + 13. Which is bigger: h or c?
h
Suppose 5*a = 2*u - 7, 0 = -5*u - 7 + 12. Which is smaller: 7/78 or a?
a
Let k be -3 - (-4 + 5/(-5)). Suppose 3*l + 3*i + k*i = 19, -4*i = -3*l + 1. Suppose l*y + 39 = 30. Which is greater: -13/4 or y?
y
Let v be -1*2/2 + 1. Let i(m) = -16*m - 7 - 3 - 1 + v. Let b be i(-3). Do b and 36 have different values?
True
Let o = -32465617/724 - -44842. Is -0.1 >= o?
False
Suppose -9*v - 16 = 4*t - 4*v, -2*t + 5*v - 38 = 0. Suppose -4*l + l + 111 = -3*r, 0 = 5*r + 3*l + 185. Let b = -47 - r. Is t at most b?
False
Let t = 0.2 - 0.1. Let a = 9.4331 - 8.1331. Which is greater: a or t?
a
Let w = 1838 - 9188/5. Which is smaller: 2362 or w?
w
Let l = 399 + -110125/276. Let v(h) = -h**3 - 8*h**2 + 2*h. Let x be v(0). Which is smaller: x or l?
l
Let i = -137 + 273. Let o = i + -134. Are -25 and o non-equal?
True
Let p = 31.75 - 31.75. Is p at least as big as -7/30?
True
Let g(k) = -3*k**2 + 60*k - 111. Let f be g(25). Let y = f + 482. Which is greater: y or -2?
-2
Let y be 3/(-9) + 47/(-9). Let b(z) = z**3 + 39*z**2 - 152*z - 1099. Let o be b(-42). Which is bigger: o or y?
y
Let f = 33 + -45. Let d be (-2)/f*(5 - -1). Suppose 3*k - 4*s = 51 + d, 2*k - 35 = 3*s. Which is smaller: k or 15?
15
Suppose 2*i = -21*t + 19*t - 4616, 9232 = -4*i - 8*t. Which is smaller: -2311 or i?
-2311
Let w = 3609 - 3627. Is w greater than or equal to -393/22?
False
Let b = -16 - -25. Let g = 5231/210 + -586/35. Is g at least b?
False
Let p = -14791 + 4099. Do p and -10693 have the same value?
False
Let r(p) = 7*p**2 + 7*p + 8. Let g be r(7). Suppose -5*h = 10, -g = 2*j - 2*h + 5*h. Which is greater: j or 0?
0
Let g = 173 - -19. Suppose 4*x = 4*k - g, -18*k + 16*k + 2 = 0. Suppose -4*i - 236 = i - y, i + 46 = -y. Is x not equal to i?
False
Suppose 52*u = -29*u + 3933 + 5301. Let c(v) = -v + 116. Let j be c(0). Which is bigger: j or u?
j
Let x be ((-88)/(-20))/((-8)/(-20)). Suppose 5*u - 3*q = -5, u + u + 4*q - 24 = 0. Suppose t + 7 = -h, u*h + x = -4*t - 19. Are t and -6 nonequal?
True
Let h = 1.418 - 1.618. Which is smaller: h or 579?
h
Let j be ((-36)/(-30))/(4/10) + 1. Suppose -5*r + 25*s = 27*s + 775, s + 623 = -j*r. Which is greater: r or -159?
r
Let m = 5014.1 + -5014. Is m smaller than -1/2182?
False
Let c = -0.8127 + 0.1533. Let w = c + 0.0594. Do 14 and w have the same value?
False
Let t be 77/2 + 2/4. Suppose -3*o + 4 = 2*c + 2, 4*c = 5*o + 26. Suppose 2*j - 9 - 67 = -g, 114 = 3*j - c*g. Which is smaller: j or t?
j
Let q = 1165.01 - -26.99. Let j = q - 1151.96. Let p = j - 40. Which is greater: 0.3 or p?
0.3
Suppose -113 = -3*x - 5*g, x = -1798*g + 1795*g + 47. Is x at least 23?
True
Let o(m) = -2*m**2 - 65*m - 572. Let h be o(-10). Which is smaller: -131 or h?
-131
Suppose -5*u - 2*s - 14 = -3*s, 0 = -3*u + 4*s - 22. Let j be (10/(-8))/(2/(-96)*u). Let g(d) = d - 36. Let r be g(7). Which is bigger: j or r?
r
Let z be 6 + 2244/(-231) - 1*-4. Which is bigger: -0.4515 or z?
z
Suppose 0 = -5*b + 4*d + 46, -4*d - 3 = -7*d. Let v(x) = -x**2 + 9*x - 14. Let c be v(b). Let m = c - -25. Is 1/2 less than m?
True
Let v be 6345/(-30)*52/30. Let g = -365 - v. Which is bigger: g or 1?
g
Let n = 0.1 + -3.1. Let f = n + 2.9. Let c(i) = -i**3 - 55*i**2 - 749*i + 67. Let h be c(-25). Are f and h equal?
False
Let j be 3 - (-5 + 0) - 12502/1540. Is j <= -1?
False
Let z = 11 - 16. Let p be ((-372)/22 - -7) + -1. Let l = p - -141/22. Which is greater: l or z?
l
Let a = 148 - 274. Suppose 0 = -19*w - 22*w - 4756. Let h = w - a. Which is greater: h or 11?
11
Let m = 3244 + 1184. Let q be ((-1114)/m)/(6*(-5)/(-90)). Let a = q - 11/82. Is -1 at least a?
False
Let b be (-6)/(-4) - (-8)/16. Suppose 0 = -5*m + b*p - 4*p + 248, -4*m + 204 = 3*p. Is 47 greater than m?
False
Suppose -2*c - t = 28, 3*c - 7*t + 6*t + 47 = 0. Is -64 greater than or equal to c?
False
Let z = -15 + -2. Let o = 19 + z. Let p be ((-3)/o)/((-120)/(-32)). Is p > -2/7?
False
Let w be (3 + 21/(-9))*81/(-6). Let u = -13 + 6. Which is smaller: u or w?
w
Let v(f) = 22*f**3 - 222*f**2 + 20*f - 3. Let q be v(10). Let z = -212063/6 - -35178. Let g = -503/3 - z. Which is smaller: q or g?
q
Suppose 0 = -21*w + 36 - 36. Suppose 0 = 8*s - w*s - 8. Which is smaller: s or -1?
-1
Let u(r) = -r**2 + 63*r - 242. Let y be u(4). Which is bigger: y or -204/31?
y
Suppose -236*g = 745*g + 169*g + 355350. Let l = 114 + -424. Which is smaller: l or g?
l
Let f = -3 - -4. Let g be (-6696)/(-9920) - 2/16*4. Which is smaller: g or f?
g
Let k be -1841*1 + (-44)/418*19. Is -0.3 at least as big as k?
True
Let r = -10489 - -10491. Which is smaller: r or 528/167?
r
Suppose 0 = g - 2*n - 23, 5*g - 80 = 2*n + 27. Suppose -g = -12*v + 3. Suppose 2*k = -i - 15, -7*i - 95 = -v*i + 5*k. Which is smaller: 0.1 or i?
i
Let c = -136 + 52. Let u = -17211 + 17128. Which is bigger: c or u?
u
Let l(x) = 12*x**2 + 21*x - 20. Let v be l(1). Let m be 21*((-39)/(-24))/v. Which is smaller: m or -6?
-6
Let i(t) = -25*t**2 + 10*t. Suppose -p - 17 = 4*g, 5*p - 3*g + 9 = 39. Let n be i(p). Let h be (-2)/1 + (-3)/(n/170). Which is smaller: h or 2?
h
Let d(v) = 28*v**2 - 289*v + 1139. Let p be d(4). Which is bigger: 432 or p?
432
Let w(x) = 250*x**3 - 4*x**2 - 7*x. Let k be w(-4). Let h = -12427896/775 - k. Let p = 592/5425 + h. Is p not equal to 0?
True
Let a(k) = 66*k + 1322. Let c be a(-14). Is c at least 403?
False
Let d(z) = -20*z**2 - 3*z - 4. Let j be d(-3). Let y = -9 - j. Suppose -5*s = -4*l + 3*l - y, 3*s - 97 = -2*l. Is s equal to 33?
True
Let k(z) = -z**2 - 9*z - 14. Let h = 45 + -21. Suppose 0 = d + h - 14. Let m be k(d). Which is smaller: m or -23?
m
Let a = -724.07 + 725. Let i = -85.63 - -85. Let u = i + a. Which is smaller: u or 2/3?
u
Let p be 1 + (-40)/22 + 1. Let a be -2*(-13 - -12 - (-2 - -3)). Let m be (-1)/a - (-615)/540. Which is smaller: m or p?
p
Let o = 0.121 - -475.879. Let p = 479 - o. Do -67 and p have the same value?
False
Suppose 3*k = 23 + 7. Let c be (-2)/(2/(-3)) - (k - -1). Is -10 smaller than c?
True
Suppose 0 = -2*k + m + 1348, 2022 = 3*k - 0*k + 2*m. Let w be 7/42 - k/12. Let g be (3/(-4))/(1449/w). Is -1 != g?
True
Let k(z) = -z + 11. Let c be k(6). Suppose