actor of w(u)?
False
Let b(j) be the first derivative of -j**4/4 + 5*j**3/3 + 3*j**2 + 5*j - 1. Let g be b(6). Suppose -5*w - 10 = -3*f, -3*f + 4*w - g*w = -34. Is 5 a factor of f?
True
Let z(m) = 2*m + 6. Suppose 8 = -2*a - 10. Let l = 15 + a. Is 6 a factor of z(l)?
True
Suppose 53 = 3*k - 40. Let m = k + -11. Is m a multiple of 15?
False
Suppose 27 = 4*y + 11. Suppose -y*f + 70 = f. Is 14 a factor of f?
True
Suppose 23*c + 52 = 27*c. Is c a multiple of 11?
False
Suppose o = 5*a - 10, 0*a - a + 28 = 5*o. Let y be -1 - -7 - (o - 4). Does 3 divide (0 - 1)*-1 + y?
True
Suppose z = 4*z + 15. Does 28 divide (-84)/z*(-1 - -6)?
True
Suppose -p + 2*k - 2 = -0*p, -4*k + 8 = 0. Let t be 0 + 1/(-1) - p. Is 3 a factor of 1 - t*6/9?
True
Suppose -3*v = -8*v - 15. Let i be (-2)/1 + 5 + v. Suppose i = -2*j + 3*z + 47, 2*j + 8 = 2*z + 54. Is j a multiple of 14?
False
Suppose -y - 1 = 0, -q - 3*y + 18 + 7 = 0. Is 7 a factor of q?
True
Suppose 0 = -13*c + 19*c - 2388. Is 60 a factor of c?
False
Let m = 79 - 61. Is 18 a factor of m?
True
Let x = -91 - -166. Does 23 divide x?
False
Let x(l) = -l**2 + l + 7. Let i(b) = -b - 1. Let g(k) = 4*i(k) - x(k). Is g(8) a multiple of 12?
False
Let c be 0 + -2 - -1*5. Suppose -10 + 0 = -r - 4*j, 4*r + c*j - 1 = 0. Is 51/r*4/(-6) a multiple of 8?
False
Suppose 8*m + 22 = -18. Let t(x) = x**3 + 0*x**2 - 7 - 8*x + 0 + 4*x**2. Is t(m) a multiple of 5?
False
Let l(q) = q**3 - 13*q**2 + 14*q - 8. Let u be l(12). Suppose 64 = b + u. Is 15 a factor of b?
False
Let q be (-5)/(-25) + 1098/10. Suppose h - 2*s + 12 + 18 = 0, -3*h - q = 4*s. Let f = -18 - h. Does 16 divide f?
True
Let h(z) be the third derivative of 3*z**2 - 5/12*z**4 - 2*z**3 + 0 + 11/60*z**5 - 1/120*z**6 + 0*z. Does 21 divide h(9)?
False
Suppose 0 = -4*s + 2 + 6. Let l be 1*s - (-4)/4. Suppose -4*a + 4*v = -44, -2*a + 4*v + 50 = l*a. Is 3 a factor of a?
True
Suppose 886 = 12*s - 1178. Does 43 divide s?
True
Suppose 75 = k - 4*v, -v + 0 - 60 = -k. Is k a multiple of 5?
True
Let h(g) = 5*g**2 + 6 - 4*g - 15 - 9 - 4*g**2. Does 20 divide h(-8)?
False
Suppose -2*u - 6 + 110 = 0. Let n = -19 + 32. Suppose -5*b + u = -n. Does 13 divide b?
True
Suppose -106 - 50 = -4*n. Let y = n - 139. Is 7 a factor of 4/(-14) - y/7?
True
Suppose -4*t = -0*t - 260. Does 14 divide t?
False
Suppose 6*f - l = 2*f + 4, -2*f + 4*l = -2. Let g be 21 + f*3/(-3). Suppose o - 8 = -n - 3, -g = -n + 4*o. Is n a multiple of 5?
False
Suppose -4*i - 184 = 88. Let n = -48 - i. Is n a multiple of 16?
False
Let c = -84 - -14. Let x = -45 - c. Is x a multiple of 9?
False
Let q be 4/12*(-27)/(-3). Suppose -18 + q = -5*h. Is h a multiple of 2?
False
Let s = 1 + -1. Let k(b) = b - 20. Let m be k(s). Does 4 divide m/6*12/(-5)?
True
Suppose 2*u + 2*m = 4*m + 274, -4*u - 2*m = -566. Is u a multiple of 14?
True
Is 4 a factor of (-2)/(44/168 + (-1)/3)?
True
Suppose -3*f - 6*f + 90 = 0. Is 5 a factor of f?
True
Let n be (-3)/2 + (-57)/(-6). Suppose 0 = 4*q - n - 12. Suppose 5*o - 200 = -5*y, -2 = q*o + 3. Is 22 a factor of y?
False
Let j(y) = -45*y**3 - y**2 + 1. Suppose 5*a + 4*r + 13 = 0, 3*r - 6 = 6*r. Does 18 divide j(a)?
False
Let y(d) = 9*d**2 + d - 10. Let b be y(5). Suppose -4*f + 9*f = 5*u - b, 0 = f + 2. Is 9 a factor of u?
False
Let m be -7*(24/14 - 2). Suppose 0 = 3*i + 5*l - 4*l - 104, 130 = 4*i - 3*l. Suppose z = 3*v + i, -z - v + 4 = m*v. Is 8 a factor of z?
False
Suppose -12*a = -15*a + 93. Does 13 divide a?
False
Let p = 28 - 13. Suppose -4*q + 3*y + 20 = q, 5*q + p = -4*y. Does 6 divide 2 + -1 - (q - 6)?
True
Suppose 4*o = -v + 2*v + 257, 340 = 5*o - 5*v. Suppose 3*l = x + 191, 2*l - x - 65 = o. Is 19 a factor of l?
False
Let q = 12 + 5. Suppose 5*t = -o + 8, -o = 3*o + 5*t - q. Suppose o*b = 5 + 7. Is b a multiple of 4?
True
Let m(w) = 14*w**3 + 12*w**3 + 3 - 3*w**2 + 2*w + 4*w**2 - 29*w**3. Is m(-2) a multiple of 9?
True
Let y be (-1)/2*-6*1. Suppose y*l = 7*l. Suppose 4*n + 5*q - 58 = l, -q + 0*q - 34 = -3*n. Does 6 divide n?
True
Let l(b) be the second derivative of b**4/12 + b**3/6 + 3*b**2 - 10*b. Is l(0) even?
True
Let m(w) be the second derivative of -w**4/12 + 3*w**3/2 + 2*w**2 + w. Suppose -2*a - 10 = -q - 2*q, 2*q - 4*a + 4 = 0. Does 12 divide m(q)?
False
Suppose -10 = -2*b - 4. Let m(h) = h - 3. Let s be m(3). Let p = b - s. Is p even?
False
Let m(f) = -1. Let d(x) = -26*x + 10. Let h(r) = r - 1. Let g(k) = d(k) + 5*h(k). Let z(l) = g(l) + 6*m(l). Is 10 a factor of z(-1)?
True
Let n(g) = -3*g + 9. Let h be n(6). Suppose 5*r = -5*d + 155, 0 = 2*r + 6*d - 5*d - 57. Let z = r + h. Is 11 a factor of z?
False
Suppose p = l + 333, 853 + 166 = 3*p + 2*l. Is p a multiple of 26?
False
Suppose 0 = -6*f + 27 + 69. Does 4 divide f?
True
Suppose -3*y - 2*y = -5*x + 35, -4*x + y + 22 = 0. Let l be (x + -1)/(2 + 0). Is 20 a factor of 370/8 + l/(-8)?
False
Let t(m) = -m**2 - 7*m. Does 2 divide t(-6)?
True
Suppose -76 = -2*h - 2*h. Suppose 5*s + 3*f - h = 2*f, 17 = 3*s - 5*f. Suppose 4*y - 9 = v - 2*v, -s*v = 3*y - 75. Is v a multiple of 8?
False
Let b(s) = 3*s**3 + 2*s - 2*s**3 + s**2 - 6*s**2. Is 16 a factor of b(6)?
True
Let z(x) = x + 3. Let i be z(-5). Let q(h) = -3*h - 2. Let r(p) = -p - 1. Let u(j) = i*q(j) + 10*r(j). Does 7 divide u(-6)?
False
Let v = -48 - -95. Let j = 9 + -6. Suppose -2*b + j = -v. Is 10 a factor of b?
False
Is 25 a factor of ((-74)/3)/(22/(-33))?
False
Let w = 17 + -5. Is w a multiple of 11?
False
Suppose -d - 2*d = -9. Suppose 52 = d*t + t. Suppose 5*j - 42 = t. Does 11 divide j?
True
Let i be (0 - 4/10)*-5. Let x be (i - -13) + 1/(-1). Does 7 divide 102/14 + (-4)/x?
True
Suppose 6*p + 120 = 3*u + p, -4*p + 102 = 2*u. Is 15 a factor of u?
True
Let s be 0/(-2) - 5 - -1. Let m(y) = 2*y**2 + 3*y - 4. Let j(z) = -z**2 + z. Let u(t) = -j(t) - m(t). Is u(s) a multiple of 4?
True
Let v(w) = -w**2 - 6*w + 7. Suppose 5*d + 13 = k - 17, -5*k + 10 = 3*d. Is v(d) a multiple of 4?
True
Suppose -2*d = g - 20 - 53, 2*g - 6 = 0. Is 19 a factor of d?
False
Let p(v) = v. Let x be p(2). Suppose -4*k + 352 = 4*r, 6 = 2*r - x. Is 22 a factor of k?
False
Let n(j) = -7*j + 4. Let k(o) = o + 1. Let a(u) = -4*k(u) - n(u). Does 9 divide a(6)?
False
Suppose 2*p - 211 = -y + 279, -2*y = 8. Does 13 divide p?
True
Let t = -437 - -270. Is t/(-5) - (-8)/(-20) a multiple of 11?
True
Is ((-20)/12)/5*-78 a multiple of 13?
True
Let w be -4 + -43 - (1 - 2). Does 12 divide (7 - 9)/(4/w)?
False
Suppose 0 = 5*x + 30 - 145. Let m = x - 11. Is m a multiple of 8?
False
Let s be 2 + -28 + -1 + -1. Is 19 a factor of (-8)/s + (-584)/(-14)?
False
Let s(d) = -d**3 + 4*d**2 + 1. Let w be s(4). Let b be 0/2 - (1 - w). Suppose 5*k + 12 = a, -a + b*k + 42 = 5*k. Does 14 divide a?
False
Suppose 4*u = 41 + 175. Is u a multiple of 6?
True
Let j(p) = 3*p**2 + 24*p + 38. Let n(z) = -2*z**2 - 16*z - 25. Let v(b) = -5*j(b) - 8*n(b). Let x be v(-7). Is x/15 - 39/(-5) a multiple of 3?
False
Suppose -3*j = 5*r + 15, 2*j - 3 = 6*j + r. Let u be 18 - (j + 0 + 2). Suppose -u = -o - 1. Is o a multiple of 10?
False
Suppose 0*o + 40 = 5*o. Suppose -l + 28 = -2*f, f + o = -f. Is l a multiple of 5?
True
Is 24 a factor of (-9)/((-27)/58)*9?
False
Suppose -2*b + o = -11, 0 = 3*b - o - 2*o - 24. Suppose -u - s = -3*u - 11, 24 = -b*u + 3*s. Let k(d) = -3*d - 2. Is 5 a factor of k(u)?
False
Suppose 7 + 3 = 5*k. Suppose -4*y + 17 = -2*i + i, -21 = -3*y - k*i. Is y a multiple of 3?
False
Let l(a) = 10*a**2 + 2*a - 15. Is 17 a factor of l(6)?
True
Suppose -9 = -3*c + 6. Suppose 2*y - 51 = -c*u, 0 = 4*y + u - 6*u - 147. Does 12 divide y?
False
Let h be 12/(-18)*(-9)/2. Suppose -5*q - 2*i + 1 = -4*q, 0 = -2*q + 2*i - 22. Let l = h - q. Is l a multiple of 10?
True
Suppose -u + 36 = 5*r + u, 2*u = r. Suppose 0 = 4*q + p - r, -5*q = -4*p + 3*p - 12. Is 3 a factor of q*3/(-15)*-20?
False
Let w be 6/(-15) - 156/10. Let t = 11 + w. Is 8 a factor of (-42)/t - 10/25?
True
Suppose m - 4*m = 3*w + 66, 0 = m + 4*w + 25. Let t = 15 - m. Does 10 divide t?
False
Let x = 54 + -2. Is x a multiple of 13?
True
Let m(h) = h**3 - h**2 + 11. Let r be m(0). Suppose 0 = -4*n - 4*z + 81 - 25, -5*n + z = -82. Let o = n - r. Is o even?
False
Let k(y) = 15*y**2 + 18*y + 7. Let d be k(-7). Is 16 a factor of d/33*36/14?
True
Let u be ((-66)/4)/(3/68). Let v = -264 - u. Suppose g