t w = 21 - 85/4. Is 11 bigger than w?
True
Let a be 0*-1*(-1)/2. Suppose t = -a*t. Let o be ((-1)/(-2))/(56/16). Is o at most t?
False
Let y = -17.4 - -7.3. Let b = y + 10. Is b smaller than -2/31?
True
Let b(w) be the third derivative of 0 + 3*w**2 + 0*w - 3/2*w**3 - 1/12*w**4. Let h be b(-6). Is h greater than or equal to 2?
True
Let w be -1 + 1/((-1)/(-3)). Let f be 183/114 + (-6)/w. Let q = f + -2/19. Does q = -3?
False
Let v be 9*1 - (5 + -8). Suppose -3*i - v = -3*c, 3*i = -0*i - 5*c + 28. Which is greater: 7/4 or i?
7/4
Let t = 18 + -16. Is t less than or equal to -2?
False
Suppose -5*d - k - 245 = 0, 0 = -3*d - 0*d - 5*k - 125. Are d and -49 non-equal?
True
Suppose 5*o - 8 + 66 = -2*s, -2*o + 4*s = 4. Which is smaller: -11 or o?
-11
Let s = 12 + -11. Let a = -35/44 + 6/11. Is a <= s?
True
Suppose -125 - 43 = -12*h. Which is smaller: 13 or h?
13
Suppose h = -2*h. Suppose l = -5*f + 10, l = -h - 5. Let q = -4 + f. Is -1 <= q?
True
Let n(z) = -z - 7. Let y be n(-9). Suppose 0 = w - 1 - y. Is 2 > w?
False
Let x be (1 - 1) + (2 - 5). Let s(a) = -2*a - 31. Let j be s(-14). Is x greater than or equal to j?
True
Let x = -1 - -4. Let j be ((-2)/(-6))/((-4)/x). Let r = -3 - -2.8. Is j equal to r?
False
Suppose 39 = 3*y + 15. Is 8 > y?
False
Suppose -2*w - 5*j = -21, 0 = w - 3*j - 4 - 1. Is -1 >= w?
False
Let t be (2/(-6))/((-4)/72). Let f = t - 6. Suppose 3*s + 1 - 7 = f. Are 0 and s non-equal?
True
Suppose -2*t - 113 = 3. Is t smaller than -57?
True
Let c = -884/3 - -292. Which is greater: c or -3?
c
Let y = 6 + -2. Let v be ((-3)/2)/(3/272). Let i be v/32 + 1/y. Which is bigger: -2/5 or i?
-2/5
Let d be (-10)/4*(-16)/20. Let i(y) = -y**2 + 3*y - 2. Let z be i(4). Let s(a) = a**2 + 7*a + 7. Let c be s(z). Which is bigger: c or d?
d
Let d = 0.3 - 1.3. Which is greater: 0.9 or d?
0.9
Let n be (6/(-4))/(6/16). Let l be (9/117)/(1/n). Which is smaller: -1 or l?
-1
Let g = -506.96 + 486. Let p = 22 + g. Let i = 0.04 - p. Is 0.05 greater than i?
True
Let g = -19 - -98/5. Does g = -10?
False
Let n be 153/12 - (-2)/8. Let f be (-13)/(-1 + (-3 - -3)). Do f and n have the same value?
True
Suppose 100 = 4*h + 4*s, -2*h - 2*s + s = -49. Let o be (-1)/((-44)/h - -2). Which is greater: o or -8?
o
Let p = 0.5 + -2.5. Let o = 22 - 22. Which is smaller: o or p?
p
Let m be ((-1)/(-2))/(3/30). Let h = -4 + 10. Which is bigger: m or h?
h
Let z(b) = -b - 2. Let v be -3 - (-3 - (2 + -2)). Let u be z(v). Which is smaller: u or 0?
u
Let y = -10 - -8. Let a be (y - 1)/(2/4). Which is smaller: a or -5?
a
Let m = 2185/9 - 243. Suppose 4*t = -3*b - 1, -2*b - 18 = 2*t - 4*b. Let f = t + 4. Which is smaller: f or m?
m
Let s = -23 - -23. Which is greater: 2/21 or s?
2/21
Let u = 3 + -3.1. Let q = u - -0.05. Let g = -0.913 + -0.087. Is q at least as big as g?
True
Let r(d) = -8 - 4 + 13 - 8*d. Let k be r(-1). Do k and 9 have the same value?
True
Let t be ((-6)/7)/(1/(-21)). Suppose 0 = -0*x + 3*x - t. Suppose 8*n + 2*f = 3*n + 30, -4*n - f = -24. Is n < x?
False
Suppose y - 9 = -2*y. Let o be ((-2)/(-4))/((-2)/y). Which is smaller: -2 or o?
-2
Let c(h) = -h - 10. Let u be c(-7). Let b be u/15*3*-5. Suppose 6 = -3*i + b. Is -1 at most i?
True
Let l(r) = -2*r + 14. Let n be l(11). Let d = n - -8. Which is smaller: 2/5 or d?
d
Let u = -44.9 - -45. Is u <= 4?
True
Let g = -57 - -56. Which is bigger: -2/101 or g?
-2/101
Let o(j) = j**3 - 3 + 0*j**3 - 2*j - 2*j - 3*j**2 + 6*j**2. Let n be o(-4). Is n at least -2?
False
Suppose 0*r - k = r - 57, -3*r = -3*k - 195. Let x = -33 + r. Let p be x/(-22) - 3/(-3). Is -1 != p?
True
Let z = -9.669 - -0.069. Let q = z + 15.64. Let y = -6 + q. Which is greater: y or 1/2?
1/2
Let n = 15 - 15. Let k = 200/3 + -66. Are n and k unequal?
True
Suppose 5*b + 6 = b + 3*j, 0 = -3*b - j + 2. Let q be b/(-1) - (-4 - -8). Is q >= 0?
False
Let w(t) = 3*t - 11. Let m be w(5). Is 4 at least m?
True
Let j = -2.3 - 4.7. Let g = j - -14. Which is greater: -2/5 or g?
g
Let k(h) = -h + 1. Let f be k(-3). Suppose 0 = -f*q - 0 + 12. Suppose q = -3*d - 0. Are d and -1/6 equal?
False
Let f(j) = -2*j - 5. Let l be f(-3). Is 4/31 not equal to l?
True
Let v be ((-10)/(-24) + 12/(-16))*3. Is 2/5 smaller than v?
False
Let a(y) = -7*y**2 - y + 5. Let w(n) = -20*n**2 - 4*n + 15. Let s(r) = 17*a(r) - 6*w(r). Let f be s(-8). Are f and 1 unequal?
True
Let w be ((-6)/(-4))/((-336)/(-64)). Is w greater than -1.9?
True
Let l = -23/8 + 329/120. Is 2/5 >= l?
True
Let r = 6 - 11. Let w be (-1 - (-7)/5)*-1. Are w and r unequal?
True
Let g = 18.22 - 18. Let t = g + 0.38. Is 2/3 equal to t?
False
Let v be 19022/390 - (-6)/(-9). Let q = v - 239/5. Suppose s + 6 = p, -3*s - 2*p + 0 = -7. Which is smaller: s or q?
s
Suppose 0 = -2*f + 1 - 3. Let i = -2 - f. Let c(l) = l**2 - 1. Let d be c(i). Which is greater: -2/5 or d?
d
Let k = 6 + -4. Let a be k/(-6) + 17/15. Suppose 5*b + 4*o - 5*o - 10 = 0, 2*b + 5*o - 4 = 0. Which is smaller: a or b?
a
Let z(t) = t**2 + 2*t - 2. Let n be z(-3). Let g be 1*(11 + (-3)/n). Is g greater than 8?
False
Let r be (-143)/(-182) - (9/7 - 1). Let q = 1.1 + -1. Let b = q - -0.1. Which is smaller: b or r?
b
Let d be (-5)/((-85)/3)*375. Let g = -66 + d. Which is bigger: g or -1?
g
Let c be -6*(-6)/(-9)*2. Let w = c - -7. Let d = 417 - 6257/15. Is w less than or equal to d?
True
Suppose 10*t - 6*t = -12. Which is bigger: -1 or t?
-1
Let r = 7516/77 + -1074/11. Is r at least as big as -0.1?
True
Let q = -37.86 + 38. Which is bigger: q or 0.2?
0.2
Let j(u) = -1 - u - 2*u + 0*u. Let n be j(-1). Suppose 5*f - 4 = 11. Which is bigger: n or f?
f
Suppose 0 = -4*d - 18 - 10. Let p = 8 + d. Suppose b - 1 = -0. Is p at most as big as b?
True
Let n = 55 - 36. Is 17 smaller than n?
True
Let m be 3 - 1 - (0 + 5). Let o(k) = -k**2 - 2*k + 3. Let w be o(m). Suppose w = -2*i + 4, 4*i = -3*r + 8 - 0. Which is smaller: -2/5 or r?
-2/5
Suppose -3*m - 2*z = -8*m - 22, -2*m - z - 7 = 0. Let x be (m/(-6))/((-1)/3). Let g = x - -4. Which is smaller: g or 3?
g
Suppose 5*v + 25 = j, 5*j + v - 10 = 3*v. Suppose -5 = -4*k - 1. Let s be -1 + (10/6)/k. Which is greater: j or s?
s
Let c be ((-2)/4)/((-1)/12). Let t be (-4)/c - (-10)/(-12). Suppose -6 = -4*b - 3*g + 1, 5*b + 5*g = 15. Is t < b?
False
Let p = 94 + -1503/16. Let i = 5.5 - 7.5. Is i less than p?
True
Let z = -9 + 11. Suppose x + z*x = 0. Which is smaller: x or -1/13?
-1/13
Let h = -145/3 + 47. Which is smaller: h or -1?
h
Let u be 12/7*105/6. Is u greater than 29?
True
Suppose 38 = 13*q + 168. Which is smaller: q or -17?
-17
Let o = -281 + 279. Let y = 0 - -5. Which is greater: o or y?
y
Let k be (-715)/99 - (-2)/9. Is k greater than -7?
False
Let i(h) = h + 2. Let w be (-16)/3 - 2/(-6). Let y be i(w). Let l be (-6)/(-3)*(-1)/1. Which is bigger: y or l?
l
Let k = -7 - -3. Let v = 0 + 0. Suppose -4*x + v*x - 8 = 0, x + 6 = -o. Are o and k unequal?
False
Let n be (5/(-1) + 1)/(-1). Suppose -2*u - 19 = u + 4*x, -n = -4*u + 2*x. Let h be 6/(-15) - (-1)/(-35). Which is bigger: h or u?
h
Let b = -0.9 - 2.1. Which is smaller: -9 or b?
-9
Suppose -15 = -3*w - 2*w. Let n = 0.2 + -1.2. Which is smaller: n or w?
n
Suppose 9 = 3*t - 45. Let v be (12/14)/(t/9). Which is smaller: v or 1?
v
Suppose 9 = -2*v - 23. Let h be 6/8 - (-28)/v. Which is smaller: h or -2?
-2
Let b(j) = -j**3 + 2*j**2 + 4*j + 1. Let d be b(3). Let m = -69 - -71. Suppose -v + 0*h + h + 2 = 0, -d = 2*v + m*h. Is v greater than or equal to 0?
True
Let i(t) = t + 2. Let v be i(0). Let u be (-17)/((-1 - v)/3). Suppose -4*f + 23 = -5*d, -8*f + 3*d + u = -4*f. Which is smaller: 3 or f?
f
Let b(a) = 2*a + 7. Let h be b(-8). Let v = 1 + h. Are v and -8 non-equal?
False
Let c(h) = -11*h**2 - 5*h + 8. Let x(r) = -5*r**2 - 2*r + 4. Let w(p) = -6*c(p) + 13*x(p). Let l be w(-3). Is 1/4 equal to l?
False
Let b(n) = n**3 + 6*n**2 + 7*n - 7. Let r be b(-6). Let k = 244/5 + r. Suppose -3*f = -5*m - 3, 2 = 5*m - 2*f + 4. Do k and m have different values?
True
Let z(n) = n**3 - 5*n**2 + 2*n - 11. Let a be z(5). Let i = -8/35 + -6/35. Which is smaller: a or i?
a
Suppose 0 = 4*d - 3*d + 13. Is -11 greater than or equal to d?
True
Let v(k) = -k + 1. Let j be v(-3). Suppose -j*z = z - 5. Is z bigger than 0?
True
Suppose 5*k + 149 + 1 = 0. Which is smaller: -31 or k?
-31
Suppose -c + 0*c = 