t o be 40/15*3/(-2). Let v be f(o). Which is bigger: 3 or v?
3
Suppose -f - f - 3*t = 45, -f - 4*t = 20. Which is smaller: -23 or f?
f
Let f(r) = -r + 7. Suppose j = -3*j + 28. Let h be f(j). Which is smaller: 1/2 or h?
h
Let j(v) = v**3 - 4*v**2 + 4*v + 1. Let f be j(3). Suppose -4*s = -4*c + 8, -3*s + c - f = -4*s. Is -1 smaller than s?
True
Let g(q) = q + 9. Let f be g(-7). Let a be (1 - 2) + f + -2. Which is smaller: -2/5 or a?
a
Let x be 53/5 - (-26)/65. Is x >= -1?
True
Suppose 0 = 3*r - r. Let t = 1 + r. Is t less than or equal to 6/13?
False
Let g(k) = -2 + 0*k + k - 3. Let x be g(5). Is x at least as big as -1/6?
True
Let a be ((-18)/4)/(14/(-28)). Let k = -0.3 - -0.2. Which is greater: k or a?
a
Let l be 6/15 - 95/175. Which is smaller: l or 1/2?
l
Let f = -0.33 - -0.53. Which is greater: -14/5 or f?
f
Suppose -o - 1 = 2*p, -4*o - 12 = -6*o + 3*p. Let l = 12 + -10. Suppose 0 = g - 2 - l. Is g at most o?
False
Let l(h) = -5*h + 40. Let p be l(6). Which is greater: -2 or p?
p
Let g(x) = x - 13. Let j be g(12). Let d = 0 + -2. Which is smaller: d or j?
d
Let u = 3 + -11. Let t be 50/u + (-2)/(-8). Is t greater than or equal to -7?
True
Suppose 3*m - 9 = 3*q, -4*m + 0*q = 3*q - 12. Let h be 2 - (m/(-15) + 2). Do h and -1 have the same value?
False
Suppose -2*j + 3*d = 88, 0 = 5*j + 5*d - 4*d + 220. Is -42 equal to j?
False
Suppose i = 11 - 14. Is i greater than -1?
False
Let n = 11 - 7. Let y be (1 - -1)*(n + -2). Suppose 5*l = y*l - 2. Which is smaller: l or -3?
-3
Let a = 10 - 13. Which is greater: a or -3/5?
-3/5
Let x = -48 + 48.3. Which is greater: 5 or x?
5
Let i be (0 + -13)*7/21. Let m = i - -55/12. Let j = 1 - 1. Which is smaller: m or j?
j
Let v = -2 + -3. Let c(n) = -n**2 - 6*n - 5. Let o be c(v). Let k be 2/(-8) + (-7)/4. Which is bigger: o or k?
o
Let b = -0.831 + -0.179. Let t = 0.01 + b. Is t <= -1?
True
Suppose 0 = -3*s - 2*s + 25. Suppose -2*i = 2*i - 16. Let a = s - i. Which is bigger: 0 or a?
a
Let i = 18 - 37/2. Is i smaller than 1?
True
Let h = 0.04 - 0.04. Is -4 at least h?
False
Let y be -2*(-1 - 6/4). Suppose z - 1 = -0*z, y*z = -v + 4. Is -1 >= v?
True
Let j(l) be the third derivative of -l**5/120 - l**4/3 + l**3/6 - 2*l**2. Let z(b) be the first derivative of j(b). Let s be z(-7). Which is bigger: s or -2?
s
Suppose 0 = -4*d + 7*w - 2*w + 24, 2*d + w = 12. Let o(x) = 2*x - 8. Let n be o(d). Let j be (-7)/n + 3/4. Is 2/15 less than or equal to j?
False
Let g = 0.06 - -0.54. Let l = -0.05 - 0.25. Let r = g + l. Is r at most as big as -1?
False
Suppose 4*n - 4*s + 28 = 0, 2*s + s = -n + 9. Are -3 and n unequal?
False
Let h be (1/5)/((-6)/115). Let m = h - -83/24. Is 0 bigger than m?
True
Let u(b) = 2*b**3 + 2*b**2 - b. Let m be u(-2). Let l(a) = -a**2 - 7*a + 2. Let w be l(-7). Suppose 4*r + w + 2 = 0. Do m and r have the same value?
False
Suppose -r - 1 = -0*r. Let x be (-1 + r)/(6/21). Which is greater: x or -8?
x
Let v = 0 - 0. Let g = 1 + v. Let d = -3.07 - -0.07. Is g greater than or equal to d?
True
Let j be 3/(-6) + 2/(-2). Let f = -562 - -1083/2. Let p = f + 21. Is p <= j?
False
Let w = 2395 + -12023/5. Let z = w - -422/45. Which is smaller: 1 or z?
z
Let v = -4 + 4. Suppose v = 5*d - d. Let r = -16/11 + 134/77. Which is greater: r or d?
r
Let h(n) = -n**2 - 6*n + 16. Let q be h(-10). Which is greater: -23 or q?
-23
Suppose 2*b = -6*b + 16. Is b not equal to 14/19?
True
Suppose -18 = -3*i + 6. Let l(g) = 6*g**3 + 1. Let d be l(-1). Let z be i/d + (2 - 0). Is 0 at most as big as z?
True
Let w be 5/2*(1 + 1). Let f = w + -9. Is f at least as big as -3?
False
Suppose -4*h - 147 = w + 28, 2*h + 2*w = -86. Let b be 2/3 + h/48. Is b greater than -1?
True
Let j = 21 + -21. Is j smaller than 2/25?
True
Let i be ((-21)/(-3) - 5)*(-2)/4. Which is smaller: i or -1/22?
i
Let o(d) = -d - 13. Let l be o(-14). Let b be l/(-2 + 18/8). Is 6 less than or equal to b?
False
Suppose -4*f - o + 8 = -9*f, -5*o = -15. Let p be (-4 - f) + 10/(-15). Is p < -4?
False
Let d be 0 + -3 - (1 + 2). Let c be (-1)/d*4*1. Which is smaller: c or 1/2?
1/2
Let k be (-1 + -4)*(-22)/605. Which is smaller: k or 3?
k
Suppose 0*f + f + 3 = 0. Let v(m) = m - 7. Suppose -2*g + 17 = 3. Let l be v(g). Which is bigger: l or f?
l
Let t(w) = w - 5. Let p be t(7). Suppose 4*k = -y + 61, 0 = k - p*y - 7 - 15. Let j be (k/44)/(-3 - -1). Which is smaller: j or -1/4?
-1/4
Let s = -1341/10 - -134. Let c be (-5)/(-10) + (-6)/(-4). Let h be (-4 - (-2 - 1)) + c. Which is smaller: h or s?
s
Let o = 59/23 + -1609/161. Is o equal to -8?
False
Let l = -0.1 - 0.9. Is 0.2 at least as big as l?
True
Let q = 10 - 19/2. Let r = 10/13 - 76/65. Which is bigger: r or q?
q
Let u(c) = -c**2 + 3*c + 1. Let x be u(3). Is 1 less than or equal to x?
True
Let v(w) = -2*w**3 - w - 1. Let c be v(-1). Is 3 != c?
True
Suppose 0 = -15*h + 29 - 524. Is h <= -34?
False
Let m be (-6)/(-4)*42/(-9). Let d = m - -7. Is -2/5 less than d?
True
Let w = 23 - 23.34. Let y = -2.56 + w. Let x = y - -3. Are x and -0.3 equal?
False
Suppose 3*s + 27 = -z - z, -3*s = -2*z + 3. Let y be 4*(-3)/z - -2. Suppose y = 4*d + 20, 0 = -4*l + d. Is l <= -1?
True
Let n(z) = z + 3. Let a be n(-1). Which is smaller: 0 or a?
0
Let n be (28/49)/((-4)/(-14)). Let w be n/6 + 20/3. Let g be (-5)/w + 2 + -1. Is 1 not equal to g?
True
Suppose -q - 3*w - 4 - 6 = 0, 5*q = 5*w + 30. Suppose t = -3*t - q*f - 32, -f = 4*t + 28. Which is greater: -3 or t?
-3
Let u(z) = -2*z**2 + 3*z + 2. Let w be u(3). Let v = -7 - w. Are 1/6 and v nonequal?
True
Let u(t) = -t**2 - 3*t + 2. Let o be u(2). Let h = o + 13. Let d be (5 + -7)*h/4. Is d >= -3?
True
Suppose -15 = 5*f, -2*b - b + 4*f = -18. Let w = b - 2. Which is smaller: w or 2/11?
w
Suppose 0 = b - p + 2 - 1, 3 = -b + 2*p. Suppose -3*o = -b - 11. Which is bigger: 3 or o?
o
Let l be (-15)/(-2)*(-2)/(-20). Let d = -68 - -69. Do d and l have different values?
True
Let t be (-893)/228 + 2*2. Is 0 bigger than t?
False
Let c be (-21)/(-6) + -1 + -2. Is 3 equal to c?
False
Let q be (-11)/(-5)*(-125)/2010. Let v be 420/603 + 4/(-6). Let w = q - v. Which is smaller: w or 2?
w
Let p be 11/154 - (-1)/(-2). Which is bigger: p or -1?
p
Let m(n) = n**3 - 2*n**2 - 7. Let j be m(3). Which is greater: j or -0.06?
j
Suppose 2*s + 15 = 5. Let j be (-16)/(-32) + (-5 - -1). Which is greater: s or j?
j
Let u = 2 + -3. Let o be (6/4)/(45/(-12)). Which is smaller: o or u?
u
Let d = 13 - 22. Let r = d + 8.3. Let g = r + -0.3. Which is greater: 0 or g?
0
Let f = -1 - -2. Let g = -0.05 - -0.55. Let c = g - 0.2. Which is smaller: f or c?
c
Suppose 4*u + 21 = j, -5*j = 2*u + 8 - 25. Suppose -4*s + j = 3*p - 27, -2 = 2*s. Suppose 4*h - o = -4, -2*h - 2*h - p = -3*o. Which is smaller: h or 1?
h
Let o = 0.95 + -0.98. Is 4 at most as big as o?
False
Let k = 23 + -21.8. Is k at least as big as 0?
True
Let j = -10 + 15. Let x = 4 - j. Which is smaller: x or 0.1?
x
Let p = 96 - 37. Which is smaller: p or 2?
2
Let h(t) = t**2 - 14*t + 1. Let f be h(14). Suppose p = 3*p. Suppose p*j - 2*j = -2. Is j smaller than f?
False
Let i = 11 + -8. Let o = i + -3. Let y be 3 - (o + -2 + 3). Is 3 greater than y?
True
Let t = 12 + -7. Suppose 4*m + 7 = -t*c, 2*m + 3 = -3*c - 0. Which is greater: m or 0.3?
0.3
Let w be 372/(-873) - 1/(-3). Let r = -2003/679 - w. Is r smaller than -2?
True
Suppose 9 = 13*g - 43. Let t(i) = -i**3 - 4*i**2 - 2*i - 3. Let m be t(-4). Is g >= m?
False
Suppose -12 = -5*j - 2*t, 3*t = 2*j + 2*t - 3. Suppose -j*q - 2 = 6. Are q and -5 equal?
False
Let i(v) = 4*v - 42. Let f be i(11). Which is smaller: f or 0?
0
Let m = -72 + 73. Is m bigger than -2/33?
True
Let a(v) = -v**3 - 13*v**2 - 11*v + 11. Let q be a(-12). Which is smaller: q or 2/39?
q
Suppose 0 = -2*i + 21 - 7. Which is greater: 5 or i?
i
Suppose -13*a = -12*a - 5. Suppose -3*c + t = -c - 8, -2*t = -a*c + 20. Is 4 < c?
False
Let f = 26.6 + -27. Is f equal to -3?
False
Let n = -0.1 + -0.1. Let h = n - -0.2. Let w = -0.26 - -0.16. Is w <= h?
True
Let c = 10 - 7. Suppose 3*t - 4*l = -37, t + c*l = 6*l - 19. Is -8 < t?
True
Let x = -16 + 6. Does x = -11?
False
Let v be (-60)/(-189) - 4/18. Which is greater: v or 2?
2
Let f = 136/7 - 138/7. Suppose -4*j = 4*p + 20, 0 = -j - 5 + 1. Which is smaller: p or f?
p
Let m(u) be the third derivative of u**5/60