*u - 3*j + 66, u = -4*u - 2*j + 64. Is u a multiple of 8?
False
Let t(n) = n**2 - 8*n + 6. Let v be t(11). Suppose v = 2*l + l. Does 13 divide l?
True
Let z(v) = -3*v - 12. Let j = -11 - -21. Suppose -d = -2*d - j. Is 9 a factor of z(d)?
True
Let b(j) = -2*j + 14. Let x(o) = -o + 5. Let s(q) = 5*b(q) - 14*x(q). Is s(5) a multiple of 10?
True
Let x be (0 - 0)/(-3 - -1). Let w(t) = t**3 - t - 17. Let j be w(x). Let m = j - -51. Is m a multiple of 13?
False
Let u(a) be the first derivative of 7*a**6/120 + a**5/30 - a**3/6 - a**2 + 2. Let i(g) be the second derivative of u(g). Is 7 a factor of i(1)?
False
Let m be (1 + 2)*(-244)/(-12). Let p = m + -27. Is 19 a factor of p?
False
Let n be 1 - 1 - (-24)/4. Let v be n/4*84/9. Suppose 0 = -z - 0*z + v. Is 14 a factor of z?
True
Suppose -4*x + 53 = -55. Suppose -3*f = w - 21, 0 = -3*w + f + 2*f + x. Is 9 a factor of w?
False
Let h(w) = -23*w - 7 - 3 + 0 + 11. Is h(-1) a multiple of 8?
True
Let o be (8/(-10))/((-1)/5). Suppose -3*y + 37 = o*a, -6*a + 34 = -3*a - 4*y. Is 5 a factor of a?
True
Let b(o) = -2*o - 2. Let y be b(5). Let p(x) = x**2 - 17*x - 12. Let i(w) = 2*w**2 - 18*w - 11. Let q(r) = -2*i(r) + 3*p(r). Is q(y) a multiple of 11?
True
Suppose -k + 6*k + 5 = 0. Let y be (1 + 64)/k + 0. Is y/20*-12*1 a multiple of 13?
True
Let t(b) = -2*b - 7. Let p be t(-6). Let m = p - 3. Does 2 divide m?
True
Suppose -4*w - 81 = -w. Let p = 49 + w. Let l = -12 + p. Is l a multiple of 8?
False
Suppose w + 3 + 7 = 0. Let u(k) = k**3 + 10*k**2 - 6*k + 6. Is 33 a factor of u(w)?
True
Let j = -80 - -298. Does 13 divide j/6 + (-2)/6?
False
Let z = -36 - 54. Does 20 divide (-8)/(-10)*z/(-2)?
False
Let q(m) = m**3 + m**2 - m + 2. Let b be q(0). Let a = -55 - -83. Suppose -b*y + 4 + a = 0. Is 8 a factor of y?
True
Let d(o) = o**2 - 7*o + 3. Suppose 0 = -2*p + 5*p + 2*m - 15, -m + 11 = 2*p. Let x be d(p). Suppose 2*f = 2*n - 68, -f - 151 = -n - x*n. Does 16 divide n?
False
Let s be 17 + -2 + -2 + 2. Is (8/1)/(6/s) a multiple of 10?
True
Let r be 3/6 - 127/(-2). Suppose r = -m + 3*m. Suppose y + m = 3*y. Is 8 a factor of y?
True
Let u(v) = -v**3 + v**2 - 1. Let i be u(-4). Suppose 2*d - 2*c = 8, -4 = -2*d - 0*d - 2*c. Suppose -f - 137 = -5*b + 2*f, f = d*b - i. Is 10 a factor of b?
False
Let b(a) = 10*a + 6. Is b(12) a multiple of 42?
True
Suppose 351 = 3*d - 6*z + z, z = 3*d - 339. Is d a multiple of 32?
False
Suppose -2*x + 2*r + 39 + 93 = 0, -2*x - 3*r + 147 = 0. Is x a multiple of 14?
False
Suppose 2*y - 5*y = 6. Let u(k) = 16*k**2 - 2*k - 1. Let c be u(y). Suppose 4*l - c = 61. Is l a multiple of 25?
False
Suppose -j + 2*j = 113. Suppose 5*q - 9 = -5*w + 131, -5*q + j = -4*w. Does 15 divide q?
False
Let c = 127 - 19. Is c a multiple of 54?
True
Let h(a) be the first derivative of 7*a**4/12 - a**3/6 - a**2/2 - 1. Let v(o) be the second derivative of h(o). Is v(2) a multiple of 14?
False
Let u = 28 - 13. Let l = -9 + u. Does 3 divide l?
True
Let k = -15 + 9. Let f be (7 - 1)*(-20)/k. Suppose 2*c = -u + 14, c + c = -4*u + f. Is 3 a factor of c?
True
Suppose -2*y + 5*s = -27 - 10, 4*y = -4*s + 144. Let n = -12 + y. Does 19 divide n?
True
Suppose 2*s + 5*j = -s - 19, -5*j = 10. Let m = s - -5. Is 0 - -13 - m/(-2) a multiple of 10?
False
Let m(z) = z**3 + z**2 + z + 3. Let l be m(0). Suppose l*i = 117 - 6. Is 26 a factor of i?
False
Suppose 8 = -4*i - 0, o - 144 = 2*i. Does 35 divide o?
True
Suppose -13 = -5*f - 3. Suppose -f*l + 8 = -18. Does 13 divide l?
True
Let w(l) = l**3 - 13*l**2 - 28*l + 10. Does 9 divide w(15)?
False
Let r(u) = 6*u - 2. Let v be r(-2). Let j = 32 - 8. Let l = v + j. Is 10 a factor of l?
True
Let q be -2 - (0 - (12 + 1)). Let a = -5 + q. Is 2 a factor of a?
True
Let b = 11 + -8. Suppose 47 = 4*o + a, -5*o + 0*o + 80 = -b*a. Is 10 a factor of o?
False
Let t(h) = h**3 - 10*h**2 - 14*h - 8. Is 28 a factor of t(12)?
True
Does 3 divide ((-18)/15)/((-9)/30)?
False
Suppose 0 = v + 3*u - 41, 0 = -0*v + 4*v - 4*u - 84. Is v a multiple of 12?
False
Let j(w) = -10*w - 8. Is 21 a factor of j(-5)?
True
Suppose b - 5*f = -16, -b - 8 = -5*f + 2*f. Suppose -4*j + 8 = -2*j + 4*o, 6 = -b*j + 3*o. Suppose 3*l - 36 = -j*l. Does 6 divide l?
True
Suppose b + 13 = -3*a - 6, -4*b + a = 50. Let s = -8 - b. Suppose 68 = s*y - 132. Is y a multiple of 20?
True
Let m(n) = 5*n + 1. Let i(k) = -11*k - 3. Let w(c) = -4*i(c) - 9*m(c). Let r be w(3). Suppose r = -4*t - 4*u + 140, -4*u = -u - 6. Does 12 divide t?
False
Let t(v) = -v**3 + 13*v**2 + 2*v - 13. Let g be t(13). Suppose -5*l - 3*n + 47 = 0, -l + 4*n = n - g. Is 3 a factor of l?
False
Suppose 2*f + 2*f = -4*n + 272, 5*f - 332 = -n. Does 11 divide f?
True
Let h be 0/((-8)/(-4) + -3). Suppose h = r + 2*y - 0 - 20, 3*r - y = 46. Is r a multiple of 8?
True
Let t = -39 - -101. Is t a multiple of 19?
False
Let u(y) = y - 5. Let a be u(6). Let z = -1 + a. Let l = 2 + z. Is l a multiple of 2?
True
Let f = 8 + 2. Does 6 divide f?
False
Suppose -2*h + 4 = -k, -5*k + 2*h + 1 = -h. Suppose 2*j - 33 = -3*n, -2*j - k*n + 10 = -20. Suppose -g = -0*g - j. Is g a multiple of 10?
False
Suppose 3*v + 3*d = 168, 2*d - 129 = 4*v - 353. Suppose 7 - v = -r. Does 23 divide r?
False
Let l be 3 + (5 - (3 + -1)). Suppose 0 = -0*q - 3*q + l. Is 2 a factor of q?
True
Let n = -22 - -16. Let l(x) = -x**2 - 8*x - 6. Is 3 a factor of l(n)?
True
Suppose v = 2*v + 3*u - 1, -2*u = -2*v + 18. Does 10 divide (-3)/(-1*1/v)?
False
Let o(h) = h**3 + 9. Let t(z) = z**3 - 8*z**2 - 9*z. Let d be t(9). Is o(d) a multiple of 4?
False
Let i be (-20)/(-2)*11/22. Suppose 0 = -o - i*m + m + 32, -4*m + 4 = 0. Does 10 divide o?
False
Let y(v) = -v - 3. Let a be y(-4). Is (1/(-2))/(a/(-56)) a multiple of 19?
False
Let j(g) = 2*g**2 - 7*g - 5. Let i be j(10). Suppose 0 = -3*r - 2*r + i. Is r a multiple of 6?
False
Let g(b) = b**3 - 3*b**2 - 3*b - 4. Let o be g(4). Suppose -a + o = -6. Is 6 a factor of a?
True
Suppose 0 = l + 3 - 24. Is 7 a factor of l?
True
Suppose -3*q + 4 = 5*s + 20, q - 2 = 2*s. Is (-61)/q - (-1)/(-2) a multiple of 14?
False
Let v = 8 + -12. Let o(z) = z**2 + 1. Let f(x) = -7*x**2 + 2*x - 7. Let u(a) = -f(a) - 6*o(a). Is 12 a factor of u(v)?
False
Let d be -1 - 2/3*-6. Let n = -132 + 188. Suppose -c + n = d*c. Is c a multiple of 14?
True
Let a = 26 - 10. Does 4 divide a?
True
Suppose -4*m + 14 = 4*l - 5*l, 5*l = m + 6. Suppose -2*b - 52 = 2*r, b + 14 + 32 = m*r. Does 4 divide ((-4)/(-5))/((-6)/b)?
True
Suppose 0 = 7*f - 4*f - 57. Is f a multiple of 2?
False
Let j be (-3)/(-6) - (-90)/4. Let b = 1 - -32. Let p = b - j. Is 5 a factor of p?
True
Let c be (0 - -62) + (-4 - -5). Suppose -6 - c = -3*g. Is g a multiple of 6?
False
Let t be (-2 - -4) + 1 + 2. Let u be ((-36)/(-15) + -2)*t. Does 14 divide (28/5)/(u/10)?
True
Suppose -7 = 5*y - 2. Let l = 4 - y. Suppose -2*q + 52 = 4*a + a, -l*a = 5*q - 130. Is q a multiple of 13?
True
Suppose 0 = -5*m + 20, -272 = 3*k - 8*k - 3*m. Does 4 divide k?
True
Let z = 131 - 66. Does 13 divide z?
True
Let c(t) = 5*t - 3. Let s = 1 - -2. Suppose -2*y - 29 = -5*f - 0*f, -2*f = -s*y - 16. Is 11 a factor of c(f)?
True
Suppose 4*d - 10 = 14. Suppose 2 = 2*f + d. Is 2 + 14 + f + -1 a multiple of 8?
False
Let o = 48 + -13. Is o a multiple of 5?
True
Let j be 9/2*20/(-6). Let h = -10 - j. Is h even?
False
Suppose -3*d = -2*b + 46, -2*d = b + 3*d - 23. Is 23 a factor of b?
True
Let t(h) be the second derivative of 14*h**3/3 - h**2/2 + 8*h. Does 11 divide t(2)?
True
Suppose t + t + 3*j = 50, 74 = 3*t + 4*j. Does 5 divide t?
False
Suppose 6 = -3*v + 57. Let r = 9 + -6. Suppose 0 = o + r - v. Is 7 a factor of o?
True
Let y(b) = -b**3 + 3*b**2 + 4*b + 4. Let g be y(4). Suppose 106 = -g*j + 362. Is 11 a factor of j?
False
Suppose -3*g - 5*o + 1 = -0, -5*g - 65 = -5*o. Does 3 divide g/3*(-4 + 1)?
False
Let v(x) = -6*x - 1 + x - 6*x**2 - x**3 - x. Let h be v(-7). Suppose 0*o = 3*o - h. Does 12 divide o?
False
Let i(d) be the third derivative of d**4/12 - d**3/6 - 2*d**2. Let j be i(2). Is (j - 1) + -1 + 1 even?
True
Let i(y) = 40*y**2 + 5 - 1 - 2*y**2 - y - 5. Does 22 divide i(-1)?
False
Suppose 4*h - r = 25 + 7, -57 = -5*h - 3*r. Does 8 divide h?
False
Is 19 a factor of (-4)/18 + (-843)/(-27)?
False
Suppose 1 + 11 = 4*g. Let z(o) = 0*o + g*o - 6*o. Is 14 a factor of z(-5)?
False
Le