= 0. Is z less than f?
False
Let q = -25 - -17. Let r(i) = -10*i**2 - i. Let y be r(-1). Are q and y unequal?
True
Let m be (189/(-28))/9 + (1 - 0). Is -0.1 equal to m?
False
Let q = 90 + -806/9. Let y = 8.3 + -0.3. Let g = 7 - y. Is g greater than or equal to q?
False
Let k(h) = -h**3 - 4*h**2 + 4*h - 2. Let j be k(-4). Let f be (-8)/4*2/j. Is -2 not equal to f?
True
Let p(m) = -m**2 + 12*m - 14. Let d be p(11). Do d and -4 have the same value?
False
Suppose m = -4*n + 16, -4*m + 55 = n - 39. Let y = m - 23. Let i = -3/29 - 17/116. Which is smaller: y or i?
i
Let j be (8/(-10))/((-2)/25). Let w(h) = h**2 - h - 3. Let d be w(-3). Is d > j?
False
Suppose 0 = 26*o - 28*o + 26. Which is bigger: o or 14?
14
Suppose -2*q = q - 18. Suppose 4*v - 9 - 3 = 4*c, 2*v - q = 0. Let i = 1.1 - 1. Which is smaller: c or i?
c
Let y be (-8)/(-3 + 35/170*16). Does -26 = y?
False
Let n = -1.1 - -4.1. Do n and 3 have different values?
False
Let j be ((-18)/15)/(3/(-15)). Let f(y) = -y**2 + 6*y + 2. Let z be f(j). Let g be 9/4 - z/8. Is g bigger than 2?
False
Let j be (-1)/(2/(-8) - 0). Suppose j*x = -4*l - 0*x + 12, -5*x = -4*l - 6. Is l at most as big as 0.1?
False
Let y be 6 + -2 + -4 + 3. Let k = y + -3. Which is greater: k or 4/3?
4/3
Let v be ((-3)/(-5 + -1))/((-2)/76). Is v <= -18?
True
Let m be -1 + (-1)/2 + -1. Is -2 != m?
True
Let k(c) be the first derivative of -c**3/3 + 2*c - 1. Let y be k(0). Which is bigger: y or 4/3?
y
Let g = 11 - 7. Suppose 8 = 2*i + 2*i. Suppose -q = -k + 8, 3*k - 16 - 6 = i*q. Which is greater: k or g?
k
Let t be (-1)/4 - (-15)/(-20). Let i(s) = -2*s**3 - 3*s**2 + 4*s - 1. Let b be i(-3). Let n be (-16)/7 + 4/b. Which is greater: n or t?
t
Let k(m) = -5*m**2 + 2*m**2 + 0*m**2 - 2 + 0*m - m. Let s be k(-2). Let h be s/(-18) + 2/(-4). Which is bigger: h or -1?
h
Let u = -6601/22 + 300. Which is greater: -1 or u?
u
Let f be 4/(-2) + 2*-26. Let w be (f/(-14) - 3) + -1. Is 0 greater than w?
True
Suppose 1 = p - 0. Let c be 6 + -3 + -2*p. Let h be ((-6)/9)/(-3 - 0). Which is greater: c or h?
c
Let z = -470/77 - -86/11. Are 1 and z unequal?
True
Let r = -6 - -5.82. Is 0 at least r?
True
Suppose g + 4 = -0*g + 2*i, -2*g + 2*i - 8 = 0. Let f be (-4)/16*g - -12. Which is smaller: f or 14?
f
Let r = -40 - -28. Let b be (8/r)/((-5)/3). Suppose 0 = 2*g + 2*x + 4, 4*g - 4*x + 4 = 12. Which is smaller: b or g?
g
Let k = 93 + -91. Which is smaller: k or 3?
k
Let a be (4/(-26))/1*2. Let x = -33/65 - a. Suppose j - 2*j = 0. Is x bigger than j?
False
Let i be 1 + 2 + -1 + -1. Suppose -4*m = -3*t - 14, 2*m - 3 - 3 = 2*t. Let j be 3 + i + t + -4. Is 2 < j?
False
Let w = -0.17 + -0.03. Let h = 1/5 - -3/35. Does w = h?
False
Let g be -1*(-2 + 3) - 0. Suppose -4*y = 4, -5*t - 5 - 5 = -5*y. Let w(i) = i + 2. Let q be w(t). Is q less than g?
False
Let c(i) = -i + 12. Let v be c(12). Let u(q) = -q + 2. Let s be u(v). Is 3/5 < s?
True
Let h(p) = p**2 + 56. Let j(c) = c + 4. Let m be j(-4). Let u be h(m). Let r be (-6)/4 + 100/u. Which is bigger: r or 3?
3
Let o = -244 + 609. Let b = o + -4739/13. Which is smaller: -1 or b?
-1
Let p be 2/(4/6) - 3. Which is bigger: -11 or p?
p
Let v be (-6)/7*1*7. Let h be (v/9)/((-6)/(-9)). Which is smaller: h or -1/3?
h
Suppose 28 = 3*o - 3*x + 4*x, -o = -x - 12. Is 10 at most o?
True
Let f = -2.12 + 0.12. Which is greater: f or -3/4?
-3/4
Let s = -79/3 + 571/21. Which is greater: 0 or s?
s
Let m = -42/17 - -398/51. Suppose 4*k = 5*k - 3*y - 4, -3*y - 8 = -2*k. Are k and m nonequal?
True
Let g be (-2)/(-1*4/16). Let i = 22 - g. Is i > 15?
False
Let k = 126 - 880/7. Let v(j) = 2*j - 8. Let o be v(6). Suppose -2*t - 2*t = o. Is k equal to t?
False
Suppose -25 + 1 = -4*i. Let t(s) = s**3 - 7*s**2 + 8*s - 9. Let m be t(i). Let a = m - 3. Is a < -1?
False
Let m = 1.6 - 1.64. Let i = m - -0.34. Are 3 and i equal?
False
Let w = -0.15 + 0.05. Let z = 36/23 + -689/690. Let r = -1/6 + z. Which is bigger: r or w?
r
Let t = 4 + -3.9. Let b = -0.33 - -0.23. Is b greater than t?
False
Let u be (-3)/(-2) + (-2)/2. Let n = 16/5 + -102/35. Are u and n unequal?
True
Let k = 0.03 - 0.11. Let d = k - -0.38. Let l = 49 - 345/7. Is l not equal to d?
True
Let b be (-3)/2*12/81. Which is smaller: -0.1 or b?
b
Let c be (-58)/(-21) + 3 - 3/7. Which is smaller: c or 5?
5
Let x be 0 + -1*(-4)/10. Suppose -22*t + 27*t + 51 = -4*j, 4*t = -j - 10. Which is smaller: j or x?
j
Suppose -3*d - d = 4. Are -53 and d equal?
False
Suppose -7 = 2*z - 19. Let q(k) = -k + 3. Let o be q(z). Is o greater than or equal to -3?
True
Let t = 0 - -1. Let d = 42.73 - 42. Let z = d - -0.27. Is z greater than t?
False
Suppose -3*u = 15 - 0. Let d be u/21 - 1/(-3). Are d and 0 equal?
False
Let r = 1 + -3. Let n = -1 - r. Let d = 10/7 - 8/7. Which is smaller: n or d?
d
Let r = -30 - -31. Is -4/13 at most r?
True
Suppose -19 - 21 = -10*c. Which is greater: 6 or c?
6
Let o = -0.061 + -0.039. Which is smaller: o or -0.24?
-0.24
Let d = 42/115 - -4/115. Suppose 4*z - 36 = 8*z. Let p be ((-6)/z)/((-2)/3). Which is smaller: p or d?
p
Let l(s) = s**2 - 4*s - 13. Let x be l(7). Suppose 13*g + x = 12*g. Is -8 at least as big as g?
True
Suppose s - 6*s = 0. Is 1/3 greater than or equal to s?
True
Let c(r) = 16*r**2 + 3*r + 4. Let g be c(-3). Let j be (-2 + g/70)*-148. Let y = j - 12/5. Which is bigger: 1 or y?
1
Suppose -3*v + 40 = 4*o + v, -3*v = -3*o + 12. Let h be ((-182)/o)/(0 + -4). Which is smaller: 7 or h?
h
Suppose 0 = r - 0 - 3. Let q(a) = a + 11. Let k be q(-12). Is k at least as big as r?
False
Suppose -4*o + 32 = 5*a, -5*a - 5*o + 4*o = -23. Which is smaller: 6 or a?
a
Suppose -3 - 5 = 2*x. Let w be -1 + (4/3)/x. Is 0 equal to w?
False
Suppose 0 = -4*d - d + 15. Let t = 0 + d. Suppose -t*s - 5 = 2*s. Are s and -1 equal?
True
Let m = -398 - -771/2. Let x = m + 12. Which is smaller: x or -0.1?
x
Let u(v) = -v**3 - 6*v**2 - 4*v - 4. Let g be u(-5). Let m(w) = w + 12. Let l be m(g). Suppose l = j + 2*j. Which is smaller: j or 1/10?
1/10
Let h(y) be the first derivative of -y**2/2 + 5*y - 1. Let q = 4 + -1. Let s be h(q). Is 1/2 equal to s?
False
Suppose 0 = -j + 3*z + 3, 4*j + 4*z + 3 = -1. Suppose t = 5*h - 0 - 32, 2*h - 4*t = 20. Let f = -5 + h. Which is bigger: j or f?
f
Let h be (2 - 2) + 0 - -8. Suppose 0 = 3*f + f - h. Suppose 0*m + f*m = 0. Which is smaller: m or -1/3?
-1/3
Suppose -s + 6*s = 5. Let y be (-3)/s - (-19)/7. Let o be (-18)/14 + 2/7. Is o smaller than y?
True
Let a(x) = -3*x - 1. Let v be a(-1). Suppose 0 = k - 3 - v. Suppose 2*j - j = 4*m - 1, 2*j + 5*m + 2 = 0. Which is smaller: j or k?
j
Suppose z + 2*j + 11 = 0, 2*z + 2*j + 6 + 12 = 0. Let f = -3 - z. Suppose 5*h + 12 = -f*t, -2*t = 4*h + 2*t + 12. Are -1 and h equal?
False
Let z = 1/102 - 211/714. Is z >= 1?
False
Let z(x) = x**3 - 15*x**2 + 6*x + 12. Let k be z(15). Let b be k/216 - 1/4. Let y = -1.3 - -0.3. Is y greater than or equal to b?
False
Suppose 0 = -3*h - 2*o + 3, 4*h + 5*o = 2 + 2. Let g be (-12)/90*(-6)/(-14). Which is smaller: g or h?
g
Let b(q) = -q**2 - 6*q - 3. Let j be b(-6). Let i be j + 6 + 0 + 0. Which is smaller: i or 4?
i
Suppose 0 = -24*t + 1428 - 540. Is t >= 36?
True
Let l be (-33)/44 + (-27)/(-4). Let y be (4 - l)/((-22)/(-2)). Let d(x) = x**2 + 5*x + 4. Let g be d(-4). Is y > g?
False
Let z = -6.7 - -5.7. Let u = -4.4 - -4. Is z greater than or equal to u?
False
Let w = 1 - 2. Suppose c + 12 = 4*c. Let v be 52/(-28) - (-6 + c). Is w greater than or equal to v?
False
Let z be (2/(-3))/(14/(-27)). Which is smaller: 1 or z?
1
Let s = 2/47 + -149/188. Let d = 8 + -7.94. Let z = 0.94 + d. Is s greater than or equal to z?
False
Let l be (-24)/10*35/(-14). Let y be (l/12)/((-23)/(-2)). Is 1 less than y?
False
Let o = 7 + -11. Let q(i) = i**2 + 7*i - 4. Let h be q(-7). Is o not equal to h?
False
Let h be (-1 + 2)*5 - 1. Let d be -2 - (2/3)/(6/(-9)). Which is smaller: d or h?
d
Let j = 132 - 70. Is j at most 61?
False
Let s be 3 + (-3 - 1774106/(-45)). Let i = -39423 + s. Let z = 16/9 - i. Is -1/3 less than or equal to z?
True
Let j(y) = -4*y**3 - y**2 + y. Let z be j(1). Let w be 2 + 1 - z/(-4). Suppose 4*n = -4*d - d - 10, 0 = 5*n - d - 2. Which is smaller: n or w?
n
Let m = -2 + 2. Is -2/31 bigger than m?
False
Let m(a) be the first derivative of -a**2/2 - 8*a - 1. Let l be m(