derivative of -n**4/12 + 23*n**3/6 - 42*n**2 - 2*n - 10. Is 9 a factor of x(8)?
True
Is 62 a factor of 1787/(-4)*((-4)/3)/(64/576)?
False
Suppose 2*l = -0*l + 1112. Suppose -19 = 30*p - 169. Suppose 0 = -p*o + l + 329. Is o a multiple of 36?
False
Let a(k) = k**3 + 11*k**2 - 11. Let g be a(-11). Let n(j) = 3*j - 24. Let s be n(g). Let y = s - -77. Is y a multiple of 20?
True
Let l(h) = 3*h**2 - 63*h + 1854. Does 11 divide l(-52)?
False
Suppose z = -3*g + 26, -g + 4*z - 17 = -4. Let x(q) = -q**3 + 9*q**2 - 7*q - 2. Let c be x(g). Suppose -4*i + c + 105 = 0. Is i a multiple of 17?
False
Suppose -151*g = -130*g - 226674. Suppose -25983 = -41*s + g. Does 13 divide s?
True
Let h(g) = -23*g**2 - g - 13. Let k(m) = -m**3 - 47*m**2 - 2*m - 25. Let z(n) = -7*h(n) + 3*k(n). Is z(6) a multiple of 4?
False
Suppose -10*t = -43 - 17. Suppose -y + 5*j + 12 = 0, t = -3*y + 5*y - j. Does 53 divide -3 - (y - (147 - -3))?
False
Suppose 37*t = 14*t + 989. Suppose t*c - 34*c - 3564 = 0. Does 12 divide c?
True
Let c = -214 - -217. Suppose 7*s - 4*s + 303 = 3*m, -c*s = 3*m - 321. Does 7 divide m?
False
Is (-43 + -3)/(((-12)/(-1710))/((-2)/10)) a multiple of 4?
False
Let k(x) = -x**3 - 19*x**2 - 21*x + 25. Let v be k(-18). Suppose 0 = 4*u - 3*g - v, 5*g = -u - 2*u + 52. Suppose u*l = 22*l - 60. Is l a multiple of 4?
True
Suppose -5*q - 3210 = -75*q + 4420. Suppose 4*k + 4*r - 2*r = 230, 0 = -k - 5*r + 44. Let n = q - k. Is n a multiple of 5?
True
Suppose k = 2*n - 11453, -3*k - 3 = 6. Suppose -n = -15*h - 1780. Is h a multiple of 19?
False
Let c be (-8)/3*((-243)/4)/9. Is -2 - 84/c*-12 a multiple of 6?
True
Let o(j) = 16624*j - 2834. Does 6 divide o(2)?
True
Let f(a) = a**2 + 3*a + 104. Let v(x) = 11*x**2 + 2*x. Let d be v(1). Is 17 a factor of f(d)?
False
Let b(a) = 1 + 9 + 8 + 9 + 7*a. Suppose 6*s = 7*s - 11. Does 14 divide b(s)?
False
Suppose -4*t + 14284 = -90*m + 92*m, 4*m = -t + 28610. Does 14 divide m?
True
Let s(f) be the first derivative of f**4/2 + f**3/3 - 2*f**2 - 21*f - 23. Let z(c) be the first derivative of s(c). Is z(3) a multiple of 28?
True
Let k be (-69)/4*24/(-9). Let u = -2952 + 3046. Let a = u - k. Is a a multiple of 6?
True
Suppose -4*z = -5*g - 6068, -2*g = -g - 4. Let i be 3/2 + -1*z/(-4). Let x = i - 266. Is 14 a factor of x?
False
Let v = 164 - 162. Suppose 3*p - 748 - 317 = -3*o, 712 = v*o + p. Is 9 a factor of o?
False
Let q = 1887 - 867. Is 30 a factor of q?
True
Let r = -24903 + 44403. Is 50 a factor of r?
True
Let v = 158 - 136. Let z(m) = 27*m + 176. Does 11 divide z(v)?
True
Suppose -2*f - 4*v = -256, -2*f + 4*f = 2*v + 268. Is (5 + 12/(-4))*(f + 16) a multiple of 8?
True
Let f(g) = -7*g - 1 + 50*g**2 - 6 + 0. Suppose -10504 + 10512 = -8*l. Is f(l) a multiple of 10?
True
Suppose -2*z = w + 1, -2*z - 1 = 9. Suppose 0 = -4*l + w*l - 1680. Is l a multiple of 12?
True
Suppose 5*v - 18 = -v. Suppose -8 = b + 2*f, 4*f - 3 + 19 = -v*b. Suppose 4*t - 543 + 68 = -5*d, t - 2*d - 122 = b. Does 24 divide t?
True
Suppose -31*u = -19426 + 73614. Let z = u + 2630. Does 42 divide z?
True
Let i(s) = 3*s**2 - 63*s - 56. Let z be i(22). Suppose -z*l - 4*l + 798 = 0. Does 3 divide l?
True
Let o(f) = -2*f - 20. Let z be o(18). Let b be (4 - z/(-12))*285/(-10). Suppose -420 = -23*d + b*d. Is d a multiple of 22?
False
Let u be 0/(-4)*((-15)/(-6) + -3). Suppose -21*v + 7433 + 8191 = u. Is 12 a factor of v?
True
Let u(h) = 40*h. Let p be u(-4). Let o = 479 + p. Suppose o = 2*d + 133. Is d a multiple of 31?
True
Let s be (5 + 144)*(-1)/1. Let v = -466 + 262. Let w = s - v. Is w a multiple of 13?
False
Let c be (-16)/(-3)*(3/(-4))/(-1). Suppose -3*o - 4*f + 690 = -9*f, -c*f + 888 = 4*o. Does 25 divide o?
True
Let x(l) = -32*l + 15. Let a = 77 + -72. Let i(t) = 16*t - 7. Let f(k) = a*i(k) + 2*x(k). Does 5 divide f(5)?
True
Suppose -3*k - 15 + 3 = 0. Let a be 4/(k*(-5)/15). Suppose 0 = -a*h + 4*x + 588, 2*h - 392 = 2*x + x. Is h a multiple of 14?
True
Let f(s) = -s**2 - 28*s + 31. Let x be ((-225)/10)/(9/12). Let q be f(x). Let t = q + 122. Is t a multiple of 14?
False
Let y(h) = -3702*h - 6328. Is 106 a factor of y(-4)?
True
Let c = -324 - -22. Let p = 432 + c. Does 13 divide p?
True
Let y(j) = -4*j**2 - 6*j + 20. Let c be y(-7). Let i = -130 - c. Is 4 a factor of i?
True
Let r be 6/2*((-197)/(-3) - 3). Let g = 668 - r. Does 24 divide g?
True
Suppose 2*g = -5*t + 3705, 1102 - 8526 = -4*g + 4*t. Does 53 divide g?
True
Let g(k) = -2*k**2 + 176*k + 413. Does 19 divide g(73)?
True
Let x(q) = -q**3 - 13*q**2 - 11*q + 11. Let o be x(-12). Let u be -57*1*(4 - (-39)/(-9)). Let l = o + u. Is 18 a factor of l?
True
Is 5094*(1 + 0 + 0) a multiple of 18?
True
Let d = 4071 + 60. Is d a multiple of 51?
True
Let w be 52/10 + 6/(-30). Suppose -w*n - 5*c = -85, c - 20 = -n - c. Suppose n*g + 54 = 15*g. Is g a multiple of 18?
True
Let a(l) = 2*l + 13. Let i be a(-9). Let c(g) = -g**2 + 5*g - 6. Let s(w) = w**2 - 6*w + 7. Let j(r) = i*c(r) - 4*s(r). Does 14 divide j(-10)?
True
Let o = 83989 - 26659. Is 315 a factor of o?
True
Let u(x) = 36*x**2 - x. Let b be u(1). Let h = b - 70. Let j = h - -39. Does 4 divide j?
True
Let k(g) = 9*g**3 + 99*g**2 + 20*g - 5. Let v be k(-9). Let n = v - 743. Is n a multiple of 53?
True
Let s be (-30)/(-40)*-114*2/(-3). Suppose 99 = 6*u - s. Does 26 divide u?
True
Let x(k) be the second derivative of k**4/2 + 5*k**3 - 115*k**2/2 + 44*k. Does 7 divide x(5)?
False
Is (-34808)/(7 - (-3 - -17 - 60/12)) a multiple of 76?
True
Let i = 77 + -74. Suppose 5*n + u - 2353 = n, 9 = -i*u. Is (-4)/14 + n*10/35 a multiple of 38?
False
Suppose -480 = 9*q - q. Let n = q + 99. Suppose -n = -2*h + 15. Is h a multiple of 4?
False
Does 41 divide (-1)/(((-34)/(-102))/(-368 - 1))?
True
Suppose 6902 - 91052 = -110*z. Is z a multiple of 15?
True
Suppose -t - 2*b + 990 = b, -2*t = 3*b - 1995. Suppose 4*p = -2*m + 558, -4*m + t + 147 = -p. Does 41 divide m?
True
Let o = -517 - -526. Does 5 divide (268/28 + -1)*42/o?
True
Let c be (18*5)/(-1 + 2). Suppose -50*t - 82 = 118. Let z = c + t. Does 43 divide z?
True
Suppose 3*f + f - 2513 = -5*d, 2*f - 5*d = 1249. Let r = -115 + f. Does 10 divide r?
False
Let x = 29 - 15. Suppose 4*f - 2*u = -74, 37 = -3*f + 3*u - x. Let l = f - -56. Does 19 divide l?
False
Let i(c) = -c**2 + c + 1. Let d(x) = 4*x**2 - 5*x - 2. Let h(t) = 2*d(t) + 6*i(t). Is h(3) a multiple of 8?
True
Is 2/(-6)*(-2 - -5 - 40812) a multiple of 25?
False
Suppose u - 5*u - 28 = 0. Let c be u - (-2 - 0)/(-2). Is c/6 + 91/3 a multiple of 5?
False
Suppose 5*t - 14500 = -i, -100 = t - 96. Is 60 a factor of i?
True
Suppose -8*z = -v + 21194, -5*z = -4*v + 68654 + 16149. Does 168 divide v?
False
Suppose 0 = -r - 11*r. Suppose r = 2*z - 2*j - 130, 0 = 2*j + j. Does 13 divide z?
True
Suppose 2*f + 14 = -5*m, m + f - 3*f - 2 = 0. Let w(r) = -2*r**3 - 2*r**2 + 3*r + 2. Let p be w(m). Suppose 0 = -0*v + p*v - 180. Is 4 a factor of v?
False
Let x = -2 + 7. Suppose 5*c = g - 3, -18 = -3*g + x*c + 21. Does 6 divide (6 - 2) + 2 + g?
True
Let i = -4053 - -9354. Is i a multiple of 19?
True
Suppose f = 5*x + 2752, 14*f - 12*f = -5*x + 5579. Does 20 divide f?
False
Let d be (6 - (-4680)/(-8))/(-1). Let t = d - 234. Is t a multiple of 23?
True
Let d = 347 - -147. Suppose 8*f - d = 1826. Does 58 divide f?
True
Let m = 14 - -26. Let o = 42 - m. Let w(z) = 5*z**2 - z + 2. Is w(o) a multiple of 10?
True
Let s(q) = 240*q + 59. Let c(i) = 3*i**2 + 40*i + 17. Let m be c(-13). Does 66 divide s(m)?
False
Let q = -123 - -127. Suppose -2*u + 8 = q. Suppose -38 = -4*j + v + 55, -66 = -3*j + u*v. Does 7 divide j?
False
Suppose -t = -4*l - 5537, -4*t - 2*l = -3*t - 5495. Is t a multiple of 10?
False
Let v(s) = 2*s**3 + 5*s**2 + 16*s - 551. Is 29 a factor of v(18)?
True
Suppose -8*a + 2*k = -6*a - 32534, a = 2*k + 16264. Is a a multiple of 44?
False
Let t(w) = 15*w**3 - 5*w**2 + w + 6. Let p be t(2). Let c = 195 - p. Is c a multiple of 4?
False
Suppose 2*i - u = 2*u - 1221, 0 = -i + 3*u - 612. Let g = 1197 + i. Is g a multiple of 28?
True
Suppose 0 = 2090*i - 2054*i - 63180. Is i a multiple of 13?
True
Suppose 8*f = -37*f + 31725. Suppose -63*y + f = u - 59*y, 5*u - 3480 = -5*y. Is u a multiple of 32?
False
Is 23 a factor of (0 + -1)*(-152 + -450)?
False
Let d be 3*(-2)/(-3) + (-1 - -1). Suppose -d