5?
a
Let u be (-1 + (-3)/(-6))/(0 + (-1)/2). Let b = 1407 - 94271/67. Which is smaller: u or b?
b
Let u(p) be the third derivative of -p**5/60 - 7*p**4/12 - 5*p**3/2 + p**2. Let y be (-1 - (3/(-2) - -1))*26. Let x be u(y). Which is bigger: -8/3 or x?
x
Let f(m) = -m**3 - 6*m**2 - 4*m + 5. Let h be f(-4). Suppose 2685*t = 2686*t - o + 8, 5*t = 4*o - 44. Is h < t?
False
Suppose 7 = 5*z + 5*o - o, o = 4*z - 14. Suppose v = -z, -2*q - v + 4*v = -33. Let j be 39*1/q + -3. Are j and -1 equal?
False
Let k = 2 + 2. Let c = 101 + -101.1. Is c greater than or equal to k?
False
Let d be (-6)/(-9) - (710/(-9) + 0). Let b = d - 78. Which is greater: 1 or b?
b
Suppose u = t - 1, 4*t - 6*u = -u + 3. Suppose -4*i + 2*i + t*p - 8 = 0, -5*p = i + 28. Is i equal to -10?
False
Suppose 56*x - 76576 = 24*x. Does x = 2392?
False
Suppose 20*y = 24*y + 384. Is y greater than or equal to -96?
True
Suppose -9 = 3*j + 3. Suppose 4*r + 2*s = -1 - 5, 5*r - 20 = 3*s. Let q be (r - (-2 - -2))*-5. Is q greater than or equal to j?
False
Suppose 4*p = 2*n + 28, -3*n - 21 = 2*p - 5*p. Let z be (5 + 3)/(p*2). Which is bigger: z or 2?
2
Let o be (72/34)/(2/(-5)). Let r = -6/90313 - -46782644/7676605. Let p = r + o. Which is greater: p or 0?
p
Let a be 9/124*360/1620. Is a smaller than 0?
False
Let x = -193 - -176. Is -20 bigger than x?
False
Let l = -2655/23 - -160161/1403. Is l >= -1?
False
Let j = -5/469 + 1661/199794. Is 0 < j?
False
Let q = 17 - 27. Let m be 5/(q/4) + 11. Is m greater than or equal to 11?
False
Let a be (14/36)/(22/(352/(-80))). Is a less than or equal to -1?
False
Suppose 0 = -37*b + 12*b - 325. Is -33 < b?
True
Suppose 5*w + 5*p + 20 = 0, 8*w + 21 = 4*w - 3*p. Let q be (0 + 1)*(w - -8). Is q greater than 2/19?
False
Let t = -1345/16 - -84. Let v = 52 - 53. Is v != t?
True
Let z = 6 + 1. Let d be 18/(-63) + 23/z. Suppose -1 = 4*k + d*r, -k - 5*r = -6*k - 10. Is k >= 0?
False
Let m = 344 - 319. Which is greater: 11 or m?
m
Let b(v) = -v + 5. Let w(i) = 3*i + 37. Let n be w(-10). Let o be b(n). Are -4 and o nonequal?
True
Let q be ((-6)/4)/((-4)/(-8)). Let l be q/42*10 - -1. Is -0.4 at most as big as l?
True
Suppose 10 = -5*h - 15, 4*r + 4*h + 24 = 0. Is -6 > r?
False
Let m(u) = -3*u**3 - 2*u**2 - u. Suppose 3*z = 4*k - 0*k + 17, 0 = -3*z - k - 8. Let h be m(z). Let j = -329 - -2307/7. Is h >= j?
True
Let d be (5*(-6)/(-45))/(10224/270). Is d smaller than -1?
False
Let t be (-384)/28 - 4/14. Let h = t - -15. Suppose -5*m + 2 = 3*v, v - h = -3*m - v. Is 1 at least m?
True
Suppose -4*q + 68 = -0*k - k, 0 = 2*k. Let v be 9/(-36)*-77 - 10*1/4. Which is greater: v or q?
q
Let h be (-9)/(-27)*(-1 - -1). Suppose -3*f + 6 + 9 = h. Let a = -5 + f. Which is greater: -2/65 or a?
a
Let h be (1 + -1)/(1 + 0). Suppose -2*r = 2*x - 34, h*r - 14 = -x + 2*r. Let n = x + -7. Is n less than 35/4?
False
Let k = -115 + 116. Is 2/45 >= k?
False
Suppose -3 = 10*f + 17. Let u be -4 + ((-80)/(-35) - f). Which is smaller: u or -8?
-8
Suppose -w - 7 = -4*a - 0, -4*a + 85 = 5*w. Let o = 19 - w. Suppose o*n - 6 - 6 = 0. Is n < 0?
False
Let l = -8.48 - -8.78. Let c be (-9)/15*(-2)/(-6). Which is smaller: l or c?
c
Let l be 2 + (-8)/2 - -3. Let x be 2 + (1 - -1*(-3)/(-1)). Let d be (-80)/(-130)*x/8. Is l greater than or equal to d?
True
Let c be (1/3)/(11*(-12)/(-28116)). Is c >= 72?
False
Let m = 65 + -235. Are -173 and m equal?
False
Suppose -3*h - 158 + 908 = 0. Let x be ((-30)/4)/((-5)/h). Let i = 5627/15 - x. Which is smaller: 1 or i?
i
Let n = 697 - 2791/4. Which is greater: 3/2 or n?
3/2
Let d be 2*((-20)/8 + 3). Is 1/316 at least as big as d?
False
Suppose 4*q - 40 = -28. Let b(x) = -2*x**2 + 5. Let t be b(q). Are t and -12 non-equal?
True
Let t(h) = -h**3 + 3*h**2 - h - 1. Suppose -4*d + 10 = d. Let c be t(d). Is c greater than 5?
False
Let r be 2/(-6)*(-11 + 32) + -4. Which is smaller: -13 or r?
-13
Let s be (1 - 4/2) + 2. Let r be s/4*(-1)/2. Let v(y) = y + 18. Let a be v(-17). Which is smaller: a or r?
r
Let d be 2449/130 - (7 - (8 + -5)). Let j = 153/10 - d. Suppose -2*b - 1 = 1. Which is bigger: b or j?
j
Suppose 80*w + 270 = 86*w. Let h be ((-229)/(-3))/(10/(-6)). Let p = h + w. Are -2 and p equal?
False
Let s be (-10 - -3) + 6 - 242/(-276). Let z = s - 1/23. Is z > 0.5?
False
Let u(k) = 2*k - 18. Let p be u(9). Let o = p - -19. Is 19 bigger than o?
False
Let l = -37714/3 - -12344. Which is bigger: l or 1?
1
Suppose -5*u - 185 = -4*n + 325, 5*n = 2*u + 204. Which is smaller: -98 or u?
u
Let j = -2 + 2. Let q be 9/(-12)*(24 + j). Let v be ((-4)/(-16))/(q/(-8)). Which is bigger: v or -1?
v
Let p = -2.6 - 75.4. Let l = -78.3 - p. Which is greater: l or 0.22?
0.22
Let b(s) = 19*s + 18. Let l(c) = -6*c - 6. Let a(z) = -2*b(z) - 7*l(z). Let h be a(-4). Let d = 8 + h. Are 0 and d non-equal?
True
Let w = -0.53 - 3.47. Let z = -0.8 + 2. Let c = 1 - z. Is c smaller than w?
False
Suppose o + 3*s + 2 = 0, 5*o + 5*s = -0*o + 30. Which is bigger: 0 or o?
o
Let o = -15.675 + 0.075. Let j = 0.6 + o. Let w = 15 + j. Is 6 >= w?
True
Let c = 9 - 15. Let x = 1 - c. Suppose -9*u + 16 = 3*b - 5*u, -3*b + u = -26. Is x at most b?
True
Let y(s) = s**3 - 8*s**2 + 1. Let f be y(8). Let r = 2644 + -13221/5. Is f < r?
False
Let c = 4954/3 - 1652. Which is smaller: c or 148?
c
Let u(s) = 5*s**2 - 2*s + 1. Suppose -l + 1 = -0*l. Let g be u(l). Suppose 0 = z - 0*p - 2*p - 7, -p - g = 0. Is z <= -1?
True
Let o(s) = -s**2 + 3*s + 7. Let l be o(4). Suppose y - l = -1. Are y and 7 unequal?
True
Let m be 85*((-9)/21 - 172/(-140)). Is m > 68?
False
Let s = -97/3 - -32. Let n be 458/(-79)*(-4)/64. Let o = n + 1/79. Do s and o have the same value?
False
Let z be ((1/(-1))/1)/(-1). Let r = -65 - -32. Let k = r + 31.9. Which is bigger: k or z?
z
Suppose 42*w = 35*w + 154. Let i be 6/w*42/63. Let d(r) = -r + 1. Let q be d(2). Which is bigger: q or i?
i
Let o = 2604 - 39001/15. Let h = o + -857/195. Suppose -20 = -4*b, 0 = 2*a + b - 0*b - 3. Are a and h equal?
False
Let r = -7 - -2. Let t = -9.3 + 3.7. Let n = r - t. Which is smaller: 2 or n?
n
Let a be (9/3 - 4)*-28. Suppose o = -o + a. Let n be 6/15 - o/(-10). Is 3 > n?
True
Let i(q) = -q**3 + 7*q**2 - 8*q + 9. Let z be i(6). Let y = z - -6. Let u be y/(-12)*(8 + -4). Is -1/6 greater than or equal to u?
True
Let q be 246/460 - 2/60*3. Is 1 < q?
False
Let v = 0.76 - 0.9. Let q = 0.06 - v. Let o = q + -0.2. Which is bigger: o or -14?
o
Let f = -16 + 20. Suppose 3 - f = -c. Let r be (-1)/(((-100)/(-8))/c). Which is smaller: -2 or r?
-2
Suppose -9*m - 7 + 25 = 0. Let a be 30/(-6*1/4). Which is smaller: m or a?
a
Let v = -160 - -147. Is -12 at least v?
True
Let h(o) = -o**2 - 76*o + 66. Let x be h(-72). Which is smaller: x or 1415/4?
1415/4
Let f be 1*4*(68/16 + 4). Let j be (-992)/(-132) - 6/f. Which is bigger: j or 8?
8
Let x = 0.14 - -0.06. Let i = x - -0.6. Let h = 0.8 - i. Which is bigger: h or -0.2?
h
Suppose -178 = -10*m - 48. Suppose -4*z + 20 = 0, -54 = -4*x + 6*z - 4*z. Which is smaller: m or x?
m
Let n(g) = -g**3 + 2*g**2 - g - 2. Let v be n(2). Let d = 2281 - 2281.03. Is d less than or equal to v?
False
Suppose 4*w - 5*v = -40 - 194, 0 = -2*w - 4*v - 130. Let d be (-155)/(-2)*24/(-30). Which is greater: w or d?
w
Let r be (-716)/(-2 - (5 - 5)). Let q = -131092 - -1699539/13. Let a = r + q. Do -1/4 and a have the same value?
False
Let k be (-4)/30 + (44268/11520)/31. Which is smaller: 1 or k?
k
Let y be (-8)/(-2)*2/8. Suppose 7 = 3*t + y. Let a be 3 - (3/(-5) - (-2 + -1)). Is a <= t?
True
Suppose 6*d + 4334 = -3856. Is -1364 less than d?
False
Let a be 783/(-36)*(-16)/3. Suppose i - 5*k - 33 = 0, -4*i - k - 47 = -a. Is 18 > i?
False
Let k = 2.848 - 0.148. Which is smaller: -1/3 or k?
-1/3
Let i(h) = h - 8. Let l be 21/(-27) - (-4)/(-18). Let q(w) = 10*w**2. Let u be q(l). Let x be i(u). Which is smaller: 4/5 or x?
4/5
Let m = -1 + 0. Let i = -28.7 - -26. Let w = i + -3.3. Which is bigger: w or m?
m
Let m be 4/(-44)*-84 - 1. Let j = m + -6. Which is smaller: 0 or j?
0
Let h = -13 - -17. Suppose -12 = h*m - 4. Let v = -3 + 3. Is m at least v?
False
Let q = -19420 + 19510. Let u be 718/8 + 2/8. Is u greater than or equal to q?
True
Suppose x - 4020 = -11*x. Let g be (x/40 - (-3)/(-8)) + -4. Suppose -4*t + 16 = -4*u, 4*u + 5 = 2*t - 7. Is t greater than g?
Fal