)/3?
True
Suppose -5*n = 204 - 624. Suppose q + 25 + 0 = -5*j, 3*j = -q - 15. Suppose -4*u = 5*y - n, -32 = -q*y - y + 3*u. Is y a multiple of 17?
False
Let h be 2 - 0*(-1)/(-3). Suppose y = -z - 0*z - 101, 0 = h*z + 6. Let m = y + 166. Is 14 a factor of m?
False
Suppose -1424*z + 1421*z = -9828. Is z a multiple of 28?
True
Let b be (-92)/(-2) - (-20)/10. Is (b/(-2))/(-8 + 7) a multiple of 10?
False
Let h(f) be the first derivative of -f**4/4 + 7*f**3/3 - 3*f**2/2 - 6*f + 17. Is h(5) a multiple of 10?
False
Let r be ((-104)/(-39))/((-3)/9). Let b(a) = a**3 - a + 17. Let m be b(0). Let s = m + r. Is s a multiple of 7?
False
Suppose 0 = -687*b + 684*b + 4995. Is 15 a factor of b?
True
Let x(r) = -r**3 + 3*r**2 + 4*r + 16. Let s be x(5). Let j(z) = -35*z**3 - 1. Let n be j(-1). Let y = s + n. Is y a multiple of 10?
True
Suppose 3*i - i = 4*n + 90, 0 = 3*i - 5*n - 135. Does 8 divide i - (4 - (4 - 2))?
False
Let g be 7*(2 - 3) - -1. Is (16/g)/(3/(-630)*4) a multiple of 16?
False
Let z = -291 - -443. Is z a multiple of 8?
True
Let v be -745*12/(-40) - (-6)/(-4). Suppose 5*j + 960 = 3*n, n - v - 98 = j. Does 20 divide n?
True
Suppose -3*l + 2796 = -2*z, 33*l + z + 2799 = 36*l. Is l a multiple of 6?
False
Suppose 5 = -4*t + 3*g, t - 4*g + 1 = -3*g. Is (-2)/t*(9 - -19) a multiple of 7?
True
Let g = 16 - 14. Suppose w + g*d - 241 = 0, -253 = -2*w + w + 2*d. Is w a multiple of 30?
False
Let r = 131 - -1533. Is r a multiple of 130?
False
Let y(l) = 6*l**2 + l + 1. Let b be y(-7). Suppose -3*g = -j + b, -g - 588 = -2*j + g. Suppose -5*d + 2 + j = k, -d + 56 = 4*k. Does 20 divide d?
True
Let x be 6/(-14) + (-60)/(-42). Let s be 22 + (x + -2 - -1). Suppose -4*l - 3*z = -s, 0 = z - 1 + 3. Is 7 a factor of l?
True
Suppose 12*p - 400 = 2*p. Let o = p + -3. Is o a multiple of 15?
False
Suppose 4*x - 5*o - 2989 = 0, 299 = -x + 4*o + 1049. Is x a multiple of 96?
False
Let i = -6 + 20. Suppose 2*m + 6 = i. Suppose -41 = -m*n - 9. Is n a multiple of 8?
True
Suppose -2*p - 4*z + 3568 = 0, -6*p - 3559 = -8*p - 7*z. Is p a multiple of 22?
False
Let u(m) = 5*m - 13. Let i be (-34 + 2)*(-9)/18. Suppose -i = -k - 9. Does 11 divide u(k)?
True
Let r = 877 - 525. Is 11 a factor of r?
True
Suppose 4*t - t + 4*a = 433, -t - 4*a + 131 = 0. Is t a multiple of 27?
False
Suppose 3*a = -131 + 341. Is a a multiple of 2?
True
Suppose 54 = -7*p - 401. Let r be 4/(-26) + (-140)/p. Suppose 5*q - 22 = 3*z, -2*q + 16 = 2*q - r*z. Is 2 a factor of q?
True
Suppose 15*u = 2*u + 6331. Is 15 a factor of u?
False
Suppose -7*h + 499 = -229. Does 13 divide h?
True
Suppose 1 = -0*v + 2*v - 5*a, 0 = -5*v + 3*a + 12. Suppose -4 + 124 = v*q. Is 8 a factor of q?
True
Suppose -j = -1956 + 215. Is 59 a factor of j?
False
Let x(l) = 504*l. Does 14 divide x(3)?
True
Let h be 18/12*(1 - -1). Suppose 140 = 4*w + 3*i, h*w - 108 = -2*i - i. Is w a multiple of 23?
False
Let l(n) = -n**2 + 22*n + 29. Let t be l(23). Suppose 13 - 85 = -2*b. Let i = b - t. Does 26 divide i?
False
Suppose 2*i = 5*y + 1805, 5*i - 4*y - 2449 = 2089. Suppose -4*g + i = 6*g. Is g a multiple of 7?
True
Let a(g) = -g + 8*g**2 - 3*g**2 + 18 + 3*g + 0. Does 30 divide a(-4)?
True
Suppose 403 = 5*r + 123. Is 8 a factor of r?
True
Suppose -t - 43 = 3*m, m + 4*t + 0*t - 4 = 0. Let w = m - -13. Is 17 a factor of -9*(w - 6/3)?
False
Suppose 0 = 16*b - 28*b + 1020. Does 17 divide b?
True
Let x = 36 - 76. Let k = -30 - x. Is k a multiple of 10?
True
Suppose -l = -3*l - 8. Let c(o) = 3*o**2 - 6*o - 12. Does 5 divide c(l)?
True
Suppose 15 + 0 = 3*g. Let i = 10 - 20. Let c = g - i. Is c a multiple of 15?
True
Suppose -30 = -2*i - 4*h, 5*i - 102 = -2*h + h. Is 7 a factor of i?
True
Let h(u) = -u**2 - 9*u + 12. Suppose -2 = -g - a - 0*a, 3*a - 5 = -2*g. Let i = -8 - g. Is 7 a factor of h(i)?
False
Let b be 1 + (-6)/3 + 2. Let r = b + 61. Let a = -32 + r. Is a a multiple of 15?
True
Let m be -1 - 3 - (-96)/4. Suppose -5*i = -2*q + 8 - 3, -2*i = -3*q - m. Let d = q + 70. Is d a multiple of 13?
False
Let z = -1248 - -2369. Does 15 divide z?
False
Let w(m) = m - m - 5 + 3*m + 3. Let n be w(2). Suppose -20 = -n*l + 24. Does 11 divide l?
True
Let k = 4 - 2. Suppose -k*b + b = 52. Let s = 14 - b. Is s a multiple of 18?
False
Let n(c) = -8*c + 22. Let m be n(5). Let g = 7 - m. Is g a multiple of 5?
True
Suppose 4*m - 8 = 0, -323*n + 320*n + 4*m + 196 = 0. Does 4 divide n?
True
Let p(a) = -15*a**3 - a. Let f be p(-1). Let k = f + -10. Is k even?
True
Suppose w + 2*w - 5*k = 116, 2*k = -4*w + 120. Let l = 112 - w. Is l a multiple of 9?
False
Let p(r) = 3*r + 60. Let d be p(-19). Suppose -d*x = -6*a + 2*a - 103, -3*x + 3*a = -99. Is 8 a factor of x?
False
Let y(r) = -7*r**2 - r + 4. Let i be y(-7). Does 54 divide 3*i/(-12)*2?
False
Let n = 920 + -710. Is n a multiple of 6?
True
Let f(w) = w**3 - 4*w**2 - 5*w + 6. Let g be f(5). Let v(i) be the second derivative of -i**5/20 + i**4/2 + 2*i**3/3 - 2*i**2 - 10*i. Is 10 a factor of v(g)?
True
Let z = 1236 - 668. Does 13 divide z?
False
Suppose 13*x - 11*x = 26. Suppose 56 + 89 = 5*p - 5*l, 3*l - 105 = -3*p. Suppose 0 = -k + p + x. Is 20 a factor of k?
False
Let a = 196 + -52. Does 24 divide a?
True
Suppose -3*k = -276 - 201. Suppose -k = -4*w + 113. Is 24 a factor of w?
False
Suppose 5*g = -g - 2*g. Suppose g = -4*p - 16, 0*p - 360 = -4*a - p. Does 8 divide a?
False
Does 20 divide 1374*(42/49)/((-27)/(-105))?
True
Suppose 27*y - 180 = 117. Is 4 a factor of y?
False
Let y be (-4592)/(-32) + 6/4. Let j be -5*(3 - y/25). Does 16 divide 36/(-126) - (-452)/j?
True
Suppose 0*t + 2*t - d - 1 = 0, 22 = -t + 5*d. Suppose -32 = -5*m - 3*l, -l + 3*l - 20 = -t*m. Suppose -9 = -m*x + 187. Is 27 a factor of x?
False
Let a = 35 - 21. Let v = -46 + 62. Suppose 0 = -a*f + v*f - 68. Is 9 a factor of f?
False
Let a(p) = -3*p + 7. Let y be a(6). Let l = -9 - y. Suppose 2*s + 14 = 5*i - 109, 2*i - 38 = -l*s. Is i a multiple of 6?
False
Is 39 a factor of 3942 - (120/6 - 11)?
False
Let j be (15/25)/((-2)/(-30)). Let i(y) = j - 3*y - 3 + 2. Is 14 a factor of i(-7)?
False
Suppose -3*k = 2*v - 35, -99 - 36 = -5*v + 2*k. Suppose -339 = -3*y + 141. Is 6 a factor of y/(-6)*(-30)/v?
False
Let u(h) = -12*h - 41. Let k be u(-27). Let r = k - 162. Does 22 divide r?
False
Let h be (-4 - -3)/(1/(-37)). Let p = h - 11. Is p a multiple of 13?
True
Let u(r) = 13 - 38*r**2 - r**3 + 8*r + 22*r**2 + 14*r**2. Does 6 divide u(-5)?
True
Let i(f) = -56*f - 2. Let s(w) = 5655*w + 203. Let z(l) = 203*i(l) + 2*s(l). Let b(h) = -2*h**2 + 16*h - 31. Let c be b(5). Is z(c) a multiple of 16?
False
Let p be ((-40)/(-4))/(1 + -2). Suppose 3*o = 2*c + 4 + 15, 0 = 2*c - o + 9. Is (p + 35)*c/(-1) a multiple of 25?
True
Let d(n) = -53*n + 6. Is 33 a factor of d(-3)?
True
Let o be (-9)/(-2) + 2/4. Suppose y + 7 = o*p - 6, -y - 5*p = -17. Suppose 5*u - 3*l - 117 = 0, -u - y*l + 28 = 2*l. Does 8 divide u?
True
Does 15 divide 2*47/1 - 3?
False
Suppose -59*i + 241427 = 67967. Is i a multiple of 70?
True
Suppose 6*v - 2 = 5*v. Let y(x) = 12*x - 6 - 1 - 2 - x**v + 3. Does 7 divide y(10)?
True
Let h(i) = 42*i - 52. Does 3 divide h(7)?
False
Suppose 2*y - 4*b = 246, -4*b + 327 = 3*y - 82. Suppose y = -4*z + g + 388, 0 = -4*z + 4*g + 248. Is 9 a factor of z?
False
Suppose 12*j = 10*j - 24. Let d(v) = v**2 + 6*v + 22. Does 14 divide d(j)?
False
Let s be 2/8 - (27/(-4) + 1). Suppose 0 = -10*b + s*b + 128. Is b a multiple of 6?
False
Let d(b) = -b + 16. Let k be d(12). Suppose w - 4*n - k = -9*n, -2*n = 0. Suppose -2*y + w = a, 3*a + 0*a - 15 = -3*y. Is a a multiple of 6?
True
Let g(l) = 9*l**2 - 24*l - 261. Does 21 divide g(-18)?
True
Does 55 divide 9*8/(40/535)*3?
False
Does 24 divide 3910/18 - 1 - 2/9?
True
Suppose 320 = -g + 2*g. Is g a multiple of 13?
False
Suppose -3 - 1 = 4*w. Let v(u) = -128*u**3 - u - 1. Is v(w) a multiple of 19?
False
Let j(b) = 11*b - 7. Let z be j(1). Suppose 2*w = z*w + 3*t - 13, -2*t = 3*w - 22. Is w a multiple of 2?
True
Let u be (-1)/((-7)/3 - -2). Suppose -8 = 2*c, 0*n + 4 = -n - u*c. Let b(h) = -h + 15. Is b(n) a multiple of 7?
True
Suppose -884 = -4*p - 4*j, -5*j + 565 + 315 = 4*p. Is 3 a factor of p?
True
Let o = -7 + 11. Suppose -2*h + 5 = -5*i + 15, -o*i + 8 = -4*h. Suppose -5*r + h*s + 24 = 3*s, 16 = 3*r + s. Does 3 divide r?
True
Let a be (-