uppose 23*y = 19*y + l. Is y a multiple of 13?
False
Let a = -84 - -36. Let k = 88 + a. Does 15 divide k?
False
Suppose -3*i = 0, 0*i + 5*i = -3*w + 21. Let z = w - -7. Is 8 a factor of z?
False
Let h(y) = -2*y - 4. Let d be h(-3). Suppose 0 = d*i - 130 + 18. Is 14 a factor of i?
True
Let w be 5/((-10)/4) + 5. Suppose 6*n = w*n. Suppose f + 4 - 9 = n. Is f a multiple of 2?
False
Let i(o) = -o**3 - o**2 + 4*o + 4. Let l(j) = -j + 1. Let u be l(4). Is i(u) a multiple of 10?
True
Is 6 a factor of 3/1 + (-86)/(-2)?
False
Suppose 5*j - 3*j + 20 = 0. Let k = j - -13. Is 2 a factor of k?
False
Suppose -3*h = 32 - 152. Is h a multiple of 11?
False
Suppose -5*m + 0*m - 12 = 3*q, 3*m + 20 = -5*q. Suppose 2*o + m*o = 84. Does 14 divide o?
True
Let m = -4 - 2. Is 3 a factor of 40/4*m/(-10)?
True
Let w be 39/26 - (-91)/2. Suppose -4*s = -3*b + 76, -w = 3*b - 5*b - s. Is 12 a factor of b?
True
Let b = -7 + 1. Let f(n) = -2*n**2 + 6*n - 8. Let q(o) = -o**2 - o. Let t(p) = -f(p) + 3*q(p). Is t(b) a multiple of 13?
True
Suppose 2*u = 314 - 80. Does 39 divide u?
True
Suppose 2*c = 62 + 52. Suppose -2*d + 5*s + c = 0, 41 = -d + 2*d - 5*s. Is d a multiple of 6?
False
Suppose -4*n = -r - 4, r - 3*n = -2*n + 11. Does 8 divide r?
True
Suppose -65*q = -69*q + 128. Is 32 a factor of q?
True
Suppose -t = -2*t + 5*p - 22, 4*t + 12 = p. Does 3 divide t/(-2) - (-12)/4?
False
Let p(r) = r**3 + 11*r**2 - 9*r + 9. Is 12 a factor of p(-11)?
True
Is 21 a factor of 9*2/6 + 163?
False
Suppose 3*d + 108 = 4*d. Does 18 divide d?
True
Let x = -111 - -345. Is x a multiple of 18?
True
Let x = -10 + 10. Suppose x = s + 4 - 13. Does 8 divide s?
False
Is ((-1)/3 - 0)*-519 a multiple of 13?
False
Suppose 0*t - 56 = -2*t + 4*y, 0 = 4*y + 8. Suppose 4*k - g - t = 0, -2*k + 5*g = 2*k - 24. Is 6 a factor of k?
True
Let j be 10/(27/21 - 1). Suppose j = h + 4*h + 4*n, h + 9 = -4*n. Suppose 3*l = -5*b + 93, l = 3*b + 2*b + h. Does 14 divide l?
False
Let g be ((-22)/3 + 3)*-3. Is g - ((3 - 4) + 2) a multiple of 6?
True
Is 27 a factor of 62/(-1 + (3 - 0)) - 4?
True
Suppose 13*t = 12*t + 18. Does 6 divide t?
True
Suppose -5*j + 4 = -6. Suppose 3*l = j*l + 24. Is 6 a factor of l?
True
Suppose 3*s = -29 + 5. Let o be (-12)/s*8/3. Suppose -76 = -o*i + 72. Is 19 a factor of i?
False
Suppose 8*z = 7*z + 24. Is z even?
True
Let x be ((-3)/(-9))/(1/6). Suppose -3*o + 10 + x = 0. Suppose 4*n = -4*z + 52, -o*z + 28 = 5*n - 3*n. Does 6 divide n?
True
Suppose -66 + 582 = 3*l. Suppose 4*k - l = o - 5*o, 6 = 3*o. Is 27 a factor of k?
False
Let p = -8 + 15. Suppose -j + 27 = -5*t, -5*j - 5*t = 8 + p. Suppose -3*g - 28 = -5*h, 6 = 2*g - j. Is h a multiple of 4?
True
Suppose 0*y + 3*y = 6. Suppose 2*k - y - 10 = 0. Let u = 16 - k. Does 5 divide u?
True
Does 8 divide (4/8*2 - 3) + 59?
False
Suppose -x = 3*k - 3*x - 16, 0 = 4*k + 3*x + 7. Is 4 a factor of 2 + 15 + k + -5?
False
Suppose 9*i = 4*i + 25. Suppose -2*y - 1 = -i. Suppose -y*g - 3 = 3*t - 24, 2*t = 4*g - 82. Does 9 divide g?
True
Suppose 0*n + 8 = 4*n. Let p(t) = 11*t**3 + 26*t**2 + 11*t + 20. Let r(s) = 4*s**3 + 9*s**2 + 4*s + 7. Let x(g) = -6*p(g) + 17*r(g). Is 7 a factor of x(n)?
True
Suppose -5*f + 16 + 14 = 0. Suppose -f*j + 32 = -2*j. Is j a multiple of 8?
True
Suppose -4*m = -7*m + 15. Suppose 0 = -m*s - 0 - 5. Let v(k) = -14*k + 1. Is 15 a factor of v(s)?
True
Let s(z) = z**3 + 4*z**2 + 6*z - 5. Let n be s(4). Suppose 2*c = -5*c + n. Does 14 divide c?
False
Suppose 0 = 5*c + 10, 3*c + 0*c - 14 = -d. Suppose -d - 7 = -3*f. Is 3 a factor of f?
True
Let h be (18/(-8))/(9/(-3132)). Is h/(-3)*(-1)/3 a multiple of 29?
True
Suppose 4*y - d - 10 = 0, -2*d = -y - y + 8. Suppose -3*o = -y*v - 18, v = -o + 6*o + 5. Let x = v + 28. Does 13 divide x?
True
Let k = -10 + 40. Does 7 divide k?
False
Let n be (85/(-3))/((-2)/6). Suppose n = 4*i + i. Is 17 a factor of i?
True
Let l be (5 + -3)*(1 - 2). Let m = 3 + l. Does 3 divide 1/(m*(-3)/(-15))?
False
Let t(b) be the second derivative of b**6/120 - 2*b**5/15 + b**4/4 + 3*b**3/2 - b**2/2 - 2*b. Let x(w) be the first derivative of t(w). Is 2 a factor of x(7)?
True
Let o(m) be the third derivative of m**5/60 - m**4/24 + m**3/2 - m**2. Let a be o(3). Does 9 divide (6/a)/((-6)/(-99))?
False
Suppose 0 = -q + 42 + 1. Is 4 a factor of q?
False
Suppose 5*y - y = -140. Let r = y - -54. Does 11 divide r?
False
Suppose -t = 4*u + 53, -88 = 3*t - 3*u + 11. Let y = -14 - t. Does 9 divide y?
False
Let t(y) = -y - 3. Let g be t(-6). Let i(a) = a**2 + a. Let u(o) = 2*o**2 + 4*o - 2. Let z(d) = 3*i(d) - u(d). Is 8 a factor of z(g)?
True
Let f = -29 + 54. Is 13 a factor of f?
False
Let q(x) = x**3 - 2*x**2 + 5*x + 9. Let n(w) = w**3 - w**2 + 3*w + 5. Let k(v) = -5*n(v) + 3*q(v). Is 7 a factor of k(-2)?
True
Let d = -30 - -50. Let m be ((-24)/20)/((-3)/d). Suppose 0 = 2*p + m, a - 5*p - 60 = -a. Is a a multiple of 9?
False
Suppose o - 11 = 120. Is o a multiple of 12?
False
Let b be (-1 + 2 + -1)/(-1). Let p = 6 + -3. Suppose 57 = -b*g + p*g. Does 6 divide g?
False
Suppose 5*x + 33 = 13. Is 7 a factor of ((-2)/x*14)/1?
True
Let k(l) = 20*l + 2. Let q(z) = -60*z - 5. Let a(h) = -8*k(h) - 3*q(h). Let o be a(-1). Is o*(-1 + (-4)/(-6)) a multiple of 4?
False
Let d = 873 + -553. Is 67 a factor of d?
False
Suppose -7*f + 610 + 888 = 0. Is 15 a factor of f?
False
Suppose -68 + 2 = -4*s - 5*g, g = -3*s + 44. Suppose -t - t + s = 0. Is t a multiple of 4?
False
Let d = -190 - -285. Is d a multiple of 33?
False
Let o(i) be the second derivative of -5*i**3/6 - i**2 + i. Is o(-11) a multiple of 23?
False
Let g(n) = -n + 61. Let y be g(0). Suppose -3*l + 32 = 3*w - y, 0 = -5*w - 3*l + 147. Does 9 divide w?
True
Suppose -3*k + 4*u = -2*k - 43, 2*u + 200 = 4*k. Is k a multiple of 12?
False
Let j(g) = g**3 - g + 3. Let a be j(3). Suppose 0 = 3*n - 189 + a. Is 27 a factor of n?
True
Let q(l) = -2*l - 10*l - 3*l - 19*l. Let n be q(-1). Let h = -18 + n. Is 16 a factor of h?
True
Suppose 0 = -4*h + 7 + 5. Let i be -9*h/9*-1. Suppose -i*z + 1 = -41. Does 5 divide z?
False
Suppose -5 = -c, z + 3*c = 30 + 35. Does 17 divide z?
False
Let n(i) = i**3 - 4*i**2 - 4*i - 1. Let f be n(5). Let o be (8/(-6))/(10/(-15)). Suppose -26 = -f*j - o*r, -2*r = -2*j + 3*j - 8. Is 3 a factor of j?
True
Suppose 2*k + l = -3*k + 44, 2*k + 3*l = 15. Is k even?
False
Let p(w) = w**3 + 7*w**2 - 3*w - 5. Let q = 1 + 2. Suppose 2*c + 19 = -q*l + c, -4*l = -3*c + 34. Is 8 a factor of p(l)?
True
Let s = -113 + 221. Is s a multiple of 27?
True
Let s(w) = w**3 - 9*w**2 - 11*w + 15. Let h be s(10). Let j(r) = r - 5*r + h*r + 3. Does 6 divide j(9)?
True
Let t be (-1 - 4)*18/(-10). Let s = t + -4. Is s a multiple of 5?
True
Is 27 a factor of (-1713)/(-18) + (-1)/6?
False
Let r(b) = b**3 + 13*b**2 - 2*b + 5. Is r(-13) a multiple of 3?
False
Let m(w) = -3*w. Let d be m(-1). Suppose -3*x = -3*n + 15, -2 = -5*x + 8. Let p = n - d. Is 4 a factor of p?
True
Suppose x + 2*x = 0. Let u(a) be the third derivative of -a**4/24 + 7*a**3/3 - a**2. Is 7 a factor of u(x)?
True
Let h = 11 - -9. Does 20 divide h?
True
Suppose 0 = 16*f - 19*f + 372. Does 26 divide f?
False
Let a = 389 + -123. Does 19 divide a?
True
Suppose -2*f + f = 4*q - 175, 0 = -2*f - 2. Is q a multiple of 5?
False
Let l(h) = -h**3 - 4*h**2 - 5*h - 3. Let r be l(-3). Suppose k = -r*k + 108. Is k a multiple of 16?
False
Does 4 divide (88/(-5))/(-2)*5?
True
Let q = 20 - 8. Let p = q - -3. Does 5 divide p?
True
Suppose -3*h + 5*z - 335 = -8*h, -3*h + 197 = z. Does 13 divide h?
True
Is 45/(-2)*(8 - (-470)/(-25)) a multiple of 27?
True
Is 15 a factor of (2 + -3)*120/(-2)?
True
Let r(o) = 31*o**2 - 1. Suppose -2*b - 4*m = -0 - 2, 5*m = -5*b + 10. Suppose -k - 2*s - 4 = 3*s, 0 = -b*s - 3. Is 15 a factor of r(k)?
True
Let z = 54 - -14. Is 12 a factor of 1/(3 - 200/z)?
False
Let m(i) = 3*i**3 + 10*i**2 + 2*i + 8. Let w(c) = 10*c**3 + 31*c**2 + 6*c + 25. Let j(x) = 7*m(x) - 2*w(x). Does 22 divide j(-6)?
True
Let d be (3/(-12))/(2/(-40)). Suppose j = d*j - 128. Is j a multiple of 16?
True
Let d(a) = a + 13. Let i be d(-4). Let n(t) = 3*t - 1. Is 12 a factor of n(i)?
False
Let l be -15 - (0 + -1) - -2. Let t = -21 - l. Let s = t + 20. Does 11 divide s?
True
Let t be (-1 - 2) + (64 - 1). Suppose t = -h + 4*h. Is h a multiple of 10?
True
Suppos