3. Suppose k*p - 2 = -42. Let o = 50 + p. Does 8 divide o?
False
Suppose -w + 10*v + 1999 = 0, -3*v = 4*w - 5387 - 2351. Does 7 divide w?
True
Suppose -80030 = -5*w - 5*x, -8*w - 2*x = -10*w + 32040. Does 49 divide w?
False
Suppose 5*o - 251 = 134. Let m = o - -25. Is 3 a factor of m?
True
Suppose -3*k - 2381 = j, 2*k - 5*j + 1253 + 306 = 0. Let t = -519 - k. Is 13 a factor of t?
True
Let g be 2 - (5 - 3)/((-2)/385). Suppose g = 11*q - 702. Does 2 divide q?
False
Let f = -376 + 350. Let o = f - -650. Is o a multiple of 20?
False
Let s be (-18)/(-4) - (0 - (-4)/(-8)). Suppose 0 = s*k - 2*k - 15. Suppose 0*r = k*r - 3*f - 98, 0 = -r - 2*f + 17. Does 7 divide r?
False
Let d = 9307 - 7221. Is 143 a factor of d?
False
Suppose 12*v - 261836 = -2*u, 4*u + 14296 + 7532 = v. Is v a multiple of 20?
True
Suppose -6*l + 5*l + w = 23, -3*l - 67 = -2*w. Let u(x) = -x**3 - 22*x**2 - 36*x - 105. Does 5 divide u(l)?
True
Suppose 0 = 9*v + 4*v - 85466 - 94883. Is 4 a factor of v?
False
Suppose 110057 = 25*b - 125943. Is b a multiple of 59?
True
Does 42 divide 12113 + -7 - 50/5?
True
Let p be ((-44)/44)/(1/(-4)*1). Suppose -4*k + 9*k = -4*j - 312, -255 = p*k + 5*j. Let n = 92 + k. Is 2 a factor of n?
True
Suppose -11*t + 570 = -178. Let m be -7*(-3 - t/(-28))*3. Suppose -m*i - 2*i + 252 = 0. Does 9 divide i?
True
Let m(p) = -p**2 - 156*p - 272. Is m(-44) a multiple of 122?
False
Is 112 a factor of 1117/(19/(-5) + 4)?
False
Suppose 5*f = -29*z + 31*z + 3200, -3*f - 5*z + 1889 = 0. Is 22 a factor of f?
True
Suppose -11*p + 12353 = -43417. Is 28 a factor of p?
False
Suppose -b + 225 = 3*b - 5*s, 2*s = -4*b + 246. Suppose 1786 = 2*w - 3*m, b*w = 64*w - 3*m - 3584. Does 48 divide w?
False
Is 72 a factor of (10/(-3))/(-4 - (-8327)/2079)*-4?
True
Let u = -13974 - -15803. Is 183 a factor of u?
False
Let j(u) = 214*u + 382. Is 16 a factor of j(20)?
False
Let s = -5037 + 7952. Is 24 a factor of s?
False
Suppose -30*o + 12950 = -5*o. Suppose 8618 = 15*x + o. Does 21 divide x?
False
Suppose 2*o - 4*o + 8472 = -3*y, 0 = o + 2*y - 4222. Suppose o = -4*x - 2*j, 2*x = 2*j + j - 2127. Is ((-6)/(-15) - 0) + x/(-15) a multiple of 21?
False
Suppose 5*g + 16732 = a, 4*a - 525*g - 67008 = -521*g. Is a a multiple of 63?
False
Suppose 3*z = 7*z - 19256. Suppose 1458 = 7*l - z. Is 16 a factor of l?
True
Suppose -2*m = a - 8, 4*m - 2*m + 8 = 3*a. Suppose 0 = 3*h - 3*i - 105, 2*i = i - m. Is 10 a factor of h?
False
Is 24 a factor of (-181518)/(-16)*9408/1764?
False
Let h = -8053 - -20208. Is 15 a factor of h?
False
Let a = -125 + 227. Let b = 122 - a. Is b a multiple of 4?
True
Let w(z) = 7 + 2 - z**2 - 10*z + 2 - 10. Let i be w(-7). Suppose -r + i = -4*h, 9*r - 4*r + 2*h = 220. Is 7 a factor of r?
True
Suppose -4*n - 120 = 5*r, -4*n = -2*n - 2*r + 60. Does 15 divide n/(-4)*(-342)/(-9)?
True
Let f be ((-15)/5)/(4/(-4)). Suppose -o - 2*o - 474 = -3*z, 3*z + f*o - 486 = 0. Is 16 a factor of z?
True
Let a be (-4)/15*-3*(22 - 17). Let x be ((-12)/9)/a*3 + 13. Let t(i) = -i**3 + 13*i**2 - 6*i - 10. Is 18 a factor of t(x)?
False
Let c be 66/858 + 14/(-13). Is 10*10/(6 + c) a multiple of 20?
True
Let i be (-9)/12 + 1095/20. Let z = i - 48. Is 11 a factor of (-1)/z + 1596/72?
True
Let y be 15/((-84)/98*14/(-4)). Is 2/y - ((-5416)/10 + 2) a multiple of 20?
True
Let y(l) = l**3 - 37*l**2 - 34*l - 115. Let o be y(38). Let k = o + 2. Does 3 divide k?
True
Let z(n) = -5*n**3 - 7*n**3 - 5 + 4*n + 40*n**3. Does 6 divide z(1)?
False
Let a(m) = 99*m + 999. Is 42 a factor of a(-5)?
True
Let f(w) = -58*w - 134. Let z be f(7). Let t = z + 1197. Is t a multiple of 73?
True
Suppose -6*g = -26*g + 246500. Suppose 16*w - g = -13*w. Is 56 a factor of w?
False
Let l(s) = 5*s - 18. Let y = -69 + 77. Let m(p) = p + 10. Let q be m(y). Does 9 divide l(q)?
True
Let i be 4 + 1 + 964/12*21. Let x = i + -936. Is x a multiple of 18?
True
Let w = 9034 + -8637. Is 4 a factor of w?
False
Suppose -s - 954*u + 31975 = -959*u, -127815 = -4*s + 3*u. Does 6 divide s?
True
Suppose -6*o - 1449 = -9849. Suppose 3*g + 2*g - o = -5*f, -5*g + 1400 = 3*f. Is g a multiple of 28?
True
Let s be -2 + (-9)/(-6) - (-2925)/(-26). Let k = s - -197. Does 14 divide k?
True
Suppose 175 = -18*p + 445. Suppose 11*d + 1080 = p*d. Does 33 divide d?
False
Suppose 7*h - 1215 = 7710. Does 16 divide h?
False
Suppose -16*b = -b - 585. Suppose t + 4*w - 38 = -0*w, b = t + 3*w. Does 21 divide t?
True
Suppose 0 = 217*i + 363668 - 2025671. Does 24 divide i?
False
Let z be 110/4 + 39/78. Suppose z*d = -2495 + 20583. Does 12 divide d?
False
Let k be (-29 + -1)*(-1 - 0). Let i be ((-3)/6)/(5/k). Is 29 a factor of (i/(-1) - 4) + 62?
False
Let b(m) = -m**3 - 14*m**2 - 24*m - 6. Let q be b(-12). Let v(l) = -199*l - 203. Is 34 a factor of v(q)?
False
Let y be (-226806)/(-21) - (24/(-14))/(-6). Suppose 12*o + 3*o = y. Is 10 a factor of o?
True
Suppose 7*l - 8*l + 4 = 0. Is (-9 + l)*1 + 24 a multiple of 11?
False
Let s(b) = 10*b - 21. Let p be s(3). Suppose 0 = -6*n + 3 + p. Is 26 a factor of (164/n)/(7/((-63)/(-6)))?
False
Does 12 divide (-2 - (-154)/44)*2336?
True
Let z = 34241 - 14120. Does 16 divide z?
False
Let z(i) = 2*i**2 + 104*i - 3203. Is 6 a factor of z(37)?
False
Suppose 3*o = 4*m - 23, 6 = 2*m - o - 3. Let b(x) = 108*x**2 + x - 4. Does 58 divide b(m)?
False
Suppose 13 = 25*t - 62. Suppose 4*u = -4, -5*f = t*u + u - 2001. Is 50 a factor of f?
False
Let t(i) = 4*i**2 - 3*i**2 + 3 + 8 - 4*i - 15. Suppose 39 = -5*d - 0*d + 2*s, -d + 5*s = 17. Is t(d) a multiple of 16?
False
Let r(o) = -2*o**3 + 156*o**2 - 364*o - 334. Is r(68) a multiple of 51?
False
Let o be (-22)/(-4) - ((-10)/(-4) + -1). Suppose -o*c = 36 + 8. Is (3*(-4)/(-3) - 8)*c a multiple of 7?
False
Let y(a) = 4*a**2 + 58*a - 765. Does 3 divide y(13)?
False
Suppose 13*x = 5*f + 9*x - 57, 3*f - 5*x = 42. Let a(q) = 2*q**3 - 14*q**2 + 7*q + 19. Is a(f) a multiple of 14?
True
Suppose 136*k + 122*k = 882360. Does 20 divide k?
True
Let h(r) = r**2 + 7. Let s be h(-3). Suppose -x + 5*x - s = 4*d, -3*x + 10 = -5*d. Suppose 82 = -x*k + 477. Is 58 a factor of k?
False
Is 9597 - -20*(11 - 1)/40 a multiple of 14?
False
Is 27021/39 + ((-252)/52 - -5) a multiple of 11?
True
Let i(z) = -z**3 + 8*z**2 - 9*z + 8. Let p be i(7). Let b be 27/(3 - (-2 - p)). Let c = 71 - b. Does 9 divide c?
False
Let c = -1278 + 3980. Suppose -11*h + 763 + c = 0. Is h a multiple of 10?
False
Let i(x) = -8954*x - 3855. Is 8 a factor of i(-2)?
False
Let l(r) = -3*r - 28. Let z(h) = -8*h - 84. Let d(g) = -11*l(g) + 4*z(g). Is 5 a factor of d(38)?
True
Suppose -p + 30064 + 10259 = 2*h, 0 = -5*h - 5*p + 100815. Does 33 divide h?
False
Suppose -4*v + 148 = -v - 4*i, -42 = -v + 5*i. Suppose -4*y - 48 = -v. Is (-990)/(-36) - y*(-2)/4 a multiple of 28?
True
Suppose -6*c = 42 - 54. Suppose -12*s + 9*s + 4176 = -p, -5*s + c*p = -6960. Is s a multiple of 24?
True
Suppose j + 3*j + 3*z = 40, -j - z = -11. Suppose 11*n = j*n + 1960. Suppose -47*b + 52*b = n. Is b a multiple of 49?
True
Let c = -71 + 66. Let p(i) = -3*i - 7. Let a be p(c). Is 17 a factor of (63/1)/(3/(a - -1))?
False
Suppose -58032 + 4164 = -155*b + 21*b. Is 3 a factor of b?
True
Let t = -66 + 244. Suppose -4 = -h - 4*m + t, 0 = -4*m + 12. Is h a multiple of 10?
True
Suppose 4*a - 3 = c, 2*a + 9 = -2*c + 23. Suppose 0 = -a*j + 2*v + 168, -2*j - 1 + 169 = -5*v. Does 12 divide j?
True
Let k be 10 - ((-20)/6 - 8/12). Suppose -2*h + k = 3*q - h, -q - 4*h = -1. Suppose 0 = 5*m - q*v - 75, -2*m = -v - 16 - 11. Is m a multiple of 3?
True
Let i = 62 - 68. Let q be (143/22)/((i/(-4))/(-3)). Is 7 a factor of (28/6)/(q/((-2925)/10))?
True
Let z(j) be the first derivative of 4*j**2 - 16*j - 11. Let d be z(8). Let x = d + 1. Is x a multiple of 18?
False
Let v(q) = q**3 - 18*q**2 - 7*q - 1. Suppose -3*t - 74 = -4*m, -m = m - t - 38. Does 10 divide v(m)?
False
Let a(z) = -5*z**3 + 3*z**2 - z - 958. Let p(k) = 2*k**3 - k**2 + 319. Let t(o) = -3*a(o) - 8*p(o). Does 13 divide t(0)?
False
Is 1/23 - 51469730/(-2990) a multiple of 38?
True
Suppose -r = -3*r + 84. Let j = -13669 - -13538. Let o = r - j. Is o a multiple of 22?
False
Is 4 a factor of 25 + (-8 - -8527) + -24?
True
Suppose -2*q = -3*q + 13. Suppose q - 71 = -2*w. Suppose 2*f - w = -1. Is 7 a factor of f?
True
Let u be (2 - 69/(-3))*1. Supp