ue
Let n = -17 - -24. Suppose -5 = -6*t + n. Is 45*(t - 0 - 1) a multiple of 15?
True
Let v = -1168 + 1744. Does 36 divide v?
True
Let g(o) = -18*o - 168. Does 9 divide g(-27)?
False
Suppose 12*u + 23*u - 4305 = 0. Is u a multiple of 42?
False
Suppose 10*p - 6*p - 276 = 0. Is p - ((-70)/22 - 2/(-11)) a multiple of 4?
True
Let y = 234 - 334. Let h(t) = -14*t - 1. Let w be h(11). Let v = y - w. Is 19 a factor of v?
False
Let z be 8*((-121)/(-22) - 2/4). Suppose -5*k + 34 = -36. Let l = z - k. Is l a multiple of 13?
True
Suppose 5*t = 2*z + 2, -3*z = -2*t - z - 4. Let d(v) = -v**3 + t*v + 2*v - 2 + 4 + 9*v**2 - 3*v**2. Is 13 a factor of d(6)?
True
Let i(q) = -265*q - 256. Is i(-4) a multiple of 12?
True
Suppose 4*f - 4*u - 1370 = f, 1345 = 3*f + u. Suppose 4*h - f = 6. Let k = h + -72. Is 14 a factor of k?
True
Let d(a) = -10416*a + 5216*a + 5217*a. Let c = 1 + 2. Is 17 a factor of d(c)?
True
Suppose -3 - 157 = 4*j - 2*m, -4*m = 2*j + 70. Let d = 109 - j. Is 37 a factor of d?
True
Let a = -730 + 1486. Is a a multiple of 26?
False
Let c = 20 + -32. Does 29 divide (-1026)/c*4/3?
False
Suppose -4*o - 3*j + 455 = -0*o, 2*o - 2*j = 210. Does 5 divide o?
True
Let r(l) = 13*l**2 - 20*l - 43. Is r(-3) a multiple of 29?
False
Suppose 4*b + 40 = -b. Let f = b + 25. Is 3 a factor of f?
False
Let h(y) = y**2 + 6*y. Suppose -19 = -2*n - 3. Is 34 a factor of h(n)?
False
Suppose -42*f - 1596 = -54*f. Does 8 divide f?
False
Let h(c) = -45*c**3 + 2*c - 1. Let l(y) = y**3 - y. Let m(s) = h(s) + 2*l(s). Is m(-1) a multiple of 21?
True
Let q(z) = 2*z**2 + 68. Does 6 divide q(9)?
False
Is 33 a factor of 198/4*396/22?
True
Suppose q + 12 = 2*y, -y + 5*q + 4 = -2. Is 2 a factor of y?
True
Suppose -4*v + 43 = 5*s, s - 6*s = -3*v + 41. Let h be v/9*3 - -2. Is 14 a factor of (2/h)/(8/336)?
True
Let h be 50/(-1)*(-120)/6. Suppose -12*v = -2*v - h. Is 13 a factor of v?
False
Let i(y) = 4*y + 6. Let v be i(7). Let j be 5*(v/10 + 1). Suppose -14 = -u + j. Is 12 a factor of u?
True
Let r be (9 - 2)*(-432)/(-84). Let o = r - 33. Is o even?
False
Let t = 0 + 3. Suppose -1 = -t*n + 23. Suppose 50 = -n*l + 13*l. Is l a multiple of 3?
False
Let r be ((-86)/3)/(2/(-3)) + 1. Let w = 249 - r. Is 36 a factor of w?
False
Let o = -9 + 153. Is 16 a factor of o?
True
Let n(b) = 3*b**2 + 3*b + 8. Let r = 0 - 7. Let f be ((-16)/r)/4*7. Is 17 a factor of n(f)?
True
Let q = -147 - -194. Does 23 divide q?
False
Suppose 6*q = -2*s + 2*q + 954, -1429 = -3*s - 4*q. Suppose -o - 4*o = -s. Does 32 divide o?
False
Let p = 195 + 1515. Is p a multiple of 15?
True
Let z be (-9)/(-2)*(-14)/(-21). Let a(v) = -v - v**3 - z - 2 - v**2 + 14 + 7. Is a(0) a multiple of 8?
True
Let h(o) = o**2 - 10*o - 5 + 12 + 17. Is h(14) a multiple of 20?
True
Let r = 35 - 19. Let i = r - -16. Does 4 divide i?
True
Suppose 0 = -47*k + 19604 - 4564. Does 16 divide k?
True
Let b = -27 + 26. Let i be (-503 + b)*13/26. Is 28 a factor of ((-3)/9)/(3/i)?
True
Suppose 3*x + 12 = 3*b, -20 = -5*b - 0*b - x. Suppose 3*d + 56 = i, -i + 5*i - b*d - 200 = 0. Is i a multiple of 7?
False
Let l = 137 + -65. Suppose -l = -3*p + p. Is p a multiple of 18?
True
Suppose -4*f + 531 = -5*n - 392, 230 = f - 2*n. Let x = 370 - f. Let d = x - 62. Is d a multiple of 38?
True
Let w be -2*(-2 + 33/6). Let i = 10 + w. Suppose -i*s + 70 = 22. Is s a multiple of 16?
True
Does 6 divide 298/745 + (-3536)/(-10)?
True
Let i(z) = z**2 + 7*z + 7. Let y be i(-5). Let f = -211 + 209. Does 9 divide -28*(f + y/(-2))?
False
Suppose -9*k = -1804 - 4316. Is k a multiple of 20?
True
Let z(q) = 16*q**2 + 6*q - 8. Let g(w) = 2*w - 34. Let y be g(14). Let j be z(y). Suppose -8*l + l = -j. Is l a multiple of 19?
True
Suppose 4*l - 2128 = -4*b - 0*l, -b = -l - 524. Is b a multiple of 33?
True
Let z be (-9)/(-2) - (4 - 22/4). Let k(x) = 10*x. Does 7 divide k(z)?
False
Suppose 3*k = -t + 2*t + 7, 4*k - 8 = 2*t. Let y(n) = -n**2 + 2*n + 1. Let h be y(t). Does 6 divide (13 + 6/(-3))/h?
False
Let z = -55 - 12. Let d = 135 + z. Suppose 5*u = 3*u + 4*p + d, -3*p = -4*u + 116. Is 13 a factor of u?
True
Let v be ((-30)/9)/((-3)/234) - -4. Suppose -d - 2*h + 50 = 0, 4*d + d - v = -3*h. Is d a multiple of 3?
True
Let m = -6 - -9. Let f(r) = -r**2 + 5*r - 3. Let l be f(m). Suppose 0 = -2*h + l + 47. Is h a multiple of 7?
False
Is 15 a factor of ((-2)/(12/(-10)))/((-3)/(-45))?
False
Suppose 2*o + 4 = -0*o. Let a = -3 - o. Let z = 25 - a. Is z a multiple of 13?
True
Is 12 a factor of 7/63 + (-16629)/(-27)?
False
Let z be 44/(-10) - 10/(-25). Let s be -3 - z - (-9)/3. Suppose 0 = s*r - 102 - 222. Is 27 a factor of r?
True
Suppose 0 = -2*r + 3 + 1. Suppose 0 = 5*g - r*g - 5*i - 2, -2 = -i. Suppose -3*n + y + 45 = 0, 0 = -g*n + 5*y + 44 + 5. Is n a multiple of 16?
True
Let r(m) be the first derivative of 2*m**2 - m - 5. Let j be r(4). Suppose 3*t - 168 = -j. Is 12 a factor of t?
False
Let f = -20 - -33. Suppose f*c - 9*c = 0. Is 11 a factor of c/2 - (18 - 51)?
True
Let a(v) = 25*v - 5. Let r be a(5). Suppose -3*u = -2*o - 3*o - 97, -2*o - r = -4*u. Does 15 divide u?
False
Suppose -3*w + 20 = w. Suppose -472 = o - w*o. Is 24 a factor of o?
False
Let f(p) = -p**3 + 15*p**2 + 17*p - 14. Let a be f(16). Suppose 4*x + a*m - 6 = 102, 0 = -5*x + 2*m + 117. Does 8 divide x?
False
Is 18 a factor of (-4434)/(-14) + (-15)/((-630)/12)?
False
Suppose 2*u + 5*s = u + 20, 4 = s. Suppose -6*h + 13 - 1 = u. Suppose l - 10 = 3*x + 2, 3*l + h*x = 3. Is 2 a factor of l?
False
Let z = 808 + -328. Is z a multiple of 24?
True
Suppose 2*q + 8 = 86. Let m(u) = 6 + 18 - q - u**2 + 14*u. Is m(11) a multiple of 9?
True
Let w(m) = -20*m + 46. Let a(k) = -10*k + 23. Let r(i) = 7*a(i) - 4*w(i). Is 11 a factor of r(10)?
True
Suppose -755*z = -764*z + 11592. Is 14 a factor of z?
True
Let j(q) = -q + 6. Let n be j(4). Let x be 15/(-2)*n/(-5). Suppose -58 = -x*f + 17. Is 25 a factor of f?
True
Suppose 0 = -z + 803 - 23. Is z a multiple of 11?
False
Let b(n) = 17*n + 11. Let f be ((-25)/3)/5*-3. Let u be b(f). Suppose s = -2*s + u. Is 11 a factor of s?
False
Suppose 0 = 6*t - 3*t - 102. Let y = t - 14. Is (-4)/5*y*-1 a multiple of 8?
True
Suppose -3*i - 10 = -5*i. Suppose -v - 3 - 4 = -2*h, i*v = -5*h + 40. Is h a multiple of 3?
False
Let g(c) be the third derivative of -c**7/2520 + c**6/72 - c**5/8 + c**4/6 - 6*c**2. Let p(z) be the second derivative of g(z). Is 2 a factor of p(6)?
False
Suppose i + 3*i + d - 9 = 0, -3*d + 13 = -2*i. Does 33 divide (91/35 + -3)/(i/(-230))?
False
Let x be -3 + 235/25 + 4/(-10). Does 25 divide ((-75)/(-6))/(21/x + -3)?
True
Suppose -37*m + 41157 = 14*m. Does 41 divide m?
False
Let a(m) = 4*m**2 + m. Suppose 5 = -2*s + 3*s - 3*w, 0 = 2*s - 5*w - 8. Let h be a(s). Is 14 a factor of h*(28/6 - 0)?
True
Suppose -6*g = -49 + 1. Suppose m - 18 = -g. Is m a multiple of 5?
True
Let s(k) = -k**3 + 9*k**2 + 11*k - 13. Is s(7) a multiple of 18?
True
Let x be 4/10 + (-232)/(-20). Suppose 3*d + 0*d = -x. Is 99/12 - 3/d a multiple of 4?
False
Let g = -263 - -648. Is g a multiple of 55?
True
Is 179/(-3222) + 42247/18 a multiple of 10?
False
Let s(n) be the first derivative of -n**3/3 - 9*n**2/2 + 14*n - 4. Suppose 4*a + 2*d = -4 - 34, -3*a - d = 28. Is 14 a factor of s(a)?
True
Let c be (-6)/(-15) + (114/(-15))/(-1). Suppose 2*m + 2*m = 52. Let v = m - c. Is v a multiple of 5?
True
Let r(c) = -c**3 - 16*c**2 + 27*c + 26. Does 31 divide r(-18)?
False
Is 3 a factor of 304 + -2*(8 - 4)?
False
Let n = -2391 - -2812. Is 29 a factor of n?
False
Suppose 0 = -f + n - 99, 2*f + 5*n + 174 = -52. Let x = -14 - f. Is 5 a factor of x?
False
Let j = 7987 + -5684. Is 49 a factor of j?
True
Let t(z) be the first derivative of z**4/4 - z**3/3 - 5*z**2/2 + z + 26. Is t(4) a multiple of 10?
False
Let u(k) = k. Let r be u(-1). Let w be (-9)/18*(-1 - r). Suppose -n + 36 = 3*t - 0*n, -5*t + 4*n + 60 = w. Is t a multiple of 6?
True
Suppose -4*n = 2*n - 144. Let p = n - 18. Let y(g) = 2*g + 8. Does 8 divide y(p)?
False
Suppose -12 = 3*g, 18 = -3*f + 5*g + 50. Suppose q - 7 = -u - f, 24 = 5*q + 2*u. Is q a multiple of 3?
True
Let a(i) = i**3 + 10*i**2 + 4*i + 10. Is a(-8) a multiple of 15?
False
Suppose -3*d - m + 6*m + 238 = 0, 4*d - 5*m = 319. Is 27 a factor of d?
True
Let o(f) = 4*f + 27. Does 7 divide o(51)?
True
Suppose 3*a 