z smaller than 34?
True
Let h(y) = y**3 + 6*y**2 - 7*y - 4. Let f = 8 + -15. Let z be h(f). Let r = -4 - z. Is 2 != r?
True
Let v = 5 + 6. Is 0 not equal to v?
True
Suppose 5*d - 33 = -4*w, 0 = -w - 0*w + 4*d - 18. Is -1 greater than w?
False
Let f = -13 + 8. Let d be (-1)/(-2) - 11/2. Are f and d nonequal?
False
Let v(p) = p + 4. Let w be v(-4). Let m be 0*(-2 - 10/(-4)). Suppose m = -4*j - 0 - 4. Is j >= w?
False
Let v = -21 + 20. Which is smaller: -2 or v?
-2
Let q be (-3 + (-6)/(-4))*2. Let g be (-1)/q*-1*0. Suppose -4*t - 20 = g, -3*u + 3*t = 2*t - 2. Which is smaller: 1/8 or u?
u
Let h(o) = -o**3 - 5*o**2 - 1. Let j be h(-5). Let k be j/(-6) + (-14)/12. Is -1/6 at least k?
True
Suppose -15 = 2*i - 5*i, 0 = -2*o - i + 19. Suppose 4*h = 5*h - 3. Suppose h*g = o - 4. Do 1/6 and g have different values?
True
Let u(z) = -z**2 + 11*z - 2. Let w be u(11). Let y be (-4 + (-9)/(-2))*w. Which is bigger: 1/29 or y?
1/29
Let b(o) = o + 4 - 5 + 11. Let p be b(-9). Which is smaller: p or -1/15?
-1/15
Suppose -6*l + l = 20. Let s be (1 + -1)*(l + 3). Let p be -2 - -3 - 3/2. Which is smaller: p or s?
p
Suppose 5*a - 16 = j, -2 - 5 = 4*j - a. Let r be (-28)/36 + 6/(-27). Is j less than r?
False
Suppose 0 = -5*z + 4*m - 94, 3*m + 87 = 4*z - 9*z. Let b be (-4)/z + (-5)/(-18). Is b smaller than 0.06?
False
Let y be (-2)/(-4) - (-3)/(-8). Let s(p) = p**3 - 5*p**2 - 6*p - 1. Let t be s(6). Is t greater than or equal to y?
False
Let p be 2 + (8/(-10))/(2/10). Which is greater: p or -4/5?
-4/5
Let o = -103.06 - -103. Is o less than or equal to 6?
True
Let i be 4/3*6/(-4). Let g(q) = 2*q + 3. Let u be g(i). Is u at least as big as -3?
True
Let t be (2 - 18)*(9/(-6) - -1). Does t = 6?
False
Suppose 4*w - 7*w - 4*f = 20, 2*w + 5*f = -25. Is w bigger than -1/14?
True
Let u = -18.09 - -18. Which is bigger: -0.1 or u?
u
Let h be (-3)/(-6)*-6*1. Let q be ((-6)/2)/h*-1. Which is greater: -4/11 or q?
-4/11
Suppose -r - 5*k + 2 = 0, -6*k = -3*k. Suppose -4*z - 2*f + 62 = 0, 3*z - 4*f = -z + 44. Let o be 32/z + (-4)/14. Is o at least as big as r?
True
Let j = -5.726 + 0.026. Let a = -0.3 + j. Which is smaller: a or 1?
a
Suppose -b - 10 = b + 5*q, -5*q + 20 = 0. Let x be (-6)/b + (-4)/10. Let i = -1 + x. Is i > -2/5?
False
Suppose 16*s = 15*s + 3. Let x = 67/15 + -14/5. Which is bigger: x or s?
s
Let l be 4 + -3 + 4 + -5. Which is smaller: -5/19 or l?
-5/19
Let o = 14.7 + 0.3. Let y = o + -14.8. Which is bigger: y or -4?
y
Suppose -4*n = n - 25. Let p be ((-24)/(-15))/(1/n). Is p bigger than 4?
True
Let b(f) = -4 - 4*f - f**2 + 3 + 1. Let i be b(-4). Is -1/2 less than or equal to i?
True
Let x = 28 - 29. Which is greater: -7/3 or x?
x
Let v = 6 + -14. Let a = -1 - -5. Suppose 0 = -a*u - 26 - 2. Is u equal to v?
False
Let r be (-51)/18 + 4 + -1. Which is bigger: r or 1?
1
Let t = 97/9 + -104/9. Are t and 0 unequal?
True
Let g = 21 + -17. Let u be (-3)/(-14) - 6/(-21). Is g smaller than u?
False
Let a = 143 - 34. Let t = a - 873/8. Let o = -111 + 110. Is o at least as big as t?
False
Let h be (-1)/3 - (-24)/(-9). Let z be 16/4*(2 - 1). Suppose 0 = 4*t - 0*t + z. Which is smaller: t or h?
h
Let q be (-3 + 5)/(-2*(-18)/(-93)). Which is smaller: -0.1 or q?
q
Let r be (16/(-10))/((-6)/15). Suppose -r = 4*x - 12. Suppose -3*l + 5 = -2*u - 2*l, 0 = 2*u + x*l + 2. Which is smaller: u or -1/2?
u
Let n = -20 - -29. Let o be -6 - (-3)/n*-1. Let l = 7 + o. Which is smaller: -1 or l?
-1
Let h(p) = -10*p**2 - 5*p - 5. Let m be h(-3). Let t be 3/12 - 28/m. Is t at most as big as 1?
True
Let t = 0.65 + 0.35. Which is smaller: t or -15?
-15
Suppose -9*p + 4*p + 15 = 0. Which is greater: 4 or p?
4
Suppose 25 - 81 = -4*a. Suppose 0 = 5*g - m - 22, -4*g + 0*m + a = m. Does g = 4?
True
Let m(u) = u**2 + 5*u - 3. Let g be m(-6). Suppose 9 = 14*y - 11*y. Do g and y have the same value?
True
Let f = -491/22 + -1263/110. Is f >= -35?
True
Let a(n) = -n**2 - n + 2. Let s be a(-2). Suppose -2*b + 2*p = -80, b - 2*p = p + 48. Let v be -14*10/b + 4. Is v > s?
True
Let y = -1.4 + 0.2. Let b = -0.5 - -0.3. Let m = y - b. Is -0.2 greater than m?
True
Let l = 3 - 1. Suppose -i - 1 = -l*g, 0 = 2*g - 0*g. Is i greater than or equal to 0?
False
Let f(v) = v**2 - 4*v + 5. Let s be f(4). Suppose 4*o + 2*t = -0 + 4, -s*t = -3*o - 10. Let g be o + -2 - (-4)/2. Which is smaller: -2/5 or g?
-2/5
Let r(g) = g**2 - 3*g + 3. Let j = 1 - -1. Let z be r(j). Let s = -3 - z. Is s <= -3?
True
Let o = -67 - -52. Which is greater: o or -16?
o
Let a be 2 + (-2)/(3 + -1). Is -8/17 <= a?
True
Let q = 2 - 3. Let i = -7.271 - -0.171. Let d = 7 + i. Are q and d unequal?
True
Suppose 5 = -w + 1. Is w less than -5?
False
Let o = 13 - 9. Let v be (-2)/(-4) + (-10)/o. Let n = v + 0. Are n and -3/5 equal?
False
Suppose 3*o + 1 = 4. Suppose f = -1 - o. Let x = 1 + f. Is x at least as big as -3?
True
Let t = -23 - -34. Suppose 3*d - t = -v, v + 0*d - 5 = 3*d. Suppose 0 = k + 2, -5*k - v = -2*x - 0*k. Do 0 and x have different values?
True
Let t = 123 - 125. Which is smaller: t or 6?
t
Let c = -0.16 + 1.16. Which is smaller: -3 or c?
-3
Let t(k) = -7*k**2 - 3*k + 2. Let q be t(-3). Let m = -263/5 - q. Which is bigger: -2 or m?
m
Suppose -3*l + 3*w + 3 + 15 = 0, -17 = -4*l - 3*w. Is l greater than 6?
False
Let k = 0.17 - -0.19. Let b = 0.81 - 1.21. Let o = b + k. Which is bigger: 1/4 or o?
1/4
Let o(n) = -n**2 + 2. Suppose -2*k = -0*k. Let v be o(k). Let g = -1 + v. Do 1/6 and g have the same value?
False
Let c = -82 + 90. Suppose f + 3*o - 22 = 0, 0 = 2*f - 5*o + 7 + 4. Is c at least as big as f?
True
Let f = 1726/9 - 192. Is 1 greater than or equal to f?
True
Let k = 34 - 34.08. Is k less than or equal to -3/8?
False
Let m be 4/(-14) + 1885/(-91). Which is bigger: m or -19?
-19
Let h = 38/3 - 161/12. Is h at most 0?
True
Let t = 2 - 4. Let z = 9 + -8.9. Let b = z + 0.9. Which is smaller: t or b?
t
Let f = -6.2 + 6. Let x = f + 0. Are 1 and x equal?
False
Let i be (-4)/9 - 22/99. Which is smaller: -8 or i?
-8
Let t = 3 - -1. Let q = 29 - 41. Let f = q + 12. Which is bigger: f or t?
t
Suppose 3*v = 7*v. Which is bigger: -3/8 or v?
v
Suppose i - 16 = -i. Suppose 0 = -i*v + 4*v. Do v and 0.2 have the same value?
False
Let b = 14 - 12. Are b and 7/8 nonequal?
True
Let i = -2 + 2.1. Let c = i + -1.1. Let a be (5 + (-321)/63)*(-9)/6. Is a < c?
False
Let y = -376/1947 - -2/177. Is -1 greater than y?
False
Let d = -4.1 - -4.6. Let x = -1.8 - -2. Is x greater than or equal to d?
False
Let r = 3 - 6. Let j = 3.97 + 0.03. Let t = r + j. Which is greater: 1/4 or t?
t
Let v be 6/9 - (-30)/9. Let u(p) = -p**3 + 3*p**2 + 5*p - 2. Let f be u(4). Suppose -v*b - f = 10. Is b greater than -2?
False
Let w(b) = 13*b - 3. Let f(i) = -7*i + 1. Let j(q) = 7*f(q) + 4*w(q). Let v be j(2). Which is greater: -2/21 or v?
v
Let f be 4/(13 + -1)*3. Which is smaller: f or -3/7?
-3/7
Let u(z) = z - 8. Let j be u(5). Suppose 2*n - 24 = -2*n. Suppose -7*i + 2*i + m = 7, 4*m = -2*i + n. Is i >= j?
True
Let d = -19.8 - -18. Let m = -1.73 - d. Let y = -1.93 - m. Which is smaller: -1/7 or y?
y
Let l = 0.587 - 0.087. Which is bigger: 0.09 or l?
l
Suppose -2*d + 9 = -b, -3*d - 5 + 15 = -5*b. Is b at least as big as -1/17?
True
Let h be (1 - -1)*7/2. Is 8 < h?
False
Let h = -285/91 - -23/7. Do h and -1 have different values?
True
Suppose -7*x = 30 + 26. Suppose -5*c + 6*u - 29 = 3*u, -5*c - 27 = -4*u. Is x equal to c?
False
Let t = -8.2 - 22.8. Which is smaller: 2 or t?
t
Suppose -3*j - 3*y - y = -21, 0 = 2*j + 4*y - 14. Let t = j - 11. Let p = -4 - t. Is 0 greater than or equal to p?
True
Let k be (2 - 0) + (3 - 4). Suppose -5*o = k + 9. Is -1 smaller than o?
False
Suppose -2*z + 4 = -7*z - j, 3*j = -3*z. Let y be 10/8*6/(-25). Is y greater than z?
True
Let o = -41 - -85/2. Which is greater: o or 1?
o
Suppose -24 = -4*z - v - 3*v, 5*z + 2*v = 30. Let j be (-12)/(-7) - 2/(-7). Suppose g = -4*w - z, -w + 2 + 1 = -j*g. Is -1 less than w?
False
Suppose 0 = -2*m + m + 3*i + 25, -3*i = 15. Let d = m - 13. Let u be (2/(-7))/((-3)/7). Which is bigger: d or u?
u
Let i = 13 - 13. Is i >= 3/2?
False
Let k = 2 - 2.1. Suppose -b - 4*f = 24, 11 + 4 = -3*f. Which is smaller: b or k?
b
Suppose 24 = 4*k - 3*w, 4*k = 2*k - 3*w - 6. Let h be ((-6)/3)/(-2)*k. Which is bigger: 4 or h?
4
Let x b