an -1?
False
Let l = 13.2 - 3.2. Are -1 and l unequal?
True
Let d be -4*(-4 - (-114)/27). Is -1 at least d?
False
Let j(m) = 2*m + 1. Let r be j(-1). Let w be -1*(r + (-1 - -1)). Let v = -286 + 3716/13. Which is smaller: v or w?
v
Let f(s) = 3*s**2 + 5*s + 2. Let i(w) = -w**2 + 1. Let x(u) = f(u) + 2*i(u). Let t be x(-4). Is t at most as big as -2/29?
False
Let t = 6 + -5. Suppose 5*q = -2*l + 25, q - 1 = -3*l + 4. Is l > t?
False
Let y = -21 + 21. Are y and 6/5 nonequal?
True
Let k(b) = 2*b**2 - 22*b + 3. Let q be k(11). Is 5 >= q?
True
Let y(n) = -n**3 + 13*n**2 - 17*n + 26. Let q be y(12). Is q bigger than -35?
True
Suppose -4 = -2*w - 0. Suppose -2*j = 5*u - j + 7, 5 = -u - w*j. Let a be (u/(-3))/((-1)/(-2)). Which is smaller: a or 1?
a
Suppose 0 = -0*s - s - 2. Let r be -3*1/(-3) + -2. Which is bigger: s or r?
r
Let c(z) = z**3 + 3. Let f be c(0). Suppose -f*p = -8*p + 15. Let j be (33/(-12) + 3)*p. Which is greater: j or 1?
1
Suppose -5*r - 2 + 27 = 0. Let i = -2 + r. Which is smaller: i or 2?
2
Let y = -89 - -56. Which is smaller: y or -32?
y
Let g = 107/18 - 6. Do 0 and g have the same value?
False
Let i(x) = -x**2 + 2*x + 9. Let u be i(4). Let l = 64 + -959/15. Which is smaller: l or u?
l
Suppose 27 = -13*x - 12. Which is smaller: -5 or x?
-5
Let j be (-4)/5*(-5 - 0). Let h(i) be the first derivative of -i**2/2 + 4*i - 6. Let d be h(j). Is 2 at most as big as d?
False
Let x = 27 - 19. Let q = 6 - 3. Suppose q*o + 3*l - 10 - x = 0, o - 22 = -5*l. Which is greater: -0.2 or o?
o
Let z = -2.75 - -3. Let r = z + -0.3. Let x = r - 2.95. Is x less than 0.1?
True
Let x = 12678448 + -3207651379/253. Let w = -480/23 + x. Let m = 37 + w. Is 0 at least as big as m?
False
Let u = -10 + 8. Is u greater than -2?
False
Let v = -1.4 + -0.2. Which is greater: v or 1?
1
Let a(i) = -2*i - 45. Let f be a(6). Is f greater than or equal to -59?
True
Let g = -0.2 + 0.2. Let b = 6.1 - 6. Is b > g?
True
Let n = 800 - 8818/11. Is -1 at most as big as n?
False
Let z(o) = -o - 6. Let a be z(-6). Suppose 3*w + a*w = 0. Let x = -8 + 6. Which is bigger: x or w?
w
Let d(p) = -p + 5. Let m be d(8). Let s(t) = -t**2 - 4*t - 4. Let g be s(m). Is g bigger than 0?
False
Let u be 21/(-49) - 5788133/(-35). Let r = 23875226/145 - u. Let b = 718 + r. Is 0 != b?
True
Let v be (8 - 7) + (-22)/(-2). Do 13 and v have the same value?
False
Suppose 43 - 8 = -5*w. Let x = -0.7 + 8.7. Let h = 8 - x. Which is bigger: h or w?
h
Suppose 3*t + 3 = 2*t - 4*w, -5*t + 2*w = 59. Let l = t - -19. Is l not equal to 7?
True
Let r = 0 - -6. Suppose -j = -r*j. Which is bigger: j or 1/4?
1/4
Suppose 0 = 13*i - 21*i + 8. Which is smaller: -2/67 or i?
-2/67
Suppose 40 = s + s. Suppose 4*y + 5*m + s = 0, 10 = -2*y + 6*m - 3*m. Which is smaller: y or -3?
y
Let f(k) = -k**3 + 4*k**2 - 2*k - 4. Suppose 4*h + 3*x = 6, -4 - 6 = -2*h + 2*x. Let j be f(h). Are 0 and j equal?
False
Let s be 3/(-40 - 2) - 0. Which is greater: s or -2/3?
s
Let b(a) = 26*a + 18. Let f be b(-4). Which is greater: -85 or f?
-85
Let t = -13.8 - -14. Let f = 5.9 + -5.63. Let l = t - f. Is 0 >= l?
True
Suppose -3*l + 13 = -5*g, -4*l + 29 = -4*g + 1. Which is smaller: l or 12?
l
Suppose -12*i + 9*i - 242 = 4*o, -10 = -5*i. Which is smaller: o or -63?
-63
Let o(i) = i**2 + 13*i - 2. Let w(n) = 2*n - 13. Let z be w(0). Let r be o(z). Is r less than -1?
True
Let v be 5/(-15) + (-123)/(-423). Which is bigger: v or 1?
1
Let m = 4 + -1. Suppose -5*a + 4*a + 8 = 2*o, o = m. Suppose 7 = -3*j + a*i, -3*j - j - 3*i = -19. Which is bigger: -2/5 or j?
j
Let k(x) = -147*x**3 + 3*x**2 + 5*x - 3. Let w be k(3). Let l = 12013/3 + w. Let z = 75 - l. Which is greater: z or -0.1?
z
Let c be (-14)/(-4) + (-4)/8. Suppose 4 - 1 = c*y. Which is bigger: y or 7?
7
Let h(o) = o**2 + 6*o + 7. Let t be h(-5). Let q = 3 - t. Let g be q/(-9)*(3 + -6). Is 0.1 less than g?
True
Let q = -117/7 + 3676/217. Are q and 0 nonequal?
True
Let g = 39 - 30. Suppose -6*i = -i - 25. Suppose g - 24 = -i*n. Are 2 and n non-equal?
True
Let m = 11/3 - 91/33. Which is bigger: 0 or m?
m
Suppose 0 = -o, 4*u + o - 3 - 5 = 0. Is 5 less than u?
False
Let y = 1/12 + -7/12. Is -0.2 at most as big as y?
False
Let o be ((-40)/12)/(4/(-6)) - 1. Which is bigger: o or 27/5?
27/5
Let v be ((-2)/6)/(15/585). Is -14 at most v?
True
Suppose 3*f + 0*f - 6 = 0. Is f greater than 1/12?
True
Let q = 15.05 - 0.05. Let b = -14 + q. Is 3 less than b?
False
Suppose -5*i = 2*j + 9, 0 = 2*i - 3*j - 2*j + 21. Let y = -5 - i. Let t = -50 - -247/5. Is t greater than or equal to y?
True
Let h = -0.97 - -0.97. Which is smaller: -0.6 or h?
-0.6
Let m = 0.85 + -0.05. Let b = m + -1.8. Is b less than or equal to 0?
True
Let t = -3 + 2. Let m = 0 - t. Let a = 5 - m. Which is smaller: 1 or a?
1
Let h = 9890 + -39803/4. Let n be 5/20 - 243/(-4). Let u = h + n. Does u = -1?
False
Let p be (-467)/180 + (-12)/(-16). Let d = -13/9 - p. Let m = 4 - 4. Does m = d?
False
Let g(n) = -n**2 - 11*n - 11. Let f be 2 - (-48)/((-8)/2). Let c be g(f). Which is bigger: 1/26 or c?
1/26
Let l(z) = -2*z + 11. Let y be l(8). Let t be 2/(-6)*(y - -2). Which is bigger: -1 or t?
t
Let v = 1 + -5. Let t(g) = -g**2 - 3*g + 4. Let n be t(v). Is n at least as big as -6?
True
Let u = 4.4 + -4. Let a = 0.43 + -0.3. Let h = -0.03 + a. Is u not equal to h?
True
Let a(m) = -m + 8. Let g be a(6). Are 0 and g equal?
False
Let h be (-120)/171 - 6/(-9). Which is greater: h or -1?
h
Let m = 1821/1183 - 1/1183. Is 2 smaller than m?
False
Let r be 2/1 + (-2 - 4). Is r at least 0?
False
Let m be ((-4)/(-8))/(4/48). Let a(b) = -b**2 + 8*b. Let r be a(m). Is 13 bigger than r?
True
Let i = -15 + 18. Suppose 2 = 5*m - i*m. Which is smaller: m or -1/5?
-1/5
Let k be (2 - -1)/((-9)/6). Which is greater: k or -5/2?
k
Let n be 2/5 + 0 + (-4)/35. Is n equal to -12?
False
Let a be 1 + -2 - (-35)/37. Let s = -122 + 123. Which is smaller: s or a?
a
Let a = 5.12 + -5. Let r = -0.02 + a. Is 0.1 >= r?
True
Let j be 0*(-3)/(-6)*1. Is -1/17 <= j?
True
Let t be 2/(-3) + 18/27. Suppose 2*u + t*u - 8 = 0. Which is smaller: u or 6?
u
Let d be (3 + -1)/(2/3). Let p be 1 - (5 + -2)/3. Suppose p = -7*u + d*u + 20. Is 1 less than or equal to u?
True
Let v = 66 - 64.2. Which is bigger: -1 or v?
v
Let q(d) = -d - 9. Let l be q(-9). Let b(x) = -x**2 + 6*x - 1. Let f be b(6). Is l at most f?
False
Suppose z + 5 = 0, 2*d - z + 4*z = -37. Let o = 230/21 + d. Which is smaller: o or -1?
-1
Let k(z) = z**2 - 7*z + 1. Let g be k(7). Which is bigger: g or -3/11?
g
Suppose 0*w + 4*w = -4. Is w > -3/8?
False
Let k = 3 + -4. Which is greater: 2/67 or k?
2/67
Let q = -11 + 19. Suppose q = 4*m - 0*m. Let g be (-55)/60 - m/(-3). Is g smaller than 0.2?
True
Let g be (-1)/4 - (-21)/4. Let o be 44/7 - (-4)/(-14). Let i be (-9)/(-2) - 3/o. Is g < i?
False
Suppose 0 = 2*v + 3*v + 5. Let m(r) = 4*r. Let b be m(v). Is -3 greater than b?
True
Let v = -50 - -52. Is 0.11 <= v?
True
Let h = -0.3 - 0. Let x = h + 0.4. Let k = 0.029 + -6.029. Which is smaller: k or x?
k
Let n be 5 - (-7)/((-308)/222). Is 1 greater than n?
True
Suppose -5*q + 2*p = -3*p - 5, -4*q = 4*p + 4. Are 4/5 and q non-equal?
True
Suppose 0*h + 4 = -2*h. Let a be 0 + 12/3 - -1. Suppose -r = 4*x + 2 + 4, -r + 3 = -a*x. Is r at least as big as h?
True
Let b(f) be the first derivative of -f**2/2 + f - 1. Let i be b(-5). Suppose -5*k = -6*k + i. Do k and 7 have different values?
True
Let n(b) = -b**2 + 22*b - 53. Let a be n(21). Which is bigger: a or -33?
a
Let z be 1 + (-4)/2 - (9 + -5). Suppose -3 = -3*p + 4*p. Let x = p - 1. Which is smaller: x or z?
z
Let o(l) = -l - 3 - 4 + 9. Let q be o(-4). Let k be (-6)/(-3) + q/(-8). Which is smaller: 0 or k?
0
Let v be (45/25)/((-76)/20). Is v less than 0?
True
Suppose -3*u - 15 = 2*u. Let q be 3/((-9)/u)*-3. Let k be (-4 - -1)/q*1. Which is bigger: k or -1/4?
k
Suppose 3*c - 4 = -4*d - 0, 0 = -4*c - 4*d + 8. Is 3 less than or equal to c?
True
Let g = 41 - 28. Let f = g + -8. Is 5 smaller than f?
False
Suppose 0 = 6*i - i - 30. Suppose i*w - 5 = w. Are w and 1/3 non-equal?
True
Let j be ((-1)/(-3))/((-3)/18). Suppose 10 = -2*d - 2*h, 2*d + 5*h + 11 + 11 = 0. Let v = j - d. Which is bigger: 0 or v?
0
Let j(d) = -8 - 17*d + 19 + 18*d. Let m be j(-12). Is -3/5 < m?
False
Let y = 8335/9 - 927. Suppo