z = -b + 20. Let i(q) = q - 136. Let k be i(b). Let g = -78 - k. Is g a multiple of 12?
False
Let m(v) = -21 + 0*v**2 + 48 + 12*v - v**2. Does 9 divide m(11)?
False
Suppose z + 3*x = 4*z - 15, 4*z + 3*x = -15. Let h be z/((-7 - -2) + 3). Suppose -r + 40 - 13 = h. Does 27 divide r?
True
Let x(b) = b + 0 - b**2 + 5*b**2 + b - 3. Let p be (-15)/(-6)*4/5. Is 17 a factor of x(p)?
True
Let b be 2/(-6) - 364/(-21). Suppose 4*m + b = 3*z - m, 0 = 3*z - m - 13. Suppose 0 = -z*v + 16, -2*q = v - 3*v - 66. Does 10 divide q?
False
Suppose -3*y = 3*p - 117, -y - 4*p + 24 = -0*y. Is y a multiple of 22?
True
Let p = -6 - -11. Suppose 0*l - n = -2*l + 20, -10 = -p*n. Suppose -w + 35 = l. Does 6 divide w?
True
Let p(k) = k**3 + 7*k**2 + 6*k + 4. Let s be p(-6). Let v be (-5)/((-30)/s)*3. Suppose -v*y = 15 - 55. Is 12 a factor of y?
False
Let y be (-4)/(-8)*-2*30. Let i = y + 2. Let k = i + 53. Is 10 a factor of k?
False
Suppose 1324 = 5*h - 3*h. Let w be -5*h*1/(-5). Does 9 divide (-6)/21 + w/14?
False
Is 7187/13 - (-14)/91 a multiple of 22?
False
Let c(b) = -b + 14. Let m be c(9). Let i(y) = -m - y + 0 + 3*y**2 - 3*y. Does 8 divide i(-3)?
False
Let n = -84 + 163. Let s = 35 + n. Is s a multiple of 10?
False
Let m be (-2 + 0)/(4/2). Let x = m + 4. Suppose 0 = -x*w + 297 - 0. Is 23 a factor of w?
False
Let w = 18 - 26. Is 18 a factor of (-2)/w - (-994)/56?
True
Suppose 3*t - f - 818 = 0, -4*f - 11 = t - 288. Does 21 divide t?
True
Suppose -23*a = -19*a + 5*s - 4054, -2*s - 5051 = -5*a. Is 22 a factor of a?
False
Suppose 0*r = 3*r - 720. Is 15 a factor of r?
True
Let v(a) = -a**3 + 36*a**2 - 60*a + 39. Does 41 divide v(34)?
False
Is (-3 + -756)*1/3*-1 a multiple of 44?
False
Suppose -3*o + o = -5*u + 7, 0 = 3*o - 3*u - 3. Suppose -149 = -o*k + 75. Is 29 a factor of k?
False
Is 22 a factor of (10890/(-35))/(5/(-35))?
True
Is 20 a factor of 1 + (-13)/11 + 33994/22?
False
Suppose -2*j + 511 = 5*h - 7, -j = -h - 252. Does 17 divide j?
False
Let y(a) be the third derivative of 1/10*a**5 + 0*a**4 + 0 + 1/120*a**6 + 2*a**2 + 0*a - 1/3*a**3. Is y(-4) a multiple of 15?
True
Let p(i) = i**3 + i**2 + 4*i - 16. Let x(v) = 2*v**3 + 2*v**2 + 3*v - 17. Let d(t) = 3*p(t) - 2*x(t). Is 26 a factor of d(-6)?
True
Let t(k) = 15 + 540*k**2 - 19*k + 2 - 538*k**2. Is t(13) a multiple of 23?
False
Suppose 2*i = 5*h - 6, -2*i + h - 4 = -3*i. Suppose i*d = 76 + 428. Does 9 divide d?
True
Suppose 5*s + 22*s - 12123 = 0. Is s a multiple of 2?
False
Let q be (-1)/((-6)/612) - -1. Let i = q - -48. Is i a multiple of 23?
False
Let j(y) = -20*y - 1. Let c be j(-3). Let f be -46*(-4)/(-16)*2. Let q = c + f. Is q a multiple of 12?
True
Let l(m) be the third derivative of m**6/30 - m**5/30 + m**4/12 + m**3/2 - 20*m**2. Is 15 a factor of l(3)?
False
Let x = 53 - 40. Suppose 14*l - 200 = x*l. Is l a multiple of 20?
True
Let t = -432 + 460. Is t a multiple of 14?
True
Let i be (-2)/(-6) - 1064/42. Let a = i - -33. Is a a multiple of 7?
False
Let u(j) = 6*j - 18. Let o be u(4). Suppose 3*t - o = 2*s - t, -4 = 3*s - 5*t. Does 4 divide s?
False
Let a(f) = -f**3 + 11*f**2 + 2*f - 15. Is 19 a factor of a(10)?
False
Suppose 1239 + 1300 = w + 5*u, -2*u = 5*w - 12718. Is w a multiple of 86?
False
Suppose -r = 2, -4*r + 162 + 438 = 4*x. Suppose -3*l + 440 = 2*g, l + 0*g = 2*g + x. Is 25 a factor of l?
False
Let o(l) = 3*l**2 + 5. Let g(j) = -4*j**2 - j - 4. Let f(m) = 4*g(m) + 5*o(m). Let t be f(-7). Is 6 a factor of 54/t*(-5 + 1)?
True
Let v(q) = 2*q + 4. Suppose -2 = -5*t + 6*t. Let o be v(t). Suppose o = -0*d + d - 42. Is d a multiple of 14?
True
Is 72 a factor of 551 - 2 - (-8 + 6)?
False
Let m = -1184 - -1295. Is 6 a factor of m?
False
Suppose 0 = -3*h + 37 + 2. Suppose -h*m + 1060 = -8*m. Is 46 a factor of m?
False
Let c(y) = 11*y + 494. Does 9 divide c(0)?
False
Let s(q) = 2*q + q - 5*q - 28 + 9*q. Is 3 a factor of s(10)?
True
Let i = -4129 + 7093. Does 96 divide i?
False
Suppose 4*f - 5*w - 10329 = 0, 2*f + 4*w = 2163 + 2995. Is f a multiple of 29?
True
Suppose -3*p - 4*f + 117 = -260, 2*f - 4 = 0. Is 4 a factor of p?
False
Suppose -4*p + 18 = 2. Let t = p + -4. Let x(m) = m + 115. Is x(t) a multiple of 30?
False
Suppose -5*l + 1791 = -4*i, 3*l = -2*i + 481 + 576. Is l a multiple of 6?
False
Let q = -49 + 37. Let s(i) = i**3 + 13*i**2 + 3*i + 21. Is 9 a factor of s(q)?
False
Suppose p + 5*i = -22, 0 = 4*p + 2*i + i + 3. Suppose w = l - 11, -5*l = p*w - 5 - 10. Is 6 a factor of l?
True
Does 30 divide ((-16995)/12)/(-11) - 5/(-20)?
False
Suppose -3*t = 3*j - 216 - 1272, -5*t + 2474 = 2*j. Is 38 a factor of t?
True
Let i be (40/15)/(6/9). Suppose 5*m - 2*q - 1519 = 0, i*q + 614 = -2*m + 4*m. Does 44 divide m?
False
Suppose 0*c = u - c + 58, 0 = 3*u - 5*c + 164. Let q = u - -133. Is q a multiple of 7?
True
Let h = -682 - -1888. Is 18 a factor of (h/36)/(-2*2/(-32))?
False
Is 36 a factor of (-1)/((-16)/6916) - 1/4?
True
Suppose 2*f - 1660 - 874 = 4*k, 3*k = -3*f + 3819. Is 27 a factor of f?
False
Suppose 3*x + x = 8. Suppose -126 = -5*n + 2*r + 153, -x*n - 3*r + 123 = 0. Let j = n - 29. Is 14 a factor of j?
True
Let w = -4907 - -7007. Is w a multiple of 14?
True
Suppose -28*u - 21302 + 142150 = 0. Does 83 divide u?
True
Let r = -1385 + 1576. Is r a multiple of 5?
False
Suppose -4*f + 5*q + 9960 = 0, -474*q + 472*q = -2*f + 4982. Is f a multiple of 5?
True
Suppose -8*x + 52 = 4. Suppose -4*u + 439 = z, x*z - 4*z = -5*u + 548. Is u a multiple of 22?
True
Suppose 2*d - 278 = -4*g, -3*d = -3*g + 5*g - 429. Does 4 divide d?
False
Suppose 0 = -24*c + 19*c + 90. Is c even?
True
Let p = -75 - -78. Suppose 0*n + p*n = -q + 30, -5*n + q + 50 = 0. Is 7 a factor of n?
False
Let t(m) = 27*m + 20. Let c be t(7). Suppose -j + 182 = 4*f, c = 4*j + f - 534. Is j a multiple of 42?
False
Suppose -4*u + 7*u = -3*a + 459, -306 = -2*a - u. Does 2 divide a?
False
Let a(y) be the first derivative of y**4/4 - 3*y**3 + 5*y**2 + 8*y + 8. Let g be a(8). Let c = g + 0. Is 12 a factor of c?
True
Suppose 8*f - u = 3*f - 239, -51 = f - u. Let h = f + 103. Suppose -3*y + h = 14. Is 7 a factor of y?
True
Let u be ((-3)/5)/((-2)/1010). Let v = u - 199. Suppose 2*m = -2*m + v. Is 6 a factor of m?
False
Let f = 17 - 13. Suppose -3*p - 49 = -f*p + 5*t, 4*t + 4 = 0. Is p a multiple of 7?
False
Let k = 836 - 329. Does 13 divide k?
True
Does 29 divide 3550/15 - (-12)/(-18)?
False
Let x = 628 + -24. Suppose 208 = -6*n + x. Is 8 a factor of n?
False
Let d(g) = 2*g**3 + 2*g**2 - 4*g + 2. Let y be (-3)/(((-3)/1)/3). Suppose -a - 12 = -5*c, -y*c - 4*a + 0 = 2. Does 18 divide d(c)?
True
Suppose -z - 2*p + 8 = p, 4*p = -z + 9. Suppose -3*c = c - z*v - 209, 0 = -v + 3. Is c a multiple of 14?
True
Let g = 637 - 98. Does 77 divide g?
True
Suppose -3445 = -32*s + 8715. Is 59 a factor of s?
False
Suppose -5*p = -p + 60. Let h = p + 47. Is 9 a factor of h?
False
Is 161160/220 - 6/11 a multiple of 12?
True
Suppose 5*a = -20, -3*a = -4*q - q + 22. Let u be (-3 + q)*-1 + -1. Suppose 0 = -4*p + d + 96, u = 2*p + d + 4*d - 70. Is 15 a factor of p?
False
Suppose 0 = -2*q - 2*x + 4, -x = 3*q - 5*q + 4. Suppose c - q*j = 36, -5*c - 2*j + 134 = -10. Is 5 a factor of c?
True
Suppose 60 = 10*q + 5*q. Is q/(-6) + 116/3 a multiple of 19?
True
Suppose -366*l - 596 = -368*l. Does 32 divide l?
False
Suppose 0*w = -3*g - w + 12, w + 4 = g. Suppose -5*r - 53 = -s, -g*s - 3*r + 26 + 117 = 0. Is s even?
True
Suppose -816 = 56*g - 58*g. Does 24 divide g?
True
Let z(h) be the third derivative of -h**4/2 - 13*h**3/6 + 8*h**2. Let f be z(6). Is 544/f*30/(-4) a multiple of 15?
False
Let o = 15 - -120. Suppose 3*u + o = 4*a, 2*a - 2*u = -4*u + 78. Is a a multiple of 12?
True
Suppose 3*n - 6228 = -5*k, -2*n - 5*k = -0*n - 4157. Is 109 a factor of n?
True
Let c(l) = 8*l**2 - 31*l + 135. Is c(21) a multiple of 12?
True
Suppose -2*n = 5*a + n - 438, 4*a = 5*n + 343. Suppose 5*i - 83 - a = 0. Let t = i + -15. Is t a multiple of 5?
False
Suppose 36*t = 27*t + 2493. Does 57 divide t?
False
Let z be (-12)/9*6/(-4). Let g be ((-3)/z)/((-21)/28). Is (g + 2 + -3)*14 a multiple of 14?
True
Let g(h) = h**2 - 12*h + 19. Let b = -29 + 42. Let u be g(b). Suppose 0 = k - u - 8. Is 8 a factor of k?
True
Let s = -580 + 922. Suppose 3*d = 2*r - s, 51 + 120 = r - 4*d. Does 48 divide r?
False
Let q(m