32710/(-25) + 6). Let i = x - 880. Is 30 a factor of i?
False
Let d(z) = 137*z**3 - 10*z**2 + 899*z - 5362. Is d(6) a multiple of 236?
True
Let m(f) = -5*f + 19. Let l be m(10). Let o = 108 + l. Suppose -h + 79 = w + h, w + 3*h - o = 0. Is w a multiple of 28?
False
Let z = 2908 - -8716. Does 72 divide z?
False
Let l(m) = m**3 + 64*m**2 + 77*m + 62. Does 64 divide l(-61)?
True
Suppose -30*b = b + 12648. Let u = b + 1020. Is u a multiple of 68?
True
Let c(s) = s**3 - 4*s**2 - s + 1. Let g be c(4). Does 11 divide 7*21/(-9)*g?
False
Let u be (1/2)/(1/(-2 - 4)). Is 13 a factor of (-24)/36 - 323/u?
False
Let l(u) be the third derivative of 1/60*u**5 + 0*u**3 + 1/12*u**4 - 13/20*u**6 + 0*u + 0 - 20*u**2. Does 14 divide l(-1)?
False
Let w be 59 + -1 - 6*6/9. Suppose -j - j = 3*g - 141, -3*j = 3*g - 213. Let f = j - w. Is f a multiple of 3?
True
Suppose -1304*w + 1303*w = -2915. Is 5 a factor of w?
True
Let b(i) = 3*i**2 + 2*i**2 + 1 - i**2 - 4*i + i. Suppose -787 = -8*a - 755. Is 3 a factor of b(a)?
False
Let t = 39 - 37. Suppose 4*o = 4*z - 24, 4*z = -3*o + t*o + 49. Is z a multiple of 11?
True
Let u(l) = 123*l**3 - 21*l**2 + 23*l + 86. Does 37 divide u(3)?
False
Suppose -1908 = -176*u + 177*u. Is 5/(-10) - (u/8)/9 a multiple of 12?
False
Suppose -280*z + 277*z + 3945 = o, 3*o - 3939 = -3*z. Does 14 divide z?
True
Suppose 0 = 4*p + 4*h + 3 - 31, -p + 11 = 2*h. Suppose -874 = -2*o - 2*o + 3*v, 0 = p*o - v - 658. Does 38 divide o?
False
Let l(m) = -12*m + 20. Let b be l(-6). Suppose -12 = -2*c + b. Is 43 a factor of c?
False
Suppose -12*i - 367118 = 253*i - 3159423. Is i a multiple of 41?
True
Let y = -751 - -1307. Suppose -16 = -2*n - 6. Suppose n*h - y = 4*w, -5*w + 6 = 26. Does 11 divide h?
False
Let g be ((-2)/8)/((-3)/48). Suppose -g*h + 24 = 2*d, -3*h + 20 = d + 5. Suppose -2*w = -d*w + 540. Does 13 divide w?
False
Suppose 0 = 51*t - 37*t - 64218. Does 6 divide t?
False
Suppose -40*g = -41*g. Suppose -3*j + 5*m = -28, 2*j + g*m - 4*m = 20. Suppose -585 = -j*s + s. Is s a multiple of 11?
False
Let c = -229 - -1076. Suppose 4*l + 1409 = 5*t + 5*l, 3*t = l + c. Is t a multiple of 47?
True
Suppose 0 = 3*n + 4*g - 7876, -g + 2621 + 7889 = 4*n. Suppose 0 = -21*r + 12*r + n. Does 4 divide r?
True
Suppose 5*b = -3*l + 107757, 3*b = 5*l + 84721 - 20026. Does 143 divide b?
False
Suppose p = -2*z + 11175, -5*z - 17127 = -3*p + 16365. Is 144 a factor of p?
False
Suppose -82*u - 138*u = 682042 - 2315542. Is u a multiple of 75?
True
Let j = -3941 - -9881. Is j a multiple of 6?
True
Let g(j) = 11*j**3 - j**2 + 9*j - 9. Let l be g(3). Suppose 846 + l = 6*v. Is v a multiple of 24?
True
Let p be 2 - 0*(2 - 1). Suppose 2*h + p*h = 20. Suppose -51 = -7*a + h. Is 8 a factor of a?
True
Let h = 9969 + 9976. Is 5 a factor of h?
True
Suppose -3*p - 3*p = -216. Let u = 51 - p. Suppose 5*n + 0*n - u = -5*w, 3*n + 2*w - 8 = 0. Is n even?
True
Let l be (4/(-5))/((-3)/(-465)). Let c = -1183 - -1392. Let g = l + c. Is 17 a factor of g?
True
Let r = 340 - 192. Let g(u) = -71*u + r*u - 28 - 80*u. Is g(-17) a multiple of 23?
True
Let r = 794 + 48. Is 7 a factor of r?
False
Suppose -g - 3 = 12. Let w = 14 + g. Does 25 divide (-681)/(-9) - 0 - w/3?
False
Let l(g) = 284*g + 1367. Is l(43) a multiple of 37?
True
Let h(k) = 53*k**3 - 2*k**2 - 20*k + 214. Does 125 divide h(6)?
False
Let o(h) = -3 + 1 + 2 - 12 - 1287*h. Is o(-1) a multiple of 15?
True
Let i(d) = 21*d + 137. Suppose -1 = -11*t + 32. Is 31 a factor of i(t)?
False
Let a(n) = 1471*n + 240. Does 16 divide a(3)?
False
Let h = -1 - -3. Let u(v) = 2*v + 2*v - 7*v + v**h + 27 - 9*v. Does 12 divide u(-10)?
False
Let a = 86 - 71. Let s be (2 - 7 - -2)*(-35)/a. Suppose 3*y - s*y + 626 = 2*l, -2*l - 10 = 0. Does 17 divide y?
False
Let a(y) = 2*y**2 - 4*y + 22. Let d(z) = 0*z - z**2 - 2*z + 12*z - 8. Let t be d(8). Is 13 a factor of a(t)?
False
Is (-20)/(-130) + -5*(-10446)/195 a multiple of 2?
True
Let g(d) = 5*d**2 + 12*d + 18. Let o be g(-6). Let f = 72 + o. Is 6 a factor of f?
True
Does 39 divide (3406/(-1048))/(1/(-2940))?
True
Let k(m) = 13*m**3 + 6*m**2 + 6*m + 9. Let w = 565 - 561. Does 87 divide k(w)?
False
Suppose 351*s = 829*s - 3492006 - 5709494. Is s a multiple of 32?
False
Suppose 84*n - 121968 = 78*n. Does 77 divide n?
True
Let h(d) = d**3 + 5*d**2 + 264. Let i(f) = f**3 + 6*f**2 + 266. Let k(m) = 7*h(m) - 6*i(m). Does 36 divide k(0)?
True
Suppose 8 = -4*j + 8. Let u be (j + -3)*12/(-18). Suppose -3*h = -3*l + 390, -u*h - 97 = -4*l + 423. Is l a multiple of 13?
True
Suppose 3*h - 76 = -3*n + 7*h, 0 = -4*n + 5*h + 102. Suppose 10 - n = -3*k. Suppose j = k + 17. Does 22 divide j?
False
Suppose -q + 3*z = -8786, 3*q = 3*z + 9367 + 16991. Does 10 divide q?
False
Suppose 4*u - 2*i = i - 11, 4*u - i = -17. Is 13 a factor of (u/(-15))/((-2)/(-6)) + 72?
False
Suppose 3*c - 222 = -3*p, 383 = 5*c + p + 21. Let y be 2/(-9) - 704/c. Does 41 divide y/(-8) - (-979)/4?
True
Let h = -6177 - -8829. Let x = -1595 + h. Is 15 a factor of x?
False
Let v(p) = 2615*p + 2714. Is v(3) a multiple of 59?
False
Does 52 divide 6/210*60695 + 2/(-14)?
False
Let a(o) = o**3 - 16*o**2 + 14*o + 13. Let q(j) = 4*j**2 - 1. Let d be q(-2). Let c be a(d). Is 3 + (c + 3 - -64) a multiple of 34?
True
Let d = 13620 - 9244. Let i = 2931 - d. Does 18 divide (-3)/12 + i/(-20)?
True
Let x(d) be the second derivative of 4*d**2 + 1/6*d**4 - 46*d + 0 - 23/6*d**3. Is 20 a factor of x(12)?
True
Let d(i) = 147*i**2 + 21*i - 40. Is 45 a factor of d(-10)?
False
Let a = -2385 + 2490. Does 6 divide a?
False
Let t(k) = 10*k**2 + 209*k - 96. Is 36 a factor of t(-25)?
False
Suppose 10*v + 7*v = 0. Suppose v = -g - 4*f + 228, -3*g = -2*f - 337 - 305. Is 54 a factor of g?
True
Let z(x) be the first derivative of 59*x**2 + 2*x + 3. Suppose -17 = -18*t + 1. Is 15 a factor of z(t)?
True
Let s = -412 - -30. Let v = s - -1041. Suppose 4*d = -p - 2*p + v, 5*p - 1060 = d. Is p a multiple of 44?
False
Let l(q) = -q**3 - 35*q**2 - 29*q + 349. Is l(-37) a multiple of 32?
True
Suppose 11*o - 149*o = 125841 - 830469. Is 60 a factor of o?
False
Suppose -d + 10 - 28 = -3*t, d - t = -28. Let a = 36 + d. Suppose -99 = -k + a*y, y = k - 102 + 1. Is k a multiple of 17?
True
Suppose -4*g - 77 = -3*o - 3*g, 5*g = -3*o + 47. Let m = o + -21. Suppose -130 = -w - 4*c + 6, c - 419 = -m*w. Is 35 a factor of w?
True
Let p(g) = -g**2 - 2*g + 3. Let c be p(0). Suppose 5 = -3*l + 2, -427 = -c*q - 5*l. Suppose 16*n - 12*n = q. Is 15 a factor of n?
False
Let m(f) = 9*f**2 + 22*f - 40. Is m(20) a multiple of 32?
True
Let m(z) = z**3 - 16*z**2 + 22*z + 24. Let g be m(14). Let y = 207 + -113. Let b = g + y. Is b a multiple of 23?
False
Suppose 0 = -x + 218 + 112. Suppose -9*h + 399 = -x. Does 9 divide h?
True
Let y = -11 - -16. Suppose 53 + 327 = 5*k. Suppose 3*h - y*h = -k. Does 10 divide h?
False
Suppose -3*n + 461 = 5*c - 594, 4*n - c - 1422 = 0. Suppose -n = -7*i + 6*i. Is 71 a factor of i?
True
Let s(m) = -10*m + 17. Let p be s(-5). Suppose 2*a + p = 155. Does 16 divide (-4)/a + 7399/77?
True
Let y = 800 + -796. Does 3 divide (y*(-2)/12)/(7/(-210))?
False
Suppose -2*b = 2*w + 3*b + 939, -2*w = -2*b + 946. Let l be 2/12 + w/(-48). Suppose a = l*a - 432. Does 12 divide a?
True
Let g = -7084 - -11527. Does 47 divide g?
False
Let z be ((-532)/(-8) + -2)/((-2)/(-20)). Let y = -490 + z. Is 31 a factor of y?
True
Let n(v) = 2*v - 12 - 9*v**2 - 3*v + v**3 + 3*v - 8*v. Let l be n(10). Let c = l - -122. Is c a multiple of 15?
True
Let f = 2611 + -828. Suppose 3*m = f + 2111. Is m a multiple of 22?
True
Is 268 a factor of (35 - 11)*(-402)/12*-9?
True
Suppose -2*s = -10, 13*s = -2*g + 8*s + 5737. Does 24 divide g?
True
Let z(w) = 8*w + 100. Let m = -90 - -100. Is 20 a factor of z(m)?
True
Let x(t) = -794*t + 10728. Is x(-30) a multiple of 70?
False
Let c = 215 - 139. Let b = c - 72. Suppose 0*i + 531 = 5*i + 3*m, 2*i = b*m + 202. Does 35 divide i?
True
Is 13 a factor of 1688 + (-138)/115*(-5)/2 + -5?
False
Let i be 28/20 + 2 - (-3)/5. Suppose -i*h = -4*m - 8, 0*m - 4*m = 0. Suppose 3*b = 3*r - 456, 2*r + h*b - 207 - 89 = 0. Is 36 a factor of r?
False
Suppose -2*h - 101 = -i - 18, 134 = 2*i + 4*h. Suppose -20*g = -23*g + i. Is g a multiple of 16?
False
Let i(x) = 55*x**3 + 4*x**2 + 11*x - 109. Is 109 a factor of i