s w > -0.08?
True
Let x(u) = -u - 7. Let v(p) = p**2 - 6*p + 2. Let c be v(3). Let t be x(c). Which is bigger: t or -1?
t
Let x = 94303/3290 + -35307/94. Let h = -347 - x. Which is smaller: -1 or h?
-1
Let l be (-13)/(-52) + (-3)/(-20). Is 7 greater than or equal to l?
True
Let x = 12 + -9. Suppose -2*o - x*o + 45 = -5*z, -2*o - 3*z - 2 = 0. Suppose -n + o = 0, -2*u + 7*u = 4*n - 5. Which is smaller: u or 2?
2
Suppose -4*x = 29 + 75. Let o = x - -38. Let g be (-2 - -2) + (-2)/o. Which is greater: g or 1?
1
Let z = 9 + 11. Let l = 14 - z. Which is greater: -8 or l?
l
Let h(z) be the third derivative of -z**6/120 - z**5/20 - z**4/24 - z**2. Let w be h(-1). Let p be 1/((-9)/(-6)) - 2. Which is greater: w or p?
w
Suppose -5*p - 2*u = 7 - 0, -3*p = u + 5. Let i = p - -19. Is i <= 15?
False
Suppose -8*q = -20 + 4. Which is greater: 26 or q?
26
Let s be -1 - (1 - (-14)/(-8)). Suppose o = -8*o. Is s greater than or equal to o?
False
Let u be (-58)/(-8) + 1/(-4). Let n = 8 - u. Let z be (-1 - n/(-2))*0. Which is smaller: 2/11 or z?
z
Let n = -3.92 + 4. Let o = 0.38 - n. Which is smaller: -0.1 or o?
-0.1
Let h be -4 - 20/4 - 3. Let n be ((-5)/195)/(2/h). Which is bigger: -2 or n?
n
Let d = 6 + -4. Suppose -1 = 2*v - 3. Is v greater than d?
False
Let g be (-25)/(-9) + 2/9. Let x be (0 + g)/(9/2). Which is smaller: x or -2/5?
-2/5
Let x be (-98)/35 + (2 - -1). Suppose m - 6 = -2*m. Suppose m*t - 4*t = 2. Is t < x?
True
Let d = 0.057 + -0.157. Is d equal to -6?
False
Suppose x + 3*i + 1 = -6, 0 = -3*x + i - 1. Is x <= 12?
True
Let z = 0 - -1. Suppose -z = 2*r + 1. Which is smaller: -2 or r?
-2
Let d = 7 + -6. Let m = d + 0. Is m at least as big as 0.8?
True
Let n = -10.12 + 10. Let l = n - -0.15. Is l greater than 0?
True
Let a = 14/13 - 16/39. Are a and -1/4 equal?
False
Let x = -0.03 - -7.03. Let r = -7 + x. Let t = r + 0.2. Which is smaller: 2 or t?
t
Let j be 960/(-12) - (0 + -1). Is j smaller than -79?
False
Suppose -2 = 4*h - 6. Let f = 6775/27 - 251. Which is bigger: h or f?
h
Let x = -11/12 - -97/132. Which is bigger: 0 or x?
0
Let w be -4 - -2*6*2. Which is smaller: 19 or w?
19
Let r(p) = p**2 - p - 1. Let f be r(2). Which is smaller: f or 2?
f
Let r be -1 - 0 - 306/18. Are -16 and r nonequal?
True
Let q = 10 + -18. Let f = 8.6 + q. Let p = -0.4 + f. Which is smaller: p or 1?
p
Let k be (96/54 - 2)/((-38)/(-6)). Is -1 less than k?
True
Let v(i) = i**2 - 3*i - 2. Let h be v(3). Which is smaller: -3 or h?
-3
Let i be (-302 + -5)*(-2)/(-4). Let x = 157 + i. Is 5 greater than or equal to x?
True
Let t be ((-4)/6)/(39/9). Suppose -9 = -6*d - 15. Is d != t?
True
Let l = 15.7 + -16. Do l and -0.5 have the same value?
False
Suppose 3*p - 11 = 4*i, 2*p - 25 = -5*i - 2*p. Let c be 66/104 + 3/(-12). Let s = c - 28/39. Is i at most as big as s?
False
Let k(d) be the first derivative of d**5/60 - d**4/12 - d**3/2 - d**2/2 - 1. Let q(m) be the second derivative of k(m). Let n be q(3). Are n and 0 non-equal?
False
Let p = 5908/3285 - -1/657. Which is smaller: p or 2?
p
Let f be 6*(-3 - 1528/(-508)). Let u = f - 459/1651. Do -1 and u have the same value?
False
Suppose 0 = -q - 0 + 6. Suppose -5*s + 3*s = -q. Is 3 greater than or equal to s?
True
Let i be 0/(1 + 3 + -3). Is i at most as big as 2/3?
True
Let w = 115 - 2187/19. Is -1 at least w?
False
Let w be (10/25)/((-2)/10). Let i(j) = -j**3 - 10*j**2 - 9*j + 6. Let d be i(-9). Let h be ((-3)/(-12))/((-1)/d). Is w less than or equal to h?
True
Let a = -0.75 - 6.25. Which is smaller: 1/3 or a?
a
Let m be (2/4)/((-2)/24). Let t be m/(-4) - 3/2. Suppose -h = -t*h + 1. Is 0 > h?
True
Suppose 6 = -5*h - s - 6, -2*h + 2 = -3*s. Let f be (h - -1)*2 + 2. Which is greater: f or -1?
f
Let q = 1 + -0.5. Let u = q + 3.5. Which is smaller: 0 or u?
0
Let q be ((-6)/15)/(((-51)/15)/(-1)). Which is greater: 0.3 or q?
0.3
Let h be 5 - (-1 - -2)*2. Let q = h + -2. Is 1/3 greater than q?
False
Let u be (-3)/4 + 5*2/10. Is 0 at least u?
False
Suppose -s = 2*p + 2*s - 13, 3*p - 42 = 3*s. Which is smaller: 13 or p?
p
Let x be -5 - (-2)/4*8. Is 1/26 bigger than x?
True
Suppose 3*f = -z - f + 5, 5*z + f = 25. Let i = -4 + z. Let j be (i/2)/((-1)/2). Is j bigger than 2/15?
False
Suppose -10 = 3*t + 4*w, -3*t + w = 3*w + 2. Is t >= 2?
True
Let w = -25 - -23. Which is bigger: -1/11 or w?
-1/11
Suppose -2*r = 4*b + 8, -r - 2*b - 4 = r. Does 2/257 = r?
False
Let y(m) = -m + 6. Let g be y(6). Let p be 40/(-78) + 14/21. Which is smaller: g or p?
g
Let s be (-4)/(-18) + 235/(-45). Is -8 < s?
True
Suppose w = -b + 2, 7*w - 2*w - 10 = -2*b. Which is bigger: b or 2/85?
2/85
Suppose -2*z + 7*z - 5 = 0. Let f be z/4 - (-6)/(-88). Let g(l) = l**3 + 3*l**2 - 2*l - 6. Let r be g(-3). Which is greater: f or r?
f
Let q be ((-42)/(-5))/((-2)/(-5)). Let i be (q/15)/((-30)/(-25)). Is i equal to 2?
False
Let g = 36 - 32. Let b(s) = 2*s**2 - 4*s + 2. Let h be b(2). Suppose 3 = -h*l + i - 4, 5*i - 29 = g*l. Is 0 at least as big as l?
True
Let d = 1 - -8. Let u be 2/12*2*d. Which is bigger: 5 or u?
5
Let h(w) = 3*w**3 - 2*w - 2 + w - 2*w**3. Let q be h(0). Is q smaller than 2?
True
Let k = 4 + -2. Suppose 2*d - 4*d + k*y = -4, -2*y = -d + 6. Which is smaller: -4 or d?
-4
Let r(v) = v**2 + 3*v. Let f be r(-4). Let k be f/24 - 7/6. Let l be 3/12 + 5/(-4). Is l greater than or equal to k?
True
Suppose 0 = -3*t + 138 - 555. Let i = -1253/9 - t. Let x = -55/2 - -28. Which is smaller: x or i?
i
Suppose 0*u = u - 4. Suppose -3*i - 16 = h - 0*h, u*h + 24 = -4*i. Which is greater: -2/5 or h?
-2/5
Let j = -27 - -42. Let w be (-38)/10 + (-3)/j. Let o = -3 - w. Which is smaller: 0 or o?
0
Suppose -7*r = -4*r - 225. Let z be 45/r*(-5)/(-8). Which is bigger: z or -1?
z
Let j(f) be the second derivative of -1/20*f**5 - 4*f + 5/6*f**3 + 0*f**2 + 1/3*f**4 + 0. Let n be j(5). Which is smaller: 1/9 or n?
n
Suppose 4*w + 3*o = w + 3, w = -3*o - 7. Let i be (-3)/(-6) + w/2. Suppose -3*v - i = -0*v. Is v <= 1?
True
Let k be (-1)/(-3) + (2 - (-2)/(-6)). Let v = -3 + 6. Is v equal to k?
False
Let k = 132 + -656/5. Let a(u) = -u**2 - 6*u. Let n be a(-6). Is k bigger than n?
True
Let n = 14 - 7. Let j(o) = o**3 - 7*o**2 - 2*o + 10. Let u be j(n). Is -3 less than u?
False
Suppose -2*g = -3*g + 2. Let x be 2/(-3)*(5 - g). Which is smaller: x or -1?
x
Suppose h = 2*h + 6. Let r be (0/(-3))/(-3) - h. Let m be ((-3)/(-30))/(r/(-15)). Is m at least as big as -1?
True
Let n be (-84)/(-22) - (-10)/55. Suppose -n*d + 2 = -u + 17, -2*d - 9 = -u. Is 5 <= u?
False
Suppose 2*j - 10 = -t, 3*t - 13 = -3*j + 8. Let g(k) = k**2 - 2*k + 1. Let c be g(j). Suppose y - 20 = -5*r, 3*r - r + c*y = 26. Is 4 > r?
True
Suppose d - 3*l - 59 = -12, 3*l = 9. Let r = 506/9 - d. Is r less than or equal to 0?
False
Let t(q) = q. Let s be t(2). Suppose -5 = -5*r, -2*h = r + 2*r - 3. Suppose 2*j + 0 - 6 = h. Is j not equal to s?
True
Let r be 4/10 + (-288)/(-80). Let n(t) = -t**2 - 4*t - 4. Let h be n(-3). Which is bigger: r or h?
r
Let w = 0.7 + -0.53. Let k = 82.97 + -83. Let l = k - w. Is -2/7 at most as big as l?
True
Let s be (((-3)/(-3))/1)/(-1). Let h(q) = -q - 1. Let p be h(1). Is p smaller than s?
True
Let c be 1/((3/(-1))/9). Is c not equal to -2?
True
Let d = -0.05 - -4.05. Let t = 4.3 - d. Which is smaller: t or 1?
t
Let s = -9.16 - -0.16. Let h = -10 - s. Let b = h + 5. Which is smaller: -2/3 or b?
-2/3
Let t = -17 - -11. Let s be (-20)/t*6/5. Suppose s*d = d - 6. Which is smaller: d or -2/5?
d
Let o(v) = -2*v - 11. Let r be o(-7). Which is bigger: r or 13/3?
13/3
Suppose w - 19 = -5*b, -b - 3*b = 4*w - 28. Suppose t = -w*r - 16, -4*r - 40 = t - 6*t. Which is smaller: t or 5/2?
5/2
Let w = -0.23 - -0.33. Which is bigger: w or 4.4?
4.4
Let b be -1 - (11280/14)/3. Let j = 270 + b. Is j smaller than 0?
False
Suppose 62 = 3*c - 4*r, 3*c - 2*r - 69 = -5*r. Suppose 5*k + 23 = -c. Let n = 8 + k. Does n = -1?
True
Let y = 82 - 55. Suppose 5*s - y = 2*s. Let a be -3*s/6*2. Is -8 smaller than a?
False
Suppose 4*g = 3*m - 63 + 7, 0 = -3*m. Is -13 greater than g?
True
Let i be (-4)/(-6) - (-2)/(-3). Let f be (-1)/2 + (-3)/(-2). Let a be (f - 3) + 57/30. Which is bigger: i or a?
i
Let g(d) = -d**3 + 3*d**2 + 4*d - 3. Suppose 4*i - 3*i = -1. Let z(m) = -3*m + 1. Let n be z(i). Let o be g(n). Do -3 and o have differ