+ -4?
True
Let a be 2/(-1*6/(-9)). Suppose n + 68 = a*n. Is n a multiple of 17?
True
Let t be 1/(3/((-27)/(-3))). Suppose z - f = 110, -t*z + f - 2*f + 310 = 0. Is z a multiple of 35?
True
Suppose -4*r + 93 = 25. Suppose 28 = v - r. Is v a multiple of 21?
False
Let y(p) = 26*p + 2. Let x be (1 - 2 - -2) + 1. Let d be y(x). Let w = d - 34. Is 8 a factor of w?
False
Let o be ((-4)/(-6))/(4/18). Let q(c) = -c + 2. Let l be q(-1). Suppose -l*s - 3 = -3*a, 3*s - 3 = -2*s + o*a. Is s a multiple of 3?
True
Suppose 3*u + 4*u = 2590. Suppose -3*c + 3*a - 4*a = -u, 0 = c - 3*a - 120. Does 33 divide c?
False
Let j = 94 - 29. Does 13 divide j?
True
Suppose 36 - 109 = -s. Is 15 a factor of s?
False
Suppose -n = -0*n - 17. Suppose 3*p = -5*x - 151, -40 = 4*x + 2*p + 80. Let l = n - x. Does 14 divide l?
False
Let y be -6*(4 - (-56)/(-12)). Is (-406)/(-8) - y/(-16) a multiple of 17?
True
Let b(r) = 8*r - 3. Is b(14) a multiple of 24?
False
Let m(j) = 10*j. Let o be 2 + 2*(-6)/4. Let f be m(o). Let c = -1 - f. Is 4 a factor of c?
False
Is 38 a factor of (-2)/10 + (-3230)/(-25)?
False
Let m be -2 - -3 - (-1)/1. Let a(n) = -2*n**2 + 2. Let f(u) = -u**2 + 2. Let g(k) = -4*a(k) + 5*f(k). Is 14 a factor of g(m)?
True
Let o(l) = 2 + 14*l - 16*l - 1. Is o(-2) a multiple of 2?
False
Let j(p) = 4 + p + 0 + 5. Suppose 2*c = -c. Does 7 divide j(c)?
False
Let k(j) = -2*j**3 - 1. Let m be k(1). Let a(s) = 2*s**3 - 2*s - 1. Let d(r) = 4*r**3 - r**2 - 5*r - 3. Let i(h) = -9*a(h) + 4*d(h). Does 20 divide i(m)?
False
Let f be (2 - 0) + 0 + 1. Let d(u) = 4*u - 3. Is 9 a factor of d(f)?
True
Let t be 2 - 1*21/1. Let j = -57 - t. Let h = 63 + j. Is 15 a factor of h?
False
Suppose 0 = -t + o - 5*o + 5, 3*t = o + 41. Is t a multiple of 11?
False
Suppose -2*m - 9 = -3*z, m = -2*z + 4*z - 7. Suppose 101 = 5*x + r, -m*x + 3*r = -x - 37. Is x a multiple of 20?
True
Suppose 3*q - 36 = -0*q. Suppose 3*g + q = -4*u + 1, -5*g = u + 24. Suppose 13 = 4*z + u, -2*b = z - 43. Is 20 a factor of b?
True
Let x = 29 - 23. Is 2/(x/(-9)) - -42 a multiple of 13?
True
Let b = 16 + -12. Suppose 17 + 75 = b*v. Is v a multiple of 23?
True
Let z = 118 + 87. Is z a multiple of 41?
True
Suppose 2*d - 4*k - 137 - 83 = 0, 4*k = -16. Suppose 24 - d = -3*c - m, -26 = -c + 2*m. Is 13 a factor of c?
True
Let i(k) = 2*k. Let u be (50/(-4))/(-5)*2. Is i(u) a multiple of 2?
True
Let s(b) = b**3 + 4*b**2 - 6*b + 1. Let v be s(-5). Suppose 3*o = v + 12. Suppose 0 = o*h - 2*h - 56. Is h a multiple of 6?
False
Let k(w) = -w**3 + 2*w**2 - 2*w + 1. Let u be k(2). Let z(c) = -2*c**3 - 4*c**2 + c. Let m be z(u). Suppose -h + m = 4. Does 11 divide h?
True
Let r be 1/(-1)*(-4 - 1). Suppose 50 = 5*v - 3*d + r, -5*d - 11 = -3*v. Suppose v = -5*z + 42. Is z a multiple of 6?
True
Suppose -2*k - 1 = -b, 5*k + 2*b + 21 = -4. Does 18 divide (-212)/(-6) - 2/k?
True
Suppose 48 = -4*s - 0*s. Let t = s + 7. Is 14 a factor of (28/(-10))/(1/t)?
True
Does 3 divide 4/18 - (-244)/36?
False
Let o(a) = -a**3 + 9*a**2 - 5*a + 2. Is 7 a factor of o(8)?
False
Suppose 59 = -7*r + 717. Does 47 divide r?
True
Is 4/(-16) - 340/(-16) a multiple of 13?
False
Let a(i) be the first derivative of i**4/4 + 8*i**3/3 + 3*i**2/2 - 2*i + 2. Is 19 a factor of a(-7)?
False
Suppose 0 = 3*f - 11 + 5. Suppose 0*y + f = y. Suppose 4*o - 5*o - 17 = -y*v, 29 = 4*v - o. Is v a multiple of 4?
False
Suppose -4*p = i - 2*i - 152, -5*i = -p + 38. Let f = -21 + p. Does 17 divide f?
True
Suppose -y = 2*y - 225. Suppose -5*u + 1 + 29 = 4*o, -4*u + 24 = -o. Suppose u*m - 3*m = y. Is m a multiple of 9?
False
Suppose 5*q + 22 = -2*w + q, 2*q = -3*w - 17. Let r = w + 4. Is 4 a factor of r/(10/8 - 1)?
True
Suppose -9 = -0*m - 3*m. Suppose 4*i - 6 = -z + 51, i + m*z - 6 = 0. Is 15 a factor of i?
True
Suppose 0 = -3*v + 9. Suppose -2*k = v*k + 300. Let r = k + 85. Is 16 a factor of r?
False
Let u(s) = 2*s**2 - 14*s + 5. Let j be u(-6). Let y = -90 + j. Does 32 divide y?
False
Let l(q) be the first derivative of q**2/2 - 4*q - 2. Let r be l(7). Suppose 5*g - 3*p = 136, 76 = 3*g + r*p - 2*p. Is 12 a factor of g?
False
Let j = 31 + -19. Let n be (-3)/((-6)/(-4))*4. Let q = j + n. Does 2 divide q?
True
Let r(x) = -4*x**2 - x + 3. Let u(y) = -5*y**2 - 2*y + 2. Let w(i) = 4*r(i) - 3*u(i). Let b be w(-4). Does 17 divide b/(-4)*56/6?
False
Let o = 82 + 102. Is 23 a factor of o?
True
Suppose 2*p - 23 - 65 = -3*a, 0 = a + 4*p - 36. Does 28 divide a?
True
Suppose 12 = 4*w + 2*w. Suppose w*q + 27 = 95. Does 15 divide q?
False
Let n be (-15)/(-6) + (-1)/2. Suppose -4*o - 2*d = -88, n*o - 100 = -2*o - 5*d. Does 20 divide o?
True
Let b(i) = -i**2 - 6*i - 3. Let v be b(-4). Suppose 0 = -v*u + 4*r + 273, 5*u - 2*r - 167 = 102. Suppose -3*p - 17 + u = 0. Is p a multiple of 12?
True
Let a = 27 + -5. Suppose 9 + a = x. Does 13 divide x?
False
Let y(c) be the third derivative of -c**6/120 - c**5/10 - c**4/24 + 7*c**3/6 + c**2. Suppose -3*z - 2*z = 30. Is y(z) a multiple of 13?
True
Let w = -14 - -9. Let i(c) = c**3 + 7*c**2 + 4*c - 6. Is i(w) a multiple of 9?
False
Let j be -7*(0 + 4/(-14)). Suppose j*c - 6 = -0*c. Is c even?
False
Suppose 5*c = a - 32, 2 - 25 = -4*a - c. Does 6 divide a?
False
Suppose -7*d = -11*d + 64. Does 5 divide d?
False
Let p(z) = 5*z**3 - 3*z**2 - 4*z - 3. Let s be p(-3). Let n = 237 + s. Is 28 a factor of n?
True
Suppose -2*k + 35 = -k. Suppose d + k = 6*d. Does 5 divide d?
False
Suppose 6*r + 3*n = 9*r - 510, 2*r - 310 = -4*n. Is 33 a factor of r?
True
Is (66/(-77))/(2/(-224)) a multiple of 13?
False
Let s = -58 - -81. Suppose 3*b = s - 8. Is b even?
False
Let r = -43 - -14. Let n = r + 50. Does 8 divide n?
False
Let v(n) = -1 + 3*n + 3*n - 3*n + 4*n. Is 13 a factor of v(2)?
True
Let m(j) = -j + 1. Let k(p) = -8*p + 3. Let t(i) = k(i) - 5*m(i). Let x(g) = g - 1. Let c(h) = 2*t(h) + 2*x(h). Is 6 a factor of c(-5)?
False
Suppose 3*c = -c + 4. Let i = c - 1. Suppose 4*s - 2*t - 48 = 0, -4*s - t + 48 = -i*s. Is 12 a factor of s?
True
Is 4 a factor of ((-33)/(-6))/(4/24)?
False
Suppose p + 6 - 256 = 0. Is 16 a factor of p?
False
Let o be ((-15)/(-20))/(3/8). Suppose -3*w = 2*v - o - 69, 0 = -2*v + 8. Does 9 divide w?
False
Let p be (-3289)/(-52) + 6/8. Suppose -a - 5*l - p = -2*a, -3*a - 4*l = -135. Is 10 a factor of a?
False
Let p(h) = h - 2. Let r be p(0). Let y be 1*(r*1 - 7). Is 6 a factor of 6/y - 60/(-9)?
True
Let k(i) = i**2 - 4*i - 22. Does 36 divide k(14)?
False
Suppose -7*n = -2*n. Suppose 3*g = -n*g + 66. Does 11 divide g?
True
Suppose -2*o - 3*f + 3 = 0, -f = 5*o - 4*f - 60. Let r = o - -3. Suppose 0 = 3*u + 4*b - 8, 0*b - b = 2*u - r. Does 8 divide u?
True
Let j(c) = -105*c**3 + c. Let m be j(-1). Suppose o = -3*o + m. Does 10 divide o?
False
Let g be (18/27)/((-2)/(-3)). Suppose -3*q - 5*y = -5*q + 32, -3*q - y = -14. Let d = q + g. Does 2 divide d?
False
Let z(i) = 4*i - 4. Does 6 divide z(4)?
True
Let s = -3 - -3. Let c be (14 - 8)*20/6. Let a = s + c. Is a a multiple of 10?
True
Let r = -63 - -77. Let v be 3*-2*(-10)/4. Let z = v + r. Does 13 divide z?
False
Suppose v + v + 10 = 0. Let j(x) = x + 8. Is 3 a factor of j(v)?
True
Let r = -1 + 3. Does 3 divide 7 - (-3 - -5) - r?
True
Suppose -2*o + 8 = -8. Is o a multiple of 2?
True
Let b(j) = j**2 - 4*j + 4. Let l be b(4). Suppose l*r = 43 - 115. Let g = 32 + r. Does 7 divide g?
True
Suppose 2*f + 80 = 4*m - f, -m - 2*f + 9 = 0. Let a = 2 + m. Is 7 a factor of a?
False
Let o = -62 - 95. Let i = 233 + o. Let w = 116 - i. Is 16 a factor of w?
False
Suppose u + 2*o = -3*u + 264, -4*o + 268 = 4*u. Suppose -2*d - u = -7*d. Let f = d + -8. Is f even?
False
Let o(m) = -11*m - 15. Does 7 divide o(-3)?
False
Let f(b) = -b**2 - 7*b - 6. Let w be f(-5). Suppose n - 52 = 2*t, -3*t - 178 = -w*n - t. Is 16 a factor of n?
False
Suppose 0*m + 90 = 2*m. Let b = -31 + m. Is 6 a factor of b?
False
Does 7 divide (0 - -1)*101 + -3?
True
Suppose 2*x = -5*u - 2*x + 1240, -2*x = 2*u - 494. Is 42 a factor of u?
True
Let s(l) = 9*l**2 + l**3 + l + 1 - l - l - 3. Let n be s(-9). Let j = 4 + n. Does 5 divide j?
False
Suppose -16 = -4*z + 4*y, -3*z + 23 = 2*z - 2*y. Does 2 divide z?
False
Suppose -35 = -z - 14. Is z a multiple of 8?
False
Let f(b) = 6*b**2 - b + 1. Let s be f(2). Let u = -14 - -16. Suppose -3*v = 5*p - 42, -u*v + 0*p + s = 5