50 + -2. Let g = h - 54. Does 10 divide g?
True
Suppose 5*v = 5*b + 15, -2*b - 2*v - 14 = -0*b. Let k = b - -10. Suppose -4*a = -4, 4*x - k*a = x + 106. Does 11 divide x?
False
Let l(q) = q**3 - q**2 - 4*q - 7. Is 12 a factor of l(5)?
False
Suppose -2*p + 49 = -g - 0*g, 0 = -5*p - 5*g + 145. Let l = p - 6. Does 10 divide l?
True
Suppose 3*o = 1 + 5. Let a be (1/o)/((-6)/(-648)). Does 12 divide (-12)/a + (-110)/(-9)?
True
Let j(z) = z**3 - 3*z**2 - 4*z + 1. Let k be j(4). Suppose -328*c = -325*c. Does 5 divide 12 + 2 + (k - c)?
True
Let w(u) = 19*u - 164. Is w(24) a multiple of 4?
True
Let v = 263 - 156. Let o = 28 + v. Is o a multiple of 24?
False
Let q(s) = -8*s - 5. Let k = 27 + -27. Suppose 3*y - y - 5*t + 10 = k, -y - 3*t - 5 = 0. Is 35 a factor of q(y)?
True
Let s = 5 + 5. Let r be (-32)/20 + s/(-25). Is (-39)/(-2) + 3/r a multiple of 9?
True
Suppose q = 5*q + 2*n - 18, -4*q + 4*n = -12. Suppose 0 = 5*z - w + 39 - 774, -q*z + 3*w = -588. Does 13 divide z?
False
Let t = -38 + 94. Is 12 a factor of (t - 1)/(-1 - -2)?
False
Is 1/((-12)/256)*2*-33 a multiple of 11?
True
Let f(n) = 13*n**2 - 2*n + 21. Does 28 divide f(7)?
True
Does 14 divide (1665/222)/(1 + (-2138)/2144)?
False
Let p(h) = h**3 + 5*h**2 - 1. Let f be p(-5). Let o = f - -5. Suppose 2*l = l - g + 44, 161 = o*l + g. Is l a multiple of 13?
True
Let a(d) = d**3 + 7*d**2 + 6*d + 11. Let q = 27 + -54. Let p be 38/(-6) + (-36)/q. Does 31 divide a(p)?
True
Suppose -6238 = -v - 3*v + 2*z, -3*v - 3*z = -4683. Is 13 a factor of v?
True
Does 90 divide 723/(-4)*2464/(-132)?
False
Let r = 989 + -271. Is r a multiple of 41?
False
Suppose 0 = 5*a - 2*x - 6274, -3*x = 11 - 5. Is a a multiple of 16?
False
Suppose -3*u - 5 = 43. Is 3 a factor of 17 + u - (1 - 15)?
True
Let o = 15 + -11. Suppose -m - 136 = -o*q, -5*q + 13 + 154 = -2*m. Is q a multiple of 6?
False
Let p = 255 - 239. Is p a multiple of 4?
True
Let s(a) = a**3 - 9*a**2 + 4*a + 6. Let f be s(9). Let b be (f/4)/(18/24). Let w = b - -6. Is w a multiple of 10?
True
Let j = 37 + 49. Let g = j + -59. Is g a multiple of 4?
False
Suppose 0 = -4*t - 2*k + 14, -3*k + 4*k + 5 = t. Is (2/t)/(10/2100) a multiple of 23?
False
Suppose -3*o + 50 - 143 = d, 2*o - 4*d = -48. Let b be (o/5)/(2/4). Is 4/3 + (-188)/b a multiple of 6?
False
Let z be ((-55)/(-22))/((-1)/(-2)). Suppose -15 = -z*x - 0*x. Suppose 37 = r - 5*v, -r - v = -x*v - 40. Does 23 divide r?
False
Let f = -680 + 396. Let q be 10/65 + f/(-13). Let b = q + -10. Is b a multiple of 3?
True
Let x = -7 + 21. Let a(s) = -s**3 + 16*s**2 - 20*s - 3. Does 32 divide a(x)?
False
Let j = -36 + 36. Suppose 5*k + j - 50 = -5*w, 4*w - 48 = -2*k. Does 14 divide w?
True
Suppose 3*r - 12 = -3. Does 7 divide 254*r/6 - -4?
False
Suppose -5*l - o + 785 = 4*o, 0 = 5*l - o - 767. Is l a multiple of 14?
True
Let y(h) = -6*h + 435. Is 11 a factor of y(0)?
False
Let q(x) = -2*x - 12. Let z be q(-11). Suppose -5*a - z = -6*a. Is 2 a factor of 6/10 + 14/a?
True
Suppose -6*u + 233 = 857. Let i = 110 + u. Does 2 divide i?
True
Let s = 0 + 7. Suppose -5 + s = m. Suppose 2*q + 2*q - 5*p = 262, m*p + 4 = 0. Is 19 a factor of q?
False
Let r be ((-45)/(-27))/((-2)/12). Is 18 a factor of (6/(-75))/((-2)/r)*-225?
True
Suppose 0 = -5*k + 4*w + 14, k = 2*k + w - 1. Suppose 20 = 4*l, -k*r - 4*l + 0*l = -90. Let d = r - -26. Is 15 a factor of d?
False
Let h(w) = -6*w. Let d be h(-1). Let i(s) = 42*s. Let m be i(d). Let r = m - 122. Is 24 a factor of r?
False
Let u = 120 - 246. Let x = u + 222. Is 16 a factor of x?
True
Let i = -186 - -300. Is i a multiple of 19?
True
Suppose -3*p = -3*k + 6, -4 = -3*p + 2. Suppose 15 = b + k*b. Is 8 a factor of ((-126)/(-35))/(b/20)?
True
Suppose 2*s = s. Suppose 4 = 4*v - s. Is 29 a factor of 1560/18 + v/3?
True
Let n(a) = 1230*a - 148. Is n(3) a multiple of 77?
True
Let z(o) be the second derivative of 0 - 1/12*o**4 + 3/2*o**2 - 5/6*o**3 - 5*o. Does 2 divide z(-4)?
False
Let n be ((-4)/(-8))/(1/(-10)). Is 35 a factor of (35/4)/(n/(-60))?
True
Let s = 45 + -43. Suppose -205 = -4*m + 3*o + 2*o, 171 = 3*m + s*o. Is 12 a factor of m?
False
Suppose 1489 = 9*k - 293. Suppose k = -21*p + 24*p. Is 37 a factor of p?
False
Let z = 7 - 10. Let l be 2/z + 40/24. Is 4 a factor of 3/(-12)*(l + -29)?
False
Suppose -x + 22 = -i, 4*x - 93 = -0*i + 3*i. Suppose 2 - x = -5*c. Is 32 a factor of (-80)/(-24)*144/c?
True
Suppose -a = -97 - 179. Let k = a - 87. Does 16 divide k?
False
Let v(g) = g**3 + 2*g**2 - 5*g - 7. Let b be v(-3). Let l = -52 + 83. Let t = b + l. Is 10 a factor of t?
True
Suppose 0 = -2*v - 49 + 11. Let f(u) = u**2 + u + 30. Let d be f(0). Let z = d + v. Is 11 a factor of z?
True
Suppose -z + 132 + 796 = 0. Suppose 5*d = -343 + z. Suppose -s = 2*s - d. Does 10 divide s?
False
Let w(f) = -2*f**3 + 2*f**2 + 2*f - 20. Does 10 divide w(-5)?
True
Suppose -2*p = 9*x - 4*x - 54, 0 = -2*x - 4*p + 28. Suppose -3*m - x*m + 598 = 0. Does 3 divide m?
False
Let n be -3*(-2)/4 - (-2504)/16. Let w = -20 - 82. Let g = w + n. Does 8 divide g?
True
Let b = 2470 - 1024. Suppose -n = -j + 366, -n - 3*n - 5*j - b = 0. Is n/(-18) - 4/18 a multiple of 17?
False
Suppose 0 = -q - 668 + 1926. Is q a multiple of 64?
False
Let a(h) be the third derivative of h**8/6720 - h**7/1260 + h**5/120 - h**4/8 + 5*h**2. Let r(f) be the second derivative of a(f). Is r(3) a multiple of 5?
True
Suppose p = 2*p + 19. Let w = -5 - p. Does 7 divide 4/(8/5)*w?
True
Let k = 9 + -3. Suppose 0 = k*o + 44 - 206. Does 13 divide o?
False
Let a(f) = -4*f - 5 - 12 - 15. Is a(-13) a multiple of 5?
True
Let g = -203 - -606. Is 13 a factor of g?
True
Suppose 5*j - 36 = -j. Let b be j*23*(-28)/(-8). Suppose -2*l + 234 = 2*d, 5*d + 92 = 5*l - b. Is 29 a factor of l?
True
Let b(i) be the third derivative of i**6/120 - 7*i**5/30 + 13*i**4/24 - 7*i**3/3 + 14*i**2. Is 42 a factor of b(14)?
True
Suppose -2 = -2*b + 4. Is (-78*b/(-12))/(1/6) a multiple of 9?
True
Let w = -828 - -1622. Is 11 a factor of w?
False
Suppose 0 = 13*k - 14*k. Suppose k = -q + 9*q - 304. Is q a multiple of 13?
False
Suppose 0 = -2*i + 5 - 1. Suppose -4*s + 2*k - 76 = 0, 4*s + 24 = -i*k - 36. Let h = s - -57. Is 20 a factor of h?
True
Suppose -t + 12 = 4*w - 522, -2*t = -4. Does 19 divide w?
True
Let k(h) = -2*h**3 - 14*h**2 + 17*h - 21. Does 19 divide k(-11)?
True
Suppose -17*r + 5862 + 5358 = 0. Is r a multiple of 44?
True
Suppose -3*o - t = -6469, -2*o - 109 = 3*t - 4431. Is 75 a factor of o?
False
Suppose 3*a + 0*a = -z + 3, -z - 7 = -2*a. Suppose -1563 = 4*g - 3*x, a*x = -x + 3. Is 11 a factor of g/(-12) - 2/(-4)?
True
Suppose -4*w + 6636 = 4*s, -30*s + 4*w = -33*s + 4972. Is s a multiple of 32?
True
Suppose u = -5*m + 3, 2*u + 5*m + 6 = -8. Let p be (2/(-1) - -6)*4. Let z = p - u. Does 19 divide z?
False
Let v(i) = i**3 - 5*i**2 - 30*i - 2. Is 12 a factor of v(13)?
True
Let b = -26 - -31. Suppose z + z = b*y + 136, 3*z = -4*y + 250. Does 13 divide z?
True
Let q = 99 - 28. Let n = -36 + q. Is n a multiple of 35?
True
Let f(q) = q**3 - 10*q**2 + 7*q + 13. Let x be f(10). Suppose 3*r + 79 = -4*h, 4*h + 24 = 4*r + 148. Let i = r + x. Is i a multiple of 13?
False
Let k(v) be the first derivative of -v**3/3 + 23*v**2/2 - 22*v + 2. Does 10 divide k(17)?
True
Let p be 10/45 + (-376)/(-9). Let j = p - -12. Does 8 divide j?
False
Let o = -169 - -301. Is 49 a factor of o?
False
Is 35 a factor of 261982/126 - (-14)/(-63)?
False
Let q = 11 - 8. Does 47 divide (-30)/((-2)/28*q)?
False
Let d = -1029 + 246. Is ((-2)/3)/(6/d) a multiple of 29?
True
Suppose 0 = -z - 5*q + 293, 2*q = -1 - 9. Is z a multiple of 37?
False
Suppose -4*d + 62 = 2*l, l + 2 = -3*d + 35. Is l a multiple of 27?
True
Suppose -12 = c - 4*c. Suppose c*d - 3*l = 63, -4*d = -5*d - 2*l + 2. Is 8 a factor of d?
False
Suppose 0*l = 2*l. Suppose 13*b - 126 = 6*b. Suppose k + l*k = b. Is k a multiple of 18?
True
Suppose 5*y - 552 = -4*p, 3*p - 132 = -3*y + 198. Suppose -y = -15*g + 13*g. Is g a multiple of 11?
False
Let r(m) = 253*m**2 + 109*m - 4. Does 52 divide r(3)?
True
Suppose 3*r = 4*s - 2*s - 4366, 3*s - 6549 = -r. Is 13 a factor of s?
False
Let r be (-24)/20*-5 + -3. Suppose -r*z + 4*h = -632, 2*z = -0*z + h + 418. Does 26 divide z?
True
Suppose -4*w + 2 - 1 = 3*k, -3*w = -2*k - 22. Suppose 2*o + p - 43 = 0, 0 = o + w*o