 = -o, 2*k + 3*o - 9 = -0. Let h = 31 - -7. Suppose 0*v + 5*v - x = h, -3*x = 3*v - k. Does 7 divide v?
True
Let i(h) = -h**3 - 4*h**2 + 4*h - 5. Let w be i(-5). Suppose 3*b + 18 = 3*f, 3*f + 2*b = -w*f + 28. Is f a multiple of 3?
False
Suppose y - 1 + 37 = 0. Let k = -20 - y. Does 10 divide k?
False
Suppose -198 = -u - 2*u. Is 18 a factor of u?
False
Let x(a) = 96*a - 1. Let m be x(1). Suppose 6*w - w - g = m, 3*w - 65 = -g. Is w a multiple of 15?
False
Let f = -9 - -5. Let k(s) = -5*s**3 + 11*s**2 + 5*s + 4. Let n(m) = m**3 - m**2 - m - 1. Let g(u) = k(u) + 6*n(u). Is g(f) a multiple of 15?
False
Suppose 5 = i, 2 - 55 = -4*f - i. Is f a multiple of 4?
True
Suppose 20 = -5*c + c + 5*h, h - 4 = -5*c. Is 24/(-20)*(-5 - c) a multiple of 6?
True
Suppose -10 = -5*o - 4*b, 0*b - 14 = -4*o - 2*b. Let l(f) = -5*f**2 - 6*f - 2*f**3 + 3*f**3 - 3 + f. Is 3 a factor of l(o)?
True
Suppose -11*b = -12*b + 42. Is b a multiple of 21?
True
Suppose -i + 1 + 1 = 0. Suppose -i*c + 7*c = 25. Is 2 a factor of c?
False
Is 13 a factor of (-4)/(-6) + 121/(-33) - -145?
False
Suppose -3*m + 124 = 2*j, 0*m - m + 45 = -3*j. Is m a multiple of 9?
False
Let q = -4 - -3. Is 11 a factor of (4 - 1 - 36)/q?
True
Let g be (-2)/((-3)/(-1) - 2). Does 22 divide 3/3 + 25 + g?
False
Let q = -12 + 16. Suppose q*s = -5*u + 3*s + 203, 4*s = 2*u - 90. Does 23 divide u?
False
Let v(m) = m + 7. Let u be v(9). Suppose k = 4*x - u, 2*x = 6*x + k - 24. Is 5 a factor of x?
True
Let u(q) = q**2 + 7*q - 2. Let m be u(-6). Let z(f) = f**2 + 7*f - 1. Does 7 divide z(m)?
True
Let w(m) = -5*m**2 - m + 2. Let h be w(-5). Let o = h + 55. Let k = -30 - o. Is 17 a factor of k?
False
Let z be 28/(-21)*3/(-2). Is 8 a factor of 16/(-8)*(-31)/z?
False
Suppose -10 - 6 = -5*y - u, -3*y + 32 = -5*u. Suppose 2*f + 154 = 5*g, y*f - 13 + 1 = 0. Is ((-6)/3)/((-2)/g) a multiple of 16?
True
Suppose -j + 73 = 3*t, 4*j = -4*t - 0*j + 108. Does 5 divide t?
False
Suppose -15 = -3*j + w, 0 = -4*w + 2*w. Suppose -60 = j*g - 10*g. Is 4 a factor of g?
True
Let s = -6 - -10. Let g(d) = 2 - d**2 + 5*d + 0*d**2 - s. Does 4 divide g(3)?
True
Let s(v) = -v**2 + 17*v + 5. Let c be s(17). Let a = c - -2. Is a a multiple of 2?
False
Let u = 19 - 10. Let r(s) = s**3 - 9*s**2 + 5*s + 1. Is 15 a factor of r(u)?
False
Let c(o) = 2*o - 6. Let x be c(5). Suppose -4*u - 2 = -10, 0 = -3*v - 3*u + 24. Suppose -x*g + v*g = 16. Does 3 divide g?
False
Suppose -10*f - 6 = -1716. Is 13 a factor of f?
False
Suppose 0 = -5*t + 2*p + 34, 0 = 3*t - 4*p + 2*p - 18. Let w = 1 + t. Suppose r - w - 7 = 0. Is 16 a factor of r?
True
Let d(b) = 73*b**2 - 5*b + 4. Does 8 divide d(1)?
True
Let x(t) be the second derivative of t**3/3 - t**2/2 - t. Does 4 divide x(6)?
False
Suppose -v + 2*v + 1 = 0. Suppose 3*h = -0*h. Does 3 divide v/((3 - h)/(-12))?
False
Is (1 - -4)*144/30 a multiple of 24?
True
Let k be 6/9 - 140/(-6). Let f = -14 - k. Does 15 divide (f/6 + -1)*-3?
False
Suppose 8 = -x + 3*x. Suppose x*q + 2*f = 34, -3*q + 33 = -0*q - f. Does 10 divide q?
True
Let d(f) = 4*f + 8. Let u be d(-9). Let v = -15 - u. Is v a multiple of 10?
False
Suppose -5*a = -2*o + 5*o + 43, -4 = 4*o. Let f be (0 - -4)*(-4)/a. Does 13 divide (25/f)/((-3)/(-6))?
False
Let x(v) = -v**2 + 13*v + 4. Does 21 divide x(6)?
False
Suppose -5*z = x + 3*x - 19, 3*x + 6 = 3*z. Let j be (1 + 0)*(-2 - x). Is 10 a factor of (50/j)/((-4)/6)?
False
Let u = 39 - 7. Does 4 divide u?
True
Suppose -s - 3 = -5. Suppose 0 = 3*c - s*c - 2. Is 7 a factor of (4 - c - -10) + 2?
True
Suppose -2*r - 2*h + 10 = 0, r - 7*h = -2*h - 13. Suppose 4*n + 4*a - 166 = n, -5*n = -r*a - 320. Is n a multiple of 21?
False
Let c be (9 - 12) + (-10)/(-1). Suppose 7 = x - l - l, 5*l = -x + c. Is x a multiple of 3?
False
Let d = -3 - -10. Suppose 4*c = -g - 11, 5 = 4*g + 2*c - d. Does 3 divide g?
False
Suppose 17 = 2*f - 3*o, -2*f - 2*o - 2 + 4 = 0. Let w be f/6*(0 + -3). Is (1 + w)/1 - -21 a multiple of 10?
True
Let h = 18 + -18. Suppose -w = -3*q - 9, -2*w - w + 2*q + 34 = h. Is 7 a factor of w?
False
Is 4 + 2/((-2)/(-25)) a multiple of 22?
False
Let a(i) = 6*i - 2. Let p be a(2). Let d = p + -1. Is 8 a factor of d?
False
Let u be 4/(-6) - (-42)/9. Suppose 4*a = 16, u*a = -4*t + 10 + 146. Let c = t - 15. Is c a multiple of 10?
True
Suppose -2*f + 24 + 8 = 0. Suppose -23 - f = -4*y + 3*c, 5*c = -5. Is 3 a factor of y?
True
Let k be (-14)/(-8) + (-1)/(-4). Suppose 0*y = k*y - 20. Suppose -y + 45 = 5*a. Does 3 divide a?
False
Suppose -130 = 2*o - 7*o - 3*w, 2*o - 41 = w. Is 13 a factor of o?
False
Let p(a) be the second derivative of -a**3 - 8*a**2 - 3*a. Does 13 divide p(-11)?
False
Let p = -199 + 337. Is 28 a factor of p?
False
Is 4 - (-129 + (0 - 0)) a multiple of 19?
True
Let t = 19 + 4. Does 7 divide t?
False
Let l = -17 + 26. Suppose 2*b - l = 7. Let f = b - 5. Is f a multiple of 2?
False
Let h be ((-18)/8)/(4/(-96)). Suppose 4*m - 29 = -5*b + 60, -4*m + 2*b = -h. Is 6 a factor of m?
False
Suppose 0 = -3*y - 0*y + 12. Let c be y/(-14) - (-825)/21. Suppose 2*b + 9 = c. Is 15 a factor of b?
True
Suppose 0 = -z + 5*l + 16, 3*z - 2*l - 44 = 4. Is 8 a factor of z?
True
Suppose -5*w - 14 - 7 = -2*c, 0 = -4*w - 4. Let s = c - -15. Let z = -5 + s. Is z a multiple of 18?
True
Suppose 5*x + 0*x = o + 16, x = -4*o + 20. Does 4 divide x?
True
Let y(t) = -t + 6. Let w be y(6). Does 23 divide (-6)/(-4)*38 + w?
False
Is (688/(-10))/(-1 - 24/(-40)) a multiple of 14?
False
Suppose 0 = 2*n - 6*n + 100. Suppose -v - v + 2*q + 10 = 0, -3*q = 5*v - n. Does 5 divide v?
True
Let q(v) = 2*v**2 + 3*v. Let d be q(-2). Suppose d*m - 1 = -91. Let t = m - -67. Does 13 divide t?
False
Is -2*1/((-2)/59) a multiple of 23?
False
Suppose -5*l = -4*l - 4. Suppose 39 = l*u + 5*y, 0*u + 100 = 5*u - 4*y. Is u a multiple of 4?
True
Let y = 392 + -152. Is 30 a factor of y?
True
Let i = -31 - -51. Is 8 a factor of i?
False
Suppose 0 = -2*p + 6 + 4. Suppose -5*j - c = -230, -3*j + p*c = -0*c - 166. Is j a multiple of 13?
False
Let f = -6 + 11. Suppose 4*l = 3*m + l - 33, -f*m = -3*l - 61. Is 6 a factor of m?
False
Suppose -2*o + 6 = o. Suppose -16 = -o*m + 5*v, -v - 17 = 2*m - 45. Does 7 divide ((-6)/3 - 0) + m?
False
Let q(i) = -5*i - 1. Let v be q(1). Let d = 8 + v. Suppose m = -4*m + d*f + 116, -2*f + 76 = 3*m. Is m a multiple of 12?
True
Suppose -7*r = -5*r - 196. Is 14 a factor of r?
True
Let o(l) = l**3 - 8*l**2 + l + 6. Let x(j) = j**2 - 4*j - 5. Let i be x(6). Let q be o(i). Let n = q - -82. Does 13 divide n?
False
Suppose 5*a - 2*t - 20 = 0, -t - 22 = -4*a - 9. Suppose a = 4*k - 62. Does 16 divide k?
True
Suppose 0 = 4*h - 124 - 56. Suppose -k - 5 = -0, h = 2*x - 5*k. Is 2 a factor of x?
True
Let t(w) be the second derivative of w**5/20 - 5*w**4/12 - 5*w**3/6 - w**2/2 + w. Let h be t(6). Suppose -h*g = -21 - 94. Does 11 divide g?
False
Let w(o) be the third derivative of o**5/20 + 5*o**4/24 - 2*o**3/3 + o**2. Let n be (48/18)/((-4)/6). Does 8 divide w(n)?
True
Suppose 429 = 4*n - s, 3*n + 89 = 3*s + 422. Suppose -5*c + 54 = -n. Is 8 a factor of c?
True
Suppose 16 - 48 = -2*s + 4*t, -5*t = 20. Suppose -4*n + s = -0. Suppose 5*f = 10, -n*k + 2 = -f - 4. Is k a multiple of 4?
True
Let i = 17 - 8. Is i a multiple of 2?
False
Suppose -b + 2*p + 12 = 0, 0*b + p = -2*b + 4. Let y = -1 + b. Suppose 12 + 54 = y*o. Does 22 divide o?
True
Suppose 3*g = 2*r - 10 + 1, r = -2*g + 1. Is r even?
False
Let a = 73 - 41. Let m = a + -22. Does 10 divide m?
True
Let d = 16 + -11. Suppose 2*z = d*z - 15. Suppose 10 = z*p, -m + 3*p + 18 = 8*p. Is m a multiple of 6?
False
Suppose -4*m - 2*j + 64 = 0, 15 + 11 = 2*m + 4*j. Does 6 divide m?
False
Let s(k) = -k**2 + 6. Let t(h) be the second derivative of -h**4/4 + h**3/6 + 11*h**2/2 - 2*h. Let r(n) = 5*s(n) - 3*t(n). Is r(3) a multiple of 9?
False
Suppose 4*w - 12 = -0*w. Is 5 a factor of 28/2 + (w - 0)?
False
Let w(d) = d**3 + 8*d**2 + 8*d + 9. Let a be w(-7). Suppose -a*i + 5 + 1 = 0, 3*q = 2*i. Is q even?
True
Is (14/(-8))/(2/(-8)) a multiple of 7?
True
Let v(l) = 15*l**3 - 2*l**2 + l. Let p be v(1). Let o = -8 + p. Suppose 85 = o*s - s. Is s a multiple of 7?
False
Suppose 0 = 5*n - n - 20. Suppose -n*i = 7*s - 3*s + 9, -s = 3*i + 4. Is 10 a factor of (8/(-5))/(s/10)?
False
Let t(i) = i**3 + 6*i**2 + 5. Let s be t(-