 l be (-4)/(-18) + 1945/(-45). Let s = l - -127/3. Suppose -5*g - 4 = -g. Is s smaller than g?
False
Let z(u) be the second derivative of -u**4/12 + 5*u**3/6 + 3*u**2/2 - u. Let r be z(6). Let c = r - -3. Is c at least as big as -1?
True
Let c be (-213)/108 - 2/(-9). Which is smaller: 2 or c?
c
Let q(g) = 2*g**2 + 11*g. Let r be q(-6). Let v = r + -1. Is v >= 5?
True
Let w = 3 + -1. Do 1/2 and w have the same value?
False
Let r be (-2)/(-4)*(-28 + (1 - 5)). Which is greater: r or 1/2?
1/2
Suppose -8*f + 3*f + 5 = 0. Which is smaller: f or 3/8?
3/8
Let g = 3 - 8. Let z = 5.08 + g. Which is smaller: -2/3 or z?
-2/3
Let a = -0.5 - 0.5. Is a at most -28?
False
Let g = 1.6 + -1.5. Is g at least as big as -19?
True
Let b = -7 + 4. Let i be ((-2)/(-12))/(b/12). Is i less than or equal to 0?
True
Let j = -11 + 7. Let v be 0 - (3 - (0 + 1)). Let p = v + -1. Which is smaller: j or p?
j
Suppose -4*z + 5*z = 9. Are 35/4 and z equal?
False
Let f be (-2 + 3)/(1 - 0). Suppose -5*u + s = -23, 0 = 5*u + 5*s - 1 - 4. Suppose 2*a = -0*a + u. Is f smaller than a?
True
Suppose 4*v - 124 = -0*v. Is v not equal to 34?
True
Let p be (-1)/(-1) - (-5 - -6). Suppose a = 4 - p. Let k be (-14)/(-3) + (-4)/6. Is k smaller than a?
False
Let n be -3*(-1)/9*-9. Is n < -3?
False
Suppose 0 = -2*s - 4*t + 36, 4*s - 5*t = -2*t + 94. Are s and 21 nonequal?
True
Let r be (-18)/(-8)*(-48)/18. Let c be (2 - (2 + r)) + 1. Suppose -c*w - 21 = -10*w. Is 7 bigger than w?
False
Suppose -14 = -r - 15. Is r at most as big as -4?
False
Let r = -17 - -57. Suppose 2*i - r = -2*i. Is 10 less than i?
False
Let n = 6/107 - 1088/321. Is n >= -2?
False
Let c(u) = -2*u + 3. Let v be c(-2). Let i = v - 6. Let t be 36/20 + 1 + -1. Is t at most as big as i?
False
Suppose v - 55 = -10*v. Is 5 less than or equal to v?
True
Let j(a) = -a**2 - 3*a - 3. Let d be j(-2). Let y = 8 + -7.97. Which is smaller: y or d?
d
Let t = -6 - -8. Suppose 2*g + 3*r + t*r - 27 = 0, 4*r = 2*g + 18. Let i = -66 + 332/5. Is g bigger than i?
True
Let n = 60.09 - 61. Let k = 0.11 + n. Are -0.1 and k equal?
False
Let v be -3 - ((-2)/9 - (-114)/27). Is -7 greater than or equal to v?
True
Let p be (40/10)/(1 - -93). Which is smaller: 0 or p?
0
Let t(l) = -l. Let g be t(-5). Which is smaller: g or 9/2?
9/2
Let n = -11.84 - -4.77. Let t = 7 + n. Which is greater: t or 1?
1
Let f = -7/124 - 3671/868. Is -4 bigger than f?
True
Suppose l - 41 = 5*c, -3*c - 4*l = -0*c + 43. Is -3 bigger than c?
True
Let j = -2 - -2. Do j and 2 have different values?
True
Let z be (-8)/(-6)*(-24)/(-2). Suppose -2*r + z = 2. Is 9 less than or equal to r?
False
Let a = 10 + 0. Suppose -2 = 4*w - a. Let o(p) = p**3 - 7*p**2 + 7*p - 3. Let i be o(6). Is i less than or equal to w?
False
Suppose 3*c = -5*f + 33, -2*c = -6*f + 3*f + 16. Suppose -24 = 3*l - 5*o, f*l - l + 40 = 2*o. Let p = 42/5 + l. Which is smaller: p or 1?
p
Suppose 6*q - 12 = 2*q. Which is greater: -1 or q?
q
Suppose 0 = p - 5*i + 21, 4*p - 6 = -3*i + 2. Let a be 65/55 + 4/(-22). Let y be p + a - (1 - 1). Is y at least -1?
True
Let d be (-3904)/(-48) + 2/(-6). Is d at least as big as 82?
False
Suppose 13*h - 16*h + 6 = 0. Let y be (h - 1 - 1)/(-1). Are -2/45 and y non-equal?
True
Let r(t) = 4*t - 5*t + t - 2*t. Let f be (0 + 2/(-4))*2. Let b be r(f). Is -1 at least as big as b?
False
Suppose 4 = 5*s - 1. Let i(r) = -8*r**2 + 20*r + 11. Let t(k) = 3*k**2 - 7*k - 4. Let m(y) = -4*i(y) - 11*t(y). Let a be m(-3). Does a = s?
False
Let o = -4 - -4. Suppose 3*l - 2*l + 1 = o. Let q(d) = -d**2 - 17*d - 19. Let p be q(-16). Which is smaller: p or l?
p
Let p(f) = 2*f**3 - f**2. Let x be p(2). Suppose u - 5*u = -x. Suppose 9 = 5*g + q, 4*g = 3*g - u*q + 13. Which is bigger: g or -1?
g
Let n = -2.6 - -2.6. Is 0 < n?
False
Suppose 0 = -3*z - h + 2, -2*h = 2*z - 4*h + 12. Let m be 0*z*1/2. Do -3/7 and m have the same value?
False
Let s = -1951/2 - -994. Let y = s + -19. Which is greater: -6/7 or y?
y
Let v(d) = 4*d - 5. Let s be v(6). Suppose 0*a = 3*q - 4*a - s, -2*q + 3*a = -13. Are 5 and q equal?
True
Let m = -13074/5 + 2678. Let a = m - 63. Is a > -1?
True
Let z = 1.5 - 0.5. Are z and -2/33 non-equal?
True
Suppose 4*x + 263 + 125 = 0. Let m = 19 - x. Let z = m + -578/5. Is 1 greater than or equal to z?
True
Let s(l) = l**3 - l**2 + l + 2. Let i be s(0). Suppose 0 = i*u + u. Which is greater: 1/8 or u?
1/8
Let l be (0 + 26)*-1 + -1. Let w be (-10)/25 + l/(-5). Suppose t - w*m = -7, -3*t - 9 = -3*m - 0*m. Which is bigger: 1 or t?
1
Let u be -1 - (-1)/1 - 1. Let s be (-4)/3*(-3)/(-2). Let m(p) = p + 2. Let a be m(s). Is a bigger than u?
True
Let r = 58 - 751/13. Let n be 1/2*6 + -3. Which is bigger: n or r?
r
Let b = -491/3 - -165. Which is smaller: b or 0?
0
Suppose -v = 12 - 10. Let n be 100/(-42) + (-6)/(-9). Which is greater: n or v?
n
Let w be (5 - (-12)/(-3))/((-7)/2). Let t = 0.06 - -8.94. Are t and w unequal?
True
Let p be 40/(-1)*10/(-25). Let u = 22 - p. Suppose 6*g - 3*g - u = 0. Is g at least 2?
True
Let h be (-1756)/((-1)/((-2)/26)). Let m = 135 + h. Let p = m + -11/26. Which is smaller: p or 0.2?
p
Let a = -1.5 + -0.5. Let v = 6.85 - 0.55. Let s = v - 6. Which is greater: s or a?
s
Let x(g) be the third derivative of -g**4/24 - 4*g**3/3 - 3*g**2. Let t be x(-8). Which is smaller: t or 2/7?
t
Let w = -4.2 - -4. Let s = -0.1 - w. Let t = 0.2 - s. Is t greater than -2?
True
Suppose 6*u + w - 17 = 2*u, 2*u + 2*w = 16. Suppose 0 = -5*i + 1 + 4. Let f be (-16)/(-4) + i*-2. Which is smaller: f or u?
f
Let p = 1 - -2. Suppose 4*q - 28 = -4*l, -p*l - 2*q = -5*q - 15. Which is greater: l or 5?
l
Let f = 1.94 + 0.06. Let m = 2 + f. Let s = -4 + m. Do 3 and s have different values?
True
Let r = 12 - 30. Let k = r - -14. Is k >= -4?
True
Suppose -p = 4*m + 9, 0*p - 5*p - 26 = m. Let j(n) = n**2 + 6*n + 4. Let a be j(-6). Let y be a/2*1/(-2). Is m > y?
False
Let t be 0 + (8/12)/1. Is 1 at most t?
False
Let b = -0.2 - -0.1. Suppose -a + 3 = -2*w + 11, a + 10 = 3*w. Is w at least b?
True
Let q be 13 - (-2 + -1)/(-3). Let n = 12 - q. Which is smaller: n or -2/3?
-2/3
Let y = 4 + -4. Which is smaller: -6 or y?
-6
Suppose 0 = 4*y + 5*f - 15, y + 2*f - 2 = 4. Let q = y - -3. Suppose -2*r + 3 = 3*p, r + 4*r = q*p - 3. Do p and 2 have different values?
True
Let t(a) = a**3 + 3*a**2 - 3*a + 5. Let d be t(-4). Which is bigger: 2 or d?
2
Let c be (-6)/(-12) - ((-6)/(-4) + -1). Which is bigger: c or 4?
4
Let b = 1.1 + -6.7. Let a = 5 + b. Let f = -0.4 + a. Is 2/3 at least f?
True
Let v(q) = 5*q**2 - q. Let i be v(-1). Let t = -11 + i. Let l(c) = -c - 7. Let m be l(t). Is m smaller than -4/3?
True
Suppose 42 = -5*c - i, -2 - 10 = 2*c + 2*i. Let q be (6/c)/((-16)/6). Which is greater: -0.01 or q?
q
Let x = -0.2 - 0.3. Let q = 7.5 + -8. Let h = q + x. Which is smaller: h or 1/2?
h
Suppose 0 = 5*v - 2*o - 29, 0 = 2*v + o - 2*o - 12. Let n = -10 + v. Is 0 at most as big as n?
False
Let k = 1208/9 + -134. Suppose -2*t = t + 12, -1 = -3*r + t. Is r at most as big as k?
True
Suppose 4*g + 2*s + 22 = 0, -4*s = -2*s + 2. Let v be 8 + ((-4)/16*0)/1. Let f = g + v. Do f and 1 have different values?
True
Let j = -127.3 - -134. Let o = 7 - j. Let b = -0.2 + o. Which is smaller: -3 or b?
-3
Let q = -0.8 + 0.6. Is 0.1 less than or equal to q?
False
Let u = 9 - 4. Let z = -20 + 11. Let v(k) = k**3 + 8*k**2 - 10*k - 4. Let c be v(z). Is c bigger than u?
False
Suppose 4*p = -3*a - 2, 0 = 3*p - 2*p - 1. Which is bigger: -7 or a?
a
Let n = 18.1 + -17. Let z = n - 1.2. Are -0.1 and z equal?
True
Let k = -81725 - -9398436/115. Let x = 19938/23 + -867. Let g = x + k. Which is bigger: 0 or g?
g
Let p(m) = -m + 10. Let v be p(11). Let l be 1/1 + v/1. Is 5/6 > l?
True
Let p = -2 + 3. Let k be -10*(2 + -1)/p. Let j be 4/k*(-1)/2. Which is greater: j or 1?
1
Suppose -w = 8 + 7. Let g be 131/w - 2/(-2). Let z = g + 22/3. Is -1 at most as big as z?
True
Let y = 0.03 + -0.33. Let b = -0.01 + -0.39. Let d = y - b. Is 0.1 less than d?
False
Suppose 3*a = -2 - 7. Let v = a + -3. Let b = v + 7. Which is bigger: 2 or b?
2
Let o(s) = s - 6. Let m be o(6). Let f = m - 0. Let i be (-2)/8 + (-14)/8. Do f and i have the same value?
False
Let c = -0.3 + 0.8. Is c at most as big as -5?
False
Suppose 3*u - 28 = -4*u. Which is bigger: 7 or u?
7
Let d = 35 -