 + 57*u - 1. Is 7 a factor of m(35)?
False
Is 48 a factor of 6/(-14) - 1674648/(-56)?
True
Suppose 2*b - 34 = 6. Let m = b + -18. Suppose -62 = -m*t - 4*o, -19 = 2*t - 3*t + 4*o. Does 9 divide t?
True
Let n = 6277 - 165. Is 32 a factor of n?
True
Suppose -3*q - 4*p - 54 = 166, -p = 5*q + 361. Let t = q - -82. Is 13 a factor of 10/3*((-2496)/t)/(-4)?
True
Suppose -35 = -5*s - 55. Is 15 a factor of ((-38094)/24)/(-7) + 3/s?
False
Suppose 3*o + 32*c - 28450 = 28*c, 5*o = 4*c + 47406. Is 46 a factor of o?
False
Is (-3*1 + (-20)/(-8))/(32/(-97856)) a multiple of 7?
False
Let y(d) be the second derivative of d**4/12 - 5*d**3/3 + 39*d**2/2 + 71*d. Is y(12) a multiple of 4?
False
Is 56/12 + -4 + (10 - 101880/(-27)) a multiple of 75?
False
Is 22 a factor of (35816/(-74))/((-8)/28)?
True
Suppose 7*m - 545 = 8*m - 2*f, f + 2 = 0. Let t = -486 - m. Is t a multiple of 7?
True
Suppose -6*f + 20 = -f. Suppose -6 = -v - f*g + 5, -5*v = -5*g + 70. Is (-32)/v*60 + 1/(-3) a multiple of 15?
False
Let k be (-1)/2*(3 + -2 + -5). Suppose k*g = -32*g + 7072. Is 13 a factor of g?
True
Let v(m) = -27*m + 12. Let w be v(17). Let s = -393 - w. Does 11 divide s?
False
Let b(o) = 2*o**2 + o - 5. Let j be b(4). Suppose u + 215 = 6*u. Let w = u - j. Is 12 a factor of w?
True
Suppose 20 = -5*i, -13*i - 2726 = -l - 9*i. Is l a multiple of 8?
False
Let d(c) = -c**3 + 9*c**2 + c + 10. Let s be d(9). Suppose g = -3*r - 2*g + 15, 3*r - g - s = 0. Suppose -120 = z - r*z. Is 3 a factor of z?
True
Is 0 + -12 + 139 + 7591 a multiple of 34?
True
Let z(b) = 82*b**2 + 9*b + 8. Suppose 0 = -n + 5*w - 20 + 4, 13 = -n + 4*w. Does 2 divide z(n)?
False
Let o = 14937 - 13640. Is o a multiple of 2?
False
Let j(b) = -5*b**3 + 10*b**2 - 22*b + 7. Let n be j(6). Let m = -445 - n. Is m a multiple of 8?
True
Suppose 3*q + 211 = -191. Let b = q - -344. Is 3 a factor of b?
True
Let u = 42 - -573. Let h = 712 - u. Does 4 divide h?
False
Suppose -4*l + 90 + 1446 = 0. Let s be 27/18 + (-1)/2*-411. Let m = l - s. Does 9 divide m?
False
Suppose 0 = -4*m + 12, -121 = -0*p - 2*p + 3*m. Let g = p + -57. Let t(o) = 8*o - 36. Is 14 a factor of t(g)?
True
Let q be 1*8 - (10 - 4). Let u be (-6)/15 + 910/25. Suppose -4*m + u = 5*j, -q*j + 12 = 4*m - 3*j. Is m even?
True
Let r = -3514 + 5278. Suppose 8*v - r = -v. Is 8 a factor of (108/(-21))/((-21)/v)?
True
Does 13 divide 8982 - 7/((-63)/(-108))?
True
Suppose 5*h - 290 = -w, -3*h = -w - 0*h + 306. Suppose w = -18*c + 8*c. Is 3 a factor of 119/3 + 20/c?
True
Suppose 2*l + 14*l = 32. Suppose -j - 820 = -l*z, z + 0*z = -3*j + 424. Does 56 divide z?
False
Let b = -13303 - -13539. Does 4 divide b?
True
Let n = 31 - -583. Suppose -2*d = i - n, 7*d - 3*d - 1236 = 2*i. Is d a multiple of 31?
False
Does 70 divide 9208*((-351)/52)/(-27)?
False
Let h be (-6417)/(-7) - (-28)/98. Let x = h - 896. Does 2 divide x?
False
Let o(b) be the third derivative of -b**6/120 - b**5/15 - 5*b**4/24 - b**3/2 - 56*b**2. Is o(-12) a multiple of 31?
True
Let g(a) = -a**3 + 14*a**2 + 18*a + 4. Suppose -5*t + 90 = -3*h, 2*h - 5 = 3*h. Does 11 divide g(t)?
False
Suppose 0 = 2*h - q - 7 - 6, 0 = h - 4*q - 17. Suppose 4*v - z = 4*z + 501, h*z - 15 = 0. Is 16 a factor of v?
False
Let w(p) be the third derivative of 7*p**5/60 + 7*p**4/24 + 7*p**3/6 + 13*p**2. Is w(3) a multiple of 13?
True
Let f = -551 - -551. Suppose i - 724 = -2*p, f = -p - 0*p - i + 360. Is 52 a factor of p?
True
Suppose 0 = 4*a - t - 1760, -1180 = -2*a - 3*t - 286. Suppose a*x + 275 = 442*x. Does 50 divide x?
False
Suppose 20*z - 16*z = 12. Suppose -4*a + 3*l = -2961, 0 = z*a + 4*l - 1806 - 396. Does 59 divide a?
False
Suppose -4*o + 82584 = -4*v - 5424, 0 = 3*o + 3*v - 65994. Is 110 a factor of o?
True
Let p be (4/2)/(-3*(-4)/24). Suppose -4*x + p*f = -28, -5*x + f = -f - 20. Suppose 2*h = 3*w + 91 + 75, 5*w - 150 = -x*h. Is h a multiple of 16?
True
Let b(d) = -10*d - 9*d + d**2 - 1 - 14 - 25 + 8. Let j = 48 + -26. Is 17 a factor of b(j)?
True
Let u = 6942 - 3474. Does 11 divide u?
False
Does 11 divide (-72924)/(-10) - 19/(2755/(-87))?
True
Let n = -368 + 623. Suppose -n = 4*f + 2*v - 61, -4*f = -2*v + 198. Does 3 divide -2 + (((-12)/(-2))/(-2) - f)?
False
Let z(y) = -y**3 + 13*y**2 + 23*y - 38. Let w be z(14). Suppose -2*m = 4*p - 94, -3*p + w - 20 = 2*m. Is p a multiple of 5?
False
Suppose 102 = -25*q - 48. Is (292 - (-18)/(-9)) + q/(-1) a multiple of 3?
False
Let s be (-24)/(-3) - -1 - 4 - -1. Suppose 293 - 41 = s*r. Let p = r - -8. Is p a multiple of 2?
True
Suppose z + 16 = 4*i + 3*z, -5*i + 5*z = -5. Suppose -13464 = -33*f - i*f. Is f a multiple of 11?
True
Let v = 143 - 508. Let p be 4/50*5*v. Let c = 209 + p. Is c a multiple of 6?
False
Let j(n) = n**2 + 6*n + 9. Let r be j(-5). Let o(a) = -2*a**2 + 6*a + 4. Let g be o(3). Suppose -g*i + 88 = -r. Is 2 a factor of i?
False
Let n(h) be the second derivative of 17*h**3/6 - 6*h**2 + 29*h. Let f = 34 - 27. Is 20 a factor of n(f)?
False
Suppose 0 = 3*z - 34 + 34. Let h(y) = -5*y**3 - 5*y**2 - 2*y - 1. Let i be h(-3). Suppose 5*w = 5*n - 130 - 120, -2*n + 3*w + i = z. Is n a multiple of 5?
True
Suppose 0 = -9*c + 190 - 10. Does 42 divide (-368)/(-6)*(2 + 155/c)?
False
Suppose -12 = -11*h + 10. Suppose h*u + 44 = -0*u. Let k = 32 + u. Is k a multiple of 3?
False
Let h(d) = 214*d**2 + 2*d + 2. Suppose p - 3*u = -11, -19*u = -2*p - 18*u - 7. Is h(p) a multiple of 73?
False
Is (((-18)/(-7) - 2) + (-3483)/1134)*-336 a multiple of 8?
True
Suppose -3*o = q - 82985, -q = -2*o + 7*o - 138309. Does 16 divide o?
False
Let t be 81/(-6 + 365/60). Is 60/9*t/30 a multiple of 12?
True
Is 87 a factor of 7141032/240 + (-5 - (-329)/70)?
True
Suppose -87844 - 93724 = -8*d - 57208. Is d a multiple of 251?
False
Let l = -97 + 97. Suppose -12*n + 5*n + 735 = l. Suppose 5*s + 40 = n. Is 4 a factor of s?
False
Suppose -4*n + 1306 = -h, 0 = 4*n - 2*h - 3*h - 1298. Suppose -3*s = 3*q - 1617, -3*q + 210 = s - n. Does 36 divide s?
True
Suppose -4*n - x + 49 = 0, -35 = -4*n - 2*x + 15. Suppose 0 = 7*r - n*r + 195. Suppose -6*a + 56 = -a - f, 4*a + 5*f - r = 0. Is a a multiple of 11?
True
Let l be (-6959)/(-5) - 7/(-35). Suppose 0 = -9*w - 3*w + l. Is 19 a factor of w?
False
Suppose -4 = 15*a - 16*a. Let u(h) = 3*h + 41. Does 15 divide u(a)?
False
Let v = -3602 - -4996. Is 34 a factor of v?
True
Suppose -2*y + 6 = -6. Suppose 16 = 2*n - y. Does 52 divide 174*(n/(-3) - -5)?
False
Suppose 5*a + 5*n + 350 = 0, 3*a - n = 3*n - 245. Let c = a + 96. Is c/(1*(-15)/(-100)) a multiple of 28?
True
Let d be 6/(-45)*3 - 11228/(-70). Suppose 12*g - d = -4*g. Is g a multiple of 3?
False
Suppose -579 = -2*d + 5*m, 2*m + 990 = 3*d + 149. Suppose -700 = -d*y + 270*y. Does 2 divide y?
True
Is 15 a factor of 64/((-1)/(12 - 28))?
False
Let r = -15732 - -22866. Is 26 a factor of r?
False
Let g(s) = 4*s**3 - 39*s**2 - 75*s - 14. Is g(16) a multiple of 9?
False
Let k(g) = -g**3 + 77*g**2 - 69*g - 1775. Is 2 a factor of k(75)?
True
Let b(v) = -v - 18. Let c be b(-18). Let z be 1/(-4)*-4*-1*c. Suppose -69*j + 61*j + 144 = z. Is j a multiple of 9?
True
Let c(y) = -3*y**2 - y + 8. Let a be c(2). Let q(v) = 92*v**3 + 2*v - 7. Let s(d) = -184*d**3 - 4*d + 13. Let g(o) = a*s(o) - 11*q(o). Is g(1) a multiple of 7?
False
Suppose -1 = j + 5. Let n be (-1 - -436)*(-8)/j. Let z = n - 408. Does 17 divide z?
False
Let j be (0 + (-2)/(32/20))*-4. Suppose 0 = 3*m + 12, 2*m + 5 = 4*b - 3. Suppose -j*f + 443 + 27 = b. Does 27 divide f?
False
Suppose -3*g + 30 = 3*g. Suppose 3*a = -1 - g, -5*o = a - 1308. Is 9/(-12) - (o/(-8) + 0) a multiple of 19?
False
Let d(w) = 2*w - 37. Let u be d(20). Suppose k - 419 = -2*p, 0 = -2*p - p - u*k + 633. Is 13 a factor of p?
True
Suppose 2*l = -25 + 31, -a - l = 0. Is 24 a factor of 7 - ((-476 - a) + 0)?
True
Suppose -133*d = -69*d - 60*d - 123108. Does 13 divide d?
False
Suppose -26*h + 116936 = -17021 - 5091. Is h a multiple of 7?
True
Let a(n) = -44*n + 29. Let r be a(-2). Suppose -4*d + r = -87. Is d a multiple of 12?
False
Let b(a) = 365*a + 2408. Is b(0) a multiple of 37?
False
Let g(t) = -24*t + 1036. Does 10 divide g(7)?
False
Let u(q) = -96*q + 67 - 93*q + 199*q. Let y be u(-6). Does 16 divide -240*((y - 5) + -3)?
True
Suppose 64 = -8*p + 248. Suppose 48*g - 9000 = p*g. Is 36 a factor of g?
True
Let 