 - 49. Does 6 divide p?
False
Let r = -19440 + 36071. Is 98 a factor of r?
False
Is 15 a factor of 31140/((-56)/(-26) - (-316)/(-2054))?
True
Let m(a) = -a**2 - 8*a + 9. Let h be m(-8). Suppose 7*w = 4*w - h. Does 10 divide (108/(-8))/(w/(-56)*-2)?
False
Let r = -9286 + 14434. Is r a multiple of 44?
True
Let o(s) = 10*s**2 + 14*s + 194. Does 125 divide o(-11)?
True
Suppose d = 6*d - r - 13, -r = -2. Suppose 5*u + 11 = 4*u + 5*z, 43 = d*u + 4*z. Does 2 divide u?
False
Let k(f) = f**3 - f**2 + 3*f. Let j be k(3). Suppose 0 = 17*v + 17 - 34. Does 8 divide j + -4 + v + -1?
False
Let s be (-1)/(-3) - (80/(-12) + 4). Let l be (s - 3/3) + (-705)/(-3). Suppose -274 = -4*j + 4*n - 30, 3*n = -4*j + l. Is 12 a factor of j?
True
Let u = -6847 - -8915. Is u a multiple of 11?
True
Let s(r) = 75*r**2 + 45*r + 55. Does 35 divide s(18)?
True
Let j(n) = 474*n**3 + n**2 + n - 1. Suppose -18*d + 7*d + 11 = 0. Is j(d) a multiple of 18?
False
Suppose -579 = -6*a - 3. Suppose 0 = 3*w + 39 + a. Let l = -32 - w. Is 13 a factor of l?
True
Let p(y) = 88*y**2 - 23*y + 90. Is 13 a factor of p(8)?
True
Let g be -1*(-1)/2 + 22/(-4). Let o(q) = -3*q - 13. Let n be o(g). Does 11 divide (150 + 4 - n) + -1*3?
False
Let o = 608 + -411. Suppose f - 5*n - o = 0, f + 0*f - n = 185. Is f a multiple of 7?
True
Let k(a) = 2894*a**3 - 4*a**2 + 31*a - 27. Does 10 divide k(1)?
False
Let w = 2910 - 1225. Does 11 divide w?
False
Let h(n) = -2*n - 6. Let q be h(-7). Suppose 0 = -2*d + 4*z - 2*z, -4*z = d - 10. Suppose d*y = -q*y + 1400. Is 26 a factor of y?
False
Suppose -2*f + 21299 = 5*u - 12551, -u + 6770 = -f. Is u a multiple of 72?
False
Suppose -3*u + 2889 = -3*j, -2*u + j + 1956 = 5*j. Let y = 1442 - u. Does 47 divide y?
False
Let a(x) = 3*x**2 + 3. Let d be a(4). Let r(i) = 11*i**2 - 7*i + 14. Let t be r(3). Let n = t - d. Does 41 divide n?
True
Let y = 466 + -18. Let c = y + 133. Is 83 a factor of c?
True
Suppose -5*c = -4214 + 109. Let z = c - -40. Suppose -4*t - z + 2373 = 0. Does 63 divide t?
True
Suppose 5*f - 1115 - 1017 = 3*b, -f + 430 = 3*b. Let n(s) = 2*s**3 - 2*s**2 + 7*s - 9. Let g be n(6). Suppose -10*y = -g - f. Is 6 a factor of y?
False
Let y(z) = -5*z**2 - z**2 + 2*z**2 + 10*z - 2*z**3 + 2*z**2. Let k be y(7). Is k/(-7) - (2 - 0)/2 a multiple of 39?
False
Suppose -76813 + 1431958 = 191*o. Is o a multiple of 18?
False
Suppose 420*k + 379*k - 497475 = 772*k. Is k a multiple of 98?
False
Suppose 3*b + 24*a = -0*b + 639, 2*a + 1443 = 5*b. Does 15 divide b?
True
Suppose -41*d = -18243 - 41633 - 28684. Is 8 a factor of d?
True
Let r(f) = 6*f + 4. Let l be -15*4*(-1)/(-4). Let z = l - -20. Is r(z) a multiple of 8?
False
Let n = -33173 - -53531. Does 58 divide n?
True
Let h(c) = -4*c + 22. Let s be h(5). Suppose r - s*n = -10, n = -4*n + 20. Is (108/21)/(r/(-35)) a multiple of 6?
True
Let b be (-1 + 1)/(-12 + 16). Suppose -5*z - 128 = -r + 27, -5*r - z + 853 = b. Does 24 divide r?
False
Suppose -3703087 - 1215018 = -472*a + 3646335. Is a a multiple of 19?
True
Suppose -8*b = -13*b + 225. Let o = -78 + b. Let y = -8 - o. Does 22 divide y?
False
Suppose 0 = 5*c + 5*w - 11300, -1313*c + 3*w + 4525 = -1311*c. Is c a multiple of 74?
False
Let i = -7 - -38. Let v = -45 + i. Let x(n) = -n**2 - 20*n + 11. Is 19 a factor of x(v)?
True
Let m(d) be the second derivative of -7*d**5/20 - d**4/12 - d**3 - d**2/2 + d. Let l be m(-3). Is 14 a factor of l/3 - (3/(-9) + 1)?
False
Let a(t) = 5*t - 35. Let w(c) = -2*c**2 + 9*c + 9. Let y be w(4). Does 5 divide a(y)?
True
Suppose 0 = -4*x + 3*a + 1509, 5*a + 462 + 1037 = 4*x. Let t = x - -1458. Is t a multiple of 33?
False
Let b(g) = 45*g**2 - 2*g + 5. Let a = 16 - 65. Let k be (4/14)/(7/a). Is 21 a factor of b(k)?
True
Let p = 6 - 1. Suppose 3*y + 4*d + 69 = d, 0 = p*d. Let u = y + 33. Is u even?
True
Suppose -4 = 2*u - 2, -k = -3*u - 8. Suppose -2*r + 9 = -7*r - 3*o, 2*r - k*o - 15 = 0. Suppose s = -r*z - 3*z + 267, 4*z = 4*s + 356. Does 16 divide z?
False
Let g = 17897 + -12579. Is 57 a factor of 10 + (-192)/20 + g/5?
False
Let p = 54 - 48. Let s = 55 + p. Let b = s + -52. Does 9 divide b?
True
Is 25 a factor of 13798 - (-3 + (-24)/(3 - 9))?
False
Let x(z) = 7*z**3 - 6*z**2 - 7*z + 10. Let u(t) = t**3 + 20*t**2 + 16*t - 54. Let j be u(-19). Is x(j) a multiple of 11?
False
Let c(n) = n**3 + 4*n**2 - 5*n + 4. Let d be c(-5). Suppose 4*q - 4 = 3*q, 0 = 3*u + d*q - 193. Let s = 32 + u. Is s a multiple of 13?
True
Suppose -s - 210 = 2*t - 18, 4*s - 8 = 0. Let b = 58 + t. Let h = 57 + b. Is h a multiple of 9?
True
Suppose 5*x + 31 = 151. Let s be (-9)/(-4)*32/x. Suppose -s*i - 7*n + 3*n = -47, 2*n = 3*i - 17. Is 3 a factor of i?
True
Let k = 24 + -17. Suppose -k*o = -3*o. Suppose -3*j + 253 = 5*m, o + 8 = 4*m. Does 27 divide j?
True
Let q(w) = w**2 + 26*w - 155. Let z be q(-31). Suppose 2*a + 4*b - 5*b = 238, -a + 4*b + 133 = z. Is a a multiple of 62?
False
Let m be (0 + -15)/(75/(-175)). Is 5 a factor of 686/m*(-2)/4*-5?
False
Suppose 14*s = 4*s - 30. Let a be s/((-9)/6) + -12. Is (-6)/a*(-40)/(-1 - 3) even?
True
Suppose -h = -2*l - 990, -2*l = 4*h - 581 - 3349. Let x be (20/6)/(16/h). Suppose 8*w - x = 3*w. Is 16 a factor of w?
False
Let m = 72 + -410. Let i = m + 506. Is 14 a factor of i?
True
Suppose 0 = 2*y + b - 10, 16 = 4*y + 3*b - 4. Suppose s = 3 - y, s + 167 = 5*a. Is a a multiple of 4?
False
Let h(z) be the third derivative of -z**8/20160 + z**7/240 - 73*z**6/720 - 5*z**5/12 - 3*z**2. Let c(j) be the third derivative of h(j). Does 2 divide c(15)?
False
Suppose -22*q - 11*q = -14*q - 579823. Does 158 divide q?
False
Suppose 0*m + 19 = 3*j + 4*m, -3*j - 3*m = -21. Let a be j - 11 - (0 - 1). Is 3/2 + a + (-143)/(-2) a multiple of 20?
False
Suppose -6*i + i = -125. Let y = i + -22. Suppose -2*p - k = -428, 2*p - y*k = -2*p + 856. Is 18 a factor of p?
False
Suppose -33*a + 3*a = 1350. Does 15 divide 3/(a/40)*(-1407)/14?
False
Let x be 6*1/4 + (-14)/28. Is x/((-1335)/(-665) + 3 + -5) a multiple of 13?
False
Let t(b) = -2*b**3 - 20*b**2 + 23*b - 54. Is 50 a factor of t(-16)?
True
Let w(h) = -5*h**2 + h + 20. Let a be 1/(21/(-24)*10/(-35)). Let v(y) = -11*y**2 + 3*y + 40. Let l(c) = a*v(c) - 9*w(c). Does 11 divide l(11)?
False
Suppose 3*y = -5*p + 11058, -5*p = -8*y + 10*y - 11062. Is 9 a factor of p?
True
Let s(v) = -56*v - 27. Let b be s(-1). Let f(d) = d**3 + d**2 + 5*d - 4. Let n be f(3). Let l = n - b. Is 18 a factor of l?
True
Let y(n) be the second derivative of 7*n**4/12 - n**3/2 - 3*n**2 - 10*n - 7. Does 2 divide y(-3)?
True
Let f(k) = 505*k**2 - 10*k. Is 11 a factor of f(4)?
False
Let x(i) = 5*i**2 + 10*i + 4. Suppose -a - t - 37 = 4*t, -2*a + 2*t = 14. Is x(a) a multiple of 25?
False
Suppose 4*g - 9*i + 12*i - 2602 = 0, 2*i = g - 645. Suppose 10 = -2*o, 0 = -2*p + 3*o - 2*o + g. Is 23 a factor of p?
True
Let b = -940 + 594. Is (17/8 + -2)*-4*b a multiple of 16?
False
Let c(m) = -m**2 + 304*m + 379. Is 7 a factor of c(0)?
False
Let z(q) = -q**2 - 28*q + 30. Suppose -a + 60 = -2*x, -5*x + 3*a - 144 = 2*a. Is z(x) a multiple of 23?
False
Suppose 8*m - 1295 = -151. Let v = 377 - m. Is v a multiple of 26?
True
Let r = 1523 - 872. Is 6 a factor of r?
False
Let g be (-4)/(-6)*6/4. Let w(p) = -435*p - 4. Let b be w(g). Let l = b - -664. Is 45 a factor of l?
True
Let c be (2*(-15)/4)/((-9)/(-12)). Let z = 18 - c. Does 4 divide z?
True
Suppose 239*n + 232*n = 499*n - 63980. Is n a multiple of 5?
True
Suppose -v + 3*m - 5*m + 61 = 0, -m + 56 = v. Suppose -l + w + 11 = 0, -56*w - 40 = -4*l - v*w. Does 3 divide l?
True
Let r = 2714 + -1972. Does 7 divide r?
True
Does 152 divide (0 - (0 + 111))*1791/(-27)?
False
Let l(u) = -u**2 - 24*u - 133. Let j be l(-9). Suppose 0 = 2*h - j*w - 1478, -5*w = 5*h - 3*w - 3695. Is h a multiple of 12?
False
Let s(n) = -n - 18. Suppose -4*b - 2*a = 68, a = -2*b + b - 18. Let w be s(b). Does 9 divide 12/w*(-225)/30?
True
Let r(i) = i**2 + 16*i + 56. Let q be r(-4). Let t(j) = 30*j - 36. Does 33 divide t(q)?
False
Suppose 202134 = -33*w + 648606 + 787167. Does 26 divide w?
False
Suppose 5918 = 6339*v - 6328*v. Is v a multiple of 40?
False
Let o(j) = j**3 + 3*j**2 - j - 22. Let h(i) = -4*i**3 - 13*i**2 + 4*i + 87. Let c be 1/(2 - 2 - (-5)/(-10)). Let f(q) = c*h(q) - 9*o(q). Is f(0) even?
True
Suppose 119792 = 12*m 