et d(u) = -5*u**2 + 2*u + 2. Let a be d(2). Do -18 and a have the same value?
False
Suppose 0*n - 4*n - 24 = 0. Let z be n/15 + 2/(-10). Let o = 48/11 + -218/55. Which is greater: z or o?
o
Let r = 298 + -542. Which is smaller: r or -243?
r
Let m be 0 + 230/6 - 147/441. Let o be (1/(-3))/((-1)/111). Which is smaller: o or m?
o
Let k = 905.9 + -906. Let i = -0.515 + 0.5. Which is greater: k or i?
i
Let k = 1622 + -1616. Which is smaller: k or 3?
3
Let t = -1192 - -9529/8. Which is greater: t or -2/7?
-2/7
Let q = 6 - 12. Let d = -0.37 - -5.37. Which is bigger: q or d?
d
Suppose -3*i + 57 = 4*f, 3*f - 3*i - 48 = -0*f. Let a(t) = -t**2 + 15*t + 4. Let u be a(f). Let h be (-2 - 72/u) + -3. Which is smaller: h or 1?
h
Let h be (9 + -6)*2/333*3. Let l be (-7)/(-5) - (-46)/(-115). Which is greater: l or h?
l
Let t(o) = 15*o**2 - 17*o + 5. Let c be t(6). Is 443 != c?
False
Let x = 26 + -27. Let q be 1/(-1)*(1 + -2). Let g be 6/(-2) + (5 - q). Which is smaller: x or g?
x
Suppose -30 = -36*m + 6*m. Is m equal to -26?
False
Let y be (4/(-6))/(2130/306 + -7). Let v be (-5)/1 + 0 + 25. Are v and y unequal?
True
Suppose -3*a - 3*q = -27, 2*a + 2 = 3*q - 0. Suppose 5 = d - i, 23 = -d + 4*d - a*i. Let p = 107/3 - 71/2. Which is smaller: d or p?
p
Let u(l) = 32*l + 115. Let m be u(-4). Is m < -31?
False
Let y = -2 + 3. Let i = 2/2673 - -2914/2673. Which is smaller: y or i?
y
Let m(r) = r**2 - 5*r - 3. Let x be m(5). Let g = 40 - 35. Let q be (-5)/(g/(-2))*-1 - 2. Is q less than x?
True
Let b(p) = -242*p - 18. Let m be b(2). Is -500 greater than m?
True
Let k be (-3)/15*-5 - -19. Suppose 4*v - l = -k, 0 = -3*v - 0*l + 5*l - 32. Which is smaller: v or -9/2?
-9/2
Let y = 2.156 + -2.056. Let r be ((-2)/12)/(4/18). Is r less than y?
True
Let z = 1/19 + -25/114. Let b be (8/4 - 2)/2. Is z not equal to b?
True
Suppose 13*d - 7*d = -d. Which is smaller: -6/17 or d?
-6/17
Let z(d) = 5*d**3 - 2*d + 1. Let m be z(1). Suppose 3*v = m*f + 6, 2*v - 4*f + 2*f - 6 = 0. Let q(x) = -6*x - 1. Let c be q(-1). Is c at most as big as v?
True
Let y(h) be the first derivative of 2*h**2 - 24*h - 27. Let g be y(20). Is 57 <= g?
False
Let a(s) = 482*s**2 - 3*s - 3. Let o be a(-1). Let w = o - 6745/14. Which is smaller: w or -1?
-1
Let s be ((-16)/2)/(2/(-1)). Let t(i) = -2*i**2 + 5*i. Let q be t(s). Let z be q/(-6)*(-2)/14. Do z and -0.2 have different values?
True
Let h be ((-1308)/(-9))/(-4) - 2/(-6). Let o be 23/(-7) - h/12. Which is smaller: -0.3 or o?
-0.3
Let o = -169 - -170. Does 2/27 = o?
False
Let o(t) = -t**2 - t + 1. Let b(c) = 2*c**2 - 7*c + 8. Let m(v) = b(v) + 3*o(v). Let j be m(-11). Let h be ((-2)/(-3))/((-7)/3). Do h and j have the same value?
False
Let b be (-1)/4*270/(-459). Which is greater: 0 or b?
b
Let d = 89 + -83. Are d and 1/14 equal?
False
Suppose 2*v - 11 = 5*p + 21, -4*v - 3*p + 12 = 0. Let g(x) = 4*x - 23. Let d be g(v). Which is bigger: 7/6 or d?
7/6
Let j = 0.5 + -0.4. Let w = 4755 - 38435/8. Let v = w + 49. Which is greater: v or j?
j
Suppose -5*q = 30 + 110. Let m be ((-4)/q)/((-9)/(-7) - 3). Suppose 5*k + 20 = 4*z + k, -12 = -4*z + 2*k. Do z and m have the same value?
False
Let g = 679.45 - 679. Are g and -1/5 unequal?
True
Let c be (1 + -4)/(12/16) - -64. Is 60 less than c?
False
Let g(k) = 88*k - 543. Let d be g(6). Is d <= -21?
False
Let a(k) = 3*k - 2. Let y be a(3). Let h be y/(-2) + (-13)/(-26). Which is smaller: -11/3 or h?
-11/3
Let l be (-5 + 3 + 1)*1. Do 1/555 and l have the same value?
False
Let i be (-12)/(-9) - (-1)/(13/(-13)). Is -176 smaller than i?
True
Let u = 39/88 + 27/88. Suppose 0 = t + 2 - 1. Let c be -1*(1/1)/t. Is c greater than u?
True
Let p = 833 - 834. Which is greater: 3/233 or p?
3/233
Let r = 16 + -15.875. Let q = r + -0.025. Which is smaller: 3/8 or q?
q
Let z be 0 + (116 - (-4)/(20/25)). Is 121 bigger than z?
False
Let u = 35 + -32. Let d be u - 29/4 - -1. Suppose -5*p + p - 20 = 3*s, 2*p = 2*s + 4. Which is greater: p or d?
p
Let v be (8 - 7)/(0 - (-4)/104). Is 27 != v?
True
Suppose 0 = 10*i - 12*i + t - 4, -4*t = 4*i - 16. Which is smaller: i or -3/46?
-3/46
Let p = -2268 - -2268.17. Which is smaller: -80 or p?
-80
Suppose 8 = -19*s + 17*s. Let o be 0/(-2 - (-4)/s). Suppose -i - 3*p = o, -4*i + 2*p - 18 = 5*p. Is i bigger than -21/4?
False
Suppose 0 = 14*y - 22*y + 3272. Which is bigger: y or 2/3?
y
Suppose 0 = n - 4 - 4. Let q be 78/1 - n/(-12). Let b = 1643/21 - q. Is -1 <= b?
True
Let x be 6 + 1*1*-2. Suppose 4*z - 12 = 5*w + 27, -3*z = w - 15. Suppose -z = 2*y - x. Do -1/31 and y have different values?
True
Let x = -2411 + 2419. Suppose -u + 3*b + 15 = 0, 2*b = -4*u + 3*b + 27. Does u = x?
False
Let h = -1372.1 - -1372. Which is greater: -225 or h?
h
Let h = -2 - 14. Let o = h + 10. Let i = -6 - -2. Which is bigger: i or o?
i
Suppose -5*d = 3*b - 20, -2*b - 20 = d - 6*d. Let s = 43 - 43. Let j be (s - 8/10)/((-26)/10). Which is bigger: b or j?
j
Suppose -5*f = -5*b + 122 + 38, -b + 2*f = -28. Is -22 bigger than b?
False
Suppose -2 = 2*l - 20. Suppose i + 5*v = 3*v + 11, -5*v + 3 = -i. Let y = l - i. Which is greater: y or 1?
y
Let n = 106.5 + -44.5. Is n greater than or equal to 5?
True
Suppose -4*h - 75 = -5*r, 2*h - 45 = -3*r + 4*h. Suppose 3*b = 22 + 14. Let y be r/b*(-3)/15. Is -0.12 greater than y?
True
Suppose -i + 2*y - 8 = 0, 3*y = 5*i - 7*i + 12. Is 11/10 < i?
False
Suppose -5*a + 9*a - 364 = -4*h, -389 = -4*a + h. Which is smaller: a or 98?
a
Suppose 3*o - z - 56 = 0, -2*o + 24 = -0*o + 2*z. Let i = 8 - o. Let j = -0.3 - -0.2. Is i bigger than j?
False
Let t = 97 + -71. Suppose 0 = z - 12 + t. Which is bigger: z or -15?
z
Suppose -5*a + 16 = -2*q + 3, a + q = 4. Let m be ((-24)/21)/(4/(-14)). Let n be (-17 + 17)*(-2)/m. Which is smaller: a or n?
n
Let q(s) = -s**2 + 5*s + 8. Let a be q(6). Let n = -0.05 + -5.95. Let m = -6.05 - n. Which is smaller: a or m?
m
Let l(s) = s**3 + 10*s**2 + s + 11. Let j be l(-10). Let b = -25490/9 - -2832. Is b <= j?
True
Suppose 84 = 4*h - 16. Suppose -82 - 126 = -8*i. Which is smaller: i or h?
h
Let t = 540 - 6481/12. Let j be -2*(-2)/(-42)*-1. Is j less than t?
False
Suppose -24 = 4*a + 5*y, -a - 2*a = -4*y + 18. Let o be 4/6*18/(-12). Let j be (-5)/(2 + o) - -2. Which is smaller: j or a?
a
Suppose 2*b = 2*h + 36, -4*h - 4 + 7 = b. Which is smaller: b or 16?
b
Let l = -0.1 - -0.2. Let r = 0 - l. Let x = 2722 + -2729. Is r at least x?
True
Let p(x) = 6*x + 24. Let q(b) = -7*b - 25. Let c(y) = 5*p(y) + 4*q(y). Let d be c(-10). Let o(w) = -2*w - 1. Let n be o(-1). Is d bigger than n?
False
Let f(u) = -u - 6. Let p be f(-4). Let o(s) = -s**2 - 1. Let w(c) = c**2 - c + 2. Let v(j) = -3*o(j) - 2*w(j). Let b be v(p). Which is smaller: -3/7 or b?
b
Let i(f) = f**2 - 2*f - 8. Let t be i(-4). Let q be ((-2)/(t/18))/((-16)/(-64)). Let c(z) = -z**3 - 4*z**2 + z + 2. Let n be c(-3). Which is greater: q or n?
q
Let l be ((153/30)/(-3))/(12/(-90)). Which is smaller: l or 14?
l
Let k be (10 - 1)/(315/70). Which is greater: k or 56?
56
Let j be ((-25)/(-2355))/((-20)/6 - -3). Is j at least as big as 0?
False
Suppose -170 = 4*r - 12*q + 7*q, -42 = r - q. Which is bigger: r or -5?
-5
Let g = 0.045 - 25.045. Let f = g - -27. Which is bigger: f or -13?
f
Let u = 0.833 - -0.017. Are u and -3 unequal?
True
Let a(y) = 4*y**2 - 2*y - 1. Let q be a(-1). Suppose q = -5*w + 20. Which is greater: w or 5?
5
Let a be (-167491)/455 - (-24)/168. Let c = a - -368. Which is bigger: 0 or c?
c
Let g = -76957 + 216326125/2811. Which is smaller: g or -1?
-1
Suppose -18 = -7*m - 18. Is -8/101 < m?
True
Let j = 81 + -79. Suppose 3*t = 5*z + 22, -z + j = 4*z + 3*t. Which is smaller: -0.27 or z?
z
Let t be 30*-2*(-6)/(-12). Let v be 2440/(-84) - (-1)/((-14)/4). Do t and v have different values?
True
Let q be -2 + 4 - 6894/154. Let f = -516/11 - q. Let h = f + 131/35. Is 1 at least h?
True
Let n = -447 + 370.7. Let c = 76 + n. Does c = 0.3?
False
Let f be (21327/9)/(115/15). Let z = 309 - f. Suppose -22 = -2*b - 4*a, 3 = -5*b + 4*a - 12. Which is bigger: z or b?
b
Let m = 14741/1500 + 3/500. Let r = m - 661/66. Let g = 6 + -6. Is g greater than r?
True
Let w = -47 + 54. Let o = -25.7 - -16.6. Let n = -9 - o. Is w smaller than n?
False
Suppose 5*g - 19 = 21. Suppose x = -2*x + 3. Suppose 17 = 2*y - x. Which is g