 z(9). Suppose -2*r = -2*p - 18, 3*p = 2*p + 2*r - 12. Let s be 5 + p - o/(-4). Which is greater: s or 2?
2
Let o(q) = -q**2 - 15*q + 8. Let k be o(-15). Let j(b) = 0 + 3 + 0 + 6*b - k. Let g be j(3). Which is bigger: 14 or g?
14
Suppose -3*z = 6 - 24. Suppose 0 = -g + z*g - 10. Suppose -3*y = -d - 10, 0 = -4*d - 5*y + 10 + 18. Is g bigger than d?
False
Let b = -11 + -3. Let j = b + 18. Suppose j*p - 7 = -3. Are -1/4 and p nonequal?
True
Suppose 3*n = -2*o + 1, 16 + 3 = 5*n - o. Suppose f + 0*f = -5*l - 11, 95 = 5*f - 5*l. Suppose 3*p - 9 = -3*i, n*i - p - p = f. Which is bigger: i or 5?
5
Let q(b) = b**3 + 7*b**2 + 4*b - 3. Let c be q(-6). Let h = 8 - c. Let u = -1 - h. Are 0 and u unequal?
False
Let p(l) = -31*l**3 + 2*l**2 + 2*l + 1. Let r be p(-1). Let i be ((-24)/r*-2)/(6/(-56)). Is -14 > i?
False
Let c = 29 - 34. Let w = -8 - c. Let h be (-38)/(-57)*w/(-1). Is 5/6 != h?
True
Let o = -6 - -8. Let w = 30 + -32.4. Let b = w - 2.6. Which is greater: o or b?
o
Suppose 4*y - 206 = -2*x, -6 = -y - 5*x + 32. Do 56 and y have different values?
True
Let c(w) = w**3 + 10*w**2 + 7*w - 12. Let t be c(-9). Suppose 4 = -2*o, -2*v + 2 = -3*o - t. Which is smaller: v or 2?
v
Let q = 294 - 249. Let w = 83 + -39. Are w and q equal?
False
Let y = -68 - -1022/15. Is 1 <= y?
False
Suppose u - 10 = -11. Let l be (-12)/(-38) + -3 + 3. Is l greater than or equal to u?
True
Let g = -59 - -52.6. Let u = 6 + g. Let r = 1512 - 10585/7. Which is greater: r or u?
r
Suppose -2*w + 0 = 2, 4*c + 3*w = 5. Let b be (6/4)/(2/12). Suppose -3*l = -0 - b. Does c = l?
False
Let f = -6 - -10. Let v be f*(-3 + (-39)/(-12)). Is 17 greater than v?
True
Let f be 54/(-90) - 43/(-5). Suppose 3*o = 5*o - f. Is 0 less than or equal to o?
True
Suppose -4*i - 600 = -548. Is i >= -13?
True
Suppose -8*k + 11*k = 4*o + 46, -5*o - 4*k = 73. Let t be ((-2)/12)/(6/(-9))*o. Which is greater: -4 or t?
t
Let p(v) = 5*v + 9. Let q be p(4). Is q less than 26?
False
Let g(i) = 8*i - 11. Let c be g(2). Let t(b) = -b**3 + 5*b**2 - 3*b + 3. Let m be t(c). Is -12 bigger than m?
False
Let g(l) = -l**3 - 4*l**2 + 4*l - 19. Let q be g(-7). Are q and 100 nonequal?
False
Let k = 11552/21 + -550. Let c be 12/(-84) + 8/7. Do c and k have the same value?
False
Let p be 2/(-10) + (-84)/105 + 2. Does p = -3/571?
False
Let c(y) = 75*y + 76. Let n be c(-1). Is n at least as big as -4/171?
True
Let t be (0 - -5)*36/(-12). Which is smaller: -1/14 or t?
t
Let k be (5/(-7))/(4*(-27)/126). Do k and -1/3 have the same value?
False
Suppose -i - 5*p = 0, p = -p. Let o = 3 - 20. Let a = i - o. Which is bigger: a or 33/2?
a
Let k = 73.65 - 75. Is -1 <= k?
False
Let t(y) be the second derivative of y**3 + 2*y**2 + 4*y. Let j be t(2). Let o = j - 16. Is o greater than 3/14?
False
Suppose 2*n = 24 - 8. Let f = -142 - -140. Let w be f*(108/(-8))/9*2. Which is smaller: w or n?
w
Suppose -23*k - 498 - 77 = 0. Which is smaller: -27 or k?
-27
Let j be -1 - (-2)/(-1) - -7. Suppose j*h - 3*h = 0. Let b be (-1)/2 - 63/(-90). Is h less than b?
True
Suppose 8*k - 3*k = 35. Suppose 2*n - k = -5. Let p be ((-2)/(-10))/(1/(-2)). Are n and p equal?
False
Suppose 8*f + 5 = -5*m, -2 = 2*m - 8*f + 9*f. Which is smaller: m or 0.28?
m
Let t = -39 + 79/2. Is t at least -952?
True
Let c = -11184/445 + -6/89. Let l = c + 25. Let r(p) = p**3 + 15*p**2 + 15*p + 14. Let m be r(-14). Which is bigger: l or m?
m
Let j = 542428983/368 - 1473996. Let l = -75/23 - j. Let n = l - 27/16. Which is smaller: -1 or n?
-1
Let y be ((-2)/12)/(1/(-4)). Suppose 46 = 2*d + 4*n, -6*d + 49 = -3*d + n. Let b be 3/2*(-20)/d + 3. Which is smaller: y or b?
y
Let m(l) = 9*l**2 - 15*l + 8. Let v(p) = 10*p**2 - 15*p + 9. Let h(n) = 7*m(n) - 6*v(n). Let r be h(5). Are 2 and r nonequal?
False
Let l be 5 - 1 - 20/10. Let c be (l/(-12))/(-76*6/(-216)). Which is smaller: 0 or c?
c
Let c = -683 + 290. Is -390 <= c?
False
Let u = -1780 - -1793. Which is bigger: u or -47?
u
Let w be 50 + 1 + (-17)/(-17). Let l = w + -62. Is l at least as big as -10?
True
Suppose -3*v = -m + 9, -7*m + 5*v + 15 = -2*m. Let d(b) = -7*b**3 - 4 - 6*b + 1 + 6*b**2 + 6*b**3. Let r be d(5). Which is smaller: m or r?
r
Let p = -4 - -7. Let j(a) = a**2 - 2*a - 9. Let k be j(-2). Let y be 10/(-45)*k/p. Is -1 at most as big as y?
True
Let t(k) = k**2 + 7*k + 6. Let s be ((-9)/(-2))/(30/(-40)). Let l be t(s). Let x = 2.2 - 2. Which is smaller: x or l?
l
Let y(j) = -9*j**2 - 262*j - 23. Let d be y(-29). Let q(p) = 4*p**2 - 2*p + p**3 + 1 + 0*p**3 - 10*p**2. Let h be q(d). Does -11 = h?
True
Let l = 0.386 - -0.084. Let w = -0.48 + l. Let b = -2 + 1. Is w > b?
True
Let h be (-2)/(-25) + (-23216)/(-200)*-1. Which is bigger: h or 7?
7
Let i = -2.6 - -3. Suppose -5*s - 39 = -4*p, p = s + 16 - 5. Let v be 2 + (20/p - 3). Which is greater: i or v?
i
Let f = 19 - 11. Let n = -3 + f. Let d be 21/4 - (-15)/20. Is d bigger than n?
True
Let y(c) = -c. Let z be y(-3). Let a be z + 7/((-14)/4). Let x be 3 + (a + -2)*2. Is x smaller than 3/5?
False
Let z = -67.1 - -67. Let i = -0.3 - -0.2. Let m = z - i. Which is smaller: m or -0.1?
-0.1
Suppose -9*l = -18*l + 405. Which is smaller: l or 43?
43
Let b = 2 - 4. Suppose -35*k - 254 = -9. Is k at most b?
True
Let b be (9/2)/((-3)/(-4)). Suppose 2 - b = -4*w. Let u(o) = -o - 1. Let n be u(w). Which is greater: n or -3?
n
Suppose -5*i - 5*c + 34 = 279, 199 = -4*i - 5*c. Is -46 bigger than i?
False
Let o = 3 - 4.16. Let k = -0.26 - o. Which is bigger: -2/5 or k?
k
Let o be (-3)/(-2) - (17 + (-12 - 3)). Let u = 9 + -8.1. Which is bigger: o or u?
u
Suppose -8*m + 28 = -22*m. Let b = -89/3 + 82/3. Which is smaller: b or m?
b
Suppose 14*t + 57 = 11*t. Let m = 23 + t. Let z = 4 - m. Is 2/41 bigger than z?
True
Let t(s) = -14*s - 267. Let j be t(-19). Which is smaller: -2/209 or j?
j
Let a = -371/3526 + 1/82. Which is greater: 1 or a?
1
Suppose 11753 = -4*m + 4133. Are m and -1905 nonequal?
False
Suppose -p + 10 = -0*p - l, 48 = 4*p + 4*l. Which is smaller: 6 or p?
6
Let q = 35 + -60. Which is greater: -27 or q?
q
Suppose -10 = 4*f + 3*o, 9*o = -2*f + 14*o + 8. Do -4/941 and f have the same value?
False
Let u = -353 + 373. Do u and 19 have different values?
True
Let k be 3 - ((-594)/78 + 8). Which is smaller: 2 or k?
2
Let d(g) = g**3 + 27*g**2 - 32*g - 93. Let v be d(-28). Let f(w) = -15*w + 1. Let j be f(-5). Suppose 0 = 3*u - 7*u + j. Is v < u?
False
Let n be (1/4)/((-6)/(-4050)). Let q = n + -170. Let b be (1 - 1)/((-9)/(-9)). Which is smaller: q or b?
q
Let r = 0.028 - -0.182. Let o = r + -0.01. Let k = -1.2 + o. Which is bigger: -0.14 or k?
-0.14
Suppose -5*n + 0*i + 18 = i, 2*n - 15 = -3*i. Let u(z) = 6*z**2 + 3*z - 11. Let r be u(n). Does 53 = r?
False
Let v = -3 - -5. Suppose -v*x - 3*x = 75. Let t be (56/(-6))/(6/9). Which is bigger: t or x?
t
Let q(m) be the third derivative of -m**4/3 + m**3/6 - 4*m**2. Let h be q(0). Which is smaller: h or -4?
-4
Let b = 17.2 + 0.8. Let d = 0.17 - -13.83. Let a = b - d. Is -1/4 > a?
False
Suppose -7*j = 15 - 43. Which is bigger: j or -6?
j
Let w = -54 - -54.076. Let v = 0.176 - w. Does v = 1/10?
True
Let w(x) = -x - 4. Let p be w(-4). Let z be (-81)/297*39/9. Which is greater: p or z?
p
Let p = -1302 - -1346. Is p smaller than 9?
False
Let f = -2 - -37. Suppose 0*k = k - 4*t - 10, -4*t = 20. Let x be 34/k - (-14)/f. Which is greater: x or -1?
-1
Suppose -3*c = -4*u + 8, -4*c + 5*u - 5 - 5 = 0. Let s be (c - 1) + (-15)/153*-9. Let y(i) = i**2 + 6*i + 1. Let j be y(-6). Which is bigger: j or s?
j
Let r = 2.07 - 0.07. Let u = r + -1.94. Let j = 0.16 - u. Is j >= 16?
False
Suppose -2*o + 5*o - 27 = 0. Let k = o + -8. Is -2/27 bigger than k?
False
Let j(n) = -n**3 + 5*n**2 + 8*n - 7. Let x be j(6). Suppose x*r - 5 - 7 = -3*s, 4*r + 2*s - 8 = 0. Let k be (1 - (-6)/(-4))*(-104)/65. Which is greater: r or k?
k
Let n be (20/4)/5 + 2. Let u be (-2)/((-2)/n) + 13 + 2. Suppose -1 = -k + 18. Is u at most k?
True
Suppose 2*x + 2*v + 202 = 0, 5*v = 2*v - 12. Are x and -3 equal?
False
Let v = -1549/6 + 245. Let r = v - -1829/138. Which is smaller: r or 0?
0
Let i = -5.7 - 2.3. Let p = i - -8.7. Is p less than or equal to 2/3?
False
Let p(x) = x + 46. Let w be p(-46). Does w = -15/11?
False
Let u(o) = -4*o**2 - 56*o + 14. Let z be u(-15). Do z and -50 have the