 13?
False
Let u(g) = 1494*g - 46. Is 93 a factor of u(1)?
False
Suppose -4*u + 4480 = 3*u. Suppose -w + u = w. Does 10 divide 7/(35/w) + -3?
False
Let x(y) = -y**3 - 8*y**2 - 4*y + 23. Let k be x(-7). Does 10 divide 3/(62/140 + k/(-14))?
True
Let x(b) = 7*b - 27. Suppose 2*d + 9*d = 132. Is 9 a factor of x(d)?
False
Suppose -2*d = -2*m - 0 + 8, 5*m = -5*d. Let r(i) = 3 - 1 + m*i - 1. Is r(4) a multiple of 9?
True
Let v = -20 - -25. Suppose 0*y + 3*c = y + 9, -15 = -2*y - v*c. Let o(z) = z**3 + z**2 + 39. Is o(y) a multiple of 8?
False
Let z(u) = -5*u**3 + 3*u**2 - 4*u + 2. Let p be z(1). Is p/1 - (-2 + (2 - 198)) a multiple of 25?
False
Suppose 2*c = -4*d + 2364, 5*d - 274 = -4*c + 2678. Does 16 divide d?
True
Let k(r) = -r**3 + 4*r**2 - 5*r + 4. Let p be k(3). Is (84/(-2))/(3/p - 0) a multiple of 27?
False
Suppose -8 = 4*x + 48. Is (12/7)/((-2)/x) a multiple of 12?
True
Let m(u) = u**3 + 8*u**2 - 9*u + 4. Is m(-7) a multiple of 9?
False
Suppose 144 = -11*w + 13*w. Let i be 1 + -5 + w/(-3). Let b = i + 96. Does 17 divide b?
True
Let u(h) = -h**2 - 22*h - 30. Suppose 2*v + 30 = -0*v - 5*q, -3*q = 0. Is u(v) a multiple of 15?
True
Suppose 0 = -62*h + 57*h + 3300. Does 11 divide h?
True
Let f = 418 + -124. Is f a multiple of 21?
True
Let l(y) = -4*y + 7. Let f(j) = j**2 + 2*j - 11. Let z be f(-4). Is l(z) a multiple of 3?
False
Let p(a) = -a**2 + a + 5. Let k(l) be the third derivative of -l**5/60 + l**4/3 - 7*l**3/6 - 2*l**2. Let w be k(7). Is 3 a factor of p(w)?
False
Let b = 7201 - 4482. Is 21 a factor of b?
False
Suppose 0 = -3*q + 30 - 30. Suppose -2*v + 0*v + 600 = q. Does 12 divide v?
True
Let r be 657/6 - (-1)/2. Suppose -d + 35 = 2*x, 5*d - r = 4*x + 65. Is 12 a factor of d?
False
Let k(m) = m**2 - 8*m - 9. Let h be k(8). Let u = h + 13. Let a = 9 + u. Is a a multiple of 10?
False
Let n(u) = 5*u - 2. Let h be n(2). Let v(y) be the first derivative of -y**3/3 + 4*y**2 + 3*y + 111. Is v(h) a multiple of 3?
True
Suppose -5*q + 101 = -499. Is 12 a factor of q?
True
Suppose -3488*x - 16614 = -3494*x. Is x a multiple of 9?
False
Let j(k) = k + 4. Let g be j(-3). Is ((-300)/8)/(6/(-4) + g) a multiple of 15?
True
Let m be 2 + -6*12/9. Let s = -7 - -6. Let k = s - m. Does 3 divide k?
False
Suppose 81*k - 2321 = 70*k. Is 7 a factor of k?
False
Let p be 4*(21/(-35))/((-8)/10). Let s(r) = r - 5. Let n be s(7). Suppose -p*m + n*m = -13. Is m a multiple of 7?
False
Suppose u + 2 = 7. Suppose 0*z + 3*z = -b + 124, z = u*b + 52. Is 7 a factor of z?
True
Let v(k) = 30*k**2 + 9*k + 18. Does 15 divide v(-2)?
True
Suppose 3*y - 1833 = -5*x + 3494, 0 = 5*x - 5. Is 27 a factor of y?
False
Let f(c) = -74*c + 9. Let x be f(-5). Suppose 3*g - 2*a - x + 17 = 0, -g = -a - 122. Is g a multiple of 15?
False
Suppose -t - u + 46 = 0, 106 + 28 = 3*t - u. Suppose -h = 4*s - 35, -5*s + 3*h + t = 4*h. Is 2 a factor of s?
True
Does 12 divide 0 + 245 - (-55 + 60)?
True
Let v(g) = -g**3 - 6*g**2 - 8*g + 10. Let x be v(-9). Suppose -6*i + i = -x. Is i a multiple of 13?
True
Let y(f) = -2*f + 1. Suppose 4*t + t + 10 = -j, 5*t + 5*j = 10. Let u be 9/6*8/t. Does 3 divide y(u)?
True
Suppose 3*b - 2026 = 2*c, 0 = b - 6*c + 2*c - 672. Is b a multiple of 26?
True
Let v(t) = -11*t - 8. Suppose m - 3*m = 14. Is 12 a factor of v(m)?
False
Let b be (3 + 0)*(-4)/(-6). Suppose -20 = -v + w, 2*w = -b*v + w + 55. Suppose 2*y - 78 = 3*i, v = -5*y - i + 203. Is y a multiple of 9?
True
Suppose 0 = -29*s - 18651 + 51740. Is 7 a factor of s?
True
Is 9 a factor of (12 + 5)*-3*(4 - 7)?
True
Let h(b) = b**2 + 8*b - 12. Let n(c) = 3*c - 15. Let w be n(7). Is 24 a factor of h(w)?
True
Let k(j) = -j**3 - 11*j**2 + 3*j - 6. Let b(y) = -11*y**2 - y**3 + 4*y - 7 + 4*y - 5*y. Let w(o) = 3*b(o) - 4*k(o). Is w(-11) a multiple of 16?
False
Suppose 20186 = 4*j + 5*p, -5*j + 25247 = 35*p - 36*p. Does 35 divide j?
False
Let q(i) = -i**3 + 7*i**2 - 6*i + 9. Let o be q(6). Suppose 0 = o*x - 8*x - 61. Is x a multiple of 8?
False
Let o = -26 - -44. Let g be -10*(-3)/(o/3). Suppose 62 = -g*m + 452. Is m a multiple of 26?
True
Suppose 4*i - 2*i - 12 = 0. Let o(m) be the third derivative of 3*m**4/8 + m**3/6 - 2*m**2. Is 18 a factor of o(i)?
False
Let x(z) = -8*z + 23. Let y be x(-21). Suppose -2*h - 5 + y = 0. Does 12 divide h?
False
Suppose -2*m = -0*m - 28. Suppose m*l - 300 = 11*l. Does 25 divide l?
True
Suppose 0 = -5*p - 10, 7*h = 6*h + 4*p + 480. Is 44 a factor of h?
False
Let j(p) be the third derivative of 1/6*p**5 + 1/120*p**6 - p**3 + 14*p**2 + 0 + 0*p + 1/3*p**4. Is 15 a factor of j(-8)?
False
Suppose -3*n - t + 1546 = 0, n + 2*n - 1554 = 3*t. Suppose -2*g - 4*v = -216, -5*g - 8*v + n = -4*v. Does 16 divide g?
False
Let f be (14 + -12)/(1/2). Suppose 0 = -f*d + d + 90. Is 4 a factor of d?
False
Let y = -295 - -149. Let d = -58 - y. Is 8 a factor of d?
True
Let l(x) be the first derivative of x**4/4 + 7*x**3/3 - 4*x**2 - 3*x - 4. Is l(-6) a multiple of 27?
True
Does 41 divide 2132/(-3)*(6 + 180/(-24))?
True
Suppose -2*x + u = 5*u - 8, -3*x - 5*u = -11. Suppose 749 = 5*c + x*c. Is c a multiple of 8?
False
Let y = -69 - -306. Is 20 a factor of y?
False
Let f(p) = -7*p. Let u(k) = 13*k + 1. Let r(b) = 11*f(b) + 6*u(b). Let c be r(-3). Let i(s) = 4*s**2 + s + 5. Is 10 a factor of i(c)?
False
Let s = -629 - -2241. Does 13 divide s?
True
Let n(c) = 3*c**2 - 6*c - 1. Let w be n(6). Let v = w - 12. Does 19 divide v?
False
Suppose 5*b - 3*h + 90 - 460 = 0, 0 = 5*b - 5*h - 360. Is 11 a factor of b?
True
Let d(w) = w - 12. Let i be d(12). Suppose i*l - 2*l = -22. Is l a multiple of 8?
False
Let r(u) be the second derivative of -u**4/8 - u**3/6 + 5*u**2/2 - u. Let m(q) be the first derivative of r(q). Does 3 divide m(-2)?
False
Suppose 10*b - 5*b - 9485 = -5*k, -2*b - 9450 = -5*k. Is k a multiple of 86?
True
Let d = 65 - 54. Suppose -3*q = 3, 2*q - d = -2*p + 21. Is p a multiple of 3?
False
Let a be 1*-5*(-4)/10. Is 1*a*26 + (-22 - -23) a multiple of 3?
False
Let f(d) = d**2 - 7*d - 5. Let b(y) = -y**2 + 9*y - 5. Let w be b(7). Let m be f(w). Suppose 10*j - m*j = -33. Does 8 divide j?
False
Let n be (-1 - -339)/(30/6 - 7). Let a = 270 + n. Does 6 divide a?
False
Let l be (-2016)/147*(1 + -8). Suppose 3*w + 2*n = l, 6*n = 2*w + n - 45. Does 30 divide w?
True
Let j(z) be the first derivative of 5*z**2 - 3*z - 22. Is 6 a factor of j(1)?
False
Suppose r = -5, 0 = 6*k - 3*k + 2*r - 3494. Does 54 divide k?
False
Let q = 8 - 5. Suppose q*j - 18 = -57. Let s(o) = o**3 + 14*o**2 + 10*o + 1. Does 12 divide s(j)?
False
Suppose 3*u = -5*x + 4*u + 2373, 0 = 2*x - 4*u - 942. Is 7 a factor of x?
False
Suppose -506 = -12*b + 1930. Is 7 a factor of b?
True
Let t = 13 + -9. Suppose 431 = 3*v - 3*k + 29, t*v = -5*k + 500. Is 26 a factor of v?
True
Let a = -48 + 99. Let i = -3 + 6. Suppose -i*y = g - a, 5*y - 167 = -5*g + 88. Does 17 divide g?
True
Suppose 5*p - 2*p + 14 = 2*c, 26 = -4*p - c. Let g = p + 66. Is 6 a factor of g?
True
Let w be -2*((-2 - (-21)/(-6)) + 3). Suppose -w*q = 7*q - 1524. Is q a multiple of 22?
False
Does 19 divide 962/2 - (-2 - -5)?
False
Suppose -4*f - 3*r = -2*r + 17, 3*r = 3*f + 9. Is (23/(-4))/(f + (-30)/(-8)) a multiple of 4?
False
Let t(s) = s**2 - 12*s - 10. Let x be t(11). Let i be 308/x*3/(-2). Let a = i + -13. Does 9 divide a?
True
Let w(r) = r**3 + 15*r**2 + 15*r - 21. Is w(-12) a multiple of 21?
True
Let x = 1043 + -713. Suppose -16*t = -21*t + x. Does 11 divide t?
True
Let m = 97 - 101. Is 10 a factor of 98 + 7 + 20/m?
True
Suppose 31*o = 22*o + 27. Let a = -20 + 33. Suppose o*j = 35 + a. Is j a multiple of 16?
True
Let o(s) = 7*s**3 + 5*s**2 + s + 3. Does 6 divide o(3)?
True
Suppose 40 = 2*z - 24. Suppose -2*t = 2*t + z. Let g = t - -19. Does 11 divide g?
True
Let w(g) = -g**3 - g + 2. Let n be w(2). Let f be n/6 + 320/15. Suppose -288 = 16*d - f*d. Is 24 a factor of d?
True
Let x be (4/(-3))/(56/(-210)). Let p = x - 0. Suppose 0 = p*b - b - 136. Does 17 divide b?
True
Suppose 2*r - 813 = -5*h, h + 4*r = 5*r + 164. Suppose 4*y = 5*w + 392, -213 = -4*y + w + h. Does 31 divide y?
True
Suppose 4*f = -3*w + 2124, 11*f = 8*f + 9. Is w a multiple of 44?
True
Let n(i) = 168*i**3 + 4*i**2 - 5*i. Is n(2) a multiple of 27?
True
Let w(f) = 93*f**2 - 9*f - 92*f**2 + 2 - 12 - 6. Does 9 divide w(14)?
True
Su