 Suppose 0 = 4*g - v + y*v + 12, 3*g + 2 = -2*v. Is 13 a factor of (-2)/g + (5 - -32)?
False
Let w(d) = -d + 1. Let g(h) = -h**3 - 7*h**2 + 7. Let a(j) = g(j) + w(j). Is 15 a factor of a(-7)?
True
Suppose 2*b = -4*w + 4, 4*w - 28 = b + 3*b. Is 12 a factor of b/6 - (-959)/21?
False
Suppose 2*k + 0 = -2. Let y = 3 + k. Suppose 2*j = -5*m - 2*j + 58, y*m = -4*j + 16. Is 14 a factor of m?
True
Suppose 14*a - 5376 = -10*a. Is 32 a factor of a?
True
Let k(f) = -f**3 + 5*f**2 - 5*f + 6. Let w be k(4). Suppose -10 = -w*s + 8. Is 2 a factor of s?
False
Let z(v) = 2*v**2 - v + 4. Let f = -16 + 10. Let x be z(f). Let w = x - 59. Is w a multiple of 10?
False
Let f(c) be the first derivative of 3*c**2/2 + 1. Let x be (-1 - 1) + (-10)/(-1). Is f(x) a multiple of 8?
True
Let w(n) = n**2 + 7*n + 8. Let h be w(-6). Let k(c) = 12*c + 1. Let t be k(h). Let b = t - 17. Is 3 a factor of b?
False
Let q(z) = -2*z**3 - 4*z**2 - 5*z - 1. Let p(u) = -2*u**3 - 4*u**2 - 6*u. Let t(r) = 3*p(r) - 4*q(r). Let b be t(-3). Let d = b + 43. Is 7 a factor of d?
False
Suppose -6*x + 433 = 127. Is x a multiple of 13?
False
Let i be (-637)/9 + (-8)/36. Let z = 124 + i. Is 22 a factor of z?
False
Suppose 2046 = 12*z - z. Is z a multiple of 6?
True
Suppose -2*f + 90 = -3*x + 5*x, 2*x - 4*f - 120 = 0. Is x a multiple of 5?
True
Does 18 divide 17 + -1 + 6 + -4?
True
Let v(w) = -2*w**3 - 5*w**2 + 2*w - 5. Let p be v(-4). Suppose -d - 10 = -3*r, 2*r - 3*d = 6*r - p. Does 5 divide r?
True
Let d = 37 - 17. Suppose 4*g - 132 = -d. Is g a multiple of 14?
True
Let n(t) = t**3 - t**2 - 4*t - 7. Is 21 a factor of n(4)?
False
Let q be 4*2/4 - -2. Let r(c) = c**3 - 2*c**2 - 4*c + 1. Does 5 divide r(q)?
False
Suppose 212 = 5*u + 3*m, -u - 8 = m - 52. Let h = u + -9. Does 11 divide h?
False
Suppose 3*r - 4*h - 432 = r, -h = 2*r - 427. Suppose 3*x - r + 9 = -5*p, -215 = -5*p - 5*x. Is p a multiple of 19?
True
Let a be (7/((-21)/(-24)))/1. Let b = -4 + a. Suppose -4*o + 40 = -b. Does 5 divide o?
False
Suppose 4*q - 20 = -4*f, -6 - 6 = -4*q. Suppose -s - s + f = 0. Let o = s - -2. Does 2 divide o?
False
Suppose 2*s = 4*z - 130, 44 + 66 = 3*z - 4*s. Suppose 5*v + 5*i + 15 = 0, -16 = -2*i - 2*i. Let r = z + v. Is 17 a factor of r?
False
Suppose 3*f - 6*f + 6 = -3*p, -3*f + p + 14 = 0. Is 3 a factor of f?
True
Is 7 a factor of (-12)/30 + 3*(-482)/(-15)?
False
Let z(v) = -2*v + 1. Let u be z(-5). Let y = u + 2. Is y a multiple of 13?
True
Let x(a) = a**3 - 3*a + 2. Let y be x(2). Does 8 divide y/(-3)*(-13 + 7)?
True
Suppose -3*c = -o - 187, -3*o = -0*c + 3*c - 207. Does 8 divide c?
True
Let b(t) be the second derivative of 5*t**3/6 - 2*t**2 - 4*t. Does 8 divide b(4)?
True
Let l = -25 - -27. Is 28 - (l + -3 + 5) a multiple of 17?
False
Let l be 3/(2*2/16). Suppose 7 = 2*o + t, 4*t + 8 = 5*o - o. Suppose -l - o = -5*v. Is 3 a factor of v?
True
Suppose -2*a - a + 3*n = 0, -4*a + 2*n = 8. Let v = a + 13. Suppose -1 = q - v. Is 6 a factor of q?
False
Let w(y) = -2 + 4*y - 4*y + 2*y. Let v be w(-2). Is 2 a factor of 18/(-4)*4/v?
False
Is 12 a factor of (-522)/(-8) + 7/(-28)?
False
Let a(z) = -z + 1. Let t be a(-4). Suppose t = -j - 6. Let w = 21 + j. Is w a multiple of 5?
True
Let r(j) = j**2 - j + 3. Let k be r(0). Suppose -14 - 1 = -k*n. Suppose 2*v = -s + 24, n*s - 3*v = -v + 144. Does 8 divide s?
False
Let q be 2 + (3 - 2)*1. Suppose -q*v = -7*v + 32. Suppose v*g - 230 = 3*g. Is g a multiple of 21?
False
Let n = -18 + 46. Does 14 divide n?
True
Let f = 65 - 33. Does 3 divide f?
False
Suppose -3*l = 3*f + 3, -f - 8 + 2 = -4*l. Let u be 2 + (-3 - l)*-19. Suppose -5*x + u = 4*h - 60, 2*x + h - 57 = 0. Is 11 a factor of x?
False
Let m(n) = n**2 - 3*n + 1. Let v be m(10). Suppose -v = -3*h + 79. Is 25 a factor of h?
True
Suppose -c + 157 = -4*t, -t + 5*t + 154 = 2*c. Is 4 a factor of (-48)/20*t/6?
True
Suppose -2*v - 3 - 3 = 0. Let g(h) = -11*h - 1. Is g(v) a multiple of 16?
True
Suppose 3*i - 7*w = -2*w, 2*i + 4*w = 0. Let n be -1 - i - 4/(-2). Is (24/(-2)*-1)/n a multiple of 6?
True
Let u = 122 + -58. Does 32 divide u?
True
Let f(h) = 3*h**2 + 22*h - 2. Is f(-14) a multiple of 20?
False
Let u be (-2)/3 - (-24)/9. Suppose 0 = 3*v - 7 + 1. Suppose -3*j + v*y = u, 2*j - j - 2*y + 6 = 0. Does 2 divide j?
True
Does 14 divide ((-4)/(-5))/(14/245)?
True
Let t(z) be the second derivative of -z**4/3 + z**3/3 - z**2/2 + 2*z. Let x be t(-2). Let i = 37 + x. Is 8 a factor of i?
True
Let s(v) = -6*v + 11*v**2 + v**3 - 2*v + 2*v. Let b be s(-8). Is (-4)/14 - b/(-56) a multiple of 3?
False
Suppose -2*t - t = 3*d - 174, 4*d - 5*t = 187. Suppose -o + 2*q + 44 = 0, -d = -3*o + 5*q + 74. Does 8 divide o?
False
Let c = -9 - -19. Is 5 a factor of c?
True
Suppose -21 + 1 = 5*x. Let a = 17 + x. Is 4 a factor of a?
False
Let f = 1 + 179. Is 36 a factor of f?
True
Let d = 13 + -8. Suppose 4*c = -5*p + 52, 3*c - d*p = -0*c + 74. Does 9 divide c?
True
Let d(i) = i**3 - 8*i**2 + 2*i - 3. Is 11 a factor of d(8)?
False
Let l(g) = 7*g**2 - 1. Let p(c) = 28*c**2 + c - 4. Let b(m) = 9*l(m) - 2*p(m). Suppose -7*y = -2*y - 10. Is 23 a factor of b(y)?
True
Let b(n) = 19*n. Let v be b(-1). Let i = -9 - v. Suppose -2*m = 5*y - 4*m - i, -2*y = -m - 4. Is 2 a factor of y?
True
Let j = 24 + -22. Suppose -j*y + 20 = -y. Does 8 divide y?
False
Is 970/11 + (-18)/99 a multiple of 30?
False
Suppose -55 = -21*h + 16*h. Does 11 divide h?
True
Let m be 3*1*(-24)/(-9). Let i(x) = -5*x**2 + 3*x**2 - 12 + 11*x + x**2. Does 6 divide i(m)?
True
Let y = -158 + 320. Is y a multiple of 27?
True
Suppose -4 = -5*o - 4*f, -3*o = -f - 4*f + 5. Suppose -i + 0 + 4 = o. Is i even?
True
Suppose -2*x - 20 = -6*x. Suppose 120 = -h + x*h. Is 10 a factor of h?
True
Suppose 15 = 3*u + 2*u. Suppose 2*f - 15 = -u*f. Suppose -4*t + 124 = 4*h, -2*t + f*h = -0*h - 82. Is t a multiple of 13?
False
Let m = -7 + 4. Is (-1)/m*(-1 - -16) even?
False
Let d be (-6 - -5) + (4 - -1). Does 12 divide (186/12)/(2/d)?
False
Suppose 303 + 17 = 5*a. Does 16 divide a?
True
Let c = -5 - -7. Suppose 0 = -c*u + 12. Is (-396)/(-16) + u/(-8) a multiple of 8?
True
Suppose 0*i = -i + 1. Let n be 37 + -2 - (4 - i). Let y = 48 - n. Does 16 divide y?
True
Let p be -1*(-24 - (3 + 0)). Does 4 divide (0 - p/6)*-2?
False
Let p be (-8)/(-4) - (9 + 0). Suppose -3*j + 33 = -0*j. Let o = j + p. Is 4 a factor of o?
True
Suppose 0 = -4*k + 8*k - 204. Is 17 a factor of k?
True
Let q = 29 - -16. Does 11 divide q?
False
Suppose 250 = 12*i - 554. Is i a multiple of 7?
False
Suppose 0 = 23*w - 18*w - 160. Does 32 divide w?
True
Suppose -3*v + v = 4*t - 40, t = -4*v + 24. Let y = -5 + t. Suppose 0 = -4*c + 4*l + 68, 0 = -4*c + l - y*l + 62. Is c a multiple of 6?
False
Suppose d + 17 = -3*w - w, 3*w = -4*d - 29. Let k = d + 13. Let h = 3 + k. Is 8 a factor of h?
False
Let k = -74 - -135. Let o = k - 7. Is o a multiple of 20?
False
Let h(k) = -k**3 + 3*k**2 + 4*k. Let c be h(4). Suppose 4*v + c = 176. Is 16 a factor of v?
False
Let k(b) = -8*b. Let w be k(-4). Let g = -21 + w. Is 11 a factor of g?
True
Suppose -4 = -3*i + 2. Suppose i*v = -7 + 15. Suppose -c = -1, v*c = -2*q + q + 21. Is q a multiple of 7?
False
Suppose -2*i + 78 = i. Let h be (-2)/(-13) + (-162)/39 + 4. Suppose h = a - 2*a + i. Does 8 divide a?
False
Let f = 42 + -36. Does 3 divide f?
True
Does 16 divide 2*(-3)/6*-25?
False
Let n(k) = 2*k - 1. Let o be n(-2). Let r be o/1 - (1 + -2). Let q(w) = w**2 - w - 1. Is 7 a factor of q(r)?
False
Suppose -3*h - h = -16. Suppose -6*o + 5*o - 9 = -h*w, -3*o = -2*w - 3. Is 4 a factor of 2/5*60/o?
True
Suppose 0 = -s + 4*s + 45. Let u = -3 - s. Is u a multiple of 6?
True
Let l = -76 - -93. Is l a multiple of 2?
False
Is 2 a factor of 1 + 5/(-15)*-33?
True
Suppose s - 1 = 3. Suppose 2*i + 9*b = 4*b + 80, 0 = -2*b - s. Is 12 a factor of i?
False
Does 23 divide (74/(-2 - -1))/(-1)?
False
Let n(k) = k. Let i be n(3). Suppose -i*g = -117 - 135. Suppose -46 = -5*q + g. Does 13 divide q?
True
Suppose 9*g = 8*g + 2. Suppose 3*k - 4 = -g*l, -4*l = -2*l - 5*k - 20. Does 3 divide l?
False
Let i(u) = u**2 + 11. Let y be i(9). Is 11 a factor of (-4)/10 - y/(-5)?
False
Let q(x) be the third derivative of x**5/60 + x**3/2 - 2*x**2. Let i be q(0). Suppose i*h - 19 - 17 = 0. Is h a multiple of 6?
True
Let q = 237 + -149. Suppose 3 = l