 w(o) = -o**2 - 1. Let t(d) = -d**3 - 11*d**2 + d - 10. Let y(u) = -t(u) + 3*w(u). Is 14 a factor of y(-7)?
False
Is 4/(24/(-99))*(-232)/174 even?
True
Let b = 146 - -337. Does 31 divide b?
False
Let x = -159 + 419. Is x a multiple of 26?
True
Suppose -4*d + 2*d = d. Suppose 0*x + 2*z = 3*x - 114, d = -4*x + z + 147. Does 13 divide x?
False
Let y be (-3 - (1 - 3)) + -2. Is 12 a factor of 21 - -3*(y + 4)?
True
Let i(g) = -g**2 + 6*g + 9. Let k be i(7). Suppose 2*a + 4*u = 6*a - 92, -4*u + 70 = k*a. Does 27 divide a?
True
Let f = 120 + 441. Is f a multiple of 51?
True
Let u = 28 + -55. Does 17 divide 4/(-18) - 4137/u*1?
True
Let s(f) = f**2 + 4*f + 10. Is s(7) a multiple of 4?
False
Suppose -92*q + 88*q = -8. Suppose -2*j - q*z = -0*j - 422, -227 = -j + 3*z. Is j a multiple of 15?
False
Suppose 1724 = 3*l + 2*z, -l - z - 2882 = -6*l. Is 24 a factor of l?
True
Suppose -5*w + 3*h = -40, -w + 0*w + 2*h + 15 = 0. Suppose -5*s - 67 + 463 = 2*j, 2*s = w*j + 141. Does 6 divide s?
True
Suppose -6 = b + 2*b. Let a(z) = z**2 - 2. Let s be a(b). Suppose -23 - 17 = -s*f. Is 5 a factor of f?
True
Let l(t) = -t - 2. Let d be l(-5). Suppose -d*m = -2*m - 50. Is m a multiple of 6?
False
Suppose y = -2*y + 24. Let l be 101/1 + (-16)/y. Does 16 divide 4770/l + 2/(-11)?
True
Suppose -44*f - 8640 = -59*f. Does 12 divide f?
True
Let q(j) = -2*j - 15. Let o be q(-5). Is 17 a factor of (2 + o)/((-1 - -3)/(-22))?
False
Does 20 divide (20/6)/(((-132)/2826)/(-11))?
False
Let u = 57 + -38. Suppose -14*t - 495 = -u*t. Is t a multiple of 9?
True
Suppose 0 = -3*j + 12*j - 702. Is 24 a factor of j?
False
Let p be ((-36)/15)/((-3)/170). Let h = p + -95. Is h a multiple of 7?
False
Let w = 1094 + -764. Does 8 divide w?
False
Does 9 divide (3 + 14/(-3))*-159?
False
Let f = -124 - -55. Let c be (-3)/(6/10) - 1. Does 22 divide c*(f/9 - -4)?
True
Suppose 157 = 3*w - 326. Is 23 a factor of w?
True
Suppose a = 0, i + 5*a = -i - 210. Let q = i - -167. Is q a multiple of 31?
True
Let p = 1384 + -985. Is p a multiple of 21?
True
Let x(l) = -4*l + 8*l - 3*l + 16. Let r be x(-13). Suppose 6*b - r*b - 267 = 0. Is b a multiple of 24?
False
Let m be ((-6)/5)/(12/160). Let b = m - -36. Suppose a + 4*g = 20, 0 = -4*a + 3*g + g + b. Does 2 divide a?
True
Suppose -2*h - h = -396. Suppose -4*c = -321 - 31. Suppose -4*i = 3*w - c, i + h = 4*w - i. Is w a multiple of 18?
False
Suppose -3*b + 3*g = -9, -4*b + 8 + 12 = 4*g. Suppose b*s - 37 + 13 = 0. Let z(l) = 6*l - 5. Does 18 divide z(s)?
False
Let h(m) = -16*m - 44. Let c be h(-4). Let b = 18 - 11. Suppose b*a - c = 29. Is a a multiple of 6?
False
Let l be 1*(-1 + -1 - -4). Is 11 + l + 27/(-9) a multiple of 4?
False
Does 14 divide 2227 - 14*32/56?
False
Let k = -51 + 34. Let j = k - -58. Is 22 a factor of j?
False
Suppose 363 = -4*d - 3*s, -5*d - 5*s - 143 = 317. Let r = d + 111. Is 6 a factor of r?
True
Let k(v) = -2*v**3 - 13*v**2 + 2*v - 13. Let x(l) = 3*l**3 + 26*l**2 - 4*l + 27. Let t(b) = -5*k(b) - 3*x(b). Let g = -5 - -18. Is 5 a factor of t(g)?
True
Suppose 268 + 232 = -4*m. Let r = -71 - m. Is 6 a factor of r?
True
Suppose 4*v - 520 = 4*n, -v - 4*v - 5*n = -610. Is 42 a factor of v?
True
Let k = -219 - -140. Let o = 139 + k. Does 4 divide o?
True
Suppose -48*y + 46*y - 464 = 0. Let h = 31 - y. Is h a multiple of 21?
False
Let k = -1352 - -2212. Does 45 divide k?
False
Let g(n) = 2*n + 4. Suppose -5*m = -b - 28, -3*m - b + 24 = -4*b. Let k be g(m). Let a = k - 5. Is 3 a factor of a?
True
Suppose 1309 = -0*q + 7*q. Is 17 a factor of q?
True
Let r be (-555)/9 + 2/3. Let p = -37 - r. Let v = 40 - p. Does 4 divide v?
True
Suppose -158 - 142 = -3*h - 5*a, 0 = 3*h + 4*a - 303. Suppose -75*t + h = -72*t. Is 5 a factor of t?
True
Let y(j) = 27*j + 27. Let k be y(-4). Does 4 divide -4 + 0 + 3 - k?
True
Let a(f) be the first derivative of f**4/4 + 14*f**3/3 + 16*f + 12. Does 8 divide a(-14)?
True
Suppose -52*k + 4176 = -46*k. Does 29 divide k?
True
Does 5 divide 4*9/30 + (-11870)/(-25)?
False
Let y(m) = -m**2 - 5*m - 4. Suppose 5*b + 15 = -h, 2*b = 5*h - 0*h - 33. Let t be y(b). Suppose q - s = 54, 4*q - 3*s = -t*q + 213. Is q a multiple of 13?
False
Let i be 0 - (15 - 2/(-2)). Let m(q) = -q**2 - 17*q - 1. Let n be m(i). Suppose n + 15 = 2*d. Is d a multiple of 7?
False
Suppose 3*z = 4*l - 40, -8*l + 4*l = z + 24. Let u = -13 - z. Suppose 4*b = -3*q + u, -20 - 17 = -5*q + 4*b. Is q a multiple of 2?
False
Suppose -3*l = 2*c - 1949, 2906 = 3*c + 40*l - 39*l. Does 32 divide c?
False
Let l(x) = 10*x - 34. Is 28 a factor of l(9)?
True
Suppose 4*i = -4*g, i + 4*g - 5 = -2*i. Is ((7 + -1)*i)/(-1) a multiple of 13?
False
Suppose -4*t = -g - 20, 0*g - 4*g - 25 = -5*t. Suppose 0 = -t*y + 46 + 34. Suppose -2*b - y = i - 2*i, 91 = 5*i + b. Is 10 a factor of i?
False
Let q(r) = 3*r + 10. Let n be q(-2). Suppose -248 = -3*l - t + 156, -n*l + 4*t = -560. Is l a multiple of 19?
False
Let l(n) = -n**3 - 5*n**2 - n + 10. Let h be l(-4). Suppose 4*x = -2*y - 6, -4*x - 6*y + 2*y - 4 = 0. Is 26 a factor of h + 2 + (-70)/x?
False
Let d = 9 - -462. Suppose -d = -16*n + 13*n. Is 19 a factor of n?
False
Let v(w) = -w**3 + 39*w - 15. Let l be v(6). Let u(n) = -n - 3. Let k be u(-3). Suppose k*x - l*x = -78. Is 13 a factor of x?
True
Let v(o) = -o**3 + 9*o**2 - 7*o + 3. Let t be v(8). Let y(m) = 2*m**2 - 14*m. Is y(t) a multiple of 11?
True
Let f(q) be the third derivative of -q**4/2 - 7*q**3/3 - 7*q**2. Does 10 divide f(-4)?
False
Is 16 a factor of 4 - (7047/(-9))/3?
False
Let f(u) = -u**3 + 12*u**2 - 4*u - 2. Let j be (-12)/(-18)*(-1 + 13). Is f(j) a multiple of 15?
False
Let c(p) = -73*p**2 - 1. Let k be c(1). Let s = k + 141. Is 7 a factor of s?
False
Let y(k) = k**2 + 8*k + 3. Suppose 28 = -4*r + 2*a, 0 = -r - 4*a + 6*a - 10. Let c be y(r). Is 4 a factor of (27 - 1) + 27/c?
False
Suppose 19 = 7*g - 9. Suppose m + g*p = 2*p + 9, -m - 5*p = -15. Suppose m*i = s + 218, -5*i + 224 = -5*s + 2*s. Is 9 a factor of i?
False
Let a(j) be the first derivative of j**7/420 - j**6/90 - j**5/20 + j**4/12 + 3*j**3 - 13. Let c(o) be the third derivative of a(o). Does 24 divide c(4)?
False
Is 20 a factor of 169 - (3 - -7 - 1)?
True
Let y = 799 + -479. Is y a multiple of 10?
True
Let o be -4*(0 + 2) + 1. Suppose -4*w + 5*d + 254 = 0, d + 0 = 2. Does 7 divide 3/o - w/(-7)?
False
Let r(w) = -12*w + 4. Let s be r(2). Let m = s - -22. Suppose h + 4*d = -m*h + 146, -4*h - 3*d = -183. Is h a multiple of 21?
True
Is 3 a factor of (187/85)/(2/810)?
True
Let j(p) = 12 + p + 17*p**2 + 35*p**3 + p - 34*p**3. Let a be j(-16). Suppose 5*l - g + 4*g = 305, a = 4*l + 4*g. Is 23 a factor of l?
False
Let b = -12 + 14. Suppose 3*r + r - 116 = 3*f, -2*f = -b*r + 58. Is r a multiple of 6?
False
Let x(q) = -74*q - 135. Does 80 divide x(-10)?
False
Let x = -15 + 11. Let s = 121 - x. Suppose c = 2*f - 0*c - s, -2*c = f - 60. Does 31 divide f?
True
Suppose -4*o + 16 = -16. Suppose 0 = -o*c + 693 + 539. Is c a multiple of 14?
True
Let v = -11 + 1. Let d = -8 - v. Is (5/15)/(d/354) a multiple of 14?
False
Let w be (-1 - -1)/(22 - 20). Suppose 4*y - 5*y + 28 = w. Is 18 a factor of y?
False
Suppose -3 - 12 = -5*h. Let b = 7 - h. Is b a multiple of 2?
True
Suppose 5*k + 6985 = 16*k. Suppose -z + 99 = -5*q, 5*z - q - k = -4*q. Is z a multiple of 44?
False
Let o(q) = 4*q - 28. Let u(t) = t**2 + 7. Let f be u(3). Is 18 a factor of o(f)?
True
Suppose 4*w - 3*g = 29, -5*g = -0*g + 15. Suppose -347 = -w*u + 4*j, -3*u + 98 + 100 = j. Is u a multiple of 7?
False
Suppose -5*y + 4*h = -4538, -y + 1192 = -3*h + 291. Does 9 divide y?
False
Let d be (-1 - 3)*2/(-1). Does 10 divide d/(-2) - (1 - 31)?
False
Let b be 3/(4/((-56)/3)). Let p(q) = -q**3 - 13*q**2 + 15*q - 7. Let n be p(b). Is (-1 - n)*(-8)/(-20) a multiple of 3?
False
Let i(o) be the third derivative of -2/3*o**3 + 0*o + 5*o**2 + 0 + 1/12*o**4 + 1/30*o**5. Is 19 a factor of i(3)?
False
Suppose 0 = -5*w + 3*w - 20. Let t be ((-2)/5)/((-2)/w). Is 11 a factor of 0 + 3 + (17 - t)?
True
Let q(u) = u**3 - 10*u**2 - 4*u + 4. Let z be q(10). Let h = 55 + z. Does 2 divide h?
False
Let b(k) = -k**2 + 18*k - 20. Let z be b(14). Suppose -z = 4*i - 5*i. Let y = i - 21. Does 14 divide y?
False
Suppose 3*x = 5*x. Suppose -5*a - 3*w - 106 = x, -3*a - w = 43 + 19. Let f = a + 40. D