- w**2 - 10 + 3 - 26*w. Let b be a(-26). Let k = -31 + 30.8. Is k at most as big as b?
True
Suppose 0 = -f + 123 - 122. Let r(y) be the second derivative of y**4/12 - 5*y**3/6 - y**2/2 + 4*y. Let x be r(5). Is f <= x?
False
Suppose 0 = -322*k + 13311 - 49053. Which is bigger: -165 or k?
k
Let b = -740588324 - -287348432543/388. Let m = b - 1679/4. Let y = m + -430/1843. Which is smaller: 1 or y?
y
Let b be -3*1*12382/8774. Let q = b - -1815863/428963. Are -1 and q unequal?
True
Suppose -17*z + 9 = -20*z. Let w be (-32)/24 - (-125)/(-210). Which is greater: z or w?
w
Let c be ((-27)/(-1))/(9/30). Suppose -4*x - 974*w = -975*w - 351, 2*w = 10. Is x bigger than c?
False
Let j be (-12)/180 + (-578)/6630. Which is bigger: j or 383/2?
383/2
Let y(u) = 13*u**2 - 7*u - 20. Let o be y(-10). Which is smaller: 1347 or o?
1347
Let d = 357.7685 - -0.0315. Let i = d - 358. Is i equal to 60?
False
Let g be (1 - 0) + (0 - 0). Let d = 2756706 - 1585105394/575. Let f = 22/25 - d. Which is smaller: f or g?
f
Suppose -317 = -38*x - 1305. Let f be (-15)/(165/44) + x/(-14). Does -0.5 = f?
False
Suppose -3*s = v - 13, 0 = -3*v + 5*s + 21 - 108. Suppose 38 = -4*l - 2*q, q - 29 = 2*l - 0*q. Is l <= v?
False
Let c(r) = -r**3 - 21*r**2 - 35*r - 299. Let l be c(-20). Are -17959 and l unequal?
True
Let j = -11158/123 + 272/3. Let z = j + 1117/205. Is z < -0.05?
False
Let v(j) = 9*j - 24. Let y be v(2). Let i be -3 + (-8)/(-1) + y/1. Does i = 2/411?
False
Suppose -2*m = -5*m. Suppose 0 = -m*r + 2*r + 5*o - 6, 4*r - 36 = -4*o. Which is greater: r or 3?
r
Suppose 2*p = -p + 9. Let n be ((-12)/207)/((-21)/1386). Is n greater than or equal to p?
True
Let f(m) = 220*m - 2557. Let l be f(12). Let j = -369/32 - -3017/32. Which is greater: l or j?
l
Let d = -88261/91 - -12540/13. Let r = -6 - -2. Which is greater: r or d?
r
Let j = -1 - -0.25. Let r = j - 8.35. Let h = r - -9. Which is smaller: h or 5?
h
Let w = 160.04 - 2.04. Let l = -158.056 + w. Which is bigger: -2/7 or l?
l
Let z = 0.29 - -0.01. Let y = z - 0.4. Let o be (10/6)/(17018/18492 + 2/(-23)). Is o less than y?
False
Let d = -11984 + 14126. Which is bigger: d or 2/7?
d
Let a be ((-27)/(-5) - -1)*5. Let g = -2065 + 2096. Is g greater than a?
False
Let y = -95329 + 2955741/31. Which is smaller: 18 or y?
y
Suppose -396 + 137 = -7*v. Suppose 118 = -9*g + v. Are g and -6 equal?
False
Let b = 215/6 + -36. Let z = -68.204 - -32.204. Which is smaller: b or z?
z
Let l = -9 + 13. Suppose 0 = -5*g + 5, 3*f - l*g = -6*g - 22. Suppose b + b - 4*v + 2 = 0, v + 3 = 0. Which is greater: f or b?
b
Let s = 18 - 81. Let l = s + 65.6. Is l <= -7?
False
Let v be ((-6)/(-4))/((-3)/(-4)). Let u = 3/24685 - 98767/222165. Which is smaller: v or u?
u
Let q(z) = -z**3 + 20*z**2 + 9*z + 6. Let u be q(20). Let j = -183 + u. Is 36/11 equal to j?
False
Let u = -1759/10 + 176. Suppose -5 = -5*k + 20. Suppose k*b - 2 = 3*b. Are b and u unequal?
True
Let w = -0.054 - -0.121. Let p = 0.059 - w. Let v = p - 0.262. Are 0 and v non-equal?
True
Let m = 94 + -95.65. Let h = m - -1.01. Let t = h + 3.44. Which is smaller: t or 0.3?
0.3
Suppose -5*g - 2*j - 2 - 24 = 0, 3*g = -4*j - 24. Let r be 4 - (-5)/((-15)/12). Suppose -7*a - 24 + 3 = r. Is a at most as big as g?
False
Let s = 120 + -118.25. Let p = -17.25 + 17. Let a = p - s. Which is smaller: a or -0.7?
a
Let k = 2170479/5906 - 12/2953. Which is greater: 369 or k?
369
Let z be (3/(-2))/((-77)/220 + (-22)/55). Is z equal to 361?
False
Let a be (-22)/88*-36 - 3876/430. Which is smaller: a or 3/7?
a
Let u = -15595 - -171667/11. Let y = -7 - 4. Let c = u + y. Which is smaller: 0 or c?
0
Let a = 6 + 12. Let p = 2567 - 51399/20. Let m = p - -16/5. Is m bigger than a?
False
Let o be (5/(-3))/(8/(-24)). Suppose m - o*m - 20 = 0. Let y be (-2)/52*(m + 7). Which is smaller: y or 1?
y
Let g = -10331 - -22542243/2182. Is 0 at least g?
False
Let j be ((-452)/132)/((-520)/1380) - 9. Is j smaller than -2?
False
Let u = 2674.2 + -2674. Let f be 0/3 - (0 + -3). Suppose 2*c = -d - 39, -57 = 3*c - 0*d + f*d. Is c at least as big as u?
False
Suppose w - 21 = -4*i + 2*w, 15 = 5*w. Let v be (18/(-1122))/(9/i). Let r = -0.99 + -0.01. Is v less than or equal to r?
False
Suppose 2*i - 1 = 3*r, 3*i - 3*r = -8*r + 11. Suppose 3*q = 0, -2*q - 90 = -i*n - 5*q. Let o = -52 + n. Is -9 bigger than o?
False
Let t = -0.2392 - -0.1392. Is -0.61 <= t?
True
Let i = 238.0386 + -0.0386. Let n = i + -238.1. Is n at most -110?
False
Let y = -1348 - -669. Let s = y - -4763/7. Which is greater: -3/7 or s?
s
Let n = 0.0024 + -6.7424. Let b = n - -6.94. Which is smaller: 1.11 or b?
b
Let g = -15814 + 16052. Is 2634/11 greater than g?
True
Let s = -100 + 51. Let y = 84 + s. Let c = 35 - y. Is -4/5 at most c?
True
Suppose 17*v = 303 - 116. Which is smaller: 101 or v?
v
Let r be -18 + -136 - 1/3. Is r > -153?
False
Let m be 30/4*3040/(-57). Let k = -511 - m. Which is smaller: -110 or k?
k
Let v = 0 - -0.1. Let q = -2241.463 - -1836.47. Let b = q + 405. Does v = b?
False
Let m be 8/5*(-5)/(-1). Let l(v) = -v**2 + 10*v - 40. Let g be l(5). Let t(p) = 2*p + 41. Let u be t(g). Which is greater: u or m?
u
Let j(l) = -10*l + 5. Let v be j(2). Let u = -28 - -44. Let y = u + v. Is y at most as big as 1?
True
Let m(h) = 6*h + 30. Suppose 0 = -118*v + 117*v - 5. Let q be m(v). Which is smaller: 2/223 or q?
q
Let q = 203.8 - 202.8. Which is greater: -2008 or q?
q
Suppose -222*s = -30*s - 206784. Which is greater: 1080 or s?
1080
Suppose 3*n - 11 = -0*s + 2*s, 0 = 4*n - 3*s - 16. Let b = -156103/20 + 7805. Which is greater: n or b?
n
Let u(o) = -o**2 - 17*o - 20. Let c be u(-15). Suppose -4*g = -2*n + c, 5*g = -2*n - n - 7. Let j be (-3)/g + (6 - 5)/2. Which is bigger: j or 11/5?
11/5
Suppose 7*w - 42 = -2*k + 3*w, k - 5*w = 28. Let b = -51 + k. Let c(a) = -19*a - 28. Let f be c(0). Is f less than or equal to b?
True
Let v = -0.4088 + 597.4088. Which is bigger: -1/6 or v?
v
Let g = -0.2111 - 0.7889. Which is bigger: g or 0.079?
0.079
Suppose -5*k + 3 = -12. Let f be (k - -10)/(2 - 1). Suppose -i = -f*i - 672. Is i at most as big as -56?
True
Let c(s) = -3*s**2 + 78*s - 36. Let n be c(7). Which is smaller: 364 or n?
n
Let j(i) = i**2 - 2112*i**3 + 1 - 4*i**2 - 273*i**3 - i. Let d be j(-1). Let m = -145421/61 + d. Which is smaller: 0 or m?
0
Let g(x) be the second derivative of 7*x**3 + 131*x**2/2 + 87*x. Let k be g(-8). Which is smaller: k or -1?
k
Let d be (-238)/(-126) + 96/(-108). Is -2 less than or equal to d?
True
Suppose -29*z = -146098 - 56768 - 57641. Which is smaller: z or -0.1?
-0.1
Let v = 2.87 + 1.39. Let d = 21.96 - v. Let y = d + -9.7. Is -0.1 not equal to y?
True
Suppose -20*k + 1197 = -13*k. Let t = k + -93. Which is smaller: t or 80?
t
Let g be (103 - (-9)/(-9))*4/(-2). Let q = 555 - 758. Is q at most g?
False
Suppose -6*a = -a - 3*x - 4, -4*x = -5*a + 2. Let f = 12 - 2. Let b = 10 - f. Is a at least as big as b?
True
Let h be -25*(130/(-25) - -4). Let f be 7/28 - h/(-8). Let d be (-7 + f/1)*30/9. Is -10 smaller than d?
False
Let k = -6 - -24. Let d(x) = -x**3 + 2*x**2 + 15*x - 40. Let c be d(3). Let i(w) = -33*w - 113. Let f be i(c). Which is bigger: f or k?
f
Let y = -25001 - -176027/7. Which is smaller: -0.1 or y?
-0.1
Let q = 0.0683 + -0.7683. Is q at most 349?
True
Let l(v) = -10*v**3 - 4*v**2 - 2*v. Let r be l(-2). Let p be 3/(-4)*r/(-238). Are p and -1 non-equal?
True
Suppose 4*k + 31136 = -4*i, -90*i = -88*i. Is -7783 bigger than k?
True
Let f = -21 - -30.4. Let b = f + 76.6. Is -2/5 > b?
False
Let z = 44 - 40. Suppose z*m + 2*k = -35 + 219, -237 = -5*m + k. Let s = m - 51. Is s < 0.1?
True
Let v(w) = -w**3 + 4*w**2 + 21*w + 4. Let g be v(8). Let z = g + 88. Suppose 31*s - 27*s - z = 0. Which is smaller: s or 3/5?
3/5
Let k be (47/4 + 0)/(690/474720). Is 8084 greater than or equal to k?
True
Let w = 7322/3 - 2821. Is 2 < w?
False
Let p = 129.0228 + -129. Let c = -1.9772 - p. Let l = -0.1 + -0.9. Which is smaller: c or l?
c
Let l = -87346411/6371 - -13710. Which is smaller: l or 0?
l
Let v = -5 + 6. Let q = 3649.8 + -3650. Is v at most as big as q?
False
Let o be (-922)/(-230) - (270/75 + (-16)/(-40)). Suppose 0*i = i. Which is bigger: o or i?
o
Let f(z) = -z**3 - z**2 - 6*z. Let m be f(-6). Let p be 6*9/m + (-31)/(-4). Which is bigger