w) = w - 6. Let a(q) = -6*b(q) + 11*n(q). Does 13 divide a(-6)?
False
Suppose -3579 + 1269 = -7*g. Is g a multiple of 6?
True
Let l = 364 - -914. Does 71 divide l?
True
Let x(q) = 0*q - q**3 - 3*q**2 + 4 + 0*q - 2*q - 2*q**2. Let o be x(-6). Suppose 3*u - 149 = -4*n - o, 3*n = -5*u + 147. Is u a multiple of 27?
True
Let l(p) be the third derivative of p**4/3 - 17*p**3/6 - 43*p**2. Is 23 a factor of l(24)?
False
Suppose l = -53 - 215. Let v = -128 - l. Is v a multiple of 14?
True
Let l = 89 + -49. Suppose -f + 5*j = -l, 84 = 3*f + 2*j + j. Does 15 divide f?
True
Let f = -41 + 1. Let k = f + 10. Let v = -4 - k. Does 8 divide v?
False
Let j(t) be the second derivative of -t**5/20 + 7*t**4/12 - 7*t**3/6 - 2*t**2 + 28*t. Is 5 a factor of j(4)?
False
Let k = 1132 + -649. Does 21 divide k?
True
Is 139 a factor of (33964/(-140))/((-2)/(-10)*-1)?
False
Suppose -4*w - 24 = 2*w. Is ((-445)/(-20))/((-1)/w) a multiple of 25?
False
Let q = -1405 + 2536. Is q a multiple of 87?
True
Let o be -30 - 1/(3/9 - 0). Let s = 53 + o. Does 10 divide s?
True
Suppose 52 = 5*c - 173. Let q = c + 1. Is 10 a factor of q?
False
Let x be (1 - 2)/(3/(-18)). Let u = x - -28. Suppose u = 4*i - 3*i. Is 17 a factor of i?
True
Let h(f) = f**2 - 3*f - 4. Let k be h(-6). Suppose 4*c + 2*o = -112, -o = -3*c - 44 - k. Is 10 a factor of (c/4)/((-9)/12)?
True
Let h = -15 - -9. Let b = 14 + 4. Let n = b + h. Is 3 a factor of n?
True
Suppose -17*w = -1562 + 287. Is w a multiple of 7?
False
Let v = 394 + -386. Is 3 a factor of v?
False
Suppose 0 = -6*x + 1109 - 329. Suppose -89*w = -94*w + x. Does 9 divide w?
False
Suppose 12 = 3*n, 15 = 5*x + 2*n - 3. Suppose -5*y = 5*o - 50, 2*y = y - x*o + 15. Is y even?
False
Let f(a) = -4*a**2 - 155*a + 3. Is 6 a factor of f(-35)?
True
Suppose 5*m - 38 = 82. Suppose -m*q + 13 = -23*q. Does 2 divide q?
False
Let r(c) = -c**3 + 12*c**2 - 12*c + 15. Let s be r(11). Suppose v + 3*v - s = 0. Suppose -2*t + 2*d = -82, -112 + v = -3*t - 3*d. Is t a multiple of 13?
True
Let p be ((-80)/(-3))/(-10)*(-1 - -16). Let g = p - -170. Does 26 divide g?
True
Let h(v) = -v**3 + 12*v**2 - 15*v + 18. Suppose 3*t - 22 = 8. Is h(t) a multiple of 17?
True
Does 88 divide (-19 + 9 - -6) + 92?
True
Let q = -1332 + 3564. Does 72 divide q?
True
Let p be (-4)/(-18) + (-2800)/(-36). Does 9 divide (0 + 1)*p/1?
False
Let s = -40 + 85. Let t = s + -24. Is t a multiple of 7?
True
Does 8 divide 1693 - ((-70)/21 - 16/(-12))?
False
Does 6 divide (0 - 43)*5/(-5)?
False
Let r = -3194 + 4367. Is r a multiple of 15?
False
Let x = 14 + -19. Let z = 5 + x. Suppose 3*t = -z*t + 66. Does 11 divide t?
True
Suppose 4*k - 1396 = 3*g, 4*k = g + 551 + 845. Does 59 divide k?
False
Suppose -4*z - 65 = 2*g - 801, 1828 = 5*g - 2*z. Is g a multiple of 61?
True
Suppose 0 = -6*g + 8*g + 40. Let z = 36 + g. Is 16 a factor of z?
True
Let w(t) = t**3 - 35*t**2 + 38*t + 93. Is w(34) a multiple of 39?
False
Does 38 divide (-1)/(-10) + 11/((-660)/(-136794))?
True
Does 9 divide 128/96 + 424/6?
True
Let w be (1 - -291)*((-52)/(-8) + -4). Suppose -w = -3*b - 2*r, 0*b + 4*b = -r + 965. Does 17 divide b?
False
Let t(j) = j**2 + 8*j + 1. Let o be t(-8). Let q = 2 + o. Suppose 0 = -0*k + q*k - 96. Is k a multiple of 8?
True
Let f = -3 + 15. Is (-227)/(-6) + 2/f a multiple of 13?
False
Let b = 569 - 489. Is 7 a factor of b?
False
Suppose 12 = 4*q, 2*i + 3*q - 809 = 4*q. Suppose -k = 3*k + 3*p - 405, -i = -4*k - 2*p. Is k a multiple of 9?
False
Let l(r) = 65*r - 5. Let o be l(3). Is o/14 + (-54)/(-126) a multiple of 7?
True
Let c = -3 - -7. Suppose -4 + 24 = c*o. Suppose 3*b - o*q - 66 = 0, 2*b - 4*q = b + 29. Is 17 a factor of b?
True
Let s(q) = q + 21. Let x be s(-16). Suppose -5*z - t = 2*t - 98, 5*t = -x*z + 90. Does 7 divide z?
False
Suppose l + 4*c = 280, 3*l + 28*c = 27*c + 785. Does 3 divide l?
False
Let u be (-38)/(-8)*(4 - 8). Let l be (u - -1)*9/(-27). Suppose 0 = 2*o - l*o + 72. Is 9 a factor of o?
True
Let w(j) = -j**3 - j**2 + 2*j + 6. Let x be w(3). Does 12 divide x*-2*1/2?
True
Let c be ((-2)/(-4))/(10/180). Does 26 divide c/(-3) + (264 - (-5 - -6))?
True
Let l be 2/6*(0 - -3). Let b(g) = -6*g**3. Let h be b(l). Is (h*(-48)/(-9))/(-2) a multiple of 3?
False
Suppose 5*g - 687 - 603 = 0. Let b = g + -176. Does 27 divide b?
False
Let h(s) = -531*s + 14. Let l be h(-2). Suppose 0 = -13*n + 17*n - l. Does 31 divide n?
False
Suppose -3*m - 2*m + 1680 = 5*l, 0 = -3*m - 5*l + 1008. Does 28 divide m?
True
Suppose -5*l + 23*x + 5574 = 22*x, 0 = 2*l - x - 2229. Is l a multiple of 25?
False
Let n(p) = -p**2 - 7*p + 4. Let s be n(-7). Suppose -s*h - 107 = -x, 3*h = 3*x - h - 337. Suppose -5*u = a - 65, 2*a - 2*u - x = 3. Is 15 a factor of a?
True
Let h be 1 - 4 - (0 + -6). Suppose q + 1 = l + 2, 2*q = h*l + 1. Is 17 a factor of q/(-9) + 3696/108?
True
Suppose 5 - 30 = -5*g. Suppose g*z = -2*b + 17 + 63, b = 2*z + 49. Does 5 divide b?
True
Let y(l) = -l**3 - 193. Let q be y(0). Let i = -90 - q. Suppose -p - i = -3*p - 3*z, -2*p + 73 = -3*z. Is 22 a factor of p?
True
Let y(z) = 83*z + 10. Let h be (32/(-10))/4*40/(-16). Is 44 a factor of y(h)?
True
Let l be (-11)/((-44)/(-12)) - (11 + 0). Suppose 0 = s - 0*s + 4. Is 10 a factor of (l - s - 0)/(-1)?
True
Let h be 0/(-3)*(-1)/(-2). Suppose h*k + 2*k = -164. Is (k/3)/(2/(-3)) a multiple of 13?
False
Let y(t) = t**3 - 8*t**2 + 9*t - 5. Let n be y(7). Let a be 6/(-27) + 2/n. Suppose a = -5*o + o + 72. Is 18 a factor of o?
True
Suppose 2416 = 18*a - 3398. Is a a multiple of 17?
True
Suppose 0 = -v + 2*w + 12, -3*v + 1 = -0*v + w. Suppose 6*i + 24 = v*i. Is 22 - 1/((-3)/i) a multiple of 15?
False
Suppose 0 = 2*l - 5 - 51. Let p = 33 - l. Suppose -2*s + p*s - 9 = 0. Is 2 a factor of s?
False
Let i(z) = z**2 + 31*z + 59. Does 7 divide i(-32)?
True
Let w(p) = -p**3 - p**2 + 2. Let s be w(0). Let m(g) = 61*g - 12. Is m(s) a multiple of 11?
True
Suppose 5*q + 30 = 5*r, -2*r + 6*r + 3*q + 4 = 0. Suppose -3*m + 1 = 2*t - 2, -2 = -r*m + 2*t. Does 8 divide 4/(4*m/8)?
True
Let y(h) = 17*h + 11. Let n be y(1). Let c = 10 + n. Is c a multiple of 2?
True
Let t(z) = 72*z + 89. Does 29 divide t(4)?
True
Is (-1)/6*-57*138 a multiple of 19?
True
Let r(k) = 2*k**2 + k - 8. Let a be r(-9). Let y = a - 82. Is 15 a factor of y?
False
Let t(c) = 5*c + 38. Is 11 a factor of t(7)?
False
Let d(f) be the first derivative of -f**2/2 + 21*f - 15. Is d(-4) a multiple of 5?
True
Let k be (-118)/(-3) + (-10)/(-15). Suppose -2*s = -6*s - 4*l - 32, -5*s - 4*l - k = 0. Let d(y) = y**3 + 8*y**2 - y + 7. Does 3 divide d(s)?
True
Suppose -6*n + 2*n + 8 = 0. Suppose -n*b + 8 + 8 = 0. Is b a multiple of 4?
True
Let w = -1 + 5. Let r = 39 - 36. Suppose -n = -3*n + r*u + 17, w*n = 3*u + 49. Does 16 divide n?
True
Suppose 2*u = -4*t + 24, 2*t - 7*t + 4 = -4*u. Is 3 a factor of ((-27)/(-12))/(1/u)?
True
Let n = -8 + 13. Is 61 + (1 + n)/3 a multiple of 9?
True
Let r(j) = 13*j + 87. Is r(-6) a multiple of 3?
True
Let p(r) = 255*r**2 + 2*r + 1. Let i be p(-1). Suppose 5*l - i = 36. Suppose 0 = -b - b + l. Is b a multiple of 14?
False
Let z = -1450 + 2269. Is 21 a factor of z?
True
Is (-47 - 1)*(-18)/4 a multiple of 8?
True
Let v = -33 - -392. Suppose 3*p - 91 = v. Does 26 divide p?
False
Suppose -119*t = -110*t - 2385. Is t a multiple of 13?
False
Let b(a) = a + 5. Let p be b(7). Let z be (-368)/(-36) - 6/27. Let r = p - z. Does 2 divide r?
True
Is 35959/539 + ((-12)/14)/(-3) a multiple of 12?
False
Suppose -3*x + 20 = x. Let h = 45 - -9. Suppose 0 = -4*s - 5*d + 72, 0*s = -3*s - x*d + h. Is s a multiple of 8?
False
Suppose 0 = -2*d + 3 + 1. Suppose 3*p + 5*k = 95, -3*p - d*k + 7*k = -85. Is p a multiple of 15?
True
Suppose 2*j - 3 = w, 4*j - 7 = w + 6. Suppose 12*m = w*m + 1100. Is 18 a factor of m?
False
Is (-2)/((6656/(-414))/8 + 2) a multiple of 8?
False
Suppose 19*o - 152 = 23*o. Let h = 42 - o. Is h a multiple of 17?
False
Let c(q) = -q**3 - 10*q**2 - 22*q - 107. Is c(-10) a multiple of 13?
False
Let l(u) = -7 - 4 + 0 + 7 + 2*u + u**2. Let w be l(-4). Suppose 74 = w*f - 2. Does 19 divide f?
True
Let h(g) = -g**2 - 14*g + 8. Is 5 a factor of h(-7)?
False
Suppose -12 = 2*o - o - 5*z, -4*z + 14 = -o. Is 4/o - (-4)/(88/642) a multiple of 9?
False
Is 20576/72 + (-8)/(-36) a multiple of 2?
True
Let q = -57 + 80. Let f