 328 = -8*c. Does 19 divide c?
False
Let n(r) = -r**3 + 19*r**2 - 6*r + 17. Is 7 a factor of n(18)?
False
Let n(z) = 204*z + 14. Let h be n(-3). Is (-20)/(-70) - h/14 a multiple of 43?
True
Let o = 6 - 0. Let y(t) = -5*t**3 + 4*t**2 + 6. Let i(c) = -9*c**3 + 8*c**2 + 13. Let b(n) = -4*i(n) + 7*y(n). Is 19 a factor of b(o)?
False
Let r(b) = -b**3 - 10*b**2 - 19*b - 10. Let q be r(-8). Suppose 2*g + q - 38 = 0. Is g a multiple of 12?
True
Suppose 2*r + a = 2 + 20, -r - a + 13 = 0. Suppose -r*t + 34 = -695. Does 34 divide t?
False
Suppose 17*z + 3819 = 23352. Does 8 divide z?
False
Suppose -11*k + 1927 = -768. Is 28 a factor of k?
False
Let a = -2 + 7. Suppose -5*m = -4*n + 5*n - 515, 4*m - 441 = a*n. Is m a multiple of 15?
False
Suppose 4*p - 2*p - 6 = 0. Suppose -176 + 626 = p*w. Is 16 a factor of w?
False
Is (4/8*-1)/(6/(-6984)) a multiple of 14?
False
Let h = -2 + 7. Suppose 10 = h*d - 5. Suppose -d*g + 110 = -4. Is 19 a factor of g?
True
Let y = -85 - -83. Let q = -4 + -22. Let o = y - q. Is 8 a factor of o?
True
Let c(z) = -2*z - 4. Let u be (-2)/(-8) - (-9)/(-4). Let j be c(u). Suppose -2*l + 9 = 4*d - 17, j = -4*l + 4*d + 64. Is l a multiple of 15?
True
Let j be (-3)/9 + 8/24. Let d(h) = h**3 + h**2 + 56. Does 8 divide d(j)?
True
Suppose 0 = -15*o + 14*o. Suppose 6*v - 3*v - 9 = 0. Suppose -42 = -v*m - o. Is m a multiple of 7?
True
Let i be (-10)/75 - 0 - (-32)/15. Suppose b = i*b - 3. Is b a multiple of 3?
True
Let w(o) = -o**3 - 17*o**2 - 4*o + 13. Is 34 a factor of w(-19)?
False
Suppose -1710 = 341*k - 343*k. Is 45 a factor of k?
True
Suppose -3*n + 4*c - 6*c - 4 = 0, -n = 4*c + 8. Suppose -6*p + 7 + 5 = n. Suppose 5*s - 5*f - 132 = -p, 38 = s - 5*f. Does 4 divide s?
False
Does 32 divide (557/(-3))/(15/(3 + -93))?
False
Let f(v) = -v**2 + 9*v - 3. Let s be f(6). Let h = -25 + s. Let t = 37 + h. Is 9 a factor of t?
True
Let g = 467 + -248. Is 13 a factor of g?
False
Is 8 a factor of 1393 - 5*((-126)/(-30) - 4)?
True
Suppose -95 = -3*g + 37. Suppose -w - 2*w + 5*l - 33 = 0, -w = 3*l + 25. Let i = g + w. Does 14 divide i?
True
Suppose -216*j + 213*j = -150. Is j a multiple of 5?
True
Let v(w) = w + 8. Let f(i) = 2*i + 15. Let u(j) = 4*f(j) - 7*v(j). Let x be ((-14)/(-5))/((-12)/(-30)). Is u(x) a multiple of 3?
False
Let h be -1 - 3 - (-426)/30*-5. Let u = h + 161. Does 13 divide u?
False
Does 10 divide (6 + (-22 - 9))*176/(-10)?
True
Let m = -38 + 196. Is m a multiple of 15?
False
Suppose -3*p - 404 = -5*p. Suppose 5*c = 15, 3*c - p = -h + c. Is 14 a factor of h?
True
Let l = 245 + -27. Does 18 divide l?
False
Suppose 0 = 3*g + 4*v - 8, -g - v = 4*g + 15. Is 11 a factor of 47/5*(1 - g)?
False
Let k be (45/6)/((-6)/(-16)). Let p be (45/k)/((-6)/(-16)). Is 13 a factor of 97/p + 6/(-36)?
False
Suppose 3*m - 30 = m. Let q(r) = -r + 20. Let s be q(m). Suppose 3*i = h - s*h + 274, 4*h - 258 = 5*i. Is h a multiple of 18?
False
Let h(k) be the second derivative of k**5/20 + 3*k**4/4 + k**3/2 - 6*k**2 - 12*k. Is h(-7) a multiple of 17?
False
Let j(q) be the first derivative of 5*q**2/2 + 7*q + 6. Let v(o) = -5*o - 8. Let l(n) = 2*j(n) + 3*v(n). Does 20 divide l(-14)?
True
Let b(g) = g - 1. Let l(t) = 11*t + 37. Let i(y) = 5*b(y) - l(y). Does 25 divide i(-13)?
False
Suppose 636 + 132 = 5*p - 2*a, -2*p - 2*a = -296. Is 6 a factor of p?
False
Suppose -2*i + 2*x = -54, 0*i - 3*x = 5*i - 127. Suppose 5*y + 45 + i = -2*b, b = -2*y - 28. Does 10 divide 13/(y/(-6) + -2)?
False
Suppose -5*d + 18 = 118. Is 11 a factor of 8/d*(-6)/4*40?
False
Suppose 3*u - 3 = 5*t, -5 = 4*u - 3*t + 2. Let h(p) = -p**2 - 5*p + 1. Let z be h(u). Suppose z*v - 27 = 28. Does 11 divide v?
True
Suppose 0 = -3*h + h - 4*f + 16, -5*f = 3*h - 20. Let i = h + 6. Suppose -i*t + 3*t = -51. Is t a multiple of 3?
False
Suppose 0 = 4*f - 3169 - 4639. Does 16 divide f?
True
Let h(b) = b**3 - 5*b**2 + 6*b - 4. Let y be h(4). Let o = 44 - y. Is 8 a factor of o?
True
Suppose 7*d - 1566 = -376. Is 17 a factor of d?
True
Suppose -6*n = -11*n. Suppose v = 0, -3*i + 4*v + 6 + 18 = n. Is i a multiple of 4?
True
Let p(z) = z**2 - 2*z + 28. Let s be 4/6 - (2/(-6) + 1). Does 7 divide p(s)?
True
Suppose -7*g + 3*g - 32 = -5*j, -2*j + 4*g = -8. Let r(q) = 25*q - 18. Is 55 a factor of r(j)?
False
Let j = 11 + -3. Let n(t) = -t**2 + 8*t + 10. Let i be n(j). Suppose -3*s + 2*s = -i. Does 3 divide s?
False
Is (286/15*3)/((-24)/(-1920)) a multiple of 22?
True
Does 67 divide 0 - -3288 - (2 + 1 + 3)?
False
Suppose -20*g - 25 = -25*g. Let t(d) be the second derivative of d**4/6 + 7*d**3/6 - 5*d**2/2 + 14*d. Does 16 divide t(g)?
True
Suppose -5*f = -35 - 10. Suppose f*t + 1276 = 20*t. Is 16 a factor of t?
False
Let m = 13 - 10. Suppose -4*h + 13 = d - 3, -m*h + 5*d - 11 = 0. Is 11*(-3 + 2 + h) a multiple of 18?
False
Let w(t) = t**2 + 8*t. Let b be w(-4). Suppose 0 = 5*n + 96 + 44. Let h = b - n. Does 4 divide h?
True
Let k be 6054/54 - 1/9. Let u = k - 72. Does 4 divide u?
True
Suppose 2*o - 566 = -0*o. Is o a multiple of 31?
False
Let y(j) = 3*j**2 + 10*j + 35. Is y(-5) a multiple of 15?
True
Let g(n) = 2*n**2 - 21*n - 49. Is 57 a factor of g(-6)?
False
Let n = -1394 - -2077. Is n a multiple of 24?
False
Suppose 56 = -3*o - 4*t + 178, 3*o - 2*t - 146 = 0. Let z = o + -44. Is z even?
True
Let d(r) = 3*r**3 - 4*r**2 - 3*r + 19. Does 9 divide d(4)?
True
Let j(v) = 7*v - 8 - v**3 - 4 - 20*v + 7*v**2 - 17*v**2. Is j(-9) a multiple of 6?
True
Is 1930/(-280)*-7 + (-2)/8 a multiple of 4?
True
Let c(j) = j + 7. Let x be c(-7). Let z be (-19)/(-2) + (-10)/(-20). Let t = x + z. Is 10 a factor of t?
True
Let v = 150 + 218. Is 16 a factor of v?
True
Does 7 divide 617/4 + (-5)/20?
True
Suppose -6*x + 10*x - 36 = 0. Let g = 36 - x. Does 27 divide g?
True
Let i(v) = -2*v + 5. Let s be i(-3). Let x = 23 - s. Does 11 divide x?
False
Let z = -35 + 35. Suppose z = -2*k - 2*i + 118, -k - i = -3*i - 44. Does 7 divide k?
False
Suppose b + 20 = 6*b. Suppose b*k + k = 50. Suppose -k*l + 7*l = -75. Does 12 divide l?
False
Let m be (-4)/(-4*3/9). Suppose 4*y = j + 450, 2*y + m*j - 256 = -38. Is 14 a factor of y?
True
Let b(t) = t**3 - 11*t**2 + 19. Let f be b(10). Let p = f + 117. Is p a multiple of 18?
True
Let p = -24 - -37. Let b = 18 - p. Suppose 5*c = -5*h + 250, -5*c - b - 15 = 0. Does 13 divide h?
False
Is 14 a factor of (-1 + 7/(-3))*2520/(-25)?
True
Let h = -264 + 498. Does 26 divide h?
True
Suppose 0 = -2*q - 3*s + 126 + 30, -5*q - 3*s = -372. Does 6 divide q?
True
Let g be (16/(-6))/((-16)/24). Suppose -g*s + 149 = 45. Let j = 41 - s. Is 6 a factor of j?
False
Suppose b + 2*k - k = -121, -5*b = 3*k + 597. Let u = -67 - b. Is 5 a factor of u?
True
Let s(d) = -d + 1. Let a be s(1). Let y(u) = -u**2 + 13. Does 2 divide y(a)?
False
Let f(c) = -c**3 + 11*c**2 + 11*c + 9. Let d be f(12). Let p be (-3)/(-2 - d) + -5. Does 7 divide ((-23)/(-4))/(p/(-32))?
False
Does 27 divide 1*(-8)/(-6) - 1970/(-3)?
False
Suppose 647*i = 656*i - 20799. Does 25 divide i?
False
Let z(j) = 1. Let n(l) = -3*l - 8. Let a(s) = n(s) - 3*z(s). Let f be a(-7). Let u(c) = 11*c - 24. Is u(f) a multiple of 20?
False
Let i(x) = -x. Let n be i(-2). Suppose -n*q + 235 = 3*q. Does 8 divide q?
False
Let q be (-3)/12 - (-57)/(-12)*-11. Is 15 a factor of (1 - (5 - 0)) + q + 0?
False
Let o be ((-6)/9)/(4/(-12)). Suppose o*f - 5 = -1. Suppose 5*n = 5*s + 190, 0 = 5*n - n + f*s - 182. Is 14 a factor of n?
False
Suppose -2*d = -4, 5*j = 10*j + d - 302. Suppose 0 = -3*y - y + j. Does 2 divide y?
False
Let a(d) = d**3 + 8*d**2 + 3*d - 8. Suppose 0 = 3*c + 5*g - 263, 3*c + 3*g = -g + 268. Let j be c/(-15) + (-4)/(-10). Is 28 a factor of a(j)?
False
Let s(j) = -3*j - 6. Let o be s(-3). Suppose -o*c + 577 = 2*c - g, -c + 122 = 2*g. Does 23 divide c?
False
Let t be (30/40)/(2/216). Suppose -2*d + 2*z + t = z, d = z + 41. Is 6 a factor of d?
False
Suppose 9 - 1 = 5*l - 2*z, 12 = 4*l + 4*z. Suppose 0 = 4*d + 3*j + 40, l*d + d = 3*j - 30. Is ((-32)/d)/(8/140) a multiple of 23?
False
Let d(l) = -l**3 - 2*l**2 + 1. Let a be d(1). Let g be 4/(8/(-27))*a. Let c = g - -24. Is c a multiple of 17?
True
Let g be (0 + 1)/(8/40). Suppose g*c = c + 2*d + 344, 0 = 4*c - 4*d - 352. Is 21 a factor of c?
True
Let m = -9 - -12. Suppose -2*t = m*j - 191, j = 5*t + 6*j - 490. Suppose 4*u + 3*r