 n, 5*p = -2*s - 1. Is -3 not equal to s?
False
Let i(y) = -y**3 + y**2 + 2*y - 1. Let b be i(1). Let u = 66244/61 - 1086. Is u greater than or equal to b?
False
Let n = -1 - -2. Which is smaller: -6/23 or n?
-6/23
Let a = 2682066/55 - 48763. Let u = 18/11 - a. Which is bigger: 0 or u?
0
Let x = -0.49 + -4.51. Which is smaller: x or 0.3?
x
Let u be (8 - 119/14)*(-26 + 0). Is u greater than 8?
True
Let o = 2 - -1. Let k = 2 + o. Which is smaller: -1 or k?
-1
Let i be 0 - (2 + (-2 - 1)). Which is smaller: i or 19?
i
Let m be (4 + 36/(-8))*36. Is 0.1 != m?
True
Let z(g) be the first derivative of g**2/2 - 8*g - 1. Let b be z(8). Which is bigger: 1 or b?
1
Suppose -2*w = t + 13, 0 = 4*w + 17 + 3. Suppose -6 = -2*o - 2. Suppose 2*q - o*p + 5*p + 9 = 0, -2*q + 2*p - 4 = 0. Is q equal to t?
True
Let s(p) = p**2 - p. Let l be s(2). Let a(f) = -f - 2. Let v be a(3). Let u be (l/v)/((-3)/(-15)). Is u != -2?
False
Suppose -k = -2*w - 2 - 10, -2*w = k. Let a(p) = p**2 - 15*p + 20. Let l be a(14). Are k and l unequal?
False
Suppose 4 = i - 3. Suppose 3*p = i*p. Let o be (-6)/(-4)*(-2)/12. Is o >= p?
False
Let p = 1/551 + -14881/2204. Are -7 and p equal?
False
Let m = 12803/19 + -674. Which is greater: m or 0?
0
Let z(t) = t**2 - 6*t + 3. Let v be z(5). Let p = v - -7. Which is smaller: 4 or p?
4
Suppose 17 = 3*d - 7. Suppose 0 = 5*h - h + d. Are h and 6 unequal?
True
Suppose 5*a + 5*v + 40 = 5, -5*a - 4*v = 36. Let l(p) = p + 7. Let x be l(a). Let o be (-1)/(2*(-3)/(-8)). Is o less than x?
True
Let i be (-1)/(-2)*(1 - 1). Let t(d) = d**3 - 5*d**2 - 4*d - 14. Let z be t(6). Which is bigger: i or z?
i
Suppose -4*q - 10 = q - 4*a, -2*q - 21 = -5*a. Is q > 3?
False
Let o(p) = p**3 - p. Let h be o(0). Let y be 0 - h - (2 + -4). Let x be (-14)/6 - y/(-6). Is x > -4?
True
Suppose 0 = p - 7 - 8. Suppose p = -0*o - 5*o. Let b be (-8)/(-30)*9/o. Which is greater: -1 or b?
b
Let y = 2 + -5. Let q = 14/5 + y. Which is smaller: 1 or q?
q
Let u = 0.07 - 0.19. Let i = -17.02 - -17. Let m = u - i. Which is smaller: m or 1?
m
Let z(p) = p**2 - 9*p + 6. Let a be z(9). Let h = -7 + a. Is -6 bigger than h?
False
Suppose 2 + 5 = x + 5*m, -2*x - 5*m + 14 = 0. Let s(j) = j**2 - 6*j - 9. Let v be s(x). Let o = -1 - 1. Is o greater than or equal to v?
True
Suppose -y - 6 + 3 = -5*w, 0 = 5*w - 4*y - 12. Suppose -2*o + 0*o = 4, 5*j + 16 = -3*o. Let l be (j + 3)/(-10)*4. Are w and l unequal?
True
Let v(o) = -o**3 - 2*o**2 + 3*o - 2. Let p be v(-3). Let g be p + (135/12 - -2). Let m = 21/2 - g. Which is bigger: -1 or m?
m
Let x = 0.7 + -0.7. Is x less than or equal to -3?
False
Let p = -16 + 22. Let h = p - 8. Which is smaller: -3 or h?
-3
Let q = -4 + 8. Suppose -f - 5*n = 17, -q*f + 9*f = -3*n + 3. Let p be f/5 - 1/1. Is p at least -1?
True
Let m(v) = v**3 - 8*v**2 + 9*v - 21. Let y be m(5). Is -2/5 at least y?
True
Suppose -4*d - 1 = -13. Let i be ((-16)/6)/4*d. Is i greater than -2?
False
Suppose 3*w = 4*w - 1. Is w at least 4/11?
True
Let d be -3 + 0 + 2 + -1. Suppose -b - 3 = -0*b. Which is smaller: d or b?
b
Let d = -15 - -15.1. Is -1/2 at least d?
False
Suppose -j = j + 2. Let o be (j/(-3))/(1/9). Let d be (8/7)/(6/21). Is d at most o?
False
Let a(r) = 2*r**2 + 5*r + 3. Let k be a(-3). Let s be (-11 + 12)*k/(-22). Which is smaller: 1 or s?
s
Suppose 2*a = 5*u + 3, 4*a - u = -3*u + 18. Which is smaller: -2 or a?
-2
Suppose 20*j - 23*j - 18 = 0. Which is bigger: j or -9?
j
Suppose 4*n - 4*a + 42 = a, 5*n + 61 = 2*a. Let p = n + 7. Which is smaller: p or -5?
p
Suppose c + 7 = 6*c + 3*a, 2*a - 13 = 5*c. Let f be (-1 - (1 + -2)) + -4. Let n be (-2)/9 - f/18. Which is bigger: c or n?
n
Suppose 5*z - 35 = -3*u, z = u + 2*z - 9. Suppose 2*p + u = 1. Which is smaller: -6/5 or p?
p
Suppose 0 = -0*u - 2*u + 6. Suppose 0 = u*n - 7*n + 8. Suppose 0*r = 4*r - 16. Which is bigger: n or r?
r
Let d be (-5 + 3)/((-272)/(-10)). Let b = d - 3/17. Which is smaller: b or -1?
-1
Suppose 0 = -2*o + 4 - 2. Let c be 6/4*(-3 + o). Suppose 5*l - 4*i = -3 - 19, 8 = 2*l + 4*i. Is l bigger than c?
True
Let u be (-223)/15 + (-122)/15 + 8. Which is smaller: -2 or u?
u
Let h be 10/(-4)*(-32)/26. Let z be 12/(-52)*(-76)/6. Let m = z - h. Which is greater: m or -1?
m
Suppose 12 = -2*t - t. Let r = 6 + t. Is 2 not equal to r?
False
Suppose 3*w + 4*h = -12, h + 2 = -1. Suppose 0 = -4*i + i - 3. Which is smaller: w or i?
i
Let q be -2 - -1*4*1. Let m be 2 - (-2 + 1 + q). Let p = m - 0. Is 1/5 less than or equal to p?
True
Let d = -1.751 - -0.051. Is -2 < d?
True
Let p = -17 - -18. Let g = 1.03 - p. Which is bigger: 0.2 or g?
0.2
Suppose -3*a + 13 = -3*c + a, 4*a - 20 = -4*c. Let o be c/(-14) + 4/8. Which is bigger: 1 or o?
1
Let d be (-1)/(-4) - 34/72. Is d at most 1?
True
Let u = 1 + 0. Let l(q) = -q**3 - 7*q**2 - 5*q + 4. Let c be l(-6). Let b be c/1*(-1)/2. Is b at most u?
True
Let t(f) = -f**2 + 6*f - 4. Let z be t(3). Let g be ((-2)/(-20))/((-4)/z). Is g at least 1?
False
Suppose -m = -5*m. Let s be 8/(-8) + (1 - -1). Suppose 6 + 2 = -2*r + 3*a, 5*r + 2*a = -s. Which is smaller: m or r?
r
Let s = -18 + 13. Suppose -5*i - 10 = -5*j, -3*i - 2*j = -8*i - 1. Let u = i - s. Does u = 7?
False
Let m = 4 - 4.4. Suppose o - 6*o = 0. Let v be (-1)/(1 + 2 + o). Is v > m?
True
Let b(h) be the second derivative of h**4/12 - h**3/6 - h**2 - h. Let j be b(0). Is -3/5 greater than or equal to j?
True
Let g = -242 + 5081/21. Which is greater: -1 or g?
g
Let w = 9 - 5. Suppose 22 = 3*d - w*z, 0*d - d - 3*z + 16 = 0. Is 11 <= d?
False
Suppose 4*w - 4 = 5*j, 4*j + j - 2 = -2*w. Is 2/17 bigger than w?
False
Let x = -6 + 12. Let v(w) = 3*w - 8. Let n be v(x). Suppose d - 3*d - n = 0. Is d <= -5?
True
Let a(c) = 3*c**3 + c. Let b be a(1). Let g(m) = m - 4. Let x be g(b). Is -2 greater than or equal to x?
False
Let n = -1 + -3. Let r be (n - -5)*3/(-2). Which is bigger: -2 or r?
r
Let x(y) = -y - 4. Let d be x(-7). Suppose -d*p - 12 = 2*t + p, -3*p = 5*t + 9. Do 2/5 and t have the same value?
False
Let b = 12 + -15. Which is greater: b or 2/15?
2/15
Let w be (-2)/((-16)/30)*-4. Let z be 1/(-4) - w/(-100). Which is smaller: 0.2 or z?
z
Let b = 145/24849 + -4/251. Is 0 bigger than b?
True
Suppose -8 + 6 = -c. Suppose 0 = t - 3*d - 2, -d = 3*t + 3*d - 19. Let r = t - c. Is r != 3?
False
Suppose 0*n - n = -12. Which is smaller: 0 or n?
0
Let g = 2/117 - -1271/936. Let v = -5/4 + g. Which is bigger: v or 0?
v
Suppose 0*d = d + r - 2, -5*d - r = 2. Let z be 4/(-2) - (-8 - d). Is 3 >= z?
False
Let t = -1.48 - -1.4. Let u = t - 0.02. Do u and 5 have the same value?
False
Let u be 2/(-3)*9/(-24)*2. Is u <= -19?
False
Suppose f = -2*z + 7*z - 28, 3*f = -2*z - 33. Let d = f + 19. Let k = d - 8. Is k less than -2?
False
Suppose 0*g - d = -5*g - 13, 0 = -g - 3*d + 7. Is -10/3 equal to g?
False
Let f(k) = -2*k - 6. Let u(r) = r + 1. Let i be u(-9). Let p be f(i). Suppose -2*b = 3*b - p. Is b at least -2?
True
Let s(c) = c + 8. Let o be s(-7). Which is smaller: o or 1/11?
1/11
Let n be 4/18 - (-5756)/18. Let f = n - 2563/8. Is 0 < f?
False
Suppose q = 3*q. Are -1/3 and q non-equal?
True
Suppose -109*h + 6 = -107*h. Is 3 < h?
False
Let l(m) = -m**3 + 2*m**2 + 2*m + 1. Let g be l(-1). Let a be 6/(-24) - (-33)/4. Let z = a - 8. Which is bigger: g or z?
g
Let p(m) = 3*m**2 + 3*m + 3. Let s be p(-3). Let d = s - 22. Which is smaller: -3/17 or d?
d
Suppose l - 2 + 3 = 0. Let u(r) = r**3 + 4*r**2 - 5*r - 1. Let w be u(-5). Is l bigger than w?
False
Let r be 0/1 + (0 - (-2)/7). Let u = -15/2 - -7. Is r smaller than u?
False
Let y(z) = z**3 - 14*z**2 + 11*z - 14. Let x be y(13). Let w = x + 20. Is w at least -21?
True
Let x = 1.3 - 0.3. Which is greater: x or 1/8?
x
Suppose 0 = q - 0*q + 2*j - 94, -4*q + 376 = -j. Suppose 5*a + 4*n = q - 4, -3*a - 4*n + 62 = 0. Let d be (-3)/a - (-2)/(-7). Which is smaller: d or -1?
-1
Let r be (2/4)/(9 + 145/(-16)). Does r = -6?
False
Let b = -1.7 + 0.74. Let k = 0.04 - b. Is k <= 2/31?
False
Let b = 14 + -2. Let l = 12 - b. Which is smaller: l or -0.8?
-0.8
Let v be ((-1)/1)/((-2)/(-4)). Let t be 90/12*v/10. Is 2 at most t?
False
Let w = -19 + 11. Let s = w + 11. Is 2 at most s?
True
Suppose -q - j + 2 = q, -2*q + 2*j + 14 = 0. Let z be (-2)/q + (-2)/(-3). Are z and 0 equal?
True
Let r = -35 - -35. Is r greater than 