e
Let h be ((-4)/1 - (36 + -36)) + 44. Which is bigger: 42 or h?
42
Let a = 1176/37 + -12791/222. Which is greater: -25 or a?
-25
Let p = 51 - -266. Let u = 324.95 - p. Let d = u - 8. Is d at most -2/7?
False
Let u(o) = -10*o + 13. Let m be u(0). Is m less than 58/5?
False
Suppose 4*j - 48 = -4*m + 44, 4*j = -2*m + 86. Are j and 19 nonequal?
True
Let a = 3.1 - 3. Let b be ((-8)/(-5))/(-3 + 29/10). Let n = -173/11 - b. Is n >= a?
True
Let b = -10.69 - -3.69. Which is smaller: b or -28?
-28
Let t = 544 + -544. Is t bigger than -1/597?
True
Let i = -400 + 334. Do i and -0.1 have different values?
True
Let u(l) = -7*l - 8. Let q be u(-4). Let h = 52 - 29. Let p = h - q. Is 3 less than p?
False
Suppose 5*r + 12 = s, 0*s = -5*r - 2*s - 6. Which is bigger: r or -11/13?
-11/13
Let i = -0.28 + -0.62. Which is smaller: i or -0.2?
i
Let g be 12/(-16) - 325/(-540). Let x = 34/135 - g. Is -1.1 < x?
True
Let l = 28.21 + -32.4. Let r = l - -0.19. Let b = r - -3. Which is smaller: b or 1.6?
b
Let p be (-13)/((-26)/(-8)) - 8/(-2). Let h = 38/2093 + -12/299. Let u = h + 4/13. Is p at most as big as u?
True
Let c = -34 - -33. Let b(q) = -q**2 - 14*q - 14. Let s be b(-12). Which is smaller: s or c?
c
Let q = -6/349 + -1733/698. Suppose -d - 3*b - 2*b - 9 = 0, d - 3*b + 1 = 0. Let c be 5/(-2) - (-2)/d. Which is bigger: c or q?
q
Let d = -10.6 - 55.4. Let o = 43 + d. Is -1/2 <= o?
False
Let g be ((-1)/(-34))/((-14)/(-4)). Suppose -76*d + 5 = 65*d + 5. Is d at least g?
False
Let m = 34 - 29. Suppose 4*w = -5*c - 10 - 2, 0 = -m*c + 2*w - 24. Let o be (16/(-20))/((-1)/(-5)). Is c greater than o?
False
Let x(j) = -j**3 - 4*j**2 + 9*j + 15. Let y(i) = i**3 - 11*i**2 + 9*i + 5. Let n be y(10). Let m be x(n). Is m >= -1?
False
Let f = -0.0279 + -3.9721. Which is smaller: 0.1 or f?
f
Let h = -31 + 51. Suppose 4*w + 3*i - 89 = -2*i, -i - h = -w. Let c = 9 - w. Is c < -13?
False
Let n = -668861/183 - -3655. Which is smaller: n or 1?
n
Let o be 49/17 + (6 - (-700)/(-119)). Let h = -11.05 - -0.05. Which is greater: o or h?
o
Let o(l) = -4*l - 40. Let t(b) = -2*b - 1. Let y(p) = o(p) - 3*t(p). Let z be y(12). Let q be 98/(-8) + (-3)/(-12). Is q at least z?
True
Let v(k) = k**2 + 13*k + 32. Let n be v(-5). Suppose 2*o = 3*q - 7, 0*o + o = -3*q - 26. Which is greater: n or o?
n
Suppose 8*r = 5*r - 12. Let b = -321 - -321. Do r and b have the same value?
False
Suppose -4*f + 5*b + 17 = 0, -4*b - 30 = 5*f - 0*b. Let n be ((-2)/(f + 0))/2. Is 1 at least n?
True
Suppose f = -4*v - v + 20, -2*v = -10. Let c = 1 + 0. Suppose 3*l - 2*w = -2, l + 0*l - w = c. Is f greater than l?
False
Let y(a) = a**3 + 39*a**2 + 7*a + 235. Let v be y(-39). Which is greater: v or -45?
v
Suppose -2*h - 56 = -3*g, -20*g + 16*g + 70 = 2*h. Let r be 12*(7/2 + -2). Do g and r have different values?
False
Suppose 6*n + 155 = -19. Let p = 33 + n. Suppose 0 = 5*s - 3*o + 56, o = 2*s + 19 + p. Which is smaller: s or -11?
s
Let t be 1/(-12)*(-27)/(-6). Let g be (-6 + (-57)/(-9))/((-2)/(-6)). Which is bigger: t or g?
g
Let m be (-2 + -33)/5 - (-1 - 3). Let a(c) = -c**2 - 5*c - 1. Let l be a(-4). Let t = m + l. Is -1 at most as big as t?
True
Let w = 435678/49 + -8891. Is 0 smaller than w?
True
Let c be (1/(-1 - -2))/(3 + -4). Let q be (2 - c) + -2 - 2. Which is smaller: 2/17 or q?
q
Let a = -4233 + 1172539/277. Which is greater: -2/5 or a?
a
Let q be ((-1)/(-2))/(12/(-1152)). Let r be q/20 + 2/5. Let k be (-86)/20 + 2 - r. Is 1 less than or equal to k?
False
Let i = -5.2 + 5.61. Let a = i + -1.91. Is 1/2 at least a?
True
Let i be 18/(-45)*(-5)/6. Suppose r - 8 = -9. Are i and r equal?
False
Let n(a) = -5*a**2 + 3*a - 10. Let b(z) = 3*z**2 - z + 5. Let j(q) = -7*b(q) - 4*n(q). Let o be j(-6). Let w be (-16)/(-13) - (2 - 0). Which is smaller: w or o?
o
Let j be ((-6)/2 - -4)*7. Suppose -r - 2*r + j = 2*w, -5*w - 25 = -r. Suppose 5*b = -5*b - 10. Which is smaller: b or w?
w
Let o be (-2)/(-12)*372/8. Let b = o + -10. Let i = 79/28 + b. Which is smaller: 1 or i?
i
Suppose -f - 4*f = 3*s - 682, -f + 136 = s. Suppose -5*x + f = -133. Let a be 5*3*3/x. Is a greater than or equal to 1?
False
Suppose 4*g + 5*c = g + 4, 5*g = -2*c - 6. Let a = 48 - 178. Let j = a - -127. Which is smaller: g or j?
j
Suppose 0 = z - 117 - 63. Suppose -v - z = 4*v. Let t be -1 + 9/(v/(-40)). Which is smaller: 10 or t?
t
Suppose -26 = -3*k + 4. Let n = 12 - 22. Let l = n + k. Which is smaller: 1 or l?
l
Suppose 3*u = 3 - 111. Let k(b) = -b - 12. Let r be k(22). Is u equal to r?
False
Suppose -3*r + f + 27 = -3*f, -3*r + 5*f = -30. Suppose -11 + 1 = r*d. Let i be 6/(-9) + (-2)/6. Which is greater: d or i?
i
Let b(w) = w**3 + 3*w**2 - 7*w - 1. Let i be b(-5). Let d be 82/8 + 4/i. Let j be 26/(-585) + (-4)/d. Which is greater: j or 0.1?
0.1
Let s = -50 - -47.1. Let l = s + 3.1. Let u = 2 + -7. Are u and l unequal?
True
Let u be 5/(3/66*2). Is u less than 55?
False
Let q = -18.61 + 20.61. Which is smaller: q or -11?
-11
Let x = 8.75 - -0.25. Let r = 10 - x. Let s = 0.23 + -0.15. Which is bigger: r or s?
r
Suppose -r + 50 = -5*c, 3*r - 5*c + 70 = 6*r. Let k be ((-18)/(r/5))/((-1)/(-3)). Is k not equal to -64/7?
True
Let q(c) = -2*c + 122. Let y be q(0). Suppose v - 2*v = -j - 26, -5*j = -v + y. Is j < -25?
False
Let g(q) = 4 - 2*q**3 - 1 - 4 + 4*q**3. Let i be g(1). Which is greater: 2/17 or i?
i
Let b(v) = -52*v + 158. Let p be b(3). Do 18/7 and p have different values?
True
Let t(j) = 5*j**2 + 2*j + 2. Let o be t(5). Suppose d - 2*z - 68 = 0, -2*d + 5*z + o = -0*d. Let g be 10/55 - 166/d. Which is greater: g or -1?
-1
Let i = -11 + 12. Let n be -1 + (-11)/(-9) + 8/45. Which is smaller: n or i?
n
Let y = -764.16 + 764. Is 0.11 bigger than y?
True
Let c be ((-32)/(-40))/(6/(-105)). Let t be c/(-6) - (-1)/(-3). Let n be 28*1*(-2)/(-20). Is t smaller than n?
True
Let z(d) = -14*d + 26. Let h be z(4). Does -24 = h?
False
Let m = -70/57 - -8711/6954. Is 1 less than m?
False
Let l = 6709 + -932545/139. Is l at least -1?
True
Let t = 1667015/253 - 6589. Which is greater: t or 0?
0
Let k(p) = -26*p - 110. Let a be k(-5). Is 18 < a?
True
Let p(h) = h**3 + h**2 - 5. Let j be p(0). Let m be (126/35)/((-6)/(-20)). Let a = 8 - m. Is a <= j?
False
Let w = -104.6 - -106. Let f = w + -1.41. Which is smaller: 4 or f?
f
Suppose 5*l - 444 = -3*o, -4*l + 2*o = -o - 339. Is 86 > l?
False
Let j(o) = -2*o + 8. Suppose -2*c - 3 = 3. Let v be 2/((-3)/c) - -3. Let y be j(v). Which is smaller: y or -3?
-3
Let w = -134 + 145.7. Let d = w - -0.3. Let m = 11 - d. Is m bigger than 10?
False
Let q = 84 + -73. Are q and -3/7 equal?
False
Let v = -670 + 642.7. Let p = -29 - v. Let u = p + 1.5. Is -0.2 bigger than u?
False
Let o be (-10731)/9 - 2/3. Is -1194 <= o?
True
Suppose -z + 71 = -4*y + 51, -3*z - 15 = 3*y. Which is bigger: 23/27 or z?
23/27
Suppose 0*p = -p + 8. Let m = -1 + p. Suppose 4*j - m*j = 6. Is -2 less than j?
False
Let k(x) = -24*x + 1138. Let i be k(47). Let a be 1*(8 + 0 - -1). Which is smaller: i or a?
a
Let s(l) = 2*l**2 - 3*l + 5. Suppose -4 = -4*w + 8. Let c be s(w). Suppose -c = 5*f - 4. Which is smaller: f or -4/3?
f
Let h(u) = -7*u - 49. Let c be 15/(-2) - (-78)/(-52). Let m be h(c). Which is greater: m or 15?
15
Let o = 2/159 + -523/3657. Which is greater: 1 or o?
1
Let t be (-30)/(-135) + (-1030)/18. Let a be (38/t)/(-1*(-1)/(-6)). Is 19/7 not equal to a?
True
Let v be ((-220)/16)/5 - -3. Let y be (-20)/110 + 453/11. Is v smaller than y?
True
Let l(z) = 2*z**3 - 15*z**2 + 4*z + 33. Let j be l(7). Let f = -11 + 21. Are f and j unequal?
True
Suppose 102 - 92 = -10*n. Is 1/159 less than n?
False
Let o(t) = -t**3 + 5*t**2 + 1. Let z = 27 + -22. Let u be o(z). Is u < 1?
False
Let p = 2 - -1. Let r = 16 - 13. Suppose 0 = -2*z - k - 3, 7*z - r*k = 2*z + 20. Which is smaller: z or p?
z
Let k be (-10)/(-5)*6/4. Suppose -13 = k*j - 1. Let x be j/(-60)*5*45. Which is bigger: 14 or x?
x
Let a be 14 - -12 - (2 + -1). Let u = a - 26. Which is smaller: u or 2/121?
u
Let i be ((-5 - (-255)/21) + 1)*-1. Which is smaller: i or -2?
i
Let a = 1/1821 - 3689/85587. Suppose h = -14*k + 12*k - 2, 0 = 5*h. Is a not equal to k?
True
Let w = 216 - 217. Are -5/18 and w unequal?
True
Let k = 793/3 - 285. Let y be (-111419)/(-5445) + (-2)/(-11). Let i = k + y. Which is smaller: i