3*k - 4*k**2 - 7*k + 4*k**2 + 5*k**2 - 1. Let n be g(4). Let x = n + -42. Is 21 a factor of x?
True
Does 4 divide ((-4)/5)/((-21)/1155)?
True
Let n(y) = -4*y + 1. Does 19 divide n(-8)?
False
Suppose 5*u + 4*i = 19, 0 = -5*u + 4*i + 13 - 2. Suppose 5*f = u*g - 8, 2*f + 0 = -3*g + 1. Is (18/(-4))/(g/(-8)) a multiple of 18?
True
Let z = 3 - -62. Suppose 10 = -5*w - z. Is (12/w)/((-2)/15) a multiple of 6?
True
Suppose 0 = -f - 5*s + 59, 0 = -2*f - 0*f + s + 63. Suppose -5*j = 5*i - 95, -j + 0*i = 4*i - f. Suppose 2*l - j - 4 = 0. Is l a multiple of 9?
True
Let a(w) = -w - 8. Let f be a(-8). Suppose 0 = -f*z - 5*z. Suppose -v = -z*v - 16. Is v a multiple of 8?
True
Let z(c) = c**3 + 8*c**2 + 3*c. Does 16 divide z(-4)?
False
Let s be 276/20 - (-3)/15. Let d = s + 27. Is d a multiple of 18?
False
Let p(l) = -4*l**2 + 3*l**2 - 9 - 4 + 11*l. Let c be p(9). Suppose 3*o + 4*m - 24 = -o, 2 = -2*o + c*m. Does 4 divide o?
True
Suppose -2*l + 7*l - 120 = 0. Does 6 divide l?
True
Let u(a) = -5*a + 6. Is 23 a factor of u(-8)?
True
Suppose 3*w - 2*u = 170, -4*w + 3*u = -2*w - 110. Is 18 a factor of w?
False
Let j = 172 - -127. Is j a multiple of 13?
True
Let o = -11 - -48. Suppose -4*q + 4*d = -84, 0 = -3*q + 5*d + 36 + o. Is q a multiple of 8?
True
Suppose 6*g + 87 = 3*g. Let q = 45 + g. Is q a multiple of 15?
False
Suppose 0 = -4*h + h + 2*w, 0 = w + 3. Is h*3/6*-31 a multiple of 9?
False
Let m = 159 + -98. Let f = -41 + m. Does 10 divide f?
True
Suppose -66 + 254 = 2*k. Is k a multiple of 8?
False
Is (67 + 1)*7/14 a multiple of 17?
True
Suppose -6*c = -3*c. Suppose 4*g = -2*w - 4 - c, -g - w - 1 = 0. Is 6 a factor of g + (1 - 0) + 6?
True
Let h = 18 + -16. Suppose 0 = 4*y - 3*t + 32 - 110, h*y - 44 = -t. Does 15 divide y?
False
Is 22 a factor of 313/4 - (-6)/(-24)?
False
Let x(f) = -f**3 + 7*f**2 - 2*f - 3. Suppose 4*c + j + 7 = 40, -2*c + 39 = 5*j. Let r = -4 + c. Is x(r) a multiple of 15?
False
Let w = -10 - -9. Does 21 divide w/((12/183)/(-4))?
False
Let v be ((-3)/2)/((-2)/20). Suppose -b - v = 5*d, -6 = -5*d + 3*b - 1. Does 15 divide -1 + (d + 2 - -17)?
False
Let c be 60 + 2*(-2 + 1). Let v = c + -39. Is v a multiple of 7?
False
Let s = 26 - -16. Does 21 divide s?
True
Suppose 4*z = 3*c - 183 + 14, 0 = -2*z - 8. Is 26 a factor of c?
False
Let s(y) = 3*y - 12. Is s(7) a multiple of 3?
True
Suppose 0 = -3*s - 12, -s = 2*c + c - 101. Is 7 a factor of c?
True
Let p = -211 - -111. Does 10 divide (1/2)/((-5)/p)?
True
Suppose 4*z = 5*f + 3*z - 18, 5*f - 4*z - 27 = 0. Suppose g + f*g = 136. Does 15 divide g?
False
Let a = 12 + -21. Let l(g) = 4*g**2 - 3*g + 5. Let h be l(-5). Is a/(-2)*h/18 a multiple of 10?
True
Suppose -36 = -l + 41. Does 22 divide l?
False
Let a = -32 + 83. Is 18 a factor of a?
False
Let y(g) be the third derivative of g**4/24 - 2*g**3/3 + g**2. Let d be y(4). Suppose 2*m + 12 - 32 = d. Is m a multiple of 10?
True
Let f(i) = i - 3. Let g be f(6). Suppose -2*z = -g*z + 25. Suppose 3*l = m + 11, -l = -6*l + z. Is m a multiple of 4?
True
Let v = 58 + -45. Does 3 divide v?
False
Let r be (5/1)/((-2)/(-30)). Suppose d - 22 = 3*w - r, -2*d + 81 = 5*w. Is w a multiple of 17?
True
Suppose q - 34 = -12. Does 12 divide q?
False
Let s(a) = a**3 - 9*a**2 + 9*a - 6. Let h be s(8). Suppose 2*i + h*m - 44 = 0, 2*i - 5*m + m = 50. Does 18 divide i?
False
Suppose 4*c = z + 6, 2*c + z = 3*z. Suppose c*o = -0*o + 8. Suppose -2*s = -48 - o. Does 10 divide s?
False
Is 16 a factor of 484/30 + 4/(-30)?
True
Let v(d) = -d**2 - 6*d - 5. Let b be v(-5). Let m be (0 + 0 + b)/1. Suppose m = 4*u + 2*g - 130, g = -4*u - 2*g + 131. Is 16 a factor of u?
True
Suppose 0*m - 216 = -4*m. Suppose 4*s = -5*q + m, -4*q - 3*s = -2*q - 23. Is 7 a factor of q?
False
Let r(x) = -x**3 + 4*x**2 + 2. Let z = -9 - -12. Does 11 divide r(z)?
True
Let k = -3 + 8. Suppose 36 = h + c - 0*c, 20 = -k*c. Is h a multiple of 13?
False
Is 32 a factor of 9/(18/68)*3?
False
Let z(c) = -c + 2. Let s be z(7). Let t = -1 - s. Suppose 7*q = 4*q + t*x + 44, 5*x - 40 = -q. Does 10 divide q?
True
Let x be -9*((-4)/(-12) + 0). Let t = x + 17. Does 14 divide t?
True
Let z be (-1)/(1 - (-9)/(-12)). Let h be (z + -1)/1*-4. Suppose 2*i = i + h. Is 8 a factor of i?
False
Let q be (-3 + -1)*(-2)/4. Suppose -4*i - 20 - 1 = b, 0 = q*i + 4*b. Let u(p) = -p**2 - 8*p - 2. Does 10 divide u(i)?
True
Let h(x) = -4*x - 12. Is h(-6) even?
True
Let r be (-2 - -1)*(-6)/2. Suppose r*w - 8 = 2*w. Is w a multiple of 3?
False
Let d = -96 + 159. Is 6 a factor of d?
False
Let d = 14 + -24. Let v(b) = -4*b + 8. Let o be v(d). Let u = -32 + o. Does 12 divide u?
False
Let y(z) = -2 - 6*z + z + 1 + 3*z. Let c be y(-2). Suppose 0 = 3*i, -i - 150 = -3*x - c*i. Is x a multiple of 15?
False
Let g = 170 - -246. Does 32 divide g?
True
Is 17 a factor of 0 + -2 + 66 + 1?
False
Let g(q) = 3*q + 69. Is g(19) a multiple of 21?
True
Suppose -5 = -4*d + 7. Suppose -5*y - h - 3*h + 39 = 0, -d*y + 21 = 3*h. Is 5 a factor of y?
False
Let f = 1 + 1. Suppose f*w - 39 = -w. Is 11 a factor of w?
False
Suppose 2*l - 3*l + 110 = 0. Is l a multiple of 22?
True
Let q(c) = c + 4. Let j be q(-3). Let o = 2 - j. Is 0 + 0 + (o - -2) a multiple of 2?
False
Let f be -1*(0 + -3)/1. Suppose -2*s - h = -13 - 54, f*h - 102 = -3*s. Does 12 divide s?
False
Is (-2524)/(-16) - 3/(-12) a multiple of 37?
False
Suppose 2 + 23 = 5*w. Suppose 3 = w*h + 8. Let s(l) = 40*l**2. Does 20 divide s(h)?
True
Suppose 0*t + r = -3*t + 86, -2*r + 118 = 4*t. Is 27 a factor of t?
True
Suppose 3 = -2*f - 1. Let c be (-4)/(-8)*(-348)/f. Let o = -45 + c. Is 14 a factor of o?
True
Suppose -4*w = -2*w - 44. Suppose -x = -2*x + w. Does 16 divide x?
False
Suppose 40 = -0*z - 5*z. Suppose 5*n = 4*s + 710, n + 0*s - 142 = -2*s. Is z/12 - n/(-6) a multiple of 6?
False
Let z(j) = -j**3 + 8*j**2 + 11*j - 9. Let i = -10 + 19. Is 3 a factor of z(i)?
True
Let k = -4 + 9. Suppose -k*s - 7 + 2 = 0. Does 10 divide -3 + -13*(s + 0)?
True
Let z = 2 + 13. Does 5 divide z?
True
Let v = -39 + 69. Is 10 a factor of v?
True
Let f(v) = 3*v + 3. Let k = -2 + 9. Does 12 divide f(k)?
True
Let d(k) be the first derivative of 2*k**3/3 - k**2/2 + 6*k + 6. Is d(-3) a multiple of 8?
False
Suppose 8*t - 23 = 233. Is t a multiple of 8?
True
Suppose 5 = q - 7. Let j = q - 7. Let b = 11 + j. Does 8 divide b?
True
Let p = -38 + 144. Does 7 divide p?
False
Suppose -5*n + n - 206 = 3*r, 2*n = r - 108. Let v = 28 - -77. Let j = n + v. Does 17 divide j?
False
Suppose -7*c + 6*c = -76. Does 7 divide c?
False
Suppose -2*w - w + 15 = 0. Suppose w*c - 13 - 32 = 0. Does 9 divide c?
True
Suppose 4*l - 3*l = 0. Let v be 0*(l + 1/(-2)). Let u(x) = x**3 - x**2 + x + 16. Is 6 a factor of u(v)?
False
Let h be -2*2/(-8)*-16. Let i = h - -2. Let p(x) = -x + 5. Does 11 divide p(i)?
True
Let t = -22 - -40. Is 6 a factor of t?
True
Does 22 divide 2/(26/2303) - 26/169?
False
Suppose 0 = -7*s + 3*s + 52. Is 3 a factor of s?
False
Suppose -14 = -4*s - 2*j, -3*s + s + 3 = 5*j. Suppose k + 1 = s. Does 2 divide k?
False
Suppose 5 = x - 0*x. Suppose -x*v + 0*v = -200. Does 20 divide v?
True
Suppose m = -3*m. Let g(a) = -a**3 + a + 25. Does 10 divide g(m)?
False
Suppose 2*m = -4*h + 32, 0*h = -4*h - 16. Let g be m/16*16/6. Suppose -g*c = o - 13, 2*c - 29 = -3*o - 0*c. Is o a multiple of 9?
True
Suppose -2*x = -10, 3*x - 35 = -2*j - 0*j. Is 5 a factor of j?
True
Let u = -15 + 35. Suppose 2*x + 3*x + 5*o - 180 = 0, 4*o = -u. Is x a multiple of 27?
False
Is (-6)/2 + (5 - (-4 + 4)) a multiple of 2?
True
Let x be -7*(-161 + -2 + 1). Let g be x/15 + 2/5. Suppose 0*v + 184 = 5*v - c, -2*v - 2*c + g = 0. Does 13 divide v?
False
Suppose -3*n - n = -120. Is n a multiple of 13?
False
Let y be (4 - 4) + 4 + 0. Suppose 0 = 4*f + 8 + y, -3*u - f = -33. Is u a multiple of 4?
True
Suppose 2 = t - 1. Let k(h) = h**2 - 2*h. Let n be k(t). Suppose 0 = -4*a + p + 70, -n*a + 19 = -2*a - p. Is 6 a factor of a?
False
Let p(c) = c**3 - 27*c**2 + 8*c + 24. Is 10 a factor of p(27)?
True
Is 10 a factor of ((-128)/12)/((-2)/3)?
False
Let j be 2/(11/3 - 3). Suppose -j*s + 95 = -37. Is s a multiple of 22?
True
Let q(n) be the third derivative of -n**5/60 + 13*n**4/24 + 7*n**3/3 + 2*n**2. Is 12 a factor of q(11)?
True
Let l(k) = -k - 2. Let v be l(-3). Let q(m) = 28*m - 1. Let h be