 at least b?
True
Suppose 5*n + 4 = -6. Let k be n/(-4) + 12/(-8). Let r = -1 - 1. Is k > r?
True
Let b = 2 - 3. Let m = -12 - -11. Let j = b + m. Which is smaller: 0.1 or j?
j
Let w = -0.02 - -0.01. Let l = w + -0.19. Which is smaller: l or 2/9?
l
Let t(f) = -2*f - 1. Let c be t(2). Let i = c + 2. Let y be i + 2 - 14/(-18). Is y bigger than 1?
False
Suppose -5*t - 3 = 3*p - 0*p, -4*t + 4*p + 4 = 0. Let k be ((-2)/5)/(9/15). Which is smaller: k or t?
k
Let s = -0.028 - -140.028. Let h = s - 142.03. Let k = h - -0.03. Is 2 greater than or equal to k?
True
Let q = -9 + 12. Suppose q*h = -5*z - 36, 5*z = -h - 0*h - 32. Is z at most -6?
True
Let p = -21.3 - -21. Which is bigger: 5 or p?
5
Suppose 2*x + 4*t - 8 = 0, -5*t = 3*x - 10*t - 1. Suppose 5*f - 6 = 9. Let h be 11/f - (-2)/(-3). Are h and x nonequal?
True
Let z(r) = -7*r**2 + r. Let n be z(1). Is n equal to -14/3?
False
Suppose 3 = 4*b - 3*p - 0, -3*b + 3*p + 3 = 0. Let c = -48/5 - -10. Which is smaller: b or c?
b
Let d = 1 + 1. Suppose d*g = 4*g - 6. Is g less than or equal to 4?
True
Let p be (-9)/(-18)*(-2)/(-3). Which is smaller: p or 1?
p
Let a(c) = 1 + c - 1 + c**2 + c + 2. Let s be a(-2). Is s at least 0?
True
Let i = 1177/2709 - -3/301. Is 1 at most as big as i?
False
Suppose -2*r = -0 - 70. Let n be (2/10)/(7/r). Let d be (-5)/(-4)*(-3)/15. Which is bigger: d or n?
n
Let l = 8 + -12. Let n be (-1)/l + (-4)/(-48). Which is bigger: 0 or n?
n
Let x = -0.02 + -0.98. Let h be 19/2 + 5/10. Let i be 12/h*(-2)/6. Is i < x?
False
Let b = 0.2 - -5.8. Let t = b - 3. Let r be 15/(-6)*12/(-45). Which is bigger: r or t?
t
Let u = 9 - -10. Which is bigger: 0 or u?
u
Suppose 4*r = -2*k, -4*r - 3*k + 2 = -0*k. Let n = -2 - r. Let u = n - 0. Is 1/2 less than u?
False
Let c = -65 + 65. Which is greater: -3 or c?
c
Let l be (5 - 7) + (5 - -1). Suppose -3*j + l*j + 19 = 0. Let c = j - -37/2. Do c and -1 have the same value?
False
Let b be (-20)/(-12) - 2/3. Let h be (-2 - -2) + (-1 - 35). Let u be 4/18 + 8/h. Is u at least b?
False
Let h be (-2)/(-2) + 0/1. Let i(m) = -13*m - 2. Let a be i(-2). Suppose 5*o - 15 = 0, 3*n + a = o + 4*o. Which is bigger: h or n?
h
Let i be (0 - 0)/(-4) - 1. Which is greater: i or -1/29?
-1/29
Let j = 327/10 - 33. Let v = j + -29/70. Is v != -2/5?
True
Let t be 45/4 - 1/4. Let q(z) = -z**3 - 7*z**2 + 7*z - 9. Let p be q(-8). Let m(j) = -11*j**3 - j**2. Let r be m(p). Which is smaller: t or r?
r
Suppose -7*a + 15 = -2*a. Let c be (-26)/(-4)*(a + 19). Let t be (-2)/(-11) - 4/c. Is t at most 1?
True
Let q = 22 - 20.9. Let f = q + -0.1. Is f < 1?
False
Let m(f) = f. Let z = -5 - -5. Let r be m(z). Let i = 2 + -2. Do r and i have the same value?
True
Let z(p) = p**2 - 5*p + 4. Let h(g) = g**2 - 6*g + 5. Let j(k) = -3*h(k) + 4*z(k). Let f be j(3). Is f < 4?
False
Let l(g) = g**2 + 6*g + 4. Let p be l(-5). Let o be (-1)/(p/2 + -3). Is 0 at most as big as o?
True
Let p = -62 - -163. Which is smaller: p or 100?
100
Let b = 23.2 - 27. Let k = -1.47 + 0.27. Let i = k + b. Is 1 at most as big as i?
False
Let n = -768/7 + 110. Let b = -0.09 - -0.01. Let x = b + 0.18. Which is smaller: n or x?
x
Let f be 4/(-22) + 90/11. Let b = f + -9. Let g be (-5)/(-2)*4/35. Is b at most g?
True
Let i be (286/(-284) - -1)*2. Is i equal to 1?
False
Let x = -0.4 + 0.3. Let c = 8 + -8.3. Let w = c - x. Are w and -2/5 nonequal?
True
Suppose 129 = 4*f - 4*x + 7*x, -3*f + 5*x + 104 = 0. Is f at most as big as 33?
True
Suppose 10 - 2 = -2*o - 5*c, -3*c + 16 = -4*o. Let r be (2 - 0/o)/2. Are r and 1 nonequal?
False
Suppose 0 = -10*k - 0*k + 910. Is 0 less than or equal to k?
True
Suppose -3*a + 0 = -45. Let u be (-35)/a*(-2)/(-7). Do -5 and u have the same value?
False
Suppose -12 = 3*t + 3*x, 0*t - 8 = -t + 3*x. Suppose a + o = 2*a - 6, o = -3*a + 6. Let l be 3/(-15) - (-1)/a. Which is smaller: l or t?
t
Let k(a) = -a - 9. Let v be k(0). Which is smaller: -11 or v?
-11
Let m = -159 + 159. Is -3 != m?
True
Let q = 0.01 + 0.02. Which is bigger: q or -1?
q
Let r(n) be the third derivative of -n**6/120 + n**5/30 - n**3/6 - n**2. Let w be r(2). Is w smaller than -2/11?
True
Let c(v) = v + 2. Let m be c(-8). Let b be 34/6 + 4/m. Suppose -3*j + 2*f = 10, 3*j + b*f = -0*j - 17. Is j bigger than -3?
False
Let i = 72 + -89. Are i and -17 equal?
True
Suppose 4*z - 248 = c, z + z - 5*c - 106 = 0. Let p = z + -314/5. Is 0 less than p?
True
Let y(u) = -u**3 + 3*u**2 - 2. Let p be y(2). Suppose o = p*o + 2. Which is bigger: -1 or o?
-1
Let j = 88/9 - 422/45. Let s = 6 - 2. Suppose 0*n - 8 = -n - 2*o, s*n - 5*o + 20 = 0. Is j bigger than n?
True
Let g be (3/(-2))/(-3)*-2. Let y be (-1)/(1/2) + 6. Suppose w = -d, -4*w + y = -3*w + 5*d. Do w and g have the same value?
True
Let n = 4.4 + -3.3. Is 3 >= n?
True
Let t(c) = c**2 - 1. Suppose 5*f = b - 4, 2*f - 2*b + b = -4. Let r be t(f). Which is greater: r or 1/4?
1/4
Let a(j) = -5*j - 5. Let m be a(-4). Let f(i) = -i - 9. Let c be f(-6). Let u be c/m + 7/(-15). Is 1 greater than or equal to u?
True
Let s = 2521/18 + -140. Let q = 28 + -29. Is q at most s?
True
Let x be 0*1/(-1 + -1). Suppose f = -x*f. Let s be -6*((-4)/(-6) - 1). Is s at least as big as f?
True
Let k = 5 + -47/9. Suppose -5*g - 3*h - 17 = 0, 4*h + h + 22 = -2*g. Which is greater: k or g?
k
Suppose -2*f + 40 = 2*f - 4*t, 2*f = 3*t + 24. Let o(k) = k**3 - 5*k**2 - 7*k + 1. Let c be o(f). Is c at most -4?
True
Suppose 16 = i + 4*q, -4*i + 9 + 4 = -q. Let x be 170/15 + 2/3. Suppose -g = -0*g - 4*o - x, 5*g + i*o = -12. Is g less than -1?
False
Let k = -1731 - -3395/2. Let l = k + 1813/54. Which is smaller: -1/3 or l?
-1/3
Let p be 2/(-5) - 1/(10/(-14)). Which is greater: p or -2/233?
p
Let d be 5/25 - 644/(-5). Let t be (-2)/(-5)*15/d. Are t and 0 unequal?
True
Let y(q) = 3*q + 36. Let g be y(-12). Does -8/11 = g?
False
Let j = 26 - 24. Suppose -2*x = -5*x + 15, -o + 11 = 2*x. Is j >= o?
True
Let t = -1.5 + 1.7. Which is smaller: -6 or t?
-6
Suppose 5*v = s + 2*s + 36, -33 = 3*s - 4*v. Which is greater: -6 or s?
-6
Let d(t) = -t + 19. Let b be d(20). Is 5/6 <= b?
False
Let d = -2 - 7. Let v = -14 - d. Which is bigger: v or -2?
-2
Suppose 2*c - 38 = -44. Let m(k) be the first derivative of -k**2/2 - 2*k - 1. Let i be m(c). Is i at most as big as 2/11?
False
Let b = 0.24 + -0.14. Which is bigger: b or 1/2?
1/2
Let r(c) = -c**3 - 5*c**2 + 6*c. Let l be r(-6). Suppose -4*j + 20 + 0 = l. Suppose j*i - i = 0. Is 1/5 at least i?
True
Let f(z) = -z**3 - 2*z**2 + 2*z. Let g be f(-3). Suppose 22 = -g*v + 5*v. Let w(s) = -s + 12. Let p be w(v). Do 1 and p have different values?
False
Let p be (0 - 6 - -2)*1. Let b be p/14 - 60/(-63). Let w = -1 + 3/2. Which is bigger: b or w?
b
Let k be 1*6/3 + -14. Let r be ((-2)/(-3))/((-4)/k). Is r < 3/2?
False
Let q be 61/5 - (-7)/(-35). Suppose 0 = z + 5*u + q + 7, -u - 19 = 4*z. Is z < -2?
True
Let r = -4357/6 + 722. Is r > -3?
False
Let i be -1*((-1)/(-3) - 20/(-3)). Let p be 1 - (2 + 24/(-2)). Let s = i + p. Do s and 3 have the same value?
False
Let x(p) = -p - 2. Let v be x(5). Is v < -7?
False
Suppose 5*c - 3*r + 18 = -r, -5*c - r - 6 = 0. Let o be c/(-10) - 36/(-20). Suppose 4*t + o*q + 13 = 39, -14 = -t - 2*q. Is t != 3?
True
Suppose -4*r + 3 = -r. Let w = 208/55 + -18/5. Which is greater: r or w?
r
Let s be (-1)/(-2)*(-26)/13. Let r be (2/(-4))/((-2)/44). Suppose 0 = -2*k - 0*k + 6, -5*k = -4*c - r. Is s smaller than c?
True
Let f = -1.6 - -8.6. Let d = f + -7.3. Let s = 0.2 + d. Which is bigger: s or -3?
s
Let a = -2305/6 + 385. Let w = 2 + 0. Is w at most as big as a?
False
Let d = -23102/5073 - -260/57. Which is greater: d or -1?
d
Suppose 6 = -2*r + 5*r. Let s be (4 + -3)*(8 - r). Which is bigger: 7 or s?
7
Suppose -3*d + 3*h = -3, 5*h - 8 = 3*d - 3. Suppose 2*c + d*s = 6, -2*c - 3*s + 3 + 3 = 0. Suppose -4*q = 5*z - 11, c*q - 4*q = -4*z + 13. Is q not equal to -1?
False
Let r be 6/21 - (-11)/(-14). Which is smaller: r or -1/20?
r
Let m = 31 - 29. Which is smaller: -3/7 or m?
-3/7
Let u(x) = -x**2 - 7*x + 9. Let n be u(-9). Let h = 136/15 + n. Is h smaller than 0?
False
Suppose 5 = 2*p + 3*p. Let a = -7 + 11. Suppose f - 3*f + a = 0. Is p at least as big as f?
False
Let f be 26/16 + 2/(-2). Which is smaller: 2 or f?
f
Let z be 1*3/(-3) + -4. Let h(s) = s**2 + 6*s + 1. Le