r). Let o(a) = 17*f(a) + 6*v(a). Is o(-12) a multiple of 4?
False
Suppose 0 = t - 0*t + 5. Let p = t - -62. Is 13 a factor of p?
False
Let b(s) = 14*s + 2 - 8 - 2 + 6. Is 4 a factor of b(1)?
True
Suppose 7*g - 2*g = 14390. Is 39 a factor of g?
False
Suppose -p = -v - 61, 2*v + 3*v - 271 = -4*p. Does 8 divide p?
True
Suppose g + 690 = -2*r + 1863, 3*r + g = 1761. Is 6 a factor of r?
True
Suppose 4692 = 5*a + 2*r, 18*r + 4689 = 5*a + 17*r. Is a a multiple of 9?
False
Suppose 0 = -d + 4*b - 16, 3*b - 12 = d - 6*d. Let h = -82 - -132. Suppose -5*p + h = -d*p. Is 5 a factor of p?
True
Suppose 46648 = -138*b + 152*b. Is b a multiple of 52?
False
Let k be 4/6 + (-13)/(-3). Suppose -k*i = -y - 1368, 5*y - 124 = -i + 134. Suppose 3*w - 4*w + 253 = 4*j, 4*j + 5*w - i = 0. Does 19 divide j?
False
Suppose -5*y + 3*k = -251, 5*y - 249 = 47*k - 45*k. Does 7 divide y?
True
Let y(j) = -5*j**3 + 11*j**2 + 11*j - 6. Let o(z) = -4*z**3 + 12*z**2 + 12*z - 7. Let q(u) = -6*o(u) + 5*y(u). Is 6 a factor of q(-16)?
False
Let i = -55 - -57. Suppose 0 = -i*s + 4 + 58. Is 2 a factor of s?
False
Suppose -4*z + 15 = 3. Let b be -85 - (4 - z) - 3. Let d = b - -141. Is 13 a factor of d?
True
Suppose 48*g + x = 46*g + 4280, g - 2126 = -4*x. Is 18 a factor of g?
True
Let h(j) = j**2 + 4*j - 61. Does 15 divide h(-14)?
False
Suppose 2*y - 6696 = -7*y. Is 24 a factor of y?
True
Let b be ((-3)/2)/(9/(-24)). Let q = -13 + 16. Suppose -q*w = -220 + b. Does 13 divide w?
False
Let a = 22 - 17. Suppose -4*p + a*w = 4, -3*p + 28 = 2*p + 2*w. Suppose -54 = -n + 3*o, -241 = -p*n + 4*o - 41. Is 16 a factor of n?
True
Let i = -10 + 53. Let g = -35 + i. Does 8 divide g?
True
Suppose i - 15 = 6*i, 4*q = 2*i + 1038. Is q a multiple of 6?
True
Let r be 9*(16/(-6) - -2). Let w(d) = -d**3 - 6*d**2 + 9*d - 9. Let c(u) = -u**3 - 6*u**2 + 8*u - 8. Let m(n) = -6*c(n) + 5*w(n). Does 21 divide m(r)?
True
Let u(a) = 12*a**2 - 8*a + 6. Let l be u(6). Let j = 596 - l. Suppose 5*f - j = -41. Is 18 a factor of f?
False
Let m be (5 + -17 - -3)*-60. Suppose 9*l - m = 270. Does 18 divide l?
True
Let j = 46 - -26. Suppose -j - 23 = -u. Suppose 4*q - 6*x - u = -x, -5*x = -5. Is 11 a factor of q?
False
Let q be (-3)/1 + 5 - (1 - -1). Suppose 7*w + 18 - 1040 = q. Does 6 divide w?
False
Suppose 8*l - 379 - 181 = 0. Suppose 2*u + k - 171 = 0, -l - 268 = -4*u + 2*k. Does 17 divide u?
True
Suppose 16*d = 12*d + 432. Does 9 divide d?
True
Suppose 0 = -4*o - 4*u + u - 103, -5*u = -5*o - 85. Let t be o*((-20)/8 - -1). Is 9 a factor of (-6)/t - (-864)/33?
False
Let q = -420 + 422. Let x(i) = 2*i**2 + 3*i. Let r be x(-2). Suppose t - 10 = -r*k - t, k = 2*t + q. Is k a multiple of 2?
True
Let m(o) = o**2 + 10*o + 7. Let i be m(-9). Let f be ((-6)/(-8))/(1/4). Does 19 divide ((-532)/42)/(i/f)?
True
Let s = -33 - -35. Suppose 3*t - s*t - 31 = 3*m, -3*m = -4*t + 151. Is t a multiple of 10?
True
Let f be (-17 - -22)*58/10. Suppose 4*b - 173 = -5*t + f, -t + 4*b = -26. Does 7 divide t?
False
Let m(y) = 93*y - 12. Let v be m(6). Is v/(-3)*(-12)/14 a multiple of 36?
False
Let k = 511 + 242. Does 7 divide k?
False
Suppose 5*q = 5*v + 205, q = 4*v - v + 47. Let u = -2 + q. Is 9 a factor of u?
True
Let a(s) = s**2 + 6*s + 4. Let o be a(-6). Suppose -2*t = -2*q + 8, -o*q + q + 12 = 0. Suppose t*b + 69 = 3*b. Is 11 a factor of b?
False
Let x(a) = a - 12. Let r be x(11). Let o(t) = -185*t**3 + 3*t**2 + 3*t + 1. Does 32 divide o(r)?
False
Let l(i) = i**2 + 1. Let t(b) = -b**3 + 5*b**2 + 2*b + 214. Let o(a) = -4*l(a) + t(a). Does 42 divide o(0)?
True
Let c(p) be the second derivative of -p**4/12 + 4*p**3/3 + 11*p**2/2 - 11*p. Is c(6) a multiple of 6?
False
Suppose 5*t - 20 = 0, -2*g = -4*t + 228 + 60. Let q = 196 + g. Is 3 a factor of q?
True
Suppose 25*q = 6*q + 13262. Does 16 divide q?
False
Let b(w) = 5*w - 7 + 4 - 4*w + 8*w**2. Let p be b(3). Suppose -5*l = -a + 17, -l - p = -5*a - 11. Is 2 a factor of a?
True
Suppose -h - 4*h + 1360 = 0. Suppose 0 = 144*l - 140*l - h. Does 4 divide l?
True
Suppose h - 2*m + 262 = 0, -h + m = 4*m + 282. Let u = -191 - h. Suppose -5*d - 4*a + u - 16 = 0, 36 = 2*d - 2*a. Does 12 divide d?
False
Suppose 6*o - 266 = -o. Let t be o/323 + (-38)/34. Let b(g) = -8*g**3 - g**2 - g - 1. Does 7 divide b(t)?
True
Is 46 a factor of (286/(-88))/((-2)/(-736)*-2)?
True
Let h = 2911 - 1519. Does 12 divide h?
True
Let q(f) = -f**3 - f**2 + 1. Let u(m) = 4*m**2 + 2*m - 2. Let d(c) = q(c) + u(c). Suppose 13 = 6*r - 5. Does 3 divide d(r)?
False
Let d = -1 - 5. Let o(w) = 6*w + 2. Let g be o(3). Let p = d + g. Does 9 divide p?
False
Let c = 158 + -281. Let y = 173 + c. Is y a multiple of 26?
False
Suppose -3*d = -d, -2*j + 2*d = -216. Suppose 0*n - j = -3*n. Is 18 a factor of n?
True
Let i be 2/9 + (-3470)/(-18). Suppose 36*o - 23*o = 39. Suppose -o*m = -n + 50, -2*n - 5*m + i = 38. Does 21 divide n?
False
Is ((-79)/(-11) + 12/(-66))*35 a multiple of 49?
True
Let c be (-2 + 2 - 1)*0. Suppose 136 = 4*s - c*s. Does 17 divide s?
True
Suppose 4*t - 3*x - 1587 = 0, -5*t + 1133 = 3*x - 817. Does 14 divide t?
False
Suppose -77*t + 10166 = -1384. Is t a multiple of 3?
True
Suppose -6*k - 3*u = -4*k - 232, 0 = -3*u. Let n = k - -45. Does 30 divide n?
False
Suppose 0 = 2*a - 56 - 118. Suppose -3*t + a = -3*r, -5*t + 175 = 3*r + 2*r. Is t a multiple of 19?
False
Let v(j) = -41*j**2 - 5*j - 7. Let d(i) = 41*i**2 + 6*i + 8. Let q(c) = -6*d(c) - 7*v(c). Let b be q(1). Suppose 0*z + n = -4*z + b, 3*n = -9. Does 11 divide z?
True
Suppose 0 = -2*j + 256 + 86. Is 12 a factor of j?
False
Let k(b) = b**2 - 9*b - 11. Let l be k(-8). Suppose l = -5*n - 0*n. Let c = 14 - n. Is c a multiple of 13?
True
Suppose 570 = -17*f + 4378. Suppose 4*v + f = 4*p, 3*v + 59 - 3 = p. Does 7 divide p?
True
Let n(m) be the second derivative of -m**5/20 + 2*m**4/3 - 2*m**3/3 - m**2/2 + 12*m. Is 10 a factor of n(7)?
True
Suppose -b + 113 = -m, -3*m - 447 = m - 3*b. Let z be (m/(-10))/((-6)/(-45)). Is 12 a factor of ((-16)/6)/((-6)/z)?
True
Let t be (6 - 2 - 3)*11. Suppose 3*q = 4*q + 4*m - t, 0 = -2*m + 2. Is 28 a factor of (q - -2)/(-3) + 59?
True
Let s(j) = -j**2 - 41*j - 53. Is s(-39) a multiple of 11?
False
Suppose -6*j + 1020 + 1512 = 0. Let h = 602 - j. Does 20 divide h?
True
Let p(f) = 11 + 4*f**3 - 4 - 9*f**3 - 2*f**2. Let q(c) = -c**3 - c**2 + c + 1. Let m(l) = p(l) - 6*q(l). Is m(-5) a multiple of 3?
True
Let f(c) be the second derivative of 23*c**3/6 - 9*c**2 - 9*c. Does 20 divide f(6)?
True
Let g be 2/(-7) - (-6540)/105. Suppose 4*u - 5*q - 127 = 0, 2*q = 4*u - 2*u - g. Is u a multiple of 7?
True
Suppose 3*t = 3*w - 468, -5*t - 24 = 2*w - 308. Is 6 a factor of w?
False
Let g(k) be the third derivative of 3*k**5/40 - k**4/8 + k**3/3 + 2*k**2. Let c(i) be the first derivative of g(i). Is 3 a factor of c(2)?
True
Suppose 2499 = 31*m - 1407. Does 14 divide m?
True
Let b(v) = -v**3 - 4*v**2 + 7*v - 6. Let l be b(-7). Let h be 2*(0 - l/(-8)). Suppose 73 + h = 3*i. Is 7 a factor of i?
False
Let d = 122 + -50. Does 13 divide d?
False
Suppose -267*v + 262*v + 315 = 0. Does 19 divide v?
False
Suppose 3*x = -5*k + 2992, 112 = -2*x - 4*k + 2108. Is x a multiple of 71?
True
Let r be (-2)/6 - (-445)/(-15). Let m be ((-12)/10)/(r/(-200)). Let l(d) = -d**2 - 11*d + 4. Does 4 divide l(m)?
True
Let d(r) = -18*r - 2. Suppose 0 = -5*x - 4 + 9. Let p be d(x). Let j = p + 33. Is 13 a factor of j?
True
Suppose -6*k - 68 = -7*k. Suppose -4*n + k = -2*n + 4*w, 0 = -2*n + 5*w + 50. Is 5 a factor of n?
True
Let x be (2/(-7) - 0)*-7. Suppose f = 6*r - r - 670, -x*r - 5*f + 268 = 0. Is r a multiple of 21?
False
Suppose 0 = -0*u + 2*u - r - 1146, -5*u - r = -2858. Is u a multiple of 26?
True
Let q = -10 - -28. Suppose u = 0, -2*o + o = -2*u - q. Is 11 a factor of o?
False
Let s = 679 - 386. Is 16 a factor of s?
False
Suppose -2*m = -m - 3. Is 5 a factor of 13/(m*(-2)/(-6))?
False
Suppose 5*l = f - 107, 2*f - 24 = 5*l + 185. Is 34 a factor of f?
True
Let w(a) = -3*a**2 - 6*a + 4. Let u be w(-2). Let r(l) = -17*l + 6. Let x be r(-5). Suppose -u*o + 88 = 2*c, -2*c = 2*o - x + 7. Is c a multiple of 15?
False
Let t = 7 + -9. Let g(v) = -8*v**3 - 3*v**2 - 2*v - 2. Is g(t) a multiple of 9?
True
Suppose 2*i - 84 = -5*z - i, 0 = -4*i + 12. Let y = z - -12. Is 27 a factor of y?
True
Le