3*u + 0 + 9 = l. Is 3 >= u?
True
Let m(q) = q - 3. Let j(f) = f**2 - 5*f. Let u be j(5). Let z be m(u). Let r = 21 - 24. Is z at least as big as r?
True
Let p be 18/15*(-14)/(-69). Let r = p + -1/23. Is r > 0?
True
Suppose 3*t = 4*t + 1. Let o = -6 - -2. Let y be 3/o - 0/1. Are y and t equal?
False
Let w = -2.9 - -13.9. Let m = -11.2 + w. Is 0.1 > m?
True
Let o = -14 - -14. Which is smaller: -0.3 or o?
-0.3
Let t be 5/1*(-16)/(-20). Suppose t*z = -4, d + z - 5*z = 6. Let h be (2 + 19/(-10))*d. Do -1 and h have different values?
True
Let h(p) = p**3 - 5*p**2 + 6*p - 3. Let w be h(4). Let g = 1.9 - 2. Is g equal to w?
False
Let x = -31 + 31. Let d = 20 + -39/2. Which is smaller: d or x?
x
Let s = -10 - -7. Let c(q) = -3*q + 13. Let f be c(5). Which is greater: f or s?
f
Let g be (-2)/5 + 48/20. Suppose -g*d + 10 = 2. Let r = d - 7. Is -3 less than or equal to r?
True
Let z = 2.9 + -3.01. Let b = 0.89 - z. Is -0.3 >= b?
False
Suppose p - 2*r + 10 = 2*p, 5*p = -4*r + 20. Which is smaller: 1/14 or p?
p
Let j be (-4 + 380/16)/(3/12). Does j = 79?
True
Let x = -0.01 - -0.21. Let l = 1318/7 + -188. Do l and x have different values?
True
Let z = 33 + -30. Which is greater: z or 2?
z
Let s(t) = t**3 - t**2 + t. Suppose 9 = 4*v - v. Let y be 0 - (-2 - (-6)/v). Let o be s(y). Do 1/8 and o have the same value?
False
Let p = 9179 - 302960/33. Let r be (-8)/(-11) - (5 - 3). Let h = r - p. Which is smaller: -2 or h?
-2
Let a be ((-4)/6)/((-62)/(-6)). Suppose 4*j = -5*l + 29, 0 = 5*l - 12 - 13. Which is bigger: j or a?
j
Let l(m) = m + 8. Let x be l(-12). Is 1/3 at least as big as x?
True
Let c be ((-2)/(-4))/(-1)*(-20)/(-30). Suppose 0 = -2*w + 3*i - 7, 2*i + 1 = 7. Which is greater: w or c?
w
Let d(p) = -p**2 + 6*p + 7. Let f be d(7). Let u(t) = t**2 + t - 3. Let w be u(f). Suppose -v = 2*h + 4, -9 - 19 = 2*h - 5*v. Is h != w?
True
Let i be (-1 - 0/1)*1. Let k(w) = 2*w + 1 + 4*w - 9*w. Let m be k(1). Which is greater: m or i?
i
Let d = 0.2 - 0. Which is smaller: 1 or d?
d
Let h = -0.06 - -3.06. Let k = h - 2.9. Let l = k + 0.9. Which is smaller: l or 1/7?
1/7
Let a = 180 - 1258/7. Which is bigger: -2 or a?
a
Let s = -0.05 - -0.09. Let d = -1.96 - s. Which is smaller: 0.1 or d?
d
Suppose 9*g + 15 = 4*g. Suppose 2*q = -3*b + 4*q + 4, -4*b + 3*q = -4. Suppose -11 = b*d - m, 23 = -3*d + 4*m + 5. Are g and d equal?
False
Let d(t) = t**2 - t. Let o be d(2). Which is bigger: o or 4?
4
Let f(z) = z**3 - z**2 + 2*z - 1. Let k be f(2). Suppose -244 + 62 = -k*m. Do 26 and m have different values?
False
Let o = 16 - 10. Let a be o/(-4)*2/3. Which is bigger: -5/7 or a?
-5/7
Let d be 516/84 - 3*1. Which is greater: 4 or d?
4
Suppose -4*o + l + 7 = 0, -3*l = 3*o - 0*l - 24. Let h(k) = -k**3 + 9*k**2 - 8*k + 5. Let x be h(8). Suppose -x*s + 6 = -4. Which is greater: s or o?
o
Let o = 11 + 14. Let u = o + -39. Is -1 smaller than u?
False
Let z be ((-203)/(-7))/(10/3). Let c = -31/5 + z. Is 1 not equal to c?
True
Let o(k) = -k**2 + 2*k + 1. Let s be o(0). Is s at least 2/21?
True
Suppose -4*c - 24 = -2*n, 4*c + 4*n = -0*c. Which is smaller: c or -8?
-8
Suppose 2*t = -3*g + 32, 5*t - 44 = 4*g + 36. Suppose -5*u + a = 4, 4*a = -0*a + t. Does 1 = u?
False
Let i = 82.96 + -90. Let z = i + 7. Is z >= 2/5?
False
Suppose -8*f = -3*f + 2*n - 19, -f + 5 = n. Suppose 0 = -a - f*a. Let y be 1*-3*5/(79 - 4). Which is greater: y or a?
a
Suppose 5*g + 49 = -26. Let o be (-3)/g + 1/(-5). Suppose 4*c - c + 6 = o. Are -3/2 and c unequal?
True
Let c be -10*(0 - 14/(-12)). Let u = -11 - c. Let x = 1 - 0. Which is greater: u or x?
x
Let a(j) = -j - 33. Let g be a(-19). Are -14 and g equal?
True
Let i(h) = h**2 + 8*h - 18. Let z be i(-11). Which is greater: z or 19?
19
Let u = -6 + 25/4. Suppose 4*j + 4*b = 8*b + 20, 4*b + 12 = 2*j. Let p be (3/(-6))/(1/j). Which is greater: u or p?
u
Suppose 3*l + 20 = 5*i, 5 + 3 = 5*l + 2*i. Let a be ((-2)/(-16))/((-1)/2). Is l != a?
True
Let p = -374 + 5606/15. Which is bigger: 0 or p?
0
Suppose -4*i + 0 = 8. Which is bigger: i or -9/4?
i
Let u(c) = c**3 + c**2 - c - 1. Let t be u(2). Is 10 at most as big as t?
False
Let z = 1 - 0. Which is greater: z or 0.07?
z
Let r(i) = -i**2 - 7*i - 9. Let p be r(-5). Which is bigger: -6/17 or p?
p
Suppose 0*q + 21 = 2*u - 5*q, -2*q = -4*u + 18. Suppose -5*h - 2*a - a = 16, a + 12 = -u*h. Suppose 3 = 2*n + 11. Which is greater: h or n?
n
Let g(v) = -2*v - 5. Let a be g(-4). Let w be -1 + (-4)/(-5) - 64/(-20). Is a bigger than w?
False
Suppose -4*p - 262 = -2*z, 0*z = p - z + 65. Let w be 174/11 + (-12)/p. Are w and 16 unequal?
False
Let d(s) = -s**3 - 7*s**2 + s + 10. Let q = -16 + 9. Let v be d(q). Let u be v/((-15)/2)*-1. Which is smaller: 0.2 or u?
0.2
Let c = 143 - 1429/10. Which is greater: c or -1?
c
Let t be (-610)/25*(45/6)/(-3). Which is greater: -1/3 or t?
t
Let r = 0.4 - 0.3. Let g be 24/10 - 2/5. Suppose g*n + 4*j + 10 + 8 = 0, 0 = -2*n - 2*j - 10. Which is smaller: r or n?
n
Let k = -102 - -2243/22. Let i = -151 + 150. Which is bigger: i or k?
k
Let s = -27/2 + 12. Is s bigger than -2?
True
Let d = -13 + 12.9. Is 6 > d?
True
Let y = -235/4 - -6349/108. Which is bigger: 1 or y?
1
Let x = -1/123 + 251/615. Let f = 3 + 0. Let n = f + -2.8. Is x at most n?
False
Let v be 2/4*(-136)/168. Let u = v + -2/21. Is 1 bigger than u?
True
Let o = 0 + -4. Let k be o/22 + 2/11. Suppose 3*j = 7*j - 4. Which is smaller: k or j?
k
Let a be 272/14 - 27/63. Is 21 bigger than a?
True
Let f(v) be the second derivative of v**5/20 - v**4/4 + v**2 - v. Let y be f(3). Which is smaller: y or 2/3?
2/3
Suppose 2*i + 0 = 2. Which is greater: -1/16 or i?
i
Let q = -3.2 - -25.2. Let i = -22.9 + q. Which is bigger: 1 or i?
1
Let r(l) = l**3 + 4*l**2 + 2*l + 6. Let y be r(-4). Let n be (-4)/y - 1*-2. Suppose -3*g - 5 = -n*f + 4, 2*f - 12 = 4*g. Which is smaller: f or 1?
f
Let x be (2 - -1) + (-91)/21. Is -2 at most x?
True
Let m = -296/7 - -42. Is 1 <= m?
False
Let l = -4 + 6.8. Let o = l - 1.9. Which is bigger: 1 or o?
1
Let a = -1 + 3. Let c be -1*(-2)/(-2)*-1. Let o be 5 - 8 - a*c. Is -4 < o?
False
Let o = 4.7 - -1.3. Let n = 5 - o. Which is smaller: -2/3 or n?
n
Let q = 7 + -7.8. Let v = -6.8 - -2. Let r = q - v. Is r greater than 2/5?
True
Let n(c) = c + 7. Let y be n(-5). Suppose i - y*i = 0. Let l = 373 - 9327/25. Which is bigger: i or l?
i
Let t be (5 - 2/(-8))/((-6)/4). Is -3 < t?
False
Let s = -287.3 - -287. Let c = -43 - -130/3. Is c < s?
False
Let j(x) = x**3 - 5*x**2 - 1. Let l be j(5). Is l less than 2/17?
True
Suppose 4*j + 2*u = 2, -5*j + 1 = 2*u + 2*u. Is 2/19 bigger than j?
False
Let v(m) = m**2 + 9*m + 7. Let r be v(-7). Is r >= 1?
False
Suppose f = 5*f + 4*o + 8, 0 = 5*o - 5. Let a be (f/((-63)/6))/(-2). Suppose -5 = 3*b - 2. Which is bigger: b or a?
a
Suppose -7 = 4*w + 3*f, -5*w + 3*f + 25 + 0 = 0. Let l be w/5 + 72/(-105). Is l >= -1?
True
Suppose 18 = 5*a + x, -3*a - 4*x + 2 = x. Suppose 2 = -2*q + 5*j, -a*j + 5 = 4*q - 19. Which is smaller: q or 14/3?
q
Let h(n) = 2*n - 2. Let i be h(-1). Let w(c) = -c**3 - 5*c**2 - 2*c + 4. Suppose -2 - 18 = 5*y. Let v be w(y). Is v less than i?
False
Let l(j) = -j**2 + 4*j + 5. Let d be l(5). Let z = -2.9 + 3. Let p = z + -0.3. Is d < p?
False
Suppose -t = -4*t - 6. Which is smaller: t or -1?
t
Let h = 23 - 53. Let j be ((-2)/(-6))/((-2)/h). Suppose w - j = -6. Is w greater than 2/7?
False
Let d = 0.52 - 0.32. Is 5/7 at most as big as d?
False
Let s be (-30)/48*(-1)/5. Which is smaller: s or 0?
0
Suppose 2 = 4*u + 5*m, -4*m + 6 = 2*u - u. Let n = u + 4. Let x be n/(-12)*(-3)/(-2). Is x bigger than -0.04?
False
Let r = 0.4 - -11.6. Is 2 not equal to r?
True
Suppose -v + 3*i = -33, 0 = -v + 4*i - 0*i + 31. Which is greater: v or 38?
v
Let z = 511/6 + -85. Which is smaller: z or -0.3?
-0.3
Suppose 3*k + 2 - 6 = -g, -2 = -k. Let d(o) = 6*o**2 + 3*o + 2. Let i(c) = 5*c**2 + 4*c + 3. Let s(f) = 4*d(f) - 5*i(f). Let r be s(-7). Is g > r?
False
Let r(p) = -p**3 + 6*p**2 - 5*p + 4. Let a be r(5). Is a less than or equal to 4?
True
Suppose 3 = 2*g + g - t, 0 = -g + 5*t - 13. Let w = -9.91 - 0.09. Let a = w + 11. Is a less than g?
True
Suppose 2*k + 5*x + 10 = -2*k, -2 = x. Suppose -3*j = -k*j - 18. Let u be (-4)/j + 4/12. Is 1 less than u?
False
Let l(x) be the third derivative of -x**6/3