False
Let h be 3/((-3)/4) - (43 + -52). Is h bigger than 34/7?
True
Let h(s) = -s**2 + 11*s + 58. Let n be h(15). Which is greater: n or -3?
n
Let d(w) = w**3 - 9*w**2 - 10*w + 9. Let o be d(10). Are 9 and o equal?
True
Let a = 21.59 - -0.21. Let d = -22.79 + a. Let k = 0.01 - d. Is -0.6 greater than or equal to k?
False
Let j = -1 + 3.1. Let f = j - 3.1. Which is bigger: -3/10 or f?
-3/10
Let w = 3 - 2.7. Let v = -1.7 + -0.3. Let j = 1 + v. Which is bigger: j or w?
w
Suppose -3*j + 1190 = -j. Suppose -2*y + j = -157. Let a = -6390/17 + y. Is a < 1?
True
Let n(m) = -m**3 + 4*m**2 + 3. Let k be (-138)/(-30) - 6/10. Let q be n(k). Is q less than or equal to 5/3?
False
Let p = 7 - -9. Which is smaller: 2/7 or p?
2/7
Let d = 5.5 - 5.3. Is d greater than -0.1?
True
Suppose -4*z - 10 = z. Suppose 10*g + 6*g = 16. Which is bigger: g or z?
g
Let m(w) be the first derivative of -w - 1/2*w**2 - 1. Let d be m(0). Which is smaller: d or -2?
-2
Let q be (-14)/70 + -3*(-4)/42. Which is greater: 0 or q?
q
Let n be (-2)/(-9) + 168/(-27). Let c be (-6)/(-4)*(-8)/n. Let s be c/24 - (-1)/4. Which is greater: s or 1?
1
Let f = -14 - 15. Which is smaller: f or -30?
-30
Let l = -1.3 + -0.7. Let p = 9.6 - 11. Let v = p - -0.4. Is v equal to l?
False
Let i = -0.71 - -0.51. Which is bigger: i or -8/3?
i
Let m be (-18)/68*100/15. Let x = m - -776/459. Suppose 0 = 11*f - 8*f - 3. Which is smaller: f or x?
x
Let m = 0.1 + 0. Let z = -0.31 + -0.09. Let r = 0.5 + z. Is r at least m?
True
Suppose -6*x + 3981 = -3*x - 5*r, -4*r + 6672 = 5*x. Let d be (-2)/(-9) - 188/x. Let y = -107/407 + d. Do y and -1 have the same value?
False
Suppose -2*x + 8 = -5*t + 23, 55 = -5*x - 5*t. Is -13 < x?
True
Suppose 2*n + 0 = 3*f - 34, 0 = 3*n - 12. Let u be (116/f)/2 - 3. Which is smaller: 0 or u?
0
Let n be (-2 - -1) + (-12)/(-8). Are -1/4 and n equal?
False
Let k be ((0 + -2)/(-2))/(-1). Which is greater: k or -1/31?
-1/31
Let m be 3 + (-3)/(-6)*0. Suppose -4*j = 0, 2*d - m*d + 4*j = -1. Let x be -1*(-3 + d - -3). Which is bigger: x or -1/4?
-1/4
Let v = -15 - -29. Let w be 2/(-28)*v/(-4). Is -1 not equal to w?
True
Suppose 5*g + 0*f - 4 = 3*f, 3*g = -f + 8. Is g equal to 2?
True
Let y = -12 + 14. Are 1/3 and y equal?
False
Let u be 16/(-68)*(-3)/(-8). Let g = -49/170 - u. Which is bigger: -1 or g?
g
Let u = 106717/66 + -1617. Let w = u + -145/264. Is w at most as big as -2?
False
Let u = 144 + -140. Is u smaller than -7?
False
Let l = -24 - -26. Is 7/5 at most l?
True
Let q be 1 + 1*-1 + -1. Let a be (-26)/(-91)*2/8*4. Which is bigger: q or a?
a
Suppose 9*r - 4*r = -15. Let x be (4 - 2)*(1 + r). Let l(m) = -m - 5. Let z be l(x). Is z at least as big as 1?
False
Let w = 0 + 0. Suppose w + 1 = f. Which is greater: f or -1?
f
Let f = -50 - -57.2. Let h = 5 - 12. Let v = h + f. Is 3/5 at most as big as v?
False
Let w be (-4)/6*9/39. Let g = -2 - 0. Do g and w have the same value?
False
Suppose -3*w - 9 = -3. Let a(l) = -3*l + 1. Let d be a(3). Let g be (-8)/20 + d/5. Are g and w non-equal?
False
Let n = 2 - 2. Let w be 0 - n - (1 + 1). Let s = 7 + -8. Which is greater: w or s?
s
Let p = -9 - -6. Let l = -5 - p. Let w = 2 - 2. Do w and l have different values?
True
Let p = -0.6 - -2.6. Let v be (1/15)/((-4)/(-12)*-1). Is p bigger than v?
True
Let l = 0.14 + -0.54. Is -1/5 < l?
False
Suppose -2*x + 2 = -0. Let j be (-14)/(1/1 + x). Is -7 greater than j?
False
Suppose -6*m - 15 = -3*m. Which is smaller: m or -7?
-7
Let q = 0 + 0.02. Let v = 0.03 + q. Is v less than -1?
False
Let y = -2 + -3. Let v(n) = n**2 + 4*n - 6. Let a be v(y). Do a and 0 have the same value?
False
Let s = 17 + -8. Which is smaller: s or 80/9?
80/9
Let z = -5 - -6. Let f = 3 - 2. Let t = 0.8 - f. Which is bigger: t or z?
z
Let t = 2/373 - 1518/4849. Which is smaller: 1 or t?
t
Suppose -4*g + 25 = -0*g + 5*a, 0 = 2*g - a + 5. Suppose 2*k + 12 = -g*k. Which is smaller: k or -4?
k
Let r(f) = -2*f - 21. Let w be r(-10). Which is smaller: w or -4?
-4
Suppose 0 = -0*l + 5*l - 10. Suppose -2*d = -4*c - 8, 2*d - 6 = l*c + c. Let n be (-12)/(-78) + 15/(-13). Which is greater: n or c?
n
Let w = -1871 + 1118. Let g = w + 23341/31. Is g at most -1?
False
Let i(d) = -2*d**2 + 18*d - 1. Let y be i(9). Let w = -3 - -2. Let f = 1.2 + w. Which is bigger: y or f?
f
Let d = 34 + -61. Which is smaller: d or -29?
-29
Let k = 1.1 + -1.9. Let g = 1 + k. Which is smaller: 3 or g?
g
Let g = -27 + 18. Let r = -2 + -7. Is g greater than r?
False
Let c(n) = -3*n. Let g be 3/4 - (-7)/28. Let d be c(g). Let w be 0/2 + (-3 - 1). Is d at least as big as w?
True
Let d be (1/(-415))/(12/(-20)). Let m = d - -79/996. Are m and -1 nonequal?
True
Let o = 1.4 - -0.6. Let h = -1.1 - -0.6. Let c = -0.3 - h. Is c equal to o?
False
Let z = 0.1 - 0.1. Is 0.4 less than z?
False
Suppose 0*l = 2*l. Let a = 522/5 - 1148/11. Is a less than l?
False
Let o = 24 + -6. Let l = o + -18. Is 4/11 >= l?
True
Let h = 0.07 - 0.07. Is h greater than 8/5?
False
Let g be 94/14 + 6/21. Let f(w) = w**2 - 6*w - 7. Let q be f(g). Suppose -1 = -3*t + 2. Which is greater: q or t?
t
Let l = -0.02 + -1.98. Let u be ((-2)/(-8))/(2/(-20)). Let r = -19/6 - u. Is l at least r?
False
Let z = 31 - 75/2. Which is smaller: -7 or z?
-7
Let p be (-9)/(-6)*-18 + -1. Let r be 4/(-10) + p/(-45). Suppose -2*c = 3*i - 10, -4*c - 3*i = c - 7. Is r > c?
True
Let j = -1 + 1. Let b = 2.4 - 0.4. Let s = b + -2. Is j at least s?
True
Let z = 8 - 4. Suppose 0 = -0*v - z*v - 8. Let p be (-3)/v + 5/(-14). Which is greater: 0 or p?
p
Suppose 5*d - 7*d + 12 = 0. Is 6 greater than d?
False
Let w = 11 + -6. Let l = -6 + 10. Is w greater than or equal to l?
True
Let a = 11 - 11. Which is greater: 1/3 or a?
1/3
Let u = 1 - 0. Let v = u + -0.6. Let q = -0.6 - v. Do q and -2 have different values?
True
Let x = 9 - 4. Suppose -x*m - 15 = -k, -k + 4*k = -m - 3. Let p be (0 + k)/(-3 - -1). Is 0 at most as big as p?
True
Let c = 21 + -21. Suppose 4*d - 2*d + 3*i - 10 = c, 3*i - 11 = -d. Let b = -1 + 2. Is b less than or equal to d?
False
Let a = -0.5 + 0.4. Let t(z) = 3*z + 1. Let l be t(-2). Is a at most l?
False
Let q = -3 + 1. Suppose -l = 4*u - 0*l - 9, 2*u + 2*l - 12 = 0. Let v be (u/6)/((-3)/6). Which is smaller: v or q?
q
Suppose 4*p + 6*h = h + 92, p - 2*h - 36 = 0. Is 28 at least as big as p?
True
Suppose 5*j + 4 = 3*q - 8, 4*j + 12 = 0. Which is greater: 2/51 or q?
2/51
Let i(n) be the third derivative of -n**4/24 - 2*n**3/3 + n**2. Suppose -6 = -5*c - 16. Let o be i(c). Is o smaller than -2?
False
Let p(v) = v**3 + 10*v**2 - 11*v - 4. Let t be p(-11). Is -1/5 greater than t?
True
Let p = -127 + 377/3. Is -3 not equal to p?
True
Let t(z) = -z - 4. Let u be t(-6). Suppose 3*y - 4*g - 10 = 0, 3*y - y = 2*g + 4. Let w = y + 3. Which is greater: u or w?
u
Let f be 2 + 2/((-4)/6). Let g(l) = l + 2. Let w be g(-2). Which is greater: w or f?
w
Suppose 0*j = j + 24. Let y be j/18*6/(-4). Is 1/2 <= y?
True
Let x be 3/(0 - (-1)/(-5)). Let v = x - -59/4. Let z be (-4)/6*(-27)/(-18). Is z at most as big as v?
True
Let u = -114 + 28. Which is smaller: -1 or u?
u
Let u = -12 - -14. Is u less than or equal to -1/8?
False
Let b = -14.34 - -0.34. Let w = -13 - b. Is w greater than or equal to -1?
True
Suppose 5*h = -4*b - 32, -33 = 5*b + 5*h + 2. Is -3 at least b?
True
Let m be ((-1)/2*-27)/((-119)/34). Which is smaller: m or -3?
m
Suppose 1 = -0*g - g. Let j(n) = -4*n**2 - 2*n - 1. Let d be j(g). Which is greater: d or 0?
0
Suppose 3*k + 4 = 2*z + 17, -3*z - 5*k = -9. Let x be (-1)/(6/9)*z. Suppose 0 = -3*a - a + 8. Is a less than x?
True
Suppose -5*b - 117 = t, -5*b = t + 2*t + 121. Which is smaller: b or -24?
-24
Let n = 1.61 + -0.11. Let i = n - 2.8. Let u = i + 0.8. Does -2 = u?
False
Let a = -8 - -8. Let h = -66 - -724/11. Which is smaller: h or a?
h
Let b = 58 - 6. Let g = b + -467/9. Which is greater: g or 1?
1
Suppose 0 = -k - 2*c + 2, -6*k + 6 = -3*k + 4*c. Is k >= 2?
True
Let i = -44/651 + 2/651. Let v be (-4 + 1)/(-3) + -1. Which is smaller: v or i?
i
Let w = 1015/8 - 127. Is w at least -1?
True
Suppose 2*q - 11 = 3*q. Which is bigger: -12 or q?
q
Let y = -7.3 + 7. Let p = -0.4 - y. Let m = -136/9 - -46/3. Which is greater: m or p?
m
Let w be ((-30)/7 + -1)/1. Let k = w - -5. Which is smaller: -1 or k?
-1
Let l = -1 