 2*w = -0*r - 2*r. Suppose 3*m + 5*k + 0 + w = 0, 0 = 3*k - 12. Is m <= a?
False
Let x be -1*7 - 192/(-32). Are x and 1/251 equal?
False
Suppose 0 = -9*c + 6*c + 3. Suppose 0 = 2*q + 3*k - c, k + 7 = -4*q - 2*k. Which is smaller: -9 or q?
-9
Let g be (24/30)/(4/70). Let f be 2/g - (-4)/(-28). Is -1/9 > f?
False
Let s(b) = 6*b + 19 + 474*b**2 - 2*b**3 + 3*b + 3*b**3 - 467*b**2. Let a be s(-6). Which is bigger: a or 0.36?
a
Suppose 0*q - 5*q - 3*l - 22 = 0, 27 = -5*q + 2*l. Let p be ((-42)/q)/(2/5). Let c = -48 + 70. Is p greater than or equal to c?
False
Let c = 9 + -30. Let r(i) = -i + 17. Let w be r(8). Let q be (w/42)/(c/4). Which is greater: q or -1?
q
Let x(w) = -w**3 - 12*w**2 - 9*w + 11. Let n be x(-11). Let s = 21 - 32. Does n = s?
True
Suppose 0 = -4*w - 5*n + 10 + 39, 4*n = 20. Let o(g) = -2*g + 12. Let f be o(w). Are -4/19 and f equal?
False
Let b be (-1 - 16/(-24))*(-679 + 1). Which is bigger: b or 225?
b
Suppose 0 = -4*k - 4*c - 1768, 4*k - c + 1689 + 59 = 0. Which is bigger: -439 or k?
k
Let c = -0.261 + 0.162. Let k = 4.999 + c. Let b = k - 0.9. Which is bigger: b or -0.1?
b
Suppose 4*q + 4792 = 4*k, -12 = -0*k + 3*k. Let d = 20424/17 + q. Which is smaller: 0 or d?
d
Let q(b) = -14*b**2 - 23*b - 7. Let j(h) = -5*h**2 - 8*h - 2. Let k(l) = -17*j(l) + 6*q(l). Let y be k(4). Are y and 2 equal?
False
Let x = -7.12 + 0.12. Let c = 24 + -29. Let l = c - x. Which is bigger: l or 3/5?
l
Let n = -288.2 - -273. Which is greater: n or 2/3?
2/3
Let g = -0.1448 + -0.0552. Is 0.2 greater than g?
True
Let j(m) = -m**3 - 10*m**2 - 14*m - 70. Let z be j(-9). Which is smaller: z or -265/11?
z
Let g = -1.3 + 0.3. Let v = 1117 + -1128.83. Let y = -11.7 - v. Which is greater: y or g?
y
Let z = -196 + 199.36. Let n = z - -0.14. Let x = 4 - n. Do 2/9 and x have different values?
True
Let o = -156.2 + 159.4. Does o = -0.5?
False
Suppose 5*w = 15 + 15. Suppose 0 = 3*t + 9, 3*p - 2*t = p - w. Which is greater: -4 or p?
-4
Let f be (118/(-5))/((252/35)/(-6)). Let m = 0 - -20. Let x = f - m. Which is smaller: x or 2?
x
Let f be 0 - (-2 + 4) - 2224/(-33). Let l = f - 197/3. Which is greater: 0 or l?
0
Let b = 130.56 - 130. Let l = -0.41 + 0.51. Do l and b have different values?
True
Let u(g) = 22*g + 555. Let l be u(38). Is l < 1391?
False
Let r be 0 + 1 + 1/(-3). Let k = 1077 + -1086.26. Let w = 9.1 + k. Which is smaller: r or w?
w
Let x = -0.7 - 0.1. Let w = x + 14.8. Let g = w + -13. Which is greater: -1 or g?
g
Let v = 113 - 160/3. Let q(r) = -r - 67. Let n be q(-8). Let f = v + n. Is f at least as big as -2/5?
True
Let t(s) = -s**2 - 10*s + 29. Let b be t(-12). Suppose -5 = 10*f - b*f. Which is bigger: -35 or f?
f
Let q(a) = -a**2 - 7*a - 2. Let g(z) = -3*z**2 - 3*z - 1. Let p be g(-2). Let h be q(p). Let l be h/((-1)/1*-2). Is l less than or equal to -6/11?
True
Let i = 0 - -3. Suppose 7*p - 32 = 31. Let d(n) = -2*n + 20. Let r be d(p). Is r at least as big as i?
False
Let u = 75885/8086 - 1/8086. Is 9 less than or equal to u?
True
Suppose -5*x - 38 = 67. Let q = 19 + x. Is -2 less than or equal to q?
True
Let t be (-168)/(-1596) - (-4126)/(-38836). Is -1 greater than t?
False
Let q = -0.0139 + 0.1139. Which is smaller: q or -116?
-116
Let n = 1.099 - 0.099. Let q be 8/20 + (-68)/145. Which is greater: n or q?
n
Let c = 15.98 - -0.02. Let d = -13 + c. Let h be (-2)/4*(-8)/(-4). Which is smaller: h or d?
h
Let u(l) be the third derivative of l**7/1260 - l**6/240 + l**5/20 + 2*l**2. Let a(g) be the third derivative of u(g). Let y be a(3). Is y at most as big as 9?
True
Let x be (-4)/10 - (3 - (-7218)/(-2120)). Is 1 at most x?
False
Suppose 5*b = 5*a - 45, 0 = -b - 2*a - 0*a + 6. Let r be (2/137 - b) + -4. Does r = 1?
False
Let c be 84/24*(-2 + 4). Let j be (-76)/(-14) - (-4)/c. Let n = j + -9. Are n and -10/3 non-equal?
True
Let d be (-260)/84 - 16/(-168). Is 0.006 greater than d?
True
Suppose 40 = -3*p - 4*x, -4*x = -p - 2*x. Let w be ((-15)/2)/(6/p). Let j = -11 + w. Which is smaller: j or 0.15?
j
Let o(r) = 2*r**3 - 2*r**2 + 1. Let a be o(1). Which is bigger: -10/53 or a?
a
Let j = 172 + -172. Suppose -o - 12 = -3. Let x be (-33)/90 + (-6)/o. Are x and j nonequal?
True
Suppose -t + 337 = 5*u, -5*u - 4*t + 316 = -12. Suppose -m - 11 = p - 75, 188 = 3*m + 4*p. Is m at least as big as u?
True
Let u(f) = f**3 + 8*f**2 + f + 15. Let w be u(-7). Suppose -w = 5*c - 4*a, -2*a + 0 - 4 = 0. Is c at least as big as -16?
True
Let a = -9.96 + -0.04. Let s = -241 - -250.9. Let m = a + s. Is -4 greater than or equal to m?
False
Let v(q) = q**3 + 8*q**2 + 10*q + 4. Suppose -2*w - 4 = 5*z, 11*z = -2*w + 10*z - 12. Let y be v(w). Which is greater: -18 or y?
y
Let q = 0.44 - 0.5. Let d = -3.38 - 0.22. Let t = d - -2.6. Which is smaller: t or q?
t
Let l = -1 + 22/25. Let s be ((-3)/2 - -2)*0. Which is smaller: l or s?
l
Let x = -57.912 + 58. Let s = -4.088 + x. Which is bigger: s or -15?
s
Let b be (-44)/6*33/(-44). Suppose -2*v = -5*v + 6. Let l be (v/3)/((-4)/(-42)). Is b greater than l?
False
Suppose 3*z + 3*p = 30, 5*z + 2*p + 3 - 41 = 0. Let a be 64/28 + (-4)/(-42)*-3. Which is greater: z or a?
z
Let j be ((-144)/42)/(-3) - 0. Is 1 at least as big as j?
False
Let u be (0 - (7 + -10))/9. Is u greater than -8?
True
Let o be 2208/(-11928) - (-1)/7. Which is bigger: -1 or o?
o
Let w = -4 - -64. Let j = -20 + w. Is j equal to 2?
False
Let f(b) = -b**2 + 65. Let a be f(8). Which is greater: a or -3/151?
a
Let l = -66620/21 + 3174. Which is bigger: l or 3?
3
Let q be (1 + (-4)/6)*0/(-5). Suppose 54*r - 56*r - 2 = q. Which is smaller: r or 8?
r
Let q = -248330750809/530421690525 - 2/133439419. Let k = q + 37/75. Let l = -517/1590 + k. Are -2/3 and l non-equal?
True
Let f be (4 - 60/11)*-4. Let u = f + -63/11. Suppose -3*v = -0*s + s - 3, 5*v = -2*s + 5. Which is smaller: u or s?
s
Suppose 4*b + 7*g + 221 = 4*g, 0 = 4*g - 20. Are -60 and b unequal?
True
Let i(p) = -p**2 + 6 + p + 1 + 4*p. Let m be i(6). Which is greater: m or 31?
31
Let f = -0.292 + -0.108. Let d = 12 + -3. Which is smaller: f or d?
f
Suppose -5*s + 26 + 394 = 0. Suppose 0*q + s = -12*q. Which is greater: q or 9?
9
Let l be (4 - 0) + ((-6552)/256)/9. Does l = 0?
False
Suppose -2*z + 17 = -2*h - 19, 2*z - 34 = 3*h. Let j be 167/8 - (-1 + 42/48). Is z greater than or equal to j?
False
Let k be 6*15/4*2. Let i be k/60*(-2)/(-6). Which is smaller: i or -114?
-114
Let m = -3188 - -12855/4. Do 27 and m have different values?
True
Let o = 315 - 313. Which is greater: o or 4?
4
Let o = 3.2 + -3.27. Let h = 25.17 - 25. Let n = o + h. Which is smaller: 2/7 or n?
n
Let v = -20 - -9. Let j be (3/6)/(-1)*(5 + 9). Let q = v - j. Are -3 and q unequal?
True
Let r(o) = -2*o**2 + 10*o - 14. Let a be r(5). Let h(l) = l**3 + 15*l**2 + 13*l - 13. Let c be h(a). Is c < 1?
False
Let m(h) = -h**3 + 3*h**2 - 2*h - 1. Let i be m(2). Let s = -645/7 + 32881/357. Which is smaller: s or i?
i
Let v = -6.58 - -0.08. Let u = 0.5 + v. Which is greater: -1 or u?
-1
Let j(z) = z**2 + 2*z - 2. Let g be j(-6). Suppose 3*u - g = -4. Let a be (-3)/12 - 203/(-28). Are a and u equal?
False
Let j(c) be the third derivative of -c**6/120 - 13*c**5/30 + 9*c**4/8 - c**3/6 + 16*c**2. Let t be j(-27). Is 4/21 > t?
True
Let x = 2/29 + -37/116. Let u(a) = -a + 3. Let p be u(4). Which is bigger: x or p?
x
Let s = 21/71 - -579/923. Suppose 5*m = -20, p = 4*m + 3 + 14. Which is smaller: s or p?
s
Let q be 3 + -523*(-1)/(-1). Let x = 1546/3 + q. Let j = x - -49/6. Which is greater: j or 4?
4
Let w be ((-2)/(-3))/(2*2/(-10)). Let g be (1/((-6)/2))/(3/(-2)). Which is bigger: w or g?
g
Let s = 464 - 460. Which is bigger: s or 33/7?
33/7
Let r = 559.3 + -551. Which is bigger: 1/4 or r?
r
Let o(b) = 37*b**3 + 2*b + 2. Let u be o(-1). Which is bigger: u or -41?
u
Let d = 1016.18 - 1017. Is 1.2 less than or equal to d?
False
Suppose -150 = -7*m + 74. Suppose s + p = -2*s + 96, -s + m = p. Are 33 and s non-equal?
True
Let s be ((-15)/(-108)*-22 - -3)*-10. Is 0 equal to s?
False
Let f = -2/69 + 31/276. Let s(h) = -h**3 - 5*h**2 + 4*h - 13. Let l be s(-6). Is l smaller than f?
True
Let v(b) = b**3 - 8*b**2 - 7*b + 9. Let r be v(9). Suppose 0 = x + 1 - 5. Suppose 42 = 2*w + x*f, f + 4*f = -w + 12. Is w greater than or equal to r?
True
Let t = -2/11 - -37/22. Let l be 