 = 124 + -58. Is 7 a factor of (6/9)/(4/g)?
False
Let j(o) = -o**2 + 5*o + 8. Let u be j(6). Suppose u - 6 = -d. Suppose d*c = 5*c - 11. Is c a multiple of 11?
True
Let o be (-1566)/(-15) - 6/(-10). Suppose 0 = -3*g - 2*g + o. Does 7 divide g?
True
Let x = -6 - -26. Does 10 divide x?
True
Let r(c) = 61*c**2 + c. Let u be r(-1). Suppose b + b - u = 0. Is b a multiple of 8?
False
Suppose -s + 0*x = -5*x - 33, -5 = -x. Is 15 a factor of s?
False
Let j = -136 + 206. Does 10 divide j?
True
Let x(f) = 100*f + 4. Is 39 a factor of x(1)?
False
Suppose 1605 - 246 = 9*z. Is 9 a factor of z?
False
Is 134/10 + 4/(-10) a multiple of 12?
False
Let c(n) be the first derivative of -n**4/2 - n**3/6 - n**2/2 + 2. Let d(b) be the second derivative of c(b). Does 6 divide d(-1)?
False
Let l = 30 + 22. Does 6 divide l?
False
Suppose -10*s + 476 = -3*s. Is 17 a factor of s?
True
Let v = 9 + -2. Is v a multiple of 4?
False
Is 31 a factor of (-4 + 8)*141/(-36)*-3?
False
Let z be (1 - 8)/((-1)/4). Let c be z*(3/(-2))/(-1). Suppose -c = -7*l + 4*l. Is l a multiple of 11?
False
Suppose -5*y - 312 = -4*t, -2*y - 37 = 5*t - 427. Suppose -4*k = -t + 262. Let a = 79 + k. Does 16 divide a?
False
Suppose 4*o - 5*x - 96 = 0, 5*o + 7*x - 120 = 4*x. Is o a multiple of 8?
True
Suppose -5 = 2*t - 11. Suppose -42 = -t*w + 63. Is w a multiple of 14?
False
Let t(a) = 4*a**2 + 5*a - 2. Let j be t(-4). Suppose j = 3*p - 63. Let x = p - 21. Is 7 a factor of x?
True
Let n(c) be the third derivative of -5/24*c**4 - 1/6*c**3 + 0*c + 0 + c**2. Is 13 a factor of n(-6)?
False
Let u = 240 + -166. Does 18 divide u?
False
Let w(n) = -11*n - 8. Let d(h) = -1. Let c(s) = -5*d(s) + w(s). Is 15 a factor of c(-3)?
True
Suppose 2*n + 7*z = 4*z + 96, n - 3*z - 48 = 0. Does 31 divide n?
False
Let j(a) = -a - 4. Let l be j(-8). Let d(r) = -r**3 - 2*r**2 + 5*r - 4. Let w be d(-5). Suppose l*y - 97 = f, -5*y - 2*f + w = -3*y. Is 7 a factor of y?
False
Let y be (-1)/(-2)*-2*5. Let c be (-4)/(-10) + (-8)/y. Is 10 a factor of 9 + c/(1 + 1)?
True
Suppose -3*h + 5*k + 4 = 0, 3*h - 4*k + 1 = 2*h. Suppose 4*v - h*v - 21 = 0. Is v a multiple of 11?
False
Let j(b) = b - 8. Let n be j(9). Suppose -5 + n = -2*k. Let i(w) = 17*w**2 - w + 2. Is 19 a factor of i(k)?
False
Suppose -5*r + 4*g + 134 + 410 = 0, r - 106 = -2*g. Does 18 divide r?
True
Suppose 10*f = 7*f + 102. Is 17 a factor of f?
True
Suppose -x = 4*x, x = 2*k - 220. Let a = 26 + 22. Suppose -p = -5*w + k, 3*w + 3*p - a = -0*w. Is w a multiple of 21?
True
Does 10 divide (15 + -5)*(3 + 13 - 3)?
True
Let t = -2 - -3. Let k be -1*(-5 - (t + 0)). Suppose y - 50 + k = 0. Is 16 a factor of y?
False
Does 15 divide (1/(-2))/(-1 - 1196/(-1200))?
True
Let s(m) = 93*m**2 - 1. Is s(1) a multiple of 23?
True
Let a(r) = -r**2 - 8*r - 7. Let p be a(-6). Suppose 0 = -2*h - 4*v, 5*h - 2 = -p*v + 13. Is h a multiple of 5?
False
Let y = -4 - -4. Suppose 0 = -y*t + t + 3. Let l(b) = -6*b - 4. Is l(t) a multiple of 7?
True
Let s = 43 + -25. Suppose -68 = -l - s. Is 38 a factor of l?
False
Let w = -88 + 195. Let z(y) = 5*y + 3. Let b be z(6). Suppose 5*i - w = b. Does 14 divide i?
True
Let w(a) = a**3 - 11*a**2 + 10*a + 8. Let f = 29 + -19. Is 3 a factor of w(f)?
False
Let g = 2 - 8. Let f be (-482)/(-8) - g/8. Suppose -f = -4*m + 35. Is m a multiple of 11?
False
Let l be 1 - (-1 + 1) - -1. Suppose -l*i + 0*i = -16. Does 8 divide i?
True
Suppose 9 = 4*x - 3*s - 8, 3*s - 28 = -5*x. Let r(d) = 2*d + d**3 - 4*d**2 + 10*d**2 - 5*d**3 - 1 + 3*d**3. Is 17 a factor of r(x)?
True
Does 22 divide (11/2)/((-3)/(-36))?
True
Suppose -168 = -2*r + 120. Is 18 a factor of r?
True
Suppose 3*f - 630 = -2*f. Is 18 a factor of f?
True
Let d(r) = -r**3 - r - 16. Let z be d(0). Suppose 47 = 3*m - 46. Let y = z + m. Is y a multiple of 15?
True
Let g(p) = p**3 + 10*p**2 + 10*p - 2. Is 9 a factor of g(-4)?
True
Suppose 0 = -3*n + 54 + 171. Is 25 a factor of n?
True
Is ((-98)/35)/(2/(-10)) a multiple of 3?
False
Suppose -f + 46 = f. Suppose -2*g - 2*q - f + 73 = 0, q = 1. Is g a multiple of 8?
True
Let q(u) = 6*u - 7. Let x be q(-6). Let m = -24 - x. Does 5 divide m?
False
Suppose -2*z + 13 = 19. Let c(l) = 3*l**2 - 3*l + 3. Is c(z) a multiple of 11?
False
Suppose 10 + 2 = t. Is 2 a factor of t?
True
Suppose -2*v = -5*u + 2*v, -5*v = 0. Suppose u*t - 1 = -t. Does 6 divide 17 + (-1 - (-1 + t))?
False
Suppose -6*h - 4 = -2*h. Does 8 divide h/4 - (-61)/4?
False
Let j(b) be the third derivative of -b**6/120 - b**5/6 - 5*b**4/12 + 7*b**3/6 - 5*b**2. Does 5 divide j(-9)?
False
Let p = 46 + -31. Is p + (1 - (2 - 1)) a multiple of 13?
False
Let y be 0/8*(-1)/(-2). Suppose -2*w - 2*b = -28, y*w - b = -5*w + 88. Is 17 a factor of w?
True
Let b = -5 + 6. Is 4 a factor of 177/15 + b/5?
True
Suppose -5*l + 22 = 72. Let c = l + 19. Does 17 divide (2 + c/(-3))*-42?
False
Let v(u) = 40*u**2 - 1. Let q be v(-1). Suppose 5*p = q + 66. Is 14 a factor of p?
False
Is 13 a factor of 252/90*(-1 - -6)?
False
Suppose 0 = 5*i - 2*p - 30, -2*i + p + 20 - 7 = 0. Suppose 2*n = 2*m - i, 2*n - 4*n - 3*m = -16. Suppose -60 = -2*k - n*k. Is k a multiple of 11?
False
Let s = -4 + 6. Suppose -124 = -4*i + 4*v, 3*v - s*v = -4*i + 119. Is i a multiple of 15?
True
Suppose 3*d - d + 5*t - 79 = 0, 33 = d - 4*t. Does 9 divide d?
False
Suppose -15*m + 9*m + 810 = 0. Is m a multiple of 15?
True
Let g(m) = m**2 + 5*m - 6. Is g(9) a multiple of 12?
True
Is 22 a factor of (-10)/(-1)*(-5)/(10/(-22))?
True
Let u(t) = -t**3 - 5*t**2 + 9*t - 6. Suppose 0*p + 24 = 3*p. Suppose r = -5*b - 34, -2 = b - 3*r + p. Is u(b) a multiple of 16?
False
Suppose -79 = 5*c - 2*t, -t = -2*c + 2*t - 36. Let r be c/(-6)*2*1. Suppose r*v - 45 = 55. Is v a multiple of 14?
False
Suppose -4*t = -6*t + 240. Suppose 3 = -b, -3*n + 10*b = 5*b - t. Suppose -2*s - 5*a + 0 = -12, -3*s = -a - n. Does 11 divide s?
True
Let h = -17 + 30. Is h a multiple of 13?
True
Let n = 180 - 104. Is 7 a factor of n?
False
Let q = -11 + 14. Suppose -6*k + d = -k - 81, 0 = k - 5*d + q. Is 9 a factor of k?
False
Suppose 3*c - 12 = -0*c, 0 = -4*s - 3*c + 300. Does 18 divide s?
True
Let j(y) = -y**3 - 4*y**2 - 2*y + 3. Let l be j(-3). Let p be (2 - 5) + (0 - l). Does 14 divide ((-14)/3)/(1/p)?
True
Suppose s = -s + 3*t + 2, 3*s = 5*t + 4. Suppose -2*v = 2*x - 11 - 3, 2*x - 6 = 0. Let k = s + v. Is 2 a factor of k?
True
Let g(s) = -4*s - 2. Let z(f) = -1. Let y(h) = -g(h) - 12*z(h). Is 19 a factor of y(6)?
True
Suppose -4*n + 8 = 0, 5*o - 3*n + 4*n = 172. Suppose -4*w + 334 = o. Is 24 a factor of w?
False
Suppose -2*q + 4*q + 10 = 0. Let f(p) = -p + 3. Is f(q) a multiple of 5?
False
Let v = -10 + 10. Suppose -4*i + 6*i - 100 = v. Is i a multiple of 25?
True
Let n be -6 + 37 + (0 - 0). Suppose -4*f + 3*o + 2 = -30, -f + n = 5*o. Is f a multiple of 6?
False
Let m be (-2 - -1)/(7/(-147)). Let q = m + 3. Is 8 a factor of q?
True
Let h = 110 + -77. Does 11 divide h?
True
Let m be ((-10)/(-3))/(3/(-9)). Suppose 2*d + 80 = -4*v - 8, -5*v + 2*d = 101. Let l = m - v. Is 4 a factor of l?
False
Let x(g) = -4*g + 2*g + g - 13 - 3*g. Let l be x(-9). Let b = -8 + l. Is b a multiple of 15?
True
Is 42 a factor of (-4 - -218*1) + 4/(-1)?
True
Suppose 23 = -u + 143. Is u a multiple of 24?
True
Let r(u) = u**3 + 8*u**2 + 7*u + 4. Let z be r(-7). Let n(i) = i**3 - 3*i**2 + 4*i - 3. Does 15 divide n(z)?
False
Suppose 60 = 3*u + 5*q, -5*u + q + 69 = -q. Is u a multiple of 5?
True
Suppose 6*a + 4*g = 3*a + 7, 4*a = 5*g + 30. Suppose -4*t - 2*j - 2*j + 96 = 0, a*j = t. Is 10 a factor of t?
True
Let o(m) be the third derivative of -m**6/120 + m**5/12 + m**4/3 - 2*m**3/3 - 3*m**2. Is 18 a factor of o(5)?
True
Let t = 21 + 51. Does 18 divide t?
True
Suppose -h = -6 - 3. Suppose -h = -2*j + 15. Does 6 divide j?
True
Let g = -8 - -11. Suppose 5*i - g*p - 87 = 0, -i + 3*p - 39 = -3*i. Let l = i + 15. Is l a multiple of 13?
False
Suppose -6 = 5*j + 9, 3*j = -5*c + 116. Is 25 a factor of c?
True
Let a(b) = 2*b**2 - 2*b + 3. Let m be a(3). Let w = 40 - m. Is w a multiple of 18?
False
Suppose 3 = x - 0. Let b(t) = -2*t**2 + x*t**2 + t - 2*t**3 + t**3. Is b(-2) a multiple of 10?
True
Let p(b) = 57*b**2. Let f be p(1). Suppose -5*l + 167 = f. Is l a multiple of 11?
True
Let s = -43 - -19. Suppose -f = -98 + 14. Let y = f + s. Is 20 a f