 = 2.55 - 2.15. Is v greater than -17?
True
Let h(i) = -i**2 + 26*i - 95. Let k be h(18). Which is greater: k or 56?
56
Let j = -377 + 370. Are j and -2/9 non-equal?
True
Let q = 17977 + -12386155/689. Let h = q + -4120/4823. Let t = 0 - 0. Which is smaller: h or t?
h
Let k = -1/246 + 3697/1722. Let s = -39 + 41. Suppose -5*m - 2*r + 2 = -3, s*r = 0. Is m != k?
True
Let f(l) = 2*l + 8. Let w be f(6). Suppose 3*v + w = 7*v. Suppose 0 = -3*n - 10 - v. Which is smaller: 0 or n?
n
Let l(d) = -d**3 + 10*d + 2. Let h be l(-3). Which is bigger: h or 1/131?
1/131
Let i(j) = -j**3 - 4*j**2 - 5*j - 20. Let t be i(-4). Is 1/47 at least as big as t?
True
Let m(u) = -u**2 - 18*u - 32. Let a be m(-16). Are a and -2/285 nonequal?
True
Let a be 4530/90 - 4/3. Which is smaller: a or -3?
-3
Suppose 3*a + 16 = -a - 2*c, -4*a - 4 = 5*c. Let v be (a/4)/((-12)/(-16)). Which is smaller: -30/13 or v?
-30/13
Let z = 102 + -101. Is z at most -14/45?
False
Suppose 4*d + 13044 = 10*d. Let v = 63052/29 - d. Let z be -2 + 1 - 0 - 0. Is v > z?
True
Let w = 2707 + -127221/47. Which is smaller: w or 0?
0
Suppose 70 = 3*y - 8*y. Which is bigger: 0.06 or y?
0.06
Let p(s) = s**2 - s. Let j be p(5). Let x be (-21)/(-56)*j/14. Let t = -2/7 + x. Which is smaller: t or 1.1?
t
Let i = 266 + -266. Suppose -u - 2*f + 0 - 2 = 0, 4*u - 5*f = 5. Is u less than i?
False
Let d = 73 - 35. Let l = -37.9 + d. Let a = -0.2 + -8.8. Which is smaller: l or a?
a
Let j = -84209 - -14399692/171. Let d = -2/9 - j. Are d and 0 non-equal?
True
Suppose -1766 + 695 = 17*t. Is t equal to -62?
False
Suppose -2*j = -3*h + 12, 2*h - 1 = j + 7. Is j at most as big as -1/1458?
False
Suppose -55*f - 18880 = -23*f. Are -589 and f equal?
False
Let j = 5 - 3. Let f be 4*4/752*j. Which is smaller: f or -1?
-1
Let s = -9 + 9.39. Let r = s - 18.39. Let y = -17.9 - r. Is y equal to 1/3?
False
Let p = -626 + 656. Is -0.6 smaller than p?
True
Suppose 25*j + 508 = 183. Is -13 less than or equal to j?
True
Suppose -2*p = 2*q - 8, -4*p = -3*q - 3*p + 4. Let n be 2/(((-48)/2894)/2). Let i = n + 242. Which is greater: q or i?
q
Suppose 3*h - 5*s - 31 = 0, 3*h - 21 = s + 2*s. Is 86 less than or equal to h?
False
Suppose -41 + 211 = -5*s. Let p = s + 35. Which is bigger: p or 1/16?
p
Let f = 23 - 42. Suppose 18 = 7*g - 3. Suppose -2*w + 3*p - 49 = 0, 0 = 2*w + g*p + 7 + 24. Is w bigger than f?
False
Let b = 8 - 1. Let g be (14/b)/((-2)/13). Let n(y) = y**2 + 14*y + 9. Let s be n(g). Do s and -2 have different values?
True
Let u = 0.165 - -0.835. Is u >= 9?
False
Suppose 8 = -5*h + 5*c - 17, -4*c - 5 = h. Let f(y) = y**3 + 7*y**2 - 3. Let j be f(-7). Is h bigger than j?
False
Suppose 22*t + 13*t - 16135 = 0. Do 461 and t have the same value?
True
Let y(n) = 6*n**2 - 7*n + 11 + 0*n**2 - 7*n**2. Let m be y(-8). Let j be 1/(3*15/72). Do m and j have the same value?
False
Let v(q) = q**2 + 2. Let k be v(14). Let j be (20/28 - 1) + k/448. Which is greater: j or 0?
j
Let g = 6666/29225 - 40/167. Which is greater: g or 1?
1
Suppose -5*s = 4*j + 23, 4*j = 3*s + 3 - 2. Let t(y) = 2*y**2 + 10*y - 6. Let l be t(-5). Let b be 1 - l - (-6)/s. Which is smaller: 1 or b?
1
Let j be (-5089)/45 + (-48)/(-15) + -3. Let b = 114 + j. Is b at most as big as -2?
False
Suppose 0 = -5*l - 37 + 17. Let u(c) = -c. Let h be u(4). Is l less than h?
False
Let q be (84/20 - 4)*-5. Which is smaller: 1/135 or q?
q
Let m = 0.3 - -11.7. Let w = -0.28 + 12.28. Let t = m - w. Are t and -5 unequal?
True
Let c be (1 - (0 - 3)) + 22. Suppose 5*b + 15 = -w - 11, -3*b + 2*w = c. Let p be 1/b*12/(-27). Which is smaller: -1 or p?
-1
Let r = -8/33 + 206/759. Which is greater: 0 or r?
r
Let l be 0/(0/3 - 2). Let n = -47 - -44. Does l = n?
False
Let y be 2*1/62 - 0. Let g(x) = x**3 - 72*x**2 - 151*x + 223. Let p be g(74). Which is smaller: p or y?
y
Let m(y) be the third derivative of y**4/24 + 2*y**3/3 + 9*y**2. Let v be m(5). Is 12 bigger than v?
True
Let i = 6189 - 6189. Let a(z) = -z + 8. Let v be a(6). Let j be (-1)/3*3/v. Which is smaller: i or j?
j
Let j(s) = s**3 + 2*s**2 - 7*s + 1. Let o be j(-3). Suppose -4*k = -7 - o. Suppose 0 = -2*n + 6, -3*u - 4*n + k = -10. Are 1/12 and u equal?
False
Let n = 1 + -0.9. Let x be (-1 + 1 - -3)/(6/(-16)). Let b be 13/(-78)*5/((-10)/x). Which is smaller: n or b?
b
Let n(m) = -3*m**2 - 155*m - 29. Let l be n(-51). Which is greater: l or 13?
l
Let y(m) = -m**2 - 4*m - 4. Let g be y(-5). Let k = g + 12. Suppose 5*j + 3 = k*d, -2*j + 7*j + 4*d - 4 = 0. Which is greater: j or -1/7?
j
Let o be (132/(-330))/(152/30). Which is smaller: 0 or o?
o
Let g be (-207)/12*-4 - -3. Is 74 less than g?
False
Let h = -93 + 93. Is -3 <= h?
True
Let b = 2.61 + -2.81. Do 10.9 and b have different values?
True
Suppose 3*l - 98 - 226 = 0. Suppose -l = -9*m + 10*m. Which is smaller: -107 or m?
m
Let z = -113/4 + 799/28. Let c = -41 + 41. Suppose c = -n + 5*n - 4. Are z and n unequal?
True
Let a be (-40)/(-2) - (2 - 0). Let v be (80/48)/(5/a). Suppose 3*c = -5*t + 9, -3*c + 4*c - 17 = 3*t. Is v < c?
True
Let q = -0.2 - -0.21. Let s = 96.4 + -89. Let v = 5.4 - s. Which is bigger: v or q?
q
Suppose 0 = 2*w + 2*y - 36, -3*y = -7*w + 4*w + 48. Let o(j) = -8*j - 1. Let t be o(-4). Suppose -2*b + t = 5*l - 50, 0 = 2*l + b - 33. Is w > l?
True
Suppose -10 = -4*s - 34. Let y be 4/s*(-189)/(-14). Which is greater: y or -10?
y
Let n(q) = q**2 - 8*q - 23. Let p be n(10). Which is greater: p or -23/6?
p
Let o = -2 - -3. Let c = 15 + -8. Suppose -c = -m + o. Is 0 greater than or equal to m?
False
Let t be (-2)/((-3)/(-3) + 0). Let a be 9*(9 + -7)*2/4. Let m(w) = -w**3 + 10*w**2 - 7*w - 16. Let d be m(a). Which is smaller: t or d?
t
Let b be 0/((7/21)/((-2)/12)). Which is greater: -2/101 or b?
b
Suppose 6 + 10 = 4*b, b = -4*q - 52. Is -130/9 greater than or equal to q?
False
Let g = 39 + -19. Let q(a) = a**3 - 4*a**2 - 2*a - 1. Let d be q(5). Is g bigger than d?
True
Let q be (1 + 0)/(3/117). Let s(t) = 5*t + 104. Let p be s(-13). Is q at least as big as p?
True
Let m(l) = l**3 + 15*l**2 + 25*l - 10. Suppose 4*i + p + 48 = 0, -i = 5*p - 2 - 5. Let s be m(i). Is s <= 1?
False
Suppose -4*u = 7 + 9. Let a be (0 + u/(-8))*(-54)/1. Is -26 != a?
True
Suppose 3*r = -4*g - 4, -4*r - 3*g = g. Let x be r - (-4 - (-4 + 2)). Is -3/5 less than or equal to x?
True
Let a = -13.777 - 0.223. Let q = a + 5. Let z = 1 - -2. Which is smaller: z or q?
q
Suppose c - 69 = -4*g, c + 21*g - 71 = 16*g. Which is smaller: c or 69?
c
Let a be (-40)/10*22/(-6)*-3. Let w be ((-11)/a)/(1/(-404)). Is w <= -101?
True
Let d(g) = 2*g - 6. Let w be d(-5). Let b be 18/135 + (-1589)/105. Is w >= b?
False
Let r = 1/1772 + -3585/72652. Suppose -3*q + 17 + 1 = 2*s, -5*s = -2*q - 7. Suppose 4*y = 5*m + 14, -2*y + 3*y + q*m = -7. Which is greater: y or r?
y
Suppose -3*z + 3*y - 3732 = 0, 1238 = -z + y + 3*y. Let i = -124601/100 - z. Which is smaller: i or 0?
i
Let w = -2 + 6. Suppose 0 = -p - 3, -18*q = -23*q - 2*p - 56. Which is greater: q or w?
w
Let w(k) = -k**2 + 15*k - 49. Let x be w(10). Suppose 0 = -3*q + 6*i - 3*i, -4*i = -5*q + 4. Suppose 0 = b + b + q. Which is bigger: b or x?
x
Let j = 69 + -13. Which is smaller: j or 113/2?
j
Let r = -684.8 + 685. Is 211 >= r?
True
Let l be (-464)/40*5*-1. Let h = -18 + l. Which is smaller: h or 39?
39
Suppose 5*h + y = -y + 15, -3*h - 3*y + 18 = 0. Let u be (-3)/10*4 - 9/((-405)/64). Which is smaller: h or u?
u
Let r be (-2 - 4)*(-12)/9. Which is greater: -1.5 or r?
r
Let y = 6 - 4. Let f = y - -5. Let t = 148.1 + -148. Is t at least as big as f?
False
Let s = 14 - 13.8. Is 2/71 equal to s?
False
Let k = 209 + -146. Let a = 63.1 - k. Is a smaller than -1/7?
False
Let o = 23932/1287 + 42/143. Which is bigger: 1 or o?
o
Let p = 394/9 + -388/9. Does p = -2/673?
False
Let m = 1.1 + -1.4. Which is greater: m or -16/15?
m
Suppose -8*h = 57 + 39. Let i be (51/(-6))/(2/h). Let r be (i/85)/(6/4). Which is greater: r or -2?
r
Suppose 0 = 21*n - 26*n - 15, 1049 = -t + 3*n. Is -0.1 equal to t?
False
Suppose -3*w - 15 = -3*f, -3*w = f - 5 + 4. Suppose 0 = -f*n - 43 + 183. Is 34 not equal to n?
True
Suppose -8 = 2*y, -t - 4*t - 5*y + 2320 = 0. Let u = t + -7024/15. Let g = -16804 + 16804. Is g < u?
False
Suppose -482 = o + 5*i, -658*i = 4*o - 654*i + 1992. Is o > -501?
False
S