0. Does 169 divide z?
True
Suppose p + 8 = -5*w + 6, 12 = -3*w. Suppose p*j + 4*j - 3608 = 0. Is j a multiple of 41?
True
Let f(l) = 30*l**2 + 120*l + 3233. Is 58 a factor of f(-25)?
False
Let y be 30/(-75) + (-22)/(-5). Suppose y*x - 20 + 0 = 0. Suppose -6*m + 4*m + 48 = -2*j, -x*m + 132 = j. Does 13 divide m?
True
Suppose 4061 = 2*g + 653. Suppose 0 = -3*p - 444 + g. Is 20 a factor of p?
True
Suppose 5*v - 281 + 6 = 0. Suppose -v + 11 = -y. Let s = y - 12. Does 28 divide s?
False
Let d be 22/2 + (4 - 8). Suppose -3*k + 15 = 3*q, -3*k = -d*q + 2*q + 1. Suppose k*u = -u + 192. Is 4 a factor of u?
True
Suppose 0 = 2*w + 4, -12*p + 2*w + 30 = -10*p. Let v = 17 - p. Suppose 0*t + 5*t - 5*f = 340, 2*f - 296 = -v*t. Is 6 a factor of t?
True
Let z(j) = j**2 + 12*j - 41. Let u(d) = -2*d**2 - 13*d - 10. Let w = -52 + 45. Let q be u(w). Is 11 a factor of z(q)?
True
Let v be (1/3)/1 + 684/54. Let u(r) = -46*r + 11*r**2 + 23*r + 20*r - v. Is u(-3) a multiple of 16?
False
Suppose 38*u - 94*u = -575680. Does 202 divide u?
False
Suppose 0 = y + 4*y + 50. Let q = 112 + -114. Does 35 divide q/(y/15) + 102?
True
Suppose 21*a - 27*a - 984 = 0. Let x = 350 + a. Does 6 divide x?
True
Suppose -2*d = -27*d - 350. Let j(l) = -l**3 - 8*l**2 + 4*l + 42. Is 14 a factor of j(d)?
True
Let u(r) be the second derivative of 179*r**4/12 + 7*r**3/2 + 31*r**2 + 301*r. Does 14 divide u(-3)?
True
Let z = 1009 + -1427. Is 76/z + (-1135)/(-11) a multiple of 15?
False
Let g(d) = -d**2 + 21*d + 116. Let r be g(22). Suppose 0 = -r*f + 101*f - 3486. Does 9 divide f?
False
Suppose 7*k = -27*k + 24650. Suppose -2*r - k = -2*o - 5*r, 2*r - 1090 = -3*o. Does 26 divide o?
True
Let l(b) = -17*b**3 - 5*b**2 - b + 3. Suppose -4*z - 20 = -2*n, -z = 5*n - 14 - 3. Does 21 divide l(z)?
True
Suppose -8*o - 18 = -17*o. Suppose 0 = -5*s - i + 795, 4*i = -s - o*s + 494. Is 11 a factor of s?
False
Suppose -7*y + 19 = 5. Suppose 0 = -3*m + 2*m - 5, 0 = 4*f - 5*m - 17. Is 4/y + f*230/(-4) a multiple of 21?
False
Let p be (-20)/(-4)*1*2. Suppose n = 2*v - 1356, 6*n = -4*v + p*n + 2704. Is 20 a factor of v?
True
Suppose -u = 2*g - 4, 4*u + 8 + 15 = 5*g. Suppose -d = 4*x - 1059, -g*d + 604 = 4*x - 445. Is 18 a factor of x?
False
Let y(p) = 3*p + 72. Suppose 4*q - 3*q - 7 = 0. Let d = q + -18. Does 3 divide y(d)?
True
Let g be -5*(-15)/25 - 1*269. Let d = -125 - g. Suppose 942 - d = 9*k. Is 35 a factor of k?
False
Let x = -5069 - -5356. Does 5 divide x?
False
Suppose 4*f - 17 = 6*f - 3*n, 3*f - 4*n = -23. Does 2 divide 22/(-66)*6*f?
True
Let t(w) = 2497*w + 152. Is t(1) a multiple of 16?
False
Suppose 3*x = 3*b - 12 + 30, 5*b + 27 = 4*x. Let u be x/2*(28/(-6) + 0). Does 22 divide 8*12 + (u - 28/(-7))?
False
Let l = 3256 - 1847. Suppose 5*u - 36 = -5*w + l, -2*u + 1156 = 4*w. Does 5 divide w?
False
Suppose -731 = u + z - 742, 2*u - 3*z - 12 = 0. Let g = -22 - -230. Is 5 a factor of u/27 + g/6?
True
Suppose 9*u = -8*u - 102. Is 78 a factor of (-188324)/(-161) + u/(-21)?
True
Let b(c) = -7*c - 7*c - 15*c + 35*c + 40. Does 2 divide b(-4)?
True
Let p = 2327 + 1600. Is p a multiple of 21?
True
Let v be ((-4)/6)/((-4)/66). Suppose 0 = 941*h - 935*h - 30. Suppose v = -h*z + 216. Is 2 a factor of z?
False
Let x = -33093 + 69541. Is x a multiple of 16?
True
Suppose -4741632 = -81*j - 88*j + 61*j. Is j a multiple of 28?
True
Suppose -t - 2*t = -2*l - 8848, 0 = -4*t + 4*l + 11796. Suppose -m = -5*d + 2517, t - 946 = 4*d - 4*m. Does 18 divide d?
True
Let p(q) = -244*q - 26. Let f be p(-5). Let g = f + -742. Suppose l = -z + 149, 3*z - 3*l + l = g. Is 25 a factor of z?
True
Suppose 1896 = -39*n + 531. Suppose 0 = -3*q - 2 - 4, 4*b + 5*q = 310. Let s = b + n. Does 5 divide s?
True
Let j(k) = k**3 - 7*k**2 - 3*k + 23. Let a be j(7). Suppose 5*f - a*f = 0. Suppose 0 = p + 3*r - 71, -4*p + 4*r - 2*r + 270 = f. Is p a multiple of 25?
False
Suppose 5545*m - 5564*m = -725040. Is m a multiple of 159?
True
Let i = -19 - -20. Let m be 1 - (-1695)/5*i. Suppose 2*c + 3*c = m. Is c a multiple of 17?
True
Suppose k + 2*b = -7684, -3*k - 23062 = 5*b - 9*b. Does 14 divide 10/(-15)*k/12?
False
Suppose 0 = -18*m + 10276 + 812. Let h = 1240 - m. Is 24 a factor of h?
True
Let r(k) = 56*k + 8. Let a be r(8). Suppose -2*s + a = -5*o, -5*o = -s - 4*s + 450. Does 12 divide (1*15/(-10))/(1/o)?
False
Suppose -3*l + 16154 = 4*z, -5*l + 1347 + 2683 = z. Is z a multiple of 10?
True
Let j(n) = 8*n**3 - 7*n**2 - 8*n + 11. Let y(i) = -9*i**3 + 7*i**2 + 7*i - 12. Let v(g) = 6*j(g) + 5*y(g). Is 18 a factor of v(6)?
True
Suppose -34053 = -6*u + 5*g, -473*g - 5679 = -u - 471*g. Does 61 divide u?
True
Let q(n) = 199*n + 20. Let z = 361 + -356. Is q(z) a multiple of 29?
True
Let f = -28777 + 53291. Does 34 divide f?
True
Is 11/44*-6 - ((-585)/6 + -1) a multiple of 97?
True
Let h = 158 + -48. Suppose 0 = -106*z + h*z - 8. Suppose -119 = -3*y + p, 6*y - 199 = y + z*p. Is y a multiple of 13?
True
Suppose 2*f - 4 = 0, 0 = -0*m - 3*m - 4*f + 1907. Suppose -3*t + m - 339 = 0. Is t a multiple of 27?
False
Suppose 4*g = -2*z + 46, -2*g + 6 = -z - 15. Suppose -8147 = -g*d - 876. Is 14 a factor of d?
False
Let n = -13131 - -32427. Does 96 divide n?
True
Suppose 4*s - 3*q = 17, 0*s = 2*s + 5*q - 15. Suppose 0 = d - 2*x - 297, s*x + 1485 = 5*d + 2*x. Is d a multiple of 46?
False
Suppose 6*f - 9*f = -339. Suppose f = b - 228. Is b a multiple of 13?
False
Let a(p) = -p**2 + 2*p. Let c(z) = 8*z**2 - 51*z - 48. Let h(f) = 6*a(f) + c(f). Is 15 a factor of h(21)?
True
Let y(x) = -3*x - 6. Let h be y(-1). Let b be (-4 + h + 12)*(2 + -1). Suppose b*l - 4*a = 1538, -5*l + 8*l + 3*a - 912 = 0. Is 29 a factor of l?
False
Let i be (-94)/(-3 + 25/5). Let d = i - -104. Does 19 divide d/1 - 0/5?
True
Let c be (-135)/(-18) - 9/6. Let v(i) = i**3 - 2*i**2 - 10*i + 54. Is 14 a factor of v(c)?
False
Suppose 0 = 4*w + z - 7, 2*w - 7 = 4*z - z. Suppose w*a = 9*a - 1344. Is a a multiple of 12?
True
Suppose 5*v + 0*a = -3*a + 6606, -a + 5282 = 4*v. Is v a multiple of 24?
True
Let i = -24535 - -48521. Does 67 divide i?
True
Let z = 8549 - 6928. Is 33 a factor of z?
False
Suppose -32*h + 16160 = -30*h + 2*z, 0 = 4*h - 3*z - 32320. Is h a multiple of 8?
True
Suppose -3*u = -6*u - 36. Let p(a) = -2*a - 10. Let v be p(u). Suppose v*r - 19*r = -125. Does 4 divide r?
False
Let a be (7 - 4) + 269 - -2. Suppose 4*s - a = -0*g - 3*g, 3*g + 3*s - 276 = 0. Is 15 a factor of g?
False
Let v be ((-4)/3 - 4230/27)*20. Is 12 a factor of (((-189)/14)/9)/(6/v)?
False
Suppose 5*w = -l + 385 + 2632, 5*w = 4*l - 12068. Is l a multiple of 7?
True
Is (7/(-6))/((-4)/(-12)) + 19527/6 a multiple of 5?
False
Suppose -25*z + 11265 + 212664 + 274496 = 0. Is 8 a factor of z?
False
Suppose 0 = 6*w + 6 + 6. Let v be (-3)/((-4)/(w/(-1)))*2. Is v - (-4 + (-7 - 4)) a multiple of 3?
True
Let n be (-5)/((-60)/6) - (-3)/2. Let o(q) = -q + 5. Let u be o(n). Suppose -360 = -15*j + u*j. Is j a multiple of 5?
True
Suppose -11*m - f = -9*m - 6447, 3*m + 4*f - 9663 = 0. Is 43 a factor of m?
True
Does 4 divide (-64)/1024 - (-1985)/16?
True
Let q(h) = h**3 - 15*h**2 - h + 25. Let u be q(15). Suppose -2*n + u = -2*k, 5 = 2*n + 3*n - k. Let a = n + 66. Is 6 a factor of a?
True
Let z(t) = t**3 + 9*t**2 - 12*t - 30. Let i be z(-10). Let v = -8 - i. Suppose -f = v - 17. Is f a multiple of 5?
True
Let r = 138 - 136. Suppose r*i = 3 + 85. Is i a multiple of 11?
True
Let d = 201 - 197. Suppose 437 - 81 = d*h. Is 9 a factor of h?
False
Suppose 4*w - 7110 - 25468 = -2*a, 2*w - 16264 = 4*a. Does 4 divide w?
False
Does 11 divide ((-3)/12)/((-21)/3668)*3?
False
Let k = 1 - -2. Suppose 4*x = 2*w - x - 832, -4*w = k*x - 1716. Suppose 5*i - 56 = -g + w, i - 4*g = 88. Is 24 a factor of i?
True
Let z = 213 + -208. Is 79 - (-24 + -1)/z a multiple of 12?
True
Let g(b) = -57*b - 1917. Is g(-61) a multiple of 39?
True
Let x(p) be the first derivative of -p**4/4 - 14*p**3 + 49*p**2/2 - 158*p + 299. Does 47 divide x(-44)?
False
Suppose 3450 = 4*a + 4*s - 3510, 0 = -5*a - 3*s + 8700. Is (-3 - a/(-21)) + (-1)/(-7) a multiple of 22?
False
Let a(j) = j**3 - 27*j**2 + 150*j - 758. Is a(29) a multiple of 18?
True
Let y(n) be the second derivative of -n**5/20 - 7*n**4/4 - 13*n**3/6 - 9*n**2/2 + 102*n. Does 12 divide y(-21)?
True
Suppose -144*j + 3590132 = -53*j. D