*w - 4*v - 1212, 604 = 2*w - v. Is w a multiple of 6?
False
Let l(k) = -k**3 - 11*k**2 + 18*k - 19. Let x be l(-13). Suppose 66 = 4*g - 2*s, -s - x = -5*g + s. Let n = 47 - g. Is 7 a factor of n?
True
Let b = 3971 + -2321. Does 11 divide b?
True
Let p(k) be the second derivative of 5*k**3/6 + 29*k**2/2 - 29*k - 2. Is p(24) a multiple of 28?
False
Suppose -5*l = -11 - 4. Suppose -1 - 2 = -l*t - v, -3 = -5*t - v. Let d = t + 32. Does 16 divide d?
True
Let x be ((-22)/(-4) + -2)*2. Suppose -2*k - x = 3*c, 6*k = 3*k + 12. Is 19 a factor of 1 - -108 - c/5?
False
Let t(d) be the second derivative of -d**3/2 + 13*d**2 - 10*d. Does 24 divide t(-14)?
False
Suppose 7 + 9 = 4*t. Suppose 4*s - 3*h = -13, 0 = t*s - 0*h + 4*h - 8. Is 13 a factor of 273/9 - s/(-3)?
False
Does 7 divide ((-218)/3 + 10)*(-6)/4?
False
Suppose 4*y - 1 - 1 = 3*r, 2*y + 10 = -4*r. Let w be -5*r*6/15. Suppose 0 = 5*f + 5, -h + w*h - 4*f = 40. Is 12 a factor of h?
True
Is 1176/10 - 18/30 a multiple of 9?
True
Suppose 4*t - 139 - 289 = 0. Suppose -4*g + 378 = 5*n + t, 74 = g - 5*n. Suppose 0 = 5*j - 51 - g. Is 12 a factor of j?
True
Let n(t) = -t**3 + 13*t**2 + 21*t - 18. Does 2 divide n(14)?
True
Suppose d = -5*a + 2 - 4, 4*a = -4*d - 8. Does 10 divide 7/(d/6 - (-10)/15)?
False
Let t = 8 - 8. Suppose 0 = -4*l, -4*x + 4*l + 45 + 79 = t. Suppose -p + 3*d = -3*p + x, -5*d = 4*p - 59. Is 11 a factor of p?
True
Let h(d) = -d**2 - 1. Let p(v) = v**2 - v + 2. Let k(o) = 4*h(o) + 3*p(o). Let q be k(-3). Suppose -q*r - l + 45 = 0, -4*r + 2*l = -57 - 21. Is 6 a factor of r?
False
Suppose -18*m = 2*m - 4340. Is m a multiple of 12?
False
Let d(u) = u**3 - 4*u**2 + 3*u - 4. Suppose -2 = 2*b + 3*n - 19, 0 = 2*b - 3*n + 1. Let y be d(b). Is 26 a factor of 74/y*(-2 + 6)?
False
Let t = 362 - 138. Does 56 divide t?
True
Suppose 0 = 3*f - 3. Let p(v) = 102*v**3 + v**2 - v. Let i be p(f). Suppose -y = y - i. Is 17 a factor of y?
True
Let d be (1 + -2)*(0 + 3). Let p = d + 5. Is -5 + 5 + (26 - p) a multiple of 8?
True
Let k be (-6)/(-48) - (-63)/8. Let f(v) = -v**3 + 3*v**2 + v + 3. Let u be f(3). Let b = u + k. Does 7 divide b?
True
Let f(t) = 4*t**2 + 3*t + 10. Let s be f(-4). Suppose 0 = 5*i - 2*b - s, -5*b + 7 = -2*i + 3*i. Does 3 divide i?
True
Let k = 1763 + -1122. Is 15 a factor of k?
False
Let m = -35 + 37. Suppose -71 - 5 = -m*z. Is z a multiple of 18?
False
Let z = -1940 + 2806. Suppose z = 4*u + 3*o, 6*u - 3*u = 5*o + 635. Is u a multiple of 43?
True
Let i = 754 + 182. Suppose -20*o = -12*o - i. Is 9 a factor of o?
True
Let d(f) = 219*f - 49. Does 32 divide d(16)?
False
Let z = -10 + 13. Let x(n) = 17 + 6*n - 11*n**2 + 5*n + 85*n**z - 86*n**3. Does 28 divide x(-12)?
False
Let h(f) = -13*f**3 + 3*f - 1. Let j be h(-2). Let g = j + -55. Is g a multiple of 3?
True
Suppose 12*p - 4 = 10*p - 2*d, -4*d = -p + 27. Is p a multiple of 3?
False
Suppose -885*q + 902*q - 6273 = 0. Is q even?
False
Suppose 237 + 270 = 3*l. Suppose u - 5*o - l = 0, -3*u = -2*u - o - 161. Suppose -5*q + 2*q + u = 0. Is q a multiple of 11?
False
Suppose 2*k - 8 = -t - 4, 4*t + k = 9. Suppose 2*c + 19 = -t*s + 169, 3*s = -5*c + 217. Is s a multiple of 13?
False
Let l(b) = -122*b + 20. Is l(-1) a multiple of 27?
False
Let n be (-3)/(-9)*3 + -38. Let j = -21 - n. Let z = j + 29. Is 16 a factor of z?
False
Let g be 3/(-18)*-3*0. Suppose -u + 1 + 4 = g. Suppose -2*h - u = -23. Is 3 a factor of h?
True
Suppose 10*a - 6 = 7*a. Let u(k) = 14*k**2 + 2*k - 2. Is 15 a factor of u(a)?
False
Suppose -8*q = -2*q. Suppose q*g - 28 = 7*g. Is 7 a factor of g - (-4 - -3)*39?
True
Suppose 4999 = 19*c + 1503. Is c a multiple of 23?
True
Let q be 2 - 3 - 1 - -3. Suppose -4*i + 59 = -q. Is i a multiple of 5?
True
Suppose 19 - 55 = -3*o. Suppose 4*j + 3*r - 13 = 2*r, 5*j + 10 = 4*r. Does 3 divide j/1 + o + -11?
True
Suppose -3*t - t = 0. Suppose -f - 10 = -4*c, -c - 4 + 1 = -3*f. Suppose -48 = -t*j - f*j. Is 6 a factor of j?
True
Let s = 686 - -28. Is 21 a factor of s?
True
Let z = 145 - 72. Let u = z - -59. Is u a multiple of 33?
True
Let q = 7223 + -4889. Does 5 divide q?
False
Let c be 52/(-6)*(-6)/4. Suppose u - c = -4. Is u a multiple of 3?
True
Is 44 a factor of (16 - -196)/(((-3)/6)/(-1))?
False
Suppose -77*i - 6 = -79*i. Is (i - 36/8)*138/(-3) a multiple of 23?
True
Let m(n) = n**3 - 6*n**2 - 5*n + 3. Let s(u) = -u**3 + 5*u**2 + 4*u - 3. Let a(l) = -2*m(l) - 3*s(l). Is 13 a factor of a(5)?
False
Let u(f) = f + 27. Let a be u(-9). Let o(p) = -a*p - 26*p - 2 + 12*p. Is o(-1) a multiple of 30?
True
Let i(l) = -3*l - 23. Suppose 3*s = 2*o + 35, -3*o + 2*o - 30 = -4*s. Let r be i(o). Suppose r*d - 41 = 22. Is d a multiple of 8?
False
Let z be (-12)/18*(-57)/2. Suppose -n + 47 = -z. Suppose -2*b = -4*r - n, 4*b + r - 102 = 3*r. Does 5 divide b?
False
Suppose 22 = 3*f + f - 2*p, 5*f + 2*p - 23 = 0. Suppose -f*d + 207 = -18. Let q = d + -27. Does 9 divide q?
True
Suppose -2*c + 4*x - 8*x + 3098 = 0, x = 5*c - 7734. Is 13 a factor of c?
True
Suppose -2*y - 5*x = 3*y + 785, -5*x = 4*y + 624. Let u be y/28 + (-6)/(-8). Let v(s) = s**3 + 7*s**2 + 6*s - 6. Does 5 divide v(u)?
False
Let a be -2 - (-1 + -1 + 0). Suppose 3*t - 2*t = a. Suppose t = 3*i - 4*m - 192, -2*m - 3*m = -3*i + 195. Is 12 a factor of i?
True
Let y(o) = o**2 - 10*o - 8. Let v be y(11). Suppose -v*a + 200 = -115. Does 35 divide a?
True
Let n(y) = y**2 + 12*y - 34. Does 6 divide n(-28)?
True
Let q(h) be the third derivative of 0 - 1/120*h**6 + 7*h**2 - 1/24*h**4 + 1/60*h**5 + 2*h**3 + 0*h. Is 12 a factor of q(0)?
True
Suppose -4*q + 77 = 3*q. Is 9 a factor of q?
False
Let l = -85 + 119. Suppose -4*i + 12 - 37 = -3*s, 0 = 3*i + 2*s + 40. Let g = i + l. Is g a multiple of 12?
True
Let a(o) = o + 1. Let l(p) = 4*p + 8. Let k(b) = -18*a(b) + 2*l(b). Is k(-6) a multiple of 26?
False
Let i(c) = 3*c**2 + 11*c - 38. Is i(3) a multiple of 11?
True
Let c be (-2 - 8/12)*36. Let q = c - -150. Does 29 divide q?
False
Let z = 5907 + -4043. Suppose 8*s = -264 + z. Is 50 a factor of s?
True
Let p(j) = 20*j**2 - 24*j - 22. Let l(c) = c**2 - c - 1. Let t(v) = 44*l(v) - 2*p(v). Does 8 divide t(3)?
True
Let m(i) be the first derivative of 3*i**2 + 9. Let t be 2/3*-3 + 6. Does 16 divide m(t)?
False
Suppose -72 + 22 = -10*s. Suppose -9 = s*i - 59. Is i a multiple of 10?
True
Suppose -2*s = w - 172, -3*w + 2*s + 200 = -348. Is 10 a factor of w?
True
Let x = -39 + 235. Is x a multiple of 14?
True
Suppose -3*f - 4*h = 91 - 3390, 2*h - 10 = 0. Is f a multiple of 16?
False
Let w = 1640 - -10. Is w a multiple of 8?
False
Let n(o) = o - 5. Let x be n(7). Let j(h) = -h**2 - 12*h - 6. Let u be j(-11). Suppose 4*z - x*z = 4*b - 110, 3*z = u*b - 135. Does 15 divide b?
True
Suppose 0*r = -2*r. Suppose -d + 9 = -r. Suppose 5*i - 6 - d = 0. Is i a multiple of 2?
False
Suppose 648*p = 651*p - 192. Does 51 divide p?
False
Let n be (231 + -2 + -1)*2. Suppose -4*s + 4*r + n = -s, -3*r = s - 165. Suppose -s = -7*x + 3*x. Is x a multiple of 13?
True
Suppose 5*q - 28 = 2*p, -3*q - 16 = 3*p - 4*q. Suppose -3*t - 6 + 21 = 0. Let z = t - p. Is z a multiple of 9?
True
Suppose 48 = -2*f + 4*k, -4*f + k - 92 = -24. Let m = f + 53. Is 37 a factor of m?
True
Let n(g) = g**3 + 3*g**2 - 7*g - 8. Let s be n(-2). Suppose -s*d - 165 = -15*d. Does 21 divide d?
False
Let d be (-3 - 29)*(-1 + 2). Let l = d + 74. Is 13 a factor of l + 7/(14/(-6))?
True
Let m = -17 + 13. Let w be 27/(m - -7) - 4. Suppose -w*d + u = -146, 0 = d + u - 2*u - 30. Is d a multiple of 29?
True
Let n(i) = 69*i**2 + 81*i + 534. Does 18 divide n(-6)?
False
Let z be ((1 - -3) + -6)*-1. Suppose 0 = 3*g + 5*l - 86 - z, -4*g + 94 = 2*l. Does 8 divide g?
False
Suppose 50243 = 53*z - 23056. Is 30 a factor of z?
False
Suppose -3*v = 38 - 83. Let a = v + -12. Is a a multiple of 2?
False
Suppose -2*f + 3 = -v - 0, 5*f = v. Let c be (v/(-3))/5*0. Suppose c = -g + 2. Is 2 a factor of g?
True
Suppose -4*d = t - 215, 2*t - 3*t - 3*d + 220 = 0. Suppose -3*b = -2*n - 324, 5*n - t = 2*b - 4*b. Does 22 divide b?
True
Suppose 0 = -2*y - w + 146, -5*y + 185 = -5*w - 195. Let x = -45 + y. Is x a multiple of 20?
False
Let y(s) = -6*s - 12. Let z(h) = h**2 + h. Let n be z(-2). Suppose n*x = -x - 15. Is y(x) a multiple of 6?
True
Let o be 12/(-4)*13/(-3). Suppose -14*b = -o*b - 210. Is b a 