 y = -74. Suppose -5*w - s = -272. Is w a multiple of 47?
True
Let r be (-68 - 0)/((84/54)/7). Is 12 a factor of 128/24*r/(-8)?
True
Suppose -664 - 1616 = -5*q. Is q a multiple of 57?
True
Suppose -5 = 8*k - 9*k. Suppose 0*j - 5*b = -2*j + 107, -97 = -2*j - k*b. Is 14 a factor of j?
False
Let b(z) = z**3 - 7*z**2 + 6*z - 5. Let u be b(6). Let x(i) = -i**3 + 4*i**2 + 8*i + 8. Is x(u) a multiple of 20?
False
Let h = 92 - -48. Suppose 7*i = 5*i + h. Suppose -2*a + i = -5*u, a - 3*u - 48 = -11. Is 7 a factor of a?
False
Let g be -3 + 3/12*0. Let h = -8 - g. Let m = 4 - h. Does 9 divide m?
True
Let d = -38 - -40. Suppose d*f + 5*q = 30, 6*q = 2*q - 16. Does 4 divide f?
False
Suppose -l + 5*l = -m - 77, 3*l = 3*m - 69. Let s be (-216)/(-10) - 8/l. Is 252/5 + s/(-55) a multiple of 25?
True
Let p(u) = u. Let a(y) = -8*y + 4. Let k(s) = 2*a(s) + 22*p(s). Is k(6) a multiple of 17?
False
Is 794 + -1 + 9 + -2 a multiple of 50?
True
Let i = 30 + -15. Let p = i - 11. Suppose 5*d + 5*w - 42 = 2*d, 2*w = -p*d + 56. Is 3 a factor of d?
False
Suppose -8*g + 1568 = -3080. Is g a multiple of 10?
False
Suppose -4*a = -53 - 139. Is a a multiple of 5?
False
Let f(v) = -v**2 + v + 1. Let u(g) = 10*g**3 + 5*g**2 - 2*g - 3. Let h(d) = -3*f(d) - u(d). Does 9 divide h(-1)?
True
Let g = -264 - -363. Is 2 a factor of g?
False
Suppose 2*j - 324 = -3*h - j, 0 = 5*h - 4*j - 495. Let s = h - 54. Does 19 divide s?
False
Let m(z) = z**2 - 5*z + 4. Let k be m(6). Let c(x) = 4*x + 2. Is 8 a factor of c(k)?
False
Suppose 35 = 5*g + 85. Suppose -2*n + 6*r + 65 = r, -4*n = -3*r - 165. Let j = n + g. Is 9 a factor of j?
False
Let c(d) = d**2 - 18*d + 10. Let a(j) = j**2 - 19*j + 11. Let w(f) = 5*a(f) - 6*c(f). Let z be (-1 - -3) + 2 - 6 - -13. Is w(z) a multiple of 17?
True
Suppose -4*i + c = -209, -3*i + 5*c + 229 = i. Suppose 6*a = 3*a - i. Is 12 a factor of (2/6)/(a/(-1632))?
False
Let x be (2 - 5)/(9/(-6)). Suppose -3*j - x*q + 3*q = -43, 4*j - 5*q = 72. Does 13 divide j?
True
Let b be (2 + 1)*2 + -2. Suppose 99 = 4*u - 3*j, -b*u + 92 = -5*j - 9. Is u a multiple of 4?
True
Let z(j) = j + 12. Let h be z(-9). Does 45 divide (-2)/h*3 - -85?
False
Let u(a) be the first derivative of a**4/4 - 2*a**3 - 9*a**2/2 + 13*a + 7. Is 35 a factor of u(9)?
True
Let i = 3185 + -3097. Is 11 a factor of i?
True
Let g = -413 + 661. Does 8 divide g?
True
Let q be -4 - (-4 + (2 - -2)). Does 7 divide (q/28)/((-3)/21) + 32?
False
Let g = -722 + 513. Let q = -136 - g. Is 8 a factor of q?
False
Let j(w) = w**2 - 12*w + 33. Does 3 divide j(15)?
True
Let i = -11 - -8. Let g be (-12)/20 - i/5. Is 1 + 17 - (2 - g) a multiple of 6?
False
Suppose -i = -2*i + 4, 2*l - 44 = -5*i. Is 14 a factor of (-12)/(-4) + -1 + l?
True
Let n(t) = 6*t**3 + 9*t**2 - 4*t - 13. Let i(s) = 5*s**3 + 9*s**2 - 5*s - 13. Let g(a) = 5*i(a) - 4*n(a). Let j be g(-9). Is j/7 + (-14)/(-49) a multiple of 4?
False
Suppose -2*m = -y + 2356, -8*y = -4*y + 2*m - 9404. Is 14 a factor of y?
True
Let v = 20 - 14. Does 15 divide 21 - (-2 + (v - 3))?
False
Let m(p) = 3*p**2 + 45*p + 24. Is m(-23) a multiple of 18?
True
Suppose -6*i = -21*i + 270. Is 6 a factor of i?
True
Suppose -37*h + 161704 = -8*h. Is h a multiple of 34?
True
Suppose 0 = 4*m - 5*m + 119. Suppose 0 = 5*i + 1 + m. Is 7 + -10 + i/(-2) a multiple of 9?
True
Suppose -4*u - 2096 = -5*n, 2*n + 11*u = 6*u + 845. Is n a multiple of 20?
True
Suppose 4*b + 5*w - 209 = 0, 4*b = -2*w - 2*w + 208. Let i be 2*4/(-8) - -25. Let r = i + b. Does 25 divide r?
True
Suppose -2*y - 2*y - j - 21 = 0, -5*j + 9 = y. Is (y - 136/(-20)) + (-992)/(-10) a multiple of 21?
False
Let n = -496 + 2077. Is 31 a factor of n?
True
Does 7 divide 244/((2/(-4))/(10/(-20)))?
False
Let r(b) = b**3 + 28*b**2 + 54*b + 19. Is 21 a factor of r(-25)?
False
Let h be 233 - (4 - 1)/(-3). Suppose 3*k = -0*k + h. Suppose 28 = -3*g + 4*g + 3*t, -5*t = -2*g + k. Is g a multiple of 34?
True
Let a = -2140 + 2390. Is a a multiple of 17?
False
Suppose 4*f + 11 - 7 = 0. Let j = 65 - f. Is 22 a factor of j?
True
Let a(r) = r**3 + 9*r**2 + 6*r - 12. Let x be a(-8). Let t = -7 - -12. Suppose x*u = -u + 2*q + 158, -5*u - t*q = -165. Does 8 divide u?
True
Suppose o - 7 = -5*i + 2*o, o - 7 = -2*i. Let c be 8/(-2) + (-15 - -19). Suppose c*d = -i*d + 54. Is d a multiple of 9?
True
Suppose 0 + 8 = 4*r. Is r*2/(-2) + 45 a multiple of 7?
False
Let b(f) = 2*f - 1. Let m be b(2). Suppose 0 = -2*g - 8, -m*a + 2*g - 16 = -4*a. Is 4 a factor of a?
True
Suppose q + b - 28 = 7, 4*q - 2*b = 134. Suppose 0 = -2*w + 170 + q. Does 17 divide w?
True
Suppose 4030 = -102*u + 133*u. Is 26 a factor of u?
True
Suppose 4*u - 3 = 2*f - 11, f - 2 = 0. Does 53 divide u + (-220)/(-2) + (2 - 5)?
True
Let q = -46 - -54. Suppose t + 4*d = 79, t - d = q + 51. Does 9 divide t?
True
Suppose -2*z + 3*g = -360, -43*z = -42*z - 4*g - 175. Does 108 divide z?
False
Let p(y) = -y - 5. Let u be p(-10). Suppose u*s + 4*l = l - 423, 421 = -5*s - l. Is (-2 - s)*(-5)/(-10) a multiple of 10?
False
Let r(h) = -h**3 + 14*h**2 + 7*h - 76. Is 13 a factor of r(11)?
True
Suppose 7*c - 22 = 4*c - 4*a, 2*c = 3*a - 8. Is 11 a factor of (3 - 1) + (33 - c)?
True
Let l(n) be the third derivative of -3*n**6/8 - n**5/20 - n**4/8 - n**3/6 + 13*n**2. Does 9 divide l(-1)?
False
Suppose 0 = -2*a + 1 - 9. Let b(s) = -s**3 - 5*s**2 - 5*s - 1. Let g be b(a). Suppose 0 = g*r - p - 58 + 7, 77 = 5*r + p. Does 3 divide r?
False
Let y(h) = -h**3 - 4*h**2 + 4*h - 5. Let d(i) = -3*i**3 - 11*i**2 + 12*i - 15. Let b(a) = -2*d(a) + 7*y(a). Suppose -6*c - 2 = 40. Is 4 a factor of b(c)?
True
Let j be 2/(1/(-1 - -3)). Suppose 0*s = j*s + y - 24, 0 = s - 3*y - 6. Suppose -4*w - 56 = -s*w. Does 14 divide w?
True
Suppose 4*z + 3*o = 70, 0 = z + o + 3 - 20. Is 2 a factor of z?
False
Let p be (-3)/1 - (-1 - 12). Suppose 168 + 132 = p*o. Is 15 a factor of o?
True
Let b = -2 - -8. Let r(g) = -g**3 + 6*g**2 + g - 2. Is 4 a factor of r(b)?
True
Suppose -5*o + 3*o - 5*r - 16 = 0, -5*o + r = -14. Suppose -o*f = -2*m + 38, 5*f + 111 = 4*m - 3*m. Let g = 35 + f. Does 7 divide g?
False
Does 13 divide 1324 + (-1 + 3)*(-60)/24?
False
Let p be 336*(5 + 26/(-6)). Let k = p + -120. Is k a multiple of 26?
True
Suppose z + 6*z - 910 = 0. Is 4 a factor of z?
False
Suppose -5*j - 2*u = 1 - 4, 5*j + 13 = 2*u. Let p be ((-14)/35)/(j/70). Let d = p + -10. Is d a multiple of 3?
True
Suppose -7 + 3 = -2*y. Suppose y*n - 163 = 29. Is 12 a factor of n?
True
Let z be (-21)/28 + (-67)/(-4). Let v = 22 - -2. Let j = v + z. Does 20 divide j?
True
Let s(m) = -3*m**3 - 18*m**2 + 8*m + 22. Is 7 a factor of s(-7)?
False
Let m = -2 + 22. Is (m/8)/((-1)/(-26)) a multiple of 13?
True
Suppose p = 3*h - 0*p - 15, -3*p + 9 = 0. Suppose q = 3*q - h. Does 8 divide q/(6/(-16))*-2?
True
Let b(q) be the first derivative of -q**3/3 + 7*q**2 + 22*q + 12. Is 7 a factor of b(15)?
True
Suppose 82 = w - 0*w + 5*u, -u = -2*w + 186. Suppose 0 = 9*c - 7*c - w. Is c a multiple of 4?
False
Let h be 5/((-3)/(-3)*1). Suppose 0 = -k + 6*k + 5*u - 35, 2*u = -h*k + 23. Suppose k*b = -0*b + 21. Is 7 a factor of b?
True
Let i(p) be the third derivative of -p**6/120 + p**4/6 + p**3/2 - p**2. Let u be 2*1 + -24 + 20. Is 3 a factor of i(u)?
True
Let g(s) = 4*s**3 - s - 7*s**2 - 10*s**2 + 1 + 19*s - 5*s**3. Let u be g(-18). Let z(v) = 27*v**3 + v**2 + v - 1. Is z(u) a multiple of 7?
True
Suppose -4*g + 1 = -7. Suppose -5*c + 4 = 2*d, g*c - 5*d + 10 = c. Suppose -2*b - b + 42 = c. Does 6 divide b?
False
Let j = 3 - 2. Let x(c) = -5 + 6*c - 2 - j. Does 11 divide x(5)?
True
Suppose 3*g - 4*o = 22, -4*g + 4*o = g - 26. Suppose -g*w + 32 = -0. Is w a multiple of 16?
True
Let d = 990 - 733. Does 21 divide d?
False
Suppose 6*a + u = 9*a - 334, 4*a - 450 = -u. Suppose 3*k - 20 - 8 = -j, 4*j = -5*k + a. Is 28 a factor of j?
True
Let t be -1*((-15)/6 + 0)*2. Suppose s - 88 + 14 = -z, 374 = t*s + 3*z. Is 19 a factor of s?
True
Suppose -1476 = -4*p + 4*w, -5*p + 5*w = -2*p - 1109. Is p a multiple of 25?
False
Let z = 601 - 367. Suppose -5*n + 276 = -z. Does 13 divide n?
False
Let g(f) = f**3 + 47*f**2 + 89*f + 68. Is g(-45) a multiple of 5?
False
Let i(r) = r**2 + 8*r + 12. Let h be i(-5). Is h*(-1)/3 - -142 a multiple of 26?
False
Suppose 2*x = 3*x - 7. Suppose 0 = 5*k + 5*v - 20, k = -0*k - 4*v +