*2 - x. Let r be a(0). Suppose 5*s - 247 + 62 = r. Suppose -150 = -5*n - 2*j, 3*j + 83 = 4*n - s. Does 15 divide n?
True
Let u(d) = d**2 - 3*d + 1. Let b be u(4). Suppose -2*p + b = -7. Let z(c) = c**2 - c - 1. Is 12 a factor of z(p)?
False
Let j = -9 + 6. Let b be 3/(j/(-2)) + 49. Suppose 0 = h + 8 - b. Is 15 a factor of h?
False
Let p = 819 + -516. Is 52 a factor of p?
False
Suppose 2*u - 18 = -4*u. Suppose k = f - 47, -96 = -2*f - u*k + 7*k. Is 15 a factor of f?
False
Suppose 2*p + 4*y - 4 = -16, -p - 4*y - 2 = 0. Let b = -5 - p. Suppose -120 - 42 = -4*o + 2*j, -b*o - 3*j = -219. Is o a multiple of 21?
True
Suppose -7 + 47 = -5*i. Let y = -3 - i. Suppose 2*k + 0*k = 5*c + 66, y*k = -3*c + 227. Is k a multiple of 19?
False
Does 2 divide 17*-1*(2 + -3)?
False
Suppose 0 = 3*t - 5*q + 27 + 14, -2*t = 4*q - 2. Let v(r) be the third derivative of -r**4/12 + 4*r**3/3 - 3*r**2. Is 11 a factor of v(t)?
True
Suppose -3*o + 22 = 4*f, -3*f + 4*o - 7*o + 18 = 0. Is 2 a factor of f?
True
Let s(w) = 0 - w - 2*w + 6*w - 3*w**3 + 1. Is 4 a factor of s(-2)?
False
Suppose -2*u = -0*u + 62. Let f = 52 + u. Is f a multiple of 7?
True
Let g = -76 - -90. Does 4 divide g?
False
Suppose -612 = 2*x - 6*x. Does 9 divide x?
True
Suppose 0 = 5*z + 6 - 16. Suppose -z*w + 5*w - 72 = 0. Does 12 divide w?
True
Let k = -8 + 10. Suppose -f + 20 = 3*r, 2*f = -k*f - 3*r + 53. Is 5 a factor of f?
False
Let r(d) = 2*d - 10. Let y be r(7). Suppose -v - 135 = -y*v. Is v a multiple of 15?
True
Let x(q) = -q**2 + 3*q - 2. Let l be x(-3). Let r = l - -12. Is 7 a factor of (52/(-6))/(r/12)?
False
Suppose 3*h + 3*m - 18 = -3, -5*m = -3*h + 31. Let v = -3 + h. Is v even?
True
Suppose p = 3*p - 8. Let x be 39/12 - (-1)/(-4). Suppose -b = -2*b + x*q + 48, 144 = p*b + 4*q. Is 13 a factor of b?
True
Let n be (-11 - 1)*3/(-9). Suppose -n*l = -57 + 21. Is l a multiple of 9?
True
Let x = -2 - -10. Suppose -n + l + x = 0, 0*n + 2*l + 22 = 4*n. Suppose -152 = -g - n*g. Is 15 a factor of g?
False
Let u(s) = 2*s**2 + 2*s + 1. Let y be u(-1). Suppose -3*k - y = 4*o, -4*o - 4 = -0*o + 4*k. Suppose -l - 4*a + 15 = 0, 8*l + o*a - 21 = 3*l. Is 3 a factor of l?
True
Let o = 68 + -46. Suppose -5*r + 45 = q - o, 5*q + 43 = 2*r. Suppose -109 = -3*k + r. Is 11 a factor of k?
False
Suppose -6 = u - 2*t, -2*u - t = -3 - 5. Suppose -3*h - 19 = -4*r, -u*r + 29 = 2*h + 3*h. Is 7 a factor of r?
True
Suppose -5*l - 21 + 56 = 0. Does 7 divide l?
True
Suppose 2*i + i = 129. Suppose -2*t + 108 = 4*j, 4*j - 5*t = 37 + i. Let m = 41 - j. Is 8 a factor of m?
True
Suppose -4*s + 24 + 136 = 0. Is 9 a factor of s?
False
Suppose 15*i - 3203 = -1103. Does 20 divide i?
True
Suppose w + 6 = 2*q, -4*w + 4*q - 6 = w. Suppose w*p = -5*j + 184, -2*j = 5*p - 38 - 23. Does 13 divide j?
False
Let o(s) = s + 27. Is o(9) a multiple of 8?
False
Suppose -20 = -d + 5*a, d + 5*a = 5 - 35. Let m = -6 + -2. Let g = d - m. Is 3 a factor of g?
True
Let p = 17 - 9. Does 8 divide p?
True
Does 6 divide (3 + 7/(-2))*-60?
True
Let p = 2 + 2. Suppose p*s = -20 + 132. Does 9 divide s?
False
Let m = 66 - -18. Let n = m - 21. Does 24 divide n?
False
Suppose v - 2 = 3*v, j = 3*v + 26. Is 2 a factor of j?
False
Let q(h) = h**2 - 3*h - 4. Let j be q(4). Suppose j*g - g = -14. Is g a multiple of 14?
True
Suppose 4*i = 2*i - 6, 5*i - 10 = -5*t. Let h be t - 4 - (-1)/1. Suppose 0 = -d - h*d + 33. Is d a multiple of 11?
True
Let b = -1 - -4. Let s = b - -7. Is 10 a factor of s?
True
Suppose 20 + 6 = 2*r. Suppose -3*g = -2*o + 95, o - g = 37 + r. Is o a multiple of 19?
False
Does 4 divide 1/((-1)/28*-4)?
False
Let k(t) = 5*t**3 - 2*t**2 + 1. Is k(1) even?
True
Suppose 5*v + 32 = 2*r, -4*r + 35 = -3*v - 29. Let d = r - 10. Is d even?
True
Let q be (2/1 + -12)/2. Let k be (4 + q)/((-1)/(-87)). Does 19 divide k/(-2) - 15/(-10)?
False
Suppose -26 = -2*h + 18. Let f = h - -4. Is 13 a factor of f?
True
Let r(k) = k + 9. Let h(b) = b**3 + 6*b**2 + 3*b + 4. Let i be h(-5). Is r(i) a multiple of 9?
False
Suppose z = 3*p - 8, -3 + 6 = -z - 2*p. Let s be 15/z*(-8)/3. Is 9 a factor of s - 1*(-2)/2?
True
Suppose 619 + 233 = 12*o. Does 10 divide o?
False
Suppose -2*c = -h + 58, -3*h = -2*c + h - 64. Let k = c - -44. Is k a multiple of 11?
False
Let a = -3 + 8. Suppose -5*v - 8*n + 51 = -4*n, 0 = -3*v + a*n + 38. Let b = v + -7. Is b a multiple of 2?
True
Let c = 5 - -35. Is c a multiple of 40?
True
Suppose -2*c + 10 = 0, 3*u - 3*c = -4*c + 2. Let d be (-28)/8 - u/(-2). Is 14 a factor of 288/20 - d/(-10)?
True
Let p be (-2)/(-3)*18/4. Suppose 2*v - 3*r = 51, v = p*v - r - 61. Does 11 divide v?
True
Suppose 0 = -5*h - 0*h + 40. Is h/(-2)*(-63)/14 a multiple of 6?
True
Suppose -o + 35 = 5*a, a + 3*o - 26 = -o. Does 3 divide a?
True
Let v = 4 - -5. Let g = v - 6. Does 3 divide g?
True
Let w(j) = j**2 - 10*j + 1. Let x be w(10). Suppose -n + 3 = x. Is n even?
True
Suppose 4*m - 566 = -2*b, 5*m - 3*b = 91 + 633. Is m a multiple of 15?
False
Let n(q) = 2*q**2 - 2*q - 1. Is n(-5) a multiple of 23?
False
Let z = -1 - 12. Suppose -g + 40 = g. Let l = g + z. Is 3 a factor of l?
False
Suppose -3*c = c, -5*o - 50 = 4*c. Let v = -6 - o. Suppose -5*h - v*t = -56, 7*t - 2*t = 2*h - 29. Is 12 a factor of h?
True
Let g(y) = -y**2 + 15*y - 20*y - 3 + 4. Let u be g(-4). Suppose 0*o - u = -o. Is o a multiple of 3?
False
Suppose 8*x = 12*x - 16. Does 5 divide x/(-26) + (-446)/(-26)?
False
Suppose 4*h = -16, 0 = -y + h + 2. Let s be y - (-2 + -4 - -1). Suppose -i + 9 = s*z + 2*z, -4*i + z + 15 = 0. Is i a multiple of 4?
True
Let s(n) = n**3 + n - 1. Let b be s(0). Let l be ((b + 1)*-1)/(-2). Let u = l - -4. Does 2 divide u?
True
Let c(y) = y**3 + 23*y**2 + 32*y - 25. Is c(-21) a multiple of 31?
False
Suppose 4*i + 16 = -0*i. Let v be 30/(-4)*i/6. Suppose -a = v*b - 51, 15 = 5*b - 10. Does 13 divide a?
True
Let b(a) = 2*a**2 + 12*a - 7. Let s be b(5). Let d = -54 + s. Is 22 a factor of d?
False
Let g be (1/(-2))/((-2)/16). Suppose -g*k = 4*w - 32, -5*k - w + 2*w + 28 = 0. Is 6 a factor of k?
True
Let f(j) = j**3 - 8*j**2 + 15*j - 7. Is 24 a factor of f(7)?
False
Let j = 236 - 155. Is j a multiple of 13?
False
Suppose 3*t + 2*u = 49, -2*u = 2*t + 5 - 39. Suppose 0 = 2*r - 2*i - 18, -t = -2*r - i + 18. Is r a multiple of 5?
False
Let r be ((-2)/(-3))/((-2)/36). Let a be (4/r)/((-1)/18). Does 8 divide 50/a - (-1)/(-3)?
True
Let h(b) = 2*b - 10. Is h(8) a multiple of 2?
True
Is (-114)/4*(-2)/3 a multiple of 10?
False
Suppose -2*z + 32 + 115 = k, -3*k = -z + 77. Suppose y - 9 = -i + 1, -i = -5*y + z. Is y a multiple of 14?
True
Does 2 divide ((-6)/(-5))/(((-81)/(-60))/9)?
True
Does 7 divide 23/(-2)*(-10 + 8)?
False
Suppose 2*c - c = 9. Let x = c - -1. Is 5 a factor of x?
True
Let a = 0 - -2. Suppose 0 = 3*r - r + a. Let o = 7 - r. Is 4 a factor of o?
True
Let n(r) be the second derivative of -r**5/20 + 7*r**4/12 - r**3/2 - 4*r**2 - r. Is 10 a factor of n(6)?
True
Suppose 9*p + 50 = 14*p. Is 10 a factor of p?
True
Suppose 17*i = 16*i + 3. Suppose 2*w + 54 = 2*o - 2*w, i*o - 88 = -w. Does 7 divide o?
False
Is 19 a factor of ((-19)/(-2))/(3/18)?
True
Let s(p) = -2*p**3 - 2*p**2 + p - 1. Let m be s(-2). Suppose 12 + 43 = m*d. Is 5 a factor of d?
False
Let y(f) = f**3 - 3*f**2 + 3*f - 6. Let k be y(3). Is k*12/(8/2) even?
False
Suppose 0 = -2*m + 19 + 165. Does 10 divide m?
False
Suppose d - 2 + 0 = 0. Suppose -2*m + 5*w + 59 = -39, m - 51 = d*w. Suppose 5*o - 11 = m. Is 14 a factor of o?
True
Suppose -20 = -0*f - 2*f. Suppose -4*o = -16, -f = -2*y - 2*o + o. Suppose -b + 2*k - 58 = -5*b, -76 = -y*b + 5*k. Is 11 a factor of b?
False
Is (-11)/(12/(-4) - -2) a multiple of 7?
False
Let x(d) = 5*d + 1. Does 5 divide x(2)?
False
Let g = -16 - -27. Let u = 33 - g. Is u a multiple of 15?
False
Let p(n) = -n**2 - 6*n + 4. Let j be p(-6). Is 4/6 + j/3 a multiple of 2?
True
Suppose -4*u + 2*p = -2*p - 16, 2*u - 8 = -p. Let a = 12 - u. Does 6 divide a?
False
Let z = -88 - -112. Does 3 divide z?
True
Suppose 0 = -3*j + j + 2. Let g(s) = -s**2 + 5*s + 5. Let y be g(5). Let i = y - j. Is 4 a factor of i?
True
Suppose -4*w = 2*r - 6, -5*w + 0*w - 2*r = -9. Suppose u - 164 = -5*d - 1, -3*d = w*u - 105. Is d a multiple of 19?
False
Suppose 2*y - y - 3 = 0. Let i be 239 + (-1)/(-3)*y. Suppose 0*v - 4*v + i = 0. Is v a m