 be (-1)/(-6)*(1 - (-7)/14). Which is smaller: w or i?
w
Let k = 8 + -8. Let g = 0 - -2. Suppose 2*f - g + 6 = 0. Does k = f?
False
Let w = 28.62 - -0.38. Let t = 21 - w. Let s = t + 6. Do 0.1 and s have the same value?
False
Let d = 43 - 42. Is d less than 12/5?
True
Suppose -2 = 2*v, 5*p - 3 - 17 = -5*v. Let a(b) = b**3 + 4*b**2 - 4*b - 10. Let h be a(-4). Is p > h?
False
Suppose f + 0*a - 5*a = -17, 4*f + 3*a - 1 = 0. Let t be -1 + 4 + (f - 1). Let j be 3/(-12) - (-1 - 0). Which is smaller: j or t?
t
Let h = -89 - -164. Let v be (-20)/h*3/2. Which is smaller: 1 or v?
v
Let m(a) = a**2 + a + 1. Let t be m(-1). Are -2/31 and t non-equal?
True
Let t = -15 + -14. Which is smaller: t or -30?
-30
Let j = -218 + 309. Is j greater than or equal to 90?
True
Let c = 16 - 10. Suppose c = g + g. Suppose -2*q + g = 1. Is q at most as big as -1/4?
False
Let n(u) = -u**3 + u + 1. Suppose -16 = -4*c - 5*h, 1 = 3*c + 3*h - 8. Let i be n(c). Let g = -168 + 170. Do i and g have the same value?
False
Let d be ((-1136)/48)/(1/6*2). Which is smaller: -70 or d?
d
Suppose -4*h - 2*l + 2 = 0, -2 = 2*h - 0*l + 2*l. Let a be (-20)/45*(-3)/h. Let u(s) = s + 8. Let y be u(-6). Does a = y?
False
Let z = -1 + 1. Let j be (-714)/9 - (1 - z). Let y = j + 81. Is y greater than 0?
True
Suppose -2*h + 3 + 3 = 0. Let j = -8 - -11. Are h and j unequal?
False
Suppose 1338 = -16*v - 326. Is -103 greater than v?
True
Let l be 2/(-3) + 38/3. Let m(u) = -u**2 + 7*u + 7. Let g be m(6). Are l and g equal?
False
Suppose 2*b + 0*b - 5*t = -7, 0 = -3*t - 9. Let k = 4067/3 - 1344. Let s = b + k. Which is smaller: s or -0.1?
-0.1
Let w be -3 + 6 - 0/1. Let n = 10 - 7. Suppose -5*l + n = -12. Is l != w?
False
Let k = -4.1 - -4. Let w = 832 + -4981/6. Let a = -5/2 + w. Is a at most as big as k?
True
Suppose l = g + g - 6, 0 = 3*l - 6. Suppose 0 = -2*j + 10, 3*j + 13 = -g*p + 40. Let o(b) = 8*b + 42. Let n be o(-5). Which is bigger: n or p?
p
Suppose -500 = 5*l - 2*k + 7*k, -16 = -4*k. Which is smaller: l or -103?
l
Let u = -5 - -5. Let n = 20 - 19.1. Let v = -0.1 - n. Which is bigger: u or v?
u
Let c = 4407/119680 - 1/2176. Are -1 and c non-equal?
True
Let a = 3.02 - 0.02. Which is smaller: -0.1 or a?
-0.1
Let x = -1/446 + -807/37910. Which is greater: x or -1?
x
Let l be 6/10 - 536/(-40). Is 15 greater than or equal to l?
True
Let w(s) = -s - 17. Let z be w(-12). Is -7 smaller than z?
True
Let d = 233 + -3729/16. Is 0 smaller than d?
False
Suppose 2*q + 27 = 157. Let y = -587/9 + q. Which is smaller: y or -1?
-1
Let d = -102 + 99. Is d > 0.14?
False
Suppose -5*u = -14 - 11. Is u > 19/4?
True
Suppose 6*b - 4*b - 12 = 0. Is b greater than 2?
True
Let o = -1 - 0. Let h(v) = v**2 - 3*v - 2. Let w be h(-2). Let y = w - 15/2. Which is greater: y or o?
y
Let y = -0.1 + -0.9. Let l = y - -0.96. Let j = 0.12 + -0.02. Which is smaller: j or l?
l
Suppose -5*u + u - 4 = 0. Let n be u/(-1) - 0/2. Let k(a) = a**3 - 2*a + 1. Let d be k(n). Is -1 smaller than d?
True
Let d = 1 + 3. Let c = -4.7 - 1.3. Let t = d + c. Is -1/2 > t?
True
Let s(m) = -m**2 - 3*m + 3. Suppose -3*j = -5*z - 12, -j + 0 + 2 = -z. Let q be s(z). Let g be 4/q + -2*1. Which is bigger: g or -2?
g
Let z = 18 + -18. Which is bigger: 5/17 or z?
5/17
Let k(q) = 5*q**2 + q + 1. Let j be k(1). Suppose 3*w - j*w + 8 = 0. Let u = -0.3 - -0.5. Which is smaller: w or u?
u
Let c = -254448938/9 + 28224619. Let j = -47340 - c. Let l = -145 + j. Which is greater: l or 0?
l
Let m(z) = -z - 1. Let b be m(2). Let r = b + 7. Let s be r/4*(-1 + 1). Which is bigger: -1 or s?
s
Let j = 1.25 - 7.35. Let z = j - -6. Is z > 0.1?
False
Let n be ((0/(-1))/2)/(24/(-12)). Is n at least as big as -2/79?
True
Let i be 4/(-12) + 88/(-6). Let j be 6/i + 22/5. Let p be 1/(1*(-10)/j). Is -0.1 <= p?
False
Suppose 5*d = 3*d + 10. Suppose -r - d = -0*r. Let n be 51/(-12) + 2/8. Is r > n?
False
Suppose 6 = -4*y - 2. Which is greater: y or 1/7?
1/7
Let w be 78/(-21) + (-4)/14. Let k(y) be the second derivative of -y**4/12 - y**3/6 - y**2 + 6*y. Let g be k(0). Which is bigger: w or g?
g
Let d(x) = -x**3 + 8*x**2 - 8*x + 10. Let j be d(7). Suppose n - 3*g + 0 = 5, -3*n = -j*g - 9. Let u = n - 4. Which is smaller: u or -3/5?
u
Suppose -m - 20 = -2*m. Let v be (1/(-3))/(m/(-45)). Let a = 0 - -1. Which is smaller: a or v?
v
Suppose 0 = -5*w + 2*k + 24, 4*k - 27 = -3*w + 3. Let a = 2 - w. Let o be (6/8)/(a/16). Are -4 and o nonequal?
True
Let v(t) = -3*t**2 - 3*t - 6. Let m(j) = -4*j**2 - 4*j - 7. Let l(g) = -4*m(g) + 5*v(g). Let c be l(-3). Which is smaller: 3 or c?
3
Let g = 118 - 118. Which is greater: g or 35/4?
35/4
Suppose -21*q + 4 = -19*q. Is q less than 3/2?
False
Let q be (-175)/(-55) + (-6)/33. Is q greater than 3?
False
Let j = -67/2 - -33. Suppose -1 = -q - 0. Let u be 0/(0 + q) - 2. Which is bigger: u or j?
j
Let l(z) = z**2 - 12*z + 17. Let y be l(11). Let r(p) = -2*p + 3*p - 5 - 3. Let a be r(y). Is -3 <= a?
True
Suppose 0 = -c + 5*c. Suppose -3*z - 15 = -5*t, -4*t - 3*z + 9 = -t. Suppose -b = -t*b - 2. Is b >= c?
False
Suppose -2*u + 2*a - 18 = -2*a, -a = 4*u + 45. Is -5 equal to u?
False
Let g = -129/35 + 16/7. Which is bigger: g or -2/9?
-2/9
Suppose 3*a - n + 33 + 19 = 0, 4*n - 28 = 2*a. Let t = a - -13. Which is smaller: t or -4?
t
Let t be 1*(32/18 + -2). Let c(w) = 6*w**2 + 1 - 2 + 2*w - 4*w**2 + 2*w. Let g be c(-3). Which is bigger: t or g?
g
Let t(u) = u**2 + u + 15. Let f be t(0). Let o = -13 + f. Which is bigger: o or 4?
4
Suppose w = -0*w + 4. Suppose 0 = 5*l - 3*l + 42. Let h be (-14)/w*(-9)/l. Is h not equal to -2?
True
Suppose 56 = 3*u - 19. Let p = u + -26. Which is bigger: p or 1/17?
1/17
Let m be 2/2*0 - -1. Let l(c) = c**3 + 3*c**2 - 12*c - 32. Let f be l(-4). Are f and m equal?
False
Let i = 359 - 17953/50. Is 1 less than i?
False
Let j = -5 + 11. Suppose 4*l = 2*l + j. Which is greater: 2 or l?
l
Let j = 0 - -2. Let h(f) be the second derivative of -f**4/12 - 3*f**3/2 - 5*f**2/2 - 4*f. Let s be h(-8). Is j less than or equal to s?
True
Let n = -4 - -2. Let p = n - -1. Let u = -7.7 - -8. Is u not equal to p?
True
Let v = 21 - 11. Suppose 4*p = 3*h + 17, -5*h = 3*p + v - 1. Let m be (-2)/h - (-1)/3. Is m less than 1/8?
False
Let w = -6 + 6.1. Let z = -0.1 + 0. Which is greater: w or z?
w
Let r be ((-114)/(-10))/((-244)/10). Let h = 2/61 - r. Let p = -3 - -2.8. Which is greater: p or h?
h
Let h = 11 + -7. Let b = -4.8 + h. Which is smaller: 0 or b?
b
Suppose -g - 5*g = -5*g. Do -8/9 and g have the same value?
False
Let r be 9/(-18) - (-1)/4. Let j = -6 - -10. Suppose -j*y = -3*y. Is r at most as big as y?
True
Suppose 25*y - 13*y - 96 = 0. Is y equal to 12?
False
Let y = -59 - -56.1. Let j = -3 - y. Let r = 6.7 - 7. Which is bigger: j or r?
j
Suppose 0 = 5*s - 0 - 20. Suppose -s*z = -w - 8, -w + 13 = -z + 3*w. Which is smaller: -1/2 or z?
-1/2
Let n = -1/84 + -461/84. Is n < -7?
False
Suppose 2 = -4*z + 6. Let h = 8 - 6. Suppose h*g - 15 + 38 = -3*n, -4*n = -g + 16. Are z and g nonequal?
True
Suppose 3*j + 16 = 4. Is 1/4 != j?
True
Let o = -1152/7 - -164. Which is bigger: -2 or o?
o
Let x be 0 - (-2)/(2 + 2). Let t = 1 - 0.9. Let g = 0 - t. Which is smaller: x or g?
g
Let r(c) = -c**3 - 6*c**2 + 2*c + 7. Let b be r(-6). Let w = -6 - -9. Let k be -1*(b + w) + -5. Which is smaller: k or -4?
-4
Suppose 3*n = -3*t + 12, 3*t - 4*n + 1 + 8 = 0. Let f be (-20)/(-12)*(t + 2). Suppose 13 = -f*m + 4*l, 4*l + 1 = -5*m - 36. Are -6 and m equal?
False
Suppose -u = -3*r - 11, 0 = 5*u - 0*r + 4*r + 2. Suppose 4*j = 3*y - 38, -j = 4*j - u*y + 51. Let f = j - -18. Is f smaller than 7?
False
Suppose -20 = 6*v - v. Let d = v - -5. Which is greater: d or -2/17?
d
Let d(t) = t**3 - 6*t**2 + 6*t. Let g be d(5). Let x = -29/6 + g. Suppose -3*m - 5 = -8*m. Do x and m have the same value?
False
Suppose 5*q = -26 + 1. Is -3 at least as big as q?
True
Let g be -10*(-1206 + 3 - 1). Let j be 4/10 - (-1644)/g. Let w = j - -3/86. Which is smaller: w or 1?
w
Let q be 2448/(-8)*(1 + 0). Let f = q + 1536/5. Is f less than 2?
True
Suppose 4*a - 25 = 3*l, 5*l = -2*a - 2 - 5. Suppose -2*w - 1 = j, -a*j + 0*w = -5*w - 22. Suppose 2*d = 4*c + 14, -3*c - 11 = j*d - 5*d. Is -2/7 < d?
True
Let a = -12.9 + 4.8. Let w = a - -8. Which is greater: w or 0.07?
0.07
Suppose -5*k - 39 = -3*d