e
Let d(l) = 46*l**2 + 32*l + 67. Is 29 a factor of d(-8)?
True
Suppose 2*s + 3*p = -0*p + 222, 3*s = 3*p + 348. Let m = -72 + s. Does 31 divide m?
False
Let o = 2 + 18. Suppose o + 16 = 4*m. Is m a multiple of 3?
True
Let p(z) be the second derivative of z**4/6 + 2*z**3 + 4*z**2 - 6*z + 2. Is 11 a factor of p(-10)?
True
Let j = 33 + -33. Is 29 a factor of (j - (-1 - -4))*(2 - 31)?
True
Suppose -3*x = -2*v - 85, 5*v - 54 = -4*x + 90. Let z = -18 + x. Is z a multiple of 12?
False
Let u(d) = 7*d**2 - 2*d + 6. Let c = -36 - -33. Is 30 a factor of u(c)?
False
Let k be 2/7 - (-771)/21. Let u = k + -13. Does 6 divide u?
True
Suppose 3*v = -50 + 293. Suppose -v = -5*t - 3*m + 235, -2*m = 6. Is 5 a factor of t?
True
Let r = -223 + 319. Suppose -q + r + 197 = 0. Is q a multiple of 17?
False
Let f = -1286 + 1346. Is 2 a factor of f?
True
Suppose -5*t + 73 = 4*a, 2*t + 9*a - 10*a = 37. Is t a multiple of 17?
True
Let t(v) = -4*v + 11. Let z be t(5). Let y be z/6*80/6. Let q = y + 47. Is q a multiple of 6?
False
Suppose -4*z + 3 = -9. Let s(y) be the first derivative of 9*y**2 + 104. Is s(z) a multiple of 21?
False
Let z = 52 - 110. Let y = z - -38. Is 5 a factor of (-195)/y + 1/4?
True
Let v be (-2)/(-1)*(-15)/(-6). Suppose -105 + 315 = v*p. Is 6 a factor of p?
True
Let q be 8*(-237)/12*1. Let j = 268 + q. Is 21 a factor of j?
False
Let n = 845 + 259. Does 16 divide n?
True
Let j = 716 - 446. Is j a multiple of 54?
True
Suppose 119*j - 134*j = -23355. Is 112 a factor of j?
False
Let a = 7 + -5. Suppose -4*z + 8 = h + 1, 0 = -a*z + 2*h + 6. Suppose -38 = -z*r - 10. Is 5 a factor of r?
False
Suppose 4*w = 3*k + 3258, -7*k + 2*k - 3262 = -4*w. Is w a multiple of 73?
False
Let j be 12/48 - 47/(-4). Let h(b) = 8*b - 19. Does 39 divide h(j)?
False
Let n(u) = 6*u**2 - 4*u - 6. Let c = 59 + -53. Is n(c) a multiple of 17?
False
Suppose -5*p - 20 = -q, -4*q - 4*p + 5 + 3 = 0. Let u be 2/q - (-2440)/25. Suppose -3*r + u = 2*k, -k = -r + 3*k + 42. Is 8 a factor of r?
False
Suppose -4*q + 8058 = z, -6034 = -23*q + 20*q + 4*z. Is q a multiple of 13?
False
Let j be ((-18)/7)/((-3)/14). Let f(t) = -2*t + 24. Let q be f(10). Suppose q*b = 84 + j. Is b a multiple of 12?
True
Suppose -3*m + 15 + 9 = 0. Let s = m + 55. Is 11 a factor of ((-5)/3)/((-3)/s)?
False
Let v(a) = 32 + 13 - 28*a - 8*a. Is v(-5) a multiple of 12?
False
Suppose 0 = -5*o + 13 + 62. Suppose 7*y + 104 = o*y. Is y even?
False
Let m(i) = -10*i**3 - 3*i**2 + i + 8. Is m(-3) a multiple of 4?
True
Suppose -632 = -14*h + 796. Is h a multiple of 3?
True
Let x = 296 - -417. Is x a multiple of 27?
False
Let r = 4320 + -2067. Is 27 a factor of r?
False
Let b = 265 + 97. Is b a multiple of 25?
False
Let d(g) = -11*g - 3*g - 34 + 10*g. Is 6 a factor of d(-13)?
True
Suppose s = -4*s. Let b be 4 + s - 12/4. Is 12 a factor of b*-45*16/(-12)?
True
Let z(l) = -4*l**3 - 3*l**2 - 2*l. Let k = 26 - 23. Let h be 18/12*(-4)/k. Does 4 divide z(h)?
True
Suppose 4*f + 5*c - 14145 = 0, -4*f - 15*c + 11*c = -14148. Is 15 a factor of f?
True
Let z(m) = -19*m**2 + 9*m - 5. Let a be z(3). Let c = 216 + a. Does 20 divide c?
False
Let s(z) = -z**3 + 10*z**2 + 7*z - 3. Let f be (4/6)/((-8)/(-120)). Let k be s(f). Suppose 5*r = 2*b - k, 5*r - 3*r = 6. Is b a multiple of 15?
False
Suppose -s - 1293 = -4*s. Suppose -q - 2*n - 2*n + 127 = 0, -3*q - 2*n = -s. Does 21 divide q?
True
Let p(w) = -4*w**2 - 4*w + 6*w**2 - 3 + 2*w**2 - 5*w**2. Let h be p(-3). Let o = h + 12. Is 3 a factor of o?
True
Let l = 2757 + -1591. Is 6 a factor of l?
False
Suppose 2*q - 5*j = 977, 0*q + 3*j + 1975 = 4*q. Is 16 a factor of q?
True
Let b be -3 + -3 + 8 + 0. Suppose -b + 32 = 3*c. Suppose x = 3*p - c, -8 - 2 = -5*p + 3*x. Is 2 a factor of p?
False
Suppose -15*z = -4032 - 753. Is 20 a factor of z?
False
Let t(k) = 3*k**3 + 3*k - 7. Let c be t(3). Suppose r + c + 159 = 5*w, 0 = 3*w - 4*r - 152. Is 12 a factor of w?
True
Let v be -13 + (-4)/4 + 4. Let a(b) = 12 - 3*b + b + 0*b. Does 16 divide a(v)?
True
Suppose -9*m - 246 + 651 = 0. Is 20 a factor of 6/(-4)*(-870)/m?
False
Let i(t) = -t**3 + t**2 + t + 24. Suppose -3*s + 6 = -z, -4*s = -4*z - z - 8. Is 4 a factor of i(z)?
True
Let w(d) = 2*d**2 - 18*d - 20. Is 12 a factor of w(17)?
True
Suppose -112*h + 108*h = -2268. Is 63 a factor of h?
True
Let d(c) = c**3 - 12*c**2 - 11*c - 28. Is 8 a factor of d(14)?
False
Suppose 0 = 6*c - c + 4*f - 143, -3*c + 87 = 2*f. Let v = c + -9. Is v a multiple of 4?
False
Let d be 2/((-8)/(-20) + 0). Suppose d*q = -5, 2*m - 124 = -4*q - 38. Does 15 divide m?
True
Let i = 4990 - 2974. Is 36 a factor of i?
True
Let m(c) = 5*c + 6*c**2 - 2*c**2 - 5 + 35 - c**2. Is m(-10) a multiple of 40?
True
Let o(j) = j - 5. Let l be o(7). Let r(x) = 2*x**2 + 4*x - 4. Let i(g) = -6*g**2 - 12*g + 13. Let h(n) = l*i(n) + 7*r(n). Does 10 divide h(-4)?
False
Is 46 a factor of (782*24/(-60))/(1/(-5))?
True
Let z = -1268 - -1538. Is z a multiple of 9?
True
Suppose 92*a - 96*a = -2432. Is a a multiple of 15?
False
Let r = 41 - 36. Suppose -r*d + 396 + 44 = 0. Is 11 a factor of d?
True
Let r(h) = 3*h - 12. Suppose 0 = -4*a - 13 - 7. Let s be r(a). Is 6 a factor of (-342)/s + 2/(-3)?
True
Suppose -418 = -4*s + 414. Is s a multiple of 26?
True
Suppose 84*a - 78*a - 16296 = 0. Is a a multiple of 28?
True
Let r = -72 + 75. Suppose -r*w = -4*d + 230 + 133, 2*d = -4*w + 176. Is 9 a factor of d?
True
Is (7 + -8)*(-3 + 0 - 1637) a multiple of 50?
False
Let a(y) be the third derivative of -y**6/120 - y**5/20 - y**4/4 - 5*y**2. Is a(-4) a multiple of 17?
False
Let w = -877 + 1312. Is w a multiple of 12?
False
Suppose -4*f + 1 = -5*l, -3*f - l + 15 = -0*f. Suppose -f*o + 10 = -10. Suppose -o*x - 104 = -2*k + 3, 173 = 3*k + 5*x. Is 14 a factor of k?
True
Suppose 0 = j - 6*j + 10. Suppose 2 = 2*h, 0*o - o + h = -29. Suppose -p + o = -d, 4*d + 32 + 28 = j*p. Is 15 a factor of p?
True
Does 56 divide ((-17)/(-2))/(45/4770)?
False
Suppose -4*v + 3*v = -2*y - 10, 4*v + 5*y = 1. Is 6 a factor of v - 0 - -9 - -4?
False
Let d(m) = 24*m - 153. Let f(o) = -8*o + 51. Let n(s) = 6*d(s) + 17*f(s). Does 15 divide n(13)?
False
Let o(i) = 2*i**2 - 5*i - 21. Is 17 a factor of o(-13)?
False
Suppose -114 = -f - 16*h + 17*h, -5*f + 2*h + 564 = 0. Is f a multiple of 21?
False
Is 43 a factor of ((-783)/4)/(18/(-96))?
False
Let v be (-129)/(-4) + (-8)/32. Suppose 4*l + 0*l + v = 0. Let a = 22 + l. Is a a multiple of 9?
False
Let d = 4961 + -1991. Is d a multiple of 54?
True
Suppose 5*a + 10 = -0*a, -k + 334 = 3*a. Is 20 a factor of k?
True
Is 11 a factor of 3 - -1 - -2318 - 2?
False
Let k(j) = 8*j + 6. Let v(c) be the third derivative of -5*c**4/8 - 11*c**3/6 + 5*c**2. Let t(m) = -11*k(m) - 6*v(m). Is 3 a factor of t(5)?
False
Let q be -4 - -4 - 0 - -14. Let i = q - 13. Does 9 divide 3 + 14 + (i - 1)?
False
Suppose -3*p + 7*p = -0*p. Suppose p = 2*g - 4*g + 84. Is 14 a factor of g?
True
Let y(v) = -v**3 + 9*v**2 - 6*v - 8. Let l be y(8). Let k(b) = 3*b**3 - b. Let x be k(1). Suppose x*z - z = l. Is 4 a factor of z?
True
Let s(t) = t**3 + t + 0*t**3 - 1 + 6. Let i be s(0). Suppose -3*h - 14 = 1, 0 = -i*o - 5*h - 5. Is 4 a factor of o?
True
Suppose -12 = -3*t, -3*r + 25 = -2*r + 5*t. Suppose -196 = -r*f + 204. Does 22 divide f?
False
Let u(d) be the second derivative of -d**3/6 - 5*d**2/2 + 4*d. Let x be u(-7). Suppose -2*b + 39 = -b - x*i, -5*b = -i - 240. Does 17 divide b?
False
Let w be ((-8)/6)/(18/(-27)). Is (3 - 3) + (w - 2) + 14 a multiple of 2?
True
Suppose -18 - 7 = 5*o, -505 = -5*k + 3*o. Is k a multiple of 7?
True
Let h(q) = -q + 21. Let r be h(6). Let j = r - 8. Does 2 divide j?
False
Let l be -223 + -3 + 1 + 1. Let r = -152 - l. Let b = r + -43. Is b a multiple of 29?
True
Suppose 8 = 2*o, 4*i - i + 5*o = 1658. Does 78 divide i?
True
Suppose 3*s - 4 = -1. Does 6 divide 2*s*375/30?
False
Does 80 divide 16/(((-57)/380)/(15/(-4)))?
True
Let j(z) = -2*z**3 + z**2 + z + 1. Let y be j(-1). Let r(t) = t**2 - t. Let i(u) = 7*u**2 - 11*u. Let s(b) = -i(b) + 6*r(b). Is 2 a factor of s(y)?
True
Suppose -5*x + 75 = 3*q, 50 = 4*q - 2*q - 3*x. Is 99/((q/5)/5) a multiple of 9?
True
Is ((-10)/(-6) - 1)/((-8)/(-3204)) a multiple of 3?
True
Suppose -4*l + 1376 = -1028. Is 47 a factor of l?
False
Suppose -6*f + 54 = -42. Suppose 4*x + 0*x = f. 