s 0 - -1*20*2 a multiple of 5?
True
Is (12/(-21))/(2/(-7)) a multiple of 2?
True
Suppose 5*v = v + 24. Suppose -1 = s - v, 109 = 2*w - s. Suppose 2*p - w = -p. Is 10 a factor of p?
False
Let p = 9 - 6. Suppose -2*f - 22 = -p*f. Is 10 a factor of f?
False
Suppose 0 = -3*u - c + 262, -3*u + 3*c = 2*c - 260. Is u a multiple of 29?
True
Suppose -2*u = u + 156. Let l = u - -77. Does 14 divide l?
False
Let l(q) = q**3 - 7*q**2 - 9*q + 12. Let i be l(8). Suppose -8 = 3*o + i*z - 144, 5*o + 5*z - 230 = 0. Does 16 divide o?
True
Let p(z) = z**3 - 14*z**2 - 16*z + 20. Let b be p(15). Let l(q) = 2*q**2 + 7*q - 8. Is l(b) a multiple of 28?
False
Suppose 4*h + 0*h - w = -37, -h - 4*w = -12. Let f be 1 + 3/(3/h). Let j = f + 46. Is 16 a factor of j?
False
Let f be 681/27 - (-2)/(-9). Let s = 17 + f. Is s a multiple of 22?
False
Let x(v) = -v**2 + 10*v + 9. Is x(7) a multiple of 14?
False
Let o(r) = 27*r - 6. Let i be o(7). Suppose -i = -4*m - 3*b, -103 + 289 = 4*m + 2*b. Is m a multiple of 12?
True
Let l(k) = k**2 + 4*k - 4. Let c be l(-6). Let n = c - 3. Suppose 2*m + 3*f - 42 = 2*f, n*f = -2*m + 34. Is m a multiple of 11?
True
Suppose 0 = -w + 2*w + 18. Let i = -6 - w. Is i a multiple of 4?
True
Suppose 156 = 4*v - 0*v. Is 12 a factor of v?
False
Suppose 4*x + x - 22 = l, 5*l + 2*x = 25. Let q = 3 - l. Suppose 4*w - 13 - 31 = q. Is w a multiple of 11?
True
Let h(j) = 15*j - 5. Is h(7) a multiple of 20?
True
Let m(d) be the third derivative of d**5/60 + 17*d**3/6 - d**2. Suppose 4*o - 6*o = 0. Does 11 divide m(o)?
False
Let v = -36 + 25. Let q(g) = -6*g**3 + 30*g**2 + 4*g + 41. Let b(h) = -h**3 + 6*h**2 + h + 8. Let i(r) = v*b(r) + 2*q(r). Does 12 divide i(-6)?
True
Let i = 41 - 29. Does 4 divide i?
True
Let m(p) = -p**3 - p**2 - 2*p + 120. Does 10 divide m(0)?
True
Suppose -3 + 12 = 3*y. Suppose -2*o + 40 = y*o. Is 2 a factor of o?
True
Let i(w) = 8*w + 6. Is i(5) a multiple of 5?
False
Let c(t) be the first derivative of 8*t - 2 + 1/3*t**3 - 4*t**2. Does 4 divide c(8)?
True
Let j = -53 - -237. Suppose 2*b - 14 = -0*x - 4*x, -5*x + 4 = -2*b. Suppose z - j = -b*z. Is z a multiple of 23?
True
Let y = -7 + -1. Let f = y - -15. Suppose 38 = 3*d - f. Is 15 a factor of d?
True
Let k(r) = -r**3 + 10*r**2 + 16*r - 21. Is k(11) a multiple of 10?
False
Let n be (3/2)/((-9)/24). Let j(y) = y**3 + 6*y**2 + 3*y - 5. Is j(n) a multiple of 15?
True
Suppose 4*m = 2*a - 166, -m + 71 = a - 0*m. Suppose 0*r = -5*r + a. Is 5 a factor of r?
True
Let p(n) = -n**3 - 12*n**2 + 11*n - 9. Does 5 divide p(-13)?
False
Let i(a) = -2*a - 6. Let n be i(-5). Suppose 4*l + 6*j - j - 57 = 0, n*j = 3*l - 4. Does 8 divide l?
True
Let k(u) = -u**3 - 4*u**2 - 4*u. Let c be k(-3). Suppose -2*f + 310 = 3*f. Suppose 0 = c*l - f - 1. Is l a multiple of 16?
False
Let u = -46 - -10. Let d(a) = 9*a + 2. Let y be d(-6). Let h = u - y. Does 13 divide h?
False
Let g(n) = 7*n - 2. Is 13 a factor of g(6)?
False
Let k = 6 - 6. Suppose 0 = -4*m - 16, k*p - p + 35 = -m. Is 20 a factor of p?
False
Is 16 a factor of -1 - (-73 + (-3)/3)?
False
Let p(o) = -o**3 + 6. Let m be p(0). Let d(j) = j**3 - 6*j**2 + 3*j - 9. Is 5 a factor of d(m)?
False
Suppose -j = -2*j + 13. Does 13 divide j?
True
Let i = -2 - 1. Let u = i - -6. Suppose z - 14 = a, 3*z + u*a = a + 42. Does 7 divide z?
True
Suppose 5*u - 2*u - 3*t - 120 = 0, 0 = -3*u - 4*t + 141. Is u a multiple of 8?
False
Let k be (-58)/7 + (-8)/(-28). Is (k/20)/((-1)/30) a multiple of 3?
True
Let w(y) = -9*y**2 + 2*y + 3. Let s be w(-2). Let u = s - -95. Is u a multiple of 12?
False
Let z(l) = l**2 + 7*l + 9. Let g be z(-6). Suppose 0*m = -g*m + 72. Suppose 0 = -4*h + 92 - m. Is 17 a factor of h?
True
Let h = -2 - 31. Let c be h + (-2 - (-1 + -1)). Let q = c + 46. Does 13 divide q?
True
Let n(h) = 2*h**2 - 2*h - 6. Let o be n(7). Let g = o - 37. Suppose -135 = -3*s - 2*b + 3*b, -s = b - g. Is 22 a factor of s?
True
Let l(r) = -r**3 + 4*r**2 + r - 1. Let u be l(4). Suppose -5*t + 0*t + 94 = 4*w, -u*t - w + 62 = 0. Let j = t - 12. Is 10 a factor of j?
True
Let h(a) be the third derivative of -8*a**6/15 + a**5/30 - a**3/6 + 2*a**2. Suppose 7*p - 2*p + 5 = 0. Does 22 divide h(p)?
False
Suppose -3*n - 5*r = -312, 4*r + 93 = n + 2*r. Suppose 2*l = 5*l - n. Suppose -4*d + 27 = -l. Is 8 a factor of d?
False
Let i(q) be the second derivative of q**4/12 + q**3/2 + 5*q**2/2 - 4*q. Does 6 divide i(-4)?
False
Suppose 4*k = a - 2*a + 13, a = 3*k - 1. Let t = a + 16. Does 7 divide t?
True
Suppose k = 5*h - 409, 5*h = 4*k + 299 + 122. Let i = -56 + h. Is 9 a factor of i?
False
Let w(b) = 10*b**2 + 1. Let j be 3*(4/(-3) - -1). Is w(j) a multiple of 5?
False
Let z(b) = b**2 + 3*b - 3. Let p be z(-4). Suppose 2*w - 2*k + 3 = -7*k, -p = w + 2*k. Does 13 divide w/3*(2 - -37)?
True
Let k(l) be the first derivative of 3*l**2/2 + 6*l - 5. Does 15 divide k(3)?
True
Let z(u) = u**2 - 16*u + 47. Is 6 a factor of z(20)?
False
Let r be 0 + (3*-3)/(-3). Suppose -25 + 7 = -r*a. Let b(g) = 3*g - 6. Does 5 divide b(a)?
False
Let u = 52 + -28. Is 7 a factor of u?
False
Let l = -87 + 151. Suppose 0 = -h - h - 2*c - l, 0 = -h - 3*c - 38. Let p = -15 - h. Is 7 a factor of p?
True
Let q = -3 + 1. Is (q + 8)/((-3)/(-6)) a multiple of 4?
True
Suppose -2*c = -7 - 1. Suppose -q + 2*r + 9 = -0*q, -c*r - 16 = 0. Is 7 a factor of q/(-3) - (-22)/3?
True
Suppose -3*x + 102 = 12. Does 10 divide x?
True
Suppose -5*w + 3*x + 27 = -89, -3*x = -9. Is w a multiple of 5?
True
Let r = -29 + 95. Does 33 divide r?
True
Does 34 divide (-1)/6 + 11095/42?
False
Let k = -93 + 159. Suppose 4*b - h - 64 = 3*h, -5*h = -4*b + k. Is b a multiple of 3?
False
Let f = 0 - 5. Let x be (6/f)/(2/(-5)). Is 6/x + (14 - -2) a multiple of 18?
True
Suppose 9*h + 276 = 1140. Is 8 a factor of h?
True
Suppose l + 2*u - 1 = 9, -4*l + 22 = -u. Suppose -4*r = 2*n - 2, n - 1 - 4 = -4*r. Let s = r + l. Is 4 a factor of s?
True
Suppose 4*f - 11*f = -273. Is 10 a factor of f?
False
Let n(p) = 4*p**2 + p - 8. Let r be n(4). Suppose -5*d + 82 = 5*l - 68, -2*l - 3*d + r = 0. Is 15 a factor of l?
True
Let w be ((-2)/(-1))/(4/(-18)). Let g(d) = 2*d**2 + 18*d - 2. Let b be g(-10). Let n = w + b. Is n a multiple of 5?
False
Let y be 3/(-6)*6/1. Let g = y + 3. Let i = 5 + g. Is i a multiple of 5?
True
Let b = -42 + 108. Is b a multiple of 11?
True
Is -3*(-177)/9 + 3 a multiple of 31?
True
Let t be (-173)/(-1) - (5 - 4). Suppose 0 = 5*c - c - t. Suppose -c - 2 = -3*v. Does 13 divide v?
False
Let y(i) = -i - 5. Let j be y(-11). Does 18 divide 81/j*(-8)/(-3)?
True
Let t = -1 - -5. Suppose 0*q - t*q = -44. Is q a multiple of 6?
False
Let h(k) = -k**3 + 7*k**2 + 9*k - 4. Is h(7) a multiple of 17?
False
Let z = -45 + 65. Is z a multiple of 9?
False
Let g(o) = -2*o + 5. Is g(-6) a multiple of 17?
True
Let r(u) = -u**3 + 3*u**2 + 4*u + 10. Is r(3) a multiple of 11?
True
Let u(h) = -h + 10. Suppose -2*g = 2*q - 14, 0 = 3*q + 4*g - 2 - 19. Is u(q) a multiple of 3?
True
Let u(y) = -2 + 6 + 8*y + 3*y. Let q be u(-3). Let o = q - -50. Is o a multiple of 13?
False
Suppose -3*y + 4*v = -2*y - 4, -4*v = -2*y + 16. Is y a multiple of 3?
True
Let q = 194 + -20. Let c = -86 + q. Is 27 a factor of c?
False
Suppose 0*f = -2*f - 4*c - 16, 0 = 2*f + c + 1. Suppose f*m = m + 17. Is m a multiple of 13?
False
Let c(u) = -5*u + 3. Is c(-6) a multiple of 12?
False
Let v = -151 - -243. Is 23 a factor of v?
True
Suppose 0 = -5*k - z + 107, 2*k + z - 44 = -0*k. Let i be 6/(-4)*(-30)/9. Suppose -191 = -i*d - k. Is d a multiple of 10?
False
Let x = 13 + -8. Suppose -19 - 1 = -x*p. Is p even?
True
Suppose -4*k + 194 = 3*b - 1, -3*b + 219 = -4*k. Does 21 divide b?
False
Let w be ((-1)/2)/((-6)/(-12)). Let h(j) = -9*j**2 - j. Let m be h(w). Let r = 12 + m. Is 4 a factor of r?
True
Suppose 444 + 158 = 5*n + p, 5*n = -3*p + 606. Is 24 a factor of n?
True
Suppose 2*f + 0*r + 2*r = -6, 0 = -f + 3*r + 17. Suppose -3*b + 5*b = f*m + 44, -4*b = -2*m - 80. Is b a multiple of 18?
True
Let s = 5 + 2. Suppose 2*a = s*a - 15. Suppose 0*u - 66 = -5*u + n, 23 = 2*u + a*n. Is u a multiple of 13?
True
Let d = -28 - -85. Is d a multiple of 19?
True
Suppose -2*n - 6 - 4 = 0, -18 = p + 4*n. Suppose 55 = l + 2*l - 2*k, -p*k = 5*l - 97. Is 8 a factor of l?
False
Suppose -6*d + 10 = -4*d. Suppose 0 = -5*c - d*p