124/(-31)*(1 + (-26)/28). Let y = -0.4 - 1. Let k = y + 1.54. Is k less than u?
False
Suppose -i + y = 33, -3*i + 8*i + 5*y + 165 = 0. Let d be i/9 - 4/12. Which is greater: -16/3 or d?
d
Suppose -3968 = 80*q - 111*q. Is q at least 128?
True
Let h be (-9)/3 - (-2 - 1). Suppose 3*o - 9 + 6 = h. Let c = -22 + 241/11. Which is smaller: c or o?
c
Suppose 2*i + 0*k = -3*k - 730, 4*k = 16. Is -371 at least as big as i?
True
Let z = -14 + 63. Let i = 537 - 570. Let y = z + i. Is 18 at least y?
True
Let a be (-30 - -14) + 7 + -7. Let f be 2/6*(-49 - -2). Which is bigger: f or a?
f
Let n(f) = -32*f**3 + 3*f**2 - 2*f - 3. Let t be n(-1). Suppose 0 = t*y - 12*y + 528. Which is smaller: y or -23?
y
Let v = -119 + 21. Let r = v + 393/4. Which is greater: 0 or r?
r
Suppose 4*j - 12 = -2*a + 22, -j - 5*a - 5 = 0. Let i be 8/j*(-76)/16. Let c = i + 21/5. Are 0.03 and c unequal?
True
Let w = -100 - -44. Let g be (9/6)/(6/w). Suppose -3*y = 6, -5*y - 42 - 7 = 3*m. Are m and g unequal?
True
Suppose 8*g + 4 = 3*j + 9*g, 4 = j + 3*g. Is -2/779 at most j?
True
Let c = -27 - -28. Suppose s - 2 = -c. Which is smaller: 2/17 or s?
2/17
Suppose -5*r + 5*p - 19748 = 3*p, -5*p - 11855 = 3*r. Let o be r/(-825) + (-4)/(-6). Which is greater: 4 or o?
o
Suppose -3*n + 2*a + 8 = 0, 0 = -0*n - n - 4*a + 26. Is n <= 2?
False
Suppose -11*b = -10*b + n + 96, -3*b - 328 = -5*n. Is -101 <= b?
True
Let d = -155 + 177. Which is greater: d or -0.3?
d
Let c = 496 - 1475/3. Which is smaller: c or 4?
4
Let w = 799 + -800. Which is greater: 1/877 or w?
1/877
Let p(z) = z**2 - 6*z - 6. Suppose 14 = 2*n - 4*r, 2*n - 2*r = 7*n - 35. Let c be p(n). Let k be (-4)/(-12) - 22/102. Which is greater: k or c?
c
Suppose -5*t - 37 = -3*k, 4*t + 4*k - 4 = 5*t. Let p be t/24*18/(-2). Suppose 19 = 4*w - 5*w - 3*u, 2*w + 23 = -p*u. Which is smaller: -7 or w?
-7
Let z = -47 - 179. Which is bigger: z or -225?
-225
Suppose -3*l = -5*f - 4, 0 = 5*l + 2*f - 19 + 2. Suppose -2*d - 569 = v, -l*d = 5*v - 182 + 1046. Let t = 2543/9 + d. Is 0 < t?
False
Let l be (-6)/4*40/(-12). Suppose 0 = l*w - 6 + 11. Which is smaller: 2/337 or w?
w
Let v be 1*(-5 + -447)/4. Is -223/2 greater than v?
True
Let v = 126 + -144. Let t = -18 - -1. Are v and t non-equal?
True
Let s(z) = -z**3 - 12*z**2 - 22*z + 22. Let o be s(-9). Which is bigger: o or -26?
o
Let z = 140 + -296. Let n = 155 + z. Let v = -1781/140 + 88/7. Is v <= n?
False
Let d = 111.3 - 94. Let j = d - 17. Is 5 greater than or equal to j?
True
Let k = 29 - -30. Let z = -59 + k. Is z >= -18?
True
Let j = 201 - 68. Is j greater than or equal to 131?
True
Suppose 0*q - 3*q = -24. Suppose k = -3*k + 12, 4*f = -2*k + 30. Suppose 0 = 5*c - 5*x - 20, 2*x = -0 + f. Which is smaller: c or q?
c
Suppose 2*z = -3*z + 5*v + 455, -2*z - 2*v = -194. Which is greater: z or 93?
z
Let u(w) = w**3 + 5*w**2 + w - 5. Let s be u(-4). Suppose -2*f + v + s = 0, -2*f - 4*v + 1 + 11 = 0. Is 2 at most as big as f?
True
Let r = 38 - 33. Suppose 4*o + 10 = r*c, -c + 2*o + 8 = -0*c. Let i be -3 + (-6 - c)/(-2). Which is smaller: 2/15 or i?
i
Let t(h) = h - 3. Let p be t(3). Suppose 2*o - o = p. Let a be (-9)/54 + (-5)/6. Which is bigger: a or o?
o
Let k(b) = b**2 - 7*b + 11. Let x be k(4). Which is greater: -11/23 or x?
-11/23
Let l be ((-9)/(-6))/3 - (-185)/10. Suppose 4*s - 8*s + 4*d = 8, 4*s + 5*d - l = 0. Which is smaller: s or -27?
-27
Let y be (-2)/42*(-18)/(-93). Let c(a) = -84*a - 2687. Let h be c(-32). Are y and h non-equal?
True
Let q(k) = 2*k + 7. Let x be q(-3). Suppose -x + 0 = g. Let n be (9/(-6))/(g/2). Is n greater than 7/4?
True
Let v(l) = -l**3 - 11*l**2 + 2*l - 5. Let n be v(-11). Is -27 at most as big as n?
True
Let m(q) = q**3 - q**2 - 5*q + 2. Let y be m(4). Let d be ((-24)/21)/4 + y/56. Let f = 0 - 1. Which is smaller: f or d?
f
Let n be (-4)/(-18) - (-8)/(-9). Let p = -1/20643 + -72745927/103215. Let c = -707 - p. Which is smaller: n or c?
c
Suppose 12*b - 3*b = 36. Suppose -5*j - 4*f + b = -j, 6 = 3*j + 4*f. Are -1.1 and j non-equal?
True
Let r = -511 + 518. Is 24/23 not equal to r?
True
Let g be 2 + (-3518)/1659 - 52/(-546). Which is smaller: g or 0.2?
g
Let z(v) = v**2 + 9*v - 14. Let w be z(-10). Let f be 10/(-15) - w/6. Let y be ((-1)/9)/(2/4). Do y and f have the same value?
False
Suppose -6*p + 369 = -477. Is p less than or equal to 143?
True
Let y = -1657 - -1700. Are y and 7 non-equal?
True
Let s = 26 + -17. Suppose -4*b + b - 36 = -5*g, g + 5*b - 24 = 0. Suppose -5*a + g*a + 4 = 0. Which is greater: a or s?
s
Let f = -3954453/13 + 304043. Let a be 1/(-2) + (-582)/4. Let t = f - a. Which is smaller: t or -1?
-1
Let q(o) be the first derivative of -o**4/12 - 5*o**3/3 - 3*o**2/2 - 4. Let p(i) be the second derivative of q(i). Let k be p(-5). Is k at least as big as -2/3?
True
Let l(a) = -7*a - 21. Let c be l(-5). Suppose -n - 3*p - 1 = c, 0 = 5*p + 25. Let m = 3/5 + -7/20. Is m != n?
True
Suppose 56 = 5*a - 19. Suppose -2*b - 27 = -5*o - b, a = o - 5*b. Suppose -3*j = o*y + 13, -4*j + 4*y = -8*j - 12. Is 2.5 at least j?
True
Let l = 0.6 + -0.73. Let f = 0.83 + l. Let s = 5.3 + f. Which is smaller: s or -0.1?
-0.1
Let u = -722 + 722. Let x be ((-2)/(-205))/(3/(-5)). Which is greater: x or u?
u
Let s = 8/165 - 211/1705. Which is greater: s or 1?
1
Let l = 313471/215 + -1458. Is l less than or equal to 0?
False
Suppose 2*r + 2 = 8. Suppose 35*b = 26*b + 18. Suppose 0 = r*z, 6*p = b*p - 2*z + 48. Is 12 greater than p?
False
Suppose 2*z = 5*t - 1763 + 175, -8 = 2*z. Is 316 smaller than t?
False
Let j = -30.008 - -0.008. Let v = j + 35. Are -1 and v unequal?
True
Let d = 397 + -398.19. Which is smaller: -0.1 or d?
d
Let g = -316 - -316. Let s be -2 + (-5)/((-155)/66). Which is smaller: g or s?
g
Let s = -0.152 - -0.252. Let z = 121 + -1207/10. Is s less than or equal to z?
True
Let t = 18 - 10. Suppose p - 27 + t = 0. Is p less than 20?
True
Let l(d) = -5*d + 2*d + 0*d + 4*d. Let o be l(0). Are o and -1 equal?
False
Let u = -1638 - -47508/29. Is u greater than -3?
True
Suppose 13*f - 54 = 4*f. Let s be (-2)/3*21/(-2). Is f at least s?
False
Let q = 26/54721 - 531177241/1039699. Let d = q + 511. Is d bigger than 0?
True
Let v be 38/4*(-6)/(-3). Suppose v*j = 27*j. Which is bigger: -6 or j?
j
Let y(z) = -2*z**3 + 2*z**2 + z - 1. Let g be y(3). Let r = -31 - g. Is r at least as big as 3?
True
Let k be (-156)/(-104)*152/(-3). Is -76 less than or equal to k?
True
Suppose 2*q + 2*b + 2*b + 8 = 0, -2*b = -5*q + 4. Suppose 37 = 4*c - j, -3*c - j + 15 + 18 = q. Let u be (c + -10)*2/4. Which is smaller: u or -7/6?
-7/6
Let r = 5.5 + -0.5. Let u = -5 - -5.09. Let j = 0.09 - u. Is r >= j?
True
Let c = 946 + -109. Are c and 835 nonequal?
True
Suppose q + 0*q - 2*j = -6, 0 = -4*j. Is 2 at least as big as q?
True
Let w = 0.31 + -0.69. Let i = w + 0.28. Which is smaller: i or 5?
i
Suppose 142*t + 709 = 3*h + 138*t, -992 = -4*h - 4*t. Which is smaller: h or 239?
239
Let s = 147 - 96. Let a = s - 53. Which is smaller: a or 0?
a
Let a = 353 - 327. Let w be ((-8)/(-6))/((-8)/(-156)). Is w smaller than a?
False
Let y = 0.07 + -0.18. Let x = 422 + -421.87. Let r = y + x. Which is greater: r or -2/5?
r
Let v = -115 + 281. Is v smaller than 659/4?
False
Let k = 5.172 - 5.2. Let f = k - -0.028. Which is smaller: -2 or f?
-2
Let j(b) = -3*b + 1. Let u be j(1). Suppose -2*d = -4*d - 4. Is u not equal to d?
False
Let b be (-18)/4*315/(-30). Do 46 and b have different values?
True
Let u be -3 - 3/(-3)*37. Let g = -30 + u. Suppose g*k + 0*k - 3*b = 6, 5*k + 4 = -2*b. Do -10/9 and k have the same value?
False
Let a = 9.2 - 11. Let h = -14.8 - a. Let o = h + 13.03. Is o bigger than 1?
False
Let i = -336 + 327. Is i equal to -3/8?
False
Suppose 5 = -4*n - 7. Let s = n + -6. Let q be (-6)/s*(-3)/(-2). Is q greater than or equal to -3/14?
True
Suppose -3*f = -5*d - 258, 0 = -2*d - 3*d + 15. Let r be 30/(-26) + 14/f. Which is smaller: r or -1/3?
r
Let p be (-18)/(-27)*(-3)/(-149). Suppose 42*v - 37*v + 5 = 0. Is v less than p?
True
Let o = 0.027 - -4.173. Let c = 9 - 5. Let v = c - o. Which is greater: -2 or v?
v
Let y = 1833 + -9197/5. Are -5 and y equal?
False
Let j = 155304/77 + -2017. Which is smaller: -1 or j?
-1
Let l = -25 + 31. Suppose -4*w + 22 = -l. Is 5 at least as big as w?
False
Let t be (-