e?
False
Let r be 3/3 - (0 + -1). Suppose r*t - 3 = 5*t. Let y be (t + 1/2)*0. Is -1/3 greater than y?
False
Let b(t) = -t + 10. Let i be b(0). Suppose i = 5*g - 5. Let h(c) = -c**2 - 5*c + 5. Let m be h(-5). Which is bigger: g or m?
m
Let g be 2/(-6)*0/3. Is g at least as big as -2/3?
True
Let m = 80 + -20. Which is greater: 59 or m?
m
Let p = 82 - 81. Is p at most 1/2?
False
Let y(w) = w**2 + 12*w + 10. Let f be y(-13). Is 23 not equal to f?
False
Let w be (-4)/(-3)*1/4. Let x(c) = c + 18. Let o be x(-14). Suppose 2*a + 2*a - o = 0. Which is smaller: a or w?
w
Let n(a) = -a**3 + 8*a**2 + 8*a + 9. Let g be n(9). Suppose -i + 0 + 3 = g. Suppose -2*t + 6*t - 12 = 0. Does t = i?
True
Let s = 0.1 + 0.1. Let a = s - 0.4. Which is smaller: -0.5 or a?
-0.5
Let m = 145/4 - 36. Let f = 1 + -1.1. Is m equal to f?
False
Let i(p) = 2*p**3 + 2 - 5*p + p**2 - 3*p**3 + 4*p**2 + 0*p**3. Let d be i(4). Is d at most as big as 1?
True
Let v = -12 + 4. Let k = -6 - v. Suppose 0 = -4*c - 2 - k. Which is smaller: -2 or c?
-2
Let q = 20 + -29. Let b = -8.9 - q. Is b bigger than 2?
False
Let f be 1/(-4)*(-72)/(-189). Let r = -8 + 9. Do f and r have the same value?
False
Let j = 0.2 + -0.2. Let q(v) = -v - 1. Let o be q(-3). Suppose 0 = -2*z + o*y + 2, 0 = -2*z - z - y - 17. Which is greater: j or z?
j
Let d be (2/(-4))/((-22)/220). Let r be 1/1 - 1*-3. Let o = r - d. Is 1 < o?
False
Let x = 234 - 3040/13. Which is smaller: x or 1?
x
Suppose -g - 2*g = 18. Let n be ((-15)/6)/(3/g). Suppose 1 = n*i - 4. Is i at least as big as -1/3?
True
Let n be (-7)/12 + 7/21. Which is greater: 3 or n?
3
Let z(g) = -4 + 5*g - 1 + 2*g - 3*g - g**2. Let k be z(2). Which is smaller: k or 0?
k
Let w(n) = -n**2 - 11*n - 12. Let p be w(-10). Let s = 1 - p. Let d be ((-18)/16)/(s/2). Which is greater: d or -0.1?
-0.1
Let q be ((-2)/(-4) + -1)*-206. Let n = 43/308 + -15999/154. Let a = n + q. Which is smaller: a or 0?
a
Let z(w) = 4*w**2 + w. Suppose -2*l - y = -0*l + 7, -l - 3*y - 16 = 0. Let a be z(l). Suppose -2*n - 5 = -a*v - 30, 0 = 2*v + n + 5. Is -4 bigger than v?
True
Let r = -4.216 + 6.363. Let w = r - -6.783. Let s = 9 - w. Which is smaller: s or 0?
0
Let s = 1.5 + 2.5. Let g = 0.1 + 0.9. Is s at least as big as g?
True
Suppose 3 = -2*b + 31. Let y be 24/b + 6/(-3). Let s = 0.2 - 0.2. Which is greater: s or y?
s
Let p(a) be the second derivative of -7/2*a**2 - 2*a + 0 + 1/6*a**3 - 1/2*a**4 + 1/20*a**5. Let u be p(6). Does u = 0?
False
Let r = 0.05 + -0.03. Let i = r - 0.12. Which is greater: -9 or i?
i
Let u = 4 - 6. Let f be -10*(2/u + 2). Let y be (-2)/(-30) + 2/f. Which is bigger: y or 0?
0
Let k be 36/2 - (6 + -6). Suppose -l + 9*z = 4*z + k, -4*z = -l - 14. Let j be 7/21 + l/(-18). Is j greater than or equal to -1?
True
Let r = -5 - -4.9. Let v = -0.1 + 0.3. Is r > v?
False
Let p = -91/2 + 44. Is p <= -2?
False
Let p = -0.28 - 0.82. Let u = -1 - p. Which is smaller: 1 or u?
u
Let v(f) = 3*f - 4*f + 2*f**2 + 3 - f**2 + 5*f. Let t be v(-2). Is t bigger than 1?
False
Let l(h) = 3*h**3 - h**2 + 2*h - 2. Let y be l(2). Let g be 14/(-6)*y/77. Which is smaller: -0.3 or g?
g
Suppose 0*q + 15 = -4*q - 5*z, 12 = -q - 4*z. Suppose -2*u - 11 = 3*j, j - 2*u + 38 = -3*j. Let b be 1 - j/(-5) - 0. Which is smaller: q or b?
b
Let z be (-5)/(-3) + 2/(-3). Suppose l - 2 - 2 = 0. Suppose 3 = -a + l. Is z < a?
False
Suppose 2*d + 3 - 23 = 0. Let t be (2/d)/(8/20). Is 0 greater than t?
False
Let c = 1 + -1. Suppose 3 = -3*l - c. Let j = 1 - 1.1. Is l at most j?
True
Let y be 5/6 - (-3)/18. Let p = -1 + y. Let s = 389/35 - 75/7. Which is smaller: p or s?
p
Let j = 26 - 77/3. Is -1 less than j?
True
Let r be -4 - (0 - (-3 + 7)). Is r < -2/87?
False
Let l be 2/(-7) - 4/(-14). Suppose -4*a + 8 = s, -s = 3*a + 4*s - 6. Let o be (-2)/(-10) - a/(-10). Are o and l equal?
False
Let n be 6 + (-2 - (-1)/1). Let b(g) = g**3 - 6*g**2 + 3*g + 7. Let m be b(n). Let v be (-20)/(-2)*(-4)/10. Is v >= m?
False
Let u be -1 - ((-7)/2 - -1). Let j = -0.668 + 0.568. Which is greater: j or u?
u
Suppose 0 = -2*l - l. Let m = 1 - l. Let t = m - 1. Which is smaller: t or -4/3?
-4/3
Let u = 0.072 + -6.372. Let m = -6 - u. Let l = m - 0.2. Which is bigger: l or 1/4?
1/4
Suppose m + 4*m - 7 = h, -2*m - 5*h = -19. Suppose 2 = -4*p - m. Which is smaller: p or 0?
p
Let r = -4 - -4. Let t = 0.18 + -0.2. Which is smaller: r or t?
t
Let d be 3*-3 - (0 + 1). Let v(c) = c**2 + 8*c + 6. Let n be v(-5). Is d <= n?
True
Suppose -25 = -5*g, 0 = v - 0*v + g - 11. Let j(o) = 3*o - 13. Let y be j(v). Let d = -2.1 + 2. Which is smaller: y or d?
d
Let j be -1*4/3 + (-1)/(-3). Which is smaller: 0.041 or j?
j
Suppose -2*z = -g + 43 + 9, -5*z = 3*g + 130. Let x = 36 + z. Let k(b) = -b**3 - 10*b**2 + 10*b - 2. Let q be k(-11). Which is greater: q or x?
x
Let r = 6 + -8. Let t = 0.1 + 0.9. Which is greater: t or r?
t
Let y = -169/77 - -21/11. Let d be 2/(2*6/15). Let l = -21/10 + d. Are y and l nonequal?
True
Suppose 7*i = 11 - 18. Suppose 3*d = -0*d - 204. Let x = d + 1019/15. Is i at least as big as x?
False
Let c(u) = u + 13. Let x(n) = -2. Let d(j) = 2*c(j) + 14*x(j). Let o be d(4). Which is smaller: o or 5?
5
Let p = 3.1 + -6.1. Is p smaller than 5/3?
True
Let g = 14 - 8. Let v = -4 + g. Suppose -v*q - 2 = t + 4*t, 3*q + 3 = t. Which is greater: -1/8 or q?
-1/8
Suppose 9 = -0*l + 3*l. Suppose l*d = -2*d + 5. Is 1 bigger than d?
False
Let p = 21 + -20. Which is smaller: p or -4/17?
-4/17
Let w(s) = -5*s + 1. Let q(o) = -6*o + 1. Let x(m) = -4*q(m) + 5*w(m). Let b be x(-1). Suppose -i + 5*i - 8 = 0. Is i less than b?
False
Suppose 3*f - 18 = 2*t, 3 = 5*f - 2*f + 3*t. Let c(n) = n**3 - 3*n**2 - 4*n - 4. Let w be c(f). Which is greater: -6 or w?
w
Let c = 111 + -112.2. Does c = 1?
False
Let g(z) = -z**2 + 9*z - 9. Let x be g(7). Suppose -x = 2*p - 5*d - 0, 2*d - 2 = 3*p. Are p and -1 equal?
False
Let o(q) = q + 8. Let r be o(-3). Are r and 7 nonequal?
True
Suppose -d = -0*d - 1. Let z(u) = -u**2 + 5*u + 2. Let i be z(6). Let r = i + 5. Is d less than r?
False
Let d(n) = -n - 9. Let s be d(-5). Let c = 151 + -152. Is s bigger than c?
False
Suppose 0 = -4*a - 0*a - n + 38, -2*n = -a + 14. Let l be (-4)/a + 56/65. Let k = l + -144/143. Is k at most -1?
False
Let h(p) = p**3 + 6*p**2 - 6*p + 5. Let j be h(-7). Let z be ((-6)/(-4))/(1/j). Are -4 and z non-equal?
True
Let g be 26/8 + 3 + -5. Which is smaller: g or 2?
g
Let u be 1/4*(-5)/(-20)*0. Which is smaller: 5/38 or u?
u
Suppose 4*f - 3*t + 2*t + 6 = 0, 1 = f + t. Which is bigger: -8/15 or f?
-8/15
Let t = -12 + 2. Let n be (-2 + 10/4)*t. Which is smaller: n or -4?
n
Let t be (-5)/(-3) - 14/21. Which is bigger: -2/11 or t?
t
Let a be ((-6)/(-3) - 4) + -23. Let k = a - -19. Let q be (-2)/(1/4*2). Does k = q?
False
Let s(o) = -o**2 - 10*o + 11. Let k = -10 - 1. Let c be s(k). Is -2/31 greater than or equal to c?
False
Let o(v) = -v**2 - 3*v - 3. Let m be o(-3). Let u be (-4)/m*(-27)/6. Let k be (-2)/u - 16/30. Is -1 != k?
True
Let s be -1 + (684/80)/9. Is s bigger than -1?
True
Suppose 0 - 10 = -10*i. Is 6/25 at least i?
False
Let r = -9 - -10. Which is bigger: r or -0.3?
r
Let h(w) = 9*w + 12. Let b be h(-5). Which is smaller: -34 or b?
-34
Let t = 5 - 15. Let x = t - -11. Which is smaller: x or 7?
x
Let k(b) = -4 - 8*b**2 - 9*b + 0*b**3 - 5*b**3 - 2*b**2 + 4*b**3. Let l be k(-9). Let h = 1 - l. Which is smaller: 4 or h?
4
Suppose 3 = 5*n - 2. Let m be (2/4)/(3/6). Does n = m?
True
Let g be 3*(-1)/((-12)/16). Which is bigger: 3 or g?
g
Suppose 1 = -6*j + 25. Is j equal to 15/4?
False
Let l be (-1)/6*(-48)/36. Which is smaller: l or 5?
l
Let a = 1.16 - 0.16. Let i = 1.3 - a. Is i less than or equal to 0.2?
False
Let y(l) = -l**3 - 3*l**2 - 2*l + 1. Let b be y(-2). Let n = 409 + -6950/17. Which is smaller: n or b?
n
Let p = -0.07 + -0.02. Let f = -0.01 + p. Let g = -2.8 + 3. Which is smaller: f or g?
f
Let l = 4 - -1. Suppose 3*f = 4 + l. Let d be -1 + 12/f - 1. Which is smaller: d or 3/5?
3/5
Let m(g) be the first derivative of -g**2/2 + 6*g + 3. Let q be m(7). Which is smaller: q or 1?
q
Let u be (-9)/6*2 + 101/33. Is 1 != u?
True
Let n = -64 + 66.9. Let a = n + -3. Which is bigger: 2 or a?
2
Let f = 12 + -7. Let h = -5 + f. Which is greater: 0.4 or h?
0.4
Suppose 3*b = -b. Suppose b*n = 2*n. L