+ 46. Is f a multiple of 38?
True
Suppose 0 = 3*b + 4*w - 7*w - 33, 20 = 5*w. Suppose 3*u + 0*u - b = -2*m, 3*u = 3*m. Suppose -a + u*a + 2*r - 82 = 0, 3*r - 195 = -5*a. Is a a multiple of 12?
True
Suppose 8 = -4*v + 3*v. Let b = v + 16. Is b even?
True
Let p(j) be the second derivative of 0 - j**2 + 1/2*j**3 - j. Is p(9) a multiple of 10?
False
Let s = -475 - -1014. Does 24 divide s?
False
Suppose 246 = 3*z + 2*u, z + 0*z + 2*u = 86. Suppose v + 21 = z. Suppose 65 = 5*m + 4*j - v, -3*m + 3*j = -69. Does 7 divide m?
False
Let j(u) = 114*u**2 + 12*u + 16. Is 14 a factor of j(-2)?
True
Let a(p) = p**3 - 2*p**2 - 4. Let b be a(3). Suppose 3*f + 78 = 6*o - 2*o, -4*o - b*f = -94. Does 21 divide o?
True
Let t(n) = n**3 + 13*n**2 + 6*n + 31. Is 6 a factor of t(-11)?
False
Let y = -43 - -63. Suppose -2*w = -5*k + 38, 2*k - 4*w - y = -8. Suppose k*p - 3*p - 250 = 0. Is p a multiple of 25?
True
Suppose -z + 0*i + 27 = -3*i, -z = 5*i + 5. Suppose 4*o = 3*u - 80, u + z - 67 = -5*o. Is 8 a factor of u?
True
Suppose -14*s = -8*s - 1470. Is s a multiple of 65?
False
Let f = -52 + 58. Does 4 divide 1150/(-75)*f/(-4)?
False
Let u = 653 - 119. Suppose -2*h + 2*q + u = 3*h, 213 = 2*h - q. Is 17 a factor of h?
False
Is (76 + (-6 - -14))/((-2)/(-26)) a multiple of 78?
True
Let g be 8/(-32) + 98/8. Let b(x) = x. Does 6 divide b(g)?
True
Suppose 2*f - 3*n + 1 = 58, -3*n + 87 = 4*f. Does 4 divide f?
True
Let z = 2400 + -1414. Is z a multiple of 76?
False
Suppose -17*s = -3*s - 1666. Is 32 a factor of s?
False
Suppose 0 = -5*i + i - 3*i. Suppose -a = -i*a + 4*y - 22, -20 = -2*a - 2*y. Is a a multiple of 3?
True
Let f(k) = -2*k + 419. Is f(-16) a multiple of 17?
False
Let n(d) = -32*d**2 - 5*d - 3. Let w be n(-1). Let o(v) = -8*v - 21. Does 9 divide o(w)?
False
Suppose 4*x + 71 = 3*q, 0 = -5*q - 2*x - 0*x + 101. Let h = -18 + q. Is h/4 + 1302/56 a multiple of 12?
True
Suppose -x + 244 = -226. Is x a multiple of 94?
True
Is 33 a factor of ((-6)/4 - -3)*10406/11?
True
Suppose 158*l = 154*l - 76. Let f(t) = -t**2 - 20*t + 25. Is f(l) a multiple of 11?
True
Let z = -564 - -796. Is z a multiple of 5?
False
Suppose 0 = 3*h - 13 + 4. Let s(n) = 7 + 3*n**2 + h*n - 2*n**2 + 2*n + 2*n. Is s(-7) a multiple of 7?
True
Suppose 2*p + 5*j - 148 = -46, 5*p = 2*j + 284. Is p even?
True
Suppose k - 25 = -4*v + 6*k, 2*v - 20 = 4*k. Suppose 0 = -s - v*s + 3. Suppose s*b - 212 = -62. Is b a multiple of 27?
False
Suppose 0 = t - 2*b - 340, 4*t - 1310 = -10*b + 8*b. Is t a multiple of 22?
True
Let s(g) = g**3 - 6*g**2 + 5*g + 3. Let l be s(5). Let b be 3/1*(-13)/l. Is (b + 26)/(2/6) a multiple of 8?
False
Let z = 8 - 6. Let d(k) = k**3 + k**2 - k - 1. Let r be d(-1). Suppose r = -3*f - p + 86, z*p + 80 = -0*f + 3*f. Is 12 a factor of f?
False
Let m(f) = f**2 + f - 2. Let p be m(2). Suppose p*z - z = 6. Suppose 0 = z*u - 5*u + 87. Does 29 divide u?
True
Let o = 615 + 906. Is 39 a factor of o?
True
Let m = -19 - -4. Let y = 11 + m. Let w(k) = -k**3 - 4*k**2 - 2*k - 6. Is w(y) a multiple of 2?
True
Let z(m) = 5*m + 97 - 11*m + 2*m + 5*m. Does 21 divide z(0)?
False
Let z be (-32)/(4 + -2 - 4). Suppose -4*q + 8 = -z. Suppose -q*x = -7*x + 38. Does 19 divide x?
True
Let x(g) = g**3 + 4*g**2 + g. Let s be x(-3). Let j(z) = -z**3 - s*z - 6 + 0 + z**3 - 7*z**2 + z**3. Does 5 divide j(8)?
True
Let p(x) = 2*x + 24. Let a be p(0). Suppose -5*s - 9 = -a. Suppose 0*l = s*l - 4*b - 20, -4*b = 8. Is l even?
True
Let b = -50 - -51. Is 9 a factor of 0*(b + (-6)/3) - -23?
False
Let h(r) be the third derivative of r**5/30 + r**4/24 - r**2. Let l be h(0). Suppose v - 17 = -l*v. Does 4 divide v?
False
Let s(q) = 3 + 7 + 5 - 5*q. Let z be s(6). Let m = z - -21. Is 6 a factor of m?
True
Let o be (-20)/90 + (-58)/(-18). Suppose -i + 168 = -5*l, o*i + 0*l - 404 = -5*l. Does 25 divide i?
False
Let v be 4/24*15*2. Suppose 0 = 5*a - 3*c - 220, 17 = -2*a - v*c + 74. Does 11 divide a?
False
Suppose -22*k - 5*t - 4055 = -27*k, 3*t = 9. Is 74 a factor of k?
True
Let l be (12/(-15))/(4/210). Let s be ((-3)/(-6))/((-3)/l). Let r = 13 - s. Is 3 a factor of r?
True
Suppose 0 = 8*a - 239 - 761. Does 5 divide a?
True
Let j be (-2)/(-4)*(2 + -2). Suppose 4*b - 8*b + 16 = j. Suppose -x + 30 = 2*y, 75 = 6*y - y - b*x. Is y a multiple of 15?
True
Suppose -3*k - 17 = -d, -k - 2 - 5 = -d. Suppose 3*y + 3*n = 0, -4*y - d*n = -5*y. Suppose y = 5*c - 3*c - 60. Does 10 divide c?
True
Let v be 1/2*6*98. Is 16 a factor of v/9 - 4/6?
True
Let w(u) = -2*u**3 + 3*u**2 - 2*u - 23. Is w(-6) a multiple of 12?
False
Let w(b) be the second derivative of 3*b**3/2 + 3*b**2/2 - b. Let p be w(4). Suppose -n = -p - 0. Is 13 a factor of n?
True
Suppose -2*k - 1600 = -5*q, -q + 292 = 2*k - 28. Is q a multiple of 32?
True
Let p(v) = v**3 + 16*v**2 + 21*v - 14. Is p(-11) a multiple of 18?
True
Let n = -38 + 23. Let c be (-2)/6 + 70/n. Does 2 divide ((-5)/3)/(c/6)?
True
Suppose b - 5*x - 49 = 0, 21 = -2*x + 13. Is 2 a factor of b?
False
Suppose 5*n + 8 = 4*c, -5*n = 3*c - 0*c - 6. Suppose 3*l + o = c - 7, -15 = l + 3*o. Suppose l*w + 2*w - 72 = 0. Is 13 a factor of w?
False
Does 4 divide 7/2*-2 + (-108476)/(-47)?
False
Is 3 a factor of (-1296)/(-135)*15/2?
True
Let p(z) = z**2 + 2*z. Let x be p(-2). Suppose x*g + 4*g = 3*l + 71, 2*g + 17 = -l. Let w = l + 33. Does 4 divide w?
True
Let b(g) = -24 - 3*g**3 + 4*g**3 + 25 + 9*g**2 + 3*g. Let m be b(-8). Suppose -64 - m = -5*y. Does 5 divide y?
False
Let b(h) = -h**3 - 17*h**2 - h - 14. Suppose 7*j = 6*j - 17. Does 3 divide b(j)?
True
Let y be (-4)/4 - -3 - 63. Let m = y + 134. Is m a multiple of 17?
False
Suppose 4 - 15 = -j + h, 2*j - h = 24. Suppose 72 = -11*b + j*b. Is b a multiple of 6?
True
Suppose 2*z = 4*n - 2*n + 3062, -2*z = -n - 3065. Suppose 12*x + x - z = 0. Does 16 divide x?
False
Let g be (-20)/(-6) + (-2)/(-3). Suppose -v - g = 0, 2*v + 56 = -0*d - 4*d. Let h = 22 + d. Is h a multiple of 10?
True
Let z(o) = -o**3 - 22*o**2 - 26*o + 36. Does 20 divide z(-21)?
False
Does 11 divide ((-24)/12 - -472) + 2*3?
False
Let l(r) be the second derivative of 10*r**3/3 + r. Let v be l(3). Suppose 0 = -d + 6*d - v. Is 10 a factor of d?
False
Let i(l) = l**3 + 12*l**2 - 2*l - 21. Let g be i(-12). Suppose -4*f = 4*y - 264, 244 = g*f + 2*y + 49. Is f a multiple of 11?
False
Let r(b) = b**2 - 20*b - 573. Is 5 a factor of r(39)?
False
Suppose 9*a = a + 3264. Is 17 a factor of a?
True
Suppose 0 = 3*p - 4*m - 87, -p + 21 = 2*m - 6*m. Does 5 divide p?
False
Suppose -15*m + 44*m = 29087. Is m a multiple of 11?
False
Let x(j) = 2*j**2 + 1. Let q be x(-1). Let v(o) = 2*o**2 - 2*o + 11. Let d(i) = -3*i**2 + 4*i - 21. Let r(l) = q*d(l) + 5*v(l). Does 8 divide r(-6)?
True
Let p(c) = c**3 + 5*c**2 - 2*c - 7. Let z be p(-5). Suppose 54 = z*s - 3*m, -3*s + 140 = 2*s + 5*m. Suppose 156 = -20*h + s*h. Is 26 a factor of h?
True
Let s = 65 + -25. Suppose h + 2*x - 40 - s = 0, x + 86 = h. Is h a multiple of 14?
True
Suppose 0 = 4*s - 5 + 13. Let v be s/10*(9 - 4). Is 39/(v - -4)*3 a multiple of 25?
False
Let i = 28 + -20. Suppose -3*w - 5*a + 96 = -i*a, -61 = -2*w + 3*a. Does 3 divide w?
False
Is 9 a factor of 38034/33 - (-162)/(-297)?
True
Let r = -14 + 17. Let h(s) = r + 19*s + 30*s**3 - 20*s**2 + 0 - 19*s**3 - 12*s**3. Is 8 a factor of h(-21)?
False
Let j(s) = -5*s. Let v be j(-6). Suppose 0 = -3*k - 3*t + 21, -5*t = -3*k + k + 42. Let o = k + v. Is o a multiple of 28?
False
Let w = -5974 - -12586. Does 19 divide w?
True
Let q(b) be the third derivative of b**5/10 + 7*b**4/24 - 8*b**3/3 - 8*b**2. Is 18 a factor of q(4)?
True
Suppose 5*x = k - 25, 0*k - 2*k + 10 = -2*x. Let c(j) = j**2 - j. Let t be c(2). Suppose k = -t*n - 2*n + 248. Is 15 a factor of n?
False
Suppose 2*m + r = 0, 0 = -2*m + 3*r - 8*r - 16. Suppose -5*l + 89 = 3*c, l - 6 = 4*c - m. Does 9 divide l?
False
Suppose 0 = -9*c + 4*c - 20. Let o be (-2)/c - 35/(-14). Suppose o*f - 33 = 33. Is f a multiple of 11?
True
Suppose 4*h + 2*u - 10 = 0, 0 = 5*h - 9*h + 2*u - 10. Suppose c + c - 6 = h. Suppose -c*p + 24 = -93. Is p a multiple of 13?
True
Let k = 961 + -881. Does 10 divide k?
True
Let v = 50 - 28. Suppose 6*y - 2*y + b = v, -y + 3*b - 1 = 0. Suppose -y*l + 142 = 4*t - 0*l, 0 = 4*t - 4*l - 160. Is t a multiple of 19?
True
Suppose 28 = 5*u - 4*u. Suppose u = -o +