ve the same value?
False
Suppose 5*a - 20 = -0*l - 5*l, 0 = 2*l - 4. Are -6 and a non-equal?
True
Let i be (0 - 2)*4/(-8). Let y(m) = -m + 1. Let a be y(i). Are 4/13 and a equal?
False
Let l(r) = r - 2. Let m be l(-3). Let u be -35 - -1 - (-2 + -1). Let o = -37 - u. Which is smaller: m or o?
o
Suppose -17 = -7*h - 38. Which is bigger: h or 8/7?
8/7
Let d = 0.46 + -0.26. Which is bigger: d or -2/7?
d
Let x(n) be the second derivative of -n**4/12 + 4*n**3/3 - n**2 - 6*n. Let o be x(8). Let g = -3 - -1. Is g at most o?
True
Let o(c) = c + 9. Let k be o(0). Let q be (-6)/k + (-20)/6. Which is bigger: -5/2 or q?
-5/2
Suppose 0 = 3*b, h + 0*h = -2*b + 3. Is 5/2 > h?
False
Let d(o) = o**2 - 4*o + 1. Let z be d(4). Let g = -1 + z. Which is smaller: g or 4?
g
Suppose 0 = 3*o + 4 + 8. Let r be ((-20)/8)/(2/o). Let l = r - 3. Is l less than 2?
False
Suppose -3*z - 3*h = 0, -z + h + 10 = -3*h. Suppose z*n = -3*n - 20. Which is greater: n or -8/3?
-8/3
Let d(j) = j**2 + 2*j - 1. Let r be d(3). Suppose 2*s - r + 4 = 0. Suppose -s*u = -u + 4. Is 2/7 >= u?
True
Suppose -4*k + 5*k + 3 = 0. Is -1 greater than k?
True
Let a = -1 - 1. Let v be a*1*2/(-4). Let k = v - 1. Which is greater: 1 or k?
1
Let c = -6 + 7. Suppose -3*t - 11 - c = 0. Let p = t - -7. Is p less than or equal to 3?
True
Suppose -c + 9 = -0*c. Are c and 10 equal?
False
Let o(x) = 2*x + 5. Let i be o(-3). Suppose -3 = 3*g + 3. Does i = g?
False
Let j be (-2 + -1)/3 - 1. Let t be 3/(-5) - 36/15. Does t = j?
False
Let v be (5 + (-1 - -2))/10. Which is smaller: 1 or v?
v
Suppose a = -10 - 2. Is -14 greater than or equal to a?
False
Let h = 3748/15 - 250. Let q be 3/(-7) - (-8)/(-14). Is h greater than or equal to q?
True
Let u(j) = -j**3 + j**2 + j. Let g(w) = -5*w**3 + 8*w**2 + 6*w - 2. Let m(b) = -g(b) + 6*u(b). Let k = 14 - 16. Let x be m(k). Which is smaller: 7/6 or x?
7/6
Let u(i) = -i**3 + 12*i**2 - 7*i + 4. Let q be u(8). Suppose 5*s + q = -236. Let y be 2/(-5) - s/270. Which is greater: y or 1?
1
Let g = 14 - 14.01. Let d = g - 0.19. Let a be 1/(-2) - 22/(-28). Which is smaller: d or a?
d
Let i(z) = 16*z + 4. Let j be i(2). Let m be (-16)/(-9) - (-8)/j. Which is smaller: m or 6/5?
6/5
Let p = -14 + 8. Let q = p - -7. Let k = 20/9 + -166/99. Is q greater than k?
True
Let m be 3 + -2 - 7605/(-33). Let j = m + -232. Which is smaller: -2 or j?
-2
Suppose 2*t - 2*i + 0*i = 54, -3*i + 129 = 4*t. Is t <= 28?
False
Suppose -48 = -k - 3*k. Let j be (6/(-4))/((-9)/k). Which is smaller: j or 3?
j
Let o = 21 - 15. Is 6 greater than o?
False
Let b(p) = p**3 - 9*p**2 + p - 5. Let i be b(9). Let o(m) = -m - 3. Suppose -3*t + 30 = -8*t. Let q be o(t). Is i >= q?
True
Let y = -1091/45 - -119/5. Let i(q) = q**3 - 8*q**2 + 15*q - 9. Let b be i(6). Let x(v) = v**3 - 8*v**2 - 9*v. Let r be x(b). Which is smaller: y or r?
y
Let t = 23 + -18. Suppose 7*b - t*b = -10. Let u(c) = c**2 - 6*c - 5. Let g be u(6). Is g at most b?
True
Let k = -2894/117 - -224/9. Let c = 4 + -3. Which is greater: c or k?
c
Suppose 2*u + k - 8 = 0, 0 = -5*u + u + 3*k - 4. Suppose h = 1 - u. Does h = -1?
True
Let f be 5*(12/(-5) + 2). Let d be f/(0 + (3 - 2)). Let o(m) = -m - 1. Let k be o(1). Is d > k?
False
Suppose -k = -2*k + 3*c + 24, -14 = -k + c. Is k less than or equal to 0.2?
False
Let a be 890*6/(-27) + -1. Let i = a + 199. Which is greater: i or -1?
i
Suppose 5*n - 6*n + 1 = 0. Let q be n - 4 - (-291)/96. Is q at most as big as 1?
True
Let h be (0 - 1)*2/(-10). Suppose -6 + 2 = 4*u. Which is greater: u or h?
h
Suppose 0*r + 2*r = 0. Let u = -106 - -105. Is u > r?
False
Let w be (-4)/2 + (-25)/(-10). Which is bigger: 0.16 or w?
w
Let i = 0.1 - 0.11. Let z = i + 0.21. Is z > -1?
True
Let g be (1/((-8)/(-12)))/6. Which is greater: -2/3 or g?
g
Let m(z) = 5*z - 11. Let g be m(2). Is 4/23 not equal to g?
True
Let j(v) = 2*v**2 - v**2 - 4*v - 8*v + 2*v - 12. Let k be j(11). Are -2/17 and k nonequal?
True
Let g(a) = a**2 - 7*a + 6. Let r be g(5). Let c(h) = h**3 + 4*h**2 + 2*h + 5. Let v be c(r). Which is bigger: -5 or v?
v
Let h = -1.112 - -0.112. Which is smaller: h or 28?
h
Let q = -4 + 4. Let x = q + -0.1. Which is smaller: x or 0.05?
x
Let q = 13 + -13. Suppose -w = -q*w - 3. Suppose 3*o - h - 9 = 0, -3*h + 2 - 7 = 2*o. Is o > w?
False
Suppose -4*l + 7*l - 21 = 0. Let t(f) = f**3 - 8*f**2 + 7*f + 2. Let i be t(l). Is 1 at least as big as i?
False
Suppose h - 13 - 7 = 0. Suppose -2 + 14 = -3*j, -w + 4*j = -h. Suppose 1 = 2*d - 4*d - i, -2*d + i + 5 = 0. Which is bigger: d or w?
w
Let m be 0 - 1/(1/(-11)). Suppose 0 = -4*h - 9 - m. Let z = 1268 - 3803/3. Is h > z?
False
Suppose -101*f = -102*f - 69. Which is smaller: -68 or f?
f
Suppose 0 = -4*p - c + 32, 1 = 2*p + 5*c + 3. Let z = -20 - -14. Let b = p + z. Do b and 3 have different values?
False
Suppose 0 = 4*u + 13 - 33. Let x = u - 5. Is x at most 0?
True
Let g be 2 + 12/9 - (-3 + 7). Is g < -13?
False
Suppose a - 16 = -17. Which is bigger: -4 or a?
a
Let r = -19 + 20. Is r <= 1?
True
Let a = 6 + -2. Let h be (0/(-1))/(-2 - -1). Suppose -a*o + 13 = -d, h*o - 19 = 3*o + 5*d. Which is smaller: o or 0?
0
Let p(i) = -i**2 - 6*i - 6. Let g(v) = 2*v + 4. Let o be g(-4). Let d be p(o). Suppose 5*y + 0*y = -10, -4*j - d*y = 0. Which is greater: j or -1/6?
j
Let r be 8 + (8 + -4)/(-1). Which is bigger: 5 or r?
5
Let z = -242/7 - -1661/28. Let j = z - 203/8. Do j and 0 have different values?
True
Suppose -45 = -8*k + 3*k. Is 7 bigger than k?
False
Let b be (4 - 2)/(4/(-2)). Which is bigger: -4/9 or b?
-4/9
Suppose -5 = y + 4*y, 5 = 3*f - 2*y. Let p be 124/(-30) - (15 + -19). Which is smaller: f or p?
p
Suppose -4*n - 7 + 11 = 0. Suppose -2*z - 5*k = 3, -4*z - z + 42 = -4*k. Suppose -b - y + 4 = z, -5*y - 17 = -2*b. Is n <= b?
True
Let h = -20 - -45. Is 25 > h?
False
Let f be (-2)/(-1 + 3) + -5. Let i(r) = -5*r - 9. Let j(t) = 4*t + 8. Let g(m) = f*j(m) - 5*i(m). Let s be g(0). Is -3/2 at most as big as s?
False
Let o = -0.09 + 0.19. Let n be (44/(-10))/(8/(-20)). Is o greater than n?
False
Let d be (-2)/(-35)*(-4300)/48. Let b = -29/6 - d. Let z = 0.2 - 0.2. Does b = z?
False
Let f = -2 - -3. Let i(u) = u**3 - 6*u**2 + 5*u + 1. Suppose -3*s + 6*s - 15 = 0. Let r be i(s). Are r and f nonequal?
False
Suppose -10 = -4*g + 66. Suppose 5*p - 6 = g. Which is bigger: p or 6?
6
Let s be 4 - (6 + (-8)/(-4)). Is s > -8/3?
False
Let y = 18 - 13. Suppose 15 = 2*z + 5, 5*n - 20 = -4*z. Is n less than y?
True
Let s = -27 - -27. Let g(a) = 4*a - 9. Let w(b) = 11*b - 26. Let d(i) = -8*g(i) + 3*w(i). Let u be d(5). Which is bigger: u or s?
s
Suppose -9*q + 10*q = 5. Suppose -l - 13 + q = 0. Which is greater: l or -6?
-6
Let t(a) be the third derivative of a**6/120 + a**5/60 + a**3 + 8*a**2. Let p be t(0). Which is greater: p or 5?
p
Let k = -35 - -42. Is 0.2 != k?
True
Let f(d) = -d**3 - 6*d**2 + 3. Let u be f(-6). Suppose -u*s - 3*o = s - 10, 2*s + 3*o - 8 = 0. Let r = 9/8 - 65/72. Is s less than or equal to r?
False
Let i be (12 - 12) + 1/(-8). Suppose 0 = 5*r - 0 + 5. Which is smaller: i or r?
r
Let k(h) = -h**3 - 6*h**2 - 5*h - 1. Let g = -2 - 3. Let m be k(g). Is m != 1/16?
True
Let z = 103.9 - 104. Which is bigger: z or 2/13?
2/13
Suppose -6*j + 2*j = -44. Is 10 at most as big as j?
True
Let n(p) = 2*p - 19. Let z be n(9). Which is smaller: -3 or z?
-3
Let i = -2.05 - -0.06. Let l = -0.01 + i. Which is smaller: -5 or l?
-5
Let t(k) = -k**3 + 9*k**2 - 6*k - 11. Let c be t(8). Suppose -c*p + 6 = -7*p. Do -0.2 and p have the same value?
False
Let i = 0.2 - 0. Let f = i + -0.5. Let m = -4 - -3.9. Is f less than or equal to m?
True
Let z = 2.057 - 0.057. Is z greater than or equal to 2?
True
Let g = 2054/1749 - 40/33. Which is bigger: -1 or g?
g
Let g be (18/8)/(2/(-8)). Let y(p) = p + 11. Let w be y(g). Suppose -5*u - 8 = w*o, -5*o + 0*o - 5*u = 5. Which is smaller: o or -2/15?
-2/15
Suppose 2 = 3*c + c - n, -4*c = n + 2. Let j = -18 - -3. Let q be ((-12)/10)/(66/j). Are c and q equal?
False
Suppose -4*q - 2*c + 14 = 0, 0*c + 2*c = 3*q. Suppose -4*r - w + 7 + 1 = 0, 0 = q*r + 3*w - 4. Which is smaller: 3 or r?
r
Let o be (-20)/(-14) + (0 - 2) + 0. Which is smaller: -2 or o?
-2
Let b = 1.8 - -0.2. Let y = b - 1. Let n(w) = w**3 - w + 2. Let v be n(0). Is y at most as big as v?
True
Let k = -137/536 -