4*w + 3480. Is 48 a factor of w?
False
Suppose 188 = 4*s + 24. Let u(c) = -4*c - 127. Let l be u(-37). Let q = s - l. Is 15 a factor of q?
False
Let t = 8 + -13. Let o(d) = d**3 + 6*d**2 + 5*d + 7. Let a be o(t). Let l = 25 - a. Is 4 a factor of l?
False
Let f = -52 - -58. Does 25 divide 23*f/3 + (2 - 0)?
False
Suppose -4*k = -7*i + 2*i + 300, 4*k - 84 = -i. Does 16 divide i?
True
Suppose -3*n - 2*x = -555, 0 = -x + 3*x + 6. Is n a multiple of 8?
False
Let l(f) = -f + 31. Let k be (39/(-3))/(1/(-1)). Is l(k) a multiple of 9?
True
Suppose 0 = -11*k + 8944 + 6731. Does 5 divide k?
True
Let x(j) = j**3 + 14*j**2 + 6*j + 19. Let c be x(-13). Let a = c - 50. Is 6 a factor of a?
True
Let t = 18 + -26. Suppose 2*g - 5*u + 4 + 0 = 0, 3*u + 8 = -4*g. Is 6 a factor of g - -22*(-4)/t?
False
Suppose -2*t + t = -295. Suppose -q + 27 + 78 = 5*o, 5*o + t = 4*q. Does 14 divide ((-28)/5)/((-8)/q)?
True
Let l(m) = -51*m**3 + 10*m**2 + 12*m + 2. Is 3 a factor of l(-1)?
True
Let s(o) = -54*o + 216. Is s(-31) a multiple of 42?
True
Let f be 1 + (-3)/((-3)/1) + 66. Does 6 divide ((6 - 3)/6)/(2/f)?
False
Suppose 0*n + 16 = -n - 5*a, -5*n = 5*a - 20. Let q be (12/n)/(4/6). Suppose 5*i - 319 = 4*d - 59, 3*i - 178 = -q*d. Is i a multiple of 14?
True
Let i(s) = -s**2 + 9*s - 6. Let m be i(9). Let w(k) = -52*k. Let o be w(m). Suppose -5*q = -o + 87. Is 21 a factor of q?
False
Suppose -6 = -2*f - 0*f. Suppose -4*i = f*n - 80, -8*n + 4*i + 176 = -3*n. Does 16 divide n?
True
Let h = 239 - 83. Is h a multiple of 12?
True
Suppose -11*i + 2*i + 1890 = 0. Is i a multiple of 10?
True
Suppose -2*k + 4*k - 10 = 0. Suppose 0*z - 7*z + 140 = 0. Suppose -z - 170 = -k*y. Is y a multiple of 29?
False
Suppose 10*z - 4022 - 1178 = 0. Does 13 divide z?
True
Does 14 divide (7*-8)/((-1)/(20/8))?
True
Suppose 3*f = 548 + 409. Suppose 6*l - l + 4*m - 529 = 0, -4*m + f = 3*l. Does 18 divide l?
False
Suppose -21*v = -7*v - 5880. Is 21 a factor of v?
True
Let o = 80 - -50. Suppose 0 = 5*y - o - 45. Is 35 a factor of y?
True
Let w(k) = -2*k + 1. Let s be w(-1). Suppose 2*n - 24 = -s*p + 5*n, 0 = 3*p + n - 4. Suppose 47 = y + p*t, y + t = 2*y - 47. Is 23 a factor of y?
False
Let i = 24 + -20. Suppose 8*n - i*n - 156 = 0. Let y = 69 - n. Is y a multiple of 10?
True
Is (8/(-2))/(-3 + 9911/3311) a multiple of 7?
True
Suppose 6*q = 4*q + r + 2264, -3*q = r - 3406. Is 6 a factor of q?
True
Suppose -3*m = -3*b - 18, -12 = 4*b - 3*b + 2*m. Does 10 divide ((-2)/b)/((-10)/(-1160))?
False
Suppose 4*r - 2*r + 2*h = 1920, -963 = -r + 2*h. Is r a multiple of 31?
True
Let b(l) = l**2 + 7*l - 26. Let t be b(-10). Let p(c) be the first derivative of -c**4/4 + 2*c**3 - 3*c**2/2 - 8*c + 1. Is p(t) a multiple of 4?
True
Let k(c) = c**2 - 4*c + 2. Let q be k(6). Let j(r) = 5*r - 14*r + 23*r - q. Does 33 divide j(8)?
False
Let j = 219 - -901. Does 63 divide j?
False
Suppose -12*z + 28 = -5*z. Suppose -2*k = c - z*k - 62, 4*c - 236 = -4*k. Does 10 divide c?
True
Suppose k + 4*r - 900 = 0, 11*k + r + 10996 = 23*k. Is k a multiple of 15?
False
Suppose -2*z = -4*k + 2646, 5*z = k + 2*z - 654. Is k a multiple of 11?
False
Let d(w) = -4*w**2 - 4*w - 2. Let a be d(-2). Let b be (-4)/(-22) + (-158)/22. Is 6 a factor of (-46)/(-6)*(b - a)?
False
Suppose -13*m = -11*m - 72. Suppose -3*l + 6*l = -m. Does 6 divide 1*-7*l/14?
True
Let z = 10 - 1. Suppose i - 3*s = -2*s - 2, -4*i = -3*s + 4. Let u = z - i. Is 5 a factor of u?
False
Does 6 divide ((-20)/8 - -4)/((-4)/(-336))?
True
Suppose -4*t + t = -15. Suppose -2*u + 4*u + 73 = c, t = -5*u. Is c a multiple of 15?
False
Is 24 a factor of (3 + 9 + -15)*-126?
False
Let u(s) = s - 28. Let r be u(23). Does 14 divide (-750)/r - -4 - 1?
False
Let t = 2 - 3. Suppose q = 3*q - 6. Is 19 + ((-6)/q - t) a multiple of 9?
True
Let p(j) = 5*j**2 + j + 2. Let u(d) = d**3 + 9*d**2 - d - 10. Let f be u(-9). Let g be p(f). Suppose a - 7 = g. Is 6 a factor of a?
False
Let v(m) be the second derivative of -m**5/20 - 3*m**4/4 - m**3/3 - 3*m**2 - 2*m. Let o be (-4 - -16)*9/(-12). Does 4 divide v(o)?
True
Suppose -31*v = -30*v - 120. Is 4 a factor of v?
True
Let q(l) = -l**3 + 5*l**2 + 3*l - 10. Let x be (-4)/(-4) + 2 - -2. Does 5 divide q(x)?
True
Suppose 7*j - 154 - 7 = 0. Let x = -19 + j. Is x even?
True
Let h = -318 - -894. Is h a multiple of 39?
False
Suppose -5*s + 11034 = -2401. Does 72 divide s?
False
Suppose v - x + 6 = 0, 2*v = 2*x - x - 12. Let k = v - -60. Is 5 a factor of k?
False
Suppose -3*k = -4*k - 9. Let z(m) be the first derivative of -m**4/4 - 10*m**3/3 - 11*m**2/2 + 12*m - 133. Is 15 a factor of z(k)?
True
Let p = -754 - -771. Is 2 a factor of p?
False
Suppose 0 = k + 2, 6*d = d + 4*k + 1793. Is 21 a factor of d?
True
Suppose 0 = -2*k - 8 - 14. Let u = k + 14. Suppose 6 - 75 = -u*c. Is c a multiple of 13?
False
Suppose 2*v + 12 = -4*w - 10, 3*v - 5*w = -11. Let k = 28 + v. Is 4 a factor of k?
False
Suppose -2*g + 4*q + 12 = 0, -7*q + 9*q + 8 = 0. Let k = -5 - -3. Is 18 a factor of (g/k)/(8/232)?
False
Suppose -3*t = -4*t + 4*u - 6, 0 = -4*u + 8. Suppose 0*n - 57 = -t*w + n, -159 = -5*w - 3*n. Is 5 a factor of w?
True
Let j = 31 - 27. Suppose -m + j = t - 2*m, 0 = t - 3*m - 6. Is 6 a factor of t/((-12)/(-44)) + 3?
False
Let h be (18/7 - (-6)/14) + 119. Suppose h = -5*z + 397. Is 13 a factor of z?
False
Suppose -i + 4*j + 744 + 786 = 0, -1494 = -i - 5*j. Is i a multiple of 11?
False
Suppose 0 = 10*s + 207 + 43. Let o = s - -60. Is o a multiple of 23?
False
Suppose -16*r + 15*r - y = -127, 0 = -4*y - 4. Is 64 a factor of r?
True
Let m = 1416 + -716. Does 35 divide m?
True
Let p(r) = -2*r**2 + 4*r**2 + 7*r**2 + 1 - 2*r**3 + 4*r. Is p(3) a multiple of 20?
True
Suppose -26*d = -7245 - 6483. Does 5 divide d?
False
Suppose -3*p = -0*y - 2*y + 46, 0 = 4*p - 3*y + 60. Is 9 a factor of p/4*156/(-18)?
False
Suppose -4*u + 9*u = 15. Suppose -5*s + 169 = u*z, s + 6*z - 3*z - 41 = 0. Is 10 a factor of 4 + -8 + 4 + s?
False
Suppose 0 = y - 4*s - 0*s + 4, 2*s - 12 = -2*y. Suppose -69 = -3*n - a, -2*n + n + 36 = -y*a. Let v = n + -19. Is v a multiple of 2?
False
Let k = 2638 + -1934. Is 16 a factor of k?
True
Suppose -1 = 5*a - 21. Suppose 5*x = -i - 2*i + 158, -x - 249 = -a*i. Suppose -4*b + i = -23. Is 7 a factor of b?
True
Suppose 2*k = -k - w + 21, 0 = -2*k - 4*w + 4. Let n = -6 + k. Suppose 0 = -n*l + 14 + 30. Is 5 a factor of l?
False
Let a = 17 - 19. Let m(o) = -26*o. Let b be m(a). Suppose -5*i - b = -152. Is 5 a factor of i?
True
Let u(y) = y + 1. Let l be u(3). Suppose -4*r = -l - 4. Suppose r*b - 146 = -w + 5*w, 5*w = -3*b + 208. Does 24 divide b?
False
Let k = 13 + -17. Is ((-302)/3)/(k/(-3) + -2) a multiple of 34?
False
Suppose 0 = -4*d - 3*l + 3144, -71 - 1515 = -2*d + 2*l. Is 13 a factor of d?
False
Let v(k) = 13*k - 6. Is 3 a factor of v(3)?
True
Let l(v) be the second derivative of v**3 + 1/12*v**4 - 5*v**2 + 0 + 2*v. Is 10 a factor of l(-10)?
True
Let w = -36 + 50. Let h = w - 16. Let d = h + 20. Is d a multiple of 11?
False
Let j = 1982 - 1124. Is j a multiple of 13?
True
Suppose -2*l - 189 = -5*l - 5*n, 0 = -l - n + 63. Does 3 divide l?
True
Let u(k) = -k**3 + 14*k**2 - 14*k + 17. Let o be u(13). Suppose y + 3*i - 210 = i, 3*y - o*i = 600. Is 51 a factor of y?
True
Let t = 29 - 50. Let a = -10 - t. Let o = 18 - a. Is 5 a factor of o?
False
Suppose 21*j + 26946 = 48*j. Is 25 a factor of j?
False
Let t be (-4256)/(-35) - 4/(-10). Suppose 3*n + t + 154 = 2*u, 4*u - 4*n = 560. Does 36 divide u?
True
Let y = 371 + -224. Does 21 divide y?
True
Let u = 8 - 10. Let t be 3*u/(-3 - -1). Suppose -t*g = -43 + 1. Is 5 a factor of g?
False
Suppose 5*u = 6*u - 4. Suppose 3*n - 84 = -u*n. Does 2 divide n?
True
Let k = -8 + 14. Let g = 23 - 23. Does 4 divide 16 - g*(-3)/k?
True
Let o = -146 + 78. Suppose 0 = 5*p - 5, -3*p = -w - p - 44. Let h = w - o. Does 13 divide h?
True
Suppose -5*p = -3*x + 26, 0*p - 22 = 3*p - 5*x. Does 13 divide (p/6)/(6/(-207))?
False
Suppose 24 = 5*a + 3*a. Suppose -207 = -5*d - j, -5*d + 0*j - a*j + 201 = 0. Let l = -24 + d. Does 6 divide l?
True
Let c be (-2)/7 + 44/7. Let u(q) = 2*q**3. Let n(o) = 5*o**3 - 6*o**2 - 17*o + 15. Let j(a) = -n(a) + 2*u(a). Does 11 divide j(c)?
False
Let w = 1239 + 168. Is w a multiple of 22?
False
Let o(x) = x**2 - 7*x + 1. Let k be o(