 14 = -0*p. Let n = -14 - p. Let i(d) = d**2 + 5*d - 7. Let m be i(-6). Which is smaller: m or n?
m
Suppose -10 = 5*o + 5*x - 0, 6 = -3*o + 5*x. Suppose 0 = -0*z + 3*z + 12. Which is smaller: o or z?
z
Let r = -20.4 + 1.4. Let q = r - -12. Is -2/3 greater than or equal to q?
True
Let o(b) = b - 4. Let y be o(6). Let a be -2 + 5/((-5)/(-2)). Which is smaller: a or y?
a
Let o = 60 - 37. Is o >= 0?
True
Let p(z) = -9*z**2 + 3*z + 5*z**2 - 3*z - z**3. Let o be p(-4). Does o = -4/3?
False
Suppose -280 = 3*p + 2*p. Let l be 32/p*14/(-4). Is l bigger than 2?
False
Suppose -4*a = -0*a. Let u = 7 + -10. Let s be -2 - 51/57 - u. Which is bigger: a or s?
s
Let p(k) = -k**2 + k + 126. Let v be p(0). Let b be 8/v - 12/42. Let o = -3 + 2. Are b and o non-equal?
True
Let z be (-128)/(-20) - 6/(-10). Let u = 14 - 6. Suppose 2*o = -4*f + u, -3*o + z*o + 32 = 4*f. Which is bigger: -3 or o?
-3
Suppose -2*q + 4 + 14 = 4*c, -5*c - q = -21. Let w(z) = z**3 - 5*z**2 + 4*z. Let s be w(c). Is 1 less than s?
False
Let g = 2/369 + 115/1476. Which is smaller: g or 0?
0
Let k = -9 - -8. Let r be 1 + 3 + (-1)/1. Let p = k + r. Is 2 smaller than p?
False
Suppose 5 = h - 9. Is h >= 13?
True
Suppose 4*n = n + 6. Let k = 6 - 5. Let p = 0 + k. Is p >= n?
False
Let n = 9 - 4. Suppose -c + 5*c - 8 = 0, n*c = 5*p + 15. Let i be 4 - (p + 1 - -1). Which is bigger: 5/3 or i?
i
Let t be (5/(-7))/(-1) - 1. Let x = 3 - 4. Which is greater: x or t?
t
Let u = -5 - -5. Suppose u = -6*q + 2*q - 12. Is -1 > q?
True
Let m = 3 - 2. Suppose 3*h = 6 + 9, 4*c + 21 = 5*h. Is c at least as big as m?
True
Let m = -1092/5 + 217. Is 0 at most m?
False
Let i = -46 - -20. Let k = 27 + i. Is k not equal to -1/16?
True
Let j(b) = b**3 - 7*b**2 + 4*b - 8. Let n be j(5). Which is greater: -37 or n?
-37
Let s = -1/41 + 259/533. Which is greater: 1 or s?
1
Let q(u) = -u**3 + 4*u**2 + 6*u - 4. Let l be q(5). Suppose k = -5*z + 6, z = -0*z + 1. Let m = 3/2 - k. Do l and m have the same value?
False
Let p = -3 + 4. Let u = -18 + 16. Is p greater than u?
True
Let b be (6/65)/(21/(-70)). Let n be (-1*1)/((-15)/15). Is n greater than or equal to b?
True
Let q = 5 - 5.3. Let z = -0.2 - q. Let c = -0.1 - z. Is -1 greater than c?
False
Let v be 2 + 307606097/(-1099307) + -1. Let w = 1/99937 + v. Let h = w - -279. Which is smaller: -1 or h?
-1
Let k(b) = b**2 - 10*b + 9. Let d be k(9). Which is smaller: d or -2/41?
-2/41
Let n be ((-48)/(-20))/(1/(-5)). Let j(m) = m**3 + 13*m**2 + 11*m - 14. Let c be j(n). Is c < -2/7?
True
Let p(y) = 6*y**2 - y. Let z be p(1). Suppose -z*k - r - 22 = -5*r, -3*r = -k - 11. Let i be (-2)/(3/(-6)*-4). Which is smaller: k or i?
k
Let p(v) = -2*v + 11. Let r(l) = l - 10. Let y(u) = -6*p(u) - 7*r(u). Let n(b) = 6*b + 5. Let d(m) = 4*n(m) - 5*y(m). Let h be d(1). Which is smaller: -3 or h?
-3
Suppose 0 = 30*x - 34*x - 4. Which is smaller: x or -7/11?
x
Let k = 13 - 8. Let i = -2 - k. Which is greater: 1 or i?
1
Let d be 2/(2/(-2) + 2). Let z be ((-1)/(-2))/(-1)*d. Let c be z/(2/4 - 0). Is -2 < c?
False
Let j(q) = 3*q**2 - 2*q - 2. Let u = -8 + 6. Let n be j(u). Suppose 0 = -o - o + n. Is 6 greater than o?
False
Let t = -4 + 0. Let i = t + 6. Let r = -4 + i. Is r at least 0.3?
False
Suppose -4*o + 23 = -q, -q + 1 = 2*o - 6. Let z = 7 - 11. Is z != q?
True
Suppose -4*d - 6 = 2*j, -d + j = 1 + 2. Let c(t) = -t**2 + 4*t + 13. Let x(p) = 3*p**2 - 12*p - 38. Let s(v) = 17*c(v) + 6*x(v). Let k be s(5). Is k equal to d?
True
Let p = 4 + -3. Let k = -5.94 - 0.06. Let t = 8 + k. Is p < t?
True
Let p(i) = -i**3 + i. Let r be p(2). Let s(n) = n**2 + 5*n. Let c be s(r). Let g = -5 + c. Is 4/5 != g?
True
Let p = 36.37 + 0.63. Is p < -0.1?
False
Let p be 5/2*(-24)/(-42). Does 0 = p?
False
Let q be ((-6)/10)/(1/(-5)). Suppose 4*b = -3*h, 7*h + 11 = -q*b + 2*h. Which is greater: b or 4?
4
Let c be (-3)/(-9)*1*1. Is -1 at least as big as c?
False
Let o = 17 - 7. Let j = 7 - o. Let c = j + 2. Is 2 less than or equal to c?
False
Suppose -5*j = p - 0 + 20, 10 = -p - 3*j. Suppose -p*b = -4*b. Is -1 at most as big as b?
True
Let a = -0.22 - -0.16. Which is greater: -0.2 or a?
a
Let r = -1 - -1. Let y be (-1 - 0) + 1 - r. Let n = -27/91 + 1/91. Which is smaller: y or n?
n
Let n = 0.22 - -0.08. Let l = n - 0.2. Let g(m) = m - 1. Let i be g(2). Is l equal to i?
False
Suppose 0 = -8*y + 3*y. Which is greater: 2/123 or y?
2/123
Suppose 5*p - 3*y = 703, -y + 552 = 4*p - 6*y. Which is smaller: p or 144?
p
Let r = 37/5 + -56/15. Let h be ((-4)/(-24))/(14/(-284)). Let p = h + r. Is p not equal to 1?
True
Let k = 1093 + -108209/99. Is k greater than 1?
False
Let k be (-1 - (-11)/(-17)) + 2. Which is bigger: 0 or k?
k
Suppose -22 = -2*j + 4*g, -4*g = j + 11 + 2. Let n = 22 - 21.9. Which is greater: n or j?
j
Suppose 5*t = 4*f - 2 + 9, -5*f - 5*t = -25. Suppose -3*g = 3*o + 9, 3*g + f*g + 1 = 2*o. Suppose 5*x + u + 25 = 0, 0 = -u - 1 - 4. Which is bigger: o or x?
o
Let k be (2/(-6))/(1/(-2)). Which is greater: k or 1?
1
Let g = 0.2 - 0.3. Suppose 5*j = x + 16, -2*x - 80 = 3*x - 5*j. Let u = x + 46/3. Are g and u non-equal?
True
Let t(p) = p**3 - 9*p**2 + 9*p - 3. Let q be t(8). Suppose -3*i - v + 1 = -5, 0 = -2*i + 2*v + 12. Let s = i + 1. Which is smaller: q or s?
s
Let z(s) = s**3 - 4*s**2 + 4*s - 3. Let a be z(3). Let t be (16/30)/(2/235). Let g = t + -62. Is a greater than g?
False
Let f be (3/7)/((-3)/2). Which is smaller: f or -0.6?
-0.6
Let y be (-1)/(-4) + (-35)/28. Which is smaller: y or 0?
y
Suppose -n + 5 = l - 0, -5*l + 25 = 2*n. Let o = n - 0. Let p be (3/9)/(-3*(-3)/27). Which is smaller: o or p?
o
Let w be ((-16)/10)/(5/65). Let a = w - -21. Let q = 1 + -0.8. Is q at most a?
True
Let i(x) = -x**3 + 2*x**2 + 2. Let a be i(2). Let j be ((-4)/(-3))/(a/(-3)). Let f be (-1)/((-2)/(-4)*2). Which is bigger: f or j?
f
Suppose 0 = 4*q - 0*q. Let j = q - -1. Suppose 2*b = o + 8, 5*b - 35 = -o - 8. Which is bigger: o or j?
o
Let v be (-4)/6*6/2. Let g(y) = y + 3. Let w be g(v). Suppose 0*k + 4*k = 0. Which is greater: w or k?
w
Let p = 2 - 3. Let m be (4 - -1) + 2*p. Let n be 3/(6/m - 1). Which is smaller: n or 4?
n
Suppose 5*p + 25 = 2*w, 4*p + 2 = 2*w - 20. Suppose h + 14 = -w*s + 33, -5*h = 5*s - 35. Which is greater: 4 or s?
4
Suppose g - a = 2, 11 = g - 4*a - 6. Let c be (-10)/15 - g/3. Let y = -2553/52 - -197/4. Which is smaller: c or y?
y
Let h = 2/39 - 23/1209. Which is greater: 0 or h?
h
Let s be (0/(-2))/(-2 - -1). Let l be 2 + (-3 - (-9)/6). Let o = s + l. Is o not equal to 2?
True
Suppose h = 2*h. Suppose h*j = 3*j - 3. Is 2/27 at least j?
False
Let h = 1822 + -38251/21. Let j = -6/7 + h. Is j greater than 3?
False
Let v = 27 - 25. Is 3 smaller than v?
False
Let p = -409/6 + 68. Which is smaller: p or 3?
p
Let m be 3/(-3)*1/1. Let l = -6 + 37/6. Does l = m?
False
Suppose 3*t - t - 16 = 0. Is 1 bigger than t?
False
Let o = -1 + 4. Let d = 5 - 4. Which is smaller: o or d?
d
Let x(g) = g - 10. Let i be x(11). Let a be 15/(-35) + i/2. Let b(u) = -u**2 - 2*u + 3. Let r be b(-3). Is a equal to r?
False
Suppose -10*m - 12 = -7*m. Is -2 >= m?
True
Let y(h) = h**2 + 2*h - 17. Let r be y(6). Is r greater than or equal to 30?
True
Suppose -4*g + 0*g - 216 = -4*a, -3*g = -4*a + 214. Is 51 bigger than a?
False
Let x(i) = -i**3 - 11*i**2 - 18*i - 3. Let r be x(-9). Suppose y - 2*y + 1 = 0. Let s be (0 - y)/(2/6). Is r bigger than s?
False
Let d be (-4 + 13/4)*4. Is -2 != d?
True
Let z = 0.69 - -0.31. Let t = -2 + 1.8. Is t at most z?
True
Let k = 23 + -44. Let f = k + 30. Do f and 1 have the same value?
False
Let r = -0.83 + 0.13. Let s = -1 - r. Which is greater: s or -0.1?
-0.1
Suppose -3*j - 2*a + a + 13 = 0, -3*j + 17 = 5*a. Let k be j/(-2) - 40/(-18). Is k < 0?
False
Let u(y) = 2*y**2 - 3*y + 2. Let i be u(2). Suppose -5*b + m - 25 = 0, 5*b - 2 = i*m - 12. Are -7 and b nonequal?
True
Let z = 26 + -12. Let p be (-13316)/84630 + 4/z. Let t = p + 2/403. Which is smaller: t or 1?
t
Let o(c) = 2*c + 5. Let i be o(-4). Let g = -2 - i. Let n be (-6)/(-12) - 2/(-4). Is n <= g?
True
Let g be 1*-4 + 0 - 1. Which is smaller: g or -4?
g
Let q = -15479/40 + 387. Are 0 and q equal?
False
Let s(b) = b**2 - 9*b + 9. Let p be s(7). Let t = p - 1. Is -6 not equal to t?
False
Let n be (-1)/(-4) + 6/8. Suppose 0 = -2*i - 3*x + 18, -3