*a**2 + 3*a. Let n be g(-6). Suppose 2*d = 3*b - n, -d = -0*d + 3. Suppose -3*z + 111 = b*f - 0*f, 129 = 3*z - 2*f. Does 5 divide z?
False
Let c(a) = -2*a + 26. Let m = 22 - 11. Let t be c(m). Does 10 divide (2/2)/(t/72)?
False
Let j be (-4114)/(-255) - 2/15. Suppose -j*x - 175 = -17*x. Is 15 a factor of x?
False
Let h = -190 - -396. Is h a multiple of 45?
False
Let t(k) = -k**3 - 6*k**2. Let p be t(-6). Suppose p = -2*w - 45 - 15. Is (-1 - 1) + w/(-5) a multiple of 2?
True
Suppose -2*q + q + 1 = 0. Suppose 0 = -r - 31 - q. Does 16 divide -2 - (-2 + 0) - r?
True
Suppose 2*f + 3*f = -5, 2*d - 111 = -f. Suppose -2*a - 36 = d. Let z = -30 - a. Does 7 divide z?
False
Let f be ((-6)/(-9))/(2/(-9)). Is 9 a factor of (2/4)/(f/(-270))?
True
Is 54 a factor of (-572)/(44/(-11)) + -11?
False
Let w(l) = 4*l + 1. Let x be w(-1). Let p = -2 + x. Is (-129)/(-15) + 3/p a multiple of 4?
True
Let t(o) = 27*o - 24. Is t(18) a multiple of 14?
True
Is (-22841)/(-5 - 2) - (6 - 11) a multiple of 51?
False
Let j = 2 - -30. Suppose -64 = -2*a - 4*r, 107 = 3*a - r + j. Suppose -4*q = -a - 30. Does 14 divide q?
True
Let m(r) = -1155*r**3 + 8*r + 6. Is m(-1) a multiple of 5?
False
Suppose 6*c - c - 10 = 0. Suppose -2*v + 304 = c*v. Does 29 divide v?
False
Let y be 34*(0 + 12/(-8)). Let h = -38 - y. Is h even?
False
Let o = -5 - -7. Let y = o - -3. Suppose -y*d + 234 = 59. Is 15 a factor of d?
False
Is 22 a factor of (-1138 + -6)/(-8) - -8?
False
Let l = 14 - 11. Let m(x) = 11*x**2 - 2*x - l*x**2 + 0*x**2 + 9 - 3. Is m(-3) a multiple of 15?
False
Suppose 0 = 4*d - 4*c - 272, -8 + 33 = -5*c. Does 12 divide d?
False
Suppose -27*b + 22*b + 25 = 0, 4*q - 5*b - 115 = 0. Is 5 a factor of q?
True
Is ((-10)/(-15) - (-398)/(-3))*-1 a multiple of 22?
True
Suppose -16 = -5*h + 2*w, 3*h + h - 3*w - 17 = 0. Suppose -5*x - 126 = -3*r - 2*x, -r = -4*x - 57. Suppose -h*u + u = -r. Does 12 divide u?
False
Let l(b) be the first derivative of 19*b**2 - 5 - 17*b**2 + 0*b - b. Does 11 divide l(7)?
False
Suppose -5*g - 19*i + 1254 = -16*i, 2*g = 2*i + 508. Does 37 divide g?
False
Let h(g) = 4 + 1 + 1 + g**2 + 0*g**2. Is h(4) a multiple of 11?
True
Suppose 5*g = 2*i + 5 - 38, 0 = 3*i - 5*g - 37. Suppose i*n - 14 = -2. Is n even?
False
Suppose -4*w - 7 = -3*b + 18, 3*w = 3*b - 15. Is (-4806)/(-30) + 2/w a multiple of 40?
True
Let r be (5/2)/(3/6). Let g(i) be the second derivative of 11*i**3/6 - i**2/2 + 2*i. Is 19 a factor of g(r)?
False
Let m be (36/(-10))/(1 - 21/30). Suppose 3*q - 7*q - 260 = 0. Is q/(-4) + 3/m a multiple of 15?
False
Let n(h) = 24*h - 36. Suppose -8*i + 100 = 2*i. Is 34 a factor of n(i)?
True
Suppose 209 = c - 2*l, 5*l = 3*c - 896 + 265. Let a = c + -145. Does 24 divide a?
True
Let k(m) = -m**3 - 7*m**2 - 9*m - 10. Suppose 0 = -3*p + 4*c + 6, 3*p + 0*c - 5*c - 6 = 0. Suppose -3*r + 24 = -5*o, -4*o - p*r = 3*r + 34. Does 8 divide k(o)?
True
Let t = 155 - 106. Does 7 divide t?
True
Let m(b) = -46*b + 30. Does 38 divide m(-20)?
True
Let g(k) = 72*k**2 - 9*k - 61. Does 9 divide g(-5)?
False
Let z be 38 + (-1)/2*-4. Suppose 3*p - 122 = 5*a, -a = p - 2*a - 38. Suppose -3*m + z = r - 34, -m - 5*r = -p. Does 12 divide m?
True
Let o(f) = -f**3 + 4*f**2 + 8*f - 7. Let p be o(5). Is 13 a factor of (-584)/(-7) + p/14?
False
Let a(l) = 62*l**2 - 2*l + 11. Does 11 divide a(2)?
False
Let w be 2/((-3)/(-6)*-4). Let g be (1 - -2)/(w - -2). Suppose -g*y = -n - 56 - 52, -4*y = -4*n - 144. Is 8 a factor of y?
False
Suppose 3*f - 15 = 63. Suppose -5*o = -3*y + 22 + f, -3*o = 2*y - 32. Let r = 12 + y. Is r a multiple of 10?
False
Suppose -5*f + 0 = 15. Let a be (f - 0)/((-9)/132). Suppose -2*l = -2*t - 0*l + a, 0 = 5*t - l - 94. Is t a multiple of 10?
False
Let z(p) = -p + 96. Is z(-15) a multiple of 37?
True
Let f = -92 - -63. Let i = 89 + -149. Let o = f - i. Is 15 a factor of o?
False
Let p be (-4)/(-10) - (-78)/30. Suppose -2*r - 2*h = -210, h + 327 = -p*r + 6*r. Does 12 divide r?
True
Let y(h) = 11*h**2 - 28*h + 112. Is y(7) a multiple of 7?
True
Suppose -10 = -14*c + 9*c. Suppose -5*f + c = k, k - 4*k - 4*f + 17 = 0. Suppose 3*p - 35 = -q + k*p, 3*q - 60 = 3*p. Does 13 divide q?
False
Let o = -145 + 71. Let q = o - -238. Is 14 a factor of q?
False
Suppose 3*w - 237 = 2*g, 2*w - 2*g + 237 = 5*w. Suppose -w = -x + 35. Let n = x + -57. Does 15 divide n?
False
Suppose l - 10 = -3*l - 2*k, 0 = -2*l - 2*k. Suppose -95 = -l*c - 5*u, -c - 4*u = -u - 21. Does 4 divide c?
False
Suppose -3*a = 4*h - 30, -4*h + 5 - 3 = a. Let v = a + -29. Does 20 divide 1024/30 + 2/v?
False
Suppose -3*x + 200 + 198 = 4*l, -l = -2*x + 269. Is x a multiple of 16?
False
Let k(v) = -v**3 - 6*v**2 - 4*v - 3. Let m(y) = 6*y**3 + 30*y**2 + 21*y + 14. Let u(w) = -11*k(w) - 2*m(w). Is u(6) a multiple of 12?
False
Is (-2)/(-3)*12*77 a multiple of 22?
True
Let n(h) = 56*h**2 - 2*h + 35. Is n(4) a multiple of 82?
False
Let o(r) = -r**2 - 6. Let j be o(4). Let f = 3 - j. Is f a multiple of 6?
False
Let z = -1225 - -3230. Is z a multiple of 34?
False
Suppose -4*j = -12, -r - 9 = 3*j - 95. Is r a multiple of 4?
False
Let i(l) = 1 + 6*l**2 - 1 + 27*l**2 + l - 1. Does 19 divide i(2)?
True
Let s(o) be the first derivative of o**4/4 - 5*o**3/3 - 3*o**2 + 6*o + 7. Is s(7) a multiple of 8?
False
Suppose 0*m = -4*m - 56. Let d = m + 15. Does 7 divide (12/24)/(d/34)?
False
Let h(i) = 342*i + 621. Let c(q) = 11*q + 20. Let p(v) = 63*c(v) - 2*h(v). Is 30 a factor of p(16)?
False
Let v be ((-1863)/12)/(4/(128/(-12))). Suppose 3*a - 4*d - 414 = 0, 9*a + 5*d - v = 6*a. Does 21 divide a?
False
Suppose 0 = -2*b - 32 - 6. Suppose 0 = -2*a - 4*w + 70, 0 = -4*a + 4*w - 1 + 153. Let x = b + a. Is x a multiple of 6?
True
Let r(p) = -139*p - 4. Suppose 6*x - x + 5 = 0. Is 15 a factor of r(x)?
True
Let u(v) = 6*v**3 + 11*v**2 - 3*v - 5. Let h(t) = 9*t**3 + 17*t**2 - 5*t - 8. Let j(k) = 5*h(k) - 8*u(k). Is 3 a factor of j(-2)?
False
Is 12/((-672)/(-14329)) + 2/16 a multiple of 64?
True
Let n = 7 - -6. Let c be (-792)/(-27) + (-2)/6. Let r = c - n. Does 8 divide r?
True
Suppose 2006 + 15730 = 12*k. Does 63 divide k?
False
Let g be 6/(144/102) - (-2)/(-8). Suppose -4*n = -2*f - 94 + 318, n = -g*f + 412. Is f a multiple of 13?
True
Let u be (-4)/(-16)*0 + 5. Let j be (3 - 27/u)*-5. Suppose -3*h = -j, s - 3*h = -s + 26. Is s a multiple of 9?
False
Suppose z + 1047 = 3*i + i, -3*i + 5*z = -798. Suppose -i = 8*r - 1885. Is r a multiple of 39?
False
Let k(o) = 3*o**3 + 12*o**2 - 16. Let l(t) = -t**3 - t**2 + t + 1. Let a(c) = k(c) + 4*l(c). Let s = -310 + 318. Does 5 divide a(s)?
True
Let d be (130/(-8))/((-2)/((-40)/(-5))). Let r(m) = -5*m**2 - 5*m - 2. Let u be r(-3). Let x = u + d. Is x a multiple of 13?
False
Is 28 a factor of -8*(1 + (1 - 99))?
False
Let h(s) = -3*s**2 + 93*s + 93. Does 18 divide h(29)?
False
Let h(c) be the third derivative of -c**4/12 + 7*c**3/3 + 2*c**2. Suppose -4 = -a - 10. Is h(a) a multiple of 26?
True
Let d(b) = 20*b - 388. Does 115 divide d(37)?
False
Suppose -5*p = 5*f + 1715, 0*f = 5*p + f + 1727. Is 11 a factor of 48/64 - p/8?
True
Let n = 14 + -10. Suppose 3*i = 4*q + 33, 5*q - n = -3*i + 2. Is 7 a factor of i?
True
Let s = 40 + -40. Suppose s = 6*t - 235 - 149. Is t a multiple of 15?
False
Let n(z) be the first derivative of -5/2*z**2 + 3 + 0*z + z**3. Does 17 divide n(5)?
False
Suppose -3*p + 3*g = -47 - 43, -2*p - 3*g + 85 = 0. Is p a multiple of 5?
True
Let u = 55 + -35. Suppose y + u = 10. Does 7 divide (y*4)/((-18)/27)?
False
Let b(i) = 28*i**3 - i**2 - 4. Is 18 a factor of b(2)?
True
Let h = -97 - 9. Let t = h - -234. Is t a multiple of 16?
True
Let n be 2 - 3/(0 + -3). Suppose 3 = n*g - 15. Let r(a) = a**2 - 4*a + 3. Is r(g) a multiple of 15?
True
Let s = 57 + -55. Suppose k + 2*k = -s*f + 302, -2*k + 184 = -3*f. Is k a multiple of 29?
False
Let r(g) = 126*g + 20. Is r(5) a multiple of 25?
True
Let u be 9*(-5)/(-10) - 2/4. Suppose -o - 2*s + 64 = -47, -2*o = -u*s - 198. Is 15 a factor of o?
True
Suppose -9*n + 8*n = -317. Is 19 a factor of n?
False
Let x = -96 - -129. Is x a multiple of 2?
False
Let j be ((-34)/8 + 2)/((-54)/144). Let p = 58 + -33. Let d = p - j. Is 19 a factor of d?
True
Is ((-49)/14)/(2/(-60)) a multiple of 15?
True
Let z(r) = 11*r**2 + 13*r + 41. Is z(8) a multiple of 11?
False
Let c(o) = 11*o +