 Is j(4) a multiple of 30?
True
Suppose 61*x - 144*x = -68*x - 21630. Does 10 divide x?
False
Let u(h) = 421*h + 43. Is u(17) a multiple of 144?
True
Let f = 1126 + 2071. Suppose -f = -5*z + 4*p, -8*p = -7*p - 2. Is z a multiple of 20?
False
Let k = -232 + 236. Suppose -8*f + 11*f = -k*g + 320, 3*g = -f + 235. Is g a multiple of 77?
True
Let x = 10143 - -1975. Is x a multiple of 9?
False
Does 11 divide (10934/(-4))/((-549)/3294)?
True
Let c(l) = 2*l**3 + 152*l**2 + 64*l - 209. Does 78 divide c(-67)?
False
Let r(p) = 0*p + 14*p + 536 + 354 - 702. Is 22 a factor of r(29)?
True
Let x = 157 - 154. Suppose -162 = -x*h - 0*h. Is 35 a factor of h?
False
Let n(s) = 361*s + 42. Let g be n(5). Suppose 0 = 4*l - 3*c - g, -2*l = 8*c - 11*c - 919. Is l a multiple of 7?
False
Let p(c) be the third derivative of 227*c**4/24 + 17*c**3/6 + 265*c**2 + c. Does 12 divide p(5)?
True
Let o(l) = 22*l**3 - 31*l**2 - 16*l - 9. Does 13 divide o(6)?
False
Let n = 23 + -19. Suppose l - y = -l - 4, 4*l = -4*y - 32. Does 10 divide 49/n + (-3)/l?
False
Suppose 4*o + t - 15647 = 0, -3*t + 8246 = -5*o + 27809. Does 17 divide o?
False
Let a be 2/(-14) + 1 + (-30)/(-14). Suppose 8*x - 2640 = a*x. Suppose 2*z = 5*z - x. Does 44 divide z?
True
Suppose -3*a - 30 = -5*s - a, -s + 3*a = 7. Suppose -3*n + 4*i - 206 = -0*i, -2*i - s = 0. Let k = n - -377. Is 40 a factor of k?
False
Let p = 148 - 148. Is 24 a factor of (9 - (-3 + p))*1*36?
True
Let l be (17/(-2) - -5)*(2 + 0). Let w = 11 + l. Suppose 2*s = a + w*s - 6, -4*a + 5*s + 37 = 0. Is a a multiple of 8?
True
Suppose -7*f = -x - 156549, -76*f + 2*x = -77*f + 22377. Is 213 a factor of f?
True
Let o be (-1 + (-28)/(-16))*404. Is 24 a factor of (0 - o*2)*6/(-9)?
False
Let z = 36124 + -26337. Is 5 a factor of z?
False
Let b be 3/(-12)*-2*330. Let o = b + -75. Does 15 divide o?
True
Suppose 325 = 3*f + 175. Suppose -3*n = -h + f, -5*h + 212 = n + 3*n. Does 3 divide h?
False
Does 16 divide (-808968)/(-216) + (-8)/36?
False
Let o be 4/(-5) + (-48223)/(-35). Suppose -5*n + 25 + o = -2*y, 3*y + 1398 = 5*n. Does 15 divide n?
False
Let i be -1 + 4 - (-4 - (264 - 7)). Suppose -5*s + i = -56. Does 53 divide s?
False
Let t = 13856 - 12585. Is t a multiple of 8?
False
Suppose -3*h = 2*g - 437, -g + 0*g + 576 = 4*h. Let p = h + -97. Is p a multiple of 16?
False
Let x(h) = h**2 - 9*h - 5. Let p be x(10). Let w be ((-990)/50)/((-1)/p). Let i = -65 + w. Does 7 divide i?
False
Let k = -374 - -729. Suppose 5*p - k = -2*x, -15*p = -12*p + 3. Does 30 divide x?
True
Suppose 21 = 10*f - 3*f. Suppose -3*h = -c + 386 - 117, -795 = -f*c + 3*h. Is c a multiple of 10?
False
Is 7 a factor of 45/6*9520/60?
True
Let r(g) be the first derivative of -g**2 - 3*g - 11. Let i(x) = -2*x - 3. Let k(h) = 5*i(h) - 6*r(h). Is 4 a factor of k(2)?
False
Suppose -204 = -4*o + z, -o = 3*o - 3*z - 212. Let g = o - 170. Let d = -94 - g. Does 26 divide d?
True
Let r = -4960 + 5849. Does 7 divide r?
True
Let v(c) = 22*c - 242. Let s be v(14). Suppose -8702 + 782 = -s*a. Is 10 a factor of a?
True
Is 24 a factor of (-2)/(-42) + 128050/1050?
False
Let f = -186 - -337. Let g = f - 102. Does 3 divide g?
False
Let z be 3722/19 - (-42)/399. Suppose -52*v - 5*h - z = -55*v, 5*v - 4*h - 344 = 0. Does 36 divide v?
True
Suppose -2*w + 3*z + 34976 = 4*z, -5*z = -4*w + 69910. Is 32 a factor of w?
False
Let x(n) = 2*n + 76. Let a be x(22). Suppose -q = -24 - a. Is 5 a factor of q?
False
Let f(z) = 257*z - 168. Let i be f(4). Suppose -2*v + 4*a + i = 0, 0 = 4*v - v - a - 1315. Does 11 divide v?
True
Let h = 10929 + -3724. Is 11 a factor of h?
True
Does 43 divide 60/12*10/(-25)*-5776?
False
Let x(j) = 2*j**3 - 9*j**2 - 6*j + 203. Is x(9) a multiple of 8?
False
Let j(p) be the second derivative of p**5/20 + 2*p**4/3 - p**3/2 + 21*p**2/2 + p. Suppose t + 277 = -5*o + 247, -o - 5*t + 18 = 0. Does 11 divide j(o)?
False
Let j(q) = 41 + 6*q - 53 + q. Let u be j(2). Suppose 33 = -b + 2*b - u*w, -b + 5*w = -36. Does 2 divide b?
False
Let q(f) = f**3 - 13*f**2 + f - 10. Let w be -13*3/(-4 + 1). Let n be q(w). Suppose d = -n*x + 117, 5*x - d - 140 = 63. Is x a multiple of 36?
False
Let l be (-15 - 25/(-5))/((-2)/(-188)). Let x = 1382 + l. Is 60 a factor of x?
False
Let t = -1537 + 4974. Is t a multiple of 9?
False
Suppose 0 = -3*f + 652 + 740. Suppose -u - f = -4*t, 3*u + 565 = 5*t - 2*u. Suppose 2*p + 71 = 3*x, x = 6*x - 4*p - t. Is 14 a factor of x?
False
Let r be (-1)/(-1 + 2/4). Let k = 1309 + -1295. Let z = k + r. Is z a multiple of 3?
False
Let k = -62 + 58. Let n be k/(-14) - (69/21 - -2). Does 14 divide 50/(-15)*84/n?
True
Let z = -124 - -124. Suppose z = 70*n - 64*n - 276. Is 3 a factor of n?
False
Let p(z) = z + 10. Suppose -5 = -4*c + 5*c. Let t be p(c). Suppose 2*l - 12 = t*k, -2*l + 72 = 2*l + 2*k. Is l a multiple of 4?
True
Suppose -3*w + 38 = 5*m, 19 = 3*m + 3*w + 1. Let r(d) = -93*d + 49*d + 56*d + 31. Is 12 a factor of r(m)?
False
Suppose 3*w = 35*w - 480. Does 41 divide 528/w*(-225)/(-30)?
False
Let k = -18 - -22. Suppose 5*s - k*m = 20, -3*s - 5 = -m + 2*m. Suppose -2*l - 5*u + 52 = 16, 4*l - u - 72 = s. Does 9 divide l?
True
Suppose 0 = 5*o + 2*n - 649, 260 = 59*o - 57*o + n. Suppose 15*m - o - 591 = 0. Is 8 a factor of m?
True
Does 20 divide (258 + 3)*1683/99?
False
Suppose 2*f + 3*r = 778 + 5120, 4*r = -3*f + 8844. Is f even?
True
Let c(m) = -m + 41. Let r be c(6). Let b(u) = 3*u + 123. Is 38 a factor of b(r)?
True
Let q = 4038 + -686. Is 24 a factor of q?
False
Let r(v) = v**3 - 17*v**2 + v + 2845. Is r(0) a multiple of 14?
False
Let v(u) = 11*u + 5580. Is v(119) a multiple of 7?
False
Let s(w) = w**3 - 65*w**2 + 40*w - 400. Is s(65) a multiple of 10?
True
Suppose -4*n - 5*o = -6451, -2*n = -4*n + o + 3229. Is 6 a factor of n?
True
Suppose -2*a + 31 - 103 = -n, -n + 77 = -3*a. Suppose 0 = 3*s - 3*i - 168, -4*s + 3*i = -290 + n. Suppose 0 = -0*q - q + s. Does 6 divide q?
True
Suppose 5*x = -u - 27, -5*u - 28 = 2*x + 38. Is (-2910)/u*((-12)/(-10) - 0) a multiple of 19?
False
Let q be ((-400)/15)/(-5)*(-159)/(-4). Let f = q + -154. Does 58 divide f?
True
Let a = 245 + -240. Suppose j + z - 657 = 0, -a*j = -4*z - 1451 - 1825. Is j a multiple of 8?
True
Let b = -22 - -62. Suppose 0 = -h - 3*h + b. Let y = 45 - h. Is 9 a factor of y?
False
Let f = -9555 + 9921. Is 3 a factor of f?
True
Let b be (-4)/12 + 2/6. Suppose 10*x + b = -30. Is 5 a factor of (4 + x)/((-5)/(-60))?
False
Suppose 399*h = 424*h - 602950. Is 31 a factor of h?
True
Let m = -43 + 71. Let p = m + -21. Suppose -3*j - 104 = -p*j. Is j a multiple of 6?
False
Let i = -93 + 55. Let t = i - -41. Suppose q + q - 188 = t*r, 5*q - 479 = 3*r. Is q a multiple of 12?
False
Suppose -125 - 235 = 6*d. Let s = d - -119. Is 6 a factor of s?
False
Suppose -13391 = -28*q + 21*q. Let w = q + 619. Does 15 divide (w/5)/4 + 10/25?
False
Let t be -55*(-3 - (-5)/(15/12)). Let j = t - -64. Suppose 653 = 3*l + 4*s, -4*l - 2*s = -j*l + 1097. Is l a multiple of 16?
False
Let v = -25 + 43. Suppose -2*b + 1720 = v*b. Does 2 divide b?
True
Suppose 0 = -19*d + 11*d. Suppose -1694*v + 1687*v + 273 = d. Does 5 divide v?
False
Let l(d) = d**3 + 7*d**2 - 10*d - 11. Let n be l(-8). Suppose n*p + 4 = 19. Suppose 4*i = -20, -58 = -p*h + 5*i + 135. Does 7 divide h?
True
Let u(m) = -2*m**2 - 8*m + 30. Let c(v) = -4*v**2 - 15*v + 61. Let b(x) = -6*c(x) + 11*u(x). Let j be 8/(-6 - -14)*-7. Is b(j) a multiple of 12?
True
Suppose 292*b - 1642658 = -704176 + 957766. Does 10 divide b?
False
Let g(q) = -9628*q + 9966. Does 222 divide g(-3)?
True
Let r be (11532/(-155))/(1 - (-8)/(-10)). Let p = r - -777. Is p a multiple of 13?
False
Let w be 6/2 + -1 + 38. Suppose 0 = -0*v + 5*v - w. Suppose v*s + 2*s - 630 = 0. Is 16 a factor of s?
False
Suppose 5178589 + 1502780 = 251*t. Is 57 a factor of t?
True
Let s be 144/32*-2*6/9. Is ((-2812)/114)/(1/s) a multiple of 3?
False
Suppose 0 = 6*q - q + 30. Let h be 10/(q/30 - (-18)/40). Let u = h - 32. Is 5 a factor of u?
False
Let f be 1 - (-33)/(-9)*-3. Suppose 3*p - 95 = d, 5*d = -p + f - 7. Is p a multiple of 7?
False
Let n = -2439 - -4832. Is n a multiple of 9?
False
Suppose 0 = 2*s - l - 27218, -s + 8559 = l - 5059. Is 83 a factor of s?
True
Is 20 a factor of (-284196)/(-14) - (-808)/2828?
True
Suppose 30*c - 26*c = -4*n 