8. Suppose 0*i + 2*i - 2*g = 0, q*i + 5*g = 7. Is 10 a factor of s(i)?
False
Let c = 22 - 31. Let p = 36 + c. Suppose -3*i + 117 = -p. Is i a multiple of 24?
True
Does 9 divide (-356)/(-10) + (-30)/(-75)?
True
Let l(b) = -b. Let k be l(-4). Suppose 84 = k*f - 32. Is f a multiple of 10?
False
Let s = -48 + 78. Is s a multiple of 10?
True
Suppose -z + 16 = 3*z. Is 10 a factor of (-8)/(-32) + 119/z?
True
Suppose -3*j + w + 14 + 37 = 0, 17 = j + w. Is 11 a factor of j?
False
Suppose -3*z = t + 30, 0*z + 5*z + 5 = 0. Let r = t - -53. Is r a multiple of 13?
True
Let f = 7 + -3. Let x(k) = k**3 - 7*k**2 - 7*k - 6. Let o be x(8). Suppose -2*q = -q - 3*r + 6, f*q - o*r = 16. Is q even?
True
Let n(b) = -6*b**2 + 5*b - 2. Let m be n(5). Is 3/12 - m/4 a multiple of 15?
False
Is 7 a factor of -93*5/(-15)*2?
False
Suppose j = k + 90, -2*j + 7*j + k - 438 = 0. Is j a multiple of 31?
False
Let g be ((-3)/(-2))/((-2)/(-4)). Suppose -g*t + 5*f = -0*t - 9, -f + 1 = -2*t. Is 13 a factor of (-128)/(-5) + t/(-5)?
True
Let v = 5 + -3. Suppose v*s - 2 = 4. Suppose -l + s*g + 49 = -g, 0 = 2*g + 8. Does 11 divide l?
True
Suppose 5*u = -o + 767, o = -2*o + 6. Suppose 87 + u = 5*b. Does 12 divide b?
True
Suppose 2*o + 4*u - 22 = 0, 0 = -3*u + 3 + 3. Does 7 divide o?
True
Suppose -77 = -3*a + 4*q, -6*a + 62 = -3*a - q. Let s = a + -11. Is s a multiple of 4?
True
Let i(x) = x**3 + 7*x**2 - 2*x + 2. Let b be i(-7). Suppose 4*n = b + 352. Suppose 0 = -5*v + g + 230, -2*v + n = -3*g - g. Is 12 a factor of v?
False
Suppose -2*l + 164 = -5*c, 0*c + l = 5*c + 162. Does 2 divide c/12*3/(-2)?
True
Suppose 0 = -4*n + 3*n + 5*q + 16, -11 = -2*n + 3*q. Let t be n + (-2)/2*-31. Suppose 0 = -5*g - 4*h + 24, 3*h + h + t = 2*g. Is 4 a factor of g?
True
Let m(o) = 4*o**2 - 7*o + 4. Let t be m(-6). Suppose 2*u - t = 4*v, -356 = 4*u - 8*u + 2*v. Does 29 divide u?
True
Let m(p) = p**3 + p**2 + p - 67. Let b be m(0). Let h = -45 - b. Is h a multiple of 9?
False
Does 46 divide (7/(7/69))/(6/32)?
True
Is 2 a factor of 216/40 - 2/5?
False
Suppose 0 = -4*u + 4*q + 156, -5*u + 4*q + 122 + 69 = 0. Suppose 0 = 4*w - 5*l - u, 0*l + 2*l - 2 = 0. Does 6 divide w?
False
Suppose -3*c = -3*i - 15, -4*i + 2*c - 10 = 4. Let q = i - -2. Suppose 3*l = -q*l + 42. Is 5 a factor of l?
False
Let a be ((-4)/6)/((-2)/27). Let c = a + -5. Is 2 a factor of c?
True
Suppose -16 = -2*q + 4*r, 4*q - r - 3 = 3*q. Is 13 a factor of 2 - (-1*26 - q)?
True
Let p = 103 - 59. Does 20 divide p?
False
Suppose 3*x - 2 = 4. Let i(n) = -2 + 8 + n**x + 0 - n**3. Is i(0) a multiple of 4?
False
Let o(d) be the third derivative of d**6/120 - 13*d**5/60 + 13*d**4/24 - d**3/2 + d**2. Is o(12) a multiple of 6?
False
Suppose 3*d + 30 = 6*d. Does 7 divide d?
False
Let b be 15/2*(-24)/(-30). Let c(g) be the first derivative of -g**3/3 + 4*g**2 + 6*g - 1. Does 7 divide c(b)?
False
Let g = 14 - 10. Suppose 2*q + 2*q = 204. Does 12 divide (g/(-3))/((-2)/q)?
False
Suppose -9*u = -821 - 196. Does 17 divide u?
False
Let a(p) = p**3 - p**2 - 6*p + 4. Suppose -2 = z - 2*n, 4*z + z = 4*n + 8. Is a(z) a multiple of 14?
True
Let c be 6*(2 + -3 + 4). Suppose -117 = -4*j - 5. Let a = j - c. Is a a multiple of 5?
True
Is ((-6)/(-1 - 2))/((-4)/(-20)) a multiple of 2?
True
Let h(l) = -l + 2. Let a be h(-2). Suppose 13 + a = t. Does 15 divide t?
False
Let a(b) = -b**3 - b**2 - 3*b + 45. Is a(0) a multiple of 11?
False
Suppose 0 = -3*g + 5*f - 0*f + 746, 758 = 3*g + f. Is 63 a factor of g?
True
Let g = 229 - 96. Does 11 divide g?
False
Let v(q) = 19*q. Let z be v(-3). Let u = -33 - z. Is 6 a factor of u?
True
Let r = 4 + -8. Let s(g) be the first derivative of -3*g**2 - 6*g + 15. Does 11 divide s(r)?
False
Let l(j) = j + 6. Let y be l(-3). Is 12/(-18) + 20/y a multiple of 2?
True
Let k(d) = 248*d**3 - d**2 + 3*d - 3. Is k(1) a multiple of 21?
False
Let b be ((-212)/8)/((-2)/(-24)). Is 12 a factor of (-2)/(-9) - b/27?
True
Suppose 4*n + 3*i - 30 = i, i = 4*n - 33. Is 7 a factor of (n + -4)*4 - 1?
False
Let h = -18 - -9. Let u be -4*(-3)/(h/(-60)). Suppose 0 = 5*s - u - 40. Is 7 a factor of s?
False
Let v = -9 + 31. Suppose 3*d - t - 45 = 7*d, d = -2*t - 6. Let a = d + v. Is a a multiple of 7?
False
Suppose 25 = 5*t + 5. Suppose -2*s + 3*s = 0. Suppose -t*v - v + 135 = s. Is 19 a factor of v?
False
Let i be 9/5 + 7/35. Suppose 25 = -i*q + 75. Is 8 a factor of q?
False
Let g(p) = 2*p**2 - p + 1. Let z(a) = -a**2 + a + 1. Let c(w) = g(w) + z(w). Does 9 divide c(5)?
True
Suppose 4*f = -2*x + 330, -x = 2*x + 2*f - 491. Is 16 a factor of x?
False
Let g be 16/24 - (-14)/6. Let x(k) = 3*k**3 + 0*k**g + 0*k**3 - k**3 + 3*k**2 - 1. Is 15 a factor of x(2)?
False
Let k(z) = -z**3 + 9*z**2 - 6*z + 4. Let w be (2/3)/((-2)/(-33)). Suppose 2*h = 5 + w. Is 13 a factor of k(h)?
False
Let g(n) = -n**3 + 9*n**2 + 11*n + 6. Is 16 a factor of g(10)?
True
Let a(f) = -f**3 + 6*f**2 + 2*f - 8. Let i be a(6). Let z(l) = l - 1. Let o be z(i). Suppose -2*t - 221 = -7*t - o*d, -t + 43 = d. Is 16 a factor of t?
False
Let u be 2/(-4)*(-22 + 0). Let o = 43 - u. Is 16 a factor of o?
True
Let v(i) = -i**2 - 14*i + 5. Let u = -9 + -2. Let x = -1 + u. Is v(x) a multiple of 18?
False
Let p(f) = -f**3 - 14*f**2 - 2*f + 13. Let s be p(-14). Let m = s + 3. Is m a multiple of 11?
True
Let o = 446 + -276. Is o a multiple of 28?
False
Is 63/12*32*(-4)/(-12) a multiple of 28?
True
Suppose 0 = z - 2 - 4. Suppose 5*w + c - 40 = 0, -z*w + w = -5*c - 40. Let f = w + 0. Does 3 divide f?
False
Let h be 3/(-15) + 3/15. Suppose -4*q + 96 = -h*q. Suppose 0 = -2*l + q + 10. Is 8 a factor of l?
False
Suppose 0 = -2*i + 7*i - 10. Suppose 7*t - 184 = i*t - 2*h, -102 = -3*t + 3*h. Is t a multiple of 24?
False
Let h(b) = -b - 2. Suppose -3*f = q + 15, -4*q = f + 1 + 15. Let u be h(q). Is -2*((-21)/2 + u) a multiple of 7?
False
Suppose 0 = -4*b - 0*b + 80. Is b a multiple of 10?
True
Is (-1)/3 + (-1252)/(-12) a multiple of 35?
False
Let j be 0*3/6 - -1. Let y be j/2 - 18/(-4). Suppose h + 2*h = -y*c + 262, 5*h = 20. Is 20 a factor of c?
False
Let d(p) be the third derivative of p**5/30 + p**4/12 + 2*p**3/3 - 4*p**2. Is 20 a factor of d(-4)?
False
Let m be (-5)/(5/2) + 1. Let x be m - 0/(3/(-1)). Is 22 + (6/(-3))/x a multiple of 13?
False
Let x(a) = -a**3 + 2*a**2 + a + 1. Let r be x(2). Is 5 - 1/((-1)/r) a multiple of 4?
True
Suppose 0 = -0*y - 2*y + 108. Let f(v) = -v**3 - 4*v**2 + 3*v. Let t be f(-4). Let u = y + t. Does 21 divide u?
True
Suppose -4*f - 50 + 358 = 0. Does 11 divide f?
True
Suppose 4*h - 818 = 2*t, -5*h + 2*t + 544 = -477. Suppose -w - 2*x + 53 = 0, -3*w - 3*x - 38 + h = 0. Does 19 divide w?
True
Suppose 3*t - 3*m = -9, -5*t - 43 = 5*m + 22. Is (t/(-12))/(4/114) a multiple of 19?
True
Suppose -6*d + 108 = -4*d. Does 27 divide d?
True
Let f be ((-9)/18)/(1/(-60)). Let u = f - 5. Is u a multiple of 11?
False
Is 21 a factor of 3 + 7/(21/372) - 1?
True
Suppose -2*l + 26 = 4*k, 6*k - 17 = 3*k - 2*l. Is k a multiple of 9?
True
Let y(b) = 2*b**2 - 3*b - 6. Let k = -3 - -9. Let f be y(k). Let z = f - 29. Is z a multiple of 8?
False
Let y be -2*(-2 - (-2)/4). Suppose z - 84 = -y*z. Let a = 29 - z. Does 3 divide a?
False
Let j(r) = 5 - 6 + 0*r**2 + 2 + r**2. Does 25 divide j(-7)?
True
Let u(y) = -y**3 - 18*y**2 + 16*y + 16. Does 15 divide u(-19)?
False
Suppose 15 = 5*z - 0*z. Suppose 5*g + z*o - o = 265, -3*g + 5*o = -190. Suppose -3*v - k = -57, -5*k = -v - v + g. Is 10 a factor of v?
True
Suppose -d + 20 = 4*d. Suppose -z = d*z - 25. Is 5 a factor of z?
True
Suppose -2*u + x = -0*u + 165, -3*u - 252 = 3*x. Let f be u/(-4) - (-3)/12. Let k = f - 13. Does 3 divide k?
False
Let o(i) = 16*i**2 + i. Is 15 a factor of o(-1)?
True
Let u be (-30)/(-8)*(41 - 5). Let w = u + -72. Does 21 divide w?
True
Let z(y) = -8*y**2 - y - 7. Let o(g) = 9*g**2 + g + 8. Let i(l) = 4*o(l) + 5*z(l). Let t be i(3). Let s = -14 - t. Is 10 a factor of s?
False
Is -5*(6/(-15) + -2) a multiple of 12?
True
Let w = 2 - 0. Does 9 divide (w - -12) + -1 + 0?
False
Suppose 0 = 17*o - 19*o + 8. Suppose m = 12 - o. Does 3 divide m?
False
Suppose -8*i = -9*i + 44. Is i a multiple of 11?
True
Let g(i) be the first derivative of 19*i - 1/3*i**3 - 1 + 0*i**2. Is 12 a factor of g(0)?
False
Let q(n) = 10*n - 6. Is 22 a factor of q(5)?
True
Let v = 4