
Suppose -40*p - 515 + 115 = 0. Let i(m) = -m**3 + 4*m**2 + m - 2. Let s be i(3). Does 33 divide (-1324)/p - 4/s?
True
Let k = -3097 + 8718. Is k a multiple of 38?
False
Suppose 5*w = 5*i - 105, -3*w + 0*w - 9 = 0. Suppose 2430 = i*u - 0*u. Is 6 a factor of u?
False
Let h(q) = q**2 + 11*q + 11. Let w be h(-10). Let i be ((w - 1)/(5 + -3))/3. Suppose 0*x - 4*x + 16 = i. Is x even?
True
Let s = -8254 - -9856. Is 18 a factor of s?
True
Let p(c) = -22. Let n(t) be the first derivative of -t**2/2 - 21*t - 44. Let i(k) = -6*n(k) + 5*p(k). Does 13 divide i(19)?
True
Let h(n) be the first derivative of 10*n**3 - 3*n**2/2 - 4*n + 42. Does 5 divide h(2)?
True
Suppose 0 = -0*w + 2*w + 26. Let i(p) = 99*p - 199. Let z be i(2). Let m = z - w. Is 10 a factor of m?
False
Let a(l) = l**3 + 7*l**2 + 2*l - 5. Let f be a(-3). Suppose f*p - 19*p = 2160. Does 8 divide p?
True
Suppose -5*s = 2*i + 7, 3*i + 0*s + 3*s = -6. Does 18 divide 1/(((-6)/(-3426)*i)/(-1))?
False
Suppose 3*o - 409 = 2*n, 17 = 2*n + 21. Suppose -o*k + 510 = -130*k. Is 3 a factor of k?
True
Let f = -336 - -270. Is 22 a factor of (f/(-88))/((-3)/(-3024))?
False
Let r = 444 - -668. Does 4 divide r?
True
Let b(j) = 20*j + 1100. Does 10 divide b(52)?
True
Let u = 3671 - -36. Does 12 divide u?
False
Let b = -273 + 173. Is 10 a factor of (1340/b)/(3/(-15))?
False
Let z = -5385 + 19839. Is z a multiple of 379?
False
Suppose -8513*u + 155232 = -8489*u. Does 98 divide u?
True
Let h = 12121 - 10543. Is h a multiple of 6?
True
Let w be 1112 + 1*(-2)/(-2)*-2. Suppose 19*g = w + 2215. Is 35 a factor of g?
True
Does 17 divide 2/(-9) + -442945*29/(-1305)?
True
Suppose 5*g - c = 765, 0 = 3*g + 2*c - 191 - 281. Suppose 69*k + 5*k = 296. Suppose 3*z - 16 = k*l + g, 5*z + 2*l - 266 = 0. Is 7 a factor of z?
False
Let n(f) = -f**2 + 9*f + 18. Let x be (-2864)/(-64) + 2/8. Let z = x - 36. Is n(z) a multiple of 6?
True
Suppose 0 = -9*i + 71 - 35. Suppose -s + i*p = -0*p - 472, 3*s + 2*p - 1402 = 0. Is 18 a factor of s?
True
Suppose 0 = -133*r - 1881781 + 6423864. Is 71 a factor of r?
True
Let i(x) = -4*x**3 - 4*x**2 - 4*x - 6. Let c be i(-4). Suppose -g + c = -210. Is 47 a factor of g?
False
Suppose -13*b + 7*b = -12. Suppose 5*h = 5*u - 30, b*h - 4 = -2*u + 8. Suppose 2*q = -u*q + 24. Does 2 divide q?
False
Let l(c) = 5*c**2 - 62*c + 16. Suppose 2*q - 74 = -3*o, -7*q - 24 = -2*o - 2*q. Does 67 divide l(o)?
True
Suppose -4*d - 8 = 2*i, -2*d - 4 = 3*i - 8. Suppose -3*s = -i*s + 231. Is s a multiple of 11?
True
Suppose -3*n = 5*q - 43499, -q + 107*n - 112*n + 8669 = 0. Does 34 divide q?
True
Suppose 400 = -h + 3*m, 3*h - 8*m = -7*m - 1208. Let z = -222 - h. Is z a multiple of 21?
False
Suppose 5*y = -5*r + 6200, 4*r = 7*r - 3*y - 3690. Is 19 a factor of r?
True
Suppose 3*r - 4*q - 72511 = 0, q + 3143 - 51458 = -2*r. Does 71 divide r?
False
Let s = -39 - -50. Suppose s*z = 16*z - 130. Is 3098/z - 4/26 a multiple of 24?
False
Let u(n) = -102*n - 5374. Is u(-74) a multiple of 3?
False
Suppose -3*w = -3*j - 120, -57 = 2*j - 3*w + 24. Let n = j - -172. Is 19 a factor of n?
True
Suppose 6*h - 2*h + 16 = 2*p, 5*h + 4*p + 7 = 0. Let m be (h/2)/(27/(-90)). Suppose m*w = -2*d + 305, -2*w + 14 + 138 = d. Is 15 a factor of d?
True
Let p be 141*1 + -4 + 8. Suppose -5*u + p = d, d = 5*d - 20. Suppose -w + u = -9. Does 8 divide w?
False
Suppose 4*x - 20 = -2*k, 0 = -k - 5*x - 2 + 24. Let g(i) = -22*i**k + 7*i**2 - 10*i + 9*i**2 + i**3. Does 6 divide g(8)?
True
Suppose 1244 = 3*a + 152. Suppose -2*y + a = -4*r, -4*r = r + 5*y + 440. Does 19 divide (-826)/(-3) + (-60)/r?
False
Suppose 11*m - 2*m = 18. Suppose 3750 = 5*v - 3*t, 3*t = m*v - 0*t - 1500. Does 75 divide v?
True
Let g(j) = 9*j**2 + 6*j + 6. Let u be g(-1). Let o = u + 1. Suppose o = 5*d + 2*q - 19, -17 = -2*d + q. Does 2 divide d?
False
Suppose -5*j = -3*q + 2*q - 860, 0 = j - 5*q - 196. Suppose -3*o = 4*l - 31, 4*o - 24 = l - 2*l. Suppose 849 + j = o*d. Does 17 divide d?
True
Suppose 33*z + 467090 = -462520. Is (-11)/(528/z) - (-3)/24 a multiple of 21?
False
Let b be (-2)/11 - (4 - 1821/33). Let h = b - 45. Suppose 3*f = h*f - 195. Is 13 a factor of f?
True
Let z = -756 + 953. Is 11 a factor of z?
False
Let z(y) = -y**3 - 7*y**2 - 21*y + 11. Let k be z(-10). Let i be ((-1)/2)/(-3 + (-1061)/(-354)). Suppose i = -2*p - 4*n + k, 0 = -5*n - 25. Is 26 a factor of p?
True
Let b = 170 + -566. Is ((-69)/6 - 1)*b/15 a multiple of 66?
True
Let y(w) = -12*w + 114. Let d be y(9). Let v(r) = 40*r + 12. Let x(q) = -81*q - 24. Let t(j) = 7*v(j) + 3*x(j). Does 13 divide t(d)?
True
Suppose -81*x + 377167 + 397598 = 0. Does 24 divide x?
False
Let q(x) = x**3 - x - 1. Let w(i) = -6*i**3 + 23*i**2 - 43*i + 11. Let d(k) = -5*q(k) - w(k). Let n = 65 - 44. Is d(n) a multiple of 15?
True
Let j = -48 + 55. Suppose 0 = -s + 3, 5*z - j*s - 200 = -2*s. Let q = z - 10. Is q a multiple of 7?
False
Let h(d) be the third derivative of d**5/15 + d**4/4 + 23*d**3/3 + 81*d**2. Is 5 a factor of h(8)?
True
Suppose -3*x - 2*x - 5185 = -8*j, -x = 2*j - 1285. Is 3 a factor of j?
True
Let w = -637 - -6706. Is 39 a factor of w?
False
Let b = -1338 + 5562. Is b a multiple of 48?
True
Suppose -510 = -0*w - 15*w. Let s be 4/(-8)*5*-1*2. Is (w/(-10) + -7)/((-1)/s) a multiple of 15?
False
Suppose 0 = -6*n + 28 - 52. Does 28 divide (-10170)/(-24) + (-1)/(-4) - n?
False
Let h(q) = 25*q + 5. Let r be h(7). Suppose -5*d - b = -r, 3*d = -2*d + 2*b + 165. Is d/45 + -1 - (-220)/18 a multiple of 4?
True
Let l(s) = 20*s**2 - 168*s + 1522. Does 5 divide l(9)?
True
Suppose -5*c + 15*i + 10061 = 11*i, 5*c + 2*i - 10067 = 0. Is 11 a factor of c?
True
Let a(u) = -5*u**2 + 18*u - 35. Let c be a(5). Let y be (-3 - -4)*(-7 + 1). Let f = y - c. Does 21 divide f?
False
Suppose 2*j - 260 = -16*q + 15*q, -628 = -5*j - 8*q. Is j a multiple of 38?
False
Let q be (-4)/(-8) - ((-12)/8 - 2). Suppose 3*s - 414 = 3*r, 132 = -0*s + s - q*r. Is s a multiple of 14?
True
Let i(t) = 43*t + 218. Let d be i(-5). Suppose 15*v = -3*y + 19*v + 1604, d*v = -2*y + 1058. Does 14 divide y?
True
Let c(x) be the third derivative of 1/15*x**5 + 7*x**2 + 0*x - 1/12*x**4 + 0*x**3 + 0. Is 8 a factor of c(3)?
False
Let u(k) = 7*k**2 + 2*k + 1863. Is u(0) a multiple of 69?
True
Let s(q) = 5*q**3 - 5*q**2 - 28*q - 31. Let x(n) = -6*n**3 + 4*n**2 + 27*n + 32. Let b(p) = 6*s(p) + 7*x(p). Is 4 a factor of b(-2)?
True
Is (4681/302)/(1/(-386)*-1) a multiple of 8?
False
Let t(u) = -7*u - 19. Let b be t(-3). Suppose -b*p + 12 = 5*m + 320, 2*m - 5*p + 129 = 0. Let n = -47 - m. Does 4 divide n?
False
Let g = 493 + -457. Is (g/(-8) - -4)*(10 + -88) a multiple of 3?
True
Suppose -1969 = 4*u - p, -3*p - 2463 = 5*u - 6*p. Is 7 a factor of (8/6)/(1/u*-2)?
False
Let v(p) = 5782*p**3 - p**2 - 5*p + 8. Is 12 a factor of v(1)?
True
Let c(q) = -q**3 - 5*q**2 - 472*q - 35. Does 89 divide c(-26)?
True
Let m = -5550 + 8201. Is 7 a factor of m?
False
Suppose 0 = -6*l - 3*l - 57*l - 2772. Suppose 4*y + 0*y = -3*o + 285, -3*o = -5*y + 363. Let q = y + l. Is 5 a factor of q?
True
Let v be (-3)/15*-2*1*140. Let n = v - 91. Let i = n - -126. Does 13 divide i?
True
Let l(s) = -19*s + 121. Let u be l(4). Does 20 divide ((-250)/(-30))/((12/u)/4)?
False
Let y = -387 - -390. Suppose 0 = y*p - 35*p + 11136. Does 46 divide p?
False
Let l be -2 + 3 - -14 - -1. Let h(r) be the first derivative of -r**4/4 + 16*r**3/3 + 11*r**2/2 + 22*r + 27. Is h(l) a multiple of 14?
False
Suppose 2*c + 79 = 693. Let j = -207 + c. Suppose -23*w + 28*w = j. Does 10 divide w?
True
Let p = 8812 - 4016. Is 44 a factor of p?
True
Suppose -10*u + 4*u - 5865 = -91*u. Is 23 a factor of u?
True
Let z = -935 + 1674. Let o = z - 440. Does 23 divide o?
True
Let v = -5 + 9. Let l(y) be the second derivative of 7*y**4/4 - 11*y**3/6 + 3*y**2/2 + 318*y. Is 22 a factor of l(v)?
False
Let t(i) = 6*i + 8. Let d be t(14). Let c = 46 + d. Is c a multiple of 14?
False
Suppose -l = 3*h - 25, -12 = -4*l + l. Let x(o) = -10*o + 0*o**2 - 3 - 7*o**2 + 12*o + o**2 + o**3. Does 21 divide x(h)?
False
Let u(t) = 11*t**2 - 162*t - 47. Is 6 a factor of u(-12)?
False
Suppose 186*q - 1735724 - 1284859 - 1014129 = 0. Does 58 divide q?
True
Let l(b) be the third derivative of -b**5/60 - 25*b**4/12 - 3*b**3 + 105*b**2 + 2*b. Is l(-18) a multiple of 11?
Fal