p**3 - 4 + 0*p - p**2. Let w(a) = 36*a**3 - 3*a**2 - 3*a - 8. Let x(k) = 5*b(k) - 3*w(k). Is x(-2) a multiple of 39?
True
Suppose -154*c = -175*c + 321678. Is c a multiple of 37?
True
Let z = 64 - 46. Let b = z + -12. Suppose 264 = -4*g + b*g. Is 33 a factor of g?
True
Suppose 17 + 31 = 6*k. Suppose 4*w = -5*z + 1, k = 5*w - 4*z + 8*z. Suppose 0 = 4*r - p - 577, -w*p + 95 + 621 = 5*r. Does 9 divide r?
True
Suppose -4*f - 29719 = -7*f - 4*r, f - 9919 = 5*r. Is 3 a factor of ((f/6)/(-9))/((-3)/6)?
False
Suppose 4*v + 5*u = 0, 2*v + 3*u + 5 - 7 = 0. Let j = -13 + v. Is 9/((j/(-20))/(192/20)) a multiple of 8?
True
Let w = -40 + 43. Let x(m) = 74*m**2 - 9*m + 9. Is x(w) a multiple of 81?
True
Is 14 a factor of (-249706)/(-10) + 6 - (-12)/(-20)?
True
Suppose 5*o = -2*s + 200, 4*o - 2*s - 147 = -s. Let h = 55 - o. Let u = h + 96. Is u a multiple of 15?
False
Let r = 2181 - 1405. Suppose r + 52 = 3*p. Does 6 divide p?
True
Let x(v) = -v**3 + 18*v**2 - 18*v - 39. Suppose -j + 5 = -3*y + 1, -5*j - 3*y = -92. Is x(j) a multiple of 30?
False
Let s = 14 - 8. Let q = 1 + 3. Is q*(-3)/s + 79 a multiple of 17?
False
Let y = 72 - 70. Suppose 0*b + b - 52 = 3*j, -j - 84 = -y*b. Suppose b*s + 264 = 48*s. Is s a multiple of 10?
False
Let i(a) = -a + 1. Let n be i(-4). Suppose 3*g - 1242 = -5*w, n*w - g - 1218 = 2*g. Does 6 divide w?
True
Suppose -343 - 1808 = -w - 2*n, 10728 = 5*w + n. Does 65 divide w?
True
Let x = -3803 - -5861. Does 14 divide x?
True
Suppose q - 3*d = -2*q + 12, -3*q - 5*d + 4 = 0. Suppose -3*o + 559 = -3*j + 31, 0 = -q*j. Does 16 divide o?
True
Suppose 10 = -6*t + 8*t. Suppose 0 = -t*r + 10 + 10. Is (-1785)/(-135) - r*2/36 even?
False
Let g(i) be the second derivative of i**5/20 + 5*i**4/12 + i**3/6 - 17*i**2/2 + 15*i. Let o(t) be the first derivative of g(t). Is o(-8) a multiple of 11?
False
Is 22 a factor of (2569 - 3 - 6) + -14?
False
Let y(z) = 4*z**3 - 2*z**2 - 25*z - 1. Let d be y(9). Does 70 divide 32/(-24) + d/6?
True
Let a(k) = 3*k - 21. Let m(l) = 3*l - 20. Let y(g) = 7*a(g) - 6*m(g). Does 13 divide y(22)?
True
Let n = 3 - -4. Suppose -n*x + 363 + 57 = 0. Is 5 a factor of ((x/7)/1)/((-18)/(-126))?
True
Suppose 0 = -4*z + h + 2571, 3*h = -3*z + 1594 + 338. Is 4 a factor of z?
False
Suppose 641 = 3*d + 68. Suppose -8*j = -2*f - 3*j + 84, -5*f = -3*j - d. Does 6 divide f?
False
Let d be ((-24)/16)/((-3)/14). Let f be (-4)/(-14) - (-82)/d. Let a = 42 - f. Does 15 divide a?
True
Let i(q) = -3*q + 45. Let l be i(14). Let w be (4/(-3))/(l + (-195)/63). Suppose -2*b - w*b + 912 = 0. Does 19 divide b?
True
Suppose 7*w - 26 = -47. Does 20 divide (-1173)/34*46/w?
False
Suppose -18*c = -20*c + 72. Let x(a) = a**2 - 2*a - 63. Let v be x(9). Suppose l - 4*l + c = v. Is 6 a factor of l?
True
Suppose 47 = -k - 2*a, -4*k + 3*k + 5*a - 19 = 0. Let s = k + -19. Is s/(-145) + (-1696)/(-10) a multiple of 20?
False
Let l(p) = -12*p + 1009. Is 5 a factor of l(47)?
True
Let c(k) = -2 - 16*k - 20*k - 15*k + 51*k + 72*k**2. Does 14 divide c(1)?
True
Does 17 divide -1 - -2 - (324 - 25618)?
False
Let d(p) = 3*p**2 + 2*p + 3. Let m be d(4). Suppose 3*c - 7 - 32 = -3*t, 4*c - m = 3*t. Suppose 3*v + 2 - c = 0. Is v a multiple of 4?
True
Suppose 3*n = 66 - 75. Let q = 31 - n. Suppose -q*b + 465 = -31*b. Is 15 a factor of b?
False
Let k = -46 + 50. Let w be 0/(6/(k + -7)). Suppose w = -2*q + 9*q - 49. Is q a multiple of 3?
False
Let y = 400 - 780. Is ((-15)/5 - y) + -5 + 1 a multiple of 13?
False
Let y(f) be the third derivative of -83*f**4/24 - 7*f**3/6 + 23*f**2 + f. Is y(-1) a multiple of 38?
True
Let j(i) be the third derivative of -i**6/120 - i**5/60 + i**4/8 + 7*i**3/6 - 31*i**2. Is j(-3) a multiple of 6?
False
Let r(p) be the second derivative of 7*p**5/120 - 5*p**4/12 - 17*p**3/6 + 16*p. Let j(z) be the second derivative of r(z). Is j(10) a multiple of 30?
True
Suppose -35*k - 65*k = -5000. Let j = 197 - 83. Suppose -4*c = 3*f - c - j, k = f - 2*c. Is f a multiple of 21?
True
Let a = 0 - 14. Let z = a - -16. Suppose -z*k - v = k - 194, -3*v = -5*k + 328. Is 17 a factor of k?
False
Let g(n) = -279*n + 241. Let q be g(-39). Suppose -9*b = -q + 619. Is 60 a factor of b?
False
Suppose 10*p + 17 = 7. Is ((-76)/(-266))/(p/(-3787)) a multiple of 27?
False
Suppose 33962 = 36*a + 3182. Let b = a - 575. Is b a multiple of 14?
True
Suppose -3*d + 7*u + 2094 = 114, 3*u - 676 = -d. Is d even?
False
Let c be (-10)/3 + 36/(-54) - -750. Let r = -278 + c. Does 39 divide r?
True
Let b = 939 - 933. Is (b + 60/(-9))*-183*3 a multiple of 21?
False
Let s = -17675 + 20445. Is s a multiple of 30?
False
Suppose -7*j + 61 - 26 = 0. Suppose -12*p = -j*p - 4025. Is p a multiple of 61?
False
Let q(d) = 3*d**2 - 26*d - 48. Let x be q(25). Let h = x - -147. Is 36 a factor of h?
False
Suppose 5*f + 237 = 12. Let v = f + 180. Is v a multiple of 10?
False
Suppose 2*w = -5*o - 0*w + 48, -5*o + 60 = 5*w. Suppose 25 = -o*q - 55. Is 13 a factor of ((-104)/(-12))/(q/(-75))?
True
Suppose -4*t = -h + 757, -70*h + 67*h - 5*t + 2373 = 0. Is h a multiple of 2?
False
Let v be (-11)/3*24/(-16)*2. Suppose -v*y + 4140 = 4*y. Is 21 a factor of y?
False
Let u = -567 + 374. Let o = 307 + u. Is 31 a factor of o?
False
Let t = 3334 - -4408. Is t a multiple of 79?
True
Suppose 44137 - 110825 = -32*l. Does 17 divide l?
False
Let g = -31 - -35. Suppose -5*t - q = -6*q - 25, -2*q = g*t - 8. Let h(s) = 5*s**3 - 7*s**2 + 6*s + 6. Is h(t) a multiple of 24?
True
Let v(m) = m**2 - 24*m + 22. Let f be v(25). Let s = 53 - f. Suppose 5*z - s = 534. Is 18 a factor of z?
True
Let s(u) = -73*u - 32. Let b = -263 - -258. Is 37 a factor of s(b)?
True
Let l(z) be the first derivative of z**3/3 + 6*z**2 - 38*z + 6. Let n be l(-18). Suppose 0 = 4*a + 2*t - n, 2*a - 6*a = -t - 55. Does 5 divide a?
True
Suppose 5*z = 14*z. Suppose z = -b - 31 - 47. Let i = 127 + b. Is i a multiple of 7?
True
Let a = -77 - -71. Suppose -4*r = -2*r - 2. Is r - 97/a - 82/492 a multiple of 6?
False
Does 18 divide ((-260)/(-15))/((-20)/(-63720))?
True
Suppose 2*m - 4389 = -5*m. Suppose 14*u - m = 423. Does 75 divide u?
True
Does 140 divide 3/((-60)/(-520120)) - 8?
False
Let p be (37 - -16)/((-3)/(-2) - 1). Let g = p - 104. Suppose -g*v - 18 = -3*v. Is v a multiple of 3?
True
Let m(l) = 41*l**3 - 8*l**2 - 51*l + 286. Is m(8) a multiple of 13?
True
Suppose -6*z - 501 = -669. Let q(b) = -4*b**2 + 124*b - 6. Is 6 a factor of q(z)?
True
Does 2 divide (-4)/((-31)/((-59706)/(-24)))?
False
Is 28 a factor of (-3614)/(-3) + 70/1155*-11?
True
Let r be 14/(-63) + 176/(-18)*1. Let t be 4/r - 190/25. Is 189 - ((-18)/t - 2/8) a multiple of 25?
False
Suppose -2*q = -i - 72002, -16*q + 12*q - 2*i = -143996. Is 15 a factor of q?
True
Suppose -3*h + 2*h - 6*h = -110656. Is h a multiple of 64?
True
Let i(k) = -k**2 - 7*k + 11. Suppose 8 = -2*q, 4*q = -5*h - 11 - 30. Is 19 a factor of i(h)?
False
Let y(i) = 18*i**2 + 118*i + 1327. Is 6 a factor of y(-12)?
False
Let q(u) = 3*u**3 - 16*u**2 - 26*u + 226. Does 8 divide q(15)?
False
Let k(x) = -78*x - 169. Is k(-47) a multiple of 13?
True
Suppose o + 3*y + 14 = 5*o, -5*y + 25 = 3*o. Suppose 2*t - 7 = -o. Does 4 divide (8/20)/(t/30)?
True
Let w = -15441 + 29918. Is w a multiple of 31?
True
Suppose 0 = -4*z - 5*f - 24, 4*z - 5*f - 74 + 98 = 0. Let n(v) be the third derivative of -v**6/120 - v**5/12 - 5*v**4/8 - 2*v**3/3 + v**2. Does 47 divide n(z)?
False
Suppose 5*s - 3*x - 22 = -x, -5*x - 1 = s. Let m be ((-2)/(-3) - 0)/(s/12). Suppose 4*f = -5*q + 538, 2*f + m*f = -3*q + 534. Is 44 a factor of f?
True
Let r = -22 + 24. Suppose 0 = -3*i - r*w + 4*w + 271, 0 = -4*i - 5*w + 323. Is 57 a factor of i?
False
Let z = -2311 + 3817. Suppose -j = 1418 - z. Does 28 divide j?
False
Suppose 101 = 5*z + r - 55, 0 = 3*z + 4*r - 97. Suppose -3*i + z = 5*u, 5*u = -i + 10 + 7. Suppose -4*n + i*n - 81 = 0. Is n a multiple of 25?
False
Let n = -24 + 29. Let k = 7 - n. Suppose 5*j - 261 = -u, -k*j + 212 = 2*j + 4*u. Is 26 a factor of j?
True
Suppose 4*r + r + 4*f = 7425, -3*r - 2*f + 4455 = 0. Suppose r = 14*y - 12403. Is 61 a factor of y?
False
Let u = -714 - -5684. Does 71 divide u?
True
Let j(m) = 27*m**2 + 193*m + 7262. Is j(-50) a multiple of 13?
False
Let f(s) = -33*s + 162. Let p(w) = 17*w - 81. Let u(x) = -6*f(x) - 11*p(x). Is 8 a fac