. Is 3 a factor of f?
False
Suppose -3036960 = -243*d + 15*d. Is 30 a factor of d?
True
Let b(n) be the third derivative of 4*n**6/15 - n**5/10 + 11*n**4/24 - 3*n**3/2 - n**2 + 12. Is 49 a factor of b(2)?
True
Is 2/(-10)*116795/(-71) a multiple of 96?
False
Let l(o) = -o**3 + 3*o**2 - 3*o + 13266. Does 110 divide l(0)?
False
Let z(k) = -k**3 + 10*k**2 - 6*k + 12. Let r be z(9). Suppose -77*f + r = -74*f. Suppose f*h = 5*h + 64. Is h even?
True
Let z(d) = 29*d + 56. Let r be 5 + -2 + 2/(-3 + 5). Does 3 divide z(r)?
False
Let p = 56744 - 32973. Is p a multiple of 19?
False
Let g(n) = n**3 + 3*n**2 + 5*n + 6. Let f be g(-5). Suppose -998*c - 740 = -1008*c. Let h = f + c. Is h a multiple of 3?
False
Suppose -4*j - 20*j + 528 = 0. Suppose -j*m = -13*m - 3861. Does 28 divide m?
False
Let u(p) = -197*p + 171. Is 113 a factor of u(-2)?
True
Suppose -40*w - 24142 = -104142. Does 5 divide w?
True
Let l = 614 - 608. Let b(t) = 16*t**2 + 49. Is b(l) a multiple of 25?
True
Let g(q) = 101*q**3 - q**2 + 22*q - 180. Is 65 a factor of g(6)?
False
Let y = 742 + -742. Suppose 0 = 2*j - y*j - 4*t - 646, 1306 = 4*j - t. Is j a multiple of 5?
False
Suppose -465 = -9*u + 237. Suppose 2*g + 58 = -u. Let t = -51 - g. Is 3 a factor of t?
False
Suppose 2*k - 102*g = -103*g + 4737, 0 = 2*k - g - 4743. Is k a multiple of 5?
True
Suppose -130*c + 137*c - 55762 = 0. Is 14 a factor of c?
True
Let s = 115 + -49. Suppose -5*t + s = 16. Is ((-144)/(-20) - -2)/(2/t) a multiple of 23?
True
Let n = -40 + 56. Let d(k) = -n - 6*k + 10 + 3*k**2 + 0 - 6*k. Does 10 divide d(6)?
True
Let d(g) = -g**3 + 36*g**2 - 52*g + 109. Is 4 a factor of d(33)?
True
Let r(t) = -55*t**2 + 36*t + 74. Let h be r(-2). Let j = 341 + h. Is j a multiple of 3?
True
Let f = 31 - 26. Let x(i) = f*i - 8*i - 12*i - 10 + i. Is x(-5) a multiple of 12?
True
Let v(q) = 22*q**3 + 3*q**2 - 6*q + 9. Let t be v(3). Suppose -9*n + 1971 + t = 0. Is n a multiple of 41?
True
Suppose 28 = 21*l - 140. Is 26 a factor of l/(-2) - (-514 + -21)?
False
Suppose 2*n = -5*c + 324, 3*n - c + 3*c = 486. Let a = n - 79. Let z = -41 + a. Is z a multiple of 9?
False
Suppose 2*h - 4*u - 86 = 0, -14*u - 39 = -h - 10*u. Suppose 43*o - h*o + 2704 = 0. Is o a multiple of 11?
False
Let g be ((-2)/4)/((-3)/(-24)). Let o be (-2)/(24/9) + 1/g. Let c = o - -23. Does 8 divide c?
False
Suppose 11 = -28*r + 30*r + u, 2*r = 3*u + 7. Let n = 2 + -2. Suppose -3*f + r*j = 2*f - 140, -2*f - 4*j + 26 = n. Is f a multiple of 4?
False
Suppose -3*p + 7 = 4*m, -9 = -5*m + 3*p + 20. Suppose 2*y - m = -5*a, -4*y = y + 15. Suppose 9*b = a*b + 196. Is b a multiple of 9?
False
Let a(l) = 3*l + 8. Suppose -3*n = 3*n - 96. Suppose 28 = 4*d - n. Is 11 a factor of a(d)?
False
Suppose -13 = -3*g - 2*b + 13, -2*b = -g + 14. Suppose 5 + g = 3*u. Suppose -3*a = -u*a + 168. Does 10 divide a?
False
Does 8 divide -1485*(5/1 - 6) - 5?
True
Suppose -2*l = 3*s + 2*l - 16083, 2*s + 3*l - 10723 = 0. Is s a multiple of 17?
False
Let g(a) = -12*a + 3205. Does 77 divide g(-73)?
True
Let b be (-4)/(8/(-6)) + 8/1. Let a be b + -3 - (4/2 - 5). Suppose a*j + 13 = 12*j. Is j a multiple of 2?
False
Let i(a) be the second derivative of a**4/12 - 2*a**3/3 - a**2/2 + 3*a - 435. Let p(k) = k**3 + 6*k**2 - k + 4. Let v be p(-6). Does 11 divide i(v)?
False
Let i(j) = 3*j**2 + 155*j + 250. Does 2 divide i(-52)?
True
Is (-18 - (-481)/26) + (-3263)/(-2) a multiple of 51?
True
Does 93 divide 24/(-80) + (-343983)/(-10)?
False
Let j(r) be the first derivative of r**6/90 + r**5/12 - 7*r**4/24 + 10*r**3 + 25. Let b(g) be the third derivative of j(g). Is b(5) a multiple of 13?
True
Suppose 35*y - 55*y = -100. Suppose 5*p + 4*s - 2486 = 2176, -y*s + 15 = 0. Is 62 a factor of p?
True
Let g(w) = -9*w - 15. Let f be 1*-4 - 12/(-2). Suppose f*u - 20 = 4*u. Is 25 a factor of g(u)?
True
Let t be (6 - 6)/(2 - 3). Suppose -2*f = -h + 2*h - 8, -2*h - 3*f + 12 = t. Suppose 2*c - 178 = -3*l + 41, h = 4*l - 5*c - 292. Does 18 divide l?
False
Let x be ((-12)/(-10))/((-96)/320). Let p(k) = -36*k + 26. Is p(x) a multiple of 4?
False
Suppose -6*d + 7846 + 23450 = 0. Does 16 divide d?
True
Suppose 0 = 217*z - 197094 - 117339. Is z even?
False
Suppose 0 = 5*d, -2*l + 6 = l - 5*d. Suppose l*p - 364 = -5*g, -p + 77 - 3 = g. Is g a multiple of 4?
True
Suppose 0 = -2*o - 570 + 580. Suppose -2*i = 4*t - 0*t - 844, 0 = -5*t + o. Is 42 a factor of i?
True
Suppose -5*y + 3*y = g - 368, -y = -3*g + 1104. Suppose 2*h = 4*h - g. Is 6 a factor of h/18 + 34/(-153)?
False
Suppose -3*w + 16913 = -2*f, -15*w + 14*w + 5647 = -2*f. Is w a multiple of 6?
False
Suppose 613438 = 114*x - 28*x. Does 95 divide x?
False
Let y(t) = t**3 + 3*t**2 - 13*t - 5. Let z be y(-4). Suppose -3*q + 8*q = -c + 267, -4*c + 167 = 3*q. Let i = z + q. Is i a multiple of 4?
True
Let p = 8120 + -2025. Does 84 divide p?
False
Suppose 0 = -10*x + 46 - 16. Suppose 0 = -2*k - 4*m - 6, -5*k + x*m - 12 + 36 = 0. Suppose 5*n - 140 = -5*z, z + 3*z - 84 = -k*n. Is 13 a factor of n?
False
Let u(w) = 2*w + 48. Let i be u(-24). Suppose 1 = 2*h + 9, g - 5*h + 64 = i. Let q = 189 + g. Does 21 divide q?
True
Is ((-4312)/55 + -12)*(-2730)/12 a multiple of 91?
True
Let k(b) = 690*b**2 + 45*b - 248. Is k(5) a multiple of 107?
True
Let s be ((-4)/8 - 0)*(-2 + -2). Let z be ((s - -1)*8)/((-12)/(-8)). Let v = 135 - z. Is 36 a factor of v?
False
Let j = 397 - 396. Does 23 divide 3 + j - -328 - 0?
False
Let z(i) = 51*i - 53. Let u be z(17). Suppose 0 = 81*g - 79*g - u. Is 14 a factor of g?
False
Suppose m = 3*t - 4, -t - 35 = -5*m + 3*t. Let s = 37 - m. Let p = s + -12. Does 3 divide p?
False
Suppose 378 - 388 = -5*s. Suppose -4*c - s*m + 100 = -m, 0 = -3*m. Does 2 divide c?
False
Let x(b) = 29*b**2 + 828*b - 29. Is 11 a factor of x(-45)?
False
Suppose 35320 + 225800 = 17*f + 15*f. Is f a multiple of 51?
True
Let h(u) = -u**3 - 16*u**2 - u - 14. Suppose 4*k - 64 = 8*k. Let f be h(k). Suppose -3*r + 270 = f*r. Does 18 divide r?
True
Suppose -f - 15 + 19 = 0. Suppose 0 = -f*i + 9*i - 1260. Is 42 a factor of i?
True
Let w(n) = -n**3 + 14*n**2 + 11*n - 6. Let b be w(8). Suppose 1188 = 469*l - b*l. Is 30 a factor of l?
False
Let w = -47 + -16. Let s = w + 279. Suppose -m - s = -2*r + 3*m, -r = 2*m - 108. Is r a multiple of 12?
True
Suppose -2*j + 3*v = -v - 44, -v + 52 = 4*j. Does 15 divide 2*j/(-35) + (-94)/(-5)?
False
Suppose -7*p = -265 - 85. Let d = p - 45. Suppose 0 = 3*x - 0*x + 12, -541 = -d*q - x. Is 49 a factor of q?
False
Let y = 75 + -49. Let s = 597 + -568. Let g = s - y. Is 3 a factor of g?
True
Let y(t) = 2*t + 8. Let c be y(-1). Let n(g) = 12*g**2 + 18. Does 32 divide n(c)?
False
Suppose 0*d = -3*d + 5*q + 18794, -20 = -4*q. Does 12 divide d/27 - 1/3?
False
Suppose 38*p - 77 = 31*p. Suppose -8*d + p*d - 24 = 0. Suppose -5*r = 5*h - 525, -3*r + 3*h - 531 = -d*r. Does 9 divide r?
True
Suppose 2*l - 5*v - 32397 = 0, 4*l + 466*v - 64767 = 467*v. Is l a multiple of 21?
True
Let x = -35 - 117. Let w = 169 + x. Is w a multiple of 2?
False
Let t = -3 + 2. Let c be ((-42)/(-12) - (t - -3))*4. Let m(g) = g**3 - 4*g**2 + g - 7. Is 32 a factor of m(c)?
False
Let g(w) be the third derivative of 43*w**8/10080 - w**7/1680 + w**6/720 + w**5/5 - 14*w**2. Let f(b) be the third derivative of g(b). Is f(1) a multiple of 12?
True
Let a(v) = -4*v**3 - 6*v**2 + 9*v - 23. Let h(c) = -c**3 + 2*c**2 - c - 1. Let m(n) = -a(n) + 3*h(n). Is 3 a factor of m(-13)?
False
Suppose -3*b + 24*b - 36168 = 102642. Is 83 a factor of b?
False
Let k be (8/(-10))/((-9)/135). Let w be (-8)/k*-12 + -4 + 0. Suppose 7*y - 9*y + 4*t = -60, -w*t - 96 = -3*y. Is 2 a factor of y?
True
Let l be (48/(-20))/(4/(-10)). Does 4 divide -3*(-122)/l - 1?
True
Suppose -6 = 205*x - 207*x. Suppose 3*p = x*q - 224 - 121, 0 = -2*q - 5*p + 209. Is 16 a factor of q?
True
Let v be (4/3)/(28/42). Let t(n) = -n - 2*n**3 - 2*n**v - 8*n + 10 + 3*n**3 + n. Is t(5) a multiple of 9?
True
Suppose -31*a + 91202 + 8062 = -181720. Is 8 a factor of a?
True
Suppose -454 - 2010 = -8*j. Let s = -28 + j. Is s a multiple of 14?
True
Suppose 0 = -3*b + 5*h - 34, -3 - 1 = b + 2*h. Let c be b/(-6)*(-1)/((-4)/18). Suppose -c*s + 320 = -s. Does 13 divide s?
False
Does 17 divide 1397*1 + -1*(-13 + 16)?
True
Suppose 4 = 2*n + u - 3, 13 = 3*n + 4*u. Suppose -8*h - 