et j be p/7 + (-14)/49. Suppose 0 = w - j*m + 18 - 66, 0 = w - 3*m - 43. Is 5 a factor of w?
False
Let r(w) = -w**3 - 10*w**2 + 9*w - 19. Let f be r(-11). Suppose 2*g - 98 = 4*c - 10, 0 = -f*g - 2*c + 140. Is 4 a factor of g?
False
Suppose -16*r + 5922 = 2*r. Does 26 divide r?
False
Let o be (-2 - 208)*(-5)/5. Let r = -11 + o. Does 51 divide r?
False
Let g = -30 + 21. Let b = -5 - g. Is b/(-24) - (-19)/6 even?
False
Let a = 254 - 76. Suppose v = 3*j - a - 779, -12 = -4*v. Suppose -20*h - j = -25*h. Is h a multiple of 32?
True
Let j be (2 - -13)*(-4)/(-8)*-6. Is 13 a factor of 2/9 - 5840/j?
True
Suppose -13*z - 1314 = -22*z. Is z a multiple of 9?
False
Let x = -235 - -370. Is 44 a factor of x?
False
Suppose 0 = 3*k + 3. Is 10 a factor of k + (-2 - -21)*1?
False
Let i(h) = -h**3 + 5*h**2 - 3*h - 4. Let b be i(4). Suppose 0*w + w - 440 = -5*t, b = 5*t - 5*w - 410. Is t a multiple of 10?
False
Suppose -6*b = 2*b - 128. Suppose -3*p + 2*p + b = 0. Is (-3)/((-3)/4)*p a multiple of 16?
True
Suppose -5*t + 191 = -39. Suppose -3*n + t = -2*m - 2*m, 0 = 5*n + 5*m - 135. Is n a multiple of 16?
False
Suppose -3*h + h - 3*x + 2 = 0, 3*h + 4*x = 4. Suppose -4*c + 14 = -2*u, 3*u + c - 4 = h*u. Is 12 a factor of (-19 - (0 - -2))/u?
False
Suppose 4*k + 3*l = -2*l + 328, 3*l = 4*k - 360. Does 12 divide k?
False
Suppose -3*l + 1 + 2 = 0. Let j(f) = -3*f**2 - 2*f + 1. Let h be j(l). Is (-2)/h - 238/(-4) a multiple of 30?
True
Let m(a) = -2*a - 3*a + a. Let i be m(-4). Suppose -4*d + 22 = -2*w - 30, -i = 4*w. Does 11 divide d?
True
Let b = -564 + 696. Is 44 a factor of b?
True
Let z(y) = 9*y. Let r be z(-1). Let v be 0*(r/(-6) + -1). Suppose v = -4*n + 2*n + 28. Is n a multiple of 7?
True
Let s = 607 - 362. Is 49 a factor of s?
True
Let d(u) = u**3 - 2*u**2 - 2*u - 4. Let m be d(3). Let k = 2 - m. Suppose k*o + 2*l - l - 119 = 0, 5*o - 170 = 4*l. Is 12 a factor of o?
False
Suppose -33*r = 3*z - 30*r - 7815, 5*z = 3*r + 13065. Is 15 a factor of z?
True
Let b(f) be the first derivative of f**3/3 - 5*f**2/2 + 2*f - 2. Let u be b(3). Does 5 divide (-2 - u)/((-2)/(-5))?
True
Let l be (6/4)/(6/8). Suppose z = l*z + 10. Is 25 a factor of 4/z - 424/(-10)?
False
Let n(h) = 338*h + 204. Is 24 a factor of n(7)?
False
Let h be ((-20)/(-30))/(2/(-21)). Let j(o) = 2*o**2 + 8*o - 10. Is 20 a factor of j(h)?
False
Let v(g) = -g**3 - 9*g**2 - 6*g + 10. Let u be v(-8). Let q(a) be the second derivative of -11*a**3/6 + 5*a**2 - a. Does 14 divide q(u)?
False
Let g = 211 + 148. Does 11 divide g?
False
Let t(w) = w**2 + 2*w + 4. Let h be t(-9). Let j = 127 - h. Is j a multiple of 20?
True
Let x be (-3)/(-3)*38/(-2). Suppose -213 = 4*k + 23. Let i = x - k. Does 10 divide i?
True
Let n(k) = k**2 - 30*k - 6. Let h be n(18). Let s = h - -358. Is 12 a factor of s?
False
Let i(t) = t**3 - 5*t**2 + t + 2. Let j be i(5). Is (1*j)/((-1)/(-24)*6) a multiple of 13?
False
Let h(y) = -87*y + 1. Let b be h(-1). Let u be (-4)/(-22) - (-7200)/b. Suppose 3*q = p + u, -5*q + 95 = p - 31. Is q a multiple of 13?
True
Let u = -28 - -34. Let m = u - 2. Suppose -16 = -p + m. Is p a multiple of 10?
True
Let v be ((-7)/21)/((-2)/90). Suppose 4*b + v = j, b + 1 = 3*j - 0*j. Let x = 44 - j. Is 15 a factor of x?
True
Let r(t) = -4*t**2 - 4*t - 1. Let c be r(-3). Is 25 a factor of 1/((-101)/c - 4)?
True
Suppose -9*g + 450 = 9*g. Let j be 6/9*2*3. Suppose 0 = j*y - g + 1. Is y a multiple of 5?
False
Suppose t + w + 0*w - 372 = 0, 0 = t - 5*w - 354. Is 9 a factor of t?
True
Let j(g) = g**3 + 10*g**2 - 14*g - 10. Is j(-7) a multiple of 13?
False
Suppose 0*o - i = -2*o + 387, 5*o = 2*i + 965. Let k = o - 107. Is 11 a factor of k?
False
Suppose 3*z - 3*b + 726 = 9228, 0 = -4*z - 5*b + 11309. Does 8 divide z?
False
Let w be 26/10 + 2/5. Suppose 42*z - 49*z + 28 = 0. Suppose 4*v - 380 = -z*q, -3*q = -v - w*v - 313. Does 13 divide q?
False
Suppose -7*b - 145 = -8*b. Does 29 divide b?
True
Let g = -22 - -53. Let u = 50 - g. Does 19 divide u?
True
Suppose 6*m - 15 = 3*m. Is ((-6)/4)/(m/(-2))*25 a multiple of 12?
False
Let j(o) = -7*o + 8. Let f(n) = n - 1. Let s(v) = -4*f(v) - 2*j(v). Is 11 a factor of s(9)?
False
Let n(w) = 14*w - 8 + 0 - 3 - 6. Does 7 divide n(4)?
False
Let b(c) = -5*c**3 - 41*c**2 - 15*c - 89. Let m(t) = -t**3 - 10*t**2 - 4*t - 22. Let l(f) = -2*b(f) + 9*m(f). Is 20 a factor of l(10)?
True
Let z = -27 + 32. Suppose 57 - 12 = z*b. Does 9 divide b?
True
Is ((-13)/6 - (-200)/(-240)) + 299 a multiple of 26?
False
Let q be 7/(63/(-6))*-3. Suppose 18 = -q*v + 70. Suppose -f + 31 = 2*t - 0*f, -v = -2*t + 4*f. Does 2 divide t?
False
Let y(m) = 16*m**3 + 11*m**2 - 11*m - 541. Let w(i) = 3*i**3 + 2*i**2 - 2*i - 108. Let b(x) = -11*w(x) + 2*y(x). Does 14 divide b(0)?
False
Let b(i) = 14*i - 8. Suppose 5*y = 34 - 4. Is b(y) a multiple of 15?
False
Let x(f) = -88 + 85 - f + 121*f**3 + 3*f + f**2. Is 8 a factor of x(1)?
False
Let c = 576 + -287. Is 11 a factor of c?
False
Let w(m) = -7*m + 36. Let u(z) = -15*z + 71. Let i(p) = -6*u(p) + 10*w(p). Does 34 divide i(20)?
False
Suppose -92 = 4*k - 24. Let a = k + 13. Does 11 divide (-852)/(-33) + a/(-22)?
False
Let h = -120 - 110. Is (-3)/(3 - (-705)/h) a multiple of 7?
False
Let a(z) = z**3 + z**2 + z + 11. Let q(v) be the first derivative of v**4/4 - 7*v**3/3 + 7*v**2/2 - 6*v - 2. Let h be q(6). Is 11 a factor of a(h)?
True
Let s(r) = -r**3 - 3*r**2 - 4*r - 2. Let v(o) = 3*o - 1. Let g be v(-2). Let l(k) = k + 4. Let p be l(g). Is s(p) a multiple of 10?
True
Let h = -66 + 72. Suppose p - 91 = h. Is 15 a factor of p?
False
Let k(d) be the first derivative of -d**4/4 - d**2/2 - 2*d + 3. Let o be k(2). Let l = o - -18. Is l a multiple of 6?
True
Suppose -o + 16 + 38 = 0. Let s be 3 - (-2 + 8 + -3). Suppose 2*l = -4*a + o, s*l + 3*l - 45 = -3*a. Is a a multiple of 6?
True
Suppose 21*w - 16*w = 10, -2*w - 1460 = -4*a. Is a a multiple of 80?
False
Let x = 9 + -10. Let m = x + 3. Suppose 4*i - 24 = 4*w, i = m*w - 3 + 9. Does 3 divide i?
True
Let w(y) = -69*y + 4. Is w(-4) a multiple of 14?
True
Let i = -47 + 335. Does 6 divide i?
True
Let f = 85 + -87. Is (f/(-2) + 199)*(-39)/(-26) a multiple of 20?
True
Suppose -6 = 11*s - 12*s. Let w(a) = -a + 18. Is w(s) a multiple of 4?
True
Suppose -19210 = 74*s - 59910. Is s a multiple of 5?
True
Suppose -b + 51 = u, -3*u - 225 = -5*b - 2*u. Suppose 258 = -44*x + b*x. Is x a multiple of 15?
False
Let o(p) = -5*p + 2*p - 11 + 1. Let x = 408 - 419. Is 23 a factor of o(x)?
True
Suppose 23*l - 12 = 27*l. Does 2 divide (1 - l)*-1 - -51?
False
Is 5 a factor of 28356/21 + (-16)/56?
True
Let a(g) = -g**3 - 12*g**2 + 12*g - 9. Let o be a(-13). Suppose 40 = -o*r + 5*r - 2*x, 0 = 5*r - 3*x - 179. Suppose r*y = 33*y + 10. Is y a multiple of 5?
True
Let k(b) = 11*b**2 - 1. Does 10 divide k(-1)?
True
Let l(g) = -2*g**3 - 4*g**2 + 5*g + 13. Let p be l(-4). Let u = p - 19. Is 11 a factor of u?
False
Suppose 4*o - 4 = p, 4 = 5*p + o - 18. Suppose -5*v - p - 1 = 0. Does 7 divide (3 - -24) + -1 + v?
False
Let f(d) = -d**3 + 9*d**2 + 17*d - 6. Let w be f(11). Is 2/(0 - 1) - w a multiple of 11?
False
Let i(c) = -31*c + 4. Let h(f) = -f. Let k(n) = 2*h(n) - i(n). Let o be (-2)/(-2 + -4)*6. Is k(o) a multiple of 18?
True
Let j be -1*28/((-16)/(-4)). Is 16 a factor of 1/(-4) + (1071/12 - j)?
True
Suppose -2*a = 5*n - 8758, n - 9*a + 8*a - 1746 = 0. Is 70 a factor of n?
True
Is (-100)/(-15) + -6 + (-374)/(-6) a multiple of 7?
True
Suppose 0 = 3*s + g - 1, -5*s + 3*g - 4*g = -1. Suppose s*t - 15 = -3*t. Suppose t*n = -v + 72 - 7, 3*v = -4*n + 63. Does 4 divide n?
True
Let p(q) = -q + 18. Let b be p(-10). Suppose -7*r + 7 + b = 0. Does 3 divide r?
False
Let m(c) = c**3 - 7*c**2 + 13*c - 15. Is m(7) even?
True
Suppose 11*p - 2*p + 2385 = 0. Let k = -114 - p. Is 19 a factor of k?
False
Let l(x) be the second derivative of -x**4/12 - 7*x**3/2 - 7*x**2 - x. Is 24 a factor of l(-10)?
True
Let l = -34 - -34. Does 16 divide (-5)/(-5)*(43 - l)?
False
Let q = -14 - -22. Suppose h = -3*h + q. Suppose -h*z - z + w = -17, 0 = 5*z - 5*w - 45. Does 4 divide z?
True
Let s(t) = t**3 - 4*t**2 - 32*t - 33. Is s(9) a multiple of 5?
False
Let u = 5 + 17. Suppose -28 = 10*p - 178. Let c = u + p. Does 11 divide c?
False
Let x = -349 + 542. Is x a multiple of 18?
False
Suppose -3*f 