ppose b - 2*b + 16 = 0. Is 1964/b + 11 + 3/(-4) a multiple of 11?
False
Let p(r) = r - 10. Let t be p(5). Let j = -11 - t. Is ((-34)/j + -3)*30 a multiple of 20?
True
Let h be -1 + 251 - (-36)/9. Let w = h - 58. Is 27 a factor of w?
False
Let f = 978 + -258. Is f a multiple of 5?
True
Let x(l) = -l**3 + 20*l**2 + 22*l - 37. Let m(i) = -i**3 + 19*i**2 + 22*i - 38. Let g(r) = 4*m(r) - 3*x(r). Is 27 a factor of g(16)?
False
Suppose 416 = -3*x + 167. Let w = x + 139. Let c = 94 - w. Does 36 divide c?
False
Let j = -267 - -448. Suppose 0 = v - j - 192. Let y = v + -217. Is y a multiple of 31?
False
Let o(m) = -2*m**3 + 80*m**2 + 85*m + 164. Is 68 a factor of o(32)?
False
Let c = -12 - -15. Suppose 0 = -c*u - 16 + 88. Suppose -5*m - u = -7*m. Is m a multiple of 2?
True
Suppose -3*v + 4*y = -20, -4*y - 7 = 5*v - 19. Let j be 4 + (v - -9) + -3. Let p(f) = f**3 - 15*f**2 + 16*f + 11. Is p(j) a multiple of 13?
True
Is 56 a factor of (4*1)/(-42 + 40)*(-4314)/4?
False
Let k be (-1)/(9736/1948 + -5). Suppose 4*h - k = -5*o, 0 = -o - 5. Does 21 divide h?
False
Let i = 32 - -1. Let c(x) = -x**2 + 36*x - 47. Let w be c(34). Suppose -l - z + w = 2*z, l - i = z. Does 16 divide l?
False
Let z(k) = -k**3 - 2*k**2 - 3*k + 25. Let w be z(0). Suppose -t + 4*j + 140 = 0, -4*j + 9*j + w = 0. Is t a multiple of 4?
True
Suppose 5*s + 417 = -523. Let k = s + 345. Suppose 2*b = k + 131. Is b a multiple of 36?
True
Let d = -39 + 39. Let l be d/(2 - (-15)/(-5)). Suppose 4*z - 284 + 40 = l. Is z a multiple of 35?
False
Suppose 1185 = -5*c - 4*a, -8*a = -9*a. Let n = c + 272. Does 2 divide n?
False
Suppose 70880 = 4*y - v, -148*v = 2*y - 152*v - 35440. Is 6 a factor of y?
False
Suppose 4*b - 104*k = -107*k + 338363, -2*k = 4*b - 338366. Does 29 divide b?
True
Suppose -2*c = -472 + 36. Is 18 a factor of -4 + (-1)/(-2)*c + 3?
True
Suppose -10*w + w = -396. Let k = 43 - w. Is (2 - k)*(125/3 - -5) a multiple of 7?
True
Let j be 16/((-2)/6 - -1). Let d be 12/2 + (2 - 8 - 30). Let z = j - d. Is 8 a factor of z?
False
Suppose -38*w - 157966 = -174551 - 476047. Is 78 a factor of w?
False
Let k(f) = 50*f**2 + 13*f + 25. Let b be k(-5). Let u = b - 49. Is 55 a factor of u?
False
Let i be 100/50*11/(-2). Is ((-4279)/2)/i + (-4)/(-8) a multiple of 15?
True
Suppose 4*z + 259*z = -322*z + 29640780. Is z a multiple of 140?
False
Let v be 137/4*(-3 - -7). Let l = 238 - v. Is 43 a factor of l?
False
Let k = 166 + -259. Let d = k + 202. Is d a multiple of 26?
False
Let o be (-110)/25 - (0 + (-3)/(-5)). Let j = 7 - o. Does 10 divide 115 - (-2)/j*(-1 + -5)?
False
Suppose -320*l = -78*l - 865392. Is l a multiple of 6?
True
Is 44 a factor of (23 - 165594)/49*(1 - (0 + 7))?
False
Let g(s) = 101*s - 38. Let a be g(6). Suppose a = -7*d + 2129. Does 20 divide d?
False
Let a = 16708 + -9530. Does 74 divide a?
True
Suppose 0 = -4*o, -j + 0*o = -o - 14. Let k(d) = -j - 21 + 0*d + 36 - 5*d + d**3. Does 3 divide k(3)?
False
Suppose -2361 = 11*f - 1030. Let c be (0 - -1)/((-2)/166). Let j = c - f. Is j a multiple of 38?
True
Suppose -5*s + 7207 = 3*c - 5*c, -2*c - 1443 = -s. Let i = s + -985. Is i a multiple of 38?
True
Let x = 15 - -17. Let b = x - 61. Is 5 + -3 - 2*b a multiple of 47?
False
Suppose 5*l - 4*v = 1490, -5*l + 8*l + v = 911. Is l a multiple of 8?
False
Let i = 3086 - 2196. Is i a multiple of 10?
True
Suppose -10*t = -7*t - 12. Let x be t/8*(3 - 3). Is 25 a factor of (-1 - (x + 2)) + 28?
True
Let m(o) = 2*o**3 + 258*o**2 - 113*o - 1177. Is m(-129) a multiple of 100?
True
Suppose 0 = 97*f - 104*f - 98. Let y(n) = -n**3 - 14*n**2 - 2*n + 24. Is 7 a factor of y(f)?
False
Suppose -2*g + 13017 = -z, 8*g + 24883 - 76954 = 3*z. Does 62 divide g?
True
Suppose -13*a - 4324 = 3268. Let g = -382 - a. Is g a multiple of 16?
False
Let w = -3954 - -3957. Suppose 3*t - 13 = -1. Suppose 0 = -w*o + o - q + 228, -456 = -4*o - t*q. Is o a multiple of 19?
True
Suppose 5*h = -b - 0*b + 24, 4 = 3*b - 2*h. Suppose 4*u - 25 = -3*s, 6*u + 5 = 3*s + 5*u. Suppose 106 = n + 4*n + s*c, -52 = -3*n + b*c. Does 5 divide n?
True
Let d = 6565 + -6353. Is d even?
True
Suppose -129*g = -116*g - 26. Suppose -6*x + h - 216 = -7*x, 0 = -g*x + 2*h + 428. Does 43 divide x?
True
Suppose -1508 = -3*l + b, -3*l - 2*b = 2*b - 1513. Suppose -13065 + l = -11*y. Does 60 divide y?
False
Let j = 1 - -1. Suppose 49 = 24*o - 119. Suppose -o*p = -j*p - 420. Is p a multiple of 12?
True
Let a be 298/(-14) - (-12)/42. Let v be (-7)/(a/4)*-72. Is 24 a factor of (v/(-15))/(1/10)?
False
Suppose 15 = -11*t + 158. Suppose 27 - t = -k. Does 3 divide 28/(-6)*36/k?
True
Let k = -413 - -421. Suppose 3*b + p - 7 = 0, -3*b + 17 = k*p - 9*p. Is b a multiple of 3?
False
Suppose -38 = -5*f + 5*x + 52, -5*f = -3*x - 98. Suppose 5610 = f*y - 5*y. Does 24 divide y?
False
Let p(k) = 2872*k - 2563. Is p(3) a multiple of 17?
False
Suppose 0 = 12*a - 33 + 9. Suppose 0 = 5*c + 15, 4*v - a*v = 5*c + 543. Is v a multiple of 27?
False
Suppose 4*i = 3*s + 11, -2*i + 3 = 2*i + 5*s. Suppose -i*r + 12 + 4 = 0. Is 8 a factor of r/(-8)*64*1/(-1)?
True
Suppose -28*b + 49*b = 32*b - 99066. Is b a multiple of 114?
True
Suppose -114*q + 9*q = -604275. Is 22 a factor of q?
False
Let r(k) = -2*k**2 - 27*k - 37. Let n be r(-12). Let y(a) = -50*a**3 - a**2 + a + 2. Is 7 a factor of y(n)?
False
Let l(y) = 33*y + 95. Let h be l(1). Let t = 3 + 2. Suppose r + h = t*r. Does 8 divide r?
True
Let l(g) = -3659*g - 3607. Is 68 a factor of l(-5)?
True
Suppose k + 1 = 45. Let w = k + -44. Suppose 5*i - 40 + 5 = w. Is 5 a factor of i?
False
Suppose 5*u + q + 2*q = 186143, 4*u + 4*q - 148908 = 0. Is u a multiple of 31?
True
Suppose 0 = -4*i + 12, 2*x = 3*i + 35. Does 8 divide x/231 - 1676/(-42)?
True
Let n = -31941 + 35382. Is 6 a factor of n?
False
Suppose 0 = 11*k - 23*k. Suppose k = -23*h + 131 + 237. Is h a multiple of 8?
True
Let w = -57 + 57. Suppose w = -r, 12*x - 14*x + 218 = r. Does 21 divide x?
False
Let r = -414 + 36. Let z be -1 - (-2 - -3) - r. Suppose z = 5*v - 109. Does 32 divide v?
False
Let q(v) = 5*v**3 - v**2 - v + 2. Suppose 2*w + 4*m = -2*w - 156, 0 = -4*w + 3*m - 149. Let o = -35 - w. Does 25 divide q(o)?
True
Does 135 divide 6 - (-1)/((-2069406)/(-188127) - 11)?
False
Suppose 152 = -137*g + 141*g. Suppose -3*w + g = 20. Let s(v) = -v + 30. Does 24 divide s(w)?
True
Suppose -18*d + 59848 = 17713 - 45633. Does 53 divide d?
True
Suppose g + 5*a - 15148 = 7*a, -5*a - 75710 = -5*g. Is 11 a factor of g?
True
Let s(u) = 37 + 59 - 6780*u - 32 + 6815*u. Is s(3) a multiple of 13?
True
Let q = 22189 - 11725. Is q a multiple of 32?
True
Suppose 3*w - 2*b = 0, 5*w = -0*w + 3*b + 1. Suppose 0 = 3*t - 3*l - 87, -5 = -w*t + l + 56. Suppose -t = -10*h + 98. Is h even?
False
Let m = -9653 + 20885. Does 27 divide m?
True
Let s(a) = 392*a + 11. Let l be s(-2). Let k = l + 1123. Let n = -165 + k. Is 23 a factor of n?
False
Let q = -18082 + 33780. Is 107 a factor of q?
False
Suppose 2*l = 8, 3*l - 2*l - 1229 = -5*h. Is 5 a factor of h?
True
Let w be 8/(-2) + (-687)/(-6)*8. Let z = w - 302. Is z a multiple of 61?
True
Let m = -2212 + 4924. Is m a multiple of 21?
False
Suppose 2*g + 40 = 5*t, 26*g - 24*g = 0. Let r(a) = 4*a - 1. Let y be r(2). Suppose 0 = y*j - t*j + 35. Does 10 divide j?
False
Suppose o + 3*v - 981 = 0, 54*v = 2*o + 53*v - 1934. Is o a multiple of 57?
True
Let a = 30 - 21. Suppose -7*z + a = -4*z. Does 17 divide ((-8)/z)/((-2)/57)?
False
Let l(n) = n**2 + 2*n + 16. Let k be l(-13). Let h = k - -10. Is h a multiple of 13?
True
Suppose 0*u = u - 1182. Let r be 4/((-3)/u*-4). Let t = -230 + r. Does 16 divide t?
False
Let x = 48 + -44. Suppose -x*k = -z - 8, -4*k + 18 = 3*z - 6. Is 1/(z/8*2/15) a multiple of 7?
False
Let v(h) = -h**3 + 8*h**2 - 2*h + 1. Suppose 4*k - 35 = -7. Let x be v(k). Is 3 a factor of (-17)/(-6) - (-6)/x?
True
Suppose -27*q = 5 - 113. Let u(g) be the second derivative of 5*g**3 - 7*g**2/2 - g. Is 18 a factor of u(q)?
False
Let c be 7*4/3*(-81)/(-18). Suppose -2*g + 6 = -0*g, 3*t - 2*g = c. Does 9 divide (-2 - t)/((-12)/30)?
True
Suppose 3*s + 8094 = 1393*d - 1392*d, 3*s - 24282 = -3*d. Is d a multiple of 114?
True
Let v be (-30)/(-4)*(-4 - -2). Is 27 a factor of (-4257)/v + (-12)/(-60)?
False
Let w be 3/(((-2)/142)/((-9)/27)). Let b = 75 - w. Suppose -2*m + 