s smaller: n or 1?
n
Let g = 0.044 - -2.056. Let k = g - 1. Let b = 0.1 - k. Is 1 smaller than b?
False
Suppose 4*r + 14 = 2*r. Let s = r - -7. Let k be 3 - 2 - 17/15. Is s less than k?
False
Let l = 7.7 - 8. Suppose -5*s + 3*d + 8 = 0, -s - d = s - 12. Suppose -s*v - o = 3, v - 3*o = 4*v. Which is greater: v or l?
l
Let n = 671/6 + -111. Is n less than 1?
True
Let z = 42 - 35. Is -2 at least z?
False
Let n be (1 - -8)/(6/(-12)). Let p be ((-3)/9)/(2/n). Suppose 5*x = o - p, x + 3*o - 11 = -2. Is x smaller than -2/9?
False
Let b = 42 - 43. Is -1/31 smaller than b?
False
Suppose v - 22 = 3*h, -5*v = -0*v + 3*h - 56. Suppose 0 = 4*p + v - 1. Which is bigger: p or -2?
-2
Suppose 5*c + 38 = -4*r, 4*r - 4*c = -2 - 54. Is r >= -12?
True
Let z(v) = -2*v + 4. Let r be z(-2). Is r > 9?
False
Let v(s) = -2*s**3 + 5*s**2 - s - 3. Let w be v(4). Let t be (-10)/w - 24/11. Suppose 2*c - 2 = -4. Which is smaller: c or t?
t
Let w = -11 - -15. Suppose u + u = 0, -w*c = 5*u + 12. Let m = 2 + c. Which is bigger: -2/3 or m?
-2/3
Let m = 16 + -6. Let c = m + -10. Let d = -1.2 - -1. Which is greater: c or d?
c
Let w(d) = -d**3 + 6*d**2 - 6*d + 8. Let l be w(4). Which is bigger: 15 or l?
l
Let u be (-2 - 0)*(3 - 1). Let s = u - -10. Is s at least as big as 3?
True
Let f = 11 + -5. Let t = -9 + f. Is t less than or equal to -5?
False
Let a(i) be the first derivative of i**2/2 + 7*i + 3. Let k be a(-5). Is 2 at least as big as k?
True
Let w be (0 - -1)/(1 + -2). Let r = w + 4. Let u be 143/117 + 4/(-18). Is u greater than or equal to r?
False
Suppose -5*l + 35 = -5*a, -2*l + 18 = 2*l + a. Suppose 3*c = -3*x - 8 + 38, -l*c + 2*x = -22. Suppose -c = -0*b + 2*b. Which is bigger: b or -2?
-2
Let d be (-60)/54*3 - 6/(-2). Is 1 less than or equal to d?
False
Suppose 4*r - 6 = 3*r. Is r smaller than 3?
False
Let m be 5/((-300)/(-18))*(-15)/(-12). Is 0.04 less than m?
True
Let l = 1 + 1. Let r be l/(-7) - 4/(-14). Let q = r - 1. Is q >= 1?
False
Let f be (-11)/5 + 2/10. Let g be (f - 0) + (-6)/(-4). Is g >= -2?
True
Suppose 2 = -0*t - t, s + 3*t - 48 = 0. Is s <= 54?
True
Let o(q) be the second derivative of -q**3/6 + 13*q**2/2 + 2*q. Let x be o(9). Are 0.1 and x nonequal?
True
Let t = -1 + 0. Let j(k) = 2*k**3. Let f be j(1). Let o = -2 + f. Which is greater: t or o?
o
Let b be (-2)/35 + 0/1. Let c(t) = t**3 + 10*t**2 - 22*t + 23. Let n be c(-12). Is n smaller than b?
True
Let n = 2.628 - 0.028. Which is greater: 0 or n?
n
Let g = -15 + 18. Is 5 less than g?
False
Let m be (-18)/27*1*(1 + 0). Suppose 0*i = -2*i - 4*x - 12, i = -4*x - 12. Which is bigger: m or i?
i
Let b be (-2)/3 - (-16)/(-3). Let r = -4 - b. Suppose 2 = -r*u - 0*u. Which is bigger: u or 1/3?
1/3
Suppose 2*q - 16 = 6*q. Suppose 4 - 22 = -3*r. Let w be 1*-1 + r + q. Are w and 2/21 equal?
False
Suppose -18 = o - 5*t, -2*t + t - 2 = -3*o. Let w be (-20)/25 + o/10. Is w < -1?
False
Let g = -21/4 + 67/12. Let k = -0.05 + 1.45. Let w = k + 0.6. Which is smaller: w or g?
g
Suppose 0 = 5*f - 0*d + 3*d + 46, -d = -3. Let s be 96/(-44) - 2/f. Let b = -63 + 60. Which is greater: s or b?
s
Suppose 0 = 3*k + 5*i + 54 - 6, -43 = 5*k - 4*i. Let a(t) = -t**2 - 13*t - 1. Let y be a(k). Suppose -4*j - 18 = -2*r, 3*r - y - 2 = 4*j. Is j at least -5/4?
False
Let g = 4735/12 - 394. Let w = -1/12 + g. Let p = -5 - -6. Which is smaller: w or p?
w
Suppose -2*d = -2*n - 4, -3*n = 5*d + 2*n - 40. Suppose -5*r + 14 = y, 0 = -d*r - 4*y - 1 + 27. Is 4/7 at most as big as r?
True
Let t = 18/133 + -8/19. Which is bigger: -1.1 or t?
t
Let p = 0.07 - 1.07. Let r = p + 1. Is r bigger than -0.1?
True
Suppose 5 = -8*o + 3*o. Let r be (12/(-5))/(1/15). Let k be (-2)/(-2) - r/(-30). Is o bigger than k?
False
Let o = 4 - -9. Let r = -13.2 + o. Is 0.2 smaller than r?
False
Let o = -10 - -16. Suppose -2*a + 0*a + 16 = 0. Suppose -4*d + 3*p = a, 0*p - o = 3*d + 2*p. Which is smaller: d or 0?
d
Let r = 5 - 4.99. Let w = 2.99 + r. Let h = -4 + w. Is h not equal to -2?
True
Let j(d) = 7*d. Let s be j(1). Are 7 and s equal?
True
Suppose 3*s + 2*s + 10 = 0. Let z be ((-4)/(-2))/(s + 8). Which is greater: 0 or z?
z
Suppose 2*f - 4*n = 40, -2*f = -5*f - 4*n + 30. Is 15 != f?
True
Let f(d) = 15*d - 1. Let g be f(-2). Let j be 61*(-36)/(-24)*1/3. Let s = g + j. Which is smaller: -2 or s?
-2
Let p = -115 - -112. Is 0 not equal to p?
True
Suppose -y + 2*i = -31, 0*i = -3*y - 3*i + 48. Which is bigger: 20 or y?
y
Suppose -v = -5*v. Which is smaller: v or 1/9?
v
Let c be (14/20)/(1/3). Let i = 16/449 - 16933/8980. Let q = c + i. Is 1 bigger than q?
True
Let v be 16/5 - (0 - -3). Is -2/7 at least v?
False
Suppose 4*g + 14 = 5*u - 34, 5*u - 60 = 5*g. Which is smaller: g or -10?
g
Suppose -2 = d + 1. Let i(h) = -h + 8. Let t be i(6). Suppose 0 = t*b + 2 + 6. Which is smaller: b or d?
b
Let g = -8 - -7. Let u = g + 4. Which is smaller: 2 or u?
2
Let h = 7 + -8. Which is greater: 1/4 or h?
1/4
Let v(t) = -2*t**3 + 2*t**2 + t. Let u be v(-1). Let x be ((-1)/(-2) + 1)/(2/4). Is x at least as big as u?
True
Let r = 4442/1003 + -75/17. Which is greater: r or -1?
r
Let r(w) = w**3 - 10*w**2 + 12*w - 5. Let i be r(8). Let g = 110/3 + i. Which is smaller: g or 0.05?
g
Let y(t) = 3*t + 47. Let i(w) = -w - 16. Let q(b) = 11*i(b) + 4*y(b). Let l be q(-9). Is 3 at least l?
True
Let o = 6 + -11. Suppose -h + 2 + 0 = 0. Let w = h - 6. Which is smaller: o or w?
o
Let u = 0.8 + 6.2. Let s = -1 - u. Let j = s - -7.8. Which is greater: 3 or j?
3
Let i = -2 - -6. Suppose i*d = -0*d. Which is greater: -3/5 or d?
d
Let s(p) = p**3 + 3*p**2 - 2*p. Let o be s(-3). Suppose -a = -o*a + 15. Let k = 0 + a. Is 3 greater than or equal to k?
True
Let r = 8 - 10. Let p(v) = v**3 - 4*v**2 + v - 4. Let i be (8 + -2)*14/21. Let z be p(i). Is z bigger than r?
True
Suppose -4*m = -9*m + 20. Suppose -3*r + 4*r = m. Suppose -8*s = -r*s. Which is smaller: s or 6?
s
Let f = -71.7 - -49.7. Let u be (-2)/(-6) - 2/(-12). Which is bigger: u or f?
u
Let m(q) = q - 3*q + 8 - 17. Let s be m(-6). Which is smaller: -1 or s?
-1
Let f be 2/7 - 2/7. Suppose f = d - 2 - 2. Is d greater than or equal to 1?
True
Let b be -4 - 3/(120/(-172)). Let s = 0.18 + -0.08. Which is smaller: s or b?
s
Suppose -5*a = -0*j - 2*j + 26, 3*j = a + 39. Let m = 18 - j. Does m = 5?
True
Let l = -24 + 27. Let f = 0.16 + -0.06. Is l < f?
False
Let b be ((-8)/(-120))/((-2)/6). Is 1 bigger than b?
True
Let z(l) = 6*l - 87. Let n be z(15). Which is bigger: n or 9/4?
n
Let d be (-2 + (-14)/(-10))*20/(-16). Is -4 at least d?
False
Let l(q) = -q**2 + 10*q - 21. Let r be l(6). Which is smaller: 1 or r?
1
Let z = -1.02 - -1. Let p = z - -1.02. Let k = 48 + -238/5. Is p > k?
True
Suppose -2*r + 4*u + 17 = r, -2*r + 12 = -3*u. Let t = 4 + -6. Let n be (4/(-6))/(t/r). Is 1 at least n?
True
Let l be (15/10)/((-2)/(-4)). Suppose -1 = l*c - 4*c. Which is smaller: 1/4 or c?
1/4
Let d = 2 + 4. Let g = d + -6.06. Let t = -0.04 + g. Which is greater: t or -0.2?
t
Let w = -2 + 2.04. Let l = w - 0.34. Which is smaller: l or -1?
-1
Let k be 23 + 2 + 9/(-3). Let r = 15 - k. Is -7 at least r?
True
Suppose -3*x + 2*k = -2*x + 1, -2*k = -6. Is 21/5 < x?
True
Let d be (26/(-15))/((-24)/(-5)). Let t = d + 565/1764. Which is greater: t or -1?
t
Let q = -35 - -35. Let h = -2/317 - 931/3170. Which is smaller: q or h?
h
Suppose 9 = 2*g + 1. Let q = -6 + g. Let z be -1 + (-18)/(-4) + q. Is 2 greater than z?
True
Let v = -0.7 + 1.9. Let n = v + -1.2. Which is greater: -2/9 or n?
n
Let i(r) = -3*r + 12. Let x(y) = -y + 4. Let j(k) = 6*i(k) - 17*x(k). Let q be (-6)/(-5)*(3 - -2). Let a be j(q). Which is smaller: -3 or a?
-3
Let p be (1/2)/(3/(-336)). Is -56 less than p?
False
Let k = 3.97 + -0.37. Let s = 4 - k. Let h = s + -0.3. Is 1 greater than or equal to h?
True
Let i(o) = -o**2 + 7*o. Let f be i(6). Let d = -6 + f. Which is bigger: 2/19 or d?
2/19
Suppose 5*s = 3*s. Let r be ((-3)/(2 - -1))/1. Which is greater: r or s?
s
Let r(l) = l - 5. Let a be r(6). Suppose h = 5*h + 12. Let p = h + 3. Which is smaller: p or a?
p
Let o(j) = 116*j**3 + j**2 + j + 1. Let g be o(-1). Let u = g - -697/6. Which is greater: u or 2?
2
Let d be (-2)/6 - (-2)/6. Let o = -19/135 - -2/27. Does d = o?
False
Let u be 6/(-33) + (-926)/(-11). Let j be 6*(16/u)/(-2). Is -1 != j?
True
Let j = 