*2 - 6*g + 3 - 6 + 3*g**2. Is 4 a factor of d(7)?
True
Suppose n = -2*n + 6. Suppose -n*s = -29 - 3. Does 8 divide s?
True
Suppose -o - 4*o = -5. Let a be (63/(-1))/(0 + o). Is 18/a + (-212)/(-7) a multiple of 15?
True
Suppose 0 = -34*n + 36*n - 240. Does 10 divide n?
True
Let s(p) = -p**2 + 8*p + 4. Let v be s(8). Suppose -4*d + 12 = -4*y, -9*y = -v*y - d + 31. Let r = y - -22. Is r a multiple of 6?
False
Let k(c) = -c**2 + 5*c - 4. Let w be k(4). Suppose -2*m + 2*l + 54 = w, -l - 9 = 2*l. Is m a multiple of 11?
False
Let m(r) be the second derivative of -r**3/6 + 3*r**2/2 - 3*r. Does 3 divide m(-3)?
True
Let s be 4/10 - 16/(-10). Let t = -8 - s. Does 9 divide (-4)/t + (-512)/(-20)?
False
Let p be 4/(-1)*(-2)/4. Suppose -c + p*c = -6. Is (-2)/(-1*(-3)/c) a multiple of 2?
True
Suppose 2*i + 140 = -5*x + 482, 5*i = 5. Does 17 divide x?
True
Suppose 5*v - 47 - 43 = 0. Is 2 a factor of v?
True
Suppose -2*u + 116 + 87 = d, 3*d = 4*u - 431. Does 8 divide u?
True
Let c(k) = 2*k**3 + 7*k**2 - 3*k + 4. Let y(g) = g**2 + g - 1. Let x(q) = -c(q) + y(q). Is x(-5) a multiple of 15?
True
Let f(n) = 0*n - 2*n**2 + 0*n**2 - 2*n**3 + 2*n. Let x be f(-2). Suppose 0 = -5*q + 25, -x*g + q + 7 = -0*g. Is 2 a factor of g?
False
Let o(n) = -n - 9. Let k be o(8). Let h = k - -8. Is 17 a factor of (6/h)/(4/(-102))?
True
Does 35 divide 2 + (1 - 4) + 106?
True
Suppose -2*x + 4*x - 20 = -3*f, 0 = 5*x + 3*f - 50. Does 9 divide x?
False
Let x(z) = 7*z**2 - 28*z + 29. Let t(n) = -3*n**2 + 14*n - 14. Suppose -w + 3 = -0*w, 5*h - 2*w + 16 = 0. Let c(o) = h*x(o) - 5*t(o). Is c(14) a multiple of 10?
False
Let i(p) = p + 15. Does 9 divide i(12)?
True
Let q be -3*9/(-2 + -1). Does 15 divide (-2)/6 + 327/q?
False
Let a(z) = -5*z - 4. Suppose 0*p - 4*j = 2*p, -2*p + 3*j - 28 = 0. Let n be a(p). Suppose -n = -l - 2*l. Does 6 divide l?
True
Suppose -n = -3*n + 406. Is n a multiple of 29?
True
Suppose 3*b = -b + 264. Does 22 divide b?
True
Suppose -3*p = -7 - 2. Is p even?
False
Suppose -991 = -o - 4*o - 2*c, 0 = -5*o + 5*c + 970. Let v be (-174)/(-4)*4/6. Suppose 5*b + 2*m - o = 0, 3*m = 2*b - 3*b + v. Is 13 a factor of b?
False
Suppose -16 = j + 4*u - 0*u, 3 = -3*j - 3*u. Let n(d) = -d**2 + 8*d - 4. Is n(j) a multiple of 6?
True
Let m = 37 + -11. Is m a multiple of 13?
True
Let c be -13 - -2 - (1 - 3). Let k = 12 + c. Is k a multiple of 3?
True
Let a = -3 + 5. Let r(h) = 2 - 8*h + 4*h**a + 0*h**2 - 3*h**2. Is 11 a factor of r(9)?
True
Suppose -2*n + 4*y + 598 = 0, 3*n + 2*y - 319 = 2*n. Suppose w = -3*s + n, 0*w + 3 = -w. Is 27 a factor of s?
False
Suppose 0 = -i + 101 + 16. Does 22 divide i?
False
Suppose 13 + 11 = d - 2*i, 0 = -5*i + 15. Is 6 a factor of d?
True
Let d = -127 - -90. Let r = -20 - d. Is r a multiple of 3?
False
Let s be (2 - 3)/(1/(-1)). Is 8 a factor of (s*3)/(30/160)?
True
Suppose -3*d - 15 = 4*q, -4*d - 4 = -q - 3. Let n(w) = -w**3 - 2*w**2 - 2*w. Is 15 a factor of n(q)?
True
Suppose -m + 0*m + 4 = 0, -2*b + 3*m + 46 = 0. Suppose 3*w = b + 43. Is 12 a factor of w?
True
Let b(a) = 7*a**2 + 2*a + 3. Suppose -3 - 7 = 2*g + 4*x, 3*g + x + 10 = 0. Is b(g) a multiple of 20?
True
Let c be (240/1)/(-4) + -1. Is 14 a factor of 2 - 2*c/2?
False
Let p be (-86)/(-12) + (-5)/30. Suppose -4*g = -p - 9. Suppose s - 12 = -3*o, -g*s + 6*o = 3*o - 48. Is s a multiple of 9?
False
Let r(o) = o**3. Let x be r(0). Suppose 3 = -x*f + f. Suppose h + 2*h = -5*c + 91, h + f*c - 37 = 0. Does 8 divide h?
False
Let j(o) be the second derivative of o**3/2 - 13*o**2/2 - 4*o. Is 5 a factor of j(9)?
False
Let c(x) = -x**2 + 5*x. Let y be c(5). Suppose -5*f + y*r + 49 = -3*r, 13 = f + r. Is 6 a factor of f?
False
Suppose -3*n + 488 = n. Suppose -5*c + n = 7. Is 11 a factor of c?
False
Let j(q) = -8*q + 6. Is j(-3) a multiple of 10?
True
Suppose -4*j + 13 = -2*v - 5, 15 = 3*j - 3*v. Suppose 3*s = b + j, 5*s + 0 = 2*b + 5. Suppose -s - 137 = -5*l. Does 14 divide l?
True
Let i = 3 + -3. Let a(h) = -h + 16. Let p be a(i). Suppose -3*c + c = -p. Is 4 a factor of c?
True
Suppose -53 - 31 = -j. Is j a multiple of 21?
True
Suppose -3*o + 4*x + 40 = o, -5*o - 4*x + 41 = 0. Suppose -5*n - o + 164 = 0. Is 11 a factor of n?
False
Let m(x) be the first derivative of x**4/4 + 2*x**3 - x**2 - 6*x + 3. Does 5 divide m(-6)?
False
Let f = 893 + -635. Is f a multiple of 25?
False
Suppose -2*a - 3 = -3*a. Suppose a*g - 5*u - 4 = -g, -3 = -3*g + 4*u. Is 5 a factor of 5 - (6*g)/(-3)?
False
Suppose -25*y = -32*y + 903. Is 14 a factor of y?
False
Let k(p) = 3*p**2 - 6*p - 2. Let q be k(5). Let j = -7 + q. Is j a multiple of 12?
True
Let o be ((-1)/(-3))/((-6)/(-36)). Suppose -3*x + 51 = -2*x + o*t, -3*t + 48 = x. Does 19 divide x?
True
Let x = -16 + 41. Suppose j = -5*a + 30 - 7, 4*a - x = -j. Does 10 divide j?
False
Let m(n) = 38*n**2 + 2*n - 1. Is 9 a factor of m(1)?
False
Let c = 3 - 4. Is 6 a factor of -2*(c - 21/2)?
False
Let r(p) = -4*p - 1. Let u be r(4). Suppose -1 = -3*c - 10. Let g = c - u. Does 14 divide g?
True
Let w = 46 + -31. Is w a multiple of 7?
False
Let i be (-3)/(-2)*(-208)/(-12). Suppose 60 = -5*s - 2*v, -4*s - i - 34 = 4*v. Let l = s - -18. Is l a multiple of 5?
False
Let x be 2 + 2/(-1) - -3. Suppose -t + 0*t = -x. Is 8 a factor of -9*(0 + t - 4)?
False
Let i(o) = -o - 9. Is i(-12) a multiple of 2?
False
Let y = -4 + 9. Suppose -y*s = -s - 60. Let q = s + -9. Does 3 divide q?
True
Let i = 1 - -2. Suppose 5*c - 52 = l, i*c = -4*l + 2*l + 39. Let a = c - -3. Is a a multiple of 14?
True
Suppose -3*c = -5*a + 7, -5*a - 3*c = -15 + 2. Is 2 a factor of a?
True
Let x = 36 + 7. Is 4 a factor of x?
False
Suppose 18 = 2*l + k - 3*k, 5*l + 2*k - 17 = 0. Suppose 2*j + 3*r = 1, -j - 2 = -r + l*r. Suppose 3*i - 3*n = -j*i + 143, -4*i = 2*n - 132. Is 12 a factor of i?
False
Let h(n) = 10*n**2 + 4*n. Let f be h(-3). Suppose -3*b + 60 = -f. Does 13 divide b?
False
Suppose -3*v = -0*v - 30. Suppose v*f - 6*f = 72. Is 6 a factor of f?
True
Suppose -7*f + 470 + 258 = 0. Does 37 divide f?
False
Is 8 a factor of 296/10 + (-10)/(-25)?
False
Let w(x) = 3*x**2 - 8*x + 70. Does 25 divide w(9)?
False
Suppose 3*f = 3*o - 7*o + 144, 3*f = 5*o - 207. Let w = o + -26. Is w a multiple of 13?
True
Suppose -2*o - 1 = 1. Let k(p) = -19*p**3 - 2*p - 1. Does 6 divide k(o)?
False
Let p be (3/6)/(2/96). Suppose -4*z = o - p, o - 24 = -o - 2*z. Is 3 a factor of o?
False
Let j(o) = o**2 - 4*o - 8. Let g be j(6). Does 12 divide (-546)/(-15) - g/10?
True
Let y be (-2*1)/((-10)/85). Let d = y - 11. Suppose -24 = 3*c - d*c. Is c a multiple of 8?
True
Let n(f) = 193*f**2 - 2*f - 2. Does 29 divide n(-1)?
False
Let a be (-112)/(-5) - (-2)/(-5). Let b = -9 + a. Let q = 30 - b. Does 11 divide q?
False
Let n = 88 + 10. Is 8 a factor of n?
False
Suppose 3*y - 1158 = -5*w, 0*w - 5*y = -4*w + 919. Does 39 divide w?
False
Let u = 181 - 131. Is u a multiple of 5?
True
Suppose -5*j + 980 = 2*j. Is j a multiple of 7?
True
Let s(c) = c**2 + 6*c - 8. Let o be s(-7). Let t be 7*(1 + o + 1). Does 5 divide 79/t - 2/7?
False
Let w = 11 - 4. Let x(m) = m + 8. Does 15 divide x(w)?
True
Does 5 divide (-8 - -3)*(-11 + 2)?
True
Suppose -2*p + 3*f - 52 = -7*p, -4*f = -p - 8. Let i = 16 - p. Let t = i - 2. Is t a multiple of 3?
True
Suppose -37 + 9 = -5*n - 2*d, -n + 3*d = -9. Suppose 5*u - 115 - 5 = 0. Suppose n = -2*r + u. Is 9 a factor of r?
True
Let w be 9 - (3/1 + -2). Let s(b) = -b**2 + 12*b - 12. Is 20 a factor of s(w)?
True
Let l(f) = 2*f**2 - 14*f + 15. Let k(j) = 3*j**2 - 21*j + 23. Let s(g) = 5*k(g) - 7*l(g). Is s(8) a multiple of 12?
False
Let a(c) = c**2 - 5*c - 4. Let t be a(5). Is 275/(-11)*t/10 a multiple of 2?
True
Suppose -2*j + 4*r = -146, 4*j = -0*j - 4*r + 280. Is 15 a factor of j?
False
Let v = -20 + 54. Let d = v + -19. Is d a multiple of 7?
False
Suppose -q = 5*y + 1, 3 - 1 = y - 2*q. Suppose -188 = -4*d - 3*w - 70, -2*d + 3*w + 68 = y. Let c = d - 15. Is 14 a factor of c?
False
Suppose -5*l - 557 = 5*x - 1692, 2*l = -3*x + 680. Is 23 a factor of x?
False
Let j(r) = 92*r - 5. Let q(k) = -138*k + 8. Let h(z) = -8*j(z) - 5*q(z). Does 23 divide h(-1)?
True
Let q = 10 + -5. Let v be (q/2 - 2)*8. Suppose -v - 13 = -t. Is 7 a factor of t?
False
Suppose 17*k - 119 = 16*k. Does 20 divide k?
False
Let g(c) = -c + 6. Let z be g(-5). Let b = -2 + z