u(b) = 37*b + 1. Let p(z) = -4*k(z) + 9*u(z). Let f be p(5). Suppose -3*o - 2*o = -f. Does 9 divide o?
False
Let w be 3/6*0 - -41. Let s = w + 0. Is s a multiple of 15?
False
Let z be -3 + 6 - 1*2. Suppose f = z - 7. Let g = f - -16. Does 10 divide g?
True
Let t be 3/(-1*3) - -3. Suppose v - 4*v - 4*z = -11, -3*v - 5*z = -10. Suppose -v - t = -a. Is 7 a factor of a?
True
Suppose 4*o - x - 47 = 2*o, 3*o - 83 = 4*x. Does 4 divide o?
False
Let t = 26 + 8. Is t a multiple of 17?
True
Suppose 4*x = -3*w + 4, 4*x + 2*w - 8 = -0*x. Let o(s) = -2*s + 7*s**2 - 4*s**2 - 4*s + 2. Does 13 divide o(x)?
True
Suppose -2*l + m = -m + 74, 2*m + 136 = -3*l. Let u = 60 + l. Is u a multiple of 9?
True
Suppose 3*f - 144 = 3*c - 6*c, 2*c = 10. Does 6 divide f?
False
Suppose -5*l = l - 480. Does 29 divide l?
False
Suppose -2*o - h = -7, 0 = -7*h + 2*h + 15. Let y(p) = -p**2 + 6*p + 2. Let u be y(6). Let i = o + u. Is i a multiple of 4?
True
Suppose 4*s - s = -4*z + 226, -3*s + 4*z + 194 = 0. Is s a multiple of 18?
False
Let l(q) = -q**3 - 9*q**2 + q - 7. Let k be l(-8). Let n = k + 144. Is n a multiple of 13?
True
Suppose 5*v - 4*d - 52 = 0, 23 = -0*v + 4*v + 3*d. Let j = v + -3. Suppose o = j*o - 84. Does 11 divide o?
False
Let n(s) = -3*s - 5. Let u be n(-3). Suppose 3*d = u*i + 204, -2*d + 117 + 19 = -3*i. Is 17 a factor of d?
True
Let d = 662 + -377. Does 36 divide d?
False
Suppose 0 = -5*b - 0*b + 210. Let n = -6 + b. Is n a multiple of 15?
False
Suppose 5*s + 0*s = -260. Let l = -36 - s. Is l a multiple of 8?
True
Let v(c) = -2*c + 24. Does 36 divide v(-6)?
True
Let f = 95 - 57. Suppose -8 = -5*o + o. Suppose o*c = 26 + f. Does 12 divide c?
False
Suppose -2*l + 364 = 2*v + 3*l, 2*l - 524 = -3*v. Suppose 0 = 3*j - j - s - 90, 4*j + 2*s - v = 0. Does 11 divide j?
True
Suppose 0 = -4*m - 67 + 19. Let y(w) = -2*w - 14. Does 7 divide y(m)?
False
Suppose -2*w = -y + 2*y - 7, -3*w + 5*y = -4. Suppose 34 = w*t - t. Does 17 divide t?
True
Let l(c) = c - 1. Is 9 a factor of l(13)?
False
Suppose 0*g - 2 = g, 3*f = -2*g + 11. Is f a multiple of 4?
False
Suppose 2*h + d - 14 = -3*d, -2*d + 1 = 3*h. Let g be (1/h)/(2/(-12)). Suppose -2*y - 2*f + 6 + 60 = 0, -g*f = 3*y - 96. Does 15 divide y?
True
Let x(o) = o**3 + 3*o**2 - 4*o + 2. Let t be x(-4). Is 10 a factor of (62 - t)/3 - 3?
False
Suppose 5*y - y = 12. Suppose -391 = 5*q + 3*n + n, 3*n - y = 0. Let d = -48 - q. Is 18 a factor of d?
False
Let g be 4 + ((-6)/(-3) - 5). Let k(z) = 3*z. Let x be k(g). Suppose x*m - 12 = m. Is m even?
True
Let h(i) = 6*i**2 + 2*i + 7. Does 11 divide h(-3)?
True
Let l be (2 - 2)*(-1 + 2). Suppose -t + l*t = 4, -p + 32 = 4*t. Suppose -h + p = h. Is h a multiple of 12?
True
Suppose -5 = 3*y - 77. Is 12 a factor of y?
True
Let m(g) = g**2 + 4*g - 3. Let v be m(-5). Suppose v*o - 220 = -2*o. Is o a multiple of 19?
False
Suppose 0*c + 4 = c. Suppose -c*m = m - 10. Is m/7 + (-320)/(-7) a multiple of 22?
False
Let p be 4/14 + (-130)/(-35). Is (-10)/3*(-2 - p) a multiple of 8?
False
Suppose -4*m = -2*m - 156. Does 26 divide m?
True
Let g(o) be the third derivative of o**5/60 + 5*o**4/24 - 3*o**3/2 - o**2. Does 5 divide g(-7)?
True
Let u = -17 + 32. Let a = u - 6. Suppose -a + 3 = -2*m + 4*v, 3*v = -5*m + 54. Is m a multiple of 9?
True
Suppose q = 3*q + 2. Does 10 divide 12*q/((-6)/10)?
True
Let i(w) = -w**2 - 7*w - 10. Let l be i(-4). Suppose -l*v + 4*v = 24. Does 6 divide v?
True
Let i(s) = 2*s + 7. Let k = 4 - 9. Let r be (-7)/((-35)/(-6))*k. Is 6 a factor of i(r)?
False
Does 3 divide -2*(-6)/3 + 2?
True
Let h(v) = -v**2 - 32*v + 5. Does 25 divide h(-22)?
True
Let d(v) = -v**2 + 11*v + 5. Suppose 0*l - 53 = -5*p + l, p = -l + 7. Let m(g) = -g**3 + 9*g**2 + 11*g + 1. Let s be m(p). Is d(s) even?
False
Suppose 4*p - 296 = 188. Does 11 divide p?
True
Suppose 2*x = 2*g + 14, 3*g + 11 + 6 = x. Suppose -x*v - 2*v + l - 1707 = 0, 4*l + 1304 = -3*v. Is (-4)/(-18) - v/18 a multiple of 10?
False
Let k = 11 - 8. Let p be -2*(-1)/3*k. Suppose 5*x = p*h - 6*h + 148, 5*h + x - 164 = 0. Does 16 divide h?
True
Suppose 8 + 7 = -5*s. Let n(l) = -l**3 - 4*l**2 - 3*l + 4. Let x be n(s). Suppose 88 = x*h + 16. Is h a multiple of 9?
True
Suppose -10 = -2*d - 3*d. Let f be (8 - 2)/(3/d). Suppose 3*m - f*m = -16. Does 16 divide m?
True
Let i(p) = -p**2 - 7*p - 5. Let o be i(-8). Let y be o/5 - 6/(-10). Is 12 a factor of (y/(-5))/((-7)/(-210))?
True
Let c(s) = -s**2 + 8*s + 9. Let v be c(9). Suppose -9*q + 4*q + 145 = v. Does 14 divide q?
False
Let f = -11 - -15. Suppose 4*x = 5*a - 24, -2*a - f = -5*a + 5*x. Does 8 divide a?
True
Let y(t) = t**2 - 4*t - 2. Let s(g) = -g. Let x(c) = c**2 - 3*c - 7. Let m be x(5). Let a be s(m). Does 12 divide y(a)?
False
Let f(d) = 3*d + 6. Let u be f(-4). Is u/14 + (-244)/(-14) a multiple of 12?
False
Let v = -144 - -267. Is v a multiple of 28?
False
Does 11 divide 18/(-12)*(-112)/12?
False
Let t = 1 + 1. Suppose -t*j + 2 - 8 = 0, 13 = 2*s - 3*j. Does 15 divide -2 - s/((-4)/34)?
True
Let a be (-2)/8 - (-5)/4. Suppose 3*z + a = -14. Does 7 divide (-6)/(-2 - z) - -22?
False
Let o = 1 + -1. Let s be (1 - 0) + (o - 1). Suppose s = 4*r - 3*r - 5. Is r a multiple of 4?
False
Let u(h) = 2*h**2 - 4*h + 7. Let a be u(-5). Let y be (-253)/a + 2/7. Is ((-3)/2)/(y/18) a multiple of 8?
False
Let y(k) = 3*k + 2 - 2*k - 6. Let q be y(7). Suppose 0 = -5*t + 3*c + 95, 0 = 2*t + t + q*c - 81. Is 22 a factor of t?
True
Let v = 4 + 0. Suppose 13 + 43 = v*o. Is o a multiple of 5?
False
Let w be -1*(-2)/(-1) - 2. Does 8 divide 22 + -1 + 8/w?
False
Let d = 102 + 15. Let n = 3 - 0. Suppose 5*t = -n*w + d, 2*w + 3*t = 90 - 13. Is 17 a factor of w?
True
Let n = 0 - 1. Is 11 a factor of n/((-10)/(-11) + -1)?
True
Let c = 295 - 204. Suppose -3*x = -26 - c. Is 21 a factor of x?
False
Let a be 75 - 2 - (-2 - -5). Let v = 98 + -49. Let h = a - v. Is h a multiple of 18?
False
Suppose -5*u - 15 = 2*y, -u - 3*u = -3*y - 57. Let k(b) = -6*b - 14. Is 16 a factor of k(y)?
False
Suppose 0 = 2*q - 8, -4*v + 5*q - 28 + 8 = 0. Is 12*(v - 3)*-3 a multiple of 14?
False
Let h = 99 + -48. Is 18 a factor of h?
False
Suppose 5*u = 2*u + 252. Does 16 divide (-1 - 0)/((-2)/u)?
False
Let x(v) be the third derivative of v**7/1680 + v**6/720 - v**5/20 + 2*v**2. Let i(c) be the third derivative of x(c). Does 3 divide i(1)?
False
Suppose 2*z = -0*l + 5*l - 16, -4*z + 2*l = 0. Let b be (z/1)/(-3 + 4). Suppose -b*u = 4*m - 64, 2*u + 0*u - 82 = -5*m. Is 9 a factor of m?
True
Let p(y) = -y + 11. Let k be ((-15)/10)/((-3)/2). Let f be k/(30/16 - 2). Does 16 divide p(f)?
False
Let b = -52 - -106. Is b a multiple of 18?
True
Let l be (16/(-12))/((-2)/51). Let g = 57 - l. Is g a multiple of 13?
False
Let x(w) = -5*w - 6. Does 7 divide x(-4)?
True
Suppose -3*v + 3 = -24. Suppose -4*a + 76 = -l, 4*a - 2*l = v*a - 108. Suppose 0 = -o - o + a. Is o a multiple of 10?
True
Let i(v) = v**3 - 4*v**2 + 1. Let t be i(4). Does 15 divide (304/80)/(t/5)?
False
Suppose 0 = -v + 335 - 65. Is 31 a factor of v?
False
Let g(y) = -y**3 + y**2 - 4*y - 5. Let t(l) = l + 1. Let j(s) = g(s) + 4*t(s). Let v be j(1). Is 16 a factor of 2/((-4)/58)*v?
False
Let v = 58 - 30. Is v a multiple of 7?
True
Let z = 18 - -31. Is z a multiple of 7?
True
Suppose 3*w = 5*b + 27, -2*w - 4*b + 8 = 3*w. Suppose -l - 208 - 343 = -5*m, -m + w*l + 114 = 0. Is m a multiple of 29?
False
Let u = 0 - 0. Suppose 8*b - 3*b = r - 115, 5*b - 5*r + 135 = u. Is b/6*(-3)/1 a multiple of 11?
True
Let k = -66 - -92. Is k a multiple of 18?
False
Let c = 23 + -1. Suppose -3*f + 3*h + 40 = f, 2*f = 2*h + c. Does 3 divide f?
False
Let j = -11 - -16. Does 5 divide j?
True
Suppose 0 = -2*i + 12 + 38. Let q = -14 - 2. Let m = q + i. Does 9 divide m?
True
Let z(g) = -g**2 - 5*g + 4. Let p(v) = 2*v + 6. Let f be p(-6). Let m be z(f). Is 5 a factor of (2/(-6))/(m/30)?
True
Let r = 11 + -6. Suppose 0 = r*a + 25, -a - 65 = -k - 24. Is 12 a factor of k?
True
Suppose 6*c + c = 112. Is c a multiple of 4?
True
Let g(v) = v**3 - 10*v**2 - 11*v + 3. Let w be g(11). Let k = w - -2. Let t = k + 2. Does 3 divide t?
False
Let o = -18 + 20. Is (o + -5 + 20)*4 a multiple of 17?
True
Let r(i) = 11*i. Let c be 8/20 - 66/(-10). Let n be r(c). Suppose 0*g - 5*h = -4*g + 149, -5*h = -2*g + n. Is 18 a factor of g?
True
Is (-20)