*y + 4. Let q be f(-4). Suppose 2*j = -o + 43 + 49, -j + q = -o. Let v = j - 11. Is v a multiple of 18?
False
Let p(j) = j + 3. Let a(u) = 2*u**2 + 2*u - 1. Let r be a(1). Suppose 0 = -2*b - r*b. Is 3 a factor of p(b)?
True
Suppose -4*m = -4*t + 2*t - 176, 0 = -5*m - 5*t + 250. Suppose -r = r - m. Is (-1*1)/((-1)/r) a multiple of 9?
False
Suppose 2*j - 255 = -j. Suppose 2*a + 11 = j. Is 16 a factor of a?
False
Let k be (-8)/10*(-15)/6. Is (-262)/(-4) + (-1)/k a multiple of 18?
False
Let l be -2*4/(-8)*16. Is 8 a factor of -2*l*(-2)/2?
True
Suppose 6*u = -z + u - 109, 0 = -z + u - 91. Let n = z - -157. Is 21 a factor of n?
True
Let r = 10 - -87. Is r a multiple of 9?
False
Let v(r) = r**2 - 7*r + 4. Let h(q) = q**3 + 10*q**2 - q - 1. Let w be h(-10). Is v(w) a multiple of 8?
False
Let d = -6 + 14. Is 8 a factor of d?
True
Let p(i) = i**2 - i - 4. Let y be p(4). Let h(v) = -v**2 + 9*v + 10. Is h(y) a multiple of 10?
False
Let y = -4 + 13. Suppose 0 = -4*u + u + 6. Suppose 2*w - 32 = -2*x, -u*x + 2*w = y - 57. Does 7 divide x?
False
Let s be (-5)/(-1) + (-3)/1. Let q(o) = 6*o**2. Is q(s) a multiple of 12?
True
Let b(j) = 208*j**2 - 4*j + 3. Is 29 a factor of b(1)?
False
Let y(f) = f**3 - 6*f**2 + 3*f + 5. Is y(6) a multiple of 16?
False
Suppose 0 = 8*a - 3*a - 90. Is a a multiple of 6?
True
Does 27 divide (243/6)/((-1)/(-2))?
True
Suppose 3*k = -9 - 6. Let q(l) = -6*l - 6. Is 13 a factor of q(k)?
False
Suppose 3*f - 941 = -359. Is f a multiple of 34?
False
Suppose 5*k = -5*p + 6 + 39, -15 = -p - 3*k. Let r(u) be the first derivative of 2*u**3/3 - 9*u**2/2 + 6*u - 47. Is r(p) a multiple of 8?
True
Is 58 a factor of 231 - (4/4 + 4 + -3)?
False
Is 17 a factor of ((4 - 11) + 3)*-2*17?
True
Let l(d) be the second derivative of -d**5/5 + d**4/12 - d**3/3 - d**2/2 - 7*d. Is l(-2) a multiple of 13?
True
Let l(j) = -j**3 + 2*j**2 + 9. Is l(-3) a multiple of 14?
False
Let b = 6 - 0. Let m = b - 3. Suppose 2*c - 9 = -m*h, 2*c + 3*h + 54 = 7*c. Is 7 a factor of c?
False
Suppose 3*f = 4*f. Let a = f - -20. Does 11 divide a?
False
Suppose 2*h + 82 = u, -h + 280 = 4*u + 3*h. Does 12 divide u?
False
Is -2 + 24 - -3 - -1 a multiple of 26?
True
Suppose -33 - 11 = -4*b - i, 32 = 4*b - 2*i. Suppose 4*k - 34 = b. Is 11 a factor of k?
True
Let o(s) = -2*s - 8. Let g be o(-6). Suppose -161 - 169 = -3*k + g*n, 2*n - 524 = -5*k. Suppose 3*a - k = -5*c, -2*a - 4*c + 84 = 10. Is a a multiple of 16?
False
Is 54/8 + 8/32 a multiple of 2?
False
Let n(u) be the first derivative of -3*u**2 + 3*u - 2. Does 15 divide n(-5)?
False
Let o(g) = g**2 - 18. Is o(6) a multiple of 9?
True
Suppose -5*y = -205 - 65. Let j = 75 - y. Let d = 39 - j. Is 13 a factor of d?
False
Let g(v) be the second derivative of 41*v**5/120 - v**4/24 + v**3/3 + v. Let j(q) be the second derivative of g(q). Does 19 divide j(1)?
False
Suppose -108 = -3*y - 4*i, 0 = y + 3*i - 0*i - 36. Is 12 a factor of y?
True
Let x be 46/6 + (-6)/9. Let i(n) = n - 7. Let o be i(x). Suppose -r - 4 = -0, o = 2*f - 3*r - 18. Is 2 a factor of f?
False
Is 4 a factor of ((-72)/(-20))/(3 + 58/(-20))?
True
Suppose 0 = -d + 4 - 2. Is 15/(-5) - (-59 + d) a multiple of 18?
True
Let s = 250 - 60. Is 38 a factor of s?
True
Let a(z) = -z**2 + 14*z + 3. Does 8 divide a(5)?
True
Let u(v) = v**2 + 2*v - 1. Let i be (-2*1 - 0) + -9. Let q be (-6)/(-9) - i/(-3). Is u(q) a multiple of 2?
True
Suppose 5*t = -2*p + 1404, 2*t + 4*p + 1112 = 6*t. Is 28 a factor of t?
True
Let t = -52 - -87. Does 6 divide t?
False
Let c(s) = -130*s - 9. Is 11 a factor of c(-1)?
True
Let m = 371 + -176. Suppose -3*c = c + 3*n - m, 2*n + 125 = 3*c. Is c a multiple of 15?
True
Suppose 229 = y - 3*l, -4 = 5*l - 14. Is 47 a factor of y?
True
Let h(d) = -d**3 + 11*d**2 + 3*d - 7. Is 8 a factor of h(11)?
False
Suppose 5*q = q. Suppose -4*j - j + 130 = q. Suppose 2*l = 3*l + s - 8, 0 = 3*l + 5*s - j. Is l a multiple of 3?
False
Let h = -1 - -1. Suppose 0 = 4*q - 0*b - 2*b - 208, h = 2*b + 4. Is q a multiple of 21?
False
Let x(m) = -2*m - 10. Let j be x(-7). Suppose -3*i - 2 = -2*l, 4*i + 5 + 7 = j*l. Suppose 0 = -z + 2*b + l + 21, -2*z - 2*b = -26. Is z a multiple of 18?
True
Is 11 a factor of (-7968)/(-72) - 2/3?
True
Suppose 0*j - j + 6 = 5*s, 0 = -5*j - 5*s + 10. Let i be j - 1 - -1 - -4. Suppose i*p - 4*h - 72 = 0, 24 = 5*p + h - 33. Is 11 a factor of p?
False
Suppose -12 = t - 5*t. Let f(l) = -l**3 + 6*l**2 + 3. Does 15 divide f(t)?
True
Let o = 19 + 5. Is o a multiple of 23?
False
Does 17 divide (2 - 1)*(-2 + 4) + 49?
True
Is 29*-1*4/6*-3 a multiple of 31?
False
Let t = -1 + 13. Suppose 5*z - z + 4*g = -16, -5*z = -3*g - t. Suppose -2*m + 0 + 16 = z. Does 6 divide m?
False
Let h = 6 + -4. Suppose 2*n - v - 119 - 33 = 0, -h*n + 176 = 5*v. Is (n/15)/(1/5) a multiple of 13?
True
Let f = 32 - 2. Does 5 divide f?
True
Suppose 4*z = 5*z - 2. Suppose 17 = 5*r + z. Suppose 2*k - 2*w + 42 = 4*k, r*w + 119 = 4*k. Does 12 divide k?
False
Let r(v) = -24*v - 3. Let i(c) = c**3 + 7*c**2 + 8*c + 9. Let y be i(-6). Is 19 a factor of r(y)?
False
Let s(f) = f**2 + 3*f - 2. Let o be s(-4). Suppose 0 = -7*u + o*u. Suppose u*x + x - 10 = 0. Is 10 a factor of x?
True
Suppose -5*z + 203 = -172. Suppose 0 = 4*v - 0*i + i - z, -i - 33 = -2*v. Does 18 divide v?
True
Let t be 1*(-6)/(-10)*10. Suppose 2*r + 15 = 5*p + t*r, -4*r - 15 = -5*p. Is 17 a factor of p/(-9)*(2 - 53)?
True
Let p = -73 - -104. Suppose 0 = -f + p - 11. Let o = f + -12. Is o a multiple of 7?
False
Let q be 1*(-1)/((-1)/5). Suppose -14 = -2*g - 5*c, -c = -q*g + 4*c - 35. Does 22 divide -8*(-7 + (-6)/g)?
False
Let u(g) = 3*g - 9. Let p be u(7). Is 200/p - (-4)/(-6) a multiple of 16?
True
Suppose -3*d + 4*q = -12, q + 2 = d - 3. Suppose -3*a = -10 - d. Is a a multiple of 6?
True
Let c(p) = 2*p**3 - 3*p**2 + 2. Does 19 divide c(3)?
False
Suppose -v - 13 - 35 = 0. Let l = v + 68. Is 20 a factor of l?
True
Does 10 divide (-2)/8 - (-201)/4?
True
Suppose -452 + 52 = -4*n. Does 5 divide n?
True
Let p(z) be the first derivative of 3*z**4/8 - z**3/2 - z**2/2 + 2. Let b(i) be the second derivative of p(i). Is 6 a factor of b(2)?
False
Let f be (-1449)/(-12) - 6/8. Suppose -6*o + o = -f. Is 9 a factor of o?
False
Suppose 5*x + 2 = -4*w, 2*w - 3 + 7 = -x. Suppose -x*y + 18 = -22. Is 6 a factor of y?
False
Suppose -2*r + 3 = -3*f + 5, -f + 4 = r. Let o(j) = j**2 - 9*j + 4. Let w be o(9). Suppose w*l - 2 = -i - 14, -12 = f*i + 5*l. Is i a multiple of 4?
True
Let i = -7 + -8. Is 15 a factor of (-190)/(-4)*(-12)/i?
False
Let o(w) = w**3 + 5*w**2 + 12. Is o(-5) a multiple of 12?
True
Let h(j) = j**3 + 6*j**2 - 2*j. Let a(f) be the third derivative of f**6/120 - f**4/8 - f**3/2 + 2*f**2. Let u be a(-2). Is 18 a factor of h(u)?
False
Let w be 7 - -1 - 0/(-2). Let j(d) = 9*d - 12. Is 30 a factor of j(w)?
True
Suppose -5*b - 102 = 28. Let p = -15 - b. Does 8 divide p?
False
Let u(i) = -49*i**3 - i. Let d = -11 - -10. Does 30 divide u(d)?
False
Let r = -3 - -5. Let g(w) = -3*w - 3 + 1 + r*w. Is 2 a factor of g(-4)?
True
Let r be 25/10*(-32)/(-10). Is 3 a factor of (-2)/r + 21/4?
False
Let n = -3 - -4. Let s = n + -1. Suppose 48 = -s*z + 2*z. Is 12 a factor of z?
True
Let c(t) = 41*t - 21. Does 38 divide c(7)?
True
Let x(n) = -n**2 + 70. Let b be x(0). Let v(t) = t**3 + 24. Let l be v(0). Let c = b - l. Does 23 divide c?
True
Let q(l) be the second derivative of -4*l**3/3 - 4*l**2 - 3*l. Is q(-7) a multiple of 17?
False
Let j = -12 + 17. Suppose j*f = 3*f + 76. Is f a multiple of 10?
False
Suppose -2*u = -11*u + 2052. Is 14 a factor of u?
False
Is (-1)/3*3 + 22 a multiple of 7?
True
Let l(h) = -h**3 - 4*h**2 + 5*h - 5. Let y be l(-6). Let q = y - -22. Let d = q + -34. Is 9 a factor of d?
False
Let g(p) = 15*p - 6 - 6*p + p. Is 9 a factor of g(5)?
False
Let m = 38 - 20. Suppose -19 = -3*r - b, 2*r + b - m + 4 = 0. Suppose -17 = -r*v + 23. Is 6 a factor of v?
False
Let k(z) = z**2 + 2*z + 8. Let g be 5/20 - (-38)/8. Suppose -4*m + 5*w = w + 24, 0 = -3*m - g*w - 18. Is 9 a factor of k(m)?
False
Let g(u) = -u**3 + 11*u**2 - 5*u - 10. Is g(10) a multiple of 18?
False
Let y(i) = i**2 + 2*i + 9. Does 8 divide y(5)?
False
Let y(u) = -217*u + 4. Does 12 divide y(-1)?
False
Suppose 17 = 5*m + 7. Suppose 4*p - 3*x = 6*p - m, 3*p - 16 = 2*x. Suppose 4*z = -