False
Let y be (1/1)/(-1 + 0). Suppose d - 5*d = 3*u - 4, d = 5*u + 1. Suppose -3*l - 5*v + 10 = 0, u*l + 8 = 2*l + 4*v. Is l at least as big as y?
True
Suppose -3*c = -6 - 0. Let d = 4 - -1. Suppose 0*p - 2*p = -2, -d*l = 5*p - 5. Is c < l?
False
Let u(w) = 3*w + 1. Let i be u(-1). Suppose 3 = -5*h - 12. Which is bigger: h or i?
i
Let o(q) = -q**3 + 4*q**2 - 4*q + 2. Let c be o(2). Let w = -1 + c. Let p be (-2 + -2 + 3)/w. Is p bigger than 2/7?
False
Let f = -0.5 - -0.8. Let t = -0.2 + f. Let c be (-5)/30*(-1 - 2). Which is smaller: t or c?
t
Let f = -0.03 - 2.97. Is f smaller than -4?
False
Suppose 2*x - 7 = 3, -10 = -5*w + 4*x. Let k(y) = 2*y + 43. Let r be k(-18). Is w >= r?
False
Let i(v) = -6*v - 1. Let u be i(-2). Suppose -2*w = -d + 2*d - 1, 2*w = 3*d - u. Let t be 2 + (-8)/(-2)*w. Which is smaller: -1 or t?
t
Suppose u + 4 = 3. Let m be (-21)/(-12)*(0 + -1). Which is smaller: m or u?
m
Let g(a) be the third derivative of -a**6/60 - a**5/30 + a**4/8 + a**3/2 - 4*a**2. Let l be g(-3). Let m = -91/3 + l. Which is greater: m or 0?
0
Let f be 2/2*1*-1. Suppose -2*x = 4*w - 0*x + 28, 0 = 2*w + 4*x + 20. Which is greater: f or w?
f
Let t = 0 + -2. Let v be (t - 1*-2)/(-1). Let u = 0.34 - 0.44. Is v <= u?
False
Suppose -z - 2*z = 0. Let u(q) = 3*q**2 - 25*q - 18. Let t(w) = w**2 - 8*w - 6. Let n(i) = 7*t(i) - 2*u(i). Let s be n(7). Which is smaller: s or z?
z
Let r = -1 + 1. Let f = -3 + 4. Let b = f - r. Is b > 0.1?
True
Let f = 141 + -143. Let x(l) = l + 2. Let y be x(-6). Which is bigger: y or f?
f
Suppose -2*i = -i + 8. Is 2/3 greater than i?
True
Let n = 55/118 - -2/59. Which is bigger: 0 or n?
n
Let g = 18 - 20. Let r be g/((-1 - 0) + -7). Which is greater: 1 or r?
1
Suppose -3*c + 4*c - 2 = 0. Suppose 7 = 4*u + h, -c*h + h + 3 = 0. Let l = 127 + -637/5. Is l != u?
True
Suppose 2*c = -7 + 19. Which is bigger: 5 or c?
c
Let i be 20/(-6)*24/(-20). Suppose 6 = -5*l + 2*l, -5*q + 2*l + 34 = 0. Let y = i - q. Which is bigger: y or -1?
-1
Let y = 5 + -13. Is y smaller than 2/3?
True
Let b = -2 - -1. Let h be (-3)/9 - (-8)/(-12). Is h < b?
False
Let y be 6/(-5)*(-1)/(-2). Suppose -k + 5*x - 12 = 0, 0 = -2*k - x + 14 + 6. Let o(d) = -2*d**2 + 16*d - 1. Let c be o(k). Which is smaller: c or y?
c
Let r be 2/(-8) - (-10)/(-24). Suppose -4*c + 32 = 4*v, -c - 16 = -4*v - v. Suppose 12 = 2*s + 4*z, -v*s = -2*s + 3*z - 8. Which is bigger: r or s?
r
Suppose 12 + 0 = 4*p. Which is smaller: 6 or p?
p
Let x be (5 - 9)/(3 + 15/(-6)). Which is greater: -5 or x?
-5
Suppose 2*a + 7 = -5*g, 3*a + 3*g + 0*g - 3 = 0. Is a equal to 5?
False
Let t be 7/(147/(-54))*-7. Let h be ((-2)/6)/(6/t). Let d be 4/15*(-25)/10. Is h < d?
True
Let a be 5/10 - (-14)/4. Let x be (1/2)/(-2 + a). Is x at least as big as 0?
True
Suppose -2*y - y - 4*a - 6 = 0, -3*y - 5*a - 3 = 0. Let f be (8/3)/(2/12). Suppose 5*w - w = -f. Which is smaller: y or w?
y
Let z be (56/(-42))/((-2)/45). Do 31 and z have the same value?
False
Let y(t) = -t + 1. Let n(k) = -2*k + 1. Let a(g) = 3*n(g) - 2*y(g). Let c be a(2). Let p = 11 + c. Which is bigger: p or 3?
p
Suppose 3*m - 8*m = 0, 5*x - 3*m + 25 = 0. Let w = -2 - 4. Which is greater: x or w?
x
Let r = -0.15 - -6.15. Let b = r + -6. Which is smaller: b or 2/5?
b
Let n(y) be the second derivative of -y**5/20 - y**4/4 - y**3/2 - y**2/2 - 3*y. Let s be n(-2). Is 3/7 >= s?
False
Let m = -25 + 26. Is -1 >= m?
False
Let c(b) = b - 2. Let p be c(4). Let r be ((-8)/(-84)*-6)/(12/(-14)). Which is smaller: p or r?
r
Suppose 3*y = -5*u + u + 3, -3*u = -5*y + 34. Let v = y + 0. Is v bigger than 4?
True
Let g be (-1985)/12 + 2/4. Let d = 165 + g. Let l = -5/6 + d. Is l not equal to -1?
True
Let a(f) = f + 6. Let s be a(-5). Let t be (-1)/s - 10/(-9). Is t less than 1?
True
Let d be (4 - 5) + (-2)/4. Let c(g) = g**2 + 9*g + 5. Let y be c(-8). Which is smaller: y or d?
y
Let t(w) = -w**2 + w. Let g be t(2). Let p be ((-8)/g)/(-2) - -1. Is p bigger than 0?
False
Let j = 3 - 3. Suppose 5*p + 3*m + 14 = -0*m, 3*p - 5*m - 12 = j. Let t(g) = -g - 5. Let u be t(-3). Is u < p?
True
Let o be ((-12)/(-10))/((-4)/(-30)). Let m be 1/(-5) - o/5. Is m < -1?
True
Let q(b) = b**3 - 6*b**2 - 6*b - 1. Let g be q(7). Let j be (-1)/(-2) - g/(-4). Let z(d) = d**3 - 4*d**2 - 5*d + 1. Let v be z(5). Is v > j?
False
Let c = -3 - -3. Suppose c = 5*b - 2*r - 3 - 2, 3*b - 17 = 4*r. Let t = 1/118 - -229/826. Is b bigger than t?
False
Let o(u) = -u - 7. Let y be o(6). Let b = 18 + y. Is 4 < b?
True
Let b = 0.06 - 3.06. Let z = -3.09 - b. Let t = -0.06 - z. Which is bigger: 0 or t?
t
Let t be ((-391)/34)/((-2)/4). Is t less than 24?
True
Let r = -145.79 - -146. Which is smaller: r or 0.1?
0.1
Suppose 2*o = -3*t + t + 2, 5*o - 3*t + 3 = 0. Is o at least as big as 0?
True
Suppose 2*r + 5*o = -0*r - 25, 5*r = 3*o + 15. Let j be -7 + 10 + (-19)/7. Is j equal to r?
False
Let l = 36 - 33. Is l != 2?
True
Let y be (-8)/12 + (-8)/(-3). Suppose 0 = -y*c - 0 - 4, 4*q = 5*c + 22. Let r(u) = u**2 - u - 4. Let l be r(3). Which is bigger: q or l?
q
Let v = -146/15 - -52/5. Let h = -6.3 - -6. Which is smaller: v or h?
h
Let m = 0.63 - 0.03. Let b = m - 0.1. Which is smaller: b or 0?
0
Suppose -3*u + 15 = -0*u. Let y be (-6)/(-21) - (-2)/(-7). Suppose -u = 4*r - 3*x, -r = -y*r - 5*x - 3. Is r bigger than -2?
False
Let t = -2133 + 53337/25. Let m = -22/25 + t. Which is bigger: 2/7 or m?
2/7
Suppose -25*g = -21*g + 4. Which is smaller: -2 or g?
-2
Suppose -5*m = -43 + 128. Which is smaller: -16 or m?
m
Let p = 90 - 90.41. Is p < 1?
True
Suppose -2*l = -7*l + v - 322, 0 = 5*v - 10. Let k = 321/5 + l. Which is smaller: 0 or k?
0
Let n = -6 - -10. Suppose 21 = n*z - 2*j - j, z - j - 5 = 0. Let d be ((-4)/z)/(4 - 2). Which is greater: d or 0?
0
Let a = 10329/4 + -2550. Let p = a + -33. Suppose -6*w + 3*w - 3 = 0. Are w and p equal?
False
Let s = -502 + 504.01. Let h = s + -0.01. Is h at most as big as 1/3?
False
Let y = -0.2 - -1.2. Let a be (1/2)/(5/30). Let s be (33/(-44))/(a/2). Is y >= s?
True
Let n = 4/9 - 1/9. Suppose -6*a + a = 0. Suppose 2*p + c = -a - 2, p + 15 = -4*c. Is p != n?
True
Let r = -34 + 35. Does -11 = r?
False
Let h = -2 - -3. Let r = h - 0. Let l = 0 + 0. Is l bigger than r?
False
Suppose 3*o = 4*o. Suppose -x + 4 - 5 = o. Is -1 bigger than x?
False
Let o be (2/3)/(2/(-3)). Let r = 1 + o. Which is smaller: r or 2/7?
r
Let y(c) = c**3 - 3*c**2 - 2*c + 4. Let w be y(4). Let b be (-15)/w*(-2)/5. Which is smaller: 2/5 or b?
2/5
Let d = -3 + 6. Let z be (-7)/(21/(-2))*12. Suppose -z + 0 = -2*o. Is o less than or equal to d?
False
Let w = 4.45 - 0.25. Let q = w - 4. Which is smaller: q or -0.1?
-0.1
Let h be (-2 + -3 + 8)*-1. Which is smaller: h or -14/9?
h
Let s be 8/(-18) + 0/2. Let g = 7 + -8. Do g and s have different values?
True
Suppose 0 = -3*k + 9*k. Which is smaller: k or -9/7?
-9/7
Suppose 0 = g - 9 + 8. Is g <= 15?
True
Let p = -48 - -241/5. Is p not equal to 0?
True
Let y = -18 + 19. Which is bigger: 0.2 or y?
y
Suppose 4*l + 4*r - 8 = 0, -3*l - 3 = 5*r - 13. Suppose 5*m = -2*x - l*x + 110, 5*m + 5*x = 95. Let k be ((-1)/(-3))/(2/m). Which is greater: 2 or k?
k
Let t(i) = -i**3 - 8*i**2 - 8*i. Let g be t(-7). Let r be (g/(-2))/((-1)/(-2)). Is -6 not equal to r?
True
Let y be 9/(-12)*(-1)/2. Is y at least -1?
True
Suppose 5*y = 55 + 5. Which is smaller: y or 13?
y
Suppose 1 = -2*o + 3*o - k, -6 = 3*k. Let i = 11/102 + 1/17. Does o = i?
False
Let q be 16/8 - 2/(-1). Let o = q + -4. Which is bigger: -1/5 or o?
o
Suppose -4*s + 16 = 4*b, -5*s - 28 = -b - 2*b. Suppose t - 3*t = -b. Let h be (t/10)/((-1)/2). Is h not equal to -1?
True
Suppose 3*t - 4*h - 21 = -2*h, -t + 20 = -5*h. Suppose 0 = -t*d - 10. Are d and -3 equal?
False
Let w(x) = -x - 7. Let v be w(-7). Which is bigger: v or -3?
v
Let b = 5 - 4.7. Let y = -0.7 + 0.3. Let q = b + y. Which is smaller: q or -2/7?
-2/7
Suppose 2*d + 2 - 6 = 0. Let v be (d - 76/40)*-2. Are v and 2 nonequal?
True
Let u be (12/(-10))/(15/(-100)). Suppose l - 6 = 2*v - 2, u = -4*v - l. Suppose 5*s - 2*s = 0. Is v bigger than s?
False
Let s = 10 + -21. Let a = 11 + s. Is 0 bigger than a?
False
Suppose -5*i + 3*y - 35 = -2*y, 0 = 4*i - y + 22. Let g = i + 4. Which is greater: -5 or g?
g
Let c = -0.26 - -0.36. Let x = -1.9 + 2. Is x greater than c?
Fals