?
True
Let l be -1 - ((-2)/9 + -1). Suppose 1 = 5*r + 3*v + 6, -4*r = -v + 4. Let u be (1 + r)/(1 - 2). Is l at most u?
False
Let v(z) = z + 1. Let n be v(-4). Which is greater: n or -2?
-2
Let x = 8 - 8.12. Let k = x - -0.07. Let f = k + 0.05. Is -1 at most f?
True
Suppose 0 = -4*u + 1 + 3. Suppose 7*y - 37 = -9. Which is bigger: u or y?
y
Let x be -3 + (-2)/(-20)*29. Let p = 5 - 6. Are x and p equal?
False
Suppose -3 = 2*p + 1. Let z be ((-6)/(-18))/((-2)/(-12)). Let r(i) = i - 3. Let s be r(z). Which is greater: p or s?
s
Let o be ((-1)/(-21))/((-4)/12). Is 0 at most as big as o?
False
Let t = 2.6 - 2.7. Which is smaller: t or 0.05?
t
Let h = 159 - 158.8. Which is smaller: -4 or h?
-4
Let i = 12 - 10. Let m = -13 + 19. Let a be m/(-9) - 1/3. Which is smaller: a or i?
a
Let f = -8 + 12. Is f less than 7?
True
Let u be (9/6)/3*-2. Let z(q) = q. Let p be z(u). Let v = 1 + -3. Are v and p nonequal?
True
Let x = 5 + -3. Let r = x + -1. Let n be ((-2)/(-3))/((-6)/(-18)). Which is smaller: n or r?
r
Let v(j) = -7*j - 18. Let z be v(-6). Suppose 7*n - z = 11. Which is smaller: 2 or n?
2
Let w be 1*(-7)/((-154)/(-4)). Let l(i) = -i**2 + 4*i - 1. Let r be l(3). Suppose 0 = 2*g - r - 0. Is w <= g?
True
Suppose 0 = 8*u - 2*u + 36. Which is greater: -10 or u?
u
Suppose -q + 0*l + 3*l + 1 = 0, -l = 2*q + 12. Let z(r) = -2*r - 11. Let c be z(q). Is c greater than or equal to -1?
True
Let y be (-11)/(-2) - (-30)/(-10). Which is greater: y or 4?
4
Let g(x) = -x**3 - 5*x**2 + 3*x + 1. Let z be g(-3). Let y = z - -21. Is -6 less than or equal to y?
True
Let l be 2 - (1 + 5/4). Let y = 10.18 + -0.18. Which is bigger: y or l?
y
Let o(h) = h**2 + 7*h - 7. Let r(c) = c**3 + 2*c**2 + 1. Let g be r(-3). Let t be o(g). Suppose q - 5*q - 8 = 0. Which is smaller: t or q?
q
Let q be (-3 - -2) + 2 + 7. Let g(t) = t**2 + t. Let x be g(3). Suppose -5*f + 23 = -x. Is q > f?
True
Let b = -25/4 - -6. Let h(r) = -r - 2. Let x be h(-1). Does x = b?
False
Let o be (-4 - -2)*5/10. Suppose -6*d + d = 25, -5*f = -2*d - 15. Let v be (f/10)/(o/2). Which is smaller: 1 or v?
v
Let y(c) = c + 7. Let v be y(-5). Which is greater: v or -11?
v
Suppose 18 = -3*v - 5*i, -v + 4*i + 8 = 3*v. Let o = -1 - v. Let j be 3/9 - (-6)/9. Which is smaller: j or o?
o
Let z be (4 - 1 - 7) + 8. Which is greater: z or 2?
z
Let p(f) = f**3 + 4*f**2 - 7*f + 1. Let n be -1 - (8/2 - -1). Let u be p(n). Let d = u + 143/5. Which is smaller: -1 or d?
-1
Let g = 0.16 - 0.16. Which is greater: g or -3?
g
Let j = 20 - 15. Is 5 at least as big as j?
True
Suppose -x - 14 = l, -3*x - 4*l - 38 = -0*l. Suppose -2*i + 2*s - 5*s = -24, 0 = i - 2*s + 2. Let w be ((-2)/i)/((-6)/x). Is w smaller than -1/3?
True
Let r = 2886050921/2029 - 1422401. Let h = r + 1375509/2633642. Let g = h - -1/118. Which is bigger: 0 or g?
g
Let w(h) = -2 + 6*h**2 - 3 + 7*h - 7*h**2. Let s be w(4). Is s less than -0.1?
False
Let x = 7/10 - 46/55. Let v = 1/88 + x. Is v greater than 0?
False
Let i be 3*(0 + 2/(-12)). Which is smaller: i or 7?
i
Let n(q) = -13*q + 46. Let w be n(4). Is -7 greater than w?
False
Let j be (-2)/1 + 2 + -3. Let x(c) = -c**2 + 4*c - 5. Let d be x(2). Is j at most d?
True
Let n = -10 + 14. Suppose -2*q - 6 = -n*q. Suppose -2 = -w + 2. Is q less than or equal to w?
True
Let m = -0.1 - -0.1. Let a = 172 - 175. Which is smaller: a or m?
a
Let o be (-1)/2*(2 - -1956). Let m = -5887/6 - o. Which is greater: m or -1?
-1
Let q(i) = -4*i - 1. Let t be q(-1). Let u be -4*(2 - 6) - 3. Let h = -9 + u. Is t at most as big as h?
True
Let z = -21 - -18. Is z bigger than -5?
True
Suppose -4*f + 5 - 1 = 0. Suppose 2*r = 0, -8*x + r + 15 = -3*x. Which is greater: x or f?
x
Let z(j) = j**2 + 6*j - 2. Let u be z(-6). Let l(w) = w - 21. Let b be l(22). Let h be 0/(b/((-1)/u)). Which is smaller: 1/2 or h?
h
Let l = -3 + -8. Let d = l + 13. Is 0.02 less than or equal to d?
True
Let b(n) = n**2 - n. Let z be b(3). Let s(t) = -t - 11. Let r be s(-9). Let l be 0*r*3/z. Does 0.1 = l?
False
Suppose -1 + 10 = d + 2*o, 10 = 2*o. Which is greater: d or 1?
1
Let p = -5 - -7. Let s = 6 + -10. Let v be 1/2 + (-2)/s. Do p and v have different values?
True
Let h(q) be the first derivative of -q**4/4 - 3*q**3 - 7*q**2/2 + 10*q - 1. Let r be h(-8). Suppose 5*m - 24 = -2*c, -r*m = c - 6*m + 14. Is 2/5 bigger than c?
False
Let q = 2 + 1. Suppose -d + 40 = q*d + 4*o, 0 = 4*d + 5*o - 44. Suppose 3*y - 2*n = 4 - 2, d = 3*y - 3*n. Which is smaller: y or -2/5?
y
Suppose 0 = -3*t - 7*p + 8*p + 17, t - 3 = -p. Are 6 and t unequal?
True
Let l be (-14 + 17)*(-1 + 254/246). Which is smaller: 0 or l?
0
Suppose -25 = 2*z - 7*z. Let y(g) = -g**2 + 5*g + 5. Let o be y(z). Are 5 and o unequal?
False
Let c = -1/44 - -23/44. Let s(h) = -h**3 + 9*h**2 - h + 1. Let f be s(9). Let a be (-2 + 0)*4/f. Is c equal to a?
False
Let t(q) = q**2 + 13*q + 4. Let p be t(-12). Let r(w) = 2*w + 17. Let i be r(p). Is i greater than 0.1?
True
Suppose t = 2*c + c + 7, -5*t = -20. Let j = -3 - c. Let i be j + 3 + 18/(-10). Which is greater: i or 0?
0
Let b(k) = -k**3 - 16*k**2 - 15*k + 6. Let w be b(-15). Suppose w*n = n. Which is smaller: -1/2 or n?
-1/2
Let z = -3 + 7. Suppose z*r + 3*a + 23 = 0, r + 3 = -3*r + a. Let f be (r - (-22)/8)/2. Which is smaller: f or -1?
-1
Let y be 14/(-21) - (-128)/3. Let w = y - 169/4. Which is smaller: 0 or w?
w
Let m(s) = s + 2. Let v be m(-1). Let x = -112 + 562/5. Are x and v equal?
False
Let w = -3 - -21. Suppose -4*l + 5*v + 13 = -w, 0 = -l + 4*v + 16. Suppose -l*r = -8 + 28. Is -4 smaller than r?
False
Let m = 4 - -1. Let a(l) = l**3 - 5*l**2 - l + 5. Let p be a(m). Let q be 1 + (-1 - 2/(-10)). Which is smaller: p or q?
p
Let i be (3 + 0)*1/3. Let s be (2 - i)/(3/(-9)). Which is smaller: -1 or s?
s
Let g = 0.82 + -0.42. Which is bigger: -2 or g?
g
Let p(t) = t**3 - 2*t**2 + 9*t + 5. Let v be p(-3). Which is smaller: v or -68?
-68
Let l(s) = s**3 - 11 - 3*s**2 + s + 11. Let o be l(2). Is -3 > o?
False
Suppose 0 = 3*v - 4*l - 15, l + 15 = 3*v - 0*l. Suppose -16 = w + 5*a, v*w + 6*a + 38 = 2*a. Let t be 3/w + 1/2. Is -2 <= t?
True
Let m be ((-8)/(-70))/((-4)/10). Let p be 3/(-9)*(-4 - -1). Let d = -1 + p. Does d = m?
False
Suppose 3*p - 5*j + 22 = 4, 4*j - 12 = 0. Let u be ((-2)/(-6))/((-3)/6). Do u and p have different values?
True
Let t be ((-36)/(2/1))/(-4 - -3). Is 17 < t?
True
Let z = 12333/20995 - -1/1235. Is 0 greater than z?
False
Let m be 2/(-10) + (-38)/10. Let a = 2 + m. Let g be (-1)/21 - a/(-7). Is -3 equal to g?
False
Let t = 29 + -25. Which is smaller: t or 3?
3
Let h = -73 - -27. Let i be 1/3 + h/(-6). Is 7 >= i?
False
Let h(b) = -b**2 - 3*b - 5. Let n be h(-5). Let z be (-2 - n/6)*0. Is -2/7 != z?
True
Suppose -22 = -5*s + 48. Let a = -15 + s. Which is bigger: a or -6/11?
-6/11
Suppose 0 = 3*z + 4*l - 13, -z - 3*l + 11 = -0*z. Let y be (-164)/460 + 10/25. Is y != z?
True
Let k be (-11)/(-33) + 20/(-6). Let m be (2*k/(-2))/8. Is m bigger than 1?
False
Let b = -187/6 - -31. Which is smaller: b or 0?
b
Suppose 2*j - 2*t = 4*j, 5*j + t + 4 = 0. Let g = 0 - 0. Suppose 3*n + 0*n = k + 1, g = -4*k - 2*n - 4. Is j at most k?
True
Let l(w) = w**2 - 4*w - 3. Let m be l(5). Suppose -3*t + m*o = -3*o - 21, -4*t = -5*o - 23. Let i = 47 - 89/2. Is i at most as big as t?
False
Suppose -4*x - 81 = 5*i, 0*x + 11 = x - 5*i. Let c(v) = -v**2 - 4*v - 3. Let t be c(-6). Are t and x unequal?
True
Let u = -0.21 - -0.23. Which is smaller: -1 or u?
-1
Let s(j) = -j - 10. Let n be s(-19). Do 7 and n have the same value?
False
Suppose -3*b + 3*q - 4 = -2*q, q + 1 = 0. Which is smaller: 0.4 or b?
b
Let s = -1.6 + 11.2. Let b = -25 + 35. Let n = s - b. Which is greater: 0 or n?
0
Let d(r) = 1 + 3*r + 0*r - 2*r + 4. Let u be d(-12). Which is smaller: -4 or u?
u
Let x = 6 - 13/2. Which is bigger: x or -0.1?
-0.1
Let y be (4/8)/((-1)/(-2)). Which is greater: y or -1/49?
y
Suppose 20 + 110 = 5*b. Is b bigger than 126/5?
True
Let b(v) = -v**2 + 9*v - 5. Let i be b(7). Let u be 2/(-6) - 1131/i. Let x = 1132/9 + u. Is 0 smaller than x?
False
Suppose -2*u + 5*u = -5*k + 7, 0 = 4*k + 3*u - 5. Let j be ((-18)/(-15) - 2)/k. Let l = 1 + -1.3. Is l <= j?
False
Suppose -w - v = 3*w - 1, 0 = 4*w + 2*v - 6. Let p(t) = -t**3 + 3*t**2 - 3*t + 2. Suppose 3*d = 4 + 2. Let l be p(d). I