(0). Let s = i - -5. Suppose -3*z - 5*j = 8 + 8, -4*z = -j - 17. Is s != z?
False
Suppose -y = -5*s - 72, -y + 48 = -0*y + 3*s. Let t = -31 + y. Let p be (-74)/t + 2 + 1. Is p bigger than 1?
False
Let a = 1 + 0. Suppose -q + 3*q = -240. Let w be ((-2)/5)/(88/q). Is w > a?
False
Suppose 0 = -3*z - 4*s - 6 + 22, -20 = 5*z - 5*s. Suppose 0*o - 5*o + f = -4, z = -2*o + 5*f + 20. Let i = 1 - -1. Is o less than or equal to i?
True
Let g = -311 - -10577/34. Let a = -19/170 - g. Suppose 2*q = 4*t - q - 2, 4 = -2*t - q. Is a > t?
True
Suppose 0 = -c + 12 - 2. Let t be (8/c)/(6/(-15)). Let z be t + (-3)/(-6)*4. Which is bigger: -1/4 or z?
z
Let b(f) = 2*f**2 - 37*f - 17. Let n be b(19). Is n >= 17/12?
True
Let t(j) = -j**2 + 5*j + 7. Let a be t(6). Let h be (-1 - 0)/(3/(-18)). Suppose 0 = -4*y + 2 + h. Which is greater: y or a?
y
Let c be ((-4)/9)/(4/1870). Let y = -208 - c. Let d be 0 + 2 + -1 + 0. Is d bigger than y?
True
Let a = 75 - 79. Which is greater: a or 3/5?
3/5
Let z be 1 + 3 + (-2 - -2). Let w = 17 - 11. Let b be z/(-13)*3/w. Is b at least -1?
True
Suppose -2*z = -o - 6, 0*o + 2*z + 24 = -4*o. Let l be o/12*(-484)/6. Let i = -40 + l. Is 0 equal to i?
False
Suppose 2*w = -4*p - 10, -2*w + 5*p + 11 = -5*w. Suppose w*b = -4*t - 55, 3*t + 2*b + 0*b = -40. Let q be t/(-4)*8/20. Is q at least as big as 1?
True
Suppose 6*x - 9*x = -9. Is 3 equal to x?
True
Let b(c) = c**3 + 3*c**2 + 3*c + 10. Let p be b(-4). Which is smaller: -24 or p?
-24
Let x = 0.1 - 1.1. Let z = -1/9 + -5/9. Which is smaller: x or z?
x
Let a = -20 - -20. Which is greater: 1 or a?
1
Suppose -2 - 1 = -3*o. Let x be 1 + o - (-7)/(-4). Is x greater than or equal to 1/8?
True
Let l be 8/(-140) - 1/7. Let a = -25 + 49/2. Which is bigger: a or l?
l
Let a = 5 + -4. Let n = -1/64 + 73/576. Is a at most as big as n?
False
Suppose -6*m = -2*m - 4*w, 3*m = 2*w + 1. Let f be 1/(-2)*m/2. Is f smaller than -1?
False
Let n = -2722 + 19014/7. Let j = n + 6. Is j equal to 1?
False
Let h = 112 - 106. Is -13 not equal to h?
True
Let z(p) = p**2 - 9*p + 11. Let r be z(5). Which is greater: r or -31/3?
r
Suppose -4*y + 7 = -13. Is y less than 9/2?
False
Let q be 4*(1 + 29/(-32)). Let h = -7 + 5. Let a be (0*1/h)/2. Which is bigger: a or q?
q
Let q(x) = -x**2 + 20*x - 33. Let d be q(15). Is 42 > d?
False
Let c be 58/(-440) + (-4)/(-22). Is c bigger than 0?
True
Let q = 1 + 0. Which is bigger: -2/9 or q?
q
Let k = -17 + 18. Let w = 68 + -44. Let d be w/(-10) - (-4)/2. Which is greater: k or d?
k
Let t(x) = -x + 7. Let n be t(5). Suppose -j = -12*j + 22. Is j bigger than n?
False
Let z(m) = -m**3 + 16*m**2 - 1. Let d be z(16). Do d and 0 have the same value?
False
Let v = -4 + -7. Is v greater than or equal to -12?
True
Let h be (0/(-1 - -4))/1. Suppose l - 3*u + 7 + 3 = h, -u = 3*l. Which is greater: l or 0.1?
0.1
Suppose -4*a - 28 = 4. Let z be ((-1)/14)/(a + 7). Which is smaller: 0 or z?
0
Let j = -1 + -2.6. Let b = -0.6 - j. Let s = 1 + b. Which is smaller: s or 2/3?
2/3
Suppose 0*b = -b + 6. Let o = -39 - -43. Which is bigger: b or o?
b
Let l be 0/((-2)/(-1)) + 11. Let x = l - 8. Suppose 0*n + 12 = 4*p - n, 2*p + 2*n + 4 = 0. Is x != p?
True
Suppose -3*u - 20 + 5 = 0. Let k be (446/(-10))/((-12)/15). Let i = 56 - k. Are i and u non-equal?
True
Suppose t + 1 + 4 = 2*y, -7 = 5*t - 4*y. Let c be 0 + 1 - 0 - 1. Does t = c?
False
Let c be 2/(-1 + -1 + 0). Suppose 3*k + 2*k = 0. Suppose -2*d = -4*r - 5*d + 1, k = 5*r - 4*d + 22. Is c != r?
True
Suppose -c + 10 - 25 = 0. Is -0.1 less than or equal to c?
False
Let j(v) = 13*v**2 - 2*v - 4. Let a be j(-2). Is 52 bigger than a?
False
Let w = 42 - 21. Let r = -22.2 + w. Which is smaller: r or -1?
r
Let k be (-1 - -1) + 20 + -23. Is -4 smaller than k?
True
Let d = 11 - 9. Let q(k) = k**2 - 3*k + 2. Let y be q(2). Suppose y = -5*v + 5*t + 40, v - 3*t - 28 = 2*t. Which is bigger: d or v?
v
Let c = 0 + 22. Suppose 6*g - 8*g - c = 0. Are g and -11 equal?
True
Let d be 14/7 - (6 + -1). Let r be -1 + d + 2 + 2. Are r and 1/4 equal?
False
Let p(c) be the third derivative of -c**5/60 - c**4/8 - c**3/2 - 6*c**2. Let f be p(-2). Are f and 1 equal?
False
Suppose 0 = t + 3*j - 13, -4*t - t = 3*j - 5. Which is smaller: t or -18/13?
t
Let f be 1/2*4/(-8). Which is greater: 2/7 or f?
2/7
Let c be (3/4)/(17/(-8)). Suppose -5*t - 3*t = -24*t. Do c and t have the same value?
False
Let l = -29 + 21. Let z = -8.3 - l. Let j = -1.3 - z. Which is smaller: j or 1/4?
j
Let f be ((-8)/(-10))/(81/45). Let j = -3 - -4. Which is bigger: j or f?
j
Let r = 1 - -10. Let c = r + -11.8. Let l = c - -0.84. Which is smaller: -1 or l?
-1
Suppose -2*o + 0*o = -2. Let v be 141/(-120) - o/(-4). Let q = v - -9/8. Is q at least as big as -1?
True
Let s be (-96)/(-165) - 4/10. Let q = -11/7 - -85/63. Which is bigger: q or s?
s
Let y be (4 - 5)/(-1 + 0). Which is bigger: y or -3/7?
y
Let o be (1 + (-45)/50)*2. Which is smaller: -2/15 or o?
-2/15
Let y be (3654/(-14651))/(6/(-4)). Let a = y - 2/161. Is a at least 2/5?
False
Let b(y) = -12*y - 4. Let j be b(-4). Are j and 43 non-equal?
True
Let k = 10 + -11.1. Let z = 6 - 6.1. Let q = z - k. Is q greater than or equal to -1/2?
True
Let z = 1525/4 + -416. Let i = 35 + z. Does i = 1?
False
Let o(a) = -a**3 - 5*a**2 + 4. Let j be o(-5). Suppose -1 = -3*n - j. Let y = -0.9 - 0.1. Are n and y equal?
True
Let x(q) = q**2 - q. Let g be x(-3). Is 12 smaller than g?
False
Let b(t) = t**2 + t - 1. Let c be b(0). Is c greater than -0.027?
False
Let t(l) = -l**2 - 13*l + 3. Let w be t(-13). Do w and 5/3 have different values?
True
Let v(l) = l + 13. Let j be v(-8). Suppose 7*s - 6 = j*s. Is s > 4?
False
Suppose -3*l - 7 = -4*r - 0, -4*r - 4*l = 0. Suppose 0*i - 24 = 2*i. Let f be 3/4*(-4)/i. Which is smaller: f or r?
f
Let s be ((-12)/(-15))/((-9)/5). Let j = -49 + 48. Is j bigger than s?
False
Let q = 2 - 2.7. Let n = 0.5 + q. Let h be ((-1)/(-2))/((-5)/(-20)). Which is smaller: h or n?
n
Suppose 4 = 2*p + 2*g, -11 = -3*p - g - 3. Let i = -4 + p. Let o = 3 + -4. Is o < i?
False
Let u = 68 + -118. Let p be 4 + (3 - u/(-7)). Which is smaller: p or 0?
p
Let i = -1.9 - -2. Is i >= 2/21?
True
Let l = -6 + 4. Let i = l - -4. Suppose -1 = -f - i. Is f at least 0.2?
False
Suppose 0*l + l - 3*t = -92, 4*l + 402 = -5*t. Let y = -688/7 - l. Let u = -4.88 + -0.12. Which is smaller: y or u?
u
Suppose o - a - 5 = -2*a, -o + 5*a + 5 = 0. Which is smaller: o or 1?
1
Let q be 4/((-4)/(-583)) - 1. Let i be 2/(-9) + q/(-54). Is i smaller than -10?
True
Let r = -11 + 7. Let m = r + 3.8. Let c = -0.3 - m. Which is smaller: -2 or c?
-2
Let m(c) = c**3 + 3*c**2 - 4*c + 5. Let f be m(-4). Suppose f*q - q + 4 = 0. Which is bigger: q or 1/3?
1/3
Let y = 8 + -10. Let k be 5/(65/(-28)) - y. Do 0 and k have the same value?
False
Let f = 14 + -13. Is f smaller than 0?
False
Suppose -4*i - n + 2 = -5*i, -5*i = -3*n + 4. Let b be (5 - i)/(2/(-4)). Let u(v) = v + 4. Let t be u(b). Is -4 equal to t?
True
Let j = 0.3 + -0.2. Let v = 16.02 - 0.02. Let l = 15.8 - v. Which is greater: l or j?
j
Let d be 10*1*(-3)/(-3). Let n = -7 + d. Let w be (-2 + 2)/((-3)/n). Are -1 and w equal?
False
Suppose 4*b + 12 = -2*l, l - 3*l - 12 = -3*b. Let r(w) = w**3 - 4*w**2 + 4*w - 2. Let x be r(2). Let n be 35/(-15) + x/l. Is n less than -3?
False
Suppose -2*v + 2 = -3*v. Let l be 2 + (-4 + 3 - v). Which is bigger: 2 or l?
l
Let t = 3/14 - 251/126. Are -3 and t non-equal?
True
Let w = -5.67 + 5.8. Which is smaller: 0 or w?
0
Let p = 0.6 - -16.4. Are -3 and p non-equal?
True
Let r = -10 + 15. Let m = 1 - r. Let q = m - -7. Which is greater: q or 0.1?
q
Suppose -5*b + 2*b - 6 = 0. Let j = b - -2. Suppose -3 = -6*g + 3. Which is greater: g or j?
g
Let i = -1 + 5. Suppose 5*q = i*q. Which is smaller: -1 or q?
-1
Let m(x) = x**3 + x**2 - x + 5. Let v be m(0). Suppose 0 = 2*j + 3*b + v, 2*j - 4*b = -0 + 2. Let g be (1 - 1)/j*1. Is g > 2/5?
False
Let a be (-4)/(-1) + 57/(-19). Suppose -3*n - 20 = 2*k + 29, a = -2*n + 5*k. Which is smaller: n or -0.1?
n
Suppose -5*d + 107 + 7 = -3*s, -82 = -3*d - 5*s. Let f be (-14)/d - (-1)/4. Is f at least 0?
False
Let h = -6 - -10. Let o be (h - 4) + (1 - -3). Suppose o = -5*y + 3*y. Is -3/2 at least y?
True
Let p(s) = s**2 + 8*s - 18. Let z be p(-9). Do z and -9 have the same value?