(-5) - 16/10. Let z be q(n). Let o = 1 - 1. Which is bigger: o or z?
o
Suppose 2 + 2 = 4*l. Suppose 3*s = -o + 4*s + 7, -5*o = 2*s - 35. Let a be 5/o + 4/14. Is l <= a?
True
Suppose 3*f = 12*f + 81. Which is smaller: f or -14?
-14
Let k = -4 + 4.3. Let l(i) = i**3 + 7*i**2 - i + 2. Let s be l(-7). Suppose -t - 2*t = -3*h + s, -2*t = -4*h + 8. Which is smaller: k or h?
k
Let t be -3*(1 + (-74)/78). Let s be (-58)/(-4) - 12/24. Let h be 1/6 + s/(-12). Is h smaller than t?
True
Let p = 1 + 0. Let g = 9 - 6. Suppose f = g - p. Is f != 2/3?
True
Let v = 3/4 - -11/12. Which is smaller: 2 or v?
v
Let u = 20 + -19.9. Is u at least -2?
True
Let m(i) = i**3 + i + 9. Let l be m(0). Let t be 2/6 - 31/3. Let o = t + l. Is 1/8 smaller than o?
False
Suppose -m - c - 6 = -2*m, -2*c - 22 = -4*m. Suppose 0 = 5*d + 2*f + 3*f + m, 4*d - 5*f = 23. Suppose 1 = d*i + 11. Which is smaller: -4 or i?
i
Let q = -53 + 31. Is q <= -22?
True
Let f(m) = -m**2 - 9*m - 10. Suppose 0 = 2*s - 2, -21 = 2*t - 4*s - 3. Let g be f(t). Is -1 < g?
True
Let m = 528 + -2649/5. Is m at least -2?
True
Let n = -0.23 - -0.17. Which is smaller: n or -2?
-2
Let n be (-38)/(-5) + 6/(-10). Suppose n*u - 3 = 10*u. Let z = u - -1. Which is bigger: -1 or z?
z
Suppose 0 = d - 2*n - 3, 3*d + n = -n - 23. Let y(j) = j**3 + j**2 + j + 5. Let q be y(0). Let x = d + q. Are x and -2 equal?
False
Let k(r) = -r**2 - 7*r - 3. Let h be k(-8). Let z be 3/(-2)*2*h. Let u be ((-22)/z)/(2/(-6)). Which is smaller: 4/3 or u?
4/3
Let h = 0.2 - 0.3. Let c = h + 0.1. Let k = c + 0. Which is bigger: -1 or k?
k
Suppose -g - 4*g = -10. Let s be 1 + -3 + 2 - g. Is -1 smaller than s?
False
Let q = 1 - 0. Suppose 3 - 8 = -5*n. Let y = 4 - n. Which is bigger: y or q?
y
Suppose -5 = -2*m + 1. Suppose -6*z = -m*z + 3. Are 1/3 and z non-equal?
True
Let c = 31/4 + -9. Which is greater: 0.1 or c?
0.1
Let y(f) = -f**3 + 13*f**2 - 11*f - 10. Let j be y(12). Suppose 0 = -x + 1 - j. Let i be (-1)/(-1) - (-11)/(-9). Which is greater: x or i?
i
Suppose -3*k = -o - 2*k + 15, -3*k = -3. Let t be 1/(-1 - o/(-6)). Which is bigger: 2 or t?
2
Let k be (-13)/6 + 2 + 12/72. Is k > 2/35?
False
Let n be 30/444*2/(-10). Which is bigger: n or 1?
1
Let y = 0.05 - 0.13. Let c = 0.08 + y. Is c <= -3?
False
Let o be (-14)/11 + 0/(-3). Which is smaller: -1 or o?
o
Let v = 37 - 66. Which is smaller: 2/7 or v?
v
Suppose 3*l = 4*f + 174, 2*l = -5*f - 128 - 78. Which is bigger: f or -43?
f
Let y = -0.143 - 0.057. Which is greater: 4/5 or y?
4/5
Let m be (1924/(-585))/((-2)/3). Let q be -1 + (32/(-6) - -1). Let i = q + m. Which is greater: i or -0.2?
-0.2
Let t = -0.9 - -1. Let p(u) = u**2 - 9*u + 2. Let w be p(8). Let s be (w/20)/(6/8). Which is greater: t or s?
t
Suppose i + 12 = -3*i. Let a = -24 - -41. Let j = -21 + a. Is i smaller than j?
False
Let s(l) = -l**2 + 3*l + 2. Let a = 0 - 2. Let b be (-3)/3*(a + -2). Let w be s(b). Is w greater than or equal to -2?
True
Let t = -9 - -14. Suppose -t*x = -0*x. Is x bigger than 0?
False
Let z be 250/780 + -3*6/117. Suppose 0*x = -x. Are x and z unequal?
True
Suppose -3*n - 3*w = -24, 0*w + 24 = 5*n - 3*w. Let t = -0.048 + -0.152. Is t at least as big as n?
False
Let w be (18/3)/(-6) - -4. Let f(v) = 3*v**2 + v - 1. Let k(c) = c - 4. Let d be k(5). Let u be f(d). Is u less than or equal to w?
True
Let t = -81 - -97. Is t at most 17?
True
Suppose 0 = 2*f + 8, -8 = x - f + 3*f. Let n be 0/((-1 + 3)/(-2)). Is n smaller than x?
False
Suppose -j + r + r - 15 = 0, 0 = 5*r. Is -15 less than or equal to j?
True
Let l = -30 - -58. Is l smaller than 28?
False
Let a(r) be the second derivative of r**4/12 - 2*r**3/3 + r**2 + 3*r. Let t be a(4). Is t > 2?
False
Let t(j) = -j**3 - 4*j**2 + 7*j - 10. Let g be t(-6). Which is smaller: g or 19?
19
Let x = -2 + 2. Let l = x + 2. Let j(u) = -u**3 + 4*u**2 - 3*u + 2. Let p be j(3). Do l and p have the same value?
True
Let a(k) = -k + 1. Let y be a(2). Let f be ((-3)/(-3))/(6 + y). Which is smaller: -1 or f?
-1
Suppose -5*y - 138 = -2*y. Let l = -369/8 - y. Which is bigger: 1 or l?
1
Let g = -317/1190 + -4/119. Let i be (-15*(-9)/540)/((-1)/(-4)). Which is smaller: g or i?
g
Let y = -11.91 - -12. Let n = y + -5.09. Let v = 4.7 + n. Is 0 smaller than v?
False
Let h = 1 + 1. Let o be (3 - 8) + 1 + h. Let l = 1 + o. Is l > 2/3?
False
Suppose 5*k + 0*k = 20. Suppose -k*w + 3*t - 15 - 12 = 0, -18 = w + 3*t. Let s = 13 + w. Are 4 and s equal?
True
Let n be 0 - (-2 - (-24)/13). Suppose -3*q = -7*q + 12. Let s = -2 + q. Which is smaller: n or s?
n
Suppose -2*w + 6 = 2*h - 0*w, -4*h - 5*w + 13 = 0. Is 4/3 >= h?
False
Let p(a) = a**2 + 3*a - 4. Let m be p(-5). Suppose i - 62 + m = 0. Let f be (-2)/7 - (-16)/i. Is -2/7 <= f?
True
Suppose 4*u - 16 = -0, -2 = -3*b - 5*u. Which is smaller: b or 1?
b
Suppose 0 = -259*u + 257*u - 120. Is -60 less than u?
False
Suppose 0 = n - v - 2, -5*n + 2*v = -14 + 1. Suppose 4*l + 7 - 3 = 0. Which is greater: n or l?
n
Let r = -6 + -68. Suppose -20 = 3*a + 22. Let p be r/a + 14/(-49). Is p less than 5?
False
Suppose 5*x = 5*a + 15, -a + 4*x - 1 = x. Let b be 1 + a + 2 - 2. Let j be -7 - -7 - (-2 + 4). Is b < j?
True
Suppose -17 = q - 20. Which is smaller: -6 or q?
-6
Let z(s) = -5*s**2 + 9*s - 11. Let j(a) = a**2 - 2*a + 2. Let h(p) = 11*j(p) + 2*z(p). Let k be h(4). Suppose 3*f = -2*x, 5*x = 4*x - 3. Is f less than k?
False
Let k be 2572/(-8)*(0 - -2). Let z = -21865/34 - k. Let f = z + -59/102. Is 0 <= f?
False
Suppose -m + 18 = 4*k, 0*k - 3*m = 3*k - 9. Suppose -2 = z + k. Which is bigger: -3 or z?
-3
Suppose 3*c = 7*c, 4*h - 2*c + 20 = 0. Is 0 at most h?
False
Let s be (-23)/30 + (-2)/(-3). Let i = 92 - 91. Are s and i non-equal?
True
Let i = -18 + 21. Which is smaller: -1/3 or i?
-1/3
Suppose -1 = -w + 3*b, -w - 4*b = -0*w + 34. Is -12 smaller than w?
False
Let c = -9 - -7. Let g = c + 5. Let w be 16/10 - (-8)/20. Which is greater: w or g?
g
Let u = -37 - -23. Let g = u + 13. Is -1/2 at least g?
True
Let a be (-4)/6 + (-10)/(-6). Let m be a/6*23/6. Let k = -8/9 + m. Which is smaller: 0 or k?
k
Let v = 9 + -5. Suppose -u - v = -0*u. Is u > -4?
False
Let x(o) be the second derivative of o**3/6 - o**2/2 - 3*o. Let y be x(2). Which is greater: -2/15 or y?
y
Let p = 831/784 + -15/16. Let i = 8/49 + p. Is i less than or equal to -2/7?
False
Suppose 0 = -0*i + 5*i - 10. Suppose 4*f = -i*c + 8, 4*f - f + 29 = 2*c. Is 10 not equal to c?
False
Let i = 11 - 16. Let q = -4.9 - i. Let f be 0 + 3/((-90)/(-4)). Are f and q unequal?
True
Let l be (4 - 0)*4/(-200). Which is smaller: -0.1 or l?
-0.1
Let s = 7 + -6.9. Is s less than or equal to 0?
False
Let b = 135 - 139. Is b > -1?
False
Let m be (-6 + 11)*(-4)/10. Let i be 1/3 - 17/15. Which is smaller: m or i?
m
Let k = 13 + -9. Let q = k + -3. Let m = q + -4. Which is bigger: m or 1?
1
Let g(k) = k + 12. Let p be g(-5). Let c = 5 - p. Let t = 0 - 2. Does t = c?
True
Let c = -11.1 + 11. Let n = -27 - -19. Which is greater: n or c?
c
Let y = -8 - -14. Which is bigger: y or 0?
y
Let j = -0.069 - 0.031. Which is smaller: j or -9.9?
-9.9
Let w = 735 + -3588/5. Let d = 5 - 22. Let r = d + w. Is -1 smaller than r?
True
Let x = 0.1 - 0.12. Let y = x + 0.12. Does y = 0.2?
False
Let o(m) = -m**3 - 3*m**2 - 2*m + 2. Let y be o(-3). Let j = y - 10. Let h be 26/(-10) - 6/j. Do -4 and h have the same value?
False
Let h be (-22)/(-6) + 10/((-50)/15). Let x(k) = k**2 - 5*k + 5. Let y be x(4). Is h >= y?
False
Suppose 3*z - 4*g = 74, -2*z + 17 + 37 = -5*g. Which is greater: 21 or z?
z
Let r = -3 + 4. Suppose 0 = 5*s - 29 - r. Let t be 3/4*(-4)/s. Is t not equal to 0?
True
Let t = 187 - 214. Is 3 at least as big as t?
True
Suppose -93 = -5*u + 57. Suppose -4*n - q + 6 = 0, 5*q + u = 5*n + 10. Is 3 less than or equal to n?
False
Suppose -20 = -2*s - 4. Let d(o) = -3*o + 6. Let n be d(4). Let u be 4/2 + s/n. Is -2 at least u?
False
Let q(x) = -x**3 + 3*x**2 + 3*x + 1. Let a be q(4). Let h(c) = -c**3 - 2*c**2 + 3*c - 2. Let j be h(-3). Which is bigger: j or a?
j
Suppose 6 = -h + x, 2*h - 3 = -0*x - x. Let z be h/2*(6 + -6). Is 2/23 at most as big as z?
False
Let v = 0.2 - -8.8. Let o = -6 + v. Let i = o - 2.8. Is i smaller than 1?
True
Let t = 38/181 + -105532/905. Let c = t + 117. Is 2 less than c?
False
Let p = 7/8 + -47/72. Let d 