-3*w - 30. Let h be n(-32). Suppose -a + p = -h. Is 17 a factor of a?
False
Suppose -4*b + 6426 = -6*r + 7*r, -5*r + 6418 = 4*b. Suppose 5*u - b = -4*a, 5*a - 3*u - 364 = 1691. Is a a multiple of 21?
False
Let j(b) = 15*b**2 + 80*b + 37. Let p(v) = -22*v**2 - 120*v - 55. Let z(i) = -8*j(i) - 5*p(i). Let k(m) be the first derivative of z(m). Does 5 divide k(-5)?
True
Suppose -89 = 3*j - 971. Suppose -6*z + 5*z + o = 2, 5*o = -5*z + 10. Suppose 5*u - j - 61 = z. Does 16 divide u?
False
Let d = 14 - 18. Let t(r) = 31*r + 11. Let z(s) = -62*s - 23. Let m(a) = -7*t(a) - 3*z(a). Is m(d) a multiple of 29?
True
Let k be 4/(-34) + (-9 - 288/(-136)). Is 3 a factor of (-824)/(-24) - (14/(-6))/k?
False
Let o(d) = d**3 - 3*d**2 + 2*d. Let j(c) = -c**3 + 4*c**2 - 3*c. Let i(y) = -5*j(y) - 7*o(y). Let v be i(-1). Suppose 160 = v*l - 0*l. Is 10 a factor of l?
True
Suppose 7*s - 2*s = -70. Let i(k) = -k**2 - 13*k + 16. Let r be i(s). Suppose -r - 38 = -4*f. Does 7 divide f?
False
Let l = 22 + -34. Let x be 2 - -1 - (l - -12). Let i(n) = 27*n - 10. Is 10 a factor of i(x)?
False
Suppose 0 = -6*o + 15 - 21. Let p be (-4 + 154/35)/(o/20). Let k = 33 - p. Is k a multiple of 21?
False
Suppose -2*r - 28 = -26. Does 29 divide r*(-1 + -49 + 3)?
False
Let l = 113 + -49. Suppose -117 - 13 = 3*n - 2*z, 3*z + 25 = -n. Let m = l + n. Is 4 a factor of m?
True
Let j be (66/(-99))/(2/42*-1). Suppose -j*g + 22592 = 1172. Is g a multiple of 17?
True
Let y be ((-4)/16*6 - 0)*-2. Suppose w = y*x - 8*x + 20, -40 = -2*w + 4*x. Does 20 divide w?
True
Suppose 1728 = 3*i + 5*o, 60*o = -i + 61*o + 560. Is 15 a factor of i?
False
Let v(b) = 2*b**3 + 33*b**2 + 6*b + 29. Let h be v(-16). Suppose -3*l = 15, 5*n - 94 = 2*n + 2*l. Let q = h + n. Is 31 a factor of q?
True
Suppose -5*a = -11 + 6. Let y(u) = -u**3 + u**2 - 1. Let p be y(a). Let m(x) = -71*x**3 + 2*x + 1. Is m(p) a multiple of 14?
True
Let s(u) = -u**3 - 42*u**2 - 5*u + 702. Does 12 divide s(-42)?
True
Let u(n) = 36 + 47*n + 154 - 32 - 105*n + 7*n. Is 45 a factor of u(-15)?
False
Let g(s) be the second derivative of s**7/2520 - s**6/60 + 31*s**5/120 - 13*s**4/4 - 9*s. Let a(m) be the third derivative of g(m). Does 6 divide a(13)?
False
Let x = -45 - -168. Does 43 divide 1040*(4 + x/(-30))*-4?
False
Suppose 0*t + t = -l, 5*l = -3*t + 6. Suppose 2*u + 2*a - 794 = 0, 806 = 2*u + a - l*a. Is u a multiple of 10?
True
Let m be 56/84*(4 - 1). Suppose 0 = -m*r - 4*n + 240, -r + 124 = n + 2*n. Is 14 a factor of r?
True
Suppose -3*j + 33035 = 2*n, -92*j = -95*j - 3*n + 33036. Is j a multiple of 13?
True
Let m be (-3)/(-5) - (-22)/5. Suppose -4*l - l = m*t - 15, 3*l = -2*t + 11. Suppose 58 + 77 = l*c. Does 27 divide c?
True
Let z(l) = 14*l + 30. Let s be z(-3). Does 23 divide (318 - -1) + (-36)/s?
True
Let t(x) = -x**2 + 3*x + 6. Let q be t(6). Let s be (-4)/3*(-18)/q + 72. Suppose -3*m - 5*i = s - 328, 2*i - 330 = -4*m. Is m a multiple of 9?
True
Let g(v) = 32*v + 59. Let r be g(-6). Let b = r + 121. Is 10 a factor of b/4*(-1)/(-3)*-110?
True
Let m be 6082/4 - (-11)/(-110)*-5. Let i = m - 838. Does 83 divide i?
False
Let z = 102 - -1. Let v = z - 101. Suppose -3*h = v*h - 2*d - 766, -4*h = -3*d - 617. Is 14 a factor of h?
False
Suppose 3*p = 4*m + 29976, 25*p = 26*p - 4*m - 10000. Is p a multiple of 4?
True
Let j(a) = a + 282. Let d be j(-47). Suppose d*o = 244*o - 10179. Is o a multiple of 39?
True
Suppose 16950 = 3*f - 8106. Suppose f = 19*b - 3*b. Is b a multiple of 39?
False
Let q(l) be the first derivative of -11 + 3/2*l**2 - 15*l. Is q(11) even?
True
Suppose 53 = -5*g + 63. Suppose -40 = 2*c + 4*a, c - 4*a = -g*c - 10. Is 18 a factor of (54/c)/((-27)/90)?
True
Let u(s) = -s**3 - 49*s**2 - 387*s + 9. Is u(-42) a multiple of 27?
True
Let w(d) = -109*d - 35. Let t be w(-3). Let b = t + -196. Does 8 divide b?
True
Suppose 10*f = -9*f + 4750. Let m be (1 + -1)/(0 - 2). Suppose m = 7*o - 1048 + f. Is o a multiple of 38?
True
Suppose -32*s = 301646 - 1642756 - 449386. Does 62 divide s?
False
Let d = 42490 + -29815. Does 33 divide d?
False
Suppose -4*x - 5*h + 199 = 0, 3*x = -2*x + 2*h + 290. Let m be (182/x)/(1/12). Let f = m + -17. Is f a multiple of 17?
False
Let h(s) = -s**2 + 5*s + 2. Let b be h(5). Suppose -b*k = -8, -4*k + 61 = -2*n + 7*n. Is n a multiple of 6?
False
Is 79*(-1 - -44) - (5 - 0) a multiple of 53?
True
Let r = 3631 - 2362. Does 100 divide r?
False
Let k = -3 - -5. Let w be (-5)/50*2 - 21/(-5). Suppose -2*d = n - 9, -k*n + w + 2 = 2*d. Does 2 divide d?
True
Let h(j) = j**3 + 10*j**2 - 3*j + 16. Let a be h(-11). Let n(q) = 14*q**2 - 12*q - 1. Let w be n(2). Let z = w - a. Is z a multiple of 18?
False
Suppose -208*p - 250*p + 357*p = -2529343. Does 79 divide p?
True
Let v(m) = m**3 - 24*m**2 + 7. Let p be v(24). Let l be 4 + 2/p + (-90)/70. Suppose -5*g + 1130 = -9*n + 5*n, -475 = -2*g - l*n. Does 46 divide g?
True
Let s(w) be the second derivative of 0 + 13/6*w**3 - 21*w + 15*w**2. Is s(15) a multiple of 45?
True
Suppose -201310 = -5*q - 2*r, -5*q + 10*r + 201285 = 7*r. Is 132 a factor of q?
True
Let h(n) = n**3 + 36*n**2 - 85*n + 42. Let p be h(-35). Suppose -p = -13*z + 6*z. Does 62 divide z?
False
Suppose 5*g = 806 + 2594. Let p = -147 + g. Does 41 divide p?
True
Suppose -1276 = 1290*t - 1295*t + 3759. Does 19 divide t?
True
Let h(a) = -4*a**3 - 77*a**2 - 18*a + 279. Does 72 divide h(-21)?
True
Let b(q) = -q**2 + 23*q + 36. Suppose -16*u = -15*u - 11. Is 15 a factor of b(u)?
False
Let k = -229 + 236. Suppose -k*o - 3*o = -1680. Is 14 a factor of o?
True
Let a = -10461 + 11967. Does 2 divide a?
True
Suppose 5*b + 0*b = 5*o + 110, -3*b = -o - 66. Let d = b - 18. Suppose -126 = -d*h + 98. Is h a multiple of 7?
True
Is -56 + 51 + -3 + 5 + 851 a multiple of 8?
True
Suppose -c + 4 = c, -4*c - 2 = -5*v. Suppose 5*p = 4*j - 991, -4*j - 475 + 1469 = -v*p. Is j a multiple of 12?
False
Let u(k) = -387*k - 342. Does 12 divide u(-10)?
True
Let t(z) = 40*z - 328. Let u be t(8). Is 54 a factor of (180/(-105))/(u/4284)?
True
Let u be 1*22/(-33) + (-14)/(-3). Suppose 0 = -u*l + 4, 0 = -11*j + 6*j - 4*l + 3484. Is 29 a factor of j?
True
Let c = 871 + 1396. Does 8 divide c?
False
Let s(b) = -24*b - 257. Let c(u) = u. Let k(j) = 6*c(j) + s(j). Is k(-36) a multiple of 30?
False
Let y(q) = -q**3 - 4*q**2 - 10*q + 8. Let a be y(10). Let s = -1063 - a. Is s a multiple of 11?
True
Let g = 4909 + -7319. Is 3 + 81/(-36) - g/8 a multiple of 47?
False
Let a = -2464 - -3202. Does 14 divide a?
False
Suppose -7597 = -5*r - d + 21952, 2*d + 5901 = r. Is 21 a factor of r?
False
Let y be (-5)/(15/(-5) - -4)*-77. Suppose -5*s + 4*s + 2*o = -77, 5*s - 5*o = y. Is 3 a factor of s?
False
Suppose 259*s + 51*s = 18*s + 511876. Is 43 a factor of s?
False
Let k = 65409 + -26522. Is 39 a factor of k?
False
Suppose -2*d + 4156 = b, -5*b + 24183 = d + 3367. Is b a multiple of 12?
True
Suppose 3*t + t + 11 = 3*v, -4*v + 4*t + 8 = 0. Let m = v - -25. Is 10 a factor of (1 - m/4)*(-60)/9?
True
Let o = 449 - 787. Suppose -4*h - 2*r = 938, 0*h + h + 252 = 3*r. Let p = h - o. Is 9 a factor of p?
False
Let a = -9645 - -14108. Is 12 a factor of a?
False
Suppose 3*p + 0*p = 2*z + 4, 5*z - p - 16 = 0. Suppose 3*s + z*b = 2183, -b + 728 = -0*s + s. Let q = s + -363. Is q a multiple of 41?
False
Suppose -3*w = -2*r + 9 + 6, 0 = 2*r + w - 19. Suppose -r*t = -4659 - 2973. Is 16 a factor of t?
True
Does 24 divide 63994/10 + 22/330*-6?
False
Let x(i) = 13*i + 154. Let h be x(-12). Is 10 a factor of 207 - ((-1 - h) + -4)?
True
Let j(g) = -355*g - 1417. Does 159 divide j(-34)?
True
Let y(c) = -c - 191. Let l be y(27). Let t = 452 - l. Is t a multiple of 8?
False
Is 21 a factor of (-92)/138*((-6)/(-16))/((-4)/125072)?
False
Is (7 - 9 - 2) + (10759 + 1)/4 a multiple of 3?
False
Is 20 a factor of (165 - -5)/(14/273) + (-1 - -1)?
False
Suppose -n + l + 5094 = 0, -52*n - l = -55*n + 15294. Is 85 a factor of n?
True
Let n(i) = -i**3 - 17*i**2 + 6*i + 16. Let y be n(-19). Suppose -f + w + 23 = 0, -f + 2*w - 38 = -3*f. Is y/f - 4/(-14) a multiple of 15?
True
Suppose 6*p = -7619 + 383. Let u = -782 - p. Does 53 divide u?
True
Is 6 a factor of -4 - (-7797)/4 - 4/(96/(-18))?
False
Let y be -1004*(-18)/24 + -2. Suppose z - 5*b = 182, 4*z = 4*b - 7*b + y. Is z a multiple of 6?
False
Let n be