o k?
True
Let h(j) be the third derivative of -j**5/60 + 5*j**3/3 - 11*j**2. Let q be h(-3). Which is greater: q or -2?
q
Suppose -20*j - 7*j = -324. Which is smaller: j or 14?
j
Suppose 5*n + y + y + 271 = 0, -n - 59 = 2*y. Let d = 54 + n. Is -3/46 at least d?
False
Let z be 30/14 + 20/(-10). Is 388/3 less than z?
False
Let k(w) = 17*w**2 + 2*w. Let q be k(1). Suppose 0 = 5*y - 3*m - q, y - 6*m + m = 17. Let s be 4/(-8) - y/(-4). Which is smaller: s or -3/5?
-3/5
Suppose 15*t + 20 = 11*t. Let g be 1 - 5 - (t - -3 - 0). Is g less than or equal to 5?
True
Let u = 0.02 + -0.17. Let a be 441/567 - (-2)/9. Which is smaller: a or u?
u
Let y = -10 - 1. Suppose 0 = -i + 2*r - 24 + 2, i - 3 = -3*r. Is i greater than y?
False
Let v be (-132)/(-231) + (-33)/21. Do v and 8 have the same value?
False
Let y(s) = s**3 + 6*s**2 + 3*s - 4. Let j be y(-5). Suppose 4*p + 5*v - 35 = -0*p, 3*v = -3. Suppose p*m - 14*m + 20 = 0. Which is smaller: m or j?
m
Let g = -14 + 39. Let i = g - 25. Let q = -8 + 6. Is i at least q?
True
Let s be -4 + (-1)/((-3173)/12172). Let q = s - -1/167. Which is smaller: q or 0?
q
Suppose -5*n + 140 - 150 = 0, -4*u + 326 = 5*n. Is u < 86?
True
Let p(a) = a + 3. Let j(g) = -1. Let d(i) = -2*j(i) - p(i). Let y be d(-2). Let c be (-2)/(-6) + y/(-9). Is 0.2 bigger than c?
False
Let n = -153/2 + 1993/26. Let c(b) = b + 5. Let z be c(-5). Suppose z*q = -5*q. Are n and q non-equal?
True
Let q be (9/24)/(3/(-2)). Let y = -560 + 40878/73. Which is bigger: y or q?
y
Suppose 4*l = -20, c - 80 = 5*l - 6*l. Which is bigger: -0.2 or c?
c
Let k be 7/(378/(-1560)) - (-16)/4. Is k < -25?
False
Suppose 1 - 6 = -5*c. Let n be 4/8 + (-2)/(-4). Let p be (1 - -1) + (n + 2 - 2). Is p bigger than c?
True
Let j(q) = q + 17. Let p be j(-14). Suppose 2*v = 11 + p. Do v and 0 have the same value?
False
Let d be (-30)/(-8) + (-28)/(-112). Suppose -13*p + d = -9*p. Which is smaller: p or -4/41?
-4/41
Let b = -43 - -40. Are b and 26 nonequal?
True
Suppose 5734 = -83*l + 36*l. Is -0.1 at least as big as l?
True
Let a be (-8)/(-44) - 650/(-55). Let w(t) = -t**2 + 10*t - 12. Let y be w(10). Let l = y + a. Which is smaller: -1/7 or l?
-1/7
Let f be (249/(-9))/((-20)/(-60)). Is -83 at most f?
True
Suppose -2*w + 5*w = 9. Suppose v = t - 3*t - 52, 208 = -5*v + w*t. Is -43 >= v?
True
Let v = 279.2 - 279. Let s = 2 - 2.03. Which is bigger: s or v?
v
Let h = 0 - 1. Let z = -432 + 420. Is z smaller than h?
True
Suppose -2002 + 166 = -3*g. Let y = 14078/23 - g. Which is smaller: 0.2 or y?
y
Suppose -31 - 35 = -6*a. Which is smaller: a or 26?
a
Let f = -2.207 + 2.007. Are f and 401 nonequal?
True
Let j = -4.2 - -1.8. Is -1/2 bigger than j?
True
Let o = -124 + 137. Suppose 5*c + w - 13 - 4 = 0, -5*w + o = c. Which is bigger: c or -2?
c
Suppose 0 = w - g + 1259, 3*w - 885 = 2*g - 4667. Let y = -55613/44 - w. Which is smaller: y or 1?
y
Let n be (9/(-3) + 3)/2. Suppose s + n = -2. Let z be (2 + -4)/s*-2. Which is smaller: -1 or z?
z
Suppose 4*h - 3*h - 48 = 0. Suppose 2*c = -h - 10. Let b = c + 28. Which is smaller: -2/15 or b?
b
Suppose 11*z + 0*z = 60 + 292. Let s = 65 + -35. Are s and z equal?
False
Suppose -5*n = -k + 15, -5*n - 51 = 3*k - 16. Let t be -13 + 1 - 1015/(-203). Which is bigger: t or k?
k
Suppose l - 4*r - 4 + 16 = 0, 0 = -3*l + r - 3. Let o = -36 - -35.991. Let i = o - 0.061. Is i smaller than l?
True
Let u = -43.6 - -42.6. Which is greater: u or 1.24?
1.24
Let p = -11.46 - 9.54. Which is greater: 2/3 or p?
2/3
Let h be 14/(-52) + 1/4. Let r = -1143 - -1142. Which is smaller: h or r?
r
Suppose -175*g + 1826 = -164*g. Is -4 less than g?
True
Suppose 14*r = 115 + 67. Suppose 15*q = r*q - 62. Is 1 at least as big as q?
True
Let u be (2 + -2)*9/27. Let m be (-1)/(-6)*-2 + u. Is 1 at least m?
True
Suppose 3*f - 10 = f. Let t(l) = -l**2 - 2 + 30*l - f - 20*l. Let n be t(9). Which is smaller: -1 or n?
-1
Suppose 3*d + 20 = -2*d. Let w = d - -17. Let k be (33/(-9) + 4)*-1. Is k at least as big as w?
False
Let c = -3 + 9. Let g be ((-1)/3)/((20/15)/1). Is c bigger than g?
True
Suppose -5 + 21 = -4*w. Let z = 675 + -678. Is z >= w?
True
Let u be 22/77*(-7)/(-4). Let o = -0.6 - -0.52. Which is smaller: o or u?
o
Let r = -2421 - -2643. Are r and 220 equal?
False
Let r = 0.05 - -0.35. Let o = 174 - 2783/16. Is r > o?
True
Suppose -5*m = -2*m - 9. Suppose m = -0*i + i + 4*q, -2*q = 8. Let n = i - 9. Which is smaller: n or 9?
9
Suppose -3*y = f - 4, 12*f - 17*f + 7 = 2*y. Is 6/35 equal to f?
False
Let i(o) be the first derivative of -o**4/4 - 3*o**3 - 6*o**2 + 16*o - 2. Let r be i(-7). Which is smaller: r or 3/4?
3/4
Let b be 0 - 10/25*5. Let q be b/5*150/6. Is -9 at least as big as q?
True
Let j = 2870683/430 - 6676. Are j and 0 equal?
False
Let k = 141 - 280. Let n = k - -152. Is n at most as big as -0.3?
False
Suppose 0 = -0*j - j - 4, 0 = -5*v - 2*j + 7. Suppose 0 = -3*z + v*p, -2*p = 2*z - 6*z - 4. Let i be 3/z - (-781)/506. Which is smaller: 1 or i?
i
Let i = -23 - -17. Let g be 100/7 - i/(-21). Suppose f - 5*f + u = -g, 0 = 2*f + u - 10. Which is smaller: 0 or f?
0
Suppose 265*q - 270*q = -320. Is q bigger than 62?
True
Let p(v) = -30*v + 342. Let l be p(9). Is l at least as big as 72?
True
Let y = -13.6 + 17. Let n = -1.6 - y. Do 2 and n have different values?
True
Let p be 21/72*1 - 40/60. Is 7 less than p?
False
Let p be (-4850)/11 - 8/88. Which is bigger: p or -442?
p
Let d be (0 - (-16)/(-10))/((-12)/50). Is d at most as big as 8?
True
Suppose 5*g + 60 = 5*c, -c + 36 = c + 2*g. Let h be (8/c)/(4/6). Suppose 0 = 6*f + 1 - 13. Is f less than h?
False
Let h(j) = -2*j**3 + 27*j**2 - j + 11. Let u(k) = -k**3 + 13*k**2 + 5. Let r(w) = 2*h(w) - 5*u(w). Let o be r(11). Which is bigger: -26 or o?
o
Let o = -63/113 + 37366/339. Let x = 111 - o. Let g = -670 - -670.1. Which is bigger: g or x?
x
Suppose -189*s - 147 = -196*s. Is 21 not equal to s?
False
Suppose z = 23 - 8. Suppose 0*m + 5*m - z = 0, -m = g - 6. Let u be ((-9 + 3)/g)/2. Is 2/27 at most u?
False
Let r be 8/(-6) + 4 - (-5)/(-15). Which is bigger: r or 3?
3
Let w(z) = -14*z - 2. Let m(u) = -u - 1. Let a(b) = -3*m(b) + w(b). Let q be a(1). Let g be ((-11)/2)/((-1)/(-2)). Is g at least as big as q?
False
Suppose 29 - 9 = 4*t. Suppose 4*z - 4 = 12. Suppose 5*n = y - 5, -z*n - 5 = n - t*y. Which is bigger: n or -3/2?
n
Suppose -5*v = 12*v - 1615. Which is greater: -2 or v?
v
Let k = -24 - -6. Let i = k + 7. Let n be 21/i + (-1 - -4). Is n at least 0?
True
Let n = 33 - 34. Let c be (20/114)/(-1 - 15/(-9)). Is n at least c?
False
Let j(q) = 2*q + 23. Let l be j(0). Suppose 4*m = 5*t + 93, 5*t - 5*m + l + 72 = 0. Is t greater than or equal to -15?
False
Let p = -1 - -0.992. Let s = -0.192 + p. Which is greater: 0.8 or s?
0.8
Let s = -2/1697 + -3384/8485. Let a = 1 + -1. Is a greater than or equal to s?
True
Suppose 22*x = -51*x + 4526. Which is smaller: x or 804/13?
804/13
Let g = 577.1 - 577. Is g >= 0.005?
True
Let x be (-90)/5*(-4)/(-6). Let z(m) = 7*m + 164. Let h be z(-25). Which is smaller: h or x?
x
Let d(u) = u**3 - 6*u**2 - 8*u + 52. Let b be d(7). Is 41 greater than or equal to b?
False
Let w = 2877 + -2871. Let k be 1 + (-1)/(-2)*8. Let a = 11 - k. Are w and a equal?
True
Suppose -5*j - 75 + 80 = 0. Let l be ((-8)/(-238))/(12/14). Which is smaller: j or l?
l
Let n = -2965/9 + 329. Suppose -5*p + 10 = 0, 6*p = 5*y + 2*p + 28. Let v be y/22 - (-13)/11. Which is smaller: v or n?
n
Suppose -5*a + 13 = -52. Suppose 10*b - a*b = -9. Suppose 2*q + b = 3*q. Which is greater: 4 or q?
4
Let r be (-8)/((-42)/120 - (-3)/4). Which is smaller: -39/2 or r?
r
Suppose 3*d + 0 = 9. Suppose -2*i = -i - 2*l + 1, i - d = -2*l. Is i at least 2/51?
True
Let l = -23.0123 + 0.0123. Which is smaller: l or 10?
l
Let z = -125.9 - -152. Let x = 26 - z. Let b be ((-2)/3)/(8/(-36)). Is x bigger than b?
False
Suppose 6 = 4*y - 2. Suppose -3*c - f = y - 6, -3*c + 16 = 4*f. Suppose 5*r + 2*n + 14 = c, r - 3*n = 5*r + 14. Is r bigger than -4/5?
False
Suppose -17*w - 2*d = -18*w, 2*w + 3*d = 0. Do w and 2/165 have the same value?
False
Let g(f) = f - 2. Let w be g(2). Let d be 0 - 2*(0 + -1). Suppose -h + 2*h + d = w. Which is bigger: h or 1?
1
Let w = 10.68 + 3.32. Which is smaller: 4 or w?
4
Suppose -394*y + 10 = -4*b - 397*y, 2*y = 4*b. W