a factor of q?
False
Let b(i) = -3*i**2 - 19*i - 34. Let g(z) = 7*z**2 + 38*z + 69. Let w(n) = -5*b(n) - 2*g(n). Let a be w(-17). Is 1770/21 + a/7 a multiple of 12?
True
Let j(g) = -g**2 - 8*g + 20. Let y be j(-10). Let z be y*2/(-4) - (-14 - -16). Is 0 - z/((-7)/(588/(-8))) a multiple of 3?
True
Let f be 17 + -14 + -3*113. Let x = 161 - f. Is x a multiple of 13?
False
Is (((-5551)/(-4))/7)/((-107)/(-5136)) a multiple of 39?
True
Let t = -92 + 92. Suppose 4*o - 4*i - 1576 = t, i = -o - 3*i + 399. Suppose 2*l + 3*l - o = 0. Is l a multiple of 21?
False
Let x be (-32)/(-48) + 481/3. Suppose x*m + 325 = 166*m. Is m a multiple of 3?
False
Suppose -3*c + 43069 = 4150. Does 19 divide c?
False
Does 87 divide (2454/10)/(3/(-250)*-10)?
False
Suppose 3*p + 36 = 3*j, 4*j + 2*p - 26 = 46. Suppose -11*k - j = -3*k. Is 198/27 - (k/(-3))/(-1) a multiple of 4?
True
Is 23255/4*976/610 a multiple of 15?
False
Suppose -2*q = -2*z - 33964, -4*q + 38*z + 67937 = 43*z. Does 37 divide q?
True
Let j(l) = l**3 + 13*l**2 - 31*l - 5. Let i = -25 + 10. Let c be j(i). Suppose -c*n + 2858 = 268. Is 18 a factor of n?
False
Let b(z) be the first derivative of 14*z**2 + 7*z + 1. Let j be (4/(5 - -7))/((-4)/(-60)). Is b(j) a multiple of 40?
False
Does 31 divide (2873/(-119) - -24) + (-247383)/(-21)?
True
Let f(z) = z**2 - 5*z - 2. Let b = 36 - 31. Let d be f(b). Does 4 divide (2/d)/(3/(-60))?
True
Is ((-4)/6)/(15 - (-64175)/(-4275)) a multiple of 2?
False
Let p = 575 - 295. Let f(y) = -77*y. Let x be f(-2). Suppose 158*i - x*i - p = 0. Does 14 divide i?
True
Let p(c) be the third derivative of c**6/120 - c**5/10 + 3*c**4/8 - 14*c**3/3 - c**2. Does 6 divide p(7)?
True
Suppose 0 = 5*r - 6 - 29. Suppose 0 = r*q - 2*q. Suppose q = 4*k - 0*k - 384. Is 12 a factor of k?
True
Let c(l) = 11*l**2 + 21*l - 881. Is 19 a factor of c(19)?
False
Suppose 0 = -4*b + 3*a + 2357, 0 = -4*b + 17*a - 23*a + 2330. Is b a multiple of 5?
False
Suppose -984 = -0*d - 24*d. Suppose x - 3*c - 89 = 0, -4*x + 2*c - d = -407. Does 4 divide x?
True
Let g be (4 - 2)*1/((-6)/(-51)). Suppose -g*b = -22*b + 840. Is 24 a factor of b?
True
Suppose -138*v + 92*v + 270710 = 0. Is 11 a factor of v?
True
Suppose 18*r = 16*r + 1966. Suppose 7*d - r - 543 = 0. Suppose -3*i - 5*t + 220 = -0*i, 0 = -3*i - 4*t + d. Does 14 divide i?
True
Let w = 277 - 175. Suppose 0 = i - w - 164. Suppose -11*j - i = -13*j. Does 19 divide j?
True
Suppose -5*z = -z - 8. Let l be (36/(-21) - -1)*((-7 - -9) + -9). Suppose 730 = 4*m - z*g, l*m + 4*g = -g + 935. Does 8 divide m?
True
Suppose -22*q + 4510 + 1034 = 0. Let j = -239 + q. Does 2 divide j?
False
Let t(j) = -j**3 + 16*j**2 + 17*j - 12. Let s be ((-8)/10)/(16/(-320)). Let a be t(s). Suppose a + 56 = 4*v. Is v a multiple of 24?
False
Let q(k) = -99*k + 8 + 1 - 4. Suppose -102 = 80*r + 58. Is 21 a factor of q(r)?
False
Let w(m) = 5*m**2 + 14*m - 19. Let n be w(9). Let o = n - 341. Is 17 a factor of o?
False
Suppose -4*x + 5*c - 44 = 0, -x - 3*x - c - 44 = 0. Let w(n) = n**3 + 9*n**2 - 12*n + 5. Let m be w(x). Is m/14*(-2)/3 a multiple of 5?
True
Let f(c) = 2*c**3 - 52*c**2 - 19*c - 18. Does 5 divide f(27)?
False
Suppose 3*m = 4*l - 117, -2*l = 3*l - 3*m - 150. Let w = l + -31. Let y(j) = 8*j**2 - 2*j + 5. Does 8 divide y(w)?
False
Suppose 5*f + 3660 = 4*b - 17, -f = 5. Is b a multiple of 4?
False
Let z = 1960 + 60. Is z a multiple of 40?
False
Let v = -2541 - -2679. Does 6 divide v?
True
Suppose 4*s = 3 + 13. Let d be (-62)/s*40/(-20). Let x = d - -5. Does 9 divide x?
True
Let d be 30/(-10) + (0 - -27). Is 12 a factor of ((-12)/(-5))/(d/(-21760)*-8)?
False
Let m = -97 + 91. Is 10 a factor of 6/((-144)/(-8396)) + (-1)/m?
True
Suppose 194*l - 396*l = -194*l - 15496. Is 13 a factor of l?
True
Suppose -90 = 35*r - 29*r. Let h = 33 - r. Is 24 a factor of h?
True
Let s(f) = -2*f**3 + 85*f**2 + 66*f - 243. Does 27 divide s(41)?
True
Let p(l) = 160*l**2 + l + 3. Let t be -1 + (-2)/(-1) + (-8)/(-4). Does 16 divide p(t)?
False
Let k be 36*(235/(-45)*-3 + -5). Let g = k - 258. Is g a multiple of 9?
True
Suppose -l - 4 = -3*l. Is 34 a factor of (-68)/l*(52 - 66)?
True
Is ((-7801)/87 + -27)*(-85 - (1 - 2)) a multiple of 40?
True
Let f(g) = g**3 - 7*g**2 + 6*g + 15. Let q be f(4). Let h(y) = -56*y + 129. Is 27 a factor of h(q)?
False
Suppose 4*d - 56*q - 2328 = -60*q, -2*d - q = -1163. Let b = d + -525. Is 56 a factor of b?
True
Suppose -61*q = -22*q - 50087 + 10034. Does 4 divide q?
False
Let a be (28/(-8))/((-19034)/3172 + 6). Suppose 0 = -8*d + d + a. Does 29 divide d?
False
Let g = -18870 + 33178. Is 100 a factor of g?
False
Suppose -t - 4 = 0, -171*f + 173*f - 3*t = 44416. Is f a multiple of 123?
False
Let b(s) = -s - 7. Let m be b(0). Let t(r) = -r**2 - 8*r - 13. Let f be t(m). Does 20 divide 408/9 + (-4)/f?
False
Let t be (-296)/(-12) + 4/(-6). Let u be (-5 + 112/t)*0/2. Suppose -5*y = -5*l + 65, 5*l + 4*y - 20 = -u. Does 2 divide l?
True
Let c(d) = -120*d - 1092. Let q be c(-11). Suppose -3*r = r + 5*w - 6, 4*r = -4*w + 8. Suppose r*y = q + 444. Is y a multiple of 21?
True
Let f be 0/((-4)/16 - (-35)/(-20)). Suppose 4*w = -4*i + 468, f = -i + 7*w - 9*w + 122. Does 28 divide i?
True
Suppose -5*d = 18 + 102. Let s be ((-5)/(-6))/((-4)/d). Suppose -g = s, -105 = 3*a - 5*a + 5*g. Is 40 a factor of a?
True
Suppose -88*r + 85*r - 5*u = -20265, -4*r + 27042 = 3*u. Does 12 divide r?
False
Let m(d) = -11*d**2 + 11*d + 3. Let g(s) = -55*s**2 + 54*s + 16. Let f(r) = 2*g(r) - 11*m(r). Is 44 a factor of f(-6)?
False
Is ((-4)/10 - (-60)/300)*-62455 a multiple of 8?
False
Suppose 4*c = 8*c - 964. Suppose 4*d - 246 = 2*w, -4*d - 3*w + c = -0*d. Does 5 divide d?
False
Suppose -3*q - 147 = -6*q. Suppose -31*i + 38*i + q = 0. Let s = 221 - i. Is 47 a factor of s?
False
Suppose 3*h + 8 = -4, 0 = -2*o - 4*h + 364. Suppose 2*b - 381 = -5*l, -5*l + o = -4*b - 203. Is l even?
False
Is (4305/225 + -19 - 236/(-30)) + 19039 a multiple of 5?
False
Let t be -6 - ((-16)/(-4) + -15). Suppose -2*x + 818 - 2249 = -5*s, 3*x = -t*s + 1441. Is 7 a factor of s?
True
Suppose 5*b - 4056 = -2*l, -5*b - 207 = 5*l - 4257. Does 28 divide b?
True
Let u = -24051 - -26279. Is 2 a factor of u?
True
Let u be -37 + 44 + 1*-293. Let k = u - -290. Is k a multiple of 2?
True
Let u = 184 + -198. Let b(m) = -8*m - 79. Does 7 divide b(u)?
False
Suppose 2*z - 277829 = -36*z + 78725. Does 67 divide z?
False
Suppose -297*y + 95178 + 434535 = -139428. Is 11 a factor of y?
False
Let z(u) = 668*u - 3700. Does 67 divide z(26)?
True
Let r = 2570 - 1452. Suppose -d - d + r = k, 3*d = k + 1687. Is d a multiple of 52?
False
Suppose 19*y + 86334 = 3*z + 4*y, z + 4*y = 28706. Is 281 a factor of z?
False
Suppose 78*q - 123*q + 174195 = 0. Is q a multiple of 79?
True
Let g = 2167 + 3030. Is 39 a factor of g?
False
Suppose 110475 = 122*z - 47*z. Is 40 a factor of z?
False
Let j be 5/(-10)*(-31 + 1). Suppose -r - j = -95. Suppose -5*c + 210 = -r. Is c a multiple of 11?
False
Suppose 2*k = 5*d + 15, -3*d = -5*d + k - 7. Let j be 1*(2 + 1) - (9 + d). Is 26 a factor of ((-596)/j)/(4 - 18/5)?
False
Suppose 3*f = -4*j + 80, 14*f = 9*f + 5*j + 180. Is ((-16)/f)/((-1)/452) a multiple of 7?
False
Let c be (60/(-15))/(1/(2/4)). Let w = 4 + c. Suppose w*v = 5*v + 4*f - 614, 0 = v - 3*f - 196. Is 14 a factor of v?
False
Let c(m) = m**2 - 11*m - 24. Let w be c(-2). Suppose 2*g = -5*p + 960, -3*g + p = -w*g - 480. Is g a multiple of 14?
False
Suppose -28*l = -80*l - 33*l + 162520. Does 4 divide l?
True
Suppose 4*l = 5*j + 12236, 2*l - 6118 = 29*j - 28*j. Does 29 divide l?
False
Let y = 1978 - 1134. Let v = y + -749. Does 5 divide v?
True
Let o = 11 - 5. Suppose 0 = 8*k - o*k - 1150. Suppose 2*n - 3*a = 210, -k = -4*n - n - 5*a. Does 37 divide n?
True
Let q(f) be the first derivative of f**3/3 - 9*f**2 - 106*f + 58. Is q(24) a multiple of 9?
False
Let c(k) = -k**2 - 14*k - 8. Let m be c(-13). Suppose -m*n + 3 = -7. Suppose -n*a = -10 - 38. Is 7 a factor of a?
False
Suppose -19*i - 5*s = -16*i - 12039, 0 = -3*s. Is i a multiple of 2?
False
Let n = 3722 + -440. Is 14 a factor of n?
False
Suppose -5*t = 3*s - 123, 2*t - 5*s - 1 - 42 = 0. Suppose t*f - 23*f - 406 = 0. Is 58 a factor of f?
True
Suppose -3*i = 12, i + 48 = 4*v + 8. Let t be -2 + -3*(-42)/9. Let f = v + t. Is 7 a