True
Suppose 1 = p - 1. Suppose 0*s = -3*s + 18. Is p/(-3) - (-22)/s a multiple of 3?
True
Let q be 2 - 5/((-15)/42). Let r be 6/4 - (-56)/q. Suppose -r*p + 8 = -57. Is p a multiple of 13?
True
Let v(c) = -9*c + 1. Let b be v(-1). Suppose 3*z = -2*s + s + 35, -4*s = -z - b. Is 6 a factor of z?
False
Suppose -4*w + 3*m = -231, -3*w + 82 + 104 = 2*m. Is w a multiple of 20?
True
Let j(g) = -7*g + g + g + 6*g**2 - g**3 + 2*g**3. Let o be j(-5). Suppose o = 4*y - 2*h, 5*y + h - 36 - 30 = 0. Is 13 a factor of y?
True
Let p be 147/3 - (-5 + 4). Suppose -3*c = -4*f - c + 10, -25 = 3*f + 5*c. Suppose f = -11*t + 6*t + p. Is 4 a factor of t?
False
Let h(a) = -a**2 - 7*a - 5. Let r be h(-5). Suppose -r*s = o + 3, 6*o = o + 5*s - 165. Let m = o + 53. Does 11 divide m?
False
Let w(n) = n**3 + 3*n**2 + n + 5. Let o be w(5). Suppose o = 6*h - h. Is h a multiple of 14?
True
Let n(q) = q - 3. Let u be n(5). Suppose -1 + 39 = u*r. Is r a multiple of 14?
False
Let z(a) = -a**3 - 12*a**2 + 13*a + 9. Let j be z(-13). Let d = j + -2. Is d a multiple of 7?
True
Let s(o) = -2 - 3 + 0*o + 4 + 2*o + 16*o**2. Is s(1) a multiple of 5?
False
Let p(g) = g**3 + 8*g**2 - 11*g - 3. Suppose 3*a = -4*h - 47, -h - 2*h = 15. Is p(a) a multiple of 4?
False
Let h = 51 + 16. Is h a multiple of 13?
False
Suppose 0*n - 4*n + 104 = 0. Does 4 divide n?
False
Let u be ((-5)/10)/(2/68). Let n = u + 38. Is 21 a factor of n?
True
Does 32 divide 271 - 5 - (-3)/(-1)?
False
Is 0/3 + 54 + (-1 - -3) a multiple of 28?
True
Let c(u) = -26*u + 3. Let n be c(2). Let k = n - -78. Is k + 1 + -2 + -2 a multiple of 13?
True
Suppose 0 = -z - 4*z + 60. Let r = z - 7. Suppose -4*c + 74 = 2*v, 4*v = r*c + v - 120. Does 13 divide c?
False
Is ((-5)/3)/((-15)/54) even?
True
Suppose 0 = -3*p - 0*p + 12. Suppose -p*v + 16 = -2*v. Is v a multiple of 8?
True
Suppose -6*r = -2*r - 236. Does 10 divide r?
False
Let a = -36 - -7. Let u(m) = -4*m + 3. Let i be u(6). Let k = i - a. Is k a multiple of 4?
True
Suppose 52 = 3*k - 47. Is k a multiple of 3?
True
Let i(m) = -2*m - 7. Let o be i(-6). Suppose -o*q + 7 = -33. Suppose -w = -q - 4. Does 6 divide w?
True
Let k = 90 + -36. Is 24 a factor of k?
False
Let q be ((-32)/4)/(0 - -1). Let s be (-6)/5*20/q. Suppose 4*a = -p - 2, 4*a = 2*p - 5 - s. Does 2 divide p?
True
Suppose -j = 2, 0*j = s + 3*j - 4. Is 9 a factor of s?
False
Does 9 divide -4 + 22 - 4/(-2)?
False
Suppose 0 = -2*y - 4 - 8. Let p = y - -56. Let h = 87 - p. Does 14 divide h?
False
Let z(u) = u**3 + u**2 + 10. Is z(5) a multiple of 40?
True
Let r be 3/(-2)*10/(-3). Suppose 5*m + r*c - 20 = c, 0 = 5*m - 2*c + 10. Suppose -t - 5*v + 0 + 4 = 0, t + 2*v - 4 = m. Does 4 divide t?
True
Let l be (-14)/2*56/(-4). Suppose 5*g - 27 = l. Does 25 divide g?
True
Let v be (3/(-2))/((-2)/4). Does 10 divide 1 + (v + 9 - -3)?
False
Is 38 a factor of (-2)/(-2) + (0 - -75)?
True
Let s = -5 + 10. Suppose 2*t + 4*i = 6*i - 134, -s*t - 2*i = 342. Let x = -46 - t. Is 10 a factor of x?
False
Suppose 32 + 48 = -5*u. Let x = u - -19. Is 3 a factor of x?
True
Let k be 12/(-54) - (-76)/18. Suppose -11 = -k*j + 9. Does 2 divide j?
False
Let b = 33 - 25. Is b a multiple of 4?
True
Suppose 5*h - h - n - 393 = 0, 4*h - 2*n = 390. Is 3 a factor of h?
True
Suppose 0 = -5*p + i + 108, -2*p + 4*p = -4*i + 52. Is 7 a factor of p?
False
Let g(v) = v**3 - 7*v**2 + 5*v - 9. Is g(7) a multiple of 5?
False
Is 359/3 + (-4)/6 + -2 a multiple of 33?
False
Let n = 11 - 10. Is (n - 0) + (0 - -5) a multiple of 5?
False
Let o be (-3)/(-5) - 5868/(-45). Let q = -89 + o. Is 21 a factor of q?
True
Suppose -2*l + 3*l + 4*c - 43 = 0, 0 = -3*l - 3*c + 147. Is 3 a factor of l?
True
Let t be (-45)/(-2)*(-8)/(-10). Is 112/18 - t/81 a multiple of 6?
True
Let u = -141 + 211. Suppose 2*l - u = 26. Is 16 a factor of l?
True
Let p(g) = -g**3 + 12*g**2 - 6*g - 9. Is p(11) a multiple of 13?
False
Let h be 12/((-16)/(-4))*-5. Does 17 divide (-440)/h + (-2)/(-3)?
False
Let f be (-524)/(-26) + 10/(-65). Suppose -5*n - f = -0*n. Let m(a) = -10*a. Is 20 a factor of m(n)?
True
Suppose -y + 33 = -4*k, 3*y + 4*k - 99 = 5*k. Is y a multiple of 32?
False
Let o(x) = x**2 + x + 5. Is o(6) a multiple of 14?
False
Let z(n) = -3*n**2 - 123*n**3 + 0*n + 125*n**3 - 2*n. Is z(3) a multiple of 7?
True
Let g(y) be the second derivative of -17*y**3/6 - 4*y. Is g(-3) a multiple of 15?
False
Does 31 divide (0 + (-924)/(-8))*(-4)/(-3)?
False
Let s be (-76)/8*(0 + 2). Does 5 divide 0 - s*(0 + 1)?
False
Let w be (-16)/56 - (-298)/14. Is 1/((-39)/w + 2) a multiple of 5?
False
Let s be 3/(-9)*-3*6. Is s/(-45) + 694/30 a multiple of 8?
False
Let l = 16 + -8. Suppose -5*g + 5*p = 0, l = -g + 3*p + 2*p. Suppose -3*s - 2 = -2*t + 15, g*t - 25 = -5*s. Is t a multiple of 4?
False
Suppose 5 = -d - 3*q, 2*q - 22 = 2*d + 4. Does 3 divide (-57)/d + 2/(-11)?
False
Suppose -y + 5*a = 6, 4 = -3*y + 5*a + 6. Let k = 8 - y. Does 4 divide k?
True
Suppose -95 - 1 = -3*w. Is w a multiple of 16?
True
Let w(f) = f**2 - 5*f - 11. Let i be w(7). Let t(l) = 4*l**2 + l - 4. Let k(d) = -5*d**2 - d + 4. Let r(j) = 3*k(j) + 4*t(j). Is 8 a factor of r(i)?
True
Suppose -i = -4*d - 31, 5*i + 3*d + d - 131 = 0. Suppose j - 4*j - i = 0. Let h = j + 56. Is h a multiple of 15?
False
Suppose 4*v - 89 + 1061 = -3*f, v + 228 = 3*f. Does 16 divide (-2 - -5) + v/(-4)?
False
Suppose -6*u = -5*u - 2. Suppose 0 = 3*s + 3*a - 47 + 5, -u*a - 26 = -4*s. Is s a multiple of 3?
True
Let w be (-24)/4*(-2)/4. Suppose -2*v = -0*z - w*z + 40, 5 = -v. Does 4 divide z?
False
Let q be 5 - (0 - 0)/(-3). Suppose -q*w + 17 = -23. Let p(o) = o**3 - 6*o**2 - 11*o - 2. Does 14 divide p(w)?
False
Let r(l) = -7*l**2 - 2*l - 1. Let o be r(-1). Does 4 divide (o/(-9))/((-2)/(-30))?
False
Suppose -3*i - 2*i = -3*k + 152, -i - 48 = -5*k. Let g = i + 43. Does 14 divide g?
False
Let n(m) = m**3 - 9*m**2 - 9*m - 12. Let z be n(10). Let d = z + 1. Let p = 3 - d. Does 2 divide p?
True
Let j be ((-2)/5)/(2/(-10)). Suppose 0 = -0*c - j*c. Is 7 a factor of 0 + (19 - (c + 1))?
False
Let r = 1 + -3. Let p = r - -5. Suppose 66 = 5*t - p*b, 4*t + 2*b - 5*b = 51. Does 14 divide t?
False
Let p(f) = 0 - 3*f + 2 - 4. Let c = 12 + -18. Does 16 divide p(c)?
True
Let k(w) = -w**2 - 5*w + 3. Let g be k(-5). Suppose -g*v + 5*s = -643, -2 = s - 3. Suppose 0*t = -4*t + v. Is t a multiple of 19?
False
Suppose -5*j + 64 = -j. Suppose 3*x - j = -x. Suppose 0*b - 3*b - 33 = -x*c, 3*c - 30 = -3*b. Is 7 a factor of c?
False
Let t(p) = 2*p + 19*p**2 - 3*p + 14*p**2. Suppose -i = -6*i + j + 9, 3*i - 2*j - 11 = 0. Does 16 divide t(i)?
True
Suppose d = -c + 162, 0 = 3*c - 5*d - 102 - 384. Suppose 5*g = -47 + c. Let t = -13 + g. Is t a multiple of 5?
True
Let d(r) = r**2 + 3*r - 3. Let a be d(-3). Is 9 a factor of 0 - 9*3/a?
True
Let y be (-20174)/28*(-1 - 1). Does 13 divide y/55 - 1/5?
True
Let f(h) = -9*h + 1. Let o = 5 - 6. Is 4 a factor of f(o)?
False
Let j be (-30 - (1 + 2))/(-1). Let y = 56 - j. Does 23 divide y?
True
Suppose 2*w = -r + 24, -w = r + r - 36. Suppose -4*v - a + r = -67, 0 = -v - a + 17. Is 11 a factor of v?
True
Suppose 18 = 3*l - 4*y - 20, 2*l - 25 = 3*y. Does 13 divide (2 - (3 - 3)) + l?
False
Is (-794)/(-14) + 4/14 a multiple of 10?
False
Suppose 3*k + 2*m - m = 16, 0 = 4*m - 16. Is 2 a factor of k?
True
Let s(w) be the third derivative of 3/2*w**3 + 3*w**2 + 0 - 1/12*w**4 + 0*w. Is 16 a factor of s(-7)?
False
Suppose -5*c - 7*g = -3*g, 0 = 3*c + 4*g. Let p = c - -7. Does 4 divide p?
False
Let n be ((-12)/(-24))/((-2)/4). Is 15 a factor of 116/(-8)*(-1 + n)?
False
Let q be (-3)/((3/(-303))/(-1)). Does 11 divide (-4)/6 + q/(-9)?
True
Let z be (-2)/4*(-2 + -2). Let r be (2/2)/(2/10). Let w = r + z. Is w a multiple of 7?
True
Let l = -29 + 47. Is 6 a factor of l?
True
Let b(u) = 5*u**3 - u**2 + 1. Let r be b(-1). Let k(x) = 2*x + 1 - 1 + 0*x**2 + x**2 + 4. Is 19 a factor of k(r)?
True
Is (-1)/(4 + (-468)/116) a multiple of 8?
False
Let t(j) = 18*j**3 + 2*j**2 + 3*j - 1. Suppose 2*c - c - 3 = 0. Let x be t(c). Is 2/(-3) + x/12 a multiple of 18?
False
Suppose 15 = 2*w + 3*w. Does 11 divide ((-220)/15)/((-1)/w)?
True
Let i(v) = 15*v**3 - v**2 - 2*v. Is i(2) a multiple of 12?
False
Suppose 0 = 8*l - 546 - 214. Does 19 divide l?
True
Let z(r) = r**3 + 5*r**2 - r + 8. Let t be z(