Suppose 35 = 4*z - 149. Let q = -16298 + 16344. Are q and z non-equal?
False
Let r(y) = 5*y**2 + 12*y - 8. Let i(x) = -4*x**2 - 11*x + 7. Let h(n) = -3*i(n) - 2*r(n). Let o be h(3). Which is smaller: 38 or o?
38
Suppose 12*o + 362 = -10. Let r be o + 5/10 + (-3)/(-6). Is -29 less than or equal to r?
False
Let y = 231 - 288. Let n be 8/(-4)*((-9)/y)/3. Which is smaller: n or 0?
n
Let k = 0.2534 - 0.1534. Which is smaller: 8 or k?
k
Suppose -5*j + 2*w = -18, -2 = 3*j + 3*w - w. Suppose 2*u + x - 158 = 0, 2*x - 164 = -2*u - j*x. Let k be (1/((-4)/3))/(u/806). Is -8 < k?
True
Suppose 13*g - 14*g + 28 = q, -2*q = -g - 68. Let m be 29 - (3 + -2 + -3). Which is bigger: m or q?
q
Let l = 30353/6 - 5074. Is -16 greater than or equal to l?
False
Suppose -3*d + 228 - 213 = 0. Let v be (-120)/d*((-582)/264 - -2). Which is smaller: 5 or v?
v
Suppose 5*v + 175 = 40*v. Let n(f) = -f**2 + 15*f - 47. Let b be n(v). Is b at least -1?
True
Let h = -3162 + 3161. Is h < 2/4037?
True
Suppose 0*z = 5*z + 10. Let s be 4*((-7)/z - 3). Suppose -2*x - 10 = 2*c + s*x, x + 5 = 0. Is 6 greater than or equal to c?
True
Let m be (-2 - -2)/((-4)/2). Let b = -27.4 + 27.4527. Let z = b + 0.4473. Is m equal to z?
False
Let i = 2648 - 10591/4. Is i > 483?
False
Let w = -1974 + 1748. Are -220 and w non-equal?
True
Let l(m) = m**3 - 34*m**2 + 40*m - 221. Let h be l(33). Suppose h*b = 7*b. Which is greater: 4/7 or b?
4/7
Let u = -177920201/56 - -3177063. Let t = u - -623/8. Which is greater: -6 or t?
t
Let o be (9/9)/(1 + (-6)/5). Let v be (-2 + 0 + 3)*(o - -7). Is v equal to 17?
False
Let t(g) = -2*g + 14. Let r be t(11). Let l be 204/72*(-6)/r. Let h = 246 + -243. Is l greater than h?
False
Suppose -3*s = -9*s. Let p = -526251/139 + 3786. Which is greater: s or p?
p
Suppose -3404 = -14*g + 2714. Let l = g + -368. Is 69 greater than l?
False
Let b(i) = -2*i + 4. Suppose -x = 3*x. Let z be b(x). Let l be z - (-4 - -4 - -3). Is -4 at least as big as l?
False
Let t = -2305/7 - -331. Suppose 3*k - 9 = -4*f - 4, f - 4*k = 25. Let i be -1 - 0 - (f + -7). Which is smaller: t or i?
i
Let y = -1955.1 + 1954.1. Do y and -150.4 have the same value?
False
Let j = -3727 + 3727. Let y = -72.6 + 57. Let n = y - 0.4. Is j not equal to n?
True
Let b be (-1)/3*23*3. Let c be (-270)/120*(-320)/(-48). Which is greater: c or b?
c
Let t = 9 + -21. Let a be (-1854)/(-10) - (-2 + 21/15). Let h = a + -198. Is h at most as big as t?
True
Let k = 1 - 1.18. Let z = 0.42 - k. Let f = -0.1 - z. Is -3 smaller than f?
True
Let p(l) = -70*l + 338. Let m be p(5). Suppose -9*b + 24 = -5*b. Let z be (-64)/b - (-1 - -1). Which is smaller: z or m?
m
Suppose -2*p = -6, 5*p - 838 - 2169 = 4*l. Let q = l - -749. Which is bigger: -20 or q?
q
Let k be (-9 + (-48)/(-8))*-1. Suppose k*c + w - 61 = 3*w, -3*c - w = -55. Which is greater: c or 24?
24
Let q = -304/13 - -62243/65. Let x = q - 934. Which is smaller: x or -41?
-41
Suppose -v = -3*y - 11, 0 = 31*v - 28*v - 3*y - 15. Suppose -v*z = 0, -89 = 4*l - 5*z + 607. Is -174 at least l?
True
Let s = 9990/95729 - 3/3301. Is -11 not equal to s?
True
Let t = -44 + 44. Let v = -51 + 50.9. Let f = t + v. Which is greater: 0 or f?
0
Suppose -4*x - 5*b = -1036, 4*x - 4*b - 153 = 847. Which is smaller: x or 255?
x
Let q = 165 + -165. Suppose q*i - 11*i = 0. Let g be ((-4)/21)/((-2)/(-3)). Is g greater than or equal to i?
False
Let r be 3664601/(-2031) + (-2)/3. Which is smaller: -1802 or r?
r
Suppose -53 + 13 = -50*u + 10*u. Which is bigger: u or 3/7589?
u
Suppose 2*r + d - 961 - 793 = 0, d + 2636 = 3*r. Is 877 > r?
False
Let k = 1467 - 1247. Is k > 4?
True
Suppose 5*j = 5*n + 1680, -3*n - 51 = -45. Which is greater: j or 2343/7?
2343/7
Let u be (-11)/(-33) - 1041/612. Let k = u - 15/17. Which is bigger: 0.06 or k?
0.06
Suppose -706 = 42*b - 44*b - 3*m, -2*m = -5*b + 1765. Which is smaller: b or 364?
b
Let k = -983 - -856.8. Let b = k + 126. Which is smaller: 30 or b?
b
Let g = 7025 - 11964. Which is smaller: -4938 or g?
g
Let r = -0.1 - -0.2. Let q = r - -5.9. Let b = 20/223 + -506/669. Which is bigger: b or q?
q
Suppose -11*h + 1756 + 13562 = -29177. Which is bigger: h or 4047?
4047
Let y(n) be the second derivative of -n**5/20 - 3*n**4 - n**3/6 - 15*n**2 - 2*n - 116. Let a be y(-36). Let l(x) = -2*x - 2. Let j be l(-7). Is j less than a?
False
Let a be (-3 - -1) + 6 + -6. Let m(q) = -15*q - 16. Let f be m(a). Suppose n - 2*y + 6*y - 10 = 0, 43 = 3*n - y. Is f greater than or equal to n?
True
Let r be (1195/2919*-1 + (-36)/(-84))/(-1). Which is smaller: r or 1?
r
Let f be (36 + 25456/(-703))/4. Suppose u = 2*u + 1. Is u bigger than f?
False
Let p(k) = 466*k - 2345. Let z be p(5). Is -58 at least as big as z?
False
Let w = 2700 + -2627. Is -2/9 at least w?
False
Let o = 1823/7296 + 1/7296. Which is smaller: -488 or o?
-488
Let t(p) = p**3 + 19*p**2 - 17*p + 60. Let h be t(-20). Is h > -1/485?
True
Let v = 24.133 + -26.543. Is 5 < v?
False
Let p = 3860/11 + 81633/22. Let w = p - 4148. Let c = w + 859/10. Is -2 smaller than c?
True
Suppose -28 = 10*b - 6*b. Let z(q) = -352*q + 17. Let p be z(b). Let w = p + -27273/11. Which is smaller: w or 1?
1
Let n = -697/4 - -202. Do 27 and n have the same value?
False
Let v = 0.6771 - -3241.3229. Which is smaller: v or 2/7?
2/7
Let q(j) = 866*j**2 - 3*j - 8. Let c be q(-4). Suppose 0 = 34*o + 2*o - c. Is 386 less than or equal to o?
False
Let k = -43 - -10. Let l(b) = 2*b**3 + 10*b**2 + 10*b + 7. Let d be l(-4). Let f be (-23 - d)/((-20)/(-30)). Are f and k non-equal?
False
Suppose 0 = 2*m - 3*f - 29, 8 = -5*m + 13*f - 17*f. Let y be 4/10 - 23/20. Is y >= m?
False
Suppose -1033 + 754 = 95*x + 1431. Which is greater: x or 2/919?
2/919
Suppose -3*l + 56 = 2*l + 61. Is 1/7659 bigger than l?
True
Let w(j) = -j**3 + j**2 + j + 2. Let g be w(2). Let y be (286/4)/(50/220). Let k = 315 - y. Which is smaller: g or k?
g
Let f = -377 - -183. Let w = 195 + f. Which is bigger: w or 180?
180
Let c = 64 + -52. Let m be (c + -6)/(-1*1). Let u = 199 - 206. Which is greater: u or m?
m
Let o = -10 - -151. Suppose -569 = -4*l + a, -3*l = 2*a - 850 + 437. Are l and o unequal?
False
Let h(c) = -272*c + 3051. Let x be h(11). Is -24 less than x?
True
Let g be (8/(-48))/(9/5442). Let r = g - -101. Let i = 3.54 + -3.24. Is r greater than i?
False
Let q(y) = y**3 - 25*y**2 - 2*y - 147. Let g be q(15). Which is greater: g or -2426?
-2426
Let h(m) = -m**2 + 33*m - 4. Let w be h(7). Let a = w + -178. Which is smaller: a or 0.062?
a
Let u(p) = -2*p**2 + 7*p + 48. Let g be u(-5). Let o(t) = -t**3 + 6*t**2 - 20*t - 5. Let m be o(3). Is g bigger than m?
True
Suppose 20*y + 268 - 68 = 0. Let c be ((-2)/y)/(4*4/(-1392)). Which is smaller: -18 or c?
-18
Suppose 4*w + 481 + 2705 = -2*w. Which is bigger: w or -1061/2?
-1061/2
Let h be ((-2)/3)/(156/157248). Is h bigger than -672?
False
Let m = -264.447 + -0.553. Let x = -266 - m. Which is greater: x or 95?
95
Let t = 61 + -59. Let f be t/(-2862)*(-204)/34. Is f bigger than 1?
False
Let d(t) = 2*t**3 + 12*t**2 - 75*t - 32. Let k be d(8). Which is smaller: 1159 or k?
1159
Let r = 2746 + -2743. Which is bigger: r or -102?
r
Let h = 666 - 673. Let r be 15 - 17 - (-1)/h*-3. Let z(l) = -l. Let p be z(2). Which is smaller: r or p?
p
Let u(l) = -2*l + 29. Let r be u(15). Let s be ((-403)/(-4))/r + (-33)/(-44). Which is greater: s or -201/2?
s
Let k = 1532577623/527972 - 25685/6947. Let a = k + -2899. Let p = a - -563/684. Which is smaller: p or 0?
0
Let s = -642.5 - 60.5. Let r = 697 + s. Which is smaller: 0.07 or r?
r
Let n be (2 - (7 - 0)) + 10. Suppose 3*h = -k - 7, 11*h - n = 12*h + 3*k. Which is bigger: -16/9 or h?
-16/9
Let x = -65 + 90. Let z(l) = l**3 - 18*l**2 + 30*l + 57. Let n be z(16). Is n smaller than x?
False
Let b = 2/46869 - -16596833/15623. Which is greater: 1063 or b?
1063
Suppose -7 = n - 9. Let w be n/(-15) - (-5350)/750. Which is smaller: w or 11?
w
Suppose -8*y + 10*y = -3*r - 2, 20*y + 2*r = -20. Is -29/31 >= y?
True
Let d be (-66)/(-77)*18/(-5040). Which is smaller: d or 0?
d
Suppose 0 = 5*c, -2*s + 4 = -3*c - 0*c. Let o = 0 - s. Let m be o/13 + 5008/104. Do m and 49 have the same value?
False
Let k be (-3*(-11)/(-330))/(6/(-15))*16516. Is 4128 < k?
True
Let z be 2/4*16/76. Let m be (-2 - 0 - -2)/(118/118). Which i