 2*b + 10. Let h be i(-7). Let r = h + 6. Suppose 4 = -r*p + 48. Does 11 divide p?
True
Let q = -2 + 4. Let r be -1 + (-15)/(-1 - q). Suppose 0 = -2*o + 5*n + 33, -r*n + 3 = -n. Is 11 a factor of o?
False
Suppose -38 = -2*o + 8. Is o a multiple of 7?
False
Suppose -4*o - 3*i + 75 = 0, -i + 49 = 3*o - 6*i. Suppose -2*k - 5 = -2*p - 3*p, 0 = p + 3*k - o. Is p even?
False
Suppose -3 = -3*i - 9. Does 7 divide (2/6)/(i/(-156))?
False
Let m(n) = -14*n. Let b be m(-5). Is 4 a factor of b/6 + (-12)/18?
False
Suppose -144 = -m - 2*m. Suppose -42 = -3*n + m. Is n a multiple of 15?
True
Let z(d) = -10*d - 33. Is z(-8) a multiple of 13?
False
Suppose -438 = -6*a + 372. Is a a multiple of 15?
True
Let j = -53 + 97. Is j a multiple of 24?
False
Let y be ((-1)/2)/(3/(-234)). Suppose -y - 7 = -2*p. Does 15 divide p?
False
Let o(h) = 2*h**2 - 3*h. Let x be o(2). Let g = 16 + x. Is g a multiple of 4?
False
Suppose 5*y + 102 = 2*m - 0*m, 0 = -y + 2*m - 14. Let t = 28 - y. Is t a multiple of 11?
False
Let h = 50 - 7. Is 19 a factor of h?
False
Suppose 0 = 3*x + 3*m, -m + 6 = m. Is 2*(-1)/(-2) - x even?
True
Suppose -8*h = -3*h + 20. Let v be 8/h + -1 + 32. Let l = v + -18. Is l a multiple of 11?
True
Let m(x) = 2*x**2 - 11*x + 1. Let f be m(8). Let i = 61 - f. Is 10 a factor of i?
True
Let y = 4 + -2. Let i be ((-90)/3)/(y/(-4)). Suppose f = -3*f + i. Is f a multiple of 15?
True
Suppose k = -4*k + 3*n + 135, -2*n = 5*k - 160. Is k a multiple of 6?
True
Let n(a) = 3*a**2 + a - 7. Does 5 divide n(3)?
False
Let s(y) = 8*y**2 - 4*y - 3. Let j(d) = -23*d**2 + 11*d + 8. Let x(l) = -6*j(l) - 17*s(l). Does 11 divide x(-3)?
False
Suppose 3*t - 4*k - 13 = 11, -5*k = 3*t + 3. Let o be (15/(-6))/((-2)/t). Suppose -i - 27 = -5*x + 71, 0 = -4*x - o*i + 90. Does 9 divide x?
False
Is 3*-1 - (-78)/3 a multiple of 10?
False
Does 7 divide (6/(-2))/6 + (-171)/(-6)?
True
Let l(h) = -h**3 + 3*h**2 + 3*h. Let g be l(4). Let x be g/12 - (-4)/3. Is x/(-2 - 54/(-26)) a multiple of 13?
True
Suppose -5*f + 188 = -222. Is f a multiple of 22?
False
Suppose -o - 180 = -4*o. Is o a multiple of 20?
True
Suppose 4*y + k - 59 = 0, y = 2*y + 5*k + 9. Suppose -a + y = -10. Does 9 divide a?
False
Suppose 72 = -6*z + 510. Does 31 divide z?
False
Let q = -3 + 10. Let x = q - 7. Let o = 4 + x. Is o a multiple of 3?
False
Suppose -2*b + 5*b - 291 = 3*k, 0 = 5*b + 5*k - 515. Suppose 4*r + f + 2*f - b = 0, -r = -3*f - 40. Is 10 a factor of r?
False
Let t be 3/1*14/6. Suppose 2*j = 19 + t. Is j a multiple of 13?
True
Let l(n) = n**3 + 2*n**2 - 8*n - 5. Does 13 divide l(5)?
True
Let g(j) = j**3 + 8*j**2 + 8*j + 2. Is 13 a factor of g(-6)?
True
Let m = 26 - 7. Suppose -18 = -h + 3*i, h - 8 = -0*h + 5*i. Let w = h - m. Is w a multiple of 7?
True
Suppose 146 - 506 = -5*h. Is h a multiple of 4?
True
Let i(n) be the second derivative of 2*n - 7/2*n**2 + 1/2*n**3 + 1/20*n**5 - 1/2*n**4 + 0. Does 6 divide i(6)?
False
Is 16 a factor of (12/15)/((-1)/(-40))?
True
Suppose 3*q - 25 = -2*q. Let g be (16/6)/(q/15). Let j = g + 6. Is j a multiple of 14?
True
Let y(m) be the second derivative of 1/12*m**4 + 2*m**2 + 0 - m**3 + 2*m. Does 3 divide y(6)?
False
Suppose 570 = -9*x + 12*x. Does 38 divide x?
True
Let i = 6 - 6. Suppose 4*g = o - i + 1, -2*g + 8 = 2*o. Is o a multiple of 3?
True
Let c(k) = -3*k + 7. Suppose -3*q = -9, 0 = 2*b - q - 14 - 19. Let u = b - 26. Does 13 divide c(u)?
False
Suppose -2*x - 1296 = -14*x. Is 26 a factor of x?
False
Let y be 57 - 6 - (-1 + 0). Suppose 2*a - y = -0*a. Is a a multiple of 13?
True
Let q be 155/5*(-1 - -2). Is 12 a factor of 6/3 + 0 + q?
False
Let l = 13 + -11. Suppose -l*p = 3*r - 128, 256 = 3*p + p - r. Does 25 divide p?
False
Let u(q) = 8*q**3 - q**2 - 7*q + 10. Does 35 divide u(3)?
False
Let n be (27/12)/(1/8). Suppose p + 2 = -5*o + 14, 0 = 5*p - o + n. Let t(u) = -3*u + 1. Is 5 a factor of t(p)?
True
Let o(f) = 4*f**2 + 25*f + 10. Does 22 divide o(-8)?
True
Suppose -10 = 3*c + 35. Let w = 5 + c. Let n = w - -16. Is n a multiple of 6?
True
Let l(w) = -w**3 + 14*w**2 + 20*w - 15. Is l(15) a multiple of 5?
True
Let h = -38 + 68. Is h a multiple of 15?
True
Is 5 a factor of (-4 + 1)/6*-66?
False
Suppose w + 4 = -3*w + 4*z, 0 = -5*w - 2*z + 16. Suppose -w*f + 37 = -15. Does 7 divide f?
False
Let x be 3*12*(-2)/(-9). Let c = -4 + x. Suppose 105 - 5 = c*z. Is z a multiple of 7?
False
Is 6 a factor of (-48)/40*(-260)/6?
False
Suppose -f - 30 = f. Let p be ((-4)/(-6) + -1)*-15. Let b = p - f. Does 13 divide b?
False
Let a(w) = -64*w + 2. Is a(-1) a multiple of 22?
True
Let t = -6 - -3. Does 25 divide (-2 + 1)*(t - 70)?
False
Suppose a + a - 8 = 0. Suppose 0 = -4*f - a, 5*i - 5*f - 25 = -0*i. Does 3 divide i?
False
Suppose -b - 3*b = -2*z + 570, 1425 = 5*z - 3*b. Suppose z = 4*s + s. Let o = 81 - s. Is o a multiple of 9?
False
Suppose 0 = -5*w + 4*r + 16, 2*w + 2*r + 8 = 4*w. Let o(n) = -n**2 + w*n**3 - n**2 + 2*n**3 + 4. Is 12 a factor of o(3)?
False
Let u = 10 - 3. Suppose z = 5*c + 3, -3*c + u = -2. Is 9 a factor of z?
True
Let b = -42 + 63. Is b a multiple of 7?
True
Let d(y) = -y**3 + 6*y**2 - y + 3. Let b be d(3). Let j be (-1)/(-2) + b/6. Suppose 12 = -4*l, 5*q = -j*l + 24 + 21. Does 6 divide q?
True
Let q = 415 + -210. Is q a multiple of 41?
True
Let j = 131 + -31. Is 20 a factor of j?
True
Let n be (-4)/6 + (-46)/(-6). Let k = n - 5. Suppose -k*s = -s - 14. Is 14 a factor of s?
True
Let q(c) be the second derivative of c**4/12 - c**3/6 + 46*c**2 + 3*c. Let z be q(0). Suppose 0*n + 4*n = z. Does 23 divide n?
True
Suppose 4*d - 5*n - 168 = 0, 0*d - n = -5*d + 210. Suppose -j + d = 2*j. Is j a multiple of 8?
False
Suppose -3*t + 167 = -v, 2*v + 226 = 5*t - t. Does 27 divide t?
True
Let m be 2/(-3) - (-20)/(-6). Let p be -27*(m/6 - 0). Does 11 divide (-2 - -2) + p + 0?
False
Let m(q) = 11*q - 24. Is 11 a factor of m(9)?
False
Let q be -2*(-1)/((-1)/(-2)). Suppose -3*l - 6 = -3*x + 12, -2*l = 6. Suppose -q*v - 108 = -4*s, -8*v - 10 = -x*v. Does 9 divide s?
False
Suppose -2*g - 88 = -4*g. Is g a multiple of 11?
True
Let v be 15/10*8/6. Suppose -2*d = v*f - f - 4, -4*d - f = -12. Suppose 0 = -d*l + 116 + 4. Is l a multiple of 15?
True
Let i(f) = -2*f**2 - 3*f + 3. Suppose 5*j + 8 = -7. Let h be i(j). Is (h/10)/(2/(-50)) a multiple of 5?
True
Suppose -253 - 27 = -7*u. Is u a multiple of 20?
True
Let a(r) = r**2 + 2*r + 52. Let j(i) = -2*i + 14. Let x be j(7). Is 13 a factor of a(x)?
True
Suppose -1 = 5*l + 9. Let h(x) = -31*x - 4. Does 19 divide h(l)?
False
Does 16 divide 8/((3/(-12))/(-1))?
True
Let r be -2 + 5 + -2 + 1. Let i(t) = -5*t**r + 5*t**3 + t**2 + 2*t + 0*t. Is 14 a factor of i(2)?
True
Suppose 11*w = 6*w + 555. Does 29 divide w?
False
Let g = 191 + -148. Does 19 divide g?
False
Is 9 a factor of (-4)/10 + (-634)/(-10)?
True
Does 12 divide 130/4*24/20?
False
Suppose -s - 3*s + 211 = -h, -2*s = -5*h - 83. Is 27 a factor of s/(2*(-2)/(-6))?
True
Suppose 0 = 3*r - r - 14. Let h(a) = 7*a + 7. Is h(r) a multiple of 14?
True
Suppose 3 = 3*n - 57. Is n a multiple of 5?
True
Let m = -1 - -3. Suppose 2*j - 2*s = -j + 224, -m = 2*s. Does 19 divide j?
False
Suppose p + 0*j - j - 4 = 0, 0 = -4*p + j + 22. Let s be 1 + 3 - 0/3 - 1. Suppose s*c = c + p. Is c a multiple of 3?
True
Suppose -2*a = -a + 1. Let t be (-8 - 3/a)/(-1). Suppose -t*r = -125 - 5. Is r a multiple of 11?
False
Suppose p - 4 = -0*p. Suppose -r - 23 = x - 5*x, -4*x = -4*r - 32. Suppose -x*z = 4*o - 47, o + 5*z = -3 - p. Is 18 a factor of o?
True
Let w be (2/5)/(1/10). Is 10 a factor of w/6 - 182/(-6)?
False
Let n = -2 + 28. Does 26 divide n?
True
Suppose -5*c + 547 = -2*s, -3*s = -4*s + 4. Is 10 a factor of c?
False
Suppose 0 = -3*v + 8 - 2. Suppose -2*h + 48 = 2*p - 6*h, v*p + 5*h = 48. Does 12 divide p?
True
Let g(t) = -4*t**3 + 10*t**2 - 5*t - 6. Let x(s) = 7*s**3 - 20*s**2 + 11*s + 11. Let j(i) = -5*g(i) - 3*x(i). Does 3 divide j(9)?
True
Suppose -5*v = 4*l + 46, v - 4*l = -0 + 10. Is 18 a factor of v/2 + 25 + -1?
False
Let b = 4 - 1. Let x(t) = t - 1. Let v be x(0). Let m = b - v. Is m a multiple of 4?
True
Does 17 divide (236/(-6))/((-22)/33)?
False
Suppose -5*w - 3*q = -939, 4*q - 382 - 177 = -3*w. Let k = w + -128. Is 16 a factor of k?
False
Suppose -18*l = -6*l - 1152. Is 11 a factor of l?
False
Let w = 