- 14 - w. Does 5 divide i(13)?
True
Let d(g) be the second derivative of g**4/3 - 13*g**3/3 + 9*g**2/2 - 289*g. Is d(12) a multiple of 21?
True
Let k be 265464/288 + 6/(-8). Let a = 1385 - k. Does 16 divide a?
True
Suppose 5*v - 159185 = -30*z + 33*z, -127356 = -4*v + 4*z. Is v a multiple of 11?
True
Let k be (5082/(-44))/(3/(-1))*-2. Let q = 19 - k. Is q a multiple of 6?
True
Let b = 36 + -36. Suppose -99*q + 95*q + 228 = b. Is q a multiple of 2?
False
Suppose -3675 = -5*c - 5*u + 14120, -6*u = 5*c - 17794. Is c a multiple of 40?
True
Let m be (30/18)/(2 + 69/(-36)). Let r(h) = 4*h**2 + 7*h - 121. Is r(m) a multiple of 62?
False
Suppose -29386 = -3*k + 4*a, -12 = -519*a + 522*a. Is 110 a factor of k?
True
Does 55 divide (75/5 - 9) + 874?
True
Let c = 583 - 99. Suppose -17*r + 19*r = c. Is r a multiple of 9?
False
Let d(z) = -z + 13. Let g(w) = -12. Let q(y) = 5*d(y) + 6*g(y). Suppose -16 - 48 = 4*n. Is 19 a factor of q(n)?
False
Suppose -2*u = 3*u + 2*c - 109, 0 = 4*u + 4*c - 92. Is 16 + u + 3/(6/(-4)) a multiple of 3?
False
Let a(g) be the second derivative of -g**4/12 - g**3/6 + 2*g**2 + g. Let m(w) = 2*w**2 + w - 5. Let q(t) = 4*a(t) + 3*m(t). Does 28 divide q(-5)?
True
Let d be 0 + 0*(-5)/15. Suppose 0 = -2*n + 4*j + 140, -j + 2 - 3 = d. Is 8 a factor of n?
False
Let p(o) = -o - 3. Let f(z) = -194*z - 17. Let u(v) = -f(v) + 3*p(v). Is u(2) a multiple of 45?
False
Suppose 0 = 13*v - 15*v + 3*o + 35888, -v = 3*o - 17971. Does 13 divide v?
True
Suppose -1583*p = -1584*p + 36. Suppose 0 = p*o - 27*o - 8505. Is 35 a factor of o?
True
Let f(y) = -6*y**3 - 8*y**2 + 339*y + 2704. Is f(-8) a multiple of 29?
True
Suppose 5*x = -0*x + 2660 + 21040. Does 60 divide x?
True
Suppose -251 = -j - 5*p, 8*j + 4*p - 247 = 7*j. Suppose w - j = -2*x, 2*w + 6 = -4. Is 8 a factor of x?
False
Suppose 9*k - 5*k - 3136 = 0. Suppose -k = -3*n + m + 187, -328 = -n - 4*m. Is n a multiple of 50?
False
Is ((-4333)/(-14))/((-7)/(-2072)*4) a multiple of 15?
False
Suppose 12*b = 8*b + 36. Suppose v - 5*f + b = 24, 4*v = 3*f + 94. Is v even?
False
Let z be (1 - 36/28) + (-4245)/(-35). Let x = 140 + -93. Let q = x + z. Does 42 divide q?
True
Let d = 7882 + -5070. Is 76 a factor of d?
True
Let d = 3387 + 3858. Is d a multiple of 69?
True
Let p(y) = -294*y**3 + y**2 + 12*y + 20. Does 9 divide p(-3)?
False
Suppose 0 = 2*a - 4*a + 32. Suppose 17*n - 112 = a*n. Let j = -62 + n. Is 25 a factor of j?
True
Suppose 224 + 240 = -4*t. Let h(l) = l**3 - 19*l**2 - 73*l - 4. Let i be h(-4). Let j = i - t. Does 9 divide j?
True
Let l = 110 - 105. Let q(r) = 38*r - 25. Is 12 a factor of q(l)?
False
Let k(q) = q - 2. Let j be k(5). Let u(l) = -4*l**3 + l**2 - 1. Let i be u(-1). Suppose -j*c + 58 + 340 = y, 520 = i*c - 4*y. Is 33 a factor of c?
True
Let g(k) be the second derivative of 11*k + 3*k**2 + 0 + 1/6*k**3. Is g(15) a multiple of 13?
False
Let d(c) = -5*c**3 - 5*c**2 + 17*c - 15. Let x(g) = -4*g**3 - 7*g**2 + 15*g - 14. Let w(j) = -3*d(j) + 4*x(j). Is w(-15) a multiple of 38?
True
Let w be 121/44 - 3/4. Let v be (2/(-4))/(60/(-600)). Suppose -w*i = 3*x - 109, 0 = -x - x - v*i + 80. Is 16 a factor of x?
False
Let f = 87 + 630. Let d(g) = -g**2 + 26*g + 29. Let h be d(27). Suppose f = 5*u - h*y + 98, 0 = u - y - 125. Is 7 a factor of u?
False
Is 36 a factor of (-103*(-2 - -3))/(103/(-10300))?
False
Let c be (11 - (9 + -3)) + (-3)/1. Suppose 1880 + 1344 = c*p. Is 13 a factor of p?
True
Let i(l) = 213*l + 4. Let g be i(-2). Is 25 a factor of 4/(-6) - (1 + g/3)?
False
Let a(p) = -83*p + 23. Let i be a(-3). Let j = 5 - 3. Suppose 0 = -4*g + j*s + 272, g - 5*g + 4*s = -i. Is g a multiple of 34?
True
Let s(p) = -p**2 - 10*p + 11. Suppose 4*c - 2*c = -60. Let o = c - -25. Is s(o) a multiple of 4?
True
Let h = 14 - 8. Let w be 16/h + 8/(-12). Is (w/3)/(4/186) a multiple of 28?
False
Let v(y) = -27*y**3 + y**2 + y. Let x = -108 + 76. Let g = 31 + x. Does 9 divide v(g)?
True
Suppose 3*t + 230 = 8*t. Let i be (572/(-11)*2/(-1))/1. Suppose 0 = -2*z + t + i. Is 8 a factor of z?
False
Suppose 0 = -n + 3*o + 4902, 3*n - 193*o - 14750 = -195*o. Is n a multiple of 54?
True
Suppose 0 = 3*u + 4*s - 8*s + 1, 0 = -u + s + 1. Suppose -14 = u*r - 3*r. Let o(h) = 4*h**2 + 9*h - 13. Does 44 divide o(r)?
False
Suppose -4*a + 39 = -653. Let j = -90 + a. Is j a multiple of 10?
False
Let d = -56 - -62. Suppose -21*m + 12879 = d*m. Is m a multiple of 9?
True
Suppose 623110 = 63*z - 450867 + 157138. Does 13 divide z?
False
Let z(m) = 226*m**2 + 89*m - 774. Is z(12) a multiple of 72?
False
Let a be 0 + -2 + 6 + 0 + 1. Suppose -2*z = -5*j + 11, 0*z - 2*z = a*j - 39. Suppose -5*n = -m - 155, z*m = 4*n + 2*m - 145. Is 4 a factor of n?
False
Let d = 47 + -41. Suppose -3*s - 114 = -d*s + 5*r, 2*r = -5*s + 221. Let j = s + 27. Does 15 divide j?
False
Let q = -6390 + 55849. Is q a multiple of 10?
False
Suppose g - 3*r = 15350, 1473*g - 1476*g = 2*r - 46028. Is 28 a factor of g?
True
Let h = 13509 - 7315. Does 38 divide h?
True
Let l(r) = 86*r**2 - 6*r + 62. Does 34 divide l(7)?
False
Suppose 0 = 7*f - 9*f - 5*k + 21, 27 = 5*f + 4*k. Suppose 0 = f*s - 11*t + 15*t - 3610, 5*s + 3*t = 6024. Does 42 divide s?
False
Suppose -4*j + 3*d = -26412, 4*j - 26412 = 12*d - 20*d. Is 31 a factor of j?
True
Let g be (-2 - 7)*2*(-35232)/144. Suppose -8*l + g = -2380. Is 16 a factor of l?
True
Let u(s) = -s**3 - 3*s**2 + 2*s + 6. Let q be ((0 - 0) + -6)/2. Let y be u(q). Suppose 3*p - 4*j + y*j - 263 = 0, -2*p + 142 = 4*j. Is 19 a factor of p?
False
Does 10 divide (6 - (-325)/(-5))*(-17 - -3)?
False
Let f(l) = 2134*l**2 - 14*l - 12. Does 78 divide f(-1)?
False
Let k(v) = v**3 + 7*v**2 - 11*v - 8. Let h be 128/(-40)*(-5)/2. Suppose -3*l + 2*l = h. Is 6 a factor of k(l)?
False
Suppose 0 = 5*g - 37 + 12, -2*g - 5796 = -2*u. Let l = u + -1726. Does 12 divide l?
False
Let v = 52 + -52. Suppose v = -3*a + 7*a - 264. Suppose 0 = 8*m - 222 - a. Is 9 a factor of m?
True
Suppose -13*f = -14 + 274. Does 14 divide ((-8)/5)/((-8)/f) + 597?
False
Does 15 divide (4212416/336 - 4/6) + 2/(-7)?
False
Suppose -2*k = -9*k - 105. Let u be k/(-3) - 122*-2. Let y = -135 + u. Is 19 a factor of y?
True
Suppose 9*d - 71845 = 7736 + 5937. Is d a multiple of 33?
False
Let y = -14 - -16. Suppose -j - 3*s + 0 = 1, y*j - 7 = 3*s. Suppose -3*d + 188 = j*g, 74 = g + 5*d - 13. Is 27 a factor of g?
False
Let z be (6/(-9))/((-4)/54*3). Suppose -7 + z = -f. Suppose -4*o + 541 = 5*m - 499, -f*o + 832 = 4*m. Is 52 a factor of m?
True
Is (6 - (2 + -2 + 0)) + (-306 - -22584) a multiple of 106?
False
Let f(s) = -s**2 - 10*s - 22. Let b be f(-4). Suppose 3*t = b*g + 204, -378 - 132 = 5*g + 2*t. Let i = g + 150. Is 16 a factor of i?
True
Let z = -2141 + 1331. Does 46 divide (552/(-9))/((-12)/z*-5)?
True
Suppose 0 = -2*x + 266 + 364. Suppose -x = 79*d - 84*d. Is 2 a factor of d?
False
Suppose -2*l - 2*b + 254 = 0, -b + 233 + 284 = 4*l. Suppose 0 = 125*u - l*u + 835. Is u a multiple of 34?
False
Suppose 155*w = -3*y + 156*w + 9729, -y = -5*w - 3285. Is y a multiple of 45?
True
Suppose f + 3*z - 9 = 0, -f + 9 + 24 = -5*z. Let r be (-9)/(f/20) + 3. Is 7 a factor of (10 + -2)/(((-2)/r)/1)?
True
Let j be 9 - (9 - 5) - 30/10. Suppose i + 2*b - 1293 = 0, j*b = -4*i - b + 5177. Is i a multiple of 16?
False
Suppose -541*x + 534*x = -16450. Let v = x + -1664. Is 49 a factor of v?
True
Let c(o) = -40 + 11 + 4*o**2 + o**3 + 14 - 12*o - 22*o**2. Is c(19) a multiple of 59?
True
Let m(u) = u**3 + 7*u**2 + 8*u. Let q be m(-4). Let x = q + -8. Suppose 910 = -l + x*l. Is 21 a factor of l?
False
Suppose 5*b - 22 = -4*l, -b = 4*b + l - 13. Suppose h + u = -u + 80, -b*h + u = -135. Does 5 divide h?
True
Let b(z) = z - 1. Let i be b(3). Suppose 0 = -k - i + 11. Does 8 divide 408/k + 0 + (-2)/6?
False
Let o be (-6 - -10) + 1*-2. Suppose -5*s - 4*z + 362 = -248, o*z + 10 = 0. Let m = -115 + s. Is 5 a factor of m?
False
Suppose -2*h + 37 = -3*h. Suppose 4*v = 3*q - 198, -4*q - 18*v = -14*v - 292. Let c = h + q. Is 5 a factor of c?
False
Let u(y) = -y**3 + 4*y**2 - 3*y + 9. Let k be u(4). Let x(f) = 2*f**2 + 12*f - 9. Let n(s) = -s**2 - 12*s + 8. Let c(z) = k*n(z) - 2*x(z). Does 4 divide c(6)?
False
Let y(c) be the first derivative of -8 - 10/3*c**3 + 1/4*c**4 - 6*c - 11/2*c**2. Is y(12) a multiple of 25?
T