3*i - 206. Let w be ((-4)/i)/(5/(-15)). Do w and -1 have the same value?
False
Let f(y) = 2*y**2 - 4*y - 1. Let j be f(2). Which is bigger: -10/47 or j?
-10/47
Let s = -33 - -35. Do s and 3 have the same value?
False
Let t = -0.3 - -0.2. Suppose -7*y = -2*y, -2 = 2*u - 2*y. Is t smaller than u?
False
Suppose 10*l = 5*l. Suppose 5*p = 3*t + 25, l = t - 5*p + 18 + 7. Is t bigger than -0.1?
True
Let k be (-4 - 1 - -4) + 12. Which is smaller: k or 12?
k
Let x be ((-1)/(-1))/(1/3). Suppose -x*r = -r - 40. Let y be 2/8 - 1/r. Which is greater: -0.1 or y?
y
Let j = 20 - 18. Let o(b) be the third derivative of b**4/8 - b**3/6 + b**2. Let y be o(1). Is y at most as big as j?
True
Let q = 40 + -42. Do q and 3/4 have the same value?
False
Let f = 88/5 + -493/28. Let h = -11/28 + f. Is 2/5 > h?
True
Suppose 0 = 2*r - r + 4. Let h be (-10)/12 + 3/18. Is h <= r?
False
Suppose 4*m = 20 + 12. Let b be 1/(-10)*m/(-2). Which is greater: 0 or b?
b
Suppose 4*o + o = -5. Let z = 63 + -318/5. Which is bigger: z or o?
z
Let z = 12 - 8. Let r(x) = x**2 - 3*x - 7. Let j be r(5). Is z less than or equal to j?
False
Suppose -2*i = 4*c - 108, -5*c - i = 4*i - 135. Is c less than 27?
False
Let w(y) = -y**2 + 7*y + 8. Let k be w(8). Suppose k = -f + 6*f + 30. Which is greater: f or -5?
-5
Let t(b) = b**3 + b. Let m be t(-1). Let f = m - -3. Let n = 1.5 - 0.5. Is n greater than f?
False
Let z be (-5)/(-8)*30/375. Are z and 1 non-equal?
True
Let h be (-5)/20 + 15/(-4). Let r be ((-752)/92)/(-2) + h. Is -1 > r?
False
Let n be 6/(-21) - (-4)/7. Let f be 2/(-4) + (-340)/(-8). Let v be ((-2)/4)/(7/f). Is n at most v?
False
Let z = 46 + -47. Which is smaller: -12/5 or z?
-12/5
Let v(l) = l - 3. Let s be v(5). Suppose 0*u = s*u + 4. Is u <= -3?
False
Let x = 14.9 - 16. Let k = -1 - x. Let y = -0.49 - -0.79. Is k bigger than y?
False
Suppose 0 = 2*a + 26 + 74. Let b = 103/2 + a. Let v be (-1)/(2/(-4)) - 1. Which is smaller: v or b?
v
Suppose a + 3*a - 4 = 0. Let q = -97 + 98. Does q = a?
True
Let u = 55/2 + -601/22. Let c(s) = s - 5. Let v(y) = -y. Let j be v(-6). Let k be c(j). Do u and k have different values?
True
Let i be ((-93)/(-33) - 3)*(2 - 0). Which is greater: 0 or i?
0
Let q be 93/15 + 3/(-15). Let b be q/2 - 103/35. Let j(r) = -r**3 + 6*r**2. Let o be j(6). Which is smaller: o or b?
o
Suppose 2*l - 8 + 0 = 0. Suppose -4*w - 4 = 2*t, 0 = -w - 5*t + 2*t + l. Is w < 1?
True
Let f(g) = 5*g**3 - g**2 + g - 1. Let y be f(1). Suppose -4*r + x - 20 = -9*r, -x - 5 = 0. Is y greater than or equal to r?
False
Suppose -5*m - 3 = -8. Let b = 2/33 + 3/11. Which is smaller: b or m?
b
Let y be -2*1 + 260/120. Suppose 0 = 3*r + 2*r - 5. Which is bigger: y or r?
r
Let u(j) = 21*j + 1. Let y be u(1). Let l be y/(-24) + (-8)/(-12). Is -1 >= l?
False
Let y be ((-12)/5958)/(1/(-3)). Is y not equal to 0?
True
Let v = -18.4 + 20. Let x = -1.8 + v. Is -10 at least as big as x?
False
Suppose -5*u + 0*u + 40 = 0. Suppose -u = 3*q + q. Let d(z) = -3*z**3 - z**2 + 2*z - 1. Let c be d(1). Is c greater than q?
False
Suppose 5*t + 4 = 3*t. Let d be (0 - -1)*t/6. Which is smaller: d or 2/3?
d
Suppose 1 + 1 = 2*x. Let v be 1/(-3) - (-35)/(-21). Which is smaller: x or v?
v
Suppose -2*g - 4 = 0, i - 2*g - 14 = 3*i. Is i smaller than -3?
True
Let f = -1.4 + 15.4. Let s = f - 13.8. Is -0.04 at most s?
True
Let g(m) = m + 11. Let q be g(-8). Suppose 0 = -2*b + f, 6*f - 11 = -q*b + 2*f. Is b < 1/2?
False
Let l be ((-2)/(-92))/((-1)/(-2)). Let g = -53/161 + l. Suppose 2*h = 6*h. Which is smaller: h or g?
g
Let o(r) = r**3 - 6*r**2 + r - 6. Let p be o(6). Let d(j) = 3*j + 4. Let v be d(-2). Let m be -2 + ((-6)/(-16) - v). Which is bigger: p or m?
m
Let i = -6/167 + 3716/1169. Which is smaller: i or 2?
2
Suppose -2 - 2 = d - 3*i, d + 5*i = -4. Let s = -2 - d. Suppose -v = -s*v. Is v > 2/25?
False
Let q = 0.06 + -0.03. Is 2/5 <= q?
False
Suppose -2*t = 2*a, 0 = -3*a + t + 3*t + 35. Suppose -4*o + a*p = 23 - 8, 2*o + 3 = p. Which is smaller: 1/3 or o?
o
Let q = -9 - -83/9. Are q and -1 equal?
False
Let t = -17.2 - -14. Let m = t + 3.1. Let r = -5.99 - 0.01. Are r and m nonequal?
True
Let x = 3.75 + 1.25. Which is greater: x or 8?
8
Suppose 2*d + 6 = 0, 0 = 2*y - y - 5*d - 12. Let g = -0.08 - -0.08. Let r = g - -0.1. Which is greater: r or y?
r
Suppose -6*k + 11*k = 20. Which is smaller: k or 5?
k
Let x be 4/3*12/(-56). Let r be 6/3 - (0 + 2). Which is smaller: x or r?
x
Suppose 9*t + 18 = 4*t + 2*c, 5*t + 25 = -5*c. Let v be t + 1 + (-658)/(-218). Is v at most as big as 0?
False
Let i(k) = k**2. Let g(b) = b**3 + 4*b**2 + 2*b - 1. Let q be g(-2). Let h = q - 3. Let n be i(h). Is 1 less than n?
False
Suppose -4*j + n = 1, 5*j = -2*n + 6*n + 7. Let c = 2 - j. Suppose i + 2*i = -c. Which is greater: 1 or i?
1
Let z be (-1)/(-1)*(0 + 1). Suppose -f = 5*x + 13, -x + 0 = 2*f - z. Are f and 2 nonequal?
False
Let o = -0.6 - -0.8. Which is greater: o or 4?
4
Let f(g) = g - 1. Let p be f(1). Let q = -2032 - -6167/3. Let v = 24 - q. Are v and p equal?
False
Let t = -22 + 21.8. Which is smaller: -0.4 or t?
-0.4
Let q(l) = l**3 - 5*l**2 - 6. Let d be q(5). Let a(r) = r + 1. Let i(t) = -t - 2. Let w(m) = 4*a(m) + 5*i(m). Let f be w(d). Which is smaller: f or -2?
-2
Let v = 4 - 3. Suppose 2*s + 4*z = 18, -5*z + 15 = 4*s - 9. Let q be s - (-2 + 3 + -1). Do q and v have different values?
False
Let n = -0.4 + 1.1. Let h = -0.3 - n. Let s = 4 + -3. Which is smaller: h or s?
h
Let v = 6 + -3. Let y = 5 + -2. Let i = v - y. Which is smaller: 1 or i?
i
Suppose -y + 3 - 4 = 0, 0 = -w - y + 3. Suppose 5*l - 2*v - 10 = 0, -2*v - 2*v + 40 = 5*l. Is l smaller than w?
False
Let p = -0.27 - -3.67. Let q = -0.6 - p. Let x = 4.1 + q. Is x at least -3?
True
Let b = -1174 - -18777/16. Which is bigger: 0 or b?
0
Suppose k + k - 4 = 0. Suppose z + 9 = -k*z. Let w = -2 - z. Does 2 = w?
False
Suppose -5*p + 5 = 2*z, 6 = -2*z + 4*p - 16. Which is smaller: z or -11/3?
z
Let y(k) = k**2 - 12*k + 6. Let s be y(9). Let h = s + 13. Let w be (-3 - 23/h)*-2. Is w < 1?
True
Let s = 144/7 - 7906/385. Is 1 equal to s?
False
Let o = 30 + -27. Is -4 less than o?
True
Let n = -1 + 0.8. Let t = 3 - 2.92. Let g = -1.08 + t. Is g at most n?
True
Let x = -11 - -23. Suppose -y + x = 2*y. Suppose 21 = -4*o + 5*s, 0 = -y*o - 5*s + 29. Which is bigger: o or -1?
o
Let c = 79/3 + -27. Let q(n) = -n**3 - 4*n**2 - 3*n + 2. Let m be q(-3). Suppose -i - m*i = 0. Which is greater: i or c?
i
Let v = -28 - -20. Which is bigger: v or -7?
-7
Let h(q) = 4*q**2 - 1. Let r be h(1). Suppose 0 = 3*v - r - 3. Suppose -3*f + 27 = 5*n - 0*f, -5*f + 23 = n. Is n less than v?
False
Suppose -6*i - 45 = -11*i. Which is bigger: 10 or i?
10
Suppose -2 = 4*l - 6. Which is smaller: l or -2/17?
-2/17
Let m(v) = -v**2 + 14*v + 17. Let l be m(15). Suppose 0 = -l*u + 4. Let x = 120 - 596/5. Which is smaller: u or x?
x
Let d = 5 - -1. Suppose -d = t - 0*t. Let h be (8/t)/(3*-2). Is 1 greater than or equal to h?
True
Let x = 1.97 - 2. Let z = -0.37 + x. Let u = z - -1.4. Which is smaller: u or -2/5?
-2/5
Let h = 4 - -8. Let p be (20/175)/(h/14). Which is smaller: p or 2?
p
Let x = -3 + 11. Let z = x - 7. Let u be -4*(-1)/30*-3. Is u >= z?
False
Let r(m) = -m - 9. Let n be r(-10). Is 0.18 greater than n?
False
Let c(s) = -s - 5. Let h(g) = g - 5. Let r be h(0). Let o be c(r). Do o and -1 have the same value?
False
Suppose 2*d + 3*d = -10. Suppose -3*y - c = -2*c, 10 = y + 3*c. Let j be (-2 - -1)/y - 1. Is d >= j?
True
Let f = 15 - 33/2. Is -1 at least as big as f?
True
Let i = -3.26 - -0.26. Let n = -4 - -1. Is i at most n?
True
Let m be 3 - 1 - 96/56. Is m < -0.2?
False
Let d be (1 - 1) + (-1208)/(-9). Let s(p) = 134*p**2 - p - 1. Let j be s(-1). Let o = d - j. Which is smaller: o or 1?
o
Suppose 2*l - 3*s + 60 = 12, 0 = -5*l + 2*s - 120. Let v be 1/(-2*(-3)/(-102)). Let q = l - v. Is q less than -6?
True
Suppose 0 = 4*k - 69 + 21. Let c(o) = o**2 + 4*o. Let s be c(-6). Is k bigger than s?
False
Suppose -w + 5*g - 24 = -2*w, -3*g + 11 = 4*w. Let y(u) be the second derivative of u**3/6 - u**2 + 4*u. Let k be y(3). Which is smaller: k or w?
w
Let k = 1685503/18645 - -1/3729. Let s = -91 + k. Is -1 < s?
True
Suppose w - 4*w = -4*t + 7, 0 = -w - 4*t + 3. Which is smaller: w or -1/4?
w
Let p = 112 + -113