+ 1054. Let k = 436.1 - u. Is 70 at most k?
False
Suppose 733 + 4687 = -10*u. Let m = u - -1139. Which is bigger: m or 598?
598
Let j = 134 - 74. Let u = j + -59. Is u equal to -3/2?
False
Suppose 482 = -7*q + 9*q. Suppose -237 + q = -4*l. Let c be -2 + ((-94)/(-48) - 0). Which is smaller: c or l?
l
Let n(c) = -c**3 - 9*c**2 + c + 10. Let a be n(-9). Let l = a - 1. Let u be l - (1/6 - (-381)/(-18)). Is u != 19?
True
Let k(d) = 17*d - 5. Let q be k(-1). Let j = q - -43/2. Let x = -94 - -87. Which is bigger: x or j?
j
Suppose 9402 = 140*l - 137*l. Is 0 less than or equal to l?
True
Let l = 53 - 28. Let k(n) = -n**2 - 21*n - 31. Let y be k(-16). Suppose y*h - 92 = 45*h. Which is smaller: h or l?
h
Let m = 16174776931382/15301 - 1057105870. Let v = m - -1/3531. Let a = 8/13 - v. Which is smaller: a or -0.4?
-0.4
Let h = 18/2287 - 3897246/25157. Is h at most -155?
False
Let d(n) = -n - 2. Let a(y) = -y**2 - y + 12. Suppose -12 + 36 = -6*u. Let i be a(u). Let o be d(i). Is -1.4 != o?
True
Let w = -0.14 + -9.86. Let x be (-15)/17 + (-3 - (-6 - (3 + -5))). Which is smaller: w or x?
w
Let n be ((2151 + -1)/5)/(0 + 2). Let s = 110 - n. Which is bigger: s or -104?
-104
Let m be (-1)/(1/6) + 564/12. Let r(v) = v**2 - 22*v + 16. Let q be r(23). Is m at most q?
False
Let n be 5 + -5 + 5 + 3. Suppose 2*j + n = 2*a + 4, -3*j = 3*a - 18. Suppose -j*g + 160 = 4*x, -130 = -3*x - 2*g + 3*g. Is x <= 43?
True
Let x be (-2)/4 - (-6)/4. Suppose -3*v + 2*k + 72 = 0, 5*v = -4*k + 34 + 64. Let a be v/432 + 98/1323. Is a less than or equal to x?
True
Suppose 2*q + 50 = -2*u, -4*u + 0*q - 3*q - 102 = 0. Let o = u - -31. Suppose -9 = -o*s - 69. Which is bigger: -16 or s?
s
Let p be 1 + 0 + (-20)/80 + -1. Which is greater: -2.46 or p?
p
Suppose 4*d = -5*c - 8264, -5*d + 2*c - 6152 = -2*d. Which is smaller: -2057 or d?
-2057
Let t be 146*20/35 + 2. Let h = t - 85. Suppose 0 = v + v. Is v less than h?
True
Suppose 0 = 4*n + 154*t - 151*t + 35, 5*n + 4*t = -42. Let u(c) = -c - 1. Suppose 2*r + 24 = 4*s, -4*s = -0*r + r - 6. Let y be u(r). Which is bigger: y or n?
y
Let a = 0.7 + -15.5. Let x = a - -15.8. Which is greater: x or 69/5?
69/5
Let p(z) = z + 4. Let o be p(0). Suppose -n + o = 3*n. Let c = -0.5988 - -0.5688. Which is smaller: n or c?
c
Let m = -158589894802/183 + 866609337. Let i = -2110 - m. Which is smaller: i or 1?
i
Let j = 287647/19838 + 2/9919. Which is smaller: j or -5?
-5
Let q(y) = -9*y**2 - 623*y + 19. Let a be q(-69). Which is bigger: a or 158?
158
Let c = 1702701288/425 + -4006359. Let p = c - -86/25. Is 1 at most p?
False
Let f = 20944 - 20943.2. Suppose -o = 4*r - 0*o + 8, 2*r + 2*o = -4. Which is greater: f or r?
f
Let j be 22/((-176)/(-24))*((-176)/84 + 2). Which is bigger: 13/3 or j?
13/3
Let u = -392 - -398. Let k be (-17)/(0 + 5 - u - 3). Is 3 <= k?
True
Suppose 291*y - 287*y - 3*t + 34635 = 0, -8657 = y + t. Is y at most as big as -8659?
False
Let q = 391.583 - 391.5. Which is greater: 46 or q?
46
Let v(t) = 74*t + 1. Let y be v(-1). Let g = y - -51. Which is bigger: g or -17?
-17
Let h = -10 + 9. Let t = -92 - h. Let g = t - -101. Which is smaller: 7 or g?
7
Let a(t) = -t**2 - 4*t + 23. Let s be a(-7). Suppose 667 - s = 19*f. Is f less than 106/3?
True
Let j = 23.72 - 16.05. Let o = 0.67 - j. Which is smaller: o or 12?
o
Let f be -19 + 429*(-22)/(-462). Which is greater: f or 17/6?
17/6
Let o = -28 - -60. Let d be ((-8)/16)/((-2)/o). Let m be (-5)/(-2)*(2 - (d - 4)). Are -33/7 and m non-equal?
True
Let t = -0.2389 + -23.1411. Let s = t + -0.62. Let w = s + 29. Which is smaller: w or 3?
3
Let n = -25555.6 + 25553. Suppose 0 = -0*a + 5*a. Suppose a = 2*r + 3*r - 5. Is n at least as big as r?
False
Let b be (232/(-10))/((-7)/(-5)). Suppose 41*r - 9*r + 22 = -522. Which is smaller: b or r?
r
Let l be (7/(-14))/(-1)*(-2)/91. Let g(c) = 2*c**3 - 11*c**2 - 3*c - 19. Let r(d) = d**3 + 10*d**2 + 8*d - 3. Let o be r(-9). Let k be g(o). Is k <= l?
True
Let c(t) = -3*t - 33. Let i be c(-12). Let a be -2 - (-5)/i - -1. Let k = -23 + 23.02. Which is greater: a or k?
a
Suppose -2*c - 574 + 3150 = -3*b, -3*b - 2575 = -c. Let z = -859 - b. Is z equal to 1/11?
False
Let l(y) = 61*y - 701. Let f be l(13). Which is greater: f or 51?
f
Suppose d = -4*d. Suppose k + 3*v + 70 = d, -4*k + 0*v - 332 = -v. Let p = k + 66. Which is smaller: p or 1/2?
p
Let f = -2/83069 + 52831894/415345. Which is smaller: 127 or f?
127
Suppose x - 5*x - 56 = 0. Let y = x + 13. Let o be (1 - -1)*((-18)/12 - y). Is o at least -1?
True
Let j = 832132/331 - 2514. Let z = -11 + 12. Is z at most as big as j?
False
Suppose 300 = -5*f - 5*s, 5*s - 20 + 128 = -2*f. Let h = f - -84. Which is smaller: h or 17?
17
Let z be ((8/(-6))/4)/(3/45). Let o(m) = -m**2 + m + 32. Let s be o(z). Let h be ((-6 - -3) + 2)/((-1)/s). Is 7/3 at least as big as h?
True
Let h be (5 - (-1 - 0)) + -1. Let o be ((-115)/(-46) - 2)/((-2)/(-24)*3). Are o and h nonequal?
True
Let n be (-891)/(-45) + 12/10. Suppose 4*f + 0*f - 80 = 0. Is f at least as big as n?
False
Let r = -502191027 - -492147128839/980. Let b = r - -396/5. Which is smaller: b or 1?
b
Suppose 9*v = 42*v. Suppose -12*b - 182 - 214 = v. Is b less than -32?
True
Let o be (2 - (-4)/10)*5. Let q be o/(-18) - (-284)/(-24). Suppose 0 = 4*d + 73 - 21. Which is greater: d or q?
q
Let t = -1 - -4. Let k = 1358 - 528. Let s = k + -831. Is s less than or equal to t?
True
Suppose 0 = -183*y + 174*y + 27. Suppose 0 = -4*c - 16, -y*h = -4*h - 4*c - 5. Which is smaller: 18 or h?
h
Let k = -31.9108 + -0.0892. Which is greater: -20 or k?
-20
Let y = 0.041 + 0.022. Let a = y - -25.037. Let c = a - 25. Are c and 18/7 non-equal?
True
Let m = 857 - 856. Let v = -4020175/41374 - -2/62061. Let j = v + 219/2. Is m bigger than j?
False
Suppose 2*k - 25 = -b, 5*k - 103 = -3*b - 27. Let z = 35 - 8. Is b smaller than z?
False
Let o(t) = -2*t**2 + 16*t - 6. Let q(k) = -3*k**2 + 32*k - 13. Let w(j) = -5*o(j) + 3*q(j). Let s be w(-12). Let y be (169/s*-1 + -3)*1. Does y = -1?
False
Let d(g) = 13*g + 286. Let i be d(-21). Is 176/15 less than or equal to i?
True
Let k = 21 + -20.6. Let r = 8.4 - k. Let u = r + -12. Which is smaller: 0 or u?
u
Let n = 4773 + -4792. Is n at most as big as 24?
True
Let q be (1/(-6))/(4/16). Let t = -69 + -22. Let f = t - -89.2. Which is smaller: q or f?
f
Suppose 3*t - 4*w + 0 - 34 = 0, 4*w + 40 = 4*t. Let n(o) = t - o**3 - 28*o**2 + 56*o**2 + 5*o - 32*o**2. Let v be n(-4). Is v bigger than -14?
False
Let n be (94/13)/(560/3640). Let d be (0 - -4)*(-6)/20. Let b = d + 4/5. Is n at least as big as b?
True
Let f(q) = 4*q**2 + 15*q + 31. Let y(u) = u**2 + 4*u + 7. Let r(w) = f(w) - 5*y(w). Let i(v) = -3*v + 1. Let n be i(1). Let g be r(n). Is -2 <= g?
True
Let t be 14/(-49) - 46/(-14). Suppose -1233 = t*y - 12*y. Suppose -5*l - w = -98, 5*l - 5*w = y - 27. Which is greater: l or 22?
22
Let z = -1116 + 684. Let m = 435 + z. Which is smaller: 4 or m?
m
Let s(n) = 33*n - 2541. Let m be s(77). Which is smaller: 11/379 or m?
m
Let d = -4/38153 - 2174153/5417726. Are d and 1 equal?
False
Suppose 5*j + 82 = 3*b - 47, 0 = 3*b - 2*j - 138. Let v be 2/6 + 176/b. Suppose g - 3*g - v = -4*y, -3*g - 50 = 5*y. Is -10 greater than or equal to g?
True
Let b be ((-218)/(-21))/((-9160)/(-93)). Let q = 88/31 + -100698/35495. Let c = b + q. Is -1 < c?
True
Let a be 8/6 - 6*(5 + -4). Is a less than -8?
False
Let x = 41 + -38. Suppose 4*f - x = 2*m + m, 4*f = 5*m + 5. Which is smaller: 170 or m?
m
Let x(a) = 8*a**2 + 56*a - 22. Let m(s) = -4*s**2 - 28*s + 11. Let i(q) = -5*m(q) - 3*x(q). Let z be i(-7). Is z equal to 8?
False
Let x be (3120/5)/12 - -7. Let b = 35536 - 248342/7. Which is greater: b or x?
x
Let j = -1.77 + 0.4. Let h = 0.67 + j. Let u = 61.3 - h. Is 0.1 less than u?
True
Let w be (-2)/((-2632)/(-378) - 7). Is w greater than or equal to 59?
False
Let d = -73 + 48. Let p be ((-22)/(-10))/((20/d)/(-4)). Let y(a) = a**3 + 9*a**2 - 11*a - 1. Let c be y(-10). Is c less than or equal to p?
True
Let h = 2065 - 2117. Which is smaller: -373/7 or h?
-373/7
Let k be 2 + 1/(-1) + -2. Suppose -120 = 4*x - 5*z, -5*x + 35*z = 34*z + 150. Let b be ((-3)/x)/(150/(-1492)) - -1. Which is greater: k or b?
b
Let w be (-10*2 - 2)*1. Let x be (-12 - 646/(-57))*10/(-20). Which is greater: w