 + 410. Is c a multiple of 15?
True
Let q = -956 - -1056. Is q a multiple of 6?
False
Suppose 4920 = -2*f + 14*f. Is f a multiple of 41?
True
Suppose z = 4*z - 105. Let l be 1/4 - z/(-4). Let s = 9 + l. Is s a multiple of 18?
True
Let w(h) = -h**2 - 8*h + 40. Let n be w(4). Let d(u) be the second derivative of -u**4/12 - 5*u**3/3 - 4*u**2 + u. Is 2 a factor of d(n)?
True
Let a(h) = h - 16. Let z(s) = -3*s + 32. Let g(d) = -5*a(d) - 2*z(d). Let j be g(-8). Let t = j - -14. Does 8 divide t?
False
Let t = -616 - -620. Is t a multiple of 4?
True
Let l be -2 - -2 - (-6)/2. Suppose l*c = -2*k - 2*c + 1, -4*k = -5*c - 77. Is k a multiple of 5?
False
Suppose 0 = -923*r + 916*r + 1036. Does 11 divide r?
False
Let p(q) = 14*q - 38. Let b be p(25). Suppose 312 = 4*f - d, 2*f + 2*f - 3*d = b. Does 13 divide f?
True
Let k = -51 - -7. Is 14 a factor of (-3 - 41/(-2))*k/(-5)?
True
Suppose -4*v + 12 = -0. Suppose -5*w - 2*l = -174, v*w = 3*l - 4*l + 105. Is w a multiple of 9?
True
Suppose 0 = 3*w - 0*f + f + 20, w + 8 = -f. Is w*(-2)/30 + (-219)/(-15) a multiple of 5?
True
Suppose t = -4*t + 25. Suppose -62 = -t*p + 18. Does 12 divide p/72 + 428/18?
True
Suppose 2*i - 3*i = -5. Suppose 0 = -i*m + 113 - 18. Does 13 divide m?
False
Let w = 32 + -29. Let b(n) = 6*n**2 - 4*n + 4. Is b(w) a multiple of 6?
False
Let w be 6/(-9)*18/(-4). Suppose 5*q - w + 4 = -c, 13 = 2*c + 5*q. Let z = c + -5. Does 9 divide z?
True
Let j = 76 - 61. Does 9 divide 2694/j - 2 - 6/(-15)?
False
Suppose -4*j = -5*h, 3*h + 2*h + 5*j = 45. Suppose 132 = h*l - 64. Is l a multiple of 6?
False
Suppose -3*c + 81 = -84. Suppose -g - 3*w + 9 = 0, -5*w + c = -g - 4*g. Is (-164)/(-6)*g/(-4) a multiple of 15?
False
Suppose 5*n + 21 = 6, -510 = -2*f - 4*n. Let j = -185 + f. Suppose -5*z + 44 = -j. Does 12 divide z?
True
Let c be ((-2)/2)/(5 + 2930/(-585)). Let p = c - 57. Is 9 a factor of p?
False
Let g = 48 + -42. Let z = g + 2. Is 5 a factor of z?
False
Suppose 5*n + 4*i = -156, 4*n + 4*i = i - 125. Let b = 48 + n. Suppose 4*y - 52 = -b. Is y a multiple of 3?
True
Let q(f) = f**2 + 14*f + 14. Let i = 7 + -21. Let n(b) = b**3 + 14*b**2 - 14. Let k be n(i). Is 14 a factor of q(k)?
True
Let g(v) = -1 + 3 + 0*v + 0 - v - v**2. Let b be g(-3). Is (-2)/b*10 - -1 a multiple of 6?
True
Let i(o) = -2*o - 6. Let t be i(-10). Suppose 0*q = -q + t. Is (95 - -1)*7/q a multiple of 12?
True
Let n = 8 - 3. Does 20 divide 3 + (65/n - -4)?
True
Let k = -139 + 270. Is k a multiple of 5?
False
Suppose 4*t + 52 = -3*q - 15, -2*q - 2 = 0. Let z = t - -86. Does 26 divide z?
False
Suppose 1927 = 3*v - 5*k - 13980, 3*v - 15917 = -5*k. Does 102 divide v?
True
Suppose 3*i + 108 = 7*i. Let j = 35 - i. Suppose 3*b - 408 = -4*g + j*g, -5*b + 709 = 3*g. Is 35 a factor of b?
True
Is 3336/6 + 2 + 2 a multiple of 14?
True
Is (-4)/46 + (-10)/(-575)*126505 a multiple of 55?
True
Is 33 a factor of 5 + (1 + -2 - (-4765 - -17))?
True
Suppose 27*w - 31*w + 19412 = 0. Does 23 divide w?
True
Suppose -3*h + 31 + 41 = 0. Does 6 divide h?
True
Let a(z) = z**2 + 10*z - 11. Let d be a(-11). Suppose -x + 3*s = 2*x - 675, s + 1 = d. Suppose 203 = 4*y - 3*w, -4*y - 3*w = w - x. Is y a multiple of 14?
False
Let v be -19 - (-5 + (5 - 1)). Let r be v/99 - 2/(-11). Suppose r*k = -3*k + 102. Is k a multiple of 17?
True
Let v(m) = -5*m**3 - 3*m**2 - 3*m - 1. Let a be v(-1). Let u be 6/(-4)*(-24)/9. Suppose u + 16 = a*x. Is x a multiple of 5?
True
Let j = 730 + -586. Does 4 divide j?
True
Let y be (-4 + 9/2)*8. Let i be 1 + -4*y/(-16). Let f(b) = 41*b + 2. Is 14 a factor of f(i)?
True
Let y = 272 + 366. Is 9 a factor of y?
False
Let g(z) = z**2 - 17*z - 25. Let p(w) = 1. Let s(c) = -g(c) + 2*p(c). Suppose 8*a - 38 - 90 = 0. Is 12 a factor of s(a)?
False
Is 47 a factor of 616/(2 + -1) + 203 + -208?
True
Let n be 3 - (3 + 0) - 0. Suppose n*p - 268 = 4*p. Let m = p - -147. Is m a multiple of 20?
True
Let a be (24/6)/(-4) - (1 + 7). Is -126*(33/a + 3) a multiple of 7?
True
Suppose -3*m = -2*m - 32. Suppose 55 = 4*t - z, -4*z = 4*t - 2*t - m. Does 7 divide (-4)/t + (-306)/(-42)?
True
Let l(j) = j**3 - 4*j**2 + j + 2. Let t be l(3). Let g be (-2015)/25 + t/10. Let u = -39 - g. Is u a multiple of 21?
True
Suppose 2*p + 0 = -5*v + 52, 4*v - 36 = -3*p. Suppose 0 = -z + v + 27. Is z a multiple of 13?
True
Let j be 20/(-50) - (-2 - 342/5). Let y = 102 - j. Is y a multiple of 9?
False
Let v(g) = 2*g**2 - 6*g - 4. Let j be v(5). Suppose -2*u = 5*z - 206, 3*u - 4*u = -3*z + 128. Suppose -f = -z - j. Is 14 a factor of f?
False
Let m = -4429 - -8322. Is 63 a factor of m?
False
Let w(a) = a**3 + 6*a**2 - 7*a - 11. Suppose -7*x = -3*x + 24. Is w(x) a multiple of 17?
False
Let s(c) = 3654*c**3 + 2*c**2 - 8*c + 6. Does 63 divide s(1)?
True
Let k(a) = -188*a**3 + 2*a**2 + 2*a + 1. Let q be k(-1). Suppose 0 = 27*m - 3409 - 6743. Suppose 2*r + w - q = 0, 0 = -r - 3*r - 4*w + m. Does 14 divide r?
False
Suppose 3*q - 9*q + 960 = 0. Is q a multiple of 20?
True
Let k be (2 - (-2)/5*-5)/2. Does 23 divide (-345)/(-5) - k/2?
True
Let l be -1 - (8 - 2*-1). Suppose -12 = 7*x + 86. Let y = l - x. Is 3 a factor of y?
True
Let r(s) = 15*s**2 + 4*s + 2. Let o be r(-3). Let c be (o/20)/(4/48). Suppose 13 = 4*f - c. Does 11 divide f?
True
Is -4 - -1 - 17/((-68)/19960) a multiple of 24?
False
Let g = -18 - -21. Suppose 0 = -0*n + 2*n - g*k - 48, -5*n + 95 = 5*k. Is n a multiple of 9?
False
Suppose 2*h = 7 + 7. Suppose -8*l = -h*l - 22. Is 4 a factor of l?
False
Let q(f) = -f - 4. Let p be q(-6). Suppose p*b - 8*b = -192. Does 16 divide b?
True
Let d(q) = 3*q**2 - 4. Let p = -12 - -15. Suppose -p*y = -y + 8. Does 9 divide d(y)?
False
Suppose -6*u + 112 = 10. Let o = 21 - u. Suppose -o*m + 3*a = -71, -4*m - 30 = -6*m - 4*a. Is 17 a factor of m?
True
Suppose -5*c + 572 = -93. Is 38 a factor of c?
False
Suppose 3*j = -f + 2259, -6*f + f - 3031 = -4*j. Is 58 a factor of j?
True
Let v = 11 - 16. Let b(f) = f**2 + 5*f + 5. Let r be b(v). Suppose u = -r*l - 5 + 26, -4*u = -2*l - 84. Does 21 divide u?
True
Suppose 9*z - 8*z = 197. Does 15 divide z?
False
Let m(a) = 15*a**3 + 5*a**2 + 8*a - 38. Is m(6) a multiple of 15?
False
Let w = -3 - -3. Suppose 5*n = -q + 20, 20 = 3*n - q - w*q. Suppose 2*j - f - n = 0, -4*f + 12 = 2*j - 18. Is 5 a factor of j?
True
Let p = -157 + 103. Suppose 0 = -2*s - s - 333. Let o = p - s. Is 19 a factor of o?
True
Suppose -13*q + 210 = -1584. Does 6 divide q?
True
Let g(a) be the third derivative of 67*a**4/4 + a**3/6 + 7*a**2. Let w be g(1). Suppose -5*l = 143 - w. Does 12 divide l?
False
Suppose -q + 225 = 5*g - 0*q, -2*g + 90 = -5*q. Suppose 2*c = -c + g. Suppose -4*i = -71 + c. Does 14 divide i?
True
Let w(s) = s**2 - 5*s + 16. Suppose p = -5*y + 43, 3*y = -p - 0*p + 27. Is 10 a factor of w(y)?
True
Suppose 2*h = 11 + 17. Let d be 1/2 + 273/h. Suppose -5*n + d = -n. Does 2 divide n?
False
Let c be (-3 + 460/(-8))*2/1. Let y = c - -236. Does 30 divide y?
False
Let k = -79 - -105. Suppose 4*q = 3*p + 109 + k, -q + 39 = p. Does 4 divide q?
True
Does 33 divide (-54)/((-9)/117*1)?
False
Let j = 288 + -48. Is 15 a factor of j?
True
Let m = -25 - -228. Is 7 a factor of m?
True
Is 4 a factor of (-1 + 5)*15*(-72)/(-10)?
True
Let y = 71 + 9. Suppose 0 = 6*b - 5*b - y. Is 8 a factor of b?
True
Let l = -30 + 32. Let b(v) = 6*v**l - 4*v**2 - 9 + 6*v - 6 + 4*v. Is b(-8) a multiple of 11?
True
Let j = -788 - -1895. Does 41 divide j?
True
Suppose 5*a = 8*a + 69. Let s = -38 - a. Is 12 a factor of (-438)/s - (-4)/(-20)?
False
Suppose 3*g = -1 + 13. Suppose g*w - 57 = -17. Is w a multiple of 5?
True
Suppose -13*l - 488 + 1307 = 0. Is 21 a factor of l?
True
Let g(c) = -c**2 + 4*c. Let f be g(3). Suppose -3*u = -4*o + 22, f*o + u + 0*u - 10 = 0. Suppose -o*r + 23 = -1. Is 2 a factor of r?
True
Suppose -111*f + 3840 = -106*f. Is f a multiple of 6?
True
Is ((-60)/35)/((-16)/4312) a multiple of 66?
True
Let x(r) = 8*r - 7. Let v be x(4). Suppose v*c - 1015 = 20*c. Is c a multiple of 26?
False
Suppose -5*y - 4*j + 1816 = 0, -2*j + 700 + 390 = 3*y. Is y/18 - (-30)/(-135) a multiple of 7?
False
Let b(f) = f**3 - 15*f**2 - f + 57. Does 14 divide b(15)?
True
Suppose 0 = -5*n - 2*r + 3493, 0 = 5*n - 2*r - 3378 - 119. Is n a multiple of 56?
False
Suppose -2*m = -0*m + g - 5, -m - 3 = -5*g. Is 