 -2*v + 40. Is 24 a factor of v?
True
Let l = 8 + -12. Let r(x) = -x**3 - x**2 - x - 1. Let o(q) = q**3 + 6*q**2 + 4*q - 5. Let w(n) = -o(n) + r(n). Does 9 divide w(l)?
False
Suppose h = -n - 2*n + 17, 5 = -5*n + 5*h. Suppose w - 2 = n. Is (13/2)/(3/w) a multiple of 13?
True
Suppose 11*v - 7*v = 160. Let f = 59 - v. Does 15 divide f?
False
Let z = 32 - 16. Let t = 1 + z. Is 9 a factor of t?
False
Suppose 3*d + 334 = 2*g, 5*d + 852 = 4*g + 188. Suppose -2*h + 55 = 4*u - g, -4*u = -2*h - 216. Is 27 a factor of u?
True
Is 108*(7 - (1 + 5)) a multiple of 36?
True
Let v = -55 + 57. Suppose 8*u - v*u - 876 = 0. Does 31 divide u?
False
Let s = 6 - 6. Suppose s = -8*z + 3*z + 185. Suppose -z = -2*a + 35. Does 12 divide a?
True
Let w be (20/(-4) - -3)/(-2). Let q = w - 13. Let h = 36 + q. Is 12 a factor of h?
True
Suppose 38*n + 3*i = 39*n - 484, -3*n + 1440 = -5*i. Is 95 a factor of n?
True
Let j = -278 - -526. Is j a multiple of 31?
True
Suppose 4*d - 588 = -4*c + 5036, d + 3*c = 1398. Does 30 divide d?
True
Suppose -2*d + 0 + 1 = a, -a + 5 = -2*d. Suppose -a*o = 3*s - 75, 2*s = o - s - 13. Does 5 divide -1 - o*(-3)/6?
True
Suppose -4*r + 2*r = -5*w + 2037, -2*r - 2 = 0. Is w a multiple of 11?
True
Let l be (-11528)/(-3)*(-9)/3. Is 41 a factor of 2/6 + l/(-66)?
False
Let a = -269 + 2765. Is 64 a factor of a?
True
Suppose -16 - 107 = -3*j. Suppose -3*b - 11 = -j. Is 9 a factor of b?
False
Let u(i) = -2*i**3 - 42*i**2 + 5*i - 87. Is 30 a factor of u(-22)?
False
Let w(l) = -29*l - l**3 - 1 - 6*l**2 + 38*l + 2. Let a be w(-8). Let g = a - 40. Is 7 a factor of g?
False
Suppose 0 = -2*p + 5*g + 25, -3*g - 9 = -3*p - 5*g. Does 8 divide p*4/60 + 98/3?
False
Let t(k) = -43*k**3 - 11*k**2 - 18*k - 48. Is 89 a factor of t(-3)?
True
Let c(x) = x**2 - 17*x - 10. Let a be c(18). Is 13 a factor of (9 - 1)*(738/a)/9?
False
Let z = 70 - 18. Suppose -160 = 4*p + z. Let v = p - -105. Is v a multiple of 26?
True
Suppose -8*w + 25 = -3*w. Suppose 0 = 3*v - 0*p - p - 317, v - 87 = w*p. Is 19 a factor of v?
False
Let g = 13 - -21. Does 17 divide g?
True
Let x = 24 - -9. Suppose 0 = 2*v - 0*v - 4. Let z = x + v. Is 15 a factor of z?
False
Let a = -46 - -19. Let j = -15 - a. Suppose v = -c + 6, -5*c + j = -2*v + 5*v. Does 5 divide v?
False
Suppose 0 = -4*l + 3*t + 321, 4*l - 4*t + 136 = 452. Let i = -32 + l. Is i a multiple of 4?
True
Let v = -104 - -584. Is 30 a factor of v?
True
Suppose -5*y - 285 = -5*h, h + 225 = 5*h - y. Is 50 a factor of h?
False
Suppose -3*b + 566 - 134 = 0. Is 18 a factor of b?
True
Let n(r) = -7*r**2 - 27*r - 5. Let q(k) = -3*k**2 - 13*k - 3. Let m(u) = -2*n(u) + 5*q(u). Let o be (8/4 + -4)*2*2. Does 19 divide m(o)?
True
Suppose -5*t + 8*t = c + 1297, -4*t - 4*c + 1724 = 0. Is t a multiple of 36?
True
Let u(k) be the first derivative of -k**4/4 + 7*k**3/3 - 2*k**2 - 5*k + 4. Let v be u(5). Suppose 3*i + p = v, -p = -i + 2*p - 5. Is 4 a factor of i?
False
Suppose -5*f = 46 - 6. Let k be 0/(3 + -4) - f. Suppose -r = 4*j - 45, -j + k + 12 = 2*r. Does 5 divide j?
True
Let k = 370 - 214. Does 22 divide k?
False
Let f(q) = -q**3 - 2*q**2 + 3*q + 2. Suppose 12 + 6 = -6*g. Is f(g) a multiple of 2?
True
Suppose -5*n + 72 = -n. Let h be 1 - (n - 2/(-1)). Let m = h - -43. Does 6 divide m?
True
Let w(q) = -q**2. Let s(k) = k**2 + 17 - 2*k**2 - 6*k**2. Let p(h) = -s(h) + 6*w(h). Is 18 a factor of p(9)?
False
Let x = -8 - -10. Suppose -x*s - t = 3*t - 14, -5*s + 56 = 3*t. Let m = 7 + s. Does 13 divide m?
False
Let s = 361 - 228. Is s a multiple of 19?
True
Is 9 a factor of 2/20 - (19404/(-120))/3?
True
Suppose -268 = 6*t - 2*t. Let b = 95 + t. Does 14 divide b?
True
Suppose -2*m - 23 = -7. Let n(g) = -g**3 - 9*g**2 - 11*g - 11. Is 8 a factor of n(m)?
False
Suppose -410 = -5*s + 5*q, -4*q + 328 = 7*s - 3*s. Is 9 a factor of s?
False
Suppose u - 11518 = -4*k + 4628, 0 = -k + 4*u + 4028. Does 55 divide k?
False
Suppose 5*k - d - 2210 = 0, -5*k - 5*d + 2210 = -2*d. Does 26 divide k?
True
Let b = -457 - -302. Let m = b - -265. Suppose -2*z - 5*h + m = -0*z, 3*z + 5*h - 155 = 0. Is z a multiple of 23?
False
Let r be 4 - 234/(-2 + 5). Let l = r - -129. Is l a multiple of 11?
True
Let w(s) = -s**3 - 8*s**2 - 5. Let d = -31 - -22. Does 18 divide w(d)?
False
Let q = 131 + -85. Let l = 224 + q. Is l a multiple of 27?
True
Let a(v) = 26*v**3 + 2*v**2 - 1. Let l = -3 + 8. Suppose l*z = -4*r - 0*r + 1, 3*z = -3*r. Is a(z) a multiple of 10?
False
Suppose 34*z - 16*z = 13734. Is z a multiple of 16?
False
Let x = 607 - -481. Does 26 divide x?
False
Let d(b) = -b**3 + 8*b**2 - 5*b - 1. Let c = 7 + -11. Let i be ((-2)/c)/(3/42). Does 3 divide d(i)?
False
Let i(c) = c - 2*c - c - 1 + c. Let a be i(-2). Is 3 a factor of 3 - (a + 0 + -1)?
True
Let v = -58 - -38. Let w = -13 - v. Suppose p - w = 19. Does 13 divide p?
True
Suppose -121*f - 4*i = -120*f - 688, -2*f - 2*i = -1358. Is 13 a factor of f?
True
Let o(i) be the second derivative of -i**5/20 - i**4/12 + 139*i**2/2 + 25*i. Does 16 divide o(0)?
False
Let b(a) = -a**2 + 6. Let u be b(0). Let d(z) = z**3 - 3*z**2 - 2*z + 3. Let q be d(u). Suppose 0 = w + 5*p - q, -5*w + 3*p + 241 = -114. Does 26 divide w?
False
Let d be (-7241)/(-39) + 2/(-3). Suppose -187*s + d*s = -294. Is s a multiple of 12?
False
Let n(s) = -8*s + 81. Is n(-28) a multiple of 23?
False
Suppose 2*t - 221 = -5*n, 0 = 2*t + n - 201 - 40. Is 41 a factor of t?
True
Suppose -28 - 15 = 3*v - d, -4*d = -4*v - 68. Let b = v + 12. Is 11 a factor of b*(1*-22)/1?
True
Let q(w) = -w**2 + 8*w + 1. Let y = -5 - -13. Let a be q(y). Let c = a + 3. Does 3 divide c?
False
Let r(h) = -3*h**2 - 2*h + 6. Let o be r(-3). Let b = -2 - o. Is 13 a factor of b?
True
Suppose -4*o + 324 = 2*z - 5*o, 3*o + 332 = 2*z. Suppose -7*g + 6*g = -z. Is 20 a factor of g?
True
Let u(c) = -c**3 + c**2 + 3*c + 45. Does 3 divide u(0)?
True
Let u(z) = 45*z**3 + z**2 - 2*z + 1. Let o be u(1). Is (660/o)/((-2)/(-3)) a multiple of 2?
True
Is (87/2 + -2)*4 a multiple of 5?
False
Is 6/(27/18*(-2)/(-12)) a multiple of 24?
True
Let y be (90/36)/((-2)/(-4)). Suppose g + y*i = 17, -5*i = -10 + 30. Does 7 divide g?
False
Let u = 450 + -365. Does 8 divide u?
False
Does 16 divide 4 - 126/33 - (-2812)/22?
True
Let c(r) = -30*r**3 - r**2 + 1. Let i(u) = u**3 - 10*u**2 + 10*u - 10. Let k be i(9). Is c(k) a multiple of 10?
True
Let k(j) = j**2 + 5*j - 4. Let c be k(-6). Suppose 0 = f - 5, -f - 410 + 151 = -c*a. Suppose -3*d + a = 3*y, 4*y - 172 = -7*d + 2*d. Is y a multiple of 24?
True
Let m be 0 + 3 - -5 - 3. Let k be (-44)/(-10) + (-2)/m. Suppose -1 = -j + k. Does 2 divide j?
False
Let q = 9 - 4. Suppose -5*f + 8 = -3*f. Suppose q*l - 6 = -f*z + 18, 2*z - 2 = 0. Does 2 divide l?
True
Let g(j) = 10*j**3 + 2*j**2 - 3*j + 2. Does 21 divide g(2)?
True
Suppose -4*a + 103 - 3 = 0. Suppose 2*g + 3*c = a, 4*g - 3*c = c + 40. Suppose 5*x - 14 = g. Is x a multiple of 2?
False
Let o(r) = -r**2 - 13*r - 7. Suppose 5*u + 13 = 2*s - 10, -2*s - 17 = 3*u. Does 11 divide o(u)?
True
Let n(o) = -o**3 - o**2 + 3*o. Let r be n(-3). Let y = r + -8. Is 7 a factor of (-7)/(y/(-9)*3)?
True
Let d = -61 - -49. Is -4 - d - 4 - -72 a multiple of 19?
True
Let b(n) = 9*n**2 - 2*n - 1. Let z be b(2). Suppose 4*y = -z + 131. Suppose 4*m - 4*j = 181 - y, -4*m + 164 = 4*j. Is m a multiple of 8?
True
Let o(h) = -6*h - 2. Let a be o(-2). Suppose -2*j - 4 + a = 0. Suppose -t + 33 = 5*l - 0*t, -29 = -5*l - j*t. Does 7 divide l?
True
Let q be 1 - -106 - (7 - 1)/6. Suppose n = w + 2*w - 318, w - q = 5*n. Does 19 divide w?
False
Let z = -93 + 157. Suppose 2*v + 4*a - 104 = -2*v, -2*v = -2*a - z. Is 24 a factor of v?
False
Let v(p) = -5*p + 0*p + 11 - 19 - p**2. Let r be v(-5). Does 16 divide (-1)/(4/9)*r?
False
Let h(p) = p**2 - p + 6. Let k be h(-3). Suppose 2*j = 50 - k. Does 16 divide j?
True
Suppose 4*l - 1161 = 539. Suppose 4*d = -j + 346, -5*d + l = 2*j + 3*j. Is 26 a factor of d?
False
Let g be -1 - -5 - (-20 + 3). Let a = g - 21. Suppose a = -4*s - s + 375. Is s a multiple of 15?
True
Suppose n - 77 - 302 = -3*u, 635 = 5*u + 5*n. Does 6 divide u?
True
Suppose -4*r = 3*k + 172, 2*r + 164 = -3*k + 6*r. Let a = -21 - k. Suppose -2*c - 27 = -4*c + 3*l, 0 = -5*c + l + a. Does 2 divide c?
True
Suppose 4525 = -20*d + 21585. Does 19 divide d?
False
Suppose