-l - 4, 2*l - i = -5*c. Let n = 3 + c. Is n a multiple of 12?
False
Let d be 5 + (0/(-4))/(-1). Let i = 11 - d. Does 3 divide i?
True
Suppose -f + 5*r + 4 = 0, 5*f = -2*r - 1 - 6. Is 4 - -4 - (f + -2) a multiple of 6?
False
Let b(z) = 3*z - 7. Let a be 12/(-30) + 54/10. Does 3 divide b(a)?
False
Suppose -2 = -q + 3*f, 0 = -3*f + f + 8. Suppose -g + q = -0*g. Is 8 a factor of g?
False
Suppose 12*a = 16*a - 1368. Is 19 a factor of a?
True
Let w = 5 - 8. Is 10*w/(12/(-8)) a multiple of 20?
True
Let v(p) = 2*p**2 - 2*p + 5. Let s be v(6). Suppose 0*m + 2*g + 74 = 4*m, -g = 4*m - s. Does 17 divide m?
True
Suppose 0 = -3*d - 3*d - 66. Let l = 35 + d. Is l a multiple of 9?
False
Let f(k) = 4*k + 32. Is f(-4) a multiple of 4?
True
Is -5 + (-2)/2 - -42 a multiple of 15?
False
Let q be 0 + (-5)/(10/(-4)). Suppose 4 = -q*o + 10. Suppose o*u + 5*d - 3*d - 112 = 0, -u - 5*d = -59. Is u a multiple of 14?
False
Suppose 8 = 3*a - 2*a + 2*n, -a = -5*n + 6. Suppose -5*u + 2*m = -58, -2*m = -6*m + a. Is 12 a factor of u?
True
Let o be 2/(-1) + (2 - -4). Suppose 0*b - o*b + 108 = 0. Is 9 a factor of b?
True
Suppose -5*k + 220 = -5*j, -8 - 4 = -3*j. Is k a multiple of 16?
True
Let n(s) = s**2 + 4*s - 5. Let g(v) = -2*v + 9. Let j be -1 + -3*6/(-2). Let f be g(j). Does 8 divide n(f)?
True
Let a(s) = s + 1. Let o be a(6). Let h = o - 4. Suppose 7*b - 3*b - h*i = 171, 4*i = 4*b - 168. Is b a multiple of 15?
True
Let r(u) be the second derivative of -u**5/20 + 3*u**4/4 - u**3/2 + 3*u**2/2 + u. Let m be r(5). Suppose 4*i - m = -0*i. Does 10 divide i?
False
Let z be -3 - (-3 - 0 - -82). Let b = -35 - z. Is b a multiple of 14?
False
Let w(j) = 2*j**2 + 10*j - 6. Let r(t) = -9*t**2 + 2*t - 1. Let v be r(1). Is 26 a factor of w(v)?
False
Let u(h) = -2*h - 3. Let q be u(-2). Is 3 + (-25)/(-1) - q a multiple of 23?
False
Let j(w) = -20*w. Suppose t - 1 + 3 = 0. Let b be j(t). Suppose 0*k + b = 2*k. Is 10 a factor of k?
True
Suppose 28 = -3*j + 4*u, j + 5*u = -10 - 12. Suppose 3 = -2*l + 5*a - 14, 11 = -2*l + 3*a. Is (l*39)/(j/8) a multiple of 13?
True
Suppose 2*l - 7 = 5*s, -13 = -l - 5*s - 2. Is l even?
True
Let w = 20 - -32. Does 26 divide w?
True
Let u = 318 - 154. Suppose -5*i + u = -56. Is 16 a factor of i?
False
Suppose 2*b = -4*s + 42, 5*b + 0*s - 116 = s. Suppose -n + u = 0, 2*n - u + 4*u - 10 = 0. Let h = b + n. Is 12 a factor of h?
False
Let m(a) = -12*a - 22. Is m(-9) a multiple of 8?
False
Let p(n) = -n - 3. Let r be p(-8). Suppose -3*s + s + 3162 = r*f, -4*f + 2524 = 3*s. Is f/14 + 2/(-7) a multiple of 17?
False
Let t(l) = 24*l - 12. Is 27 a factor of t(5)?
True
Let f be ((-2)/(-4))/(5/(-20)). Is (82/(-8))/(f/8) a multiple of 19?
False
Suppose 4*c - 23 = -3. Suppose -3 = f - 2*f. Suppose -2*z - f*d - 99 = -c*z, -3*z = -4*d - 104. Is z a multiple of 14?
True
Let t = 98 - 70. Let b = 52 - t. Does 8 divide b?
True
Let u be 0 - (1/1 - 3). Let r be (3/u - 2)*-8. Suppose 220 - 68 = r*l. Is 14 a factor of l?
False
Is (-5046)/(-21) + -1 + (-5)/(-7) a multiple of 15?
True
Suppose -3*y = -0*y. Suppose -5*v = 5*t - 250, y = -4*t - v + 256 - 62. Does 16 divide t?
True
Suppose -4*v = -4*i - 280, 0 = 4*v + 5*i - 3*i - 310. Is 5 a factor of v?
True
Let a be 1 + -4 + 1 + 0. Let x be (-2)/4*5*a. Suppose x*t - 56 = t. Does 11 divide t?
False
Suppose b + 4*b - 645 = 0. Does 9 divide b?
False
Let q(b) = -b**2 + 7*b + 3. Let s be q(6). Suppose -2*u + a = -s, 5*u = -a - 3*a - 10. Suppose u*x + 24 = 4*x. Does 12 divide x?
True
Let g(w) = w**2 + 14*w - 4. Let a be g(-14). Is 20 a factor of 1*(1 - 93)/a?
False
Suppose -g + o = -0*o - 5, 0 = -2*o. Let n(q) = 8*q - 4. Is n(g) a multiple of 16?
False
Let i(m) = 5*m**2 - 3*m + 4. Does 33 divide i(3)?
False
Let m(q) = 7*q - 4. Is m(16) a multiple of 21?
False
Suppose 0*x - 3*x + 42 = 0. Is x a multiple of 7?
True
Let a(x) = 0*x + 3*x - 5*x - 8 + x. Let i be a(-7). Does 16 divide i/6 - 97/(-6)?
True
Let x(q) be the first derivative of -q**2 + 5*q - 3. Let d be x(4). Let o(s) = s**3 + 6*s**2 + 5*s + 4. Is 9 a factor of o(d)?
False
Let j be 10/(-15)*1*18. Is 30 a factor of (-3006)/(-30) + j/(-15)?
False
Suppose 2*f = f + 24. Is f a multiple of 6?
True
Let b = 34 + -16. Is (b - 3/(-1)) + 3 a multiple of 7?
False
Suppose -u + g + 10 = -g, -4*u - 4*g = 8. Is 2 a factor of u?
True
Suppose 3*o - o - 8 = 0. Let w be (-4 - 2)*(-1)/2. Suppose 2*d - 14 = -z, w*z = -o - 2. Does 8 divide d?
True
Suppose -4*c - 2*m + 44 = -16, 0 = -5*m. Suppose 9 + c = 4*n. Does 4 divide n?
False
Suppose -3*i = -3*h - 2*h - 167, 2*i - 102 = h. Let g = -21 + i. Is g a multiple of 8?
False
Let r be 2/4 + 2471/14. Suppose 2*x - v - 98 = 2*v, -3*v = 3*x - r. Does 28 divide x?
False
Suppose 4*p + 16 = 88. Is p a multiple of 2?
True
Suppose -4*a - 7 - 15 = 3*v, -4*a = 2*v + 16. Let r = 9 + v. Is r even?
False
Let p = -143 - -209. Suppose 12 = -3*d + p. Is 6 a factor of d?
True
Let d(k) = -k**3 - 6*k**2 + 5*k - 1. Let w be d(-7). Let u = w - -27. Does 20 divide u?
True
Suppose -2*l + 492 = 3*r, -l - r - 2*r + 249 = 0. Does 27 divide l?
True
Let o(g) = g + 1. Let i be o(-1). Suppose 2*w - 115 = -5*j, i*w = 5*w - 25. Is j a multiple of 11?
False
Let w = 17 + -5. Does 4 divide w?
True
Suppose 8 = -2*s, -4*v + 160 = -s - s. Is 13 a factor of (v - 1) + 2 + 0?
True
Suppose -5*p = 5*m - 30, 6*m - 2*m - 21 = -p. Suppose -j + 3*c = -38 - 51, -m*j - 4*c + 407 = 0. Let q = -43 + j. Is 18 a factor of q?
False
Suppose d - 11 = -1. Is d a multiple of 6?
False
Let u = 225 - 144. Does 27 divide u?
True
Suppose -69 = -c + 2*v - 7*v, -137 = -3*c - v. Is c a multiple of 22?
True
Let j(s) = 5*s**2 + 4*s + 6. Let g(y) = -4*y**2 - 5*y - 5. Let q(a) = -4*g(a) - 3*j(a). Let l be q(-8). Suppose -l*k - k = -84. Is 14 a factor of k?
True
Let n(l) = -l**3 - 9*l**2 + 5. Let d be n(-9). Let c be 20/(-1 + d/3). Suppose -54 = -2*z + c. Is 21 a factor of z?
True
Let f = -103 + 146. Is 43 a factor of f?
True
Let l = -156 - -324. Suppose 3*b + z = 126, -b + z + l = 3*b. Is b a multiple of 14?
True
Let i(x) = 31*x + 15. Does 24 divide i(2)?
False
Does 4 divide 96/9*6/4?
True
Suppose 13*x = 16*x - 345. Does 23 divide x?
True
Let o be (-21)/(-9) + 6/9. Suppose o*s + s = 164. Is 17 a factor of s?
False
Suppose -71 = -4*a + 29. Suppose -w + 2 = -a. Does 14 divide w?
False
Let t(s) = 3*s. Let q be t(1). Suppose -5*m - 70 = -5*n, -5*m + 0*m + 10 = q*n. Is n a multiple of 3?
False
Let q = 64 - 39. Does 12 divide q?
False
Does 16 divide ((-1056)/(-60))/((-4)/(-10))?
False
Let y(d) = 3*d**2 - 6*d + 3. Let q be y(4). Suppose 9 = 4*w - q. Is 3 a factor of w?
True
Let m(b) = 2*b + 5. Is m(7) even?
False
Suppose u = -0*u + 4. Let d be u/(-6)*(2 + -5). Suppose -d*c + 10 = -18. Is c a multiple of 5?
False
Let g = 6 - 10. Let l = -4 - g. Suppose -3*j - 2*j + 45 = l. Is 9 a factor of j?
True
Let j be ((83*-1)/1)/(-1). Let z = -64 - -7. Let k = z + j. Is k a multiple of 13?
True
Suppose -6*p + 2*p = -4. Let d(v) = 10*v + 1. Is 4 a factor of d(p)?
False
Let w = 30 - -83. Does 13 divide w?
False
Let b = 2 + 1. Suppose 0 = -w - b*w. Suppose 3*y + 2*y - 95 = -i, w = -3*y + 2*i + 70. Is 13 a factor of y?
False
Let t = 9 + -6. Is 6 a factor of 1 - 11/(2 - t)?
True
Let c = -14 - -17. Does 2 divide (c/6*-10)/(-1)?
False
Let o = 116 + -121. Let p(v) = -5*v**3 - 8*v**2 - 2*v - 4. Let n(x) = 6*x**3 + 9*x**2 + 3*x + 4. Let m(j) = 4*n(j) + 5*p(j). Is 4 a factor of m(o)?
False
Let m(g) = g**3 + 9*g**2 + 5*g + 1. Does 5 divide m(-8)?
True
Let j be (0/11)/(1 + 1). Let z = j - -2. Is 3 a factor of (2/(-6))/(z/(-48))?
False
Suppose -s - 460 = -3*j, -302 = -2*j + 5*s - 2*s. Does 14 divide j?
True
Is 11 a factor of 39 - (-4 - -4)/3?
False
Let o be 28/8*(-4)/(-14). Suppose 27 = 2*r - o. Is r a multiple of 7?
True
Let p = -206 - -336. Is p a multiple of 24?
False
Suppose -3*q + x + 85 = 0, 3*q - 2*x + 62 = 5*q. Suppose q = 2*z + 5. Is z a multiple of 12?
True
Let q be 18/63 + 164/14. Let o = 8 + q. Is o a multiple of 10?
True
Let z(u) = 15*u**2 + 0*u + 4*u**2 + u + 5*u**2. Is z(-1) a multiple of 23?
True
Let o(t) = 2*t + 13. Suppose -q - 4*i - 29 = 0, i - 63 = 5*q - 23. Let u be o(q). Let k = 15 - u. Is 10 a factor of k?
True
Is 6*((-52)/(-12) - -3) a multiple of 6?
False
Let x(i) = 32*i**2 - 3*i - 2. Is x(-1) a multiple of 12?
False
Suppose 4*i + 2