3*c - 19, -3*r + 61 = f*c. Let o = r + -4. Is o a multiple of 13?
True
Is (-844)/(-16) + -6 + 1/4 a multiple of 4?
False
Let z = 250 + -162. Is z a multiple of 11?
True
Suppose 5 - 50 = -3*t. Suppose t = p - 3*d - 6, -2*p - d = -35. Is p a multiple of 9?
True
Let o = 42 - -4. Let w = o + -25. Is 11 a factor of w?
False
Suppose 0 = 5*k - 14 - 76. Let z = k - -5. Let u = z - 13. Does 9 divide u?
False
Let k be (-42)/(-4) + 2/4. Let z(d) = 10*d + 16. Let f(c) = 2*c + 3. Let p(g) = k*f(g) - 2*z(g). Does 7 divide p(3)?
True
Suppose -w + 0*w + 3*j + 48 = 0, 108 = 2*w - 3*j. Does 12 divide w?
True
Let s = 87 - 33. Does 27 divide s?
True
Suppose -18*a + 2*a = -832. Is 26 a factor of a?
True
Suppose 3*m - 1 = -13. Let w = -2 - m. Suppose -3*s + 5*t + 61 = 0, 0 = -s - 0*s + w*t + 20. Is s a multiple of 11?
True
Does 11 divide 4/(-1) + (615/3 - 3)?
True
Let m = 1 + -3. Let q = m + 5. Suppose -4*r = -q*p - 2*p - 75, 5*p - 105 = -5*r. Is 8 a factor of r?
False
Let c = -12 - -14. Suppose -c - 6 = -2*s. Is 2 a factor of s?
True
Suppose 15 = c - n, -n + 17 = 3*c - 44. Let l = c + 23. Does 12 divide l?
False
Suppose 4*b - 352 - 264 = 0. Suppose -4*w + b = -138. Is 22 a factor of w?
False
Let i(n) = -n**3 + 10*n**2 - 9*n - 5. Let y be i(8). Let b = y + -24. Does 9 divide b?
True
Suppose 6*i - 2*a = 2*i - 52, -2*a = 3*i + 32. Let m = 3 - i. Is 5 a factor of m?
True
Suppose -4*x + 92 = -72. Is x a multiple of 14?
False
Suppose 2*k + 42 = 3*k + p, 90 = 2*k + 5*p. Does 5 divide k?
True
Let b(f) = -f + 11. Let i(p) = -p**2 + p + 2. Let d be i(2). Let s be b(d). Let x = -1 + s. Is x a multiple of 10?
True
Is ((-6)/12)/((-2)/36) a multiple of 2?
False
Suppose 5*b - v + 2 = 38, 40 = 3*b + 4*v. Let q(i) = i**2 - 3*i + 1. Let p be q(b). Let d = p - 15. Is 20 a factor of d?
False
Is 23 a factor of (0 + 3)/(1*1/25)?
False
Let o(r) = -r**3 - 10*r**2 - 9*r + 4. Let f be o(-9). Let j = f - 1. Suppose j*k + 20 = 4*k. Is 10 a factor of k?
True
Let u = -95 - -256. Is u a multiple of 23?
True
Let t(q) = q**2 - 5*q + 9. Let x be t(4). Suppose 0 = -x*h + 47 - 2. Does 9 divide h?
True
Let y = 144 - 84. Is y a multiple of 50?
False
Let w(r) be the second derivative of r**4/12 - 5*r**3/6 + r**2/2 - 4*r. Let u be w(5). Let d = 5 - u. Is 4 a factor of d?
True
Suppose 4*h - 232 + 36 = 0. Suppose 3*k - h = 38. Is 15 a factor of k?
False
Suppose n - 15 = -4*t, -3*n = 2*t - 5 - 60. Is 15 a factor of n?
False
Suppose f + 4*k = 4*f - 16, -3*f + 9 = 3*k. Suppose -9 + 65 = f*i. Is i a multiple of 7?
True
Suppose 5*h - 132 = h. Let n = -8 - h. Let z = 87 + n. Is z a multiple of 12?
False
Let a(b) = -b**3 - 5*b**2 - b - 1. Let t be a(-5). Suppose -4*m + 477 = v, -t*m - 2*v + 0*v + 482 = 0. Does 13 divide m/4 - 2/4?
False
Let u = 53 - 118. Let z = 92 + u. Does 9 divide z?
True
Suppose -4*h - h - 170 = 0. Does 17 divide ((-6)/(-3))/((-4)/h)?
True
Suppose -2*b = 4*c - 380, 5*c = -3*b + 93 + 383. Is 15 a factor of c?
False
Suppose -8 = -2*o - 0*o. Let a(l) = l**2 + 4*l - 2. Let p be a(-5). Suppose k = -2*c + 11, -5*c + 18 = -o*c + p*k. Is c a multiple of 3?
True
Suppose t + 4*t = 0. Let p(i) = i**2 + 0*i**2 + t - 5*i + 2 + 2*i. Is p(6) a multiple of 10?
True
Let p(i) = i**2 + 1. Let b be p(-10). Let s = 157 - b. Is s a multiple of 12?
False
Suppose -c + 5*t = 0, -c + 5*c - 5*t = 0. Suppose -r + 2*r - 22 = c. Is r a multiple of 16?
False
Let y(s) = s**3 - 1. Let r be y(1). Let k = 9 + r. Is 9 a factor of k?
True
Suppose 5*w + 6*v = v + 275, -16 = 4*v. Is w a multiple of 37?
False
Let a = 76 + -40. Suppose 5*m = 3*u - 16, 2*m = 4*u - m - a. Does 12 divide u?
True
Let y(w) = -w**3 - 4*w**2 - 3*w - 3. Let a be y(-3). Let g(q) = -9*q - 4. Let t be g(a). Let c = -15 + t. Is c a multiple of 4?
True
Suppose 4*c - 264 = -4*c. Is c a multiple of 33?
True
Let l(g) = -g**3 - 4*g**2 - g - 1. Let i be l(-4). Let u(w) = 6*w - 2. Is u(i) a multiple of 13?
False
Let o(d) = -2*d - 9. Let c(q) = 2*q + 4. Let m(r) = -6*r**2 + r - 1. Let s be m(1). Let x be c(s). Does 3 divide o(x)?
False
Suppose a - 15 = -2*c, 0 = -a + 2*c - 0*c - 1. Does 7 divide a?
True
Let w(a) = -2*a**2 - 9*a + 15. Let h(q) = -q**2 - 5*q + 8. Let p(n) = 7*h(n) - 4*w(n). Is p(4) a multiple of 11?
False
Let r(m) = 4*m + 15. Let y(g) = 3*g + 10. Let j(b) = -5*r(b) + 7*y(b). Let s be j(7). Suppose -s*u - 2*u = -16, 3*u - 76 = -2*d. Is d a multiple of 19?
False
Let c(o) = -5*o**2 + 4 + 6*o + 2*o**2 + 2*o**2. Let y be c(6). Suppose 3*d - 33 = -2*q + 77, 0 = -y*d - 3*q + 147. Does 10 divide d?
False
Suppose 0*o - o = -23. Let p = o - 9. Does 14 divide p?
True
Suppose -28 = -2*x - 2*x. Suppose -5 = x*a - 2*a, -3*j = -5*a - 197. Does 12 divide j?
False
Let f(b) = b - 2. Let j be f(5). Suppose -j*z + 1 = -5. Suppose -y + 39 = z*y. Is y a multiple of 13?
True
Let s = 1 - -1. Suppose 0 = 3*m - s*m + 6. Let u = m - -12. Is 2 a factor of u?
True
Let d(x) = x**2 + 5*x - 4. Let p be d(-4). Let b(g) = -5*g + 1. Is b(p) a multiple of 15?
False
Let c(r) = -r + 7. Let a be c(8). Let d = -1 - a. Suppose d = -5*h + h + 164. Is 14 a factor of h?
False
Let t(n) be the first derivative of 13*n**5/120 + n**4/24 + 2*n**3/3 + 3. Let b(q) be the third derivative of t(q). Is 7 a factor of b(1)?
True
Suppose 2*f - 120 = -4*x, 4*f + 0 = 8. Does 11 divide x?
False
Suppose -q + 4*m + 288 = -0*m, 1528 = 5*q + 2*m. Is q a multiple of 19?
True
Suppose x - 35 = -d, -32 = -3*x - 2*d + 74. Does 7 divide x?
False
Let h(x) = x**3 + 7*x**2 - 6*x - 6. Let b be h(-6). Suppose -2*k + 0*k = -b. Does 11 divide k?
True
Let k(b) = -b**3 - 13*b**2 + 15. Does 13 divide k(-13)?
False
Suppose -5*k = -5*t - 0 - 5, -3*k - 3*t + 27 = 0. Suppose -3*x + 43 = z, -k*z + 77 + 160 = 4*x. Is 20 a factor of z?
False
Suppose 4*i = 4*y + 8*i - 40, -i - 80 = -5*y. Is 3 a factor of y?
True
Suppose 3*p + 5*y + 205 = 0, -2*p - 57 = 2*y + 73. Let i = p - -86. Suppose 0*h + 2*h - i = 0. Is 13 a factor of h?
True
Let y = 22 + 19. Suppose s + 0*f = -f + 19, -2*s - 5*f + y = 0. Does 14 divide ((-14)/3)/((-3)/s)?
True
Suppose -9*k + 90 = -3*k. Is 5 a factor of k?
True
Let n(u) = 7*u**2 + u + 5. Is 30 a factor of n(-3)?
False
Let p(k) = 6 + k + k**3 + 3 + 0*k**3 + 0*k. Is p(0) a multiple of 9?
True
Is 5 a factor of (1/1 - -10) + -2?
False
Let f(x) = 8*x**2 + x. Does 2 divide f(-1)?
False
Let o = 4 - 4. Suppose -v = -6*v - 3*g, -3*v - 2*g = o. Suppose v = u - 9. Is u a multiple of 9?
True
Let l(n) = -16*n + 5. Let h be l(5). Suppose -3 = -b, -2*d - 4*b + 18 = 110. Let v = d - h. Does 8 divide v?
False
Let h be (10/4 - 3)*0. Suppose a = -5*s + 140, 5*s + 2*a + 3*a - 140 = h. Is s a multiple of 8?
False
Let p(l) = -11*l**2 + l. Let q be p(-1). Let h = q - -22. Suppose -4*s + 66 = h. Does 14 divide s?
True
Let h = 97 + -86. Is h a multiple of 10?
False
Suppose -a + n = -2*n - 39, -5*n = -10. Is a a multiple of 24?
False
Let x(g) = g**2 + 2*g - 1. Suppose -5*h = 4*b + 7, 0 = 3*h + 2*b - 2 + 5. Let l be x(h). Suppose -3*u = o + 4*o - 55, l*u = 4*o. Is 10 a factor of u?
True
Let a(m) = 7*m + 10. Is 15 a factor of a(7)?
False
Let v(f) = -f**2 - f + 24. Let n be v(0). Let i = -10 + 18. Is 9 a factor of i*(-3)/(n/(-26))?
False
Suppose -2 + 30 = 4*t. Is 3 a factor of 6/(-21) - (-72)/t?
False
Let z(p) = p**3 - 10*p**2 - p - 11. Does 33 divide z(11)?
True
Let v = 25 - 3. Let q = v + -42. Let b = q - -51. Does 12 divide b?
False
Suppose 0 = 4*f - 9*f + 25. Suppose f*i + 0*i - 3*u = 53, 22 = 2*i - u. Is i a multiple of 13?
True
Suppose 5*c + 62 = 5*z + 2, 0 = -5*z + 3*c + 66. Does 12 divide z?
False
Let z = -38 + 23. Let u = 66 + z. Does 17 divide u?
True
Is 11 a factor of (-198)/(-27)*6/2?
True
Suppose -4*g = -0*g - 4*k - 28, 0 = 4*k - 20. Is 12 a factor of 4/((-22)/g - -2)?
True
Let j = 17 - -2. Does 8 divide j?
False
Let x = -1 + -2. Let r be -2 + 3 - (-2 - x). Suppose 0 = 2*u - r - 4. Is u even?
True
Suppose -7*w = -4*w - 9. Is 1/(w/(2 + 133)) a multiple of 15?
True
Let d(i) = -56*i**3 - i**2. Let r be d(-1). Suppose -v + 2*g + 54 + 4 = 0, -v + r = -3*g. Is v a multiple of 16?
True
Suppose -3*l + 4*l + 4 = 0. Let x = -4 - l. Suppose 2*d + 3*d - 65 = x. Is d a multiple of 8?
False
Let p(z) = -z**3 - 4*z**2 - 5*z - 1. Does 19 divide p(-4)?
True
Suppose -44 = -4*z + 12. Is z a multiple of 3?
False
Suppose 15 + 12 = t. Is 4 a factor of