 -2*x**2 + 7*x. Let y be g(6). Let b be (24/(-9))/(4/y). Suppose -5*o = -3*w - 122, 2*o - o = 5*w + b. Does 12 divide o?
False
Let a be (254/2)/(-1 - -2). Suppose 7*w - 2*w = -25, 5*w = -3*j - a. Does 8 divide 3/((-6)/j) - 1?
True
Let b(v) = -v**3 + 10*v**2 + 10*v + 16. Is b(11) a multiple of 5?
True
Suppose 5 = -p - 2*z, -2*p - 13 = -p + 4*z. Is 16 a factor of (-5 + p)/(2/(-16))?
True
Let i(d) = d - 20 + d + 0*d + 7. Is 4 a factor of i(10)?
False
Let t(f) = f**3 + 7*f**2 - 12*f - 7. Let g be t(-8). Suppose 5*s + 70 - g = 0. Does 6 divide 44/(-6)*s/6?
False
Let r(a) = 135*a**2 + a. Let w be r(1). Suppose 5*j - w = j. Is j a multiple of 12?
False
Suppose 2*y + 3*q - 23 = 0, 0 = -5*y + 6*y - 2*q + 6. Suppose -11 = -y*z + 1. Suppose -r = -z*r + 50. Is 12 a factor of r?
False
Suppose -4*j = -j + 267. Let k = -55 - j. Is k a multiple of 17?
True
Suppose 3*u + 2*u - 360 = 0. Suppose 3*q + 0*q = -5*j + 172, 2*j - 2*q - u = 0. Suppose -4*b = 5*m - 37, -2*m = -2*b + m + j. Is 13 a factor of b?
True
Let j(r) = r**3 - 7*r**2 - 2. Let b be j(7). Is 22 a factor of b/(-4) - (-43)/2?
True
Let h(c) = -3*c**3 - c**2 + c - 1. Let r be h(1). Suppose -4*k - z + 3 = -3*k, -3 = 5*k - 4*z. Is r + 10 - (-1 + k) a multiple of 2?
True
Let v(n) = 2*n**2 - 3*n - 1. Let a be v(-1). Suppose -4*s - 84 = -a*f - 0*s, f = 2*s + 16. Does 20 divide f?
False
Let n = -5 - -9. Is 4 a factor of n?
True
Suppose 4*h + 2 = 4*l - 2, -2*l - 14 = 2*h. Let c(j) = j + 5. Let r be c(h). Is 11 a factor of 1 + -15*(-2 + r)?
False
Suppose -3*h + 252 = 4*z, -4*h - 3*z - 44 = -373. Does 10 divide h?
True
Suppose 18*k - 5*k = 2067. Is k a multiple of 17?
False
Suppose -5*b + 11 = 1. Does 8 divide (62/(-5))/(b/(-5))?
False
Suppose -156 = 4*w - 668. Does 16 divide w?
True
Suppose -r - 54 = 5*f - 2*f, -4*r - 209 = 5*f. Let p = 90 + r. Is 19 a factor of p?
False
Suppose 4*f + 2*k = 5*f - 11, 3*k + 27 = 5*f. Is 11 a factor of 3/((-3)/(-57)*f)?
False
Let h(i) = -21*i - 4. Is h(-2) a multiple of 19?
True
Let w = -2 - -5. Suppose -4*a = 3*v - 0*v - 179, -118 = -w*a + v. Is 11 a factor of a?
False
Suppose -4*n + n = 0. Does 13 divide 63 - (-2)/(-4)*n?
False
Let p(f) = -f**3 + 5*f**2 - 3*f + 1. Let m be p(5). Let b be (-8)/5*(7 - 2). Does 7 divide (-228)/m - b/(-28)?
False
Suppose 0*n = -5*m + n + 302, 0 = m - 3*n - 66. Is 20 a factor of m?
True
Suppose -d = -5*d + 720. Is 15 a factor of d?
True
Suppose 4*q = 5*a + 17, -4*q + a = 5*a - 44. Let f(i) be the first derivative of -i**4/4 + 7*i**3/3 + 13*i**2/2 - 12*i - 1. Is f(q) a multiple of 14?
True
Let v = -2 - -6. Suppose -2*t - 8 = 2*s - v*s, t + 4 = 0. Suppose -72 = -s*k - 2*k. Is 13 a factor of k?
False
Let b(k) = -k + 3. Let p be b(8). Let v = p + 39. Does 17 divide v?
True
Let f = -114 + 145. Is f a multiple of 15?
False
Let g(q) = q**2 + 2*q. Let o be g(-2). Let b(s) be the third derivative of s**5/60 + s**4/24 + 5*s**3/6 - 4*s**2. Is b(o) a multiple of 5?
True
Suppose -2*n = -4, 0*o - 4*n = -3*o - 8. Suppose 2 + o = x. Suppose x*w = 4*f + 7*w - 87, -2*f - 5*w = -41. Is f a multiple of 16?
False
Suppose 0 = -4*s - 20, -4*s - 5 = 2*r + 15. Suppose 0 = -r*l + 5*l + 10. Does 9 divide l + (-3)/(-1) - -21?
False
Suppose -24 = -5*p - 9. Suppose k + 2*k = -p, v + k = 107. Is v a multiple of 36?
True
Suppose 0 = -3*t + 9, 3*v + 2*v - 5*t = 55. Let o = -10 + v. Suppose -g - o*g + 70 = 0. Is 7 a factor of g?
True
Suppose -2*u + 20 = 5*l + 3*u, -5*l - 3*u = -16. Let c be ((-6)/(-15))/(l/270). Suppose -q + 22 = s + 5, -c = -2*q + 3*s. Is q a multiple of 16?
False
Let a be ((1 - -2) + 1)*1. Suppose a*b - 12 = b. Is b a multiple of 4?
True
Let i = 815 - 415. Does 40 divide i?
True
Let d(b) = -b**2 + 11*b + 4. Let l be d(10). Suppose 4*f + l = -2*j - 4, -63 = 5*j + f. Let q = 9 - j. Does 11 divide q?
True
Suppose -2*w = f - 24, -2*f - 7*w + 2*w = -52. Does 26 divide (-2)/1 - (-448)/f?
True
Let k = -2 + 7. Let d(o) = 1 - 5*o**2 + k*o + 1 + o**3 - 9*o. Is d(6) a multiple of 14?
True
Let k(l) = -l**2 - 1 + 2*l**2 - 9*l**3 + 0*l**2. Does 9 divide k(-1)?
True
Is 10 a factor of (-3 - -26) + (0 - -1)?
False
Is 44 + (1 + -1)/(-4) a multiple of 11?
True
Let z be ((-63)/4)/((-6)/16). Suppose a + z = -2*a. Does 7 divide (-192)/a - 2/(-7)?
True
Is (-392)/70*10/(-4) a multiple of 14?
True
Suppose -3*f = g - 5*g + 1287, -3*g + 929 = 5*f. Is 13 a factor of g?
False
Suppose 3*c + 20 - 8 = 0. Let y be -4*(-2 + (-34)/(-8)). Let n = c - y. Is 5 a factor of n?
True
Let w(i) be the first derivative of -5*i**2 + 2*i - 3. Let q = -4 - -1. Is 16 a factor of w(q)?
True
Suppose -3*h - 5 = -x, 0 = x + 4*x + 2*h - 8. Suppose x = -c + 8. Let n(t) = t**2 + t - 8. Is 12 a factor of n(c)?
False
Let w(j) = -j**3 + 5*j + 4. Let k be w(-3). Is 12 a factor of 2*k + 2 - -2?
True
Let n be ((-45)/(-3) - 0) + -1. Suppose -5*s - 4*x + 5*x + n = 0, -3*s - 3*x - 6 = 0. Does 10 divide 1*(0/s - -20)?
True
Let f be (-16)/(-9) - 4/(-18). Let z(b) = -f*b**2 + 2*b - 1 + 5*b**2 + 0*b. Is z(-3) a multiple of 10?
True
Let z(g) = -g + 7. Let c be z(7). Suppose c = -r - r - 2*s + 52, -4*s = -5*r + 103. Suppose u + r = 2*u. Is u a multiple of 15?
False
Let f(z) = 6*z**2 - 3*z. Let g be f(3). Suppose 3 + g = 4*p. Is p a multiple of 9?
False
Let g = -196 + 336. Is g a multiple of 14?
True
Let p be 2 + (-5 - 1)/3. Suppose p*q - 2*q = -18. Let y = q - 5. Is y a multiple of 4?
True
Suppose -4 = 2*w + 38. Let d = 27 + w. Does 4 divide d?
False
Suppose -2*l + 224 = -0*l. Suppose 6*o - 2*o - l = 0. Is (-4)/(-14) - (-300)/o a multiple of 9?
False
Suppose 4*i - r = 20, i - r = -2*r. Suppose -i = 4*b - 60. Is b a multiple of 14?
True
Suppose 0 = 2*f - 664 + 126. Is 29 a factor of f?
False
Suppose w - 5*r = -2*w - 126, -4*w - 163 = -5*r. Let i = w + 76. Is 8 a factor of i?
False
Let k = 18 - 6. Is k a multiple of 12?
True
Let m = 16 - 10. Is 3 a factor of m?
True
Let u(a) = a - 5. Let b be u(8). Suppose -x - 5*q + 50 = -3*q, -278 = -5*x - b*q. Does 29 divide x?
True
Suppose 2*b - 4 = 4*b. Let z be (3 - 12)*b/(-6). Is 1*(-3)/(z/26) a multiple of 13?
True
Suppose -7*k + 3*k - d + 697 = 0, 5*d = k - 169. Does 29 divide k?
True
Let m(i) = i + 3. Let k be m(7). Let c(y) = 2*y**2 - 14*y - 9. Let p be c(k). Suppose 0 = -5*n + 3*s + 87, -2*s - s = -3*n + p. Does 9 divide n?
True
Let q(i) = 9*i**2 - i. Does 5 divide q(-1)?
True
Suppose 0 = -3*s - 3*d + 22 + 2, -s + 2 = -d. Suppose 24 = s*n - 26. Does 5 divide n?
True
Let y = 95 - 42. Suppose -t - y = -2*t. Is t a multiple of 19?
False
Suppose 15 = c - 4*u, 10 = -4*c + 2*u - 0. Let p = -2 - c. Is 13 a factor of p/(-2 + -1)*-39?
True
Suppose 15 = 5*n - 5*z, -3*n = 2*n + z - 9. Let h(y) = 2 + 4*y**3 + 2*y**3 + 0*y**n - y**2 - y. Is 22 a factor of h(2)?
True
Let m(k) = -k**3 - 8*k**2 - k - 6. Let f be m(-8). Suppose -f*d + 128 = 4*y + 2*d, -4*y - 3*d = -131. Does 16 divide y?
False
Let i be (21/(-9))/((-1)/(-30)). Does 15 divide (i/42)/((-2)/36)?
True
Let p(b) be the second derivative of 0 + 3*b**2 + b - 2/3*b**3. Is 17 a factor of p(-9)?
False
Is 6 a factor of (-6)/27 + (-872)/(-36)?
True
Suppose 16*m = 15*m + 182. Is 12 a factor of m?
False
Is 24 a factor of ((-108)/(-15))/((-3)/(-10))?
True
Let r = 54 - 25. Let u = r + -9. Is 10 a factor of u?
True
Suppose 3*w - 5*o - 347 = 0, o = 5*w - 521 - 72. Does 47 divide w?
False
Let d be (3 + 1)*(-7)/(-4). Suppose 0 = -2*g + d + 7. Does 7 divide g?
True
Let p = 0 - 0. Suppose -3*a = -p*a - 15. Is a a multiple of 2?
False
Let s = 145 - -36. Suppose 4*n + 41 = s. Does 15 divide n?
False
Let m = 3 - 6. Let d = -4 - m. Does 17 divide 0 + -2 + (32 - d)?
False
Let f(d) = -d**2 - 13*d + 21. Is 33 a factor of f(-12)?
True
Let s(o) = -o**2 + o. Let l be s(-3). Let h be l/(-15)*10/4. Suppose 48 = 4*v - y, h*v - 38 = -0*v + 4*y. Does 11 divide v?
True
Suppose 4*p - 5*l + 3*l - 18 = 0, 0 = -5*p + 3*l + 25. Is 12 a factor of 3 + 48/(p - 1)?
False
Is (-3)/(-4) - (-5 - 498/8) a multiple of 17?
True
Let z(x) = -x**3 - 6*x**2 + 6*x. Let c be z(-7). Let n = 34 - c. Does 9 divide n?
True
Let m(t) = 6*t + 6*t**2 - 2*t**2 - 4*t + 2. Let b be m(3). Is 11 a factor of b/(-12)*-2*3?
True
Suppose -375 = -5*y + 5*g, 5*y - 6*g + 2*g = 380. Is y a multiple of 15?
False
Let m(w) = -8*w + 1. Let z be m(-1). Suppose z = 3*r - 12. Is 4 a factor of r?
False
Suppose 3*g + 9 - 3 =