x(i) = i**3 + 5*i**2 + 1. Let w be 2 + -3 + 1 + 23. Suppose 0*m - 5*l = -m - w, -m - 3*l + 9 = 0. Does 12 divide x(m)?
False
Let b = 0 + 45. Does 8 divide b?
False
Suppose -5*s + 140 + 140 = 0. Is s a multiple of 28?
True
Let s(m) = m**3 - 12*m**2 - 13*m + 9. Let x be s(13). Suppose 0 = -x*u + 4*u + 385. Does 21 divide u?
False
Does 9 divide (180/(-50))/(-2*1/5)?
True
Let c(d) be the first derivative of 4*d**2 - 6 + 2*d + 3 - d**2. Does 14 divide c(2)?
True
Let y(t) = t + 13. Let m be -2 + 0 + 1 + -10. Let s be y(m). Let w = s + 2. Does 2 divide w?
True
Let f(l) = -4*l. Let g be -16 + 3/6*2. Let i be 25/g - 2/6. Is 5 a factor of f(i)?
False
Let y(j) = 2*j**2 + 7*j + 8. Let x be y(-4). Does 13 divide 783/x - (-1)/(-4)?
True
Let w(a) = a**2 - 7*a - 4. Let l be w(8). Let j(z) = 2*z + 7. Is 15 a factor of j(l)?
True
Suppose 4*t + 2*k + 0*k - 6 = 0, 0 = -5*t - 3*k + 7. Suppose -6*m + t*m = -4*w - 8, -m - 3*w = -14. Is m a multiple of 5?
True
Let h = 54 + -35. Is h a multiple of 2?
False
Suppose 4*r + 0*i - 114 = -i, 2*r + 3*i = 62. Does 27 divide r?
False
Let c(n) = -n**3 - 6*n**2 - 6*n + 4. Does 8 divide c(-5)?
False
Let w = 49 - 13. Is w a multiple of 10?
False
Is 3 a factor of (-3 + 4 - 2)/((-2)/46)?
False
Is 8 a factor of (-4)/5 + 656/20?
True
Suppose -3*s = -31 - 134. Is 5 a factor of s?
True
Suppose 0 = 2*l + j + 14, -5*j = -10*l + 5*l - 5. Let f = 1 - l. Is f even?
True
Suppose -5*o + 3*d + 226 = 0, o + 0*o - 46 = d. Is 4 a factor of o?
True
Suppose 10*a - 1194 = 7*a + 3*g, 2*a - 4*g - 788 = 0. Does 31 divide a?
False
Let z(t) be the third derivative of -29*t**4/24 + t**3/2 - 2*t**2. Let f be z(4). Does 11 divide f/(-4) + (-2)/8?
False
Let l be 0 - -5 - (-2)/(-2). Suppose -u + l*u = 0. Suppose 5*f - 25 - 150 = u. Is f a multiple of 12?
False
Let y = -6 + 4. Let o be y/(-4)*2*4. Suppose 0 = -o*h + 2*h + 30. Does 15 divide h?
True
Suppose -q + 59 = -0*q + 4*y, q - 2*y = 29. Let g = q + 9. Is g a multiple of 24?
True
Suppose 0*d + 5*f - 43 = -4*d, -49 = -4*d + f. Suppose -t + 3*g = -5, -t = -2*g - d + 2. Is 9 a factor of t?
False
Suppose 3*y - 4*s - 116 = 179, -4*s + 77 = y. Is 31 a factor of y?
True
Let z be (4/3)/(2/6). Suppose z*x - 2*u = -20, -5*u - 10 = 4*x + x. Is 7 a factor of -2 + x/((-4)/23)?
True
Suppose -21*z = -16*z - 130. Is 13 a factor of z?
True
Is 18 a factor of -11 - -87 - (1 - -1)?
False
Let l(a) = 33*a**2. Suppose -13*z - 4 = -9*z. Does 16 divide l(z)?
False
Suppose a - 6 = -a. Let s = a + 11. Is s a multiple of 4?
False
Let h(g) = -g**3 + 2*g**2 - g + 7. Let m be 11/(-3) + 10/15. Is 11 a factor of h(m)?
True
Let h be ((-18)/(-4) - 3)*2. Suppose 0 = 5*x + 15, 3*y - h*x + 0 + 9 = 0. Let a(d) = -d**3 - 7*d**2 - 8*d - 2. Is 10 a factor of a(y)?
True
Suppose 0 = d - 4 - 10. Let o(y) = -y**3 + 13*y**2 + 16*y - 9. Is o(d) a multiple of 12?
False
Let c(u) = -u**2 + 13*u - 6. Let n(r) = -r - 3. Let y be n(-6). Suppose -5*w + y*d + 34 = 4*d, w + 5*d = 26. Does 17 divide c(w)?
False
Let x be (16/(-40))/(1/(-10)). Suppose -k + x*k = 90. Does 13 divide k?
False
Suppose -5*c + 9 = -2*c. Does 3 divide c?
True
Let z(c) = -c**3 + 5*c**2 - 5*c - 2. Let q be z(4). Let h(x) = x**2 + 2*x - 4. Does 10 divide h(q)?
True
Suppose -3*u + 7*u + 4*t - 196 = 0, -4*t = 3*u - 145. Let z = -19 + u. Is z a multiple of 16?
True
Suppose p - 5*p + 380 = 0. Is 19 a factor of p?
True
Suppose 0 = v - 5*v + 240. Does 10 divide v?
True
Suppose -6*h + 3*h + 30 = -2*q, -4*q = 5*h - 72. Does 7 divide h?
False
Let k = -2 + 7. Suppose -k*a - 4*h = -6, 5*a + 0*h - 5 = -5*h. Suppose -86 = -2*d + a*o, -4*d - 2*o + 154 = 3*o. Is 12 a factor of d?
False
Suppose 0 = 5*c - 671 + 261. Let p = 56 - c. Is (-6)/(-15) + p/(-10) a multiple of 2?
False
Is 1 + ((-25)/4)/(7/(-168)) a multiple of 8?
False
Let j = -9 - -19. Let d be 194/10 + (-4)/j. Suppose -3*g + 4*y + d = 0, -1 - 4 = 5*y. Is 5 a factor of g?
True
Let q(m) = 3*m**3 - 3*m**2 + 3*m. Is q(2) a multiple of 4?
False
Let v = 2 + 1. Suppose -v*p = -4*p - 4*h + 8, 0 = -4*h + 8. Suppose 4*o + 2 - 54 = p. Is o a multiple of 13?
True
Let l = 1 + 16. Let t = l - -7. Is 24 a factor of t?
True
Let o = -91 + 162. Is 16 a factor of o?
False
Let l be (7 - 1) + (-2 - 0). Let v(j) = -4*j - 18. Let n be v(-12). Suppose 5*q + 81 = l*h + 4*q, 3*q - n = -h. Is h a multiple of 17?
False
Let x = -10 + 13. Suppose 0 = -x*r - 55 + 208. Does 16 divide r?
False
Let t = -1 + 6. Suppose 4*s - 243 - 9 = 0. Suppose 3*h - h - s = 3*q, -t*q = -h + 49. Is 13 a factor of h?
False
Let d be -1*2/1 + 4. Is (0 + d/8)*28 a multiple of 4?
False
Let x(g) = 35*g**3 - g - 1. Let n be x(-1). Let s = -156 - -103. Let z = n - s. Does 9 divide z?
True
Does 18 divide 6/(-18) + 434/6?
True
Let i = 4 - 4. Let p be (-4)/4 + (5 - i). Suppose -50 = -p*c - c. Does 9 divide c?
False
Let r be 6/((-8)/(-4))*1. Suppose r*h - h = 54. Is 9 a factor of h?
True
Suppose -27 = -3*l + 2*g, -4*l + 3*g - g = -38. Does 2 divide l?
False
Let x = 22 - 46. Let c = x + 42. Does 10 divide c?
False
Let i(m) = m - 6. Let v be i(4). Let p be 2/(-4) - (-45)/v. Let d = p + 43. Is 10 a factor of d?
True
Let s(y) = -17*y**3 + y. Is 11 a factor of s(-1)?
False
Let s(g) = 75*g**2 + 3*g + 4. Does 32 divide s(-1)?
False
Suppose 5*w = -2*y + 154, -4*y = -4*w - 381 + 101. Is 18 a factor of y?
True
Let o be 2 - (0 - (-1)/1). Suppose 2*d - o = -9. Is 7 a factor of 8/(-4 - -2)*d?
False
Suppose 4*c = -2*i - 2, 2*c + 9 = -3*c + 4*i. Let q(t) = t**3 - 3*t**2 - 3*t + 5. Let l be q(4). Let k = l - c. Is k a multiple of 6?
False
Let l(t) = t**2 + t. Let p(q) = 9*q**2 + 4*q + 1. Let z(a) = 3*l(a) - p(a). Let y be z(-1). Is 9 a factor of ((-15)/y)/(1/4)?
False
Let d be 3 + (1 - 5) - -3. Suppose -y + 2 = -d*l, -y - 6*l + 2*l = 10. Is 22 a factor of (-2)/(-2) - (y + -41)?
True
Suppose 4*x - 55 = 33. Is x a multiple of 11?
True
Let w(c) = -3*c**2 - c - 1. Let h be w(-1). Does 5 divide (-6 + 3)*20/h?
True
Suppose -3*i + 140 + 88 = 0. Does 19 divide i?
True
Let z = -18 - -56. Is 10 a factor of z?
False
Let z be 4/2*10/4. Suppose -z*v + 5*g = -0*g - 435, 0 = -2*v - g + 183. Does 16 divide ((-4)/5)/((-3)/v)?
False
Suppose -57 = -4*i + 47. Is 13 a factor of i?
True
Let a = 7 - -17. Is 24 a factor of a?
True
Let m(d) = d**2 - 7*d + 14. Does 10 divide m(10)?
False
Suppose 335 = g - 5*n, -5*g - 353 = 5*n - 2178. Does 15 divide g?
True
Suppose -5*b = -2*r + 19, 7*b + 59 = 4*r + 4*b. Is r a multiple of 6?
False
Let p be (-5 - -10) + (-1 - -1). Suppose 4*x + 140 = p*w, 0 = -0*x + 3*x - 15. Is w a multiple of 15?
False
Suppose 0 = -5*r + k + 10, 5*k + 8 = 2*r - 19. Let j(t) = 1 - 1 + 3*t**2 - 3 + t - r. Is 13 a factor of j(3)?
True
Suppose -2*k = 79 - 19. Let a = -10 - k. Suppose 5*x - 3*j - 10 = 0, -a = -x + 2*x - 5*j. Does 4 divide x?
False
Let m(r) = -1 + 29*r**2 + r + 1. Let x be m(1). Let h = x + -13. Does 15 divide h?
False
Let b be ((-16)/5)/4*-30. Suppose b = 5*q + q. Does 2 divide q?
True
Suppose -8*g + 1 = -7*g. Does 19 divide (g*-8)/((-4)/26)?
False
Let f = 3 + -3. Let d = 2 - f. Suppose -3*t - d*t = -40. Does 4 divide t?
True
Let s = 21 - 18. Does 2 divide s?
False
Suppose -c = 5*c - 402. Is 19 a factor of c?
False
Let p = 11 + 4. Let u = p - -29. Does 18 divide u?
False
Suppose 6 = 2*p + 2. Let j(k) = -6*k**3 + k**2 + 3*k - 6. Let q(w) = 3*w**3 - w**2 - w + 3. Let o(n) = -3*j(n) - 5*q(n). Is 14 a factor of o(p)?
False
Suppose 3*b + 4 = -11, -5*p + 4*b = -30. Suppose p*l + 93 = l. Let j = -61 - l. Does 16 divide j?
True
Let u(k) be the third derivative of -1/120*k**6 - 1/12*k**5 + 0*k**3 + 0*k + 0 - k**2 - 1/6*k**4. Is 10 a factor of u(-5)?
True
Does 20 divide (-1 - (-9)/(-3)) + 87?
False
Suppose -5 - 7 = -q. Does 7 divide q?
False
Let r(z) = z + 2. Let x be r(-1). Let q be -2*(-9)/(-6)*x. Is 1/(3*q/(-45)) a multiple of 5?
True
Suppose 0*b = 3*b + 2*w - 38, 4*b + 3*w - 51 = 0. Let n = 3 + b. Suppose 4*q + q - n = 0. Does 3 divide q?
True
Let j be (-34)/10 - (-12)/(-20). Let d = j - -8. Is 4 a factor of d?
True
Is 19 a factor of (214/5)/((2 - 0)/10)?
False
Let v(q) = -q**3 + 11*q**2 + 15*q - 16. Is v(12) a multiple of 13?
False
Let t(p) = -4*p + 2. Is 9 a factor of t(-3)?
False
Suppose -2*b = 5*d + 320, 2*d - 3*b = 3*d + 77. Let h = d + 97. Is h a multiple of 13?
False
Suppose 3*j = 6*j + 3, -4*u + 3 = 5*j. Does 12 d