s 15 divide p?
True
Let v = 3 - 1. Suppose 5*l - 1122 = -2*h + 3*h, -2*l = 3*h - 442. Suppose 2*g + 2*g - 12 = 0, v*g + l = 5*b. Is b a multiple of 23?
True
Suppose 5*y - 52 = 38. Suppose 2*v + v + y = 3*g, 0 = -g - 3*v + 18. Suppose g*n - 4*n - 74 = 3*t, 14 = n - t. Is n a multiple of 8?
True
Suppose 5*v + 4*y + 0*y = 3191, -4*v + 5*y = -2520. Is 79 a factor of v?
False
Does 3 divide 15*(-27)/(-10 + 1)?
True
Let v = -364 + 664. Does 12 divide v?
True
Suppose 0 = -7*k + 3*k - 3*t - 61, 2*t + 32 = -2*k. Let r = 25 + k. Is 8 a factor of r?
False
Let r = -130 - -31. Let s = r + 142. Is s a multiple of 23?
False
Let b be (-1 + 5 + 15/(-5))*-1. Is 1*b - 348/(-12) a multiple of 4?
True
Let o(b) = -17*b - 23. Let f = 75 + -84. Is 13 a factor of o(f)?
True
Let w = 239 - 167. Does 9 divide w?
True
Suppose -2*o - 39 = -2*j - 13, 2*j = -3*o + 31. Suppose -2*x = -j*x + 864. Is x a multiple of 12?
True
Suppose 3*n - 21 = -z - 0*z, -3*n - 33 = -5*z. Let s(c) = 2*c**3 - 19*c**2 + 9*c + 7. Is s(z) a multiple of 3?
False
Suppose -2*h - 238 = -722. Suppose 5*m + 3*s - 7*s - 308 = 0, 4*m - h = s. Is m a multiple of 15?
True
Let v(f) = 7*f + 498. Is 13 a factor of v(-60)?
True
Let s(z) = -2*z**2 + 14*z + 14. Let v be s(10). Let b = 68 + v. Does 17 divide b?
False
Let l(j) = -138*j + 58. Is l(-4) a multiple of 32?
False
Let s(q) = 48*q**2 + 4*q - 2. Suppose 4*w + 12 = -c + 5*c, w = 3*c - 11. Does 10 divide s(w)?
True
Let o(a) = -23*a - 17. Suppose 3*h - 28 = 7*h. Is 12 a factor of o(h)?
True
Let a(y) = 113*y**3 - 4*y**2 + 3*y - 5. Let g(p) = -57*p**3 + 2*p**2 - p + 2. Let q(i) = 3*a(i) + 7*g(i). Is 12 a factor of q(-1)?
False
Let w(a) = -10*a + 63. Does 10 divide w(-37)?
False
Suppose -5*c = -m + 7, 3*m + 4*c + 1 = 41. Suppose a + 7 = m. Suppose -a*l + 101 - 11 = 0. Does 18 divide l?
True
Let q(s) = 5*s**2 - 16*s - 25. Let b be q(-17). Let r(j) = j**3 - 2*j**2 + j + 1. Let p be r(2). Is b/16 - p/(-12) a multiple of 29?
False
Let t be (-559)/(-65) - -2*2/10. Is 6 a factor of (0 - -8)/((36/32)/t)?
False
Let u(p) = p - 6. Let q be u(11). Suppose z + 105 = 3*z - q*l, 0 = l + 3. Let n = z - 12. Does 11 divide n?
True
Suppose -15*k - 120 = -20*k. Does 3 divide k?
True
Suppose -7*r + 4262 - 489 = 0. Is 23 a factor of r?
False
Let f(b) = 2*b**2 + 8*b - 25. Is f(20) a multiple of 17?
True
Suppose -33 = -6*i - 9. Let d be (4/(-5))/(i/(-10)). Suppose 2*t = -s + 37, t + d - 38 = -4*s. Is 4 a factor of t?
True
Let o be (-771)/(-6) - (-1)/2. Suppose 2*h - o = -m - h, 0 = 2*m - 4*h - 308. Suppose -3*n = n - m. Is n a multiple of 9?
True
Let n be ((-20)/6)/((-18)/27). Suppose -1 = 2*x - n. Suppose 2*k - 5*c - 15 = 0, 0 = -2*k - x*k + c + 21. Is k a multiple of 2?
False
Let t be ((-2)/(-4))/(4/64). Suppose 0*l = -l + 4*v - t, -5*l - 5*v + 35 = 0. Is 3 a factor of l?
False
Let s be (0 - 1 - 1) + 80. Suppose -4*b + s = -10. Is 11 a factor of b?
True
Is 32 a factor of (-14 - 2)*6586/(-89)?
True
Suppose -2*k = 3*h - 5*h + 10, 5*k - h + 21 = 0. Does 16 divide 3/(-8) + k + (-5586)/(-48)?
True
Let h be 2 + 4*(-92)/(-8). Let g(i) = -i**3 + 2*i**2. Let l be g(4). Let s = l + h. Is s a multiple of 3?
False
Let f = 1 - -3. Suppose -3*c + 60 = -5*k - 448, -f*k - 680 = -4*c. Is c a multiple of 14?
False
Let d = 16 + -16. Suppose -2*k + 180 - 54 = d. Is k a multiple of 21?
True
Suppose 2*w = -2*f - 2*f + 12, -3*f = -3*w + 18. Suppose 0 = w*v - 61 - 47. Suppose -1 = -t + v. Does 3 divide t?
False
Let v be 0*-2*(-5)/(-20). Is v + 75/(-4)*20/(-5) a multiple of 29?
False
Let i = 929 + -893. Does 18 divide i?
True
Is 396/48*(-8)/(-3)*4 even?
True
Suppose -5*v + 5*h - 35 = -0*h, 20 = -2*v + 4*h. Let c(r) = -r**2 - 4*r + 5. Let m be c(v). Suppose -2*j - m*i = j - 81, -9 = 3*i. Is 16 a factor of j?
True
Let v be -82*7/((-14)/3). Suppose 0 = -5*q + 472 + v. Does 34 divide q?
False
Let m(q) = 12*q - 123. Is 21 a factor of m(17)?
False
Let u = -27 + 16. Let q(k) = 1 - 11*k + 0 - k**2 + 10 + 3. Is 8 a factor of q(u)?
False
Let i(d) = -d**3 + 19*d**2 - 14*d + 9. Let z(y) = -y**3 + 19*y**2 - 13*y + 8. Let n(s) = -7*i(s) + 6*z(s). Does 4 divide n(18)?
False
Suppose 6*w = 2*w + 12. Suppose 2*r - 12 = 4*n - 6*n, -5*r = 3*n - 20. Is r/(244/80 - w) a multiple of 20?
True
Let i(b) be the third derivative of b**5/30 - b**4/6 - 2*b**3/3 - 10*b**2. Let k be -2*1*6/(-3). Does 12 divide i(k)?
True
Let i = 29 + -17. Is 3/((i/4)/120 + 0) a multiple of 20?
True
Suppose -f + 8 = 5*b, -f + 1 = 3. Suppose 0*t - b = t. Let m(o) = o**2 - o + 2. Is m(t) even?
True
Let c be 2/3*(-90)/(-12). Suppose -4*n = -0*n + c*f - 45, 3*f = 15. Suppose -n*j = 5*p - 100, -j + 5*j - p = 75. Does 12 divide j?
False
Suppose 2*d = -3*o + 10, 0 + 4 = 2*d. Suppose -5*k - 30 = -4*h, 0*k - o*k - 12 = 2*h. Is 3 a factor of (-105)/(-14)*(-8)/k?
False
Let g = -461 + 322. Let d = g - -237. Is d a multiple of 24?
False
Let y(m) = -33*m - 118. Is y(-5) a multiple of 47?
True
Suppose 0 = -5*f - p + 3365, 4*p = -4*f - 1208 + 3900. Is f a multiple of 12?
False
Let n be (-5 - (-845)/15) + (-4)/(-6). Is (n/8)/(4/(-48)*-2) a multiple of 13?
True
Let n = 74 - 70. Does 2 divide (9 + 2)*((-20)/(-4) - n)?
False
Let p(g) = -g + 13. Let a = -11 + 23. Let f be p(a). Is 3 a factor of (f/1)/((-11)/(-165))?
True
Let z be (-2 - 17/(-2))*-2. Let j = 14 + z. Is 14 a factor of 28 - j - (7 - 8)?
True
Suppose -9 - 3 = 4*q. Let o(k) = 6*k**2 + 6*k - 4. Is 2 a factor of o(q)?
True
Let g(s) = -7*s**2 + s**2 - 10*s + 9*s**2 - 33. Is g(12) a multiple of 13?
False
Let p(i) = -i**3 - 8 + 10*i**2 + 4*i**2 + 19 - 8*i. Let y = 278 + -265. Is p(y) a multiple of 15?
False
Let i(g) = g**3 - 6*g**2 + 2*g + 10. Let j be i(3). Let y(p) = 6*p - 4. Let v(d) = 5*d - 3. Let b(c) = 7*v(c) - 6*y(c). Does 9 divide b(j)?
False
Suppose -f + 4*i = 5, 3*f + 4*i - 95 = -2*f. Let l = 19 - f. Suppose 6*p - 2*w - 227 = p, 0 = -w + l. Does 21 divide p?
False
Let c = 2071 - 1687. Is c a multiple of 26?
False
Suppose -2*j - 3*j + 4*x = -2959, -1206 = -2*j - 4*x. Does 14 divide j?
False
Let n be (-2)/6 + (-322)/(-21). Let s = -11 + n. Suppose -3*w = 9, s*w = 8*r - 4*r - 76. Is r a multiple of 8?
True
Let w be (4 + -1)*(11 - 10). Suppose -w*c = -0*c - 57. Does 19 divide c?
True
Suppose 12*y = 6*y + 12. Let u(p) = p**3 - p**2 + 3*p - 4. Let d be u(y). Suppose 5*c - 5 - d = 2*i, -4*c = i - 27. Is i even?
False
Suppose y - 217 = 3*u, -2*y + 35*u + 441 = 36*u. Is y a multiple of 11?
True
Suppose 4*u - 322 = -2*r + 9*u, -2*r + 4*u + 320 = 0. Let v(t) = 5*t**3 - 2. Let c be v(2). Suppose r = -c*l + 42*l. Is 13 a factor of l?
True
Let h(x) = 3*x**2 - 5*x + 3. Let j be h(3). Let c = j + -1. Is 7 a factor of c?
True
Let l(x) = -40*x - 3. Let t be (-5 - -3)*(-1)/(-1). Does 13 divide l(t)?
False
Let k(v) = v**3 - 12*v**2 - 19*v + 29. Is k(15) a multiple of 52?
False
Is -5*21/245 + 395/7 a multiple of 9?
False
Let m = 46 + -37. Let b = m + 3. Does 4 divide b?
True
Suppose 803 = 7*m + 75. Let f = 33 - 1. Suppose -f = 3*o - m. Does 5 divide o?
False
Let b = 14 - 13. Let w be (-3)/(-5 + 2) - b. Suppose l - 4*y = 14 - w, l = 3*y + 15. Is l a multiple of 18?
True
Suppose -4*p + 5*g = 636 - 2934, -2*g + 4 = 0. Is p a multiple of 30?
False
Let i be (-6)/1 - (0 - 1). Let m(t) = -t**3 - 8*t**2 - 6*t + 1. Let g be m(i). Let s = g + 113. Is 23 a factor of s?
True
Let r = 125 - 125. Suppose -j - 13 = 35. Does 12 divide ((-1)/2 + r)*j?
True
Suppose -2*x + 830 = 5*r - 121, -x = 4*r - 474. Is x a multiple of 10?
False
Let w(i) = -91*i - 59. Is 13 a factor of w(-8)?
False
Suppose 4*u = 2*y - 78, 0 = -2*y - 5*u + 114. Does 4 divide y?
False
Let y be 52/18 + 1/9. Suppose k - 401 = -y*l, -l - k = -5*l + 530. Is l a multiple of 50?
False
Let y(l) = -2 + 1 + 6 + 8*l - l**2. Let k = 123 + -116. Is y(k) a multiple of 12?
True
Let u = -288 - -513. Is 3 a factor of u?
True
Suppose 5*v = 5*y + 520, 4*y = 3*v - 4*v + 84. Suppose 2*x = -2*l - 94, 5*x - x = 2*l + v. Is 2 a factor of l/(-40)*(-10)/(-3)?
True
Let v be 0/(5 + -1)*1. Let a be 1*(3 + v/1). Suppose -a*g + 34 = 5*k, -2*k + 19 = 5*g - 2*g. Is 2 a factor of k?
False
Suppose 6 = -2*w + 5*w. Let r = 6 - w. Suppose -4*h + 367 = 2*t + 135, 0 = r*h + t - 236. Is 14 a factor of h?
False
Let b be ((-1)/2)/(8/(-32)). Suppose -c + b*c = 2. Suppose -2*t = t - c*x - 116, 0 = -3*t + 4*x + 124. Is 18 a 