-14*n - 11. Is c(k) a multiple of 29?
False
Let s(k) = -10*k + 13. Let v be s(-9). Suppose 5*l - 122 = v. Is 14 a factor of l?
False
Let q(u) = -129*u + 144. Is q(-4) a multiple of 22?
True
Suppose -4*i = 3*j - 1384, 5*j - 462 = 4*j - i. Is j a multiple of 16?
True
Let r = 15 + -10. Suppose -r*y + 3*v - 23 = -171, 4*y - 2*v = 120. Does 29 divide y?
False
Suppose b + 0*b - 1 = 0. Is 26/8*(1 - (-3)/b) even?
False
Suppose 8 = -d - 2*q, 3*q + 0 = -3*d - 12. Suppose d = 2*c - 0*c - 60. Is 10 a factor of c?
True
Let n(j) = 11*j + 2. Let y be n(6). Let l = -16 + y. Does 16 divide l?
False
Let u(n) = n**2 + 16*n + 66. Let g be u(-8). Let k = -27 + -12. Does 4 divide k/(-6) - g/(-4)?
False
Let d(f) = -f + 9. Let q be d(5). Suppose -5*i - 3*l = -185, -250 = -5*i + q*l - 30. Does 9 divide i?
False
Let t(m) = -60*m**2 + 12*m - 25. Let g(p) = -15*p**2 + 3*p - 6. Let x(q) = -9*g(q) + 2*t(q). Does 11 divide x(1)?
False
Let n = -183 + 15. Is ((-22)/33)/(2/n) a multiple of 10?
False
Let h = 292 + -88. Does 6 divide h?
True
Let y = 6 + -2. Suppose 0 = -4*g - 5*i - 42, g - 3*i + 6 = y. Is 301/4 - 6/g a multiple of 17?
False
Let b = 4067 + -2282. Does 7 divide b?
True
Let m(w) = -14*w + 1. Let c = 15 + -22. Let o = 6 + c. Is 5 a factor of m(o)?
True
Let q(o) = o**3 - 4*o**2 - 4*o. Let r be q(5). Let y be 1/(-3 - (-16)/r). Suppose g = -4*h + 141, y*h + 6*g = g + 195. Is 9 a factor of h?
False
Let w = -9 + 11. Let c = 40 - w. Let m = c - -4. Is 14 a factor of m?
True
Suppose 52 = 7*g - 4. Suppose 2*x + g = 0, 1344 = 4*p + 5*x - 436. Is 15 a factor of p?
True
Let h(c) = c**2 - 9*c - 10. Let d be h(10). Suppose 0 = 5*y - d*y - 25. Suppose -5 = k - 4*l - 4, -y*k - 3*l = -18. Does 3 divide k?
True
Let d be 0 + 1/(-3) + (-362)/(-6). Does 4 divide 4*d/8*48/20?
True
Suppose 3*a - 17 = 2*b, -5*a - 4 = 3*b - 7. Suppose n + a = 0, -3*u + 114 = -u + 2*n. Does 17 divide u?
False
Let j = -4 + 14. Let q(l) = -3 + 1 + j*l + 6*l. Is 15 a factor of q(2)?
True
Suppose 0*c = -4*c + 740. Suppose -3*t + 5*g + c = 0, 6*t - 3*t + 2*g - 178 = 0. Is 5 a factor of t?
True
Let p = -30 - -66. Let b = 186 + -133. Suppose -b - p = -s. Does 13 divide s?
False
Suppose 3*i = 17*p - 12*p - 1613, 649 = 2*p - 5*i. Is p a multiple of 46?
True
Let r = 46 + -33. Suppose r = -3*c + 31. Is 5 a factor of c?
False
Let v(y) = -y**3 + 16*y**2 + 2*y - 14. Let x be v(16). Does 2 divide 3/(-3) - x/(-4)*2?
True
Let s be 4807/(-44) + 2/8. Let p = s + 233. Let t = p + -40. Does 35 divide t?
False
Let j = 48 - 27. Suppose -b + j = 5*f, f - b = 4*b + 25. Is 15 a factor of 1016/20 + 1/f?
False
Let f(o) = -2*o + 4. Let b be f(4). Let y(g) = 4*g**2 - g**2 - g - 2*g**2 + 2. Does 6 divide y(b)?
False
Suppose -g + 33 = 2*g. Let t(s) = -s**3 + 10*s**2 + 12*s - 9. Let x be t(g). Suppose 21 = x*f - 35. Does 5 divide f?
False
Suppose 22 + 6 = 2*c. Let i = c + -16. Let y(h) = 5*h**2 + 2*h + 3. Is y(i) a multiple of 6?
False
Suppose -7*k + 25 = -2*k. Suppose 0 = 3*f - k*z + 74, 5*f = 4*z - 0*z - 119. Is 3 a factor of (-2)/(-2*(-1)/f)?
False
Suppose -3*d = -0*r + 5*r - 4514, 0 = -4*r - 8. Is d a multiple of 88?
False
Let c be 40/25 + 4/10. Let q = -8 + 12. Suppose 0*l = 5*u - c*l - 139, -q*u = l - 106. Does 9 divide u?
True
Let i be -2 + (-2 + 1)*-1. Let j = -4 + i. Let c = 2 - j. Is c a multiple of 7?
True
Let w = -21 - -2. Let j = w - -102. Let d = -34 + j. Does 6 divide d?
False
Let k(a) = -a**2 - 70*a - 220. Is 7 a factor of k(-51)?
True
Let p(f) = 2*f - 9 + 2*f - f - 4*f. Let n be p(-15). Suppose -r - 4*w = -n - 20, 0 = 5*r + 5*w - 145. Is 5 a factor of r?
True
Suppose s + 3*u = 126, -25*u - 448 = -4*s - 23*u. Is s a multiple of 3?
True
Suppose -2 = 5*c - 7. Let d(p) = 142*p - 206*p + 120*p. Is 28 a factor of d(c)?
True
Suppose 0 = 3*b, 4*u - 2*b = 3*u - 26. Suppose 0 = 5*y + x + 4*x + 10, -y = -x + 6. Does 13 divide u*(-2)/(y/(-3))?
True
Suppose 3*i + 27 = 5*a, 5*i + 14 = -3*a + a. Suppose 2*f + a = -f, 5*f = 3*d - 119. Is 27 a factor of d?
False
Let l be (10/(-15))/((-6)/27). Let g(j) = 5*j**3 - 5*j**2 - 3*j + 7. Is 11 a factor of g(l)?
True
Suppose -745 - 515 = -5*z - g, -1008 = -4*z - 3*g. Is z a multiple of 21?
True
Suppose 0 = 4*y - y - 57. Suppose 0 = -5*c - y + 134. Does 23 divide c?
True
Let s = 100 + -9. Is s a multiple of 56?
False
Suppose -150*i - 108 = -159*i. Is 12 a factor of i?
True
Suppose 966 = -y + 5*q - 343, -q = 4*y + 5320. Let w be y/(-3) - 1 - -3. Does 15 divide 2/6 + w/15?
True
Let a = 62 + -29. Does 28 divide (a - (1 + -3)) + 1?
False
Let d = 585 + -307. Suppose 0 = 2*g - 5*q - 424, -5*g - 4*q + d = -716. Is 16 a factor of g?
False
Let x(h) = -h**2 - 64*h - 108. Is 9 a factor of x(-40)?
False
Let k = -238 - -310. Does 12 divide k?
True
Suppose 15 = -3*l + 45. Does 10 divide l?
True
Suppose -3*v + 12 = 2*k - 11, -v - 5*k = -25. Suppose 0*f + a + 74 = f, -a = -v*f + 362. Is f a multiple of 14?
False
Let s(o) = 3*o + 10. Let q be s(-4). Let u(v) = -6*v**3. Does 12 divide u(q)?
True
Let s be 234/4 + 4/(-8). Suppose s + 50 = 3*x. Let b = x - 24. Does 3 divide b?
True
Suppose 2 = 4*y - 542. Is 13 a factor of y?
False
Suppose 4*k + x - 17 = -2*x, 5*x + 30 = 5*k. Let z be 0/(1 - (-2 - (2 + -7))). Is 7 a factor of k - 8 - (z + -24)?
True
Does 8 divide ((-12906)/(-24) - -6) + (-15)/(-12)?
False
Let n(i) = 37*i - 213. Is 5 a factor of n(14)?
True
Suppose -j - 26 = 2*g + 3*j, 46 = -3*g + j. Let d be g/(-45) + 22/6. Is 10 a factor of (-2 - -10) + (6 - d)?
True
Let v(i) = i**3 + 3*i**2 - 4*i + 2. Let b be v(-4). Suppose -b*u + 210 - 743 = -3*m, 0 = -4*m + 5*u + 713. Does 17 divide m?
False
Suppose 4*m - 96 = -o + 2*m, 480 = 5*o - 5*m. Is 16 a factor of o?
True
Is 81 a factor of (11/((-77)/21) - 5) + 5095?
False
Let m(r) = -r**3 + 4*r**2 + 2. Let h be m(4). Let c be 6/((-4)/h) - 111. Let s = c + 174. Does 14 divide s?
False
Let u(d) be the third derivative of 17*d**4/24 + d**3/3 - 5*d**2. Let t(i) = 8*i + 1. Let z(r) = 14*t(r) - 6*u(r). Is 11 a factor of z(2)?
True
Suppose -3*l = l - 4. Does 23 divide l - -2 - (-88 - 1)?
True
Let a = -2119 - -2415. Is 2 a factor of a?
True
Let f = 2105 + -1310. Is 87 a factor of f?
False
Suppose 3*d - 302 - 12 = 5*o, -5*o + 118 = d. Is 15 a factor of d?
False
Suppose 0 = 3*u - 11*u + 40, -2*v + 5*u = -2791. Is v a multiple of 64?
True
Let l(m) = 12*m**2 + 13*m - 64. Is l(-8) a multiple of 12?
True
Let p be (-9875)/(-5) + (-1 - -3). Suppose -p = -8*f - 465. Is 15 a factor of f?
False
Suppose 15*k - 19*k = 5*f - 268, 0 = -5*f - 20. Is k a multiple of 18?
True
Suppose 0 = 2*h + 5*r - 1266, -2502 = -40*h + 36*h + 5*r. Is h a multiple of 23?
False
Let b be (72/(-3))/((-3)/10). Suppose -5*v = y - 0*y - b, -6 = -3*v. Is y a multiple of 8?
False
Let f(s) = -s**3 + 11*s**2 - 10*s - 8. Let d be f(10). Is (42/d)/(6/(-72)) a multiple of 10?
False
Let k = 110 + -18. Suppose 2*j = 28 - k. Is (-26)/(-4) + (-48)/j a multiple of 4?
True
Suppose 4*s - 1733 = -4*c - 445, c = 5*s + 298. Is 6 a factor of c?
True
Suppose 3*x - 3 = -f, 40 + 22 = 4*f + 2*x. Suppose 2*r + 0*r + 5*g = f, 2*r + 3*g = 10. Is 12 a factor of 1/(5/305) + r?
True
Suppose 0 = l + s, 2*l - 5 = -0*s + 3*s. Suppose -196 = -5*j + 4*v, l = -j + 3*v + 38. Is j a multiple of 8?
True
Let f(i) = 2*i**2 - 6*i + 5. Let p be f(4). Is p*2 - (12 - 10) a multiple of 12?
True
Let r be 2*(13 - -4) + -4. Suppose 3*a - 12 = -r. Let s(x) = 2*x**2 + 3*x - 14. Is 5 a factor of s(a)?
True
Let z(r) = 73*r**2 - 22*r - 69. Is z(-7) a multiple of 77?
False
Suppose 83160 = -33*c + 105*c. Does 11 divide c?
True
Let n(w) be the second derivative of w**4/12 - w**3/6 + 13*w**2 + 10*w + 2. Let x(i) = -i**3 - 6*i**2. Let a be x(-6). Does 6 divide n(a)?
False
Let k(g) = 2*g**2 + 26*g + 12. Let u(r) = -3*r**2 - 3*r**2 + 18 + 39*r + 6*r**2 + 3*r**2. Let y(s) = 7*k(s) - 5*u(s). Is 36 a factor of y(-6)?
True
Let d = 220 + 31. Let g = d - 106. Is 15 a factor of g?
False
Suppose 12 = 3*z - 3*r, 4*r = -z + 6*z - 18. Suppose -11 = -5*k - 21. Does 3 divide k*(-8 + z + 2)?
False
Let c be (-2)/7 - 308/(-49). Suppose -21 = -3*l - c. Suppose 80 = l*j - 4*a, -4*j + 3*a - 16 = -5*j. Is 8 a factor of j?
True
Suppose 96*a = 85*a + 1859. Is a a multiple of 13?
True
Suppose l + 1867 = 2*a, -473 - 2325 = -3*a + l. Does 103 divide a?
False
Let v = 6719 - 4028. Does 13 divide v?
Tr