456. Is 35 a factor of w?
False
Suppose 0*n - 5*n + 3*j = -24, -4*n + 4*j = -16. Is 18 a factor of (3 - n/(-4))/((-1)/(-20))?
True
Is 24 a factor of (-4)/(((-2)/(-10))/((-6951)/35))?
False
Let c be (21/(-4))/(-7)*4. Suppose -t = c*t + s + 181, 225 = -5*t - s. Does 4 divide -3 - (t/2)/1?
False
Is 2 a factor of -6 - (-5 - -4) - -36?
False
Suppose 0 = 3*p - 2*p - 3*v - 80, 0 = -2*p + 2*v + 176. Is p a multiple of 14?
False
Let u be ((-2)/4 - -1) + 70/20. Is 10/u*846/15 a multiple of 40?
False
Let t = 1497 + -1271. Does 26 divide t?
False
Let t = -653 - -913. Is 13 a factor of t?
True
Let h = -15 - -10. Let r = 9 + h. Suppose 5*m + 5 = 0, -50 = -5*n - r*m + 21. Is 15 a factor of n?
True
Let m = -67 - -4. Let v be 18/m - (-892)/(-14). Let q = 124 + v. Is 20 a factor of q?
True
Let s(q) = q**2 - 7*q - 13. Let f be s(9). Suppose -f*i = -288 - 162. Is 30 a factor of i?
True
Let v be ((-22)/(-77))/(1/7). Suppose -4*f + 4*h + 120 = 0, 3*f = v*h + 3*h + 90. Suppose 5*j - 95 = -f. Does 4 divide j?
False
Let r(a) = 5*a - 18. Let g be r(4). Does 39 divide g + (-2429)/(-11) - (-14)/77?
False
Let j = -80 + 80. Let t(b) = b + 13. Does 2 divide t(j)?
False
Let m = -73 - -79. Does 7 divide m - 6 - 14/(-2)?
True
Let n = 61 - 28. Is 7 a factor of 2283/n + (-2)/11?
False
Let g = -4395 + 7580. Does 63 divide g?
False
Let z(p) = p**2 + 4*p + 2. Let t be (9/6)/((-6)/16). Let f be z(t). Suppose -f*k = -80 - 96. Is 13 a factor of k?
False
Let f(n) = 43*n + 91. Is f(5) a multiple of 18?
True
Suppose 2*g + 1 = 9. Suppose -4*j = -2*r + 20, -20 = -g*r - 2*j - 0*j. Does 5 divide r?
False
Let u(r) = 103*r - 190. Is u(21) a multiple of 8?
False
Suppose 3*v = -3*m + 9, -2*v + 7*v - 15 = 4*m. Suppose 5*s = -j + 70, 360 = 5*j + v*s + 98. Is j a multiple of 7?
False
Suppose 124 = 51*l - 49*l. Is 6 a factor of l?
False
Suppose 0 = 3*k + 9, -4*o + 2*k = 3*k - 33. Let i = o - 16. Let z = 11 + i. Is 2 a factor of z?
True
Let s = -3 - -9. Let d(y) be the second derivative of y**4/6 - y**3/2 - 5*y**2/2 + 19*y. Is d(s) a multiple of 16?
False
Let p(o) be the first derivative of o**4/4 + 8*o**3/3 - 3*o**2/2 - 6*o - 11. Is p(-5) a multiple of 12?
True
Let w = -22 - -16. Let g = 4 + w. Let b(d) = -23*d - 2. Is 8 a factor of b(g)?
False
Is (-2 + 189)*(70/(-7) + 12) a multiple of 57?
False
Let x = 2 - -3. Suppose -5*h + 4*m = -49, 8*h - 3*h - x*m - 45 = 0. Is h a multiple of 7?
False
Suppose 0 = -4*s + 2*y - 84, -y = 3*s + 2*y + 45. Let h = 24 + s. Suppose z - 57 = -2*t, -h*z = -2*t - 32 + 107. Is t a multiple of 6?
True
Let v(k) = k - 1. Let m(h) = 4*h - 2. Let i(l) = -m(l) + 3*v(l). Let g be i(-6). Suppose -54 = -g*f + 66. Is f a multiple of 9?
False
Suppose -3*v - 8 = v. Is 16 a factor of (-2 - 0 - -10)/(v/(-32))?
True
Suppose -5*g + 509 = 2*o - 0*g, 2*o - 494 = -2*g. Is o a multiple of 17?
False
Suppose -o - f + 4991 = 0, 4*f = -o + 6339 - 1351. Is 48 a factor of o?
True
Let v = 5545 + -3596. Does 66 divide v?
False
Suppose 12 = -5*g - 4*n, -3 + 12 = 3*g - 3*n. Suppose g = 5*k + t + t - 364, -k = t - 74. Is 9 a factor of k?
True
Suppose -2*i = -5*f - 1447, 0 = -2*i - 2*f + 606 + 806. Is i a multiple of 79?
True
Suppose 1087*k - 3705 = 1082*k. Is 19 a factor of k?
True
Let p(b) = b**2 - 7*b - 12. Let a be p(9). Let x(t) = 30*t - 4*t - a*t - 6. Is x(4) a multiple of 25?
False
Suppose 0 = -h + 2*b + 497, 8*h - 2461 = 3*h + 4*b. Let l = h + -336. Suppose d + 25 = l. Is 24 a factor of d?
False
Let n be 6/9*(-12)/2. Is 13 a factor of 45/n*(19 + -23)?
False
Let k(z) = -9*z + 7. Let q(h) = h + 1. Let d(n) = k(n) + 4*q(n). Is d(-4) a multiple of 13?
False
Let n = 8 + -2. Suppose -8*c + 5*c = -n. Suppose 4*g - 52 = -4*f, -4*g - 30 = -5*f - c*g. Is 2 a factor of f?
True
Let g be (51/9 + -4)/(1/39). Let l = -44 + g. Is 4 a factor of l?
False
Suppose 5*h = u + h - 1257, -4*u - 2*h + 5046 = 0. Is u a multiple of 8?
False
Let f(d) = 78*d - 55. Does 57 divide f(6)?
False
Let s be (-2)/10 - (-130)/25. Suppose -840 = s*m - 12*m. Suppose -2*u + 5*f + m = 0, -4*u + 4*f + 397 = 145. Is 13 a factor of u?
True
Let f(s) = s**3 + 18*s**2 + 12*s + 22. Is 2 a factor of f(-17)?
False
Let x(y) = 22*y + 161. Is x(-3) a multiple of 8?
False
Let y be -3 + (390/3)/5. Suppose 240 = -y*u + 24*u. Does 16 divide u?
True
Let i = -15 - -17. Let u(g) = 3*g + 5. Let s be u(7). Suppose -4*b + s = q, -q + 6*q + i*b = 94. Does 7 divide q?
False
Let b(d) = -d**3 + 13*d**2 - 7*d + 12. Let m be b(10). Suppose -2*g - 159 = 101. Let t = m + g. Is 14 a factor of t?
True
Let n(v) be the third derivative of -4*v**6/15 + v**4/6 + 5*v**3/6 - 4*v**2. Is n(-2) a multiple of 35?
False
Suppose -4*h + 129 = -91. Suppose h*l = 53*l + 108. Does 6 divide l?
True
Let u(r) = 3*r**2 - 7*r + 6. Suppose -5*c + 16 = -9. Is u(c) a multiple of 21?
False
Suppose -2*d = -3*q - 89 - 667, -3*d + 2*q = -1144. Is d a multiple of 12?
True
Let o be (-621)/(-33) - (-4)/22. Suppose x - o = 2. Is 3 a factor of x?
True
Let u = -14 - -4. Is 30*((-75)/u)/5 a multiple of 14?
False
Suppose 4*y = 6*y + 498. Let j = y + 361. Suppose w = -3*c - 3*w + j, 16 = 4*w. Does 13 divide c?
False
Let u(k) = -4*k**3 - 23*k**2 - 9*k - 18. Let r(o) = -3*o**3 - 22*o**2 - 9*o - 19. Let w(s) = -3*r(s) + 2*u(s). Is 18 a factor of w(-19)?
False
Suppose -25*f - 82915 = -48*f. Does 16 divide f?
False
Suppose 3*h + 27 = -3*n, -2*n = 3*n - 2*h + 24. Let d(l) = 3*l**2 + 6*l - 8. Is 13 a factor of d(n)?
False
Let j(f) = 3*f**2 + 19*f + 11. Let z be j(-7). Suppose z = l - 4. Is 5 a factor of l?
False
Let w(k) = 2*k. Let b be w(2). Suppose -a - 35 = b*a. Let g = a - -18. Is g a multiple of 5?
False
Let u(b) = -2*b**3 + 6*b**2 - b - 2. Let v be u(3). Is (-236)/(-10) + (-2)/v a multiple of 4?
True
Let r = -64 - -157. Let l = -59 + r. Is l a multiple of 7?
False
Let h(t) = -t**2 - 1. Let v be h(-1). Let q be 1 - (-3)/v*10. Let o(x) = -2*x - 18. Is o(q) even?
True
Let m(j) = -j**3 - j**2 - 2*j - 8. Let q be (-70)/42*(3 - 0). Let g be m(q). Suppose -r - 5*w = -71, 3*w = -2*r + 61 + g. Is r a multiple of 18?
False
Let r = -17 + 13. Let j(k) = k**2 + k - 12. Let z be j(r). Suppose 4*d - 23 - 49 = z. Is d a multiple of 6?
True
Is 208 + 4 + 1 + -8 a multiple of 41?
True
Suppose 10 = 5*p - 0. Suppose 0 = 3*u + p*u. Suppose u*m - 74 = -m. Is m a multiple of 20?
False
Does 28 divide 1 + -4 + 8 + 530 - 3?
True
Let o = 33 + -81. Let z = 93 + o. Is z a multiple of 15?
True
Suppose 14907 = 4*t - 5*s, -2*t + 33 = -4*s - 7425. Does 11 divide t?
False
Let m = -90 + 136. Let f(r) = 4*r - 3. Let j be f(-7). Let g = j + m. Does 5 divide g?
True
Let f be (-4 + (-15)/6)*4. Let x = f - -32. Is 32 a factor of 231/(x/2) - -2?
False
Let c = -43 + 33. Is (-567)/(-5) + (-4)/c*-1 a multiple of 9?
False
Suppose 5*c + 11*y - 1095 = 10*y, -3*c = 2*y - 664. Is c a multiple of 9?
False
Let z(t) = -t**3 + 4*t**2 - 4*t + 3. Let q be z(2). Suppose q*b = -0*b + 18. Let m(n) = n**3 - 6*n**2 + n. Does 6 divide m(b)?
True
Let d(y) = 12*y + 3. Let x(m) = -1 - 7 - 2*m + 1. Let h be x(-4). Is d(h) a multiple of 3?
True
Let t(w) = -w**2 + 7*w + 3. Suppose 23 = -5*s + 58. Let d be t(s). Suppose -2*p = d*p - 240. Is p a multiple of 14?
False
Suppose -50*o + 3*o + 23688 = 0. Is 6 a factor of o?
True
Let m(p) = -26*p**2 + p. Suppose -2 = k - 0. Let c be m(k). Is c/(-5) - 2/10 a multiple of 7?
True
Let s(c) = 2*c**2 - 9*c - 8. Suppose 4*m - 2 = -2*r, -9*r + 4*r + 5*m = -50. Let t be s(r). Is 16 a factor of (t/18)/((-2)/(-48))?
False
Let k(b) = 4*b - 38. Let q be k(8). Let r(c) = -c**3 - 4*c**2 + 7*c - 10. Is 3 a factor of r(q)?
False
Let d = 20 + -4. Let t = 43 - d. Does 27 divide t?
True
Let p(f) = -f**3 - 11*f**2 - 10*f + 5. Let s be p(-10). Suppose 0 = 2*c - s*c + 4*z + 5, -5*c + 4*z + 3 = 0. Let g(w) = -4*w**3 + 1. Is g(c) even?
False
Suppose -4*q = 0, 0 = 5*u + 2*q + 159 + 16. Let k = -49 - u. Does 9 divide (-270)/(-14) - (-4)/k?
False
Let c(z) be the second derivative of z**4/12 - 9*z**2 - 8*z. Does 18 divide c(-8)?
False
Let h = 83 + -89. Is 15 a factor of -4 - (764/h - 6/(-18))?
False
Let v = -224 + 1113. Does 4 divide v?
False
Suppose 5 - 3 = -s. Is -1 + (s/6)/((-5)/150) a multiple of 2?
False
Suppose -10*f + 8*f = 2. Let q = 6 + f. Suppose -t = q*i - 2*t - 400, -3*t = 0. Is i a multiple of 40?
True
Suppose -g - 117 + 12 = 0. Let q = g + 