)?
False
Let p = -743 - -1919. Does 21 divide p?
True
Suppose -6 = 3*z - 3. Does 45 divide (-74 + 15)*(z + 0)?
False
Let i(b) = -133*b - 1. Let g be i(-3). Let f = g - 256. Suppose o + 71 = d - o, -2*d - o = -f. Is 23 a factor of d?
False
Let h be 4 - 2 - (-182 - 1). Suppose -2*a + 3*r = 7, 3*a + 8 = 3*r + r. Suppose -2*g = -5*x + h, -34 = -x + a*g - 3*g. Does 13 divide x?
True
Does 11 divide 119328/(-64)*4/(-6)?
True
Suppose -690 = -2*m + u + 467, 12 = 4*u. Is 45 a factor of m?
False
Let x = 752 + -640. Is 13 a factor of x?
False
Let v(b) = -8*b + 54*b**2 + 4*b - 2 + b. Does 11 divide v(-1)?
True
Let j be -3 - (-24)/(-3)*6. Let k = -124 + 34. Let i = j - k. Is i a multiple of 13?
True
Is 4/(-2) - (-35 + (5 - 1)) a multiple of 2?
False
Let a = -2383 - -5875. Does 36 divide a?
True
Let f(y) = 11*y + 1. Suppose -4*w = k - w - 19, 2*k + 12 = 4*w. Is f(k) a multiple of 15?
True
Let v(w) = -w**3 - 3*w**2 + 8*w + 14. Let f be v(-5). Suppose -156 = -2*d + f. Does 9 divide d?
True
Let i(l) = -l + 33. Let p be i(26). Is 3 a factor of (-2)/p - (-5270)/217?
True
Suppose 3*m - m = 0. Suppose m = 2*y + y + 3*t + 3, -5 = 3*y + 5*t. Let c(b) = b**2 + b + 48. Is c(y) a multiple of 21?
False
Suppose 15*h + 3893 - 14438 = 0. Is 19 a factor of h?
True
Let u(f) = 8*f**2 - 22*f + 45. Is 26 a factor of u(20)?
False
Suppose 10*m = 53*m - 31648. Is 32 a factor of m?
True
Let l(o) = 569*o + 224. Does 10 divide l(4)?
True
Let c be 1*4/12*-3. Does 10 divide (9 - c)*-9*(-6)/9?
True
Let k be (-3)/(-3) + (2/2 - 0). Is ((-8)/k - -19)*15 + 2 a multiple of 27?
False
Let g be (-17)/(-34)*(1 - 5). Is 22 a factor of (-2873)/(-26) - g/(-4)?
True
Let u(k) = 83*k + 3. Let g be u(4). Suppose -351 = -5*c - 3*b, -b - 4*b = -5*c + g. Suppose 43 = p - c. Is 31 a factor of p?
False
Let c(z) = z**3 - 7*z**2 + 6*z + 4. Let p be c(6). Suppose -p*k + s - 2*s = -59, 2*k - 12 = -4*s. Does 6 divide k?
False
Let p(h) = -17*h - 5. Let m be p(-2). Let o be 3 + 4*m + -1. Suppose 2*q = 4*l - 44 - o, q = -2*l + 75. Does 13 divide l?
True
Let v = 102 + -103. Does 19 divide (63/(-27))/(v/57)?
True
Suppose -445 = -6*q + 863. Does 6 divide q?
False
Suppose z = -0*z + x + 148, -440 = -3*z + 2*x. Does 19 divide z?
False
Suppose -3*k + 1986 = 3*n, 0 = 4*n + n - 10. Is 43 a factor of k?
False
Let p = -585 + 1789. Is 28 a factor of p?
True
Let c(d) = -22*d**2 - d. Let y be c(-3). Let o = -136 - y. Is o a multiple of 9?
False
Let b(r) = -2*r + 2. Is 4 a factor of b(-19)?
True
Suppose -159 = -4*j - n, -8*j + 3*n = -5*j - 138. Is j a multiple of 5?
False
Let y(c) = c - 5. Let d be y(0). Let z be 1*2 - (d - 51). Suppose 3*u - 80 - z = 0. Is 27 a factor of u?
False
Let q(t) = 10*t**2 + 6*t + 1. Let d be q(5). Let s = d - 43. Is s a multiple of 14?
True
Let h(d) be the second derivative of d**5/20 - 7*d**4/12 + d**3 + 3*d**2/2 + 36*d. Let x(a) = -a**3 - 1. Let k be x(-2). Does 15 divide h(k)?
True
Suppose 0 = 4*g + 3*s - 8311, -2*s + 7685 = 3*g + 1453. Is 15 a factor of g?
False
Let v = -38 + 239. Is v a multiple of 14?
False
Suppose -12*a + 10780 = -9296. Does 10 divide a?
False
Let w(j) = 315*j - 22. Is 29 a factor of w(2)?
False
Let r(d) = 57*d**2 + 70*d + 280. Is r(-4) a multiple of 16?
True
Suppose -m = m - 14. Is 6 a factor of m?
False
Let j(t) = -9*t + 2. Let r be j(5). Let u = r + 89. Is 8 a factor of u?
False
Let t(g) = 5*g - 12 + 31*g**2 + 0*g - g**3 - 32*g**2 - 3*g. Does 16 divide t(-6)?
False
Suppose 4*n - 2*p = 3728, n - 6*n + 4658 = -2*p. Does 15 divide n?
True
Suppose 0 = 2*l - 5*o - 400 - 375, 5*l - 1951 = -o. Is 39 a factor of l?
True
Let k = -682 + 736. Is 9 a factor of k?
True
Suppose 7*t = 9*t + 8. Does 3 divide t - (-1 + 1 - 21)?
False
Suppose -2*v - 5*p + 6 = -0*v, -4*p + 6 = 2*v. Suppose 0 = v*s - 3*o - 126, 0*s = 5*s + 5*o - 260. Does 8 divide s?
False
Let w(r) = 3*r**3 + 13*r**2 - 8*r + 16. Let v(k) = -3*k**3 - 12*k**2 + 7*k - 15. Let a(c) = 7*v(c) + 6*w(c). Is a(-5) a multiple of 17?
False
Suppose 0 = -14*d + 3335 + 445. Is 27 a factor of d?
True
Suppose 7*d - 5*d = 2*h + 376, -3*d - 4*h = -592. Is 3 a factor of d?
True
Suppose 0 = 2*o + 77 - 15. Let r(n) = 2*n**2 + 5*n - 18. Let q be r(-8). Let f = o + q. Does 24 divide f?
False
Suppose 5*t + 4*z - 5025 = 0, -2*t + 2*z = -625 - 1367. Is 7 a factor of t?
True
Suppose -10 = -3*n + 2*q + 12, 5*n + 4*q = 0. Suppose -5*z + n*w = -0*z - 46, 8 = -2*w. Let g = 11 - z. Is g a multiple of 2?
False
Let g be 2 + 0 + 1 + 1. Suppose 6 = 3*d + 2*t - g*t, -3*d + 6 = 5*t. Suppose 0 = 2*o + d*o - 336. Is 28 a factor of o?
True
Is 11 a factor of ((-240)/(-6) - (-8)/(-4))*6?
False
Let b be -2 + 92/3*3*-1. Let u = 157 + b. Is 6 a factor of u?
False
Let k be (0/(6/2))/2. Suppose -d - 35 = -k*d. Is (-56)/d*(-15)/(-2) a multiple of 12?
True
Is ((2/(-4))/(1/15228))/(-2) a multiple of 141?
True
Suppose 5*f - 10 = 10. Suppose f*n - 66 + 6 = 0. Is 2 a factor of n?
False
Suppose -l + 39 = -3*z, -2*z = 3*l + 10 + 16. Suppose -4*k + 5*x = -85, 5*k - 3*x = 17 + 73. Let h = z + k. Is h even?
True
Suppose -5*w = -x + 5*x - 627, 0 = 5*x - 4*w - 835. Is x a multiple of 9?
False
Let c(w) = w**2 + 7*w - 10. Let j be c(4). Let b = 53 - j. Is b a multiple of 4?
False
Does 70 divide (3850/(-44))/(2/(-24))?
True
Let p be (-2 + 13/(-1))*-92. Suppose 0 = -8*b - 420 + p. Is b a multiple of 40?
True
Let c(g) = -7*g**3 + 2*g**2 - 22*g - 60. Does 7 divide c(-4)?
False
Suppose 50 = h + 162. Let l = h - -188. Is 6 a factor of l?
False
Let q(b) be the second derivative of 0 - 1/20*b**5 + 11/6*b**3 + 2/3*b**4 + 5*b - 5/2*b**2. Is q(9) a multiple of 3?
False
Suppose 2*l - 12 = l - 5*t, 0 = t. Let v be 3*(32/l)/2. Let q = v + 6. Is 10 a factor of q?
True
Let j be -1 - 74/(-4)*6. Suppose 10*r + j = 11*r. Is 12 a factor of r?
False
Is (-5)/(60/(-248))*12 a multiple of 12?
False
Suppose 0 = -3*l - 0*l + 6. Suppose 2*i = -5*d + 5*i + 20, l*i + 5 = -5*d. Is 28 a factor of 27 + (1 - (d - 2))?
False
Let s(h) = -h + 68. Does 11 divide s(-8)?
False
Let w(j) = 8 + 0*j + j + 2*j + j. Suppose 0 = -n + 3 + 1. Does 6 divide w(n)?
True
Let t = 28 + -20. Suppose 3*s + 29 = t. Let n(l) = -l**3 - 8*l**2 - 10*l - 5. Is n(s) a multiple of 8?
True
Let t = 13 + 0. Let x = t + 73. Suppose -x = -5*q + 124. Does 14 divide q?
True
Suppose 836 - 3674 = -a. Is 22 a factor of a?
True
Suppose 0*h + 20 = -5*h. Does 16 divide h*(0 + 1)*-13?
False
Let v(k) = -43*k**3 + 6 + 8*k**2 + 2*k - k**2 + 44*k**3. Suppose 2*c + 4*g + 16 = 0, -c - 4*g + g = 9. Does 15 divide v(c)?
True
Suppose l + 1 = 0, 11 = -5*c - 4*l - 13. Let v(k) = 2*k**2 + 1 + 2*k - 11 + 5. Is 5 a factor of v(c)?
False
Let y = -3 + 4. Suppose 0 = -k - 0*k - 4*s - y, 0 = 3*k - 5*s - 14. Suppose 2*m + 0*m - 12 = -2*n, k*m - 4*n - 4 = 0. Does 3 divide m?
False
Let q be -1*(-14 + -5 + 6). Suppose 1476 - 5142 = -q*c. Is c a multiple of 18?
False
Suppose -4*g + 10 = k, 12 = k + 4*g + g. Suppose 6 = k*j - j. Is j/27 + (-912)/(-27) a multiple of 10?
False
Let o(d) = 7*d + 2. Let x be o(3). Suppose -3*q = q - 5*i - 30, -4*q - 5*i = -10. Suppose 0 = 2*j + 2*t - 24, j - x = q*t + 1. Does 11 divide j?
False
Let y(z) = 7*z - 88. Does 3 divide y(26)?
False
Suppose 0 = -4*i - 7*q + 6*q - 480, -4*i = -3*q + 480. Does 15 divide ((-56)/(-16))/((-4)/i)?
True
Let b(m) = -23*m + 3. Let f be b(2). Let o = 5 - f. Is 5 a factor of o?
False
Does 65 divide 10*4*((-2653)/56)/(-1)?
False
Let x = 565 - -1379. Does 14 divide x?
False
Let x(k) = -115*k - 289. Is x(-8) a multiple of 52?
False
Let k(y) be the third derivative of 0*y - 5*y**2 + y**3 + 1/12*y**4 + 0. Does 10 divide k(7)?
True
Suppose 3844 = 4*i - 5*a, 8*i + 950 = 9*i - 4*a. Is 6 a factor of i?
True
Let v = -1062 + 1833. Is v a multiple of 70?
False
Suppose -7*s + 252 = -s. Is 4 a factor of s?
False
Suppose -3*l + 27 = 3*s, -s - 5*l - 3 = -4*s. Let a be (-3 - 3)*(-2)/s. Suppose 0 = a*b - 4*b + 154. Is b a multiple of 29?
False
Let r = -16 + 23. Let n(h) = h**3 - 5*h**2 - 10*h - 3. Let v be n(r). Let i = v - 6. Does 4 divide i?
False
Suppose 2*m = 5*m + n - 14, 2*m = -3*n. Let q = 9 + m. Does 5 divide q?
True
Let l be (-6)/4*32/24. Let d be -1 - (-1 + (-4)/l). Does 6 divide ((-12)/d)/((-2)/(-4))?
True
Let r(u) = 10*u**2 - u + 4. Let n(v) = v**2 - 15*v - 30. Let x be n(17). Is 36 a factor of r(x)?
False
Suppose -651 = -32*b + 97