d derivative of w**6/120 - w**4/12 - w**3/6 + 2*w**2. Let j be k(2). Let i be (2/j)/((-4)/42). Does -7 = i?
True
Let r = 110 - 110.053. Let y = r - 91.947. Let p = 51.174 + -51.274. Is y greater than p?
False
Let y = -62 + 88. Let t = 25.5 - y. Let d be 1/(-12)*(-27)/(-6). Is t equal to d?
False
Suppose 6*b - 45 = b, 0 = 10*w - 2*b + 8. Is w at most as big as 190/359?
False
Suppose 65 = 29*x - 16*x. Suppose 149 = -x*g - 4*q, 0*g + 2*q = -g - 31. Is -26 >= g?
True
Suppose 0*z - 31*z = -465. Suppose 45*a - z*a = -5550. Is -185 > a?
False
Suppose 3*k - 68 = 5*z, 48 = 5*k + 2*z - 55. Let n be (3/(k/(-2)))/((-6)/84). Suppose -n*t - 351 = 5*t. Is t smaller than -40?
False
Let b(s) = 6*s + 59. Let x be b(-9). Suppose -49 = -5*i - x*m + 81, 0 = -i + 4*m + 51. Which is greater: i or 3?
i
Let i = 1353 + -15039/11. Do i and -15 have different values?
True
Suppose 0 = -77*p + 182*p - 82*p - 33419. Which is smaller: 0.3 or p?
0.3
Let b = 0.245 + -0.263. Let o = b + -0.982. Do o and 0.85 have the same value?
False
Suppose -86*s + 102*s = -2080. Is s not equal to -130?
False
Suppose 0 = 32*h + 50*h - 897271 + 105971. Which is smaller: h or 9651?
h
Let t = -697.1 - -697. Which is bigger: t or 1444?
1444
Let y be 11/(-308)*12 + (-2)/(538062/(-115257)). Is y less than or equal to 0?
True
Let v be 2/((-28)/5)*(-58)/(-145). Let t = 0.0793 - -0.0207. Are v and t equal?
False
Let v be (571164/198)/(1 - 52/24). Is -2472 greater than v?
True
Let d = 4337 - 4114. Which is smaller: d or 7?
7
Suppose 1683*h - 1769*h - 86 = 0. Which is smaller: -1833 or h?
-1833
Let n = -11.557 + 9.797. Are n and -8/11 non-equal?
True
Suppose 55*n - 88 = 1315 - 138. Is n at most as big as 11?
False
Suppose -v - 9 = 2*v. Let s be 6/((-24)/(-4)) + v. Which is smaller: s or -3/4?
s
Suppose -5*t + 3 = o - 22, o - 11 = 2*t. Let d = o + -30. Is d less than or equal to -15?
True
Let n = 67 - 267. Is 0 greater than or equal to n?
True
Let c = -10600 + 10622. Let y = -0.07 + 2.07. Is c < y?
False
Let g(i) = 2*i**3 - 41*i**2 + 20*i + 3. Let j be g(20). Suppose -2*b + j*b - 6*b = 0. Which is smaller: -1/708 or b?
-1/708
Let s(z) be the second derivative of -z**5/20 + 3*z**4/4 + z**3/3 - 37*z**2/2 - 294*z. Let y be s(7). Are 75 and y unequal?
False
Let l = -7232 - -2262. Is -4970 greater than or equal to l?
True
Let v be (2 + 0)/(6/348). Suppose 124*i + 136 = v*i. Are i and -17 unequal?
False
Let a = -22.7 + -18.3. Let h = a - -14. Is h at most -0.4?
True
Let z = -144278/5 + 28855. Let f = 0 - 0.2. Let x = 0 - f. Which is greater: z or x?
x
Suppose 59*m = -227*m + 47762. Let o(t) = 24*t - 1. Let c be o(7). Is c at most as big as m?
True
Let j(w) = w**3 - 5*w + 6. Let n be j(4). Let i = n - 103/2. Let v = 4928 - 4931. Is v != i?
True
Let u be 1124128/1380 + 4/10. Suppose 7335 = 4*t + 5*t. Let l = u - t. Do l and 0 have the same value?
False
Let n = 269 - 257. Let a = n + 33. Is a at most as big as 48?
True
Let p(u) be the first derivative of 7*u**2/2 - 46*u + 4. Let w be p(7). Suppose -w*v + 5*t - 18 + 69 = 0, 0 = -v + 4*t + 17. Does 18 = v?
False
Let s = 7/108 + -1777/756. Let m(b) = -8*b + 64. Let j be m(7). Let c = j - 10. Is c at least s?
True
Let y be 3/(-1)*(-14 - 12584/(-897)). Let j(h) = -h**2 - 10*h + 2. Let f be j(-10). Suppose f*i + 4*i + 6 = 0. Are y and i nonequal?
True
Let z = 323671/36 + -8991. Is z at least as big as -1?
True
Suppose 4*q - 5*x + 95 = 0, 5*q - 9*x + 130 = -5*x. Let w = -30 - q. Which is bigger: w or 5/51?
5/51
Let g(p) = -p**3 - 4*p**2 + 6*p + 7. Let a be g(-5). Let r(u) = 5*u**a + 13*u + 20*u + 11*u + 6 - 3*u. Let d be r(-8). Which is bigger: d or -7/5?
-7/5
Let b be (-1 + 2 + 1)*1. Let p be ((-382)/6303)/((-2)/5 - (-291)/765). Which is smaller: p or b?
b
Suppose -130 = -5*a - 25. Suppose 6 = a*w - 19*w. Let z be 1/3*(-1)/w. Which is greater: z or 1?
1
Let k(t) = -t**2 - 6*t + 112. Let m be k(8). Which is greater: 0.1119 or m?
0.1119
Let t be (-2)/10*-1 + (-2553)/115. Which is smaller: t or -18?
t
Let b = 0.6 - 0.1. Let i(x) = 393*x + 2725. Let a be i(-7). Is a >= b?
False
Let o = -10447/36895 - -86/235. Which is bigger: 0 or o?
o
Let k(j) = -5*j**3 - j**2 - j. Let d be k(-1). Suppose -1 - 9 = -d*p. Suppose 0 = p*a + 4*h - h - 6, -5*h = -5*a - 10. Which is greater: a or -6/7?
a
Let l = 12.57 + -12.5. Let i = 20 - 7. Suppose 4*s = 5*t - 9 - 21, -4*t + s = -i. Which is bigger: t or l?
t
Let d(i) = -9*i - 28. Let l(u) = -6*u - 19. Let s(h) = 5*d(h) - 7*l(h). Let q be s(4). Let z(t) = -17*t**2 + t. Let c be z(-1). Is c > q?
True
Let j be 962/39*(-1 - 17)/3. Let a = j - -585/4. Which is smaller: -1 or a?
a
Suppose 5*h + 5 = m, -6*h = -2*h. Let f(w) = -4*w**2 + 2*w + 13. Let r be f(m). Is r > -77?
False
Let p = 3347766/181 - 18496. Which is bigger: -1 or p?
p
Suppose -i + 2*c - 11 = 0, -3*i + 7*i = -4*c + 4. Let o be i/(-7) - (-12)/21. Suppose -o + 9 = 4*d. Is d > 6?
False
Let x = 7873 - 3991621/507. Which is smaller: 1 or x?
x
Let j = -3775 - -3828. Is 4 >= j?
False
Let g(z) = z**3 - 6*z**2 - 3*z + 2. Let m be g(4). Let o = -477 + 520. Let u = m + o. Which is smaller: -2/67 or u?
-2/67
Suppose y - 7*y + 48 = 18*y. Let b = 3 + -4. Let c = b - -0.6. Are c and y nonequal?
True
Let n = 5083.03 + -5007. Let h = n + -76. Which is smaller: h or -14?
-14
Let l = -3/625 + -1241/1875. Let o = -22 - 39. Which is smaller: o or l?
o
Let o(i) = i**2 + 9*i - 32. Let g be o(3). Suppose -g*m + 13 = -4*v + 1, -4*v - 3*m = 5. Is -48/55 <= v?
False
Let u(s) = 30*s. Let a be u(1). Suppose -q + 2*t = 7, -3*q + 3*t = 8*t + 32. Let v be q/((-24)/400*5). Is a < v?
False
Suppose 70*c = -56308 + 433188. Is 5383 greater than c?
False
Suppose -3*x + 69*o + 10026 = 66*o, 12 = 4*o. Which is smaller: x or 0?
0
Let m(n) = 12*n - 63. Let z be m(5). Let i be 312/2288*(-15 - 1). Is z bigger than i?
False
Let y(h) = -32*h - 26*h + 71*h - 88 - 4*h**2 - 25*h. Let j be y(-5). Which is bigger: -129 or j?
j
Let o = -276.1 - -363. Let b = 87 - o. Which is bigger: -2/187 or b?
b
Suppose -13*v - 165 = -10*v. Let f be (-5 - -2) + (v - 2). Let a = -59 - f. Is 1/46 not equal to a?
True
Suppose 0*k + k - 25 = -u, 40 = 3*u - 4*k. Suppose 4*i + 2*y = y + u, -y - 20 = -4*i. Suppose -n + 5*h = -16, -i*h - 10 = 10. Which is greater: n or -29/7?
n
Let x be ((-1367)/(-7))/(-11 - (-1170)/105). Is 4099/3 at least x?
False
Let x be (-5)/((-15)/432) - 10/(-5). Let o = x - 147. Is -49 at least as big as o?
False
Let t = 4168 + 1654. Is t not equal to 5822?
False
Let r = -28966 - -29000. Let a(i) = i**3 - 5*i**2 + i - 10. Let m be a(6). Which is greater: m or r?
r
Let c be (((-28101)/(-760))/17)/(8/(-10)). Which is smaller: -2 or c?
c
Suppose -l = l - 444. Suppose 3*r = 9*r - l. Let j = r - 38. Do j and -1/9 have the same value?
False
Let g be -3 + (-469)/(-140) - (-24)/(-40). Is g greater than 0.4121?
False
Let i = 303 - 324. Let q be ((-45)/14 - -3)/(6/i). Are q and 2/7 equal?
False
Suppose -142 = 95*l - 142. Let t(c) = c**2 + 2*c - 4. Let d be t(-5). Is l less than d?
True
Suppose 213*w + 97 = 663 + 286. Let f = 806 + -10432/13. Which is bigger: w or f?
w
Let r be (-17858063)/20293 - -2*(-1)/(-13). Which is bigger: -880 or r?
r
Let t be (-24)/(-14)*((-8 - -13) + 46113/(-9210)). Is t <= 1?
True
Suppose -7*m + 587853 = -31*m - 255*m. Which is smaller: -2105 or m?
m
Let r = 404429/126 + -6423/2. Which is greater: r or -1?
-1
Let r = 5233 + -5233. Let s be ((-1)/2)/(43/4). Is r equal to s?
False
Let c(b) = b**2 + 21*b + 80. Let i be c(-16). Suppose i = -5*g - 0*a - 4*a - 199, -5*a + 190 = -5*g. Which is greater: -115/3 or g?
-115/3
Let t be 24/(-16)*(-3 - (-20)/12). Suppose -3 = -u + t*f - 0*f, -3*f - 1 = -2*u. Which is greater: u or 3?
3
Let w = -63.78 - -63.2109. Is w bigger than 0.1?
False
Let k = -86 + 520. Let v be (200/1750)/(1 + (-422)/k). Which is smaller: 3 or v?
3
Let h be 8/(-28) + (600/42 - 1). Let a(m) = 8*m - 93. Let v be a(h). Is v less than 51/5?
False
Suppose -25*z - 21*z + 54262 + 231812 = 0. Is 6219 not equal to z?
False
Suppose -20 = 6*l - 10*l, l - 11 = -2*y. Let f(o) = 6*o**3 - 11*o**2 - 6*o + 3. Let q be f(y). Which is greater: q or 142/3?
q
Let u = 88.6 + -86. Let a = 2.577 - u. Let g = -0.177 + a. Is g bigger than -5?
True
Suppose 0 = -2*t + 3*g + 850, 4*t + 5*g - 997 - 747 = 0. Suppose -71 = 8*l - t. Let