*s - 78 = -f - 6*s, -f + q*s = -71. Is 9 a factor of f?
False
Suppose 7*o = 3*o + 804. Let d = o - 138. Let r = 108 - d. Is 15 a factor of r?
True
Let a be (0 - 4/(-18)) + (-1660)/18. Is 5 a factor of (a/6)/(20/(-30))?
False
Suppose w - 1 = 2*w, -h + 3 = -5*w. Let t(d) = 7*d**2 - 8*d + 1. Is t(h) even?
False
Let r(q) be the second derivative of -q**5/20 - 5*q**4/6 - q**3/2 - 6*q**2 + 13*q. Let y be ((-8)/(-10))/((-12)/150). Is 16 a factor of r(y)?
False
Let l = -57 - -33. Suppose 3*g = 5*g - 4*q + 8, -3*g + 5*q = 15. Is l/40 + (-236)/g a multiple of 7?
False
Let h(z) = 2*z - 70*z**2 + 0*z - 121*z**3 + 72*z**2 - 79*z**3. Does 25 divide h(-1)?
True
Suppose 2*x = -x - 2*f + 23, -x - 3*f + 3 = 0. Does 7 divide 91 + (-6)/x*6?
False
Let s(z) = -z**3 - 19*z**2 + 27*z + 56. Does 53 divide s(-21)?
True
Suppose -24 = -9*z + 3*z. Suppose 242 = z*d - 2*u, 5*d - 4*u - 348 = -38. Does 7 divide d?
False
Suppose -4*o + 20 = 3*y - 110, 4*y + 147 = 5*o. Let l(g) = -g**2 + 19*g + 20. Let x be l(20). Let c = x + o. Is c a multiple of 9?
False
Let j be (3/(-3))/(1/11). Let y = -38 + j. Let h = y + 82. Is 12 a factor of h?
False
Suppose -4*a - v + 10 = -2*v, 0 = -2*a - 2*v. Suppose -a*f = -7 - 3. Suppose -4*k + f*d + 54 = -k, -2*k - 5*d = -36. Is 8 a factor of k?
False
Let u(a) = 208*a**2 - 20*a - 19. Is u(-1) a multiple of 20?
False
Let a(g) = 5*g**3 - 2*g**2 + g - 10. Is a(3) a multiple of 55?
True
Let c be (96/30)/((-2)/10). Let a be (12/(-8))/((-6)/c). Let q = a + 12. Does 3 divide q?
False
Let t(i) = i**2 - 3*i - 3. Suppose 7*r = 19 + 23. Is t(r) a multiple of 15?
True
Let q = -65 - -67. Suppose -x + 49 = 5*t, -3*x - q*t = -0*t - 108. Is 17 a factor of x?
True
Let p(x) = -x**2 + 9*x - 12. Let a be p(6). Is 284/a + 12/18 a multiple of 10?
False
Suppose -3*d - 19 = -2*w, 4*d - 4*w = w - 23. Let q(y) = y**3 + 9*y**2 + 11*y + 9. Is q(d) a multiple of 30?
True
Let b = -75 - -169. Does 2 divide b?
True
Suppose -j - 8 = -2*s, 0 = -2*s - 3*j + 16. Suppose -w - 13 = -r, 11 = -2*w + 3*w + s*r. Does 12 divide ((-12)/5)/(w/270)?
True
Suppose -698 = u + 4*w - 1982, 3*w - 2573 = -2*u. Is 46 a factor of u?
True
Suppose -44*q + 52*q = 32. Suppose -1260 = -5*g + 450. Suppose -q*d + d = -5*y + g, y - 67 = 2*d. Does 17 divide y?
False
Let g(r) = -1 + 2*r**2 - r**2 - 2. Let n(l) = -l**3 + 5*l**2 - 7*l. Let c be n(3). Is 3 a factor of g(c)?
True
Let k = -11 - -19. Suppose -2*y = -u - 6, -2*u = 2*u - k. Suppose -j = y*d - 111, -4*j - 60 - 63 = -5*d. Is 9 a factor of d?
True
Let g(w) = w**2 + 7*w + 75. Is g(-10) a multiple of 37?
False
Let i(s) = s + 25. Let q be 0 + (-64)/(-4) - -3. Is i(q) a multiple of 15?
False
Let f(r) = -r**3 + 14*r**2 - 21*r + 60. Is f(11) a multiple of 5?
False
Let a(w) = 2*w**2 - 8*w - 6. Let q be a(7). Suppose 5*n = q - 6. Does 26 divide (20/n)/(4/78)?
False
Suppose 4*f - 5725 = -5*s, 7*f + 1440 = 8*f + 3*s. Is 95 a factor of f?
True
Let i = 384 - -89. Is 11 a factor of i?
True
Let s(v) = 18*v**2 - 7*v - 69. Does 49 divide s(9)?
False
Let l = -463 - -669. Is l a multiple of 18?
False
Let f(b) = 17*b**2 + 10*b - 60. Does 38 divide f(6)?
False
Suppose -5*t - 75 = 75. Let b be t/45 - 34/(-6). Suppose b*s = 8*s - 54. Is s a multiple of 5?
False
Let d(q) = -q**3 + 4*q**3 + 2*q - 8 - 8 + 9*q**2 - 2*q**3. Let o be d(-11). Is (12/(-7))/(8/o) a multiple of 12?
True
Suppose -6*s - i + 29 = -5*s, 5*i + 25 = 0. Suppose 264 = 10*g + s. Is 2 a factor of g?
False
Let u(f) = -3*f + 1. Let v be u(1). Let l be -1 - (-1244)/((-8)/v). Suppose l = 4*o + 94. Is o a multiple of 19?
False
Let u = 24 + -6. Suppose u*o - 22*o + 12 = 0. Does 10 divide o - (-4 + -2 + -23)?
False
Let z be 39/(-1)*(-40)/(-30). Is -1 - z - 1*3 a multiple of 5?
False
Let d = 1 - -495. Is 62 a factor of d?
True
Let v = 1597 - 1117. Is v a multiple of 40?
True
Suppose 3*l - 12 = -0. Let q be (l/1)/((-2)/5). Is 10 a factor of (-16)/q*(-55)/(-2)?
False
Is 88/2 - (-38 - -37) a multiple of 20?
False
Suppose -11*f + 2 = -10*f. Suppose 4*h + 3 = 7. Is 11 a factor of 57 - (h - (1 - f))?
True
Suppose 1529 = -5*y + 3*z, -4*y = 8*z - 5*z + 1234. Let c = -139 - y. Is 38 a factor of c?
False
Suppose 2*w - 403 = -5*z, -6*z + z = 4*w - 831. Is w a multiple of 43?
False
Let f(t) = t**3 - 16*t**2 + 16*t - 6. Let w be f(15). Suppose i - w*i = -400. Is 10 a factor of i?
True
Let h(v) = -69*v + 55. Does 89 divide h(-25)?
True
Suppose 3 - 9 = -3*k. Does 35 divide ((-3)/k)/(15/(-1100))?
False
Is 71 a factor of ((-614)/(-8))/((-83)/(-332))?
False
Let o be (-3)/((-114)/(-39) + -3). Let g = o - 26. Is 4 a factor of g?
False
Suppose -4*c - 5*p = -166, -2*c + 5*p - 4*p = -90. Let i be c/10*(24 - 19). Let y = i - 1. Is 7 a factor of y?
True
Suppose -14 = -4*b + 1018. Suppose 23 = 10*i - 27. Suppose 0 = -4*w + 5*d + 328, i*w - 3*d + b - 655 = 0. Is w a multiple of 10?
False
Suppose -4*d = 3*a + d - 330, d + 440 = 4*a. Is (a + 7)*(-1)/(-1) a multiple of 18?
False
Suppose -4*m + 301 = -1131. Suppose -1062 + m = -4*j. Suppose -2*n - j = -5*w, -2*w - 4*n = -3*n - 74. Is 18 a factor of w?
True
Let n(p) = 3*p - 2. Let y be n(2). Let u(c) = 13*c + 3. Is u(y) a multiple of 33?
False
Let h(w) = 58*w**2 - 6*w - 5. Does 59 divide h(-1)?
True
Suppose -6*c = -12142 + 1870. Is c a multiple of 16?
True
Let v be (-1)/1 - (-4 + 5). Is 1*(22 + (-6)/v) a multiple of 6?
False
Suppose 0 = 2*j + j - 9. Suppose 3*a - 2*a = -3*t - 5, -3*t + 2*a - 8 = 0. Is 3 a factor of j*((-28)/3)/t?
False
Suppose 4*x + r = 13, -3*x + 3*r - 6 = -4*x. Suppose -3*q + x = -0. Is 2 a factor of (q - 1) + 4/2?
True
Let m be 24/(-16) - 15/(-6). Let c be (3 - 2 - -3)*m. Suppose -g = -4, l - c*g - 26 + 1 = 0. Is l a multiple of 18?
False
Suppose -2*g + 2 = -k - k, -3*g - 1 = -4*k. Let w = 10 - g. Suppose 288 - 8 = w*q. Does 14 divide q?
True
Suppose 6*i = -d + 5*i + 17, -d + 14 = 2*i. Suppose -18*w - 550 = -d*w. Does 55 divide w?
True
Let o be 0 - (3 - 0 - 37). Suppose -a + o + 30 = 0. Let p = a + -31. Does 19 divide p?
False
Let b(t) = 12*t**2 - 37*t + 14. Is 7 a factor of b(7)?
True
Let b = 42 + -38. Suppose 0 = -b*p + p - f + 86, f = -2*p + 58. Is 8 a factor of p?
False
Let m be (-5 - 1726) + 2 + -1. Let o be m/35 + (-6)/(-14). Let p = 93 + o. Is 9 a factor of p?
False
Suppose -4*b + 80 = 4*c, -3*c + 9 = -4*b - 37. Suppose 3 + c = x. Is 15 a factor of x?
False
Suppose 0 = -2*l + l + 38. Suppose 5*o = 148 - l. Is o a multiple of 9?
False
Suppose 4*p + 19 = 4*m - 9, -2*p - 2*m - 10 = 0. Let n be (-13 + 6)*p/14. Suppose -3*o + o - 146 = -5*q, 84 = n*q - 3*o. Does 15 divide q?
True
Suppose -27*c + 545 = -22*c. Let k = c + -7. Is k a multiple of 22?
False
Let i(r) be the first derivative of r**4/4 + 3*r**3 + 9*r**2/2 + 10*r + 6. Let d be i(-8). Suppose 3*k - 77 = -5*s, 2*s - d*k + 5*k = 29. Is s a multiple of 9?
False
Suppose -87*s + 235 = -86*s. Is s a multiple of 8?
False
Let x(j) be the third derivative of 1/24*j**4 + 0 + 21/2*j**3 + 0*j + 4*j**2. Does 21 divide x(0)?
True
Suppose 19 = -z + 71. Suppose -356 + z = -8*y. Is 9 a factor of y?
False
Let j be (-128)/(-5) + 4/10. Suppose 26 = 13*w - 15*w. Is (w/26)/((-1)/j) a multiple of 13?
True
Let q(v) be the third derivative of 0*v + 0 - 6*v**2 - 1/6*v**3 + v**4. Is 9 a factor of q(2)?
False
Let u(z) = 29*z**2 - z. Suppose 1 + 0 = -j. Let k(b) = -2*b**2 + 1. Let q be k(j). Is 15 a factor of u(q)?
True
Let i(k) = -3*k**3 + 3*k**2 + 2*k + 5. Let y(j) = -4*j**3 + 4*j**2 + j + 5. Let h(b) = 3*i(b) - 2*y(b). Is h(-5) a multiple of 15?
True
Suppose 0 = -4*j + 4*k + 848, j + 5*k - 1040 = -4*j. Suppose 4*w - j = -u + 191, 4*u = w - 113. Is 24 a factor of w?
False
Is 5 a factor of (-20)/(-3 - 2) - -226?
True
Does 80 divide 3/(-9)*-2 - (-253352)/132?
True
Suppose -2275 = 50*t - 55*t. Does 65 divide t?
True
Suppose 2*m - 18*s - 4070 = -16*s, -4*m + 5*s + 8145 = 0. Does 58 divide m?
True
Is (6 - -3) + -6 - 1594/(-2) a multiple of 8?
True
Let t(u) = 4*u**3 + 99*u**2 - 6*u + 15. Is t(-24) a multiple of 61?
False
Suppose -16 = -4*o, 2*r - 3*r - 31 = -5*o. Let i = r - -14. Is 16 a factor of (-64)/(-6)*1*i?
True
Let m = -382 - -1346. Is 4 a factor of m?
True
Suppose -4*w + 76 = 4*c, 0 = -c - 4*w - 0*w + 22. Let p = -15 + c. Is 6 a factor of -17*-1*3/p?
False
Suppose -4*d + 5*s - 9 = 2*s, 3*d + 4*s + 13 = 0. Let j = -1 - d. Suppose -k - 78 = -j*k