12)/(-18)) a multiple of 2?
True
Let v = 40 - 5. Suppose 91 = 3*u - v. Is 14 a factor of u?
True
Let g(j) = -2*j + 5. Let a be g(0). Suppose a*f = f + 324. Is 16 a factor of f?
False
Let m be ((-33)/9)/(1/(-3)). Let u = m + 4. Is 9 a factor of u?
False
Does 3 divide -5 - 0 - (-13)/1?
False
Let g be -1 + (16 - 1)/3. Suppose -g*p + 2*p = y - 25, -5*y + 164 = -3*p. Is y a multiple of 13?
False
Let x(v) = 2*v**2 - 6*v + 20. Is 23 a factor of x(-9)?
False
Let w(c) = c. Let g be w(4). Let t(u) = u**2 - 3*u - 24. Let k be t(7). Suppose 0*l = -3*l + 9, g*l = k*d - 84. Does 9 divide d?
False
Suppose z - 25 - 7 = 0. Suppose 0*t - 3*t = 5*c - z, -3*t = -3*c + 24. Let i = 9 - c. Is i a multiple of 2?
True
Suppose 3*o - 149 = 4*c, 0 = 5*o + 4*c - c - 287. Is 11 a factor of o?
True
Let f = 91 - 53. Is 14 a factor of f?
False
Let k(f) = 3*f + 5. Let b(l) = 3*l + 5. Suppose 2*y = -3*y + 3*p + 28, -18 = -3*y + 3*p. Let q(z) = y*k(z) - 6*b(z). Does 5 divide q(-5)?
True
Suppose 2*q = -l - 0*q + 1, 0 = -l - 4*q + 9. Let a = 12 + l. Is a a multiple of 5?
True
Let h = 6 + -6. Suppose 3*i + h = 3, -4*q + 4*i = 0. Let m(a) = 17*a - 1. Is 16 a factor of m(q)?
True
Let c(s) = -5*s. Let o(w) = -w. Let b(n) = -c(n) + 6*o(n). Let g be b(4). Let p(t) = -t**3 - 3*t**2 - 1. Does 15 divide p(g)?
True
Suppose -4*o + 21 + 27 = -4*t, -o - 3*t + 20 = 0. Let f = -5 + o. Let j = 13 - f. Is j a multiple of 2?
True
Let b(d) = 2*d + 8. Is 12 a factor of b(8)?
True
Suppose -b - 3*r + 3 = 0, -b - 4*r - 2 = -3. Is b a multiple of 3?
True
Let k = -30 + 43. Suppose 3*n = k + 5. Does 5 divide n?
False
Suppose 0 = -0*s + 2*s - 4, 62 = 5*v + s. Is v a multiple of 2?
True
Let p = -1 + 63. Suppose 0*a + a = 44. Let q = p - a. Does 9 divide q?
True
Let n = 189 - 19. Is n a multiple of 42?
False
Let l = -391 - -571. Is 9 a factor of l?
True
Suppose -j - 4*s = 13, -5*j + 2*s + 45 = -0*j. Is 7 a factor of j?
True
Let t be 2/(5/(50/(-4))). Is 17 a factor of 4/20 + (-254)/t?
True
Suppose 0 = a + a - 2. Let j be 0 + a + 2 + 57. Suppose 0*i + j = 5*i. Does 6 divide i?
True
Let f(s) = 2*s**2 - 3*s + 2. Does 22 divide f(-8)?
True
Let f = -10 - -13. Is 2 a factor of f?
False
Let h be 5*3/(3*-1). Let y = h - -3. Does 17 divide 4/y + 2 + 34?
True
Let z be (8/3 - 2)*-6. Let r(f) = f**3 + f**2 + f - 1. Let c(i) = -2*i**3 - 5*i**2 - 4*i + 5. Let j(o) = c(o) + r(o). Is 6 a factor of j(z)?
False
Let g = 222 + -150. Suppose 2*v - 2*i - g = 0, v = 4*i + 43 - 10. Is v a multiple of 19?
False
Let r be 1*3/(-9)*-3. Let z(u) be the third derivative of u**5/5 - 2*u**2. Is 6 a factor of z(r)?
True
Suppose 0 = -2*i + i + 4*s + 53, -3*i + 3*s = -150. Does 7 divide i?
True
Let b(w) = -3*w - 1. Let s be b(-1). Suppose -3*i + 5*g - 8 = -5*i, -g = -3*i + 29. Does 7 divide s*14/12*i?
True
Let p(y) be the second derivative of y**5/20 - y**4/2 + y**3 - 3*y**2 - 2*y. Is p(6) a multiple of 10?
True
Let v be -3*2/6*-3. Does 3 divide (v*-2)/3*-2?
False
Let r(u) = u**3 - 11*u**2 - 9*u + 3. Is r(12) a multiple of 13?
True
Let x be (-2)/(-5) + 1540/25. Suppose 5*y - 33 = x. Suppose -6 = -5*f + y. Is 5 a factor of f?
True
Suppose 0 = j + 3*w - 240, -3*j + 2*w + 700 = 6*w. Is 58 a factor of j?
False
Let t(h) = 3*h**2 + 1. Let g be t(1). Suppose 9 = g*c - 43. Is c a multiple of 13?
True
Let u = 275 - 55. Is u a multiple of 27?
False
Let s(x) = x**3 - 5*x**2 - 8*x - 4. Does 26 divide s(7)?
False
Is 6 a factor of ((-42)/(-35))/(1/20)?
True
Suppose -4*v = -v - 252. Let i = v - 190. Let z = i + 153. Does 17 divide z?
False
Let h(a) = 7*a**2 + 2*a + 6. Is 9 a factor of h(-3)?
True
Let f be (-11)/(-3) - 5/(-15). Suppose -f*p + b + 240 = 5*b, 4*b = -p + 69. Is 19 a factor of p?
True
Let p = -25 - -49. Is 6 a factor of p?
True
Suppose 4*o - 4 = 0, -3*v + 5*o + 0 = -1. Suppose -v*k + 86 = -0*k. Does 15 divide k?
False
Let i = -2 - -11. Let u(w) = w - 10. Let r be u(i). Is 0 - (r - -2 - 17) a multiple of 16?
True
Let u(v) = -v**3 - 4*v**2 - v + 6. Is 18 a factor of u(-5)?
True
Let u(v) = 75*v**2 - 8*v - 7. Does 31 divide u(-1)?
False
Let o = 94 + -66. Suppose 0 = -f + o + 13. Does 9 divide f?
False
Suppose 0 = -38*t + 33*t + 130. Does 13 divide t?
True
Let x(d) = -4*d**2 + 2*d + 2*d**2 - 1 - 6*d - d**3. Suppose 13 = -w + 5*f, 0*w - 4*f + 14 = -2*w. Is 15 a factor of x(w)?
False
Let n(u) = -u**3 - 5*u**2 + 6*u + 5. Let o be n(-6). Suppose -102 = -o*w + 128. Is w a multiple of 10?
False
Let y(b) = -44*b**2 - b + 1. Let g be y(1). Let h(u) = 19*u**2 - 3*u - 4. Let j be h(-2). Let a = j + g. Is 15 a factor of a?
False
Let l(d) = d**2 - d. Is l(3) a multiple of 2?
True
Let c(l) = -8*l - 3. Is c(-2) a multiple of 5?
False
Suppose -5*r = -297 - 53. Is r a multiple of 14?
True
Is 7 a factor of 37 + (3 - -1) + -6?
True
Let y(j) = j**2 + 5*j - 1. Let a(n) = n**2 - 9*n + 8. Let v be a(7). Let m be y(v). Suppose b + 0*b = -m*f + 15, 3*b = 3*f - 9. Does 2 divide f?
False
Let t(s) = s**3 + 7*s**2 - s + 5. Let n = 5 - 11. Does 20 divide t(n)?
False
Let i(n) = n + 8. Let j be i(-6). Suppose -5*p + 3*u + 11 = -1, -4*p + u = -4. Suppose j*h + p*h = 64. Is h a multiple of 12?
False
Let b be 1*(-8)/10*-5. Let d = -59 - -99. Suppose -b*y = y - d. Is 4 a factor of y?
True
Is 18 a factor of (12/9)/((-4)/(-6)) + 70?
True
Suppose 2 = -2*g + 3*g. Suppose 0 = -4*i + g*x + 74, -42 = -2*i - x + 3*x. Does 16 divide i?
True
Let h be 0/(-2)*(-2)/4. Suppose 0 = -5*q - z + 15, h = -q + 4*z + 34 - 10. Suppose 0 = -2*u + q*c + 56, -u - 2*u + 70 = c. Does 9 divide u?
False
Suppose 288 = 10*t - 6*t. Is 12 a factor of t?
True
Suppose 0 + 48 = 4*n + 5*t, -5*n + 23 = -3*t. Let v(c) = 2*c - 8. Does 3 divide v(n)?
True
Suppose c + 3*u - 18 = 0, -c + 4*c = 3*u + 54. Does 9 divide c?
True
Let q(b) = 14*b + 1. Suppose 2*i = -2*a + 8, 4*a - 2 = 6*i - 3*i. Does 13 divide q(a)?
False
Let z = -322 + 158. Let t = -84 - z. Does 21 divide t?
False
Let d be (4/6)/((-4)/(-6)). Suppose 0 = 4*s - 0*s + 3*o + 9, -6 = s + 2*o. Does 3 divide d/(s + 3/18)?
True
Suppose 6 = 4*y + 2. Is 23 a factor of y/(-2) + 930/20?
True
Let d = -5 + 10. Suppose -72 = -w + d*w. Does 18 divide w/((-1)/2*1)?
True
Suppose -2*s - 30 = 3*s. Let j(m) = -4*m**3 - 8*m**2 + 5*m - 2. Let v(y) = -7*y**3 - 15*y**2 + 9*y - 4. Let o(r) = -5*j(r) + 3*v(r). Is 13 a factor of o(s)?
False
Let a(o) = 18*o**2 + o. Suppose 5*m + 27 - 7 = 0. Let f = 3 + m. Does 13 divide a(f)?
False
Suppose 4*a = -5*l + 160, 0 = -0*a - a - 2*l + 43. Is 5 a factor of a?
True
Is 17 a factor of (-4)/((-1 - -3)/(-34))?
True
Let b(o) = -2 - 5*o - 7*o**2 - o**2 + 6 + o**3. Let p be b(9). Suppose 2*z - 39 = 3*r, 3*r = -3*z + 56 + p. Is 15 a factor of z?
False
Let c(z) = z**3 - 7*z**2 + 7*z - 4. Let j be c(6). Suppose 0 = -j*h - 0*h + 24. Is h a multiple of 8?
False
Let s(o) = o**2 - 12*o - 14. Is 8 a factor of s(15)?
False
Let o be (1/3)/(4/36). Suppose -3*w = 2*j - 110, o*w - 37 = 2*w - j. Does 18 divide w?
True
Let o be ((-6)/5)/((-9)/(-30)). Let q = o + 9. Is q a multiple of 5?
True
Suppose -2*k = 3*y - 117 - 12, -3 = -y. Is 10 a factor of k?
True
Suppose 0 = 3*t - 5*q, 4*t - 4*q = -3*q. Suppose -n + 50 - 14 = t. Does 16 divide n?
False
Let l = -43 + 65. Suppose 3*m + 2*z - l = -0, 3*z - 5 = -m. Is 4 a factor of m?
True
Let i = 170 - 97. Does 8 divide i?
False
Let k = 0 - 0. Let z be (k + -1)*(-54 + -1). Suppose 7*c + 15 = 4*c, -5*c = -3*m + z. Is m a multiple of 8?
False
Let k = -13 + 25. Is 3 a factor of k?
True
Suppose 0 = 5*l - 7*l + 84. Does 7 divide l?
True
Suppose -5*k = 0, 4*k - 2*k = 5*i - 25. Suppose -5*q - i*f = -45, -q + 15 = q + f. Is 21 a factor of 1 + 3*q + 2?
True
Let t = 439 - 295. Does 36 divide t?
True
Let u(v) = 20*v**2 - 1. Let y(r) = -2*r. Let j be y(-2). Suppose 0 = -5*p - j - 1. Is 17 a factor of u(p)?
False
Is ((-88)/(-16))/(2/8) a multiple of 11?
True
Let n be 237/(-1)*1/(-3). Suppose -b + n = -58. Suppose 3*t + t + 5*g - b = 0, g = -4*t + 133. Is t a multiple of 15?
False
Let f(o) = -8*o - 4. Let a be f(-3). Does 8 divide (a - 1)*(-4 + 5)?
False
Suppose 3*z = b - 49, -69 - 1 = 5*z - 4*b. Is 6 a factor of z*(2 + (-24)/9)?
True
Let g = -3 - -4. Is (-2 + -9)/((-1)/g) a multiple of 7?
False
Let f(r) = -12*r + 6. Let y(c) = -1. Let g(u) = f(u) + 6*y(u). Let m be g(-3). Suppose 4*s + 0*s = 4*n - 24, -5*n + m = -3*s. Is n a multiple of 9?
Tru