et k(b) = 365*b - 37. Let d(z) = -1825*z + 185. Let h(v) = 2*d(v) + 11*k(v). Does 11 divide h(2)?
True
Suppose 0*z = -6*z - 2*z + 39112. Is z a multiple of 36?
False
Let i be -8 - 2/(6/(-9)). Let x = i - -12. Let t(p) = 2*p**2 + 4*p - 19. Is 22 a factor of t(x)?
False
Let w(c) = -175*c - 270. Let o be w(-20). Suppose -6*g + o = 350. Is 20 a factor of g?
True
Let t(k) = -4*k**2 - 6*k. Let z be t(5). Let i = -96 - z. Suppose -i = -4*c + 326. Is 30 a factor of c?
True
Let u = 336 - 198. Suppose 3*y - 5*o = -0*o + 76, 3*o - u = -5*y. Does 3 divide y?
True
Suppose 0 = -4*q + 3*z + 30479, -21*q + 4*z = -22*q + 7634. Does 3 divide q?
False
Let z(s) = 270*s**2 - 4*s - 6. Let i(n) = -180*n**2 + 3*n + 4. Let q(f) = -8*i(f) - 5*z(f). Suppose 30*v = -3 - 27. Is 23 a factor of q(v)?
True
Let v = 10925 - 3358. Is v a multiple of 65?
False
Let u = 139 - -3044. Is u a multiple of 55?
False
Let v(f) = 354*f - 384. Is v(4) a multiple of 4?
True
Let r = -797 - -806. Suppose -s = r*q - 10*q - 20, 121 = 5*s + 2*q. Is 23 a factor of s?
True
Let l = 17658 + -9817. Is l a multiple of 11?
False
Suppose -5*v - 4*d + 18821 = -10766, -11846 = -2*v - 3*d. Is v a multiple of 86?
False
Suppose -28*w = -27*w - 37. Let l = 34 - w. Does 8 divide (4 + -3)/((-4)/(l - 257))?
False
Let a(f) = 36*f + 302. Let x be a(17). Suppose 2*i = z + 7*i - x, -i - 908 = -z. Is 78 a factor of z?
False
Let y = 19229 + -7533. Does 43 divide y?
True
Let a(t) = t**3 - 15*t**2 + 19*t - 51. Suppose -2*b - 2*c + c = -27, -5*b + c = -71. Does 19 divide a(b)?
True
Let q(l) = -5*l - 10. Suppose 9*u - 5*u + 28 = 0. Let n(f) = 6*f + 9. Let t(g) = u*q(g) - 6*n(g). Is 29 a factor of t(-13)?
True
Let c be (3 + (-16)/6)/((-9)/(-81)). Suppose 5*h + 5*m = 885, c*h - 20 - 513 = -4*m. Does 8 divide h?
False
Let l(u) = u**3 - 7*u**2 + 11*u - 13. Let o be l(6). Suppose 4*w = 7 + o. Suppose 9*y - 501 = w*y. Is 18 a factor of y?
False
Let d = -991 - -981. Let p(g) be the second derivative of g**5/20 + 3*g**4/4 - 4*g**3 - 15*g**2/2 - g. Does 17 divide p(d)?
False
Suppose 0 = -7*o + 5*o + 20. Suppose 0 = 2*z - o - 22. Let y(j) = 3*j - 16. Is y(z) a multiple of 4?
True
Let x be 2 - 162 - 3*(0 + 1). Let b = -133 - x. Is b a multiple of 2?
True
Suppose -6*v + 720 = 3*v. Suppose -v*i = -93*i + 13585. Does 12 divide i?
False
Let d = 3882 - 1385. Is d a multiple of 3?
False
Suppose 6*u + 5877 = 3*w + 4*u, 2*w - 5*u - 3907 = 0. Does 10 divide w?
False
Suppose -444 = 75*d - 69*d. Let x be (25/(-3))/(3/(-90)). Let j = d + x. Does 22 divide j?
True
Let z(n) be the first derivative of -n**4/4 + 4*n**3 - 8*n**2 + 14*n + 32. Is z(10) a multiple of 9?
True
Let u(b) = -2*b**3 - 4*b**2 + b - 1. Let v be u(-3). Let j(t) = 2*t + 31. Let w be j(-13). Suppose -q - w*i + v = 0, 30 = q - 0*q - 3*i. Is 23 a factor of q?
False
Let t(x) = -3*x**3 + 3*x**2 + 3*x - 4. Let z be t(3). Let v = z + 57. Does 4 divide v?
True
Let m be 5/(((-1)/(-1))/1). Suppose -2*d = -2*l + 5*l + 313, -m*d + 3*l - 793 = 0. Let s = -112 - d. Is 23 a factor of s?
True
Let z(b) = -6115*b - 5585. Is z(-5) a multiple of 34?
True
Suppose 2*q - 13446 = 3*i, -2*q - i + 5839 = -7599. Does 80 divide q?
True
Let z = 26 + -22. Let b(s) be the third derivative of -s**6/120 + s**5/10 + 5*s**4/24 - 2*s**3 - 4*s**2 + 2. Is b(z) a multiple of 10?
True
Suppose 3*j - 13*f = -15*f + 1432, -5*j + 4*f = -2372. Suppose -1358 - j = -7*v. Is v a multiple of 18?
False
Let a(l) = 5*l**3 + 3*l**2 - 2*l + 7. Let u(n) = -6*n**3 - 3*n**2 + 3*n - 7. Let z(r) = -7*a(r) - 6*u(r). Is z(5) a multiple of 3?
False
Suppose 0 = -104*m + 17*m + 1323270. Does 29 divide m?
False
Suppose 192 = -17*m + 804. Let r = 65 - m. Is 18 a factor of r?
False
Suppose 4*g = 3*b, g - 11 = -5*b + 4*g. Suppose -89 = -b*k + 5*z + 91, 3*z = k - 45. Does 9 divide k?
True
Let r(l) = 121*l + 511. Does 9 divide r(32)?
True
Is (16 + -22 + (-2 - 46))*(-18)/4 a multiple of 15?
False
Let k(j) be the third derivative of -j**6/60 - j**5/60 + j**4/24 + j**3/3 + 2*j**2 + 213*j. Suppose 2 + 7 = -3*b. Is 5 a factor of k(b)?
False
Suppose -119*x + 118*x = -728. Suppose -9*p + x = -p. Is 13 a factor of p?
True
Let k(u) = -5*u + 10. Let n be k(2). Suppose n = -3*o - 5*y + 153, -3*y + y = 6. Does 14 divide o?
True
Let s(y) = 155*y - 52. Let j be s(15). Suppose 2*l = 5*b - j + 107, b = -l + 429. Is b a multiple of 16?
True
Let s(z) = 63*z - 5. Let t(d) = -21*d + 2. Let o(y) = -2*s(y) - 7*t(y). Let p be o(2). Let a = p - 22. Does 2 divide a?
True
Let w(i) = i**3 + 2*i + 10. Let q be w(9). Suppose -5*k + q = -933. Let z = -190 + k. Does 37 divide z?
True
Let n(z) = 7*z**3 - z**2 - 2. Suppose 0 = -4*s - 4*u + 20, -3 - 6 = -5*s + 3*u. Suppose -5*g = -2*g - s*y + 9, 3*g - 4*y = -14. Does 13 divide n(g)?
False
Suppose 136444 = 3*o - 2*d, -302*o - d = -297*o - 227411. Does 6 divide o?
False
Let c(s) be the second derivative of -13*s**3/6 - 60*s**2 - 7*s + 9. Is c(-39) a multiple of 8?
False
Suppose 568*u = 446*u + 1542324. Is u a multiple of 42?
True
Let g be (-754*3)/6 + 6. Let n = -209 - g. Does 18 divide n?
True
Let w = -5438 - -14401. Is w a multiple of 19?
False
Let h be -20*180/(-25)*-1. Is 9 a factor of ((-1620)/h)/(1 + (-22)/24)?
True
Let a = -224 + 228. Suppose a*v = 1380 + 72. Is 11 a factor of v?
True
Does 24 divide (-2)/(-6) + 10/12*16374074/415?
True
Let i(y) = 225*y + 1245. Does 55 divide i(4)?
True
Suppose 0 = -4*j + 2*j - 4*s + 964, 5*j = -3*s + 2438. Is j a multiple of 18?
False
Let l be (-4)/(-2)*30/12. Suppose -l*p = -3*f - 274, -3*p + 250 = 2*p + 5*f. Suppose y = 3*t - 109, -5*t - 5*y + p + 102 = 0. Does 7 divide t?
True
Let k(h) = -37*h**2 + 67*h**2 + 14*h + 7*h - 19*h**2 - h**3 + 14. Does 49 divide k(11)?
True
Let z = 129 - 331. Let v = z - -457. Is 15 a factor of v?
True
Suppose 33*y = 7*y + 156. Is 2 a factor of 33/2*(y - (-30)/(-9))?
True
Let z = -10932 - -20643. Is z/36 + 4/16 a multiple of 18?
True
Suppose 0 = -4*j + w + 136, -5*w - 85 = j - 4*j. Let v = -32 + j. Suppose -v*h + 84 = -48. Does 11 divide h?
True
Let v = 8826 - 7608. Is 29 a factor of v?
True
Let i(b) = 12*b - 11. Let h = 31 - 26. Let n be i(h). Let k = 38 + n. Is k a multiple of 29?
True
Let f(z) be the third derivative of 5*z**6/24 + z**5/30 + z**4/4 - z**3/3 + z**2 - 22. Is 5 a factor of f(2)?
False
Is 1204/((-1 + 16/14)/(318/106)) a multiple of 196?
True
Let a = 278 - -113. Suppose m + 4*g = a, -g + 5*g + 8 = 0. Does 21 divide m?
True
Let h be ((-5 - 82) + 4)*(3 + -1). Let n = 380 - h. Does 10 divide n?
False
Suppose f + 3*w - 4199 = 1038, f - 4*w = 5244. Does 31 divide f?
False
Let y(o) be the first derivative of 95*o**3/3 - o**2 + o - 33. Does 11 divide y(-2)?
True
Suppose -19 = 3*b - 7. Let a be 12*(-1 - b/12). Does 8 divide 0 - (0 - a)*-1?
True
Let y = -832 - -2364. Suppose 164 = -19*m + y. Is m a multiple of 36?
True
Let g(k) = 126*k - 76. Let y = -348 - -355. Is 13 a factor of g(y)?
True
Let i be -4*(-1 - (-9)/(-4)). Let c(j) = j**3 - 13*j**2 + 4*j - 22. Is c(i) a multiple of 10?
True
Suppose 677 = 19*q + 42712 - 191831. Does 32 divide q?
False
Suppose 1269*z - 1262*z = 322. Suppose -18813 = -z*c + 10995. Does 54 divide c?
True
Suppose -4*w = 13*p - 15*p + 16, p + w + 1 = 0. Let g = 1 - -32. Suppose c + g = p*n, -5*n - 4*c = -88 - 27. Does 12 divide n?
False
Does 42 divide (7671/4)/(-12 - (-3915)/324)?
False
Suppose -7*b = -8*b + 19. Suppose i + b + 60 = 0. Let s = -46 - i. Is s a multiple of 5?
False
Let f = 8 - 3. Suppose 49 = g - f*o, -3*g + 3*o + 27 = -168. Is g a multiple of 7?
False
Suppose -6534 = -2*o - 4*j, 0 = -12*o - 0*j + 3*j + 39366. Does 10 divide o?
False
Let a be -52*(108/(-8) + 3 + 3). Suppose 2*f - 32 - 34 = -n, 5*n - 2*f = a. Let b = n - 28. Is 4 a factor of b?
True
Let m = -873 - -873. Suppose 0 = -d - 10*v + 14*v + 465, -4*d - 4*v + 1760 = m. Is d a multiple of 21?
False
Let i = -4452 + 6618. Is 6 a factor of i?
True
Suppose 0*f + 622 = 3*y - f, -5*f - 5 = 0. Suppose -y - 255 = -3*w. Is w a multiple of 14?
True
Let y = -3958 - -4868. Is y a multiple of 9?
False
Suppose x - 22*x = -38808. Suppose -16*f = -27*f + x. Is 21 a factor of f?
True
Suppose -4*z = -35*m + 37*m - 10406, z = -2*m + 10412. Is m a multiple of 41?
True
Let n = -97 - -105. Suppose x - 5*p + n*p = 0, -p = -1. Is 22 a factor of 22/5*(x + 28)?
True
Let g(k) be th