))/(2/k)?
False
Let m(q) = -q**2 - 14*q - 7. Let k be m(-9). Let y(p) = p - 17. Let l be y(7). Let w = l + k. Does 14 divide w?
True
Let n = -14 + 14. Let o(i) = -i**2 + i + 4. Let k be o(n). Let p(z) = -z**3 + 5*z**2 - z - 1. Is p(k) a multiple of 3?
False
Suppose 0 = 3*u + u - 72. Suppose -k + u = -26. Let x = k + -16. Is x a multiple of 14?
True
Let n(a) = 0*a**2 + 6 - 5*a + 17*a + a**2. Let d = 22 - 34. Does 6 divide n(d)?
True
Let t(v) = 56*v**3 - 3*v**2 + 8*v + 3. Is 5 a factor of t(2)?
True
Suppose 3*j + f = -f + 308, -4*f = -4*j + 404. Suppose i = -4*b + 84, i + 21 = -b + j. Is i a multiple of 40?
True
Suppose 4 = -o + 3*o. Suppose -2*m + 3*i = -11, 0 = -o*m - 2*i - 2 - 12. Is (2/m)/((-1)/5) even?
False
Let v = -7 - -16. Let n(f) = 13*f - 31. Let t(z) = -3*z + 8. Let b(m) = v*t(m) + 2*n(m). Is 10 a factor of b(0)?
True
Let o(p) = -p - 7. Let k be o(-9). Suppose -x = -5, -k*h = -x - 12 - 19. Is 4 a factor of h?
False
Is 19 a factor of 21/(-84)*(-4)/(-1) - -210?
True
Does 31 divide 1/(-3) + 374*6/36?
True
Let u = 1377 - 624. Does 45 divide u?
False
Suppose -4*w + 31 = 5*k, 5*k - w + 1 = 12. Let y(s) = 6 - 5*s + k - 6 + 4. Is 14 a factor of y(-5)?
False
Let i = -4 + 8. Suppose 0 = -h + k + 2, -i*h - 5*k + k - 8 = 0. Suppose h = 5*d - 3*d - 80. Is d a multiple of 13?
False
Let h be (-2)/(-3)*((-4 - -16) + -3). Suppose 3*t + h = 0, -x + 2*x = -4*t + 136. Does 37 divide x?
False
Let l(q) = 33*q - 11. Let b be l(4). Let u = -115 + b. Is 2 a factor of u?
True
Let g = 13 + -11. Suppose g + 2 = -4*m. Does 10 divide ((-17)/3 - m)*-12?
False
Suppose -6*t + 87 = -3. Suppose 0 = 5*k - t*k + 790. Does 17 divide k?
False
Let s(p) = p**2 + 8*p. Let i be s(-5). Let m be (24/i)/((-2)/(-10)). Does 11 divide (-238)/(-4) - 4/m?
False
Let x = 681 + -449. Is x a multiple of 8?
True
Let r(d) = d**2 + 8. Let m = 5 - 14. Does 8 divide r(m)?
False
Suppose -2363 = 4*k + k - 2*b, 0 = -5*k - b - 2366. Let i = k - -677. Does 24 divide i?
False
Suppose g - 3 = -h, -2*h + 5*g - 9 + 1 = 0. Is (h/(-3))/((-3)/576) a multiple of 8?
True
Suppose 24*c = 6*c + 11520. Is 20 a factor of c?
True
Let p = -3439 - -5510. Is 12 a factor of p?
False
Suppose -19*v = -24*v + 295. Let n = v + -3. Is 8 a factor of n?
True
Let p(v) = -2*v + 5*v + 9 - 4*v + 1. Let y be 76/(-12) - ((-20)/(-12) - 1). Does 17 divide p(y)?
True
Let y(t) = t**2 - 7*t - 3. Let h be y(6). Let b = h + 33. Does 4 divide b?
True
Let a(x) = -4*x - 9. Let r(y) = 3*y. Let w be r(-2). Let f be a(w). Let c = f - 7. Is c a multiple of 4?
True
Suppose 0 = 2*n + 10, 0 = q + 2*n - 1. Is (q - 6)*108/10 a multiple of 9?
True
Suppose 169 + 125 = 3*a. Suppose s - a = -6*s. Is s a multiple of 14?
True
Is 624/15*(-30)/(-4) a multiple of 6?
True
Suppose -4*f = 4*x - 3*x, -x - 3*f = 0. Suppose 5*l - 16 = -j, -4*j - 11 = -x*l - 5*l. Is 20 a factor of 0 - -22 - (j + -3)?
False
Suppose 20*h - 21610 + 5350 = 0. Does 27 divide h?
False
Let k(o) = 19*o - 38. Does 2 divide k(3)?
False
Suppose g - 449 = -2*k + 2*g, 5*k - 1125 = 3*g. Let u = -158 + k. Is 32 a factor of u?
True
Suppose 5*b - 3*m = 720, -232 - 206 = -3*b + 3*m. Is 21 a factor of b?
False
Suppose 0 = -3*i - 2*l + 4, i = -3*i - 5*l - 4. Is 147/4 - ((-45)/(-12) - i) a multiple of 17?
False
Let z(u) = -2*u - 2. Let c be z(-3). Does 29 divide (c/(-6))/(8/(-480))?
False
Let c(z) be the third derivative of z**5/12 - 7*z**4/24 - 5*z**3/6 - 2*z**2 - 8*z. Does 12 divide c(7)?
False
Let j = 202 - 123. Suppose -5*d + 204 - j = 0. Is d a multiple of 5?
True
Does 13 divide (3587040/100)/24 - 4/(-10)?
True
Suppose -4*o - 4*s + 1252 + 404 = 0, -419 = -o + 4*s. Suppose -2*q - 219 - 226 = -3*g, -4*q = 3*g - o. Does 35 divide g?
False
Suppose 0 = a + f - 577, f = 3*a + 185 - 1928. Is 29 a factor of a?
True
Suppose c - 319 = -2*c + 4*u, 4*c - 2*u = 412. Suppose -k = -4*k - 4*g + c, -4*g = -3*k + 133. Suppose -1 - k = -2*i. Does 20 divide i?
True
Suppose n - 3 + 1 = 0. Let q be 1*(-2)/n - -3. Does 30 divide 81 + -2 - q - -1?
False
Let j(g) = 13*g + 55. Let h(q) = 13*q + 56. Let m(b) = 2*h(b) - 3*j(b). Is m(-6) a multiple of 25?
True
Suppose 3*a - 199 = -5*c, -22*c + 21*c + 63 = a. Let l be (91/(-4))/(2/(-8)). Let w = l - a. Is w a multiple of 8?
False
Let m = -28 - -34. Suppose -176 = -8*t + m*t. Is (-18)/12*t/(-3) a multiple of 11?
True
Let s = 161 + 106. Is s a multiple of 25?
False
Suppose 0 = -0*c - c + 5. Suppose -3*b + 5*q - 7 - 12 = 0, -c*q + 23 = -b. Suppose 4*m + 14 + 8 = n, -b*n - 4*m = -20. Is 6 a factor of n?
False
Suppose 25*p - 1742 - 3608 = 0. Does 5 divide p?
False
Let s(l) = 2*l**2 + 8*l + 21. Let c = -42 - -34. Is 17 a factor of s(c)?
True
Let h(s) = 42*s**2 + 5*s - 3. Let u be h(3). Suppose 0 = -4*q + q - 3*z + u, 3*q - z - 402 = 0. Does 9 divide q?
False
Let l be -4*1*20/(-16). Suppose 2*t = l*u - 2*t - 11, -3 = -3*t. Suppose u*v + 6 = 33. Is v a multiple of 4?
False
Let l be ((-6)/5)/(16/(-40)). Is l - (-1 + 3) - -32 a multiple of 33?
True
Let l(y) = -y**3 + 4*y**2 - 4. Let f be l(3). Suppose 5*b + z = 515, -5*b + 5*z - 220 = -735. Suppose -f*k + 67 + b = 0. Is k a multiple of 17?
True
Let t = -24 - -29. Suppose 6 = -p + 3*s, 3*p - t*s + 0*s + 26 = 0. Does 23 divide ((-4)/p)/(5/825)?
False
Suppose -12679 = -3*x + 4*d, 3*x - 3*d - 2379 = 10296. Is 9 a factor of x?
True
Suppose -5*p + f = -4525, p = 5*f + 467 + 438. Is 47 a factor of p?
False
Let y(d) = 22 + d**3 + 6*d - 4*d - 12*d**2 - 57. Is y(13) a multiple of 14?
False
Suppose r + 21*d - 2360 = 19*d, -4*r = 5*d - 9440. Does 40 divide r?
True
Suppose -18*p = -16*p - 4. Suppose -f + 7 = -2*z, -4*f - p*z = -f - 21. Suppose 3*q + 182 = f*q - 2*a, 5*a + 5 = 0. Is 15 a factor of q?
True
Suppose o - 5*q - 573 = -q, -5*q - 2835 = -5*o. Does 51 divide o?
False
Let m be 81 + -4 + 2 + 1. Suppose 4*b - 5*b = -m. Is 1 - (b/1)/(-4) a multiple of 7?
True
Let a(k) = k**2 + 8*k - 150. Let n be a(0). Is 13 a factor of (-20)/n - (1 - 5486/30)?
True
Suppose 5054 - 18794 = -10*z. Is 8 a factor of z?
False
Let m = 1872 + -802. Does 18 divide m?
False
Let h = 325 - 289. Is h a multiple of 2?
True
Suppose 0 = -5*v - n + 6164, -5*v + 0*n + 6180 = 5*n. Is v a multiple of 11?
True
Suppose c - 463 = 4*t - 2, -2*t = -2*c + 238. Suppose -2*v = 3*u + 324, -2*u - 3*u - 810 = 5*v. Let s = t - v. Is 12 a factor of s?
True
Let n = -1258 - -1852. Does 93 divide n?
False
Let u be 58/3*2/(14/(-21)). Is 2 - (0 - -1) - u/2 a multiple of 6?
True
Suppose -5*f - 62 = -47. Does 18 divide (1/2)/(7555/(-2520) - f)?
True
Let s be ((-75)/10 + 3)*44/(-6). Let h(o) = -19*o + 1. Let w be h(1). Let q = w + s. Does 5 divide q?
True
Let y be 42/4 - 15/6. Suppose -16*w + 168 = -y*w. Is w a multiple of 14?
False
Let n = 58 + -54. Suppose -n*s + 3*i - 5*i + 178 = 0, -5*i = s - 67. Is s a multiple of 3?
True
Suppose -2*f - 3 = -21. Suppose -5*l = 2*n - 34, 3*n - 3*l + 0*l - f = 0. Is 2 a factor of n?
False
Suppose 8 = -5*s + 6*s. Suppose -s*n = -3*n - 10. Suppose 24 = 3*y - n*y. Is y a multiple of 12?
True
Let a = -2 + 11. Suppose 0 = 4*i - a*i + 165. Does 5 divide i?
False
Is (2 - (-596)/(-6))/(98/(-441)) a multiple of 7?
False
Let j = 2813 - 1814. Is 29 a factor of j?
False
Let j = 50 + -29. Suppose -4*f - 5*t = -j, 4*t - 5*t - 19 = -5*f. Suppose -2*q = -5*r + 5, 3*r = f*r - 5. Does 10 divide q?
True
Let z be 551/5 + 7/(-35). Does 7 divide 67/5 - (-66)/z?
True
Let m = -33 - -35. Suppose 19 = -m*q + 75. Does 15 divide 6/21 - (-832)/q?
True
Let t = 1257 + -777. Is t a multiple of 15?
True
Is 4 a factor of (-92)/((-12)/3 - (-6)/3)?
False
Let o(d) = -14 + 10*d + 14*d**2 - 26*d**2 + 13*d**2. Is 21 a factor of o(-13)?
False
Suppose -34*k - 5*v - 1170 = -39*k, 4*v = 3*k - 704. Does 10 divide k?
False
Suppose -13 = -l - 1. Suppose 7*k = 3*k + 96. Suppose -h + x = -3*h + l, -k = -3*h - 3*x. Is h a multiple of 2?
True
Let c be 8/6*(-45)/(-5). Suppose 23*h = 25*h - c. Is 14 a factor of (112/h)/((-1)/(-3))?
True
Let p(f) = -112*f + 27. Is 41 a factor of p(-9)?
False
Suppose -7*s + 282 = -145. Does 11 divide (s + 1)/((-2)/(-3 + 1))?
False
Suppose 0 = q + 4, -5 - 1 = -5*t - q. Suppose 4*n - 365 = -n - x, -5*x = -25. Suppose t*b = -b + n. Is b a multiple of 12?
True
Let c be (14/4)/(-7) - (-20)/8. Let k(y) = 5*y**2 + 4. Let o be k(5). Suppose c*b - 45 = o. Is b a multiple of 29?
True
Suppo