26*h - 151. Let t be l(9). Suppose 7*k + 15 = 2*k. Which is bigger: k or t?
t
Suppose -a - 771 = 2*p, 0 = -a - p + 127 - 896. Which is greater: a or -768?
a
Let g = -31/9 - -890/261. Let t = 6 + -5. Which is bigger: t or g?
t
Let l = 49.4 - 53.4. Let y = 6.4 - 6. Which is smaller: l or y?
l
Suppose 115 = 2*a + 915. Let n be a/264 - 2/(-11). Suppose -3*k = -3*b - 3, 5*b - 2*b = k - 1. Which is smaller: b or n?
n
Let s = 103 + -102.5. Suppose 0 = b - 4*b. Which is greater: s or b?
s
Let o = -22/75 - -87/325. Suppose -4*c - 1 = t - 0, 4*c + 5*t = -5. Which is smaller: c or o?
o
Let n(s) = 72*s**3 + s**2 - 1. Let g = 6 - 7. Let a be n(g). Let m be (9/a)/(1/6). Which is bigger: -2 or m?
m
Let s(f) be the third derivative of f**4/24 - 5*f**3/6 + 8*f**2. Let g be s(0). Which is smaller: -1 or g?
g
Let k = 44 - 47. Let b = k + 5. Let o be 1/(-3)*(-3)/(-2). Which is smaller: b or o?
o
Let y be 2 - (7/(-14))/(3/12). Let r be ((-6)/4 + -1)/(2/y). Suppose -4*c + 10 = -6*c, 0 = -5*s - 4*c - 20. Is s <= r?
False
Let j = -736 + 721. Are j and 2/23 non-equal?
True
Let y(u) = -3*u**3 - 13*u**2 + 7*u - 15. Let d be y(-5). Which is smaller: d or 2/1503?
d
Let b = -1.12 + -36.88. Which is smaller: b or -1?
b
Let u(t) = -t**2 + 10*t. Let r be u(10). Suppose r = 2*a - 56. Which is smaller: a or 26?
26
Let d be (-10)/14 - 2/7. Suppose 2*z - 3*b + 4 = 0, 2*z = 4*b - 0*b - 8. Let a be 6/z - 1 - 1. Which is smaller: d or a?
d
Suppose -11 = 4*n - a, 5*n + a + 16 = -0*a. Let v = 3 + n. Let q = 367 + -363. Are v and q equal?
False
Let z = -3 - -1. Let p be 454/20 + 5/z. Is 20 at least p?
False
Suppose 2*a + 78 = 4*n, 3*a = -2*n - 89 - 60. Is -46 < a?
False
Let j = -34 - -37. Let k(g) = g**2 + 2*g. Let r be k(j). Let p = r + -14. Which is greater: -3 or p?
p
Let d = -28/485 + -139316/6305. Is d at most as big as -23?
False
Suppose -11 = -4*u + 3*s, 2*s + 5 + 0 = 5*u. Let q(m) = m**2 + 8*m - 7. Let x be q(-9). Let i be (-10)/x*(-2)/(-95). Which is smaller: u or i?
u
Let k be 1/((-5 + 0)/(-765)). Let j be 57/k*3 - 1. Let r = -1 + 3. Which is bigger: r or j?
r
Suppose 35*b - 31*b = 8. Suppose -3*n + b*k - 14 = 0, n - 2*k + 17 = 7. Let j be -2*2/(-6)*-5. Are j and n equal?
False
Let n be (-1 - -2) + 0 + 0. Let f be (0*n/(-3))/(-1). Let m be (-2 + f)/(2/4). Which is smaller: -3 or m?
m
Let p be (-24)/4 - (7 + (-121 - -5)). Is p not equal to 104?
True
Suppose -23 = 2*y + 61. Let l be (-861)/y*2/(0 + -1). Which is greater: l or -39?
-39
Let x = -7 + 8. Let y be (14/(-42))/(x/9). Let p be 1 + -8 - 4/(-1). Do y and p have different values?
False
Let i be ((-3138)/16)/(((-600)/16)/(-25)). Which is smaller: -130 or i?
i
Let l(j) = j**3 + 6*j**2 + j + 11. Let w be l(-6). Suppose w*q - 13*q + 8 = 0. Let n be (-1)/(-1) - 9/11. Which is greater: q or n?
q
Suppose 0 = w - z + 24, 705*w - z - 57 = 707*w. Let n = -31 - -4. Is w greater than n?
False
Let l = -1308 + 526. Let u be l/(-3)*45/27. Let j = u + -434. Which is bigger: 1 or j?
1
Let k = -1 + 1. Suppose -5*q = -4*r - 53, 0 = -r + 2*r + 5*q - 18. Let y be 2/r + (-5 - 0)/(-10). Is k at most y?
True
Let r = -68827/5 - -13718. Let c = 47 + r. Which is smaller: -0.3 or c?
c
Suppose -11*o + 7*o - 864 = 0. Is o >= -216?
True
Let b(k) = -k**2 - 3*k - 3. Let y be b(-2). Let w(i) be the first derivative of i**4/2 + i**2/2 + i - 75. Let z be w(y). Is -3/4 smaller than z?
False
Let d = -0.0074 + -0.1726. Which is smaller: d or -2/21?
d
Suppose -2*d = 3*x - 1 - 2, 4*d + 3 = -3*x. Let k be 14/(-49) + 18034/56. Let m = k - 320. Which is greater: m or x?
x
Let p be (3 - 2) + 0 + -1. Let g be (-1)/((18/(-20))/9). Suppose 0*n + 5*n - g = 0. Are p and n unequal?
True
Let v(i) = -i**3 - 3*i**2 - 2*i - 35. Let s be v(-4). Let y be 24/(-2) - 0/(-2). Do y and s have different values?
True
Suppose -3*v - 8*v = 22. Let g be (0/(-4))/((-9)/(-5 - v)). Let b be (2/28)/(7/14). Which is greater: b or g?
b
Let d = 241 - 266. Is d equal to -218/9?
False
Let o = -0.22 + 18.275. Let c = 0.055 - o. Does 0 = c?
False
Let c(s) = 4*s**2 + s + 2. Let b = 1 - 2. Let g be c(b). Suppose 17 = -4*n + g. Is n at most -3?
True
Let h be 708/(-8 - 21/(-6)). Which is smaller: h or -157?
h
Let g(u) = u + 14. Let h(l) = l + 13. Let o(s) = -4*g(s) + 3*h(s). Let v = 13 + -22. Let x be o(v). Is -6 <= x?
False
Let x = 16.522 - -0.078. Let s = -17 + x. Let u be ((-4)/(-2) - 2)*1. Are u and s equal?
False
Suppose -3*a - 1 = -2*d, -1 = -0*a - a + d. Let x be 3 - (9/4)/(-3). Let i = 9/4 - x. Are a and i non-equal?
True
Let m = -626.1 - -659. Let a = m + -6.9. Which is bigger: a or 1?
a
Let g = 169 - 160. Is g >= 9?
True
Let a = 8 - 7.63. Let f = a + 0.62. Let q = -0.01 - f. Is -1 <= q?
True
Let q be (-2)/13 + (87990/(-91))/(-6). Let v = q - 1451/9. Which is greater: v or -0.2?
-0.2
Let k = -659 - -10537/16. Is k smaller than -0.1?
True
Let d = 13145/18 - 731. Is d greater than 0?
False
Suppose 3*d - 11*w + 20 = -12*w, 5*d + 2*w = -34. Suppose -5*a - 5*z + 8 = 23, -5*a + z = 27. Do d and a have the same value?
False
Let r(j) = 4 + 12*j**2 - 2*j - j**3 - 18*j + 27 + 4*j. Let q be r(11). Is q not equal to -25?
True
Let p(j) = j**3 + 18*j**2 - 15*j + 77. Let f be p(-19). Are -10/43 and f non-equal?
True
Let o = 1/1565 + 15641/14085. Let m = 3175/738 - 85/123. Let f = m - o. Is f < 2?
False
Suppose -4*u = 1415 - 1399. Is u at least -22?
True
Let q = 0.098 + -0.12. Let l = 2.322 + q. Let d = 10.3 - l. Is d at most 2/5?
False
Let g = -86 - -86.3. Let v = -0.08 + -0.2. Let o = v + g. Which is greater: o or 2?
2
Let j = 328971287/325 + -1012224. Let s = -60/13 - j. Which is smaller: s or 1?
s
Let h = 114 + 10. Is h > 122?
True
Let l be 6/(-8)*(-264)/83457. Is l != -0.2?
True
Suppose p - 2*x = -10, -2*p - 6*x + x = 38. Let h be 2 + -3 - (-5 + -10). Let z = h + p. Is z less than or equal to -2/7?
False
Let w = -0.05 + -0.95. Let r = -1 - w. Let x = 1.9 - 0.9. Is r <= x?
True
Suppose 0 = -10*c + 8*c + 10. Suppose c*n + 11 = 4*n. Let u(k) = 8*k + 3. Let y be u(-2). Which is smaller: n or y?
y
Let x = -43/2 + 22. Let b be 35/30*(-19)/7 + 4. Let d = x - b. Are d and 6 unequal?
True
Suppose -371 = -41*z - 2831. Is -57 >= z?
True
Let n be (-1 - 4/14) + 1. Let u = 25 + -22.6. Let b = -4.6 - u. Which is greater: n or b?
n
Suppose 0 = g + y - 24 + 9, -2*g + 5*y = -2. Which is greater: g or 51/5?
g
Suppose -9 = -v + 2*r, -21 = 2*v + 3*r - 4. Let x = v + -1. Let g be 1 - x - (12 + -6). Which is smaller: g or -13/3?
-13/3
Let m be (-28)/(-9) + (-60)/54. Suppose 0 = -i - 3*s, -4*i + 4*s = i - 19. Suppose 3*p - 35 = 5*q, 5*p - i*q = -6*q + 13. Which is smaller: p or m?
m
Let p be ((-2)/1148)/((-3)/12). Is 1 smaller than p?
False
Let h be (5 - 45/3)/(-2) + -6. Which is smaller: 14 or h?
h
Let r = 5 + -5.1. Which is smaller: r or 333?
r
Let m = -4 - -2. Let w(q) = q**3 + 20*q**2 + 64*q - 3. Let v be w(-16). Is v >= m?
False
Let n(r) be the second derivative of r**4/12 + 2*r**3/3 - 7*r**2 + 9*r. Let q be n(-6). Is q at least as big as 7?
False
Let r be (-4)/20 + 21/5. Suppose 4*h = -20, -3*a + 7*a - 5*h - 149 = 0. Suppose 5*p + a = -3*t + r*t, -4*p - 48 = 5*t. Which is bigger: p or -6?
-6
Suppose -3*l - 2 = 19. Let v be (-4)/1*(3/1 - l). Which is smaller: v or -39?
v
Let d = -27 - 15. Let t be 3734/90 - 18/(-45). Let g = d + t. Is g at most 1?
True
Let w = 116 - 116.146. Let p = -0.054 + w. Let l = 0.7 - -0.3. Which is greater: l or p?
l
Let c be (70497/3924 - 18)*(-4)/(-10). Which is smaller: -1 or c?
-1
Let i be (-15)/(-20) + (-1)/(-4). Which is bigger: 3/119 or i?
i
Let w be (-1 - (1 - 0))/(-1). Let k(v) = w*v**2 + 4 - 5*v - 3*v**2 + v + 1. Let q be k(-5). Which is smaller: q or -3/4?
-3/4
Let m = 2.075 - 2.3. Let o = -0.025 - m. Is o less than or equal to 0?
False
Let j(p) = -3*p - 16. Let w be j(-6). Let o(k) = k**2. Let u be o(w). Is u less than 5?
True
Let i(p) = -3*p + 7. Let b(w) = -w**3 - w**2 - w - 2. Let u be b(-2). Let h be i(u). Do h and -4 have the same value?
False
Let i(j) = j**3 + 23*j**2 - 24*j - 28. Let z be i(-24). Let a be 39/z + 9/(-12). Is a > -2?
False
Suppose -9*q + 13*q = 32. Suppose -3*z + q + 118 = 0. Let i = -21 + z. Is i greater than 20?
True
Let f = 2228/7 + -319. Is -5 >= f?
False
Let o(u) be the second derivative of u**5/20 - 5*u**3/3 - u**2/2 - 11*u. Let c be o(-4). Is -26 < c?
T