 r(u) be the second derivative of 11*u**4/12 - 7*u**3/3 - 3*u**2/2 - 2*u. Let i be r(7). Suppose 3*w = i + 18. Is w a multiple of 34?
False
Let a(j) = 4*j - 23. Let i be a(7). Suppose i*x = -38 + 2513. Is 40/(-6)*x/(-30) a multiple of 10?
True
Let o(l) = -158*l**2 - 27*l - 16. Let b(k) = 39*k**2 + 7*k + 4. Let s(n) = 9*b(n) + 2*o(n). Is 5 a factor of s(-1)?
True
Suppose 53*t - 27*t - 200220 = -68*t. Is 30 a factor of t?
True
Let l = 16597 - 6545. Is l a multiple of 10?
False
Suppose -285*a + 4*q = -286*a + 7385, 4*a - 5*q = 29498. Is 3 a factor of a?
True
Let l(a) = -11*a + 20. Let n be (2 + -6)*(-14)/(-4). Is l(n) a multiple of 12?
False
Let b(i) = i**3 - 11*i**2 + 4*i - 13. Let l be b(11). Suppose 35*m - 116 = l*m. Is m even?
False
Suppose -4*v = -5*q - 33408, 21*v - 22*v = 5*q - 8377. Does 10 divide v?
False
Does 15 divide (-113 + -10 + 31)*((-634)/4 - 0)?
False
Suppose 2*n - 11 - 13 = 0. Suppose -5*p + 4*a - n = 0, -3*p - 2*a = -0*a - 6. Suppose p*t + 126 = t. Is t a multiple of 21?
True
Let y be 1952/12 + (-2)/(-6). Suppose -4*r = -2*v + 302, 0 = -v + r + 4*r + y. Suppose 4*a + l - 119 = 164, -2*a + l + v = 0. Is 16 a factor of a?
False
Suppose 2*j + 4*i = -12, 10 = j - 0*i - 2*i. Suppose g - 380 = -2*c, 968 = 8*c - 3*c - j*g. Does 14 divide c?
False
Is 777*3/54*(2 - 6)*-30 a multiple of 148?
True
Let o(v) = 11*v**2 + 5*v - 38. Let f be o(5). Let y = 422 - f. Does 20 divide y?
True
Let f(q) be the first derivative of -9*q**4 + 2*q**3 - 3*q**2/2 - 22. Let o be f(-3). Suppose 93 = 4*m - o. Is m a multiple of 61?
False
Is 125 a factor of (-4076298)/(-959) - (-4)/(-7)?
True
Suppose 5*i + 144 = -z, z = 4*i - 51 - 57. Let b = z + 173. Is 7 a factor of b?
True
Suppose 2*n + 2*x - 424 = 3*x, 0 = 3*n - 2*x - 635. Suppose -z - n = -234. Is 6 a factor of (1 + (-93)/z)*-14?
True
Let l(i) = -2*i**3 + 104*i**2 - 221*i + 93. Is l(49) a multiple of 10?
True
Does 28 divide 1 + (78936/(-45) + (-15)/75)*-3?
True
Suppose 17*v = -114 + 369. Suppose v*q = 5943 + 447. Is 33 a factor of q?
False
Suppose -2*a - 590 = -9*x + 5*x, -3*a + 299 = 2*x. Suppose 2*k + 153 = 3*k - 5*p, -4*p = -k + x. Is 16 a factor of k?
True
Let k(d) = -d**3 + 10*d**2 + 40*d - 5. Let w be k(-8). Suppose 0 = 4*r - 6195 + w. Is 22 a factor of r?
True
Let a(d) = 4*d**2 - 10*d - 6. Let i be (5/2)/((-2)/(-4)). Let p be a(i). Suppose 2*f - p = -4*o, 0 = 5*o - 4*f - 55 - 13. Is 8 a factor of o?
False
Let u(d) = 23*d + 166. Let l be u(-7). Does 36 divide 122/((-138)/30 + l)?
False
Suppose 112*u - 114*u = -10312. Does 14 divide u?
False
Let w = -826 + 828. Suppose 2*q = -w*z + 1120, -5*z - 179 + 2424 = 4*q. Is 37 a factor of q?
True
Let k = -9791 - -19172. Does 43 divide k?
False
Let l(j) = 63*j**2 + 161*j + 19. Is l(-7) a multiple of 2?
False
Does 10 divide (8/(-5))/((-284)/118925)?
True
Is 115 a factor of ((-5)/40*-8 + -1 + 2)*2545?
False
Let o(i) = 5*i**2 - 42*i - 5. Let a be o(-9). Let g = 1680 - a. Does 41 divide g?
True
Suppose 166*q = 159*q + 7224. Is q a multiple of 22?
False
Let f(q) be the first derivative of -q**4 - 13*q**3/3 - 5*q**2/2 + 10*q + 35. Is 59 a factor of f(-6)?
False
Suppose 25410 = -0*v + 6*v + 8*v. Does 12 divide v?
False
Let j = 214 + -207. Suppose 5*v - 3*o = 1468, -j*v - 908 = -10*v - 5*o. Is v a multiple of 54?
False
Let h be -1 + 7/14 + (-1289)/(-2). Suppose 0 = 14*q + 28 - h. Is q a multiple of 18?
False
Let z = -1919 - -1229. Let a = 1861 + z. Does 115 divide a?
False
Let t be 2/4 - (-3)/6. Let x(k) = 132*k**3 + 29*k - 12*k - 18*k - 13*k**3. Does 8 divide x(t)?
False
Let x(j) = -j**2 - j + 18. Suppose -3*l = 3*l - 24. Let q be x(l). Let d(s) = -15*s + 4. Does 7 divide d(q)?
False
Let s(u) = -33*u - 876. Is 2 a factor of s(-38)?
True
Let l be -3 + 3 + -5 + 70. Does 17 divide (1 - l/(-20))*12?
True
Let f be 4/((-52)/(-3495)) - 14/(-91). Is 7 a factor of (-20)/10 + f + 1?
False
Let n = -13788 + 13785. Let y(h) be the second derivative of -5*h**3/2 + 5*h**2/2 + h. Is y(n) a multiple of 24?
False
Suppose 0 = -2*b + 4*r + 10294, -794*r = -2*b - 795*r + 10284. Is 37 a factor of b?
True
Let h = 36200 + -24850. Is 34 a factor of h?
False
Let o(k) = -k**3 + 27*k**2 + k - 20. Let m be o(27). Suppose 3263 - 834 = m*v. Does 9 divide v?
False
Suppose 12*c = 31*c - 266. Suppose -1212 = -2*x - c*r + 15*r, -3*x - 3*r + 1827 = 0. Does 42 divide x?
False
Let b be ((-65451)/(-3))/((-1)/(-1)) - 2. Suppose 4*j + 18648 + 8632 = -5*s, 0 = -4*s - 5*j - b. Is 12 a factor of (-6)/(-16) + s/(-32)?
False
Let h(q) = 24*q**2 - 2*q + 1. Suppose 0 = 4*z - 3*b + 6, 3*b = 5*z - b + 8. Suppose z = -4*u + 5*m - 6, 4*m = m + 6. Is 4 a factor of h(u)?
False
Suppose -3*v + 4*j = -350, 251*v - 254*v + 315 = 3*j. Let a(o) = -115*o - 3. Let g be a(-2). Let m = g - v. Is 13 a factor of m?
True
Let o(r) = 8*r**3 - 3*r**2 - 11*r + 13. Is o(4) even?
False
Let z = 6 - 2. Let f be (z/(-2))/(5/(-365)). Let m = 272 - f. Is m a multiple of 10?
False
Let k = -498 - -4378. Is k a multiple of 8?
True
Let c be 0 + (-8)/4 + (2 - 541). Let o = -295 - c. Is 6 a factor of o?
True
Let h be 170/45 - 4 - (-39345)/27. Suppose -9*i = -h - 1594. Suppose -5*g - 10 = 5, -3*l + i = 2*g. Does 31 divide l?
False
Suppose -5*v - 2*f + 3502 = 0, -2*f - 8 = -0*f. Let t(j) = 18*j + 40. Let r be t(-2). Suppose -2*x + 5*h = -r*x + 447, 3*x - 3*h - v = 0. Does 43 divide x?
False
Suppose 99*k - 192*k + 468255 = 0. Is 44 a factor of k?
False
Suppose -1791*u - 163428 = -1803*u. Is u a multiple of 18?
False
Is 23/(1035/1503500) - (1 + 8/(-9)) a multiple of 21?
True
Let t be (-2)/(-7) - 250/(-7). Let z(i) = -2*i**2 + 23*i + 196. Let n be z(-6). Let h = t + n. Is h a multiple of 22?
True
Let v = 2619 + -3731. Let d = -222 - v. Is 26 a factor of d?
False
Let h(o) = -o**2 + 9*o - 11. Let f be h(2). Suppose 4*u + 0*v - 3*v - 230 = 0, f*u = -3*v + 162. Does 4 divide u?
True
Suppose -4*i - c + 4300 = 972, 5*i + 5*c = 4160. Is i a multiple of 87?
False
Let m = -166 - -163. Is 279 - (2/m)/((-1)/6) a multiple of 25?
True
Let n = -415 + 427. Suppose -m = z - 515, -n*m + 1028 = -10*m + 4*z. Is m a multiple of 32?
False
Let t(k) = 4*k**3 + 10*k**2 - 32*k + 32. Is t(9) a multiple of 16?
False
Let z be 2*(-4 - (-25)/10). Let v be 180 - (2 - (-18)/z). Let j = -130 + v. Is 17 a factor of j?
False
Let i(v) = 20*v**2 + 178*v - 30. Is 6 a factor of i(-11)?
True
Suppose 1268 = 2*r + s, -r + 533 = s - 99. Is r a multiple of 3?
True
Let r = 13848 - -705. Is 11 a factor of r?
True
Suppose 53*i - 51*i - 10 = 0. Does 14 divide ((-329)/21)/(i/(-75))?
False
Let a(v) = -6*v**3 - 11*v**2 - 16*v + 22. Let k be a(-5). Let r = k - 337. Is r a multiple of 5?
True
Suppose -258623 = -136*n + 197929. Does 25 divide n?
False
Suppose r - 62 = -2*m, -137 = -5*m + r + r. Suppose 4*i = 2*w - 54, w + 4*i + m = 2*w. Is 5 a factor of w?
True
Let m(t) = 3*t - 86. Let s be m(39). Suppose s*c - 741 = 28*c. Is c a multiple of 19?
True
Suppose -4*r - r = 450. Let o = 71 + r. Let h(s) = -4*s + 15. Is 11 a factor of h(o)?
False
Let f = -9033 - -16027. Is f a multiple of 15?
False
Let b = -74 - -74. Suppose b = x - 11*x + 460. Suppose 0 = x*g - 43*g - 99. Is g a multiple of 33?
True
Suppose g + g = 68. Let j be (138/15)/(20/(-50)) - 1. Let z = j + g. Is z a multiple of 5?
True
Suppose 26*n - 105 = -9*n. Suppose -5*z + n*d = -2977, 6*z - 5*d = 2*z + 2392. Is 37 a factor of z?
False
Let o(c) = -64*c + 1331. Does 136 divide o(12)?
False
Let o be (-8)/(-6) - (-2046)/(-198). Let c(s) = s**2 - 7*s - 100. Is 7 a factor of c(o)?
False
Let q(t) = -t**3 + 25*t**2 - 63*t + 43. Let r be q(21). Let p = 682 - r. Is p a multiple of 18?
True
Let h(n) = -4*n. Let q be h(2). Let r = q - 4. Is (-1010)/(-8) - r/(-48) a multiple of 14?
True
Let m be (-16)/2*(14 - 58/4). Suppose 2*j + s - 29 = -4*s, 3*s - 37 = -m*j. Is j a multiple of 7?
True
Let h be ((28/(-35))/((-1)/30))/2. Suppose g - 5*g = -h. Suppose g*f = -4*f + 56. Is 2 a factor of f?
True
Let c(v) = -29 - 3*v - 21 + 37. Let w be c(-5). Suppose 892 = 3*d - 4*x - 18, w*d - 610 = x. Is 51 a factor of d?
True
Let z(r) = -r**3 - 27*r**2 + 19*r - 196. Does 8 divide z(-28)?
True
Suppose c + 12 = 5*k, 2*k - c = 7*k - 18. Suppose 0 = -0*t - 4*t - 4*y + 32, k*t = 3*y - 6. Is 6 a factor of ((-294)/(-1))/t + 4?
True
Suppose 0 = 25*t - 114770 - 349755. Is t a multiple