be w(12). Let x = 9 + b. Is 0 <= x?
True
Let i = 7 + -5. Suppose -3 = -2*k + 2*o - 1, 4 = i*o. Suppose 0 = -k*x + 2*x + 4. Is x not equal to 3?
True
Let b be (0 + -1)*0/(-4). Let z(n) = -n**2 - 10*n + 13. Let k be z(-11). Suppose -k*r - r + 3 = 0. Does r = b?
False
Let h be (-1 + 2)/(3/21). Let r = -12 + h. Let f(c) = -c**2 - 5*c - 2. Let p be f(r). Is -2 smaller than p?
False
Let z(v) be the second derivative of -v**3/6 - 3*v**2 + 2*v. Let n be z(-3). Is -3 >= n?
True
Let v(t) = t**2 + 4*t - 8. Suppose -5*s - 9 = 21. Let z be v(s). Are 5 and z unequal?
True
Let b = 0.3 + -0.31. Let i = -0.38 + 0.07. Let z = i - b. Is z equal to -0.1?
False
Let v = 7/30 + 1/10. Is -1/3 less than v?
True
Let z = -18 + 3. Is -14 at least z?
True
Let d = 1 - 1. Which is bigger: d or -4?
d
Let n = 47 + -46. Let w = -2 + 1. Is n greater than or equal to w?
True
Suppose -5 = 3*c + 31. Is 1 bigger than c?
True
Suppose -36 = -4*a + 2*a - 3*g, -32 = -a - 5*g. Let d = -13 + a. Which is smaller: -7/3 or d?
-7/3
Let l = 85/78 - 2519/1560. Let k be 3/150*(-10)/(-8). Let q = k + l. Which is greater: q or -1?
q
Let q(i) = -3*i + 33. Let b be q(13). Suppose 5*u = -y + 6*y - 5, y + 2 = 0. Let h = u - b. Is h greater than or equal to 3?
True
Let i(g) be the third derivative of g**4/12 + 4*g**3/3 - 3*g**2. Let x be i(-7). Let m be 10/35 + x/7. Which is smaller: -2 or m?
-2
Let f = 0.7 + -1.7. Let q be 3/(-12) + 10/(-24). Are f and q equal?
False
Let z = 12 - 18. Let p = -8 - z. Let h = 56 - 170/3. Are p and h nonequal?
True
Let s(j) = -j**3 - 4*j**2 + 5*j. Let n be s(-5). Let i = n + 2. Let u be ((-2)/(-8))/(i - 1). Are 0 and u unequal?
True
Suppose 0 = 2*f - 2*h + 5 - 15, -5*f + 2*h = -40. Let k = -9 + f. Does k = 1/3?
False
Let r = -0.77 - -0.834. Does 0 = r?
False
Suppose b + 16 = 5*b. Let z = -6 - -10. Is b less than z?
False
Let d be (14/21)/((-2)/3). Let b be ((-18)/189)/(1/12). Is d < b?
False
Let g be 15/(3/(0 - -3)). Suppose 4*i - b + g = -2*b, -5*i - 3*b = 10. Is i equal to -5?
True
Suppose 2*p + 6 - 2 = 0, -g = 5*p + 5. Suppose 0 = -7*b + g*b. Which is bigger: b or 1/2?
1/2
Let o(q) = -q**2 - q + 0 + 1 - q + 5*q. Let g be o(2). Suppose -x = -4*p - 4, -x - 8 = p - g*x. Is p not equal to -1?
True
Suppose 2*s - 47 = 5. Suppose 2*n = 5*t - 38, 0 = 4*t - 5*t + 5*n + s. Which is bigger: 0.1 or t?
t
Let w = 14 - 9. Let a = -6 + w. Is a >= -0.2?
False
Suppose 2*d + 18 = -d. Let r = 12 + d. Is 6 at least as big as r?
True
Suppose c - 4*u - 12 = -2*c, -5*u = c + 15. Let f(h) = -h**2 + h. Let z be f(c). Which is smaller: -2/5 or z?
-2/5
Let v(n) = -2*n + 3. Let q be v(0). Suppose 3*i = 9 + q. Which is bigger: 5 or i?
5
Let p be (188/(-36) - -2) + 3. Which is greater: -0.1 or p?
-0.1
Suppose 7 = 3*d + 16. Let y be ((-1)/2)/((-2)/(-8)). Is y less than d?
False
Let y = 3 + -2. Let d = 6 + -8. Let m be ((-4)/88)/(d/(-4)). Are m and y non-equal?
True
Let s = -93 + 96.7. Let z = s - -0.3. Let k = -6 + z. Which is greater: k or 1/3?
1/3
Let n = -0.4 - 0. Let g = -0.38 + -1.32. Let t = -1.8 - g. Which is smaller: t or n?
n
Suppose -4*j = -16, -2*u + 11 = 3*u + 4*j. Let k(a) = a**2 + 4*a - 6. Let h be k(-5). Let d be 0 - h - 10/14. Is d != u?
True
Let n = -11.7 + 13. Let w = 1.4 - n. Is 1/10 bigger than w?
False
Let n = -28/3 - -187/21. Is 0.1 at most n?
False
Let o(v) = v**3 - 11*v**2 - 12*v + 1. Let z be o(12). Do z and 1/6 have the same value?
False
Suppose 0 = -5*w - 8 - 7. Let n(s) = s**3 + 2*s**2 - 4*s. Let x be n(w). Let z(f) = f**2 - 3*f + 4. Let v be z(x). Are v and 4 nonequal?
False
Let q be 1/2 - 6/8. Let l be 3 + 4/(-14) + -3. Does l = q?
False
Let a = 9 + -6. Let h = -2 + a. Which is greater: 2/25 or h?
h
Let z = 1544 - 10810/7. Let q = 3/71 - -133/213. Is q > z?
True
Suppose -2*i + 0*i = -6. Suppose -i*q - 4 = -q. Let b be (1 + -4)/((-3)/(-2)). Does q = b?
True
Let f = -5.5 + 5. Let y = f - 3.5. Let u = -1123/35 + 159/5. Which is smaller: y or u?
y
Suppose -y - 8 = 2*h - 4, 0 = h + 2. Which is bigger: 3/49 or y?
3/49
Let t be (3 + -5)*2/(-76). Let y = t + 16/57. Which is smaller: y or -2?
-2
Let n be 0 + 1 + 0 + -1. Suppose n*d = 2*d. Let v be 3*(4/6 + 0). Do v and d have different values?
True
Let s = 107 + -89. Is s > 18?
False
Let g be 1 - (63/(-6) + -2). Let r = -161/6 + g. Let n = r + 446/33. Is 1 >= n?
True
Let j be 2/5 - 52/(-20). Let v be j + (-1)/((-4)/(-18)). Do v and -1 have the same value?
False
Suppose -5*b = -4*b - 2. Let t be ((-12)/10)/((-6)/20). Suppose t*c - 10 = -b. Is c >= 2?
True
Let i = 12 - 24. Let z be -1 + i/(-20) + 0. Is z <= -6?
False
Let c(s) = -s - 3. Let z be c(-4). Let o be -1*18/(-15) - z. Which is smaller: o or -1?
-1
Suppose 6*y + 19 + 17 = 0. Is y at most -1?
True
Let m = -7 + 11. Let o = 8 - 10.1. Let t = o - -2. Do t and m have different values?
True
Let h be -6 + 78/30 + 3. Which is greater: h or -0.6?
h
Let d(c) = 2*c - 10. Let y be d(9). Let r = 7 - y. Which is smaller: 0 or r?
r
Let a = -92/145 + 1/29. Which is smaller: -1 or a?
-1
Suppose -3*v = -4*v + 3. Suppose -v*i + 4 = i. Which is bigger: -1 or i?
i
Suppose 0 = -w + 3*l - 5 + 6, 5 = -3*w + 5*l. Let m be 1*(2 + w)/3. Suppose -2 = 2*c - c. Is m less than or equal to c?
False
Let f = 0 + 2. Let r = 0 - f. Which is greater: 0 or r?
0
Suppose k - 5*u + 61 = -3*k, 0 = -3*k + u - 32. Is -7 >= k?
True
Let l be (-2)/7 - 64/(-28). Let k be (l/16)/(3/6). Which is smaller: k or 0?
0
Let t = -3 + 4. Let x = -2 - t. Which is bigger: -1 or x?
-1
Let w = -69/44281390 - -568241325231/249038537360. Let k = w - 555/304. Let l = k + -3/37. Which is greater: l or 1?
1
Suppose 6 = 2*d - 2. Suppose -330*g + 325*g + 10 = 0. Which is smaller: g or d?
g
Suppose -4*w + 8 = 0, 2*w + 41 = -0*p - 5*p. Suppose 2*x + 5*x + 56 = 0. Which is smaller: p or x?
p
Suppose -5*j - 3*l = -20, 2*j = -0*j - 2*l + 4. Suppose v - 30 = -4*v. Is j greater than v?
True
Let z = 0 + -0.4. Let n = -0.03 + 0.33. Let j = n + z. Is j at least as big as 1?
False
Let n(s) = 4*s**2 - 8*s + 7. Let f(k) = 9*k**2 - 17*k + 15. Let z(a) = 3*f(a) - 7*n(a). Suppose v + 10 = 6*v, v = 5*o - 18. Let h be z(o). Is h < -4/5?
False
Let o = -8 - -8. Suppose o = 2*k - 8 + 4. Is -2/3 at least k?
False
Suppose 3*h + 2*c = -19, -c + 1 = -2*h - 0*c. Let t(f) = f - 3. Let p be t(h). Is p > -7?
True
Suppose 10 = 12*x - 7*x. Are 20/9 and x unequal?
True
Suppose 57 = 4*t - 19. Let l = t - 77/4. Are 2/9 and l equal?
False
Suppose a = -0*a + 4*p - 1, p - 62 = 5*a. Let o = -19 - a. Let w be o/8*(0 + 4). Which is bigger: w or -2?
-2
Let g be 4/(-14) - (-22)/(-21). Let d = 25 - 14. Suppose 3*i + d = 4*a + a, -2*i - 5*a = -1. Is g at most i?
False
Suppose -2*v - 2*f - 26 = -6*v, 3*v = -f + 7. Let n be (-4 - -3) + (-16)/(-4). Let d be (6/3)/(n/6). Is d > v?
False
Let j be 6/9 - 12/18. Let w(m) = m**3 + 3*m**2 - 2*m + 2. Let i(s) = s**3 + s**2 - s + 1. Let r(b) = -2*i(b) + w(b). Let n be r(0). Is j at most as big as n?
True
Let g be 6/4*(-4)/(-6). Let x(l) = -l**2 - 3*l - 2. Let h be x(-2). Suppose h*t = -2*t. Which is smaller: t or g?
t
Suppose -4*k - 2*f + 10 = -0*f, -3*f + 9 = 3*k. Let j be (-8 - -3)*k/5. Let l = -31 + 30. Are l and j equal?
False
Suppose -4*t + 3*t = -9. Let g = -5 + t. Which is smaller: g or 2?
2
Let t(s) = 2*s + 3. Let l be t(-2). Is 1 equal to l?
False
Let n be (-2)/11 - ((-174)/(-33) + -6). Which is smaller: 0.07 or n?
0.07
Let o = 2.1 - 2.2. Is o less than -3?
False
Let k(v) = 2*v + v**3 - 6*v**2 + 3*v + v**3 - v**3. Let u be k(5). Let t be (2*2/12)/1. Is u at least t?
False
Suppose -4*q + 20 = -3*q. Suppose -q = 9*v - 4*v. Let x = 4 - v. Which is smaller: 7 or x?
7
Let l(m) = m**2 - 10*m + 9. Let q be l(10). Let s be (-3)/q*(0 + -6). Let d be (-1)/(-2) - 1/1. Is s at most d?
False
Let m be (1/(-3))/(10/6). Let b = -11 + 11. Suppose -3 = -3*a - b*a. Which is bigger: a or m?
a
Let c(m) = 70*m**3 + 2*m**2 + 4*m + 3. Let z be c(-1). Which is smaller: z or -1?
z
Suppose 0 = -2*c + 2. Is 0 bigger than c?
False
Let a = -8 - -5. Suppose 0 = -f - 4*f - 5. Let t be f - (2/2 - 0). Is a at least as big as t?
False
Let g be (-2985)/(-12) + 9/(-12). Let z be ((-252)/g + 1)*-2. Which is smaller: -1 or z?
-1
Let j = 2 + -1.8. Let b = -204/35 + 38/7. Is b > j?
False
Let n = 20/3 + -7. Which is smaller: -1 or n?
-1
Let s be (-16)/(-56) + (-86)/7. Let