 0 = 3*j + w + 14, 2*w = j + 3*w + 8. Suppose 2*z + z = -9. Is j > z?
False
Suppose -2*b - b = 18. Suppose -d + 21 = -4*d. Is d <= b?
True
Suppose 0 = -r + 2*a + 2, -r = 4*r + 2*a + 14. Let f be (-40)/165*18/8. Does f = r?
False
Let c = 14 + -10. Let o(l) = 5*l - 22. Let m be o(5). Let k = m - c. Is 1 greater than or equal to k?
True
Let d be ((-4)/6)/((-68)/(-18)). Let m be 0/(-3)*(7 + -6). Which is bigger: m or d?
m
Let a be 91/39 + 1 + -2. Are 0 and a unequal?
True
Suppose -4*q + 4 = 0, 4*o + 5*q + 4 - 17 = 0. Suppose -2 - o = -2*t. Suppose 4*v = -6*w + 3*w + 6, -2*v + t = 2*w. Which is smaller: -3 or w?
-3
Let k be (-757)/6 - (5 + (-31)/6). Which is greater: k or 1?
1
Suppose -5*k = 25, -24 = 3*o + 4*k + 5. Suppose -y + 3 = -0*y. Suppose 3*h = -y*i - 6, 3*h = -4*i - 0*i - 9. Is o not equal to i?
False
Let t = 6.8 - 8. Is t <= 2?
True
Let s = -3.15 - -0.05. Which is bigger: 0 or s?
0
Suppose 2*o = 3*o + 4*s - 21, -4*o = 2*s - 28. Suppose -4*b = 0, 4*w - 5 = 4*b + 15. Is o less than w?
False
Let y = 1/38 - 81/190. Let r be -2*((-12)/(-14) - 1). Is y < r?
True
Let s = 6.09 - 0.09. Which is greater: s or -0.06?
s
Suppose 0 = -4*h - 0 - 8. Does -16/5 = h?
False
Let u = 2.3 - 11.3. Let j = -11 - u. Which is bigger: 0 or j?
0
Suppose 0 = u + 15 - 7. Let y = u - -9. Are -2/11 and y equal?
False
Let t = 1.98 - 2. Let i = t + 0.32. Is i bigger than 2/7?
True
Suppose 4*n - 7 = -23. Let m be (n/(-6))/(9/27). Which is smaller: m or 3?
m
Let c(g) = g**3 - 9*g**2 + 9*g - 5. Let y(l) = -9*l - 1. Let i be y(-1). Let u be c(i). Let t(h) = h**2 - 4*h + 2. Let p be t(u). Is -4/9 at most as big as p?
False
Let r = -777/2 + 385. Let o = -10 + 4. Let n be 2/(-3) + 26/o. Is n > r?
False
Let x = 99.1 + -95. Let j = x + -4. Which is smaller: -2/3 or j?
-2/3
Let w be 77/88*(-12)/(-14). Is w >= 1?
False
Let k = 26.855 + -27.7. Let n = -0.165 + k. Let i = -0.01 - n. Is 1 at most as big as i?
True
Suppose s - 4*l + 14 = 0, -4*s - 3*l + 4 + 16 = 0. Let h be (-2)/(-1)*(-2)/(-8). Which is smaller: s or h?
h
Suppose -53 = 5*w - 108. Which is bigger: 8 or w?
w
Suppose 5*o - 5*k - 81 = -31, 0 = -3*o + 5*k + 34. Suppose 6*b - 2*b + o = -4*a, 4*b = 4*a. Which is greater: -2 or b?
b
Let h be ((-21)/9 - -2)*2. Let y = 16 + -18.1. Let s = 2 + y. Which is greater: h or s?
s
Let y be (-2)/(-9) - (-260)/(-36). Is y greater than or equal to -7?
True
Let i(a) = a + 14. Let u be i(0). Suppose -s - 12 = o - 5*o, -4*s - u = o. Are o and 3 nonequal?
True
Let w(i) be the first derivative of i**3/3 + 3*i**2 - 10*i + 5. Let m be w(-7). Is -12/5 <= m?
False
Let i = -103/7 + 15. Let v = 20 + -19.89. Are i and v equal?
False
Let v = 132/5 - 26. Let h = 0.3 - 0.4. Which is bigger: v or h?
v
Suppose 3*p + 4 = -p, 5 = 2*w - 5*p. Which is smaller: 2 or w?
w
Let g(h) = -h**3 + 14*h**2 + 16*h - 15. Let x be g(15). Is 1 >= x?
True
Suppose m - 8 - 1 = 0. Let h(y) = y**3 - y**2 + 2*y - 2. Let i be h(2). Let c = i - m. Are -4 and c unequal?
True
Let u(o) = 2*o - 85. Let q be u(33). Which is smaller: q or -21?
-21
Suppose 0 = 3*r - 5*z + 7, -14 + 0 = 3*r + 2*z. Suppose 6*m - 6 = 9*m. Which is smaller: r or m?
r
Suppose -3 = -2*m - y, m - 5*y + y = -3. Is 13/6 less than or equal to m?
False
Suppose 0*l = l + g - 2, -2*l = 4*g + 4. Which is smaller: 7 or l?
l
Let p(m) be the second derivative of m**5/120 + m**4/12 + m**3/6 + 2*m. Let n(k) be the second derivative of p(k). Let j be n(-3). Is -1/5 != j?
True
Suppose l + 2*l - 9 = -m, l = m - 1. Let s(q) be the second derivative of -q**5/20 + 11*q**4/12 - q**3/6 + 13*q**2/2 + 6*q. Let j be s(11). Is j <= m?
True
Let x be (-10)/45 + 32/(-18). Let j be (30/25)/(4/10). Suppose -3*y + 0*y - j = 0. Which is smaller: y or x?
x
Let v = 42/11 + -69/44. Is v greater than 1?
True
Suppose j + 146 = 3*o, 7*j - 246 = -5*o + 6*j. Does o = 49?
True
Let d be 2 + (-3 - (1 + -3)). Let f = d - 13. Is f equal to -13?
False
Suppose -4*s - 4*a + a = 72, 5*a = 0. Let m be -3 + 1 + s/(-21). Is -1 at most m?
False
Let j = 5 + -8. Suppose -59 = 15*d + 31. Which is smaller: d or j?
d
Let h be 1/2 + (-36)/(-8). Let w be ((-3)/(-10))/((-6)/h). Is 0 at least w?
True
Let i be 41/13 + (-27)/9. Are 1 and i unequal?
True
Suppose c - 2 = -j + 2*j, 10 = -2*j. Let p = c - 3. Let y(h) = h**3 - 5*h**2 + 5*h - 4. Let w be y(3). Are w and p non-equal?
True
Let p = 341/52 + -21/26. Which is smaller: p or 6?
p
Let k = 18.87 - -2.23. Let l = k - 21. Is l != -11?
True
Let f be (-20)/(-25)*5*-1. Let m be f/10 + 2/5. Let u(q) = -q**2 + 5*q - 3. Let r be u(4). Are r and m unequal?
True
Let p be 1 + (-18)/4 + 2. Let w = -5 - -5. Is w smaller than p?
False
Suppose 0 = -f - 0*f + 1. Suppose 0 + f = -q. Let t(r) = 2*r**2 + r. Let y be t(q). Is y not equal to 2/13?
True
Let p = -42 + 35. Are -4 and p equal?
False
Suppose -2*b - m - 7 = -6*b, -4*m - 12 = 0. Let k be 24/8 - (b + 3). Are k and -1/9 unequal?
True
Let s(k) = k - 2. Let q be s(-2). Suppose 6 = b + 1. Let w(d) = -d**3 + 3*d**2 + 8*d + 7. Let v be w(b). Is q <= v?
True
Let j be (-4)/26 + (-5348)/52. Which is bigger: j or -102?
-102
Let j be (0 + 2)/(-2) + 2. Let s be (-54)/(-14) + (-4)/(-28). Let q be (j + 0)/((-6)/s). Is q >= -2?
True
Suppose 2*i - 5*p - 27 = 0, 3*i + 0 + 7 = -2*p. Let n be (-212)/(-68) - 3*i. Which is smaller: 1 or n?
n
Suppose -14*u + 13*u = -36. Which is greater: u or 37?
37
Suppose 5*j = 8 + 2, -5*t + j - 7 = 0. Let q be 3/21 - (-9)/35. Is t less than q?
True
Let f = -56486099/147401135 + 5/247733. Let o = f + -2/119. Is o equal to 1?
False
Let w(u) = u**3 + 18*u**2 + 18*u + 20. Let a be w(-17). Let p be 6*(1 - -2)/6. Let n be (p - 11/3)*a. Which is greater: -2/11 or n?
-2/11
Let u(c) = 13 - 6 - 10*c - 2*c**2 - 2. Let f be u(-5). Which is bigger: f or 3?
f
Let l be (-6*(-4)/(-16))/75. Is l < -1?
False
Suppose 5*o - 49 = -4*k - 14, -o + 13 = 2*k. Let i = -7 + k. Let g = -6 + 5. Is g smaller than i?
False
Let g be (3 - 300/54)/(1/6). Is g >= -14?
False
Let o be (-2)/5 - (-14)/(-10). Let i = -23 + 21. Is o less than i?
False
Let a(h) = h - 2. Let t be a(8). Let z = t - 7. Is z bigger than -3?
True
Suppose 23 = -5*a - 3*p, 3*p - 3 = 2*a + 2. Let o(d) = d + 5. Let w be o(a). Let y(z) = z**3 - 2*z**2 + 2*z - 3. Let k be y(2). Is k greater than w?
False
Suppose 10*a - 7*a + 3 = 0. Is -2/9 at least as big as a?
True
Suppose 4*h + 2 = 2*w - 8, -3*h + w = 7. Which is bigger: 0 or h?
0
Suppose -5*c + 12 = 32. Let i be (c/(-16) + 1)*1. Which is bigger: i or 1/4?
i
Let g = -6 - -6.04. Let v = g - -0.06. Is -3 <= v?
True
Suppose 0 = h + 2*o - 6, 0*o + 12 = -2*h + 2*o. Suppose 52 = 3*q + 67. Which is greater: q or h?
h
Let q(r) = r - 5. Let m be q(0). Which is greater: m or -4?
-4
Let f = 7 - 5. Let k be -1 + -1 + (3 - -1). Suppose -4*x = k*d + 5 + 3, 24 = 4*d - 2*x. Which is smaller: f or d?
f
Let m = 335/3876 - 1/323. Which is bigger: m or 1?
1
Let w = -26.63 - -2.29. Let f = w - -24. Let b = -0.04 - f. Which is greater: b or 0.1?
b
Let i = -0.91 - -1.22. Which is smaller: -2/3 or i?
-2/3
Let x be -6*(20/9 - -3). Is -32 at most x?
True
Let d be 5/4 - (-6)/8. Suppose -3*t - d*t = -25. Let l = t + -3. Which is smaller: 4/7 or l?
4/7
Suppose 14 = v - 2*h, -2*h + 6*h = 3*v - 32. Let p be v/22 + (-276)/66. Is -4 != p?
False
Let x = 1.3 + -3.8. Let d = x - 0.5. Is -2 >= d?
True
Let q(r) = -3*r. Let o be q(0). Is o at most as big as -2/43?
False
Let j be ((-8)/(-12))/(1/2). Is j < 2?
True
Suppose 3*m - 1 = 8. Let q = m + -1. Suppose 11 = -3*v + q. Which is smaller: -3/2 or v?
v
Suppose 9 = 3*c - 15. Let g be (-19)/45 + c/36. Let h = 15 + -15. Which is bigger: g or h?
h
Let j = 190946/117 + -1632. Which is smaller: j or 0?
0
Let q be ((-6)/(-14))/((-3)/2). Let b = 136 - 129.9. Let x = 6 - b. Which is bigger: x or q?
x
Let j be (38/(-4))/((-4)/8). Is j at least 18?
True
Let r(y) be the second derivative of -2*y + 1/12*y**4 + 0 + 4/3*y**3 - 9/2*y**2. Let d be r(-9). Is d less than or equal to 0?
True
Let u(c) = -7*c**2 - 2*c - 1. Let z be u(-1). Let p = 2 + z. Let o be p/6*6/10. Does o = 0?
False
Let a(o) = o - 5. Let m be a(5). Are -2/37 and m unequal?
True
Suppose -30*j + 23*j - 7 = 0. Is j at least as big as 1/38?
False
Let l = -55 - -54. Is -1/11 at least l?
True
Let f(t) = -t + 1. Let h be f(-10). Which is smaller: 10 or h?
10
Let p = 201/5 - 2