*s, 3*s + m = 0. Is (x/20)/((-6)/(-20)) a multiple of 12?
True
Let y be (-8)/20*(-7 + 2). Suppose 0 = 2*f + 1 - 3, -4*d - y*f + 62 = 0. Suppose -5*j + 39 = 3*q - 48, 0 = -5*j + d. Does 8 divide q?
True
Let g = 6 + -3. Let r(k) = -1 + g - 3 + 6*k**2. Is 12 a factor of r(-2)?
False
Let b be 2/4 + (-99)/6. Let y = -9 - b. Is y a multiple of 7?
True
Suppose 4*l - 272 = -x - x, -3*x + 58 = l. Suppose -3*h + 3 = -9. Suppose i = h*d + 8, -d - 4*d - l = -5*i. Does 7 divide i?
False
Suppose 0 = -4*h + 2*r + 308, 0*h = -5*h - 4*r + 398. Is h a multiple of 26?
True
Let v(c) = c**3 - 5*c**2 + 4*c - 7. Let o be v(5). Let k = -8 + o. Suppose -k*w + 188 = 68. Is 12 a factor of w?
True
Suppose v = -0*v + 4*y - 38, 0 = 2*v + 5*y + 76. Let s be 0 + -2 + (2 - -3). Is 6 a factor of s/((-6)/v) - -1?
False
Let f = -73 - -153. Does 17 divide f?
False
Let v(l) = -14*l**3 - 4*l**2 + l + 6. Is v(-2) a multiple of 10?
True
Let i(n) = -n**2 - 19*n - 4. Let o be i(-8). Let p = -9 - -15. Does 4 divide o/9 + (-2)/p?
False
Let s(l) be the first derivative of 13*l**2/2 - 6*l + 1. Suppose -8*r - 1 = -33. Is 15 a factor of s(r)?
False
Let v = 4 + 0. Let l = -10 + v. Is (-141)/(-9) - 2/l a multiple of 5?
False
Let o(p) = p**3 + 7*p**2 - 8*p + 2. Let q be o(-8). Is (-1 + q + 0)*13 a multiple of 6?
False
Let x = 0 + 9. Let b(t) = -t**3 + 10*t**2 - 2*t - 11. Let c be b(x). Suppose 4*y - c = -4*w, -w + 1 + 14 = 3*y. Does 5 divide w?
False
Let o be (-80)/(-15) + (-1)/3. Suppose 0*d + 20 = o*d. Is d a multiple of 2?
True
Suppose v + 15 = 5*h, 4 = v + 3*v - 4*h. Suppose 2*w - 21 = -v*c, 4*w + 9 - 1 = 0. Suppose 3*a = 3*b + 45, 3*a + c*b - 29 = 24. Is a a multiple of 16?
True
Let y(f) = -f**3 - 12*f**2 - f - 9. Let g be y(-12). Does 6 divide (g/(-4))/(6/(-144))?
True
Let w(r) = 5*r. Let u be w(-2). Let d = u - -16. Is 3 a factor of d?
True
Suppose -89*d + 90*d = 291. Does 20 divide d?
False
Suppose -2*w + 96 + 240 = 0. Is w a multiple of 42?
True
Suppose 0 = -13*p + 617 + 527. Is p a multiple of 8?
True
Let g(o) = 8*o**3 - 9*o**2 - 3*o. Let z(d) = -17*d**3 + 19*d**2 + 7*d. Let m(a) = 13*g(a) + 6*z(a). Does 12 divide m(3)?
True
Suppose -5*r + 795 = -2*m + 6*m, -2*r = -5*m - 285. Is 13 a factor of r?
False
Suppose k = 2*h + 66, -3*h + 5 = k - 61. Is k a multiple of 15?
False
Let t(i) = 7*i + 5. Let x(v) = -34*v - 25. Let n(q) = -11*t(q) - 2*x(q). Is n(-7) a multiple of 23?
False
Let w(u) be the third derivative of -u**5/60 - 3*u**4/8 - 5*u**3/6 + 2*u**2. Is w(-5) a multiple of 8?
False
Let o = 1 - -1. Suppose 8 = -o*q - 24. Let m = 26 - q. Does 21 divide m?
True
Let h(o) = o**2 - 1. Let f be h(-1). Let z = f - -5. Is 4 a factor of z?
False
Suppose v = -v - 4*s + 18, 0 = 4*v + 5*s - 24. Suppose 4*c = 3*i + 205, -2*i + 11 = v. Is 15 a factor of c?
False
Suppose 5*v - 12 = 2*v. Suppose -5*u - 167 - 133 = -5*a, -v*u - 120 = -2*a. Let n = a - 35. Is n a multiple of 13?
False
Let i(k) = 2*k**3 - 2*k**2 - 3*k + 2. Let o be i(2). Suppose 100 = -o*a + 6*a. Is 25 a factor of a?
True
Suppose y - 10 = -y. Let r be 6/9*105/1. Suppose r - 280 = -y*z. Does 15 divide z?
False
Let k(l) = -l + 24. Is 8 a factor of k(-8)?
True
Let x = -4 + 7. Let r be 0 + 1 - (-480)/10. Suppose -4*q = u - r, -2*u - x*u - q + 188 = 0. Does 19 divide u?
False
Let k(j) = j + 18. Let z be k(-8). Suppose -31 = 3*c - z. Let h = c + 47. Does 20 divide h?
True
Let v(i) be the second derivative of i**3/3 + 3*i. Is v(2) a multiple of 4?
True
Let r = 15 - 8. Is r a multiple of 7?
True
Suppose 2*j + 2*j - 24 = 0. Is 3 a factor of ((-2)/2)/(j/(-36))?
True
Let m(c) = c + 2*c + 2 - 2*c. Let r be m(-1). Suppose -5 = 3*y + r, 5*i = -y + 33. Is i a multiple of 5?
False
Let n(y) = 2*y**2 - 2. Is 10 a factor of n(-4)?
True
Suppose 0 = -l - 5*q + 57, -3*l + 5*q + 135 = 2*l. Let n = l + -53. Let o = 30 + n. Is o a multiple of 4?
False
Let j = -2 - -7. Let l = -6 + j. Is 12 a factor of (-39)/(6/(-2)) + l?
True
Suppose -82 = -3*w - m + 26, -3*m = w - 44. Let z = -22 + w. Is z a multiple of 7?
False
Let p = 11 + 58. Suppose 11 + p = 4*w. Let d = 0 + w. Is 7 a factor of d?
False
Let h = -19 + 9. Let g = 57 + h. Does 22 divide g?
False
Let y(j) = j**2 - 16*j + 18. Does 3 divide y(15)?
True
Suppose 0*t - 12 = -3*t. Suppose -3*n - 2 = -5*n - 3*m, 16 = -t*m. Is 7 a factor of n?
True
Suppose 2*a = -4*v + 86, -5*a + 4*v + 171 = -100. Let b = 73 - a. Is b a multiple of 11?
True
Let h(m) = m**3 - 7*m**2 + 14. Is h(7) a multiple of 3?
False
Let t = -16 - -47. Does 10 divide t?
False
Let f(j) be the first derivative of -j**4/12 + j**3 + j**2/2 - 2*j + 2. Let i(z) be the first derivative of f(z). Does 6 divide i(5)?
True
Suppose 0 = p + v, 4*v + 12 = -2*p - v. Let m(n) = 19*n - 6. Let t be m(p). Suppose 5 = -c, 0*c = 5*x - 2*c - t. Does 12 divide x?
True
Let m(n) = -n. Let f be m(4). Let p(t) = 2*t**2 - 5*t - 1. Is 17 a factor of p(f)?
True
Let t(v) = v**3 - 6*v**2 - v + 3. Let w(z) = z**3 - 3*z**2 + 2*z + 1. Let k be w(3). Does 15 divide t(k)?
True
Suppose 4*x = y + 3*y - 32, -2*x = -4*y + 36. Suppose -b = -4*f + 7 + 10, -y = -5*b + f. Does 3 divide b?
True
Let x(s) = -6*s - 2 - 2 + 5. Let d be x(-8). Suppose -2*t - 2*z = -10, 5*t + 6 = z + d. Is 4 a factor of t?
True
Let f be 3/3 - (25 - -1). Is 8 a factor of (76/10)/((-10)/f)?
False
Let u(m) = 39*m - 1. Let t(w) be the third derivative of -w**4/24 - 4*w**3/3 - 2*w**2. Let k be t(-9). Is 19 a factor of u(k)?
True
Let j(h) = 6*h**2 + 2*h. Let r(n) = -n**2 - 5*n + 8. Let u be r(-6). Let p be j(u). Suppose 4*d = -0*d + p. Is 7 a factor of d?
True
Suppose n + 182 = 5*b, -3*n - n + 197 = 5*b. Is b a multiple of 14?
False
Suppose 4*h - 195 - 5 = 0. Suppose l - h + 12 = 0. Is 15 a factor of l?
False
Let t(f) = -f**2 - 9*f - 6. Is t(-6) a multiple of 2?
True
Let h(d) = -2*d. Let x be ((-3)/(-2))/(3/(-6)). Let l be h(x). Is 5 a factor of (-1)/(-1*1/l)?
False
Suppose -4*a + 3*a = -200. Is a a multiple of 10?
True
Let o = -10 + 16. Suppose -2*p = 4*y, o*y + 9 = -4*p + y. Is ((-4)/p)/(4/114) a multiple of 11?
False
Is -2 + ((-559)/(-3) - 4/12) a multiple of 23?
True
Suppose 4*r = -3*h + 16, 3*r = r - 4. Suppose 4*v = -5*i - 37, -5*v = -2*v + i + 14. Let j = v + h. Is j a multiple of 5?
True
Let m(u) = -4*u + 1. Let y be m(-5). Suppose -2*r + y + 17 = 0. Is 6 a factor of r?
False
Let r(h) = 4*h + 7. Let a(j) = -8*j - 13. Let d(c) = -2*a(c) - 5*r(c). Suppose 16 = -2*p + f, -34 = 3*p + 2*p - f. Does 6 divide d(p)?
False
Suppose 3*s = 5*v - 18, -26 = -v + 2*s - 7*s. Suppose -3*r - v*d + 4*d + 50 = 0, 5*d + 36 = 4*r. Is 12 a factor of r?
False
Let q(z) = -z**3 + z**2 + 3*z + 3. Is 7 a factor of q(-2)?
False
Suppose 4*l - 41 = 3*v, 5 = l + 2*v - v. Suppose 5*s = 4*d - 5*d - l, 2*s = -2*d. Suppose w + 5*j = -d*w - 13, -29 = -w + 5*j. Does 4 divide w?
True
Suppose -5*i + 4*c - 2 - 5 = 0, -2*c - 16 = 4*i. Let k(m) = m**2 + 1. Let x be k(i). Suppose 0 = -f - 5*w + x, -4*f - 3*w = -2*f - 27. Is 14 a factor of f?
False
Let r be 2/(2/8*-2). Let o(i) be the second derivative of i**5/20 + i**4/3 - 2*i**3/3 + 3*i**2/2 + 6*i. Is 8 a factor of o(r)?
False
Is (16 - 6/3)*(-2 - -4) a multiple of 13?
False
Let s(u) = u**3 - u**2 + 302. Is s(0) a multiple of 26?
False
Suppose -5*k - 8 + 108 = 0. Let q = k + -5. Does 9 divide q?
False
Let s = 8 - 6. Let p be s/(-5) - 21/(-15). Is p + 0 - (-3 + 2) a multiple of 2?
True
Let s(j) = -6 + 0*j - j + 19 - 7*j. Is 15 a factor of s(-4)?
True
Let l(g) = -2*g - 1. Let r be l(-2). Suppose r*b + 100 = 7*b. Is 17 a factor of b?
False
Let g(z) = -15*z + 6. Suppose -9*t = -11*t - 10. Is g(t) a multiple of 27?
True
Let a(x) = x + 35. Let z = 21 - 21. Does 19 divide a(z)?
False
Let z(c) = -c + 1. Let x be z(5). Let r be x/(-8) + (-35)/(-2). Suppose -h + r = h. Is 9 a factor of h?
True
Suppose 8 + 7 = 5*w. Suppose -4 + 65 = w*o + 5*a, -4*a - 16 = 0. Is 21 a factor of o?
False
Is (-1)/(-4) + (-812)/(-16) a multiple of 3?
True
Let o be 85/35 + 3/(-7). Suppose -o*z + 54 = z. Is z a multiple of 18?
True
Let y = 2 - -2. Let u(g) = -g + 4. Let s be u(y). Let l(k) = k**3 + k**2 + 23. Is 23 a factor of l(s)?
True
Suppose 2*m = m + 2. Suppose -t - 6 = -m*t. Is 6 a factor of t?
True
Let r(o) = -o**3 + 19. Let x be 8/(-10)*(-5)/1. Let c be 0/(x*1/2). Does 5 divide r(c)?
False
Let m = 2 - 1. Does 21 divide (-4)/(-8)*42