se 4*v - 3*r + t*r - 32 = 0, 2*v + 4*r = 16. Does 3 divide v?
False
Let s = 29 + -34. Let h(f) = f + 1. Let y(u) = 6*u + 8. Let j(v) = 3*h(v) - y(v). Is j(s) a multiple of 8?
False
Let o = 17 + -10. Does 7 divide o?
True
Let h = 6 + -4. Suppose -k = -t + 4, 0 = k - 5*k - 5*t + h. Is 11 a factor of 10 + 3/((-6)/k)?
True
Let h = -7 - -12. Suppose 0 = -2*u + 4*c + c + 20, 5*c = h*u - 35. Let j(y) = -y**3 + 7*y**2 - 7*y - 1. Is 10 a factor of j(u)?
False
Is 230/3 - (-8)/24 a multiple of 13?
False
Let a(u) = u**3 - 8*u**2 - u + 5. Let s be a(8). Let k = 3 - s. Is 3 a factor of k?
True
Suppose 5*p - 35 = -10. Suppose 81 = p*j - 79. Does 16 divide j?
True
Let p(g) = -g**3 + 7*g**2 - 9*g + 3. Let k be p(6). Let u = k + 21. Does 4 divide u?
False
Suppose y - 4*y + 30 = 0. Suppose y*c = 5*c + 175. Suppose -2*s = -3*k - c, 10 = 2*s + 3*k - 7. Does 13 divide s?
True
Does 10 divide (4/3)/((-6)/(-90))?
True
Suppose 235 = 5*y + 4*o, 119 = 3*y - 2*o - 0*o. Is 17 a factor of y?
False
Let u(t) = t**3 + 11*t**2 - 3*t - 8. Does 26 divide u(-8)?
True
Suppose 5*c + 0*c - 5 = 4*n, -3*c + 3 = -4*n. Suppose 0 = -n*k + 3*k - 30. Does 4 divide k?
False
Let s be 0 - -2 - 3 - -9. Suppose -2*q = -q - s. Is ((-10)/q)/((-8)/352) a multiple of 15?
False
Suppose v - 35 = -3*d, 2*v = -v - 3*d + 129. Does 6 divide v?
False
Let c(h) = h**2 + 3*h - 2. Let t be c(-5). Suppose -t = -4*q + 8. Suppose 0 = -f - q*a + 19, -2*f + 8 + 18 = 4*a. Does 7 divide f?
True
Let n be (-2)/10 + (-38)/10. Let t = 6 + n. Is -5*(4/5 - t) a multiple of 6?
True
Let p = -2 - -7. Suppose -2*t - 72 = -p*t. Is 6 a factor of t?
True
Let d = -22 + 25. Is d a multiple of 2?
False
Let z = -1 - 5. Let c = z + 6. Let y = 23 - c. Is y a multiple of 23?
True
Suppose -r + s = 2*s - 16, 2*s = 4*r - 88. Is r a multiple of 5?
True
Let u(p) = 2*p**2 + 11*p + 7. Let t be u(-7). Suppose 7*q = 3*q + t. Let y(v) = -v**3 + 8*v**2 - 5*v - 4. Does 6 divide y(q)?
False
Suppose -4*m - 5*z = -70, -5*m = -8*m - z + 58. Does 20 divide m?
True
Suppose 0*k + 3*k - 111 = 0. Suppose 5*f - k = -2. Does 4 divide f?
False
Suppose 5*k + 0 = 3*w + 6, 4*k = -4*w - 8. Suppose k*d + d = 0. Does 5 divide 1/3*d - -9?
False
Suppose -77 = -5*d + 88. Is 11 a factor of d?
True
Is 9 a factor of 3 + 244/4*(2 + -1)?
False
Let j be 8/(-48) + 271/6. Suppose -4*k = -c - 43, 2*c - j = -5*k + 25. Does 6 divide k?
True
Suppose 3*r = -855 - 363. Let a be (-4)/10 + r/10. Let v = a + 57. Does 8 divide v?
True
Let k be 170/40 + (-2)/8. Suppose 2 = h - k. Is 3 a factor of h?
True
Let d(c) = -c**3 + c. Let u(b) = b**2 - 2*b - 2. Let t be u(2). Does 5 divide d(t)?
False
Let x be (-8)/10*25/(-2). Let a(j) = -j**2 + 3*j + 4. Let n be a(4). Is 2 - -1*x - n a multiple of 8?
False
Let v(c) = c + 102. Is v(0) a multiple of 34?
True
Let t(o) = 0 - 3*o + 2*o**2 - 1 + 0*o**2 + 7*o. Does 18 divide t(-5)?
False
Let i(m) = 15*m**2 - 24*m - 2. Is i(-3) a multiple of 29?
False
Suppose i = 6*i - 2*y - 353, -3*i + 211 = -2*y. Is 14 a factor of i?
False
Does 2 divide (1 + 1)/(128/(-68) - -2)?
False
Suppose -5*u - d = 10, -2*u = -0*u - 4*d + 4. Let b(r) = 0 + 2 - 14*r + 6*r. Is 7 a factor of b(u)?
False
Let h be ((-6)/(-5))/((-4)/(-10)). Suppose -6*u = -h*u - 138. Does 23 divide u?
True
Let j(g) be the first derivative of -7*g**4/4 + g**3/3 - 4. Suppose 0 = -4*a + 2*f + 6, -7 = -2*a + 3*f + 6. Is 6 a factor of j(a)?
False
Suppose -10*o - 158 = -2888. Is 21 a factor of o?
True
Let o(s) = -8*s - 2*s + 5*s - 7*s. Is o(-1) a multiple of 12?
True
Suppose a - 3*a = -50. Is a a multiple of 5?
True
Is (72/20)/(2/10) a multiple of 9?
True
Let c = 12 + -7. Suppose 0 = 5*z + c*k - 30, z + 3*k - 8 = 0. Suppose 24 = n - 3*v, -z*n + 5*v = -13 - 67. Does 6 divide n?
True
Suppose z = 2*q + 8, 0*q - 4*q - 8 = -4*z. Is 12 a factor of (18 - -2)*q/(-5)?
True
Let v(f) = -f**2 + 16*f. Let t be 12/30*10*2. Is v(t) a multiple of 26?
False
Is 15 a factor of ((-2)/(-3))/((-12)/315)*-2?
False
Suppose 3*u = 3*c - 3, -c = 5*u - 9 - 4. Let v(a) = 129*a**3 - a**2 - a + 1. Let d be v(1). Suppose c*n - d = -n. Does 11 divide n?
False
Let g = 3 + 1. Suppose -3*d + 22 = 5*t, g*t - 4*d + 0 = -8. Is 16 a factor of ((-16)/(-1))/(t - 1)?
True
Let u(z) = -z**3 + 3*z**2 + 2*z - 3. Let y be u(3). Suppose -l - 4*l = -y*g - 48, -4*l - 5*g + 68 = 0. Is 3 a factor of l?
True
Let j be (0 - -2)*466/(-4). Let s = -162 - j. Suppose 0 = 3*g - s - 49. Does 12 divide g?
False
Let r(k) = k**2 - 15. Let y be r(0). Let s = 7 - y. Is 8 a factor of s?
False
Suppose 0 = -s + 4 + 12. Is 4 a factor of s?
True
Let y(x) = -3*x**3 + 5*x + 4. Is y(-3) a multiple of 29?
False
Suppose 0*v + 16 = 4*v. Let r = -1 + v. Suppose 4*i + 3*f = 37, -f - 9 = -r*i + 9. Does 4 divide i?
False
Let p(d) be the first derivative of d**4/4 + 4*d**3/3 + d**2/2 - d + 2. Let r be p(-2). Suppose -s + 2*s + r*u = 30, -s + u = -30. Is s a multiple of 15?
True
Suppose -9*q + 7*q = 5*x - 278, 442 = 3*q - 5*x. Does 24 divide q?
True
Let v = 5 - 3. Suppose r = v*r + 3*y - 7, -4*y = 0. Does 7 divide r?
True
Let b(z) = z + 30. Suppose -6*w = -4*w. Does 10 divide b(w)?
True
Let k be 4 - (2 + -1 - -1). Suppose k*n - 50 + 2 = 0. Suppose -l + 30 = 3*l - 2*s, -4*s = -2*l + n. Does 3 divide l?
True
Let c(g) = 2*g - 4. Let a be c(4). Suppose 2 - 7 = x + 4*l, a*l + 47 = 5*x. Suppose -2*o = -17 - x. Is o a multiple of 12?
True
Let b be (-10)/(-25) - (-164)/(-10). Let i = b - -41. Is i a multiple of 25?
True
Suppose -2*w - i + 4 = i, 4*w - 20 = -i. Let b = w + -2. Is 2 a factor of b?
True
Let n(l) = -l**2 + 3*l + 2. Let q be n(2). Suppose q*o - 5*o = 2. Let b(t) = -t**3 + t**2 + 3*t + 2. Is 3 a factor of b(o)?
False
Let n be 0 + -94 + 0 - 1. Let g = n - -135. Is 25 a factor of g?
False
Let y be 39/9 - 3/9. Suppose -13 = -5*z + d, d - y*d = 3*z - 15. Is 3 a factor of z?
True
Let v = 167 + -92. Is v a multiple of 25?
True
Suppose -2*b = -5*b - 5*x + 22, 3*b + x - 38 = 0. Suppose -4*a = -i + 18, 10*i - 5*i - a - b = 0. Suppose i*q + 14 = t, -5 = -2*q + 5. Is t a multiple of 24?
True
Suppose 0 = 4*k - 4*z - 36, -2*k - 2*z + 66 = 2*k. Is 14 a factor of k?
True
Suppose -2*l + 83 = 3*d + 2*l, 0 = -3*d + 3*l + 48. Does 3 divide d?
True
Suppose -5*l + 3*q + 560 = 0, 5*l = -0*q + 2*q + 565. Is 5 a factor of l/15 + (-2)/3?
False
Let a(s) = s**3 + s**2 + s + 1. Let f(u) = -u + 8. Let d be f(7). Let v(p) = -4*p**3 - 11*p**2 - 12*p + 5. Let c(o) = d*v(o) + 3*a(o). Is 22 a factor of c(-7)?
True
Let c(v) = v + 4. Let x be c(-4). Suppose 3 = -4*g - 2*h + 141, -g + 4*h + 48 = x. Is 18 a factor of g?
True
Let v = 44 - -4. Is 6 a factor of v?
True
Let b(c) = -2*c**3 - 4*c**2 + 2*c + 10. Does 32 divide b(-6)?
False
Let v(g) = 5*g - 7. Let c(p) = -9*p + 15. Let l(h) = -h**3 + 2*h**2 - 4. Let t be l(3). Let m(w) = t*v(w) - 6*c(w). Is 15 a factor of m(-4)?
True
Let s = 21 - 5. Suppose -5*q + s = -94. Does 22 divide q?
True
Suppose -2*f - 18 = -0*f. Let c = -7 - f. Suppose m - 39 = -c*b, -5*b = -3*m - 66 - 15. Does 9 divide b?
True
Suppose 2*o - 3*o + 3 = 0. Let h(y) = -3*y**2 + o*y + 0*y**2 + 4*y**2 + 6*y + 11. Is h(-8) even?
False
Let z(c) = -12*c**2 + c. Let a be z(-1). Let m be (a/5 + 2)*-10. Let q(u) = -u**2 + 10*u - 7. Is q(m) a multiple of 17?
True
Let y be 6/2 - (3 + -4). Let f(d) = -d**3 - 6*d**2 - d - 3. Let x be f(-6). Suppose -10 = x*w - y*w. Does 4 divide w?
False
Suppose 3*d + 3*g + 258 = 0, 3*d + 57 = 4*g - 222. Let u = d - -132. Does 11 divide u?
False
Suppose -1165 = -16*a + 1619. Is a a multiple of 15?
False
Let m(q) = 0*q**2 + 2 + q**2 - 2*q - 3*q**3 + 26. Let o(x) = 13*x**3 - 5*x**2 + 9*x - 112. Let i(p) = 9*m(p) + 2*o(p). Does 9 divide i(0)?
False
Let i(r) = -10*r + 24. Is 13 a factor of i(-8)?
True
Suppose -3*o - s + 2*s = -201, 4*s = -o + 54. Does 11 divide o?
True
Suppose r + f = 129, 2*r - 4*f + 268 = 4*r. Does 6 divide r?
False
Let p(v) = v**3 - 5*v**2 + 5*v - 2. Suppose -4 = d - 1. Let r(i) = i**3 - 5*i**2 + 5*i - 3. Let u(f) = d*r(f) + 4*p(f). Does 5 divide u(4)?
True
Suppose 7 = 2*n - 5. Suppose 0 = s - n*s + 220. Is s a multiple of 30?
False
Suppose 0 = -3*o + 4*o - 1. Suppose -j - 3*i + 10 - o = 0, 2 = -i. Is 5 a factor of j?
True
Suppose -3*y = -11*y + 912. Does 19 divide y?
True
Suppose -8*d = -356 + 132. Is 3 a factor of d?
False
Let s(y) = y**3 + 5*y**2 + 5. Let f be s(-5