(z) = -z - 3. Suppose -11 - 1 = -2*j. Let x be y(j). Is (66/x)/((-2)/6) a multiple of 22?
True
Suppose 1 = -x, 5*n - 2*x = -7*x + 2025. Is n a multiple of 14?
True
Suppose -2127 - 681 = -8*b. Is b a multiple of 6?
False
Let m(f) = -f**2 + f. Let q(k) = -k**2 - 6*k - 2. Let y be q(-5). Let h be m(y). Is 15*(h/(-2))/3 a multiple of 14?
False
Suppose z + 2*o + 1 = 5*o, 3*z + 2*o = 8. Let p be (z/5)/(2/60). Does 3 divide (1/(-2))/((-1)/p)?
True
Let d(k) be the third derivative of -k**4/24 - k**3/2 - 4*k**2. Let q be d(3). Does 11 divide (-4)/q - 400/(-12)?
False
Suppose -22*h - 211 = -23*h. Is h even?
False
Let d(h) be the third derivative of -2*h**2 + 0 - 5/3*h**3 + 0*h - 5/24*h**4. Is 10 a factor of d(-4)?
True
Let t = 635 - 462. Is 3 a factor of t?
False
Let r be 1 + (-2)/9 + 28/(-36). Is (-2 - (1 - r))/(3/(-7)) a multiple of 4?
False
Suppose -37*k = -7909 - 14735. Does 18 divide k?
True
Suppose 4*y + 390 = -222. Is 4 a factor of y/(-6) - 8/16?
False
Suppose 0 = -4*h + h - 75. Suppose -9*p - 3170 = 1510. Does 5 divide p/h + 1/5?
False
Suppose -5*r + 15 = 0, -4*c + c + 5*r = 297. Let o = -85 - c. Does 2 divide o?
False
Let n be 1 - 235 - ((-12)/3 - -6). Is 7 a factor of n/6*(-1 + 3/(-6))?
False
Is 16/3*(-8619)/(-676) a multiple of 4?
True
Let b(p) be the first derivative of -p**2/2 + 13*p - 2. Does 14 divide b(-9)?
False
Suppose -j = 3*u - 31, 6*u - 2*u - 4*j = 52. Let x(s) = 4 + 12 - 11*s + 2*s**2 + 7*s**2 - 8*s**2. Is x(u) a multiple of 10?
False
Let v(j) = 85*j**2 + j - 6. Let y be v(2). Let l = -160 + y. Does 44 divide l?
True
Let z(t) = -t**2 - 5*t + 16. Suppose -4*x + 5*x + 7 = 0. Let n be z(x). Suppose 112 = 5*s + n. Is s a multiple of 11?
True
Suppose 0*b + b - 4*n - 7 = 0, 0 = -3*b + 4*n - 3. Does 2 divide ((-2)/(-4))/(b/(-30))?
False
Let d be (-4)/(-10) - (-1526)/35. Suppose 0 = -d*f + 40*f + 576. Does 12 divide f?
True
Let w = -272 - -333. Is w a multiple of 37?
False
Let l be ((-68)/(-10))/((-2)/(-100)). Does 11 divide (-2)/(672/l - 2)?
False
Suppose -3*a - 1328 = -4*m + 2*m, 0 = 2*m - 5*a - 1324. Let t = -310 + m. Is 51 a factor of t?
True
Let x be (-2)/(-1) - (-9)/(-3). Let h be 6 + -3 + -48 + x. Does 12 divide h/(-4) - (-2)/4?
True
Let m = 246 - 130. Let u be 2*(m/8 - 0). Suppose u = 5*k + 14. Is k even?
False
Suppose -2*y + 5 = -3*t + 2*y, 0 = -2*t + 3*y - 5. Suppose -4*c = -244 + 56. Let m = c - t. Does 21 divide m?
True
Suppose 0 = -5*d - g + 10, 5*d + 3*g + 2*g = 10. Suppose k = 4*l + 2*k - 71, d*k + 74 = 4*l. Is 9 a factor of l?
True
Suppose 43*k - 16*k = 243. Let r(t) be the first derivative of -t**4/4 + 11*t**3/3 - 7*t**2/2 + 3*t + 2. Is r(k) a multiple of 15?
False
Let p(q) = -2*q - 45. Is 3 a factor of p(-33)?
True
Let r = 25 - 20. Suppose r*y = 9*y - 52. Suppose y + 1 = u. Is 7 a factor of u?
True
Suppose -2*c + 70 = -340. Does 37 divide c?
False
Let n be (-4)/2 - 428/6*-3. Let i = -127 + n. Is i a multiple of 17?
True
Suppose -4*a + 8617 = y, -4*y = 3*a - 3828 - 2638. Is a a multiple of 21?
False
Let u(n) = 4*n**2 + 4*n + 12*n - 7*n + 7 - n**2. Let m = 13 + -19. Does 9 divide u(m)?
False
Let l = 18 - 16. Suppose 0 = -5*p + 17 - l. Is ((-136)/6)/((-2)/p) a multiple of 27?
False
Let p be ((-2)/(-12) + 7631/78)*17. Suppose 4*m - 21*m = -p. Does 10 divide m?
False
Let w = -1045 - -1777. Is 61 a factor of w?
True
Let j(z) be the first derivative of -z**3/3 - 4*z**2 + 6*z + 2. Does 9 divide j(-6)?
True
Suppose 0 = -3*i - 16*d + 19*d + 1563, -2*i + 1043 = -3*d. Is 19 a factor of i?
False
Does 53 divide 4397 - (9 - (-11)/(-1))?
True
Suppose -5*l = 3*r, -4*r - 14 = -4*l + 18. Suppose -3*v + v + i + 28 = 0, 3*v = i + 40. Suppose 72 = l*h - v. Is h a multiple of 15?
False
Let s = -1115 + 2519. Does 54 divide s?
True
Let m(v) = -v**3 + 60*v**2 - 104*v + 12. Does 59 divide m(58)?
True
Let x = -406 + 266. Let h = -78 - x. Is h a multiple of 25?
False
Suppose -3*x - 18 = -n + 2*x, 12 = 2*n - 2*x. Suppose -n*d - 34 = -154. Let p = -21 + d. Does 9 divide p?
False
Suppose 2*a - 646 - 58 = 0. Is a a multiple of 8?
True
Let b(t) be the second derivative of -11*t**3/3 + 2*t**2 - 4*t + 4. Is b(-1) even?
True
Suppose -37*r = -41*r + 1088. Does 34 divide r?
True
Let p be (0 - 1)*(-72 + 1). Let v = p + -33. Let h = -21 + v. Is 9 a factor of h?
False
Is (-1347)/(-5) - (-12)/20 a multiple of 15?
True
Let l(a) = 2*a**2 + 7*a + 8. Let w be l(-6). Let q be ((-13)/2*1)/(19/(-608)). Suppose -3*i + q = -w. Does 27 divide i?
False
Let u be 2/(-4*3/(-78)). Let b = u - 7. Does 10 divide 9*(8/b - -2)?
True
Let r(u) = u - 2. Let q be r(10). Suppose -2*f - q = -36. Does 7 divide f?
True
Suppose -u - 2*u - 5*v = 403, 5*u = 3*v - 615. Let k = -51 - u. Let w = -15 + k. Is w a multiple of 20?
True
Is 30 a factor of (16275/70)/(1/2)?
False
Let o be (-577)/(-5) - (-15)/25. Suppose -4*l = -3*n + 285, 3*l - 16 = n - o. Does 13 divide n?
True
Suppose -2*k + 10 + 70 = 0. Suppose -3*m = -5*x - 5 + 25, k = -4*m + 4*x. Does 11 divide (-4)/(-10) + (-489)/m?
True
Let i(n) = 0*n + 2*n - 65*n**3 + 60*n**3 + 6 - 2*n**2. Is 9 a factor of i(-3)?
True
Let t = -45 + 48. Let c(b) = -b**3 + 10*b**2 - 10*b + 7. Let z be c(9). Is t/z*6/(-1) even?
False
Suppose 0 = p - 5*p - 44. Is 4 a factor of p/(-22)*(1*34 - 2)?
True
Is 22/33*2397/2 a multiple of 86?
False
Let q(a) = -107*a**3 + 5*a**2 + 4*a - 1. Let c(j) = 161*j**3 - 8*j**2 - 6*j + 2. Let z(m) = 5*c(m) + 8*q(m). Is z(-1) a multiple of 10?
False
Is 2/4 + (-30)/40*-74 a multiple of 14?
True
Let f(u) be the second derivative of 0 - 3*u - 5/3*u**3 + 2*u**2. Is f(-7) a multiple of 37?
True
Is 30 a factor of (-4)/((-3)/((-495)/(-2)))?
True
Is 3 + 665 - (-8 + 1) a multiple of 16?
False
Suppose -44*o = -21*o - 3657. Is 6 a factor of o?
False
Is (-11)/((-11)/(-5)) + 538/2 a multiple of 24?
True
Let l = 5 + 7. Let p be (-221)/(-4) + (-3)/l. Suppose 0*g - d - 22 = -2*g, -5*g + 2*d + p = 0. Is 7 a factor of g?
False
Let f(j) be the first derivative of 5*j**4/6 + j**3/3 - j**2 + 6*j + 1. Let n(x) be the first derivative of f(x). Is n(2) a multiple of 15?
False
Suppose 7*c - 3464 - 1436 = 0. Is c a multiple of 10?
True
Let q = -43 + 2313. Is q a multiple of 102?
False
Let m(d) = 28*d - 5. Let u be m(1). Suppose 29*i - 444 = u*i. Is 13 a factor of i?
False
Suppose 5*a + 1241 = -3*f + 7*f, -4*f - 3*a + 1265 = 0. Suppose 5*k - 2*h - f = 2*k, 4*h = k - 118. Does 34 divide k?
True
Let y be (-42)/(-9)*(-3)/(-2). Suppose -s + y = 3. Suppose -2*l + 5 = 4*t - 15, -s*l + 55 = 5*t. Is l a multiple of 10?
True
Suppose 0 = a + 4*a - 15. Suppose 5*d + 3*j = -49 + 383, -2*d + 145 = 5*j. Suppose i = -k + 15, 7*k = a*k - 3*i + d. Is k a multiple of 20?
True
Let q(s) be the third derivative of -s**5/60 + s**4/6 + 2*s**3/3 - 4*s**2. Let f be q(4). Suppose -1 = b - p - 13, -f*b + 42 = -2*p. Is 3 a factor of b?
True
Let i(g) = -g**3 - 4*g**2 - 4*g - 3. Suppose -2*l + 2 = 4*t, 3*t - 9 = -0. Let c(r) = -r**3 - 6*r**2 - 5*r - 4. Let b be c(l). Does 10 divide i(b)?
False
Suppose 3*a = -2*o - 11, 3*a + a + 14 = -3*o. Suppose -2*d = -2*z + 34, o*d + 2*d = 0. Is 17 a factor of z?
True
Suppose -5*y + 426 = o - 4*o, -416 = -5*y - 2*o. Does 8 divide (48/(-28))/((-2)/y)?
True
Let z(r) = 10*r - r**2 + 0*r**2 - 1 + 2*r**2 + 12. Let u be z(-9). Suppose u*y - y - 5 = 0. Is 4 a factor of y?
False
Let j = -62 - -38. Let b = -11 - j. Let l = b - 7. Does 3 divide l?
True
Suppose -3*y = 2*a - y + 508, 5*a = -3*y - 1274. Let v = -160 - a. Is 8 a factor of v?
True
Let l = -2163 + 5512. Is l a multiple of 119?
False
Suppose 0*s - 5*s + 5060 = 0. Suppose s = 5*m - 473. Suppose 3*u - m = -0*u. Is u a multiple of 17?
False
Let f = -13 + 10. Let z be (0 - (9 + 3)) + f. Let l = z - -72. Is 16 a factor of l?
False
Let v(n) = -2*n + 15. Let a be v(5). Suppose 3*w - a*q = 250, 3*w = -2*w + 3*q + 438. Is w a multiple of 15?
True
Let q be (-2 - -8)/(2/(-16)). Is 36 a factor of ((-225)/60)/(2/q)?
False
Suppose 0 = -p + 6*p. Suppose -324 = -p*j - 2*j - o, 0 = 3*j + o - 486. Let g = -94 + j. Is 17 a factor of g?
True
Let m be ((-2)/(-4))/(2/4). Let n be 0 - -1*(m - 12). Let p(z) = -z**2 - 21*z - 14. Does 32 divide p(n)?
True
Let b(o) = 9*o + 41. Let t(m) = 13*m + 62. Let a(w) = -8*b(w) + 5*t(w). Let v be a(-12). Suppose 4*u - 132 = 2*p, 0 = 2*u + 3*p - 8*p - v. Is 15 a factor of u?
False
Let o =