3 = -3*z + 21. Is z/(-8) + (-225)/j a multiple of 12?
False
Let h(y) = -14*y - 150. Is h(-21) a multiple of 12?
True
Is -3*(109668/36)/(-19) a multiple of 13?
True
Let f be 45 + 8/6*3. Suppose 3*k - 8*k = 4*w + f, 77 = -5*w - k. Is 4 a factor of (5 + -1)/((-4)/w)?
True
Is 66*240/108*3 a multiple of 8?
True
Suppose -m - 131 = -a - 6*m, -5*a - m = -631. Suppose -7*p + a = -p. Is p a multiple of 7?
True
Let k = -3928 - -7453. Is k a multiple of 75?
True
Let k(b) = 2*b**3 + 41*b**2 - 31*b - 40. Is 28 a factor of k(-20)?
True
Let o(u) = u**3 - 13*u**2 + 11*u + 15. Does 18 divide o(15)?
True
Let l = 275 + -48. Suppose 4*w - 301 = l. Does 28 divide w?
False
Let p(a) = -8*a - 1. Let j be p(-1). Suppose -j*o + 92 = -5*o. Suppose -4*i + 3*n + 32 + 29 = 0, -o = -3*i + 2*n. Is i a multiple of 16?
True
Let i = 79 + -43. Suppose u + 3*w - 32 = -9, 4*w - i = -2*u. Does 4 divide u?
True
Suppose 85 = 4*k + 5. Let t = 7 - k. Let j = 92 + t. Does 14 divide j?
False
Does 40 divide (-179275)/(-202) - (2/4 + 0)?
False
Suppose 0 = 3*b - 3*h - 4617, -b - b - 2*h + 3070 = 0. Is b a multiple of 8?
False
Let a(p) be the third derivative of -p**5/30 + 5*p**4/8 - 3*p**3/2 + 4*p**2. Let f(s) = 2*s**2 - 14*s + 8. Let k(x) = 6*a(x) + 7*f(x). Is 7 a factor of k(6)?
False
Suppose -4596 = -496*o + 490*o. Is 49 a factor of o?
False
Let a = 26 + -26. Let t(d) = d**2 - d + 24. Does 12 divide t(a)?
True
Let f be 5 + 0 + -2 + -1 + 6. Let u(l) = 2*l**2 - 4*l - 1. Is u(f) a multiple of 18?
False
Suppose 8*y - 1606 = -246. Does 17 divide y?
True
Suppose -8*h = -3*h - 2380. Is 44 a factor of h?
False
Let y = 2273 - 884. Does 14 divide y?
False
Let d(x) = 4*x**3 - 7*x**2 - 3*x - 7. Is 47 a factor of d(6)?
False
Let d(p) = -5*p**2 + 5*p - 10. Let r be d(5). Let i = -51 - r. Does 19 divide i?
False
Let x(v) = 5*v**2 - 5*v + 5. Suppose 0 = m - 0*m - 33. Suppose 0 = -4*k + 4*p + 3 + m, 3*k = 4*p + 32. Is 13 a factor of x(k)?
True
Does 9 divide (13 - 15)/(1/((-11)/2))?
False
Let t(k) = -2*k**3 - 37*k**2 - 25*k - 113. Does 24 divide t(-19)?
False
Let n be 0 + (-2 - -3) - -2. Suppose 5 - 14 = -n*t. Suppose 43 + 11 = t*s. Does 9 divide s?
True
Suppose -5*q - 155 - 825 = 0. Let f = q + 298. Does 16 divide f?
False
Suppose 3*j - 83 = -2*p + 76, -3*j - 3*p + 159 = 0. Let c be -1 + (1 - 3) + j. Let m = c + -28. Is 22 a factor of m?
True
Let i = -222 + 312. Does 15 divide i?
True
Let o be (-1)/2 + (-292)/(-8). Let z = -107 - -96. Does 18 divide (2 + z)/((-6)/o)?
True
Let b = -168 - -321. Is 17 a factor of b?
True
Is 13 a factor of (-17 - 49291/22)*4/(-3)?
False
Suppose 649 = 3*u + 5*x, 203 = 4*u - 3*x - 614. Is 11 a factor of u?
False
Suppose -2*c - 41*k = -46*k - 430, 3*c = -2*k + 645. Does 5 divide c?
True
Let q = 34 - 32. Suppose q*k + 36 = 4*p, 8*k - 3*k = -10. Let y(s) = 2*s - 4. Is y(p) even?
True
Let y(p) = -p**3 - 10*p**2 - 9*p - 1. Let j(h) = -h**3 - h**2 + h - 9. Let l be j(0). Let a be y(l). Does 11 divide 12 + a + 0 - 0?
True
Suppose 5*m + b - 1277 = m, -2*m = -b - 637. Is m a multiple of 32?
False
Suppose 15 = 5*i, 0 = -4*o + 3*i + 2*i - 219. Does 13 divide ((-34)/o)/(4/414)?
False
Let a(u) = u**3 - 6*u**2 + u - 7. Let d be a(6). Let v be 13 + d/2*4. Suppose 37 = v*g - 10*g. Is 37 a factor of g?
True
Let c(x) = x**2 - 22*x + 52. Is c(21) a multiple of 3?
False
Suppose 12 = -3*q, -i - 3*i + 24 = -q. Suppose -i*n + 5 = -6*b + 5*b, b = 5. Is 2 a factor of n?
True
Let s(o) = 3*o**2 + 12*o + 13. Let m = 19 + -25. Let r be s(m). Suppose 5*y - r = -u, 3*u + 5*y - 92 = y. Is 12 a factor of u?
True
Suppose 0 = -72*p + 77*p - 170. Let b = 22 + p. Does 4 divide b?
True
Let q be (-32 + 12)*(-2)/8. Suppose -n - q = -4*u - 27, -3*u - 93 = -3*n. Is 28 a factor of n?
False
Let o(z) = 183*z + 1. Let d be o(1). Suppose -5*h - 42*l + 18 = -43*l, 5*h + l - 22 = 0. Suppose -8*p + d = -h*p. Is p a multiple of 23?
True
Suppose 5620 = 9*o - 9635. Does 46 divide o?
False
Let k(p) = 29*p**2 - 3*p + 12. Let b be k(3). Suppose 203*z = 207*z - b. Is z a multiple of 11?
True
Suppose 4873 + 3031 = 19*q. Is 4 a factor of q?
True
Suppose y = -k + 112 + 170, -2*y - 4*k + 570 = 0. Suppose 4*n - 373 = i, 2*n - i = -n + y. Is 53 a factor of n?
False
Let z = 2650 - 1006. Is z a multiple of 50?
False
Suppose 25 = -3*w - a - 21, -2*a = -4. Is 12 a factor of w/(-4) + (68 - 0)?
True
Suppose -21*b + 32*b = 2244. Is b a multiple of 12?
True
Let z = -280 - -2258. Is z a multiple of 46?
True
Suppose 0 = -2*y + 5*h + 150, -4*y = -5*y + 2*h + 77. Is 15 a factor of y?
False
Let i = -31 + 34. Suppose 5*l - 2*j = -j + 233, 2*l - i*j = 88. Is l a multiple of 20?
False
Suppose 4238 = 2*i - 3*a, -5*i - a = 706 - 11301. Is 21 a factor of i?
False
Let v(b) be the first derivative of b**4/4 + 7*b**3/3 + b**2/2 + 4*b - 29. Does 5 divide v(-3)?
False
Let t = 1 - -2. Let b(q) = 5*q + 4. Let y be b(5). Suppose y = 2*d - t*c, -c = 5*d + c - 63. Does 13 divide d?
True
Let s(u) = -9*u + 1. Let t be s(-3). Suppose -4*x + 3*b = b - t, -2*x - b + 6 = 0. Suppose -x*m + 0 = -5*j + 45, -3*j + 4*m = -31. Does 5 divide j?
True
Let n = 544 - -289. Is n a multiple of 5?
False
Suppose 20*b - 24*b - 28 = 0. Let r(t) = -2*t**3 - 14*t**2 - 4*t + 14. Is 7 a factor of r(b)?
True
Let r(c) = -4*c - 28. Does 12 divide r(-16)?
True
Suppose 0 = -0*q + 3*q - k - 1085, -5*k = 3*q - 1055. Is q a multiple of 24?
True
Let b(v) = -v + 2 - v**3 - 31*v**2 + 57*v**2 - 27*v**2 - 1 + 3*v**3. Let g(d) = -d + 1. Let o be g(-2). Is b(o) a multiple of 30?
False
Let g(t) = t**2 - 8*t - 5. Let v be -1*(0 + 1) + -4. Is g(v) a multiple of 10?
True
Let y be (20/15)/(6/(-9)). Is 10 + -8 + y/(-1) even?
True
Let f(z) = -z**2 - 22*z - 11. Let s(y) = -5*y + 1. Let q be s(4). Is f(q) a multiple of 23?
True
Let u = 42 - 90. Let w = u + 84. Does 9 divide w?
True
Let p(y) = y - 303 + 288 - 4*y. Is 3 a factor of p(-10)?
True
Let u = 2969 - 854. Is 15 a factor of u?
True
Let l(m) be the second derivative of 13*m**7/2520 - m**4/4 + m. Let f(b) be the third derivative of l(b). Is f(1) a multiple of 13?
True
Let h = -62 + 36. Let n be 3 + h*(-3)/(-6). Does 3 divide -15*(3 + 38/n)?
True
Let s = -47 - -50. Suppose 0*k + k = -s*y + 616, -3*y = 3*k - 624. Does 51 divide y?
True
Suppose 0 = -16*n + 830 - 30. Let k = 310 + -170. Suppose -k = -3*c + 5*q, 0*c - n = -c + 5*q. Does 9 divide c?
True
Let i(p) be the first derivative of 4*p**3/3 - 9*p**2/2 + 6*p + 21. Is i(7) a multiple of 7?
False
Suppose 21556 = 23*d + 856. Is d a multiple of 12?
True
Suppose -13*y - 216 = -11*y. Is (-4 + 10/3)*y a multiple of 16?
False
Let l = 15 - 26. Let t = l + 10. Is (-2)/1 - 18/t a multiple of 5?
False
Let a = 53 - 20. Let c = a - 28. Suppose 0 = -0*i + i + c*n - 9, 2*n + 2 = i. Is i even?
True
Let a be (-10)/(-60) + (-118)/(-12). Suppose -12*u = -7*u - a. Suppose -p - u*o - 14 = -2*p, -4*o + 32 = p. Does 10 divide p?
True
Suppose -200 = -13*d + 970. Is d a multiple of 30?
True
Let m = -25 + 23. Is 27 a factor of (-219 + -3)*m/3?
False
Let l(w) be the third derivative of w**5/20 - 2*w**3/3 + 50*w**2. Does 4 divide l(2)?
True
Let t(l) = l**3 + 11*l**2 + 11*l - 19. Is t(-6) a multiple of 5?
True
Let k = -34 - -38. Suppose 5*f + 15 = 0, -k*l + 4*f + 491 = -f. Is 9 a factor of l?
False
Let f = -128 + 130. Suppose 95 + 265 = f*r. Is r a multiple of 30?
True
Suppose 3*w - 25 = 2*m, -4*w - 2*m - 37 = -89. Is 3 a factor of w?
False
Let z = -17 - -21. Suppose z*k + 5 = 17, -39 = -j + 4*k. Let q = j + -27. Is q a multiple of 8?
True
Let i(o) = 4 + 5 + o**3 + 4*o - 13*o**2 + 3. Is i(13) a multiple of 16?
True
Suppose 51*n + 112 = 52*n. Is 14 a factor of n?
True
Suppose 36 = 3*h - 9*h. Is 42 a factor of 6/18 + (-322)/h?
False
Let d(b) be the second derivative of b**4/12 - 2*b**3 + 13*b**2/2 - 3*b. Let i be d(11). Suppose -4*y = i - 238. Is 24 a factor of y?
False
Suppose 26 = -2*a + 4*a. Suppose 0 = 3*v - x - x + 1, v - a = -2*x. Suppose -p = -v*p + 32. Is 8 a factor of p?
True
Let m be (-20)/(-110) + (-20)/(-11). Let k be (m/3)/(3/9). Suppose -k*j - 5 = -47. Is j a multiple of 11?
False
Let x(p) = 12*p**2 - 5*p + 19. Let s be x(3). Suppose k + 110 = c, -s = 4*c - 5*c + 2*k. Is c a multiple of 13?
False
Let w(k) be the second derivative of -k**3/6 + 34*k**2 + 23*k. Does 34 divide w(0)?
True
Let t = 1326 + -774. Is t a multiple of 15