w - 1008. Does 40 divide w?
True
Let c = -32 + 57. Suppose 0 = -2*s - 4*p - 2, -5*s - 10 = -4*s - p. Let b = s + c. Is 18 a factor of b?
True
Suppose 0*r - 62 = -r. Is 18 a factor of r?
False
Let z = 7 - 12. Let p = 9 + z. Does 4 divide p?
True
Let v(m) = -33*m + 2. Does 7 divide v(-1)?
True
Suppose -22 - 166 = -2*k - 4*f, -4*k + 5*f + 337 = 0. Is 22 a factor of k?
True
Let b = 39 + -24. Does 6 divide b?
False
Let j(i) = 17*i**3 + i**2. Let s be (-9)/15 + (-2)/5. Let z = 2 + s. Does 18 divide j(z)?
True
Suppose -3*a + 0*a + 24 = 0. Suppose 17 + a = 5*d. Suppose 2*i + 25 = m, -2*i = -5*m - d*i + 73. Does 16 divide m?
False
Is 1372/44 + 6/(-33) a multiple of 7?
False
Is -2 + 2 - (0 + -20 - 0) a multiple of 5?
True
Let u(x) = 2*x**2 - 1. Let s(w) = -2*w**2 + w + 2. Let z(k) = 3*s(k) + 4*u(k). Let p = 7 - 4. Is 10 a factor of z(p)?
False
Suppose 2*t + 0 = -4*a + 4, 0 = -4*t - a + 1. Suppose t = -5*v - l - 3*l + 327, 60 = v - l. Suppose -2*m = 2*y - 70, -3*y = -y - 5*m - v. Is 12 a factor of y?
False
Let d be 330/75 + 6/10. Suppose -2*x = d*r - 52, 32 + 36 = 3*x + 5*r. Is 13 a factor of x?
False
Does 21 divide (0 - -172)/(-1 - (-5 - -3))?
False
Suppose 2*h - w - 8 = 3*w, 5*h = 4*w + 32. Let x = h - 5. Suppose 0 = x*p - 4*u - 188, u + 0 = -2. Is 19 a factor of p?
False
Let z = -156 + 336. Does 18 divide z?
True
Suppose b - 4 = -0*b. Suppose 10 = b*p + 2. Does 15 divide (0 + (49 - -1))/p?
False
Let m(l) = 2*l - 4. Let u be m(6). Suppose -u*y = -2*y - 216. Does 12 divide y?
True
Let i be 1 - (-1 + 1) - 24. Is 7 a factor of (-4)/(-3)*(-2 - i)?
True
Suppose 4*r - 2*r - 10 = 0. Suppose -5*a = -2*v + 3*v + 2, -r*a = 2*v - 16. Does 10 divide v?
False
Let c be 4/10*(-15)/(-6). Let q = c + 17. Suppose 2*v - 10 = q. Is 14 a factor of v?
True
Let t be ((-8)/5 + 1)*-5. Suppose 3*g - 34 = -2*x, 3*g + t*x = 7*g - 51. Is g a multiple of 10?
False
Let z(p) = -2*p**3 - p**2 - 2*p - 2. Does 18 divide z(-3)?
False
Let x(m) = -2*m + m**2 + 0*m**2 + 0*m**2 + 8*m**3 + 1. Let f be (8/24)/(1/3). Does 7 divide x(f)?
False
Is 24 a factor of (-5088)/(-52) + (-8)/(-52)?
False
Let a be (-4)/(-24) - (-46)/12. Suppose 2*h + a = h. Does 10 divide 236/10 + h/(-10)?
False
Suppose 0*v + 4*v - 132 = 0. Does 7 divide v?
False
Let w(l) = -6*l**3 - l**2 - l. Let x be w(-1). Let i be (-18)/(-4)*4/x. Suppose 4*b - 47 = i*b. Does 13 divide b?
False
Suppose -2*r - v + 0*v = -15, 15 = 5*r - 5*v. Let s(q) = 0 + r + q - 4. Is s(5) a multiple of 2?
False
Does 14 divide (3/1 - -192) + 1?
True
Let t = 3 - -73. Does 19 divide t?
True
Let b be 2/10 + 1/(-5). Suppose b = -4*c + 47 + 37. Is 13 a factor of c?
False
Suppose 0 = -0*x + 2*x - 8. Suppose -c - x*d - 11 = 0, -4*c - 34 = -2*d - 80. Is 4 a factor of c?
False
Let n(z) = z**3 - z**2 + 2*z - 1. Let t be n(2). Let d(s) = -s**2 + 7*s - 6. Let w be d(t). Does 16 divide -3*1/w*36?
False
Suppose 5*k + 5*c = -15, -2*k + 4*c - 24 = -0*k. Let j(f) = f - 2. Let q be j(k). Let v = 35 - q. Is v a multiple of 12?
False
Let z(p) = -p**2 + 8*p + 2. Is z(6) a multiple of 14?
True
Let d be 2/5 - 1965/(-25). Suppose 3*b = -3*r + 2*b + d, -106 = -4*r - 2*b. Is 13 a factor of r?
True
Suppose 3*v + 44 = 2*v. Does 2 divide v/55*(-5)/2?
True
Let c be (1/2)/(2/(-28)). Let w = -3 - c. Suppose w*r - 32 = -0*r. Is r a multiple of 7?
False
Let u(l) = 4*l**3 - 3*l - 1. Let g be u(3). Suppose 4*a = -10 + g. Does 16 divide a?
False
Suppose -4*p - 11 = 13. Is 13 a factor of (4/p)/((-4)/78)?
True
Let m(l) = l**3 - 5*l**2 + 5*l - 1. Let h be m(4). Suppose b - 3*u = 12, 11 = -4*u + h. Suppose 0 = 4*o - b - 10. Is 4 a factor of o?
True
Let q(r) = -r + 12. Suppose -8 - 10 = -3*z. Does 6 divide q(z)?
True
Suppose t - 4 = -3*t. Let s be -2 + 0 + -1 + 6. Suppose -s*a + t + 20 = 0. Does 4 divide a?
False
Let s(r) = -r**3 + 3*r**2 + 3*r + 1. Let y be s(4). Let w(u) = -u**2 - 6*u - 3. Is w(y) a multiple of 6?
True
Suppose 4*s = -c - 1, -3*s - 3 = c - 0. Let j = c + 51. Does 14 divide j?
True
Let w(z) = 16*z + 15. Is 46 a factor of w(4)?
False
Let s be 3/(-1)*(-4)/6. Let w = 54 - 33. Suppose s*n - 7 = w. Is 7 a factor of n?
True
Suppose 3*a + 3*g - 12 = 0, -2*g = 7*a - 2*a - 5. Let x = a - -4. Suppose -d + x*d = 20. Does 10 divide d?
True
Let b = 10 - 6. Suppose 0 = -b*y + 3*y + 9. Does 9 divide y?
True
Suppose -2*g + 0 = -4. Suppose g*a - a - 4 = 0. Suppose 5*s = 4*b + 21, 0*b + b + a = s. Is 5 a factor of s?
True
Is 9/(-12) + (307/4 - -1) a multiple of 21?
False
Let p = -33 + 48. Let h = 23 - p. Is 8 a factor of h?
True
Let v = -48 - -187. Does 18 divide v?
False
Let c be (-2)/(-4)*32/8. Suppose 0 = 4*y + c*m, -4 = 4*y + 3*m - 0. Suppose -y*f + 30 = -22. Does 13 divide f?
True
Let y = 31 + -14. Is 11 a factor of y?
False
Let s(i) = -i**3 - 21*i**2 - 20*i + 36. Is s(-20) a multiple of 2?
True
Let m be (20/(-15))/((-2)/3). Let o be 2 - (-2 + -3 + m). Suppose -3*y - q + 26 = 0, 3*y - 32 = -o*q + q. Is y a multiple of 8?
True
Is (11/(-2))/(4/(-8)) a multiple of 10?
False
Let a = 191 + -149. Is 14 a factor of a?
True
Let v be 12/(-9)*9/(-6). Suppose -6 - 2 = -v*s. Suppose o + 72 = s*o. Is o a multiple of 10?
False
Suppose 16 = -5*f - 5*w + 6, -10 = 5*w. Suppose j - 4 = 5*j, f = -3*g + j + 208. Is g a multiple of 23?
True
Suppose 3*i - 5*r = 198 - 63, 0 = r - 3. Does 25 divide i?
True
Let a be -1*2*(-6)/4. Let j(x) = x**3 - 7*x**2 + 6*x + 4. Let o be j(6). Suppose -o = -l - a*d + 4, 2*l = -3*d + 22. Is 5 a factor of l?
False
Suppose 4*g - 2*y + 38 - 186 = 0, 179 = 5*g - 4*y. Let c = g + -20. Suppose -w + c = 2. Is 11 a factor of w?
False
Let d = -66 - -130. Does 8 divide d?
True
Suppose 0 = a + 1 - 3. Let u be (-1 - a/3)*-3. Suppose 2*t - 16 = t - 2*n, u*n - 53 = -3*t. Is 7 a factor of t?
False
Let m(u) = 8*u. Suppose -3*n - 11 = -5*o, -5*n = -5*o - 3*n + 9. Is m(o) even?
True
Let h = 6 - 3. Suppose 4*z + 3*m - 2*m = 155, -h*z + 122 = -5*m. Does 13 divide z?
True
Let b(w) = w**2 - 6*w - 8. Let u(d) = -d**3 + 5*d**2 + 6*d + 8. Let o be u(6). Let v be b(o). Let f = v - 4. Does 4 divide f?
True
Suppose 167 = 2*m - 15. Is 13 a factor of m?
True
Suppose -4*k = -2*w - 14, -2*k = -4*k + 8. Suppose 2*y - 13 + w = 0. Suppose 3*a + y = 0, -4*a - 100 = -3*h - 38. Is h a multiple of 6?
True
Let z(a) = 4*a**2 + a - 1. Let k be z(1). Suppose 0 = -2*j - k*l + 99 - 25, -4*j + l = -157. Is j a multiple of 14?
False
Suppose 30 = 3*g - 0*g. Let j = -2 + g. Is j a multiple of 4?
True
Suppose 0*d + 2 = 2*d. Let i be 3*d + -7 + 8. Let y(u) = u**3 - 3*u**2 - 3*u + 5. Is y(i) a multiple of 9?
True
Suppose 5*y - 267 - 8 = 0. Suppose -4*d - 68 = 80. Let w = y + d. Is 10 a factor of w?
False
Let x = 15 - 5. Suppose 0 = 4*i - x - 134. Is i a multiple of 9?
True
Suppose -3*t + 6 = -6*t. Let o = 2 - 4. Is (-6 + (o - t))*-1 a multiple of 5?
False
Suppose -5*t - 24 = -0*t + v, -4*t - 4 = -3*v. Suppose -i + q = -7, i + 4*q = -0*i + 32. Is 7 a factor of (-55)/t + 3/i?
True
Let d be -1 + 0 - 63/(-3). Suppose 10*n - 5*n - 47 = x, -2*n + x + d = 0. Does 6 divide n?
False
Is 19 a factor of 19/19*(-38 + 0)/(-2)?
True
Suppose 12*u - u = 352. Does 6 divide u?
False
Let u be 80 + (1 - 2) + 2. Let w = u - 45. Is 13 a factor of w?
False
Suppose 34 = r + 6. Does 14 divide r?
True
Suppose -4*u + 125 = 5*x, 5*x - 2*u + 0*u = 125. Suppose 2*f - x = f. Does 18 divide f?
False
Suppose 0 = -5*z - 2*s + 164, s = -z + 2*s + 37. Let q = z + -4. Does 21 divide q?
False
Suppose -12 = -5*p - 2. Let m = p - -8. Is m a multiple of 6?
False
Let n = -182 - -391. Does 15 divide n?
False
Let m(z) = -3*z + 7. Is 8 a factor of m(-5)?
False
Let r = -3 + 5. Suppose -n - 2 = -r*n. Suppose 105 = 2*l + b, n*l + 2*b - 132 = -26. Does 22 divide l?
False
Let d = 4 + 0. Suppose d*c + 13 - 41 = 0. Is 3 a factor of c?
False
Let y(h) = h**3 - 14*h**2 - 15*h + 14. Is 14 a factor of y(15)?
True
Let w = 47 + -13. Is w a multiple of 34?
True
Let t(h) = 66*h - 1. Suppose c + 14 = -2*o - 2*c, 11 = o - 3*c. Let m be t(o). Let a = 108 + m. Does 15 divide a?
False
Let i(t) = t**3 + 5*t**2 - 2*t. Suppose 5*b + 1 = -j, 3*b = 2*j + 8*b + 7. Let l = 1 + j. Is i(l) a multiple of 4?
False
Let z(q) = -3*q**3 + 2*q + 3. Let x be z(-2). Suppose x - 5 = 2*d. Does 3 divide d?
True
Let s(r) = 5*r**3 - r**2 + 3. Is s(3) a multiple of 16?
False
Suppose 3*d + 9 = -3*o, 0 = -4*d - o + 3 