+ 21 = -13*o. Is 2 a factor of o?
False
Suppose -4*j + 256 = -4*c, 5*j - 4*c = 98 + 225. Is 21 a factor of j?
False
Let f = 489 - 316. Does 47 divide f?
False
Suppose 0 = 4*z - 1 + 5. Let t be (-2)/4*(-4)/z. Does 4 divide (-1)/t - (-45)/6?
True
Let s(t) be the first derivative of t**4/4 - 4*t**3/3 + 2*t**2 + 2*t - 1. Does 9 divide s(4)?
True
Suppose i = -i + 2*a + 14, -35 = -5*i - a. Suppose -4*v + 3*h + 4 = i*h, 2*v - 3*h + 3 = 0. Is v + -2 + (15 - 1) a multiple of 5?
False
Let g be (-2 - 0)/((-8)/(-12)). Let z be 6/(-9)*g/1. Suppose 3 = -z*b + 15. Is 6 a factor of b?
True
Let r(a) = -2*a + 10. Let i(n) = 12*n**3 - n**2 - n. Let w be i(-1). Is r(w) a multiple of 17?
True
Let h(r) = -5*r**2 + 0*r + 3 - r**3 + 0*r. Suppose -2*x + 4*l = 8, 0*l + l + 1 = 0. Is 13 a factor of h(x)?
True
Let z = -97 - -167. Is z a multiple of 19?
False
Let o(b) = 2*b**2 - 10*b + 2. Let c be o(4). Is 25 a factor of (4/c)/(8/(-300))?
True
Let j = 92 - 78. Is 7 a factor of j?
True
Let l = -175 - -266. Suppose 3*m - 57 = 3*q, -3*m - q + l = m. Is m a multiple of 4?
False
Let f = 0 + -2. Let n be 1 - (-1 + f + 4). Suppose 0 = -5*y + 4*p + 153, 3 + n = p. Is 11 a factor of y?
True
Suppose -w + 4 = -p, 0 = -2*w - 9*p + 5*p + 8. Suppose 0*m - 28 = w*m. Let q(t) = t**2 + 4*t - 8. Is 5 a factor of q(m)?
False
Let y(i) = -i - 4. Let d be y(-4). Suppose 0 = -5*g, k + d*g - 4*g = 5. Suppose -4*w = 4*x - 18 - 26, -k*x + 4*w = -91. Does 10 divide x?
False
Is 38*(2 - ((-22)/(-4) - 4)) a multiple of 19?
True
Let c be (1/2)/(2/12). Suppose n - c = 6*r - r, 0 = 2*r. Is 18 a factor of 58*n*3/18?
False
Let u(w) = w**3 + 5*w**2 + 3*w - 1. Let k be u(-4). Let l = k + 12. Is 15 a factor of l?
True
Let m = 13 - -17. Is m a multiple of 15?
True
Is (30 - 3)*(-2 + 4 - 1) a multiple of 3?
True
Let p(n) = n + 39. Let u(h) = h**3 + 3*h**2 - 3*h + 4. Let q be u(-4). Is 13 a factor of p(q)?
True
Suppose -4*k + 21 = -5*s, 3 = 2*s + 5*k - 15. Is 13 a factor of (-2)/3*(-38 + s)?
True
Let i(k) = -k**2 - 11*k - 10. Let t be i(-7). Suppose -z + t = 2*c - 2*z, -27 = -3*c - z. Suppose 117 = 4*x + c. Is 11 a factor of x?
False
Let p = -1 - -3. Suppose -t + 4*t + 9 = -p*d, 3 = -d - t. Does 11 divide d/1 + 3 + 19?
True
Let v = 0 + 5. Suppose 5*o = -7*n + 3*n + 186, -2*o - v*n = -71. Is o a multiple of 19?
True
Let g(b) = -b**3 - 2*b**2 + 4*b + 8. Is g(-5) a multiple of 3?
True
Is 15 a factor of (32/(-12) - -2)/(1/(-135))?
True
Let l(s) be the third derivative of s**6/120 - s**5/20 + s**4/4 - 2*s**3/3 + s**2. Does 20 divide l(4)?
False
Let m = 18 - 14. Suppose f = m*a - f - 190, 2*a - 101 = -f. Is a a multiple of 9?
False
Suppose 6*d = -d - 14. Does 10 divide ((-20)/8)/(d/24)?
True
Let w be 806/(-18) + 2/(-9). Let y = -21 - w. Does 8 divide y?
True
Let z(i) = -i + 6. Let l be z(7). Let d = l - -7. Suppose -d*t + 60 = -t. Is 6 a factor of t?
True
Suppose 2*u = 7*u - y - 141, 50 = 2*u - 2*y. Is u/8*2*4 a multiple of 18?
False
Let o(n) = n**3 + 7*n**2 + 6*n + 5. Let p be o(-6). Suppose -5*u + 4 + 51 = 5*x, 49 = p*u - x. Does 10 divide u?
True
Suppose -4*k + 3*k + 2 = 0. Let h(j) be the third derivative of 7*j**4/12 - j**3/3 - 8*j**2. Is 13 a factor of h(k)?
True
Is (168/105)/((-2)/(-15)) a multiple of 6?
True
Let h be (-2)/((-6)/(-10) - 1). Suppose h*t + 11 = -2*x, 2*t + 21 = -3*t + 3*x. Is 3 a factor of (24/9)/((-1)/t)?
False
Let c = 4 + -8. Let x = c + 4. Suppose x = -2*m + p + 41, -4*p - 52 - 2 = -3*m. Is m a multiple of 11?
True
Let i be (-28)/(2 - (-12)/(-9)). Let t be i/(-12)*8/14. Is 6 a factor of ((-6)/7)/(t/(-14))?
True
Let m(n) = n - 1. Let a be m(8). Suppose 3 = -5*d - a. Let y(b) = 18*b**2 - 2*b. Is y(d) a multiple of 28?
False
Suppose -3*j - 800 = -7*j. Does 27 divide -3 - 1/((-2)/j)?
False
Let n(r) = 5*r**2 + 4*r. Let c be n(3). Suppose c = j + 2*j. Is j a multiple of 16?
False
Let d(i) = i**3 + 7*i**2 - 8*i + 5. Let l be (-3)/((-15)/24 - -1). Let u be d(l). Suppose 15 = u*y - 15. Is 3 a factor of y?
True
Let g = 17 - 7. Let i(c) = 2*c - 12. Does 7 divide i(g)?
False
Let v(c) = c + 7*c**2 - c**3 - 2*c - 3 - 3*c - 5*c**2. Is v(-4) a multiple of 22?
False
Suppose 357 = 3*a + 3*w, 4*w + 575 = 4*a + 131. Does 23 divide a?
True
Suppose i - 3*i = 0. Suppose -3*o = -i*o - 45. Is 9 a factor of o?
False
Let a(u) = -u**3 - 6*u**2 - u + 1. Suppose 0 = 2*b - b - 3. Let o(l) = -3*l**3 - 11*l**2 - 3*l + 1. Let c(z) = b*o(z) - 5*a(z). Is 14 a factor of c(-2)?
False
Suppose -5*f = -2*f - 12. Is f a multiple of 2?
True
Let h(s) = 92*s**2 - 2*s - 1. Does 31 divide h(-1)?
True
Let j be 22*(2 + 5 + -2). Let n be (-4)/(-12) - j/(-3). Suppose -5*k + 13 + n = 0. Does 5 divide k?
True
Let i = -36 + 172. Suppose 4*r - 51 = 3*r + 4*s, 4*r + s = i. Is 18 a factor of r?
False
Let w be 264/5 + 1/5. Suppose 3*k - 79 = 4*r, -3*r + 0*r - w = -2*k. Is k a multiple of 11?
False
Let r = 3 + 0. Let x(o) = 2 - 7*o**2 + 2*o**3 + 2*o + r*o**2 + o. Does 17 divide x(3)?
False
Suppose -3 = -5*c + 7. Suppose -c*f = -16 - 0. Does 8 divide f?
True
Let t = -4 + 11. Let c(j) = j**2 - 3*j - 10. Is c(t) a multiple of 18?
True
Does 3 divide 35*((-68)/(-20) + -3)?
False
Let b(w) = 3*w**2 + w - 3. Let x(r) = -8*r**2 - 4*r + 9. Let c(d) = 11*b(d) + 4*x(d). Let y be c(8). Suppose -y = -5*h + 8. Is h a multiple of 7?
True
Let d be 96/36*(-3)/2. Let b(m) be the third derivative of -m**4/8 - m**3 - 2*m**2. Is b(d) even?
True
Suppose -2*q - 3*q - 4*k + 85 = 0, -4*q - 3*k = -68. Is 3 a factor of q?
False
Is (-4 - 21)*(-15)/25 a multiple of 15?
True
Suppose 28 = -z + 5*z. Let m(u) = 7*u - 10. Let g be m(z). Let o = g - 20. Is 19 a factor of o?
True
Suppose 67 - 189 = -4*j + 3*v, 3*v - 81 = -3*j. Suppose -h - 4 = 0, -242 = -5*y - 3*h - j. Does 15 divide y?
True
Let w(u) = u**2 + 10 + 4*u - 10 - 3. Let t = -4 + 7. Does 9 divide w(t)?
True
Let o(c) = 2*c**3 - 2*c**2 + 2*c. Let g be o(2). Suppose 4*r = 2*f - 66, 12 = f - 5*r - g. Let d = 71 - f. Is 19 a factor of d?
False
Suppose -3*t + 313 = -d, 3*t - d + 207 = 5*t. Does 11 divide t?
False
Suppose 0*y + y = 11. Let s = 26 + -34. Let i = y + s. Does 2 divide i?
False
Let u(w) = -w**3 + 7*w**2 + 5*w - 6. Does 6 divide u(7)?
False
Suppose -4*b = 5*t - 51, -3*b + 9 + 24 = 2*t. Is b even?
False
Suppose 0*x = -4*x - 16. Is x/1*(-3 - 6) a multiple of 18?
True
Let q be (-3)/3 - (-7 + 1). Let c(r) = -r**2 + 11*r - 6. Let v be c(q). Suppose 4 = 2*k, w - 5*k = -w + v. Is w a multiple of 17?
True
Is (4/1)/((-2)/(-6)) a multiple of 8?
False
Is 9 a factor of 12/(-8) - (-93)/6?
False
Suppose -5*i = -11 - 74. Is i a multiple of 6?
False
Let k(d) = -1 - 4 - 2*d + 3. Is 4 a factor of k(-3)?
True
Suppose -4*a + 24 = -8. Let y = a + -5. Suppose 0*j = -y*j + 90. Is j a multiple of 10?
True
Let i be 5/(25/6)*-5. Let v = 10 + i. Suppose -2*r - 2*r - 4*t = -36, v*r + 2*t = 26. Is r a multiple of 2?
True
Is 11 a factor of -1 - ((-12)/(-3) - 81)?
False
Let u = -6 - -1. Let h(z) = -z**2 - 5*z - 1. Let x be h(u). Let m = x - -32. Does 13 divide m?
False
Is 3 a factor of (-8 - -11) + 0/1?
True
Suppose 5*z = 2*z + 48. Let n = z - 1. Is n a multiple of 9?
False
Let m(j) be the second derivative of -j**4/12 - 7*j**3/3 - 9*j**2/2 - j. Does 15 divide m(-12)?
True
Let m be (-195)/(-40) - 1/(-8). Suppose -4*f - t = -495, m*t + 118 + 32 = f. Is 37 a factor of f?
False
Let k be 12/(-3)*(-4 + 2). Let n(z) = -z - 8. Let b be n(-5). Let c = k - b. Is 7 a factor of c?
False
Suppose -2*n + i = n - 123, 0 = 2*n - 4*i - 72. Does 7 divide n?
True
Suppose -2*b = -4*v - 26, -v + 3*v - 17 = -5*b. Suppose -4*z = -b*z + 28. Does 13 divide z?
False
Let u(m) be the second derivative of m**3/2 + m**2/2 + 2*m. Is 10 a factor of u(3)?
True
Suppose 256 - 22 = 3*u. Is u a multiple of 23?
False
Let g(s) = -18*s. Let q be g(-2). Does 12 divide q + (-2 - 2) + 2?
False
Let f(m) = 3*m + 23. Does 26 divide f(17)?
False
Let p = 33 + -20. Does 13 divide p?
True
Let p be 12/(-10)*(-100)/30. Suppose 45 = p*c - 3*c. Is 15 a factor of c?
True
Let l(r) = -r**3 + 6*r**2 + r - 2. Let x be l(6). Suppose x = 4*g - 2*g. Suppose 4 = 2*m, -3*y = -g*m - 22 - 46. Does 10 divide y?
False
Let j be (-42)/(-9) - (-1)/3. Suppose 96 = 4*k + 4*g, 0 = -k + 5*k + 3*g - 92. Suppose 0 = 10*o - j*o - k. Is 3 a factor of o?
False
Let n(l) = -5*l**2 + l + 2. Let c be n(-2). Let g be 4/c + (-192)/(