 of 27?
False
Let c be (-2)/2*(-1 + -2). Suppose -5*a - 4*t + 21 = 0, c*t - 12 = -5*a + 2*a. Suppose 0 = a*f - 4*o - 1349, 4*o = 4*f - 1048 - 28. Is f a multiple of 15?
False
Let g = 1018 - -2903. Does 7 divide g?
False
Suppose -5*w + 8*w - 5 = u, 0 = -5*u + w + 17. Suppose 5*p + 214 = -u*d + 2602, 0 = 3*p - 4*d - 1452. Is 24 a factor of p?
True
Let y be (-5492)/(-14) - 14/49. Let z = -49 - -53. Suppose -z*k + 136 = -y. Is k a multiple of 35?
False
Let j = -58 - -106. Suppose -4*b = -8*b - j. Is 7 + 4/b*(1 - 7) a multiple of 2?
False
Suppose -2*g + 4 = 0, 0 = -5*h - 5*g + 9*g + 8242. Suppose 20*a = 19*a + 5*j + 322, 5*j + h = 5*a. Is 8 a factor of a?
False
Let t = -103 + 183. Let k = t - 85. Is 30 a factor of k/(-25) + 1198/10?
True
Let y(t) = t - 45. Let v be y(48). Let r be 0 + 1 - (-3 + 2). Is (v + -27)*(-3)/r a multiple of 9?
True
Let b(m) = m**3 + 3*m**2 + 12*m + 134. Let z be b(0). Let l be (4/(-3))/2*-3. Suppose -u + j + l*j = -z, 2*u - 275 = -j. Is 24 a factor of u?
False
Let n(m) = m. Let k(d) = -d**2 + 10*d - 38. Let j(s) = k(s) + 5*n(s). Is j(6) a multiple of 8?
True
Suppose -218*p + 220*p = 16, -4*l + 3*p = -64520. Is 8 a factor of l?
True
Suppose 2*l - 4*w = 5725 + 7717, -4*l = 4*w - 26848. Is l a multiple of 5?
True
Let p(d) = 89*d + 74. Let w be p(-4). Let q = 614 - w. Does 28 divide q?
True
Let o = 20476 + -18492. Is 11 a factor of o?
False
Let w be -6*(-28)/(-6) + -3. Let r(g) = -g**3 - 18*g**2 + 2*g + 45. Let k be r(-18). Let y = k - w. Is y a multiple of 10?
True
Let p(l) = 7*l + 25. Let u be p(-3). Suppose 15 + 1 = u*c. Suppose c*m + 353 = 3*f - m, -5*m = 4*f - 494. Is f a multiple of 25?
False
Is (-118)/1*246*14/(196/(-14)) a multiple of 12?
True
Let c(y) = -11*y**3 + 6*y**2 - 7*y + 15. Is 7 a factor of c(-5)?
True
Let r(q) = -1. Let x(u) = -u**2 - 18*u - 53. Let y(v) = 5*r(v) - x(v). Let m be y(-15). Does 31 divide -4*(4 - m) - -128?
True
Suppose 3*z - 2186 = 2*o + 418, o - z + 1302 = 0. Let p = -830 - o. Suppose 5*i - p = 3*i. Is i a multiple of 43?
False
Let t(n) = -n**2 - 9*n + 15. Let y(a) = a**2 + 1. Let r(x) = 5*x**2 - 13*x + 34. Let c(b) = -r(b) + 4*y(b). Let w be c(11). Is t(w) a multiple of 5?
False
Suppose 0 = -4*l + 5*u + 1446, l = -l + 2*u + 724. Let f = -238 - -242. Suppose -f*n + l = -0*n. Is 4 a factor of n?
False
Let j(o) = -582*o**3 - 7*o**2 - 450*o - 2255. Is 15 a factor of j(-5)?
True
Suppose -22*r + 37 = -21*r - v, 3*r + 2*v = 136. Is 2 a factor of r?
True
Let b be (-2)/(-18) - (-888)/(-216). Does 25 divide (-3 - 485)/b - -3?
True
Let o(f) = f**2 + 13*f + 27. Let c = 168 - 185. Does 19 divide o(c)?
True
Let z(r) = 56*r + 43. Let y = 107 + -114. Let s be z(y). Let i = -244 - s. Is i a multiple of 7?
True
Let n be 16/(-4) - ((-1)/(-1) + 3). Let r(u) = -36*u + 27. Is 16 a factor of r(n)?
False
Let i = 3017 - -55. Is i a multiple of 12?
True
Suppose 130*d = 121*d - 144. Suppose 117 = 2*p - i, 0 = 3*p - i + 62 - 235. Let w = p + d. Is 14 a factor of w?
False
Let d(l) = 2*l**3 + 110*l**2 + 113*l + 249. Let y be d(-54). Let m be 1/3 + 232/(-3). Let z = y - m. Is z a multiple of 7?
True
Let o(n) = n**2 + 20*n + 159. Is 9 a factor of o(-11)?
False
Let v be (-7)/((-7)/(-2)) - (2 - 40). Suppose -v*i = -31*i - 95. Does 17 divide i?
False
Let t(w) = -w**3 + 8*w**2 + 4*w - 5. Let r be t(8). Let g(y) = 2*y**2 + 52 + 0*y**2 + 5*y**2 + 27*y - 4*y**2 - 4*y**2. Is g(r) a multiple of 26?
True
Does 4 divide ((-1192)/(-5))/((-42)/154 - 37/(-55))?
True
Let j(r) = r**2 - 9*r + 10. Let v(z) = 4*z - 63. Let t be v(14). Does 16 divide j(t)?
False
Suppose -3*j + 82 - 349 = 0. Let w = j + 36. Let d = 82 + w. Does 4 divide d?
False
Is 14 a factor of (-226309)/(-57) - 30 - (-2)/(-6)?
False
Let g(w) be the first derivative of 2*w**3 - 4*w**2 - 8*w + 36. Let x be g(-3). Suppose 8*c - 13*c + x = 0. Is c a multiple of 4?
False
Let u = -49 - -51. Suppose 5*x - 4*x + 15 = 4*l, -l - 5 = -u*x. Suppose 4*t = -l*b + 182, b - 5*t = 3*b - 66. Is 19 a factor of b?
True
Suppose -7 = 5*g + 8, 3*g + 8037 = -3*p. Is 10 a factor of (p/(-12))/(0 - -1)?
False
Suppose -4*s = 2*l - 5*l + 1132, -3*s = -4*l + 1500. Suppose 0*f - l = -2*f. Does 12 divide f?
False
Let u(m) = 3*m**2 + 40*m - 16. Let x be u(-14). Let y(c) = -c**3 + 17*c**2 + 10*c. Is y(x) a multiple of 12?
True
Let u be 32692/(-18) - 16/(-72). Let c be (-6)/(-45) + u/120. Is 38 a factor of -6*(c/1 - 4)?
True
Let n = -73 - -78. Suppose -f - 12 = -v, 4*f = -n*v - 0*v + 15. Suppose 4*p - v*p + 81 = 0. Is 3 a factor of p?
True
Suppose -20 = -5*t + 40. Let h be 16/6*t/8. Suppose 117 - 1 = h*a. Is a a multiple of 6?
False
Let w be 4/30 - ((-6052)/60 - -2). Suppose n - 121 = w. Is 10 a factor of n?
True
Let i be ((-6)/4)/((-12)/4528). Suppose o - i = -4*t, -10*t = -6*t + 3*o - 562. Does 71 divide t?
True
Let u = 248 + 406. Does 73 divide u?
False
Suppose 0 = 28*v - 26*v - 4*x - 118, 0 = 2*x - 10. Does 3 divide v?
True
Let s = -44 + 39. Let o(a) = a**3 + 5*a**2 - 6*a - 22. Let q be o(s). Is 8 a factor of ((-2250)/q)/(-9) + 6/8?
True
Let c = 3349 + 958. Does 15 divide c?
False
Suppose p + 5*d = 2*d + 3271, -5*p - 2*d = -16355. Is p a multiple of 60?
False
Suppose -30 = 9*x - 264. Let z = x + 46. Is z a multiple of 9?
True
Let s(p) = p**3 + 7*p**2 + 8*p + 15. Let a be s(-6). Suppose -k - 4 = -2*y, -16 = -2*k + a*k - 5*y. Suppose -w = f - 13, -w + 0 = -k*f + 2. Does 2 divide w?
True
Let n be (-1 + 2)*130/(-1). Let d = 124 + n. Does 10 divide d/(5 + 1315/(-260))?
False
Let v = 181 + -111. Let q = v + 70. Suppose -5*p + 211 = 3*o, q = -2*o + 4*o + 4*p. Is o a multiple of 18?
True
Suppose 72*c = 68*c + j + 8069, -4*c + 3*j + 8055 = 0. Is c a multiple of 7?
False
Let g(o) be the first derivative of 22*o**2 + 7*o + 3. Let a be g(5). Let y = a - 111. Is y a multiple of 29?
True
Suppose -139*x - 181470 = -21*x - 3133004. Is 45 a factor of x?
False
Let c(k) be the second derivative of -k**5/20 - k**4/12 + k**3/6 - 5*k**2/2 - 24*k. Let w be c(-3). Is 37 a factor of 4/w + 3318/30?
True
Suppose 1834*k - 1853*k + 247912 = 0. Is 28 a factor of k?
True
Let m(y) = 4*y**2 + 4*y - 20. Let g be m(4). Suppose 0*w + 66 = -3*w. Let s = w + g. Does 15 divide s?
False
Suppose 826*s - 821*s - 4920 = -3*u, -5*s - 8280 = -5*u. Does 22 divide u?
True
Let p be -6*(-12)/(-6)*1/3. Suppose -2*l = -4*l - 2*z + 46, 0 = 2*l - z - 31. Is l + 266 + (-2 - p) a multiple of 13?
True
Let k(d) = d**2 + d + 1. Let g(w) = 4*w**2 + 7*w + 4. Let l(u) = g(u) - 2*k(u). Let a be l(-4). Suppose 4 = o - a. Does 18 divide o?
True
Let r be 0 + (-1 + 0 - -3). Let h(m) = -m**3 + 3 - m**r + 2*m + 3*m**2 - 4*m**2. Does 10 divide h(-6)?
False
Is 79 a factor of 3/(-7) + 573352/1036?
True
Suppose 0 = 3*d + 2 - 14. Suppose -f + 565 = 3*z, 0 = -d*z + 2*f - 5*f + 755. Let l = -57 + z. Does 30 divide l?
False
Suppose -7*h + 45 = -2*h - 4*k, -20 = -2*h + 2*k. Suppose -98 = h*l - 2768. Is 19 a factor of l?
False
Let f(j) = 3*j**3 - 6*j**2 + j + 4. Let g be f(2). Suppose g*z = 298 + 140. Let y = z + 72. Does 29 divide y?
True
Let g = 892 + -817. Is 8/((-120)/g) + (811 - 0) a multiple of 31?
True
Suppose 5*b - 3*j = 96379, 3*j = b - 26441 + 7158. Does 46 divide b?
True
Suppose 6*a - 3*x = 7*a - 7, 4*a - 28 = x. Suppose -2171 = -4*u - 5*q, a*u - 1072 = 5*u + 2*q. Is u a multiple of 37?
False
Suppose -9*f = 5*r - 6*f - 74350, 0 = -r + f + 14878. Is 107 a factor of r?
True
Suppose -x + 29 = -4*y + 223, -4*y - x = -190. Does 12 divide y/(-64) - (-254)/8?
False
Let a = -32131 + 87252. Does 130 divide a?
False
Suppose 6 = 14*s - 11*s. Suppose s*o - 1567 = -445. Does 31 divide o?
False
Let o(x) = 4*x**3 - 163*x**2 - 103*x. Is 3 a factor of o(42)?
True
Suppose 0 = 2*x + 3*s - 1759, 814 + 3526 = 5*x - 4*s. Suppose -9*b = -x - 208. Is b a multiple of 15?
True
Let z = 2524 + 2001. Is 181 a factor of z?
True
Let x(o) = o**3 - o**2 + o - 11. Let c(k) = k**3 - 3*k**2 + 3*k - 19. Let p be c(4). Is x(p) a multiple of 12?
False
Let b(z) = -z**2 - 2*z - 1. Let n be b(-1). Suppose 3*m = -n*m, 5*y - 1355 = 2*m. Suppose 0*l + l = 2*w - y, -4*l = 2*w - 246. Does 19 divide w?
True
Let t = 12 + -218. Is 3/(-12)*2*(0 + t) a multiple of 13?
False
Is 99 a factor of 3/((-12)/(-14392))*8/(-16)*-2?
False
Let x = 131 - 75. Let i = 59 - x. Suppose -2*j - 3*r + 78 = 0, 52 = i*j - r - 87. Is j a mu