 i(-13) a multiple of 58?
True
Let d(x) = 6*x**2 - 3*x - 3. Let i be d(-1). Suppose -i*w + 3*w = -144. Is w a multiple of 16?
True
Let v(s) = 3*s - 4. Let p be v(2). Let r be (0 + p)*(5 - 9). Let f = 32 + r. Is 12 a factor of f?
True
Suppose 14*z = 10*z + 76. Suppose 3*l - z = -7. Suppose 3*p + 3*a - 8 = 4, l*p - 16 = 2*a. Is p a multiple of 3?
False
Suppose -9078 = -18*h - 3318. Does 51 divide h?
False
Suppose 51*p - 282 = 53*p. Let f = 197 + p. Is 4 a factor of f?
True
Suppose -73*m + 12936 = 5*j - 77*m, -2*m = 8. Does 19 divide j?
True
Suppose 6*j - 3*j - s = -25, -s - 17 = 3*j. Let o(x) = -35*x - 10 + x + 27*x. Is o(j) a multiple of 23?
False
Suppose 285 = l - 3*f, -15*l + f + 1355 = -10*l. Is 10 a factor of l?
True
Suppose 2*t = -8*t. Suppose t = 3*v - 206 + 14. Is 16 a factor of v?
True
Let j be (4 + -2)*(1 + 2). Let w be ((-92)/j)/((-1)/3). Suppose w = 2*g - g. Is g a multiple of 23?
True
Suppose -5*i = -4*s + 6964, -2*i = -4*s - 5*i + 6932. Is s a multiple of 8?
True
Let m(h) = 9*h + 12. Let y(c) = -c**2 - 6*c - 5. Let x be y(-4). Is 8 a factor of m(x)?
False
Let z = -320 + 500. Is z a multiple of 12?
True
Suppose 4896 = -415*h + 427*h. Is 68 a factor of h?
True
Suppose 4*h - 6 = 2. Suppose -2*x + 43 = -0*x - s, 3*s - 39 = -h*x. Does 10 divide x?
False
Suppose -45*d = -52*d + 17290. Is d a multiple of 13?
True
Suppose 4*u - b - 1651 + 431 = 0, -2*u - 5*b = -632. Suppose -3*f - 125 = o - u, 0 = -f - 4*o + 64. Is f a multiple of 20?
True
Let f(h) = 8*h**3 - h**2 + 1. Let k be f(-1). Let m be 2/k + 27/12. Suppose -m*b + 170 = 3*v, -5*b = -2*v + 43 + 64. Is v a multiple of 14?
True
Suppose -5*p + 2*p = -24. Let w(n) = 4 - 5*n + p*n + 6. Is w(6) a multiple of 8?
False
Suppose -3*r + 14 = 5. Suppose -r*s - 35 = -5*h, 2*h - 3*s - 31 = -2*h. Suppose 0 = -6*j + 3*j + 5*p + 65, 0 = -2*j - h*p + 80. Is j a multiple of 15?
True
Suppose 2*s + 18 - 32 = 0. Is -3 + s + 86/2 a multiple of 20?
False
Suppose -5*s + 2*s = -72. Let i = -41 - -45. Suppose -3*x + i = 2*o + x, -s = -2*o + x. Is 10 a factor of o?
True
Let s be 1 - (-1)/3*-3. Suppose 5*d + s*d + 5*x = 55, -4*d = x - 29. Does 24 divide 4/3 + 136/d?
True
Suppose 155*l - 146*l = 1755. Is l a multiple of 4?
False
Let o = 99 - 143. Let l = 98 + o. Suppose 5*x = -2*k + 48, -l = -5*x + 4*k - 0*k. Does 10 divide x?
True
Is (-3)/(-1)*-72*(-416)/156 a multiple of 8?
True
Let g = -6556 + 10780. Does 66 divide g?
True
Let t = -31 + 35. Suppose -2*s + 44 = -2*d, -4*s + t*d = -2*s - 52. Is 9 a factor of s?
True
Does 23 divide 122/4*(3 + -1)?
False
Let j(r) be the third derivative of r**7/2520 - r**6/90 + r**5/24 - r**4/3 - 4*r**2. Let p(w) be the second derivative of j(w). Is p(8) a multiple of 4?
False
Suppose 5*x - 13*p = -10*p - 38, 22 = -3*x + p. Let j(m) = -m**3 - 6*m**2 + 4*m + 8. Let v be j(-6). Let w = x - v. Does 3 divide w?
True
Let k = -351 + 603. Is 12 a factor of k?
True
Let g(a) = 14*a**2 - 4*a - 10. Is 11 a factor of g(-6)?
False
Let m = 17 - -33. Suppose 66 = 3*o - 2*t, 4*o + 3*t - 138 = -m. Let v = o + -1. Does 7 divide v?
True
Suppose -2*d - 3*d - 10 = 0, -d = -4*o + 102. Let r = 2 + o. Does 3 divide r?
True
Suppose -43*j = -16591 - 14369. Does 12 divide j?
True
Let i(k) = 21*k**2 + 5*k + 3. Is i(-5) a multiple of 30?
False
Is (-6)/(-4) + 2228/8 a multiple of 28?
True
Let i(x) = x**2 - 4*x - 3. Let o be i(5). Suppose 5*b - 3*v - o*v - 330 = 0, 4*b = -v + 279. Suppose -2*t + p = -104, 3*p + 3 - b = -t. Is 24 a factor of t?
False
Suppose 0 = f + 4*v - 2*v + 20, -5*f = -4*v + 100. Suppose 345*m - 1 = 344*m. Does 8 divide (f - 3)*m/(-1)?
False
Suppose -1 - 3 = -4*l. Does 42 divide l*130 + (9 - 13)?
True
Suppose 2*r - 2 = r. Let v = 4 - r. Suppose -54 = -v*d - d. Is 15 a factor of d?
False
Suppose -2*t + 44 = -3*m, 13*t - 12*t - 5*m - 22 = 0. Does 11 divide t?
True
Let d be 4*635/10 - -5. Let x = d - 19. Is x a multiple of 10?
True
Suppose -6*w + 0 + 12 = 0. Suppose 7*z = w*z + 255. Is z a multiple of 6?
False
Let t(i) = 10*i**3 - 9*i**2 - 10*i + 11. Is t(5) a multiple of 17?
True
Suppose -3*s - 5*g = -178, -3*g = -2*s + 166 - 22. Is s a multiple of 6?
True
Suppose 4*a = 4*s - 488, 3*s - 4*a = -3*a + 358. Let r = -83 + s. Is 7 a factor of r?
True
Let y(m) = 2*m + 8. Let x be y(-4). Suppose 2*w - 2*g - 18 = x, -g = -4*w - 5*g - 4. Let o = w - -20. Is 8 a factor of o?
True
Suppose -5*j + 1188 = l, -2*l - 4*j - 569 = -2927. Does 23 divide l?
True
Let t(z) = z**3 - 59*z**2 - 44*z - 32. Does 16 divide t(60)?
True
Let d(q) = q**3 + q**2 - 2*q + 41. Let u be d(0). Suppose -4*t + u = -279. Is t a multiple of 8?
True
Let t be 0 + 90 + (-15)/(-15). Suppose 92*d - 260 = t*d. Does 44 divide d?
False
Let u(n) = 7*n**2 - 8*n - 5. Is 42 a factor of u(-5)?
True
Suppose 6*q - 4*t = q - 14, 5*t - 3 = -q. Let f be (2/(-2))/(q/118). Suppose 2*x - 5 = f. Is 9 a factor of x?
False
Suppose 0 = -303*v + 304*v - 3672. Is 18 a factor of v?
True
Let p(g) = g + 6. Let v be p(-2). Suppose -w - v*j = -1 - 79, w - j = 95. Does 24 divide w?
False
Suppose 2 = q, -3*s - 3*q + 10 = -14. Let x = s + -4. Is 3 a factor of x + -1 + 3 + -1?
True
Suppose 18145 = 13*a + 1583. Is 13 a factor of a?
True
Suppose 3*v = -v + 3*c + 1336, 3*c - 1643 = -5*v. Let d = 502 - v. Is d a multiple of 37?
False
Let j(w) = 7*w**2 - w - 4. Let i be j(4). Suppose -i + 622 = 7*l. Is l a multiple of 11?
False
Suppose -4*v = -2*v - 8. Suppose -y = -0*y - v. Suppose 0 = -y*z, 0*m - 5*z - 100 = -2*m. Does 22 divide m?
False
Suppose 0 = -0*f - f + 3*h + 823, 3*h = -9. Suppose -3 = 5*d - 2*d, 0 = 5*u - 4*d - f. Does 18 divide u?
True
Let z(f) = 121*f**2 - 1. Let k be z(1). Suppose 0 = -r - 3*q + 24, -6*r + k = -r + 4*q. Is r a multiple of 9?
False
Let h(m) = 4*m**2 + 2*m + 3. Let f be h(-1). Suppose 0 = 8*a - f*a - 234. Is a a multiple of 26?
True
Suppose 971 = 2*r + 5*z - 6*z, -r + 3*z + 498 = 0. Is r a multiple of 9?
False
Let n(z) = z - 6. Let f be n(7). Let r be (-1)/f + (-8)/(-2). Suppose 4*w - 199 = p, 3*w + r*p = 156 - 3. Is w a multiple of 17?
False
Let j = -300 + 525. Let t = -64 + j. Is 23 a factor of t?
True
Suppose -3 - 80 = i. Let h = i - -141. Does 29 divide h?
True
Let z(n) = 15*n**2 + n - 4. Let b be z(-2). Let a = b - 14. Let r = 76 - a. Is r a multiple of 12?
True
Let i(z) be the second derivative of z**4/12 - z**3/6 - z**2 + z. Is 28 a factor of i(6)?
True
Let b = -13 - -7. Let f = 6 + b. Suppose 4*m - 2*m - 66 = f. Is m a multiple of 11?
True
Suppose -7*l + 10*l = 216. Is l a multiple of 2?
True
Let o = 14 - 13. Suppose -68 = -z - o. Is z a multiple of 11?
False
Let d = -351 - -1067. Does 14 divide d?
False
Let g be (-1 - -1)/(13/13). Suppose g = m + x - 3, 2*m + x - 10 + 4 = 0. Suppose -m*b + 69 = 18. Is 9 a factor of b?
False
Suppose 9*f + 56 = 5*f. Does 34 divide ((-18)/5)/(f/385)?
False
Let r = -11 + -39. Suppose 0*n = -n - 0*n. Is 7 a factor of (n - (-3)/(-6))*r?
False
Let m be (488/5)/((-4)/(-30)). Suppose -6 = -4*i + 2*i. Suppose i*p + 3*p - m = 0. Is 26 a factor of p?
False
Let n(a) = a + 0*a**3 + 0*a**3 - a**3 - a**2 - 3 - a**3. Let y be n(3). Let v = 103 + y. Does 20 divide v?
True
Suppose -i = i - 6. Suppose -3*h = -2*t - 80, -i = -h - 4*t + 5. Is h a multiple of 12?
True
Let d be (174/(-4))/(2/(-4)). Is 13 a factor of ((-16)/(-12))/4*d?
False
Suppose 0 = -3*v + 9 - 0. Suppose -v*n = -5*n + 4. Is 13 a factor of 39/6*n*2?
True
Let j(v) = 42*v**2 - v + 1. Let r be j(1). Let c = r - 23. Does 5 divide c?
False
Let q(v) = v**3 - v**2 + v - 138. Let k be q(0). Let c = -75 - k. Is 9 a factor of c?
True
Suppose -7 = -2*h + 3. Suppose 0 = -h*c + c - 5*v + 265, 305 = 5*c + v. Suppose -c = 5*r - 10*r. Is r a multiple of 6?
True
Suppose -3*c + 2870 = 827. Suppose 7*k - c + 226 = 0. Suppose -q = -k - 43. Is q a multiple of 18?
True
Let a = 18 - 106. Let u = 99 + a. Is 3 a factor of u?
False
Let m be 1/3*(-6)/2. Let x be ((m - 0) + 2)*-14. Is (8/x)/((-8)/28) a multiple of 2?
True
Is 25 a factor of 28010/80 + 10 + 1/(-8)?
False
Suppose -2*z = -3*j + 10, -5*j + z + 26 = -0*z. Does 49 divide -31*(-38)/j - 2/6?
True
Let r(t) = t**2 - 6*t + 16. Let b be r(9). Suppose -5*v = -b - 397. Does 5 divide v?
False
Does 49 divide (2/3)/(3 + 19758/(-6588))?
False
Let z(f) = 113*f**2 + 2*f - 1. Let d be 18/(-12)*2/(-3). Is z(d) a multiple of 11?
False
Sup