se
Let m = 18.282 + -20.282. Is 499 greater than m?
True
Suppose 3*r + 5*a + 584 = 0, 34*a - 36*a - 14 = 0. Which is smaller: -186 or r?
-186
Let c be ((-1230)/25)/(390/200) + 4. Is -21 at least c?
True
Let b be (-2)/(-3)*(5372/8 - 7). Are b and 445 equal?
False
Let b = -11 + 8.12. Let f = b + 2.76. Which is smaller: -5 or f?
-5
Let v be 2/(-4) + (-7)/(-14). Suppose 7*i + 4 = -f + 8*i, 5*i = 20. Let p be 20/56 + (f - (-6)/(-12)). Which is smaller: p or v?
p
Let x be ((-6)/(-8))/(292019/(-58552) - -5). Is 58 at most as big as x?
True
Let a = 5985 + -41893/7. Which is greater: 0.517 or a?
0.517
Let x(o) = o**3 - 3*o**2 - o + 4. Let t be x(3). Let w be 56 - 43 - (1 - t). Let p be 5 + -7 + 58/4. Is p >= w?
False
Let j = 178.1 - 178. Let o be (2 + 2 + -9)/(-1). Let r be o + -3 - 32/18. Which is smaller: r or j?
j
Let r = 11.16 + -26.16. Which is smaller: 1.3 or r?
r
Let n = 6787 + -6787. Is n less than or equal to 4/421?
True
Let s(l) = 88*l + 9. Let z be (-29)/(-116)*(-1)/((-2)/8). Let w be s(z). Which is bigger: 98 or w?
98
Let l(u) = u**3 + 6*u**2 - 3*u - 47. Let i be l(-6). Let a = i + 151/5. Let h be 1/4 + 3/(-6). Is a < h?
False
Suppose 291 = m + 56*k - 55*k, 0*k - 4*k = 24. Let y be -9*-11*3 - 0. Is m at least as big as y?
True
Let x be (-211)/3165 + (-5207)/(-77880). Is x at most 0?
False
Let o = -3 - -3.1. Suppose -u + 220 = -23*u. Let y be (-21)/35*(-5)/u. Is o smaller than y?
False
Let k be (126/(-133) + 1)/((-180)/(-28)). Is -1 <= k?
True
Let y(a) = -a - 9. Let j be y(-9). Let p = 8010 + -664838/83. Is p equal to j?
False
Suppose 84*p = 80*p + 8. Let u be p/(-10) - (-3520)/20600. Is u greater than 1?
False
Let m be (1 - 34/28)/((-520)/16). Is m less than -1?
False
Let w = 237.76 + -235. Let q = w - -58.24. Which is smaller: 2/9 or q?
2/9
Let k(c) = -14*c**3 + 26*c**2 - 97*c - 33. Let y(f) = 5*f**3 - 9*f**2 + 33*f + 11. Let d(w) = -6*k(w) - 17*y(w). Let i be d(-6). Which is greater: 10 or i?
10
Let o = 48 - 53.42. Let h = 448.42 + o. Which is greater: h or 0?
h
Let x = -28663 + 331086311/11551. Which is greater: x or 0?
0
Let c = 603 + -676. Which is bigger: -71 or c?
-71
Let y be 0/(-2) + (-408)/(-102). Let s be y*5/(-15)*(-135)/258. Is s equal to 0?
False
Let r = 0.24 - 0.11. Let l = -1218 - -1216.959. Let d = -0.041 - l. Is d < r?
False
Suppose f = -4, -5*n - 1442 = -13*f + 11*f. Which is greater: -294 or n?
n
Let p = -1.8219 + 17.1619. Which is greater: p or 1/2?
p
Let d(t) = t**3 + 9*t**2 + 15*t. Let k be d(-6). Let g be ((-2)/8 + k/(-8))*10. Which is smaller: g or -9?
g
Let x(i) = 2*i**3 + 135*i**2 - 206*i + 69. Let r be x(-69). Which is smaller: r or -1/119?
-1/119
Let k = -245 + 104. Let q = -142 - k. Let z = 0 + -5. Is q less than or equal to z?
False
Suppose 6*b - 11*b + 2*f = -46, 5*b - 34 = -2*f. Suppose -b*w + 1 = -31. Which is smaller: w or -26?
-26
Let p = 5 - 10. Let t(u) = 2*u**2 + 7*u - 32. Let a be t(3). Suppose 3*m = -0*m + 15, v - a = -2*m. Is p greater than or equal to v?
False
Let i = 3 - 43. Suppose 3*p - 51 = 3*d, 0 = 3*p + 4*d - 14 - 9. Suppose 3*o + 129 = 2*g, -p = -o - 2*g - 48. Does i = o?
False
Let n = -3132226/671 + 4668. Which is greater: 0 or n?
n
Let c = -143 - -208. Let a = c - 68.8. Let d = -3/14 + 1/2. Which is greater: d or a?
d
Let x = -318.59 - -320. Let y = 1.41 - x. Which is smaller: y or 109?
y
Let t be -8 + (-9 - -13) - -2*(-233)/(-124). Is 0.1 greater than t?
True
Suppose -248 + 226 = 2*h. Let u be (-4)/14 - h/((-77)/(-240)). Is u > 33?
True
Let k = -898 - -632. Let t(d) = d**3 - 22*d**2 + 26*d + 13. Let l be t(20). Is l at most as big as k?
True
Let l(s) = 8*s**2 - 60*s + 327. Let r be l(8). Is 367 at most as big as r?
False
Let u = 7.22 + -8.2. Let a = 0.78 + u. Which is greater: a or 38?
38
Let m be ((1 + -1)/(-1))/(-1). Let y be (400/1000)/(((-66)/15)/1). Which is greater: m or y?
m
Let f = 140 + -127. Suppose 8*w = 21*w - f. Let p be 2/4*24/148. Is w smaller than p?
False
Suppose 3*w - 24 = -0*w, 5*u - 4*w + 2 = 0. Which is greater: 478/73 or u?
478/73
Let s(h) = h**3 + 17*h**2 - 167*h - 2411. Let m be s(-19). Let g = 1127/26 + -37/13. Is g greater than m?
True
Let u be ((-160)/(-64))/((-5)/(-12)). Let g = 377/48 + -19/16. Is u greater than or equal to g?
False
Suppose -476*l + 481*l + 185 = 0. Let h = 79 + -42. Let x = h + l. Is 13 less than x?
False
Let l = 2 + -2. Let u be (1146/(-383) - -2) + (-1 - -2). Let j = u - -1391/18001. Is l < j?
True
Let f(s) = 182*s**2 + 9 - 4*s**3 - 2*s + 173*s**2 - 343*s**2. Let k be f(3). Are 7 and k equal?
False
Let f be (-14)/8 + 261/348. Which is greater: 15/79 or f?
15/79
Suppose -152 = -9*g + 451. Let h(s) = s**3 + 6*s**2 + 2*s - 3. Let i be h(-7). Let x = g + i. Which is bigger: -1/14 or x?
x
Let d = -6.4 + 6. Let b = 30.3 + -32.65. Let n = b + -2.65. Which is bigger: d or n?
d
Let d be (-2)/(-8) + 105/12. Let a = -16 + d. Let j = 16507 + -16506. Which is smaller: j or a?
a
Suppose -3*z + 59 = 512. Let c be -1*((-2)/12*3)/((-33)/9966). Is c >= z?
True
Let w = 5342852/1705 - -260/341. Let h = -3124 + w. Let a = -877/80 + h. Which is greater: a or 0?
0
Suppose 3*u = -4*d - 1907, -2*d - 1101 = 5*u - 144. Let n = -951/2 - d. Which is smaller: n or -0.006?
-0.006
Let n be (-15 - -185) + -7 + 1. Is n bigger than 655/4?
True
Let a = 42805 - 42805. Is a <= -420/67?
False
Let y(g) = -5*g + 3*g + 7*g. Let k be y(-1). Which is greater: 10 or k?
10
Let h = -28 + 41. Suppose 8*q + 5 = h. Let w be ((2/(-8))/1)/(q/(-6)). Which is smaller: w or -1?
-1
Let k = 3570 + -1426. Suppose -k = -0*u - 8*u. Let o be -2 - (-40)/22 - u/(-22). Is 10 bigger than o?
False
Suppose 0 = 3*f - 0*f + 45. Suppose 4*s - 84 = -24. Let p be 4/20*s/6. Is p > f?
True
Suppose u - 2*f = 16, -2*f + f = 4*u - 64. Let c be 1/u*4*-103. Let l = c - -26. Is l < 1?
True
Suppose -50 = -0*c + c. Let i be c/(-45) - 0/1. Let t = -1959 + 1960. Which is smaller: i or t?
t
Suppose -19*d = 39829 + 59275. Which is bigger: d or -5215?
-5215
Suppose -4*a = -5*a. Let q be -2*(-4 + 5)*-2. Suppose q*j = -a*j + 48. Is j smaller than 11?
False
Let c be (-9 + -169)/(44/34). Let x = c + 134. Is x <= -4?
False
Let a(j) be the second derivative of j**3/2 - 20*j**2 - 2*j + 15. Let k be a(14). Let w = 39 + -39. Which is smaller: w or k?
w
Suppose 0 = -3*y - 309 + 159. Is 16 != y?
True
Let j = 32.995 + -33. Let l = 9.005 + j. Is -2 at most as big as l?
True
Suppose -420 = -2*f - 416, 3*o - 5829 = -3*f. Is 5824/3 equal to o?
False
Let c = 90 - 174. Let g = 18 + c. Let f be 5 - (-214)/g - (-2)/(-3). Is 2 at least f?
True
Suppose 1 + 4 = -4*y - 3*r, -5*r - 15 = 0. Let w be 292/(-8) + y/(-2). Which is greater: w or 0?
0
Let g be 1/(2/(-4)) + 5989140/3072456. Let o = g + 15/278. Which is bigger: 0 or o?
o
Let i be ((-92)/6)/(22/(-33)). Let d = i - 19. Suppose -f - d*s = 5, -3*s = 2 + 1. Is f at least as big as 1/33?
False
Suppose -4*z - 8555 = 5*w - 2722, -3*z - 4341 = -3*w. Are -1452 and z equal?
True
Let l(m) = m**3 - m**2 - 3*m + 2. Let q be l(2). Let p be (-1*q/(-4))/2. Suppose -5*w - 100 = -p*w. Is w at least as big as -20?
True
Let c = -297541/7 - -42506. Let m = -0.031 + 24.031. Is m equal to c?
False
Let o(v) = 6*v - 44. Let j be o(9). Suppose -j*m - 27 = 13. Let u be 48/1230*1/m. Is -1 greater than u?
False
Let i(j) = -10*j + 15. Let t(v) = 50*v - 76. Let k(c) = 11*i(c) + 2*t(c). Let y(g) = 9*g - 14. Let m(q) = -3*k(q) - 4*y(q). Let h be m(6). Is -20 less than h?
True
Suppose 0 = -845*q + 846*q - 5, -4*b = q + 207. Does b = -272/5?
False
Let i = 1236 - 720. Let l = 488 - i. Suppose -3*z + 4*c - 12 = 0, -2*z + 12 = z + 4*c. Which is bigger: z or l?
z
Suppose v + p = 19, 4*p - 49 = -2*v - 1. Let l be (11/3)/((-384)/(-36) - v). Is 0 less than or equal to l?
False
Suppose 11*l = -7 + 238. Let m = -15 + l. Which is greater: 11/2 or m?
m
Let i be ((-42)/54 - -1) + (-534)/5022*3. Which is greater: i or -11?
i
Let c(y) = 2*y**2 + 2*y - 2. Let z(l) = -5*l**2 - 4*l + 4. Let a(x) = -7*c(x) - 3*z(x). Let j be a(2). Let n be (-2)/(-20)*j - 139/(-5). Is 27 smaller than n?
True
Let t = -39.02 - -34.6. Let a = -4.52 - t. Is 0.23 equal to a?
False
Let l = 0.39 + 0.01. Let q = -467/8298 + 1/1383. Do q and l have the same value?
False
Let j = -93 - -91. Suppose 0 = -7*h - 9*h + 48. Is j less than h?
True
Suppose 186*m - 243*m = -10