) a multiple of 42?
False
Suppose 401*d - 1684 = 399*d. Let c = d - 244. Is c a multiple of 23?
True
Suppose 2*j = -5*w + 1004, 65*j - 208 = -w + 61*j. Is 10 a factor of w?
True
Let m be (-9 - -7)*(-29)/2. Suppose 7*n + 2*u = 2*n + 376, 0 = -u + 3. Let x = n - m. Does 3 divide x?
True
Suppose 2*l = -2*t + 31648, 0 = 3*l + 4*t + 11475 - 58943. Is 17 a factor of l?
False
Suppose -2*u = -3*u - h + 1, -3*h = 5*u - 5. Let n = u - -1. Suppose n*z - 40 = -r - r, -3*z = 0. Is r even?
True
Let x(y) = 75*y**2 - 60*y - 168. Is x(-7) a multiple of 11?
True
Suppose 0 = 5*d - 5*a + 1 + 9, 5*a = 0. Does 33 divide (-3)/6*(-11)/d*-12?
True
Let r = -240 + 341. Let d be -62 - 2/(10/(-5)). Let j = r + d. Is j a multiple of 8?
True
Let q(t) = 2*t + 30. Let m be q(-13). Suppose -m*i + 3507 = -5*x, -3*i + 2*x + 2625 = -0*i. Does 8 divide i?
False
Let a(x) = -x**3 - 8*x**2 - 9*x + 12. Let m be a(-11). Let g = m + -244. Does 27 divide g?
False
Let n be 7*1/(-2)*32/(-28). Suppose 3*s = 0, n*h + 4*s - 7*s - 1312 = 0. Is 11 a factor of h?
False
Suppose 3*g - r = 63 - 26, -4*g + r = -49. Let k be 1/((-40)/g - -3) - -258. Let h = k - 151. Does 26 divide h?
True
Suppose 5*y + 5*k = -15530, -3*y + 2*k - 7092 = 2231. Does 13 divide (-60)/450 + y/(-15)?
False
Let c(q) = 11*q - 18. Let l = -53 + 57. Let u be c(l). Let w = 35 - u. Is 8 a factor of w?
False
Let z = -27 - 5. Let l = -28 - z. Is (l - (-110)/(-35))*42 a multiple of 12?
True
Let a(i) be the first derivative of -21*i**2/2 + 12*i + 2. Let u(k) = -14*k - 372. Let q be u(-26). Is 18 a factor of a(q)?
True
Suppose -653073 = -105*n + 734607. Is n a multiple of 14?
True
Suppose -13962 = -4*w - 5*x, 4*x - 17430 = -5*w + 9*x. Is 28 a factor of w?
False
Suppose k - 6*k = i - 2103, 3*k = -3*i + 1269. Let j = 636 + k. Is 12 a factor of j?
True
Let s = 6969 - -1610. Is 3 a factor of s?
False
Let q = -632 - -649. Suppose -199 = -18*n + q*n + 4*l, 383 = 2*n - 3*l. Is 28 a factor of n?
False
Suppose -2286*q = -2*z - 2284*q + 4058, -6103 = -3*z - q. Is z a multiple of 107?
True
Let g(r) = -r**3 + r**2 - 8*r + 8. Let l be g(-10). Let f = -244 + l. Is f a multiple of 22?
False
Let r = -502 - -526. Suppose 446 - 5558 = -r*s. Is 11 a factor of s?
False
Suppose -c + m = -5833, 2*c - 4*m = 568 + 11104. Is c a multiple of 12?
False
Let q be -6*(-2)/4*-2. Let i be (-4)/q*(-90)/20. Let o(v) = -18*v - 14. Is o(i) a multiple of 10?
True
Let f(y) = 2*y**3 + 8*y**2 + 20*y - 88. Is f(3) a multiple of 14?
True
Suppose 0 = -n - 3*q - 2*q - 113, 0 = 5*n - 2*q + 700. Is 8 a factor of n*(192/(-18))/8?
True
Suppose 75*c = 78*c - 8664. Is (-2)/4 + 2/(32/c) a multiple of 6?
True
Let t(o) = 6*o**2 + 9*o + 13. Let i(x) = 2*x**2 + 3*x + 4. Let p = -43 + 35. Let u(f) = p*i(f) + 3*t(f). Does 46 divide u(4)?
False
Let l(n) = 14*n + 9. Let p be (1 + -3 + 2)/(-3). Suppose p = 7*k - 28 + 7. Is l(k) a multiple of 14?
False
Let j = 5047 + -677. Is j a multiple of 38?
True
Suppose -11*r + 84638 + 53962 = 0. Does 18 divide r?
True
Let n(h) = -2*h**2 - 246*h - 685. Is 87 a factor of n(-100)?
True
Let b = -9325 + 10300. Does 204 divide b?
False
Let v(m) = -493*m + 8. Let w be v(-4). Suppose u + w = 23*u. Is 6 a factor of u?
True
Suppose 0 = -58*g + 61*g - 9. Is (-11 - -18) + g + 134 a multiple of 12?
True
Let t be 4/(16/(-6))*(2 + -4). Let m be (11/33)/(1/(3*t)). Suppose m*l - 197 = 5*g, 3*g = l - 3*l + 144. Does 9 divide l?
False
Does 5 divide 0/(-3) + 3 + 46 + 961?
True
Is (1/(-1))/(32/(-240608)) a multiple of 26?
False
Suppose 56*k - 440 = 64*k. Is 20 a factor of (16/(-2))/((k/5)/770)?
True
Let s(w) = 1124*w**2 - 64*w + 147. Is s(2) a multiple of 182?
False
Let y(p) = -p**3 + 34*p**2 + 116*p + 47. Is 3 a factor of y(37)?
False
Suppose -4*l + 1 = 5*h + 6, 4*l + 35 = 5*h. Suppose -445 = -h*w + 452. Is w a multiple of 23?
True
Let v be (-17)/(85/30) + 8. Suppose v*r - 127 = -6*q + 3*q, -5*r - 2*q = -290. Is r a multiple of 14?
True
Suppose 2344 = -18*j + 20488. Is 9 a factor of j?
True
Suppose 5*a - 3*t = 5253 + 660, -4720 = -4*a + 5*t. Suppose -5*d = -a - 735. Does 6 divide d?
True
Let s = -11457 - -17224. Does 73 divide s?
True
Let y be ((-1)/(-3))/(7/42). Suppose 0 = -y*f + f - u + 283, 0 = 2*f - 2*u - 566. Suppose -5*d + f = o, -2*d - 2*o + 96 = -14. Is 19 a factor of d?
True
Let d = 97 - -645. Suppose r = 0, -8*t - 2*r = -9*t + d. Does 22 divide t?
False
Suppose 4*m - 1522 = l + 5473, 2*l + 1740 = m. Does 27 divide m?
False
Let m = 6534 + 880. Is 11 a factor of m?
True
Let h(j) = -840*j**3 + 3*j**2 + 44*j + 76. Is 40 a factor of h(-2)?
True
Suppose 2*a - 9520 = -4*o - 2*a, -o + 3*a + 2388 = 0. Is 3 a factor of o?
True
Let j = 54346 - 23299. Does 16 divide j?
False
Is (-3)/(-24) + (-4703)/(-8) a multiple of 4?
True
Let n be 2 + -4 + 23 + (-5 - -4). Is 5 a factor of (70/n)/(0 + (-2)/(-36))?
False
Is 9 a factor of (591/2)/(616/20944)?
False
Suppose 13*o = 6*o. Suppose -3*f - 15 = o, -4*f + 484 + 36 = 5*m. Suppose -v + 2*t + 69 = -m, -v + 5*t = -171. Does 17 divide v?
False
Let w(r) = -r**2 - 22*r + 9095. Let a be w(-107). Let c = 492 - 339. Suppose 4*n - 7 - c = a. Is n a multiple of 8?
True
Let b be ((-4)/(-6))/(1/(-3)). Let p(s) = 6*s**2 + 89*s - 245. Let y be p(3). Is 15 a factor of b*2/16 - (-1159)/y?
True
Suppose 1370 = 2*r - 4*f, -7*r + 1360 = -5*r - 2*f. Suppose 2331 - r = 6*b. Is b a multiple of 23?
True
Suppose -379*p - 965522 = -488*p. Does 43 divide p?
True
Suppose 8*y - 3*z - 13827 = 4*y, -10372 = -3*y + 4*z. Is y a multiple of 27?
True
Let g(z) = -144*z**3 - z**2 + z. Let o be g(1). Suppose -2*q + 4*r = 10, -2*q = 67*r - 66*r + 35. Does 12 divide o/q*5*(-6)/(-4)?
True
Let t(l) = -l**3 + 2*l**2 + 6*l - 5. Suppose -m - 7 = -10. Let n be t(m). Suppose n = 4*k - 48. Is 10 a factor of k?
False
Suppose -8*w = 77 - 261. Let i = 276 - w. Let c = i + -102. Is 11 a factor of c?
False
Let v = -63 + 66. Suppose 6*o = -4*s + o + 1806, 0 = -4*s + v*o + 1790. Is s a multiple of 14?
False
Let k(n) = -n**3 - 4*n**2 + 4*n - 5. Let u be k(-5). Suppose u = 5*o - 2956 - 2294. Suppose 9*m - o = 354. Is 12 a factor of m?
True
Let a(h) be the second derivative of 5*h**4/12 - h**3/3 + 5*h**2/2 - 6*h. Let c be (10/(-4))/((-3)/6). Is 32 a factor of a(c)?
False
Let v = -3277 + 7552. Is v a multiple of 3?
True
Let v(r) = 39*r + 36. Suppose -36 = -4*n + 4*m, -n + 5*m + 3 = -6. Does 43 divide v(n)?
True
Let r(k) = -4*k. Let m(v) = -33*v - 1034. Let x(o) = -m(o) + 6*r(o). Is 94 a factor of x(0)?
True
Let h = -386 - -731. Let x = h + -338. Does 7 divide x?
True
Suppose 182753 = -72*o + 90*o - 610363. Does 57 divide o?
False
Let v(n) = 7*n**3 + 368*n**2 + 75*n + 290. Does 13 divide v(-52)?
False
Let s = -23189 + 30991. Is s a multiple of 18?
False
Suppose 1036*v - 828 = 1018*v. Is 23 a factor of v?
True
Suppose 54*u - 17068 + 1222 - 21414 = 0. Does 10 divide u?
True
Let j(y) = y**3 + 33*y**2 - 20*y + 300. Does 28 divide j(-32)?
False
Suppose 0 = -3*l + 2*f - 1682, 0*l = 5*l - 4*f + 2806. Let j be l/(-12) - (-3)/(-6). Let o = j + -34. Does 6 divide o?
True
Suppose 5*n - 3450 = -5*i, -2*i = -5*n - 1896 + 502. Let o = -128 + i. Is 47 a factor of o?
True
Let p(a) = 36*a + 96. Let g be p(15). Is (112/10)/(-3 + g/210) a multiple of 49?
True
Suppose 5*l + 0*h - 3*h - 52 = 0, -4*l + h = -36. Is 22 a factor of 27*3*l/24?
False
Does 100 divide ((-418313)/(-98) - -45)*(2 - (0 - 0))?
False
Suppose 4*k - c + 11 - 40 = 0, 3*k + 7 = -5*c. Let o(y) = 3*y - 7. Let r be o(k). Let u = r + 2. Does 12 divide u?
False
Let r(p) = -p**3 - 84*p**2 - 388*p + 392. Is 24 a factor of r(-80)?
True
Suppose 3*i = -y + 1971, 2*y - 480*i + 475*i = 3942. Is 9 a factor of y?
True
Let j be 8*2/((-8)/26). Is 31 a factor of (3052/10 - j/65) + 4?
True
Let y(q) = -2*q**2 + q + 3. Let p be y(0). Suppose 4*r + 362 = 2*u, -587 = -p*u - 0*r - 5*r. Is u a multiple of 19?
False
Let d(s) = -4*s**3 + 5*s - 1 - 9*s**2 + 3*s**3 + 24*s**2. Let b(m) = -2*m**3 - 8*m**2 - 4*m - 1. Let g be b(-4). Does 20 divide d(g)?
False
Let t = 9198 + -6888. Is t a multiple of 7?
True
Let t be 3462/((-12)/(-4)) - -2. Does 21 divide 4/(-7) + t/14?
False
Let k(y) = -45*y**2 - 619*y - 26. Is k(-12) a multiple of 6?
False
Is 55 a factor of -3 - -174*((-95)/(-10) + 0)?
True
Suppose -8*u + 5590 = -102122. Is 102 a factor of u?
True
Let s(f) = -4*f - 25. Let