 + 17 = -l. Does 3 divide n?
False
Is 948 + 11 + 1 + -5 a multiple of 4?
False
Let v = -31 - -36. Suppose v*r = -0*i - 2*i + 1, -5*r = -i - 7. Suppose -2*y + r = 3, -3*q - 3*y + 33 = 0. Is 12 a factor of q?
True
Let b = 22 + -17. Suppose -3*t + 3*n + 1503 = 0, b*t = -n + 83 + 2422. Is t/15 + (-14)/35 a multiple of 7?
False
Suppose 0*w = -5*w + 235. Suppose -3*r + 0*r = g - w, 5 = -5*g. Suppose -5*a + r + 54 = 0. Does 4 divide a?
False
Let w(g) = -13*g - 7. Let d be w(-5). Suppose 5*o + d = m - 3*m, m + 44 = -4*o. Let v(b) = -3*b - 15. Does 5 divide v(o)?
True
Let k = 343 - 487. Suppose -5*v - 2*a = 3*a - 10, -5*v + 3 = -2*a. Does 6 divide v/(-9) - 3328/k?
False
Is -183*((-1)/5 + (-56)/120) even?
True
Is 5 a factor of 227/5 - (-21)/(210/(-4))?
True
Let l(h) = -h**3 + 6*h**2 + 2*h + 3. Let k(b) be the third derivative of -b**4/24 - b**3/3 + 4*b**2. Let x be k(-6). Is 8 a factor of l(x)?
False
Let r be 0/(3/((-6)/4)). Suppose 5*h - 15 = 770. Suppose 2*g - 4*z - 147 = z, r = -2*g - 5*z + h. Is 28 a factor of g?
False
Let y(h) = 5*h**2 - 4*h - 1. Suppose 3*p - 40 = -5*t, -5*p + t - 3*t + 73 = 0. Suppose 3*c - 2*m = p, 4*c - 4*m - 18 = 2*c. Is y(c) a multiple of 16?
True
Let z(g) = -4*g - 8. Let c(q) = -4*q - 8. Let o(v) = -5*c(v) + 4*z(v). Let a be o(6). Suppose w = 5*w - a. Is w a multiple of 6?
False
Let u(k) = 95*k - 209. Is u(31) a multiple of 42?
False
Let a(n) = -219*n - 96. Is a(-6) a multiple of 6?
True
Suppose -2906 = -11*s + 856. Is s a multiple of 57?
True
Let l(n) = -n - 3. Let a be l(-5). Let f(h) = -h - 11 + 9 + 23*h**2 - 2*h**a. Is 10 a factor of f(-1)?
True
Let r(y) = 11*y + 8*y + 15 - 24*y**2 - 6 + 23*y**2. Is r(17) a multiple of 3?
False
Let s(m) = 2*m**2 - 14*m + 6. Let y be s(6). Is 6 a factor of (4 - 85/10)*80/y?
True
Let m(s) = -s**2 - s + 2. Let b be m(-3). Let p = b - -9. Suppose -2*f - 4*v = 3*f - 166, -3*f = -p*v - 107. Does 17 divide f?
True
Suppose 3 + 1 = 4*a. Suppose -a = 3*n - 169. Is 8 a factor of n?
True
Suppose -3*m + 2*z + 187 = 0, 3*z = -3*m + 2*m + 44. Suppose -b + m - 19 = 0. Suppose -2*u + 2 = -b. Is 21 a factor of u?
True
Suppose 3*v + 2*r - 336 - 512 = 0, 0 = -v - 5*r + 274. Does 21 divide v?
False
Suppose -2*t + 7*t - 3*w - 2274 = 0, 5*t = w + 2278. Does 8 divide t?
True
Is 1 - 4/(40/(-4190)) a multiple of 15?
True
Suppose 2*j + 46 = 4*z, 3*j = -3*z + 4*j + 35. Let s = z - 8. Suppose -2*u = 5*p - 94 - 5, -p + 243 = s*u. Is u a multiple of 22?
False
Let t(d) = d + 7. Let w be t(-4). Let p be w + 0/(-6 - -3). Let y(j) = 2*j**3 - j**2 - 3*j. Is y(p) a multiple of 26?
False
Let o(g) = -4*g**3 - 2*g**2 - g. Let q be o(-1). Suppose q - 79 = -4*v. Is v a multiple of 5?
False
Suppose 3*d = 2*g - 11, 2*d + 2*g - 5 = 1. Let q be 107 + d - (0 - 2). Suppose 0*h = 2*h - q. Is 9 a factor of h?
True
Let c = -225 - -244. Is 7 a factor of c?
False
Let z(g) be the first derivative of 7*g**3/3 - 21*g**2/2 + 3*g + 11. Does 14 divide z(6)?
False
Suppose 0 = -d + 4*l + 66 - 4, -114 = -2*d + 3*l. Is 4 a factor of d?
False
Let a be 0 - (-177)/2 - (-1)/(-2). Let v = -43 + a. Is 13 a factor of v?
False
Does 105 divide (1 - (-184)/(-4))/(111/(-2072))?
True
Let l = 510 + -251. Suppose x + 5*s - 61 = 0, -5*x + s + l = 3*s. Is x a multiple of 17?
True
Let a(o) = -3*o**2 - o - 25. Let s be a(-10). Let j = -131 - s. Is 13 a factor of j?
False
Let h be (0 - 32/12)*123/2. Let d = -110 - h. Is 18 a factor of d?
True
Let q be 4*(3 - (-27)/(-12)). Suppose q*w - 2*w = 108. Let h = w + -12. Does 32 divide h?
True
Let g(v) be the second derivative of v**4/12 - 5*v**3/3 + 15*v**2/2 - 5*v. Let y be g(7). Let b(s) = -s**3 - 5*s**2 + s - 6. Does 4 divide b(y)?
True
Let w = -214 + 325. Suppose -282 = -3*s + 3*p, 0 = -s - 3*s + p + 391. Suppose -3*n + s = 3*x - w, -64 = -n - 4*x. Is 16 a factor of n?
False
Let w = 39 + -69. Is 18 a factor of (-32 - (-2)/1)*108/w?
True
Let a(z) = -z**3 + 8*z**2 + 10. Let x be a(8). Let i = x - 13. Does 22 divide 30/i*(-84)/10?
False
Is 31 a factor of ((-5)/10)/((-2)/334)*2?
False
Suppose 6*m - 11*m = -40. Suppose -20 = 7*j - m*j. Suppose -21*s + j*s + 54 = 0. Is s a multiple of 18?
True
Let a be ((-90)/4)/(9/(-18)). Suppose 0 = -w + 32 + a. Is 37 a factor of w?
False
Let w be (0/(-1) + 0)/(-1). Suppose 0 = -n - 3*n + 12. Let t = n + w. Is t even?
False
Let o be (-208)/(-6) - (-11)/33. Suppose -d + o = -19. Does 8 divide d?
False
Let s(v) = 3*v + 3. Let g(k) = -2*k - 2. Let n(o) = -4*g(o) - 3*s(o). Let m(b) = -14*b + 2. Let f(u) = m(u) - 12*n(u). Is 16 a factor of f(-17)?
True
Let l = -38 + 40. Suppose 0 = l*r + 2*r - 188. Does 17 divide r?
False
Suppose 9*p - 8976 = -3*p. Is p a multiple of 22?
True
Suppose -41 = -11*i + 1664. Is i a multiple of 3?
False
Let b = 29 + -25. Let c be b + 1 + 68 + 4. Suppose -4*j + c = -111. Is j a multiple of 8?
False
Suppose 2*h = -h. Suppose 2*v = 3*z - h*v - 466, 2*z - v = 309. Suppose 4*o + 16 = z. Is o a multiple of 17?
True
Suppose -518*h - 15428 = -525*h. Is h a multiple of 29?
True
Let t = 32 - -141. Suppose -t = -a + 55. Does 12 divide a?
True
Let l(j) = j. Let d(u) = 12*u**2 + 10*u + 5. Let g(c) = d(c) - 6*l(c). Is 3 a factor of g(-2)?
True
Let o(x) = x**2 + 11*x + 109. Does 10 divide o(-22)?
False
Let j(u) = -u - 11. Let r be j(9). Does 2 divide (2/(-5))/(1/r)?
True
Let l(b) be the first derivative of -b**4/4 + 20*b**3/3 + 21*b**2/2 + 20*b + 28. Is l(21) a multiple of 4?
True
Let q = 2605 - 1846. Is q a multiple of 35?
False
Let t = -177 - -527. Is 31 a factor of t?
False
Suppose d = -6*d + 2*d. Suppose -3*r + 265 - 97 = d. Is 14 a factor of r?
True
Suppose -16 = 3*y - 7*y. Let i = y - 7. Does 4 divide -7*i/(6/2)?
False
Let m = 19 + -9. Let i = m + 1. Suppose 4*r - 176 = -4*h, -i = -2*h + 4*r + 59. Is h a multiple of 15?
False
Let x(y) = -y**3 - 6*y**2 - 7*y + 3. Let h be x(-7). Suppose 3*q = -3*o - q + h, q - 59 = -2*o. Suppose -5*z + 43 = -o. Does 11 divide z?
False
Let j be -7*(13/7 + -1). Let f be j/(-4)*(-24)/(-9). Suppose -3*o - 13 = 2, 0 = -4*k + f*o + 368. Is k a multiple of 29?
True
Let k = -127 - -265. Suppose 0 = 2*f + 4*f - k. Does 23 divide f?
True
Suppose -30654 = -51*b + 48. Does 14 divide b?
True
Let w(d) be the third derivative of d**5/15 - d**4/3 - 4*d**3/3 + 30*d**2. Is 24 a factor of w(4)?
True
Suppose 0*t + 4*t - 32 = 0. Let o = 61 + t. Suppose 0 = 2*j - 3*p - o, -3*j + 2*j - p + 37 = 0. Does 12 divide j?
True
Let v = -27 + 36. Suppose -v*l + 11*l = 164. Does 17 divide l?
False
Let i(r) = r**2 + 7*r - 8. Suppose 0 = -4*p - 3*x - 17, -x = x - 10. Let y be i(p). Suppose -160 = -4*a - y*a. Is 20 a factor of a?
True
Let i = 42 - 37. Suppose -y = -i*p - 69, -3*y + 4*p = -y - 156. Does 18 divide y?
False
Suppose 314 = z + i, z = -3*i - 69 + 383. Let n = z - 202. Suppose -n + 560 = 4*s. Is 28 a factor of s?
True
Suppose 0 = -5*m + 3*m + 44. Suppose -2*j = 5*v - 50, -2*j + 2*v = -0*v - m. Does 5 divide j?
True
Suppose 0*g + 15 = g - 4*c, 0 = 5*g + c - 12. Is 4 a factor of 112/g + -1 + (-25)/75?
True
Let r(y) = -5*y**3 - 2*y**2 + 6*y + 3. Let j be r(-4). Let q = -117 + j. Suppose -67 = -7*c + q. Is c a multiple of 17?
False
Suppose -4*k = l - 6 - 0, 0 = 5*k - 2*l - 1. Is 280/4*k/2 a multiple of 30?
False
Let o(p) = 125*p**2 - 10*p + 1. Is o(-2) a multiple of 12?
False
Let g(w) = w**3 - 5*w**2 + w - 5. Let j be g(5). Let i(h) = 105*h + h**3 + j*h**2 - 8*h**2 - 97*h. Is 2 a factor of i(7)?
False
Let l(s) = 10*s**2 - 29*s + 27. Does 27 divide l(11)?
True
Let i(o) = -o**2 + 5*o - 1. Let b be i(4). Suppose b*s - 3 = 0, s + 5 = -3*x + 6*x. Suppose -4*t + 44 = 3*l, 3*l + x*t - 52 = -l. Is 8 a factor of l?
False
Is (-21*(-8)/36)/(3/189) a multiple of 42?
True
Let b be (2/4)/(12/72). Suppose 0 = -b*o - 17 + 53. Is (-2 + o/9)*-21 a multiple of 7?
True
Suppose -4 - 8 = -f + x, -3*f + 20 = x. Does 2 divide f?
True
Suppose 111*j - 440411 = -30155. Does 66 divide j?
True
Let c(w) = -w**3 - 4*w**2 + 8*w + 3. Let v be c(-6). Let q = v + 30. Is q a multiple of 19?
True
Let v = -225 - 26. Suppose 0*r = -2*r - 5*k + 743, 4*k = -3*r + 1097. Let l = r + v. Does 18 divide l?
True
Let m(q) = q - 7. Let y be m(7). Let h be 5 - (2 - (y + 5)). Suppose -h*k = 77 - 717. Is 15 a factor of k?
False
Is (-3 - 103)*(1 + (-3)/2) a multiple of 50?
False
Is 74 a factor of 1 + (-7 - 435)/(-2)?
True