, -11 = p - d*n. Which is smaller: p or 8/9?
8/9
Suppose -3*n - 6 = -0*n. Let d(y) = y**3 - 4*y**2 - 7*y + 2. Let o be d(5). Let r be 15/(-12) + n/o. Which is smaller: -1/4 or r?
r
Let u = -9 + 13. Suppose 4 + u = -4*l. Which is greater: -3/4 or l?
-3/4
Let s(i) = -2*i**2 + 1. Suppose m + 4*m + 5 = 0. Let l be s(m). Suppose -3 = -w + 4*w. Is l bigger than w?
False
Let i = 28 - 39. Let s = i - -13. Is s smaller than 2?
False
Let w = 0.1 - 0.3. Is w > 1?
False
Let f be 1/(-4 + (-302)/(-4)). Which is bigger: f or 1?
1
Let a(n) be the second derivative of -n**3/6 - 9*n**2/2 - 2*n. Let x = -15 - -8. Let m be a(x). Is m not equal to -2?
False
Suppose 0 = 3*m + m - 20. Suppose d - m - 15 = 0. Let o be 2/(-3)*(-15)/d. Is 1 smaller than o?
False
Let d = -0.02 - -3.02. Let g = -11 + 9. Is g > d?
False
Let t be (-3 - -2)*1/(-1). Suppose 9*u - 10*u - t = 0. Is u < -1?
False
Let d = 1.2 + -1. Let h = d + -0.2. Let t = -0.1 - h. Do t and -3 have the same value?
False
Suppose 0 = -4*p - 0*p + 8. Suppose 5*f - 6 + 1 = 0. Is p at least as big as f?
True
Let u(z) = -2*z - 1 - 2 - 3. Let r be u(-4). Which is smaller: 1 or r?
1
Let c = -173 + 172. Which is smaller: 4/9 or c?
c
Let l(x) = x**3 - 11*x**2 - 9*x - 19. Let p be l(12). Is p equal to 19?
False
Let c be 256/312 - (-4)/(-6). Which is smaller: c or 1?
c
Suppose -4*d - 141 + 13 = 0. Let j = 33 + d. Let p be (-7)/(-4) + (-2)/(-8). Which is greater: j or p?
p
Let u(y) = y**2 + 5. Let l be u(0). Suppose -5*p - 14 = -l*i + 26, -2*p = -5*i + 49. Do 11 and i have the same value?
True
Let l = 5 - 0. Which is smaller: 4 or l?
4
Let x(h) = -h**3 + 6*h**2 - 6*h + 5. Let m be (-3)/(-3)*(0 - -5). Let t be x(m). Suppose 5*s - 4*r = -2*r, 2*s = -2*r. Is s equal to t?
True
Let d = 46 - 17. Let r = d - 31.1. Let i = 2 + r. Are i and -0.1 non-equal?
False
Let s be (-2 - (-39)/19)*-7. Let o = s + -21/304. Let v = -3/16 - o. Which is bigger: 0 or v?
v
Let s = -0.15 + -0.85. Is -0.1 != s?
True
Suppose 5*a = -v + 6, -v - 2*a = -0*a - 9. Let g be (-91)/77 + 2/v. Which is smaller: g or 0?
g
Let h = 10 - 21/2. Let d = 12 - 10. Suppose -5*x + 3*w + 3 = 0, 2*x + 0*x - w = d. Are x and h non-equal?
True
Suppose 7 = -5*v + s, -s = -5*v + s - 4. Which is bigger: v or -1?
-1
Let c = -3 - -2.9. Let x be ((16/(-9))/4)/((-22)/(-33)). Is c > x?
True
Let d = -1/210 + -9/70. Which is smaller: -1 or d?
-1
Let a be 8*(76/(-16) + 5). Suppose 0 = 3*m - 6*s + s, 3*m = 4*s. Which is bigger: m or a?
a
Let t(p) = -p**2. Let b(i) = 2*i**2 - 5*i - 6. Let a(y) = -b(y) - 3*t(y). Let q be a(-3). Suppose 2*h - 5*h = 0. Is h bigger than q?
False
Suppose 0 = m + m. Let n be m + (-2 - -1)/1. Let s be n*(-1)/(-2)*0. Is s at least 3/5?
False
Let b be (-20)/(-9) - (4 + -2). Let q(u) = -u**3 - 5*u**2 + 6. Let n be q(-5). Let r be (-11)/12 + 4/n. Which is smaller: b or r?
r
Suppose 3*x = 3*b - 6, -4*x = -3*b + 4*b + 3. Let o(k) = 2*k + k + b + k**3 - 5*k. Let g be o(1). Which is greater: 2/9 or g?
2/9
Let l = 1486/5 + -299. Which is smaller: -1 or l?
l
Let j = -5 + 17. Let l be 2/(-6) - (-8)/j. Is 0 < l?
True
Suppose 4*k + 3 = 7. Is -2/17 smaller than k?
True
Let s(h) = -2*h. Let o be s(10). Which is bigger: -19 or o?
-19
Suppose 32 + 88 = -4*i. Let l be ((-2)/(-3))/((-4)/i). Suppose -5*u + l = -5. Is u less than or equal to 1?
False
Let d = -2 - -4. Let b = d + -2.1. Is -2 greater than or equal to b?
False
Let k = 15327 + -74219/4. Let f = k + 3244. Let l = 16 - f. Is -1 >= l?
False
Suppose 29*h = 24*h + 5. Is h at most as big as -4/57?
False
Let q = 6 + -2. Suppose q*l = l. Let a be l/(0 - (1 + -2)). Which is smaller: a or -3/4?
-3/4
Suppose -5*f + 2*x = 13, -5*x + 16 = -x. Let v be (f/(-3))/((-5)/15). Which is smaller: v or 2?
v
Let g be (3/2 - 1)*0. Let k be 0 - g - (-1 + -2). Let x = 188 - 188.1. Which is bigger: x or k?
k
Let a = -43 + 45.96. Let h = a + -3. Let f = h - -0.04. Is -0.5 at most as big as f?
True
Suppose -7 = b - 3*k, -4*b + 3*k + 9 = -8. Suppose 3*y = -2*d + b, -d = -y - 3*y + 7. Let r be 10/(-18) + (-4)/(-18). Which is bigger: d or r?
d
Let a = -1 - -3. Let p = -1 - -0.8. Let s = p + 0.1. Do s and a have the same value?
False
Let m = -1/7 - 11/21. Let y(r) = r**2 + 8*r + 5. Let a be y(-6). Let n(i) = -i**3 - 8*i**2 - 6*i + 7. Let v be n(a). Is m greater than v?
False
Suppose 4*t - 9 = t. Is 1 greater than t?
False
Let c(y) = -y - 3. Let g be c(0). Let o be 0 - 33/12 - g. Which is smaller: o or -0.1?
-0.1
Suppose -t + 4*o + 1 - 6 = 0, 5*t = -o - 130. Which is greater: t or -26?
t
Let f(d) = d + 8. Let z be f(-5). Suppose 0*l + u - z = -l, 5*u = 5*l - 25. Suppose 0 = -p - 3*c + 13, 10 = -3*p - 5*c + 37. Are l and p non-equal?
False
Let n(h) = h**2 + 11*h - 10. Let s be n(-14). Are 32 and s unequal?
False
Let z(k) be the second derivative of k**3 + 4*k - 1/20*k**5 + 0 - 2*k**2 - 5/12*k**4. Let y be z(-6). Which is greater: y or -5?
y
Let r = -3.9 - -3.8. Which is smaller: r or -0.2?
-0.2
Suppose 3*y + 9 = 0, 2 = 4*b + 3*y + 7. Suppose -3*j - 32 = -0*j + p, 0 = j - 2*p - b. Let i be (-3)/6*(-6)/j. Is i greater than -1?
True
Let v be 1/(-1 + (-1 - -1)). Let u = v - -18. Let b = -10 + u. Is 7 > b?
False
Let y = -4 + 2. Which is smaller: y or 0?
y
Let w(f) = 6*f. Let d be w(2). Suppose -d = -4*y - 0*y. Suppose -3 = -3*k + y. Is k greater than 2?
False
Let r(h) = -h**2 + 5*h + 7. Let s be r(-3). Is s < -17?
False
Let m = -3 + -3. Let d be (-32)/130 - m/15. Is -2 at most as big as d?
True
Let y = -3/8 - -29/120. Which is smaller: y or 0?
y
Let p be (-2)/5*6/4. Let x(n) = -n**2 + 2*n + 2. Let f be x(3). Are p and f non-equal?
True
Suppose -2*g - 11 = x + 4*x, 2*g - x = 7. Suppose p + g*p = -3. Is p smaller than -3/7?
True
Let q = -11/2 - -6. Let g(w) = 2*w**3 - w**2. Let k = 4 - 3. Let y be g(k). Is y >= q?
True
Let f = 35 - 34. Is f >= 1/3?
True
Suppose 26 = -3*w + w. Is w smaller than -11?
True
Let q(a) = 5*a**2 + 2*a - 1. Let o be q(1). Let v = 3 - o. Suppose -8 + 0 = 2*z. Which is greater: z or v?
v
Let n = 6 - 6.6. Let s = n - -0.7. Is s not equal to 0.02?
True
Suppose 0*s - 111 = 3*s. Let f = s - -112/3. Which is smaller: 0 or f?
0
Let a = -19 + 28. Let r be (-16)/18 - (-2)/a. Is r at least -1/4?
False
Suppose -2*g + 5*s + 61 = 0, 2*g - 35 = 2*s + 17. Let v = g - 29. Let f = -1 - 4. Which is greater: v or f?
f
Let d be (1/2 + -1)*16. Suppose -2*l = -r - 5, 1 = 3*l + 4*r - 12. Let a be (2/24)/(l/d). Is a less than or equal to 0?
True
Let z be -4 - (988/(-122) + 4). Which is smaller: 0 or z?
0
Let b be 0 - (3 + (-5)/2). Suppose 0 = -3*v - 20 - 10. Let i be (1/(-5))/((-8)/v). Is i less than b?
False
Let h = 3 + -2. Which is smaller: -41 or h?
-41
Let p = -14389/9 - -1601. Let h be 8/(4 - 0) - 1. Which is smaller: h or p?
h
Let k = 0 + -2. Let s = k - -5. Let z be -1 - s/3*1. Do 0 and z have different values?
True
Let y = -9 - -8. Does -1 = y?
True
Suppose 0 = -s + 87 + 11. Suppose t - s = -t. Let u be 35/t*4/(-10). Which is bigger: -8 or u?
u
Let l be -2 + -3*4/(-12). Is 2/39 greater than l?
True
Let h(l) = 2*l - 1. Let r be h(3). Let z be (-2)/r + 52/(-20). Let d be (z + 23/7)*-1. Which is smaller: 1/2 or d?
d
Let f(k) = 7*k. Let v be f(-1). Let b = 22.4 - 22.5. Is b != v?
True
Let c = -158.5 + 159. Which is smaller: c or -3?
-3
Let h = -4806/77 - -630/11. Which is bigger: h or -5?
-5
Let h = 0.21 + 15.79. Let k = h + -11. Let g = k + -6. Is -0.04 greater than g?
True
Let q(w) = -3*w + 6. Let z be q(6). Let g be (-1)/4 + (-3)/z. Suppose g = -6*r + r - 5. Is -2 greater than or equal to r?
False
Suppose 2*b = 3*f - 61, -2*f - 36 = -0*b + 2*b. Is -22 at most as big as b?
False
Let a = -0.4 + 0.35. Let g = -1.45 + a. Let v = g + 0.5. Which is bigger: 0.1 or v?
0.1
Let k = 24 + -23.9. Is k greater than or equal to -0.23?
True
Let g(w) = -w**2 - 4*w - 3. Let y(r) = -r**3 - 2*r**2 + 2*r + 1. Let n be y(-2). Let v be g(n). Let d = 717 - 714. Is v greater than or equal to d?
False
Suppose 9 = -w + 4*w. Let t = 9 + -5. Suppose w*h - 2*o - 2*o = 26, -2*o = 3*h + t. Which is bigger: 3 or h?
3
Let a be (-1 + -2)*10/(-3). Is 10 equal to a?
True
Let s = 221 - 236. Is -78/5 smaller than s?
True
Let k(o) = o**2 + 16*o + 5. Let b be k(-16). Suppose 0 = -b*w + 11 + 4, 4*v + 1 = -w. Which is bigger: v or -3/7?
-3/7
Let z be ((-4)/(-5))/(4/10). Let q be 46/7 - 48/