e w(3). Let n = -810 + q. Does 49 divide (3/2)/(-3)*n?
False
Let c(j) = j**2 - 6*j - 1. Let b be c(7). Let p(s) = -s**2 - s - 19. Let l(z) = 16*z**2 + 28*z + 388. Let x(d) = -l(d) - 20*p(d). Does 7 divide x(b)?
False
Let r be 4 + (-9)/(81/36). Suppose -4*o + 1923 + 33 = r. Is 5 a factor of o?
False
Suppose 3*b = 27 + 48. Suppose b*w = 19*w - 96. Let l = 5 - w. Is l a multiple of 21?
True
Suppose 0 = 4*c + 21 - 29. Is 14 a factor of c/(2/(-3) - 30/(-42))?
True
Let b be (-1 + 5/2)/(6/(-24)). Let l(g) = -6*g - 15. Is 8 a factor of l(b)?
False
Let r(s) be the third derivative of s**5/15 + s**4/2 + 5*s**3/2 + 4*s**2 - 4. Is 12 a factor of r(15)?
False
Let m = -195 + 92. Let g = 117 + m. Suppose g*d - 4 = 12*d. Is d even?
True
Let h(y) = 18*y + 81. Let f(z) = -53*z - 243. Let p(l) = 6*f(l) + 17*h(l). Is 15 a factor of p(-18)?
True
Let f(i) = -13*i**3 - 18*i**2 + 34*i + 301. Is f(-11) a multiple of 133?
False
Let j(h) = 2535*h**2 - 13*h - 16. Does 151 divide j(-1)?
False
Let t = 3359 + -2740. Is t a multiple of 7?
False
Let k(r) = 23*r**2 - 269*r - 4508. Does 98 divide k(-16)?
True
Suppose 5*t + l = 13, 6 = -3*t + 4*l - 0*l. Let s(h) = 18*h**2 - 3 - 12*h - 2*h**t + 5*h**2 + 14*h. Is s(2) a multiple of 20?
False
Let l = -58860 - -86521. Is l a multiple of 86?
False
Let f(v) = 24065*v - 1410. Does 320 divide f(2)?
True
Let k be -11 - (-6 + -1) - -8. Does 50 divide 48477/297 - k/18?
False
Let z be 7 + (6 - 16)*1. Is (z - 4/(-2)) + 1436 a multiple of 35?
True
Let a(q) = -20*q + 88. Let b be a(-19). Suppose 4*f = -3*l + 842, -2*l - 4*f + b + 88 = 0. Is 11 a factor of l?
True
Let p(f) = 44*f**2 - 2. Suppose u = -5, 5*m + 5*u - u = -15. Does 8 divide p(m)?
False
Let s = 29158 + 6938. Is 16 a factor of s?
True
Let r(p) = -p**3 - 6*p**2 - 7*p - 7. Let y(x) = -x**3 - 4*x**2 - 7*x - 8. Let t(k) = 4*r(k) - 5*y(k). Does 26 divide t(7)?
True
Suppose u = 4*f - 93, u = -5*f - 0*u + 105. Suppose -3*s = -3*q - 24, 3*q + 10 + f = -s. Let o(b) = -b**2 - 14*b - 24. Is o(q) a multiple of 6?
False
Let b(k) = 295*k**3 + 19*k**2 - 129*k + 171. Is b(5) a multiple of 7?
True
Suppose 0*g + 5*g + 3*w + 491 = 0, g = 4*w - 112. Let m = -62 - g. Is m a multiple of 2?
True
Let w be (-3)/(-9) + (-4816)/21. Let n = w - -357. Let l = 70 + n. Is l a multiple of 41?
False
Let i(o) = -o**3 + o**2 - o - 31. Suppose 25*v = 23*v - 14. Is i(v) a multiple of 23?
True
Let u(p) = 2*p - 4. Let f(g) = g**3 + 4*g**2 - 2*g - 5. Let c be f(-4). Suppose 2*n = -c*n + 25. Is u(n) a multiple of 2?
True
Suppose 0 = -0*x - x - 5*i + 585, 3*x - 2*i - 1755 = 0. Suppose -w = -3*f - x, -w - 4*f + 575 = -31. Is w a multiple of 73?
False
Let j(g) = g**3 - 10*g**2 + g + 30. Let i be j(13). Suppose -21*r + 16*r = -i. Is 5 a factor of r?
True
Let g = 16458 + -7550. Is g a multiple of 111?
False
Let i(v) = -v**3 - 5*v**2 - 17*v + 8. Let p be i(-8). Suppose -y - 20 + p = 0. Is y a multiple of 57?
False
Let z be ((-2)/6)/(1*(-3)/18). Let q be (1 - -5 - z) + (-5 - -3). Suppose 0 = -q*f + 88 + 12. Is f a multiple of 10?
True
Suppose -2*x - 3*p + 2 = -15, 9 = 3*p. Let y(k) = -k**3 + 3*k**2 + 7*k - 11. Let l be y(x). Is l + 4/(((-30)/(-51))/5) a multiple of 15?
False
Does 16 divide 0 - -4 - (288*-31)/8?
True
Let v = 72968 + -51566. Does 41 divide v?
True
Let t(l) = -16*l**3 - 19*l**2 - 85*l + 58. Is 8 a factor of t(-5)?
True
Suppose -s = -2*h - 3768, 0 = 2*s - 0*h + 5*h - 7536. Does 27 divide s?
False
Suppose 0 = -5*y - 10, 0 = -5*x + 2*y - 0 + 4. Suppose -2*t + 15 = -k, x = -3*t + t + 5*k + 35. Suppose -5*v = h - 532, t*v + 2*h - 262 = 272. Does 25 divide v?
False
Let x(c) = 4*c + 21*c**2 - 1436 - c + 1438. Let h be x(-1). Suppose h = 5*g, -5*z - 7*g + 4*g + 732 = 0. Is 16 a factor of z?
True
Let z be (-1)/(3/483)*1. Let t = z - -326. Is 33 a factor of t?
True
Let g = -375 - -464. Suppose 4140 = 98*u - g*u. Is u a multiple of 23?
True
Let p(q) = 5*q + 4*q**2 + 20 + 2*q**2 - 2 - 5*q**2. Is 20 a factor of p(-10)?
False
Let y(w) = w**3 + 161*w**2 + 116*w - 673. Does 4 divide y(-160)?
False
Suppose -3069173 = 31*i - 8929413. Is (-2)/7 - i/(-140) a multiple of 18?
True
Is ((-1963360)/24)/(-28) + (-16)/6 a multiple of 139?
True
Let k = -16704 + 19358. Is 12 a factor of k?
False
Let c(b) = 10*b + 19. Let g be c(-6). Does 3 divide (4 - 2/(-1)) + 44 + g?
True
Let y be (3/2 - 3)*-2. Let m = 1007 + -1003. Suppose -2*f + m*f - 66 = -y*b, 2*b = -2*f + 64. Does 7 divide f?
False
Suppose 27*d = 15*d. Suppose 88 = -d*f + 4*f. Is f a multiple of 7?
False
Let m = 709 - 717. Is 7 a factor of m/(-32)*8 - -365?
False
Let v(m) be the first derivative of -55*m**2/2 - 10*m + 4. Let a(j) = -j**2 + j - 2. Let z be a(2). Does 45 divide v(z)?
False
Let x(j) = 15 - 399*j + 7 + 398*j + 2. Let c be x(9). Is 5/c - (-1600)/15 a multiple of 16?
False
Let o(j) = 7*j**2 - j + 4. Let u = -44 - -46. Suppose 3*d = -2*g - u, 3*d - d = g - 6. Is 30 a factor of o(g)?
True
Let y = 621 + 131. Suppose 197 = v - 3*f + 44, y = 5*v - 2*f. Is 25 a factor of v?
True
Let a(n) = n - 21. Let r be a(12). Let o be (-483)/(-14) + (-3 - r/6). Suppose -b + 37 + o = 2*i, -144 = -2*b - 5*i. Does 36 divide b?
False
Let s(m) = -m. Let i be s(-2). Let n = -446 - -566. Suppose -n = -i*g - 2*g. Is g a multiple of 9?
False
Suppose 6 = -4*i + 3*f - 0, -6 = -i - 3*f. Suppose 7*z - 5*z - 100 = i. Suppose 0 = 15*s - 20*s + z. Is 8 a factor of s?
False
Let s(t) = -2*t**2 + 22*t + 4. Let f be s(11). Suppose -5*j = -c - 1655, 1640 = j + f*j + 2*c. Does 22 divide j?
True
Let d(g) = g**3 - 2*g**2 - 2*g. Let p be d(0). Let t be (-1 + 0)*(-5 + 1). Suppose -2*z + 8 + 0 = p, 5*j - t*z = 324. Does 21 divide j?
False
Let b = -1342 + 4254. Is b a multiple of 56?
True
Let w = 52 + -50. Suppose 3*k - 9 = 0, w*d - 5*k = -4 - 11. Suppose 3*h - 381 = -3*f, f + 0*f + 2*h - 124 = d. Does 9 divide f?
False
Let o(r) = 76*r**2 + 3*r + 6. Let l be o(-3). Suppose -5*q + c - 1152 = 0, -l = 9*q - 6*q - 4*c. Let b = -90 - q. Is 7 a factor of b?
False
Let y = -20 + 676. Let k = 1439 - y. Is 42 a factor of k?
False
Let r(n) = 2*n**3 + n**2 - 6*n - 5. Let z be r(0). Let l(j) be the first derivative of j**4/4 + 10*j**3/3 + 3*j**2 + 12*j - 1. Is l(z) a multiple of 23?
False
Let k(l) = -5*l**3 - 5*l**2 - 19*l - 44. Let n be k(-3). Suppose -f + u = f + 120, 2*u = 4. Let w = f + n. Is w a multiple of 4?
True
Let f be (3/9)/(15/45). Let p(h) = 401*h - 29. Does 9 divide p(f)?
False
Suppose 3*x + 185 = o - 0*x, o + 5*x = 185. Suppose 12*u = 19 + o. Suppose -95 = -3*z - u. Is z a multiple of 7?
False
Let f(z) = 2*z**2. Let t be f(-1). Suppose -t*w = -r + 4*r - 20, 0 = 3*w - 3*r. Suppose 2*k - 4*k + 178 = 5*q, -5*k = -w*q - 412. Is k a multiple of 21?
True
Let r(s) = s + 2. Let j(l) = 15*l. Let c(w) = -j(w) + 18*r(w). Is c(8) a multiple of 8?
False
Suppose -5*d + b = -5004, 0 = -2*d + 3*b + 543 + 1469. Is 4 a factor of d?
True
Let k(m) = m**3 + 12*m**2 - m - 6. Let p(j) = j**3 - 20*j**2 - 23*j - 4. Let y be p(21). Let i = 34 + y. Is 6 a factor of k(i)?
True
Let a = -3370 + 4406. Is 7 a factor of a?
True
Let j(l) = -8*l**2 - 21*l - 2*l**2 + 467*l**3 - 466*l**3 - 18. Let u be j(12). Suppose 492 = -14*r + u*r. Does 41 divide r?
True
Let c(t) = -3*t**3 - 364*t**2 + 579*t + 229. Is c(-123) a multiple of 5?
False
Is 44 a factor of (-2)/32*-116*1936?
True
Suppose -5*n - 738 = -23*n. Suppose -48*t + n*t + 1652 = 0. Is t a multiple of 8?
False
Suppose 35*p + 34 = 37*p - 4*w, -w = 2*p - 29. Suppose 5*j + 24 = s + 4*j, -4*s = -2*j - 90. Let h = p + s. Is h a multiple of 9?
True
Let s = 156 + -35. Let a = -207 + 147. Let t = a + s. Is 11 a factor of t?
False
Let p = -32 - -316. Suppose 10*l - p = 3356. Does 18 divide l?
False
Suppose 569 = 8*p - 1415. Suppose 0 = -243*i + p*i - 3520. Does 44 divide i?
True
Suppose -b - q + 1 = 0, -2*b = -7*q + 11*q. Suppose -28 = -b*f + 1282. Is f a multiple of 17?
False
Let h = 152 - 144. Is (8 + h)/(-2) + 575 a multiple of 63?
True
Suppose 5*t + 5*b - 4 = b, 12 = 4*t + b. Suppose -2*d - 6 = t, 0 = -5*i + d + 30. Suppose -311 = -4*h + i*j, 0 = -2*h + 5*h - 2*j - 235. Is h a multiple of 20?
False
Let h = -152 - -154. Suppose -3 - 25 = -h*m. Is 9 a factor of m?
False
Let a = 172 + -148. Suppose 2*i - 16 = 12*d - 10*d, 0 = 3*i + d - a. Is 4 a factor of i?
True
Suppose -20*g - 3984 = -884. Let b = -75 - g