*2 - 2*r - 16. Let s(a) = 6*k(a) + 13*l(a). Is 17 a factor of s(-6)?
False
Suppose -125*m = -1470708 - 1355667. Is 4 a factor of m?
False
Suppose -m + 6 = 0, 85490 + 51928 = 6*c - 5*m. Is 138 a factor of c?
True
Suppose q - 3*x - 32 = 0, -595*q + 68 = -591*q - 2*x. Let d = -656 + 1151. Suppose -5*s = -q*s + d. Does 5 divide s?
True
Suppose 0 = -2*k + 3*u - 2*u - 1856, 4*k + u + 3718 = 0. Let y = 1577 + k. Does 51 divide y?
False
Suppose 58575 = 3*u + 3*l, -4*l - 16177 = -u + 3328. Is 86 a factor of u?
False
Suppose -5*v + 14 = -6, -2*y + 3*v - 68 = 0. Let f be (-9)/(1 + y/22). Suppose -f = k - 2*k. Is 3 a factor of k?
True
Let r = 278 + -375. Let u = -64 - r. Is 2 a factor of u?
False
Suppose -3*j + 2*n + 47 = 7*n, -4*j - 2*n + 44 = 0. Suppose j*b - 3908 = 1600. Does 12 divide b?
True
Suppose -7*g - 1 + 29 = 0. Let m be -1 + g + (3 - 0 - 4). Suppose m*r - 9*r + 84 = 0. Does 6 divide r?
True
Let m = 233 - 230. Suppose -2*n + 463 = 5*d, 4*n = m - 7. Is d even?
False
Is 867/(-1156) + (-105055)/(-4) a multiple of 114?
False
Let n = -17 + 60. Let p = -38 + n. Suppose 159 - 1149 = -p*b. Is b a multiple of 35?
False
Let u(x) = 2*x + 2. Let p be u(11). Let w = p - 27. Is 15 a factor of (w/2 - 2)*4*-13?
False
Suppose 29008 = 4*x - 4*h, -259*x - 29026 = -263*x - 5*h. Is 93 a factor of x?
True
Let y be 6/(-4) - 315/(-14). Suppose g + 19 = 5*q - 2*g, -3*g + y = 3*q. Suppose -q*n + 268 + 102 = 0. Does 27 divide n?
False
Let a = -49235 - -85086. Is a a multiple of 30?
False
Let x(h) = -h**2 - 8*h + 4. Let v(n) = -n**2 - 14 + 13 - 20 - 18*n. Let d be v(-17). Is x(d) a multiple of 5?
True
Is (-1)/6*2 + 207669/279 a multiple of 5?
False
Let c be -2 - ((-3 - -2) + 206). Let s = -24137 + 24582. Let w = c + s. Is w a multiple of 21?
False
Let q(v) = -13*v - 2. Let a be q(1). Let y(k) be the third derivative of k**5/60 + 13*k**4/24 - 3*k**3 - 19*k**2. Is y(a) a multiple of 6?
True
Let s be (18/(-12))/(((-9)/4)/3). Suppose 0 = -3*r + 5*z - 8, -3*z + s + 4 = -2*r. Let o = r - -87. Does 14 divide o?
False
Let z = 88600 + -42757. Does 38 divide z?
False
Let t = 424 + 242. Suppose 3*c + 3*h = 8*c - t, -4*h - 8 = 0. Is c a multiple of 16?
False
Suppose -n - 2 = -4*c + 16, -c - 4 = 4*n. Suppose -d - 2*i = -259, 4*d + c*i - 1373 = -341. Is d a multiple of 13?
False
Suppose 0 = 5*i + 5*d - 10, 8*d - 3*d = i + 10. Suppose 98*x - 92*x - 600 = i. Is x a multiple of 7?
False
Let l be (-29)/(-3) + -9 + 2444/6. Is ((-66)/12 + 6)*l/2 a multiple of 17?
True
Let g(n) be the third derivative of 5/24*n**4 - 2*n**2 + 1/12*n**5 + 0 - n**3 + 0*n. Is 12 a factor of g(-6)?
True
Is 15 a factor of ((-455)/21)/(50/675)*-46*3?
True
Let v(a) = -105*a**3 - 2*a + 1. Let n be v(-1). Let g = -14 - -22. Suppose 9*j - n = g*j. Is 12 a factor of j?
True
Let t(z) = -2*z**3 + 7*z**2 + 3*z + 5. Let h be t(4). Does 2 divide (-4 - (-6 + 3)) + 18/h?
False
Let u be 2*-1 + 0 + -14. Let a be (u/20)/((-10)/5725). Suppose 5*m = a + 147. Does 13 divide m?
False
Let x(o) = o**3 + 28*o**2 - 25*o - 198. Is 6 a factor of x(-21)?
True
Suppose -5*m - 5*n + 2 - 7 = 0, 0 = 2*n + 4. Let g(b) = -2*b - 2. Let w be g(-12). Is 35 a factor of m*103 - (24 - w)?
False
Let w be (26/10 - 3)/((-7)/35). Suppose -90 = -w*o - 5*g, g = 2*o - 44 - 46. Is 23 a factor of o?
False
Is 22 a factor of (-4 + 7 + 31)*(-2 + 3)*33?
True
Let k = -21905 - -26385. Is k a multiple of 40?
True
Let x = -718 - -718. Suppose x = 19*s + 1417 - 6699. Does 3 divide s?
False
Does 21 divide 3/(-33) + (572900/(-22))/(-10)?
True
Is 905*(0/(5/(-1)) - 168/(-10)) a multiple of 54?
False
Let a(n) = 313*n**2 - 8*n - 9. Let j be a(-1). Let f = j - -359. Does 61 divide f?
True
Let c be (1 - 1)/(-4 - (0 + -2)). Suppose 0 = 6*u + 2*s - 268, c = u - 2*u + 2*s + 33. Is 2 a factor of u?
False
Suppose -22*u = -73872 - 282132. Is 31 a factor of u?
True
Let x(b) = -10*b**3 + 2*b**2 + 2*b + 1. Let k be x(-1). Let q(w) be the third derivative of 7*w**4/24 + 13*w**3/6 + 2*w**2 - 148*w. Is q(k) a multiple of 30?
True
Suppose -8*k + 11483 = 3027. Is k a multiple of 7?
True
Let u = -19090 - -30520. Does 127 divide u?
True
Let l(v) = 25*v**2 - v - 2. Let p = -3 - -10. Suppose 2 = -p*k - 5. Does 6 divide l(k)?
True
Is (-463304)/(-20) - 14*7/490 a multiple of 87?
False
Let a(u) = 8*u**2 - 4*u. Let f be a(-4). Suppose -61*d + 4 = -179. Suppose 66 + 28 = d*g + 2*b, -2*b - f = -4*g. Is 10 a factor of g?
False
Suppose 3*o - 3 - 3 = 0. Let r(c) = -2*c**2 - 6*c + 4 - c**3 - 2*c**o - 10. Is 18 a factor of r(-4)?
True
Suppose 4*p - 3*w = 6, 14*w + 2 = 5*p + 13*w. Suppose p = -r - 5 + 77. Is 8 a factor of r?
True
Suppose -17*n - 8*n + 271502 = -14*n. Is 27 a factor of n?
False
Let x be (-1 - 0) + 5/5. Suppose x = 21*i - 18*i - 60. Is 52 a factor of 259/5 + 1/i*4?
True
Suppose 3*h - 69*d + 496 = -65*d, -3*d = -3*h - 501. Let i = 253 + h. Does 20 divide i?
False
Let d be 304 - (-3 - (-1 - 6)). Let s = 572 + d. Is s a multiple of 13?
False
Let j = 0 + 6. Suppose -3*f = 2*a - 1364, -7*f + 5*a = -j*f - 466. Is f a multiple of 12?
True
Suppose -5 = 2*z - 15. Suppose -z*f + 2*c = -3*f, 10 = f + c. Suppose 4*m - 570 = -f*g, -4*m - 540 = -4*g - 120. Does 12 divide g?
False
Let x be (-8 - -1)*(-33)/77. Suppose -x*t + 4*m - 5*m = -1873, -4*t + 2*m + 2504 = 0. Is 11 a factor of t?
False
Suppose 8*x = 11*x - 213. Let m = -71 + x. Suppose 6*n - 518 - 82 = m. Is 20 a factor of n?
True
Let w be (-64 + 8 - 7)/1. Does 36 divide (w/(-2))/(29/522)?
False
Let c(g) = g**2 + 4*g + 4. Let m be c(-3). Let f be 10/(-6) - (-344)/12. Suppose -x - m = -f. Is x a multiple of 13?
True
Suppose a = -t + 7515, -451 = t + 5*a - 7978. Is 57 a factor of t?
False
Suppose -14*d - 28*d = 18*d - 1491180. Is d a multiple of 29?
True
Let d be 19 + 9 + (1 - 9). Let f(k) = k**3 - 18*k**2 - 33*k + 150. Is 10 a factor of f(d)?
True
Let y(o) = -3886*o + 4191. Does 211 divide y(-6)?
False
Suppose 3*v = -3*g + 7059, 3*g = 8*v - 13*v + 7071. Does 17 divide g?
False
Let h = 155 + -159. Is 7 a factor of (0 - h/(-3))/(4/(-48))?
False
Let a(q) = 3*q**2 - 25*q + 11. Let t be a(8). Suppose t*w - n = 29, w - 5*n + 0*n = -9. Suppose -w*x = -13*x + 324. Does 27 divide x?
True
Let r(f) be the first derivative of -f**7/840 - f**6/90 - f**5/60 + 3*f**4/8 - 23*f**3/3 - 24. Let l(n) be the third derivative of r(n). Does 23 divide l(-6)?
False
Suppose b - 12*q - 918 = -11*q, -5*b + 4592 = -4*q. Does 13 divide b?
False
Let z(x) = 300*x**2 + 131*x + 480. Is z(-4) a multiple of 2?
True
Let h(j) be the third derivative of -j**6/60 - 11*j**5/60 + j**4/6 + 3*j**3/2 - 6*j**2 + 2. Does 27 divide h(-8)?
True
Is 3 - ((-14)/(-2) + (-1 - (1764 + 3))) a multiple of 28?
True
Let i = 3236 + 867. Is 67 a factor of i?
False
Suppose -4*w = -12 - 4, -j - 13 = -4*w. Suppose -220 = -7*o + j*o. Suppose 4*u - o = -5*b + 28, 0 = -2*u - 5*b + 39. Is u a multiple of 11?
True
Is 942/(-2355)*194690/(-4) a multiple of 3?
False
Let f = -47 + 318. Let b = 535 - f. Is 22 a factor of b?
True
Let y be (1 - 37)*(4 + (-85)/20). Suppose -y = -3*l, l + 31 = -4*o + 206. Does 9 divide o?
False
Let y = -1239 - -815. Let d = 760 + y. Does 29 divide d?
False
Is ((-110156)/(-18) - 4/(-18)) + 9 a multiple of 5?
False
Suppose 2*v = -7 + 13. Suppose -3*a - v*h + 24 = 0, 0 = -5*a - 4*h + 44 - 9. Is (0 - 8/a)*(-36)/8 even?
True
Let y = -225 - -230. Suppose 5*b - 656 = y*p + 1239, -4*b + p = -1528. Is 23 a factor of b?
False
Suppose 13 + 7 = 4*y. Let z be (y - 0/3) + 641. Suppose z = 5*l + 171. Does 8 divide l?
False
Suppose 37343 + 37058 = 2*z + 3*o, 0 = z + 2*o - 37200. Is z a multiple of 22?
True
Let r(h) = 2*h**3 + 47*h**2 - 28*h + 42. Let g be r(-24). Suppose 0 = -8*p + g + 334. Is 2 a factor of p?
False
Let p(t) = t**2 - 16*t + 10. Let g(q) = -20*q + 20 - 2*q + 0*q**2 + 2*q**2 - 9*q. Let l(w) = -3*g(w) + 5*p(w). Is 4 a factor of l(11)?
True
Let a(k) = -658*k + 5100. Does 300 divide a(0)?
True
Let y = 47501 - 10211. Is 10 a factor of y?
True
Let p(a) = a**2 + 27*a + 46. Let x be p(-17). Let o = x - -863. Does 49 divide o?
False
Let m be 13/(-65) - (-1912)/10 - -2. Suppose -m*w = -192*w - 153. Is 9 a factor of w?
True
Suppose 3*h + 8 = -1, 4*u - 2*h = 38. Let s(w) = u*w - w**2 + 7 - 8 + 0*w**2 - 8. Is 3 a factor of s(5)?
True
Is 6 a factor of -10 - (-2 - (-12 + 770))?
True
Let b = 5 - 7. Let f be 