 - 2*z - 129 = 2*m. Let b be 2/9 + (-560)/m. Is b at least as big as 9?
False
Suppose -g = -4*i + 7, -4*g - 3*i + 16 = -13. Suppose 25 = -g*d - j + 3*j, 0 = 5*d + 2*j + 25. Let h(o) = -o**3 - 6*o**2 - 4*o + 7. Let z be h(d). Does 1 = z?
False
Let v(x) = -2*x**2 + 7*x + 4. Let u be v(4). Which is bigger: u or 1/18?
1/18
Suppose 5*i = p + 4, 0 = -2*p - i - i + 16. Is p at least as big as 5?
True
Let a = 2 + -1. Let x = 5 + -3. Let m = 1 - x. Is m at least as big as a?
False
Let b(y) = y**2 + 4*y + 3. Let w be b(-2). Let v = -1/350 + 103/1050. Is v at least as big as w?
True
Let k = 0 + 0. Let r be -1*231 + (2 - 1). Let o = r - -1613/7. Are o and k nonequal?
True
Let n(t) = -t + 10. Let v be n(10). Let a be -1 + 1 - (-4)/6. Which is greater: v or a?
a
Let j(r) = -r**2 - 4*r + 5. Let u be j(-5). Let p = -1 - -1. Suppose p*n - n = u. Which is bigger: -0.1 or n?
n
Let q = 0 - 0. Let p = q + 0. Suppose p*u - 5 = 5*u. Which is bigger: u or 0?
0
Let a = 8 + -12. Which is smaller: -7/2 or a?
a
Suppose 0 = t - 4*z + 17, -2*t = -z + 9 + 4. Is -50/9 < t?
True
Suppose 5*k = k. Suppose k = 3*w - 16 + 1. Let q = -2 - -1. Which is smaller: q or w?
q
Let m = -1 + 6. Let t = 3 - m. Let a = t - -1. Is -0.06 greater than a?
True
Let m be (5 + -1)*2/(-4). Let t be (7/14)/(1/(-6)). Let f be 1 + (m - 4/t). Which is bigger: f or 1?
1
Let t = -27 - -63. Let l(y) = y**3 - 5*y**2 + 5*y - 5. Let n be l(4). Let x be 17/t - n/(-4). Which is smaller: x or 0?
0
Let u = 176.1 + -176. Which is greater: -28 or u?
u
Let f = -11 + 12. Is -2/59 >= f?
False
Let o = -2/27 - 4/27. Let p = 55/3936 + 1/96. Let z = 85/123 - p. Which is greater: o or z?
z
Let j be (-1)/3 - 2/(-15). Let n be (-2)/(-7) - 8/(-70). Is j equal to n?
False
Let b(k) be the first derivative of -k**4/4 + 5*k**3/3 + 3*k**2 + 4*k + 1. Let d be (-8)/24 - (-38)/6. Let s be b(d). Is 5 at most as big as s?
False
Let u be (10/(-6) + 3)*(-21 + 0). Is u at most -27?
True
Suppose -5*p + 3 + 27 = 0. Let n be 2/(-8)*-4 - p. Is -6 < n?
True
Let q = 2433/28 + -2408583/27748. Let w = -40109/202164 - q. Let x = w - -2/51. Is x smaller than 1?
True
Suppose 4*g + 3*g + 42 = 0. Is -6 less than or equal to g?
True
Let j(r) = r**3 - 5*r**2 - 2*r + 6. Let m be j(5). Let i be 5/(-25)*(-1 - 1). Which is smaller: m or i?
m
Let g(t) = -2*t + 1. Let q be g(-2). Let j = q + 0. Suppose -6*d - j = -7*d. Which is bigger: 6 or d?
6
Let d be 8/((-15432)/3861) + 2. Let k = d + -4497/2572. Does k = -3?
False
Suppose 0*s + 5*u + 55 = -3*s, 2*s - 2*u = -10. Let x be (-6 + 5)/((-2)/s). Does x = -5?
True
Let q be (0 + (0 - 2))*-2. Let f(i) = i**3 - 3*i**2 - 4*i + 2. Let p be f(4). Which is bigger: p or q?
q
Suppose v = -1 - 2. Let y(h) = 10*h**2 + 5*h + 16. Let o(f) = -3*f**2 - 2*f - 5. Let t(k) = 7*o(k) + 2*y(k). Let z be t(v). Which is greater: 1/4 or z?
1/4
Suppose 0 = -3*k + n - 4*n - 12, -4*k + 4*n = 0. Let i = 1 + k. Which is bigger: i or -4/3?
i
Let x = 0.04 - 0.07. Let w = x + 1.03. Let k = 0 + w. Which is bigger: -0.2 or k?
k
Let t be (-3)/1 - -6 - 5. Let p(f) = -3*f**2 + 1. Let u(k) = k**3 + 4*k**2 - 1. Let m(j) = 4*p(j) + 3*u(j). Let l be m(-1). Is t > l?
False
Let z = 2.1 - 2. Suppose 3*i - 9 = 0, 2*w + 5*i = i + 14. Which is smaller: z or w?
z
Let m(t) = t**3 + 7*t**2 + 5*t - 6. Let y be m(-6). Is y >= -2/17?
True
Let t = 4 + -14. Is t <= 1?
True
Let n be (-1 - (-33)/18) + -1. Let x(p) = -p**2 - 4*p - 2. Let c be x(-3). Which is greater: n or c?
c
Suppose -5*u - 90 = -10*u. Suppose -4*x + 3*r = 0, -4*x + u = 2*r - 2. Is x bigger than 3?
False
Let n = -4 - -12. Suppose -n = -k - k. Let o be 2/(-7) + k/14. Which is smaller: o or 1?
o
Let w = 8 + -16. Let o = w - -13. Suppose -10 = 4*d + p + 2*p, d = -2*p - o. Is 2/9 greater than d?
True
Let v = -12 - -12.1. Which is greater: -3/7 or v?
v
Suppose 5*l = 4*r - r - 16, 4*r = -4*l. Suppose -2*s = r*s - 20. Suppose 0 = -5*v + s. Is v greater than or equal to -1?
True
Let a = -2365 - -357113/151. Is 0 not equal to a?
True
Let i be 0/(-2*(0 - 8/4)). Which is smaller: i or 5/14?
i
Let p(f) = f**3 - 6*f**2 + 7*f - 4. Let m be p(4). Let r be (9 + -12)*m/(-6). Which is greater: r or -6?
r
Let k(y) = -y**2 + 2*y + 12. Let u be k(0). Let b be ((-22)/18)/((-4)/u). Which is bigger: 4 or b?
4
Let j = 0.05 - -1.55. Let c = 2.5 + j. Let a = c + -4. Which is bigger: -4 or a?
a
Suppose h - 3*t + 11 = 0, -3*h + 5*t - 9 = 8. Suppose 0 = 2*z - 1 - h. Let a = 43/4 - 32/3. Which is greater: z or a?
z
Let h(k) = k**2 - 2*k - 2. Let c(m) = -m - 1. Let l(d) = 3*c(d) + h(d). Let f be l(6). Is -1/2 greater than f?
False
Let s be -2 - (2 - 6/2). Do s and 4 have different values?
True
Let f(x) = -5*x + 3. Let r be f(3). Is r greater than or equal to -13?
True
Suppose -2*n + 5*i - 18 = -4, 0 = n + 3*i - 15. Let u = 10 + -7. Is n < u?
False
Let i = 36 + -10. Suppose 2*x = 2*q + 3*q + 38, i = -3*q + 2*x. Suppose l + 3 = -3. Is q at most as big as l?
True
Suppose -k + 700 = 3*u, -u + 2*u + 4*k = 226. Let j = 2108/9 - u. Is -6 at least as big as j?
False
Let d be (-21)/34 + (-16)/(-136). Which is greater: -2 or d?
d
Let m be 27/(-36) - (-2)/(16/(-10)). Let l(z) = -2*z + 7. Let a be l(5). Is a smaller than m?
True
Let f be (-11)/(-4) - (-5)/20. Suppose j - 20 = 5*j. Let l be 2/6 + j/(-3). Is l at least as big as f?
False
Let v(q) = -q + 11. Let u be v(8). Let g be 2 - -1 - (-9)/(-11). Is u > g?
True
Let w = 3.68 - 3. Let j = -0.08 + w. Let q = 0.1 - j. Is 0 at most q?
False
Let m = 217 - 217.2. Suppose 0 = -5*y - 3*q - q - 9, y = -3*q + 7. Which is smaller: y or m?
y
Let n be 1 + 1 - (-38)/(-20). Suppose 0 = 5*x - 3*a + 14, -2*x - 5*a + 15 - 2 = 0. Which is smaller: n or x?
x
Let x = -1.1 + 0.1. Let i = -7.08 - -0.08. Let z = i - -6.3. Is z at least x?
True
Let x be (12/18)/(2/3). Let y = 7 + -6.1. Let s = -0.1 - y. Which is smaller: x or s?
s
Let h be -2 + 2 - 2/(-1). Let v(u) be the first derivative of u**4/4 - 2*u**3/3 - u**2/2 + 2*u - 7. Let o be v(h). Are o and 1/3 equal?
False
Let l = 4 - -12. Let r be (12/l)/(2/8). Is r equal to 4?
False
Suppose -45 = -4*r + 7*r. Which is smaller: -14 or r?
r
Let j be 2/(-5) - (-824)/2160. Suppose -w - 3*z = -2*w + 12, 0 = -2*w - 2*z - 8. Which is greater: j or w?
w
Let y = 22 - 18. Which is smaller: 0.3 or y?
0.3
Let a = -589 + 24147/41. Is -1 at most as big as a?
True
Let m be (2/(-3))/(8/(-18)). Suppose 7*u = 19 - 5. Which is smaller: m or u?
m
Let f(m) = m**3 - 4*m**2 + m + 2. Let y = -2 - -5. Let u be f(y). Is -6 > u?
False
Let p(i) = -i**3 - 8*i**2 + 10*i + 11. Let s be p(-9). Suppose 0 = 3*d - 2*d - s. Let u be 0*((-15)/6 + d). Which is greater: 2/13 or u?
2/13
Let f = 17 - 0. Suppose 4*t = f - 5. Suppose 4*z + 3*h - 1 = 0, 4*z - h = t*h + 8. Are -1 and z nonequal?
True
Suppose z + 4*z + 23 = 2*k, 4*k - 6 = 2*z. Let n be (0 + (-3)/30)*-1. Which is smaller: k or n?
k
Let p = -144 - -869/6. Is -2 less than p?
True
Let a = 241 + -3855/16. Is 2 > a?
True
Let k = 4 + 3. Let o be -16*1/k - -2. Suppose -4*z = -4 + 8. Are z and o nonequal?
True
Let s be (-4)/14 - (-303)/7. Suppose -2*v - 8 = -0*t + 3*t, -s = 3*t - 5*v. Let r be (-2)/t - (-57)/(-90). Which is smaller: 0 or r?
r
Let t(u) = -u**2 + 5*u - 2. Let x be t(3). Suppose 2*m = 3*m + 5*q - 17, -x*q = -5*m - 2. Is m bigger than 3?
False
Let g = 4 - 0.4. Let t = 4 - g. Let b = t + 0.6. Is 0 at most as big as b?
True
Suppose -5*f - 28 = -n + 2*n, 3*f = -n - 18. Let u = 13 + f. Is 6 >= u?
False
Let s(z) = -2*z - 45. Let a be s(-16). Does a = -27/2?
False
Suppose 2 = -3*x - x + u, -x + 4 = 2*u. Is x greater than or equal to 0.13?
False
Let l(m) = 3*m**2. Let x be l(1). Suppose 0 = 5*s + x + 2. Is 0 <= s?
False
Let z = 12 - 12. Is z bigger than -1?
True
Suppose -z = 3*k + 4, 3*k - 2*k - z = 0. Which is greater: 0 or k?
0
Let u = -21 - -22. Which is smaller: 19/4 or u?
u
Let c = -25 + 24. Let d = -2.2 + 3. Let m = d + c. Which is smaller: 1 or m?
m
Let k = 0.004 - 0.704. Are -1 and k equal?
False
Let h = -57 - -87. Which is greater: h or 31?
31
Let j(k) = -20*k + 3. Let u be j(1). Which is smaller: u or 2?
u
Let v be (-2)/(-3) - 1221/9. Let n = v + 677/5. Let s = -1 - -2. Is n at most as big as s?
True
Suppose 0 = 2*l - 1 - 1. Let h(z) = -z**3 - z**2 - z + 4. Let u be h(0). Let f be (-2 - (-6)/u)*0. Does l = f?
False
Suppose 10 = 5*h - 1