 = n**3 - n**2 - n + 1. Let l be q(m). Which is smaller: 5/7 or l?
l
Suppose 4*w - 40 + 8 = 0. Suppose q + 19 - 18 = 0. Let f be (-5 + w)/(q - -4). Is f greater than or equal to -0.1?
True
Let a = 0.12 + -2.82. Let r be 1/(28/21) + (-21)/60. Which is smaller: a or r?
a
Let q = 20.96 + -20. Let m = q - 0.9. Which is greater: m or 3?
3
Let y = 37.39 - 0.39. Let j = -0.178 + -37.322. Let i = j + y. Which is greater: i or 0?
0
Let y = -14.9 + 18.9. Is 7 bigger than y?
True
Let z = -89.81 - -89.8. Which is greater: -20 or z?
z
Suppose 0 = -3*t - t - 3*j + 92, -114 = -5*t - 4*j. Let z = t + -23. Suppose w - z = -9. Which is bigger: w or 1?
1
Let v be 2/471*2/((-16)/(-36)). Let x = 975/1727 - v. Which is smaller: 2 or x?
x
Let d(n) = n**3 + 3*n**2 + 2*n + 3. Let l be d(-4). Suppose -3*m = -9, 2*q - 48 = 5*q + 4*m. Which is smaller: q or l?
l
Let o = 662 + -836. Is -172 smaller than o?
False
Suppose 0 = -9*q + 6*q. Let f = -2 - q. Let w be (12/(-70))/((-3)/(-15)). Which is bigger: f or w?
w
Let q be (25/125)/((-2)/(-10)) + 0. Do 5/74 and q have the same value?
False
Suppose x + 2*k - k = 1, -3*k - 9 = 0. Suppose 13 = x*d - 3*d. Which is smaller: 12 or d?
12
Suppose 4*i + 14 = -2*u, 3*u + 23 = -2*u - 4*i. Let d = u - 1. Let q be ((-21)/(-4))/(d + 7). Is q greater than or equal to 3?
False
Suppose 0*q - 3*q - 270 = 0. Let g be ((-1)/(-2))/(5/q). Which is bigger: g or -23/3?
-23/3
Let b = 7 + -4. Let p = -7 + 19. Suppose 4*h = -p + 28. Which is bigger: b or h?
h
Suppose 2*c = 2 + 18. Suppose -6*u = -4*u - c. Suppose -3*j - 14 = -u. Do -2 and j have the same value?
False
Suppose 0 = 3*w + 5*j - 15, 4*j = -3*w - 2*w + 12. Which is greater: w or -355?
w
Let o(s) = -3*s - 4. Let y be o(-1). Let b be -3 + 4/9*6. Let d = b + 1/2. Which is smaller: d or y?
y
Let z be -2 + 1512 + 6/(-3). Let j be (-1)/(-8) - z/32. Which is greater: j or -49?
j
Let w be 14/(-2*(-4 + 3)). Suppose 4*p - w = 1. Suppose 3*t - 3 = -4*n, n - p*t - 3*t = -5. Are n and -1 equal?
False
Let f(z) = -z**3 - 3*z**2 - 4. Let a be f(-3). Let v be (7 - 5) + a + 4. Let b = -49 - -101/2. Is b greater than or equal to v?
False
Let d(l) = -l**2 - 7*l + 15. Let r be d(-9). Let m be (-3 + r + 3)*1. Is -3 bigger than m?
False
Let p = -0.783 - 15.267. Let n = p - -16. Let h = -0.85 - n. Which is smaller: 1/4 or h?
h
Let j = -29/2 + 14. Let c be (-6)/(-4)*(-28)/(-231). Is c < j?
False
Suppose -5*y + 51 = l + 41, -3 = 2*y - l. Let i = -143/522 - -16/29. Is i at least y?
False
Let f be (-5)/(-7) - 9/21. Is f <= -3/32?
False
Suppose 0 = -3*p - 2*p. Let y be 76/3*(-10)/1200. Let s = y - -2/45. Which is bigger: p or s?
p
Let v(p) = -p**3 - 5*p**2 - 5*p - 2. Let u be v(-4). Suppose -u*i = i. Let c = i - 0. Which is greater: c or -2/3?
c
Let s(k) = k**2 - 16*k + 17. Let x be s(13). Let r be (3/x)/((-36)/(-192)). Which is greater: -2 or r?
r
Let b be (-52)/(-52) - (-2 - -3). Let r(d) = 12*d + 2. Let f be r(-2). Let k be 1 + -2 - 26/f. Which is greater: k or b?
k
Suppose 0 = 3*b + 2*b + 2655. Let z be (4224/b)/(-4) - 2. Which is smaller: z or -1?
-1
Let x be (1/(-1)*-1)/((-478)/(-31070)). Which is smaller: 71 or x?
x
Let o be (4/46)/((-20)/4). Suppose -3*w - 15 = -5*z, 2*w + 3 = -5*z + 6*z. Which is bigger: o or w?
w
Let q = 3183/217 + -1/651. Suppose -39 = -3*y - 2*s, -5*s = -7*y + 3*y + 75. Which is bigger: q or y?
y
Let u be 10/(-30) - (-30)/9 - 2. Is u less than or equal to 2?
True
Let o be -13 + ((-8)/(-2))/4. Let x = -12 - o. Suppose -3*y = y - h, 3*y + 3*h - 15 = 0. Is y <= x?
False
Let g = -25 + 16. Let m = g + 9. Is 1.4 greater than m?
True
Suppose -41*l + 40551 = 3282. Which is greater: 911 or l?
911
Let i(b) = 5*b + 57. Let g be i(-12). Which is greater: 1 or g?
1
Let a = 358 - 374.9. Let g = a + 17. Let t be (1 + 0)*(-8)/2. Which is bigger: t or g?
g
Let q = 0.0521 - 0.9051. Let g = q + -0.147. Are g and -26 non-equal?
True
Suppose -5*i = 3*a + 25, -18 = 4*i + 6*a - 4*a. Let t be i/(40/(-14))*(-48)/(-42). Which is smaller: t or 0.9?
t
Let u = 88 + 40. Let a = u + -122.3. Let r = a - 6. Is 1 != r?
True
Suppose 0 = 4*l - 4*x + 40, -7 - 9 = l + 5*x. Let w = l - -9. Is -1 greater than w?
True
Let z = 195 + -197. Is -2/223 smaller than z?
False
Let l be -7 + -7 + 13 - 296. Is l less than -293?
True
Suppose -2*n + 26 = -20. Let c = 28 - n. Suppose -3*z + 19 = -s - 0*z, -c*z = -5*s - 95. Which is greater: -18 or s?
-18
Let c = 98 + -151. Let l be 268/c - (-5 - 0). Which is bigger: l or 1?
1
Suppose 3*t = 2*n + 9, -3*t - n + 7 = -2. Suppose 22 = t*u + 7. Suppose -8*j - u = 3. Which is greater: j or -11?
j
Suppose k = 2*f - 0*k + 17, 3*f + 27 = 2*k. Let z be (-34)/(-14) - (-3)/f. Let c be 13/3 + z/3. Is c >= 5?
True
Suppose q + 28 + 21 = 0. Let z = -63 + q. Let l = z - -1233/11. Which is bigger: l or 1?
1
Suppose -4*i - 2*s = 236, 0 = s + 81 - 85. Which is smaller: i or -59?
i
Let q = -16 + 6. Let a be 4565/12*q/(-100). Let b = 38 - a. Which is smaller: b or 0?
b
Suppose 3 = 5*h - 2. Suppose 0 = -3*f + h + 5. Suppose -m + 22 = -5*y, 3*m + y = -2*y - 6. Is m smaller than f?
False
Suppose 22*j + 22 = 11*j. Let x be j/11 + 4/22. Is -1.2 less than or equal to x?
True
Let z(n) = -3 - 4 + 3 - 37*n + 2. Let v be z(-2). Let f = 503/7 - v. Which is bigger: 0 or f?
0
Let l = 211 + -134. Suppose 0 = -5*v + 4*v + l. Let u = v + -384/5. Which is smaller: -5 or u?
-5
Suppose 5*b = 25, -4*b - b = -l - 22. Suppose -m + 17 + 2 = -l*d, 2*m = -2*d - 10. Let a be 1/d + (-1)/(-6). Is a less than or equal to 3/13?
True
Let y be 1/(9/3 + (-122)/40). Is -15 bigger than y?
True
Suppose -104*f - 20280 = -26*f. Is -260 >= f?
True
Let x = 739 - 741. Is -10.5 greater than x?
False
Let c = -629 + 625. Is c greater than 1/6?
False
Suppose 43 + 47 = 6*u. Suppose u*b - 5 = 20*b. Is b > 1/172?
False
Let s be (-30)/6 + (-9)/(-3). Let v = s + -2. Let f be 0*(-3 - 14/v). Which is bigger: 2/19 or f?
2/19
Let k(j) = j**3 + 6*j**2 - 9*j - 8. Let l be k(-7). Suppose 3*p + l = -3*h, -h + 2*h = 4*p + 8. Suppose -8*m + 3*m = h. Is m <= -1/5?
False
Let j be 1 - 7/((-7)/410). Let f be (j/26)/(2/12). Let v = 95 - f. Which is bigger: v or -1?
v
Let l = 8775/7 + -41261/42. Let r = 272 - l. Are 0 and r non-equal?
True
Let m = -3 + 5. Let p = 157 + -158.5. Which is bigger: m or p?
m
Let v(y) = y**3 + 7*y**2 + 7*y + 6. Let l be v(-6). Let h = 831 + -562. Let m = -1619/6 + h. Is l at least m?
True
Let v = -1738149/242 - -1913628223/266684. Let d = 431/116 + v. Let b = d - 8/19. Does -3 = b?
False
Suppose -7*j = -10 + 17. Is -7 smaller than j?
True
Suppose 13*x = 11*x + 120. Let d = x - 64. Is -4 greater than d?
False
Let k = 75 - 16. Suppose k = 2*r - 59. Which is smaller: r or 58?
58
Let f be -3 - (-5 - 0) - -3. Let t be (f/((-105)/12))/(-1 - 57). Is 1 < t?
False
Let k(i) be the second derivative of i**4/12 + 5*i**3/3 - 5*i**2 + 12*i. Let n be k(-11). Let l = -4 + 2. Is l at most as big as n?
True
Let j = -23/82 - -32/41. Which is smaller: j or -183.1?
-183.1
Suppose 4*p + 2*h = -564, p - 2*p = -4*h + 159. Let t be (-1)/1 - (-5 - (-2408)/16). Let m = t - p. Which is bigger: -4 or m?
m
Let d(n) = -n**3 - n**2 + 11*n - 54. Let f be d(5). Which is greater: f or -144?
-144
Suppose 0*p - 5*p + 10 = 0. Suppose 0 = -p*k + 6 - 14. Let g be k/(-22) + 2/(-11). Which is smaller: 1/18 or g?
g
Let o = 1.17 + -0.82. Let m = o + 0.65. Let w = -0.03 - 3.97. Do w and m have the same value?
False
Let r be 12*(3/18)/((-2)/6). Let l(n) = 2*n**2 + 12*n + 10. Let t be l(r). Is t > 32/3?
False
Let a be ((-1)/1)/((-2)/8). Let h be (-20 - (-332)/22) + 8. Which is smaller: h or a?
h
Let g = -0.84 + 12.84. Are g and 4 equal?
False
Let s(h) = -9*h + 424. Let a be s(47). Let x = 12 - 0. Let q be (-14)/x*(-5)/7. Is a <= q?
False
Let j = -19 - -18.76. Let w = j + 0.24. Let b = -25 - -22. Which is greater: b or w?
w
Let o be 87/2030*(-2)/183. Which is smaller: o or -1?
-1
Suppose 876 = 5*x - 2*l - 527, -l - 841 = -3*x. Which is smaller: x or 277?
277
Let g(o) = o**3 + 10*o**2 - 13*o - 26. Let q be g(-11). Let r be (q + 60/(-16))/((-1)/(-4)). Is -31 < r?
False
Let d(g) = -g**3 + 2*g**2 + 3*g - 3. Let t be d(-2). Let p = 10 + -16. Let s = p + t. Which is greater: s or 0?
s
Let l = 115 + -268. Which is smaller: -152 or l?
l
Suppose -3*r = 4*i + 42, -2*i + 9*r - 32 = 5*r. Which is bigger: -7