9/(-9))/((-1)/3). Suppose 0*o - u = 2*y + 3*o, -9 = 3*y + o. Is y equal to -3?
False
Let r = 18.9 - 19. Is -0.1 at most as big as r?
True
Let w = 2.6 + -2.6. Do 1/3 and w have different values?
True
Suppose -7*i + 462 = -126. Is i at least as big as 83?
True
Let c = -40.34 + 40. Let g = -0.04 - c. Is 2/9 >= g?
False
Suppose 4*n - 72 = -3*w + n, -3*w - 5*n + 66 = 0. Let m be 0*3*3/w. Which is smaller: 2/27 or m?
m
Suppose -5*c + 4*m - 70 = m, 0 = c + 4*m - 9. Which is smaller: -12 or c?
-12
Let b be ((-4)/(-10))/(1/5). Let x(u) = -u + 2. Let c be x(2). Suppose 2*w - 4*w = -g - b, c = -3*g. Which is smaller: 3/2 or w?
w
Let d(s) = -s**3 + 14*s**2 - 2. Let k be d(14). Is k less than -1?
True
Let p be (6/(-63))/((-6)/(-9)). Which is smaller: p or 1?
p
Let m be (117/52)/((-3)/7) + 1. Do -4 and m have different values?
True
Suppose -4*q + 6 = -2*q. Suppose -5*o - q = 17. Let k = o + 3. Which is bigger: -2 or k?
k
Let m(a) = -a**2 - 6*a - 6. Let f be m(-5). Let k be 2/4*(-2 + -12). Let z = -9 - k. Is z <= f?
True
Let s be ((-1)/3)/((-1)/21). Is s greater than 7?
False
Suppose -5*x + 7 = -4*w - 9, 5*w + 20 = -3*x. Suppose -4*a = -5*s + 2*s - 19, 5*a + s = x. Does -1/12 = a?
False
Let b be (1/(-10))/((-5)/10). Which is bigger: b or -19?
b
Let a be 2/(-6)*-3 - 22. Is -22 at most a?
True
Let v(k) = -k**2 + 3*k. Let y be v(1). Which is smaller: 3 or y?
y
Let w(s) = 2*s**2 - 10*s - 10. Let l(c) = -c**2 + 5*c + 5. Let b(i) = 5*l(i) + 2*w(i). Suppose 3 = m - 2, -3*m + 27 = 2*o. Let p be b(o). Is p smaller than -2?
False
Suppose 0*l = 2*l - 14. Suppose -u = -4*x + 14, -2*u + 5 = 2*x - l. Is u less than 1/2?
False
Let q be 112/(-11) - 2/(-11). Let b be 3/2 - (-11)/q. Let g(s) = -s**3 - 6*s**2 + 2*s + 9. Let a be g(-6). Is b bigger than a?
True
Suppose -2*n - 46 = -2*m, -2*n = -0*n - 5*m + 52. Let s be 36/(-8)*2/n. Does 0.1 = s?
False
Let b(c) = -c**3 + 10*c**2 - 8*c - 5. Let y be b(9). Let q = -7 + 16. Suppose -y*w + 6 = -2*d, -4*w - 3*d - q = -0*d. Which is smaller: w or 1?
w
Let n(h) = 6 + 0*h**2 - 5*h + h**2 + 5*h**3 - 7*h**3. Let d be n(-5). Let b = -3368/11 + d. Which is bigger: 0 or b?
0
Let h(d) be the first derivative of d**4/4 + 7*d**3/3 + 4*d + 1. Let k be h(-7). Suppose -3*t - z = -8, 11 = k*t + 4*z - 13. Is t smaller than 3?
True
Let z = 5 - 2. Let d = 3.2 - z. Is -4 at most d?
True
Suppose 4*f = -4*s + 8, s - 3*f + f = -10. Let y = 3 - 3. Let r be y - -1 - (-4)/(-3). Is r at most as big as s?
False
Let l(j) = -j**2 - 6*j - 5. Suppose -3*o = 17 - 5. Let b be l(o). Let q(w) = w**3 + 3*w**2 + 2*w + 2. Let h be q(-2). Is h < b?
True
Let a(f) = 2*f**2 + 3*f. Let x be a(-2). Suppose 5*k = 3*k - x. Let d = 72 + -218/3. Is k at most as big as d?
True
Let j be 2/(20/19) + -2. Is j at least 0?
False
Let s be (-2)/7 - (-208)/(-56). Which is bigger: -3 or s?
-3
Let o = 3 - 3. Is -6/11 at least as big as o?
False
Suppose 0 = -4*y - 0*y + 8. Suppose 7*q - 2*m + y = 2*q, 0 = 4*q + 4*m + 24. Let d = 10 + -10. Which is bigger: d or q?
d
Let t = 6 + -8. Let m be 18/(-48)*(-8)/6. Is t less than m?
True
Let w = 17 + -12. Suppose 0*d = -w*d. Let g be (-8)/(-12)*(1 + d). Which is smaller: -1 or g?
-1
Suppose -5*x = 2*j - 7, -3*x + x + 10 = 2*j. Suppose -30 = -4*o + 4*s - j*s, -4*o + s + 21 = 0. Is o at most as big as 5?
False
Let z be 1 - (-9)/(-14)*-208. Let q = 135 - z. Let x = 0 - q. Which is smaller: -1 or x?
-1
Let l = -23 - -16. Are l and -7 unequal?
False
Let u(a) = -a**3 + 18*a**2 - 31*a - 20. Let k be u(16). Are k and -3 non-equal?
True
Suppose -2 - 10 = 4*s. Let h be s/2 - (-27)/30. Let m = 1 + -3. Which is smaller: h or m?
m
Let l = 0.54 + -0.5. Let z = l - 4.04. Let k = z + 5. Which is greater: -2/11 or k?
k
Let i = 5 - 3. Let m = -0.003 + -2.297. Let z = -0.3 - m. Is z bigger than i?
False
Let b(w) = 2*w + 23. Let h be b(-11). Are h and 1/16 non-equal?
True
Let q be (-1)/(-1)*-1 + 94. Let w = q - 1207/13. Which is smaller: -1 or w?
-1
Let v(d) = d. Let z be v(2). Suppose 2*a - z + 7 = -s, 4*a = 3*s - 15. Let n = 0.1 - 0.2. Which is greater: s or n?
s
Let n = 2 - 2. Suppose -2*y = 2*o - 10, -4*y = -o + 6*o - 20. Suppose o = 5*s - 3*s. Is s at least as big as n?
True
Suppose -z = -3*z - 12. Let c be (z/(-3) + -1)*-1. Which is bigger: c or -2/11?
-2/11
Let r = 0.6 + -1. Let h = -0.11 + -2.89. Let m = h + 3. Is m greater than or equal to r?
True
Let h(t) = t**3 - 13*t**2 - 12*t - 28. Let g be h(14). Is g < 4/17?
True
Suppose 4*o - 292 = 280. Let z be 28/(-154) + (-18)/o. Is z bigger than -1?
True
Suppose 15*y = 10*y. Are -2/47 and y equal?
False
Let s be (9/12)/((-1)/(-8)). Let f be (-7)/21 + 2/s. Are 1/2 and f nonequal?
True
Let b be 8 - (1 + 2 + 0). Suppose 0 = b*s - c + 4*c + 14, 0 = 5*s + 4*c + 12. Are s and -5 unequal?
True
Let o = -2447/6568 - 2/821. Which is greater: o or 4?
4
Let i = -9.7 + 10. Let q = -2.9 - -3. Which is greater: i or q?
i
Let m be 1*(0 + -7)*(2 - 1). Let f be 0 + -9 + (-1 - -2). Is m > f?
True
Let w = 0.121 - -8.059. Let n = -0.18 + w. Does n = 0?
False
Let j = 21 - 67. Are -48 and j unequal?
True
Let i(n) = 7*n**2 - 2. Let o be i(0). Which is smaller: o or -12/23?
o
Let s(r) = -5*r**3 + 2*r**2 + 6*r - 5. Let y be s(3). Which is smaller: y or -105?
-105
Suppose 0 = -m + p - 5*p + 17, 5*p = 4*m + 16. Let l be (6/9)/(1/1). Which is greater: l or m?
m
Suppose 0 = 3*u - 2*u + 1, 0 = a + u. Let n = 11.9 - 0.9. Let j = n - 9. Which is bigger: a or j?
j
Let x = -7203/19 - -379. Let u be -1*(5 + (-5 - -1)). Is x <= u?
False
Let l = -3720/13 - -286. Which is greater: 0 or l?
0
Suppose 4*l + 18 = -3*q, 3*l = -2*q - q - 15. Let i be (-1)/(-1 + (-4)/(-6)). Let c = q + i. Is c <= 1/6?
False
Suppose 3*o + 13 = 5*s - 29, 2*s - 22 = -4*o. Let q = s + -11. Is -2 <= q?
True
Let h = 68 - 72. Let j be 2/(-7) + (-36)/21. Which is bigger: h or j?
j
Let j(h) = h**2 - 5*h + 6. Let g be ((-3)/(-2))/(21/56). Let v be j(g). Suppose -3*c = -v*c. Which is greater: 2/3 or c?
2/3
Let z(m) = 6*m + 11. Let x(a) = a. Let c(b) = 5*x(b) - z(b). Let k(j) = 2*j + 30. Let h be k(-20). Let i be c(h). Which is smaller: i or 1/3?
i
Let d = 0.044 + -0.144. Is d at least 0.033?
False
Let l = 21 - 21.1. Which is bigger: l or 8/3?
8/3
Suppose 5*u - 3*f - 4 = 0, -1 = -4*u + 5*f + 10. Which is greater: 4 or u?
4
Let k be (-6 - -7)/((-159)/6). Which is smaller: 1 or k?
k
Let i(p) = 5*p - 8. Let s be i(3). Is s less than 11/2?
False
Let s = 115 - 114. Is s > 2/109?
True
Let x = 11 - 7. Let k(y) = -6 + 12*y - y + 0 - y**2. Let h be k(10). Is x less than or equal to h?
True
Let q be -1 + 1 + (-57 - 3). Let g = 239/4 + q. Let x(z) = -z**2 - 6*z - 5. Let c be x(-5). Which is smaller: g or c?
g
Let i be (-4)/(-6) - (-8)/(-15). Suppose 7*o = 2*o - 5. Is i at most as big as o?
False
Suppose 2*w = 5*a - 9, 18 = 2*a + w + 3*w. Let j be (2/a)/(-2)*70. Let p = j + 23. Which is greater: -1 or p?
p
Suppose -5*n + 7 = 2. Let c = 6 - n. Suppose c*f + 4 = f. Is -1 less than f?
False
Let n be ((-64)/10)/(4/30). Let o = n + 145/3. Let f = -0.943 - -0.343. Is f greater than o?
False
Let t be 3/(15/(-2))*25. Is t < -11?
False
Let m = -2 + 5. Suppose 3*w = 0, -m*w + 6 - 3 = -s. Let j = -2 - s. Which is bigger: j or -1?
j
Let c(v) be the second derivative of -v**3/3 - 3*v**2/2 + 2*v. Let x be c(-4). Suppose -2*j = -0*n + x*n + 19, 2*j - 8 = 4*n. Is -3 less than or equal to j?
True
Let w = -5 + 2. Is w smaller than -4?
False
Let x be 12/(-78) + (-93)/(-13). Let k = x - 4. Which is greater: 2 or k?
k
Suppose 0 = i + 3*u - 17, 16 = -2*i - 0*u + 4*u. Suppose 3*g = -c - 16, -2*g - 2*g - i*c = 24. Let h be ((-3)/g)/(20/(-16)). Is 0 <= h?
False
Let v be (4/(-6))/((-2)/(-3)). Let b(j) = j**3 - 4*j**2 + 2*j + 2. Let t be b(2). Let r = v + t. Is -3 at most r?
True
Let c be 27/(-21)*(-6)/9. Is 1 < c?
False
Let x(k) = k. Let z be x(-3). Suppose 3 - 1 = -2*h + y, 4*h + 20 = -2*y. Is h bigger than z?
False
Suppose -55 = -5*p - q, -3*p + 2*q + 20 = -0*q. Let r(j) = j - 9. Let s be r(p). Let z = 1 + s. Is z < 2?
False
Let x = -2 + 1. Suppose -y + z + 46 = 6*z, 3*y + 4*z = 160. Let n = -281/5 + y. Is x at most as big as n?
True
Let p be (-12)/(-36) - (-5)/(-27). Which is bigger: p or 0?
p
Let q be (60/9)/(14/63). Suppose 5*r = -k - 31, 2*r - 4*k + 8 = -0. Let w be 9/5 - r/q. Are w and 2 non-equal?
False
Let r = -8 +