/(9/(-80)). Suppose 6*a = 4*a - 20. Let t = h + a. Is t >= -0.1?
True
Let k = -0.09 - -0.04. Let x = 3.95 - k. Is x not equal to 0?
True
Let m(b) = b**2 + 3*b + 5. Let f be m(-5). Let j be 2*f*(3 - 1). Let h be ((-1)/10)/((-8)/j). Is 2 not equal to h?
True
Suppose -16 = -j + 5*j. Let x be 8/390 - j/30. Is x at most as big as 1?
True
Let a be 0 - (1 - (3 - 2)). Suppose -h = -a*h. Let n = -23/2 - -12. Which is smaller: h or n?
h
Let i = 38296/39 + -982. Which is smaller: i or -1?
-1
Suppose -g + 6*g = 10. Let z be g - (3 - (-51)/(-57)). Which is smaller: z or 1?
z
Let v = -3/80 + 107/720. Suppose 0 = -3*m + 4*m - 3. Let p = m + -3. Do v and p have the same value?
False
Let a be (-12 - -21) + 2/1. Which is bigger: 10 or a?
a
Suppose -3*z + 8 + 1 = 0. Suppose 0 = -z*u - 2*u - 15. Is -1 equal to u?
False
Let c(r) = r**3 + 7*r**2 + 6*r + 4. Let g be c(-6). Let n be 4 - (-1 - -2)/1. Suppose -n*d = -3*t - t + 29, -g*t = -d - 23. Is d less than -3?
False
Let p = -0.01 + 0.11. Let m = 0.2 - p. Which is smaller: m or -0.2?
-0.2
Let y = 10 - 9. Let p = 1.05 - 1. Let n = p - 0.05. Which is bigger: y or n?
y
Let v(h) = -h**2 - 5*h - 2. Let z be v(-4). Suppose -4*t = o - 37, -5*o + z + 15 = -t. Let q be 2/(-5) - t/5. Is q bigger than -4?
True
Let o(l) = -l**2 - 5. Let w be o(0). Let p(z) = z**2 + 4*z - 1. Let m be p(w). Which is bigger: m or 9/2?
9/2
Let h be (-3)/(-9)*-4*-3. Suppose w - 5*w = -h. Is w less than or equal to 3/8?
False
Suppose -f - 2*f = -9. Suppose 0 = -l + f*l. Which is greater: l or -2/5?
l
Suppose d = -2*d - 6. Let k(u) = -6*u - 19. Let w be k(-3). Which is bigger: d or w?
w
Let g be 2 + 3/(-2) - (-4)/8. Let r = -0.01 - 6.99. Which is bigger: r or g?
g
Suppose 2*f - 36 = -2*f. Is f bigger than 8?
True
Suppose -5*w - l = -0*l - 7, 6 = -4*w + 5*l. Let d be -1 + (-48)/(-21) + -1. Which is smaller: w or d?
d
Let h(p) be the first derivative of p**2/2 - p - 9. Let f be h(1). Which is smaller: 3/14 or f?
f
Let z = 16 - 16.1. Let q(s) = 5*s**3 - s**2 + 1. Let c be q(-1). Which is greater: z or c?
z
Let p = -630 - -15752/25. Let w be (2/3)/(6/(-9)). Is p smaller than w?
False
Let d = 461/3 + -155. Suppose -2 - 2 = -c. Suppose c*r = 6*r. Which is bigger: d or r?
r
Let b = 0.1 + -2.1. Let j = 73 - 37. Let i = j - 33. Which is bigger: i or b?
i
Let t(r) = r**2 - 2*r - 4. Let v be t(3). Let b = 0 - 0. Let c(a) = a + 1. Let i be c(b). Which is smaller: i or v?
v
Let y = 20 + -121/6. Let c be 22/14 + (-8)/14. Which is smaller: c or y?
y
Let q = -5 - -4. Let k = -5149/17 + 303. Which is greater: k or q?
k
Let u = 18 - 17. Suppose 0 = -g - 4*g - 3*v - 1, 0 = g + v + u. Which is greater: g or -3/8?
g
Suppose 3*f + 15 = 12. Is f > 2/49?
False
Let n = -2.72 + 1.72. Is n smaller than 148/3?
True
Let r = 7.3 + -17.3. Is r at most -0.1?
True
Let x be (-1)/3 + 16/(-24). Suppose -5*w + 3*w = 20. Let i be 4/w - 6/10. Is x equal to i?
True
Suppose y - 5*j + 7 = 2*y, 3*j - 9 = y. Let v(m) = 7*m**2 - 4 - m**3 - 8*m**2 - 5*m**2 + 7*m. Let t be v(-7). Which is greater: y or t?
y
Let d be ((-5)/(-2) + -2)*2. Let z = 0 + d. Let j = -79/6 - -13. Which is smaller: z or j?
j
Suppose 3*o + 4*c = -6, -3*o - 1 + 13 = -2*c. Suppose r + o*l - 5 = 0, l = 4*r + 4*l - 10. Let f be (-37)/(-13) - (4 - 1). Does f = r?
False
Let y = -166/35 + 36/7. Suppose 0*x - 3*x = 6. Let t = x - -3. Which is greater: t or y?
t
Suppose 0 = 3*q - 5*p + 28, 0 = -4*q + 4*p - 7*p + 11. Let y = 132 - 130. Is q greater than or equal to y?
False
Let h be 7 + 0 + 2 + 0. Let l = h - 7. Is l at most 2?
True
Let n = 43/3 - 15. Let h(w) = w**3 + 8*w**2 + 5*w - 10. Let o be h(-7). Let t(x) = x**3 - 4*x**2 + x - 2. Let l be t(o). Is n greater than or equal to l?
False
Let h be -1*(-5 + 3) - 0. Is h smaller than 6?
True
Suppose -w - 4 = -0*w + k, 12 = w - 3*k. Is 5/9 < w?
False
Let b be -3*(-3)/9 + 1. Let q be b - 2*(-24)/(-21). Which is greater: 2 or q?
2
Let d = -0.23 + 0.03. Let s = 6 + -4. Is s greater than d?
True
Let k = -0.11 + 0.21. Suppose -5*c = -2*c - 27. Which is bigger: k or c?
c
Let o be ((-10)/4 + 2)*14. Let b be (-3)/(-1*12/(-80)). Let g = -26 - b. Does g = o?
False
Let a(x) = -x**2 + 9*x - 1. Let q be a(6). Let f = -17 + q. Is 0 < f?
False
Let o(p) = -p + 3. Let r be o(0). Let f be r/(-1)*2/(-21). Let d = -8 + 8. Is d greater than f?
False
Let b(l) = -l**2 + l - 2. Let s be b(0). Let v be (-58)/(-5) + 15/(-25). Let p = 10 - v. Which is smaller: s or p?
s
Suppose 4*h + 5*j = 9, -2*j - 2 = -5*h + h. Which is bigger: h or -2/87?
h
Let d be (-2)/21*(-6)/2. Suppose 2*b + c = 0, 0*c = -4*b - 4*c. Which is smaller: d or b?
b
Let t = -2 + 6. Let i be (-3)/(3*(-1)/t). Suppose -i*c = -c. Is 1 greater than c?
True
Let i be 75/12 - 6/24. Is i not equal to 6?
False
Let u = -0.007 + -21.993. Which is smaller: 2/5 or u?
u
Let n = 2323/50 - 93/2. Are n and 0 equal?
False
Let y be (-12)/(-9) - 1/3. Let i(g) = 3*g**2 - g. Let o be i(y). Suppose -o*j - 3*j - 5 = 0. Which is greater: -1/5 or j?
-1/5
Let w(p) = -43*p**2 - 2*p + 2. Let b be w(1). Is b less than or equal to -44?
False
Let q = 1.3 - 1.35. Which is greater: -1 or q?
q
Let u = 27 - 28. Is 1/5 at least as big as u?
True
Let m be (19/2052)/((-2)/3). Which is greater: m or 1?
1
Let l = 7.7 - 8. Let f = 3/17 + 1/187. Which is smaller: f or l?
l
Suppose 4*w + 3 + 7 = 5*o, -3*o + 6 = w. Suppose -4*l + 5*s = 4*s + 25, 2*l + o*s = 0. Is -4 smaller than l?
False
Let n = 7 + -7. Suppose 0 = 4*h - 2*c - 8, 0 = h + 5*c - n + 9. Let r = 2 - h. Is r <= -1/6?
False
Let u = 1 - -2. Suppose -k - y - 4 = k, -k - 7 = u*y. Let n = -3 - k. Do -3/5 and n have different values?
True
Suppose q - 4 = -0*q. Suppose -2*f + 19 = 2*o + 1, 2*f = 4*o - 12. Suppose a + 3*u - 3 = 0, -4 + 0 = f*a - 4*u. Is q < a?
False
Let z = 7 + -3. Let w = -3 + z. Let t be ((-3)/(-4))/((-63)/24). Is w <= t?
False
Let l(h) = h + 3. Let q be l(-3). Suppose 2*m + 12 = 3*m + 2*z, 3*m + 4*z - 32 = q. Suppose 5*u - 4*a = 17, 0*u = 2*u - 2*a - m. Which is greater: -3/8 or u?
u
Let q be -4 + (-132)/(-15) - 5. Let m = 1 - 1. Is m at most q?
False
Suppose -4*k + 16 = -56. Let n be 1/(-4) - k/24. Does n = -2?
False
Let h(x) = -3*x + 16 + 5*x - 8*x + 2*x. Let w be h(7). Which is bigger: -11 or w?
-11
Suppose 0 = 2*b - t + 11, -5*t + 37 = -3*b + 10. Is b greater than -2?
False
Suppose 3*a - 8*a + g = -99, -4*g = -4. Let n be 3/(-12) - a/(-16). Which is bigger: 1/3 or n?
n
Suppose x - 19 = -5*d, -x - 11*d = -9*d - 7. Is 5/19 equal to x?
False
Let p be ((-3)/9*-3)/1. Let i be (1/3)/(p/15). Let t(j) = j**3 - 5*j**2 + j - 4. Let c be t(i). Which is bigger: c or -1?
c
Suppose -m = -2*t - 0*m + 2, 0 = 4*t + m + 2. Let z be (t + 0)/(2 - 3). Which is smaller: -1/7 or z?
-1/7
Suppose -5*s - 87 = -2*z + 65, -3*z - 147 = 5*s. Is -29 smaller than s?
False
Let f = 7.7 + -14.7. Which is smaller: -0.11 or f?
f
Let i be -140*((-72)/4100)/(-3). Let h = i + 9/41. Is -1 greater than h?
False
Let p = 0.15 + -0.05. Is p greater than or equal to 1?
False
Let j = 1901022/4412785 - 2/67889. Let z = -3/13 + j. Which is greater: 0 or z?
z
Let o(l) = l**3 - 10*l**2 + 9*l - 8. Let q be o(9). Let n(b) = b**2 + 10*b + 10. Let s be n(q). Which is smaller: s or -14/3?
s
Let f = -3 - -6. Suppose 3*c + 2*i = 7, 4*c - 6*i + 2 = -f*i. Let q = c + 0. Which is smaller: 2 or q?
q
Let s = 925/13 + -71. Let k = -32/39 + s. Which is smaller: k or 0.2?
k
Suppose -5*d + 12 = 2. Suppose -2*h = d*h. Let v be 0/(-1 - h/3). Is v < -1/11?
False
Suppose 2*n - 10 = 2*y, -5*n = -2*y - n - 12. Let x be 1/2*y/1. Let l = -2 - 1. Which is smaller: x or l?
l
Let a be (-237)/(-450) + (-3)/6. Which is bigger: a or 0?
a
Let j be (-4)/(-8)*(-3 + 1). Let x = 29/52 - 4/13. Let k = x - 3/28. Which is bigger: j or k?
k
Let y(l) = -l**3 + 4*l + 3. Let u = 2 - 4. Let s be y(u). Suppose 0 = -a - s + 2. Is a smaller than -2/5?
True
Suppose -33 = -l + 3*s, l - 4*s - 34 = -2*s. Suppose -l = 2*g + 2*g. Is g smaller than -9?
False
Let h(p) = p**3 - 9*p**2 - p + 8. Let a be h(9). Is 2/35 < a?
False
Let c be ((10/(-3138))/(-5))/(2/12). Which is greater: -1 or c?
c
Let t(q) be the second derivative of -q**4/12 - q**3/6 - q**2/2 + 3*q. Suppose 2*p + 5*n = 3*p - 25, -n - 5 = -p. Let d be t(p). Are -2 and d non-equal?
True
Suppose 0 = -0*i + i + 1. Let z be (-5)/2 - i/(-2). Let v(x) = x*