 - 3*x + 8 = -10, x - 10 = 2*c. Let v be c/2*40/16. Is 19 a factor of a(v)?
False
Suppose 55*s + 7677 = 64*s. Does 21 divide s?
False
Let g be ((-36)/(-30))/(2/80). Let y = g + -24. Is y a multiple of 24?
True
Let l(f) = f**3 + 7*f**2 + 6*f + 8. Suppose -3*u - 30 = -4*z, 0 = 2*u + 2*u + 2*z + 18. Let n be l(u). Suppose -n*c = -7*c - 39. Is c a multiple of 10?
False
Suppose 5*y + 3*j - 5613 = 0, 8*y - 11*y + 4*j + 3362 = 0. Does 33 divide y?
True
Suppose -4*a - 5*o + 6*o + 227 = 0, -a + 65 = -3*o. Suppose -53*f + a*f = 369. Does 41 divide f?
True
Let j = -307 - -435. Suppose -4*d = -2*d - j. Is d a multiple of 10?
False
Let u be 4*1 - (-3 + 7). Let m be (-1 + u)/((-9)/45). Is 2 a factor of (-2)/m + 432/80?
False
Let q = -7 - -17. Let w(n) = -n**2 + 12*n + 14. Is w(q) a multiple of 17?
True
Suppose 4*i - 1 = -5. Suppose 0 = -4*b - j + 3 - 2, -4*j + 20 = 0. Is 13 a factor of (-2 + i)*(-22 - b)?
False
Let d(c) be the first derivative of -c**5/40 - c**4/12 - 4*c**3/3 + 6. Let q(k) be the third derivative of d(k). Does 19 divide q(-7)?
True
Let s = 4003 + -2393. Does 150 divide s?
False
Suppose 4*o - 652 = 5*g, 4*g = -2*o + 318 + 34. Is 14 a factor of o?
True
Let o(k) = -5*k - 10. Let w(y) = 2*y + 5. Let i(v) = 3*o(v) + 7*w(v). Let z(b) = -b. Let n(x) = -3*i(x) + 6*z(x). Is 10 a factor of n(-16)?
False
Suppose 5*v - 101 + 409 = -3*h, 2*h + 184 = -3*v. Suppose -3*p = -5*y - 337, -3*p - 5*y = 127 - 504. Let r = p + v. Does 11 divide r?
True
Suppose -4*y + 2640 = 3*d + 2*d, -2*y = -2*d + 1056. Is d a multiple of 48?
True
Let i(k) = -3*k**3 - 27*k**2 - 12*k - 2. Is i(-9) a multiple of 2?
True
Let n be (-2*(-2)/((-12)/603))/(-1). Suppose 2*q = 5*f + 169, -3*f + n = 3*q - 0*f. Is q a multiple of 12?
True
Let m = 54 + 89. Is m a multiple of 6?
False
Let o(z) = z**2 + 11*z - 6. Let j be o(-12). Let r(u) = u + 6. Let p be r(j). Suppose -w + 26 + p = 5*s, 4*s = -4. Does 14 divide w?
False
Let b be (-50)/30*(1 - 40). Suppose w + c = -3*c - b, -3*w - 206 = c. Let z = -41 - w. Is z a multiple of 14?
True
Suppose z + 2*f + 197 = 733, -2*z + 1027 = -5*f. Is 10 a factor of z?
False
Suppose 0 = 5*p - 12 + 2. Suppose 0 = -p*n - 0*n + 112. Does 14 divide n?
True
Suppose x - 2*z + 30 = 0, -3*x = -x + 4*z + 20. Let y be -3*(2 + x)/(-2). Is ((-414)/y)/(2/9) a multiple of 22?
False
Let b = 1322 + -398. Is 13 a factor of b?
False
Suppose -1115 = -4*o - d, -5*o - d - 845 = -8*o. Is o a multiple of 5?
True
Let b(v) = 2*v + 13. Let n be b(-7). Let s = 47 - n. Does 12 divide s?
True
Is 22 a factor of -44*(-1 + -5 + (-2)/4)?
True
Suppose -2*h + 5*o = -43, -2*o = -5*h - 0*o + 55. Let x = 10 + -6. Let w = x + h. Is w a multiple of 4?
False
Suppose -2*j = -4*j + 2*i - 13144, 0 = -j - i - 6568. Let s be (4/(-6))/(12/j). Suppose 0 = -6*m + m + s. Does 22 divide m?
False
Suppose o + 4*o = -20. Let i be (-2)/5*(o + -76). Let f = i - 21. Does 3 divide f?
False
Let g(p) = -p**2 + 12*p - 12. Does 10 divide g(8)?
True
Let k be -1*3 - (-3)/((-12)/1072). Let g = 441 + k. Is g a multiple of 17?
True
Suppose -3*o - 40 = -4. Let i = 15 + o. Suppose 3*g = x - 43, -g - 103 = -i*x + 10. Is x a multiple of 17?
False
Suppose -8*n + 324 - 1164 = 0. Let d = n + 204. Does 13 divide d?
False
Suppose 2*a - 3*a - 5 = 3*k, 0 = -4*k. Let m(i) = -i**3 - 9 - 6*i**2 + 0*i**2 + 2*i**2 - i. Is 10 a factor of m(a)?
False
Let i(j) = j + 8. Let h be i(-6). Suppose 2*t + 0*u = -h*u + 102, 2*t - 4*u = 120. Is t a multiple of 18?
True
Suppose 0 = -4*t - 5*a - 20, -a - 3*a = 3*t + 16. Let h(d) = -d**2 - 2*d + 117. Let z be h(t). Suppose -10*p + z = -23. Is p a multiple of 5?
False
Let p(t) = -39*t - 748. Is p(-47) a multiple of 39?
False
Let u = -3244 + 4674. Does 55 divide u?
True
Let j(b) = b**3 - 14*b**2 - 2*b - 133. Is 2 a factor of j(15)?
True
Let g = 6808 - 4314. Is 86 a factor of g?
True
Let a(t) = 2*t**2 - 5*t - 4. Let z be a(-3). Let m be (-1)/((-1 + 1 - 1)/1). Let o = z - m. Is 14 a factor of o?
True
Let z = 612 + -341. Is z a multiple of 19?
False
Suppose 3*u - 664 = -5*k, k - 2*u + 399 = 4*k. Is 41 a factor of k?
False
Let c be (-6 - -16)/(-3 + 2). Does 3 divide 12/(-10)*c/3?
False
Let l(i) = -i**3 + 15*i**2 + 15*i + 16. Let z be l(16). Suppose o - 3*a = 76, o - 6*o - 4*a + 323 = z. Is 12 a factor of o?
False
Let q(y) = 167*y**2 - 2*y + 3. Does 25 divide q(-2)?
True
Suppose 7*d - 4*d - 222 = 0. Suppose d = 3*w - 139. Does 8 divide w?
False
Let i(s) = -s**2 - 6*s - 7. Let r be i(-3). Suppose 13*q - r*q - 1573 = 0. Is 13 a factor of q?
True
Let m(l) = 8*l**3 + l. Let f be m(1). Suppose -5*b + t + 397 = 0, -3*t + 0 + f = 0. Is 20 a factor of b?
True
Let r be (-3)/(-1)*10/(-3). Is -1 + 462/10 + 2/r a multiple of 6?
False
Let i(x) = x**3 + 23*x**2 - 2*x - 19. Let g(l) = -3*l**2 + 13*l + 7. Let v be g(6). Is 27 a factor of i(v)?
True
Let u = -122 - -52. Let h = -26 - u. Is 16 a factor of h?
False
Suppose -i + 10 = x - 2, 50 = 5*i + 3*x. Let y(o) = o**3 - 5*o**2 - 8*o + 6. Does 20 divide y(i)?
False
Suppose 0 = -7*w - 10*w + 5423. Is 11 a factor of w?
True
Let z = 681 - 445. Is z a multiple of 44?
False
Suppose -13*j = -12*j - 2*f - 1910, -3*j - 4*f = -5720. Does 101 divide j?
False
Let g(j) = 42*j - 3. Let s be g(12). Let h = s + -321. Does 45 divide h?
True
Let j(c) = -3*c - 1. Let o = -6 + 8. Let x be j(o). Does 3 divide -2*x/2*1?
False
Let h = -91 + 46. Let b = h + 83. Does 7 divide b?
False
Let b = 11 - 6. Let u(l) = -l + 5. Let x be u(b). Suppose -2*d + 46 = -x*d. Does 19 divide d?
False
Let y = 670 - 209. Does 17 divide y?
False
Suppose -y = 4 + 4. Let s(x) = 2*x**2 - 3*x - 22. Let a(q) = q**2 - 2*q - 11. Let o(n) = -5*a(n) + 3*s(n). Is 15 a factor of o(y)?
True
Is 10 - ((-1 - 641) + -9) a multiple of 18?
False
Let b(u) = u - 14. Let a = -28 - -48. Does 3 divide b(a)?
True
Suppose -3*r + y = -155, 2*r - 114 = 3*y + 1. Let p = 217 - 193. Let l = r - p. Is l a multiple of 26?
True
Let x = -561 + 990. Does 13 divide x?
True
Let g(l) = 45*l**2 - l. Let n be g(1). Suppose 3*v - 74 = 154. Let u = v - n. Is 18 a factor of u?
False
Suppose 0 = -27*q + 23*q + 4*h + 360, 175 = 2*q - 3*h. Does 41 divide q?
False
Suppose 0*a + a = 0. Suppose -2*n + 24 = -5*y, a*n - 5*y - 14 = 3*n. Suppose n*j = -0*j - 5*r + 133, -r = -5*j + 265. Does 11 divide j?
False
Suppose 144*h - 1210 = 133*h. Is h a multiple of 24?
False
Suppose v + 20 = -5*y + 10*y, -y - 4*v + 4 = 0. Suppose -t + 7 = -0*w + w, 3*w + 14 = 4*t. Suppose 4*h - y*g = -5*g + 35, -h - t = 3*g. Is h a multiple of 10?
True
Let d = -1799 - -3041. Is d a multiple of 44?
False
Let m = 18 - -1. Let q = -10 + m. Is q/(-3) + 1 - -20 a multiple of 5?
False
Let u = 89 + -63. Suppose 0 = 2*z + 3*z. Suppose z = 2*j + 2*l - 10, -3*j + 7*j + l = u. Is 5 a factor of j?
False
Let k(p) = p**2 + 12*p - 25. Let x be k(-14). Suppose 0 = c - 5*s - 34, x*s + s + 2 = -c. Does 7 divide c?
True
Let c(f) = -20*f + 12. Let d be c(-9). Suppose -o - 4*p + d = 0, 0 = 5*o + 9*p - 8*p - 979. Is 28 a factor of o?
True
Is 27 a factor of -3*(-5)/90 - 15836/(-24)?
False
Let d(y) = 6*y - 14. Let j be (-4)/6 - (-110)/(-15). Let f = 5 - j. Is d(f) a multiple of 32?
True
Suppose 5*f - 316 = 234. Suppose -2*z = -0*z - f. Let t = 82 - z. Is t a multiple of 9?
True
Suppose 75*r - 71*r - 552 = 0. Does 36 divide r?
False
Suppose 4*u - 8 = 2*i, 5*u = -3*i - i - 29. Let n be ((-9)/i)/((-3)/18). Is 12 a factor of n/(((-20)/(-16))/(-5))?
True
Suppose 3*o - 852 = 3*l, -3*l + 393 = 4*o - 715. Suppose 0*t + 7*t = o. Is 2 a factor of t?
True
Let h = 538 + -313. Is 15 a factor of h?
True
Let o = 647 + 503. Does 25 divide o?
True
Suppose -27*a - 935 + 47861 = 0. Does 11 divide a?
True
Let i(g) = 3*g - 4. Let k be i(3). Suppose 5*c - y + 523 = 0, k*c + 502 + 27 = 3*y. Is 42/4*c/(-39) a multiple of 28?
True
Let u = 398 - 137. Is 29 a factor of u?
True
Let n(m) = 28*m - 120. Does 14 divide n(9)?
False
Let t(m) = 3*m - 3. Let a be t(2). Suppose -3*y = l - 183, 6*l - 7*l = -a. Does 10 divide y?
True
Let o = -154 + 1048. Suppose 10*i = 13*i - o. Is 18 a factor of i?
False
Let y(h) = 16*h - 3. Is y(12) a multiple of 21?
True
Suppose -6*q + 21 = 5*a - 3*q, 10 = 4*a - q. Suppose 16 = -4*t, -a*d - t - 14 = 4*t. Suppose d*n = 114 - 22. Is 24 a factor of n?
False
Let h be -1 - -6 - 2 - -40. Suppose -i + 2*l = -73, -3*i + 2*i - 4