y(x) = -4813*x + 378. Is 78 a factor of y(-7)?
False
Let w be 4 + -7 + 0 - 17. Let d(x) = -x**3 - 21*x**2 - 20*x + 9. Let q be d(w). Let j(a) = 14*a - 31. Is 19 a factor of j(q)?
True
Let y(w) = -w**3 + 15*w**2 + 3. Let l be y(15). Suppose -l = -3*i, -3*g - 18*i + 629 = -13*i. Is 26 a factor of g?
True
Is 49 a factor of (7/14 + 0)*(1540 - -4)?
False
Let f be (-3)/9 + (40/3 - 2). Suppose f*m - 7*m + 32 = 0. Is (m/(-5) - 2)/(7/(-1925)) a multiple of 15?
False
Let d be 1 - ((5 - 10/5) + -7). Is -216*((-10)/(-6) + (-20)/d) a multiple of 12?
True
Let r = -85 + 91. Let p be 2*(-2)/(-8)*r. Suppose -p*q - 13 - 13 = -2*x, 2 = -q. Is x a multiple of 2?
True
Let i(m) = m**3 + 9*m**2 - 32*m + 9. Suppose 0 = -5*g + 4*c - 4680, 2*g - 3*c = -0*c - 1872. Let t be 2/5 + g/90. Does 16 divide i(t)?
False
Suppose -889 - 185 - 8380 = -g. Is 58 a factor of g?
True
Let c(s) = s**3 - 2*s**2 - 5*s - 14. Let g be c(7). Suppose -g = 3*o + 230. Let k = -70 - o. Is 36 a factor of k?
True
Suppose 0 = -2*u + 2*v + 2600, -4*u + 0*u = 2*v - 5224. Let s = u - 611. Is s a multiple of 15?
False
Suppose -5*f = -3*f + o - 57, -3*f = 3*o - 90. Suppose -8*c = -5*c + f. Is (c/4)/(15/(-420)) a multiple of 7?
True
Let z = -11595 + 22381. Is z a multiple of 15?
False
Let s(a) = -4*a**2 + 170*a - 308. Does 21 divide s(21)?
False
Let b(s) = 271*s**2 + 28*s + 2. Is 31 a factor of b(-5)?
False
Let g(v) be the first derivative of 11*v**4/4 + 3*v**2/2 - 12*v - 135. Does 5 divide g(2)?
False
Let c = 51 + -47. Suppose 6*r = c*r - 5*t - 103, -3*r = -t + 112. Is (942/13)/3 + 6/r a multiple of 12?
True
Let b(z) = z**3 - 2*z**2 - 2*z. Let m be b(0). Suppose m = -2*p - 207 + 11. Let a = -68 - p. Is 5 a factor of a?
True
Let r(f) = -f**2 + f + 11. Let m be r(0). Suppose 3 - m = -4*o. Suppose -o*t = d - 71, 3*t - 23 + 200 = 3*d. Is 9 a factor of d?
True
Suppose -4*q - 4 + 12 = 0. Let y(f) = 7*f**2 + 4 - 3*f**2 + 6*f + 12*f**2 + 11*f**q. Is 14 a factor of y(-2)?
False
Is (711783/(-36) - 29)*(-4)/3 a multiple of 58?
False
Let a(y) = 3*y**2 - 16*y - 7. Let z be a(7). Suppose 8*u = u - z. Let i = u + 59. Is 9 a factor of i?
False
Suppose -6*y - 13*y = -31977. Suppose j + 4*n = 840, -20*j + 5*n = -22*j + y. Does 20 divide j?
False
Let j(v) = v**3 + 5*v**2 + 10*v + 55. Let c be j(-5). Suppose -p - c*q + 383 = 0, -2*p + 357 = 3*q - 388. Is p a multiple of 18?
False
Let a(y) = 855*y**2 - 8*y - 1. Suppose q + 3 = v, 0 = -4*q - 30 + 14. Is a(v) a multiple of 73?
False
Let d = 336 - 176. Let n(s) = s**3 + s**2 + s + 98. Let k be n(0). Let j = d - k. Is 14 a factor of j?
False
Suppose 18906*y - 76712 = 18902*y. Is 51 a factor of y?
False
Let i = 20 + -17. Suppose 0 = -4*r + l + 1780, 0 = i*r - 3*l + 171 - 1497. Suppose 4*j = -4, 126 = -4*a + 4*j + r. Is 4 a factor of a?
False
Suppose -5573 = -3*i + 5*o, 5*i - 5*o = 10138 - 833. Does 39 divide i/(-21)*(-14)/4?
False
Let v(h) = -h**3 - 22*h**2 + 10*h + 97. Is v(-25) a multiple of 21?
True
Let b be (-2)/(-2*(65/(-20) - -3)). Does 11 divide b + 62/217 + (-1746)/(-14)?
True
Suppose 1668 = 15*y - 11*y. Suppose 0 = 6*v - y - 123. Is v a multiple of 10?
True
Let n(t) = 230*t + 9. Let b be n(2). Suppose 0 = -5*f + 131 + b. Does 15 divide f?
True
Suppose -7*w = x - 3*w - 21, 0 = 4*x - 5*w. Suppose 3*b + h = 376, -2*h + x*h - 498 = -4*b. Is b a multiple of 7?
True
Suppose 2339 + 2641 = 6*i. Let l = 34 + i. Is 72 a factor of l?
True
Let v(t) = 117*t**2 + 539*t + 4716. Does 3 divide v(-9)?
True
Let m(h) = -80*h**3 - 7*h**2 + 10*h - 3. Let u(p) = 5*p - 10*p**3 - 4*p**2 - 57*p**3 + 27*p**3 - 1. Let s(q) = -3*m(q) + 5*u(q). Is s(1) a multiple of 4?
True
Let t(w) = 61 + 55*w - 45*w + 49*w + 25*w + 44*w. Is t(1) a multiple of 9?
True
Suppose 3*m - 84 = 3*x, 30 = -x - 3*m + 5*m. Let s = x + 18. Let z(f) = -f**3 - 3*f**2 - 4*f + 19. Does 42 divide z(s)?
False
Let m be 1816/40 + (-2)/5. Let p = m + -36. Suppose p*i - 137 = 7. Is 14 a factor of i?
False
Let i(a) = -8*a - 36. Let o be i(25). Let m = -76 - o. Is m a multiple of 10?
True
Let h be (-2785)/6 - 9/(-54). Let v = -135 - h. Is v a multiple of 7?
True
Let x(o) = o**3 + 8*o**2 + 7*o - 5. Let w be x(-7). Suppose 0 = 11*z - 16*z + 37710. Is (-2)/w - z/(-45) a multiple of 14?
True
Let x(w) be the third derivative of w**4/12 + w**3/6 + 6*w**2. Let f be (-4)/((-1 + 2)*1*-1). Is 3 a factor of x(f)?
True
Let q(z) be the third derivative of -17*z**4/24 - 2*z**3/3 + 2*z**2. Suppose -7*w - 1294 + 1252 = 0. Is q(w) a multiple of 14?
True
Suppose -338*c - 60 = -343*c. Suppose 0 = c*f - 752 + 140. Is f a multiple of 3?
True
Let g(s) = s**2 + s - 20. Let p be g(-5). Suppose 11*l - 18*l + 3465 = p. Is l a multiple of 15?
True
Suppose -2*v = -y + 1344, 10*y - 2*v - 2694 = 8*y. Let s(f) = 4*f**3 - f**2 + 1. Let n be s(1). Suppose n*z = 14*z - y. Is z a multiple of 27?
True
Let g(v) = -6*v - 12. Let j be g(-3). Suppose j*d - 48 = 2*d. Suppose d*m - 14*m = -338. Is m a multiple of 33?
False
Let w(f) = f**3 - 15*f**2 + 6*f + 18. Let g be ((0 - 2)*12 - 2)/(-2). Let i be w(g). Let c = -90 - i. Is 10 a factor of c?
False
Let p = -2048 - -1102. Let o = 188 - p. Is 18 a factor of o?
True
Let y = -1 + 0. Let v(p) = p**2. Let l be v(y). Is 13 a factor of l + 18 + 1/(-2)*6?
False
Let t = 114 + -7. Suppose -2*c + 250 - 28 = 4*f, -c + 2*f = -t. Is c a multiple of 16?
False
Suppose 6*m = 7*m - 6. Suppose 0 = m*p + 2 - 98. Suppose -2*v + 3*v - p = 0. Is 4 a factor of v?
True
Let f = 52 - -65. Let m(s) = -2*s**3 + 23*s**2 - 21*s - 9. Let q be m(10). Let x = f - q. Is 6 a factor of x?
True
Suppose -34*a + 255 = -31*a. Let g = a - 81. Suppose -3*c - g*u = -351, c + 2*u = 4*u + 127. Is 20 a factor of c?
False
Suppose 5*l + 18 = 8*l. Suppose 0*r - p + l = r, r - 10 = -2*p. Suppose 0 = -r*b - 2*b + 16. Is b a multiple of 2?
True
Let o(b) = 2*b**3 + 26*b**2 + 44*b + 15. Let h be o(-11). Suppose -2*r - v = -807, 16*v - h*v + 3 = 0. Is r a multiple of 5?
True
Let v be (-7)/7 - -617 - 0. Suppose -10*g + v = -264. Is 8 a factor of g?
True
Let p(t) = -10*t - 12*t - 11*t + 35*t + 524. Is 25 a factor of p(0)?
False
Suppose -283*l + 245601 + 564345 = 0. Is l a multiple of 64?
False
Let y(r) = -5*r - 3*r + 9 + 3*r + 2*r. Let n be y(3). Suppose -3*g + n*g - 324 = -4*t, -82 = -t + g. Does 26 divide t?
True
Suppose 148983 = 51*t - 17583. Does 23 divide t?
True
Let x(p) = 197*p + 125. Let b be x(-7). Is 14 a factor of (14 - b)*(-1)/(-2) - 4?
True
Let j = 9670 + -5770. Does 100 divide j?
True
Suppose -200*m + 218*m - 61920 = 0. Is 20 a factor of m?
True
Let j be 470/30 + (8/(-3))/4. Let x = 15 - j. Suppose -q + 21 = -4*l, x = -2*q - 3*l + 6*l + 42. Is q a multiple of 11?
False
Suppose 271274 = 16*l + 57194. Is 28 a factor of l?
False
Let k be (4/6)/((-416)/(-204) + -2). Suppose -2*q - 3*m + 71 = -65, -2*q + 5*m + 168 = 0. Let d = q - k. Is 10 a factor of d?
False
Is 48 a factor of (230 + -2)*((-38)/133 - 900/(-14))?
True
Suppose -58*k + 211019 = 12*k - 33841. Does 4 divide k?
False
Let m(c) = c**2 + 2*c + 7. Let p be m(7). Let f = -390 + 394. Suppose 5*i - p = 4*x - 9*x, -5*x = f*i - 61. Does 9 divide i?
True
Suppose 0 = 5*n - 216 + 731. Let h = -455 - -447. Let w = h - n. Is 21 a factor of w?
False
Let f = -320 + 221. Suppose v - 2*v + 111 = 0. Let n = f + v. Does 3 divide n?
True
Suppose 717 = -5*r + 4*b + 158, -2*r - 5*b = 217. Let v = 614 - r. Is v a multiple of 12?
False
Let a = 29 - 42. Let l(c) = c**2 - 3*c - 26. Let h(p) = -p**2 + 2*p + 27. Let o(t) = -5*h(t) - 4*l(t). Is 31 a factor of o(a)?
False
Let a(m) = -m**3 - 5*m**2 + 2. Let t be a(-5). Suppose -16*l + 3780 = -t*l. Does 15 divide l?
True
Suppose 93*l - 12*l - 282978 = 473481. Is 33 a factor of l?
True
Let l(z) = -20*z**3 + 5*z**2 - 42*z - 415. Is l(-9) a multiple of 119?
False
Suppose 2*t + t - 2*h = 21, 0 = -2*t + 4*h + 22. Suppose 0*j = -4*j - t*y + 505, -4*j - y = -485. Suppose -7*r + 3*r + j = 0. Is r a multiple of 22?
False
Suppose 5*o - 12*o = -14. Suppose -2*t = 3*t + w - 2257, -o*w = -4. Suppose 0 = a - 2*d - 2*d - 165, 3*a - t = d. Is 13 a factor of a?
False
Suppose 0 = 90*f - 93052 - 30068. Is 44 a factor of f?
False
Let c be ((-500)/350)/((-2)/(-406)*-1). Let o(h) = -h**2 + 6*h. Let d be o(5). Suppose -5*w + 639 = 4*j, 4*j - 399 = d*w + c. Is 24 a factor of j?
False
Let d(b) be the third derivative 