 at least p?
False
Let q(c) = -5*c - 20. Let v be q(-6). Which is smaller: v or 1?
1
Let b = -4 + 1. Let f(x) = x - 12. Let j be f(9). Let m be (2 - j)*4/(-5). Which is greater: m or b?
b
Let r(x) be the second derivative of -x**3/6 - 5*x**2 - 2*x. Let a be r(-9). Which is greater: -3/2 or a?
a
Let u(n) = n + 11. Let d be u(-19). Which is bigger: -3 or d?
-3
Suppose -1 = -5*o + 5*f + 9, 0 = 4*o - 2*f - 8. Suppose -2*p + 3*n = -9 - o, -4*p + 3*n + 7 = 0. Suppose 20 = -14*z - 22. Are p and z nonequal?
True
Suppose -30 = -4*v + 10. Is v at most 10?
True
Let u be (-2 + 4)/((-16)/(-26)). Let w = 43 + -40. Do w and u have the same value?
False
Let f = -0.39 + 0.32. Let a = 29 - 117/4. Is a less than f?
True
Suppose -3*s + 30 = 5*g - 8*s, -2*g = 3*s - 22. Let x = g - 4. Suppose -x*b = -3*a - 14, 3*b - b - 12 = 4*a. Is b less than or equal to 2?
True
Let x(q) = 5*q**2 - 2*q + 1. Let m be x(1). Suppose -5*k + m = -1. Suppose -3*c + d + 0*d - 1 = 0, 0 = 5*c - 3*d + 3. Which is greater: c or k?
k
Let r = -0.51 + 0.11. Let o = 5 - 5.3. Let j = r - o. Is 1/4 less than j?
False
Suppose -3*a - 5*h + 17 = -4*a, a + h = 7. Suppose -4*y - 125 = 5*o, -a*o - 27 = -o - 3*y. Which is smaller: -20 or o?
o
Suppose -v = -4*s + 2*v + 28, 3*s - 21 = 4*v. Suppose -1 = -2*x + s, 4*g - 4*x = 0. Let t be g/6*(-6)/(-4). Is 1 bigger than t?
False
Let w(a) = -a**3 + 3*a**2 + 4*a - 1. Let d be w(4). Is d equal to 7?
False
Let r(s) = -s**2 + 2*s + 4. Let t be r(3). Let p = 39 + -21. Let c = p - 52/3. Is t smaller than c?
False
Let q(s) = -s - 1. Let d be q(-3). Let x be ((2 - 3) + d)/1. Do x and 1/2 have the same value?
False
Let f = 2 - 2. Let w be (-14)/6*4/22. Let d = 1/11 + w. Are f and d unequal?
True
Let u = 9 + -4. Suppose 0 = -3*t - t + 3*o - 14, u*o = 10. Which is greater: t or -1?
-1
Let n = 17 - -6. Let q = n - 70/3. Are 1/7 and q non-equal?
True
Suppose -4*c + 3*c = 0. Which is greater: 3/4 or c?
3/4
Let g = 4431567 + -8503. Let q = 5449214489/1232 - g. Let d = q - -1/176. Which is greater: d or -1?
d
Let u = -0.7 + 0.5. Let x = 0.3 + u. Which is smaller: 2/9 or x?
x
Let i be (-140)/(-28) + 713/(-143). Which is bigger: 1 or i?
1
Let c(o) = 2*o**2 - 2*o - 1. Let l be c(3). Is 11 < l?
False
Let a(h) = -h**3 - 6*h**2 - 2*h. Let v be a(-5). Let r be (-2 - 24/v) + 0. Which is greater: r or 0?
0
Let b = -0.58 + 0.5. Let a = b - 0.02. Which is bigger: a or 1?
1
Suppose 10*i - 15 = -5*i. Is 2/55 bigger than i?
False
Let i = -5/9 - -31/72. Do i and -4 have the same value?
False
Let m = 2 + 0. Suppose -m*z + 0 = -5*c - 6, -4*z + 2*c = -12. Is 3/2 <= z?
True
Let y = 497/15105 - 4/285. Is y less than -1?
False
Let y = -34 - -33.3. Is -0.1 > y?
True
Let j = 6 - 6. Let k = -1 - j. Let o = 5/11 + -43/22. Which is greater: o or k?
k
Let q = -1 + 4. Which is smaller: -0.02 or q?
-0.02
Let p = -898/669 - -2/223. Let z be 0*2/(-4 + 0). Suppose 0 = -4*h - z*h. Which is bigger: p or h?
h
Let b = 12 - 8.9. Let f = b + -3. Is -0.1 less than or equal to f?
True
Let i = -5 + 0. Let z = 3 + i. Let g be (-8)/36 + z/(-9). Is g greater than 1/4?
False
Let w be 9/((-954)/4) + 0. Is w at most 0?
True
Let m be 5/(15/(-9))*1. Let y be m/4 + 124/208. Is y < 0?
True
Suppose 2*c - 21 + 5 = 0. Suppose 3*g = 3*j + 21, 6*g = g + 4*j + 36. Is g not equal to c?
False
Let q be (-2)/4 - (-14)/4. Let c be (q/2)/(9/24). Let o = c - 4. Is o >= 2/11?
False
Let a = -10 + 11. Is 4 less than or equal to a?
False
Let w be (-322)/756 - (-1)/2. Which is greater: w or -1?
w
Let x be (5/(-3) + 1)/(84/5166). Is x >= 0.2?
False
Let h be (1/(-2))/((-2)/44). Is h >= 2/7?
True
Suppose 5 = -5*v - 10. Let o be 3/v - 19/(-13). Let b = o + 1/26. Does 0.5 = b?
True
Suppose -4*h - 5*w - 5 = 1, 0 = -w - 2. Let c be (4 - 5)*h + 3. Is 1 equal to c?
False
Suppose -2*b - r + 11 = 0, -6*b + b = -5*r - 65. Let z be 2/(-7) - b/(-28). Which is smaller: z or -2?
-2
Suppose 0 = 4*c + 2*b + 2, -2*b + b = 4*c + 3. Which is greater: c or -24/11?
c
Let l = 7 + -5. Let i be (8/(-128))/(1/l). Which is greater: -1 or i?
i
Let a = -536/3315 - -2/255. Let r(n) = -n - 4. Let x be r(-6). Let y be 0/(-1)*1/x. Which is greater: a or y?
y
Let h be 6/(-4)*(-18)/(-27). Which is smaller: -3/5 or h?
h
Suppose -2 = -4*q + 2. Is q less than or equal to -3/16?
False
Let g = -0.064 - -1.264. Is 3 >= g?
True
Suppose 0 = -3*n + 7*n. Which is smaller: -5 or n?
-5
Let d be -2*5*10/(-20). Suppose -d*t = 3*h - 20, 0*t + 8 = 2*h + 2*t. Let v = 3 + -3.1. Which is smaller: v or h?
v
Suppose -2*f - 6 + 3 = 5*x, -5*x - 6 = -f. Let v = -1.8 - -1.6. Is f greater than or equal to v?
True
Let i = 0.8 + -1.8. Which is smaller: 1/2 or i?
i
Let v be (8/(-6))/((-6)/(-27)). Let r = v + 4. Which is smaller: r or -3?
-3
Suppose 6*w = 3*w - 3. Let o = -663/10 - -66. Which is greater: o or w?
o
Let t = -138/2329 + -8/137. Let s = 11 + -7. Suppose -s*d + 4 = -4*w, -5 = -5*d - 0*d + 3*w. Which is bigger: d or t?
d
Let n = 463/4 - 114. Let p = 1 + 2. Is p bigger than n?
True
Let v(t) = 2*t**2 + t. Let b be v(-2). Let y = b - 5. Which is smaller: 2 or y?
y
Let f = 2 - 1.5. Let x = -0.4 + f. Let u = 0.4 - x. Which is bigger: 0.1 or u?
u
Let o(m) = -m**2 + m**3 - 2 + 3 - m + 2. Let u be o(0). Is u at least as big as 1?
True
Suppose -7 - 23 = 5*v. Which is greater: -7 or v?
v
Let l(o) = o**3 + 4*o**2 - 2*o - 6. Let a be l(-4). Let k(c) = 4*c**2 + 10*c**3 - 5*c - 11*c**3 + c + 2. Let b be k(a). Are b and 2 equal?
True
Suppose 3*p + 12 = -0*a + a, -p + 3*a = 12. Is p > 1?
False
Let d = -2 + 7. Let z = -352 - -359. Which is bigger: d or z?
z
Suppose -j - 2*j + 84 = 0. Let c = j + -13. Let d be 6/c + 8/30. Which is smaller: d or 1?
d
Let d be ((-4)/6)/((-18)/(-216)). Which is bigger: -9 or d?
d
Let t = 2.4 + -7.5. Let u = -6 + 11. Let m = t + u. Which is smaller: 0 or m?
m
Suppose -4 + 8 = 2*j. Suppose 0 = -2*z + 2*b + 2, 2*b + j = 3*z + z. Let d be (-4)/14 - (-4)/63. Is z equal to d?
False
Let y be 10/15*(-3)/(-2). Suppose -y + 0 = -h. Is h at least 2/3?
True
Let c be (7/(-22))/(-1) + (-8)/(-44). Let w = -1 - 0. Let p be -2 + 2 + 1 + w. Which is smaller: p or c?
p
Suppose -2 = p - 1. Which is bigger: -1/85 or p?
-1/85
Let d be (-5)/33 + 2/6. Which is bigger: -0.1 or d?
d
Let f(b) = -b**3 - 8*b**2 - 9*b - 9. Let n be f(-7). Which is smaller: 1 or n?
1
Let f = 5 + -5. Is -8 at least as big as f?
False
Let k(v) = -v - 6. Let x be k(-5). Suppose 0*a = -2*a - 4. Is a smaller than x?
True
Let k = -4 + 8. Suppose 0 = b - 10 - 2. Suppose k = -2*x + b. Do x and 5 have the same value?
False
Let a be (-15)/3 - -1*3. Is -9/7 at least a?
True
Let s = 0.2 + -0.1. Let g = 9.9 + -9.7. Is g smaller than s?
False
Suppose 5*h - h = 0. Suppose 0 = 3*j + d - 3 - 14, h = 4*d + 16. Let a = j + -7. Is a >= 2?
False
Let o = -13 - -17. Let t = -13 - -8. Let l = o + t. Is 0 at least l?
True
Suppose 3*f - 930 = -3*x, 4*x - 893 = -5*f + 352. Let m = -5793/19 + x. Let n = 27 - 28. Which is bigger: m or n?
m
Suppose -2*a + 31 = -6*a - 3*s, -2*a = 4*s + 8. Which is greater: -8 or a?
-8
Let s = 1 + -1. Let m = 15.279 + 0.021. Let w = m + -15. Which is greater: s or w?
w
Let n = -8.86 - -9. Let h = -0.14 + n. Is h < 11?
True
Let h(s) = 4*s**2 - s + 1. Let v be h(2). Suppose t + 39 = -4*t + 3*f, 0 = 3*t + f + v. Is -7 < t?
True
Let f = -376 + 2634/7. Suppose -16 = 4*m - 4*t, 4*m + 8*t - 29 = 3*t. Is m at most f?
False
Let s = 22 - 31. Is -12 at most as big as s?
True
Let d be (2/(-4))/((-2)/16). Suppose 0 = -2*n - 1 - 9, d*s + 3*n + 35 = 0. Which is bigger: s or -1?
-1
Let b = 2/69 + 128/345. Suppose 0 = 10*i + 7 + 3. Are b and i nonequal?
True
Let h = -0.02 + 1.02. Is -0.13 smaller than h?
True
Let t = 0 + 1. Suppose -z + t = -7. Let q be (-1)/(z/10) + 2. Are q and 1 equal?
False
Suppose c + b + 2*b - 4 = 0, -3*b = 3*c + 6. Let h(z) = 5*z. Let t(k) = k**2 + 2*k - 1. Let m be t(-2). Let s be h(m). Is c greater than s?
False
Suppose -3*f - 1 = -7. Let p be -1 + (-6)/16*-4. Which is smaller: p or f?
p
Suppose -3*i = 12, -2*i + 60 = 4*m - 3*i. Suppose 3*t + 4 = t, l - 5*t = m. Let u = 1 + 2. Which is smaller: l or u?
u
Let p be -6 - -6 - 2/10. Which is bigger: 2 or p?
2
Let l = -4 + 10. Suppose -l*v + v = 5. Which is smaller: v or -2?
-2
Let m = 0 - 1. Let j = 159 - 2387/15. Which is smaller: m or j?
m
Suppose 0 = 35*x - 30*x - 6