at least a?
True
Let g be (1 + -2)*(-6)/(-14). Let f = 1 - 2. Is f at least as big as g?
False
Let p = 2 + -3. Let l be 10*(1 + (-3)/(-6)). Suppose 2*r - 7 = 2*f + 3, 2*f + l = -3*r. Is f at least as big as p?
False
Let t(p) = p**3 + 23*p**2 + 2*p - 30. Let o be t(-23). Is -76 greater than o?
False
Let v = 2 - -15. Let y be -30*(3/(-15))/(6/18). Which is bigger: v or y?
y
Let h(v) be the second derivative of -v**3/6 - 9*v**2/2 + 13*v. Let s be h(-8). Let q be 2/7 + 64/(-77). Is q at least s?
True
Suppose -3*h - 22 = 4*u - 8, -3*h + 4 = -5*u. Is u >= -2?
True
Let p(r) = 17 - 2*r + 3*r - 8. Let y be p(-9). Which is bigger: y or -2?
y
Let q = -1337329/145 - -9223. Let l = 477/1015 - q. Is l at most as big as 1?
True
Let q = 2 + -2. Suppose q = -r - 0*r - 5, 5*n = -r - 35. Let a = n + 0. Which is smaller: -5 or a?
a
Let n = -65 + 64.92. Which is bigger: n or -2/3?
n
Suppose 0 = -2*m + 2, -25 = -2*a + 4*m - 9*m. Let g = -24 + 15. Let s = a + g. Is s greater than or equal to 1?
True
Let c = 12 + -8. Which is greater: 8 or c?
8
Suppose -6*x - 52 = -76. Which is smaller: 2 or x?
2
Let m = -49/55 - -12/11. Let d be (0/1 + -2)*2/4. Which is smaller: d or m?
d
Let l = 16847 + -84657/5. Let t = -16 + -69. Let g = l - t. Are 2 and g equal?
False
Suppose 3*k = -0 + 12. Let y(c) = -3*c + 1. Let h be y(-1). Is h not equal to k?
False
Suppose -4*b - 3 = -5*x - 27, 2*x - 2*b + 8 = 0. Let s = 11 + x. Suppose 3 = -0*n + s*n. Which is smaller: n or -1/9?
-1/9
Let o(a) = -a + 5. Let w be o(-4). Let n be (-584)/(-360) + (-2)/w. Which is bigger: n or 0?
n
Let o be 3/(-12) - (-26)/8. Suppose o*k - 6 = 3. Which is bigger: 1 or k?
k
Let p be ((-1)/12)/(14/42). Which is bigger: 1 or p?
1
Let l = 21 + -11. Let z = 16 - l. Let s be 3/(-1*z)*0. Is s <= -1/2?
False
Let m = 718/7 - 103. Let t(k) = -k**3 + 8*k**2 + k - 4. Let n be t(8). Suppose 0 = -2*g - u - 4*u - 2, -3*u + n = -4*g. Which is smaller: g or m?
g
Let d = -2 + 3. Let p(i) = i**3 - 8*i**2 + 8. Let y be p(8). Let j = y + -7. Is d greater than j?
False
Let d be (8 + -11)/(3/8). Which is greater: -9 or d?
d
Let b be (-33)/8 - -2*4/64. Suppose 3*q + 1 = -11. Do q and b have the same value?
True
Suppose 0 = 3*y + 15, 9*l = 4*l + 4*y + 25. Is 1/3 greater than l?
False
Suppose -5*h - 13 = -2*n, 3*h = -2*n - n - 12. Is n <= 1/6?
True
Suppose -n - 4 = -3*n. Which is smaller: n or -0.06?
-0.06
Suppose 2*c = -0*y - 2*y + 22, c + 5*y = 27. Suppose 2*q = c*q. Is -1/2 at least as big as q?
False
Let k be (-2 - 0/2) + 8. Which is smaller: 14/3 or k?
14/3
Let o = 57862 + -7811333/135. Let h = -189 + 5101/27. Let k = h + o. Is -1 greater than or equal to k?
False
Suppose 7*t = 2*t + 10. Suppose y - t*y = -1. Let f = 3/2 + -2. Is f not equal to y?
True
Let f be 3 + (1327/(-7) - 2). Let m = 188 + f. Which is smaller: 0 or m?
m
Let s be ((-140)/(-25)*20/8)/2. Which is bigger: s or 10?
10
Let m be ((-6)/(-48)*4)/1. Suppose -2*a = -6*a. Which is bigger: a or m?
m
Let w(n) = n + 16. Let m be w(-10). Which is smaller: m or 7?
m
Let y = 33 - 26. Which is smaller: 50/7 or y?
y
Let g be 0/(-1) - (-1940 - 3). Let u = g - 19401/10. Let f = -12/5 + u. Is f greater than 2?
False
Let j(t) = t**3 - 10*t**2 + 8*t - 3. Let v be j(9). Let n = v + 17. Do n and 5 have the same value?
True
Let t be 7 + -5 - (-5)/(-3). Which is greater: -0.3 or t?
t
Let k = -5/137 + 419/3973. Let d(o) = -o**2 - 6*o + 7. Let w be d(-7). Which is smaller: k or w?
w
Suppose -3*u + 14 = v + 1, 2*v - 4*u = -14. Let x(r) = r**3 - 4*r**2 + 2*r + 2. Let q be x(3). Let k be (-4)/52*(-2)/q. Which is smaller: v or k?
k
Let g = 91/4 + -811/36. Which is smaller: g or -0.6?
-0.6
Let u = 49/5 + -10. Is 0 at most as big as u?
False
Let y = 2/107 - -317/214. Let o = 6 - 3. Which is smaller: o or y?
y
Let f = 9 + 7. Let y = -8 + f. Is y equal to 8?
True
Suppose 2 = -p + 4. Suppose 12 = p*w - 6*w. Let o be w/5 - 1/(-5). Is -1 <= o?
True
Suppose 4*p = z + 4*z - 35, -24 = -3*z + 3*p. Let l = z - 3. Let w be 0/(-2*1) - 0. Is w greater than l?
False
Suppose -2*m + 7*m = 0. Suppose 5*o - r + 7 = -0*o, m = -3*o + 2*r. Is o at most as big as -2?
True
Let y = -301/6 - -50. Which is bigger: -0.1 or y?
-0.1
Let g(v) = 4*v**3 - v**2 - v + 1. Let b be g(1). Suppose b*a - a = 0. Let j be 48/12 - (-38)/(-10). Which is greater: a or j?
j
Let u = -15 + 27. Let y be 2/6 - u/9. Is -1 less than y?
False
Let k = 30 - 44. Let d be -3 - (53/k + 1). Is 0 > d?
True
Let o = 22 + -23. Is o > 1?
False
Let s = 0.39 + 0.11. Let o = s + -0.4. Let q = -0.7 + -0.3. Which is greater: o or q?
o
Let q be (-1)/1 - (-60)/58. Let j = -51/203 - q. Which is bigger: j or 4?
4
Let d(w) be the first derivative of -w**2/2 + 5*w + 5. Let l be d(6). Is l greater than or equal to -2?
True
Suppose 0*x - 4*x = 12. Which is smaller: -4 or x?
-4
Let f(j) = -j**2 + 5*j - 4. Let r be f(3). Let v = -92 - -89. Which is smaller: r or v?
v
Let y(f) = -4*f**3 + f. Let k be (-2)/(-9) - (-28)/36. Let x be y(k). Let h be -5*x*2/15. Is h at most 3?
True
Suppose 84 = 5*c + 34. Suppose 3*g + 2*g = c. Are g and 2 equal?
True
Let f = -5.15 - -1.08. Let u = 13.93 - 14. Let h = f - u. Is h >= 1?
False
Let c be (15/(-10))/(3/4). Let r = 0 + c. Let l(n) = -n**3 + 10*n**2 - n + 7. Let b be l(10). Is r greater than b?
True
Let x(c) = -4*c**2 - 2*c + 2. Let v be x(2). Is v at most -18?
True
Let z(k) = 9*k + 47. Let d be z(-8). Is -26 greater than d?
False
Suppose 8*z + 56 = -0*z. Which is bigger: -4 or z?
-4
Let o(n) be the third derivative of -n**4/24 - 5*n**3/6 + 2*n**2. Let i be o(-6). Let k be (-2)/(-1) - (-33)/(-18). Which is smaller: k or i?
k
Let t = -38.01 + 38. Which is smaller: 1 or t?
t
Suppose 3*s + 0 = -9. Is -2 at most as big as s?
False
Suppose 3*k + y = 4*y - 18, 2*y - 6 = -k. Which is smaller: -1 or k?
k
Suppose 2 + 3 = 5*r. Suppose -2*l - r = -3. Are 2/9 and l equal?
False
Let s be (-2)/10 - (-33)/15. Let x(u) = 3*u + 2. Let m be x(-3). Let n = m + 9. Is n bigger than s?
False
Let c = 0.79 - 64.79. Which is smaller: c or 0?
c
Let s = 2.57 - 2.7. Let t be (2/(-16))/(2/4). Which is bigger: t or s?
s
Let b = -13 + 24. Which is smaller: b or 1/2?
1/2
Let o be ((-6)/14)/3 + (-2783)/(-77). Which is smaller: o or 37?
o
Suppose 7 + 3 = 5*p. Let n be -2 - (p - -1)/(-1). Let d be 0 + n + 0/3. Is 1 smaller than d?
False
Let p be -2 + (-1 - (0 - 3)). Suppose 0 = -4*g - p + 4. Let i be (2*(-1)/(-2))/3. Are g and i equal?
False
Let n = 1.97 + 0.03. Let u = -2.1 + n. Let o = 11.3 + -10.3. Which is smaller: o or u?
u
Let c be -1*(-1 - -3)*(-78)/52. Is 9 less than c?
False
Let i = 2 + -3. Let o = 10 + -12. Does i = o?
False
Let c = 527/7 + -75. Let h = -1.95 + 0.15. Let r = -2 - h. Is c bigger than r?
True
Suppose 0 = -2*r - r. Which is bigger: -1 or r?
r
Let p(a) = 1 + 3*a - 5*a + 3*a - 2. Let x be p(4). Is x smaller than 4?
True
Suppose -5*b + 0*x + 49 = 3*x, 3*b + 5*x = 39. Let k = b - 38/5. Is 1 >= k?
True
Let w = -19 - -28. Suppose w = 2*x + 39. Let n be (-25)/x + 4/(-6). Is n at most as big as 0?
False
Suppose -2 = 8*w + 6. Which is greater: -1/120 or w?
-1/120
Let t = -0.02 + -0.08. Let x = 0.11 + t. Let s = 0.21 - x. Is s greater than 3?
False
Let c be 8/(-12) + 47/57. Let u = -37/114 + c. Let g = -0.1 - -0.1. Does g = u?
False
Let z = -0.3 - 0.7. Let b = -2 - z. Is 0.3 >= b?
True
Let x(n) = -2*n + 40. Let c be x(13). Is 14 equal to c?
True
Suppose i + 16 = y, 4*i = -5 + 21. Suppose -f = f + y. Let a be 10/4 + 5/f. Is 2 greater than a?
False
Suppose 3*r = 2*r + 3*c + 4, 0 = c + 2. Let p = -18 - -13. Let n = 1 + p. Which is smaller: r or n?
n
Let l = -18 - -7. Let v(a) = a + 13. Let z be v(l). Let g = 4 + -3. Is g < z?
True
Let a = 0.11 + -2.11. Does a = 6?
False
Let u = -3 - -7. Let y(k) = k**2 - 3*k - 4. Let q be y(u). Suppose 0 = 4*m + 2*i + 10, 5*m - 5*i - 25 = 4*m. Is q <= m?
True
Let u(h) = h**2 + 3*h - 27. Let n be u(0). Which is smaller: n or -28?
-28
Let l = -10 - -10. Which is smaller: l or -3/14?
-3/14
Suppose 4*j = -8, 3*j = -6*i + 4*i - 10. Is -2 at least as big as i?
True
Suppose 3*i - 24 = -3*m + 6, -3*m - 5 = -4*i. Let h(g) = g**2 - 5*g + 1. Let j be h(i). Is j greater than 0?
True
Suppose 9 = -l + 4*l. Suppose m = -17 + 21. Is l at most m?
True
Suppose 3*q = -2*q + 10*q. Let u = -3 - -10. Which is greater: q or u?
u
Let u be (-25