Is g + -2 - (1 - 2) a multiple of 30?
False
Let f(o) = -o**3 - 5*o**2 - 7*o + 1. Let n be f(-5). Suppose 0 = -2*v - 4*i - i + n, 0 = -4*v + 4*i + 100. Is 23 a factor of v?
True
Suppose 0*u - u + 1 = 0. Is 5 a factor of u/((-3)/(-37 + 1))?
False
Let t = -78 + 209. Is t a multiple of 8?
False
Suppose 0 = -6*v + v + 100. Suppose 0 = 2*c + 2*a + 10, -4*c + 5*a = -7*c - 9. Is c/v + (-284)/(-10) a multiple of 14?
True
Let w be (-2)/4*(-24)/3. Suppose 3*t + 5*n = 28, w*t + t - 34 = -2*n. Is t a multiple of 2?
True
Let b(g) = 2*g**2 + 4*g + 2. Let o(p) = -p**2 + p - 1. Let k(s) = 2*s**2 - 4*s + 7. Let i(n) = -k(n) - 3*o(n). Let t be i(0). Is 18 a factor of b(t)?
True
Let g be (-2)/3 - 166/(-6). Let b = -15 + g. Is b a multiple of 5?
False
Let u = -3 - -5. Suppose u - 1 = n. Is 46 + (n/1)/(-1) a multiple of 15?
True
Suppose 3*j - 15 = 3*m, -6*m + m + 5 = j. Suppose m = 2*o - 27 - 17. Does 15 divide o?
False
Suppose -164 = -3*r - 5*f, 5*f - 4*f = 2*r - 92. Is r a multiple of 24?
True
Let n(z) = 3*z**3 - 7*z**2 + 5*z - 5. Let s = 10 - 5. Let u be n(s). Suppose u = v + 4*v. Does 21 divide v?
False
Let n = -56 + 86. Is 30 a factor of n?
True
Let i(v) = -v**3 + 6*v**2 - 3*v - 2. Let k = -7 + 5. Let r = k + 6. Does 6 divide i(r)?
True
Suppose 2*b + 50 = 4*q + 212, -2*q + 219 = 3*b. Let d be b + (-1 - 1/1). Suppose 0 = -3*n - 13 + d. Is n a multiple of 10?
True
Suppose i = -5*z + 49, 0 = 4*z - 5*z. Is 7 a factor of i?
True
Let i(o) = o**2 - o - 4. Let b be i(3). Suppose 4*v + 10 = -p, -4*p - 6*v + b*v = 4. Suppose 3 = -p*q + 31. Does 7 divide q?
True
Suppose -3*g - 6*t + 50 = -10*t, 2*g = -3*t + 22. Is g a multiple of 7?
True
Suppose 0 = u - 3*u + 110. Suppose 4*d - u + 10 = -5*o, 10 = d + o. Is 2 a factor of d?
False
Let a(x) = -11*x - 26. Does 8 divide a(-22)?
True
Suppose -k + j = -40, -k + 4*j + 0*j = -52. Suppose 0*z + 4*z + 4*w - k = 0, -15 = -z + w. Is 6 a factor of z?
True
Let m be 1 + 1 + 6 + 5. Let t = 96 - m. Is t a multiple of 15?
False
Let c(z) = -z - 5. Let d be c(-8). Is 14 a factor of 8/(d - 38/14)?
True
Let v be -33 + 0 - (-8 - -8). Is 11 a factor of (6*v/6)/(-1)?
True
Suppose -3*v - v - 4*l + 860 = 0, 2 = l. Is 64 a factor of v?
False
Suppose -50 = a - 3*a. Suppose -2*d + a = 3*d. Does 5 divide d?
True
Suppose 0 = -a + 5*a + 3*k + 115, 0 = k + 5. Let w be (-10)/(-8)*(0 + 48). Is 4 a factor of (w/a)/(6/(-20))?
True
Let d be 86/11 + 2/11. Suppose v + 3*v = d. Is (-16 + -4 + v)*-1 a multiple of 16?
False
Suppose -11 = -4*o + 3*c, 3*o + 2*c + 0 = 4. Suppose -x = -5*x - 4*k + 8, -o*x = 3*k - 5. Does 8 divide (-4)/(x/(0 - 4))?
True
Suppose -13 + 4 = 3*l, 0 = 3*j + 4*l - 234. Is j a multiple of 41?
True
Suppose -5*z + r = -3, 3*r = 2*r - 3. Suppose m + z*m = 11. Is m a multiple of 5?
False
Let q = -48 + 81. Is 11 a factor of q?
True
Suppose -2*w - 5 - 5 = 0. Is 1 + w + 3 - -6 a multiple of 4?
False
Let f = -4 - -7. Suppose f*b - b = 2*h - 74, 0 = h - 2*b - 36. Is 19 a factor of h?
True
Let c = -7 - -10. Suppose c*a + 72 = 6*a. Does 10 divide a?
False
Let x(f) = 19*f - 2. Let u be x(8). Let y be u/14 + 6/21. Let g = 27 - y. Is g a multiple of 8?
True
Let n = 17 + -23. Suppose 2*u = 6*u - 3*y - 13, 0 = -3*u - 2*y - 3. Let b = u - n. Is b a multiple of 5?
False
Suppose 0 = -2*m + 39 + 199. Is 8 a factor of m?
False
Suppose -2*g = -6*g. Suppose g = 3*u + 2*u. Is 1 + u - (-1 - 9) a multiple of 4?
False
Suppose 0 = 2*m - 3 - 1. Suppose 4*z = m*z + 28. Does 4 divide z?
False
Suppose 11 - 1 = 5*f. Suppose 5*z + 58 = 358. Suppose -w - 3*d + 23 = 0, -f*d - 2*d = -4*w + z. Is 6 a factor of w?
False
Suppose -7 = b - 2*b. Suppose 0 = -5*z + 52 - b. Suppose -f + 1 = t, 4*t - f + 4*f - z = 0. Does 4 divide t?
False
Suppose 0 = 2*d - 4*d + 14. Is d a multiple of 3?
False
Let b(m) = -m**3 - 4*m**2 - 8*m - 3. Let f be b(-6). Is f/5 - (-4)/(-10) a multiple of 21?
False
Let y(q) = 2*q**2 + 2*q - 3. Let h be y(-3). Suppose -24 = -5*b - h. Is 3 a factor of b?
True
Let u(g) = 6*g - 2. Let t = 13 + -9. Is 9 a factor of u(t)?
False
Let d(k) = 10*k**2 + 1. Is d(-2) a multiple of 9?
False
Let b(c) = -5 - 3*c + 6*c**2 + 0*c**3 - c + c**3. Is 5 a factor of b(-6)?
False
Let w(h) be the second derivative of -h**3/6 - 2*h**2 - h. Let i be w(6). Does 4 divide (-8)/(-10)*i/(-2)?
True
Let q(v) = -2*v + v - 5*v - 1. Let z be -3*(6/9)/2. Is q(z) a multiple of 5?
True
Is 339/2*56/42 a multiple of 11?
False
Suppose -4*h + 9*h = 10. Suppose 0*f - f - 5*z + 15 = 0, h*f = 3*z + 69. Is 30 a factor of f?
True
Suppose f + 2*f = 5*s - 42, -50 = -5*s - 5*f. Is s a multiple of 3?
True
Suppose -2*v - 49 + 157 = 0. Let w = 96 - v. Is 14 a factor of w?
True
Suppose -11*x + 7*x = -316. Is 3 a factor of x?
False
Suppose 0 = 3*t - 0*t - 9. Suppose 2*c - 110 = -t*c. Does 11 divide c?
True
Let f = -23 + 32. Let h = f - 6. Let z = 8 - h. Is 5 a factor of z?
True
Suppose 2*o + 7 = -5*b - 5, -3*b = 12. Suppose a = 4*a + 4*w - 3, 4*w + 32 = o*a. Suppose -l = 4*t - 31, 10 = a*l + 3*t - 230. Is 20 a factor of l?
False
Suppose 4*p + 29 = 105. Suppose -2*n - 5 = -p. Is 7 a factor of n?
True
Let o(y) be the first derivative of -y**2 + 12*y - 6. Does 8 divide o(-12)?
False
Let l be (-240)/(-7) + (-6)/21. Suppose -3*m + 0*m + 132 = 0. Suppose -4*u = -y - l, 4*u + y - m = -3*y. Does 3 divide u?
True
Let g(n) = n**2 + 6*n - 1. Let z(j) = j**2 + 5*j - 1. Let f(q) = 4*g(q) - 3*z(q). Let x be f(-4). Let d = 19 - x. Is 17 a factor of d?
False
Suppose 2*l - 9 = -l. Suppose -v = -l*v + 14. Is v a multiple of 5?
False
Let p = -117 + 147. Is p a multiple of 10?
True
Let j(q) = -q**2 - 6*q + 2. Let f be j(-5). Let s(m) be the first derivative of 3*m**2 - 9*m + 6. Is 16 a factor of s(f)?
False
Let f be (-2 - 2/(-3))*6. Is 2/(-2*1/f) a multiple of 8?
True
Let u be 0/(2 - 3) - -2. Suppose -33 = -k + 4*y, -6*y + u*y = 2*k - 6. Is k a multiple of 5?
False
Suppose 5*m + 3*d = 11, -2*m - m = 2*d - 6. Suppose k - 28 = 4*q, 5*k = m*q + 42 + 50. Is k a multiple of 16?
True
Let s = -8 + 184. Does 11 divide s?
True
Suppose 4*t = -4*l + 12, l - 3 + 2 = t. Suppose -5*f = l*c + 12, 3*c - 16 = f - 0*f. Suppose 5*d = 2*h + 182, 5*d + c*h - 199 = -23. Does 17 divide d?
False
Let u(b) be the second derivative of 3*b - 9/2*b**2 - 1/12*b**4 + 0 + 13/6*b**3. Is u(7) a multiple of 18?
False
Let f be (-2)/((2/(-139))/1). Suppose -2*c - d + 1 = f, -5*d = 4*c + 288. Let z = 107 + c. Is 15 a factor of z?
False
Suppose 85 = -4*s - s. Is 11 a factor of (-6)/9*s*3?
False
Let w = -19 - -42. Does 13 divide -2 + 3 + w + 1?
False
Suppose m - 37 = 8. Is 45 a factor of m?
True
Let q = 4 + -2. Suppose 4*z - 69 = -s, -5 = -s - 4. Suppose -q*l = 4*u - 104, -4*l - 1 = -z. Is u a multiple of 13?
False
Let a be (-152)/(-2) + 2 + -2. Let d = a - 53. Suppose d + 41 = 4*g. Is 10 a factor of g?
False
Is 11 a factor of (-29 - (-1 + 1))*-1?
False
Let c be (0 + 4/6)*99. Let l = c + -44. Is l a multiple of 11?
True
Let z = 86 - -131. Does 31 divide z?
True
Let z(n) = 5*n**3 + 2*n**2 + n + 1. Let q be z(-2). Let f = -6 - q. Is 14 a factor of f?
False
Let k(b) be the third derivative of b**5/60 + b**4/4 - 5*b**3/3 + 3*b**2. Let x = 7 + -15. Is k(x) even?
True
Let c be 212/6 - 4/(-6). Let m be 0/(8 + -3 - 4). Suppose -s + 3*s - c = m. Is s a multiple of 9?
True
Suppose 3*k - 196 = -k - 3*h, -4*h - 196 = -4*k. Is k a multiple of 12?
False
Let s be 3/(-4 + 1) - -9. Let n = -4 + s. Is n a multiple of 4?
True
Suppose -2*y = y, -3*d - 24 = -y. Suppose -4*q = -5*u + 154, 2*u = -0*u + q + 61. Let z = u + d. Is 11 a factor of z?
True
Does 17 divide 8/(-8)*(-2 + -15)?
True
Let h = 25 + 115. Is 14 a factor of h?
True
Suppose -4*k - 21 = -d - 0*d, k + 143 = 5*d. Is 2 a factor of d?
False
Let a(h) = 154*h**3 + h**2 - 3*h + 1. Is a(1) a multiple of 17?
True
Let x = -8 - -127. Does 23 divide x?
False
Suppose u + 3*i = 10 + 48, 5 = -5*i. Does 4 divide u?
False
Suppose b + 5*h = -0*b + 36, -5*h = -25. Is 11 a factor of b?
True
Suppose 4*h = 2 + 6. Let b be 2 + h*(-3)/3. Suppose b = -d - 2 + 20. Is 10 a factor of d?
False
Suppose -3*x = x - 232. Is 13 a factor of x?
False
Suppose -5*b + 3*y + 381 = 4*y, 4*b = 5*y + 328. Does 13 divide b?
False
Suppose 4*x - 2*x - 3*r = 32, 3*x - 4*r - 49 = 0. Is x a multiple of 19?
True
Let z(p) = -103*p - 1. Let i be (-2 + (-6)/(-4))*2. Let q be z(i). Su