r - 3755. Is w a multiple of 17?
True
Let m(r) = -r**2 + 2*r - 7. Let y(x) = 2*x**2 - 3*x + 14. Let w(v) = -9*m(v) - 4*y(v). Let t be w(5). Is (-1 + 2)/(t/50) a multiple of 5?
True
Let v(l) = -l**2 + 6*l - 2. Let m be v(5). Let s(z) = 1 - 7 + 11*z + 9*z - 9*z. Is s(m) a multiple of 9?
True
Let b(j) = 3*j**2 + 7*j - 1. Let o(w) = w**3 - 3*w**2 + 5*w - 4. Let a be o(3). Let c = 6 - a. Does 13 divide b(c)?
True
Suppose 0 = -7*a - 8*a + 12465. Is a a multiple of 8?
False
Suppose 0 = -2*v + 17 + 1. Suppose -14*h = -v*h - 25. Suppose h*j - 48 = j. Is j a multiple of 3?
True
Let z(i) = i - 1. Suppose -5*x + 4*q + 15 = 0, 2*x - 26 = -x - q. Let f be z(x). Does 31 divide (4/f)/(8/1176)?
False
Let d be -9*5*(-8)/(-20). Let k = 22 + d. Suppose k*l = -0*l - 2*j + 204, -5*j = 20. Is 9 a factor of l?
False
Suppose 6*s = -3*m + 3*s + 264, -4*s = -m + 63. Does 3 divide m?
False
Let x(n) = 2*n + 22. Let o be x(17). Suppose 17*v = 19*v - o. Does 7 divide v?
True
Let j(g) = g**3 - 8*g**2 - 32*g - 24. Is j(14) a multiple of 16?
True
Suppose -3*c + 5*c = -g + 487, -2*c + 2*g + 484 = 0. Is c a multiple of 15?
False
Let y = -619 + 1915. Is y a multiple of 38?
False
Let f(t) = -t**2 - 21*t - 21. Let m be f(-22). Is (-3)/6 + (-5)/2*m a multiple of 19?
False
Let s(x) be the first derivative of 8*x**3/3 - x**2 - 2*x + 11. Let z(a) = -a**3 - a**2 - a - 2. Let n be z(0). Is s(n) a multiple of 17?
True
Let s(k) = 2*k**3 - 7*k**2 + 18*k + 44. Does 23 divide s(7)?
False
Suppose 52*z = 53*z - 462. Is 33 a factor of z?
True
Let f be 38 + 2 + (-2 - -2). Suppose -5*b - 199 = -2*v, b = -2*v + 141 + f. Is 11 a factor of v?
False
Let p be -2 - ((-96)/3 + (-5 - -2)). Let z = p - 11. Does 22 divide z?
True
Let r be 2/(-10)*10/4*114. Is 2 a factor of 4 - 30/8 - r/12?
False
Let m = -583 + 1131. Suppose -5*r + 920 = 5*q, -4*q + 7*q - m = -r. Is q a multiple of 14?
True
Let m be 0 - (-8 + 1 + 1). Suppose m = -2*i, 96 = 5*n + 3*i - 95. Suppose -3*c = -c - n. Does 20 divide c?
True
Suppose 3*g = -0*g + 12. Suppose -k + 259 = 3*o, 4*o - 2*o = -k + 174. Suppose -f + o = g*f. Is 5 a factor of f?
False
Does 7 divide 14/(196/(-21))*644/(-6)?
True
Suppose -k = -11*k + 2830. Suppose q - 99 = 4*h, -2*h = 6*q - 3*q - k. Is q a multiple of 19?
True
Suppose v + 2*v = 2*z - 1317, 3*z - v - 1986 = 0. Suppose -27 + z = 4*x. Is x a multiple of 31?
False
Let p(x) = x**2 + 20*x + 37. Let c be p(-18). Let i(g) be the third derivative of 9*g**6/40 - g**5/20 + g**4/12 + 7*g**2. Does 26 divide i(c)?
True
Let c(j) = j**3 + j**2 + j. Let r(s) = -3*s**3 - s**2 - 6*s - 4. Let z(n) = 5*c(n) + r(n). Let f be z(3). Suppose -f = -3*q + 16. Does 11 divide q?
True
Let i be ((-13)/26)/(-1*2/3312). Suppose 6*m = 10*m - i. Is 23 a factor of m?
True
Let n(g) = -3*g + 9. Let s be n(-7). Let y be 6/4 - s/(-20). Let u = y - -39. Is 14 a factor of u?
True
Let t(f) = 3*f - f**2 + 4 - 6 - 4*f + 1. Let a be t(-2). Does 9 divide 0 - ((-22 - a) + 1)?
True
Let t = -432 - -828. Is 12 a factor of t?
True
Let r(i) = -7 + 27*i - 36*i - 50*i + 4. Let n be r(-3). Is 12/9*n/4 a multiple of 14?
False
Let i = -3 + 7. Suppose 0 = -3*c - 4*r + 7, 2*c + i*r = 1 + 1. Suppose 3*k = c*k - 14. Is k a multiple of 6?
False
Let m be (16/6)/(7*(-5)/(-420)). Suppose 3*i = 34 + m. Is i a multiple of 15?
False
Is ((-135)/60)/((-1)/12) a multiple of 25?
False
Does 6 divide (37 - (0 - -3))/((-2)/(-40))?
False
Let f = 207 - 99. Let b = -42 + f. Is b a multiple of 22?
True
Suppose -11 - 5 = 2*y. Let w = y - -8. Is 4/(-4 - w) + 34 a multiple of 6?
False
Let h = 41 + -57. Let c be (h/(-10))/(6/75). Let w = c - 14. Does 6 divide w?
True
Suppose 3*r - 4*n - 2 = r, 0 = r - 3*n - 1. Suppose y - r = -t - 0, 0 = 2*t + y - 1. Suppose -2*f + 34 = 2*g - 10, t = -4*g - f + 82. Is 20 a factor of g?
True
Let n(b) = 3*b + 195. Does 20 divide n(15)?
True
Suppose 6*a + 20 = 11*a. Suppose -b - 60 = -3*y - 23, -a*b = y - 8. Is 6 a factor of y?
True
Suppose -21 + 237 = 18*j. Is j even?
True
Let k = 1 + 34. Let v = k + -26. Is 8 a factor of v?
False
Let s(v) = 8*v**3 - v**2 - 4*v - 6. Is s(3) a multiple of 21?
True
Let f be ((-45)/(-6))/(31/(-16) + 2). Is 43 a factor of f/150*(0 + 0 + 470)?
False
Suppose -12 = -3*c + 3*h + 6, 0 = -3*c - 3*h + 6. Suppose -2*v + 115 = 5*z, 2*v - c*z - 25 = v. Is 15 a factor of v?
True
Suppose 0 = 14*j - 2131 - 3959. Is 41 a factor of j?
False
Let y = -20 - -20. Suppose y = 5*b - 5*n - 110, -109 = -4*b - 2*n - n. Suppose 9*s - 4*s = -g + 152, s = -2*g + b. Does 8 divide s?
False
Is (-2)/3 - 1324/(-12)*2 a multiple of 30?
False
Suppose 3*r = -18 - 3. Let n be (-1720)/(-14) - r/49. Suppose 3*c + 0*c = n. Is 17 a factor of c?
False
Let b(f) = 18*f**2 - 2 + 8 - 104*f**3 - 2*f - 5*f + 105*f**3. Let s be b(-18). Does 9 divide 4*-1 + s/6?
True
Let d be -147*(12/(-14))/((-36)/(-56)). Does 42 divide (14 + d)*6/5?
True
Suppose 0 = -3*p - 28*v + 24*v + 508, p = v + 181. Is 11 a factor of p?
True
Let t(o) = -o**2 - 17*o - 17. Let f(k) = -k**3 - 17*k**2 + 20*k + 27. Let z be f(-18). Is 11 a factor of t(z)?
True
Let u(d) = -2*d + 12. Let g be u(5). Suppose q - 2 = g. Suppose 5*x = h + 18, -q*x + 2*x + 31 = 3*h. Is h a multiple of 7?
True
Let q(p) be the first derivative of 3*p**2/2 - 11*p + 6. Let k be q(4). Is 14 a factor of ((-2)/4)/(k/(-84))?
True
Suppose -111*t + 109*t = -1602. Suppose 0 = l - 4*x + 2*x - 169, t = 5*l + x. Is l a multiple of 23?
True
Suppose 4*k + 6 = 6*k. Suppose 0 = 3*x - k*o, 2*x = -2*o + 5*o - 5. Suppose 334 = x*w + 34. Is 19 a factor of w?
False
Suppose 2*q - 2*d + 239 = 3*d, 445 = -4*q - d. Is 28 a factor of (0 - q - -4) + -5?
False
Let z(g) = 56*g - 5. Let d(s) = s + 1. Let j(h) = -3*d(h) + z(h). Let f be j(-3). Let w = f + 238. Is 8 a factor of w?
False
Let s = 564 + -130. Does 31 divide s?
True
Suppose -j = -6 + 15. Let q = j - -14. Let m(f) = -f**3 + 7*f**2 - 6*f - 2. Is 6 a factor of m(q)?
True
Is 20 a factor of (-38)/95 + (757/5 - -1)?
False
Suppose 4*q - 30 = 3*q. Let i be 9/(-12) + q/8. Suppose i*t = -2*t + 120. Is 8 a factor of t?
True
Suppose 2*s - 519 = 345. Does 19 divide s?
False
Let v be (490/(-15))/(-7)*3. Suppose 196 = t + v. Is 30 a factor of t?
False
Let k(l) = 4*l**2 + 30*l - 20. Is 8 a factor of k(-18)?
True
Let r(x) = 3*x**2 - 5*x + 62. Is r(5) a multiple of 28?
True
Suppose 0 = g - 227 + 231. Does 6 divide (1 - 0) + (-9 - g) + 58?
True
Let s = -59 - -77. Suppose -306 = 9*h - s*h. Is 17 a factor of h?
True
Suppose x - 4 = 3*y, 2*x - 5 - 3 = -5*y. Does 4 divide 0 + -2 - (1 - y - 19)?
True
Let w(n) = 4*n**2 - 6*n + 2. Let s be w(-7). Suppose -2*r - 75 = 3*r. Is s/9 - (-10)/r a multiple of 8?
False
Let p(u) be the third derivative of 5*u**4/4 - u**3/2 + 11*u**2. Let v(z) = z**2 + z + 4. Let r be v(0). Is p(r) a multiple of 32?
False
Let d(p) = p**2 + 25*p + 45. Let w be d(-24). Let u = w - 0. Is 7 a factor of u?
True
Let y(f) = f**2 + 11*f - 1. Let b be y(-5). Let d = b + 41. Does 4 divide d?
False
Suppose -2 = 3*u + 7. Is (3 + 24)/((-1)/u) a multiple of 21?
False
Let m(c) = c**3 - 8*c**2 + 7*c - 10. Let i be m(7). Let r be 5/i + 12/(-8). Is 6*r/(-3) - -36 a multiple of 8?
True
Suppose 4*y = 4*d - 4504, -4*d + 4932 = -3*y + 423. Is d a multiple of 29?
True
Let s(h) = h**2 + 23*h + 69. Is s(-28) a multiple of 7?
False
Let x be 4/(-36)*-6*-18. Is (-3*66/(-54))/((-2)/x) a multiple of 10?
False
Let j(s) = -3*s**3 - 13*s**2 - 6*s. Suppose 29 = 5*k + 54. Is j(k) a multiple of 6?
False
Let q(n) = -121*n**3 + 1. Let d be q(1). Does 23 divide -6*(-7)/((-35)/d)?
False
Suppose -1154 = -o + 403. Suppose 15*f - 543 = o. Is 28 a factor of f?
True
Let t(o) = o - 3. Suppose 4*r = -r + 25. Let q be t(r). Suppose -q*l + 60 = 3*l. Is 5 a factor of l?
False
Let z(v) = 5*v**2 + 15*v + 11. Does 5 divide z(-7)?
False
Suppose 5*c + 195 = 5*o, 4*o - 208 = -c - 72. Suppose 2*y + 20*y + 462 = 0. Let b = y + o. Is 14 a factor of b?
True
Let y be 2 + (-3 - (1 + -2)). Let j = y + 5. Suppose 2*k = j*k - 126. Does 14 divide k?
True
Let v(o) = -3*o - 37. Let y be v(-12). Does 10 divide y - (8/(-2) + -72)?
False
Suppose -9*k + 250 = k. Let j = 153 - k. Is j a multiple of 32?
True
Is (1388/(-26))/((-21)/273) a multiple of 12?
False
Suppose 2*w = -4*s - 506, 2*s - 3*s + 2*w - 134 = 0. Is s/((2 - 4)/2) a multiple of 32?
True
Let d = 39 + 160. Is 12 a 