
False
Let z be (-1 + (-3)/2)*-24. Suppose -6*b = -0*b + z. Let i be ((-2)/(-6))/(b/(-12)). Are 9 and i non-equal?
True
Let g = -71.855 - 0.145. Let d = 75 + g. Which is smaller: -6/13 or d?
-6/13
Suppose x + 3*v - 1 = -11, 0 = -v - 2. Let z be 256/(-66) - (-4)/(-6). Let g = z - x. Are g and -2 equal?
False
Suppose 120 = 25*q + 20. Is q > 32/7?
False
Suppose -5*g = 34 - 49. Let l be (-3)/90*-31 + g/(-15). Are l and 1 equal?
False
Suppose f + 44 = 205. Is 161 at most f?
True
Let v be 6/10 + (-15)/25. Let i = 15/106 - 947/5194. Which is bigger: i or v?
v
Let j be 8/12 - (-260)/6. Suppose j = 9*n - 13*n. Are n and -12 nonequal?
True
Let g = -1.46 - -0.46. Let o be 3/(-1)*66/(-9). Which is smaller: o or g?
g
Let f = 0 - 0. Let j(a) = -a**3 + 13*a**2 - 11*a + 16. Let n be j(12). Let t be (512/(-24))/8*(-9)/n. Is t at least f?
True
Let r = -28.49 - -29.49. Let p = 4/15 + -26/135. Which is smaller: r or p?
p
Let h be 4 + (1 + -96)/(9/(-36)). Is h greater than 382?
True
Let l(j) = j - 6. Let y be l(6). Suppose 0*o = 6*o - y*o. Is -12/17 less than or equal to o?
True
Let i = -14/53 + 1535/6413. Which is smaller: i or 0?
i
Suppose -9*k - 131 = 139. Let f be k + 50/(-18) + (-2)/9. Which is greater: f or -34?
f
Let u = -154 + 154. Which is smaller: u or 2?
u
Let s(f) = -f**2 - 8*f - 3. Let c be s(4). Let d = c - -44. Let n = 5 - 10. Which is smaller: d or n?
d
Let a = 433 - 432. Which is smaller: a or 2/27?
2/27
Suppose k = g - 7, -g - 9 = k + 8. Let n(y) be the third derivative of -y**4/24 - 2*y**3 - y**2 - 123. Let i be n(k). Which is bigger: i or -1/2?
i
Let j be 46/(5 + -7) + (-5 - -6). Is -104/5 bigger than j?
True
Let i = 6 + -8.24. Let h = -2.19 - i. Let c = 35/2 + -17. Which is greater: c or h?
c
Let t be (2/10)/((-1)/2). Let q = -34/35 + 76/35. Which is bigger: t or q?
q
Suppose -5*p - s - 4 = -12, -5*p - 4*s + 17 = 0. Let j be 119/102 + (-13)/6. Which is smaller: p or j?
j
Let f be 2/(-3) + 100/6. Let o(w) = w**2 - 33*w - 34. Let u be o(34). Is u not equal to f?
True
Let y = 1483.607 + -1.607. Is -0.1 at least y?
False
Suppose 20*f = 73 + 47. Which is smaller: f or 0.07?
0.07
Let n(y) = -y + 11. Let l be n(8). Suppose -75 = -9*u - l. Are 64/7 and u equal?
False
Let a(k) = 2*k**2 + k. Let z(c) = c**2 + c. Let o be z(-4). Let d be o/(-2)*6/(-18). Let l be a(d). Are 9 and l nonequal?
True
Suppose 5*z + 378 = -4*f, -f = -2*z + 89 - 1. Let j = f + 1194/13. Is j at most 0?
True
Suppose 6*s + 416 = -2236. Which is bigger: s or -1?
-1
Suppose -3*g = -0*g + 2*c + 4, 3*g = 2*c + 4. Suppose 4*l - 3*l - 5 = -2*n, g = -4*n + 3*l + 5. Does n = 7/3?
False
Let f be (-1)/5*1 - (-3324)/(-30). Let x be 1 + 2/f + -1. Which is smaller: x or -1?
-1
Suppose -l = 5*o + 48 + 18, 5*l + 382 = o. Let h be 8/(-36) + l/(-18). Suppose -4*v + h = -16, 7 = q + 2*v. Is q greater than or equal to -1?
False
Let o be (-492)/(-60) - (-1)/(-5). Let f(i) = i**3 - 7*i**2 - 10*i + 12. Let t be f(o). Let l be (-1)/(4 + (t - -1)). Which is smaller: l or -1/4?
l
Let u = -9 + 9.15. Let f = u - 0.17. Let m be (-6)/39 + (-11)/13. Which is smaller: f or m?
m
Let m = -2 - -6. Let f(y) = y**3 - 5*y**2 + y. Let a be f(m). Let s = -11 - a. Are 1/11 and s equal?
False
Suppose 128*w - 133*w = 40. Which is smaller: w or -35?
-35
Suppose 64*i = 67*i + 159. Is i bigger than 1/5?
False
Let p = 1/50 - 1/10. Which is smaller: p or 8/21?
p
Let p be (2/(-1))/(8/(-36)). Let q = 0 + p. Let c(h) = h**2 - 10*h + 8. Let r be c(q). Do -2/21 and r have the same value?
False
Let g(s) = -s**2 - 43*s - 335. Let u be g(-33). Which is greater: -22 or u?
u
Suppose -10171 = -10*c - 2721. Is 2/7 smaller than c?
True
Suppose 5*m - 15 = 10, -5*v = -5*m - 5. Let w be (3 - -1)/(-1*v/(-42)). Is 29 greater than w?
True
Let l = -13 + 5. Suppose 0 = -5*u - 10 - 10, -3*v - 3*u + 180 = 0. Suppose -10*p - v = -2*p. Is l > p?
False
Let t(u) = u**2 + 8*u - 15. Let s be t(2). Let p be (2/(-6))/((-3)/43). Let g = 76/9 - p. Which is smaller: s or g?
g
Suppose -12 = -3*a, -b + 3*a + 2 = -1. Let l(j) = 18*j - 5*j - 2*j - 5*j - 39. Let z be l(9). Is z != b?
False
Let u = 24.4 - -7.6. Let f = -32.15 + u. Which is bigger: 1 or f?
1
Let l be ((-5 - -12) + -52)*6/(-10). Is 4 greater than or equal to l?
False
Suppose 0 = 2*b - j - 10, -3 = -2*j - 11. Let i be 1 - (b - 70/36). Suppose 0 = -o - 1. Is i bigger than o?
True
Let r(k) = k**3 + 9*k**2 - 3*k - 22. Let q be r(-9). Suppose 2*g + 29 = -3*z, -z + q*z = 2*g - 6. Are -8 and g equal?
False
Suppose 5*z - 18 = -8. Let s(u) = u**3 + u - 5 - u**z + 7 - 1. Let f be s(0). Is f != 1/3?
True
Let d be (-2)/3 - (-1800280)/(-2100). Let a = 858 + d. Which is greater: a or 1?
1
Let z = -71 + 41. Let j = z - -33. Are j and 1/6 unequal?
True
Let t be -189 + (11 - (5 - 6)). Which is smaller: t or -3?
t
Let d = 3061/2793 - 9/49. Which is greater: d or 0?
d
Let j = -1234/7 - -177. Is j < 0.1?
False
Suppose 717 = 4*n + 161. Is 137 at least n?
False
Let c = -1787/5 - -2169/10. Which is greater: c or -141?
c
Let r = -491 - -303. Which is smaller: -187 or r?
r
Let j = 0 - 0.5. Let o = 1.2 + -0.7. Let d = o - j. Which is smaller: d or -6?
-6
Let c be (-88)/(-10) + 1 + 74/185. Which is smaller: 10 or c?
10
Let f be -5 - ((-350)/(-55) + -10). Is -2/9 < f?
False
Let t = 3.7 - 0.4. Let r = 2.3 - t. Let c = -4.88 + 5. Are r and c nonequal?
True
Let h be (-35)/21 + -1 + 2. Is 26 >= h?
True
Let q(i) = 27*i + 754. Let o be q(-28). Is o less than or equal to 38/9?
True
Let w be 39/11 + -3 + 0. Let r = -13 - -15. Which is greater: r or w?
r
Suppose -3*i - 5*n = 12, i - 4 = -0*n + n. Let z be i - (2/1)/2. Is -14/19 equal to z?
False
Let o = -627 - -776. Which is smaller: 147 or o?
147
Let g = 55883/37 + -1510. Are 0 and g non-equal?
True
Let v be (-2)/(-25) + (-202)/2525. Is v bigger than 24/29?
False
Let h be ((-14)/(-3))/(3349/(-306) + 11). Which is smaller: 81 or h?
81
Let x = 934/7 - 134. Suppose -3*o - 15 = 0, -4*p + 0*o + 3*o + 23 = 0. Suppose p*f - 1 = -3. Is f bigger than x?
False
Let v = 790 + -1638. Are v and -849 non-equal?
True
Let s(c) = -c**2 + 3*c. Let q be s(0). Which is greater: -3/11 or q?
q
Let j(m) = -m + 3. Let h be j(5). Let z be (-1 - 21/(-12)) + 3154/(-760). Is h less than z?
False
Let i be 3 - 17/(1224/297). Let u be -1*0*2/(-6). Suppose u = -2*y - 5 + 1. Does y = i?
False
Let o be 2/(-9) + (-47)/(-9). Suppose -o*u = 5 + 5. Suppose 0 = r - 11*r - 10. Is u > r?
False
Suppose 0 = 3*w - 3*t + 6, 2*w + 5*t = -w + 26. Suppose 0 = w*m - 3*m + 27. Let d be m/9*(-34)/(-6). Which is bigger: 18 or d?
18
Let n = 12847/9 - 7094/3. Let a = 936 + n. Which is greater: a or -2?
a
Let p = 710 - 3523/5. Suppose -4*g + 3*g = -5. Which is greater: p or g?
p
Let l(n) = -n**3 + 8*n**2 + 7. Let p be (6/4)/((-6)/(-32)). Let t be l(p). Suppose -4*u = -t*u + 3. Is 1 != u?
False
Let x = 3 - 0. Let c = x - 2.7. Let l = -0.236 + 0.236. Which is smaller: c or l?
l
Suppose 2*c = k + 44 - 14, 15 = c - 2*k. Let d be 3/(-9) - 475/c. Is 2/5 >= d?
True
Let q(d) = d**3 - d**2 - 2*d + 32. Let n be q(0). Suppose 2*r + 5 = -2*j + 69, 0 = -j + r + n. Does 32 = j?
True
Let p be (1/(-5))/(5/1). Suppose -11*h = -8*h - 33. Suppose h = -3*y + 8. Which is smaller: p or y?
y
Suppose -24 = -2*u - 34, -k - 2*u = 70. Is k greater than -62?
True
Let r = -3614 + 18141/5. Which is smaller: 15 or r?
r
Suppose 5*z = 2*y + 48, -2*z = -7*y + 4*y - 17. Let s be ((-66)/(-55))/(159/z). Which is bigger: s or 0?
s
Suppose 0 = c - 3*d - d + 3, 0 = 3*c + 5*d - 59. Let b(t) be the first derivative of 2*t**3/3 + 9*t**2/2 + 7*t - 14. Let h be b(-5). Is c <= h?
False
Suppose -5*h = -4*q - 1574, -17*q + 18*q + 2*h = -387. Is q > -392?
True
Let s = 9.41 - 9.51. Let m = -14 + 2. Let w be (1/(-3))/(22/m). Which is greater: s or w?
w
Let k be 15*-1*28/(-12). Suppose 4*r = -r + k. Is 25/4 greater than or equal to r?
False
Suppose 2*b = -3*x - 4, b = x - 1 + 4. Suppose -5*n - 5*g = 0, -4*n + b = 3*g - 0*g. Let m(h) = h**2 - 7*h - 16. Let i be m(9). Do i and n have the same value?
False
Let p(f) = -7*f + 3. Let m(c) = 7*c - 4. Let n(y) = -3*m(y) - 2*p(y). Let a be n(2). Let z(k) = -k**3 - 8*k**2 - 2*k - 5. Let l be z(a). Is 10 greater than l?
False
Let g = 709.2 - 709. Which is smaller: 41/4 or g?
g
Let s = -161 - -332. Let d = -171 + s. Which is bigger: 30 or d?
30
Let g 