-4*w - 717, -w + x + 262 = 3*v. Is 29 a factor of v?
False
Suppose 0 = -s + 3*g + 71, -138 = -5*s + 3*g + 205. Suppose -288 = -s*i + 65*i. Does 16 divide i?
True
Let y(d) = 2*d - 10. Let m be y(6). Let q(x) = x**3 - 12 + 3*x + 12 - m*x**2. Is 6 a factor of q(2)?
True
Suppose -5*s = -c + 36, -c - 2*s + 153 = 4*c. Let z = c - -3. Let p = -14 + z. Is 20 a factor of p?
True
Let b(k) = -k - 3 + 4 - 1. Suppose 4*i = 7*i + 21. Is 7 a factor of b(i)?
True
Suppose 0 = 3*c - 5*q + 91, 2*q + q = 3*c + 81. Let u = -7 - -61. Let r = u + c. Does 29 divide r?
False
Suppose 3*r - 5*g - 1232 = 0, 2*r = 3*g + 2*g + 818. Is 15 a factor of r?
False
Suppose -2*v + 3*u + 5 = 0, 7*u - 4*u + 15 = 3*v. Is -1 + ((-669)/(-11) - v/(-55)) a multiple of 18?
False
Let j(w) = 86*w**2 + 13*w + 1. Does 11 divide j(3)?
True
Suppose -1934 = -30*v + 1966. Is v a multiple of 13?
True
Let p = 3185 - 1498. Is 13 a factor of p?
False
Let l = 105 - 105. Suppose i - 173 = -3*f, i + 5*f - 179 = -l*i. Does 35 divide i?
False
Suppose 4*q - 63 = 77. Let d = q - 28. Suppose -d*k = -k - 510. Does 19 divide k?
False
Suppose 31266 + 1102 = 16*l. Is l a multiple of 29?
False
Let t(o) = 148*o + 1. Is 13 a factor of t(5)?
True
Suppose -108 = 22*v - 26*v. Let g = 94 - v. Is g a multiple of 4?
False
Let h(d) = -18*d - 26. Let c be h(-22). Suppose -3*f - 2*f = i - 355, 5*f - 2*i - c = 0. Does 9 divide f?
True
Suppose 7*n = -399 - 98. Let u = 100 + n. Is u a multiple of 29?
True
Suppose 2*r + f - 8 = 0, -5 + 25 = 2*r + 4*f. Suppose 104 + 22 = 4*b - r*m, -5*m = 2*b - 33. Does 10 divide b?
False
Let z = 946 + -464. Suppose 3*p - 242 = -c, 0*p + z = 2*c + 4*p. Is 42 a factor of c?
False
Let u = 30 - 30. Suppose 0 = 2*n - u*n - 422. Does 32 divide n?
False
Let c(r) be the second derivative of 3*r**3/2 - 24*r**2 + 7*r. Is 3 a factor of c(11)?
True
Let f(d) = -d - 11. Let h be f(-6). Let b = h - -10. Suppose -j = b*t - 18, -3*t = -3*j + 33 + 111. Is j a multiple of 13?
False
Suppose 629 + 163 = 6*v. Is 4 a factor of v?
True
Suppose -5*a + q = -241, 0 = -3*a - 4*q + 166 - 3. Let b = -7 + a. Suppose -4*g + b = -6. Is g a multiple of 12?
True
Let c(r) = r**2 + r - 7. Let f be c(-3). Let v = 79 + f. Does 38 divide v?
False
Let m(f) = 18*f - 7. Let h be m(1). Suppose 0 = -2*u + 33 - h. Is u a multiple of 3?
False
Suppose -5*x + 4*o + 45 = o, -o = -2*x + 19. Does 41 divide (-322)/(-8) - (27/x - 3)?
True
Let x be 14/4 - (-17)/(-34). Let f = 147 + x. Is 25 a factor of f?
True
Let l be (0 - (-500)/(-6))/(17/51). Does 21 divide l/(-12) + (-2)/(-12)?
True
Let l = -421 - -476. Does 6 divide l?
False
Let u(m) = m**3 + 44*m**2 - 99*m - 102. Is 11 a factor of u(-46)?
True
Suppose -2*p - 9*o + 10*o + 394 = 0, -2*o = p - 192. Is 26 a factor of p?
False
Let o = 1764 - 1002. Is 2 a factor of o?
True
Suppose 0 = -r - 2*h + 2 - 3, 0 = 2*r - 5*h - 34. Let c be ((-3)/9)/(r/(-1197)). Let f = c + -41. Is f a multiple of 16?
True
Suppose 3*n - 798 = 1716. Does 18 divide n?
False
Let r be 6/4 - 12/(-8). Suppose f - 5*f = 4*b - 68, r*f + 21 = 3*b. Does 9 divide 24/(-2)*(-18)/b?
True
Let v(h) = -h**3 + 5*h**2 - 90*h - 88. Is v(-14) a multiple of 18?
True
Is 3/(-1) - (5 - 2848) a multiple of 40?
True
Let h = 370 - 24. Suppose -5*q + h = -794. Does 19 divide q?
True
Suppose 0 = 4*c - 61 + 17. Let s(b) = b**2 - 15*b + 9. Let a be s(c). Let u = -18 - a. Is 9 a factor of u?
False
Let p(o) = -o**3 + 9*o**2 + o - 4. Let y be p(9). Suppose 3*h - 3 = -y*u, -5*u + 24 = -5*h - 11. Suppose -a - 4*q = -11, -7 = -a - 5*q + u. Does 3 divide a?
True
Suppose -94*k + 63*k + 59210 = 0. Does 10 divide k?
True
Suppose -16*p + 5223 = -19833. Is 27 a factor of p?
True
Let w = 56 - 53. Suppose -w*x - 75 = -3*o, -70 = -5*o + 3*x + 45. Is o a multiple of 4?
True
Let n(k) = 6*k**2 + 14*k + 25. Let v(d) = 3*d**2 + 7*d + 12. Let g(u) = -6*n(u) + 13*v(u). Is g(-3) a multiple of 2?
True
Let o(j) = 3*j**2 + 4*j. Let n be o(-3). Let b be (-8)/12*n/(-2). Suppose -b*z = 17 - 92. Does 15 divide z?
True
Let y = 18 + -14. Suppose -v - 2*v - 2*b + 8 = 0, y*v + 5*b = 13. Suppose 54 = -j + v*j. Is 23 a factor of j?
False
Suppose 0 = f - 3*x - 9, 0 = -3*f + 8*f - x - 17. Suppose -f*b + 3*a = 4*a - 20, 3*b - 8 = -4*a. Is b a multiple of 6?
False
Let b(i) = -i**3 + 6*i**2 + 2*i - 11. Let t be b(5). Let a = 84 - t. Is 12 a factor of a?
True
Does 8 divide (-91)/(-21)*2*9?
False
Suppose 0 = -7*r + 8*r - 3. Suppose -a = -2*x + 115, -181 - 14 = -3*x - r*a. Is x a multiple of 20?
True
Let b = 22 + -34. Let c(p) = -2*p - 17. Is 3 a factor of c(b)?
False
Let h = 117 - 332. Let z = -120 - h. Is z a multiple of 19?
True
Suppose 3*b - s + 550 = 0, 3*s = -0*b - 4*b - 716. Is (36/(-7))/(39/b) a multiple of 6?
True
Let d(x) = 52*x**2 + 1 + 40*x**2 - 7*x**2. Let h be d(-1). Suppose 3*z - q - 241 = h, -2*z + 210 = 2*q. Is z a multiple of 36?
True
Suppose 3*y - 288 = -2*y + 3*w, 3*y = w + 172. Is 19 a factor of y?
True
Suppose 105 = -g - o - 1230, 3*g - 2*o + 3980 = 0. Is 38 a factor of ((-2)/5)/(10647/g + 8)?
True
Let u(q) = 4*q + 3 - 7 - 2*q + 7*q**2. Let r(s) = -7*s**2 - 2*s + 3. Let a(m) = -7*r(m) - 6*u(m). Is a(-3) a multiple of 12?
True
Suppose u - 538 = 5*y - 2*u, 0 = 4*y + 3*u + 452. Let v = -66 - y. Is 12 a factor of v?
False
Suppose 0 = 6*n - 18. Suppose n*v - 50 - 262 = 0. Is v a multiple of 13?
True
Let x(w) = 679*w**2 - 41*w + 81. Is x(2) a multiple of 15?
True
Suppose -430 = -5*h + r + 4*r, 0 = -2*h - 5*r + 144. Let t = 140 - h. Does 6 divide t?
False
Let u(o) = -3*o - 24. Let v be u(-12). Suppose -v*r = -7*r - 1305. Does 29 divide r?
True
Let f(b) = 10*b**2 - 7*b + 11. Does 29 divide f(2)?
False
Suppose 2*i + c = 638, 3*i + 3*c - 1593 = -2*i. Let k = i - 206. Is k a multiple of 23?
True
Let d be (-1 - (-7 + 1))/1. Let c = 17 - d. Suppose c = 3*n, -3*a + 7*n + 7 = 2*n. Is a a multiple of 9?
True
Suppose 12 + 23 = s. Let z(u) = u**3 - 10*u**2 - u + 5. Let a be z(10). Let k = a + s. Is 17 a factor of k?
False
Suppose -22*t + 27*t - 5 = 0. Does 2 divide (1/t)/((-3)/(-12 - 3))?
False
Suppose 0*i - 8 = i - 3*s, 8 = -3*i + s. Is 3 a factor of ((-1)/(-2) - 2)/(i/4)?
True
Let a(h) = -48*h - 7. Let u be ((-1)/(-4))/(8/544). Suppose 3*l + u = 11. Is a(l) a multiple of 19?
False
Suppose 4*r = -6 + 22. Suppose 0 = -r*f + 12 + 4. Suppose 5*c - 2*c - 87 = 3*n, 0 = -f*c - n + 101. Is c a multiple of 7?
False
Let w = 32 - 24. Suppose w*p - 208 = 1248. Is 14 a factor of p?
True
Suppose 5413 = 5*g + 5*n - 6262, 5*n + 4656 = 2*g. Does 54 divide g?
False
Let j(k) = -2*k - 2. Let g be j(-2). Suppose 5*n - 4*l - 258 = -0*n, -4*l = g*n - 120. Is n a multiple of 6?
True
Suppose 5*a - 330 = 525. Is 16 a factor of a?
False
Suppose 0 = 5*n - 9 - 1. Suppose -3*i - 3*w + 6 = 0, i = w + 12 - n. Is i a multiple of 2?
True
Let d(q) = q**3 - q**2 - q + 2. Let j be d(2). Suppose 89 = -j*g - 439. Let o = -76 - g. Does 18 divide o?
False
Does 13 divide (-21)/2*((-400)/24 - -8)?
True
Suppose -i = 2*x - 722, -8*i + 2151 = -5*i + x. Let q = -507 + i. Is 11 a factor of q?
True
Is 16/6*(0 - (-24)/4) a multiple of 10?
False
Suppose -c - 2*c = -6*c. Suppose 2*h = -c*h, -5*z + 540 = -h. Is 18 a factor of z?
True
Let q = 18 - 14. Let u be 0 + 3 - (q - -27). Is (16 + -2)*(-120)/u a multiple of 12?
True
Let y(q) be the second derivative of 4*q**3/3 - 9*q**2 + q. Does 6 divide y(5)?
False
Suppose 13*y = 16*y - 2379. Does 61 divide y?
True
Let w = 35 - 23. Let y = 2 + w. Is 2 a factor of 88/y + 8/(-28)?
True
Suppose -11*l = -5*l + 4*s - 6074, -2034 = -2*l + s. Is 4 a factor of l?
False
Let d be -1*(-1)/(-2) - 72/(-16). Is 30 a factor of (d - 440)/(-4) - -3*1?
False
Let h = 2 + 3. Let u(d) = 14*d - 13. Does 15 divide u(h)?
False
Suppose -3*o + 5*k = -0*k + 19, 2*o = 3*k - 11. Let l(d) = d**3 + d - 4*d + o*d + 26 + d**2. Does 13 divide l(0)?
True
Suppose -4*q + 3*k - 4*k + 841 = 0, 3*k = 4*q - 837. Does 9 divide q?
False
Let y = 121 + 501. Is 7 a factor of y?
False
Let d(k) = -82 + 7*k - 2*k**2 + 90 - k**3 - k**2. Is 30 a factor of d(-6)?
False
Let r = -21 - -29. Let j = 2 - r. Let i(q) = 2*q**2 + 3. Is 25 a factor of i(j)?
True
Suppose -11*q = -19361 - 6489. Does 25 divide q?
True
Let m = 114 - 40. Let d = 53 - m. Let j = -11 - d. Is 5 a factor of j?
True
Let v = 41 - 26. Suppose -v*b + 6*b + 144 = 0. Is 16 a factor of b?
Tr