o = 3*w + 9. Let b(f) = -5*f**2 - 11*f - 4. Let d(y) = 3*y**2 + 6*y + 2. Let q(c) = 4*b(c) + 7*d(c). Is q(w) a multiple of 3?
False
Let c(l) = -3*l**2 - l + 2. Let h be c(1). Let i = h + 31. Is i a multiple of 7?
False
Let l = -256 - -268. Suppose 5*s + 85 = -3*f, -3*f + 5 = -2*f - 5*s. Is 4 a factor of (f/l)/(5/(-18))?
False
Suppose 0 = -9*a + 5*a + 2*u + 32, 0 = -3*a + u + 25. Let c(z) = -z**2 + 20*z + 6. Is c(a) a multiple of 7?
True
Suppose f + y - 162 = 0, y - 48 = f - 212. Is f a multiple of 31?
False
Suppose 9*c - 8*c - 2125 = -n, 2110 = n - 4*c. Does 17 divide n?
False
Suppose -183*i + 24156 = -174*i. Does 44 divide i?
True
Let d = -34 + 29. Does 21 divide (3/d)/(14/(-490))?
True
Suppose 6*v - 2*u - 1747 = 5*v, 5*v - 3*u - 8700 = 0. Is v a multiple of 9?
True
Let c(r) = -r**3 - 5*r**2 - 3*r - 3. Suppose 3*p - 4*h + 9 = 0, 5*h + 15 = -4*p - p. Let l be c(p). Let b(k) = k**2 + 12*k + 6. Is b(l) a multiple of 6?
True
Let t(d) = -97*d + 690. Does 28 divide t(-12)?
False
Suppose 0 = -34*p + 45*p - 7854. Is p a multiple of 34?
True
Suppose 7049 = -30*l + 96329. Is l a multiple of 16?
True
Suppose 0 = -2*r - 3*m + 1371 + 148, -4*r = -m - 3031. Does 4 divide r?
False
Suppose -3*w + 0*w = 5*f - 107, -5*w = f - 17. Let g = f - 20. Suppose -5*o + 138 = -g*o. Does 17 divide o?
False
Suppose 5*t - 11 - 4 = 0. Suppose 0 = t*d - 9, 4*i - d + 0*d = 49. Let u(p) = p**2 - 13*p + 18. Does 9 divide u(i)?
True
Let w(o) = -7*o + 3. Does 20 divide w(-25)?
False
Suppose -32 + 0 = -2*t. Is 16 a factor of t?
True
Suppose -3*j = -3*z + 1269 + 1140, 0 = 4*z + 4*j - 3228. Is z a multiple of 7?
True
Is 117 + (3/2 - (-429)/(-66)) even?
True
Suppose 4*m + 59*d - 56*d = 3009, -3015 = -4*m - 5*d. Is m a multiple of 48?
False
Suppose 3*o = -k - o - 13, 2*o + 2 = -2*k. Suppose -z + 101 = -0*j + 3*j, k*z = -j + 31. Does 15 divide j?
False
Let n(w) = 43*w + 26. Let j be n(-5). Suppose 5*b + 8 - 48 = 0. Does 11 divide j/(-12)*b/3?
False
Suppose 2*n + 1452 = 13*n. Let o = n + -93. Is 27 a factor of o?
False
Suppose v = -2*v + 10*v. Suppose v = t - n - 86, 6*n - 86 = -t + 3*n. Is 25 a factor of t?
False
Suppose 26*f - 1595 = 21*f. Suppose 4*w = 5*m - f, 0*m = -4*m + 3*w + 256. Is 10 a factor of m?
False
Suppose -8*g + 22626 = 10*g. Is 16 a factor of g?
False
Let x(d) = 108*d + 245. Does 67 divide x(9)?
False
Let z(p) = 175*p - 2. Is z(2) a multiple of 58?
True
Let x be 32/8 + 2*-1. Suppose 6*v = v - 4*f + 22, 0 = x*f - 6. Is v even?
True
Let i = -23 + 94. Does 3 divide i?
False
Let a(w) = 5*w**3 - 3*w**2 + 4*w - w + 0*w**2 - 3. Let y(x) = 2*x**2 + 14*x + 14. Let o be y(-6). Is 9 a factor of a(o)?
False
Does 67 divide (20/(-4))/(19/(-11419))?
False
Suppose 7*z - 4*z = 522. Is z a multiple of 6?
True
Let a(u) = u - 6. Let g be a(11). Suppose -2*q + 4*p = -42, 5*q - 24 = 3*q - g*p. Is 17 a factor of q?
True
Is (-2970)/44*(-8)/(-5)*-1 a multiple of 2?
True
Let m = -163 - -220. Does 12 divide m?
False
Let m = 49 + 223. Let w = m - 136. Suppose 6*q = 5*n + 4*q - 352, 2*n - 2*q - w = 0. Is 24 a factor of n?
True
Suppose 0*p - 2*f - 18 = 2*p, 5*f = -10. Let d = -4 - p. Is 4 a factor of d - (-5)/((-20)/(-24))?
False
Suppose 10 = 15*m - 10*m. Suppose 6*v = m*u + 3*v - 67, u - v - 34 = 0. Does 5 divide u?
True
Let q = 469 + -169. Is 18 a factor of q?
False
Suppose -w - 112 = -5*w. Let k = w + -39. Let s(m) = -m**3 - 11*m**2 - 2*m - 12. Is 10 a factor of s(k)?
True
Let k(n) be the second derivative of -5/6*n**3 + n**2 - 6*n + 0 + 1/4*n**4. Is k(4) a multiple of 15?
True
Let n = 331 - 255. Is 5 a factor of n?
False
Suppose -4*d - 8*d + 48 = 0. Is (-2)/d*(4 - 88) a multiple of 14?
True
Let i(o) = o**3 + 11*o**2 - o + 13. Let s be i(-10). Let a = 129 - s. Does 3 divide a?
True
Suppose -116 = 4*q - 328. Does 53 divide q?
True
Let o be 232/32 - 2/8. Let l = o + 141. Does 18 divide l?
False
Let b(v) = 7*v**3 + 3*v**2 + 7*v - 28. Is 19 a factor of b(3)?
True
Is (2154/9)/((-60)/(-180)) a multiple of 4?
False
Let k be (6/(-2) - -1)/(-1). Let l(w) = 4*w + 0*w + 8*w**2 + 6 + w**3 - w - k. Is 8 a factor of l(-3)?
True
Does 12 divide 1 - -9 - (-129 - 435)?
False
Let l(t) = t - 10. Suppose 0 = 4*v - 2*v - 26. Let u be l(v). Suppose -3*a + 3 + 26 = 2*i, u*a = -i + 13. Does 16 divide i?
True
Let x = 6 - 1. Suppose -d + 2 = x*v, -2*d + 6*d + 13 = v. Let y = v + 24. Does 11 divide y?
False
Let s = -903 - -2209. Does 31 divide s?
False
Suppose 4*j + 20 = -4*v, -5 = j - 5*v - 24. Let t = j + -6. Let f = 49 - t. Is f a multiple of 16?
False
Let v(p) = 22*p**3 - 4*p**2 + 8*p - 19. Is v(5) a multiple of 22?
False
Suppose 4*z - 10 - 14 = 0. Suppose -2*m = -z*m + 496. Suppose 0 = -2*f + m - 28. Does 12 divide f?
True
Let a = -3198 - -5252. Does 26 divide a?
True
Let c = 27 + -17. Let n(p) = -p**2 + 8*p + 8. Let g be n(c). Let q = 0 - g. Is 4 a factor of q?
True
Let l(o) = -164*o + 284. Is l(-10) a multiple of 37?
True
Let t = 488 + -342. Is (14/(-4))/(-7)*t a multiple of 10?
False
Is 5 a factor of (-3)/(-9) - 9552/(-72)?
False
Let z be (28 - 3) + 1/1. Let k(x) = -z*x**3 + 8*x**3 - 6*x**3 - x. Is k(-1) a multiple of 19?
False
Is 3 a factor of -67*((-6)/57 - (-68)/(-76))?
False
Let d = 7 - 3. Let t be -4*-3*d/(-48). Does 3 divide 1/(t*4/(-36))?
True
Suppose -4*j - 2*p - 60 = 0, 4*p - p = -3*j - 45. Does 13 divide (-52)/5*j/6?
True
Suppose 820 = -216*g + 218*g. Is 7 a factor of g?
False
Suppose -l + 4*l = -2*m + 1949, 5*l + 968 = m. Does 14 divide m?
False
Suppose 60*r - 59*r - 1739 = 0. Is 37 a factor of r?
True
Suppose 2*g - g + 1198 = 4*q, 0 = q - 3*g - 294. Does 25 divide 8/(-2)*q/(-16)?
True
Suppose 2*a + 315 = 55. Is a/25*5*-1 + -2 a multiple of 4?
True
Let s be -3 + (-5 + -190 - (-1 - -2)). Let g = s + 344. Is g a multiple of 29?
True
Suppose -2*r - 4*y + 16 = 0, 2*r + 3*y - 6*y + 12 = 0. Let j(d) = -3*d + 16. Is j(r) a multiple of 2?
True
Suppose 0 = 93*y - 77*y - 3888. Is y a multiple of 5?
False
Let w(r) = -r**3 - 17*r**2 + 3*r - 36. Is 21 a factor of w(-18)?
False
Suppose -2*h = 3*h + 270. Does 19 divide (0 - 4) + (-10 - h)?
False
Let j(h) = -2*h - 7. Let i be j(4). Let o = i - -17. Suppose -162 = -3*u - 4*p + 156, -o*u - 2*p = -210. Is 34 a factor of u?
True
Let q = -205 + 274. Does 2 divide q?
False
Suppose 22*j - 2987 - 26053 = 0. Does 11 divide j?
True
Suppose 2428 + 332 = 15*c. Is 33 a factor of c?
False
Let n(r) = 145*r - 3. Let f be (0 + 4 + -5)/(-1). Let o be n(f). Let w = o + -96. Does 24 divide w?
False
Does 25 divide ((-22)/(-2))/(-13*5/(-3250))?
True
Let i be (1720/14)/(-4) - 2/7. Let n = 120 + i. Is n a multiple of 11?
False
Let s be (-3)/(3666/735 + -5). Does 34 divide s - (-20)/(-5 - -10)?
False
Does 28 divide (5 + 33/(-6))*-616?
True
Let q be 3099/27 - 2/(-9). Suppose 0 = z - o - o + 53, -5*o - q = 2*z. Does 18 divide 1/((-3)/3) - z?
True
Let c be (-5)/2*122*1. Let d be c/(-4) - 1/4. Suppose h + 4*b + 4 = 0, b - 12 = 5*h - d. Is h a multiple of 12?
True
Does 24 divide 39/(-26) + (-2)/(8/(-6006))?
False
Suppose -4*q - 282 = 342. Let g = q - -246. Is 30 a factor of g?
True
Let y = -1476 + 2115. Is y a multiple of 30?
False
Does 12 divide 1315*(-3)/((-10 - -5) + 0)?
False
Suppose -5*w + 920 = -2*h, h + 0*h + 925 = 5*w. Is w/7 + 6/14 a multiple of 10?
False
Let l(q) = -13*q - 55. Is l(-29) a multiple of 9?
False
Let y = -17 - -213. Is 28 a factor of y?
True
Suppose 889 = 10*t - 261. Let k = -51 + t. Does 8 divide k?
True
Let z(b) = 36*b**3 - b**2 - 6*b + 6. Does 27 divide z(2)?
False
Suppose -265 = -3*f + 2*i, -2*f + 2*i + 141 = -35. Suppose 0 = -3*d - f + 29. Let b = 33 - d. Does 7 divide b?
False
Let h be (1/2)/(7/28). Suppose 19 = u - h. Is u a multiple of 17?
False
Let x = -4 + 66. Suppose 2*z = -c - c + x, 4*c = 5*z + 115. Is 6 a factor of c?
True
Let u = -1 - -12. Is 5 a factor of (-825)/u*1/(-3)?
True
Suppose -3538 = -16*w + 254. Does 6 divide w?
False
Let i(d) = -d**2 - 7*d + 17. Suppose 4*a + a + 35 = 0. Is i(a) a multiple of 2?
False
Let j = 81 + 102. Does 6 divide j?
False
Suppose -5*i + 0*i = 4*q - 752, -4*q = 8. Suppose 5*o - 3*o + i = 0. Let t = o + 120. Is 22 a factor of t?
True
Let d(u) = 308*u - 20. Let j be d(3). Does 13 divide (1/(-2))/((16/(-4))/j)?
False
Is 55 a factor of (0 - 0) + (466 - -13 - -9)?
False
Suppose -3*o = -5*i + 26, -4*i + 0*o + 22 = -3*o. Does 24 divi