 = r, 4*q = 3*a - 149. Is a a multiple of 17?
True
Suppose 995 = 11*f + 192. Suppose f*n - 408 = 69*n. Is 14 a factor of n?
False
Suppose 0 = 5*y + 484 - 2044. Is 12 a factor of y?
True
Let k(r) = -3*r + 19. Is k(-26) a multiple of 4?
False
Suppose -1433 = 4*u - 3*g - 8399, 4*g = -8. Is 54 a factor of u?
False
Let h = 229 - 124. Let t = h - 53. Is 7 a factor of t?
False
Let s = -470 - -1070. Is 8 a factor of s?
True
Suppose -j - 4*j = -5*c + 50, -4*c + 5*j + 36 = 0. Is 6 a factor of c?
False
Suppose -6*i = -10*i + 4*f + 2188, -i = -4*f - 541. Is i a multiple of 9?
True
Suppose h + 3*h + 1248 = 4*t, -25 = 5*h. Let p = -189 + t. Does 15 divide p?
False
Suppose 4*w - 7*a + 2*a - 781 = 0, 5*w - 989 = 2*a. Is 25 a factor of w?
False
Suppose 8*q = 2*y + 3*q + 176, 4*q + 8 = 0. Let s = y - -250. Does 18 divide s?
False
Let t be 306/8 + 4/(-16). Let g = t - 35. Suppose 5*c = 4*k + 276, c - 200 = -g*c - 2*k. Is 18 a factor of c?
False
Suppose 6*i - 2*i + 3 = 3*b, 0 = -2*b + 3*i + 2. Suppose -10*s + 15*s + 20 = 0. Is 13 a factor of 33 + s + 0 + b?
False
Let s be (3 - (-3 - -2)) + 0. Suppose 5*z - 2*a - 54 = 0, -4*z - 4*a - 4 + 36 = 0. Suppose -z = -v - 4*p, s*p + 22 = 2*v - 10. Is v a multiple of 7?
True
Let f(q) = q**2 - 9*q + 24. Let u be f(11). Suppose 0 = t + t - u. Does 23 divide t?
True
Let q(c) = -88*c + 4. Let a(h) = -h**3 - 6*h**2 + 11*h + 10. Let m be a(-7). Let u be q(m). Is 22 a factor of u/18 - 4/18?
True
Let r = -19 + 85. Suppose -2*k - 22 = -r. Is k a multiple of 10?
False
Suppose 863 = 2*i - i + 3*s, -4*i + 3476 = 4*s. Does 36 divide i?
False
Let z(b) = 5. Let d(v) = v - 6. Let o(p) = 4*d(p) + 3*z(p). Let h be o(3). Suppose -2*w - 5*k + 110 = 0, -h*k - 198 = -4*w - 2*k. Does 10 divide w?
True
Let q = -225 - -561. Does 48 divide q?
True
Let q = 364 + -181. Suppose 0 = 3*j - 3*r - q, 4 + 6 = 2*r. Is j a multiple of 8?
False
Is 16 a factor of -2*111/6*(-44 - 4)?
True
Let s = 250 - 61. Is 61 a factor of s?
False
Let s(q) = q**2 + 7*q + 3. Let w be s(-6). Let m be (w - -4)*2*27. Suppose c = 3*c - m. Is c a multiple of 12?
False
Let f(r) = 22*r**2 + 0*r + 7*r - 23*r**2 - 5. Let z be f(7). Let t = z - -41. Does 17 divide t?
False
Let n(d) be the second derivative of -d**5/60 - 3*d**4/8 + 3*d**3/2 - 5*d**2/2 + 5*d. Let a(r) be the first derivative of n(r). Is a(-7) a multiple of 23?
True
Let r(w) = -w**2 - 26*w + 10. Does 7 divide r(-22)?
True
Let d(t) = -t**3 - 2*t**2 - 6*t - 4. Let p be d(-7). Suppose p = 5*y + 33. Is 9 a factor of y?
False
Suppose 599 = 4*r - 3*j, -3*j = -4*j - 1. Let c = r + -44. Is 21 a factor of c?
True
Let d(x) = x**2 - 9*x - 5. Let o be d(-9). Suppose 2*l = g - 26, -5*g + 17 = l - o. Does 23 divide g?
False
Let l(d) = -d**3 + 3*d**2 - d + 7. Let o be l(3). Does 16 divide 571/o + 50/40?
True
Suppose -q = -4*q + 126. Suppose -2*d + 3 = -19. Let c = q - d. Does 9 divide c?
False
Suppose 5*h - 25 = 0, -399 = -4*u - 2*h + 139. Suppose -908 + u = -4*j. Does 39 divide j?
False
Suppose -3*n + 15 = -0. Suppose n*c = -4*w - 456, 3*w = -4*c - 3 - 362. Let z = -62 - c. Does 13 divide z?
False
Is 4 + 10/(-4) - (-1686)/12 a multiple of 41?
False
Let a(c) = 34 + 27*c + 27*c - 47*c + c**2. Is a(-6) a multiple of 7?
True
Let x be -4 - 1*(-8)/(-2). Let w be (-1)/2*0/x. Suppose t - 64 = -w*t. Is 16 a factor of t?
True
Let h = 28 - 25. Suppose 0 = 2*v + h*v - 50. Suppose -265 = -v*l + 5*l. Does 10 divide l?
False
Let o(y) = y**2 + 4*y + 2. Let l be o(-4). Let v be (-2)/(-4)*(250/5)/5. Suppose v*k - 63 = l*k. Is 12 a factor of k?
False
Suppose -4*x - 19 = 2*s - 61, 4*s - 93 = -5*x. Is 19 a factor of s?
False
Let p(c) be the third derivative of 0*c + 1/60*c**5 + 4*c**2 + 0 - 1/6*c**3 + 1/24*c**4. Does 11 divide p(-4)?
True
Suppose 8*n - 3*n + 4*d - 5 = 0, -5*n + 10 = 3*d. Suppose -n*k + 3*g = -254, 55 = k - 0*g - 2*g. Is 7 a factor of k?
True
Suppose 0 = 3*v + 9, 5 = 4*z + v + 20. Is 3 a factor of 9*z/((-9)/3)?
True
Let x(o) = 20*o**2 + 6*o - 1. Let u be x(5). Suppose -3*t + u = 1. Is 44 a factor of t?
True
Suppose 0 = 164*c - 165*c + 160. Is c a multiple of 32?
True
Suppose 762 = 4*z + r, 3*r = -3*z + 588 - 12. Does 38 divide z?
True
Let w = -8 + 10. Suppose 42 = -5*q + 52. Suppose -4*d + 46 = f - 0*f, w*f = -q*d + 86. Is f a multiple of 7?
True
Is ((-1694)/21)/((-1)/((-231)/(-14))) a multiple of 15?
False
Let t(a) = -5*a + 5 + 1 - 11. Is 5 a factor of t(-5)?
True
Suppose -3*p + j + 11 = 0, 6 = 5*p - p + 3*j. Suppose 69 - 213 = -p*z. Does 6 divide z?
True
Suppose 5*o + 15 = 0, o + 3*o - 12 = -4*w. Suppose 0 = 10*u - w*u - 368. Suppose 4*y + 44 = c, -2*c - u = -5*c + 4*y. Is c a multiple of 6?
True
Let q(t) be the second derivative of 31*t**4/24 + t**3 + 2*t**2 + 3*t. Let j(i) be the first derivative of q(i). Does 33 divide j(3)?
True
Suppose -6*i + 132 = -2*i. Let j = 37 - i. Is j even?
True
Suppose -226 = 4*o - 4386. Does 90 divide o?
False
Let z = 14 + -14. Suppose z = -8*s + 239 + 121. Does 15 divide s?
True
Suppose -y - y = 3*u, 5*u = 3*y. Suppose 4*w + u*w - 120 = 0. Is (-132)/(-10) + 24/w a multiple of 7?
True
Let x(i) = i**2 - 20*i - 50. Let k be x(22). Does 29 divide k/(-15)*160*4?
False
Let d(w) = 3*w**3 - 7*w**2 - 9*w - 18. Suppose 0 = 3*h - 7*h + 20. Let c(j) = 4*j**3 - 6*j**2 - 8*j - 19. Let q(n) = h*d(n) - 4*c(n). Is 4 a factor of q(-10)?
True
Let y = 26 - -7. Is y a multiple of 16?
False
Let c be 0/5 - -2 - 4. Let h = c - -14. Is 2 a factor of h?
True
Suppose -2*d + y = -7416, 2*d + 11123 = 5*d - y. Does 8 divide d/55 - (-4)/(-10)?
False
Suppose -4*u + h + 2494 = 497, -u - 5*h = -515. Is u a multiple of 5?
True
Let c(z) = 7*z**3 + 15*z**2 - 3*z - 2. Let s(i) = -i**3 - i**2 - i. Let r(u) = -c(u) - 6*s(u). Does 5 divide r(-10)?
False
Suppose 17*m - 15*m + 68 = 0. Let k = 52 + m. Is k a multiple of 3?
True
Let c(v) = 5*v**2 + 2*v + 1. Let b = 10 - 11. Let l be c(b). Suppose -7*d = -l*d - 150. Is d a multiple of 13?
False
Let d = 50 + 149. Suppose 0 = -2*m - 3*m + 1195. Suppose 2*k + s = -2*s + m, 5*s = 2*k - d. Is 28 a factor of k?
True
Let y = -14 + 16. Let i be y - (0 - -3) - -1. Suppose -5*o + 5*t + 145 = i, -89 = -3*o + 2*t + 2*t. Is 10 a factor of o?
False
Suppose 5*a - 26 = -2*d, 0 = 4*a - 2*d - 3*d - 34. Let y be (4/a)/(8/144). Suppose -y = -2*t + 12. Is t a multiple of 3?
True
Suppose 0 = 4*u - 27 + 7. Suppose 26 = u*r - 4. Does 10 divide 77/4 + r/8?
True
Let t be (-4 - -9)/((-1)/(-42)). Let d be (-8)/(-12)*t/4. Suppose -3*x = -4 - d. Is x a multiple of 11?
False
Let v = 54 - 45. Let i(l) = l**3 - 8*l**2 - 8*l + 1. Does 4 divide i(v)?
False
Suppose -2*r = -7*b + 8*b - 3229, 4*r - 9681 = -3*b. Is 11 a factor of b?
True
Let b = 51 - 40. Is 29 a factor of 2/b - (-4779)/33?
True
Let a(o) = 4 - 80*o + 74*o - o**2 + 14. Is 2 a factor of a(-8)?
True
Let t(j) = j**2 - 24*j + 33. Let g be t(23). Suppose f + 621 = g*f. Does 8 divide f?
False
Let u be (0/(-1))/(5/5). Suppose -23*y + 16*y + 1911 = u. Is 15 a factor of y?
False
Let h = 749 + -371. Does 63 divide h?
True
Let x = 199 + -147. Is 13 a factor of x?
True
Let v(z) = -z**3 - 6*z**2 + 29*z - 25. Does 29 divide v(-11)?
True
Let i(d) = 58*d - 2. Let w(l) = -l + 8. Let f be w(14). Let u be ((-3)/(-2))/((-9)/f). Does 14 divide i(u)?
True
Let g(r) = r - 1 - 15 + 4 + r. Let h be g(10). Suppose 0 = -4*u + h + 60. Does 16 divide u?
False
Let y(o) = 16*o + 5. Let z(n) = 33*n + 10. Let f(x) = 5*y(x) - 3*z(x). Let w(k) = -k + 1. Let l(u) = -f(u) - 6*w(u). Is l(1) a multiple of 6?
True
Suppose 0 = f + 5*g - 10, -2*g = f - 0*g - 7. Suppose 0*q = q + 3, 0 = f*p - 2*q - 211. Does 6 divide p?
False
Suppose -109 = -3*x - 5*j, 164 = 4*x - 0*j + 2*j. Let w = x + -6. Let p = w - 15. Does 11 divide p?
True
Let z = 48 + 54. Does 8 divide z?
False
Let b = -53 - -50. Is 37 a factor of -6*(b - (-204)/(-8))?
False
Let u be ((-4)/2)/(3/(-51)). Suppose 0 = 2*s - 3*i - u + 98, -3*i - 14 = s. Let y = s - -47. Does 21 divide y?
True
Suppose 13*v - 4828 = -239. Is 8 a factor of v?
False
Let t be 7 + -4 - (99 + 4). Let u = t + 7. Let i = 227 + u. Is 26 a factor of i?
False
Does 17 divide 1 + 151 + 2*(-4)/(-8)?
True
Suppose -2*h + 945 = 5*a, -a = -2*a + 5*h + 189. Is a a multiple of 13?
False
Let t = -75 + 117. Suppose y - 14 = 3*o, -5*y + 62 = 2*o - t. Is 10 a factor of y?
True
Is 26 a factor of (-1 - -13