Which is smaller: g or 6?
g
Let q = -4 - -5. Is q greater than or equal to 3?
False
Let w(a) be the first derivative of a**4/4 - 5*a**3/3 - 3*a**2 + 3. Let o be w(6). Let i be 2*(1/2 - 1). Which is smaller: o or i?
i
Let j be ((-4)/2 - -2)/3. Suppose 3 = s + 1, 0 = -q + s - 1. Is q greater than j?
True
Let q = -22.9 - -23. Which is greater: 0.16 or q?
0.16
Let o(x) = -x**3 + 4*x**2 - 3*x. Let i be o(2). Suppose -i*u + 8 = n, 0 = -0*n - 4*n + 3*u - 23. Which is smaller: n or -1?
n
Let s = -3.2 + 3.7. Is -1/5 bigger than s?
False
Let f(h) = -4*h + 11. Let d be f(-8). Is 42 at least d?
False
Suppose -4*b = -0*b - 4. Which is bigger: 3/7 or b?
b
Let w be 2/7 + 6/(-21). Suppose w = 2*h - 5*h - 9. Let k = h + 2. Which is smaller: k or -2?
-2
Let y be ((-5)/10)/(2/4). Let a be (-18)/8 - (0 - 2). Which is smaller: y or a?
y
Let b = 131/10 - 27/2. Which is smaller: b or 0?
b
Let a be 4/2 + (-8)/4. Let i be (-10)/18 - -1 - a. Which is bigger: -1 or i?
i
Suppose -28 + 48 = 2*w. Which is smaller: 13 or w?
w
Let m be (-4)/(-6) - (-28)/21. Suppose 0 = -2*h + m + 8. Suppose 8 + 2 = -h*t + 5*o, t + 3*o = -22. Which is smaller: -6 or t?
t
Suppose 2*j - 120 = -3*j. Let l = 13 - 9. Suppose j = -l*w - 0*z - 4*z, 3*z = -6. Is -3 less than or equal to w?
False
Let c be (-7)/1*-1 + -2. Let n = 26 - 20. Is n less than c?
False
Let k(v) be the second derivative of -v**5/20 + v**4/12 - v**3/6 - v**2/2 - 3*v. Let h be k(0). Does h = 1?
False
Let p = 5 - 8. Which is bigger: p or -7/4?
-7/4
Let o(d) = -2*d**3 + 3*d**2 - 2*d + 2. Let q be o(2). Let b = q - -1. Is -5 at least b?
True
Suppose -10 = 4*w + 4*m - 2, -3*w + 4 = -2*m. Let p be 0 - (-1 + w)/4. Let i be 1/3 + (-1)/3. Which is smaller: i or p?
i
Let a = 109/21 - 31/21. Which is smaller: a or 5?
a
Suppose -10 = y - 6*y. Let u = -2 - y. Let s = -7 - u. Do -3 and s have different values?
False
Let z be 12/(-598) + (-32)/208. Which is greater: 0.1 or z?
0.1
Let y(s) = s + 3. Let h be y(-5). Let c be -1*-1*h/2. Let b be c + -1 - (-1 + 0). Which is bigger: 1/7 or b?
1/7
Let v = 3 - -12. Is v at most -0.1?
False
Let d = -0.15 + -2.85. Does d = 7?
False
Let h = 0.6 + 0.2. Let u = h + -0.8. Let m = -86 + 260/3. Is u >= m?
False
Let q = -58 - -52. Are q and 3/7 unequal?
True
Let v(b) = 2*b + 7. Let k be v(-6). Let u(m) = 2*m**2 - 8*m - 7. Let t be u(4). Is t <= k?
True
Let d = 0.5 + -0.3. Let u = -1.5 - -1.1. Let s = d + u. Does -2/9 = s?
False
Let k be 10 + (-13 - -7) + 17/(-4). Which is smaller: 19 or k?
k
Let a = -3/61 - -131/183. Which is bigger: a or 3?
3
Suppose 0 = -s - 3*n - 6, 3*s - 3*n = s + 15. Suppose 2 = -s*r + r. Which is greater: -4 or r?
r
Let o(n) = -n**2 - 18*n - 9. Let d be o(-7). Let i be (9/d)/((-9)/(-6)). Let k = i + 1/34. Is -1 <= k?
True
Let s = 629/7 + -90. Suppose 8*k - 5*k + 2 = -x, -4*k + 2 = -x. Which is bigger: k or s?
k
Let a = 4 + -4. Let o = -2593/10 - -259. Is o != a?
True
Let w(p) = -p - 2. Let a be w(5). Let r be (-2)/a + (-160)/(-28). Let i be 1/(10/r - 2). Are i and -3 nonequal?
False
Let l = -3.3 + 2.3. Are -14 and l unequal?
True
Let r = -68 - -67.7. Is r at most 3/4?
True
Let h = 6 + -6. Let p = 17 + -23. Is p equal to h?
False
Suppose 2*y + 3*y - 5 = 0. Let r be 0/(4/(-1) - -1). Is y equal to r?
False
Let o be (-3)/(6/4 - 0). Suppose 0 = 3*a - 3*q + 3, 5*a + 10 = -0*a + 4*q. Let h be a/(-4)*(1 + -3). Are h and o nonequal?
True
Let j = 9.1 + -9. Suppose 3*m - 5*n + 6 = 2, 10 = 5*n. Suppose m*s + s + 3 = 0. Is j <= s?
False
Let j(a) = -2*a**2 - 2*a + 4. Let x be j(-3). Which is smaller: -9 or x?
-9
Suppose 0 = -2*m - 3*m - 10. Let v = 0.1 + 0.1. Is m < v?
True
Suppose 0 = -q - 0*q + 2. Let k be q/4 - 9/54. Suppose -2*f = 2*t + 6, -t - 2*f = f + 3. Which is bigger: t or k?
k
Suppose 4*p + 44 = 3*l, -3*p - 15 = -0*p. Suppose -y = 2*u, -3*y + 5*u + 2 = -5*y. Suppose 0 = -y*v + 20 + 12. Is v < l?
False
Suppose k - 8 = -k. Suppose -r - r = -4*z - 20, -5*z = k*r + 25. Which is smaller: r or 5?
r
Let q = -0.003 - -0.003. Which is greater: q or -2/23?
q
Let q be 3 + (-1 - 14/10). Is q smaller than 2?
True
Let r(f) = -11*f - 48. Let x be r(-4). Let q(l) = 2*l + 6. Let b be q(-4). Is x greater than or equal to b?
False
Let a = 1 - 0. Let l be 2/2*12/(-102). Is a > l?
True
Suppose -2*m - 53 = -g, -3*g - 56 = 2*m - 5*g. Is m at least as big as -25?
True
Let g = -132.82 + 126. Let n = -0.18 + g. Which is bigger: n or 0.2?
0.2
Let n = 20 - 19. Which is smaller: -1 or n?
-1
Let v be (4/(-10))/(28/(-175)) + -2. Which is greater: 100 or v?
100
Let c = -28 - -27. Which is greater: 2/23 or c?
2/23
Let s be 0 - -1 - 9/12. Let w(f) = -f + 3. Let k be w(0). Suppose -k*u = u. Is u bigger than s?
False
Let i = -12/19 - -43/38. Is 0 < i?
True
Suppose 5*y - 45 = -0*y. Let l be -8 - 3*(-6)/y. Let a(f) = f + 4. Let z be a(l). Which is smaller: -1 or z?
z
Let s be 24/(-7) + (-12)/(-28). Let d(b) = -b - 3. Let k be d(s). Let p be (2/(-16))/((-6)/(-8)). Do p and k have different values?
True
Let f = -732 - -21230/29. Which is smaller: -1 or f?
-1
Let s = 2 + -2.1. Let h be ((-4)/14)/(7/49). Is h at most as big as s?
True
Suppose -3*p + 3 = -0. Which is smaller: -1/53 or p?
-1/53
Suppose 0 = -a - 7 + 23. Suppose 0 = w + k - 7, -3*w + 0*w - 2*k + a = 0. Are w and 2 equal?
True
Suppose 2*r + 1 = -3*v, -3*r - v - 2 = 4*v. Let n be ((-27)/18)/(r/(-2)). Which is greater: n or 4?
4
Let v = 13/54 - 2/27. Let m(z) = -z + 4. Let j be m(7). Let r be -3 - (6/j - 2). Does r = v?
False
Let o = -5 + 5. Which is smaller: -7 or o?
-7
Let o(y) = -y**3 - 7*y**2 - 6*y. Let w be o(-6). Let s be -4 - ((1 - 3) + w). Let f be 12/2*(-1)/s. Which is bigger: 2 or f?
f
Let s = 19.869 + 0.131. Is 1 greater than s?
False
Let f = 0.31 - 0.31. Is f <= 44?
True
Let q be (-6)/(-3)*(-4)/(-48). Which is smaller: q or -1/5?
-1/5
Let l be (-13)/(-2) + (-7)/(-14). Let m be 56/3*(-3)/(-2). Let z be 4/(-14) + 176/m. Which is greater: l or z?
l
Suppose -2*x - 6 = -4*c, 5*c - 4 = c. Let n = 0.14 + 2.86. Let s = n - 5. Which is smaller: s or x?
s
Let b = -75.7 - -76. Let n = -1 - -0.9. Let t = b + n. Which is smaller: 1/3 or t?
t
Let d = 26.1 + -26. Which is smaller: 2/9 or d?
d
Let u(y) = -y**3 + 4*y**2 - 5*y + 5. Let i be u(2). Is i at least as big as 0.3?
True
Let a = 161 + -91. Is a at most as big as 70?
True
Let l be (0/2)/(-1) - 1. Let u = 4 - 4. Let r = -3 - u. Which is smaller: r or l?
r
Let q be 2 - 3*(-10)/2. Suppose x + q = 4*x - 5*w, 5*x + 5*w = -25. Is -6/7 greater than or equal to x?
True
Let l = 0.8 + -0.7. Let x be ((-2)/(-3))/(1/(-3)). Let h be 4/x - (-18)/8. Are l and h non-equal?
True
Let p = 11 - 15. Which is smaller: p or -7?
-7
Let q = -51 - -49. Is 2/5 greater than q?
True
Let o = 17.85 - 18. Let v = o + 0.04. Is v smaller than -2?
False
Suppose -3*f = 2*b - 14, -3*b - 2*f + 7 = -9. Let x = 1 + 1. Which is smaller: x or b?
x
Suppose -2*q + 14 + 5 = 5*v, 5*q + 10 = -v. Let j(n) = n**3 - 6*n**2 + 5*n + 4. Let o be j(v). Suppose -w + 2*w - o = 0. Which is bigger: 3 or w?
w
Suppose -2*i - 2 = -3*i. Suppose 0*x = x - i. Which is smaller: x or 3?
x
Let u(k) = k**2 + 6*k - 3. Let d be u(-7). Let y be d - (-5)/((-20)/8). Which is smaller: 5 or y?
y
Suppose 58 = -3*s - 2. Which is greater: s or -19?
-19
Suppose 10 = 4*a + a. Suppose 5*v + 23 = -2*z, 5*z + a*v - 4*v = 15. Let l be (0 + 0)/(-2 - -1). Is l >= z?
False
Let g be 0 + -5 + 3 + -1. Let y be 2/(-6) + 2/g. Do y and -1/8 have different values?
True
Suppose -3*x + 5*t = -6*x - 25, -15 = 3*t. Let g = 111 + -1000/9. Are g and x nonequal?
True
Let r = -2.06 - -0.06. Let p = 0.4 + 2.6. Let u = p + r. Is u greater than or equal to 4?
False
Let y(t) = t**2 + t - 2. Let x be y(2). Suppose -x*c + 2 = -5*c. Let k be c/5*(-10)/8. Does 1 = k?
False
Let j = 2.92 + 0.08. Let r = 3 - -1. Let f = 3.8 - r. Do f and j have the same value?
False
Let i(a) be the first derivative of -a**3/3 - a**2 + 1. Let g be i(-2). Let q be -2 + 1/1 + 0. Which is smaller: g or q?
q
Let p be 1 - 2 - (-8)/6. Let q(o) = o**3 - 6*o**2 - 7*o. Let v be q(7). Suppose -5*x + x = v. Which is bigger: x or p?
p
Let c be (-585)/18 + (-1 - 0). Suppose 4*v + 78 = -2*a, 5*a + 2*v + 95 = -76. Let m = a - c. Is m greater than or equal to 1?
False
Let x = 16 + -11. Let d = x - 4. Is 1 bigger than d?
False
Let z = -5/6 + 1/2. Is z bigger 