 -2*r + 3 = 23. Does 12 divide s(r)?
True
Suppose 4*y - 4*w + 24 = 0, 4*y + 9 = 5*y + 2*w. Let p = y + 6. Suppose 0 = -0*r - r - 5*d - 15, r = p*d + 35. Is r a multiple of 8?
False
Suppose 2*n - 150 = -3*n. Is 10 a factor of n?
True
Suppose 244 = 4*y - 5*o, -4*y - 2*o = 32 - 304. Does 22 divide y?
True
Suppose 0 = 3*v - 5 - 1. Let w(k) = -12*k - 5*k**2 + 5*k**2 - v - k**2. Does 9 divide w(-9)?
False
Is 44/(-8)*14*-1 a multiple of 15?
False
Suppose 2*t = 4*x - 998, -3*x + 6*t + 726 = 9*t. Does 13 divide x?
True
Let c = 10 + -6. Suppose 5*y - l - 9 = c*y, 3*y = 5*l + 33. Is 3 a factor of y?
True
Suppose 0 = 5*q - 2*s - 2*s, -31 = -4*q - 3*s. Suppose q = g - 2. Does 7 divide (1 - 3) + g + 3?
True
Let s be (-2 - -5)*-1 + 8. Suppose s*z = 0, -4*k + 0*z + 2*z = -40. Is k a multiple of 10?
True
Suppose -5*p = 63 - 78. Suppose i - 32 = -3*i. Suppose -p*x - 255 = -i*x. Does 24 divide x?
False
Let o = -120 - -242. Suppose 5*p + 42 = o. Suppose -p = -3*j + 17. Is j a multiple of 6?
False
Let t = 59 - 25. Is t a multiple of 11?
False
Let g = 190 + -50. Is g a multiple of 10?
True
Let t = -11 + 13. Suppose 5*m - 118 = t*c, 2*m - 4*c - 68 = -m. Is 8 a factor of m?
True
Let j(n) = -n - 5. Let o(w) = -1. Let l(t) = j(t) - 6*o(t). Let s(y) = -y + 1. Let u(h) = -5*l(h) + 2*s(h). Is u(3) a multiple of 3?
True
Suppose -3*j - 100 = -4*k, j + 4*j + 156 = 4*k. Let l = 51 + j. Is 18 a factor of l?
False
Suppose 0 = -6*g + 3*g. Let s = g - -19. Does 15 divide s?
False
Suppose p - 39 + 12 = 0. Is 9 a factor of p?
True
Suppose 5*u - 14 = 2*d, -d - 7*u = -2*u - 23. Suppose 0 = -d*g + 63 + 21. Is 8 a factor of g?
False
Suppose -g + 5*g + 4 = 0. Let u = g + 10. Is 3 a factor of u?
True
Is 55*(1/3)/(5/45) a multiple of 11?
True
Let w = 83 + -51. Does 16 divide w?
True
Let p be ((-6)/4)/(15/(-20)). Let m(c) = 2*c**3 - 2*c**2 - 3*c + 3. Let a be m(p). Is 17 a factor of a*1*84/20?
False
Let u be 4 + 1 - (7 - 4). Suppose -u*c - 164 = -6*c. Is c a multiple of 15?
False
Let y = -4 - -8. Suppose y*h + 37 = 4*z + z, -7 = -2*z - h. Suppose -2*a - 57 = -z*a. Does 19 divide a?
True
Suppose -x + 50 = 4*x. Does 5 divide x?
True
Suppose 10 = -3*d + 2*l, -3*l = 3*d + 2*l - 25. Suppose d = 5*j - 3*k - 15, 8*j - 3*j - 15 = -k. Suppose -6*y = -j*y - 33. Is 8 a factor of y?
False
Let u(k) = 2*k + 7. Suppose -c - 17 = 5*o + 3, 0 = 4*o + 4*c. Let q be u(o). Let x(m) = 6*m**2 + 2*m + 3. Is 13 a factor of x(q)?
False
Let j = 19 + -20. Let v(m) = 15*m**2. Is v(j) a multiple of 5?
True
Let w(b) = 2*b**3 + 3*b**2 + 5*b + 7. Let c be w(-3). Let q = 90 + c. Does 18 divide q?
False
Let c(l) = 8*l**2 - 10*l - 49. Is 23 a factor of c(-5)?
False
Suppose -5*l + 757 = -663. Does 14 divide l/14 + 12/(-42)?
False
Suppose -u + 7*u - 468 = 0. Is 13 a factor of u?
True
Is 7 a factor of 2/(-3)*84/(-2)?
True
Suppose -5*x = -5*y + 5, 5*x - 2 - 1 = y. Suppose -3*p = -64 - y. Is p a multiple of 13?
False
Let p(w) = w**2 - 8*w + 3. Let i be p(8). Suppose 2*o - 8 = i*d - 0*d, 5*o + 2*d - 20 = 0. Suppose 5*h + 173 = 4*c, o*c - 2*h = 2*h + 172. Does 21 divide c?
True
Let v(z) = 9*z - 5. Suppose -p - 15 = 5*q, -5*q + p + 0*p - 25 = 0. Let f(k) = -k**2 - 4*k + 5. Let s be f(q). Is 20 a factor of v(s)?
True
Suppose j = -33 - 63. Let m = 142 + j. Does 15 divide m?
False
Suppose 3*t + 140 = -2*j, 4*t - 2*j + 52 = -116. Let v = t + 68. Suppose -a + v = a. Is 6 a factor of a?
True
Let m = -5 + 9. Let b(f) = 6*f - 6. Let c be b(m). Suppose u - 22 = -2*j, j = 3*j + 2*u - c. Is 5 a factor of j?
False
Let p be (3 + 3 + -5)*8. Is 7 a factor of p/(-12) - 86/(-3)?
True
Let c(x) = -2*x**2 - 17*x + 12. Let j be c(-9). Is (j - 2)*(2 - -9) a multiple of 2?
False
Suppose -5*t + 18 = 4*y, 2*y + 5 = -5*t + 19. Suppose -3*i = 30 - 36. Let q = t + i. Is q a multiple of 3?
False
Suppose -y = -5*a + 41, -15 = -a - 3*y + 6. Suppose 10 = r - u, -4*u + a = -0*r + 3*r. Is r a multiple of 3?
False
Does 14 divide (1/(-2) + 2)/((-3)/(-28))?
True
Let g = 34 - 21. Suppose -5*o = 2*m - g - 15, -3*o + 15 = m. Is m a multiple of 4?
False
Let q(p) be the first derivative of -1/3*p**3 + 5/2*p**2 + 7*p - 1. Does 7 divide q(5)?
True
Does 19 divide ((-3345)/30)/(1/(-2))?
False
Let h = 17 - 11. Is 3 a factor of h?
True
Suppose -y + 22 = -2*g, -21 = -y + 5*g - 2. Does 12 divide y?
True
Suppose -4*k = k + 15, -5*n - 4*k = -68. Is n a multiple of 4?
True
Let v(m) = 7*m**3 - 2*m**2 + 3*m - 2. Let c be v(2). Let h = c + -23. Is 10 a factor of h?
False
Let p(f) = -f - 2. Let a be p(-2). Suppose 2*u - 14 - 10 = a. Does 5 divide (-1)/(14/u)*-7?
False
Let v = 82 - 6. Is 38 a factor of v?
True
Suppose -w = 2*w + 21. Let l = w - -25. Does 7 divide l?
False
Let q(s) = -3*s - 12. Let f be q(-11). Suppose 3*v - f = 75. Is 16 a factor of v?
True
Let u be ((-22)/(-8))/(2/(-8)). Let j = -13 + 6. Let c = j - u. Does 4 divide c?
True
Let c = 2 - 3. Let q be c/(-2)*(1 - -5). Suppose s - 2 = 1, q*s + 96 = 5*g. Is g a multiple of 9?
False
Let j(s) = -s**3 + 2*s. Let v be j(2). Let p be ((-9)/v)/((-9)/(-48)). Let w = p - 6. Is w even?
True
Is (-1)/(-5) - 2748/(-10) a multiple of 25?
True
Let c(n) = 2*n - 15. Let z(f) = -f + 7. Let a(h) = 3*c(h) + 5*z(h). Let l be a(0). Does 19 divide (-188)/l + (-1)/(-5)?
True
Let h(x) = -x**2 - 8*x - 7. Let f be h(-7). Suppose 0*i + 5*i - 60 = f. Is i a multiple of 12?
True
Let v = 11 + -3. Suppose -v = -3*m - 2. Suppose 3*w - 80 = -4*x - 18, w = m. Does 6 divide x?
False
Suppose -r + 20 + 0 = 0. Is 4 a factor of r?
True
Let c(v) = -3*v - 1. Let u be c(-1). Suppose 0*l + u = -l. Is 5 a factor of (-25)/10*l/1?
True
Is 6 a factor of 8/(8/2) - -22?
True
Suppose 0*u = -2*u - 72. Let y = u + 52. Does 8 divide y?
True
Suppose -2*o = -7*o + 5*t + 95, -o - 3*t = -3. Suppose 0 = -4*n + o + 25. Is 10 a factor of n?
True
Let h = -32 + 75. Does 22 divide h?
False
Let r(t) = t**3 - t**2 - t - 1. Let w be 4/18 + 532/36. Suppose -2*b = 3*b - w. Is 7 a factor of r(b)?
True
Let s(f) = f + 2. Let c be s(-7). Suppose 2*q - 3 = 17. Does 4 divide q/3*(-6)/c?
True
Let v(w) = 4*w + 2. Let p be v(-2). Let q = p - 11. Let d = q + 39. Does 11 divide d?
True
Let n(r) = 2*r**3 + 9*r**2 + 10*r + 7. Let j(u) = -3*u**3 - 10*u**2 - 11*u - 6. Let m(d) = 3*j(d) + 4*n(d). Let a be 1*((1 - -6) + 0). Is m(a) a multiple of 8?
False
Let q(w) = -w - 1. Let x be q(-4). Let a(d) = -d**3 + 7*d**2 - d + 4. Does 8 divide a(x)?
False
Suppose s - 6*s = -15. Suppose -s*p + 25 + 119 = 0. Does 16 divide p?
True
Let q be (10/(-3))/((-6)/(-9)). Does 2 divide (q - -4) + 8/1?
False
Suppose 3*v + 124 = 5*v. Is v a multiple of 6?
False
Does 38 divide 281 + (-1 + -2 - -3)/2?
False
Is ((-18)/4)/(7 + -4)*-6 a multiple of 9?
True
Suppose -6 = -4*w + 2. Let j(x) = -8*x**2 + 2*x. Let c be j(2). Is 10 a factor of w/(-8) - 287/c?
True
Let a = 1 + 2. Suppose -5*k = a*w - 0*w - 26, 0 = -4*k - w + 25. Does 7 divide k?
True
Is 15 a factor of (-10542)/(-78) + (-3 - (-111)/39)?
True
Let v be 1*(6/1)/3. Suppose -z + 6*z = -v*d + 66, -4*z = 5*d - 63. Is z a multiple of 4?
True
Let d(m) = m**2 - 6*m - 4. Let y be d(6). Let l(b) = -14*b. Let p be l(y). Suppose 0 = 2*x, 5*i - x = i + p. Is i a multiple of 8?
False
Suppose 0 = -3*k - 5*m - 5 - 10, -3 = m. Suppose 2*i + 3*i = k. Does 10 divide 18 - (i/2 + -2)?
True
Let x be -2 - 4*(-3)/(-12). Is 20 a factor of 10/x*4*-3?
True
Let j = -311 - -464. Is j a multiple of 26?
False
Let w be 3*1 + -47 + -2. Let n = -22 - w. Is n a multiple of 8?
True
Let b = 1 - 2. Is b/((-3)/69*1) a multiple of 10?
False
Let h(u) be the second derivative of 2*u**4/3 + u**3/2 + 3*u**2/2 - 2*u. Let i(m) = -m**3 + 3*m**2 - 4*m + 2. Let g be i(2). Is h(g) a multiple of 17?
False
Suppose o - 18 = -2*o + 3*n, -3*n = 5*o - 14. Suppose r - 58 = -r + o*k, -3*r + 47 = 2*k. Let u = -8 + r. Does 11 divide u?
True
Suppose -253 = -s + 3*y - 30, -y = 5*s - 1035. Does 22 divide s?
False
Let i be 8/(-36) + 58/18. Let p(l) = 2*l**2 - l - 3. Is 12 a factor of p(i)?
True
Let s = 26 + -24. Let a(n) = n**2 + 2*n + 3. Let j be a(-2). Suppose 1 = m - s*y, j*y = 3*m + y - 19. Is m a multiple of 9?
True
Is -2*(0 - 28) + 1 a multiple of 14?
False
Suppose -3*s - 4*b = -0*s + 5, -4*s - 4*b = 0. Suppose 0 = 6*g - s*g - 14. Is g a multiple of 10?
False
Let k = 65 + -35. Does 15 divide k?
True
Suppose 2*f - 146 = -3*g, 0 = 3*g