Suppose 5*j - 15 = 2*j. Suppose -21 = -3*p + 3*l, -2*p + j*l + 8 = -18. Suppose w - d + 9 - 34 = 0, p*d + 12 = 0. Is w a multiple of 21?
True
Let k = 204 - 108. Suppose 3*o - x - 7 = k, 0 = 5*x - 10. Does 7 divide o?
True
Is -9*(-52 + -12) - (3 + -1) a multiple of 14?
True
Let l = -3986 - -5784. Is l a multiple of 38?
False
Let q(y) = 5*y + 4. Let t be q(-2). Let k = 10 + t. Suppose k*m - 33 = -9. Does 2 divide m?
True
Suppose 3*u - 8*u = -20. Let m(j) = 5*j**2 + 19. Is 33 a factor of m(u)?
True
Let l(c) = c**2 + c + 8. Is l(-4) a multiple of 10?
True
Let s = -62 + 92. Does 15 divide 75/(-2)*s/(-25)?
True
Suppose -137*t = -134*t + 246. Let g = t - -97. Is g a multiple of 10?
False
Let c be (-28)/10*10/(-4). Let p = 8 - c. Let u = 43 - p. Is u a multiple of 14?
True
Let k be (-4)/6 + 7250/30. Suppose k = 4*u + 73. Is u a multiple of 14?
True
Let z = 1433 + -1069. Does 13 divide z?
True
Suppose o = -4*o + 100. Suppose 0*r - r = 0. Suppose -2*g - 3*g + o = r. Does 3 divide g?
False
Is 4500/8*14/21 + -6 a multiple of 12?
False
Does 20 divide ((-114)/9)/(1 - 394/390)?
False
Suppose 0 = h - 2 - 1. Let v be 15/h - (-3 - -4). Suppose v*p = -0*p + 16. Is 4 a factor of p?
True
Let j(x) = 177*x - 568. Does 26 divide j(16)?
False
Suppose -3*q = 5*v - 220, 5*q + 101 - 513 = 3*v. Does 16 divide q?
True
Let o = 1961 - 1369. Is o a multiple of 48?
False
Does 5 divide (-5)/((-8)/(243 - -5))?
True
Let d(f) = -f - 6. Let n be d(-9). Let g = 8 - n. Suppose i + 4*i - 3*b - 164 = 0, -5*i - g*b + 180 = 0. Does 17 divide i?
True
Is (-7)/42*-906*1 a multiple of 44?
False
Suppose -4*f - i + 2395 = 0, 2*i = 5*f - i - 3015. Suppose 6*v = f - 96. Is 21 a factor of v?
True
Let x(r) = r**3 - 1. Let p be x(1). Suppose h - 22 + 17 = p. Does 6 divide (-3)/h + 665/25?
False
Suppose 4*n = 5*n - 1, -3*l - 3*n = -69. Suppose -p + 2 = -4*w, 2*w = p - 5*p + 8. Does 6 divide (p - 4 - 2) + l?
True
Let h = -227 + 452. Does 15 divide h?
True
Suppose -5*x - 1296 = -9*x. Is 27 a factor of x?
True
Suppose 5*l + 0*l = 745. Suppose 4*k + l - 33 = 4*o, -14 = -o + 4*k. Let j = -7 + o. Is j a multiple of 27?
True
Let q = -1315 - -1734. Does 25 divide q?
False
Let a(n) = -n**3 - 8*n**2 - 6*n + 14. Let w be a(-7). Suppose 1 = 2*v - w. Suppose -4*h + j - v*j = -236, -2*h - 5*j + 132 = 0. Is h a multiple of 8?
True
Let x = 16 + -9. Suppose -4*d = -77 - x. Suppose -3*q = -d - 0. Is q a multiple of 6?
False
Suppose 5*r + 421 = j, 2*j + 3*j - 4*r - 2063 = 0. Suppose -18*c = -21*c + j. Is c a multiple of 48?
False
Suppose -2*k - 38 = -42. Suppose u + 69 = k*u. Is u a multiple of 8?
False
Let b = 48 + -67. Let s = b + -17. Does 3 divide ((-8)/6)/(8/s)?
True
Suppose 2*c - 13 = -35. Let l = c + 33. Suppose 0 = o - 34 - l. Does 15 divide o?
False
Let u = -544 + 313. Let n = 77 - u. Suppose 2*w - 5*x + 32 - 241 = 0, 2*x = 3*w - n. Is w a multiple of 16?
False
Let s be 3 + 0 - 0/(-8). Suppose 4*x = -p + 3*p + 754, s*x - 3*p = 564. Suppose -2*y + x = t + 2*t, -189 = -3*t + 2*y. Is 31 a factor of t?
False
Let q(f) = 13*f + 23. Let k(l) = 12*l + 22. Let o(x) = 6*k(x) - 5*q(x). Is o(7) a multiple of 13?
False
Suppose 2*x = 3*x - 6. Suppose 0 = -x*w - 7 + 25. Suppose q + w*q = 320. Is 20 a factor of q?
True
Let h(r) = 12*r + 168. Is h(23) a multiple of 74?
True
Let s = 80 + -45. Let l = s + 168. Is 34 a factor of l?
False
Suppose -2*p + 0*p + 12 = 0. Let n(m) = 23*m - 15. Let t(c) = -11*c + 8. Let g(k) = p*n(k) + 13*t(k). Is g(-6) a multiple of 10?
False
Suppose 0 = 5*w - 2*u + 21, 4*w + 3 = 2*u - 5*u. Let d(g) = -39*g. Is 13 a factor of d(w)?
True
Let x(m) = m**3 + 14*m**2 + 14*m - 13. Suppose 4*w = 4*l - 40, -3*w + 2*l - 3*l - 34 = 0. Is x(w) a multiple of 14?
True
Let i = -14 + 24. Suppose 4*u + 2*c - 26 = -c, 5*c = -4*u + 30. Suppose -40 = -u*g - i. Does 3 divide g?
True
Let v = -815 + 958. Is v a multiple of 3?
False
Let r = 7072 - 4488. Is r a multiple of 33?
False
Let d = 14 - 2. Let w(x) = 6*x - x**3 + d*x**2 - 8*x + 1 - 5*x. Is 32 a factor of w(11)?
False
Suppose -2*z + 6*z = 12. Suppose z*b - 5*v + 1 = 8, 2*b + 3*v = 30. Does 2 divide b?
False
Let o(y) = 14*y + 422. Is o(-16) a multiple of 18?
True
Let d(k) = k**2 - 7*k - 11. Let l be d(11). Suppose -4*v - 4*o - 27 = 41, -4*v - 68 = o. Let s = l + v. Is s a multiple of 6?
False
Let p be (-3)/((-21)/350) - 3*-1. Suppose 52*w - p*w = -84. Does 42 divide w?
True
Suppose -8*q = 27*q - 5250. Is 15 a factor of q?
True
Suppose -3*o + 2 = 2*o + j, 8 = 2*o - 2*j. Does 7 divide (-90 - o)*(1*-3 + 2)?
True
Let j(v) = -22*v + 1800. Is j(0) a multiple of 25?
True
Let w(n) = n**2 - 13*n + 16. Let t = 0 - -12. Let u be w(t). Suppose -2*j = u - 10. Is 2 a factor of j?
False
Let w = -38 - -93. Is 5 a factor of w?
True
Let p(s) = 7*s**3 + 18*s**2 - 14*s + 26. Let t(b) = 20*b**3 + 54*b**2 - 43*b + 77. Let k(a) = -17*p(a) + 6*t(a). Is 8 a factor of k(-19)?
False
Let c(m) = m**3 + 6*m**2 + 3*m - 3. Let s(r) = -9*r + 2. Let o be s(1). Let p = o + 3. Is c(p) a multiple of 5?
False
Let s(j) = j**3 - 8*j**2 - 6*j**2 - 10 - 2*j**2 + 2*j. Suppose 6*u - 23 - 73 = 0. Is 8 a factor of s(u)?
False
Does 25 divide ((-12)/18)/((-26)/83889)?
False
Let y be -15*((-13508)/385 + 2/7). Suppose 8*h - 11*h + y = 0. Is 14 a factor of h?
False
Let h be ((-1)/2 - -1) + (-3958)/(-4). Suppose 0*i + 6*i = h. Does 15 divide i?
True
Let r(m) be the first derivative of m**4/12 + 7*m**3/6 - 6*m**2 + 6*m - 8. Let c(z) be the first derivative of r(z). Does 33 divide c(-13)?
True
Let a be 4*(5/(-2))/5. Let f be 20/6*(-3)/a. Is 18 a factor of 600/f + (-1 - -4)?
False
Suppose -806*d + 11611 = -789*d. Does 38 divide d?
False
Suppose 0 = 7*q + q - 16. Suppose 0 = c - 2*x - 78 + 28, -q*x - 154 = -3*c. Is 13 a factor of c?
True
Let n(h) = h**3 - 9*h**2 + 18*h - 10. Is n(8) a multiple of 5?
True
Let y(p) be the second derivative of -p**3 - 9*p**2/2 + 2*p. Is 20 a factor of y(-8)?
False
Let b(v) = 4*v. Let o be b(1). Suppose 9*c - 190 = o*c. Is c a multiple of 19?
True
Let r(f) = -6*f. Let x be r(1). Let a(t) = 3*t**2 + 10*t + 9. Let u be a(x). Let p = u + -30. Is p a multiple of 13?
False
Let i(m) be the second derivative of -m**3 - 41*m**2/2 + 16*m. Is i(-12) a multiple of 13?
False
Let h(y) = 41*y - 163. Is 33 a factor of h(8)?
True
Suppose 4*x - 31 = -3*g, -3*g = x - g - 14. Let l = 99 - x. Is l a multiple of 14?
False
Let s(k) = -k + 17. Let j be s(17). Suppose j*a - 26 = -a. Is 18 a factor of a?
False
Suppose v - p - 7 = 0, v = -5*p - 3 - 2. Suppose 0*b + 135 = 4*r + v*b, 2*b - 30 = -r. Is 18 a factor of r + 4/(1 + -2)?
True
Let u be (246/(-9))/(8/(-36)). Suppose -4*k + 42 = -298. Let b = u - k. Does 12 divide b?
False
Let y(d) = 3*d**2 + 33*d - 26. Let o(s) = 2*s**2 + 17*s - 13. Let j(m) = -5*o(m) + 3*y(m). Let k = 1 - -10. Is j(k) a multiple of 20?
True
Let k(a) be the second derivative of 2*a**3/3 - 9*a**2/2 + a. Let i be k(3). Is i/((-2)/80*-6) a multiple of 5?
True
Let m(q) = q**2 + 5*q - 18. Let o be m(-10). Let k = o - 27. Suppose -41 - 84 = -k*g. Does 5 divide g?
True
Suppose -2*p - 4 = 2*p, n - 3*p = 219. Does 9 divide n?
True
Let m be (-2)/(-11) - (-2724)/22. Suppose 0 = 3*p - 170 - m. Let t = p - 70. Is t a multiple of 14?
True
Let d(j) = -4*j - 6. Let h be d(-4). Suppose h = -2*u + 7*u. Does 6 divide 5*(u + (-16)/(-10))?
True
Suppose -16*b = -9*b + 42. Let a(l) = -10*l - 12. Does 8 divide a(b)?
True
Suppose y - 4*y + 12 = j, 2*j - 18 = -4*y. Suppose 74 + 79 = y*r. Let o = r - 7. Is o a multiple of 22?
True
Let r be 2/(-4)*(3 + -3). Is 35 a factor of 97 + (-3 + r - -4)?
False
Let j(q) = -6*q + 2 + 15*q + q**3 - 3*q**2 - 1. Is 15 a factor of j(4)?
False
Let w = 47 + -86. Let m = -19 - w. Does 10 divide m?
True
Let f(k) = 2*k + 6. Let z be f(3). Suppose -2*y = -6*y + z. Suppose 4*c - 6*g + 3*g - 177 = 0, y*c + g = 136. Is c a multiple of 18?
False
Suppose 3*x = -r + 676, 8*x - 3*x = -3*r + 1124. Is 19 a factor of x?
False
Let s be 4238/(-598) + (-2)/(-23). Let y(f) = -f**3 - 3*f**2 - 16*f - 16. Let d(g) = -g**2 + g + 1. Let p(o) = -6*d(o) - y(o). Is 9 a factor of p(s)?
False
Let i = 16 - 12. Suppose -t = -5*m, 5*m - 7*t + 2*t = 0. Suppose m = -6*u + i*u + 104. Does 10 divide u?
False
Let n(r) = -r**3 - 11*r + 33 + 1 - 14 - 2*r + 12*r**2. Is 30 a factor of n(10)?
True
Let z = 93 + -46. Is 4 a fac