e
Let d be (-2 - 0)/((8/(-36))/(-1)). Let q = 23 - d. Do q and 31 have the same value?
False
Let s(n) = 5*n**3 + 26*n**2 + n**3 - 28*n**2 + n. Let j be s(1). Let g = j - 13. Which is smaller: -9 or g?
-9
Let m = -2/115 - 378/4715. Is m at most as big as 1?
True
Let n = 9 + -17. Let u = -8.2 - n. Let b = 0.29 + 0.81. Which is greater: u or b?
b
Suppose 4*v = v - 27. Suppose 2*t + 8*a + 31 = 3*a, a - 13 = 2*t. Which is smaller: t or v?
v
Let f be 0 + 0 + (-1)/2. Let p be (-8)/4*1*(-1)/(-2). Which is greater: f or p?
f
Suppose 0 = -6*w + 9*w - 15. Suppose y = -3*n, w = 5*n - 3*y - 9. Is n less than or equal to 2/91?
False
Let w = 20 - 28. Suppose -32*t + 41*t = 30*t + 168. Is t at least as big as w?
True
Let x = -3023/3 + 948. Which is smaller: 2/3 or x?
x
Suppose 34*l + 81 = 37*l. Suppose -7 = -2*h - l. Which is smaller: h or -2?
h
Let i = -15 - -20. Suppose 28 - 158 = -i*v. Is 24 less than v?
True
Let u = -13 + 51. Let y = 33 - u. Is y less than 0.1?
True
Let t = 21/10 + 7/5. Let f be 3 + 1 - 3/(-1). Let q(o) = o**3 - 6*o**2 - 6*o - 4. Let b be q(f). Is t <= b?
False
Let c = -26702 + 132962/5. Let l = c - -110. Which is bigger: -46 or l?
l
Let k(s) = -s**3 - 7*s**2 + 8*s + 7. Let q be k(-8). Let l(a) = 24*a**3 - a**2. Let h be l(1). Let t(j) = -j + 29. Let m be t(h). Is q at least as big as m?
True
Let o = 6/19 + -43/76. Let f(t) = -t**3 - 7*t**2 - 5*t + 5. Suppose -k = 3*b + 18, -3*k - 24 = 4*b + k. Let n be f(b). Is o <= n?
False
Let a be -94 - (-1 - 2/(-1)). Let s = a + 854/9. Let g = 1549 + -1549. Which is bigger: g or s?
g
Let i = 88/3 + -173/6. Let a = 33/589 + -5/31. Which is bigger: i or a?
i
Let i be (1 + -3)*(-10 + 5). Let c = 41 - i. Do 31 and c have the same value?
True
Let t = -130 - -132. Does 32 = t?
False
Suppose n = 5*j + 5, n - 3*j = 5 - 0. Which is bigger: n or 34/9?
n
Let s be 220/15 - 1/4*4. Suppose -3*o = -3*n + 39, -21 = -3*n - 2*o + 23. Are n and s non-equal?
True
Let o = 1/1660 - -16593/11620. Which is bigger: o or 10?
10
Let i = -202/99 - -20/11. Suppose 6*p - p + 25 = 5*f, p + 5 = 3*f. Do i and f have the same value?
False
Let n be (-40)/(-60)*(-6)/4. Is n equal to 7/38?
False
Let v = -21369/7 + 3042. Which is smaller: -10 or v?
v
Let o be ((-7)/(-42))/((-4)/520). Which is bigger: o or -21?
-21
Let i = 235.3 + -236. Which is smaller: -0.5 or i?
i
Let z = -132027998889/73785778 + -12/1941731. Let i = z + 102208493/57114. Let r = -2/167 - i. Which is greater: r or 0?
0
Let w = 72 - 70. Let l(c) = c**2 - 3*c + 1. Suppose -5*g - k + 18 = 0, -8 = -3*k + 1. Let u be l(g). Which is bigger: w or u?
w
Let s = -23 + 14. Let g(i) = i**3 + 7*i**2 + 5*i + 3. Let x be g(-5). Let p be (-2 + x/12)*-3. Is s equal to p?
False
Suppose 7 = 5*g - r, -2*g = -2*r - 3*r + 11. Suppose 0*n = -g*c - n - 98, 0 = 2*c - n + 94. Let o be c*4/114 - -2. Is 0 < o?
True
Let r = -774 - -767. Which is bigger: -32 or r?
r
Let p = 3795/14 + -271. Is 0 < p?
True
Let g be 2/5 - (-7)/(-5). Let c be 18/117 + -5*(-114)/(-3198). Is c <= g?
False
Let z = -0.99 - 0.01. Suppose 0*b - b = 12. Let d = -19 - b. Are z and d equal?
False
Let q(g) = g**3 + 11*g + 0 - g**2 - 6 - 10*g**2. Let d be q(10). Which is smaller: 6 or d?
d
Let o = 91.8517 - -0.1483. Which is smaller: o or 5?
5
Let d = -17.5 + 20. Let z = -10.5 + d. Let a = z - -8.3. Is a != 2?
True
Let j = -5.87 - -5.94. Is 17 greater than or equal to j?
True
Let h = 374 + -375. Is h less than 1/1802?
True
Let m be 2/10 + 9/(-45). Let k be (-1062)/(-22) + (-10)/55. Let q = k - 48. Is q at most m?
False
Let y be ((-10)/(-3))/((-2210)/(-273) + -8). Is y >= 35?
True
Let l = -702.9 + 703. Let m = -8/9 + 77/36. Which is bigger: l or m?
m
Let f = -18043/1299 - -4/3897. Let i = f - -7/18. Let s = i + 85/6. Do 1/3 and s have the same value?
False
Let b be 515/8 + (-159)/424. Is b < 64?
False
Let p = -2 + 16. Suppose 77*s - 1540 = -33*s. Is p > s?
False
Let j be 53/141 + (-1)/3. Suppose 7*z - 6*z - 1 = -2*u, -4*z - 5*u + 4 = 0. Suppose -16 = -2*n + 4*p, p = n - 3 - z. Is j < n?
False
Let o(r) = r + 4. Let y(c) = c**2 + 3*c - 4. Suppose -3*a = -5*n - 3, 4*n + 0*a + 4 = 2*a. Let k be y(n). Let g be o(k). Which is smaller: g or -0.1?
-0.1
Let o(n) = 13*n**2 + 2. Let j be o(3). Suppose -j = d - 23. Let y = 477/5 + d. Are y and -1 equal?
False
Suppose 0 = -4*a + 4*p - 52, 3*a + 10 = -p - 17. Are -21 and a unequal?
True
Suppose -g - 9*i + 164 = -7*i, -3*g + 512 = -4*i. Is 170 > g?
True
Let o = 2176 + -2182. Is o equal to 69?
False
Suppose -6*c - 2*h + 4 = -10*c, 20 = 5*h. Are -3/817 and c non-equal?
True
Let h(j) = 3*j. Let x be h(-2). Let n be (-2)/(-9) - 1278/(-81). Let a = n - 16. Which is greater: x or a?
a
Let z(s) = s**3 + 8*s**2 - 27*s - 188. Let t be z(-8). Which is bigger: 32 or t?
32
Let n(d) = d**2 + 23*d + 36. Let o be n(-21). Let q be 1 - ((-7)/o)/(6/(-4)). Which is bigger: 3 or q?
3
Let k = 28 - 19. Let a = -8.75 + k. Let r = a + -0.05. Is r bigger than -5/2?
True
Suppose 2*l - 24 = -2*l. Let n(k) = 4*k - 8. Let t be n(6). Let f be (-1)/4 + 68/t. Which is bigger: f or l?
l
Let x(m) = m**3 + 9*m**2 - 10*m - 9. Let y be x(-10). Let v be 3 + (-3)/y + -4. Are v and 0.22 unequal?
True
Let h = -99.59 + -4.41. Is -1 > h?
True
Let n be (1/(-3))/(2/(-12)). Suppose -5*k - n = 3. Is -8/7 bigger than k?
False
Let t(a) = 3*a + 53. Let v be t(-18). Suppose -7*k + 2*k = -5. Let r be 1/(-5)*(0 + k). Do v and r have the same value?
False
Let p(u) = u + 5. Let v be p(-6). Let m be (1 - 0)/(450/(-2720)) - -6. Is v greater than m?
False
Let p be (2 - (-35)/(-15))*3. Which is greater: 1/43 or p?
1/43
Let a(r) = 13*r + 2. Let p be a(-3). Let h(v) = -7*v**2 + 470*v + 370. Let i be h(68). Is p bigger than i?
True
Let g = 1 - 1. Let b = 200 + -219. Is g at most as big as b?
False
Let r be (-8)/2*12/16. Which is smaller: r or -15/4?
-15/4
Let l be (-1 - (-17)/2)*(-17 - 6654/(-390)). Suppose i - 4 = z, -5*i + 16 = -z - 2*z. Is i less than or equal to l?
False
Let z = 49.05 - 49. Let m be 0 + 46/(-72) + (-18)/(-24). Which is smaller: z or m?
z
Suppose -5*r + 3*r = 4*q + 72, -q = 3*r + 13. Let i be q/(-3) - (-12)/(-36). Suppose 0 = i*x - 7*x + 11. Is 11 < x?
False
Let r = -4 + 3.5. Which is bigger: r or -0.3?
-0.3
Suppose 0 = -5*c + 2*c - 570. Let b = c + 1712/9. Suppose 2*v = -3*v + 5. Which is greater: v or b?
v
Let d(w) = -w**2 + 19*w + 23. Let t be d(19). Suppose -5*g - 37 - t = 0. Do g and -47/4 have different values?
True
Let g = -65/2 + 131/4. Let k(p) = -p. Let c be k(1). Which is smaller: c or g?
c
Let w = 99/17 + -2967/527. Are w and -1 equal?
False
Let t = 52.2 + -35.2. Is -4/9 equal to t?
False
Suppose -51*x = 127091 - 6425. Which is smaller: x or -2367?
-2367
Suppose t + 31 = 12. Which is greater: -4 or t?
-4
Let q(m) = -5*m. Let g be q(-2). Let n be 48/(-70) + 4/g. Let j = 9.94 - 10. Do j and n have the same value?
False
Let t = -0.13 + -0.37. Let o = t - 0.1. Which is greater: o or 2/9?
2/9
Let a = -18 - -14. Let f = 18 + -19.1. Let m = 1.2 + f. Is a != m?
True
Let r(w) = w**3 + 10*w**2 + w + 9. Let h(l) = 33*l**2 - 1. Let o be h(-1). Let s = o + -42. Let x be r(s). Which is smaller: x or 6?
x
Suppose -4*n + 5892 = 1436. Is n less than 1114?
False
Let j = -8 - -5. Suppose 4*b - 4*p - 4 = 2*b, -5*p + 7 = -4*b. Let s = 9 + b. Does s = j?
False
Let k be 16/5*(3 + -13). Which is smaller: -34 or k?
-34
Let o = 11.15 - 0.15. Let u = 12.04 + 1.06. Let m = u + -13. Which is greater: o or m?
o
Let l = 4558/9 + -508. Let p = 1 - 2. Is l greater than p?
False
Let g = 7.6 + -7.6. Let m be (-16)/(-12)*(-3 - 1). Which is smaller: m or g?
m
Let j = 464 + -468. Suppose n = -n + 8. Suppose 5*h + 2*a = -14, n*h + 28 = 2*a + 6. Is j bigger than h?
False
Let d be 1495/546 - (-4)/(-7). Is d >= 2?
True
Let o be (-26)/39 + (-10)/(-15). Is o < -1/15?
False
Let s = 2195/6 - 368. Let v = s + 5/3. Let i be 4 - 18/15 - 2. Is v greater than or equal to i?
False
Let w(s) = s**2 - 10*s - 12. Let d be w(10). Let z be (-14)/(-8) - (-5)/20. Suppose -2*g - 52 = z*g - 2*c, -3*g + 4*c = 49. Which is bigger: g or d?
g
Let q = -4 - -6. Let n be (-2)/4*-2*q. Let s = -1260 - -1260. Is n less than or equal to s?
False
Let a(r) = -r - 9. Let w be a(8). Is -21 at most w?
True
Let w = -17138 - -86082/5. Let j = -78 + w. Let d = -15 + 19. Which is bigger: j or d?
d
Sup