6*w**2 - w - 2. Is 40 a factor of a(6)?
False
Suppose 0 = 2*u - 5*a - 95, -a = -4*u - 3*a + 250. Let n be (-2)/1 + 11 - 0. Suppose 11 = l + 4*h - u, 0 = 3*h - n. Does 14 divide l?
False
Suppose 10*z = 5*z + 420. Let h = z - 13. Is 16 a factor of h?
False
Suppose 3*n - 1 + 8 = 4*l, 0 = 3*n - 9. Let q = l - -32. Does 12 divide q?
True
Let z be ((-4)/(-5))/(1/5). Suppose -5*f = 2*q - f + 8, 4*q + 28 = 4*f. Is 17 a factor of (q - -4)*(-102)/z?
True
Let y(r) = 549*r**3 + 3*r**2 - 3*r - 1. Is y(1) a multiple of 14?
False
Let l(b) = -b**3 - 28*b**2 + 145*b - 35. Is l(-33) a multiple of 68?
False
Let i(z) = 2*z**2 + 38*z + 8. Is 8 a factor of i(12)?
True
Let r be -104 - (1 + -3 + 1)*2. Let y = 201 + r. Is y a multiple of 11?
True
Let h be (-36)/(-2) + -2 + 1. Let w be ((-5)/3)/(20/(-60)). Suppose -3*x + h + 20 = -w*v, -4*v = 5*x - 111. Does 4 divide x?
False
Let o(r) = 175*r**2 - 3*r. Let j(q) = q**3 + 12*q**2 - 15*q - 25. Let l be j(-13). Is o(l) a multiple of 38?
False
Let v(p) = p**3 + 17*p**2 - 52*p - 26. Is v(-19) a multiple of 30?
True
Let s = -64 + 1288. Is 17 a factor of s?
True
Let i(n) = -n**2 - 5*n + 7. Let b be i(-6). Is 8 a factor of (-1036)/(-28) - 2*b?
False
Let d(w) = -2*w**3 - 19*w**2 - 17*w - 28. Is d(-9) a multiple of 11?
True
Let q(v) = 6*v + 264. Is 48 a factor of q(44)?
True
Let q = -400 + 418. Does 18 divide q?
True
Suppose -274 = 75*l - 79*l + 2*g, -186 = -3*l - 5*g. Is 3 a factor of l?
False
Let n = -52 - -55. Suppose -2*x + 84 = 2*l, 7*x - n*x - 5*l = 195. Is 9 a factor of x?
True
Let b = 10 - 26. Suppose -4*o = 591 - 15. Let y = b - o. Does 43 divide y?
False
Let p = -424 + 950. Is p a multiple of 18?
False
Suppose -2889 = -37*g + 10*g. Is g a multiple of 54?
False
Suppose -5*i = b + b + 10, -20 = -4*b. Let l be (-2)/(6/i + 1). Suppose y = -l*y + 100. Is 10 a factor of y?
True
Is 31 a factor of (8 + 392/(-12))*-3?
False
Suppose -7*w + 6*w + 1 = 0. Is ((-34)/4)/(w/(-2)) a multiple of 3?
False
Suppose -3*q - 995 = -4*t - 2*q, 270 = t + 4*q. Does 85 divide t?
False
Suppose -3*j + 3 = 0, 0*j - 4*j + 24 = -5*h. Is 26 a factor of (24/9 + 0)/(h/(-294))?
False
Suppose -4*c - 12*c = -304. Is c a multiple of 3?
False
Let u = -1 - 4. Let f = 1 - u. Suppose -f*b + 25 = -b. Is 2 a factor of b?
False
Let c(h) = h**3 - 35*h**2 + 7*h + 21. Is c(35) a multiple of 19?
True
Let i(x) = -6*x**2 + 14*x**2 + 7 - 9*x**2 - 4*x. Let o be i(-5). Suppose -13 = -o*y - k, -4*y + 3*k + 44 = -k. Does 4 divide y?
True
Suppose 231 = 14*r - 11*r. Is r a multiple of 11?
True
Suppose 25*c - 525 = 18*c. Is 25 a factor of c?
True
Let c(f) = f**3 + f**2 + f + 87. Let l be (-2 - 2)/((-1)/2). Suppose 9*z = l*z. Does 26 divide c(z)?
False
Let h(r) = -15*r + 0*r - 11 + 8. Let c be h(-2). Let m = c + 13. Does 10 divide m?
True
Let f be 7 - (-3)/(6/(-4)). Suppose -4*n - 5*z + 156 = 0, 0*z = n - 2*z - 26. Suppose f*o - n = 66. Is o a multiple of 4?
True
Let y(s) be the third derivative of -s**5/60 + 7*s**4/12 - 3*s**3/2 + 16*s**2. Let w(f) = 2*f**2 - 12*f - 6. Let h be w(7). Is y(h) a multiple of 12?
False
Suppose -270 - 228 = -3*t - 3*l, 5*t = -3*l + 832. Does 8 divide t?
False
Suppose 0 = -6*g - 109 - 41. Let u = g + 56. Is 31 a factor of u?
True
Suppose 5*v + f = 182 - 44, -108 = -4*v - 2*f. Is 13 a factor of v?
False
Let z be (-760)/(-18) - 22/99. Let n = -25 + z. Is n a multiple of 12?
False
Let k(c) = -23*c**3 + c**2 + c. Let j be -3 - (-1 - (-1 - -2)). Let u be k(j). Suppose 5*m - u = x + 117, 5*m - 140 = -4*x. Is 8 a factor of m?
False
Suppose 0 = 6*k + 12 + 30. Let g(j) = 3 - 2*j**2 - 12 + 3*j**2 + 3*j. Does 19 divide g(k)?
True
Suppose -1 = -2*d + 3*o, -3*d + 29 = -0*o + o. Let b(h) = -h**3 + 8*h**2 + 8*h - 3. Is b(d) a multiple of 20?
False
Let l = 17038 - 10722. Is 25 a factor of l?
False
Suppose 355 = x - 5*r, -5*r - 2246 = -5*x - 571. Is x a multiple of 22?
True
Let c = 205 + 277. Is 29 a factor of c?
False
Suppose -p + 102 = s + p, -3*s + 292 = -p. Suppose -m + s = 28. Is 10 a factor of m?
True
Suppose 4*h - 19*h = -6270. Is h a multiple of 57?
False
Let f = -192 + 795. Is 9 a factor of f?
True
Suppose 5*r + 57 = -4*h, 2*h + 26 = -0*h - 2*r. Let d(a) = 3*a + 10. Let k be d(h). Does 10 divide 1 + 7/(k/(-124))?
False
Let p = 132 + -62. Let k = p + -42. Is 14 a factor of k?
True
Let u(b) = 22*b**2 + 5*b + 6. Is 19 a factor of u(-1)?
False
Suppose 36 = 3*i - 0. Let a = 45 - i. Is 14 a factor of a?
False
Let q(h) = h**2 - 21*h - 40. Suppose -x + 37 = -3*l, -19 = -0*x - x - 3*l. Does 13 divide q(x)?
True
Let n(w) = 68*w**2 + 23*w + 89. Is n(-4) a multiple of 48?
False
Let h(x) = 2*x**2 - 3*x + 7. Let v be h(2). Does 13 divide 390/v*(2 + 8/5)?
True
Let p be (3 - 2)/(2/(24/2)). Suppose 0 = -p*x + 152 + 196. Is 38 a factor of x?
False
Let a = 24 - 9. Let f = 17 - a. Is 18 a factor of f + (-1 - 2) - -26?
False
Let r(g) be the first derivative of g**4/4 - 8*g**3/3 + 7*g**2/2 - g - 5. Let v be r(6). Let d = v - -71. Does 20 divide d?
True
Let n = 246 - 141. Is (18/21)/(3/n) a multiple of 15?
True
Suppose 0 = -2*k + k + 4*v + 402, 0 = -4*k + 3*v + 1647. Is k a multiple of 9?
True
Suppose -8*f + 5*f - 60 = 0. Let d = -17 - f. Is 2 a factor of d?
False
Let c = -263 + 386. Suppose -3*f = 2*k - 125, -c = -2*k - 0*k - f. Is 27 a factor of k?
False
Let g(h) = h**2 + h + 4. Suppose -10*x = -12*x. Let i be g(x). Suppose i*l = l + 90. Does 10 divide l?
True
Let v = -117 - 124. Let n = -143 - v. Does 9 divide n?
False
Let v(c) = -63*c**3 - 3*c - 4. Let i be v(-1). Suppose -2*y + 5*z + i = -115, 5*y - 2*z = 453. Does 12 divide y?
False
Suppose 25*z - 27*z + 3220 = 0. Suppose -31*g = -26*g - z. Does 53 divide g?
False
Let m be (-139)/(-3) - 4/12. Let a be m/6 - 4/(-3). Suppose -a*u = 148 - 607. Does 17 divide u?
True
Suppose 2*t - 4*z + 1 - 7 = 0, 4*z + 4 = 0. Does 14 divide (t/(-3))/(1/(-156))?
False
Suppose 8*q + 809 = 4*a + 7*q, 5*a - 4*q = 1014. Is 12 a factor of a?
False
Let x(d) = -2*d**2 - d + 157. Let w be x(0). Let z = 19 + w. Does 20 divide z?
False
Let t be ((0 - 4) + 5)/(-1). Does 16 divide 7/(7/(-286))*t?
False
Suppose 7*a - 1247 = 3093. Does 20 divide a?
True
Suppose 0*x + x = 0. Let u = 143 - 83. Suppose -z = -x*z - u. Is z a multiple of 20?
True
Suppose -4*b = 2*b - 204. Is b a multiple of 17?
True
Let j be (-3 + -3 + 4)*-2. Suppose 0 = j*s - 16, -2*s + 0*s - 67 = 3*x. Is 5 a factor of (4 - 3)/(-1)*x?
True
Does 12 divide (-8)/((-48)/(-9)) + (-6747)/(-2)?
True
Let s = 37 - 34. Suppose s*v + 6*v = 351. Is v a multiple of 13?
True
Suppose 3 = -34*o + 31*o. Does 5 divide ((-27)/o - (-8 - -10))/1?
True
Suppose -5*f + 8 + 2 = 0. Suppose -8*l = -f*l - 774. Is l a multiple of 18?
False
Let y(w) = -w + 13. Let k be (-150)/(-42) - (-8)/(-14). Suppose m - k + 11 = 0. Does 21 divide y(m)?
True
Suppose 0 = 3*j - 5*a - 19, 0*a - 15 = -3*j + 3*a. Suppose -5*c - 5*q + 290 = -2*c, j*q = -3*c + 288. Is c a multiple of 21?
False
Is 3*((-1)/1)/(81/(-5454)) a multiple of 4?
False
Suppose -4*u + 3*p = 1626, -5*p + p = -4*u - 1624. Let n be u/(-9) + 2/(-6). Let m = n + -5. Does 19 divide m?
False
Let s(h) = 3*h**3 + 10*h**2 - 22*h - 2. Let o be s(2). Suppose 2 = -4*i + 5*i. Suppose -o = -i*g + 24. Does 21 divide g?
True
Suppose 4*b + 5*y - y - 436 = 0, 0 = 5*b - 3*y - 521. Does 2 divide b?
True
Let k = 8433 - 5283. Is 18 a factor of k?
True
Does 11 divide 240/20*341/1?
True
Suppose 5*h + 2*s - 70 = 0, s - 14 = -h - 0*s. Suppose 3*m - u - 4 = h, -5*m + 4*u + 30 = 0. Suppose 4*c = 0, -2*y + c - 40 = -m*y. Does 3 divide y?
False
Is 8 a factor of ((-924)/176)/(9/(-24))?
False
Let h = -1332 - -2049. Does 20 divide h?
False
Suppose 70*r = 42*r + 38304. Is r a multiple of 38?
True
Suppose -14 - 10 = -3*r. Let v be (-118)/r*8/(-2). Suppose 3*h = 2*k - 35 - 0, 5*k + 2*h - v = 0. Does 5 divide k?
False
Let g(a) = 82*a**2 - 30*a + 69. Is g(3) a multiple of 27?
False
Does 13 divide (-2331 - -41)*(-2 + 1) + -6?
False
Let i = 141 + -97. Suppose -6*b = -8*b + i. Does 9 divide b?
False
Let z(p) = p**2 + 11*p - 12. Let q be z(-12). Suppose q = d + 4*d - 395. Let w = d - 52. Does 9 divide w?
True
Let s = 28 + 0. Let a = 62 - s. Let y = a - 22. Is 6 a factor of y?
True
Let b be 6/(-21) + 90/21. Suppose 0 = -2*m + b*m - 4. Suppose 7*g - m*g - 190 = 0. Is g a multiple of 19?
True
Let k = -5 + 5. Suppose