et m be w(3). Let o be (1 + 0)/(m + 10). Which is greater: -2/5 or o?
o
Let n(c) = c**2 - 4*c - 4. Let y be n(5). Is -0.06 at most as big as y?
True
Let r = -2 - -5. Suppose 0*i - 5 = -i. Let v be ((-4)/i)/((-8)/20). Which is smaller: v or r?
v
Suppose -j - 57 = -4*m - 5, -3*j - 12 = 0. Suppose 5*p + b = m, -2 = 2*p - 5*b - 23. Which is smaller: 11/4 or p?
11/4
Let a = -303 + 294. Let r = -22 + 12. Is a < r?
False
Let w = -9 - -15. Let q = w + -6. Is q bigger than 0?
False
Let f(r) = r - 4. Let t be f(-6). Which is greater: t or -11?
t
Let z = 4 - 6. Let t(l) = 5*l - 1. Let s be t(3). Suppose 3*p + 3*g = 0, -3*p + 7*p = 3*g - s. Does p = z?
True
Suppose 45 = 3*n - 0*n. Let t = 29 - 33. Let y be n/(-36) - (-1)/t. Is y > -1?
True
Let l(w) = w**3 - 7*w**2 + 3. Let f(i) = i**2 - 1. Let t(v) = -4*f(v) - l(v). Let q be t(3). Let a be (-6)/3 - q/(-1). Is 1/3 at most as big as a?
False
Suppose 0 = 5*x - 1 + 36. Let l = -2 - -2. Suppose 3*b = -2*q - 25, -b + l*q = 2*q + 15. Which is smaller: x or b?
x
Let j(y) = -y**3 + 11*y**2 - 10*y + 1. Suppose 0 = -l - 5*m + 5, 18 = -5*l + 3*m + 71. Let q be j(l). Let o = -3 + 4. Are o and q equal?
True
Let y = 11 - -5. Is 17 at most as big as y?
False
Let f = -1 + 1. Do f and 7 have different values?
True
Suppose -2*h = -6 + 4. Let n be (-1)/(-1)*-2 - h. Suppose 0 = 4*l - 8*l - 12. Is n equal to l?
True
Let o = 12880/123 + -314/3. Is o bigger than 1?
False
Let g = -11 + 20. Let j be (6/9)/(2/g). Which is bigger: 1 or j?
j
Let q be 5*1/(15/(-12)). Let v = -61 + 59. Which is bigger: q or v?
v
Let v = -6.787 + -0.013. Let l = -0.2 + v. Let d = l - -6.7. Which is smaller: 0.2 or d?
d
Suppose 2*s = r + 9, 2*r - 22 - 5 = -5*s. Let b = -4 - r. Are b and -5 non-equal?
False
Let z be 9/(-8) + 2/2. Suppose -4*f = 5 + 3. Let t be ((-6)/(-18))/(f/6). Is t smaller than z?
True
Let b = -0.958 - -0.158. Is 4 greater than or equal to b?
True
Let z = -0.8 - -0.8. Is z greater than 8?
False
Let p = 0.1 - 0.4. Do 0.2 and p have the same value?
False
Let y be (-1 - 0)/((-2)/14). Let q(n) = n**2 + 6*n + 5. Let v be q(0). Are y and v nonequal?
True
Let r be ((-2)/(-4) - 1) + 15/35. Is r bigger than -0.1?
True
Suppose -3*g + 4*g = -5*i - 4, 0 = -4*i - 16. Is g smaller than 16?
False
Let r = -1.1 - -1. Do r and -1.8 have the same value?
False
Suppose 0 = 2*i + 2*i + 12. Is -8 > i?
False
Let f be (2/3)/(10/(-12)). Let c be 7/10 - 8/4. Let h = c - f. Is h less than or equal to -2?
False
Suppose -h = -2*f + 3, -f - 4 = -2*f. Suppose 4*c = -3*r + 19, -4*r + 4 = -16. Let j be -5*(c - 2) + -1. Which is smaller: j or h?
j
Let y be (-115)/165 - 1/(-3). Is y not equal to -1?
True
Let s(k) = k**2 - 2*k + 2. Let p be 3/(-6) + 10/4. Let n be s(p). Let i be ((-4)/(-8))/(n/(-12)). Which is smaller: -2 or i?
i
Let o = -0.45 + 1.45. Which is smaller: o or 0.13?
0.13
Suppose -2*o + r - 6*r = -64, 4 = -r. Let q be 8/(-3) + 28/o. Is q > -1?
False
Suppose -3*v + 15 = 2*v. Let s(a) = -5*a**3 + 3*a**2 + 4*a + 4. Let q(k) = k**3 - k - 1. Let x(w) = 4*q(w) + s(w). Let f be x(v). Which is smaller: f or -5/6?
-5/6
Let f = 43 - 21. Suppose q = -q + f. Which is smaller: 12 or q?
q
Let g be (-2)/(-2) - (1 - 2). Let v = -3 + g. Let u be 2/(1 + 1) + -1. Which is smaller: u or v?
v
Let g(p) = -p + 14. Let i(k) = 3*k - 41. Let s(w) = -17*g(w) - 6*i(w). Let c be s(6). Is 1 > c?
False
Let z = 34 + -8. Let q be 4/z + 84/(-39). Is -6/7 <= q?
False
Let h(i) = i - 2. Let k be h(-2). Let n(c) = -2*c + 4. Let f be n(4). Are f and k equal?
True
Let l(q) = 3*q**3 - 2*q**2 + q. Let k be l(1). Which is smaller: 12 or k?
k
Let o be (-2)/((-32)/(-4))*-2. Which is bigger: 5 or o?
5
Let c = -519/7 + 74. Which is smaller: 1 or c?
c
Let b(o) = 57*o**3 + o**2 + 2*o + 1. Suppose -5*z - 5 = -0. Let n be b(z). Let a be (n/(-27) + -2)/(-1). Are a and 0 non-equal?
True
Let g(l) = 2*l**3 + l**2 + 2*l + 5. Let s be g(-4). Let a = s - -803/7. Let o be (2/9)/((-2)/6). Does a = o?
False
Let y(w) = -w + 1. Let a be y(-4). Suppose -2*z + 11 = -a. Let s be z/6*9/42. Which is bigger: -1 or s?
s
Let q = -2.7 - -0.7. Let x = 0.06 + 0.94. Are q and x unequal?
True
Let f be 14/10 + 1*-1. Let m = 1/10 + f. Let d = 57 - 56.8. Is d less than or equal to m?
True
Let b = 29 - 17. Let l be (-13)/11 - b/(-66). Is 4/9 equal to l?
False
Let d(s) = -s**3 + 7*s**2 - 2*s + 11. Let q be d(7). Which is smaller: q or -12/5?
q
Let r = 214 + -209.96. Let w = r - 4. Which is greater: w or 2/5?
2/5
Let h = 45 - 45. Which is smaller: h or -4/13?
-4/13
Let a be (-1 - (-56)/55)/(-1). Let v = a - 213/385. Which is smaller: -1 or v?
-1
Let z = 13 + -13.7. Let j = -0.3 + z. Let g = -32 + 97/3. Which is bigger: j or g?
g
Let l = -0.02 + 0.05. Let b = 2.6 + -2.5. Is l > b?
False
Let m be -6 + (1/1 - 1). Let q = m + 25/4. Let l(o) = -o**2 + 7*o - 6. Let h be l(6). Which is smaller: h or q?
h
Let m(x) = x**2 + 16*x + 31. Let r be m(-13). Is r < -10?
False
Suppose 24 = -3*d - 3*i, -4*d + 5*i = -0*i - 4. Let l be 3 + -8 - (1 - 2). Is d < l?
False
Let b = 8 + -6. Let i = 2.1 + -1.9. Is b > i?
True
Let i = 18 + -17.9. Which is smaller: -2/21 or i?
-2/21
Let o = -5 - -5. Let v = o + 0.8. Let b = 1 - v. Which is smaller: 1/4 or b?
b
Let r = 52 + -43. Do r and 6 have the same value?
False
Let g = -7 + 4. Let f = g - 4. Let s = -8 - f. Is 1 at least as big as s?
True
Let z be (10 - 14)*38/4. Which is smaller: -37 or z?
z
Let h(f) = f + 2 + 3 + f. Let w be h(-8). Let t = w + 8. Is -3 != t?
False
Suppose 0 = -g - 0 + 4. Suppose 0 = -g*u - 5*t - 12, 0*t = -2*u - 4*t. Is u greater than -9?
True
Let q = 47 - 74. Let o be (-1 + q/(-21))*1. Which is smaller: 0 or o?
0
Let b = 0.3 - 0.4. Let k = b - 0. Let q = -8 - -8. Which is bigger: q or k?
q
Let p = -27 + 28.3. Let k = 0.9 - 1.8. Let x = p + k. Do -0.2 and x have different values?
True
Let u(p) = -49*p - 2. Let j be u(-2). Let n be 6/15 - j/255. Does -1 = n?
False
Let q = 1.27 + 1.53. Is q not equal to -1?
True
Let g(d) = 2*d**2 + 5*d - 2. Let r be g(-4). Suppose v + 5 = 0, 5*m + 0*m + 2*v + r = 0. Suppose m*x = x. Which is smaller: 1 or x?
x
Let y be (-1 - 0)/(0 - -1). Let m be 148 + 2/(1*-2). Let r = 732/5 - m. Which is smaller: r or y?
y
Let i = 12 - 6. Which is bigger: -3 or i?
i
Let c = -9 + 13. Let w be 5/(10/3)*c. Which is smaller: w or 8?
w
Let m = 7 + -8. Let x = -6/25 + -4/25. Is x greater than or equal to m?
True
Suppose 0 = -3*l - 2*r - 17, 4*l - 5*r = -3*r - 4. Is -7/2 > l?
False
Let s be (-2)/4*(1 + -1). Let v be (22/33)/((-4)/6). Which is smaller: s or v?
v
Let a = 0 - -0.1. Let t = 0.8 + -0.3. Let g = t + -0.5. Which is greater: g or a?
a
Let y = -11.21 - -0.21. Let x = -15 - y. Let c = x - -4. Which is greater: 4/5 or c?
4/5
Let b(w) be the second derivative of w**3/3 + 2*w**2 - 2*w. Let s be b(-4). Let m = -3 - s. Which is smaller: 2/7 or m?
2/7
Let u(y) = -y - 6. Let c be u(-5). Let o = -6.5 + 5. Let m = o - -1.7. Which is greater: m or c?
m
Let w(g) = -g + 1. Let z be w(3). Suppose 10 = 6*i - i. Suppose 3*y - 5*s + 15 = -i*y, -5*y = -3*s + 13. Is y equal to z?
True
Suppose 0 = -3*k + h + 314, 2*k - 3*h = -2*h + 209. Suppose -k = 4*t + t. Which is bigger: 0.1 or t?
0.1
Let l be (-196)/(-16) - (-3)/(-12). Let d(m) = -11*m**3 + 2*m**2 + m. Let o be d(-1). Is o <= l?
True
Suppose -3*j - 5*y + 5 = -7*j, 2*j - 4 = -4*y. Let r = 285/1603 - 8880086/24045. Let v = r + 369. Which is smaller: v or j?
v
Suppose -4*x + 7 - 1 = 2*y, 3*x - 5*y - 24 = 0. Let h = -4 + x. Let n be h + 3/(-39)*-11. Do n and 0 have the same value?
False
Suppose 1 = -5*c - r, -4*r = -2*c + 2 + 2. Let q = -10/53 + 176/371. Is c less than or equal to q?
True
Let u be (-7 + 4)/(6/(-4)). Let w be (-7)/(-14)*0/u. Do w and -5/7 have different values?
True
Suppose v = 5*u - 3 - 19, 0 = 2*u - 3*v - 1. Suppose 8*l = -5*t + 4*l, -3*l = u*t. Which is smaller: t or -1/5?
-1/5
Let h be (-20)/(-5) - 50/11. Do 0 and h have the same value?
False
Let w(b) = -6*b**3 + 2*b + 1. Let k be w(-1). Suppose -q - k = 4*q. Let u = 22/5 + -4. Which is bigger: q or u?
u
Let o = -43 - 40. Let p = o - -579/7. Is p >= 1?
False
Let b(u) = u. Let f(y) = -3*y + 2. Let s(j) = -4*b(j) - f(j). Let q be s(0). Is q less than 2/7?
True
Suppose 8*v = 5*v - 57. Let s = v - -18. Is s bigger than 2/7?
False
Let p = -32523 + 228527/7. Let c = 125 - p. Is