a + a, 4*w = -5*a - 12. Let u be 2 + ((-744)/w)/(-2). Suppose -6*v + 2*v + u = 0. Is v a multiple of 17?
False
Let c = 41 + -28. Let m be c/4 + (-3)/12. Suppose -2*u - 2*u + 88 = 3*l, -m*l + 86 = 5*u. Is l a multiple of 21?
False
Suppose 257 = 2*q - 203. Suppose -3*g - 2*r = -167, -3*g = g - r - q. Is 14 a factor of g?
False
Let w be ((-9)/27)/(1/(-15)). Let o = 5 - w. Does 24 divide (-162)/(-15)*(5 - o)?
False
Suppose x + 4*x = 220. Is x a multiple of 15?
False
Suppose -45 = -5*v - 5. Let u be 12/6*(0 + 9). Let t = u - v. Is t a multiple of 5?
True
Let n(z) = -z**2 - 6*z + 10. Let c be n(-7). Let k(t) be the first derivative of t**3/3 - t**2/2 - t + 1. Is k(c) a multiple of 5?
True
Suppose -5*y + 40 = 2*u, -4*y - 2*u + 34 = -0*u. Is (-18)/(9/y*-1) a multiple of 12?
True
Is 11 a factor of (100 - 0)/((-6)/(-3))?
False
Let j(p) = -4 + 3 + 0 + 6 + p**2 - 3*p. Is j(8) a multiple of 15?
True
Suppose -4*x - 4 = 4. Let a(m) be the second derivative of -m**3 + m**2 + m. Does 14 divide a(x)?
True
Let p(n) = n**2 + 4*n - 3. Let h be p(-5). Suppose -h*v + 14 = 2*w, -3*v - w = -6*v + 1. Suppose -v = -5*j + 133. Is j a multiple of 11?
False
Let s = 7 - 5. Suppose 3*j = 3*i + 42, 3*j - 4 + 12 = -s*i. Is 2/i - 72/(-10) a multiple of 3?
False
Let z be ((-306)/15)/((-4)/10). Suppose 7*v - z = 4*v. Is v a multiple of 15?
False
Let z be (64/(-20))/((-2)/5). Suppose -4*n - 2*m + 11 + 7 = 0, n = 2*m - z. Suppose -3*a + n*a + 19 = 0. Does 19 divide a?
True
Let o(z) = -7*z + 2. Let a(x) = 6*x - 3. Let y(j) = -4*a(j) - 3*o(j). Is 5 a factor of y(-5)?
False
Suppose -2*t - 28 = 5*n - 9, -13 = 3*n + 2*t. Let f = n - -5. Suppose -2*r + 36 = f*o, -3*o - 2*o - 4*r = -91. Is o a multiple of 14?
False
Let q(b) = -2*b**2 + 4 - b**2 + 4*b**2 - 2*b**2 + 10*b. Let c be q(11). Let h(o) = -o - 1. Is 3 a factor of h(c)?
True
Suppose s = 4*x - 35, 0*s + 40 = 2*x + 4*s. Suppose 0 = 4*v + p + p + x, 2*v - 4*p = 10. Let f(c) = -3*c**3 - 2*c**2 - c. Is f(v) even?
True
Suppose 5*m = -w + 2, 5*m - 4 - 7 = 2*w. Let g(t) = 4*t + 1. Is 5 a factor of g(m)?
True
Let o = 71 + -43. Is 28 a factor of o?
True
Let t = 53 - 21. Is t a multiple of 11?
False
Let l be (-59)/((-3 - -2)*1). Suppose 0 = -3*s + 7 + l. Does 11 divide s?
True
Suppose -6 = -p - 2. Suppose 2*l - p*d = 108, -2*l - 226 = -7*l - d. Is 9 a factor of l?
False
Let k be 21/(-4) + (-3)/(-12). Let u(q) = -5*q - 3. Is 11 a factor of u(k)?
True
Let v = -7 - -12. Suppose -v*x = -x - u - 77, -5*x = 4*u - 70. Let y = 2 + x. Does 10 divide y?
True
Let r(b) = -b - 1. Let z be 1 - -3 - (23 + -3). Is r(z) a multiple of 7?
False
Suppose 5*k = 94 + 166. Is k a multiple of 26?
True
Let l(k) = -k + 5. Let d be l(5). Let j be (d + 1)/(4/(-8)). Let c = j - -7. Is 2 a factor of c?
False
Let x(g) = g**3 + g**2 - g + 1. Let z(f) = -8*f**2 + 9*f - 6. Let q(m) = x(m) + z(m). Is 4 a factor of q(6)?
False
Suppose 2*p + 37 = 3. Let g be p/(-4) + (-1)/4. Suppose g*i + 22 = 5*i - 2*u, 0 = -5*i + u + 65. Does 12 divide i?
True
Is 7 a factor of (-85)/(-4) - (-2)/(-8)?
True
Let q(s) = -s**2 + 3*s + 1. Let n be q(3). Let v(f) = -3*f - 5*f**2 + f**3 + 6*f - n + 0*f. Is v(5) a multiple of 7?
True
Suppose i = 4*g - 4 - 0, -5*g + 2*i + 2 = 0. Suppose 0 = 2*b + g*b - 132. Does 11 divide b?
True
Suppose -30 = -2*d + 36. Suppose -d - 27 = -5*f. Is f a multiple of 4?
True
Suppose -3*c = 5*b - 32, -b - 3*b + 36 = 5*c. Does 3 divide c - 0 - 4/4?
True
Let o = 2 - 4. Is 9*(0 - o/3) even?
True
Let l be 2*(2 + -3 - -2). Suppose -b + 19 + 11 = -l*h, -5*b = 3*h - 124. Is 10 a factor of b?
False
Suppose 0*v = 3*v - 444. Is 30 a factor of v?
False
Suppose 3*i - 306 = -0*u + u, -4*i + 410 = -2*u. Is i a multiple of 8?
False
Let l(p) = -24*p + 2. Let z be l(-4). Suppose -4*j - 5*g = -189, 0 = 3*j - g - 4*g - z. Is j a multiple of 13?
False
Suppose -4*n + 203 + 637 = 0. Is 15 a factor of n?
True
Is (-10)/(-2) + 4 + 0 a multiple of 4?
False
Let i(h) = -h**2 - 2*h**3 - 3*h + 0*h + 4*h**3. Suppose -2*t = -5*r - 1, -13 = -3*t - 2*r - 2. Is i(t) a multiple of 12?
True
Suppose 0 = 3*i + i - 12, k = 2*i + 9. Does 14 divide k?
False
Let x = 246 - 176. Is x a multiple of 17?
False
Let w be ((-3)/2 + -2)*2. Let h be 2/5*(-70)/w. Let x = 0 + h. Does 3 divide x?
False
Does 6 divide 2 + (320 - 5)/3?
False
Let i(l) = -l**3 - l**2 - 8. Let s be i(0). Let z(t) = 2*t**2 + 6 + 3 - 3*t**2 - 8*t. Does 6 divide z(s)?
False
Suppose 5*n - n - 8 = 0. Let x = 18 + 23. Let t = n + x. Is 13 a factor of t?
False
Suppose -4 = w - 6. Let k = 15 - 11. Suppose -w*c = -k*c + 30. Does 7 divide c?
False
Let c(t) = -4*t - 20. Is 16 a factor of c(-13)?
True
Let v(k) = 540*k. Let j be v(3). Suppose j = 4*r + r. Is 10 a factor of (-4)/(-22) - r/(-33)?
True
Suppose -4*w + 6 = s + 20, -5*w + 5*s - 30 = 0. Let l be (6/w)/(3/(-10)). Let g(a) = -a + 7. Is g(l) a multiple of 2?
True
Is 7 a factor of (-312)/(-22) - (-4)/(-22)?
True
Let d = 17 + -14. Suppose -5*b = -d*u + 2, -5*b + 2 = -3*u + u. Is u a multiple of 3?
False
Suppose 59 + 31 = 3*a. Is a a multiple of 10?
True
Let r(k) = -k + 5. Let z be r(5). Let o = 16 - 6. Suppose z = 2*d + d - 3*c - 15, 3*d - 4*c - o = 0. Is d a multiple of 5?
True
Suppose -32 = -0*q - 2*q. Suppose u + 2*u = -12, -v - u = -6. Let g = q - v. Is g even?
True
Let l(p) = p**2 - 3*p - 9. Does 19 divide l(7)?
True
Suppose 2*k - 5*k + 90 = -5*l, k - 3*l = 26. Suppose -2*i + i = -r, -2*r + k = 5*i. Suppose -16 = -2*z + 4*b + 2, i*z - 17 = -4*b. Is 5 a factor of z?
True
Let b(q) be the second derivative of q**5/20 + q**4/3 - q**2/2 + 2*q. Does 8 divide b(-3)?
True
Suppose -5*v = -2*v + 9. Is 14 a factor of 36/(-30)*70/v?
True
Let i = 10 - -32. Is 6 a factor of i?
True
Suppose 0 = -3*f + 4 + 2. Suppose -2*r - 2*r = f*d - 4, -3*r - 4*d = 7. Is r a multiple of 3?
True
Let p(s) = 28*s**2. Suppose -2*v = -0*v - 5*o - 12, 0 = v - 2*o - 5. Is p(v) a multiple of 14?
True
Let b be 18*(0 - 22/(-3)). Suppose a = -3*a + 3*x + b, 0 = -4*x - 16. Is 22 a factor of a/(-25)*220/(-6)?
True
Is (0 - -2)/(14/595) a multiple of 39?
False
Let a = -10 - -6. Let k = 16 + a. Does 5 divide k?
False
Let u = -1 - -6. Suppose u*y - 52 + 17 = 0. Is 7 a factor of y?
True
Is 9 a factor of 97 - (0 + -1 - 1)?
True
Is (16/12)/(2/24) a multiple of 2?
True
Let h = -138 + 95. Is (0 + -3 - h) + 0 a multiple of 10?
True
Let a(p) = -p**3 + p**2 + 5. Let h be a(0). Let i(t) = t - 8. Let j be i(6). Let s = h + j. Does 2 divide s?
False
Suppose -6 = -4*i + i. Suppose 0*s + 2 = -s, -i*s = -5*a + 29. Does 5 divide a?
True
Let s = 0 - 8. Is (-68)/s - 1/(-2) a multiple of 7?
False
Let p be 8/20 - (-453)/5. Suppose 3*x + m - 5 = 0, 2*m + m = 2*x - 7. Suppose -x*n + 5 = -p. Is 18 a factor of n?
False
Let h(p) = 0*p - 3*p**3 + 2*p**3 + p - 1 - 1 - 7*p**2. Let g be h(-7). Let a = -6 - g. Is a a multiple of 2?
False
Let k(p) = 22*p - 58. Let h(x) = 7*x - 19. Let r(o) = 16*h(o) - 5*k(o). Let l = -4 + 15. Is 7 a factor of r(l)?
False
Let c = -29 + 13. Is (-3)/(-9) - c/6 a multiple of 3?
True
Let y be ((-12)/(-9))/(1/3). Let u be 68/1 - (-1 + y). Let x = u + -36. Is x a multiple of 8?
False
Let g be 2*(0 + 2*5). Suppose -q + g = 4*q. Suppose -k - q*n + 78 = 4*k, -4*k = -n - 75. Is 9 a factor of k?
True
Let o be (2/(-3))/(1/3). Let a(y) = 2*y**2 + 3*y. Let i be a(o). Suppose i*d + 3*p = p + 26, p = 2*d - 35. Is d a multiple of 10?
False
Suppose -y + 162 = -28. Is 19 a factor of y?
True
Let k(h) = -h**2 - 6*h - 5. Let t be k(-4). Let u(n) = -n**3 + n**2 + 5*n - 2. Let d be u(t). Does 6 divide 2 - d*(-2)/(-1)?
True
Suppose -3*k = -5*a + 20, 3*a - 7 - 5 = -2*k. Suppose 13 = a*j - 3. Let g = 9 - j. Does 2 divide g?
False
Suppose -t + 4*y = -79, 5*t = 5*y - 4*y + 300. Does 2 divide t?
False
Let d be (-1)/(2/4) + 1. Let m be d/((-15)/12)*5. Let f(w) = 4*w**2 - 5*w + 1. Is 21 a factor of f(m)?
False
Suppose 0 = -3*y + 20 - 2. Does 6 divide y?
True
Let q(g) = 13*g - 1. Let y = 2 - 1. Does 12 divide q(y)?
True
Let u(t) = 2*t**2 + 2*t - 2. Is 29 a factor of u(5)?
True
Let b be (2/4)/(1/(-10)). Let c(p) = p**2 + p. Is c(b) a multiple of 20?
True
Suppose 4*t = -65 - 79. Let z = -4 - t. Does 12 divide z?
False
Suppose 0 = -u - 2*u. Suppose -w - 15 = -z, 2*z - 15 = -u*w + w. Does 12 divide (2 - 7)*36/w?
True
Let l = 4 - 4. Suppose l*m - m = -22. Is m a multiple of 14?
Fal