+ 0*w + 3*w - 33 = 0. Let q = -8 - d. Is q >= a?
True
Let x be 6/(24/20*15/12). Let c(f) = -f - 2. Let s be c(-5). Which is greater: x or s?
x
Let g = 14 - 11. Suppose -2 = r - g. Let m be (-6 - -3 - -4)/r. Which is greater: m or 6?
6
Let a = -2 - -7/3. Are a and 0 equal?
False
Suppose -n = -0 - 5. Suppose 10 = -n*h + 10*h. Let y be ((-2)/(-2) - 0) + 0. Is h >= y?
True
Let f(y) be the first derivative of -y**3/3 + 2*y**2 + y - 6. Let m = -4 - -7. Let d be f(m). Is d != 4?
False
Let s = -3.5 + 4. Let a = s + 0.1. Is a less than 2?
True
Let d = -13 + 36. Suppose -2*q - q + 5*w + 17 = 0, 5*w + d = -3*q. Is q greater than -7/5?
True
Let g be (-35)/4*2/(-10). Suppose 2*a + 3*a + 15 = -5*y, -1 = -5*a - y. Let j = a + 2. Which is smaller: g or j?
g
Suppose -5*b = -0*b. Let l be -2 + (-1 - (-94)/10). Let a = -106/15 + l. Which is smaller: b or a?
a
Let j(y) = -y + 9. Let n be j(7). Let b be 2/5 + 20/(-175). Which is bigger: b or n?
n
Let a(m) = m**3 + 5*m**2 + 2*m - 1. Let c be a(-3). Which is smaller: c or 12?
c
Suppose -3*k + 0*j - 14 = -2*j, 4*j + 20 = -2*k. Let g = k + 5. Let l = 12/37 - 34/333. Which is smaller: g or l?
g
Suppose 5*g = 4*t + 68 + 93, 168 = 5*g + 3*t. Are 32 and g unequal?
True
Let k = -3693/4728500 + 1/24500. Let j = -2675/36477 + k. Is j smaller than 1?
True
Let r = 5 + 3. Let u = r + -14. Let b = u + 6.2. Is b equal to -3?
False
Let q = 81 + -105. Is q not equal to -23?
True
Let h = -319/79 + 19047/2291. Let z = h - -366/145. Let d = z - 112/15. Which is greater: -3 or d?
d
Suppose 5*m - 13 - 15 = 4*b, -4*m + 26 = -5*b. Which is smaller: b or -1?
b
Let m = -0.5 - 0. Let w = m - -0.4. Let n = 0 + w. Is n at most -0.1?
True
Let r be (2/(-7))/(54/(-63)). Which is bigger: r or -3?
r
Let c(i) = -i + 1. Let t be c(-3). Suppose 9 = -5*y + 34. Suppose -6 - t = y*q. Which is smaller: 1 or q?
q
Let d = 6 - -12. Let z = d - 12. Which is greater: z or 7?
7
Let q = -0.01 + 3.01. Let b = 0.4 - 1.4. Is q less than b?
False
Let v be 1/((-3)/(-6)) + -1. Which is smaller: v or 1/29?
1/29
Let c(m) = m**3 - 10*m**2 + 10*m + 8. Let y be c(9). Is y equal to 16?
False
Suppose 0 = 2*m - 3 - 1, 4*m - 68 = -5*o. Let c be (o + -13)/(2/14). Is -4 not equal to c?
True
Let k = -26 - -24. Let l = -172 + 373/2. Let b = -91/6 + l. Which is smaller: k or b?
k
Let w = 81 + -893/11. Suppose 5*y - 3*t = 1, 0 = 4*y - 0*y - 5*t - 6. Which is greater: y or w?
w
Suppose -r + 6 = r. Suppose -a + 1 = r. Let n be 0 - 0 - (0 - -2). Is a at least as big as n?
True
Let l(h) = -h**2 + 6*h + 5. Let b be l(6). Let o be 88/14 + (-10)/35. Is o != b?
True
Suppose 23 - 9 = -2*o. Let z = o + 10. Which is greater: z or 5?
5
Suppose -u + 4*u = 0. Suppose 2*m + u + 2 = 0. Is m bigger than 2/15?
False
Let j be (8/(-6))/(15/9). Let d be 3 + -3 - (-2)/(-2). Is j < d?
False
Let o = 3.198 + -0.158. Let z = o + -0.04. Let r be (-1 + 4)/(15/(-2)). Is z smaller than r?
False
Let l(z) = 2*z**2 + 2*z - 2. Let c be (2/4)/(4/(-16)). Let s be l(c). Suppose 4*i = 3*i - 4*o - 2, 4*o = s*i - 8. Which is smaller: i or 1?
1
Let r(s) = -s. Let h(q) = 6*q - 3. Let y(w) = -h(w) - 5*r(w). Let c be y(0). Is 2 greater than c?
False
Let o(t) = t + 1. Let m be o(1). Let u = 2/469 + 534/469. Which is smaller: u or m?
u
Suppose 5*b - 2*b = 15. Let y(n) = -n**3 + 3*n**2 + 11*n - 3. Let c be y(5). Is b at most c?
False
Let o(b) = 2*b + 3. Let r be 3 + (-9)/(-3) + -3. Let f be o(r). Is 8 equal to f?
False
Suppose -2*q + 9 = -6*c + 7*c, 21 = c - 2*q. Which is greater: 7 or c?
c
Suppose -24 = -i + 5*i. Let b = i - -3. Is b at most as big as -2?
True
Suppose 0 = -15*j + 13*j - 14. Let g be 1/(-3) + (-30)/(-9). Suppose -g*a - 16 = -c, -3*a + 6*a = 4*c - 10. Does j = a?
False
Let q be 1/1 + (-1)/(-1). Suppose -o - q*o = 0. Is o bigger than 2/19?
False
Let s be 2*(-2 - (-383)/183). Let g = s + 5032/6405. Let w = -4/7 + g. Is w less than or equal to 1/4?
False
Let c = -0.03 + 1.03. Let d = c + -3. Which is greater: d or 0.1?
0.1
Let j be 2/3 - 10/6. Let m = 1 + j. Are m and 3/4 equal?
False
Let w = 1 - 1. Let n = w + 5. Which is greater: n or 6?
6
Let y = -3 - -11. Let x = y + -7. Is -1/9 at most as big as x?
True
Let h be 1 + ((-40)/(-22) - (3 - 0)). Is h greater than -3/7?
True
Let i = -16 - -10. Let w = i - -10. Do -1/4 and w have different values?
True
Suppose -2*v + 22 = 2*i + 2*i, -4*i = -4*v - 16. Let d be 25/(-3) + i/15. Let h = d - -7. Which is smaller: 1/5 or h?
h
Suppose 136 = 5*j + 4*l, 4*l + 77 = 3*j + 21. Is 24 smaller than j?
False
Let s(w) be the second derivative of w**4/24 - 2*w**3/3 - w**2/2 - 2*w. Let d(k) be the first derivative of s(k). Let i be d(4). Is i greater than 0?
False
Let z(l) = -l**3 - 2*l**2 + 1. Let p be z(-1). Let m be (p + 6/(-4))*2. Let o be 1 + 2 + -3 + -3. Is m at most o?
True
Let k = -43 + 138. Let u be 4/(1 + 346/(-332)). Let n = k + u. Is n at least 0?
True
Let m = 1 + 2. Suppose 0 = r + m*r. Suppose r = -2*i - i. Which is smaller: 2/5 or i?
i
Suppose -2*d - 6 = 0, 5*p = 3*p - 5*d - 17. Is 3/7 smaller than p?
False
Let z be 3*(-435)/(-18) + 5/(-10). Which is smaller: z or 71?
71
Suppose -m = -3*m + 3*y + 15, 2*m + 4*y + 6 = 0. Suppose i - 2 = -0*i. Is m at least i?
True
Let p be (-4)/(-18) - 112/180. Let g be 4/(-6) + 20/30. Which is greater: g or p?
g
Let g be (7 + (-1)/1)/(-2). Is g < -3?
False
Let r be (-4)/(-22) + (-90)/(-110). Which is smaller: r or -1/52?
-1/52
Suppose 0 = -4*j + 3*c + 68, -j - c - 1 + 11 = 0. Is j smaller than 15?
True
Suppose -7 = 2*g - 17. Does -3 = g?
False
Let f(m) = m - 8. Suppose -2*r = 4*o + 3*r - 7, 5*o + 2*r - 30 = 0. Let p be f(o). Suppose 4*q + 4 = w - 5*w, 2*q + 2 = p. Which is greater: -1 or w?
w
Let u = -0.347 - -0.147. Which is smaller: u or -8/15?
-8/15
Let j be (-2)/2 + 1 - 2. Suppose 4*d = -o - 4*o - 7, 9 = -5*o - 3*d. Which is bigger: o or j?
j
Let w = 431 + -3025/7. Do w and 0 have the same value?
False
Suppose -3*s - 4 = -s. Let u = -3 - s. Is u less than -1?
False
Let r = 396 - -216. Let g = 18970/31 - r. Let b = 23/124 - g. Which is bigger: -2/3 or b?
b
Let u(s) = -s**3 - s**2 + s + 1. Let n be u(2). Let a = n + 9. Which is smaller: a or 4/5?
a
Suppose 0 = -4*n + n + 36. Let h = n + -4. Suppose -k = k - h. Is k at most as big as 2?
False
Let k be (3 + 0)/(-1) + 1. Let z be 7/(-7) - k/2. Let n = 377/5 - 75. Which is smaller: z or n?
z
Suppose -6*v + 2*v = 2*a, 0 = 4*a - 4*v. Are a and 1/4 nonequal?
True
Let b be (-4)/118*917/5. Let j = b + 31/5. Let m = j - -123/295. Which is smaller: 0 or m?
0
Let v be (-14)/(-4) + 2/2. Let s = 4 - v. Is 0.3 at least as big as s?
True
Let f = 4.7 - 4.7. Suppose 8 + 2 = h - 3*y, 0 = -3*h + 5*y + 18. Which is bigger: f or h?
h
Let v(x) = -x**2 - 12*x - 8. Let b be v(-11). Suppose 4*t - 2 = -b*r + 1, -4*t = -4*r + 4. Is t smaller than -2/3?
False
Let z(c) = -c**3 + 21*c**2 - 5. Let d be z(21). Are -5 and d nonequal?
False
Suppose -x - 6 = -5. Does 1/13 = x?
False
Let m = -29 + 21. Which is bigger: m or -10?
m
Suppose 0 = -0*a + 5*a + 35. Suppose 3*w - w = -14. Is w less than or equal to a?
True
Suppose 4*x = 2*x - 10. Let r be 2/3 - x/(-3). Which is bigger: r or -3/8?
-3/8
Suppose -2*y + 28 = 2*y. Let s(i) = 8 - i**3 - 6*i + 7*i**2 - 2*i + i**2. Let a be s(y). Which is smaller: 0 or a?
0
Let p = -11 - -15. Let n = 0 + -1. Which is greater: n or p?
p
Suppose 11 = -4*s + 2*s - 3*b, 0 = 5*s + 3*b + 23. Let i(h) = h + 7. Let m be i(-4). Let x = s + m. Which is smaller: -3/5 or x?
x
Let o = -1548438/119 + 13012. Let s = o + 428/2261. Let p = -2 - -3. Is s != p?
True
Suppose a - 10 = 3*m, -2*a - 3*m - 3 = 4. Which is smaller: 1/6 or a?
1/6
Let a = -40 - -41.5. Does -0.2 = a?
False
Let w(m) = m**3 + 17*m**2 + 16*m + 4. Let f be w(-16). Is 10 <= f?
False
Suppose -65 = -3*r - 5. Let x = r - 20. Which is bigger: x or 4/9?
4/9
Let h = -2 + 1.8. Let y = -9 + 9.7. Let d = y - 0.9. Is h > d?
False
Let b = -3/22 + 45/88. Suppose -5 = 2*s - 15. Suppose 0 = -s*x - 1 + 6. Which is smaller: x or b?
b
Let z(g) = -g**3 - 11*g**2 + 6. Let f be z(-11). Let p = f + -3. Suppose p*w = -w. Is 2 != w?
True
Let h = -19 + 21. Let k = -2.9 + 3. Which is greater: h or k?
h
Let m = -2 + -3. Let u = m + 6. Suppose 0 = -9*f + 6*f. Which is bigger: u or f?
u
Let a be 6/12*(1 - 17/11). Which is smaller: a or 2?
a
Let h = -1 - 0. Let w