k = -2*b - 3*b - 352. Let m = -69 + k. Is m a multiple of 25?
True
Does 23 divide 2 + 2 + (-1 - -26)?
False
Suppose 3*x - 48 = 2*l + 248, -3*l = -2*x + 194. Is x a multiple of 20?
True
Let u = -6 + 8. Suppose u*i = -6*k + 2*k + 76, -58 = -3*k - i. Is 20 a factor of k?
True
Let g(b) = 2*b - 2. Suppose 2*v = -v + 18. Does 4 divide g(v)?
False
Is 9 a factor of 2/(-4) - (-330)/12?
True
Let r be (-4)/(-2) + 1 + -1. Let z be (4/(-3))/(r/(-72)). Is 9 a factor of 1/(-2*(-1)/z)?
False
Let j(k) = -18*k. Let n(b) = -b**3 + 10*b**2 - 2. Let w be n(10). Does 14 divide j(w)?
False
Suppose -6 = 3*i - 15. Suppose q = -4*o + 69, -i*q = -3*o + 2*q + 46. Is 4 a factor of o?
False
Let a = 41 - 8. Is 11 a factor of a?
True
Let m(i) = -i**2 + 9*i - 7. Let d be m(6). Suppose f = -0*f + d. Is f a multiple of 3?
False
Let r = 21 + -78. Let v = 148 + r. Is v a multiple of 27?
False
Suppose 0 = -b + k + 3, -3*b = b - 3*k - 7. Let l be (b - 33/(-12))*4. Suppose 5*q = h + l*q, -3 = h - 3*q. Is h even?
True
Suppose j + 3*j - 4*y + 20 = 0, 0 = 4*j - 5*y + 25. Suppose h = -j*h + 53. Let v = h + -28. Is 11 a factor of v?
False
Suppose -5*o - 280 = -0*o. Let f = o - -115. Suppose -4 = 5*b - f. Does 11 divide b?
True
Suppose 15 + 65 = 3*z + u, -u + 5 = 0. Is z a multiple of 10?
False
Suppose -j - 1 + 30 = 5*m, -31 = -3*m - 4*j. Suppose -100 = -5*z - m*i, 5*i = 3*z - 32 + 4. Is z a multiple of 8?
True
Suppose -5*h = 197 - 757. Does 12 divide h?
False
Let i(b) = -2*b - 2. Let a be i(-5). Does 2 divide -4*((-6)/a - 1)?
False
Let x be (-317)/(-7) - (-4)/(-14). Suppose -6*m + m + x = 0. Is m a multiple of 9?
True
Let d be (-1486)/(-8) - (-1)/4. Does 10 divide ((-2)/2)/((-6)/d)?
False
Let r = 48 - 22. Is 3 a factor of r?
False
Let i(h) = 8*h**2 - 2. Is 10 a factor of i(2)?
True
Let d(w) = -9*w. Let j be d(-1). Let q = 7 - 3. Suppose j*y = q*y + 20. Is 4 a factor of y?
True
Let f be (3/(-4))/((-1)/(-4)). Let z be 37 - (f/(-3) + -1). Suppose 4*d - z + 7 = -2*y, -10 = -2*y. Is 2 a factor of d?
False
Suppose -6*j = -2*j - 8. Suppose 5*h - 15 = -d, -5*h - j*d - d + 25 = 0. Is h even?
True
Let a = -4 + 4. Let y(l) = -l**3 + l + 8. Is y(a) a multiple of 4?
True
Let y(j) = -17*j + 3. Is 8 a factor of y(-10)?
False
Suppose 2*c + 39 = -c. Let g be (-45)/10*(-8)/6. Let q = g - c. Is q a multiple of 12?
False
Let m(y) = y**3 + y**2 - y + 3. Let n be m(0). Suppose -89 = -4*a + 5*l, -n*a + 51 = 3*l + 18. Is 8 a factor of a?
True
Suppose 6*d - 2*d = -i - 18, -i = -4*d - 22. Let c = d + 25. Is 10 a factor of c?
True
Let i(x) = -x**2 + 7*x. Suppose 2*z - 2*j - 6 + 2 = 0, -2*j + 26 = 4*z. Suppose 2*n - 5*l = -12 + 4, z*l = -3*n + 38. Is i(n) a multiple of 4?
False
Let r = 19 - 41. Is 11 a factor of (r/10)/((-1)/5)?
True
Suppose -4*z = 5*h - 10, -h + z + 10 = 4*h. Suppose h*t = -5*s + 20 + 4, -s = t - 6. Let i = 6 - t. Is i a multiple of 2?
True
Let p(w) = w**2 + 5*w + 4. Let i be p(-5). Suppose -4*j = 3*q - 135, i*j + 74 = 2*q - 16. Is q a multiple of 12?
False
Suppose -2*f + 100 = 2*f. Let n = f - 2. Is 7 a factor of n?
False
Suppose -42 = -2*c - 10. Is c a multiple of 3?
False
Let x(o) = 5*o**2 - o - 2. Let s(k) = -14*k**2 + 2*k + 5. Let i(u) = -6*s(u) - 17*x(u). Let f be i(6). Let l = 16 + f. Does 14 divide l?
True
Suppose -6*x = -x + 10. Let m be ((x - -2) + 0)/1. Suppose m = -2*z + 21 + 17. Is 7 a factor of z?
False
Is 4 a factor of (72/(-2))/((-3)/2)?
True
Does 25 divide 7/(175/2510) - (-4)/(-10)?
True
Let n(c) = c**2 + c - 1. Suppose 5*a - 11 = -1. Let u be n(a). Suppose 0 = -u*o + 18 + 12. Does 3 divide o?
True
Let s = 26 - 10. Does 11 divide 4/s - (-262)/8?
True
Suppose 0 = -5*t - 16 + 116. Let n = t + -8. Is n a multiple of 7?
False
Let r(s) = s**3 - 11*s**2 + s + 4. Let n = 2 + 0. Let q be (20 - 2)/n - -2. Is 15 a factor of r(q)?
True
Let l be 1/(2/78 + 0). Suppose -5*b + 10 = 4*t, -3*b = 8*t - 5*t - 6. Suppose a - l + t = 0. Is a a multiple of 13?
True
Let p(f) = f**3 - 11*f**2 + 12*f - 14. Let i be p(10). Let y = -4 + i. Suppose -28 = -y*u + 16. Is 11 a factor of u?
True
Let c(t) = -3*t**3 + 0*t**2 - 2 + 2*t**2 - 5*t**2 - 4*t. Is 6 a factor of c(-2)?
True
Let t be 5 - 3 - 44/(-2). Is (-3 - t)*(-1)/3 a multiple of 9?
True
Is -21*(-2)/12*10 a multiple of 7?
True
Let n = -8 + 6. Let r be -6*((-12)/(-9))/n. Suppose r*w = 5*v - 65, 5*w = v - 7 - 6. Does 4 divide v?
False
Let b be 3/12 - 193/4. Let n = -17 - b. Is 8 a factor of n?
False
Let t(f) = f**2 + f + 8. Let z be t(0). Suppose 3*a = a - 4*p + z, 3*p = 12. Let m(i) = i**2 + 3*i - 2. Is m(a) even?
True
Suppose -4*h - 20 = -520. Suppose -35 + h = 3*r. Is r a multiple of 11?
False
Suppose j - 34 = m + 58, 4*j - m = 353. Let o = -56 + j. Is 8 a factor of o?
False
Suppose 5*u + 3*s - 44 = 0, -5*u + 0*s - 4*s = -47. Does 2 divide u?
False
Suppose -5*t + 3*o = -51, -t + 2*o = -0*o - 6. Suppose -6*m + 42 + t = 0. Is 6 a factor of m?
False
Let g(i) = -4*i**3 - 2*i**3 + 2*i + 6 + 5*i**3 - 5*i**2. Suppose 4*q + 2*w = -12 - 2, 0 = -3*w + 15. Does 15 divide g(q)?
True
Let v(g) = -2*g**3 + g**2 - 2*g + 1. Let p be v(-3). Let a = p + -28. Does 14 divide a?
True
Suppose -o + 5*o = -272. Let w = -41 - o. Suppose w = 3*t - a, 28 - 5 = 2*t + a. Does 10 divide t?
True
Let x(i) = -7*i**2 + 1 - 6 - 2*i - 2 - i**3. Is x(-7) a multiple of 2?
False
Suppose b = -z, 4*z = -12 - 0. Suppose -b*f + 41 = -2*f. Does 15 divide f?
False
Let y(m) = -2*m**2 + 4*m - 2. Let i be y(2). Let l(r) be the third derivative of -r**4/12 - r**3/3 - 6*r**2. Does 2 divide l(i)?
True
Let a(n) = -n**2 + 9*n - 6. Let v be a(9). Let t = v - -5. Let c = 11 + t. Is 6 a factor of c?
False
Suppose 0 = 62*k - 67*k + 965. Is 32 a factor of k?
False
Let b(v) = -16*v. Does 17 divide b(-4)?
False
Suppose 0 = 18*v - 12*v - 360. Is 15 a factor of v?
True
Is 9 a factor of -2 - -5 - (4 - 47)?
False
Let h(c) = 77*c + 1. Let b = -5 + 6. Let o be h(b). Let d = o + -36. Does 21 divide d?
True
Does 15 divide (-1058)/(-18) + 1 + 38/171?
True
Suppose -4*o - 6 = -4*d + 18, 12 = 2*d + 4*o. Suppose 4*y + 3*c = d*c + 76, 4*y = 2*c + 72. Is 8 a factor of y?
True
Suppose 0*c - c = 0. Suppose -4*f = 3*d + d - 124, 4*f - 142 = 2*d. Suppose c = 5*r - 89 + f. Is r a multiple of 6?
False
Let c be (-16)/(-56) + (-94)/(-14). Let d = 7 + c. Does 5 divide d?
False
Is (-226)/(-10) + 4/10 a multiple of 15?
False
Let u = 11 + -9. Suppose -u*d + d = 0. Is d*1/(-3) + 48 a multiple of 24?
True
Does 14 divide (2/(-5))/(28/(-8680))?
False
Suppose 3*u = j + 5*u - 104, 2*j = 3*u + 180. Is j a multiple of 32?
True
Suppose 4*z - 6 = 3*z. Suppose 0 = z*t - t. Does 7 divide 4/(-6)*(t - 21)?
True
Does 4 divide -2 + 4 - 30/(-5)?
True
Does 25 divide ((-4)/(-3))/(-4 + 690/171)?
False
Suppose -7 = v - i, 0*i + 13 = -4*v + i. Let a = v - -7. Suppose -a*b - 1 + 11 = 0. Is b even?
True
Does 5 divide -15*2/(-3 + 1)?
True
Let p(s) = -17*s - 3. Let v be p(-6). Suppose -3*a + v = 3*r, 5*a - 21 = -r + 132. Suppose -5*b + a + 85 = 5*c, -4*c + 5*b = -119. Is c a multiple of 13?
True
Let z = -583 + 970. Does 25 divide z?
False
Suppose 5*m = -3*o + 1249, 2*o - 801 = -3*m + 6*m. Is 51 a factor of o?
True
Suppose 0 = 93*x - 95*x + 84. Is 7 a factor of x?
True
Suppose -v = -w + 3, 2*v - 4*w + 18 = v. Is 0 - (0 - v) - -40 a multiple of 13?
False
Let v(j) = -j**3 + 8*j**2 - j + 7. Let u be v(6). Let g = -50 + u. Does 17 divide g?
False
Let q(g) = g - 3. Let b be q(3). Is -2*(-69)/6 - b a multiple of 9?
False
Suppose -13 = 2*p + 5*d, -5 = -4*p + d + 2. Suppose p - 40 = -3*w. Is w a multiple of 9?
False
Let z(d) = d**2 - 2*d - 1. Let g be z(3). Suppose 5*o - 196 = f, -o + 2*f + 112 = g*o. Does 20 divide o?
True
Suppose -m = 3*m - 92. Let u(i) = -i**2 + 4*i + 3. Let q be u(6). Let p = m + q. Does 9 divide p?
False
Suppose 7 = b - 0*b. Let j = 23 - b. Is 6 a factor of j?
False
Let u = 16 + -4. Let r = 3 - 7. Let d = r + u. Is d a multiple of 4?
True
Let x(v) = -v**3 + 4*v**2 + 7*v - 2. Suppose 0*d - 3*d = -6, -3*h - d + 17 = 0. Does 5 divide x(h)?
False
Suppose 2*i + 1 = -3*g + 7, 5*g + 2*i = 6. Suppose -5*o + 2*k + 22 = -3*o, 2*o - 3*k - 22 = g. Is 6 a factor of o?
False
Let q = 138 - -6. Does 12 divide q?
True
Let h = 8 - 7. Is h/(62/(-64) - -1) a multiple of 16?
True
Let x = 203 + -143. Does 16 divide x?
False
Suppose 0 = 3*f - 5*m - 61, 6*m = 2*f + 3*m - 