3 - 1). Suppose 5*o + 2*m - 21 + 69 = 0, 0 = m - n. Let v(t) = t**3 + 9*t**2 - 13*t - 13. Is v(o) a multiple of 10?
False
Suppose 5*y + 18 + 9 = 3*h, 0 = h - 3*y - 5. Is 28 a factor of h/91 - (-2841)/39?
False
Let u be 10/(-25) - 827/(-5). Suppose c - u = -3*h, -h = -6*h - 2*c + 274. Does 14 divide h?
True
Let n be (-170)/(-7) + (-8)/28. Let c be (0 - -2)/(2/5). Suppose -3 - n = -b + 2*q, c*q - 10 = 0. Is 11 a factor of b?
False
Suppose -14*y + 6096 = 2*y. Is y a multiple of 12?
False
Suppose -3*h + 0*h + 165 = 4*j, 3*h - 147 = 2*j. Is 51 a factor of h?
True
Suppose 11*t - 373 = 1046. Is 37 a factor of t?
False
Let g = 38 - 16. Suppose -4*k = 2*i - g, -2*i + 4*k + 22 = 2*k. Does 3 divide i?
False
Suppose 3*i = -2*i. Suppose -2*c = -i*c + 4. Is 3 a factor of (c/(-3))/(4/30)?
False
Suppose 4*j = -y + 53, -2*y = 3*j - j - 28. Suppose 4 = 2*x - 4*q, -4*x + 3*q + 0*q + j = 0. Is 12 a factor of (x/(-6))/(12/(-1026))?
False
Let l = 32 - -74. Let b = l + -61. Is 23 a factor of b?
False
Let r be (-1)/(-3) + 304/24. Suppose r + 37 = 2*k. Is k a multiple of 16?
False
Let c(h) = -2*h + 3. Let v be c(7). Let x = 26 + v. Does 10 divide x?
False
Let f = 0 - -3. Suppose 2*s = -f*s + 85. Is 6 a factor of s?
False
Let l(f) = -f**3 - 2*f**2 + f. Let d be l(-2). Is 15 a factor of (0 + (d - -1))*-30?
True
Suppose -3*c - 287 = 4*o, 5*o = -0*o + 4*c - 382. Let m = 106 + o. Is m a multiple of 16?
True
Let l(p) = p**2 - p - 10. Does 38 divide l(10)?
False
Let z(y) = y**3 + 3*y**2 + 2. Let i be z(-3). Suppose d - 122 = 71. Suppose -5*w + d = 5*l - i, l - 125 = -3*w. Does 15 divide w?
False
Suppose -5*w + 12 = -2*w. Is 2 a factor of w?
True
Suppose -2*n - 2*n + 5*c = -37, 0 = -4*c - 4. Is n a multiple of 5?
False
Is 6 a factor of (-552)/(-18) - 4/(-18)*-3?
True
Suppose -2*s + 150 = 3*u - u, -s = -3*u + 229. Is u a multiple of 20?
False
Suppose 3 = 4*n - 3*n. Let g = 7 - n. Is g a multiple of 2?
True
Let f(o) = -2*o**3 + 3*o**2 - 6*o - 7. Let u(y) = y**3 - 4*y**2 + 5*y + 6. Let j(m) = -2*f(m) - 3*u(m). Is 7 a factor of j(-6)?
True
Let g(s) = -s**3 + 12*s**2 + 3*s - 14. Does 11 divide g(12)?
True
Let y = -11 + 13. Is y even?
True
Let v(l) = l**2 - 6*l + 10. Let o(t) = 3*t - 7. Let q be o(4). Does 5 divide v(q)?
True
Let v = -20 - -5. Let k = v - -29. Does 14 divide k?
True
Let f = 82 - 30. Is 13 a factor of f?
True
Let w(p) = 68*p**2. Does 34 divide w(-1)?
True
Let u = 12 + -14. Let j = 7 + u. Is j even?
False
Let r(g) = -2*g - 2. Let p be r(2). Let f(w) = -w**2 - 4*w + 6. Let i be f(p). Is 16/6*(i - -12) a multiple of 8?
True
Suppose -3*l - 44 = -167. Is 10 a factor of l?
False
Suppose -370 = c + 4*c. Is c/(-6) + 1/(-3) a multiple of 6?
True
Suppose -4*k - 16 = 0, m - 2*k = 5*m - 664. Is 21 a factor of m?
True
Let r = 95 - 33. Suppose -4*h - t - t = -r, 3*h - 3*t = 42. Suppose -o + h = 2*o. Is o a multiple of 2?
False
Let u(h) = h**3 + 4*h**2 - h + 2. Let b be u(-4). Suppose 0 = -3*f + 84 + b. Does 15 divide f?
True
Suppose 4*u = -3*d + 6*d - 9, 5*u + 10 = 4*d. Let s(q) = -3*q - 8. Does 3 divide s(u)?
False
Is 14060/665 - (12/(-14) - -1) a multiple of 9?
False
Let x = 3 + 142. Suppose -5*l + d + x = -4*d, l = -d + 37. Is 11 a factor of l?
True
Let m = 279 + -183. Is 20 a factor of m?
False
Let h = 82 - 30. Does 14 divide h?
False
Let v(l) = 94*l**2 - 2*l - 2. Does 18 divide v(-2)?
True
Let n(u) = u**2 + 5*u - 6. Is n(5) a multiple of 11?
True
Let j(u) = 3*u + 1 - u + 34*u**2 + 0*u. Is 11 a factor of j(-1)?
True
Does 3 divide (-15)/2*(-8)/12?
False
Suppose 19 = 5*d - 1. Suppose -f = -d*f + 12. Is 4 a factor of f?
True
Let o(v) = -v**2 + 26*v + 15. Does 7 divide o(24)?
True
Suppose 15 = -9*y + 14*y. Suppose 0*z - 8 = -2*z, 0 = w - y*z - 14. Is 13 a factor of w?
True
Let t = 69 - 36. Suppose 5*m - t - 32 = 0. Is m a multiple of 13?
True
Let j(c) = 112*c**3 + 1. Let y be j(-1). Suppose -5*f = -f + 252. Let r = f - y. Does 21 divide r?
False
Let d = -11 + 16. Suppose -d*m + 2*i + 3*i + 65 = 0, 0 = 2*m - 4*i - 32. Is m a multiple of 10?
True
Let w(p) = -p**3 + 6*p**2 - p + 4. Is 7 a factor of w(5)?
False
Let l = -143 + 263. Is l a multiple of 30?
True
Suppose 0 = -0*y + 5*y - 10. Let r = 15 - y. Does 6 divide r?
False
Let z(s) = 2*s**2 - s - 14. Is z(-6) a multiple of 5?
False
Let p(f) = -3 - f**3 - 7*f**2 + 0 - 9*f - 2. Let b = 6 + -12. Is 6 a factor of p(b)?
False
Let y(g) be the second derivative of -g**3/6 - 4*g. Is y(-4) a multiple of 3?
False
Suppose -h - h = -324. Suppose 0 = p + 2*p - h. Is p a multiple of 11?
False
Let f(k) = -k + 1. Let z(u) = -7*u + 9. Let b(c) = -6*f(c) + z(c). Is 11 a factor of b(-8)?
True
Let l(j) = -j + 5. Does 4 divide l(-12)?
False
Let k be -90 + 0*(1 + 0). Let w = 3 + -3. Does 15 divide k/(-2) + w + 1?
False
Is 15 a factor of ((-14)/21)/(447/225 + -2)?
False
Let b(g) = -g + 7. Let a be b(4). Suppose 0*s = 3*s - 57. Let u = a + s. Is u a multiple of 16?
False
Let t(h) = -h**3 - 4*h**2 - 6*h + 7. Is 27 a factor of t(-6)?
False
Suppose 0 = -b - 4*c + c + 28, 0 = -4*c - 20. Does 12 divide b?
False
Suppose -3*l + 6*l - 225 = 0. Is 25 a factor of l?
True
Let w be (2 - (-9)/(-3)) + -2. Let d = w - -4. Let x = d + 16. Is 17 a factor of x?
True
Let h be (-236)/(-9) + 2/(-9). Suppose -2*n - h = 5*w + 5, -3*w - 9 = 0. Let m = 21 + n. Is 13 a factor of m?
True
Suppose 25 + 20 = 3*l. Let v(i) = i. Let t be v(2). Suppose 2*n = t*s + s + l, -n = -s - 7. Is 6 a factor of n?
True
Let y(j) = -j**3 + 4*j**2 + 5*j - 4. Let r = 11 + -6. Let o = -1 + r. Is y(o) a multiple of 8?
True
Let b(q) = -3*q + 9. Let u be b(4). Let a(g) = -g**3 - 3*g**2 - 3*g. Is a(u) a multiple of 3?
True
Let i = 13 + 44. Does 19 divide i?
True
Let m(g) = -74*g + 4. Is 26 a factor of m(-1)?
True
Let g be (1 + -2 - 381)/(-1). Let q = -231 + g. Suppose 0*i - i = -d - 36, -4*i = 3*d - q. Is 17 a factor of i?
False
Let b = -66 - -122. Is b a multiple of 19?
False
Suppose -61 = -m - 5*i, 4*m - i - 240 + 80 = 0. Suppose -s + m = -0*s. Is 15 a factor of s?
False
Suppose -7*a + 140 = -5*a. Is a a multiple of 14?
True
Let o(y) = 5*y + 3. Let p(f) = -f**3 - 7*f**2 - 7*f - 3. Let a be p(-6). Is o(a) a multiple of 9?
True
Suppose 27 = 2*s - s - 5*b, -s + 11 = 3*b. Suppose z + 36 = -2*m, -5*m - 64 = -2*z + s. Let c = -5 - m. Does 6 divide c?
True
Does 8 divide (72/28)/((-2)/(-28))?
False
Suppose -3*w - 3*v = 0, -35 = -4*w + 4*v - 3. Is 11 a factor of -3 + (576/w)/4?
True
Let o be 3555/40 - 1/(-8). Suppose 6*w = 4*w + 114. Let s = o - w. Does 16 divide s?
True
Suppose -m = 2*q - 8, 0 = q - m + 2 - 3. Suppose 5*k = q*k + 86. Let v = k + -10. Is v a multiple of 13?
False
Suppose 37 = -3*f - 5. Is 11 a factor of (-464)/f - (-2)/(-14)?
True
Let t be (-4)/(3/6*-2). Let z(s) = t - s + 0*s - 2*s. Does 11 divide z(-6)?
True
Let x(d) = 3*d**2 + d - 2. Let g be x(1). Suppose 0 = g*r - 21 - 15. Is r a multiple of 6?
True
Let f be (-16)/(-14)*(-3 + 10). Is (-48)/f*2/(-4) even?
False
Suppose 0 = a + 5*z - 302, 2*a - 613 = 4*z - 5*z. Suppose k + a + 328 = 4*y, 3*k - 149 = -y. Suppose 5*j - 3*g = y, j + g - 18 = 5*g. Is 17 a factor of j?
True
Suppose -3 + 7 = -l. Let i = l - -9. Let d(a) = 2*a**2 - 7*a - 2. Does 10 divide d(i)?
False
Let r(d) = d. Let p be r(-1). Let h = 6 + p. Suppose h*b + 4*x - 24 = 4*b, 0 = -5*x + 5. Is b a multiple of 10?
True
Suppose -2*u + 0*u = 0, -5*o = -5*u - 35. Let s = o - 12. Let f(t) = t**2 + 6. Is f(s) a multiple of 12?
False
Let x(j) = -15*j. Is 29 a factor of x(-4)?
False
Let h(a) = 4*a**2 + a. Does 25 divide h(-5)?
False
Let x = -12 - -11. Is 31 a factor of x*(-63 + 2) - -1?
True
Does 17 divide -1*(-1 + 1*-33)?
True
Let z(g) = 13*g**2 - 2*g + 1. Let a be z(1). Let y = a + 15. Let i = -2 + y. Is 11 a factor of i?
False
Suppose i - 1 = -3. Let c = i - -2. Suppose 6*m - m - 180 = c. Does 13 divide m?
False
Let k = 3 + -2. Is ((-1)/3)/(k/(-12)) a multiple of 3?
False
Let h(w) = w - 3. Let l be h(3). Let k(z) = z + 10. Is k(l) a multiple of 9?
False
Suppose 2*h + w = 1, -4*h + 3*h + 5*w = -17. Suppose -h = -x + 9. Does 6 divide x?
False
Let r(a) = 13*a - 20. Is r(5) a multiple of 9?
True
Suppose -4*c + v - 247 = -7*c, 3*c = 2*v + 235. Suppose -4*j - 25 = -c. Does 5 divide j?
False
Let r = 18 + -15. Suppose -4*v + 110 = 2*h - 62, -120 = -3*v + r*h. Is 21 a factor of v?
True
Let u = -5