- 1. Let d be n(-2). Suppose m = 2*v + 8, 5*m = -2*v + 3 + d. Suppose 8 = 4*k - m*w, -5*w = -3*k - 12 + 4. Is k a multiple of 4?
True
Suppose 5*p = 10, 65 = z + p - 15. Is z a multiple of 27?
False
Let s(y) = y**2 + 4*y - 8. Let u(i) = 3*i + 3. Let t be u(-3). Let j be s(t). Suppose w - 29 + 0 = -4*p, -j*w = 3*p - 12. Is 3 a factor of p?
False
Let h(q) = -11*q. Let t = 2 + -4. Is 11 a factor of h(t)?
True
Let y(o) = -6*o - 14. Is y(-12) a multiple of 29?
True
Suppose 2*b + 0*b = 52. Does 4 divide b?
False
Suppose 5*m + 137 = 552. Is 11 a factor of m?
False
Let b be (5/(-1))/1*-1. Suppose 0 = -4*x + b*s + 36, -5*x + 14 = 2*s + 2. Suppose -3*d = -x*d + 5*u, 20 = 2*d - 5*u. Is d a multiple of 11?
False
Suppose -4*g + 3*k = -10 + 4, -19 = -5*g - 2*k. Suppose 3 = g*d - 3, -3*d - 70 = -4*s. Is 19 a factor of s?
True
Suppose 0 = 10*z - 1309 - 641. Does 31 divide z?
False
Let d(o) = -19*o**3 + 2*o**2 - 1. Is 10 a factor of d(-1)?
True
Suppose 4*y + 5*o - 391 = 611, 5*o - 10 = 0. Is y a multiple of 37?
False
Suppose -2*r - 2*b + 22 = 0, 0 - 8 = -4*b. Is 325/45 + (-2)/r a multiple of 3?
False
Let l = 98 + -85. Is 2 a factor of l?
False
Let c = 28 - 19. Suppose -58 = 4*r - 5*g + 12, -4*g = -3*r - 52. Let u = c - r. Is u a multiple of 11?
False
Let z(t) = -t**2 - 4*t. Let a be z(-3). Is (a/(-2) + 1)*-56 a multiple of 14?
True
Let d = 56 + -80. Let v = d + 36. Is v a multiple of 4?
True
Let x(u) = 3*u**3 - 2*u**3 + 8*u**2 + 12*u + 1 - 9*u. Does 15 divide x(-7)?
False
Let c = -13 - -26. Does 13 divide c?
True
Suppose -5*m = 2*u - 30, 0*u = u + m - 18. Is u a multiple of 5?
True
Let b = 47 - 91. Let g be (2/4)/(2/344). Let h = b + g. Is h a multiple of 21?
True
Let n = 18 + -14. Let z = n + 0. Is 4 a factor of z?
True
Let d(r) = -r**3 + 7*r**2 + 7*r + 4. Let c be d(8). Suppose -5*v + 3*i - 5 = -14, 4*v - 2*i - 6 = 0. Let b = v - c. Is 2 a factor of b?
True
Let t(n) = n**2 - 2*n - 7. Does 3 divide t(5)?
False
Let o = -5 + 8. Suppose 0 = -0*r + 5*r, o*g - 90 = -r. Does 15 divide g?
True
Let y(l) = -7*l - 9. Let s(c) = -7*c - 10. Let j(t) = 3*s(t) - 4*y(t). Is 13 a factor of j(8)?
False
Let q be 1*(-2)/(8/(-12)). Suppose q*h - h - 10 = 0. Is h a multiple of 3?
False
Let b(x) = -x**3 + 9*x**2 + x + 19. Does 4 divide b(9)?
True
Let h(r) = 3*r - 21. Let i(g) = 9*g - 81. Let u(p) = -5*p + 41. Let f(n) = 2*i(n) + 5*u(n). Let j(v) = -2*f(v) - 5*h(v). Is j(0) a multiple of 14?
False
Let w = 7 + 4. Suppose -q + w = 1. Does 10 divide q?
True
Suppose 2*x = 2*f, -3*x = -4*x. Suppose 4*m - 22 - 206 = f. Is 19 a factor of m?
True
Let k = 5 - -31. Is k a multiple of 18?
True
Suppose -2*k + 490 = a, -2*k + 297 + 185 = 3*a. Is k a multiple of 19?
True
Suppose -5*f - 16 = -9*f. Is f even?
True
Let i(u) = u**3 - u. Let t(c) = -2*c**3 - 4*c**2 - 6*c - 3. Let j(p) = i(p) + t(p). Let a be j(-6). Suppose -a = -4*s - 3. Does 11 divide s?
False
Suppose 0 = 3*c - 2*c - 5. Suppose c*k - 5*x = 10, -4*x + 13 = 4*k - 27. Does 6 divide k?
True
Suppose 2*v = 100 + 172. Let y = v - 60. Suppose -57 = -3*j - 3*a, 4*j - y = -0*a - 3*a. Is 7 a factor of j?
False
Suppose 5*b - 34 = -3*a + 4, b + a - 6 = 0. Suppose 5*y = 3*y + b. Is y even?
False
Let z be (-4)/(-10) + 2/(-5). Suppose z = -5*u + 208 + 2. Is u a multiple of 13?
False
Let p be (15/20)/(1/4). Suppose 2*q = p*h + 58 - 7, 4*h = 5*q - 117. Is 9 a factor of q?
False
Let v be 4 + 2 + -2 + 2. Suppose 2*r = -r - v. Does 7 divide -1*((-2)/r + -15)?
True
Let h(r) = -15*r - 15. Let s(j) = j + 1. Let d(y) = h(y) + 20*s(y). Let q be (-6)/2 - -3 - -7. Is d(q) a multiple of 13?
False
Let b = -22 - -15. Is 8 a factor of (-3 + b)*(-8)/5?
True
Let q = 23 - 7. Is q a multiple of 16?
True
Is (-6)/(-18)*(-348)/(-2) + -3 a multiple of 29?
False
Suppose 0 = 4*z - 5*z + 36. Let p = z - 26. Let k = p + -4. Is k a multiple of 6?
True
Suppose -5*s + 165 = -0*s. Is 24 a factor of s?
False
Let n(o) = 2*o + 2. Let z(b) = 5*b + 7. Let q(l) = -8*n(l) + 3*z(l). Let h be q(-4). Suppose h = -w + 4*w. Does 2 divide w?
False
Let h be (2/6)/((-2)/(-30)). Suppose 0 = h*o - 2*o - 12. Suppose 0 = -o*g + g + 57. Is 19 a factor of g?
True
Let t(o) = 2*o**2 - 6*o - 2. Let k(b) be the third derivative of b**5/60 + b**4/24 - b**3/6 + b**2. Let i be k(2). Is t(i) a multiple of 9?
True
Let q be ((-246)/4)/(24/(-32)). Let t = q - 10. Does 24 divide t?
True
Does 5 divide 12*((-20)/6)/(-2)?
True
Let x = 71 + -48. Is 10 a factor of x?
False
Let l(v) = -v**2 - 6*v + 9. Let d be l(-7). Suppose d = 2*y - 4. Suppose 2*m - 34 = 4*z, -5*z = -y*m + 6*m - 18. Is m a multiple of 10?
False
Let q be 2/4 + 3/(-2). Let i be 58 + -2 + 2 + q. Suppose 2*b - v = -2*v + 24, -5*b - 4*v = -i. Is b a multiple of 5?
False
Let n(k) = -k**2 + 8*k. Let t be n(8). Is 3 - (22 - t)*-2 a multiple of 12?
False
Let k(b) = b**2 + 7*b - 3. Let j be k(-8). Suppose -j*s + 100 = -x + 3*x, 44 = 3*s - 2*x. Is 6 a factor of s?
True
Suppose o + 2*o = 27. Let i be 1 + 9/(0 + 3). Suppose a - 22 = -2*m, o - 25 = -2*m - i*a. Is 4 a factor of m?
True
Let u = -24 + 30. Let v(o) = o**2 - 4*o - 6. Let w be v(5). Is u*2 + 2 + w a multiple of 7?
False
Is (-63)/2*(-3 + -2 + -1) a multiple of 27?
True
Let m be (3 + -3)/((-2)/(-2)). Suppose s = -m*s + 36. Does 18 divide s?
True
Let s(p) = 5*p**3 - 2*p + 1. Let w be s(1). Let n = w + -11. Let f = n - -16. Is 9 a factor of f?
True
Does 6 divide (2/(-4))/((-2)/48)?
True
Let y(v) = -v**3 + 10*v**2 + v + 14. Let z be y(10). Suppose -2*w + z + 36 = 0. Does 13 divide w?
False
Let l = 4 + -2. Let s(g) be the first derivative of 3*g**2 - 14. Is 6 a factor of s(l)?
True
Suppose -5*z = -3*g - 8, 0*z = -5*g - 4*z + 36. Suppose 0*a + g*a - 456 = 0. Is a/15 - (-4)/10 a multiple of 6?
False
Suppose -4*l = l - 4*w + 71, 1 = -w. Is 14 a factor of (-6)/l + (-692)/(-20)?
False
Let s(c) = 15*c**2 - 2*c + 2. Let n be s(-3). Suppose 8 = -3*q - 4*f, 0 = -4*f - 8. Suppose -a - n = -4*o, 5*a + 0*a - 5 = q. Is o a multiple of 18?
True
Suppose -5*i + 5 + 0 = 5*u, -5*u = -3*i - 13. Let n be (i - -1)/((-2)/2). Suppose -4*t - 8 = n, -w - 7*t + 4*t = 2. Is w a multiple of 4?
True
Let a(y) = -y - 10. Let j be a(-10). Suppose s + 3*u - 24 = 0, 4*s = 5*u - j*u + 11. Is s a multiple of 9?
True
Is (-1)/(3/(-12)) + (73 - 1) a multiple of 4?
True
Suppose 44 - 134 = -3*q + 3*h, 2*h = -3*q + 100. Is 8 a factor of q?
True
Let a(t) = 2*t + 20. Does 3 divide a(-7)?
True
Suppose -5*v + 3*v + 2 = 0. Suppose 0 = -z - v, y + 3*z = 5*y + 9. Let k = y - -7. Is k even?
True
Suppose a + a - 5*o = 0, 3*a - 3*o = 0. Suppose -j + 5*t = -50, a*t = 2*j - 4*t - 70. Does 19 divide j?
False
Suppose 0 = -2*g - 2*g + 5*m + 3, 5*g - 5*m = 0. Let w(k) = -k - 4*k + 3 + 4*k. Is 6 a factor of w(g)?
True
Let q be (-24)/(-6) - 44*2. Let k = 124 + q. Does 10 divide k?
True
Suppose 29 + 19 = 3*d. Is ((-104)/d)/((-2)/4) a multiple of 6?
False
Suppose 0 = -5*u + 5*a + 10, a + 4 + 1 = 0. Let h be 0 + u*6/(-9). Suppose h*w = 9 + 27. Does 6 divide w?
True
Let o = 40 + 170. Is o a multiple of 35?
True
Suppose -r + 8 = -28. Suppose -5*v - 3 = -3*u + 85, -u + r = 5*v. Is 13 a factor of u?
False
Let f(j) = -12*j + 4. Suppose q + 0 = -2*l - 7, -2*l = -5*q + 13. Is 12 a factor of f(l)?
False
Let p(s) = -2*s - 2 + s**2 + 0*s + 2. Let y be p(3). Suppose -y*f + 28 + 11 = 0. Is f a multiple of 13?
True
Let p(n) be the second derivative of -n**5/20 + n**4/2 + 3*n**3/2 - 4*n**2 + 3*n. Is p(7) a multiple of 3?
True
Let m = 33 - 6. Is m a multiple of 9?
True
Let d(v) = v**2 + 10*v + 15. Let a be d(-10). Suppose l = 3*j + 2*j - 20, -l = -4*j + a. Is 5 a factor of l?
True
Let z(g) = 2*g**2 + 2*g + 3. Suppose 0 = -3*i + 6, 0*i - 90 = -4*r - 3*i. Suppose r = -n - 0*n + 5*w, -5*w + 41 = 4*n. Does 16 divide z(n)?
False
Let t = 117 - 72. Let p = 32 - 64. Let l = p + t. Is 13 a factor of l?
True
Let r = -77 - -120. Is r a multiple of 14?
False
Suppose -2*o + 5 = -7. Let i(a) = a**3 - 3*a**2 - 9*a + 6. Is i(o) a multiple of 10?
True
Let n(p) = 6*p**2 - 2. Is 22 a factor of n(2)?
True
Suppose -3*w + 66 = -w - 2*b, 5*w + 2*b - 200 = 0. Suppose -3*k - 11 + w = 0. Let m = 17 - k. Is m a multiple of 4?
True
Let i(p) = -108*p**3 - 3*p**2 + 1. Does 29 divide i(-1)?
False
Suppose 2*p = 121 + 261. Is p a multiple of 14?
False
Suppose 0*i - 79 = -i. Is 19 a factor of i?
False
Let h(p) = p