119. Let p be j(-1). Suppose -5*z + 3*b = -244, -2*z - b + 106 = -5*b. Let d = p - z. Is 15 a factor of d?
False
Let z(u) = u**3 - 14*u**2 - 58*u - 4. Let r be z(15). Let l = 1250 + r. Is 67 a factor of l?
False
Let r = 12251 + 1518. Is r a multiple of 73?
False
Suppose 34*z - 39*z + 100 = 0. Is 8 a factor of 6*235/z - (-12)/8?
True
Suppose 92*z - 159*z = -141*z + 494320. Is 8 a factor of z?
True
Let s = -9096 + 15318. Is s a multiple of 61?
True
Let g be (0 - -25)/(7/21). Suppose 5*w + s + 247 = 0, -106 = w + w + 4*s. Let k = g + w. Is k a multiple of 26?
True
Suppose -9*o + 2*o - 237406 = -30*o. Is 13 a factor of o?
True
Let k = 4520 + -440. Does 80 divide k?
True
Does 70 divide 1 - (-15)/(-35) - 1333320/(-70)?
False
Let a be (2/(-6))/(9/(-621)). Let g = -19 + a. Is 18 a factor of 826/g*(-4)/(-7)?
False
Suppose 3*h + 46*h = -11956. Let q = 197 - h. Does 49 divide q?
True
Let l be (-138)/(-5 - 161/(-35)). Let v = 415 + l. Is 19 a factor of v?
True
Let j = 39104 - 30408. Is j a multiple of 7?
False
Suppose 2*b + 20*m - 25*m = 13007, 0 = b - m - 6508. Is 8 a factor of b?
False
Suppose 1515 = 3*y - 3*a, -2*a = -a. Let w = y - 411. Does 9 divide w?
False
Suppose -14*y = 5*y - 38. Suppose -1176 = -2*t - 4*a, -4*t + 4*a = -y*t - 1192. Is t a multiple of 5?
False
Let j = -6511 - -111. Is 32 a factor of 36/30*j/(-24)?
True
Let u = -12306 - -21956. Is u a multiple of 10?
True
Suppose 4*w + 154 = 206. Let j be 14/35 + w/5. Suppose 2*r = 2*q + j*q + 475, -4*r + q + 959 = 0. Does 30 divide r?
True
Let g = 884 + 6016. Is 115 a factor of g?
True
Suppose 24*b - 10946 = 4582. Let m = b - -132. Is 32 a factor of m?
False
Let m = 64 + -44. Let h = 12 - m. Does 5 divide (-596)/(-28) - h/(-28)?
False
Suppose 0 = -129*n + 125*n - 4*v + 18048, -9030 = -2*n - 3*v. Is 6 a factor of n?
True
Suppose 0 = -298*p - 42*p + 2636020. Is 66 a factor of p?
False
Let n = -28 - -46. Is 7 a factor of -1 + n/14 - 1448/(-28)?
False
Does 14 divide 683 + 0 + 6/(-2)?
False
Let j(h) = 6*h**3 + 144*h**2 + 44*h - 54. Does 15 divide j(-23)?
False
Let j(h) = 5*h**3 + 8*h**2 - 14*h - 267. Is j(11) a multiple of 16?
False
Let k(r) = -37 - 12*r - 11*r**2 - 5 + 47*r**2. Is k(-4) a multiple of 73?
False
Let g = 1499 + 2439. Is g a multiple of 35?
False
Let d(p) = -13*p - 195. Let m be d(-15). Is 29 a factor of (33 + -31 + m/(-2))*116?
True
Let d be (-15)/25 + 2/(-5). Let r(o) = -6*o + 2 - 5 - 41*o - 61*o. Does 12 divide r(d)?
False
Let h(z) = z**3 - 8*z**2 - 69*z + 269. Is h(17) a multiple of 9?
False
Let o(q) = 12*q + 28. Let y be o(-2). Suppose 4*w - 4*u = 3772, -y*w + 2*u + 2591 + 1189 = 0. Is w a multiple of 60?
False
Let c(v) = 23*v**3 - 5*v. Let x be c(2). Let q(g) = -g**3 + 2*g**2 + 2*g. Let i be q(2). Suppose -4*j = -k - k + x, -4*j - 364 = -i*k. Does 31 divide k?
False
Let d(k) = k**2 + 2*k - 2. Let g be d(-3). Does 24 divide 1/g*1*(31 + 26)?
False
Suppose -86*z - 2*z + 223872 = 0. Is 6 a factor of z?
True
Let w(u) be the second derivative of -u**5/2 + u**4/4 + u**3/6 - u**2/2 + 20*u. Let m be w(-1). Suppose 3*g = m*g - 2048. Is 32 a factor of g?
True
Let x(u) = -2*u**3 + 99*u**2 + 118*u - 10. Is x(50) a multiple of 15?
True
Let c(q) be the second derivative of -q**4/6 - 8*q**3 - 10*q**2 + 46*q. Is 13 a factor of c(-14)?
True
Let d(w) = w**3 - 5*w**2 - 22*w + 15813. Is 10 a factor of d(0)?
False
Let i be (-5)/((-120)/(-582)) - (-3)/12. Does 30 divide (-16)/(-4)*(4170/i)/(-5)?
False
Let q(w) = 536*w + 106. Let m be q(6). Let z = -1437 + m. Does 13 divide z?
True
Let v(q) = -q**3 + 41*q**2 - 412*q - 28. Let t be v(19). Let k(h) = -17*h - 2. Let w be k(4). Let n = t - w. Is n a multiple of 13?
True
Suppose 69 = f - 14. Suppose -85*x + f*x = -242. Does 8 divide x?
False
Let z(r) = 137*r**2 + 222*r + 3. Does 58 divide z(4)?
False
Let l(r) = 16*r**3 - 5*r + 5. Let i be ((-15)/10 - -2)*4. Is 3 a factor of l(i)?
True
Let i be ((-5)/(-10))/((-1)/(-4)). Suppose 8794 = 20*r + 2334. Suppose z + 0*z - 169 = -i*o, -4*o = -3*z - r. Does 24 divide o?
False
Suppose c + 5*p - 145 = -c, 0 = 4*c + 5*p - 305. Let d = 82 - c. Suppose 2*n - 104 = -2*a, 4*a - d*n - 208 = n. Does 13 divide a?
True
Suppose 5*y = 0, 3 = -2*n + y - 7. Is 13 a factor of 818 - (2 + 2 + n)?
True
Suppose -5*q + 35*z = 37*z - 68439, 4*q - 54768 = -4*z. Is q a multiple of 5?
True
Suppose 3*c - 5552 = o, -c - 5*o = -2*c + 1832. Suppose -4*s + 4*x = -c, 5*x - 1373 = -4*s + s. Does 29 divide s?
False
Suppose 45*k = 137*k - 232760. Is 22 a factor of k?
True
Let q(a) = a**3 + 12*a**2 + 4*a + 51. Let i be q(-12). Suppose i*l - 1269 = 57. Is 34 a factor of l?
True
Let g(t) = -2*t + 19. Let b be g(7). Let x(k) = 31*k**2 - 45*k + 9. Let h(d) = -16*d**2 + 23*d - 4. Let p(q) = b*h(q) + 3*x(q). Is p(5) a multiple of 29?
True
Let i(b) = 119*b**2 + 3*b + 9. Let p be i(4). Suppose 4*j - 1539 = 3*s, -5*j + 2*s = -3*s - p. Is 16 a factor of j?
True
Let d(k) = 11*k**2 - 9*k - 26. Let v be d(10). Suppose 288*h = 290*h - v. Is h a multiple of 41?
True
Suppose -22733095 = -685*s + 21819305. Is 12 a factor of s?
True
Suppose -539*p + 2810760 = -9366328. Does 4 divide p?
True
Let j = -521 - -1125. Let g = j - 236. Is g a multiple of 16?
True
Let t(u) = 12*u - 5. Let m = -127 - -62. Let d = -62 - m. Is 9 a factor of t(d)?
False
Suppose p + 7*k = 10*k + 4281, -5*p + 21379 = -2*k. Suppose 9*i - p = 4932. Is 15 a factor of i?
False
Suppose 5*s - 10 = 0, -4*k - 93*s + 96*s + 9138 = 0. Is k a multiple of 6?
True
Let n(t) = -t**2 - 8*t + 13 + 76*t - 82*t. Suppose 3*r - 28 + 105 = -5*u, 5*u - 2*r = -57. Is 13 a factor of n(u)?
True
Suppose -6*x + 95 = -121. Let r = x - -111. Is r a multiple of 13?
False
Suppose 6*j - j - 13893 = -3*m, -j = m - 2781. Is j a multiple of 25?
True
Suppose 4*u + 91 = 5*x - 318, 4*x = 4*u + 412. Let w = u + 105. Does 18 divide (-125 - (w - -3))*2/(-2)?
False
Let a(n) = -1035*n - 2870. Is a(-34) a multiple of 202?
True
Let z(q) = -9*q - 113 - 118 + 216. Is z(-7) a multiple of 6?
True
Let g(q) = 975*q**3 - 3*q**2 + 4*q - 2. Let k = 218 - 217. Is g(k) a multiple of 55?
False
Suppose -20 = -4*m + 148. Let u be (-2)/(-6) - (-51)/(-153). Suppose -4*h + m + 46 = u. Does 8 divide h?
False
Suppose 0 = -16*s + 17161 + 55511. Is s a multiple of 30?
False
Suppose 6*q = 12*q + 17244 - 55956. Does 98 divide q?
False
Let r be 101*-1 - 3/(-3). Let m = 186 + r. Suppose -198 = -4*o + m. Is 8 a factor of o?
False
Suppose -5*u = -345 + 225. Suppose -2*a = -a - 4. Is (u/(-14))/(a/(-98)) a multiple of 42?
True
Let h be ((-2736)/(-28))/(-6) + (-4)/(-14). Let x be ((-309)/12)/(4/h). Let s = 136 - x. Is 18 a factor of s?
False
Let h = -50 - -55. Suppose -2*x + h*s + 26 = 0, -x - 3*s - 6 = x. Suppose -y + 4*c = -19, y - 5*c = -x*y + 131. Is y a multiple of 39?
True
Let j(n) = -n**2 - 33*n. Suppose 16 = 9*u - 20. Suppose 3*r = -i - 68, -r + 0 = 5*i + u. Is 27 a factor of j(r)?
True
Is 2*((-12 - -1186) + 7) a multiple of 63?
False
Let g(z) = -4064*z**3 + 4*z**2 + 2*z - 2. Does 7 divide g(-2)?
True
Let g(t) = t**3 + 4*t**2 + 97. Let m(q) = -q**2 - 1. Let c(u) = g(u) + 4*m(u). Let y be c(0). Let k = 106 - y. Is k a multiple of 13?
True
Let g(z) = 16841*z**2 - 75*z + 2. Is g(1) a multiple of 32?
True
Let r(v) = -2*v**3 + 15*v**2 - 2*v + 16. Let x be r(7). Let f(y) = y**3 - 4*y**2 + y - 2. Let h be f(4). Suppose 91 + x = h*i. Is 44 a factor of i?
False
Let z(u) = u**2 - 35. Let s be z(0). Let x = 27 + s. Is 2 a factor of -2*(-12)/x*(-1 + -1)?
True
Suppose -27*d + 59*d - 18816 = 0. Does 6 divide d?
True
Let m = -3793 - -7330. Is m a multiple of 27?
True
Let m(s) = 440*s**2 + 36*s + 72. Does 10 divide m(-2)?
True
Suppose -436 = -5*s + 2084. Does 3 divide s?
True
Let m be (1 + 5/10)*2. Suppose 57 = -m*b + 2*b. Let z = b - -133. Is 38 a factor of z?
True
Is 156914/18 - ((-32)/90)/((-88)/110) a multiple of 8?
False
Suppose 0 = -z - 9*c + 7*c - 8, -3*c = 12. Suppose z = r - 166 - 267. Does 14 divide r?
False
Let q be 1/8 + 847/8. Let a = q + -105. Does 8 divide (-2 + -97)/((-1)/a)?
False
Let h be (4/5)/(16/160). Suppose h*v = 939 + 773. Is 22 a factor of v?
False
Let j(p) = -49*p - 10. Let y be j(-12). Let w be y/12 + (-2)/12. Suppose 0 = 2*l - 5*l + w. Is 8 a factor of l?
True
Suppose -14*p + 123 = 11. Let b(i) be the third derivative of i**5/60 + 5*i**4/24 - 10*i**3/3