-28*v**2 + 35*v - 38. Is q(-5) a multiple of 35?
True
Let s(k) be the first derivative of -k**3 + 4*k**2 - 5*k + 13. Let p(h) = -4*h**2 + 12*h - 8. Let b(j) = -5*p(j) + 7*s(j). Is b(-4) a multiple of 5?
True
Suppose 5*r - 360 = -4*r. Suppose -r - 86 = 7*d. Is 7 a factor of 15 + d + -1*(2 - 76)?
False
Let p(z) be the second derivative of z**5/20 + 17*z**4/12 + 7*z**3/3 + 21*z**2/2 - 57*z. Does 4 divide p(-16)?
False
Suppose 0 = 3*z + 4*r - 443, -24*z - 4*r + 596 = -20*z. Suppose -685 + z = -2*q. Is q a multiple of 14?
True
Suppose -d + 334 = 5*y, 3*d - 1002 = -0*y - 3*y. Suppose 0 = -4*v + t + d, -2*t - 37 - 43 = -v. Does 4 divide v?
True
Let i(y) = 2*y**3 - 75*y**2 - 11*y + 64. Let n be i(38). Let h = n - 730. Is h a multiple of 15?
True
Suppose 5*s + 1739 = 26939. Is s a multiple of 60?
True
Let d = 50 + -35. Let r be 10*(4 - 54/d). Suppose a = r*a + 12, -5*b - 2*a = -112. Does 6 divide b?
True
Suppose 229 = -4*f - 895. Let t = f - -406. Does 6 divide t?
False
Let c(z) = -2*z**3 + 229*z**2 + 614*z + 270. Is c(117) a multiple of 33?
True
Suppose -1132 = -5*t + 4*b, 4*b - 130 = -t + 82. Is 6 a factor of t?
False
Let h be (2 - 2)*(3/9 + 0). Suppose h = -2*n + 3 + 1. Does 9 divide 5 - 2*(-5)/n?
False
Let m(l) = 2*l - 7. Let k be m(15). Let z = k - 23. Suppose z = w + 21 - 61. Is 6 a factor of w?
False
Suppose 4*h = 2*h + 202. Let y = 57 - h. Let p = 0 - y. Is p a multiple of 11?
True
Suppose -5*t + 36 = 7*t. Suppose 0 = t*q - 0*q - 630. Is q a multiple of 10?
True
Let j be (0 + 3 - -7)/(-2) + 1370. Let o = j - 533. Is 52 a factor of o?
True
Let a be 13/4*(5 + 43). Suppose -167*q + 5907 = -a*q. Is 17 a factor of q?
False
Let t(x) = -62*x**3 - 171*x**2 - 6*x + 4. Is t(-4) a multiple of 25?
False
Suppose 4*s + 14 = 30. Suppose -5*r - l = -1004, -s*r + 820 = -0*r + 5*l. Is r a multiple of 8?
True
Let m(j) = -21*j + 13. Let g be m(5). Let c = g + 540. Is 14 a factor of c?
True
Let w be (-4 - -14)/5 - 2. Suppose -y + y - 7*y = w. Suppose -5*z + 5*j + 11 + 594 = y, 3 = -3*j. Does 20 divide z?
True
Suppose 18*l - 16*l - 8 = 0. Suppose 3*i = -5*j + 12, 30 = 3*i - i - l*j. Does 18 divide (4/16*i)/(2/144)?
True
Let u be 15/100*4*605. Suppose 40 - 373 = -3*i. Let p = u - i. Does 32 divide p?
False
Suppose 0 = 2*f + 2*z + 25 + 887, -2*f - 907 = 3*z. Let c = -154 - f. Is 21 a factor of c?
False
Suppose -10*t = -13*t + 5*x - 15, -x = -t - 5. Let m(u) = -37*u - 52. Is 23 a factor of m(t)?
False
Suppose -r - 10 = -3*r, 2*r = 5*c - 9455. Let h = c + -1347. Let m = h + -234. Is m a multiple of 24?
True
Let u(k) = k**2 + 12*k + 3. Let b be u(-12). Suppose -3*i = 3*l - 480, -i + l = b*i - 620. Does 26 divide i?
True
Suppose -30 = -5*d, 2*s - 3*d - 8194 = -2822. Does 55 divide s?
True
Suppose 0 = 4*m - 3*x - 1253, -2*m + 0*x + 4*x + 614 = 0. Let c = m + -159. Is 79 a factor of c?
True
Let y be (-2)/3 + ((-10)/(-15) - 0). Suppose y = 7*i - 15 - 6. Suppose -2*x + 70 = -x + k, -3*x = -i*k - 240. Is x a multiple of 10?
False
Let r(w) = 3*w**2 + 2*w - 3. Let u(k) be the first derivative of 3*k**4/4 - k**3/3 + k**2/2 - k - 9. Let x be u(1). Is 13 a factor of r(x)?
True
Suppose 32*r - 555977 = -21737. Is r a multiple of 105?
True
Suppose -3*q - 3 = 2*j, 6*j - 3 = 9*j + 4*q. Suppose -j*g = 12, 5*i = 4*i - 5*g + 75. Is 9 a factor of i?
False
Suppose -2*a + 95 = 6*c - c, -c + 145 = 4*a. Let n be ((-3493)/(-14) - -6)*-2. Is 10 a factor of n/a*-5 + 1*-3?
True
Suppose -23 = 4*z - k - 41, -13 = -z - 4*k. Suppose -2*a + 5*u = -292, 796 = 5*a + z*u - u. Is a a multiple of 3?
True
Suppose -5*c - 2184 = 7*c. Let k = 471 - c. Is k a multiple of 54?
False
Suppose 0 = 5*f + 15, 5*f + 21 = 4*s + 2*f. Is 30 a factor of (12/20)/s - (-13494)/30?
True
Let m = -395 + 399. Let l(k) = 8*k**2 + 11*k - 10. Is 21 a factor of l(m)?
False
Let q(v) = 382*v + 6137. Is q(-16) a multiple of 5?
True
Suppose -3*j = a - 887, 3*a + 4*j - 290 = 2346. Is 8 a factor of a?
True
Let i = -155 + 130. Let d(f) = f**2 + 8*f - 61. Does 26 divide d(i)?
True
Suppose 266 = 2*g + 90*d - 88*d, 3*d = -4*g + 535. Does 27 divide g?
False
Is (-396)/(-66) - ((-10442)/6 + (-4)/6) a multiple of 7?
False
Suppose 28*p - 19*p + 111872 = 17*p. Does 92 divide p?
True
Let n = -23 + 51. Let u = -2 - n. Does 27 divide 4/(-6)*3825/u?
False
Let s be 6/(-4)*-681*10/45. Let h = 298 - s. Is h a multiple of 16?
False
Let l(w) = 2*w + 54. Let p be (-13 + 2)/((-4)/(-8)). Let u be l(p). Suppose 0 = u*s - 2*s - 1040. Is s a multiple of 20?
False
Let i be (4 - 3) + 2 - 15. Let o = 17 + i. Suppose 3*t - 4*t = 0, 5*z - 50 = -o*t. Is 2 a factor of z?
True
Suppose -2*b + 565 = 3*p, 18 = -4*p - 2. Let r = b + -268. Is r a multiple of 22?
True
Suppose 1487392 - 4433692 = -161*v. Does 12 divide v?
True
Is 4308582/510 + (-12)/10 a multiple of 57?
False
Let b(q) = 131*q + 911. Let o be b(-7). Suppose 1770 = -w + 4*w. Is 16 a factor of (o/4)/(5 - 2965/w)?
False
Let b = 11832 - 6392. Is b a multiple of 10?
True
Is 24 a factor of 24799 + 14/12*-6?
True
Does 10 divide ((-41640)/(8 - 20))/(3/9)?
True
Let w be (-18)/8*-2*(-8)/(-6). Suppose 2*o - 200 = w*o. Does 9 divide (60/o)/(1 - (-406)/(-400))?
False
Let n be (2/(-16)*-4*4)/2. Suppose n = w - 4, -3*r + 17 = w. Suppose r*a + 2 = 3*a - 3*k, 5*k + 20 = 0. Is 10 a factor of a?
True
Let d = 33119 - -4590. Is 219 a factor of d?
False
Let f(n) = 58*n**2 + 4*n - 19. Let v = 284 - 281. Is 16 a factor of f(v)?
False
Let f be 1/((-1185)/(-295) - 4). Does 12 divide f/(((-18)/30)/(-3))?
False
Let k(f) = -130*f**3 - 13*f**2 - 160*f - 70. Does 41 divide k(-6)?
False
Suppose 0 = 3*o - 4*p - 6506 + 484, 5*o - 5*p = 10035. Suppose 4*n - 2573 - o = -5*d, n = 4*d - 3659. Is 23 a factor of d?
False
Suppose 3*p - 4500 = 5*u + 2547, 0 = -p - 3*u + 2321. Is 19 a factor of p?
False
Suppose 0 = 2*n - 3*j - 49793, 3*j = -0*j + 15. Is n a multiple of 66?
False
Suppose -24*p + 62*p - 159514 = 301958. Is 17 a factor of p?
False
Let n(s) = -4*s**2 + 8*s - 56. Let t be n(9). Let m = t - -908. Is 25 a factor of m?
True
Let p(w) = 284*w - 2293. Is p(32) a multiple of 15?
True
Suppose 16*t = 22*t - 24. Suppose t*h - 145 = -h. Is 19 a factor of h?
False
Let i be ((-26)/6)/((-88)/24 + 4). Is 40 a factor of (i - 2)*4*-4?
True
Let s(z) = -z**2 + 47*z - 62. Does 4 divide s(40)?
False
Let r be (-96)/(-24)*((-1)/(-1) - -4). Suppose 19733 = r*m + 3933. Does 16 divide m?
False
Let q(k) = -14*k**3 - 82 + k - 6*k**3 + 5*k + 21*k**3 + 18*k**2. Is q(-14) a multiple of 44?
False
Does 3 divide (-33)/(-2 + (-699)/(-354))?
False
Let o = 760 - -512. Is 12 a factor of o?
True
Let y = 163 + -174. Let w(j) = j**3 + 10*j**2 - 40*j - 19. Does 20 divide w(y)?
True
Let a = 180 - 152. Suppose 0 = -s + y + 191, 29*y - 2 = a*y. Is 14 a factor of s?
False
Let t be 32/(-112) + (-256)/(-14). Let l = 55 + t. Suppose 5*f = 2*r + l + 73, -3*r = 4*f - 103. Is f a multiple of 4?
True
Let c(s) = -s**3 - 39*s**2 - 149*s - 6. Is 76 a factor of c(-46)?
True
Let g(p) = 11*p**2 + 34*p. Let h be g(-14). Suppose -7*c - 518 = -h. Is 19 a factor of c?
False
Let k(b) = 7*b - 93. Let f be k(14). Suppose 7*s - 8*s + 468 = o, -f*o + 3*s + 2308 = 0. Is 16 a factor of o?
True
Let q(t) = -39*t**3 - 4*t**2 - t - 1. Let o = 90 + -86. Let a(f) = -79*f**3 - 7*f**2 - 2*f - 2. Let j(h) = o*a(h) - 7*q(h). Does 7 divide j(-1)?
False
Suppose 304872 = 63*z - 556338. Is 72 a factor of z?
False
Let w = -227 - -531. Does 114 divide w?
False
Suppose -2*f - 2*f + 8*f = 13160. Is f a multiple of 18?
False
Let s(w) = 4*w**3 - 45*w**2 - 249*w - 36. Is s(24) a multiple of 9?
True
Suppose -45 = -2*u - 3*x, 2*x - 94 = -2*u - 2*u. Suppose -5*y + 22 = -2*r + r, 2*r + 3*y = 21. Let m = u + r. Does 4 divide m?
False
Let a(d) = -d - 18. Let b be a(-20). Suppose -2*w = -0*w, -b*w = 4*i - 200. Let n = -44 + i. Is 6 a factor of n?
True
Let t(h) = 448*h**2 - 155*h + 748. Does 28 divide t(5)?
False
Suppose 3*m + 3*o - 1067 = 5*o, -2*o = 4*m - 1446. Suppose 0 = 4*h + 83 - m. Does 5 divide h?
False
Let u(z) = -8*z + 1314. Does 16 divide u(-17)?
False
Suppose -205*j + 435680 = -65*j. Does 4 divide j?
True
Suppose -3*l + 13*d - 10*d + 66612 = 0, -3*l = 3*d - 66618. Suppose -l - 772 = -37*c. Does 23 divide c?
True
Let d(j) = -570*j - 70. Does 10 divide d(-2)?
True
Let m(d) = -2*d**2 - 18*d + 7. Let r be m(-9). Let z(c) = 1 - 5 