*3 + 4*b**2 + 5*b + 5. Suppose 25 = 5*j - 3*s, 2*j - 2*s = -0 + 10. Is y(j) a multiple of 4?
False
Let j(l) = 4*l - 6. Is 14 a factor of j(5)?
True
Let k(r) = -37*r + 7. Let s be k(-9). Suppose 8*p - 3*p = s. Suppose -4*u = -3*l - 108, -5*l = 2*u - 3*l - p. Is u a multiple of 15?
True
Suppose -4*s - 2*q = -3*s - 5, -3*q + 12 = -3*s. Is (-34 + 1)/(s + 0) a multiple of 8?
False
Let t = -39 + 79. Let g be (-16)/t - 116/10. Does 12 divide (-170)/(-6) + 4/g?
False
Let h be 0 + (2 + -7)*4/(-10). Suppose -5*x = -2*z + 11, 4*z + 3 = -4*x + 11. Suppose -4*v - 11 = -z*j + 10, 3*v - 31 = -h*j. Is 4 a factor of j?
False
Let n(d) = d**2 - 2*d - 9. Suppose -9*c = -6*c - 21. Is n(c) a multiple of 26?
True
Let w be (5 - 24)/(0 - 1). Let z = 33 + w. Is z a multiple of 19?
False
Let p = 4 + 1. Suppose 4*t = d - p*d - 452, -4*d + t = 457. Does 19 divide (8/6)/((-4)/d)?
True
Let d be (-2)/(1 + (-2)/3). Let v(g) = -2*g + 6. Does 6 divide v(d)?
True
Suppose -2*i + 3 = -i. Suppose -i*d + 0*d = -15. Does 7 divide (-5)/d + (9 - 1)?
True
Let t = -29 - -8. Does 23 divide (-320)/(-7) - 6/t?
True
Let k be ((-2)/4)/(2/(-8)). Suppose -k*v = f - 5, -15 = v - 5*v + 3*f. Does 3 divide v?
True
Let d(u) = u**2 - 7. Let z be d(0). Let g(n) = -2*n - 2. Is g(z) a multiple of 6?
True
Let j = -69 + 147. Is j a multiple of 6?
True
Let a(s) = -25*s - 16. Does 16 divide a(-5)?
False
Let q(g) = 3*g**2 - 9*g + 5. Is 8 a factor of q(-3)?
False
Let s(w) = w + 1. Let o(j) be the third derivative of 2*j**5/15 + j**4/24 + 2*j**3/3 - 2*j**2. Let v(t) = o(t) - 2*s(t). Does 8 divide v(2)?
True
Suppose -2*n + 4*t - 31 = 5, 0 = -4*t - 16. Let u = -17 - n. Is 5 a factor of u?
False
Let s be (-4 + 0)*9/(-6). Let p be (-4)/s + 24/9. Suppose 0 = -p*j + 3 + 61. Does 13 divide j?
False
Let r(z) = z**3 + 6*z**2 + 3*z + 1. Let u(g) = g**3 + 2*g**2 - 2*g - 1. Let i be u(-3). Does 7 divide r(i)?
True
Let c(q) = -q + 1. Let o be c(-4). Suppose -3*r + 3*w + 42 = 0, o*w - 8 = -2*r + 55. Does 19 divide r?
True
Let m(i) = i + 10. Let f(t) = 3*t + 21. Let y(u) = 6*f(u) - 13*m(u). Let k be y(6). Suppose k = 2*z + 2*x, 2*x = 4*z - 0*x - 70. Is z a multiple of 16?
True
Suppose 145 = m + 28. Does 17 divide m?
False
Suppose 60 = -0*j + 2*j. Suppose -j = -c - 11. Is 13 a factor of c?
False
Suppose 4*a - 2*k = 60, 5*k + 79 + 6 = 5*a. Suppose -2*w - y + 11 = 3*w, -5*w + a = 3*y. Does 8 divide (w/4)/((-2)/(-36))?
False
Suppose 0 = -2*q + q + 29. Suppose d = 4*r - 200 + 69, -r = d - q. Is 19 a factor of r?
False
Let a be (8 - 4)/(3 - 1). Suppose a*c - 37 = -1. Suppose 0*w = 3*w - c. Is 4 a factor of w?
False
Let x be (1 + -1)/(1*-1). Suppose -4 = -x*w + w. Does 5 divide w/10*(-20)/1?
False
Suppose 5*q - 6 = -w + 17, -8 = -2*q - w. Is 3 a factor of q?
False
Suppose 4*t - g + 5*g + 40 = 0, 5*t = 4*g - 68. Is (-486)/t - (-1)/(-2) a multiple of 9?
False
Suppose -2*o - 300 = -6*o - 3*m, -220 = -3*o - m. Does 12 divide o?
True
Let d(g) = 32*g**3 - 2*g + 2. Let i be (-16)/(-18) - (-2)/18. Is d(i) a multiple of 16?
True
Suppose -r + 156 + 20 = 0. Suppose 2*v = -3*z - 2*v + r, -332 = -5*z + 3*v. Does 19 divide z?
False
Suppose 0 = m + 3*y - 26, m - 2*y = -0*m + 51. Is m a multiple of 9?
False
Let v(g) be the third derivative of -g**6/120 - 7*g**5/60 - g**4/12 + g**3/2 - 2*g**2. Is 17 a factor of v(-7)?
True
Let a be (-215)/(-4) - 1/(-4). Suppose -3*s + 164 = 2*g, 57 + a = 2*s + 3*g. Let n = -22 + s. Is 11 a factor of n?
False
Let k be (12/18)/((-2)/3). Let z(r) = -9*r**2 - 2*r - 1. Let d be z(k). Let x = 15 + d. Is x a multiple of 5?
False
Suppose -l = 2*l, -2*d = -3*l + 44. Let j = -13 - d. Does 4 divide j?
False
Suppose 106 + 83 = 3*t. Suppose -4*g = -t - 33. Does 8 divide g?
True
Let b = -5 - -21. Suppose 0 = -l + 20 + b. Is 18 a factor of l?
True
Let u = -4 - -67. Is 3 a factor of u?
True
Let m be (6/5)/(6/40). Suppose -2*n = -5*b + 3*b + 6, 3*n + 15 = 0. Is 10 a factor of (-355)/(-20) - b/m?
False
Suppose -992 + 140 = -3*g. Suppose -3*r + r + g = 0. Suppose 5*l = 4*m + r, 3*l - 57 = 4*m + 25. Is l a multiple of 15?
True
Suppose 4*n + 9 = -3*z - 12, 5*z - 3*n + 6 = 0. Let t be 3 - (z - (-10)/2). Does 13 divide 76/(4 + t + -3)?
False
Does 12 divide 33 - (-5)/(15/12)?
False
Suppose 3*i - 70 = -2*i. Is i a multiple of 10?
False
Let i(a) = a**3 - 7*a**2 + 6*a + 5. Suppose 0*j + 18 = 3*j. Let l be i(j). Suppose 6*v - 5*f = 3*v + 19, -l*f = -20. Is v a multiple of 12?
False
Let w(g) = g**3 - 7*g**2 + 6*g + 2. Let x be w(6). Suppose -x*o = -4*h - 2, h + 10 = 6*h. Is o a multiple of 3?
False
Let k(j) = 2*j + 12. Let h be k(8). Suppose 6*q - 107 = 2*q + n, n = -q + h. Is q a multiple of 9?
True
Let f = -1 + 1. Suppose 3*c - 17 = 2*a, -3*a - 3 = -f*a. Is 3 a factor of c?
False
Let q be (58/5)/(5/25). Is 5 a factor of 5/(-15)*(1 - q)?
False
Let y be -2 - (-1)/(4/336). Suppose 3*k - y = -1. Does 9 divide k?
True
Suppose 427 = -5*i + 4*s, -3*s - 3 - 3 = 0. Let b be (-2)/(-6) + i/(-9). Suppose f - 27 = -3*t, -f + 9 = -t - b. Is 20 a factor of f?
False
Suppose 4*f - 2*f + 6 = 0. Let t = f + 5. Does 2 divide t?
True
Let h be (-1856)/(-104) + (-4)/(-26). Suppose 3*r - 5*y - 9 = 0, 0 = -3*r - 5*y + 5 + 4. Suppose h + 12 = r*w. Is 10 a factor of w?
True
Let b(z) = -z**3 - 7*z**2 - z - 8. Let p be b(-7). Let x be p - 0 - 8*-4. Suppose -2*y + x = -13. Does 11 divide y?
True
Suppose 10*w + 10 = 5*w. Let t be (-116)/6 - w/6. Let d = -4 - t. Is d a multiple of 6?
False
Suppose c - 5*f + 6 = -1, -2*c + 16 = 5*f. Is -3 + (c - 3) + 44 a multiple of 13?
False
Let p = 1 + 26. Is p a multiple of 27?
True
Let t(x) = 4*x**2 - 9*x + 4. Let m be (18/10 + -3)*-5. Let n be t(m). Suppose -4*o + n = -2*o. Is 12 a factor of o?
False
Suppose 3*x + 4*s = 105, -2*x + 3*s = -7*x + 164. Let j = x + -19. Is 4 a factor of j?
True
Suppose 4*f + 2*f = 870. Does 29 divide f?
True
Suppose 5*l - 610 - 270 = 0. Does 11 divide l?
True
Let u be -67 + 2 - 3*-1. Let q = u - -108. Does 23 divide q?
True
Let f = 84 - -293. Does 14 divide f?
False
Let u(p) = 130*p**2 + 2*p + 1. Is u(-1) a multiple of 30?
False
Let b = 37 - 18. Let f = b - -4. Is f a multiple of 17?
False
Suppose -m = 2 - 4. Let h(o) = -9*o + 14*o**m + o - 1 - 15*o**2. Is 11 a factor of h(-6)?
True
Suppose -t + 4*w - 26 + 66 = 0, 0 = 5*t - 3*w - 115. Is 5 a factor of t?
True
Let k(n) = n**3 - 4*n**2 + 5*n + 6. Let m be k(5). Suppose m = -j + 5*j + a, -j - 4*a + 14 = 0. Does 6 divide j?
False
Let r(x) = -x. Suppose 3*z = w - 23, -3*w - w = 3*z + 13. Let b be r(z). Let f(c) = 4*c - 7. Is f(b) a multiple of 14?
False
Let m(u) = 5*u**2 - 9*u + 11. Is 10 a factor of m(3)?
False
Let d(t) = t - 1. Let g be d(8). Suppose 2*m - 4*k + 17 = g*m, 2*k + 4 = 0. Does 5 divide m?
True
Let r(b) = b**3 - 2*b**2 - 3*b + 3. Let n be r(2). Let p be (-20)/(-3) + (-1)/n. Let j = 7 + p. Does 7 divide j?
True
Suppose 2*q - 4 + 5 = 3*j, -3*q = 2*j + 8. Is 2/q - (-1 + -12) a multiple of 6?
True
Is (-2 + 0)/(12/(-318)) a multiple of 11?
False
Let j(i) = -29*i - 1. Let x be j(-1). Let z = -19 + x. Is 4 a factor of z?
False
Suppose 0 = -4*f + w + 70, 0 = 4*w - 2 - 6. Does 4 divide f?
False
Let l(p) = -3*p**3 + 2. Let d be l(-2). Suppose 5*g - 4*o = d, g - 4*o = -2*o + 4. Is g a multiple of 6?
True
Suppose k + 5*c = 3 + 4, -6 = 3*c. Let n = k + -10. Does 7 divide n?
True
Let k(z) = 14*z**3 + z**2 - 2*z - 1. Let l be k(2). Let q be 108/((-2)/4*3). Let d = l + q. Does 14 divide d?
False
Is 6 a factor of 40 + 5/10*-4?
False
Let y = -78 + 110. Is 4 a factor of y?
True
Let d = 76 + -13. Does 9 divide d?
True
Let l(t) = t**3 + t**2 - t + 26. Let f be l(0). Suppose 66 = 4*x - f. Is x a multiple of 8?
False
Suppose 0 = 6*n - 1 - 11. Suppose -x = -4*x. Suppose 4*f = n*k - x*f - 76, -k + 5*f = -53. Is k a multiple of 14?
True
Suppose 4*n - 25 = 119. Does 7 divide n?
False
Let o = -12 + 8. Does 5 divide (o/(-2) - 3)*-18?
False
Suppose h + 4*n = 74, -5*h - 3*n = -2*n - 294. Is h a multiple of 8?
False
Suppose 0 = -3*w + w. Suppose 5*j + w = -4*r + 15, -j = -4*r - 27. Is 7 a factor of j?
True
Let x = 184 + -75. Suppose 0 = 5*o + 4*i - 240, -5*i + x = 3*o - 48. Is 11 a factor of o?
True
Let x = 12 - 7. Let o be (8/10)/(2/x). Suppose -1 = b, -a - 4*b + 5 = -o. Does 11 divide a?
True
Let b be (-4)/3 + (-4)/6. Let x be -1 + -1 - (-2 + b). Suppose -5*y = x*v - 6*v