0, -2*i + 5*d = 3*i - 5. Let l(h) = -2*h**2 + h. Let o be l(i). Are g and o equal?
False
Let f be 2/(-9) - 1001/1260. Let o = -11/15 + f. Are o and -3 equal?
False
Let x(q) = q**2 + q + 1. Suppose 9 = -4*m + 1. Let o be x(m). Suppose r - o*r = 4. Is -4 at least as big as r?
False
Let v = 73 - 73.29. Let f = 0.18 + v. Which is bigger: 2/7 or f?
2/7
Let u = 37 - 22. Suppose 11*f - 6*f - u = 0. Is 13/5 at most as big as f?
True
Let v(i) = i**3 - 2*i**2 + 2. Let u be v(2). Let o be 2 - (u/2 - 2). Suppose -2*j = o*j. Is 1 at most as big as j?
False
Let j be 6/18 + (-10)/(-6). Are j and 3 equal?
False
Let j = -421/3 + 141. Let w(m) = m**3 - 3*m**2 + m - 3. Suppose s + 1 = 2*y, -8 = -4*s - 0*s + 2*y. Let h be w(s). Which is smaller: j or h?
h
Suppose -3*z + 4*z = 9. Let b be (-1 + 2 - -11)*(-15)/(-20). Is z at most b?
True
Suppose 0 = -2*q + 4 - 0. Let r be q/(-10) - (-1)/5. Is 0 greater than or equal to r?
True
Let t = -15 - -14. Which is greater: t or -2/53?
-2/53
Suppose -3*z + 4*j = j - 15, -11 = 5*z + 4*j. Is 1/7 bigger than z?
False
Suppose -c + 9 = -r - 0, -5*r - c - 15 = 0. Suppose 0*d + 2*d - 19 = -5*j, j = -5*d + 13. Let n be 4*(-2)/(6/j). Is r != n?
False
Let q(z) = -4*z**2 - 4*z - 2. Let j(l) = 2*l**2 + 2*l + 1. Let m(c) = 5*j(c) + 2*q(c). Let p be m(-1). Let h(d) = -d + 6. Let v be h(5). Is p bigger than v?
False
Let o be (0/(-2 - -3))/1. Let x = 155/518 + -1/74. Are o and x unequal?
True
Let b = -68 - -27. Which is bigger: -40 or b?
-40
Let t(w) = 4*w - 5. Suppose -3*y - 2*m = -3*m - 11, 2*m = 5*y - 19. Let n be t(y). Which is bigger: n or 8?
8
Suppose 0 = 3*o - 0 - 48. Let y = -65/4 + o. Is 1 <= y?
False
Let d(o) = -o**2 + 3. Let s be d(0). Suppose 0 - s = -h + 5*w, -3*h - 2*w = -9. Suppose n = -4, -h*x + 9 = 2*n - 5*n. Is x > -1?
False
Let b = 51 - 30. Suppose -b*m + 20*m - 7 = 0. Is -6 less than or equal to m?
False
Suppose -7*r = 3 - 24. Suppose 0*l - 3*l = 0. Suppose -4*d + l = r*t - 4, 1 = 4*t + d. Is t greater than -1?
True
Let z(d) = -3*d**3 + 27*d**2 + d - 8. Let b be z(9). Let r(a) = a**2 + 2*a - 2. Let c be r(-3). Let k(x) = 2*x**2 - 1. Let i be k(c). Is i less than b?
False
Let j(s) = -s**2 + 8*s + 8. Suppose 4*k - 15 = 21. Let a be j(k). Which is bigger: a or 0?
0
Let p(h) = h + 11. Let s be p(-6). Let b = 4 - s. Let c be (-60)/(-209) + 4/(-22). Does b = c?
False
Let p = -8.2 - -8. Is 0.1 greater than p?
True
Suppose -p = p + 3*z + 8, 5*p = 4*z + 26. Let m(d) = -2*d**p - 3*d**2 + d + 2*d**2 + d**3 - 2*d. Let n be m(3). Which is greater: -2 or n?
-2
Let i(x) = x**3 - 2*x**2 + 2*x - 4. Let z be i(3). Let p = z - 13. Do -1 and p have the same value?
False
Let x = 7 - 7. Suppose x = -5*a - d - 7, -5*a - 7 = -3*a - d. Let p be 42/10 + a/10. Is p at most as big as 5?
True
Let v = 1 + 3. Suppose 0 = -p + v*u + 10, -5 = p + 3*u - 1. Suppose -12 = -4*c + c + p*k, -5*k - 11 = 2*c. Is c at most 2/3?
False
Let w(b) = -4*b**2 + 7 - 5*b + 7*b - 1 - b**3. Let x be w(-4). Is -3/4 less than x?
False
Let m = 5.55 + -0.55. Which is bigger: m or -6/5?
m
Let l = 3 - 2. Let j = 0 + l. Let t = 44 + -49. Which is bigger: j or t?
j
Let m = 0.073 - -0.027. Which is smaller: 0.017 or m?
0.017
Let j(b) = b**3 - 4*b**2 + 4*b - 3. Suppose p - 2*a + 6 = 3*p, 5*p - 5*a - 15 = 0. Let k be j(p). Which is bigger: 2/11 or k?
2/11
Suppose -s = -5*u - 11, -s - 2 = 3*u + 3. Suppose -l = -4 + s. Suppose -5*y - 22 = l*a, -5*a + 14 - 4 = -y. Is -2/19 greater than or equal to a?
False
Let c(h) = -h - 1. Let t be c(-5). Let y = -4 + t. Which is bigger: y or 3/5?
3/5
Let f = 1 + -7. Which is greater: f or -0.2?
-0.2
Let g = -8 + 9. Are -13 and g equal?
False
Let l be (-10)/(-4) - 1/1. Let o be 3*(-46)/28 + 3. Let p = o - -10/7. Do l and p have the same value?
False
Suppose 3*d - 21 + 6 = 0. Suppose 39 = d*v + 2*y - y, 3*v - 3*y - 27 = 0. Which is bigger: 7 or v?
v
Let f be (-2)/(0 - 4/(-28)). Let q be 73/(-5) + f/35. Which is smaller: q or -16?
-16
Let t = 11 + -9. Let f(w) = -3*w + 11. Let s(h) = 2*h - 7. Let p(i) = -5*f(i) - 8*s(i). Let g be p(t). Which is smaller: -2 or g?
-2
Let r = 20 - 11. Which is greater: 7 or r?
r
Let c(x) = 3*x - 1. Let d be c(-12). Is -37 less than d?
False
Suppose -f + u = 4*u - 4, 2 = 2*f + 4*u. Let j(s) = 2*s**3. Let a be j(1). Suppose -a*m + m = 5. Is m at least f?
True
Let g(p) = p**2 + 13*p + 11. Let r be g(-12). Let v = -70 - -488/7. Are v and r non-equal?
True
Suppose 22 = 5*j - 38. Let q be (j/(-8))/(6/(-8)). Suppose o - 3 = -q. Which is bigger: o or 0?
o
Let d = 14.5 - 13.5. Let a = 0.21 - -9.79. Which is greater: a or d?
a
Let z = -0.025 - -2.205. Let u = z - 0.18. Are u and -1/3 nonequal?
True
Let i(j) = -3*j - 7. Let q be i(-3). Let d = 3 + 0. Which is bigger: q or d?
d
Let j(u) = 41*u - 43*u - u**2 - 2 + 3. Let x be j(-2). Which is bigger: x or 2/5?
x
Let t = 311/15 + -61/3. Let l = -0.07 + -0.03. Which is bigger: l or t?
t
Let s = 0.1 + 5.9. Let o = -4 + s. Is 3/5 at least as big as o?
False
Let n = 10 + 2. Let f = 15 - n. Which is greater: -3 or f?
f
Suppose 0 = 4*a + 15 + 5. Let j = a - -4. Is j less than 2/11?
True
Let k = -14 + 13.8. Let u be 20/(-50) + (-16)/(-90). Which is smaller: k or u?
u
Let i(h) = h**2 + 3*h + 2. Let s be i(-2). Suppose -2*p - 4*d = -18, s*p - 5*d = 5*p - 25. Which is smaller: 2 or p?
p
Let u = 42 + -59. Which is smaller: u or -18?
-18
Let c be -1*(0/2)/(-3). Suppose 5*v = y - 20, -y - 2*y + 5*v + 80 = c. Let b be (1 + 1)*3/y. Is 0.1 <= b?
True
Let p = 59.9 + -63. Let u = p - -0.1. Is 2 > u?
True
Let q = -41/35 + 11/7. Which is smaller: -1/56 or q?
-1/56
Let b(s) = -s**2 + 4. Let x be b(2). Suppose x = 2*o - 1 + 7. Which is bigger: o or -4?
o
Suppose -3*r - r = g + 7, -5*g - 19 = 4*r. Which is smaller: -1.3 or r?
-1.3
Let u be (-8)/(-6) - (-4)/6. Let t = u + -2. Suppose n + t*n - 1 = 0. Is n at most as big as 2?
True
Let y(a) = -a**3 + 4*a**2 + 2*a - 6. Let q be y(4). Let n(i) = i**3 - i**2. Let j be n(-1). Let c be j - (-20)/6 - q. Is -3 > c?
False
Suppose 7*q = 5*q + 2. Let a be (-15)/(-35) + q/(-7). Is -1 greater than or equal to a?
False
Suppose -2*c + 2*g + 14 = 0, 0*g = -4*c - 3*g + 21. Let l be (-2)/(-6) - 8/c. Let o(x) = -7*x**2 - 1. Let y be o(l). Which is bigger: y or -7?
-7
Let r = -15 + 9. Is r less than -0.2?
True
Let k(g) = g**3 - 4*g**2 + 2*g - 1. Let h be k(3). Let w be ((-10)/15)/((-2)/9). Suppose 0 = -w*a - 11 + 2. Which is bigger: h or a?
a
Suppose -y + 88 - 87 = 0. Is -3/79 > y?
False
Let m = 2 + -3. Let a = 4 + -3.8. Let r = a - 0.4. Is m >= r?
False
Let r be 4/(8/(-6)) - -7. Let y = r - 8. Is y smaller than -5?
False
Let l = 0.4 - 0.4. Let q = 1 - l. Suppose 0 = w - 6 + 7. Are q and w unequal?
True
Let j(l) = 2*l**2 - 2*l + 3. Let p be j(4). Let k be ((-20)/(-6))/(18/p). Suppose q = -4*q + k. Does 7/5 = q?
False
Let v = -6 - -2. Which is greater: v or -22/5?
v
Let z = 2.2 + -8.2. Which is smaller: -2 or z?
z
Let h = 0.057 - -4.943. Which is smaller: -0.07 or h?
-0.07
Let r(c) = -3*c**3 - c**2 + 2*c - 2. Let j be r(1). Which is smaller: j or 1?
j
Let t be 3*1*(-2)/(-6). Let y be 22/12 + 21/(-14). Is y equal to t?
False
Let s = 9 - 5. Let k = -4 + s. Which is greater: k or 3/2?
3/2
Suppose -v + 7 = 17*h - 18*h, -4*v - 3*h = 7. Let r be (0/(1*2))/1. Let a be r*2*(-1)/(-4). Is v >= a?
True
Suppose 3*x - 5*z = -x + 22, x = 3*z + 9. Let m(u) = u**2 - 3*u. Let i be m(x). Is -1 < i?
True
Let f = -288144/155 - -1859. Let o = f + -323/2015. Which is bigger: 1 or o?
1
Let w be -2 - -4 - 3 - -1. Let z = -12/37 + 34/333. Let o = z - -13/99. Is o at least w?
False
Suppose -5*d - 9 + 34 = 0. Suppose -6*b - 32 = -d*w - 3*b, 2 = 2*b. Which is bigger: w or 6?
w
Let t = -39/2 - -19. Do -1 and t have different values?
True
Suppose -2*h + c - 1 = 0, 3 = -5*h + c + 8. Suppose -4 = -2*r - h*r. Which is greater: 0 or r?
r
Let f(d) = -d**2 + 4*d + 7. Let c be f(5). Let l(n) = -3 + 3 + 2 - 2*n - 1. Let p be l(c). Which is smaller: p or -2?
p
Let z be -3 + 6 - 19/(-2). Which is smaller: 13 or z?
z
Let d = 21 + -24. Let o = -2 - d. Is o at most as big as 3?
True
Suppose -4*m - 8 = 0, 25 = -2*j + 3*m - 11. Which is greater: j or -20?
-20
Suppose 5*d + 5*u = 20, -d - u + 6*u + 16 = 0. Which is greater: d or 3?
d
Let t(r) = -r**2 - 7*r + 7. Let s be t(-7). Which is smaller: 8 or s?
s
Let b be ((-5)/30)