er: 3 or b?
b
Let l = -1.7 + 5.7. Which is bigger: 1 or l?
l
Suppose 3 = -x + m, 1 = -2*x - 4*m + 7. Suppose -c + 4*v - 3 = -19, 4*c - 12 = 3*v. Is x >= c?
False
Let l be 3 - 52/14 - (-2)/(-7). Which is greater: l or 2/143?
2/143
Let g = 19 - 11. Let h = g + -4. Is h less than or equal to -1/2?
False
Let a = 43 + -35. Which is bigger: 6 or a?
a
Suppose -5*f = -6*f - 2. Which is smaller: f or -3?
-3
Let c(t) be the third derivative of -t**5/60 - t**4/8 - t**2. Let i be c(-3). Which is greater: i or -1/2?
i
Suppose 2*h - 2 = 2*l, -4*h - 4*l - 36 = -0*l. Let u be 9/3 - (3 - 2). Let p be ((-1)/h)/(u/(-4)). Is p != -1?
True
Suppose -8*n + 69 = -43. Does n = 29/2?
False
Let g(b) = -b**3 + b**2 + b + 1. Let z be g(0). Let l be 1*(z - -1) - 1. Let c be 6/24 + (-1)/2. Is c equal to l?
False
Let m = 4524/11 + -1017922/2475. Is -1 > m?
False
Let f be -3 + (-159)/(-9)*3. Let l be 383/(-3)*f/(-20). Let g = -320 + l. Which is smaller: -2 or g?
-2
Let u(o) = -o - 6*o**2 - 4 + 8*o - o**3 + 0*o**3. Let h be u(-7). Let w = 2 + h. Is -1 not equal to w?
True
Let x be (-3)/2 - (-2)/(-4). Suppose -m = 4*k - 3*k - 3, -4*k + 20 = 0. Let v(n) = n**3 + 2*n**2 + 2*n + 2. Let t be v(m). Is t greater than or equal to x?
True
Let h = 1 + -1.16. Let v = h + 0.06. Does -3/11 = v?
False
Suppose 3*w + 62 = -2*s, -w - 4*s - 26 = -2*s. Which is smaller: -19 or w?
-19
Let y be (-6)/(-4) + -2 + 1/4. Which is smaller: y or 0.073?
y
Let r(f) = 5*f + 4. Let y(q) = 11*q + 8. Let a(n) = 9*r(n) - 4*y(n). Let z be a(-4). Let g be (-4)/30*175/(-210). Is g > z?
True
Let i = -9 - -2. Is i bigger than -6?
False
Suppose 73 = 4*q - 47. Suppose -2*p = -5*p + q. Which is greater: p or 11?
11
Let p be (-234)/(-220)*2 + -2. Let v = -73/55 + p. Which is smaller: -2 or v?
-2
Let h be (0 + 25)*(-3 + 39/15). Which is smaller: -5 or h?
h
Suppose 0 = 4*t - 9*t + 20. Suppose 4 = -2*g + 12. Is t at least as big as g?
True
Let h be 6/4*12/45. Let o be 0 + 1*-2 - -8. Let f be (-4)/o - (-11)/12. Which is bigger: h or f?
h
Let w(g) = g**3 - 5*g**2 + 6*g - 6. Let i be w(4). Let j = -7 - -11. Let d be 1/j + -1 + 2. Is d less than i?
True
Let z = 2 - 5. Let s = z - -2.9. Let h = 9 - 5. Which is bigger: s or h?
h
Let a(s) = -s + 7. Let o be a(5). Let g = -1 - -2. Suppose -3*x + 2 = -g. Is o at most x?
False
Let s = -16 - 16. Which is greater: s or -31?
-31
Let r be 1246/40 + 1/4. Let i = -32 + r. Let q be 1/((-2)/(1 - -1)). Are q and i nonequal?
True
Suppose 4*p + 5*f + 24 = f, 0 = -2*p + f - 6. Let l be -2 - p/16*-4. Is -0.1 smaller than l?
False
Let t(m) = -m + 7. Let q be t(5). Suppose -1 = 3*n - q*n. Let v be (-2 - -1)/1 + n. Which is bigger: v or -1?
-1
Let p = 9 - 29. Let c = -7 - p. Is 0.1 bigger than c?
False
Let v = 16.8 - 105.8. Which is greater: 1 or v?
1
Suppose 0 = 2*w - 3*d - 93, -4*w - 4*d = -114 - 42. Let m be (-14)/(-4)*w/(-98). Which is smaller: m or -1?
m
Let u(d) = 2*d - 28 + 3*d**2 + d + 30. Let j be u(-1). Let b = -0.08 + 3.08. Is b < j?
False
Suppose -u + 2 - 3 = 0. Let x(z) = z**2 - 5*z + 6. Suppose 5*c = 21 - 1. Let g be x(c). Is u less than or equal to g?
True
Suppose 0 = -12*w + 9*w + 9. Are w and 3 equal?
True
Let j(b) = 5*b**2 - b. Let i be j(2). Suppose -2*f = -4*s + i, -s = -2*f + 3*f. Let k = -3 + s. Which is greater: k or 2/7?
2/7
Let y = -36/7 + 5. Which is greater: 0 or y?
0
Let k(f) = -124*f + 7. Let i be k(-5). Let d = -19435/31 + i. Is -1 bigger than d?
False
Suppose 0 + 3 = -3*x. Let k be x/(-4)*1*-4. Does k = 1?
False
Let a(x) = x + 2. Let z be a(-5). Let h be 2/11*z/2. Is 1 != h?
True
Let q be (-408)/(-595) + 4/(-14). Is q less than or equal to -0.1?
False
Let j = 63 - 187/3. Let d(z) = -z + 19. Let f be d(19). Is j greater than f?
True
Let l(p) be the first derivative of -p**4/4 - 5*p**3/3 - p**2/2 + 2. Let b be l(-5). Is 5 at least b?
True
Suppose -3*t = 54 + 48. Let v = t - -169/5. Suppose 4*s = -4*s + 8. Which is bigger: s or v?
s
Suppose -2*c = -r - 0 - 1, 2*r + 3*c - 19 = 0. Suppose -3*a - 2 = -r*n, 1 = 2*n + 2*a + 13. Let d = 2/25 + -29/50. Is n greater than or equal to d?
False
Let x = -4.7 - -4.7. Which is smaller: -0.01 or x?
-0.01
Let s be (-3*2/(-12))/(1/2). Is -1/98 at most s?
True
Let l = -1.4 + 1. Which is smaller: l or -3?
-3
Let c be 8/44 + (-57)/11. Suppose -5*u - 57 = 3*p, 4*u + p + 20 = 5*p. Let d = c - u. Is d smaller than 2?
False
Let p = 1.12 + -1.09. Which is smaller: 2 or p?
p
Let m(y) = -13*y + 157. Let o be m(12). Let p be (-1 - 0)*3/17. Which is bigger: p or o?
o
Let n = -25 + 31. Is n at least 1?
True
Suppose -3*b + 21 = -2*h, -5*b + h - 6 = -41. Is b equal to 7?
True
Let i = 3 - 1. Is i less than or equal to -0.3?
False
Let v = -8 - -7.5. Let d = -0.6 - v. Is d < -0.2?
False
Let q = -2 - -1.85. Let k = -1.15 - q. Which is smaller: k or 1?
k
Let l be (-12)/(-10) + -3 + (-90)/(-25). Which is smaller: l or 3?
l
Let a(g) = 2*g**2 - 7*g - 6. Let l be a(6). Let f be l/9 + (-2)/(-6). Let t = -5 + f. Does t = -2?
True
Let r = -1899/19 + 100. Let z = r - -17/38. Is z <= 1?
True
Let p = 11.4 + -12. Let z = -0.7 - p. Is z < 0.06?
True
Let z = 13 - 8. Which is smaller: 3 or z?
3
Suppose 0 = -x + 5 - 2. Let d be 0/(x - 2) + -10. Do -10 and d have different values?
False
Suppose 23 = -4*b + 3*x, 2*x - 6 = -3*b - 2. Let j = 4 + b. Suppose -5*r + 4*p = -19, 4*p + 13 - 3 = j*r. Which is greater: r or 2?
r
Suppose 11 = -2*d - 3*f, -f - 2*f = 4*d + 19. Let j = 7 + d. Let n be (-59)/19 + 0 + j. Is 1 > n?
True
Let a be (4/((-64)/12))/(-3). Which is greater: 1 or a?
1
Suppose -3*p - 13 = 5*c - 4*p, 4*p = c + 14. Let d be 3/(-1 + 4) + c. Which is greater: d or 4?
4
Let l be (-3)/(-12) + (-22795)/140. Let j = l + 163. Is 0 less than j?
True
Let p = -3 + 5. Suppose 0 = -o - o - p. Let j(r) = r**2 - 13*r + 12. Let g be j(12). Is g equal to o?
False
Let t = -6 - -2. Let w = t + 1. Which is smaller: -5 or w?
-5
Let y = -0.4 + 0.44. Let g = y - 0.14. Let f = -2 + 3. Is g greater than f?
False
Let g(m) = 2*m - 6. Let x be g(4). Suppose -x*s - 2*y = 16, -s - 1 = s - 3*y. Which is smaller: s or -6?
-6
Suppose -2*z + 3*b + 12 = -z, b + 3 = 0. Which is bigger: z or 1?
z
Let w be (-22)/(-16) - (-1)/(-1). Is -1 > w?
False
Let h = -3.4 - -3. Let r = -0.1 + h. Is -1 at most r?
True
Let j = -9 + 10.1. Let f = -0.1 + j. Which is smaller: 2/5 or f?
2/5
Let d = 2.4 + -4.2. Which is bigger: 1 or d?
1
Let b = -25 - -31. Which is smaller: 0 or b?
0
Let c be -2*(4/(-4))/(-2). Which is smaller: c or -3/14?
c
Suppose 5*n = -0*n + 10. Suppose 2*d - 5 - 37 = 2*o, n*d - o = 44. Suppose 0 = -3*u + 4*l + 22, -2*u - d = 5*l - 7. Is 2 bigger than u?
False
Let d = 0 - 0. Let n(p) = p**2 - p - 1. Let j(g) = g**3 - 4*g**2 + 4*g + 4. Let x(f) = j(f) + 5*n(f). Let l be x(d). Is l less than 0?
True
Let y = -9 - -9. Let v = -0.06 + 0.36. Which is smaller: v or y?
y
Let j = -59.8 + 60. Is j equal to 0.11?
False
Let h = 1234/147 - 3/49. Do h and -0.2 have the same value?
False
Let x be (1 + 1)*(-14)/4. Let o be -6*(-2)/4 + x. Let t be 9/(-6) + o/(-8). Is t >= -1?
True
Suppose 1 = -4*r - 7. Are -2 and r unequal?
False
Let o(d) = d + 2. Let s be o(-8). Are -5 and s equal?
False
Let g be (-11)/(-6) - (-2)/(-4). Let z be -3 + 6 - (-1 + 2). Let r = g - z. Which is smaller: -1 or r?
-1
Let b be (14*-1)/(-2 + 4). Let i be (-58)/(-6)*b/14. Let c = -9/2 - i. Which is smaller: c or 3/5?
c
Suppose 0 = -3*y - 3*o + 15, -2*y + 4*y = 5*o - 25. Suppose y = -l - 4*l - 5*t + 20, -3*l = -t + 4. Let i be (55/25 + -2)/((-2)/(-6)). Which is smaller: i or l?
l
Let q = -317 + 937/3. Suppose -4*s - 2 = 18. Is q at least as big as s?
True
Let p = -18 + 20. Which is greater: -0.05 or p?
p
Let p = 22 + -14. Is p <= 9?
True
Let g = 67/114 + -8/19. Do 1 and g have the same value?
False
Let r = 31 - 5. Let d be r/4 - 7/(-14). Is 2 at most d?
True
Let i(g) = g**3 + 3*g**2 - 14*g + 10. Let q be i(-6). Let y(f) = 2*f + 2. Let m be y(-8). Is q bigger than m?
False
Suppose -6 = -2*o + l, -o - 2*o - 5*l = 17. Suppose w = -6 + 5. Let r = -1 - w. Is o at least r?
True
Let m = 0 + 0. Let f(y) = 5*y**2 + 20*y - 23. Let v(w) = -2*w**2 - 10*w + 11. Let l(s) = -3*f(s) - 7*v(s). Let r be l(9). Is m bigger than r?
False
Let l(j) = j**3 - 6*j**2 + 5. Let r be l(6). Suppose 18 = 2*p + 5*c, 10*c - r*c - 17 = -3*p. Suppose 0 = -a + 4*a + 3. Are a an