se 0*a - w*a + 4 = 0. Suppose -4*b + 5 = b. Is a <= b?
True
Let v = 1.8 - 1.8. Let z = -2.9 + 3. Is z at most v?
False
Let n be ((-1)/3)/(2/(-30)). Suppose 0 = -2*z + l + 5, 2*z + 3*l - 12 = n. Let p(y) = y**3 + 4*y**2 + 3*y + 4. Let t be p(-3). Are z and t equal?
True
Let c = -1/28 + 43/28. Is 1 less than c?
True
Let u be 0 - ((-2)/4 + 45/18). Is -4/5 >= u?
True
Let i(v) = -v + 5. Let r be i(5). Let p(n) = -n - 7. Let w be p(-7). Suppose -2*u - 2 = -w*u. Are r and u nonequal?
True
Let w(k) = k + 18. Let c be w(-9). Let i = -8 + c. Which is smaller: 1/8 or i?
1/8
Suppose -56 = -4*u + 32. Suppose -5*o + 3*k = -k - u, 5*k = 5*o - 25. Let q(f) = f + 9. Let z be q(-6). Is z at most o?
False
Suppose 3*x - 18 = -0*x. Let n be 4/x + 23/(-21). Is n smaller than -1?
False
Let x be (-21)/(-38)*-2 - (-2 - -1). Do 1 and x have the same value?
False
Let v = -83 + 585/7. Is v equal to 0?
False
Let l = 0.5 + -1. Let u = 7 - 7. Which is smaller: u or l?
l
Let c = 7 + -10. Let a = 2 + c. Let r = 0 - a. Which is smaller: r or 0?
0
Let l = 939239942478331982/4809988890795 + -2/29151447823. Let i = l + -195268. Let z = i + -1/33. Which is greater: 2 or z?
2
Suppose 0 = -3*c - 2*c + 10. Suppose -r + 4*d + 10 = c, -4*d - 8 = r. Let t = 80/3 + -1043/39. Which is bigger: r or t?
r
Let a(s) = -s**3 + 6*s**2 - 2. Suppose -r = -2*r - j - 6, -3*r = 4*j + 22. Let o be r - (-1 + -6) - -1. Let p be a(o). Which is smaller: -1/2 or p?
p
Suppose 0 = 5*p - 5 - 10. Suppose -o + 3 = 0, o + 2*o = -p*x + 9. Suppose x = -2*v - 2. Is v equal to 1/3?
False
Let k be 3 + (-2 + 3)*-1. Suppose z - k = -5. Let c be 4*3/z + 3. Is -2 bigger than c?
False
Let d(l) = -l - 4. Let m be d(-4). Suppose m = -4*n + 4 + 4. Let y be (2/(-3))/(n/(-3)). Which is smaller: 2/9 or y?
2/9
Let j be (2/(-4))/(2/(-16)). Suppose 12 = 5*h + 4*u - 11, -j*h + u + 10 = 0. Let a be 0/h + 2 - 3. Do a and -1 have the same value?
True
Let s = 10.2 + -12.2. Is s bigger than -6/7?
False
Suppose -2*h + 0 - 12 = 0. Let j(t) = t + 6. Let a be j(h). Let i(z) = -z**2 - 4*z - 2. Let m be i(-4). Which is smaller: a or m?
m
Suppose -2*y + 7*y - 205 = 0. Suppose -3*l + l + 4*f - 8 = 0, 3*f = 4*l + y. Are l and -14 nonequal?
False
Let s(q) = q**2 + 4*q + 4. Let n be s(-3). Let d(c) = c**3 - 7*c**2 + 6*c. Let f be d(6). Let v = n - f. Does v = 0?
False
Let o = -11/40 - -387/40. Which is bigger: o or 10?
10
Let q(r) = -r**2 - 9*r - 8. Let p be q(-8). Suppose -3*t - 2*i = t + 6, p = 2*t + 4*i + 12. Which is greater: 10 or t?
10
Suppose -15 = -6*v + v. Let h = v + -1. Suppose 0 = -h*w + 6*w. Is 2/7 bigger than w?
True
Let x = 10 + -12. Are 12 and x unequal?
True
Suppose 4*k - 3*k - 4 = 0. Suppose 18 + 14 = 3*v + k*d, 0 = -5*d + 25. Let g be (-24)/30*30/v. Which is smaller: -4 or g?
g
Let k(c) = c**2 - 3*c + 1. Let x be k(3). Let m be ((-26)/10)/x - -1. Is m > -1?
False
Let w = -27/8 - -421/120. Which is smaller: w or 0.2?
w
Let v be (-12 + 3)/3*1/34. Is -1 < v?
True
Let j = -14 - -11.98. Let y = -0.02 - j. Let h = 0.06 + -0.16. Which is smaller: h or y?
h
Let p be -23 + 0 - 0/1. Let v = 45/2 + p. Which is bigger: -2/5 or v?
-2/5
Let x be (-155)/(-28) + 4/(-14). Let y = x - 37/8. Let p = 17/40 - y. Which is smaller: -1 or p?
-1
Let l = 1 + -0.9. Let r = 19 - 13. Let s = r + -5. Which is smaller: l or s?
l
Let x = -5 - 0. Let n = -7 - x. Is n at most as big as 3?
True
Let t be (-52)/20 + (-3)/(-5). Let i be 3/t*(-2)/3. Let j = 1/29 + 55/87. Is i greater than or equal to j?
True
Suppose 4*v + 6 + 6 = 0. Let l be 2/(-6) - 26/(-6). Let r be (2/l)/(3/(-12)). Is r > v?
True
Suppose -v = -s + 27, 0 = -3*s + v + v + 76. Let p be 2/(-9) - s/(-18). Let x = 118/225 + -2/25. Is p greater than x?
True
Let f = -1657/8 - -209. Is f >= 1?
True
Let d = -1.44 - 0.06. Let y = -1.4 + d. Let v = y - -3. Which is greater: v or -2/3?
v
Let c = 1 - 3. Let k(p) = -p**3 + 7*p - 13*p**2 + 4*p**2 - 11 + 2*p + 0*p. Let i be k(-10). Which is greater: i or c?
i
Let q = -5 + 6. Let v = 2 + q. Suppose -3*b = -v*k + 3, k - 3*k + 3 = -b. Which is greater: 2/9 or b?
b
Let d = 15/34 + -2573/5678. Let p = d - 312/1837. Is p smaller than 0.1?
True
Let i = 0.7 + -0.2. Let k = 3.5 - i. Let m = -3 + k. Are 2/9 and m equal?
False
Let j(u) = 14*u**2 + 1. Let d be j(1). Let t = d + -6. Which is greater: t or 10?
10
Let k = 0 + 7. Let m = 66 - 59. Are m and k unequal?
False
Let j(k) = -2*k - 5. Let z be j(-4). Suppose 0 = -z*s - s + 5*b + 12, 0 = b. Suppose -4*v + 5 + s = 0. Is v at least as big as 1?
True
Let h = 22.48 - -0.52. Let n = -22.98 + h. Let k = -3.1 - -3. Does k = n?
False
Let n = 53/33 + -14/11. Which is greater: n or 0?
n
Let t be 26 + (-2 - (-4 + 3)). Let o = t - 26. Let h = 1 + -2. Does o = h?
True
Let q = 2 - 17. Let h = -15.1 - q. Which is bigger: h or -9?
h
Let f = -7 + 13. Let s = f + -5. Let o = -2 + 2.1. Does s = o?
False
Let v = -6 - -5.96. Let j = v + 1.04. Which is smaller: j or 2/15?
2/15
Let w = 10 + -3. Suppose w*f = 6*f + 1. Is f bigger than 2/13?
True
Let b(f) = -2*f - 4. Let i be b(-3). Suppose 0 = -3*v - 0 + 3. Which is smaller: i or v?
v
Suppose 5*s - 10*s = -30. Let c = s - -3. Let b = 7 - c. Is -1 greater than or equal to b?
True
Let h be (-4)/(-14) - (-46)/(-14). Let x = h + 11/3. Is 0.01 < x?
True
Suppose -m - 43 = 3*w, -3*m = -w - 3*w - 66. Let a = w + 14. Which is smaller: -3/4 or a?
a
Let k = -8 - -20. Suppose 0 + k = 2*i + 3*j, j = -5*i + 17. Is i less than or equal to 13/4?
True
Let o = -20 + 17.1. Let z = -3.042 + 0.042. Let i = o - z. Is -4 not equal to i?
True
Let h = -1.1 - -1. Let b = -1.3 - -1.3. Let g = h + b. Which is smaller: 3 or g?
g
Let m = 1 - 1. Let b = 12 - -2. Let c = -13 + b. Is c smaller than m?
False
Let j = 4.57 - -0.43. Let c = 8.6 - 1.6. Let n = c - j. Which is greater: n or 2/3?
n
Suppose k - 4 + 2 = 0. Let p(r) = -3*r - 2*r - 4*r**3 - 2*r**2 + 4*r. Let q be p(-1). Is k != q?
True
Let g(n) = -n**3 + 8*n**2 + 11*n - 9. Let b be g(9). Which is smaller: b or 8?
8
Suppose -4*y - 5*q + 10 = -22, 3*y = -5*q + 29. Let k be y*(-3)/(-18)*-2. Which is smaller: 0 or k?
k
Let a(j) be the second derivative of -j**3/6 - 4*j**2 + 3*j. Let g be a(-4). Let o be (-20)/(-39) - g/(-6). Is o smaller than 0?
True
Let h = 23 + -13. Which is greater: -3/4 or h?
h
Suppose 3*c = o - 330, 4*c - o + 0*o = -439. Let a = 871/8 + c. Let u(t) = -t + 8. Let d be u(7). Which is smaller: d or a?
a
Suppose -w - 10*w = 0. Do w and 5/23 have different values?
True
Suppose 4*c = n - 6*n - 9, 7 = 3*c + n. Let q(w) = w**2 - 8*w + 2. Let f be q(8). Suppose 0*b = f*b - 4. Is b > c?
False
Let t = 4 + 0. Suppose 2 = 3*o - t. Which is smaller: o or 2/3?
2/3
Let m = -7.5 + 1.5. Let i = -6.1 - m. Which is bigger: 0 or i?
0
Let v be (-1 + (-4)/(-3))*-2. Let k = 5 + -5.03. Let z = k - 0.17. Which is bigger: z or v?
z
Let o = -87 + 102. Which is smaller: o or -4?
-4
Let i be 4/8*(20 - 2). Let o(f) = -f**3 + 10*f**2 - 8*f - 9. Let p be o(i). Which is bigger: p or 2/7?
2/7
Let z = 15.7 + -1.7. Let t = -15 + z. Which is smaller: 5 or t?
t
Let i(w) = w**2 + 3*w + 7. Let j be i(-4). Let a = j - 8. Let t = -118 - -824/7. Which is smaller: a or t?
t
Let t(y) = y**2 - 12*y + 14. Let a be t(11). Let h(l) = 2*l**2. Let v be h(1). Which is greater: a or v?
a
Suppose 0*d = -3*d + 816. Suppose 2*w + 2*w + 346 = 2*u, -3*w - u - d = 0. Let i = 803/9 + w. Which is smaller: i or -1?
-1
Let j(i) = i**3 + i**2 - 2*i - 1. Let u be j(2). Let t = u + -13. Let a be (2/4)/((-15)/t). Which is greater: 0 or a?
a
Let a = -0.005 - -0.005. Which is smaller: a or -0.2?
-0.2
Let l = -5 - -11. Suppose -k - k = -l. Suppose k*r = -r. Which is bigger: r or -2/9?
r
Let a = -15 - -10. Let l = -38 + 32. Is l < a?
True
Let b(c) = c**3 + 5*c**2 + 4*c + 1. Let g be b(-4). Let k = g + -1. Let v be (0 - 4/5)/2. Is v > k?
False
Let t = -15 + 20. Which is smaller: t or 0?
0
Let h = 2.89 + -3. Let n = h - -0.21. Do -2/3 and n have different values?
True
Let n(v) = v**3 - 6*v**2 - 4 + 6 - 4. Let r be n(6). Suppose -4*y = 2*w + 6, -7*w + 5*y = -2*w. Is w bigger than r?
True
Let m be (-2)/12 + (-2)/(-12). Which is smaller: -2 or m?
-2
Let d be 4 + -4 + ((-3)/2)/(-3). Which is smaller: -0.07 or d?
-0.07
Suppose 3*p - 20 = -8. Suppose -p*l - 64 = 3*u, 2*u + l + 41 = -2*l. Let j = u - -115/4. Is 0 <= j?
True
Supp