t k = -15 + 34. Let b = 31 - k. Is b a multiple of 12?
True
Let j(u) = 2*u. Let q be j(4). Suppose l + 4*l - 225 = 0. Suppose -q*w + l = -5*w. Is w a multiple of 9?
False
Let a(k) = k**2 + 10*k + 18. Let o be a(-12). Let d = 90 - o. Is 8 a factor of d?
True
Let h be (3/1 - -1)*2. Suppose 6*y - h*y + 156 = 0. Is y a multiple of 10?
False
Is (-304)/(-6 - (-96)/18) + 0 a multiple of 76?
True
Suppose -r = -4*r - x + 17, -r + 5 = x. Let d(l) = 10 - r*l + 8 - 11. Is d(-5) a multiple of 10?
False
Suppose 0 = -97*y + 79*y + 126. Is 5 a factor of y?
False
Let w = -2025 + 1379. Is w/(-6) + (-3)/(-9) a multiple of 9?
True
Let c(m) = -2*m**2 - 19*m - 22. Let v be c(-8). Let x = -3 - -6. Suppose -3*p - x*d + 123 = -0*p, -5*d + 97 = v*p. Is 11 a factor of p?
False
Suppose -k - 3*t = -210, -63*k - 4*t - 904 = -67*k. Does 3 divide k?
True
Let d = 921 + -702. Is d a multiple of 2?
False
Is 32 a factor of 3 - (-291 - (1 - 6))?
False
Suppose d - 5*p = 3*d - 707, 710 = 2*d + 4*p. Is 19 a factor of d?
True
Does 16 divide (10 - (-420)/(-9))*48/(-5)?
True
Suppose 2*z + 897 = 5*k, -5*k + 115 + 794 = z. Is k a multiple of 16?
False
Let m = -1817 - -2587. Is 35 a factor of m?
True
Let j(r) be the first derivative of -r**3/3 - 8*r**2 - 6*r + 10. Is 3 a factor of j(-14)?
False
Let t be (0*(-2)/8)/2. Let m be 2 - (t - 1)*-29. Does 12 divide m/1*16/(-12)?
True
Is 4 a factor of (-8770)/40*-4 + 4?
False
Suppose 4*h + 7*c - 20 = 3*c, h - 4*c + 5 = 0. Suppose -54 = -3*u - h*u. Is 29 a factor of 392/6 + 6/u?
False
Suppose -26*u = -9*u - 5440. Is 16 a factor of u?
True
Let x(g) = -g - 3. Let b be x(-6). Suppose 5*n - 9 = b*o + 14, 0 = -4*o + 4*n - 28. Does 10 divide (o/7)/((-20)/280)?
False
Let f = 98 + -208. Let n be 3/((-333)/f + -3). Suppose 26 + 4 = k - 3*b, 0 = 4*k - 2*b - n. Is k a multiple of 9?
True
Let w(k) = k - 3. Let v be w(-9). Let m be (-3)/v*4 + 23. Suppose 4*n - 4*i - m = 0, 24 = n + i + 4*i. Is n a multiple of 9?
True
Suppose -5*o = -4*z + 3815, 3*z - 1246 = -3*o + 1595. Does 41 divide z?
False
Let r(b) = 14*b**2 - 7*b - 15. Is 44 a factor of r(-3)?
True
Suppose 7*g - 2*g + 4*h = 1988, 0 = 3*g - 5*h - 1215. Is 50 a factor of g?
True
Let v(y) = -6*y**3 - 16*y**2 + 5*y + 5. Is v(-9) a multiple of 13?
False
Suppose 0 = -14*s + 9*s - 105. Let a = -1 - s. Is a a multiple of 20?
True
Let i(m) = 1764*m**2 - 12*m - 6. Does 59 divide i(-1)?
True
Suppose -4*d + 2*k + 145 + 1175 = 0, -4*d - 4*k = -1296. Is d a multiple of 52?
False
Let b(r) = -42*r - 188. Is 15 a factor of b(-8)?
False
Let j(w) = 14 + w + 8*w**2 + w**2 - 4 - 6*w. Is 37 a factor of j(4)?
False
Let r = -2078 + 2974. Is 28 a factor of r?
True
Suppose -t - 81 = 2*x, -5*x - 249 = -4*t - 79. Let g = -13 - x. Is g a multiple of 5?
True
Suppose -3*r + 79 = r + k, -2*r + 3*k = -57. Suppose -69*l + r = -68*l. Does 3 divide l?
True
Suppose 0 = -10*y + 2*y + 104. Suppose -3*c - y = -2*h - 0*h, 2*h - 12 = 2*c. Is 5 a factor of h?
True
Suppose 0 = 2*u + 3*t - 12, -u + 8 = -6*u + 2*t. Suppose 5*x - m - 805 = -132, u = 2*m - 4. Is x a multiple of 15?
True
Let q = 1463 + -1425. Is 4 a factor of q?
False
Let j = 7 + 0. Let b = j - 8. Does 14 divide (216/63)/(b/(-7))?
False
Suppose 2*s - 73 = -3*v, 3*s - 99 = -2*v - 2*v. Is v even?
False
Let l(u) be the third derivative of -1/24*u**4 + 5*u**2 - 1/30*u**6 + 0*u + 1/3*u**3 + 0 - 1/30*u**5. Is l(-2) a multiple of 28?
True
Suppose 8414 = 6*u - 5*d, -5*d + 4945 = 3*u + 723. Is 26 a factor of u?
True
Let p(u) be the first derivative of -u**4/4 - 5*u**3/3 + u**2 + 2*u + 3. Let r be p(-5). Let j = r + 23. Is j a multiple of 5?
True
Suppose -22 + 58 = 3*t. Let h = 17 + -5. Let s = t + h. Is s a multiple of 16?
False
Suppose -4*b + b = -3*q - 45, 0 = 3*b + q - 25. Suppose -b = -5*c, 3*k - 7*c + 3*c = 43. Let o = 65 + k. Is o a multiple of 11?
False
Suppose 0 = -3*d + 4*p + 10, -d = -0*d + 3*p + 1. Suppose 0 = -4*o + 5*j + 11, -d*j = -2*o + 2*j - 2. Is 3 a factor of o?
True
Let w(s) = -s**3 - 7*s**2 - 2*s - 6. Let k be w(-7). Let a(t) = -t**2 + 8*t + 13. Does 3 divide a(k)?
False
Suppose -7*s + 4*s + b + 1078 = 0, 1454 = 4*s + 2*b. Suppose -4*q + s + 111 = 0. Is 47 a factor of q?
False
Let y(z) = -z + 7. Suppose -2*i = i - 4*g - 23, 0 = -5*i - 5*g + 15. Let m be y(i). Is (6/(-12))/(m/(-32)) a multiple of 4?
True
Does 16 divide 935 - (-8 + (-1 - -4))?
False
Let t = -34 - -39. Suppose -678 = -t*w - 178. Does 5 divide w?
True
Suppose 55 = 2*i - 5*r, 33 = i - 4*r + 7*r. Is i a multiple of 5?
True
Is (-45)/5 + 5377 + 14 a multiple of 60?
False
Let a = -4 + 8. Suppose -a + 0 = -5*q - p, q - 5*p = 6. Does 10 divide (50 + -2)*q - 2?
False
Let y = 5 - 1. Let k(m) = 12*m - 4. Let i be k(y). Suppose -4*d - i = -4*j, -15 + 0 = -j - d. Is j a multiple of 13?
True
Let w(j) = 2*j**2 - 5*j - 5. Let y(o) = -o**2 + 7*o - 5. Let h be y(5). Let z be w(h). Suppose 3*k - z = -k. Does 3 divide k?
False
Suppose 20*s - 17*s - 3*h - 33 = 0, -h + 45 = 3*s. Let b be -10*(2 + 0)/(-2). Is 14 a factor of s/((-1 - -3)/b)?
True
Suppose 5*b = -5*a + 3895, 2*a = 3*a - 2*b - 782. Is a a multiple of 52?
True
Let u = 21294 - 10872. Is u/33 + 2/11 a multiple of 37?
False
Let z = 1687 + -863. Is 55 a factor of z?
False
Suppose 0 = -2*u + 3*v + 228, -584 = -4*u - u + 4*v. Is u a multiple of 10?
True
Is 35 a factor of (13 - 7)/(2/420)?
True
Suppose 3*i - 2*f - 24 = 2, -2*i = 3*f. Let w(a) = -11 + 6 + 5*a - 3*a + a**3 - 6*a**2. Is w(i) a multiple of 3?
False
Let q(s) = -s**2 - 12*s + 19. Let p be q(-13). Suppose -2*g + 2 - 5 = -h, -g = h + p. Let n = 18 - g. Is 7 a factor of n?
True
Suppose -5*f - 3*b + 805 = 0, 0 = 2*f - 16*b + 11*b - 322. Is 23 a factor of f?
True
Let l(q) = 16*q. Let o(a) = -a - 1. Let g(x) = l(x) + 2*o(x). Let b = 49 - 47. Is 26 a factor of g(b)?
True
Let m = 4358 + -2711. Is m a multiple of 61?
True
Let v(z) = -z**3 + 2*z**2 - 1. Let f be v(-1). Suppose -2*x + 18 = 3*l, -2*l - f*l + 19 = x. Suppose 70 = 3*j + 2*y, -4*j + x*j + 5*y + 29 = 0. Does 5 divide j?
False
Suppose -3*a + 172 = -5*c, -4*a + 5*c - 64 = -5*a. Is a a multiple of 18?
False
Let k(m) = 226*m - 744. Does 18 divide k(5)?
False
Suppose 0*t = -5*t - 4*s + 15, -2*s - 24 = -2*t. Suppose -m - 5*y = -77 - t, -2*y + 4 = 0. Suppose 0 = 3*n - n - m. Does 22 divide n?
False
Let v(h) = 6*h - 7. Let k be v(-13). Let a = 27 - k. Is a a multiple of 46?
False
Suppose -4*v - 372 + 10232 = 4*k, 2*v = -3*k + 4935. Is v a multiple of 19?
False
Let k = 3 - 6. Does 15 divide -1 + (k - 0 - -76)?
False
Suppose -n + 5*o + 22 = 3*n, 2*n - 3*o - 12 = 0. Suppose 7*r - 24 = n*r. Does 15 divide (r/(-4))/((-4)/96)?
False
Let l(m) = -4*m + 1. Let o be l(1). Let s(j) = 21*j + 7. Let a(z) = -62*z - 20. Let i(c) = 6*a(c) + 17*s(c). Is 11 a factor of i(o)?
True
Let i be (0 - 4) + 8 + -13. Let y = -9 - i. Suppose -28 = -2*h + 2*n, y*h = h - 2*n - 18. Is h a multiple of 3?
False
Does 5 divide -15*(-1)/10*-3*-44?
False
Let o = 16 - -24. Suppose -n = 3*n - o. Does 2 divide n?
True
Let o(l) = l**2 + l - 6. Let g be o(0). Let c = g - -27. Is c a multiple of 18?
False
Let n = -7 - -9. Suppose 3*c + c - 3*u - 161 = 0, -n*u - 203 = -5*c. Is c a multiple of 7?
False
Let j = 808 - 89. Is j a multiple of 15?
False
Let z(h) = h - 1. Let n be z(-7). Let f be n/10 + (-3)/15. Does 5 divide (-110)/(-15) - f/(-3)?
False
Let s(u) = -5*u**2 - 16*u + 16. Let i(w) = -w**2 - w - 1. Let b(z) = 4*i(z) - s(z). Let y be 42/(-4)*12/9. Is 8 a factor of b(y)?
True
Let r(x) = 5*x**2 - 16*x - 11. Does 3 divide r(5)?
False
Let o(h) = h**3 + 2*h**2 + h + 40. Is 4 a factor of o(0)?
True
Suppose -g + 5 = 0, -7*x + 4*x + 2575 = -g. Is 20 a factor of x?
True
Let u(d) = 4*d. Let t be u(2). Suppose 5*p = -2*c + 396 - t, 3*c - 231 = -3*p. Does 29 divide p?
False
Suppose 3*l - 151 = -7. Is 6 a factor of l?
True
Let q(h) = 36*h + 64. Is q(10) a multiple of 53?
True
Suppose 0 = 5*o - n - 556, 3*o - 436 = 4*n - 99. Does 3 divide o?
True
Suppose 5*u - 20 = 0, -2*c + 2*u = u - 6. Suppose -c*t + 244 - 59 = -5*i, -2*t = -3*i - 69. Does 21 divide t?
True
Suppose 0 = 205*o - 180*o - 24375. Is 9 a factor of o?
False
Suppose -75 = -2*t - 3*t. Suppose 5 = 4*z - t. Suppose -5*h = 5*k - 190, h + z = 2*h. Does 11 divide k?
True
Suppose 11*i + 47 - 135 = 0. Let y(s) = -3*s**3 + s**2 + 1. Let h be y(-2). Let o = h - i. Is 13 a f