ultiple of 10?
True
Let w(d) = -4*d + 1. Let v be w(-2). Let n = v - 5. Suppose -3*p + 12 = -2*u - 97, n*p = 5*u + 157. Does 17 divide p?
False
Suppose 0 = 4*a + 5 - 41. Let c be ((-4)/(-2) + -1)*2. Is (a/12)/(c/24) a multiple of 9?
True
Let z(m) = m - 3. Let a be (-6)/(-24) + (-35)/(-4). Let w be z(a). Suppose -w*p = -4*p - 152. Does 26 divide p?
False
Let z be 2145/25 + (-2)/(-10). Suppose -7*b + z = -2*b + l, 0 = -4*b + l + 67. Does 7 divide b?
False
Let f(j) = -2*j**3 + 7*j**2 - 3*j + 4. Does 4 divide f(3)?
True
Let d(u) = -3*u - 2. Let t be d(-2). Suppose -2*p + 21 = -t*x + 93, 3*p = -12. Is 7 a factor of x?
False
Suppose j = 2*a - 13, -5*j - 22 - 13 = 5*a. Let d(q) = q**3 + 9*q**2 - 3*q - 1. Does 10 divide d(j)?
False
Suppose 5*i - c - 60 = c, -4*c + 12 = i. Is 3 a factor of i?
True
Let p be 60/10*2/4. Suppose 5*k = p*o + 250, -5*k + 2*o + 260 = o. Does 15 divide k?
False
Let g = 37 - 21. Suppose 0 = -2*v - 6 + g. Suppose 4*n - v*n = -20. Does 10 divide n?
True
Let x be ((4 - 3) + -1)/1. Suppose x = -5*h + 98 + 207. Does 26 divide h?
False
Let o(s) = -5*s**2 + 0*s**3 - s**2 - 5 + 9*s - 3*s**2 + s**3. Is o(8) a multiple of 3?
True
Suppose 91 = 2*l + 19. Is l - -3*4/6 a multiple of 19?
True
Is 4 a factor of (0 - 184/6)*12/(-8)?
False
Suppose 0 = 2*u - 46 - 74. Is u a multiple of 15?
True
Suppose 0 = -48*v + 52*v - 376. Is 13 a factor of v?
False
Suppose -2*q + 2*d = -2, 0 = -0*d - 3*d + 3. Let f be ((q + -1)*1)/1. Let o(j) = 15*j. Does 15 divide o(f)?
True
Suppose -5*d + 5*g = -240, 0 = -2*d + 3*d + 5*g - 48. Suppose 0 = 5*a - 32 - d. Is a a multiple of 16?
True
Let p(u) be the first derivative of 9*u - 2 - 1/3*u**3 + 0*u**2. Is 7 a factor of p(0)?
False
Suppose 4*t = -4*r, 2*r - 3*t - 15 = -0. Is 18 a factor of (-2)/3*r - -73?
False
Suppose -5*f = -g + 42 + 5, -4*g - 3*f = -188. Does 21 divide g?
False
Let c be (-1 - (-6)/9)*-78. Suppose u - c - 9 = 0. Does 10 divide u?
False
Let b(m) = m + 15. Is 7 a factor of b(-4)?
False
Is 50*(192/30 - 4) a multiple of 20?
True
Let x(b) = 22*b. Let n = 3 - 1. Is x(n) a multiple of 22?
True
Let s(r) = -r**2 - 7*r - 7. Let t be s(-5). Suppose -2*q + 25 = t*q. Suppose -4*j + h = -0*h - 83, -q*h + 5 = 0. Is j a multiple of 9?
False
Suppose 4*c + i - 4*i + 123 = 0, 125 = -4*c + 5*i. Let f = c + 44. Is f a multiple of 7?
True
Let x = 311 + -222. Is x a multiple of 7?
False
Suppose 3*t = -2*x + 2*t + 4, 3*t + 24 = 3*x. Suppose -5*u + 0*b = b - 105, x*u - 5*b - 113 = 0. Is u a multiple of 11?
True
Let n(x) = -x**3 - x**2 - x - 8. Let i be n(0). Does 13 divide i - -28 - (-1 - 0)?
False
Let k = -3 - -5. Suppose 5*o + 31 = -k*x, -2*o - 20 = 2*o. Does 14 divide 1*1/x*-63?
False
Let t(a) = 15*a + 3. Is t(5) a multiple of 39?
True
Let x = 2 + 0. Suppose 207 = 2*v + 71. Suppose 3*o - f - 88 = 0, -3*f - v = -0*o - x*o. Does 11 divide o?
False
Let j(k) = k**2 + k - 9. Is 7 a factor of j(5)?
True
Suppose 0*q - 2*q = 0. Suppose -4*k - 4*a = -k - 16, 4*a + 8 = q. Does 6 divide k?
False
Suppose 4*i = 139 + 5. Does 18 divide i?
True
Suppose -3*w + 72 - 5 = q, 3*q - 5*w = 159. Suppose 3*m = 5*x + 49 - 17, 4*m = -x + q. Does 7 divide m?
True
Is (0 - -1)/((-6)/810*-5) a multiple of 27?
True
Let i(f) = 2*f**2 + f - 1. Let q be i(1). Suppose q*g = -g - 45. Does 14 divide -10*(3 - (-87)/g)?
True
Let z(g) = g**3 + g**2 - 6*g + 5. Is 2 a factor of z(2)?
False
Suppose 3*z - 69 = 51. Is 8 a factor of z?
True
Suppose -u + 15 = 4*u + v, 4*u - 3*v - 12 = 0. Let f be 2*(1 - u*11). Let q = -34 - f. Does 15 divide q?
True
Suppose 5*k - 96 = 9. Let h = -14 + k. Is h a multiple of 6?
False
Let i = 611 - 279. Is i a multiple of 11?
False
Suppose 8 + 2 = 2*h. Let i = -6 + h. Is 9 a factor of i*(-26 + (-9)/(-3))?
False
Suppose -u = -4*j + 164, 5*j - 67 = -5*u + 113. Is 5 a factor of j?
True
Suppose 0 = -4*z + 3*t + 23, -2*z + 0*t - t = -9. Suppose -m + z*j - 10 = -0*j, -2*j + 16 = 2*m. Does 4 divide m?
False
Suppose 6*s + 8 = 4*s. Let n = -1 - s. Does 3 divide n?
True
Let w(l) = -l**2 + l + 45. Is 15 a factor of w(0)?
True
Let i(s) = 26*s + 22. Let r(h) = -9*h - 7. Let z(g) = -3*i(g) - 8*r(g). Is 31 a factor of z(-9)?
False
Suppose -3*u + 6*u = 2*d + 182, -3*u + 154 = 5*d. Does 13 divide u?
False
Is ((-90)/(-4))/((-45)/(-120)) a multiple of 30?
True
Suppose 0 = -5*j + 550 + 60. Is j a multiple of 14?
False
Let s = 635 + -370. Is 34 a factor of s?
False
Let r(s) = -s**2 - s + 15. Let o(t) = -t + 3. Suppose -l + 5 = 2. Let w be o(l). Does 15 divide r(w)?
True
Let h = -1 - -1. Suppose -2*y + 1 = -s, h*y - y = s - 14. Suppose -2*g = -g - s. Is 7 a factor of g?
False
Let u(k) = k + 1. Let q be u(5). Is 3 a factor of (-7 + q)/((-1)/7)?
False
Let c(p) be the second derivative of 7*p**4/12 + p**2 - 3*p. Is c(2) a multiple of 20?
False
Let o(r) = -r + 10. Let i be o(-9). Suppose -3*p + 5*d = -47, 0*p - i = -p + 5*d. Is 7 a factor of p?
True
Suppose 126 = 48*m - 46*m. Is 7 a factor of m?
True
Let k = -96 - -167. Is k a multiple of 14?
False
Suppose 4*d - 2*y - 3*y = 33, 3*y + 21 = 3*d. Suppose -d*w + 152 = 8. Does 13 divide w?
False
Let s be (24/(-32))/(2/(-8)). Suppose 4*j + s*f = 132, j - 11 = f + 22. Is 11 a factor of j?
True
Let i(m) be the third derivative of m**6/120 + 2*m**5/15 + m**4/3 - 2*m**3/3 + 4*m**2. Does 10 divide i(-6)?
True
Let q(l) = -3*l**2 - 9*l + 2. Let d(s) = -8*s**2 - 26*s + 7. Let x(r) = 4*d(r) - 11*q(r). Is 12 a factor of x(6)?
True
Let p(g) = g - 1. Let z(o) = -1. Let w(l) = -p(l) + 2*z(l). Let b(i) = -4*i + 3. Let v(m) = b(m) - 2*w(m). Does 5 divide v(-5)?
True
Suppose 0 = 3*w - 5*k - 669, -5*w - 3*k + 180 = -969. Is w a multiple of 38?
True
Suppose -r - 2*k = -88, -r + k + 201 = r. Is r a multiple of 14?
True
Let n = 3 - 6. Does 14 divide (n/(-1))/(3/28)?
True
Let f be 30*(6/(-3) - 1). Let k be f/5*4/6. Is 5 a factor of (k/(-18))/(4/30)?
True
Suppose 165 = -4*t + 509. Suppose 5*c + 4 = -t. Does 8 divide (-10)/45 - 220/c?
False
Let w(b) = -b + 6. Let h be w(-6). Suppose -h = -4*k, 0*i = i - 3*k - 5. Suppose -5*c = -3*o - 115, 3*c - 5*o = -i + 83. Does 13 divide c?
False
Let m = 20 - 9. Let u(i) = 3*i - 10. Is u(m) a multiple of 5?
False
Let s = -7 - -25. Suppose -3*k + s = -48. Is k a multiple of 9?
False
Does 17 divide (-7368)/(-132) - 4/(-22)?
False
Suppose 0*n - 120 = -10*n. Does 4 divide n?
True
Suppose 4 + 6 = 2*p. Let h = -5 + p. Suppose h = -5*i - 4*b + 108, -3*i + b = -4*b - 50. Is i a multiple of 6?
False
Suppose 2*x + 1854 = u, 4*x + 0*u - 4*u = -3712. Does 30 divide x/(-8) + 2/8?
False
Suppose 3*f = -2*j - 1, 2*j - 4*j - 5*f - 11 = 0. Is 7 a factor of j?
True
Suppose 2*y - 4*j = -82, -6*j + 4*j + 6 = 0. Let f = y - -51. Is f + -1*(0 + 1) a multiple of 15?
True
Let l = -11 + 7. Let d(f) = f**3 + 5*f**2 + 1. Is d(l) a multiple of 17?
True
Suppose -36 - 90 = -3*n. Does 14 divide n?
True
Let v(i) = 2*i**2 + 8*i - 1. Let c be v(-6). Let g = c - -17. Suppose 3*h - 5*h + g = 0. Is h a multiple of 10?
True
Suppose -2*z + 54 = -14. Is z a multiple of 16?
False
Let v = 11 - 56. Let m = v + 76. Is 8 a factor of m?
False
Is 11 a factor of 390/13 + (1/1 - -2)?
True
Let v = -183 + 306. Is v a multiple of 10?
False
Suppose 10*k - 2*k = 192. Is 24 a factor of k?
True
Let w be 1/(1*2/18). Suppose -w = -2*u - u. Suppose 0 = -u*s - 0*s - 2*b + 98, s + 3*b = 28. Does 12 divide s?
False
Let n = -61 + 88. Does 6 divide n?
False
Let a = -96 - -149. Is 8 a factor of a?
False
Let b(x) = x**3 - 3*x**2 - 3*x. Let n be b(4). Suppose 13 = n*a - 3. Suppose a*h = -9 + 129. Does 10 divide h?
True
Let u = 95 + 113. Is u a multiple of 52?
True
Let p(n) = -9*n + 7. Does 5 divide p(-4)?
False
Let s = -4 - -10. Suppose -4*x - 38 = -s*x. Suppose x = 4*l - 13. Is l a multiple of 4?
True
Let d(s) = 41*s**3 + 7*s - 6. Does 14 divide d(1)?
True
Let l(q) = 2*q**2 - 7*q - 1. Suppose 1 + 4 = g. Is 7 a factor of l(g)?
True
Suppose -5*h + 80 = -45. Is h a multiple of 14?
False
Let w(l) = l + 5. Suppose 4*a - 6*f = -3*f - 360, 0 = 4*a + 3*f + 384. Let x be 3/(-18) + a/(-18). Is 5 a factor of w(x)?
True
Suppose -2*a = -l - 9, 0*a + 4*a = -l + 15. Let u = 13 + -6. Let m = u - a. Does 3 divide m?
True
Suppose 64 + 179 = 3*w. Suppose 0 = -0*q + 3*q - w. Does 14 divide q?
False
Suppose -f = w - 37, 0*w = -4*w - 5*f + 149. Does 14 divide w?
False
Suppose -162 = -5