- 512. Let n = i + -34. Is n a multiple of 19?
False
Let d(p) = 48*p - 67. Does 10 divide d(11)?
False
Let s be ((-721)/(-21))/(1 + 51/(-54)). Suppose -556 = -3*z - 2*l, -2*l + s = 2*z + 244. Is z a multiple of 20?
False
Let r be 6/15 + 24/15 + -2. Suppose r = -6*s + 205 + 77. Does 2 divide s?
False
Let u = -1 - -1. Suppose 30 = 3*c - 3*d - u, 3*d = 4*c - 35. Suppose -c*x = 5*i - i - 201, 0 = 5*i - 3*x - 205. Is 12 a factor of i?
False
Let h(m) = 193*m**2 + 18*m + 20. Is 46 a factor of h(-4)?
True
Let y(w) = -w + 53. Let s = -33 - -33. Suppose s = 3*d - 4*d. Does 10 divide y(d)?
False
Let m(d) = d**2 + 5*d - 7. Let h be m(-5). Let a(y) = -y**2 + 11*y + 13. Let j be a(h). Let l = 186 + j. Does 12 divide l?
False
Suppose 0 = 3*q + j - 973, j - 3*j - 1314 = -4*q. Let l = -169 + q. Is 24 a factor of l?
False
Suppose 22 + 8 = 3*a. Let s(f) = -f**2 + 9*f + 10. Let p be s(a). Suppose 21 = q + g, p*g - 39 = -2*q + g. Is 10 a factor of q?
True
Let m(b) = -38*b**3 - 2*b**2 + 6*b - 5. Let s(y) = 39*y**3 + 2*y**2 - 5*y + 4. Let o(t) = 5*m(t) + 6*s(t). Is 24 a factor of o(1)?
False
Let j(c) = c**3 - 4*c**2 + 2*c - 6. Let s be j(4). Let g = s - -3. Suppose -g*o = -o - 196. Is 14 a factor of o?
False
Let u be -1 + -1 + (11 - 6) + 169. Suppose -2*x + u = -2*k, 0 = -5*x - 2*k - 3*k + 480. Does 7 divide x?
True
Suppose -6*m + 85 = -725. Is m a multiple of 9?
True
Let u = -957 - -2062. Does 107 divide u?
False
Let y = 324 - 18. Is y a multiple of 9?
True
Let w = -68 + 67. Let t(h) = 136*h**2 - 3*h - 3. Is t(w) a multiple of 16?
False
Suppose 1692 = 25*p + 22*p. Let h = -5 + 12. Suppose -h*s + p = -6*s. Does 9 divide s?
True
Let y(t) = -243*t + 188. Is y(-9) a multiple of 95?
True
Let i(c) = -c - 1. Let t be i(-3). Suppose -t*k = k - 81. Is 9 a factor of k?
True
Suppose y + 4*r = 363, -1092 = -5*y - 2*r + 705. Does 47 divide y?
False
Suppose 22 = -5*v - 2*y, 4*y = -3*v + 2*v - 8. Let z = v + 39. Is z a multiple of 5?
True
Let i be (-195)/(-3) - (-4 - 0). Let b = 159 - i. Is 18 a factor of b?
True
Is (-230)/(-23)*(8/(-10) - -2) a multiple of 3?
True
Let m(f) = -30*f. Let b be m(-1). Suppose -15*q + 14*q + b = 0. Does 30 divide q?
True
Suppose -145 = -5*g + 5*m, 6*g = 2*g + m + 131. Suppose 0 = -d - b - 2*b + 26, -24 = -d - b. Let p = g - d. Does 3 divide p?
False
Suppose 1 + 9 = -10*s. Let m(k) = -17*k - 7. Is m(s) a multiple of 7?
False
Let j(r) = 43*r + 79. Is j(0) even?
False
Suppose -2*k + 652 = -236. Does 12 divide k?
True
Let o(f) be the first derivative of f**4/4 + 14*f**3/3 + 7*f**2 + 19*f - 15. Is o(-13) a multiple of 6?
True
Let h(s) = 326*s - 11. Let m(j) = 217*j - 7. Let r(l) = 5*h(l) - 8*m(l). Does 22 divide r(-1)?
False
Let y(r) = r - 4 + 17 + 9 + 0*r. Does 3 divide y(-14)?
False
Let y(k) = -k**3 + k - 1. Let j(w) = -4*w**3 - 8*w**2 - 3*w + 9. Let s(r) = -j(r) + 3*y(r). Is 4 a factor of s(-6)?
True
Let n be -12*((-2)/18)/((-2)/12). Does 8 divide (n/(-6))/((-23)/(-552))?
True
Let j be (-3 - (-17)/4)*12. Suppose 18*y = j*y + 288. Does 24 divide y?
True
Let c(l) be the third derivative of -l**6/360 + l**5/30 - l**4/8 + 5*l**2. Let n(o) be the second derivative of c(o). Does 12 divide n(-16)?
True
Suppose -3*j = -8*j. Suppose d + j*d - 5 = 0. Suppose -d*a = -9*a + 176. Does 22 divide a?
True
Let l(f) = -f**3 - 2*f**2 + 8*f + 19. Let n be l(-3). Does 34 divide n/(-5)*(19635/(-6))/11?
True
Let i(p) = 96*p + 651. Is i(6) a multiple of 12?
False
Suppose 15 = -5*p + 5, 0 = 5*b + 4*p - 1517. Is b a multiple of 5?
True
Let m = 1954 - 1323. Suppose 0 = 7*y - m - 1805. Let s = y - 244. Is 26 a factor of s?
True
Suppose -5*r + 3*l + 249 = -234, -2*r + 186 = -3*l. Is 7700/r - 4/(-18) a multiple of 26?
True
Suppose 0 = -2*s - 2 + 12. Suppose s*k = -3*b - 13, 0*k + 10 = -2*k. Suppose 0*h = h - b*m - 30, -2*m = -3*h + 90. Is 10 a factor of h?
True
Let a(o) = -o**3 - 5*o**2 + 6*o - 3. Let d be a(-6). Let j(r) = r**2 - 6*r - 2. Let y be j(8). Does 15 divide 1*d*y*-1?
False
Let j be ((-39)/(-9) - 3)*-3. Does 29 divide (j + 112 + -4)*2?
False
Suppose 4*k - 134 = 3*y, -2*k + 5*k = y + 53. Is 21 a factor of 123 + (16/56 - y/14)?
True
Let y(m) = -m**2 - 8*m + 5. Let q be y(-9). Let f = -4 - q. Is 0 - (f + (2 - 47)) a multiple of 14?
False
Let g(z) = 3 + z - 2*z + 0 - z + 21*z**2. Let h = -25 + 27. Is 16 a factor of g(h)?
False
Suppose 0 = 3*w + 5*k - 300, 5*k - 55 = 3*w - 385. Suppose 63*h - 58*h - w = 0. Is h a multiple of 2?
False
Suppose 98 = t + 11. Let m = 174 - t. Is 12 a factor of m?
False
Suppose 4*p + 2*v + 706 = 0, 17 = p + 5*v + 216. Let n be 10*(-10)/25 - 61. Let f = n - p. Is f a multiple of 23?
False
Let w(h) = 5*h**2 + 31*h - 8. Is w(5) a multiple of 68?
True
Let n be ((-8)/12)/((-2242)/(-2238) + -1). Let f = 603 + n. Does 46 divide f?
True
Let l(d) = -d**2 + 15*d - 33. Let a be l(13). Is 14/4*(-100)/a a multiple of 8?
False
Let i be (-1246)/(-6) - (-32)/(-48). Suppose -12*d - i = -1215. Is 21 a factor of d?
True
Suppose 0*o = 2*o - 1114. Suppose 5*l - o = 3*h, -2*l = -3*h - 155 - 66. Is l a multiple of 14?
True
Suppose -4*t + 54 + 238 = 0. Let m = t + -53. Is m a multiple of 2?
True
Suppose 3*l + 55 = -2*j - 0*j, -2*j = 2*l + 38. Let g(d) = d**3 + 18*d**2 + 14*d - 6. Is 15 a factor of g(l)?
True
Let d(q) = -12*q**3 + q + 1. Let f be d(-1). Let y be (-8)/f*-3 + 7. Let b = 16 - y. Is b a multiple of 7?
True
Let x(j) = 32*j + 112. Is x(33) a multiple of 8?
True
Suppose -18*b - 744 + 2292 = 0. Is -3 + 5/(-25) + b/5 a multiple of 10?
False
Let m(q) = -3*q**2 - q. Let t be m(-1). Let y be 38 + (1 - 0)*t. Is 18 a factor of (-12)/((-4)/y*3)?
True
Suppose 168*a + 1178 = 169*a. Does 31 divide a?
True
Let s = 121 + -121. Let u(f) = -f**2 + 101. Is 8 a factor of u(s)?
False
Suppose 28*j + 856 = 2424. Is 7 a factor of j?
True
Let b(o) = o**2 + 10*o - 9. Let d be b(-11). Suppose 2*v = 4*g + 42, 2*g = -d*v + 22 + 14. Let c = 30 - v. Is 9 a factor of c?
False
Suppose 2*w + 3*w - 860 = 0. Let v = w + -117. Is 10 a factor of v?
False
Let l(g) = 4*g**2 + 8*g - 28. Does 19 divide l(-10)?
False
Let w(x) = -x**3 + 2*x**2 + 4*x - 4. Let a be w(-4). Let s = 294 - a. Is 14 a factor of s?
False
Is 752/((-19 + 26)*4/14) a multiple of 4?
True
Let h = -90 - -270. Is 18 a factor of h?
True
Let d(z) be the second derivative of z**4/12 + 7*z**3/6 - 9*z**2 + 34*z. Does 3 divide d(-12)?
True
Suppose 0 = 2*v + 2*v. Suppose -2*o = 3*z - 451, 5*z + 5*o - 101 - 644 = v. Does 17 divide z?
True
Suppose -32 = -4*h - 4*v, -2*h - 2*v = 3*h - 40. Is (h/6)/((-10)/(-615)) a multiple of 36?
False
Let i be 22/(2*1/8). Suppose -r + i = r. Is r a multiple of 11?
True
Let c(s) = -s**3 - 17*s**2 + 15*s + 22. Is 17 a factor of c(-19)?
True
Let a(c) = c**2 + 8*c - 4. Let w be a(-9). Suppose f + 0*f + 84 = w*d, 0 = d + 5*f + 4. Let y = -9 + d. Is 3 a factor of y?
False
Suppose -38*b = -132385 - 27253. Is b a multiple of 13?
False
Let x(v) = 4*v**2 + v + 1. Suppose r + 1 = -0. Let u be x(r). Suppose 100 = u*q + q. Does 20 divide q?
True
Let v be (-3638)/(-6) + 7/(-21). Suppose -2*n = 3*z + n - v, -2*n + 4 = 0. Does 41 divide z?
False
Let g = -74 - -74. Suppose v + 3*c - 1 = g, -3*v - 8*c + 28 = -4*c. Is 16 a factor of v?
True
Let r(j) = -j**2 + 18*j - 21. Let x be r(17). Is 3 + x + -3 - -87 a multiple of 21?
False
Let b = -11 - -19. Suppose 3*l - b*l = 0. Suppose l*k + k = 10. Is k a multiple of 5?
True
Let s = -20 - -13. Let c(y) = y**2 + 6*y - 4. Let w be c(s). Suppose 3*q = w*f + 111, 5*q - 2*f - f = 177. Is q a multiple of 11?
True
Does 58 divide (3 - -109)/((-30)/(-435))?
True
Suppose 305 = 8*o - 583. Suppose 7*c = 10*c - o. Is c a multiple of 8?
False
Suppose -8*l = -5*l - 681. Let c = 325 - l. Does 8 divide c?
False
Suppose 5*w - 5*f - 156 - 614 = 0, -3*w + 458 = -5*f. Does 3 divide w?
True
Is 34 a factor of (1224/60)/(2/40)?
True
Suppose 68*r = 16*r + 7904. Is 50 a factor of r?
False
Let x(n) = -14*n**3 - 5*n**2 + 3*n + 8. Is x(-4) a multiple of 31?
False
Let u(k) = 2*k**3 - 4*k**2 - 4*k - 4. Suppose 2*a - 2*n - 8 = 0, 2*a - 5*n - 4 - 1 = 0. Suppose 0 = -3*i - d - 6 + 18, -a*i + d = -20. Is 11 a factor of u(i)?
True
Suppose 23142 = -82*a + 111*a. Is a a multiple of 38?
True
Let x(h) = -8*h - 19 + 5*h**2 + 5 + 13*h. Is x(3) a multiple of 19?
False
Is 45 a factor of 1/((-2026)/(-675) - (12 - 9))?
True
L