ppose 0*v = 2*v + 14. Let h = 12 + v. Suppose 0 = 2*g + 2*b - 46, h*g = -3*b + 82 + 33. Does 11 divide g?
False
Suppose r = -5*j + 7, 2*r - 2*j + 30 = -r. Let a = -48 + 26. Let u = r - a. Is u a multiple of 7?
True
Let u(s) = -s**3 - s**2 - s + 20. Let d = -5 - -8. Suppose 4*g - d*g = 0. Does 14 divide u(g)?
False
Suppose 7*p - 66 = 4*p. Does 11 divide p?
True
Suppose -5*d - 329 = -4*s, 2*d + 23 = -3*s - 104. Let m = d - -142. Is 13 a factor of m?
False
Let m(h) = h**2 + h + 2. Suppose z = l + 14, 17 = -z + 5*l + 51. Suppose -i - 5*d - 11 = i, 3*i + 5*d + z = 0. Is 4 a factor of m(i)?
True
Let y = 205 + -183. Is y a multiple of 22?
True
Suppose -y = 2*i - 23, -4*y + 36 = -0*i + 4*i. Does 6 divide i?
False
Is 25 a factor of (1484/12 - -1) + (-2)/(-6)?
True
Is 8 a factor of 77/2 - (-4)/8?
False
Let d(i) = i**3 + 3*i**2 - 3*i + 4. Let h be d(-4). Suppose -4*j = 5*q - 25, h = -4*j - 4*q + 4 + 20. Suppose -j*o + 14 = -31. Does 9 divide o?
True
Let s(d) = 18*d. Let m be s(4). Let i = -42 + m. Does 10 divide i?
True
Let z(p) be the third derivative of -p**6/120 + p**5/10 + 7*p**4/24 - p**3/2 - 2*p**2. Is 15 a factor of z(6)?
False
Let m be -1 + 2 - (0 + 3). Let u(q) = -q**2 + 16 - 3*q + 0*q - 2*q**3 - 17. Does 12 divide u(m)?
False
Suppose -3*c = -9, -3*c = -4*i - 4*c - 133. Is 13 a factor of -3 + -1 + (-1 - i)?
False
Let b = 63 - 49. Is 14 a factor of b?
True
Let o = 7 + 5. Does 3 divide o?
True
Let v(h) = 38*h - 6. Is v(3) a multiple of 27?
True
Let q(w) = -7 + 10*w**2 - 3*w**3 - 5*w + 4*w + 4*w + 4*w**3. Let u be q(-8). Let n = -55 + u. Does 14 divide n?
True
Let k = 11 - 6. Let d = 9 + 7. Suppose k*v - 33 = 5*o + 37, v = -5*o - d. Is 4 a factor of v?
False
Let f(s) = 64*s + 42. Is 39 a factor of f(3)?
True
Suppose y = -0*y + 120. Suppose 11*m = 6*m + y. Is 12 a factor of m?
True
Let j = 34 - 19. Is j a multiple of 4?
False
Suppose -14*y = -10*y - 104. Is y a multiple of 13?
True
Suppose 2*c + 234 = 4*c. Suppose c = -3*o + 6*o. Is o a multiple of 20?
False
Let j be -1 + 1 + 3 + -2. Is 27/(-6)*(-3 + j) a multiple of 9?
True
Let y(q) = -57*q. Let n be y(1). Let h = -30 - n. Let c = -15 + h. Is 12 a factor of c?
True
Suppose -5*r - 30 = -2*v, -2*r - 23 = -v - 10. Is v a multiple of 4?
False
Does 12 divide 3*24*20/8?
True
Let z be (-4)/6 + 10/6. Suppose j = -4*d + 13, 2*j - z = 3*d + 3. Suppose 0*h = -5*i - h + 62, -d*i - 3*h = -17. Does 11 divide i?
False
Suppose h + 248 = 3*w - h, -2*w + 144 = 4*h. Is w a multiple of 16?
True
Let x = 37 + 1. Does 7 divide x?
False
Suppose -2*l = k - 5*k + 14, 3*l - 23 = -5*k. Let c = l - 0. Does 11 divide (0 - -22) + c + -1?
True
Suppose 0 = g - 7. Does 2 divide g?
False
Suppose -7*x = -8*x. Suppose -3*f + 3*n + 78 = x, -2*f + 32 = n + 2*n. Is f a multiple of 9?
False
Let w(a) = -1 - 17*a + 5 - 2 + 0*a. Does 8 divide w(-1)?
False
Suppose -2*s - 3*s = 3*r - 613, -2*s + 410 = 2*r. Is 13 a factor of r/8 + (-3)/(-12)?
True
Let y(z) = 3*z - z - 6 - 1. Let k be y(5). Let i = k - -11. Is 14 a factor of i?
True
Is 9 a factor of (-220)/(-5 - -4) + -4?
True
Let r(v) = -24*v**3 - 1. Is 11 a factor of r(-1)?
False
Let l = -57 - -81. Suppose l = 3*v - 2*v. Is 8 a factor of v?
True
Let p(a) = -16*a - 10. Let u be -6*((-14)/6 + 3). Does 19 divide p(u)?
False
Suppose 226 = 4*o - t, 2*t = -5*o - t + 291. Does 6 divide -3*o/(-9) + -1?
True
Let r = -92 + 111. Is 12 a factor of r?
False
Let j = 2 - 5. Let g(v) = -3*v - 10*v - 2 - v. Does 20 divide g(j)?
True
Suppose -f - f = -240. Suppose 2*u = 7*u - f. Suppose 5*d = -2*l - 0*l + 30, 0 = -4*d + 5*l + u. Is 3 a factor of d?
True
Let l be 94/18 + 2/(-9). Suppose 15 = 5*x + m, 4*x - 23 = l*m + 18. Suppose x*a - 112 = -40. Is a a multiple of 9?
True
Suppose -k + 1 = -1. Is k even?
True
Let m be 24/(-10)*(-40)/16. Let s = m - 0. Does 6 divide s?
True
Let g = 3 + -7. Let s be ((-9)/6)/((-3)/g). Is 1/(s/(-3))*28 a multiple of 17?
False
Suppose -k = -4*k + 12. Let v = k + 1. Suppose -4*t - v*p + 12 - 2 = 0, 2*p - 1 = -t. Is t even?
False
Let m(z) = -z**3 - 8*z**2 - 2*z - 12. Let u be m(-8). Suppose u*s + 4*d = -0*s + 140, -2*s + 2*d = -50. Is s a multiple of 15?
True
Let z = -3 + -2. Let b(d) = -d**2 - 5*d + 5. Let v be b(z). Suppose -m + 41 = 4*c, 10*c - v*c = -4*m + 109. Is 8 a factor of m?
False
Let j be 4395/(-33) - 2/(-11). Let p = 201 + j. Does 18 divide p?
False
Let o(h) = 3*h**3 + h**2 + 2*h + 8. Is 13 a factor of o(3)?
True
Let c(h) = -h**3 - 3*h**2 - 4. Let k be c(-3). Let f be (-4)/(k + (-2)/(-1)). Suppose -f*x = -g + 3, 0 = 2*g + 4*x - 32 - 6. Is 8 a factor of g?
False
Suppose 2*q + 4*s = 2, 2*q - 2 = 3*s + 21. Let c be ((-15)/(-10))/(2/68). Suppose 0 = -3*t - 3*h + c, -38 = -3*t + h - q. Does 12 divide t?
True
Let k = -63 + 128. Does 11 divide k?
False
Let o = 137 + -78. Suppose -427 = -6*x + o. Does 27 divide x?
True
Let v = 19 - 1. Is 6 a factor of v?
True
Does 9 divide (8/5)/((-12)/(-90))?
False
Let q(c) = -2*c**3 + 13*c**2 - 5*c - 9. Is q(5) a multiple of 3?
False
Let j(q) = 4*q - 4. Does 20 divide j(6)?
True
Let o(m) = -10*m - 4. Let r be o(5). Let f = -32 - r. Is f a multiple of 11?
True
Let c(h) = h**2 - 9*h - 6. Let u be c(9). Let b = u - -8. Suppose b*d - 4*i = 68, 3*i = i. Does 18 divide d?
False
Let b be 6/(-15) + (-536)/10. Let n = -30 - b. Is n a multiple of 12?
True
Let s be 5/((-3 - -5)/2). Suppose -s*q + 3*q = -12. Is q a multiple of 6?
True
Is 4/(-20) + 161/5 a multiple of 9?
False
Let x(z) be the second derivative of 0 - 1/3*z**3 - 2*z + 3/2*z**2. Is x(-7) a multiple of 8?
False
Suppose 102 = -3*g + 396. Is g a multiple of 8?
False
Let n = -4 - -6. Let s = 11 + n. Does 13 divide s?
True
Suppose i - 5*s = 4*i + 20, -12 = i + 3*s. Suppose i = 4*x - x - 114. Is x a multiple of 19?
True
Suppose -4*u = -2*d - 22, -4*u = -5*d - 6*u - 43. Let j = -4 - d. Suppose 0*o = -4*o + 2*g + 128, -j*o - g + 174 = 0. Does 19 divide o?
False
Let q = 53 + -23. Is 15 a factor of q?
True
Let i = 20 + -70. Let s = i + 95. Is s a multiple of 15?
True
Suppose -3*c - 125 = -4*c + 5*i, 4*c - 3*i = 483. Is 29 a factor of c?
False
Let n(p) = -7*p - 7*p**2 + 6 - 2*p**3 + p**3 + 0*p**3. Let t be n(-6). Let f = t + -5. Does 7 divide f?
True
Let m = 49 + -29. Suppose -5*y + y + m = 0. Is 5 a factor of y?
True
Is 19 a factor of (-3)/1 + (206 - 13)?
True
Let d(n) = n + 13. Let y be d(-11). Is (4 - -6)/(y/20) a multiple of 30?
False
Suppose 6*i - 5 = i. Is 11 a factor of (i - 21)/((-7)/14)?
False
Suppose 26 = -3*m - 5*g, 13 = -2*m - 4*g - 7. Let r be (-1 - (-150)/m)/(-1). Suppose -2*c + 6*c = r. Is 16 a factor of c?
False
Let l be 5 + 1 + (4 - 4). Suppose -3*z + l + 3 = 0. Suppose 0 = z*q + 2 - 50. Is 16 a factor of q?
True
Let x(p) = p**2 + 7*p + 4. Let f be x(-6). Does 8 divide (1 - -19) + (-4)/f?
False
Suppose -114 - 11 = -5*s. Is s a multiple of 5?
True
Suppose -3*j + 310 - 88 = 0. Is 7 a factor of j?
False
Let l(h) = h**2 + h + 6. Is 12 a factor of l(-6)?
True
Suppose 0*x = x - 2. Suppose -5 + 104 = x*o + 3*b, 3 = -3*b. Is 19 a factor of o?
False
Let i be 0 + (0 - 1) + 3. Is 14 a factor of 57/i - (-1)/(-2)?
True
Suppose 5*s + 25 = -5*p, 4*s = -p - 0*p - 17. Does 18 divide (-136)/(-6) - p/3?
False
Let k(t) = 10*t**2 + 2*t - 1. Let f be k(1). Suppose s - 21 = f. Is 16 a factor of s?
True
Is 15 a factor of -2 + -2 + 21*8?
False
Let y(w) = -w**3 - w**2 - w + 7. Let o be y(0). Let r = -3 + o. Does 3 divide r?
False
Suppose 0 = m + 5*a - 87, a - 3 + 1 = 0. Does 13 divide m?
False
Suppose 20 = -9*x + 11*x. Suppose 5*h + 15 = 0, 183 = 5*a + 4*h - x. Is a a multiple of 14?
False
Suppose -5*i = 5 - 0. Does 9 divide i + 2/(2/19)?
True
Suppose 5*l + 2*p + 3*p = 45, -5*l = p - 29. Let t(f) = f + 1. Let w be t(-1). Suppose 0 = 5*k - l*v - 55, w*k - v = -2*k + 18. Does 3 divide k?
False
Suppose p = -c, c = -p - 4*p. Is c*1/3 + 26 a multiple of 9?
False
Suppose 5*h + 534 = -3*j, -2*j + 6*j - 198 = 2*h. Let p = -57 - h. Is p a multiple of 10?
False
Suppose t - 87 - 17 = 0. Is 26 a factor of t?
True
Let x(l) = l**2 - l - 1. Let w be x(-2). Suppose 7*z = w*z + 14. Does 5 divide z?
False
Does 2 divide (-20)/(-8)*8/10?
True
Let i be 114/5*(-5)/(-2). Let w = -30 + i. Is w a multiple of 27?
True
Let w = 628 + -336. Suppose 4*g = -3*r + w - 20, 0 = -5*g + 5*r + 340. Is 17 a factor of g?
True
Let z(v) = 60*v - 1. 