 of -11*v**4/24 - 7*v**3/3 - 9*v**2 + 21. Let q(k) be the second derivative of w(k). Does 12 divide q(-7)?
False
Suppose -6 = 4*x - 14. Let h(v) = 7*v**2 - 11*v**2 - 3*v + 6*v**2 - 10 + v**x. Is h(-4) a multiple of 5?
True
Let d(b) = 99*b**2 + 9*b + 36. Let f be d(-4). Suppose -7*m = -1398 - f. Let t = m - 212. Does 23 divide t?
False
Let t = -316 - -349. Suppose -34*k + 158 = 2*d - t*k, -3*k = 4*d - 318. Does 4 divide d?
False
Let m(v) = -12*v - 261. Let r be m(-22). Is 2 a factor of 14/21 - r/9*-193?
False
Let m = -33 - -40. Does 28 divide 9 + -8 + m*57?
False
Let s = -324 + 328. Suppose -2*i + 5*c + 1600 = -725, 0 = s*c + 20. Is i a multiple of 17?
False
Suppose 3*s + s = 5*a - 23, -4*s - 5 = a. Let x(m) = 29*m - 49*m - m**a - 11*m**2 + 1 - 15 - 2. Is 6 a factor of x(-10)?
True
Suppose -4*u = -3*o + 6*o - 1515, u - 378 = -o. Suppose 0 = -n - 4*x + 125 + 66, -408 = -2*n + 5*x. Suppose -u - n = -5*v. Is 20 a factor of v?
False
Suppose 5*w - 3*w = 46. Suppose -5*d - 4*a = -w, 5*a = -0*d - d + 13. Let z(x) = 4*x**3 + 4*x**2 - 4. Does 20 divide z(d)?
True
Let k = 17907 - 15961. Is 20 a factor of k?
False
Let w(i) = i**3 - 21*i**2 + 40*i - 191. Does 5 divide w(24)?
False
Let s(c) be the third derivative of c**6/120 - 3*c**5/20 + 11*c**4/24 + 5*c**3/3 - 16*c**2. Let u be s(9). Let m = -52 + u. Is 20 a factor of m?
False
Is 4 a factor of (-63)/(-9) + -4 - -3834?
False
Suppose -1609*a + 195500 = -1586*a. Is a a multiple of 20?
True
Let g = 43867 + -6831. Is 94 a factor of g?
True
Let r be (-45592)/(-20) - 1 - (-6)/(-10). Suppose 3*t - r = 752. Suppose -8*n - 170 = -t. Does 19 divide n?
False
Is 7122 + (4 - 7)*(-6)/3 a multiple of 22?
True
Suppose 4*h - 3*p - 287 = 0, 5*p - 4 = -h + 62. Let w = h - -61. Suppose 0 = 147*j - 143*j - w. Does 6 divide j?
False
Is (-476)/(-6)*(383 + 19) a multiple of 52?
False
Suppose 71601 = 476*u - 447*u. Is 4 a factor of u?
False
Suppose -2*n + 84222 = 4*q, 487*q = 492*q - 5*n - 105240. Is q a multiple of 37?
True
Let h(l) = l**3 - 16*l**2 - 13*l + 10. Suppose 68 = 5*r - r. Let f be h(r). Suppose 6*q - f = 90. Is 23 a factor of q?
False
Let m = 7455 - -3873. Is 21 a factor of m?
False
Suppose -7*i + 59*i + 87*i = 1939050. Is 67 a factor of i?
False
Suppose -14044 = -3*j + 4*t, -j + 1840 = -3*t - 2838. Is 9 a factor of j?
False
Is 65 a factor of (15079/5 - -7)/(5/(600/18))?
False
Let x = 8 - -7. Suppose -3*y - 3*p = -1062 - 1563, -4*p + 4380 = 5*y. Suppose -x*t + 20*t = y. Does 42 divide t?
False
Let l = 416 + -281. Suppose 195 - l = h. Is 12 a factor of h?
True
Let h(v) be the first derivative of -9/2*v**2 + 5*v**3 - 16 + 10*v - 1/4*v**4. Does 10 divide h(14)?
True
Suppose -9*c - 38988 - 53300 = -16*c. Is c a multiple of 36?
False
Let s = 688 + -172. Let w = s + -450. Does 6 divide w?
True
Suppose -14*n - 2704 = -27*n. Suppose 0 = 4*g - 12, x - 4*g = 522 + n. Is x a multiple of 76?
False
Let i = -332 - -691. Suppose 229 = 6*o - i. Is 16 a factor of o?
False
Let z = -4372 + 5295. Does 13 divide z?
True
Suppose -34*u - 27 = -43*u. Suppose 3*h = u*c - c + 439, -c - 2 = 0. Is 29 a factor of h?
True
Suppose -3*u + 1825 = -1026*o + 1030*o, -5*o + 2432 = 4*u. Is u a multiple of 185?
False
Suppose 4*o - b = 6224, -666*b + 1543 = o - 663*b. Is 2 a factor of o?
False
Let c(t) = -t**2 - 18*t + 40. Let y be c(-20). Suppose -2*w = -3*i + 949, -3*i + w + 3*w + 959 = y. Does 57 divide i?
False
Suppose -132 = 432*w - 435*w. Suppose w*z - 50*z = -4458. Is z a multiple of 52?
False
Let t = 478 - -147. Let q = t - -319. Is 79 a factor of q?
False
Let v(n) = n + 2 - 1 + 11*n**2 - 13*n**2 + 4*n**3. Let a be v(1). Suppose -808 = -5*u - a*g, 0 = 4*u + 3*g - 155 - 491. Does 21 divide u?
False
Let y = -209 - -83. Let z be (1188/y)/(1/(-7)). Let q = 138 - z. Is 12 a factor of q?
True
Let v be (77/21 - 4)*-48. Suppose -v*w + 2887 + 5017 = 0. Does 38 divide w?
True
Let w = 20739 + -10070. Does 45 divide w?
False
Does 188 divide -15 + 12894 - -3 - -3?
False
Let k(f) = 13*f**2 + 30*f - 25. Let v(s) = s**3 - 3*s**2 - 14*s + 47. Let m be v(3). Is k(m) a multiple of 45?
True
Let b(t) = 4*t**3 + 7*t**2 + 19*t - 79. Is 11 a factor of b(9)?
True
Let u(f) = 170*f**2 - 13*f + 19. Is u(4) a multiple of 40?
False
Let h be (-1000)/(-160) + 6/8. Suppose 588 + 1456 = h*r. Is 9 a factor of r?
False
Let f(o) = -3*o + 45. Let j be f(9). Suppose -3*m = 5*r - 4*m + j, -15 = 2*r - 3*m. Let d(t) = -31*t - 2. Is 27 a factor of d(r)?
False
Let b(g) be the first derivative of -16 + 143/4*g**4 + 0*g**2 + 0*g + 1/3*g**3. Is b(1) a multiple of 24?
True
Let c(p) = 1391*p + 78. Is 32 a factor of c(14)?
True
Let a(c) = 820*c**2 + 14*c - 70. Is 35 a factor of a(3)?
False
Suppose 3*s + 251 = -2*k + 1, -5*s = k + 125. Let f = k + 359. Let d = 329 - f. Is d a multiple of 5?
True
Let j(a) be the second derivative of -a**4/12 - 13*a**3/6 + 29*a**2/2 + 39*a. Let d be 7/((-20)/(-8) + -3). Is 5 a factor of j(d)?
True
Let y be (-22768)/(-48) + (-4)/(-6). Let d = 826 - y. Is 13 a factor of d?
True
Let f be -2*8/4*(-295 - -3). Let p = f + -288. Does 44 divide p?
True
Let c(s) = s**3 - 14*s**2 + 15*s + 7. Let q be c(11). Let w = 355 + q. Suppose 32 = 2*o - 5*b - w, o - 98 = 2*b. Is 21 a factor of o?
False
Let l = 4109 - -175. Is l a multiple of 9?
True
Let u = 11298 - 5108. Suppose -u = -8*y - 822. Does 61 divide y?
True
Is 10 a factor of (-5)/65 + (-3510054)/(-702)?
True
Suppose -1509*p + 1511*p = 2806. Suppose 0 = -11*t + p + 401. Does 6 divide t?
False
Let a(n) = n**2 - 15. Let j be a(0). Let r be (-1)/(-3) + (-25)/j. Suppose -t = -4*o - 59, 207 = 5*t + r*o - 0*o. Is t a multiple of 4?
False
Let x be (198 + 4)/2 - (1 + 1). Suppose -9*o + 275 = -4*o. Let y = x - o. Is 22 a factor of y?
True
Suppose 5*s - 227 = -2*q, -4*q = -6 + 22. Let v be 1*(2 + s) + 3. Suppose -4*d = -v - 24. Is d a multiple of 6?
False
Let j(b) = -b**3 - 10*b**2 + 45*b + 110. Is 25 a factor of j(-28)?
False
Let s be (0 - 149)/(3/(-1*45)). Let k = 1539 - s. Is 3 a factor of 2*1/4 + k/(-48)?
True
Let q = -2821 - -6853. Does 288 divide q?
True
Suppose -87*g + 45 = -82*g. Suppose g*x = 4505 + 4000. Suppose -12*r = -5*r - x. Is 50 a factor of r?
False
Let s(j) = 5*j**2 + 38*j + 354. Does 15 divide s(-28)?
True
Suppose 7*r - 11*r - 8 = 0. Does 3 divide 374 + 3 + -3 + r?
True
Suppose 64*t + 42489 = 5*v + 61*t, 4*v - 33990 = 2*t. Does 72 divide v?
True
Let p(x) = -5*x + 181. Let m be p(41). Suppose s - 4*s = -132. Let f = s + m. Is 10 a factor of f?
True
Suppose 6*n - 779 + 107 = 0. Suppose -9*g - n - 536 = 0. Let w = g - -228. Does 21 divide w?
False
Suppose 0 = 215*w - 213*w + z - 28058, -3*z - 70178 = -5*w. Is 8 a factor of w?
True
Let q(j) = 3*j**2 - j - 13. Let r be q(-8). Let u = 222 - r. Does 2 divide u?
False
Let p be 24/(-3) + 1 + 3. Let s be ((-6)/(-12))/(p/(-64)). Suppose -399 = t - s*t. Is 11 a factor of t?
False
Suppose -47*u + 26364 = 4*l - 45*u, -4*l - 4*u = -26364. Does 22 divide l?
False
Let c be -8 + 5/10*0. Is c/(56/(-21)) - -356 a multiple of 68?
False
Let z(s) = s**2 + s - 1. Let v(r) = -7*r**2 - 80*r - 46. Let a(w) = v(w) + 5*z(w). Is a(-36) a multiple of 8?
False
Let a be (-581 - (-1 - -8)) + 8. Let w = a + 822. Is 22 a factor of w?
True
Suppose 55825*a - 55829*a + 10602 = -11714. Does 7 divide a?
True
Let s(i) = 109*i**2 + 279*i + 3016. Does 8 divide s(-11)?
True
Let q(d) = d**2 - 4*d - 3. Let u be q(-2). Let y be u/(-4)*(-20)/15. Is 21 a factor of (-9)/y*(-7 - 0)*3?
True
Let l(m) = -m**3 + 3*m**2 - 4*m + 609. Let x be l(0). Suppose -50*q + x = -47*q. Is 38 a factor of q?
False
Suppose 2*n = 2*o + 5*n - 10, -2*o = n - 10. Suppose 85*j = 86*j + o. Is 11 a factor of (j/10)/((3/66)/(-1))?
True
Let y be 70/(-15)*(-4 - -1). Suppose -y*j + 954 = -838. Is j a multiple of 29?
False
Let a(c) = -c**2 + 13*c + 3. Let l be a(6). Suppose 4*s - l = 163. Let o = s + -38. Is o a multiple of 4?
False
Suppose -14*b + 5*b + 4230 = 0. Does 2 divide b?
True
Let v(w) = w**2 + 5*w + 13. Let x be v(-10). Is ((-70)/x)/(-10) + (-8710)/(-18) a multiple of 22?
True
Let i = 1003 + -966. Suppose 0 = 20*d - i*d + 2652. Does 39 divide d?
True
Let k = -7254 - -15356. Is k a multiple of 2?
True
Suppose 0 = -j + 8*z + 1682 - 84, 6 = -z. Is j a multiple of 31?
True
Suppose 0 = -13*c + 1584 + 9206. Is c a multiple of 10?
True
Let d 