 - r + 11 = 0. Let i be (-1235)/35 - y/7. Let d = -10 - i. Is 25 a factor of d?
True
Suppose -2*a - 5*l - 16 = 0, -a = -5*a - 2*l - 32. Let o = 24 - a. Is 7 a factor of o?
False
Suppose 9*u = 5*u - 148. Let h = -4 - u. Is 16 a factor of h?
False
Let b = -25 + 35. Suppose 17 = v - b. Is 3 a factor of 6*6/v*3?
False
Let k be (1 - 2) + 3/1. Suppose -k*n + r - 44 = -118, 10 = -5*r. Is n a multiple of 10?
False
Let p be (-15)/4*40/15. Let i be 1*p - (0 - 3). Let c = i + 13. Does 4 divide c?
False
Let d be 904/(-10) + 2/5. Let q = 126 + d. Is 18 a factor of q?
True
Let q = -155 - -283. Is q a multiple of 32?
True
Suppose -4*i - 8 + 24 = 0. Let f = 11 + -8. Suppose i*r - f*r = 22. Does 6 divide r?
False
Let a(p) = p**2 + p - 4. Is a(6) a multiple of 8?
False
Let s(g) = 36*g + 1. Let r be s(-2). Let c = -40 - r. Is c a multiple of 12?
False
Suppose 4*z - a - 11 = 0, -3 + 2 = -4*z + 3*a. Let d(p) = 2*p - 4 + z*p**2 + 3*p**2 + 5. Is 5 a factor of d(-1)?
False
Let a = -11 + 14. Does 22 divide 196/a + 6/9?
True
Let n(h) = h**2 + 3*h + 2. Is 10 a factor of n(3)?
True
Let x(w) = -w**2 - 12*w - 5. Let h be x(-10). Suppose -90 = -3*d - h. Does 9 divide d?
False
Suppose -16 - 14 = -3*b. Does 6 divide (b - -3) + 2/(-1)?
False
Let a = 9 - 5. Is 2 a factor of (-10)/a*(1 - 3)?
False
Suppose 2*r + 4*s - 128 = 0, -2*r + 5*s = -r - 43. Is 11 a factor of r?
False
Let w(f) = 3*f**3 + 5*f**2 + 8*f - 4. Let m(c) = -4*c**3 - 5*c**2 - 8*c + 5. Let o(q) = 4*m(q) + 5*w(q). Does 6 divide o(6)?
True
Is 33 a factor of (-2)/(6/(-3)) - -2*49?
True
Let f be (0 - 1)/((-2)/(-8)). Let d(i) = 2*i**2 - 4*i + 3. Is d(f) a multiple of 14?
False
Suppose -3*g - 381 = 3*c, -5*c - 315 - 318 = 4*g. Let m = c - -175. Suppose m = -5*j + 130. Does 16 divide j?
True
Let g = 62 + -29. Let v = g + -22. Is 13 a factor of v + (-3)/(9/(-6))?
True
Is 11/(-22)*(-24 + 0) a multiple of 6?
True
Suppose 0 = 7*w + 237 - 804. Is w a multiple of 9?
True
Is 35 a factor of 1678/16 + (-1)/(-8)?
True
Suppose -n + 3*s + 6 = 0, 4*n + 0*s - 44 = 2*s. Suppose -4 = 2*g - 4*j - 2, -3 = -3*j. Suppose 0 = -w + 4*d - d + g, -4*d = -n. Is w a multiple of 10?
True
Let a be ((-2)/(-3))/(4/6). Is (a - -1)*(-10)/(-4) a multiple of 5?
True
Suppose -5*k = 5*u - 25, 7 = 3*u - 2*k - 3. Is 15 a factor of (u/6)/((-2)/(-45))?
True
Is (-2 - 2*-10) + 1 a multiple of 11?
False
Let s(n) = 3 + 0 + 14*n**2 - 1 + 5*n - 1. Is 15 a factor of s(-2)?
False
Suppose 150 = 7*c + 3*c. Is 2 a factor of c?
False
Suppose -4*f - 5*n = -23, 0 = -5*f - 0*f - n + 13. Let p be (-1)/(-3) - (-20)/(-15). Is 12 a factor of 6*f + (p - -1)?
True
Let a(v) = v**3 + 5*v**2 - 2*v - 6. Let d be a(-5). Let z = 6 - 6. Let t = d + z. Is t a multiple of 3?
False
Let w(f) = 2*f + 8. Let y be w(-6). Let g = y - -18. Is 14 a factor of g?
True
Suppose 0*b - 21 = -b. Is b a multiple of 10?
False
Let d be 0 - (1*-5 + 2). Let b be (-71 - d)/(-3 + 1). Is 7 a factor of b/5 - 4/10?
True
Let y = -176 - -274. Is 14 a factor of y?
True
Does 3 divide (4/12)/(3*1/117)?
False
Let l be -1 - (1 - (1 - -1)). Suppose -4*n + 5*n + 4 = l. Is 12 a factor of (10/15)/(n/(-150))?
False
Suppose -2*z + 1 = -3*z. Suppose -2*k + 6 = k. Is k/z + 0 + 6 a multiple of 2?
True
Let c(q) = -39*q - 1. Let o be c(-3). Let m(w) = -w**3 + w**2 - w. Let k be m(0). Suppose -3*a = -2*z - o, k = 3*a + z - 78 - 26. Is a a multiple of 18?
True
Let y(t) = -t**3 - 3*t**2 + 4*t - 2. Suppose 2*g - 5*x - 10 - 2 = 0, 2*g + 2*x = -16. Let p be y(g). Let q(k) = -k**3 + k**2 + 3*k + 3. Is 6 a factor of q(p)?
False
Let b(y) be the third derivative of 11*y**5/60 - y**4/24 - 4*y**2. Is 10 a factor of b(1)?
True
Suppose 88 = 4*w + 3*v, 110 = 7*w - 2*w + 2*v. Suppose 3*f - 2 = w. Is 4 a factor of f?
True
Suppose -4*w - 328 = -4*z, z - 83 + 7 = 3*w. Does 17 divide z?
True
Let n(y) = -y**2 - 13*y - 1. Is 21 a factor of n(-11)?
True
Suppose -3*g + 3*v + 3 = 0, v = 2*g - 2*v - 1. Suppose 2*c = -x + 98, -148 = -g*c - c - 2*x. Is 13 a factor of c?
False
Suppose 3*a - 12 = 0, c - 2*a = -7 + 2. Suppose 3*y + c*w = 2*y + 49, 3*y - w - 97 = 0. Does 23 divide y?
False
Let n = 28 + -17. Is n a multiple of 3?
False
Let p(b) = b + 9. Let g(r) = r - 11. Let h be g(11). Is p(h) a multiple of 4?
False
Let y be 2/8 + 66/24. Suppose 0 = -2*t + y*t - 2*k - 43, -43 = -t + 3*k. Is 9 a factor of t?
False
Suppose -3*g + 2*m - 7 + 3 = 0, 3*m - 6 = 4*g. Let p(a) = g + 1 - 4 + 7*a. Does 23 divide p(7)?
True
Suppose 4*i + 0 + 8 = 5*o, -2*o = -2*i - 2. Does 8 divide (17/2)/(2/o)?
False
Let h(n) = -n**3 + 11*n**2 - 6*n + 3. Suppose 28 = 4*y - 3*i, 2*i - 38 = -6*y + 3*y. Is h(y) a multiple of 16?
False
Suppose 4*o + 3 = 3*o. Suppose -2*n - 9 = n. Does 21 divide (o - 25)/(2/n)?
True
Suppose 4*k + g + 1 - 28 = 0, -5*k - 5*g + 15 = 0. Let b = -6 + k. Suppose 20 = -b*y + 7*y. Does 4 divide y?
True
Suppose 2*u = 124 - 34. Is 18 a factor of ((-36)/15)/((-2)/u)?
True
Let y be (1 - 2) + 60 + -3. Let p be (-2)/3*(-45)/6. Suppose 19 = -a + p*w + y, -2*w - 70 = -5*a. Does 4 divide a?
True
Let j = -7 + 34. Let s = 57 - j. Suppose 2*n = 4*n - s. Is n a multiple of 9?
False
Suppose -2*f = 0, -4*q - 100 = 3*f + f. Let r = q + -653. Is 15 a factor of (-2)/3 + r/(-18)?
False
Suppose -u - 2*u + 48 = 0. Suppose 2*f - x + 2*x = u, -18 = -f - 3*x. Does 3 divide 15/f + 1/2?
True
Let l(h) = 5*h**3 - 13*h**2 - 11*h - 9. Let g(r) = -2*r**3 + 6*r**2 + 5*r + 4. Let x(q) = -9*g(q) - 4*l(q). Suppose 3*i + i = -8. Does 6 divide x(i)?
False
Let h = 0 + 2. Suppose -q - 3*s = -21, 0 = -h*s + 4*s + 10. Suppose i = -i + q. Is i a multiple of 9?
True
Let s be 1/(-3 - 16/(-5)). Let r = -4 + s. Let c = r - -19. Does 10 divide c?
True
Let b = -8 + 5. Let i = b + 57. Suppose -3 = k, 3*h - i = k + 2*k. Does 7 divide h?
False
Let a = 1 - 0. Suppose x = 7 - a. Is x a multiple of 5?
False
Let c = 0 + 25. Is c a multiple of 12?
False
Let w = -18 + 39. Let n = w - 12. Is 4 a factor of n?
False
Suppose 0 = -3*y - 15, -2*y - 19 = f + 29. Let l = f + 88. Is l a multiple of 25?
True
Let f = -186 - -263. Is 19 a factor of f?
False
Let d be ((-4)/10)/(1/(-40)). Let x = d - 0. Suppose 0 = -l - 0*l + x. Is l a multiple of 8?
True
Let a(k) = -k**3 + 9*k**2 - 7*k - 2. Is a(6) a multiple of 16?
True
Suppose 3*m = 5*l - 52, -5*l = -0*m + 2*m - 32. Suppose 2 = -2*n + l. Is 3 a factor of n?
True
Let v be (-7)/3 - 4/(-12). Let h = 9 - v. Is h even?
False
Let i be (-4)/10 + 16/(-10). Let w = i + 7. Suppose w*v + 3*m - 53 - 3 = 0, 2*v = 3*m + 35. Is 8 a factor of v?
False
Let l = -10 - -12. Suppose 7*g = l*g + 115. Does 17 divide g?
False
Let v = -12 - -55. Let y = v - 21. Is 11 a factor of y?
True
Let n be (1 + -2*1)/1. Let s be (2 - 2)/(n - 1). Suppose s*y - 14 = -y. Does 11 divide y?
False
Let f be 35 - (-2 + 5)/1. Let o = 60 - f. Does 14 divide o?
True
Suppose -2*z - 2*m = -136 - 164, 0 = -4*z + m + 610. Does 14 divide z/12*(-3)/(-2)?
False
Let w = 134 - 50. Is w a multiple of 14?
True
Let m(n) = -27*n. Let s(r) = -r**3 - 6*r**2 - r - 7. Let o be s(-6). Is m(o) a multiple of 12?
False
Suppose -3*i + 242 + 289 = 0. Suppose -p - i = -4*p. Does 23 divide p?
False
Suppose -3*x - 33 - 9 = 0. Let q = x + 28. Is 14 a factor of q?
True
Does 8 divide (26/(-4))/(3/(-18))?
False
Let n(k) be the first derivative of k**4 - 2*k**3/3 + k**2 - 2*k + 10. Is n(2) a multiple of 13?
True
Suppose -2*p + 6*p = s + 695, 0 = p + 5*s - 200. Is 35 a factor of p?
True
Is 3 + -3*1/(-3) even?
True
Suppose 4*y = 5*a - 545, -3*y + 7*y = -5*a + 505. Is 15 a factor of a?
True
Suppose 0 = 15*x - 521 - 319. Is 8 a factor of x?
True
Let i be -2 + (1 - 1) + 10. Let m = i + -14. Let o(v) = -3*v + 2. Does 10 divide o(m)?
True
Let j(z) = -z**3 + 4*z**2 + z - 2. Let k be j(4). Let a = 6 - k. Does 4 divide a?
True
Suppose 115 = 7*a - 2*a. Is 5 a factor of a?
False
Suppose 0 = -2*d - 4*g + 40, 2*g + 2*g - 20 = 0. Is 3 a factor of d?
False
Let l = 24 - 8. Is l a multiple of 4?
True
Is 8 a factor of 1/16*12 - (-353)/4?
False
Let a(o) = -25*o. Let g be a(-5). Suppose -8*i + g = -3*i. Let w = 49 - i. Is 12 a factor of w?
True
Let p(w) = -9*w + 36. Is p(-6) a multiple of 15?
True
Let x = -31 - -39. Is x a multiple of 8?
True
Let d = 164 + -98. Does 30 divide d?
False
Let n = 31 - 49. Let a be (-68)/(-18) - 4/n. Suppose a*g = 14 + 22. Is 9 a factor of g?
True
Let