is greater: -5 or b?
b
Let t = -0.3506 - -0.2506. Which is smaller: t or -0.0097?
t
Let u = -182.0529 + 0.0529. Is 1/2 less than or equal to u?
False
Let c = -0.05 - 0. Let x = -550 + 554. Is x >= c?
True
Let t = 0.22 - 0.32. Let z = 0.25 - 0.08. Is t greater than z?
False
Let t = 666 + -673. Is t <= -0.24?
True
Let j(h) = -h**2 + 2*h. Suppose -s - 8 = -o, -29 = -3*o - 0*o + 4*s. Suppose -n + o = 1. Let d be j(n). Is -1 less than or equal to d?
True
Let z = -25 - -44. Let x = z + -18.19. Let l = 0.19 + x. Which is greater: l or 0.4?
l
Let w(z) = -4*z - 5. Let j be w(-2). Suppose 0 = j*h + 56 - 59. Is 0.06 >= h?
False
Let j = -0.2071 - -41.2071. Is 14 less than j?
True
Suppose 5*l - 10 - 10 = -5*c, -2 = 2*l - 3*c. Is l greater than or equal to 29/39?
True
Let x = -77 + 82. Let y be (1 + -3)*x/(-10) + -4. Which is smaller: -15/7 or y?
y
Let g be 5709/(-30) + (-84)/(-280). Are -193 and g non-equal?
True
Let i = -14 - -10. Let z(b) = -2*b**2 - 10*b - 6. Let j be z(i). Suppose -7*m + 14 = -5*m. Is m < j?
False
Let z = -1 - -1.03. Suppose 3*t = 4*h - 146, 284 = -5*t - 5*h + 29. Let v be 0 + (t/(-15) - 3). Which is smaller: z or v?
z
Let x be 124/8 - 3/(-6). Suppose -4*z + 2*z + 2*n - x = 0, 5*z = -3*n - 24. Let b be (4 - -2)*-1*(5 + -4). Is z bigger than b?
False
Let m be (0 - -7) + 3/(-6)*-14. Which is greater: 28 or m?
28
Let n = -154 - -124. Let b be 1/(-2) + (-15)/n. Is -8 at least b?
False
Let i be (-34)/264 - 2/(-8). Suppose -21*r + 7 = -14. Which is greater: r or i?
r
Let w = 301.2 + -301. Is w greater than 401?
False
Let a be 484/(-3)*(-2 + (-35)/(-14)). Let g = 80 + a. Let t = 7.8 + 0.2. Which is bigger: g or t?
t
Let v(k) = -k**3 + 4*k**2 + 6*k - 3. Let r = 31 - 26. Let d be v(r). Is d < 4/7?
False
Let l be (3 + -6 - 1)/(7/(-5)). Is 2 equal to l?
False
Suppose -4*j - 8 = 111*s - 109*s, 0 = j - 2*s - 3. Are 1/316 and j unequal?
True
Let c be (-28350)/504 + 2/(8/1). Which is smaller: -2 or c?
c
Let h(i) = 0*i**2 + 8 - i**2 + 12*i - 7. Let g(n) = -n**3 + 6*n**2 + n + 6. Let v be g(6). Let d be h(v). Which is smaller: d or -3/10?
-3/10
Suppose -12 = 2*r + 5*a, -5*a - 7 = -3*r + 25. Let c(i) = i**3 - 6*i**2 + 9*i - 6. Let q be c(r). Is -2 >= q?
True
Let s = 0.0154 + -62.8154. Let n = 63 + s. Which is bigger: n or -17?
n
Let r = 25315/6633 - -1/603. Which is bigger: 4 or r?
4
Let k = -65 - -75. Which is smaller: 42 or k?
k
Let f = 15/7 - 53/28. Let c = 139 - 138.7. Do c and f have different values?
True
Let q = 0 + 0. Let g be (-5)/10*(-5 - -5). Let j(l) = -l**2 + l - 5. Let u be j(g). Which is greater: u or q?
q
Let j be (4/(-10 + 6))/(1/(-3)). Suppose 3*m = -l - 2 - 0, m - j*l = -4. Let y = 1/32 - -33/992. Which is greater: y or m?
y
Let y = -2/65 + -209/3770. Is 0.1 less than y?
False
Let j = 9 + -10. Let g be j/((-1)/2)*50/(-1625). Which is greater: 0 or g?
0
Let x = -44.983 - 0.017. Let h = 46.9 + x. Let i = 2 - h. Which is smaller: i or -2?
-2
Suppose 27*g - 1019 = -4*q + 28*g, 3*g + 771 = 3*q. Do -2 and q have the same value?
False
Let h be -3*1/(-1) + 2814. Let n be (-18)/(-46342)*h/(-27). Let z = 1/493 - n. Is 0 less than z?
True
Suppose 0 = -2*m - 4*z - 64, 2*m + 5*z = -0*m - 66. Let g = 30 + m. Let p = 51/2 - 25. Which is smaller: g or p?
p
Let v be 15/6*(-6)/15. Let d(m) = m**2 + 5. Let u be d(0). Let c = u - 4. Which is smaller: v or c?
v
Let m(a) = -a**3 - 11*a**2 - 2*a - 11. Let y be 4 + 0 + -3 - 12. Let l be m(y). Suppose 2*c + 1 = -l. Is c <= 0.1?
True
Suppose -3*w = -4*m + 109, 34*w + 5*m = 31*w - 73. Is w equal to -216/7?
False
Let u = 60 + -64. Which is bigger: u or -102/19?
u
Let g = 13 + 21. Let j = g - 47. Let b = j - -11. Is b > 2?
False
Let q = 1 - 0.9. Suppose 2*l - 46 = 2*z, -2*l - 25 = 3*z - 61. Are q and l unequal?
True
Let j be (-2)/(-14) + (-13)/(-7). Let a(n) = -2*n**3 - 2*n**j + n - 4*n - 5*n**3 + 4*n. Let d be a(1). Which is bigger: d or -9?
d
Let j = -30/79 - -461/1422. Let r = -0.1 + 0. Is j > r?
True
Let a(q) be the second derivative of -q**3/6 - 3*q**2 - 2*q. Let o be a(-7). Let x be (-34)/(-22) + (2 - 3). Is o greater than x?
True
Suppose 5*g = 4*p + 12, 4*g + 5*p = -0*g + 26. Suppose 4*t - g = -240. Let n be (-6)/(-30) + t/45. Is n at most 0?
True
Let s = -19232 + 19233. Let q = -0.567 + 0.62. Which is smaller: q or s?
q
Suppose 3 = -q, 4*w + 4*q - 6*q + 62 = 0. Is -14 equal to w?
False
Let k = 1043 - 1069. Is k > -4/3?
False
Let c(i) = -23*i + 233. Let l be c(10). Is l less than 4/15?
False
Let f be 102 + (4 - 2) - (-24 - -18). Is 110 at least as big as f?
True
Let m(v) = v + 1. Let f(j) = 3*j + 14. Let o(k) = f(k) - 4*m(k). Let n(c) = c**3 + 11*c**2 + 11*c + 14. Let g be n(-10). Let w be o(g). Is w > 4?
True
Let z(y) = 102*y - 25. Let s be z(-1). Is -129 <= s?
True
Let l(r) = 86*r + 297. Let a be l(-4). Which is bigger: -44 or a?
-44
Suppose -1 + 7 = 3*p. Suppose 2*o = -p*f + 6, 0 = -5*o - f + 16 + 15. Does 8 = o?
False
Suppose 0 = -4*f + 4*v, 3*f - v = -0 - 2. Let h(a) = a**2 - 7*a + 2. Let j be h(7). Let d be 2/(-4)*(j - -2). Is f <= d?
False
Let r(o) be the third derivative of o**5/60 - o**4/8 + o**3/3 + 10*o**2. Let x be r(2). Let h be 1 - 12/(-4) - x. Which is greater: h or 3?
h
Suppose -5*p + 3*l + 271 = 1254, 0 = 4*p + 3*l + 781. Is p less than -198?
False
Let b = 100 + 6. Suppose -b = -h - 102. Is -16 > h?
False
Let c be ((-30)/(-8))/(15/72). Which is greater: c or 16?
c
Let m = 19 - 6. Suppose -4*f + m = 9*f. Is f greater than or equal to 7?
False
Suppose -5*s + 3*s = 18. Let v be (-8)/(-32)*(-2852)/69. Which is bigger: v or s?
s
Let t(k) = 2*k**2 + 2*k + 10. Let d be t(4). Let f = -44 + d. Which is smaller: 5 or f?
5
Suppose -5*d - 5*a + 30 = 0, 0*a = d - 5*a + 6. Suppose 2*v - 2 = d. Suppose -v + 19 = 2*c. Is 7 equal to c?
False
Let d = 3092/7 - 445. Let z = 607/189 + d. Is z >= 1?
False
Let y be (1/(-1))/(-9 - 11592/(-1287)). Which is bigger: y or -996/7?
-996/7
Let m(j) be the first derivative of -j**7/840 + j**6/20 - j**4/12 + 5*j**3/3 - 4. Let z(h) be the third derivative of m(h). Let a be z(18). Is a <= -1?
True
Let i = 644 - 643.91. Which is greater: -0.05 or i?
i
Let h be (-1773)/3542 + (-4)/8*-1. Let k = h - -1611/1771. Which is greater: k or 0?
k
Let w(k) = 0*k + k + 7 + 2 - 1. Let t = -8 + 4. Let j be w(t). Is j greater than -1/3?
True
Let c = 56387/530 + 1/106. Let a = c - 106. Is -1 greater than or equal to a?
False
Suppose 5*p = y + 155, 4*p - 3*y = -0*y + 113. Suppose -5*f + 10 = 0, -p = 4*c - 5*f + 14. Is -9 greater than c?
False
Let n(p) = p**2 + 8*p - 2. Let k be n(-8). Let t = k + 3. Let x(q) = q + 8. Let h be x(-4). Are h and t unequal?
True
Suppose -5*k + 8*g - 35 = 3*g, 4*k - 2*g = -24. Let u = 5 + k. Which is smaller: 1/9 or u?
u
Let a = -76/135 - 1/27. Let z = 265/3 - 266/3. Is a > z?
False
Suppose 29*r + 230 = 34*r. Do r and 48 have the same value?
False
Let q = -5 - -6. Suppose -q = 5*u - 11. Suppose u*f = 3*f - 3*h + 2, -h = 0. Which is smaller: f or -1?
f
Suppose j = -0*j + 2. Suppose -t = s - j, -4*t - t = 2*s - 10. Let g be t + (76/(-24) - -1). Is -1 < g?
True
Let s = -4 + 8. Suppose -3*l + 79 = 5*d, 7*d = -4*l + 4*d + 120. Let c = -34 + l. Which is smaller: c or s?
c
Let s be 46/(-4)*(-9 - -7). Let t = 20 - s. Which is bigger: t or -4?
t
Let v be (2/(-2 - 0))/1. Let j = 108 + -18. Let z be (-228)/j + 2/10. Is v less than or equal to z?
False
Let l = 16 + -12. Suppose 5*p - h = -5, l*p + h = 4*h - 4. Let o = 1177/28 + -171/4. Is o != p?
True
Let v = -12 - -21. Let r = v - 5. Suppose 4*x + 2*x - 7*x = 0. Is r equal to x?
False
Suppose 4*y + 160 = 4*w, 0 = -4*y - 6*w + 5*w - 180. Let u = y - -134/3. Which is smaller: u or -1?
-1
Let u = -149854821/59101 - -17749/7. Which is smaller: -1 or u?
-1
Let z = -125 + 495/4. Let j = -2900/30891 - 2/1471. Which is smaller: z or j?
z
Let s(z) = 6*z**2 + 50*z - 24. Let j be s(-10). Is 77 <= j?
False
Let z = -3660 + 420897/115. Is -1 >= z?
False
Let f = 8 + 17. Let r be (-35)/f + (-6)/(-15). Which is greater: -2/73 or r?
-2/73
Let f(g) = 84*g - 161. Let r be f(-5). Is -581 equal to r?
True
Let i = -186175/43 - -4329. Which is greater: 0 or i?
0
Suppose -7*z + 12*z = 0. Let i = 16 + -10. Let t = i - 5. Which is bigger: z or t?
t
Suppose 0 = 22*b + 7*b - 261. Let l(r) = r**3 + r**2 - 2*r. Let h be l(-2). Let t be (-3)/b*(h - -