= -t - 2*h, -3*t + 3*h = -60. Suppose 2*w = 3*w + 3*q - t, -32 = -4*w + q. Is 16 a factor of (-2)/(-9) + 430/w?
True
Let k(c) = 17*c + 10. Let o(b) = -16*b - 9. Let x(j) = 5*k(j) + 6*o(j). Is 14 a factor of x(-3)?
False
Is (-1393)/(-49)*7 - 7 a multiple of 32?
True
Let u = 31 + 1. Suppose -12 = -4*z - u. Does 8 divide (-120)/36*66/z?
False
Let q = 1 + 9. Suppose n = -4*n - q. Let z = n - -9. Is z a multiple of 2?
False
Suppose 0 = i - 2*i + 2*n - 16, -4*n - 48 = 3*i. Suppose 5*d - 10*d = 15. Is d - (i - -4) - -4 even?
False
Suppose 3*s = 7*s + 16. Let v = 37 + s. Is 18 a factor of v?
False
Let w(j) = -j**2 + 8*j - 6. Let f be w(6). Let z(q) = -q**3 + 6*q**2 + 2*q - 9. Let k be z(f). Suppose k*u = 5*x - 102, -4*u = -9*u - 20. Is x a multiple of 4?
False
Suppose -r + 2917 = 2*i, -6*r - 7309 = -5*i - 3*r. Is i a multiple of 16?
False
Let n = -214 + 1670. Does 16 divide n?
True
Suppose -b + 4 = b. Let h be 429 + 4/2 + 2 + -1. Suppose -h = b*c - 5*c. Does 36 divide c?
True
Let k(v) = 5*v + 23. Let u = -3 + -1. Let q(i) = -14*i - 69. Let o(z) = u*q(z) - 11*k(z). Is o(0) a multiple of 8?
False
Suppose 4*z - c - 25 = 0, -z + 2*c = -0*z - 8. Suppose 56 + 52 = z*r. Does 5 divide r?
False
Suppose 8*n - 12 = 11*n. Let w be 10/(4/(-40)*n). Suppose r - l - w = 0, -4*r = -2*l - 10 - 96. Is r a multiple of 8?
False
Suppose 9*c - 12*c = -45. Let s = c - 3. Is 20 a factor of 15/(-20) - (-489)/s?
True
Let k(w) = -4*w**3 + w**2. Let z = 53 + -54. Does 5 divide k(z)?
True
Suppose y + 2*o = 10, -2*y + 0*y - 12 = -4*o. Let z be -3*3/(-6)*y. Does 15 divide 1*(z + (30 - -3))?
False
Let q = 4 + 0. Let g(p) = 9*p - 4. Let h(y) = 46*y - 19. Let u(m) = 11*g(m) - 2*h(m). Is u(q) a multiple of 11?
True
Suppose 8*j + 1470 = 598. Let w = j - -215. Let q = -36 + w. Is 14 a factor of q?
True
Let c be 7/(-21) - (-13)/3. Suppose c*k + 48 = 3*n, -16 = -0*n - n - 4*k. Does 5 divide n?
False
Suppose 4*m - 2 = 2. Is 12 a factor of (-4)/(65/70 - m)?
False
Suppose 0 = -4*o + 2*m + 4780, -9*m = -11*m + 8. Is 19 a factor of o?
True
Is 2 + 4 + (-52 - 2)*-11 a multiple of 30?
True
Suppose 472 = 10*z + 92. Does 20 divide z?
False
Suppose 3814 = 4*l + 42. Does 87 divide l?
False
Suppose -22*v - 13*v + 65835 = 0. Does 9 divide v?
True
Suppose 3*h = h - 3*a - 137, 5*h + 395 = 3*a. Let p = h + 186. Does 11 divide p?
True
Does 125 divide 100/(-7)*(-8925)/34?
True
Does 4 divide ((-11)/(-3) - 1)*(-10 - -232)?
True
Suppose 352 = 3*j + 2*y, j - 10*y = -7*y + 132. Is 15 a factor of j?
True
Is (-40)/50*-20*(-29)/(-2) a multiple of 29?
True
Let f = 1585 - 918. Does 8 divide f?
False
Suppose 20 = 4*h + h. Suppose 0*i - 25 = -5*i, h*i - 14 = -m. Let d(w) = -11*w + 6. Is d(m) a multiple of 24?
True
Suppose 5*w - 575 = 5*k, -9*k = -10*k - 3. Is w a multiple of 53?
False
Let l(w) = -3*w + 1. Let r be l(-6). Let f = 117 - r. Is 14 a factor of f?
True
Let x = 12 - 8. Suppose 0 = -4*z - 4*m + 132, x*z = -z + 5*m + 175. Is 17 a factor of z?
True
Let k(g) = 2 - 13 - 8*g + 6 + 7. Is 29 a factor of k(-7)?
True
Does 6 divide (34/6)/(7/(2940/10))?
False
Let r = -27 - 7. Let t = r - -205. Is t a multiple of 19?
True
Suppose -12 = -5*b + 3*b. Let y be 11 - 7 - -1*(1 + 1). Let h = y + b. Is h a multiple of 6?
True
Let k be (-9)/36 - (-946)/8. Let n = k + -45. Is 15 a factor of n?
False
Suppose -3*s + 8*s + 19 = -2*o, 5*o - 25 = 2*s. Suppose 3*v - 780 = -o*v. Is v a multiple of 11?
False
Suppose 0 = -z + 5*z + 496. Suppose 0*r + 5*r = -365. Let c = r - z. Is 17 a factor of c?
True
Suppose -5*f - 2*y - y = -97, -f - 5*y + 15 = 0. Let p be 8/f + (-8)/(-5). Suppose -6 = -4*u + 2, x + p*u = 32. Is 15 a factor of x?
False
Suppose 3*r + 4 = 4*r, -u + 58 = 4*r. Let h = -32 + u. Is 5 a factor of h?
True
Suppose -2*t + 11843 - 2255 = 4*q, -5*t + 10 = 0. Is 23 a factor of q?
False
Let r(q) = -q**3 + 2*q**2 + 18*q - 15. Is 17 a factor of r(-12)?
True
Let a(b) be the first derivative of b**6/120 - 3*b**5/20 + b**4/8 - b**2 + 4. Let g(h) be the second derivative of a(h). Is g(9) a multiple of 8?
False
Let n(x) = x**3 - 4*x**2 - 3*x + 2. Let m be n(-4). Let v = 121 - 198. Let y = v - m. Is 11 a factor of y?
False
Let a(t) = -3*t**2 + 15*t - 7. Let q be a(6). Let s = q - -20. Let p = 21 - s. Is p a multiple of 26?
True
Suppose -i - 3*i - 3*l = -18, 0 = 3*l - 6. Does 3 divide 5 - 0 - (i + -6)?
False
Let k = 119 - 116. Suppose -4*b + 155 = k*q, -8*b + 3*b - 3*q + 196 = 0. Is 4 a factor of b?
False
Suppose 0 = -0*t - 2*t + 5*p, -2*p = -4*t. Suppose 5*j - 4*j - m + 22 = t, -m + 110 = -5*j. Let i = -7 - j. Is i a multiple of 6?
False
Suppose 2*p + 314 = v + 6*p, 2*v - 3*p = 606. Is v a multiple of 18?
True
Let w = -406 + 628. Is 17 a factor of w?
False
Suppose 22*b = 32*b - 2680. Does 45 divide b?
False
Is 29 a factor of 36*((-291)/(-24) + 3/(-24))?
False
Let s be 1/(-4) + 7/(-56)*-290. Suppose -j - 4*w - s = -3*j, j - 3 = 5*w. Is j a multiple of 7?
True
Let s(c) = 3*c + 4. Suppose 4*n = 3*n + 7. Let u be s(n). Suppose -3*v + 56 = -u. Is 9 a factor of v?
True
Let a(j) = -5*j - 32. Let x be a(9). Let s = x + 158. Is s a multiple of 5?
False
Let j(r) be the first derivative of r**4/4 + 6*r**3 + 7*r**2 + 11*r - 1. Let s be (-923)/52 + (-6)/(-8). Does 13 divide j(s)?
False
Let n(l) = 18*l**2 - l - 9. Let q be n(-3). Suppose 3*u - q = -36. Is u a multiple of 20?
True
Let x(j) = j**3 + 4*j**2 - 2*j - 6. Let z be x(-4). Suppose 8 = 4*b - 2*c + 6*c, -z*c = -2*b + 20. Is 6 a factor of b?
True
Let y = -21 + 22. Let k be -25*(y + (-42)/10). Suppose k = -3*d + 329. Is 23 a factor of d?
False
Suppose 0 = -3*z + z - 2*d + 24, -4*d + 40 = 3*z. Suppose -z*u + 42 = -5*u. Suppose 12*j + 128 = u*j. Is j a multiple of 16?
True
Suppose 3*g - 24 - 320 = -4*h, -5*g + h = -581. Is g a multiple of 16?
False
Let l = -12 - -14. Suppose 10 + 4 = 2*k + 2*m, -4*k + l*m = -16. Suppose -f - 64 = -5*t, -5*f - 15 = k. Is 4 a factor of t?
True
Let i(x) be the second derivative of 3*x**4/4 + 11*x**3/6 + 4*x**2 - 36*x. Is 8 a factor of i(-4)?
False
Suppose 222 + 234 = 3*t. Is 8 a factor of t?
True
Suppose 5*y = b + 200, y + y - 3*b = 67. Let n = -15 + y. Suppose -4*z + 3*z + 4*m = -11, 3*z - n = 5*m. Is z a multiple of 7?
True
Let l(h) = h**2 - 30*h + 32. Let i be l(29). Let z = 46 - i. Is z a multiple of 15?
False
Suppose o - 1 = -5. Suppose -n = -4*n - 3. Is (o - n - 0)*-11 a multiple of 11?
True
Let q = 20 + -16. Let c(o) = 2*o + 21. Let p be c(16). Suppose -46 = -q*l - y, 0*y + p = 5*l - y. Does 11 divide l?
True
Suppose -454 = -y + 4*u, 2*u + 3*u = -2*y + 921. Is y a multiple of 13?
False
Let l(v) = -3*v**2 - 5*v + 380. Let o(s) = s**2 + 2*s - 191. Let d(j) = -2*l(j) - 5*o(j). Is 45 a factor of d(0)?
False
Let y(z) = 2*z**3 + 72*z**2 + 3*z + 125. Let c be y(-36). Let g(a) = 12*a - 16. Let j(w) = 11*w - 15. Let o(b) = -6*g(b) + 7*j(b). Does 22 divide o(c)?
False
Let p be 0*(6/36)/(4/12). Suppose w + p*w - 4*f - 7 = 0, 2*w - 4 = -2*f. Is w a multiple of 2?
False
Suppose -a = -3*a + 10. Suppose 0*t = -4*j + 3*t + 15, a*j = -t + 33. Is 12 a factor of (1464/(-36))/((-4)/j)?
False
Let q = 150 - 68. Is q a multiple of 4?
False
Let k(r) = -37*r + 2. Let d(q) = -75*q + 3. Let x(f) = 2*d(f) - 5*k(f). Let s be x(-2). Let a = -26 - s. Does 16 divide a?
True
Let k be (-9)/((-45)/(-20)) - -7. Let r = k + 29. Does 8 divide r?
True
Let p = 5 - 5. Suppose -3*d = 5*i + 298, -4*i + p*d = 3*d + 236. Does 10 divide i/(-5)*(-15)/(-6)?
False
Suppose 9*m - 20 = 10*m. Is 20 a factor of (14/4 - 10/m) + 36?
True
Let w(j) = -25*j + 2. Let g(o) = o**3 - 6*o**2 + 7*o - 5. Let z be g(5). Suppose 2*x + 3*q - 6 + 23 = 0, -5 = z*x - 5*q. Is w(x) a multiple of 34?
True
Let j = 678 - 508. Is j a multiple of 5?
True
Suppose -2*u = -5*u. Suppose -q + u*q + 1 = 0. Does 9 divide (3/(-6) - q)*-18?
True
Let t(f) = 14*f**2 - 12*f - 37. Does 14 divide t(-5)?
False
Suppose 0 = -8*v + 29*v - 4158. Is 11 a factor of v?
True
Suppose 58*s - 50*s = 28128. Does 23 divide s?
False
Let d(u) = u**3 + 13*u**2 + 12*u + 4. Let t be (-47)/(-7) - (-6)/21. Let p = -19 + t. Is 4 a factor of d(p)?
True
Suppose -4*m + 19 - 3 = 0, 3*b - 125 = -2*m. Suppose -285 = -b*l + 36*l. Is l a multiple of 19?
True
Suppose 5*u - 14 = -2*g + 2, 2*g + 4*u - 14 = 0. Suppose 4*p - 88 = -t, -g*t - 15 - 78 = -5*p. Is 7 a factor of p?
True
Is ((6 