+ 3*k - 10*k**2. Let i = 9 + -5. Is h(i) a multiple of 10?
True
Suppose -4*c + 76 = -2*v, 0 = 5*c - 5*v + 2*v - 96. Suppose -c = a - 68. Is a a multiple of 6?
False
Suppose -33 = -4*p + 5*b, b = -5*p - 0*b + 5. Suppose 3*m - 24 = 4*u + 79, 4*u = p*m - 66. Is m a multiple of 6?
False
Let o(t) = -t + 1. Let u be o(-4). Let l be (-3)/(-3)*(4 + u). Suppose -j + l = 2*f, 7*f - 3*f + 96 = 4*j. Does 8 divide j?
False
Suppose 3*m + 27 = -3*r, -4*r = -10 - 10. Let l = m + 33. Does 9 divide l?
False
Suppose 3*c - 89 = 4*j, -j - 2 = -0. Let d be (2/6)/(1/c). Suppose -135 = -d*r + 6*r. Does 10 divide r?
False
Suppose 194*z + 4554 = 5*k + 197*z, 5*k - z = 4542. Is k a multiple of 3?
True
Let c(u) = 2*u**2 - 60*u - 62. Let b(m) = -m**3 - 2*m**2 + 2*m + 8. Let i be b(-4). Is 33 a factor of c(i)?
True
Suppose 47 = -5*s + 222. Is 3 a factor of s?
False
Let t(q) = -2*q + 25. Is 2 a factor of t(8)?
False
Suppose -4 = 4*b + 4, -5*j - 4*b = 23. Is 21 + 9/j + -2 a multiple of 13?
False
Let p = -2708 + 4170. Is p a multiple of 37?
False
Let a be (-2 - 25)*20/(-6). Suppose n + a = 3*n. Does 7 divide n?
False
Let u(b) = b**3 - 14*b**2. Let z be u(14). Suppose 0 = -3*a - z*a + 9. Suppose -8*k = -a*k - 10. Is 2 a factor of k?
True
Let f be 184/48 - (9/3)/(-18). Let r = f - -10. Is 4 a factor of r?
False
Suppose -11*w = -2*w - 855. Suppose 0 = -2*q + w + 187. Is 14 a factor of q?
False
Let d = 3044 + -2704. Is 55 a factor of d?
False
Let f(a) = -434*a - 154. Does 107 divide f(-5)?
False
Suppose 24 + 78 = 3*b. Let s be b*(-1 - 2)/(-6). Let m = s - 11. Does 3 divide m?
True
Is 3 a factor of 2407/83*-4*-1*1?
False
Suppose 5*n - 5*q = 0, -5*n - 3*q + 2*q = 12. Is 12 a factor of (-4 - -8)*(11 + (n - 0))?
True
Let a be (-1 + -3)/(5/65). Let q = 74 + a. Does 11 divide q?
True
Suppose -4*j = -804 - 380. Is j a multiple of 32?
False
Let u(y) = -157*y**3 - 4*y**2 + y + 4. Is 18 a factor of u(-2)?
True
Let z = 1 + 4. Let g = 348 - 315. Suppose -8*q + g = -z*q. Is q a multiple of 3?
False
Let c(y) = 84*y + 24. Does 16 divide c(7)?
False
Suppose -4769 = 12*x - 23381. Is 9 a factor of x?
False
Let l(t) = 5*t**2 - 6*t - 5. Let j = 106 - 110. Is l(j) a multiple of 11?
True
Let n be 2/1*(-2 - -4). Suppose -4*g = 5*u - 127, -3*g + n*u + 103 = -0*u. Is 33 a factor of g?
True
Suppose 2*a - 3*m = 35, 2*a - m - 19 = 10. Suppose -a*s + 112 = -11*s. Is 14 a factor of s?
True
Suppose 1885*y = 1886*y - 1792. Is 14 a factor of y?
True
Is 99 a factor of 14/21*(-16083)/(-6)?
False
Suppose 4*o - 2411 = 1153. Is 11 a factor of o?
True
Let g(o) = -7*o - 4. Is 13 a factor of g(-14)?
False
Let p(q) = -5*q + 30. Let o(w) = -5*w + 31. Let f(l) = -3*o(l) + 4*p(l). Is f(-14) a multiple of 26?
False
Suppose 0 = -5*t - 4*m + 332, -3*t + 7*t = -2*m + 262. Is 18 a factor of t?
False
Suppose d - 17*v - 2435 = -22*v, 4 = 2*v. Does 108 divide d?
False
Let u = 303 - -655. Does 72 divide u?
False
Suppose -3*c - 3 = -12. Let s be ((-1)/c)/(3/(-441)). Suppose 0 = m - s + 2. Does 22 divide m?
False
Suppose -v - 10*v = -2585. Is 19 a factor of v?
False
Let f(a) = -52*a - 42. Is f(-7) a multiple of 14?
True
Let s be (25/20)/(1/4). Suppose 63 = s*x - 222. Does 10 divide x?
False
Let b(w) = 52*w**2 - w + 2. Does 54 divide b(-2)?
False
Suppose -2*g - 3*n = -108 - 111, 106 = g + 5*n. Suppose 2*l - 117 + g = 0. Is l even?
False
Suppose 2*d - 15 = -5. Suppose 5*g - a = 4*a + 35, 0 = 5*g + 5*a + d. Does 2 divide g?
False
Suppose 0 = 3*n - 5 - 16. Let z be 70/8*(n - -1). Does 6 divide 2920/z + (-4)/(-14)?
True
Let i(j) = -j**2 - 11*j - 12. Let h be i(-12). Is 16 a factor of (36/h)/((-3)/178)?
False
Let h(n) = -2*n**3 + 14*n**2 + 2*n + 16. Let i be (-12 + 13)/(1 + (-12)/14). Is 11 a factor of h(i)?
False
Let c = -46 + 289. Is c a multiple of 12?
False
Let f(w) = 2*w - 6. Let p be f(4). Suppose 0 = -p*s + 9 + 39. Does 7 divide s?
False
Let v = -597 - -708. Does 38 divide v?
False
Suppose 7*w - 4*y - 1796 = 4*w, 3*y = -15. Does 10 divide w?
False
Suppose -2040 = -7*t + t. Is t a multiple of 34?
True
Let c be 4/(-1) + (1 - (-325 - -7)). Does 6 divide ((-12)/18)/(1 - 321/c)?
False
Let t be -3*(1 + 1)/2. Let p = t - -6. Suppose 6*a - 42 = p*a. Is a a multiple of 9?
False
Suppose 4*y = 8*y. Is 2 a factor of 13 + (0 + y - 0)?
False
Let p = 1686 - 983. Does 26 divide p?
False
Let q(n) = n**2 + 2*n + 10. Let r be q(10). Suppose r = -0*i + 5*i. Let h = i - 10. Does 8 divide h?
True
Suppose -2*o + 5*w - 4 = 0, 5*o - o = 2*w + 8. Let p(z) = -5 - 8 + o + 5*z + 2. Is p(9) a multiple of 13?
False
Suppose 915 - 189 = 11*m. Is 6 a factor of m?
True
Let b(g) = -g**3 - 20*g**2 + 40*g + 87. Is 19 a factor of b(-22)?
False
Let l(y) = 6*y**2 - 10*y - 5. Does 23 divide l(9)?
True
Suppose -2*r = -z - 490 + 169, 4*r = 5*z + 639. Is 15 a factor of r?
False
Let m = -51 + 34. Let n = m + 21. Suppose 56 = 8*u - n*u - p, 2*p = -u + 14. Is u a multiple of 14?
True
Let i be (-2 - -7)/(-2 - -1). Let j(p) = 3*p**3 - 16*p**2 - p - 16. Let s(d) = -2*d**3 + 8*d**2 + 8. Let v(x) = i*s(x) - 3*j(x). Is 14 a factor of v(-7)?
False
Let g = -26 - 21. Let k = g + 67. Is 6/(-15) - (-988)/k a multiple of 20?
False
Suppose 11*a - 17*a + 594 = 0. Does 7 divide a?
False
Let a(i) = 20*i**2 - 28*i - 90. Does 82 divide a(14)?
False
Let d(f) = f + 9 + 4*f + f**3 + 1 + 6*f**2. Let i be d(-5). Let h = i + 2. Is h a multiple of 12?
True
Suppose 16 = -h + 2*h. Suppose 4*z + h = 3*i - 2*i, -4*z = -4*i + 28. Suppose 12 = 4*u - i*p, 5*u - p + 8 = 31. Is u a multiple of 4?
False
Suppose -g = -2, -4*i + 0*i = 5*g + 706. Let b = i + 353. Suppose -f = 2*f - b. Is f a multiple of 29?
True
Let n(c) = c**3 + 9*c**2 + c + 19. Let l be n(-9). Let q = 270 + l. Is 20 a factor of q?
True
Suppose -3*f = -5*f + 2*c - 14, f = -5*c + 17. Let r = 220 + -126. Is 24 a factor of r - (3/f - -1)?
False
Let k(s) = 2*s + 26. Let c be k(0). Suppose -11*d - c = -12*d. Suppose -2*j = d - 74. Is j a multiple of 12?
True
Suppose -y = -4*y + 3*k + 1779, -578 = -y + 4*k. Is 12 a factor of y?
False
Let l(f) = 5*f**2 + 5*f - 19. Is 8 a factor of l(4)?
False
Suppose 0 = -5*n + 24 + 36. Does 18 divide n - -48 - (-4)/(-2)?
False
Suppose g = -n + 2*n - 914, 2*n - 1840 = -2*g. Is 7 a factor of n?
True
Suppose 3*k = -0 + 12. Let o(f) = -k*f + 20*f + 4 - 23*f**2 + 22*f**2. Is o(9) a multiple of 19?
False
Let c(p) = p**2 + 4*p + 72. Is c(13) a multiple of 31?
False
Suppose 6*v - 3*v - 6 = 0. Suppose -v*y = -124 - 268. Suppose -k + 5*k - y = 0. Is k a multiple of 14?
False
Let v(z) = -3 - 2 - 7 - 41*z. Is v(-4) a multiple of 19?
True
Let o be (-496)/28 + (-4)/14. Let g = 22 + o. Suppose g*f - 7 - 5 = 0. Is f even?
False
Suppose -482 = -t - 5*w, -4*t + 8*w = 11*w - 1962. Does 31 divide t?
False
Let n(u) = -3*u**2 + 17*u - 3. Let r be n(-12). Let o = r - -1247. Suppose o = 8*z - 0*z. Is 14 a factor of z?
False
Let l = -63 - -67. Suppose -5*m + 3*y = -154, 0 = -l*y - 0*y + 8. Is m a multiple of 17?
False
Let y = 702 + -642. Does 2 divide y?
True
Suppose 3*j = -4*q - 14, 0 = 3*q + 15. Let c = j - -12. Does 11 divide -4 + 1 + c/1?
True
Suppose -4*l + 5*g + 4 = -l, 0 = -4*l - 5*g - 53. Let y(v) = -v**3 - 6*v**2 + 4*v - 17. Let z be y(l). Suppose 0 = z*r + 36 - 84. Is r even?
True
Suppose -14*u = -18*u - 16, 0 = -5*p - u + 2331. Is 30 a factor of p?
False
Suppose 2*l - 5602 = -2*j, -110*j = -3*l - 105*j + 8379. Is l a multiple of 16?
False
Let h be 0/(3 - 1) + 118. Let a(j) = 4*j**2 + 7*j + 1. Let u be a(-2). Suppose 0*g + 5*r = 4*g - h, 4*r - 104 = -u*g. Does 8 divide g?
True
Does 12 divide 33540/54 + (-2)/18?
False
Suppose o = 713 - 688. Does 25 divide o?
True
Let b(x) be the second derivative of 25*x**4/12 + x**3/6 - x**2 - x. Let v be b(1). Let w = v + -16. Is 4 a factor of w?
True
Let b = -86 - -239. Is b a multiple of 16?
False
Is 10 a factor of (-24)/(-12) - (0 - 77)?
False
Suppose 7*w + 668 = 3062. Is 57 a factor of w?
True
Is 37 a factor of 4296*(3/2)/3?
False
Let a = 25 + -19. Let i(h) = -h**2 + 6*h. Let z be i(a). Suppose s - 79 = -3*b, b + 3*s - 4*s - 33 = z. Does 6 divide b?
False
Suppose 5*g + g = 18. Suppose -g*n = -2*n + 2*l + 1, -5*n + 13 = l. Is n even?
False
Let d(h) = -3*h**2 + 8*h + 7. Let b be d(11). Let f be b*(9/(-6))/3. Let p = f + -81. Does 15 divide p?
False
Let x(a) = 5*a - 5*a - a + 16. Let v be x(13). S