se -368 = -2*t + 116. Is t a multiple of 61?
False
Let p(i) = -i**2 - 22*i - 95. Let k be p(-16). Suppose -2*z + 81 = -3*g + 19, 4*g = 0. Let f = z - k. Is f a multiple of 6?
True
Suppose 2*i - 831 = -p, 0 = -i + 7*p - 2*p + 388. Is 60 a factor of i?
False
Let j(i) = 3*i**2 + 4*i - 3. Let w be j(1). Suppose 5*m + 10 = 0, -2*o - w*m + m + 294 = 0. Is o a multiple of 15?
True
Is ((-1434)/(-8))/3 - 3/(-12) a multiple of 6?
True
Let o(p) = 21*p**2 - 5*p + 4. Is o(-4) a multiple of 9?
True
Suppose 0 = 3*y + 9 - 12. Let p = y - -26. Does 4 divide p?
False
Suppose 0 = -m + 5, -2*v - m + 3648 = -807. Is v a multiple of 89?
True
Suppose o + 9 = -2*o. Let c(x) = -x**3 + 6*x + 6. Is c(o) a multiple of 5?
True
Let i = 116 - 59. Suppose 0 = 9*z + 33 + 75. Let n = z + i. Is 13 a factor of n?
False
Let f(k) = 2*k**2 - 3*k - 1. Let a be f(3). Suppose -832 = -23*i - 211. Let o = i + a. Is 12 a factor of o?
False
Is (-2)/((-72)/34252) - (-68)/(-153) a multiple of 33?
False
Let l(z) = z**3 - 8*z**2 - 8*z + 25. Is l(9) a multiple of 17?
True
Let a(h) = 97*h - 576. Is a(44) a multiple of 52?
True
Suppose -5*p + 2*i = -588, 3*i + 138 = 3*p - 213. Does 10 divide p?
False
Is (-8 + (-1452)/(-30))/(3/105) a multiple of 17?
False
Let z(j) = -j + 6. Let g be z(10). Suppose 5*n + 17 = -3. Is (-81)/n + g/16 a multiple of 15?
False
Let i be -3*(-6)/99 - 6548/(-44). Let m = i - 71. Is m a multiple of 13?
True
Suppose -8*p = -9*p + 457. Is p a multiple of 7?
False
Suppose -4*n = 2*a - 506, -4*n - 512 = -8*n - 4*a. Is n a multiple of 11?
False
Suppose -7 = -4*q + 1. Let r(p) = 0*p - 3*p + 1 + p**2 + q*p + 3. Does 16 divide r(-3)?
True
Let q = -59 - -68. Suppose 2016 = 7*d + q*d. Is 14 a factor of d?
True
Let t = 80 - -84. Suppose 4*g - 160 - t = 0. Does 28 divide g?
False
Let x = 34 - 61. Let j = 51 + x. Is 3 a factor of j?
True
Let u(c) = -c**3 - 6*c**2 - 5*c + 3. Let a be u(-5). Let p = 9 + a. Let o = p - 1. Is o a multiple of 5?
False
Let q(a) = a**3 - 2*a**2 - a + 4. Let j be q(0). Let k be 0 + (j + -6)*3. Is (k/(-9))/(1/66) a multiple of 11?
True
Let l(x) = -5*x**3 + 19*x**2 - 6*x + 30. Let i(n) = -11*n**3 + 39*n**2 - 12*n + 60. Let h(o) = 4*i(o) - 9*l(o). Is h(15) a multiple of 12?
True
Let k be 4 + 6/(-9)*3. Suppose -k*i - 2*l = -i - 192, 567 = 3*i - 3*l. Does 9 divide i?
False
Suppose -15*j + 3468 = -3*j. Let i = 499 - j. Is i a multiple of 30?
True
Suppose 0 = -4*h - 3*x + 191 + 951, -3*x = -2*h + 562. Is h a multiple of 11?
False
Let r(x) = x**2 - 8*x - 4. Let p be r(9). Let m be (0/5)/(-3 + p). Suppose -5*a - 5*f + 75 = 0, 5*a - 3*f - 91 = -m*f. Does 9 divide a?
False
Let t(f) be the first derivative of f**2 + 60*f - 21. Is t(-12) a multiple of 3?
True
Suppose 0 = -3*w + 2*b + 22, -w - 3*w + 26 = -2*b. Let d = -185 + 194. Does 20 divide (w - -11)*57/d?
False
Suppose -50*w + 54000 = 4*w. Does 50 divide w?
True
Let p = 161 - 106. Suppose 2*l - 15 = p. Does 7 divide l?
True
Is 268*(-2)/((-12)/9) a multiple of 20?
False
Let w = -9 - -12. Suppose 2 = -y, -w*y = x + 2*y + 5. Suppose -p + x*p = 48. Is 4 a factor of p?
True
Let r = 701 - 339. Is r a multiple of 56?
False
Let l(v) = -v**3 - 3*v**2 - 6*v - 10. Let q = 38 + -42. Does 15 divide l(q)?
True
Let r = 15 + 48. Suppose 5*u = 5*b - 130, 16 = -3*u + 4*b - r. Let v = -18 - u. Is 2 a factor of v?
False
Is (-3 + 175/14)*90 a multiple of 45?
True
Suppose c = -5 - 19. Let f be (-2*1 - -4) + 462. Does 8 divide (f/c)/((-2)/3)?
False
Let w be 2/(-1) + 5 + -3. Suppose w = 5*i - 8*i + 288. Is i a multiple of 24?
True
Let j(k) = -k + 14. Let s be j(13). Is (s - -37) + (-6 - -10) a multiple of 9?
False
Let b be 61 + 4/(-1) + 1. Let s(k) = 3*k**2 + 10*k + 8. Let h be s(-7). Let d = h - b. Does 8 divide d?
False
Let v = 3976 + -2741. Does 13 divide v?
True
Suppose 0 = -4*g - 2*u + 26, 2*u - 2 + 12 = 5*g. Suppose -5*p + n + 326 = 0, -2*n - 2*n = g. Is p a multiple of 39?
False
Suppose -3*f + 3*q = 6*q + 42, -4*q + 4 = 0. Is 18 a factor of (-1776)/(-30) - (-3)/f?
False
Suppose -7*d + 15 = 57. Is 4*74/4 + d + 5 a multiple of 7?
False
Let d be (8/(-10))/((-18)/(-1035)). Let o = 146 - d. Is 24 a factor of o?
True
Let j(y) = 3*y - 21. Let h(r) = r. Let n(b) = 4*h(b) - j(b). Does 5 divide n(-11)?
True
Suppose -64*v + 65*v - 110 = 0. Is v a multiple of 10?
True
Suppose 2*n - 6 = -2*g, -4*n + 4 = 2*g - 0. Suppose 10 = -g*v + 30. Suppose -v = -5*q + 70. Is q a multiple of 3?
True
Let l = -304 - -464. Is l a multiple of 8?
True
Is 23 a factor of 4/22 - (3 - 1611/33)?
True
Suppose 0 = m + 8 - 8. Suppose -8*w + 831 - 111 = m. Is w a multiple of 5?
True
Suppose -z - 2*o = -3*o - 12, 3*z - 4*o = 38. Suppose m - 30 = -i + z, 4*m + i = 160. Is 8 a factor of m?
True
Let h(u) = -182*u - 210. Is h(-10) a multiple of 13?
False
Let f be (-28)/((-6)/(-2) + -4). Let t = 17 - f. Let s = t + 18. Is 4 a factor of s?
False
Suppose 3*l - 15 = -2*l. Suppose l = b + 13. Is ((-104)/b)/((-26)/(-195)) a multiple of 20?
False
Let i be (-36 + -4 + 0)/1. Let z be (-2)/(-14) - i/(-35). Is 16 a factor of ((-2)/(-4))/z*-128?
True
Let c(t) = 207*t + 153. Is 18 a factor of c(5)?
True
Suppose -16*i + 5495 = 519. Is 9 a factor of i?
False
Let d be (0 - 0) + (-12)/(-3). Let n(m) = m - 7 + d*m - 2*m. Is n(6) a multiple of 3?
False
Let a(x) = x - 5. Let n be a(-2). Let f = 40 + n. Is f a multiple of 7?
False
Let m(q) = -2*q**2 + 1. Let u be m(-1). Let r = 1 - u. Suppose -66 = -2*y - 2*s, -r*s = -0*s - 8. Does 9 divide y?
False
Let c = 1308 - 724. Is c a multiple of 20?
False
Let z(o) = 2*o**2 + 5*o + 4. Let l be 3*-1*32/(-12). Suppose l*m + 10 = 6*m. Does 17 divide z(m)?
False
Suppose 2*c = 5*c + 30. Let f = 12 + c. Suppose f*x - 19 = -3*k + 7*x, x = -k + 9. Is 6 a factor of k?
False
Suppose -2337 = -4*k + 3*v, 3*k - 580 - 1177 = -2*v. Is 15 a factor of k?
True
Let k(c) = c**2 + 2*c. Let u be k(2). Suppose u*l - 13 = 195. Is 6 a factor of l?
False
Let c = 153 - -201. Is 31 a factor of c?
False
Let z = 21 - 18. Suppose -z*c + 217 = -245. Is 19 a factor of c/8 + 6/(-24)?
True
Let i = 39 - 35. Suppose -i*j = -6*j + 70. Is j a multiple of 7?
True
Suppose 14*m - 721 = 13*m. Is m a multiple of 29?
False
Let t(d) = -14*d - 72. Does 23 divide t(-38)?
True
Let h = -72 - -67. Is 36 - 2*(-3 - h/2) a multiple of 34?
False
Let d(c) = -c**3 - 10*c**2 - 5*c - 43. Let n be d(-8). Let u = n - -221. Does 12 divide u?
False
Suppose y - 2*x = -7, y - 5*x - 14 = 3*y. Let c = y - -10. Is 1/(-1*c/(-144)) a multiple of 12?
True
Let s = 15 - 37. Let x be 1/4*-2*s. Let z(c) = -c**2 + 16*c - 16. Is z(x) a multiple of 13?
True
Let i be ((-5)/((-10)/12))/2. Let s(l) = 2*l**2 + 3 + 10*l + 0 - i*l**2. Does 12 divide s(9)?
True
Let s(j) = 1137*j**3 + 3*j - 2. Let c be s(1). Suppose 8*y - 494 = c. Is y a multiple of 17?
True
Let q = -416 - -816. Does 40 divide q?
True
Suppose 2*r = 5*r - 24. Let c(t) = t**3 - 8*t**2 + 3*t - 10. Let s be c(r). Let y = s + 0. Is 14 a factor of y?
True
Suppose 0 = -22*o - 10*o + 5440. Does 17 divide o?
True
Let g be (((-104)/(-2))/(-2))/1. Let k = -24 - g. Is 4/(-8) + 87/k a multiple of 14?
False
Let p = -14 + 16. Suppose 0*a - 20 = -5*a, p*a = -c - 14. Let r = 54 - c. Is r a multiple of 19?
True
Is 45 a factor of 11 + -15 - (0 - 192)?
False
Does 10 divide (-3)/(-2) + 9 + 357/6?
True
Let y = -13 + 3. Let n = y + 10. Suppose 0 = s + 4*h - 28, 2*s + 5*h - 53 = -n*s. Is 8 a factor of s?
True
Let n = -5 - -5. Suppose n*y - 363 = -4*z - y, -3*z + 4*y = -277. Let w = z + -64. Does 12 divide w?
False
Is ((-30)/(-20))/1*(-1208)/(-6) a multiple of 20?
False
Let r(q) = 23*q - 550. Is r(51) a multiple of 3?
False
Let m = -21 + 22. Suppose -c - 2*o - m = 0, o + 28 = 5*c - 0*o. Is 5 a factor of c?
True
Suppose 134 = v - 5*d - 84, 0 = 4*v + 2*d - 784. Does 33 divide v?
True
Let v(s) be the third derivative of s**6/120 - 7*s**5/60 + s**4/3 - 2*s**3/3 + s**2. Suppose 10*m = 9*m + 6. Is v(m) a multiple of 3?
False
Is 21 a factor of (-1)/2 + -962*(-7)/28?
False
Let y(g) = g - 1. Let x be y(5). Suppose 2*w = 3*i + x, -10 = 4*w - 9*w + 5*i. Suppose w*m - 3*k = -0*k + 122, k = -4*m + 216. Is m a multiple of 11?
True
Suppose 146 = 12*o - 658. Does 8 divide o?
False
Let h(y) = y**2 - 5*y - 10. Let d be h(7). Suppose d*m - 66 = 58. Does 14 divide m?
False
Does 14 divide (0 + (-6)/4)*(-15752)/66?
Fal