y. Let k(a) = -2*a + 4. Let w be k(z). Let p(f) = -10*f + 27. Is 12 a factor of p(w)?
False
Let s(l) = l + 26. Let o(a) be the third derivative of a**4/3 + a**3/2 - 15*a**2. Let h be o(-1). Does 4 divide s(h)?
False
Suppose 23*a - 48832 = -35*a - 6*a. Does 2 divide a?
False
Let f(h) = 7*h + 270. Let m be f(-38). Suppose 3*t - 4*o - 1561 = 0, 0 = 2*t + 9*o - m*o - 1010. Is 40 a factor of t?
False
Suppose 0 = -34*j + 4816 + 13476. Is j a multiple of 3?
False
Does 39 divide (2 + 271925/45)*1 + (-26)/(-117)?
True
Let h = -106 - -115. Is -3 - 970/(-7) - h/(-21) a multiple of 17?
True
Let a = -648 - -1543. Let j = -555 + a. Is 20 a factor of j?
True
Let i(f) = 4*f**2 + 139*f + 2018. Is 35 a factor of i(-57)?
False
Let i(b) = -312*b - 9. Let z(u) = -156*u - 4. Let n(q) = -3*i(q) + 5*z(q). Is n(1) a multiple of 11?
False
Suppose 27390 = -19*z - 33790. Is (18/(-10))/(14/z) a multiple of 9?
True
Let b(i) be the first derivative of -i**2/2 - 5*i - 22. Let v be b(-5). Suppose 2*d - r = 26, 5*d - 4*r = -v*d + 65. Does 13 divide d?
True
Let l(d) = -68*d + 5389. Is l(5) a multiple of 34?
False
Let r(a) = a**2 - 28*a + 640. Does 6 divide r(0)?
False
Suppose 20*k = 2*k + 360. Suppose k - 130 = 5*z. Does 11 divide ((-15)/(-2))/((-3)/z)?
True
Suppose -279*v = -3245500 - 10575044. Is 344 a factor of v?
True
Suppose 0 = -2*b + 383 + 705. Let z = b + -355. Is z a multiple of 27?
True
Let b be 3 - 0 - 0 - 4. Let c be ((-4 - -2)*1)/b. Is 34 a factor of -2 + (c - 19)*-4?
False
Let t be 4/18 - 94/18. Let z(m) = 4*m**2 + 15*m - 10. Is 2 a factor of z(t)?
False
Let m = -13355 + 19228. Does 111 divide m?
False
Suppose 0 = -n - 0*n, 3*i = n + 384. Suppose 4*m = -0*m + 64. Let x = i + m. Is 24 a factor of x?
True
Suppose 68157 - 99204 = -26*c + 83145. Does 8 divide c?
True
Does 20 divide 6/(9/(-3))*((-170793)/42 + -23)?
False
Let j(p) be the third derivative of -p**5/60 - 3*p**4/4 - 5*p**3/2 - 19*p**2. Let l be j(-17). Suppose -5*d + 947 = 2*v, 0*v + l*v + 187 = d. Does 16 divide d?
False
Let j(q) = 339*q**2 + 28*q + 32. Does 36 divide j(-5)?
False
Suppose -78*w - 75431 + 742504 = 71*w. Is 12 a factor of w?
False
Let u(l) = -229*l + 1. Let w(t) = t + 1. Let g(i) = 2*u(i) + 6*w(i). Is g(-2) a multiple of 12?
True
Let g(y) = -y**2 + 27*y - 19. Let d be g(27). Let q = -17 - d. Let m(j) = 27*j**2 + j - 6. Is 13 a factor of m(q)?
True
Suppose -2*d - m + 2*m = -15, d - 2*m - 15 = 0. Suppose -s + 6*r - d*r = -12, -5*s + 2*r = -51. Does 24 divide ((-360)/(-25))/(s/30)?
True
Let m(t) = -5*t + 34. Let j be m(6). Suppose 4*v = -5*y + 3*y + 248, -248 = -j*v - 3*y. Is v a multiple of 8?
False
Suppose -8*z - 59385 = -10*z + 9*k, -89005 = -3*z - k. Is z a multiple of 19?
False
Let w be 9 + -11 - (-3 + -2). Suppose -5*k = 15, -w*r = 5*k - 391 - 512. Does 17 divide r?
True
Suppose y - 11995 = -19*y + 21645. Is y a multiple of 4?
False
Let g(c) = 48*c - 48. Let b be g(1). Suppose b = -38*h - 2622 + 55062. Is 30 a factor of h?
True
Is (-468)/(-24)*(-2 - ((-12)/4 + -1369)) a multiple of 195?
True
Suppose 0 = 28*z - 33*z. Suppose z = 25*n - 2199 - 1001. Does 7 divide n?
False
Suppose 5*c - 47 = -4*t + 119, c = 2*t - 90. Let z = -39 + t. Suppose 3*l - 4*l + 96 = -4*i, -2*l = -z*i - 183. Is l a multiple of 14?
True
Is 2 a factor of ((-677)/(-77) - (-256)/(-704))*7?
False
Suppose -57*m - 87*m = 68*m - 5738416. Does 32 divide m?
False
Suppose 32*z + 10555 - 46964 = 70215. Is z a multiple of 68?
True
Suppose 0*v - 426 = -h - 3*v, 4*h - v - 1717 = 0. Suppose 2*f - 3*k - h = 0, 2*k = -5*f + 749 + 276. Is f a multiple of 9?
True
Suppose -5*z + 4*a = 5*a - 26, 4*z + a = 21. Does 5 divide (2/(-6))/(z - 22284/4455)?
True
Suppose 141 + 99 = 30*t. Suppose t - 332 = -4*x. Does 10 divide x?
False
Is (-213 + 3 + -6)*15/(495/(-583)) a multiple of 159?
True
Let f(z) = 1055*z - 1663. Does 6 divide f(13)?
False
Let t be -2 + 1 + 3 - (6 + -8). Suppose -5*b = -t*c - 7*b + 1136, -3*b = 4*c - 1132. Is 26 a factor of c?
True
Suppose -52 = -2*n - 2*x - 8, -6 = -3*x. Let o(h) = h**2 - 20*h. Let y be o(n). Suppose -t + 71 = -g, y = 4*t - 3*g - 113 - 170. Is t a multiple of 10?
True
Let w be 0/(-3) - (0 + -1 + 1). Suppose w = -5*z + 8 + 17. Suppose -4*i = 3*v - 417, 5*v = z*i - 413 - 117. Is i a multiple of 21?
True
Let v = -12421 + 12932. Is 2 a factor of v?
False
Let f be -149 + 1 + (-4)/5*-5. Let r = f - -226. Let y = r - -34. Does 19 divide y?
False
Let d = 3372 - 3093. Is 10 a factor of d?
False
Let d be (4 + 70/(-15))*-6. Let a(u) = u**2 - 2*u - 4. Let z be a(d). Suppose 58 + 22 = z*x. Is 10 a factor of x?
True
Suppose 259*f - 7025280 = 8048722 + 1508473. Is f a multiple of 13?
True
Suppose 5628 = -9*w - 3*w. Let c = w + 1445. Does 61 divide c?
True
Let r = -3639 - -12779. Is 20 a factor of r?
True
Let g(u) = 3*u**2 - 4*u - 626. Is g(-22) a multiple of 20?
False
Let g = 134 - 129. Let n(u) = 4*u + 58. Does 5 divide n(g)?
False
Suppose -5*m - t - 2 = t, -5*t + 12 = 4*m. Is (m/2)/(19/(-209)) a multiple of 11?
True
Suppose -w = 5*y - 2360, y = -440*w + 438*w + 4684. Is 6 a factor of w?
True
Let y = -132 + 137. Suppose y*o + 1 = 16. Let c(w) = 15*w - 22. Is c(o) a multiple of 4?
False
Let t be ((-230)/50)/((-1)/5). Suppose 13*w - t*w = -570. Is w a multiple of 19?
True
Let v = 223 + -327. Let k = 165 + v. Let y = k - -59. Is 30 a factor of y?
True
Let w(y) = 6*y**2 + 107*y - 282. Is w(-21) a multiple of 4?
False
Suppose 10 = -y - 3*f, 4*y - 2*f + 6*f = 0. Let z = 965 + -820. Suppose -5*c + 31 + 24 = v, c = y*v - z. Is v a multiple of 24?
False
Let u = 38 + -34. Suppose a + 109 = -2*n - 3, 0 = -4*n + u*a - 236. Let k = 79 - n. Does 42 divide k?
False
Let m(v) = 5*v - 10. Let n be 16/(-6)*42/(-4). Suppose -2*f = 5*f - n. Does 5 divide m(f)?
True
Is 9 a factor of -628*(-5300)/(-560)*7*2/(-10)?
False
Let s be 6/9 + 158/(-3). Let r = -48 - s. Suppose -3*d + 2*j = -31, -2*j + 0*j + 18 = r*d. Is d a multiple of 7?
True
Let a = 9210 + 382. Is 26 a factor of a?
False
Suppose 0 = 4*w - 5*l + 10*l - 13708, w - 5*l = 3452. Is 12 a factor of w?
True
Let v(o) be the first derivative of 19*o**2/2 + 110*o - 19. Is v(34) a multiple of 28?
True
Let h = 9778 - -13276. Is h a multiple of 186?
False
Let l(k) = -k**2 - 6*k. Let v be l(-6). Let h(a) = a**2 + 5*a + 296. Is h(v) a multiple of 37?
True
Is -2*((-301)/20 - -15) + 27679/10 a multiple of 9?
False
Suppose 15*o - 50*o + 729653 = 70813. Is o a multiple of 181?
True
Let g(j) = 338*j**2 + 16*j + 150. Does 70 divide g(5)?
True
Let f = 11918 + 18. Is 18 a factor of f?
False
Suppose 219*d - 293*d = -188996. Is 11 a factor of d?
False
Let o be 170/(-7) + 6/21. Let g be (60/o)/(2/(-236)). Suppose k = t - g, -5*t + 3*t = 5*k - 590. Is t a multiple of 33?
False
Suppose 0 = 4*l + 4*k + 10786 - 49942, 5*k = -4*l + 39154. Is l a multiple of 30?
False
Let s(r) = 0*r - 376*r**2 - 2*r + 48*r**3 + 377*r**2. Let l = -13 - -14. Is 47 a factor of s(l)?
True
Let i(n) = 127*n**3 + 3*n**2 - 74*n + 294. Does 23 divide i(4)?
False
Let t = -1372 - -1889. Is t even?
False
Suppose 775*q = 780*q + y - 184827, -2*q + 73966 = -4*y. Is q a multiple of 15?
False
Suppose 904*i = -905*i + 1811*i - 4908. Is i a multiple of 3?
True
Let l be ((-49)/70 + (-1)/(-5))*18. Let w(j) = -55*j - 24. Is 13 a factor of w(l)?
False
Let r be ((-31)/(-1))/(12/120). Let u = 692 - r. Is u a multiple of 14?
False
Let g = -2675 - -16383. Is g a multiple of 12?
False
Let k(r) = 748*r**2 - 46*r + 170. Is k(4) a multiple of 86?
True
Let f(n) = 83*n + 7. Let j be f(-4). Suppose 5*s + 5*y - 2735 = 0, -4086 = -5*s - 3*y - 1343. Let p = j + s. Does 13 divide p?
False
Suppose -19*f = -2*m - 14*f - 477, 708 = -3*m + 5*f. Let z = 273 + m. Is z a multiple of 4?
False
Let g(x) = -31*x + 1. Let n be g(1). Is (-1026)/(-15)*n/(-12) a multiple of 51?
False
Suppose 0 = -4*k + 3*g + 60579 - 5865, 0 = -4*k - 5*g + 54666. Is 23 a factor of k?
False
Suppose 30*u - 5*r = 25*u + 490, 0 = -r + 2. Does 4 divide u?
True
Let d(u) = 16*u - 97. Let a be d(6). Is a*(-1 - -3) + 69 a multiple of 41?
False
Let f(r) = r**3 + 13*r**2 - 19*r + 2. Suppose 0*g = -5*y + 5*g, -4*y = 4*g - 32. Suppose -98 = -y*w + 11*w. Does 8 divide f(w)?
True
Let a = -1161 + 7067. Is 84 a factor of a?
False
Suppose -18892 = -4*q + 4*r, -15649 = -4*q - 5*r + 3261. Is 148 a factor of q?
False