 + 19348, -84*g + 79*g + 5*u = -96815. Does 24 divide g?
True
Suppose q = -o + 6, 0 = -2*q + q + 1. Is (-29133)/(-39) - (1 - -1 - o) a multiple of 15?
True
Let p = -18419 + 28147. Is p a multiple of 60?
False
Suppose 748 = 4*i + 2*h, 3*i + 2*h + 249 - 812 = 0. Let t = -537 - -542. Suppose -t*k + 60 = -i. Is 3 a factor of k?
False
Suppose 6*r - 1589 = -281. Let w = r - 36. Does 2 divide w?
True
Let y(n) = -1042*n - 6178. Is 139 a factor of y(-15)?
True
Let k be -12 + (-3 - -2) + -2. Let j = 14 + k. Let l(t) = 96*t**2. Is 12 a factor of l(j)?
True
Let k = 13 + -18. Let y be (((-64)/12)/(-4))/((-10)/(-45)). Is 33 a factor of 2*2 - ((-144)/y + k)?
True
Let i(u) = 2*u + 2*u + 1 - 7*u + u. Let m be i(0). Does 10 divide (4 + 36)/(2 - m)?
True
Suppose -20 = -5*c - 70. Let s(x) = x**3 + 13*x**2 + 10*x + 40. Is s(c) a multiple of 30?
True
Let s(z) = 247*z**2 + 9*z + 15. Is s(2) a multiple of 8?
False
Let b(t) = t**3 + 14*t**2 + 16*t - 1. Let h be b(-13). Let r = 42 + h. Suppose r*o + o - 315 = 0. Is o a multiple of 7?
True
Suppose -14*h + 1216 = 208. Let m = 313 - h. Is m a multiple of 11?
False
Suppose 25*p - 36*p = 0. Suppose 1340*l - 1334*l - 6156 = p. Is l a multiple of 27?
True
Suppose -82 = 6*o - 7*o. Let h = o - -88. Let z = 302 - h. Does 33 divide z?
True
Let j be ((-15)/20)/(3/(-48)). Suppose -96 + j = -4*v. Is v a multiple of 10?
False
Let w(j) = 118*j**2 + 1. Let q = -25 - -23. Let k be (-2 - 0)*q/4. Is w(k) a multiple of 22?
False
Let f(z) be the first derivative of -19*z**2 - 15 + 39*z**2 - 9*z - 30*z**2. Is f(-5) a multiple of 13?
True
Suppose 0 = -10*c - 144 - 1156. Is (-20)/(-3)*(2 - c/25) even?
True
Suppose -3*o - 4*d - 7 = -48, 3*o - 4*d - 25 = 0. Let h = o + -10. Is 1060/40 - (h - (-1)/(-2)) a multiple of 7?
False
Suppose 2*z = -3*o + 18013, 2*z - 19876 = -4*o + 4144. Does 36 divide o?
False
Suppose 0 = 40*b - 44*b + 20. Suppose -b*u + 876 = 2*n - 3581, 0 = -4*u + 5*n + 3559. Does 33 divide u?
True
Suppose 4*p = 12, -4 = 2*k - 4*k + 2*p. Suppose -3*q - 29 = -k*b, -3*q - 2*b = b - 3. Let o = 5 - q. Is 4 a factor of o?
True
Let u = 866 - 500. Let q = -210 + u. Does 19 divide q?
False
Suppose -7*r + 21 = -14. Suppose 5*n - 4*s + 13 = 57, 0 = r*n - 2*s - 42. Let z(u) = u**3 - 7*u**2 - 9*u + 13. Does 5 divide z(n)?
True
Suppose -18*k - 120206 = -47*k - 6381. Does 10 divide k?
False
Let u = 1983 + 12. Does 105 divide u?
True
Let d(s) = -6*s + 3. Let n be d(0). Suppose 6*r - n*r - 27 = 0. Suppose -3*t + 5*y = -15, -4*y + 4 = -t + r. Does 4 divide t?
False
Suppose q = -5, -2*b + 730 = 6*q - 10*q. Suppose 3*p - n - 2*n = 1140, 4*n = -p + b. Is p a multiple of 23?
False
Suppose -3*y = -52*y - 126307 + 357832. Is 15 a factor of y?
True
Let j(x) = -x**3 + 46*x**2 - 73*x + 362. Is j(23) a multiple of 25?
True
Let y = -33 - -32. Let x(h) = 7*h**2 + 4*h + 3. Let i be x(y). Let o(z) = -z**3 + 6*z**2 + 14*z - 6. Is o(i) a multiple of 13?
True
Let q = 102 + -112. Does 15 divide q*4/6*(-36)/8?
True
Suppose -4*v - 4*a + 592 = -0*a, 4*v - 587 = a. Is 4 a factor of (4 + -5)/((-3)/v)?
False
Let n be 16/(-12)*(-1 + 6 + -2). Let m be (-21*(30/(-9) - n))/1. Does 35 divide (m/4)/(842/(-140) + 6)?
True
Let p be (-8)/(-18)*(-27)/(-6). Let v(n) = 2*n**2 - 2*n - 1. Let g be v(2). Suppose -4*b + 368 = -u, -g*b = -4*b + p*u + 92. Is 23 a factor of b?
True
Is 5 a factor of -5*(5 + -148 + -8)?
True
Let q(t) = 54*t - 32. Suppose -n + 24 - 19 = -x, 0 = -5*x + 15. Is 16 a factor of q(n)?
True
Let i(j) = j**2 + 4*j - 10. Let n be i(4). Let g = -10 + n. Let m(k) = k**3 - 11*k**2 - 8*k - 21. Does 9 divide m(g)?
True
Let i be ((65/(-2))/(-13))/(2/68). Suppose -5*a = f - 473, -a + 8*f - 5*f + i = 0. Is a a multiple of 2?
True
Suppose 0 = -u + 2, -9*a = -10*a - u + 8098. Does 32 divide a?
True
Suppose 169496 + 97709 = 25*t - 34895. Does 41 divide t?
False
Suppose 7*h = -2*h - 2835. Let o = h - -545. Is o a multiple of 23?
True
Let i(h) = 66*h**3 - 3*h**2 + 8*h - 32. Is i(5) a multiple of 45?
False
Let t be (11/(-44) - 2/8)*4. Is 15 a factor of (-2 - (t + 1)) + 145 + -3?
False
Suppose -146 = -3*q + 5*d, 3*d - 7 = 8. Let c(m) = 30 - 5 + 7 + q*m. Is c(4) a multiple of 13?
True
Suppose -4*m + 2*j - 18 = 0, 4*m + 20 = 7*j - 3*j. Let w(z) = 4*z**2 - 22 + 0 - 52*z + 15*z**2 + 94*z - 43*z. Does 13 divide w(m)?
True
Let b be (-7)/(49/35) + -2. Does 47 divide (-31217)/(-133) + (-2)/b?
True
Suppose f + 2*n = 20, -4*f + 4*n = -10 - 46. Suppose 5*k - f = -t + 4, t - 30 = 5*k. Is 2 a factor of t?
False
Suppose -57*j + 139*j - 387600 = 57*j. Is 23 a factor of j?
False
Suppose -h + 3*h - 201 = 3*f, 0 = h. Let d = f - -80. Does 7 divide d?
False
Let y(b) be the third derivative of 0*b + 0 + 1/4*b**4 - 11/3*b**3 + 12*b**2. Does 11 divide y(12)?
False
Suppose -j - 39 = -0*j. Let v = 240 + j. Is v a multiple of 41?
False
Let k(r) = r**3 + r**2 - 28*r + 10. Let v be k(-6). Does 18 divide (-6)/(-1) + (1669 - -8) + v?
False
Let t(w) = -w**3 - 77*w**2 + 1049*w + 197. Is 5 a factor of t(-89)?
False
Suppose 5*u = -0*u + 10. Suppose 2*f - 3*f = 3*h - 3, u*h - 7 = f. Is (-1 - h)/(388/200 - 2) a multiple of 6?
False
Suppose 0 = 4*f + 3*o - 31548, 32*f - 28*f - 31548 = 3*o. Does 239 divide f?
True
Suppose -3727 = -4*t - 1407. Let f = t + -295. Is f a multiple of 60?
False
Let k(d) = -22 + 3*d**3 + 48 + 4*d**3 - 19*d**2 - d - 8*d**3. Does 15 divide k(-19)?
True
Let n be (-2)/4 + (-322)/(-28). Suppose -n*c + 26 = 2*c. Suppose 167 = z - 5*p, -362 = -0*z - c*z + 3*p. Is 17 a factor of z?
True
Suppose -11 = 4*n + 5. Is 35 a factor of (58/n - 3)*-14?
True
Let v(m) = m**2 + 14*m + 30. Let k be v(-11). Is 20/k*(-999)/185 a multiple of 6?
True
Let b(c) = 5*c**3 - c + 1. Let y be b(1). Suppose -92 = 4*m - 5*q, -y*m - 128 = q - 4*q. Let l = -4 - m. Does 8 divide l?
True
Suppose -28 + 18 = 5*c. Is (c - -259)*(0 - (-2 + 1)) a multiple of 31?
False
Let a(i) = i**2 - 11*i + 18. Let n be a(9). Let d be 3 + -9 - (n + -4). Is 29 a factor of (-4059)/(-44) + d/8?
False
Let u(k) = -4*k**3. Let j be u(-1). Suppose 21 = -4*l + n - j, -2*l + n - 15 = 0. Is 10 a factor of 217 + 8 + 15/l?
False
Let q = 14795 + -10175. Is 165 a factor of q?
True
Let y(m) = -m + 8. Let a be y(8). Suppose 11*r = -a*r + 5280. Is 10 a factor of r?
True
Let i be (-3 + (-16)/(-12))*(-18)/5. Let t be 1104/(-20)*(-100)/i. Suppose -k - t = -4*p - 3*k, 4*p - 928 = 2*k. Is p a multiple of 15?
False
Let d = -56 + 142. Is (d + -52)/(1/5) a multiple of 85?
True
Let a = 39 - 19. Let u(v) = -1 - a*v**2 + 4*v + 52*v**2 - 6*v. Is u(-1) a multiple of 10?
False
Suppose 3*t = -c + 17332, 41*c - 23105 = -4*t + 44*c. Is t a multiple of 53?
True
Let h(b) = 5*b**2 + 24*b + 8. Let q be h(-4). Let g(y) = 5*y**2 + 12*y + 106. Is 9 a factor of g(q)?
False
Is 18*(28/(-21) - -1) + 1118 - -4 a multiple of 18?
True
Let v be (15/(-6))/((-15)/12). Let j(n) = 30*n - 1. Let z(h) = -32*h. Let y(m) = -2*j(m) - 3*z(m). Is 52 a factor of y(v)?
False
Suppose 177*q = 3*u + 176*q - 25739, -5*q = -2*u + 17181. Is u even?
True
Let l(n) = 2*n**2 - 6*n + 8. Let b be l(2). Suppose -b*r + 1 = -q + 2, -3*r = 2*q - 13. Is 27 a factor of 1/(r/111) - 21/7?
True
Let k(l) = l**2 - 2*l - 21. Let w be k(-4). Let a(b) = 2924*b**2 + 24 - 2923*b**2 - w*b + 5. Is 42 a factor of a(16)?
False
Let y be (0 + -1)*(-10 + 10). Suppose 3*x - 4*p + 368 = y, 3*p = x - 2*p + 108. Let l = x - -294. Does 11 divide l?
False
Suppose 222*y = 220*y + 3*j + 8169, 3*y - 2*j - 12246 = 0. Does 34 divide y?
True
Let b(t) = -7*t**3 - 5*t**2 - 41*t - 302. Is b(-6) a multiple of 29?
True
Suppose 0 = -3*l + 5*z + 1892, -2*z - 37 = 3*l - 1901. Does 2 divide l?
True
Let y be (-1466)/(-42) + (-84)/(-882). Is 9 a factor of 198/(7/(y/10))?
True
Let f = -28 - -308. Suppose 2*r - 105 = l - f, 4*l - 703 = 5*r. Is 33 a factor of l?
False
Let v be 6/9*-1 - 49/21. Is v*(-13)/(26/140) a multiple of 35?
True
Let p = 456 + -306. Suppose -3*i - 99 - 94 = 2*k, -k - 5*i = 79. Let u = k + p. Does 6 divide u?
False
Suppose 3*o + 2 = -5*b + 17, -4*o + 2*b - 6 = 0. Suppose o*p - 2*p = 64. Does 27 divide (-210)/(-8) - 24/p?
True
Suppose -236*v = -209*v - 102384. Does 79 divide v?
True
Suppose -4028 - 1856 = -2*w - 2*r, -2*r = -4*w + 11738. Does 11 divide w?
True
Suppose 30*l - 53136 = 24*l. Is l a multiple of 24?
True
Let d = -26591 + 38877. Suppose -16