= -2*p, 3*p + 3*d - 129 = x. Is 6 a factor of p?
False
Let v = 91 + -10. Suppose 0 = d - v. Does 27 divide d?
True
Suppose 416 - 18 = 2*r + 4*u, -1019 = -5*r - 4*u. Is r a multiple of 9?
True
Let j(a) = -2*a**3 - 7*a**2 - 6*a + 3. Suppose -5*c + 8 + 12 = 0. Suppose 1 = c*m + 21. Is j(m) a multiple of 23?
False
Suppose 0 = -5*o + 9*o - 16. Suppose 0*w = -3*w. Suppose -o*f - 48 = -4*b, -51 = -w*b - 5*b - 4*f. Does 11 divide b?
True
Let d be 2 - (1 + 69)/(-1). Let x(r) = r**2 + 2*r - 2. Let i be x(2). Suppose 0 = -i*w + 2*w + d. Does 4 divide w?
False
Suppose 15*m + 144 = 3024. Does 18 divide m?
False
Let c(x) = -x**3 - 23*x**2 - 28*x + 19. Let n be c(-20). Is (-16)/(-88) - n/33 a multiple of 5?
False
Let a(g) = -4*g + 7. Let l be a(-8). Let b = l + -21. Suppose 0 = -5*v + 43 - b. Is 2 a factor of v?
False
Let w(k) = 8*k + 1. Let r(u) = -u**3 - 4*u**2 - 4*u - 1. Let z be r(-3). Let q(x) = x**3 - 2*x**2 + 2*x - 3. Let l be q(z). Does 4 divide w(l)?
False
Let u be (-29 + -17)*(-6)/(-4). Let j be -42 - 2*1/(-2). Let s = j - u. Is 14 a factor of s?
True
Is 45 a factor of 140 + (-5 - (3 - 3))?
True
Let a = -62 + 112. Let q = a - -48. Does 14 divide q?
True
Let c = 1747 - 978. Is 3 a factor of c?
False
Suppose 5*v = -2*f + 200, -4*f - 108 - 52 = -4*v. Suppose 3*g = g - v. Is 3 a factor of 5/(g/18)*-2?
True
Let t = -34 + 40. Let l = 231 + -134. Suppose 241 = t*u + l. Is 3 a factor of u?
True
Suppose -5*y - 16 = -3*f - 401, 0 = 4*y - 5*f - 295. Is 10 a factor of y?
True
Suppose 8 = -0*g + 3*g - 4*b, 2*b = 5*g - 4. Suppose -h = -g*h - 18. Is h a multiple of 4?
False
Let x(z) be the second derivative of z**4/12 - z**3 - z**2/2 + 5*z. Let g be x(-5). Suppose -4*a - 4 = -24, g = b + 2*a. Is b a multiple of 19?
False
Let k(j) = -j + 11. Let p be k(8). Suppose 3*u = -p*a + 30, -3*a - 2*u = -2 - 32. Is 2 a factor of 4/a + (-340)/(-35)?
True
Let o(j) = -2*j + 21. Let z be o(0). Let q be 27*(-3 + z/9). Let n = -6 - q. Is 3 a factor of n?
True
Let j(c) be the first derivative of c**3/3 - c**2 + 10*c - 4. Let p be j(9). Let h = p - 33. Is h a multiple of 10?
True
Let b(m) = 618*m**3 + 5*m - 3. Does 20 divide b(1)?
True
Is 24 a factor of 16/20*1709 - 12/(-15)?
True
Let u be 6/(-33) - 12152/(-44). Let o = 413 - u. Suppose -2*y = -o + 29. Is 16 a factor of y?
False
Let u be 3/1 - -3 - 4. Suppose -2*k - 2*m - u*m = -352, -3*m = 2*k - 351. Is k a multiple of 26?
False
Let n be (-185)/2*12/15. Is 14 a factor of 1*(0 - 4) - n?
True
Let p = 114 - 119. Is -344*1/(p - -3) a multiple of 7?
False
Let m = -270 - -482. Does 26 divide m?
False
Let m(u) = u**3 + 2*u**2 - u + 1. Let b be m(-2). Suppose 3*p - 152 = 19. Suppose 2*o + 2*k + 67 = b*o, -o + p = 3*k. Is o a multiple of 14?
False
Let x = 83 + -58. Does 35 divide 1956/15 - 10/x?
False
Let t(w) = 44*w + 48. Does 50 divide t(8)?
True
Is 47 a factor of 50495/15 - 4*(-5)/(-60)?
False
Suppose 16*u = 22*u - 576. Suppose 53*k = 47*k + u. Does 8 divide k?
True
Let h = -5 + 7. Suppose k + h = -2*x, -4*x + 0*x - k = 2. Suppose -3*f + l + 99 = x, 2*f + 2*l + 24 = 98. Is f a multiple of 12?
False
Let i = -6 + 12. Suppose j = -14 + i. Let z = j - -18. Is z a multiple of 5?
True
Let z = 232 - 106. Does 44 divide z?
False
Let i(v) = -v**3 - v**2 + 20*v - 4. Does 24 divide i(-10)?
True
Suppose 5*n + 1363 + 822 = 0. Let l = n - -747. Suppose l = 5*o - 5*w, -o + 3*w = -w - 77. Is o a multiple of 19?
True
Let a(s) = s**2 - 15*s + 54. Is a(22) a multiple of 6?
False
Suppose 7*d - 37*d = -40500. Is d a multiple of 27?
True
Let k be (-30)/20*(-86)/3. Suppose -r + 17 = -p, -r - k = 2*p - 0*r. Let h = 60 + p. Does 8 divide h?
True
Suppose 6*v = 13*v - 560. Does 5 divide v?
True
Let b(h) = -58*h - 87. Is 11 a factor of b(-7)?
True
Suppose -2*a = -2*i - 196, a + 2*i - i = 106. Suppose -3*h = h - 2*t - a, -2*h = -5*t - 47. Is 22 a factor of h?
False
Suppose -10*o + 696 = -564. Is o a multiple of 9?
True
Let f be (-640)/(-45) + 6/(-27). Let u(m) = -m**2 + 16*m + 17. Does 15 divide u(f)?
True
Suppose -10*a + 15*a = -45. Is ((0 - 2) + -43)*3/a a multiple of 10?
False
Suppose 0 = -7*x + 8*x + w - 692, 3*x - 2064 = 3*w. Does 15 divide x?
True
Let y(l) = 4*l**3 - 3*l**2 + 5*l. Is y(7) a multiple of 70?
True
Let d(r) = r**3 + 14*r**2 - 19*r + 60. Is d(11) a multiple of 33?
False
Let z = 69 + -33. Suppose -5*p + 106 = -2*p + 5*v, z = p + 2*v. Is 4 a factor of p?
True
Let j be 87 + (-4)/(16/(-12)). Suppose 5*q - 2*q + j = 0. Let v = q - -43. Does 12 divide v?
False
Is 23 a factor of 10/(-16)*(-444)/(-30)*-276?
True
Let z(v) = -v**2 - 24*v - 115. Is z(-9) a multiple of 5?
True
Let k(j) be the first derivative of -j**6/360 + 2*j**5/15 + 11*j**4/24 + j**3/3 + 2. Let m(n) be the third derivative of k(n). Does 17 divide m(8)?
False
Let d be 8/20 + (-7)/5. Let f(u) = -81*u - 9. Is f(d) a multiple of 9?
True
Let n(k) = k**2 - 5*k - 9. Suppose -3*b - c - 13 + 4 = 0, 0 = -2*b - c - 6. Does 5 divide n(b)?
True
Suppose -5*r = 5*v - 250, 197 = 4*v - 0*v + r. Suppose -m + v = 6. Is m a multiple of 22?
False
Suppose -5*l - 3*t + 1958 = 0, -3*l - t = -951 - 227. Is 16 a factor of l?
False
Let j(p) be the third derivative of p**5/30 - p**4/12 - p**3 - 4*p**2. Is 8 a factor of j(5)?
False
Suppose 3546 + 7674 = 17*f. Is f a multiple of 60?
True
Let x = 51 - 49. Suppose -5*k + 2*y + 424 = 0, 3*k + x*k = 3*y + 426. Does 13 divide k?
False
Suppose 4*d + 8*d - 6696 = 0. Is 31 a factor of d?
True
Let q = -1412 - -1483. Is q a multiple of 13?
False
Suppose 2*a = -76*a + 204360. Is 44 a factor of a?
False
Let m be 24/9*9/6. Suppose -20 = -r - 3*r. Let t = r + m. Is t a multiple of 8?
False
Let z be (-66)/(-2) - (0 + (-1 - -1)). Suppose 0 = 5*g - 3*y - 137, g = -y + z - 4. Is g a multiple of 21?
False
Let c(l) = 2*l**2 + 21*l + 396. Is 11 a factor of c(0)?
True
Suppose -49 = 5*s - 29. Does 7 divide (s - -8)*(6 - 0) + -2?
False
Let f be (-1)/4 - 590/8. Let r be 2/(2 - 226/114). Let m = f + r. Is m a multiple of 10?
True
Let q = 48 + -40. Suppose 35 = q*n - 189. Is 14 a factor of n?
True
Let r(y) be the first derivative of y**3/3 - 94*y - 6. Let q be r(0). Let g = 151 + q. Is g a multiple of 16?
False
Let p(g) = -g**2 - 32*g + 16. Is 29 a factor of p(-17)?
False
Suppose -6*c + c - 405 = 0. Let u = c + 189. Is (-1)/(0 - 3/u) a multiple of 14?
False
Suppose 0 = a - 3 - 2. Let j = a + -5. Suppose 5*z - 4*z - 23 = j. Is z a multiple of 5?
False
Let q(j) = -j + 5. Let c be q(3). Let w be (c + -1)*(-10 + 2). Let x = 65 - w. Does 20 divide x?
False
Let y(q) be the first derivative of -1/2*q**2 - 7 - 2*q. Is y(-5) even?
False
Let j = 2 + -4. Suppose 0 = -3*l - 12*l - 45. Is (3 - -11)*l/j a multiple of 21?
True
Let j(b) = -30*b. Let n(v) = 2*v**3 - v - 1. Let y be n(-1). Is 5 a factor of j(y)?
True
Suppose 0 = -14*t + 30*t - 3808. Is t a multiple of 14?
True
Suppose 0 = -x - 5*c + 148, -c = -2*x - 2*x + 676. Suppose -57 = -2*m - 5*p, -3*m + 4*p - x = -8*m. Does 9 divide m?
True
Does 31 divide (-76)/(-24) + -3 - (-4461)/18?
True
Suppose 4 = -4*j - 3*c + 5*c, -2*c = j - 9. Suppose -n - 3*u - j = -107, -5*n + 497 = 4*u. Is n a multiple of 6?
False
Let b(x) = 2*x**2 - 4*x + 13. Is b(5) even?
False
Let p be (-2)/(1/((-70)/4)). Suppose p*n = 33*n + 100. Is n a multiple of 25?
True
Let n(m) = m**3 + 10*m**2 - 25*m - 15. Let f be n(-12). Let s be (-15800)/(-60) + (-2)/f. Suppose 7*k + 40 = s. Does 8 divide k?
True
Let z(f) = 2*f**2 + 4*f - 2. Let x be z(4). Suppose -2*h + 50 = 3*w, w - x = -2*w + 2*h. Suppose -4*q = -w - 92. Does 10 divide q?
False
Suppose 31*o - 5027 - 4459 = 0. Does 3 divide o?
True
Suppose 44 = -2*s + 6*s. Suppose 0 = s*d - 14*d + 606. Is 21 a factor of (d/3)/((-4)/(-6))?
False
Let q be 4/2*21/(-42). Let i(s) = -39*s**3 + 1. Is i(q) a multiple of 40?
True
Let p(n) = -49*n + 23. Let a(h) = -97*h + 47. Let j(r) = -6*a(r) + 11*p(r). Is 25 a factor of j(3)?
True
Suppose 417 = -8*b + 1465. Does 5 divide b?
False
Suppose -5433 - 8987 = -5*o. Is 2 + (-12)/5 + o/35 a multiple of 20?
False
Let l(k) = 9*k**2 + 12*k - 15. Is l(16) a multiple of 44?
False
Let v(z) = 15*z**3 + 23*z**2 - 11*z + 3. Let o(q) = 5*q**3 + 8*q**2 - 4*q + 1. Let c(d) = -17*o(d) + 6*v(d). Let h be c(-1). Is 2*(-4)/h - -49 a multiple of 17?
True
Let k be 1 + 2*-2 + 14 + -8. Suppose k*n + 360 = 13*n. Is n a multiple o