f = 3*u - 282. Let b be (-8)/68 - 257/(-17). Let v = u - b. Is v a multiple of 28?
False
Suppose 33 = 3*o + 2*p + p, o = -2*p + 15. Suppose o*x = 2*x + 15. Let k(g) = 37*g + 2. Does 30 divide k(x)?
False
Suppose -572*i + 1624 = -570*i. Does 14 divide i?
True
Suppose 2*t = 2*l - 624, 0*t + 15 = -5*t. Let b = l + -182. Let x = 190 - b. Does 16 divide x?
False
Suppose 0 = -3*z - z - 96. Let a = 8 + z. Is 20 a factor of ((-300)/80)/(1/a)?
True
Suppose -4*d = -36 - 24. Suppose -6*l + l + d = 0. Is 15 a factor of -30*(27/(-6) + l)?
True
Suppose 5*j - 7*j + 1966 = 4*m, 0 = -3*m + 12*j + 1461. Is 2 a factor of m?
False
Suppose 1664 = -7*y + 11*y. Does 20 divide y?
False
Suppose -3*z = 87 + 39. Is 18 a factor of 2/(-7) + (-2280)/z?
True
Let u(y) = -233*y - 526. Is u(-4) a multiple of 12?
False
Let i = -13 - -13. Suppose 3*f + 16 - 43 = i. Does 9 divide f?
True
Let y be (-1 - 413)*(0 + (-3)/6). Suppose y - 27 = 5*z. Is 9 a factor of z?
True
Let z(v) = v + 7. Let g be z(-6). Let l be (-39)/(-12) - g/4. Suppose -m = 3*h - 219, -6 = l*m + 3. Is 37 a factor of h?
True
Suppose -10 = 2*z - 18. Suppose 162 - 554 = z*s. Let l = s + 150. Is 9 a factor of l?
False
Suppose -2*b + 26 = 8*v - 3*v, v = 4. Suppose -2*l - b*l = -125. Is 14 a factor of l?
False
Let t = -18 + 18. Suppose 4*a - 728 + 80 = t. Is a a multiple of 9?
True
Let p(m) = m**3 - 5*m**2 - 6*m + 7. Let d be p(6). Let x = d + -24. Let b = 4 - x. Is b a multiple of 9?
False
Suppose -20*z = -25*z + 10. Suppose 3*g - 2 = z*g. Suppose -g*u = 3*r - 14 - 17, -9 = 3*r. Is 20 a factor of u?
True
Suppose -1209 = -5*q + t, 5*q - 3*t - 442 = 765. Suppose 5*l + 62 = q. Is l even?
True
Let o(w) = -w. Let m be o(-2). Suppose -5*f - 13 = x, 4*x - 19 = m*x - f. Is x a multiple of 12?
True
Suppose h + 4*m = -0 - 4, 6 = 2*h + m. Let k = 7 - h. Suppose 95 = 2*b - k*r, b - 3*b + 2*r + 94 = 0. Is b a multiple of 25?
False
Let t = -418 - -704. Suppose 0 = -4*b + 2*b - 8, 4*b + t = 5*q. Does 8 divide q?
False
Suppose m - 85 = -84, 0 = -2*n - 3*m + 4923. Is n a multiple of 20?
True
Let r(w) = 4*w**2 - 20*w + 120. Is r(15) a multiple of 72?
True
Let k = -306 + 864. Does 93 divide k?
True
Let c(n) = 90*n**2 - 3*n + 3. Let g be c(1). Suppose -2*v = -4*v + g. Does 9 divide v?
True
Let f(b) = 9*b**3 + b**2 - 2*b + 1. Let l be f(1). Let o(r) = 13*r - 18*r**3 - 15*r**3 - 7 - 10*r**2 + 34*r**3 - 2. Is o(l) a multiple of 5?
False
Let x(j) = -2*j - 20. Let s(d) = d + 21. Let m(v) = 4*s(v) + 3*x(v). Is 6 a factor of m(-14)?
False
Suppose -44 = -4*x - 24. Suppose -x*a + 780 = 10*a. Is a a multiple of 13?
True
Suppose -t = -4*t + 465. Let w = t - 91. Does 32 divide w?
True
Suppose u = -2*u - 2*m, 4*m + 18 = 3*u. Suppose -u*j = j - 5*n - 435, n - 3 = 0. Is 42 a factor of j?
False
Let l = -27 - -93. Is l a multiple of 22?
True
Suppose 4585 = 3*n + 2*n - 4*s, -s = 3*n - 2768. Is 63 a factor of n?
False
Let i = 51 + 27. Is 40 a factor of -1 + 4/12*9 + i?
True
Suppose 3*o + 0*o - 2*q + 58 = 0, 10 = 2*q. Let z = o + 43. Is z a multiple of 9?
True
Let b(h) = -2*h. Let u be b(3). Let q(t) = -2 - 2 + 1 + 0 - 4*t. Does 7 divide q(u)?
True
Suppose 9*f = 5*f - 60. Let t = 22 + f. Suppose t + 17 = b. Does 12 divide b?
True
Suppose 0 = 4*x + 5*f, 3*x - 5*f = 2*x. Suppose p = -x*p + 3. Suppose -p = -2*s + 1, -2*s = -g + 56. Is g a multiple of 15?
True
Let z = 3 + -6. Let r be 6/(-3) + -1 - z. Suppose -3*i + 6 = r, 2*y - y + 5*i = 24. Does 7 divide y?
True
Let b = -27 + 15. Let c = b + 14. Suppose -c*p + 135 = p. Does 15 divide p?
True
Suppose 169 + 90 = y. Is 37 a factor of y?
True
Let w(u) = 10 - 1 - 9 + 19 - 6*u. Is w(-12) a multiple of 24?
False
Let m(p) = p**2 - 7*p - 6. Let k be m(8). Suppose -4*u = 3*q - 34, -k*u + 6*u = 2*q - 56. Is 9 a factor of q?
True
Suppose -n + 4*r = -172, 4*r = -11 + 7. Is 18 a factor of n?
False
Suppose 5*j - 1 = a + 4*j, -5*j + 25 = 0. Suppose 2*z = a, 0 = u + 5*z - 53 + 14. Does 6 divide u?
False
Let p(f) = -f**2 + 5*f + 7. Let n be p(6). Let t = 13 - 11. Is 2 a factor of (n + t)/(9/6)?
True
Does 10 divide (4*-122)/((-172)/10 - -17)?
True
Let h(b) = -b**2 - b + 9. Let t be h(-4). Let u = t - -19. Is 8 a factor of u?
True
Suppose 2*p + 2*b - 2644 = 0, -2*p = -3*b - 2724 + 75. Does 9 divide p?
True
Let x(y) = -31*y + 5323. Is 44 a factor of x(0)?
False
Suppose -3*d = -5*q - 587, -2*d + 35*q - 39*q + 428 = 0. Does 12 divide d?
True
Suppose -g - 4*i + 6 = -8, -9 = -3*i. Does 24 divide (812 + 0)/g*1/2?
False
Suppose 19 - 2 = 4*n - 5*p, 0 = -4*n - 3*p + 9. Suppose 6 = -n*w + 5*w, 24 = 2*x + 2*w. Is x a multiple of 3?
True
Suppose 5*q - 26 = -4*i, -5*q + 6*i = 3*i + 2. Is q - (12/3 + -3 - 20) a multiple of 4?
False
Let r(t) = 10*t**2 + 16*t + 54. Is 12 a factor of r(-3)?
True
Is 16 a factor of -19 - -13 - (1*1816)/(-4)?
True
Suppose -z - f + 4*f = -1, 0 = 4*z - 4*f - 12. Suppose 5*i + 310 = 5*n, -5*i + 2*i + 234 = z*n. Is n a multiple of 15?
True
Suppose 538 - 1728 = -7*i. Does 3 divide i?
False
Suppose -3*d = 4*i - 8282 - 5436, 2*d + 13728 = 4*i. Is 11 a factor of i?
False
Suppose 0 = -28*q - 6137 + 22937. Is q a multiple of 58?
False
Let q(v) = -v**2 + v + 32. Let s be q(-5). Suppose -s*h = -4*r + 1382, -4*h = 3*r + r - 1376. Is 35 a factor of r?
False
Suppose -4*n = -f + 86, 2*f - n = -0*f + 193. Let y be (f/4)/(2/4). Suppose 2*m = -c + y, 3*m = 2*m + 3*c + 42. Does 8 divide m?
False
Suppose -9*o + 1652 + 868 = 0. Suppose 49*b + o = 54*b. Does 14 divide b?
True
Let h(u) = u**2 - 2*u - 6. Let w be h(-2). Suppose 3*x + 5*p = 22 + 43, -w = p. Does 13 divide x?
False
Let m be (-9)/(-6) + (-205)/10. Let j = 23 + m. Suppose -v + 40 = -3*r - 3, -j*v - 2*r = -116. Is 14 a factor of v?
False
Suppose -6 = -3*n, -2*n = -4*x - n + 10. Let o be 15*x*(-2)/9. Let l = -5 - o. Does 5 divide l?
True
Let i = -6 - -7. Suppose -4*l = y + i - 4, 2*y + 18 = 4*l. Suppose 4*f + 3*m - 176 = 0, l*f - m - 88 = -0*f. Is f a multiple of 22?
True
Suppose -20 = -4*k - 4*h, -k - 2*k = 2*h - 13. Suppose 0*x + 4*x = 736. Suppose 0 = q - k*p - 30, -5*q + 0*p + x = 2*p. Is 22 a factor of q?
False
Let i(k) = -k**3 - 22*k**2 - 48*k - 20. Let p(n) = n**3 + 6*n**2 + 8*n - 5. Let z be p(-5). Is i(z) a multiple of 25?
False
Let k(q) be the third derivative of -q**9/60480 - q**7/5040 + 17*q**6/360 - q**5/20 + 2*q**2. Let w(c) be the third derivative of k(c). Does 13 divide w(0)?
False
Suppose n + 73 = 3*a, 74 = -2*n + 5*a - 77. Let x = n + 112. Is x a multiple of 3?
True
Is 60 a factor of (-9282)/(-28) + 5/(-2)*-1?
False
Let j be -25 - ((-12)/4)/3. Let r be 228/j + (-6)/(-4). Is (r/(-10))/(10/175) a multiple of 7?
True
Let y(g) = g**3 + 7*g**2 - 7*g + 8. Let b be y(-8). Let f(s) = -2 + 9*s + 1 - 3*s + b. Is 14 a factor of f(3)?
False
Let t(a) = 300*a - 705. Does 57 divide t(9)?
True
Let s = 82 - 120. Let y = 63 + s. Is 5 a factor of y?
True
Suppose -832*a = -824*a - 304. Is 14 a factor of a?
False
Suppose 3*h - 2*u - 3837 = 0, -8*u + 7*u + 5116 = 4*h. Does 14 divide h?
False
Let p = -50 + 41. Let l(b) = -b**3 - 12*b**2 - 36*b. Is 27 a factor of l(p)?
True
Let n = 1033 - 945. Is n even?
True
Let u(w) = 2*w**2 + 3*w + 7. Let n(m) = -3*m - 2. Let t = 3 + -2. Let c be n(t). Is u(c) a multiple of 21?
True
Suppose 4*t = -0*t + 1192. Let h be ((-2 - -3)/(-1))/((-4)/16). Suppose -h*l - 4*x + t = -x, l - 5*x - 86 = 0. Is 18 a factor of l?
False
Let b(n) = 12*n - 85. Let j be b(7). Is (-1)/((-35)/5103) + j/(-5) a multiple of 20?
False
Let x be (-19)/(-19)*(-1)/(2/16). Is (x/(-1))/4 - -95 a multiple of 47?
False
Let i = -47 - -56. Let n(c) = -c**2 + 12*c + 11. Does 38 divide n(i)?
True
Let i(k) = -k - 7. Let v be i(-6). Let p be 33 + (-4 - v) - -3. Suppose 17 + p = 2*q. Is 15 a factor of q?
False
Let i = 69 + -48. Is 393/i + 10/35 a multiple of 6?
False
Let c = -35 - -37. Suppose -c*k + 37 = 9. Is k a multiple of 3?
False
Suppose p + s = -p + 1800, 0 = 3*p - s - 2710. Does 11 divide p?
True
Suppose -7*s + 2191 = -0*s. Is 17 a factor of s?
False
Let p(b) be the third derivative of b**6/60 - 2*b**5/5 - 17*b**4/24 - 5*b**3/6 + 16*b**2. Is p(13) a multiple of 11?
False
Let m(j) = -2 + j + 5*j**3 + 6*j**2 - 1 - 5*j**2 + 13*j**3. Is 5 a factor of m(1)?
False
Suppose -m - 156 = 3*o, -3*o + 104 = -5*o - 4*m. Let l = 74 + o. Does 11 divide l?
True
Suppose -f = -2*w + w - 5, -w = -