48 + 47. Which is smaller: c or 2/5?
c
Suppose -f + 4*j + 11 = 0, 3*f = 5*j + 10 + 2. Let n = 84.2 - 92. Let a = n + 8. Is f < a?
True
Suppose 6*m - 4*m = -f + 7, 4*m = 4. Is f > -15?
True
Let b(z) = -z**3 - z**2 + 3*z + 2. Let l be b(-4). Suppose -3*m = -17 + l. Which is smaller: m or -4?
m
Suppose y - 2 - 3 = 0. Suppose y*n - 39 = -s, s + 4 + 29 = 4*n. Let m be 1/(-4) + n + -8. Which is smaller: m or 1?
m
Suppose 3*j - 5*j = -714. Let q be j/39 - 6/39. Which is smaller: 8 or q?
8
Let k = 20 - 19. Suppose -c + k = v + 2, c + 5*v + 5 = 0. Which is smaller: c or 1/6?
c
Let a = 0 + 7. Let n(s) = s**3 - 8*s**2 + 9*s - 10. Let f be n(a). Are f and 4 equal?
True
Let a = -624/5 - -124. Do a and 3 have different values?
True
Suppose 4*c - 20 = 2*c. Suppose 3*a - 3*p = -2*a + 1, -4*a - 3*p = c. Are a and -1 nonequal?
False
Let r be 8 + -10 + (5 - 1). Is r at least -2/15?
True
Let o = -9 - -15. Let w = o + -7. Suppose 0*i - 14 = 2*i + 4*s, -4*i - 4 = -4*s. Is i at most w?
True
Let i be (-1)/(-7)*-4 + 1. Let h be (12*(-4)/(-6))/2. Let w = h + -5. Is w smaller than i?
True
Let q(a) = a**3 - 3*a**2 + 2. Let c be q(3). Suppose 5*y + 40 = -5*v, 2 = -2*y - 2*y + c*v. Let k(z) = -z**2 - 3*z + 1. Let m be k(y). Is m less than -2/9?
False
Let o be (-2 - 3)*4/(-10). Let x be (1 - 1/o)*-2. Let v be ((-8)/20)/(13/5). Which is smaller: x or v?
x
Let q = 7/5 + -8/5. Suppose 0 = 2*b - 2 - 0. Suppose -w - b = s + s, -9 = -5*w + 4*s. Which is smaller: w or q?
q
Let f be 1*(4/1 + -4). Let v be (5 + -6)*(-2)/6. Which is greater: f or v?
v
Let g(x) = x**2 + 2*x + 3. Let n be g(3). Let f = 18 - n. Let i = 0 - 0. Do i and f have different values?
False
Let s = 15/32 + -617/224. Let r = s + 12/7. Let l = -77 + 75. Is r bigger than l?
True
Let m = -0.6 - -3.6. Let v = 4/79 + 1196/1343. Let t = v - 146/119. Is t >= m?
False
Suppose 0 = c - 3*c. Is c at most as big as 6/17?
True
Let s be (-6)/(-4)*(-2)/(-3). Is -2/11 smaller than s?
True
Let l = 2.2 + -0.2. Which is bigger: l or 7?
7
Let u = -592 - -591.98. Let x = 0.9 - -0.1. Is x at most u?
False
Suppose 0 = o - 5*o, -2*o = 2*m - 22. Suppose 5*j - 4*f - 55 = -3*f, -3*j + 55 = -5*f. Is m equal to j?
False
Let v(p) = -p**2 + p + 7. Let w be v(5). Is -12 less than or equal to w?
False
Let r = -5 - -4. Let t = 107 - 120. Which is greater: t or r?
r
Let n(r) = 3*r - 4*r - 2 - 5 + 2*r. Let l be n(10). Let b = 10 - 6. Which is smaller: l or b?
l
Let s = -20 + 7. Let b = -9 - s. Suppose -4*n = -4*a - 36, a = -4*n - 3*a - b. Which is bigger: n or 5?
5
Let q = -4 + 2. Let n be ((-2)/q - 0) + -1. Suppose 2*l - l = n. Which is smaller: l or -2/3?
-2/3
Let u = -0.9 + 0.8. Let c = 0 + u. Let q = 66 - 461/7. Is c > q?
False
Let q = 10 - 9. Which is bigger: -2/7 or q?
q
Let n be 6/10 - (-38)/(-5). Is n > -7?
False
Suppose d - 2 - 1 = 0. Let n(p) = 2*p**2 - p. Let h be n(1). Is d not equal to h?
True
Suppose -6*n - 4*l = -n, 0 = 4*n - 5*l. Let g = n - -1. Let c be g/(-6) - 1/2. Is c less than or equal to -1?
False
Let a be -1 + 2 - 6/10. Suppose 0 = -5*l - 5*t + 10, 2*l - 1 = -2*t + 3*t. Is a smaller than l?
True
Suppose 2*t - 11 = 1. Suppose -4*w - 4*y + 4 = 0, -2 = -2*w + t*y - 2*y. Let f(l) = -l**3 - 6*l**2 - 4*l + 5. Let v be f(-5). Which is greater: w or v?
w
Suppose 0 = -2*f - 8 - 0. Let q be 3/6 - f/(-8). Which is smaller: 1/2 or q?
q
Let n(m) be the second derivative of m**4/12 + 5*m**3/3 + 11*m**2/2 - 2*m. Let z be n(-8). Which is greater: -6 or z?
z
Let v = -3.08 - -0.08. Which is bigger: v or 0.1?
0.1
Let w(q) = q - 6. Let o be w(9). Which is greater: o or 6?
6
Suppose 0 = -w - 3 - 0, 4*p - 7 = w. Let c be 0 + (6 - (2 + p)). Let q be ((-5)/c)/((-2)/(-6)). Is q greater than -6?
True
Let d = 0 - 0. Let q = 11 - 19. Which is smaller: q or d?
q
Let n(t) = -t**3 + 6*t**2 - 5*t + 6. Let p be n(4). Which is smaller: p or -1?
-1
Suppose 0 = -y + 2, -2*y + 6 + 1 = h. Let n be (-1)/(h/(-7 - 2)). Let u = -21/4 + 5. Are u and n unequal?
True
Let d be 2 + (0 - 2) + 0. Is d greater than or equal to 2/3?
False
Let z be (-10)/25*(-14 - 1). Suppose z*s - 5*m - 10 = s, -2*m = -3*s + 1. Is s greater than or equal to -2?
False
Suppose 0*m = 4*m - 20. Is 5 at most as big as m?
True
Let x = 2 + 4. Let m = -4 + x. Suppose m*o - 3*j - 3 = -0*j, -4*o - 3*j - 21 = 0. Is 1/3 equal to o?
False
Let d be (48/18)/((-4)/(-18)). Let q be 3/(-2)*8/d. Which is greater: q or -3/4?
-3/4
Let k(y) = -y**3 + y**2 + y + 1. Let v be k(2). Is -2 smaller than v?
True
Let r = 9 + -6. Suppose 0 = -r*k + 2*k + 5. Suppose k = a + 4. Which is smaller: a or -5?
-5
Let l be (692/140 + -5)*-7. Which is smaller: l or 0.46?
l
Suppose -8*f + 0 = 24. Is -3 less than f?
False
Suppose -5*c + 2 = -3. Let z be (5 + -2)*1/c. Let s = -217 - -219. Is s greater than or equal to z?
False
Let a = -12.44 - -12.3. Is 1/3 < a?
False
Let s = 4 - -6. Let z = -9 + s. Is 2/25 < z?
True
Suppose -5*z + 15 + 55 = 0. Suppose -g - 2*m + 15 = 0, z - 48 = -2*g - 5*m. Let d = -6 + g. Which is greater: d or 3?
3
Let m(k) = -2*k + 3. Let s be m(-3). Suppose -5*d - 2*p = s, -5*d - 3*p = -4*d + 7. Is -2/5 != d?
True
Let o = 21 + -21. Is o bigger than -0.3?
True
Suppose 3*h - j = 2*j, -2*h + 3*j = 2. Let l be 4*(-3)/(-6) - h. Is l greater than or equal to -2/5?
True
Let c be ((-11)/(-4))/(4/16). Let x(f) = 4*f + c - 2*f - f. Let g be x(-9). Which is smaller: g or 4?
g
Let n(g) = -2*g + 4. Let j be n(11). Let l be ((-2)/j)/(1/6). Is 0 > l?
False
Let t = 22 + -8. Is 15 bigger than t?
True
Let l = -11 - -5. Let t(z) be the first derivative of z**3/3 + 5*z**2/2 - 3*z + 1. Let c be t(l). Which is smaller: 0 or c?
0
Suppose -2*u - 4 = 3*i - 1, 0 = -u + 5*i + 5. Which is bigger: u or -2?
u
Let u = 8 - 8.015. Let m = -0.975 - u. Let v = 0.04 - m. Which is smaller: 0.3 or v?
0.3
Let s(j) = -j**3 + 15*j**2 - 15*j + 15. Let q be s(14). Let h = 2 - 1. Let c = h - 0. Is c at most q?
True
Let h = 17 - 17. Which is smaller: h or 0.9?
h
Suppose 6 + 4 = 5*d. Let b = -2 + d. Which is greater: -2/9 or b?
b
Let v be (8/(-10))/((-9)/(-45)). Is -2 greater than or equal to v?
True
Let p(b) be the first derivative of -b**3/3 + 5*b**2/2 - 2*b + 9. Let o be p(4). Which is smaller: 5/6 or o?
5/6
Let h(q) = 2*q. Let d = 1 + -2. Let x be h(d). Suppose 4*u - 16 = 3*j, 3*j + u - 2*u = -13. Is j bigger than x?
False
Let v = 3 + -4. Let y be 6 + (0 + v - 1). Which is smaller: 2 or y?
2
Suppose -5*c + 4*q = -c - 24, -3*c + 5*q = -24. Is 3 > c?
False
Let l(d) = d**2 + 17*d + 14. Let a be l(-13). Is a at least as big as -39?
True
Let j = -0.08 + 0.02. Which is smaller: 0.2 or j?
j
Let r = 185 - 183. Is 16/21 < r?
True
Let j be 40/7 + 2/7. Suppose j*s - 3*s = -3. Let y = -5/11 - -14/55. Is y smaller than s?
False
Let u(q) = -4*q - 9. Let g(s) = -7*s - 17. Let w(o) = -3*g(o) + 5*u(o). Let x be w(-3). Suppose 14 = 4*v + x*n, n + 2 = -5*v + 14. Is v > 0?
True
Let f(l) = l**2 - 8*l + 9. Let g be f(7). Suppose 2 = -w + 5*b, -g*b + 0 - 2 = w. Is w <= -2?
True
Let c be (-66)/54 + (-1)/(-9). Which is bigger: c or 0?
0
Suppose -2*v - 7 + 5 = 0. Let i(a) = a**2 - 1. Let o be i(v). Let w be (-6 - -5) + (o - 1). Is -2 equal to w?
True
Suppose -8 = 5*k - 3*q + 3, 5*q = 4*k + 14. Let a be 22/6 + k/(-3). Suppose a*p = 2*o - 6, -2*o + 6 = 6*p - 3*p. Is p < -0.07?
False
Let c be ((-5)/4)/5*(-24)/(-16). Which is greater: 0 or c?
0
Let p be (-9)/(-60) + 3/12. Which is smaller: 7 or p?
p
Let t = -0.191 + -0.009. Are 8 and t nonequal?
True
Let c be ((-5)/(-2))/(1/2). Suppose -y - 4*d - 32 = -4*y, 2*y + 17 = -c*d. Which is smaller: y or 0.1?
0.1
Let f = -42 + 41.6. Which is bigger: 1 or f?
1
Suppose 0 = v + 5 + 25. Is 2/7 less than v?
False
Suppose i + 0 + 2 = 0. Let n be (-3 - (-8)/2)*(-1 + -1). Is i less than or equal to n?
True
Suppose 0*m - 12 = -2*m. Let s = -5 + m. Let i = 3 - 2.8. Is i less than s?
True
Let o be 6/(-53) - (-2)/1. Let r = 3893/212 + o. Let t = 20 - r. Are -2 and t nonequal?
True
Let p(a) = 2*a**2 - a + 1. Let x be p(-2). Suppose 4*c + x = 5*y + 32, 4*y + 22 = -2*c. Is c greater than or equal to -1?
True
Let i = 83 + -78. Let v be ((-2)/(-8))/((-2)/(-36)). Does i = v?
False
Let v be 6 - 0 - 0/2. Let w be 687/12 - v/(-8). Let n be w/138 - (-1)/(-3). Is n at most -1?
False
Let s be 0*((-15)/5)/3. Which is smaller: s or 2/37?
s
Let u be (-1 - (-5)/3)