3 + 2*f**2 - 8*f. Is 21 a factor of m(-2)?
True
Let n = 19 + -14. Suppose u = -4*a + 53, 3*a = -n*u + 2*a + 227. Is 8 a factor of u?
False
Let o = -4 - -7. Let n be (-4)/8 + 5/2. Suppose 2*q + o*i - 18 = 89, -106 = -n*q - 2*i. Is q a multiple of 19?
False
Let o = -120 - -55. Let y = 142 + o. Does 6 divide y?
False
Let o be (2/(-3) + 1)*(35 + -26). Suppose -l = -5*d - 39, -o*d = -4*l - d + 192. Is 27 a factor of l?
False
Suppose 2*a - a = 12. Let q = 18 - a. Is q a multiple of 3?
True
Let h be (-59)/4 + 1/(-4). Let m = h - -18. Suppose u = m*u - 64. Is 32 a factor of u?
True
Let s(d) = -d**3 - 38*d**2 + 37*d - 46. Is 8 a factor of s(-39)?
True
Let x(o) = o**2 - 24*o + 12. Is x(27) a multiple of 4?
False
Suppose s - 6*s - 2*q - 55 = 0, -5*s = 5*q + 70. Let c be 109/5 + s/(-45). Suppose 3*a - 4*a = -c. Is 11 a factor of a?
True
Let n = -89 - -157. Suppose -i + u - 5*u = -37, 4*i - 4*u - n = 0. Does 14 divide i?
False
Suppose 4*j + 5*s + 13 = -0*j, 0 = -5*j + 3*s + 30. Let a(d) = -1 - d + 5 - 3*d**2 - 3 + 2*d**j. Is 8 a factor of a(3)?
False
Suppose 3396 = u - 2*q, 0 = -4*u - 5*q + 8462 + 5122. Is u a multiple of 84?
False
Let s(g) = -209*g - 220. Is 14 a factor of s(-4)?
True
Suppose -10*u + 24*u = 434. Is u a multiple of 2?
False
Suppose 6*q - 2*q = -24. Is 6 a factor of ((-8)/4)/(q/39)?
False
Suppose 4*g = -2*f + 364, 280 = 5*g + 3*f - 175. Is g a multiple of 23?
False
Let g = -18 + 706. Is g a multiple of 19?
False
Suppose -5 + 21 = -2*d. Let b(y) = 2*y**2 + 5*y - 16. Is 12 a factor of b(d)?
True
Let v(j) be the first derivative of -j**4/4 + 2*j**3 + 3*j**2/2 - 7*j - 2. Let f(w) = 3*w**2 + 43*w + 19. Let q be f(-14). Is v(q) a multiple of 4?
False
Suppose -4*d - 5*t = -508, 4*t + 20 = -t. Is 4 a factor of d?
True
Suppose -3*h - 2*k + 3996 = 0, 2*k - 1336 = 6*h - 7*h. Is 35 a factor of h?
True
Suppose 2*p + h + 3*h = 486, -521 = -2*p + 3*h. Suppose -4*w = 5*q - p, 4*w = -3*q - q + 252. Is 9 a factor of w?
False
Suppose -3*a + 26 = 2*a - 3*f, 0 = -a + 3*f + 10. Suppose -3*l = -7*l, a*l = 2*c - 108. Does 18 divide c?
True
Suppose -12*p + 2128 = -3044. Does 26 divide p?
False
Suppose 3*o - 4*j = -51 - 15, 0 = 4*o - 2*j + 98. Is 13 a factor of (-25 - 2)*o/6?
True
Suppose 6*m = 2*m + 20. Suppose 0 = m*g - 2 - 8. Suppose -v = -g*v - 4*p + 7, 13 = v + p. Does 2 divide v?
False
Let l(c) = 3*c + 4. Let a be l(6). Let f = a + -22. Suppose f*u = u - 51. Does 17 divide u?
True
Let q = 2209 + -1270. Is q a multiple of 10?
False
Suppose -29 = -2*f - 4*p - 19, -3*p = -3. Suppose -t - 283 = -2*m, 5*m - 700 = 7*t - 3*t. Suppose -f*b - b = -m. Is b a multiple of 6?
True
Let s(j) = -4*j + 1. Let z be s(-4). Let p = 22 + z. Is 5 a factor of p/4 + (-3)/4?
False
Let m(t) = t**2 + 96. Let q be m(0). Suppose -4*i = -0*v + 3*v - q, 5*i = -3*v + 96. Suppose v = 4*a - 200. Is a a multiple of 15?
False
Let q(w) = 9*w**2 + 12*w - 25. Is 13 a factor of q(5)?
True
Suppose 3*r + 5*f - 34 - 55 = 0, 4 = -2*f. Suppose -31*z - 186 = -r*z. Is 19 a factor of z?
False
Let i = -67 - -96. Let u = i + 43. Does 5 divide u?
False
Is 41 a factor of ((-205)/(-3 - -2))/1?
True
Let k(r) = r**3 + 16*r**2 + r + 18. Let p be k(-16). Does 35 divide 3408/36 - p/(-6)?
False
Suppose -t - 10 = 3*r - 0*r, r - t = 2. Let x = 59 - r. Let y = -31 + x. Is y a multiple of 5?
True
Let w(t) = 5*t**2 + 3*t + 16. Is 13 a factor of w(-6)?
False
Suppose -4*h + 73 - 21 = 0. Is 6 a factor of h?
False
Let d be (-1510)/(-100) - (-3)/(-30). Suppose -d*b + 6*b + 162 = 0. Is 2 a factor of b?
True
Let l(t) = t**2 + 2*t - 4. Let a be l(-4). Suppose -a*p - p + 15 = 0. Let q = p - -58. Is q a multiple of 13?
False
Let d = -2232 - -2826. Is d a multiple of 17?
False
Suppose -m = 3, 0 = 4*s - 3*m + 5 + 38. Let z = 18 - s. Is 3 a factor of z?
False
Let p(w) = -w**2 + w - 10. Let r be p(5). Let h = 40 - r. Is h a multiple of 24?
False
Let q = -25 - -39. Is -3 + (-972)/(-14) - 6/q a multiple of 5?
False
Suppose 194 = 2*a - 462. Suppose 680 = 5*j - k, 2*j + 3*k - a + 56 = 0. Is 23 a factor of j?
False
Let w be -1 - (1 - -1) - (-15 + 11). Let o(y) be the second derivative of 37*y**3/6 + y**2 + y. Is o(w) a multiple of 13?
True
Let p(x) = -2*x + 6. Let n(t) = -5 - t**3 - 2 - 8*t**2 - 3 - t. Let l be n(-8). Is 10 a factor of p(l)?
True
Is 32 a factor of -2 + 28/12 + (-874)/(-6)?
False
Suppose -2*o - 914 = 2*i, 5*i - 4*o + 15 + 2279 = 0. Let z = 655 + i. Is 15 a factor of (-8)/12 + z/3?
False
Suppose 0 = 753*t - 755*t + 152. Is 4 a factor of t?
True
Let q be 1/3 + 10/45*21. Suppose r - 5 = q*j, -r + 2*r - j = 13. Is r a multiple of 12?
False
Let l be (-4)/8 + (-4)/8*-7. Let d(u) be the first derivative of u**3 + 3*u**2/2 + 1. Is d(l) a multiple of 17?
False
Suppose 0 = -3*z - 0*f - 2*f + 29, 0 = -3*z + 5*f + 22. Let r = -3 + z. Is 3 a factor of (-1)/r - (-49)/6?
False
Let a(j) = -428*j**3 + 3*j**2 + 61*j + 59. Is 39 a factor of a(-1)?
True
Suppose u - 5*l = -3*l - 20, 0 = -u - 5*l - 34. Let i be (-16)/(-4) + u/3. Is 15 a factor of i - 2*(2 - 34)?
True
Let d = -1452 - -2038. Does 6 divide d?
False
Let v(i) = 179*i - 162. Does 12 divide v(17)?
False
Suppose -2*a = -7*a - 25. Let b(n) = n**3 + 5*n**2 - 2*n - 5. Let r be b(a). Suppose 0 = -o - r*o + 600. Does 17 divide o?
False
Let t(m) = m**2 + 9*m + 10. Let s be t(-8). Suppose -3*f - 8 = x - 0*x, -2*f - s = -x. Does 17 divide (1 + f)*(-1 + -22)?
False
Let z be (5/15)/(1/9). Suppose 3*l - t + 59 = 0, z*l + 29 = -3*t - 2*t. Is (l + 31)*(-2)/(-2) a multiple of 9?
False
Suppose -11*b = -1851 - 635. Suppose -2*u + t = 2*u - b, 2*t + 4 = 0. Does 7 divide u?
True
Let c = -40 - -45. Suppose 6*n - c*n - 22 = 0. Does 14 divide n?
False
Let t = -20 + 30. Suppose 5*q = 5*z - 40, 0*z + z - t = 2*q. Is 6 a factor of z?
True
Let n = 66 + -57. Let w = 80 + n. Is 21 a factor of w?
False
Is 6 + -2*((-837)/6 + 5) a multiple of 21?
False
Suppose -h + 455 = 5*t, -4*h - 4*t + 452 = -3*h. Does 22 divide h?
True
Let i be 1/(4/(-16))*-1. Let w be 5/10*(i - -2). Suppose 0 = 4*v - 4*k - 196, w*v - 2*k - 146 = -0*k. Does 24 divide v?
True
Let a = -30 + 184. Suppose 0 = f + f + 4*j + a, 140 = -2*f + 3*j. Let q = f - -121. Is 16 a factor of q?
True
Let c = 927 - -2707. Is c a multiple of 46?
True
Let m be 274/3 - 21/63. Suppose 0 = -3*u + 15, -u = k - m + 1. Does 5 divide k?
True
Let c(u) = 3*u + 11 + 0 - u**2 - 1. Let k be c(8). Is 12 a factor of (-16)/(-10)*k/(-4)?
True
Let i(v) be the second derivative of v**4/12 + v**3/3 - 7*v**2/2 - 5*v. Let d be i(-6). Let r = d + 22. Is 20 a factor of r?
False
Suppose -5*o = -8*o + 1242. Is 36 a factor of o?
False
Suppose 0*i + 12 = 2*i - 5*x, i + 3*x - 28 = 0. Let t be 120/i*(-44)/(-3). Suppose 3*c - 2*r - 114 = 0, -2*r = 3*c - t - 4. Is c a multiple of 23?
False
Suppose -5*k + 3*d = -2*k - 372, -3*d = 3*k - 384. Does 14 divide k?
True
Let i be 6*(28/8)/7. Suppose i*v = 57 + 87. Suppose -w + v = 4*h, -4*h - h = 0. Is w a multiple of 12?
True
Suppose -4*l + 58 = -2*v, 6*l - 2*l - 115 = 5*v. Let h = v + 44. Is 19 a factor of h?
False
Suppose 2*w - 384 = 1036. Let c be w/45 + (-4)/(-18). Let o(z) = -z**3 + 16*z**2 + 3*z + 19. Is 26 a factor of o(c)?
False
Suppose 2*d - 2 = 4. Is 29 a factor of (1479/(-68))/(d/(-8))?
True
Let m = -108 - 6. Let b = m - -294. Is b a multiple of 10?
True
Let i = 670 - 464. Is 8 a factor of i?
False
Suppose -2*h + 24 = 4*h. Suppose -354 = -5*o - x, 4*o = 5*x + 164 + 96. Suppose 0 = -h*c + 358 - o. Does 20 divide c?
False
Let y = 4 - -29. Let j = y - 17. Suppose t = -4 + j. Is 7 a factor of t?
False
Suppose 9*d - 11 = -2*d. Is (-49)/(-2) - d/2 a multiple of 12?
True
Let r(d) = d**2 - 9*d - 12. Let g be r(17). Suppose -3*j + g = -x, 9*j - 6*j - 104 = -4*x. Is 8 a factor of j?
True
Let y(v) = 7*v**2 + 3*v - 2. Suppose -8 = s - 11. Does 7 divide y(s)?
True
Suppose -2*z + o = -4*o - 22, 4*o - 44 = -4*z. Suppose -828 = -n - z*n. Does 10 divide n?
False
Let p = 669 + -535. Is 6 a factor of p?
False
Suppose b - 888 + 96 = 0. Is b a multiple of 66?
True
Is 11 a factor of (-1239)/(-28) + (-1)/4?
True
Suppose -5*k = 4*h + 4, -2*k + 3*h + 2*h = -5. Suppose -5*i = 2*d - 76, k = -3*d - 0*d - 3*i + 96. Does 10 divide d?
False
Suppose 0 = 15*g + 9644 - 26069. Is 29 a factor of g?
False
Does 4 divide (-18382)/52*4/(-14)?
False
Let x = -4 - -8. Suppose l + 0*