4). Let n = -46 + v. Suppose -4*i + 200 = 4*p, -i + 30 + n = -p. Does 11 divide i?
False
Suppose -2*s - 2*k - 12 = -0*s, 2*k = 2*s + 28. Is 11 a factor of (8525/s)/(-11) + 2/4?
False
Let r = 4962 - 1978. Does 86 divide r?
False
Suppose -3*x - 3*o = -42, -3*x - 2*o + 48 = -5*o. Let v be (-2)/5*-1*x. Is 6/18 - (-58)/v even?
True
Let y = -657 - -665. Let d = 16 - 10. Suppose 5*w + y = d*w. Does 2 divide w?
True
Let u(b) = -b**2 + 5*b + 2. Let m be u(5). Let x(r) = 12*r - 1. Let c be x(3). Suppose -m*t - 2*t = 0, 5*v + 2*t = c. Does 7 divide v?
True
Is 2/(-9) + (-7514)/(-117) a multiple of 8?
True
Let d be (-3 + -2)/(2 + -3). Let i be (2 - 10/4)/(2/(-24)). Suppose i*q - d = 61. Does 5 divide q?
False
Let d = 171 - 115. Let h = 101 - d. Is 9 a factor of h?
True
Let t(z) = -2*z**2 - 13 - z**3 - 15*z - 3*z**2 + 0*z**3 - 5*z**2. Is t(-9) a multiple of 41?
True
Let g(i) = -9*i**3 + 3*i - 2. Let p be g(1). Let n = p - -35. Does 18 divide n?
False
Let m(q) = 9*q**3 - q**2 - 6*q + 9. Let t be m(4). Suppose -27 = -4*d + t. Does 36 divide d?
False
Let o(c) = -3*c + 20. Let t be o(5). Suppose b + t*b = 186. Is b a multiple of 28?
False
Suppose -3*p - 6 + 18 = 0. Is 8 a factor of 2 + (64 - p)/4?
False
Is (116 + -1)/(29/580) a multiple of 30?
False
Let q(o) = -6*o**2 + 102*o + 1. Does 97 divide q(16)?
True
Suppose 3*q = q + 14. Suppose 4*g + q*x - 3*x - 960 = 0, -5*x + 483 = 2*g. Suppose -5*s - 29 = -g. Does 21 divide s?
True
Does 3 divide ((-38)/4 + 8/16)*-3?
True
Suppose -5*p - 6 = -2*p. Let k(h) = 11*h**2 + 5*h + 2. Let c be k(p). Let i = c - 21. Is i a multiple of 5?
True
Let j(a) = 2*a - 12. Let l be j(9). Suppose 2*q = -5*t - 0*t + 14, q - 4*t = -l. Is q even?
True
Suppose 0 = -6*y - 189 + 789. Is y a multiple of 20?
True
Let t = 411 - -290. Is t a multiple of 17?
False
Suppose -8 = 11*u - 15*u. Suppose u*p + 15 = -3*p, -4*w = -4*p - 148. Does 17 divide w?
True
Suppose -3*j + 1938 = d, -7*d + 9 = -4*d. Suppose j = h + 4*h. Does 26 divide h?
False
Suppose -4*v = 2*w + 10, 4*w + 5 = -2*v - 15. Suppose 0 = -2*t - v*t - 18. Let n(x) = 2*x**2 + 14*x - 10. Is n(t) a multiple of 13?
True
Let f be 114 + (4/(-10))/(12/(-30)). Is 23 a factor of f + (-5)/(-25)*0?
True
Let s = -4 - 5. Let y(b) = -24*b - 46. Is y(s) a multiple of 23?
False
Is 17 a factor of (129/(-4))/(23/(-92))?
False
Let i(u) = -6*u + 138. Is 15 a factor of i(-42)?
True
Let o(y) = 82*y - 186. Is 11 a factor of o(17)?
False
Suppose -s = -4*o + 7, -o + 3*s - 24 = -4*o. Let d be (-4)/(-2 + 2/o). Suppose -d*l + 210 = 3*y, l = y - 0*l - 78. Does 17 divide y?
False
Suppose -3*x + 7*x = 2*a + 114, 0 = -4*x + a + 111. Let u = x - 29. Does 9 divide (-15)/u*(-24)/(-20)?
True
Is 29 a factor of (-6)/(-1 - -19)*-2*1611?
False
Let j be 3/4*(-48)/(-18). Suppose -4*k - j*w = k - 17, 2*w - 11 = -3*k. Suppose -4*u + 158 = -k*q, 2*q + 15 = 5*u - 179. Does 16 divide u?
False
Let f(v) = -450*v - 9. Does 7 divide f(-1)?
True
Let z(o) = -2*o**2 - 23*o + 19. Is 17 a factor of z(-6)?
True
Let u(t) = 23*t**3 + 19*t**2 - 93*t. Is u(5) a multiple of 87?
False
Let r = 2507 + -1686. Does 11 divide r?
False
Let r(s) = s - 4. Let b be ((-2)/4)/((-2)/28). Let p be r(b). Suppose 4*w = -4*x, 3*w + w - p*x - 28 = 0. Does 4 divide w?
True
Let d(h) = h**3 - 4*h**2 + 2. Let r be (-3 - -2)/(1/(-5)). Let x be d(r). Let m = -15 + x. Is m a multiple of 12?
True
Let d = 214 - 141. Does 5 divide d?
False
Let h(g) = -g**3 - 4*g**2 - 4*g + 2. Let j be h(-4). Let p = 20 - j. Suppose -69 + 189 = p*m. Does 12 divide m?
True
Suppose 0 = -3*a + 3*k + 321, a + 0 = -5*k + 107. Does 4 divide a?
False
Let m(t) = 24*t**3 - t**2 + 5*t - 6. Is m(3) a multiple of 36?
True
Let v = -3 + 18. Is 10/v - 67/(-3) a multiple of 15?
False
Suppose -84*q - 762 = -85*q. Suppose 5*k + q - 2187 = 3*l, l - 5 = 0. Is 12 a factor of k?
True
Let f be (-3 - 2/2)*-1. Suppose 0*n - 12 = f*n. Is 18*((-7)/3 - n) a multiple of 3?
True
Let o(k) = -2*k**3 - 25*k**2 + 24*k - 15. Is o(-15) a multiple of 30?
True
Let b(q) = -3*q - 2. Let h be b(-3). Suppose -54 = -h*u + u. Is 3 a factor of u?
True
Let n(v) = 2*v**2 - 3*v + 2. Let m(s) = 3*s**2 - 2*s + 2. Let y(b) = 3*m(b) - 4*n(b). Let a be (6 + 273/(-49))*7. Is 23 a factor of y(a)?
False
Suppose j = 2*u + 724, 31*j - 35*j - 5*u + 2831 = 0. Is 21 a factor of j?
True
Let o = -8 + 9. Let y(f) = 8 + f - 2 + 0 + o. Is 6 a factor of y(5)?
True
Suppose -t = -89 - 4851. Suppose 8*j - t = -5*j. Is j a multiple of 20?
True
Let f = 5 - 3. Suppose -f*s + 20 + 12 = 0. Suppose -3*t = -s - 11. Is t a multiple of 2?
False
Let f(h) = 2*h**2 + 28*h + 5. Let c be f(-14). Suppose 3*m - 906 = -5*a, -2*m + 177 = -2*a + 3*a. Suppose c*b = a - 3. Does 18 divide b?
True
Does 6 divide (-7)/((-98)/14) + (579 - 1)?
False
Suppose 368*t = 366*t + 906. Is 77 a factor of t?
False
Let r = 78 - 43. Let q be (42/r)/(4/590). Suppose 2*j = -j + q. Does 19 divide j?
False
Let b(z) = -3*z**3 + 9*z**2 + 4. Let x be b(7). Let c be 8/(-28) - x/(-14). Does 18 divide c/4*108/(-63)?
True
Let r(m) = -m**3 - m**2 + m + 30. Let p be r(0). Is (p/(-8))/((-1)/4) a multiple of 2?
False
Suppose 6*t - 1 = 7*t. Let a = 3 + t. Suppose a*f = -3*f + 110. Is 8 a factor of f?
False
Suppose -2*u = -3*b + 3*u - 33, 39 = -5*b + 3*u. Does 40 divide 14/(-21) - 406/b?
False
Let a be (-22)/(-4 - -7 - 4). Suppose -24*b = -a*b - 18. Is 7 a factor of b?
False
Suppose -i = -5*b + 3 + 11, 0 = 2*b + i. Suppose b*a - 65 = -d + 5*a, 0 = 5*d - a - 339. Is d a multiple of 17?
True
Let b(c) = -3*c - 27 - 4*c + 4*c. Let u be b(-16). Suppose f + 4*f - 2*v = 78, -f + u = 5*v. Is f a multiple of 16?
True
Let b(w) = w**2 - 10*w - 7. Let q be b(9). Let r(j) = j**3 + 15*j**2 - 17*j - 16. Let z be r(q). Suppose -i + z*i + 51 = 0. Is i a multiple of 17?
True
Suppose 9*u - 1037 = 79. Is 9 a factor of u?
False
Suppose 0 = -5*o - 3*s + 1694, 3*o - 2*s = -2*o + 1679. Is o a multiple of 30?
False
Suppose -g - 4*o = 3*g + 84, 0 = 5*g - o + 135. Let w = -2 - g. Suppose -s + 4*s - 86 = -4*n, s - n = w. Is s a multiple of 13?
True
Let o(n) = -2000*n**3 + 3*n**2 - 13*n - 14. Is 77 a factor of o(-1)?
True
Let y = 1408 + 1352. Is 20 a factor of y?
True
Suppose -t = o - 132, 2*t + 0*t = -6. Is 15 a factor of o?
True
Let i = -18 + 525. Is 39 a factor of i?
True
Suppose -2*t + 1 = 5, -j + 4*t + 6 = 0. Does 5 divide (j - 6/4)*-2?
False
Let z = 2 - 0. Suppose -3*c = z*c - 240. Does 21 divide c?
False
Let f = -288 + 165. Let n(r) = 16*r - 7. Let t be n(-5). Let z = t - f. Is z a multiple of 12?
True
Suppose -4 = 4*k + j, -3*k - 2*k - 2*j - 8 = 0. Suppose k*a = -6*a + 12. Suppose t + 16 = a*t. Does 5 divide t?
False
Is ((-9)/3)/(10/(-90)) a multiple of 9?
True
Let h = -63 - -63. Suppose m + 4*m + 515 = 5*j, h = 3*m - 15. Does 16 divide j?
False
Is (-5 - -2596)*-8*(-7)/56 a multiple of 58?
False
Suppose 0 = 5*x - 505 - 35. Does 4 divide x?
True
Let v = -26 - -30. Let l(p) = 3*p**3 + 2 + 2*p**3 + 6*p**2 - 6*p**3 + v + p. Is 12 a factor of l(5)?
True
Suppose 0 = 2*y - 3*d + 15, 4*y + 0*y + 32 = 4*d. Let a = y + 33. Is a/36 - 38/(-6) a multiple of 4?
False
Let r(n) = 10*n**2 - 31*n + 39. Let d(o) = 7*o**2 - 21*o + 26. Let l(c) = 7*d(c) - 5*r(c). Let x be l(15). Is x/(-3) - 30/(-45) a multiple of 20?
True
Suppose 2*a + 3*f = 5*f + 34, 0 = -2*a - 3*f + 44. Is (-8 - -7) + a + 3 a multiple of 7?
True
Let i(p) = -2*p**3 - 5*p + 4. Let w be i(-4). Let y = w + -68. Is y a multiple of 7?
True
Let c be (-2)/9 - (1480/(-18) - -1). Suppose -2*q + 3*r = -c, q - 6*q = 4*r - 168. Is 8 a factor of q?
False
Suppose -4*b = -u + 2164, 0 = -4*u - 0*u + 5*b + 8634. Does 98 divide u?
True
Suppose 3*n - 23 = 115. Suppose 0 = 3*s + 169 - n. Let x = s - -104. Is x a multiple of 15?
False
Let g(m) = -9*m - 240. Is g(-28) a multiple of 5?
False
Suppose 3*c - 6 = -0. Suppose -y = -2*f, 2 = -4*y + c*f + 8. Suppose 0*l + 46 = 2*l + 3*p, 3*l = y*p + 56. Is l a multiple of 10?
True
Let x be (-903)/14*(-8)/6. Suppose 3*v = -3*i + 114, 0 = 4*i + 2*v - 244 + x. Suppose -i = 5*g - 216. Does 35 divide g?
True
Let p(n) = 7*n + 2. Let q(x) be the third derivative of -13*x**4/24 - x**3/2 - x**2. Let i(m) = 11*p(m) + 6*q(m). Does 3 divide i(-10)?
False
Let o = 138 + -114. Let a = -9 - -5. Is 4 a factor of a*3*(-16)/o?
True
Let i(f) = 10*f**3 - f + 6. Does 21 divide i(4)?
False