z = -3*a - 28. Let b(d) = d**3 + 13*d**2 - 15*d. Is b(a) a multiple of 7?
True
Let u be 720/88 + -8 - 2526/(-22). Suppose -3*c - 4*w - 17 + u = 0, -4*c + 84 = -4*w. Does 17 divide c?
False
Let d(j) = 2*j**3 - 2*j**2 + 2. Let k be d(2). Let y(a) = -a + 11. Let p be y(k). Does 29 divide 50 - (p + -4)*1?
False
Let s be 132/21*-64 - (-8)/28. Let a = -270 - s. Does 12 divide a?
True
Suppose s - 74 + 2 = 0. Suppose -5*h = 272 - s. Let y = h + 56. Is y a multiple of 16?
True
Let a be ((-24)/10)/(15/(-200)). Suppose 0*s = -2*s + a. Suppose 0 = 4*j - s + 4. Is j even?
False
Let d(o) = -o**2 + 46*o + 39. Is 19 a factor of d(44)?
False
Suppose -6*h - 623 = -13*h. Suppose j - 100 = -2*z, j = -5*z + 14 + h. Is j a multiple of 14?
True
Suppose n - 3*i - 147 = 0, 3*n + 2*i + 598 = 7*n. Suppose -w = 4*w - n. Let h = -18 + w. Is h a multiple of 9?
False
Suppose a + 12 = -3*a. Is 209/4 - a/(-12) a multiple of 15?
False
Let j(g) = g**3 - 8*g**2 - 8*g - 4. Let o be j(9). Suppose -1020 = -5*p - o*v, 3*v + 253 = p + 69. Is 35 a factor of p?
False
Let w be -4 + -79 - (1*-2)/(-2). Is 3 a factor of (w/10)/((-24)/60)?
True
Suppose 0 = -5*n + 4*k - 5681 + 14153, -4*n + 2*k + 6780 = 0. Does 45 divide n?
False
Suppose -5*v + 6*v = -3*n + 237, n - 87 = -3*v. Is 3 a factor of n?
True
Let y(l) = l**3 - 3*l**2 - 9*l + 6. Let r be y(4). Does 5 divide 105/r*4/(-3)?
True
Let a = 9 + -11. Let v be ((-208)/12)/(a/33). Suppose v = 5*c - 0*b + 3*b, -5*b + 44 = c. Is c a multiple of 23?
False
Let l(d) = -d**3 + 4*d**2 + 2*d - 7. Let o be 2/(4/20*2). Let w be l(o). Does 17 divide (-4)/w + (-3015)/(-55)?
False
Let w(i) = i**2 + 2*i - 40. Let r(o) = o**2 + o - 41. Let c(p) = 4*r(p) - 3*w(p). Is c(15) a multiple of 17?
False
Let p(d) = -3*d + 12. Let v(b) = 1. Let t(x) = -p(x) + 3*v(x). Does 6 divide t(11)?
True
Let l(s) = -5*s**2 - s. Let o be l(1). Let h = o - -78. Does 12 divide h?
True
Let b be (1/3)/(2 - 86/42). Let v(f) = f**2 + f. Does 21 divide v(b)?
True
Suppose 18*z - 315 = 23*z. Let g = 88 + z. Suppose 0 = u + 5*j - 9 - g, -5*u + 86 = 4*j. Does 5 divide u?
False
Is 47 a factor of ((-261)/(-12) - -3)/(9/48)?
False
Let g be (6/(-6))/(3/(-21)). Suppose g*t - 60 = 45. Is 3 a factor of t?
True
Let s = 77 - 72. Suppose -4*r + h = -292, 2*r - 29 = s*h + 135. Is 11 a factor of r?
False
Let p(a) be the second derivative of a**3/6 + 31*a**2/2 + 16*a. Is 21 a factor of p(-10)?
True
Let s = 88 + 693. Is 14 a factor of s?
False
Let q(z) = -z + 1. Let b be q(-1). Let j(a) = -a**2 + 7*a - 4. Let f be j(5). Suppose -b + 98 = f*t. Does 16 divide t?
True
Let m(y) = -y**3 + 5*y**2 + 9*y - 7. Let j be m(6). Let n = j - 0. Is 7 a factor of n?
False
Let y(l) = 2*l + 21. Let k(d) = -d**2 + 9*d - 3. Let j be k(6). Let x be ((-54)/j)/((-2)/(-5)). Is y(x) a multiple of 2?
False
Let j(s) = 5*s**2 - 35*s + 10. Is j(14) a multiple of 25?
True
Suppose 77*b - 81*b = -80. Suppose b = -4*p + 68. Does 12 divide p?
True
Let f = 820 - 513. Is f a multiple of 65?
False
Suppose -5*j + 6*j + 3*p = 6, -2*j = -4*p + 38. Is 15 a factor of j*2*100/(-30)?
True
Let c(y) = -382*y + 32. Is c(-1) a multiple of 27?
False
Is (1 + 0)/(40/920) a multiple of 16?
False
Let a = 682 - 380. Suppose -5*l = 3*b - 754, -3*b = -2*l + 8 + a. Let r = -76 + l. Does 9 divide r?
False
Let g(p) = -p. Let y be g(-5). Suppose 3*j = -b + 44, 5*b - b + y*j - 155 = 0. Is 5 a factor of b?
True
Suppose 59 + 2341 = 6*k. Is 50 a factor of k?
True
Suppose -729 - 9071 = -7*n. Is n a multiple of 28?
True
Suppose 0 = -p - 4*w + 29, -2*p - p + 37 = 2*w. Suppose 2*z - 4*i - 17 - p = 0, 2*i - 8 = 0. Does 7 divide z?
True
Suppose 0 = 3*l + 3*r - 156, 2*r - r = 5*l - 284. Is 4 a factor of l?
True
Let h be (-3)/(-3 - (1 - 3)). Does 22 divide 5/(20/284) + h?
False
Suppose -2*h + 162 = q, 4*h + 0*q - 316 = 2*q. Suppose -3*f + 5*f - h = 0. Does 20 divide f?
True
Let c = 5 - -2. Suppose 0 = -o - 4*h + 11, 4*h - 2 = 6*h. Let t = o - c. Is 8 a factor of t?
True
Let n = 376 - 366. Is 10 a factor of n?
True
Let g(a) = 568*a**2. Does 11 divide g(1)?
False
Let h = -401 - -626. Does 15 divide h?
True
Suppose 43*i = 61*i - 4698. Does 43 divide i?
False
Suppose 0 = -118*x + 115*x + 2439. Is 15 a factor of x?
False
Let a be 74/4 + 1/(-2). Suppose 0 = -4*b, -5*b - 13 - 2 = -5*w. Suppose w*u - a = 39. Does 5 divide u?
False
Suppose -p - 2*p = -2*l + 7, 4*l - 2*p = 10. Suppose l*b = -0*b + 4*v + 106, 4*b + 2*v = 172. Does 15 divide b?
True
Let o(a) = -a**2 - 19*a - 10. Let h be o(-19). Let l(m) = -m**3 - 8*m**2 + 7*m + 24. Is 31 a factor of l(h)?
False
Suppose -19*h = 1117 - 5563. Does 39 divide h?
True
Let d be (48/(-3))/(1/(-22)). Let i = -179 + d. Is i a multiple of 22?
False
Let u(r) = -5*r + 15 - 3*r**2 + 4*r + 25. Is u(0) a multiple of 26?
False
Suppose -6*o + 4 = -7*o + 2*t, 4*o + t - 11 = 0. Suppose -z + o*w + 2*w = -80, -266 = -3*z - w. Is z a multiple of 44?
True
Let j(h) = -6*h**2 - 1 + 8*h**2 - h**2 - 9 + 3*h. Is j(-7) a multiple of 9?
True
Let w(g) = -g**3 - 7*g**2 + 1. Let q be w(-7). Suppose -q + 0 = -x. Is 22 a factor of (x + 5)*(16 - 5)?
True
Let k(r) = -4*r**3 - 16*r**2 + 21*r + 98. Is 15 a factor of k(-8)?
False
Let y = -2818 + 4033. Does 3 divide y?
True
Suppose -6*u + 1848 = -28*u. Let o = u - -119. Is o a multiple of 3?
False
Let y = 0 + 12. Let l be (-2)/y - 586/12. Let d = 83 + l. Does 17 divide d?
True
Suppose -475*p + 70710 = -460*p. Is p a multiple of 50?
False
Suppose 3*o - 45 = -0*o. Suppose o = 3*u - 99. Is 17 a factor of u?
False
Let u(b) = b**3 + 20*b**2 - 73*b - 30. Is u(-15) a multiple of 15?
True
Let s be (-1 - 1)/(1 + 1). Let r be s + -7 + -2 + 2. Is 2/(-4) - 340/r a multiple of 20?
False
Let t = 2 - -4. Let a be ((-2)/(-6))/(t/144). Is 15 a factor of (-118)/(-4) + 12/a?
False
Does 25 divide 612/6 - (-5 - -3)?
False
Let j(c) = -2*c + 17. Let d be j(7). Suppose d*k - 21 = -15. Is 17 a factor of 62 + -7 - k*2?
True
Let v(r) = -15*r**3 - r - 2. Let b be v(-1). Let t(f) = f**3 + 5*f**2 - 6*f + 2. Let p be t(-6). Suppose p - b = 4*c, 2*c + 321 = 5*x. Is 16 a factor of x?
False
Suppose -8*j + 5050 = -1142. Does 9 divide (3/3)/(-2 - j/(-386))?
False
Suppose -4*t - 6*i + 2*i = 8, -i = -t - 8. Is (t - -1)*2/(2/(-1)) a multiple of 2?
True
Let l = -10 + 27. Is 20 a factor of l*(-8)/(4/(-4))?
False
Let j(m) = m**2 + m - 12. Let o be j(-4). Let r(f) = -f - 4. Let v be r(-6). Suppose w - v - 10 = o. Is w a multiple of 4?
True
Suppose -9*r - 8 + 44 = 0. Suppose -4*g + 4*p = -1416, r*g - p - 1410 = -0*p. Does 16 divide g?
True
Let b(i) = 2*i**2 - 5*i - 9. Is b(-19) a multiple of 12?
False
Let t be (16/(-2))/(1 + -3 + 0). Suppose 2*h + 40 = t*h. Does 4 divide h?
True
Suppose -2*c + 5*c - 4*q = -14, 12 = -3*c + 3*q. Is (0 + 1*-62)/c a multiple of 7?
False
Suppose 2*o + 20 = 8. Let q = 13 - o. Is q a multiple of 4?
False
Let g = 699 + -49. Does 13 divide g?
True
Let j = 213 + -137. Is j a multiple of 20?
False
Suppose 65*c - 55*c - 2080 = 0. Does 26 divide c?
True
Let y be 3/15 + (-9)/(-5). Suppose i - 3 = -2*r, 2*i + 0 - 2 = -y*r. Suppose -a - 23 = -r*c, -4*a = -4*c + a + 61. Is c a multiple of 7?
False
Suppose -j - 2*j + 9 = 0. Is j a multiple of 2?
False
Let h(r) = -r**2 + 6*r + 10. Let z be h(8). Let p be (-4151)/14 + (-1)/(-2). Does 16 divide p/z - 8/(-12)?
False
Let m(k) = 6*k**2 + 154*k - 12. Is m(-31) a multiple of 7?
True
Let a be (18/(-12))/((-2)/(-76)). Let q be a/5 - (-12)/(-20). Let s(j) = -j**2 - 17*j - 15. Is 9 a factor of s(q)?
True
Let j = -368 + 542. Is 6 a factor of j?
True
Let h(m) = 4*m**2 - 14*m - 5. Suppose 0*f = -5*f + n + 29, 3*n + 15 = 3*f. Is h(f) a multiple of 9?
False
Let r(b) = -b - 1. Let c = -4 + 5. Let d(t) = -2*t - 5. Let a(p) = c*d(p) - 3*r(p). Does 4 divide a(14)?
True
Let l(x) = -3*x**2 - 39*x + 15. Let z(o) = -2*o**2 - 26*o + 10. Let q(d) = 5*l(d) - 8*z(d). Let c be q(-11). Does 9 divide ((-1)/3)/(1/c)?
True
Let d be 3/(-4)*(-20)/5. Suppose -3*b - 2*p + 195 = 0, 0*p + p = -d. Is b a multiple of 10?
False
Let d(n) be the third derivative of -n**6/120 + 11*n**5/60 - 3*n**4/8 + n**3/2 + 11*n**2. Is 27 a factor of d(9)?
False
Let h be ((-16)/(-24))/(2/6). Suppose -5*t - 49 = -z, -2*t - t = -h*z + 63. Is z a multiple of 6?
True
Let f be 2/(4/(-8) - -1). Suppose -f*a + 15 = -25. Is a a multiple of 5?
True
Suppose 13*q - 6028