 a factor of d(-4)?
True
Is 16 a factor of (-3 + 12167/(-69))*-6*8?
True
Let f be (-212)/371 + 403*(-2)/(-14). Is 4 a factor of (f - 58) + 1*393?
True
Is 3244 + (7 - ((-5)/(-3) + (-252)/(-27))) a multiple of 36?
True
Let i(n) = n**2 + 123*n + 3370. Let j be i(-72). Let p = 120 + -206. Let w = p - j. Is w a multiple of 27?
True
Let f(w) = -1136*w - 3096. Is 9 a factor of f(-9)?
True
Let h(t) = 124*t**3 - 10*t**2 - 5*t + 2. Let i be h(2). Let l = 1670 - i. Is l a multiple of 11?
True
Suppose 2*x - 5*c = 6662, -3*x + 9824 = 2*c - 169. Suppose -22*w = -15453 + x. Does 43 divide w?
False
Suppose 3*o + 2*b = o + 918, -948 = -2*o + 4*b. Let c = -14 + o. Is c a multiple of 15?
True
Is 5 a factor of 194288/32 + (15/(-6) - 0)?
False
Let c = -3505 - -13585. Is c a multiple of 9?
True
Let v = -160 + 164. Does 4 divide -324*(v - 104/24)?
True
Suppose -a + 524 - 507 = 0. Is 5 a factor of (22 - 21)*(0 + -2 + a)?
True
Let u(d) = 7132*d**3 - d**2 + 5*d - 4. Let q be u(1). Does 17 divide q/28 - (-4)/14?
True
Let p(o) be the first derivative of 12*o**2 - 21*o + 14. Let k = -39 + 44. Is 33 a factor of p(k)?
True
Let p = 135781 - 85454. Is p a multiple of 292?
False
Is 8 a factor of (-53)/371 + 481045/35?
True
Suppose 3212*p - 3214*p = -1 + 13. Let u(t) be the second derivative of -17*t**3/3 - 13*t**2 - 2*t. Does 34 divide u(p)?
False
Let y(j) be the first derivative of -j**4/4 - 2*j**3 + 7*j**2/2 + 51*j + 149. Is 7 a factor of y(-9)?
True
Suppose x = q + 2371, 2*x - 2369 = x + 2*q. Does 21 divide x?
True
Let v = 177 + -103. Suppose d - 2*f - 97 + 26 = 0, -v = -d + f. Is 3 a factor of d?
False
Suppose -15*o = 83*o - 13524. Is 3 a factor of o?
True
Suppose -60*k - 60 = -224280. Is k a multiple of 73?
False
Let k(n) = -3*n + 18. Let j(i) = i - 6. Let x(u) = 11*j(u) + 4*k(u). Let d be x(6). Suppose d*g = 4*t - 2*g - 404, -t = g - 104. Is 17 a factor of t?
True
Suppose -5*s = 3*a - 26795, -6*a + 44685 = -a + 3*s. Does 60 divide a?
True
Suppose -3*a = -15, -5*y + a = -0*y - 18475. Is 53 a factor of y?
False
Suppose 9*o - 425403 = -142272. Is o a multiple of 9?
False
Let s be 4617/6 - (-18)/(-12). Suppose 2*w + 1882 = 5*r, r + r - s = -3*w. Is r a multiple of 27?
True
Suppose 0 = -5*b + 20, 3*d = -2*d + b + 26. Suppose -d*y = -221 - 127. Let q = -37 + y. Is q a multiple of 6?
False
Let v = -8589 + 2541. Does 6 divide (-14 - v/35) + (-4)/5?
False
Suppose 13 = p + 4. Let d(z) = z**2 - 9*z + 4. Let u be d(p). Suppose l = -u*l + 95. Is l a multiple of 15?
False
Suppose 0 = 4*d - 2*d + 10, -z - 31 = -2*d. Is (-6)/8*(25 + z) a multiple of 3?
True
Is (3264/12)/(-4)*2*27/(-2) a multiple of 51?
True
Suppose 4*r + 283404 = -l, -2*r + 4*l - 139851 - 1851 = 0. Is 33 a factor of r/(-165) + (-4)/10?
True
Suppose 49*v - 50570 = -0*v + 17785. Is v a multiple of 45?
True
Let d(g) = 52*g - 15. Let s(z) = -104*z + 29. Let a(l) = 11*d(l) + 6*s(l). Let f be a(-1). Suppose 13 = -4*p + f. Does 4 divide p?
True
Let g be (-120)/(-10) + 8 - 7. Let q = 1211 - 779. Suppose g*n - q = 7*n. Is 24 a factor of n?
True
Let t(u) be the first derivative of 52*u**3/3 + u**2 + 6*u - 33. Is 8 a factor of t(3)?
True
Suppose -2*w = 3*f - 28, 4*w - 5*w - f + 12 = 0. Let t = w - 6. Suppose -p + 0 + 21 = t*k, -3*p - 9 = 0. Is 3 a factor of k?
True
Let s(t) = 196*t + 4088. Is 56 a factor of s(-20)?
True
Suppose t + 12903 = 5*m, 3*m + 3*t = 1702 + 6029. Is 10 a factor of m?
True
Let d(y) = -2*y - 6. Let u be d(-4). Let j(r) = r**2 + r**3 + 6*r**u - 2*r**3 + 3 + r. Is 9 a factor of j(7)?
False
Let k(c) = -c**2 + 15*c - 32. Let h be k(12). Suppose 7*l - 3*l = -o + 239, h*o + 4*l - 1004 = 0. Does 12 divide o?
False
Let b = -410 - -683. Let n = 459 - b. Suppose 80 = -2*v + n. Is v a multiple of 10?
False
Let h(d) = -6925*d + 4058. Is h(-6) a multiple of 9?
False
Let j(o) = 30*o + 49. Let g be (-3)/7 - (-216)/63. Is j(g) a multiple of 7?
False
Let l = -11733 + 13513. Is 21 a factor of l?
False
Suppose 2*i = -3*i - 1740. Let b be (-7)/(-35) - i/(-15). Let s = b - -360. Is 20 a factor of s?
False
Suppose 0 = -112*w + 70*w + 720015 + 278451. Does 37 divide w?
False
Let x = -62 + 1187. Suppose -3*w - 5*o = -x, 3*o = 7*o. Does 12 divide w?
False
Suppose 4*c = -2*z + 23006 + 14742, 3*z + 2*c = 56614. Is 11 a factor of z?
False
Suppose 2*r - 7*w + 37 = -2*w, 3 = -3*r - 3*w. Is -129*(-10)/18 + 10/r even?
True
Suppose -245*i - 249*i - 119840 = -508*i. Does 40 divide i?
True
Suppose -4*u = -u - 12, 5*u - 275 = 3*t. Let m be 0 + 6/(-10) + (-51)/t. Suppose 4*l + 3*d + m*d - 195 = 0, -3*l = -3*d - 120. Is l a multiple of 9?
True
Let k(p) = p**3 - 7*p**2 + 5*p + 8. Let s be k(6). Suppose -s*r + 0*x + 350 = 2*x, -2*r + 380 = -4*x. Is r a multiple of 11?
False
Let b = -1977 + 2783. Is 2 a factor of b?
True
Let y(n) = 1454*n**2 + 10*n + 10. Does 180 divide y(-2)?
False
Suppose 21*k = 36640 + 26633. Is 35 a factor of k?
False
Does 14 divide 15/9 - (-204015)/63?
False
Suppose -q = -p - 3*p - 80, -5*p + 4*q = 89. Let b = p + 23. Suppose -4*v - b*f = -68, -5*f = -2*v + 18 + 28. Is 18 a factor of v?
True
Let x = -969 + 972. Suppose -4*v - 17 = -2*r + 11, r + 3*v = -11. Suppose r*c + c - 91 = -b, 3*c = -x*b + 285. Does 48 divide b?
True
Suppose -2167 = -2*s - 583. Suppose 0 = -2*g + o + 396, -4*g - 4*o - o = -s. Is g a multiple of 6?
True
Suppose -103092 = -579*g + 568*g. Is 11 a factor of g?
True
Let i = 8235 - 4455. Does 5 divide i?
True
Let x(q) = -q**2 + 2*q. Let r be x(2). Suppose -2*d + d + 228 = r. Suppose -7*c = -9*c + d. Does 19 divide c?
True
Let j be (-170)/(-45) + 2/9. Suppose 4*a + j*h = 424, -451 = -3*a - 5*h - 139. Suppose 3*g + 195 = 5*l, -5*l + a = -5*g - 76. Is l a multiple of 3?
True
Is (-1 + -1)/((-27 - -9)/92754) a multiple of 14?
False
Let i(m) = 2*m**2 + 22*m + 23. Let z be i(-10). Suppose -z*y + 8*y = -490. Let w = y + 248. Is 26 a factor of w?
False
Suppose -l + 936 = -4*l. Let r be 7 - (5 - 6) - 5. Does 21 divide (-1)/(r/l) + 1?
True
Suppose 21*r - 111355 = 132455. Suppose -12*d - 3*d = -r. Is 43 a factor of d?
True
Let r = 17 + 118. Suppose -r = -2*u + 11. Suppose 0 = 7*q - 368 - u. Is 9 a factor of q?
True
Let q be (-11214)/(6 - 90/12). Suppose -10*s = -16*s + q. Is 7 a factor of s?
True
Suppose -14 + 2 = 12*h. Let n be h + (-5)/(-6) + (-6452)/24. Let p = n - -484. Does 43 divide p?
True
Let m = -6455 + 7005. Is 25 a factor of m?
True
Let t(u) = 4353*u + 451. Is 248 a factor of t(13)?
True
Does 51 divide (2 - (1 - -2))/(8/(-12240)*5)?
True
Let m(b) be the second derivative of -85*b**3/6 - 51*b**2/2 - 78*b. Is 20 a factor of m(-3)?
False
Suppose k + 5*n = -20, 4*n = -k - 20 + 3. Does 21 divide 171 + (-10)/(-5) - (k + 2)?
False
Suppose 11*m + 121338 - 9018 = 43*m. Is m a multiple of 135?
True
Let x(w) be the third derivative of -5*w**6/24 + w**5/60 - 5*w**4/24 - 5*w**3/6 + 163*w**2 - 1. Is x(-3) a multiple of 9?
False
Let u be (18 + -18)*1/2. Suppose u = 5*i + 2 + 18, -b = -4*i - 136. Is 12 a factor of b?
True
Is 10 a factor of ((-525)/(-84))/(6/48)?
True
Suppose -80*z = -79*z - 894. Suppose z = -8*o + 3134. Does 14 divide o?
True
Let f(j) = 5*j**3 + 6*j + 86. Let b(m) = 14*m**3 + 17*m + 257. Let u(r) = 6*b(r) - 17*f(r). Suppose 2*q = 3*q. Is 18 a factor of u(q)?
False
Let b(a) = a**3 + 4*a**2 - 7*a - 1. Let j be b(-4). Suppose -t + 3*y = j, -48 = -5*t - y - 135. Let k = t - -24. Does 6 divide k?
True
Let c = -6842 + 13834. Is 184 a factor of c?
True
Suppose 4*a + 16 = 5*n - 16, 4*n = -2*a + 10. Suppose 2549 = n*c - 2*d + 247, 0 = c - 2*d - 568. Is 17 a factor of c?
True
Suppose 0 = -5*q + 53 + 2602. Let f = -362 + q. Is 5 a factor of f?
False
Let m(n) = -2*n**2 + 15*n + 11. Let l be m(8). Suppose -5*s + l*h = -23, 0*s + 3*s + 4*h = 8. Suppose 0 = -s*o + 5*o - 132. Does 38 divide o?
False
Is 56 a factor of -15 + 22800 - 98/(-14)?
True
Suppose -2*j + 57816 = 3*j + 2*x, 3*x = 4*j - 46239. Is j a multiple of 41?
True
Let z = 783 - 685. Suppose 8*d - 7702 = z. Is 25 a factor of d?
True
Let h be (-1)/2 + 535/10. Let x = h + -55. Is 16 a factor of -480*(x - (-32)/20)?
True
Let u(w) = 2*w - 13. Let g(c) = c - 4. Let l(z) = -8*g(z) + 3*u(z). Let i(s) = s - 23. Let n be i(16). Does 7 divide l(n)?
True
Let o be (0 - 2) + -1 + -2 + 2. Let k(b) = b**3 + 4*b**2 + 2*b - 3. Let q be k(o). Suppose 2*m - 4 = 2, q = 2*w + 4*m - 7