p) - 3*o(p). Is 29 a factor of i(-3)?
False
Does 22 divide (15 + -13)*(76 + 1)?
True
Suppose -5*f + 151 = 2*v - 146, 4*v = 3*f - 199. Is f a multiple of 17?
False
Let v = 47 - 97. Suppose -4*k + 128 = u + 32, 4*u + 5*k = 340. Let o = u + v. Does 15 divide o?
True
Suppose -14*q + 15*q - 15 = 0. Is q a multiple of 5?
True
Suppose g - 2*v = 2, 0 = -2*v - 2*v. Suppose -4*j - 4*m + 120 = 0, -g*m - 11 = -3. Suppose 5*q - 4*a - 11 - j = 0, -q - 15 = 4*a. Is q a multiple of 2?
False
Let v = -3 + 3. Let p be 4/8 - 6/(-4). Suppose v = p*d + 3*d - 25, r + 4*d = 35. Does 12 divide r?
False
Suppose 248 = 4*j + 4*f, -3*f + 50 = -2*j + 199. Let n = j - 14. Is n a multiple of 16?
False
Is 17 a factor of (2/(-3))/(4/(-318))?
False
Let f = 60 + 68. Is 27 a factor of f?
False
Let r = 0 + 5. Suppose -v = r*g - 0*g, v = -g. Suppose -6 = -u - v. Is u a multiple of 6?
True
Suppose 3*o = 14 + 43. Does 6 divide o?
False
Let v = -4 + 6. Suppose -v*b = -b. Suppose -w - 2 + 22 = b. Does 10 divide w?
True
Let i(q) = q - 1. Let h be i(-11). Let n be (-867)/h - 2/8. Suppose -3*k = 2*w - n, 5*w = 3*k - 7*k + 103. Is 6 a factor of k?
False
Is 4 a factor of (-98)/(-1) + 2 + -8?
True
Does 22 divide ((-32)/28 + 2)/((-4)/(-672))?
False
Let i(l) = -24*l + 2. Let y be i(-2). Is 24 a factor of y + -1 + 2 + -4?
False
Let w(l) = l**2 + l - 2. Let q(c) = -2*c**2 - c + 2. Let j(y) = -2*q(y) - 3*w(y). Let s be j(0). Suppose -2*d + 4 = 2*u, -s*u = 4*d - 4*u - 32. Does 3 divide d?
True
Let q(k) = 125*k**3 + 2*k**2 + k - 2. Does 42 divide q(1)?
True
Let p = 14 + -10. Suppose 5*i = p*i + 12. Is 8 a factor of i?
False
Let w(z) = 3*z**2 - 2*z + 1. Does 6 divide w(3)?
False
Let f(v) = -v**2 - 7*v. Let c be f(-7). Suppose c = -t - 3*t - 12. Let z = t - -6. Does 2 divide z?
False
Suppose 4*f - 4 = 3*f. Suppose -5*d = 4*x - 36, -f*d = -4*x - 2*d + 64. Is x a multiple of 6?
False
Suppose n = 10 + 1. Let m be 2/(-2)*1*-29. Let j = m + n. Is 20 a factor of j?
True
Suppose 20 = 2*s - 4*t + 6, 3*s = -t. Let f(i) = i - 5*i + 0*i + s. Is 8 a factor of f(-5)?
False
Let o(q) = -q**2 + q. Let g be o(1). Suppose g = 2*z - 16 - 8. Is z/9*9/6 a multiple of 2?
True
Suppose -8 = -2*o, -2*w + 5*o = 3*w + 10. Does 8 divide w/(-3)*81/(-2)?
False
Let w = -8 + -1. Let c = w - -19. Is 10 a factor of c?
True
Is (-2)/3 + (-150)/(-9) a multiple of 8?
True
Suppose -3*s + 2*h + 457 = 0, 3*s - 36 = 3*h + 426. Suppose -5*o = 5*j - 235, 3*o - j = 6*o - s. Is o a multiple of 13?
False
Let v(o) be the second derivative of -3*o**3/2 + 3*o**2/2 - 2*o. Is 24 a factor of v(-5)?
True
Let s(p) = -3*p**2 - p - 6. Let f(t) = -2*t**2 - 5. Let m(h) = 4*f(h) - 3*s(h). Does 2 divide m(-4)?
True
Let b be (38/(-4))/(1/(-2)). Suppose -4*f + b = 3. Suppose 0 = 2*r + 5*s - 53, -3*s = f*r - 3*r - 29. Is r a multiple of 7?
True
Suppose m - 9 - 5 = 0. Suppose -5*s - y - 26 = -5*y, -3*y + m = -s. Does 6 divide s/(-2)*(16 - 2)?
False
Suppose -y = -4*b - 35, 4*y + 72 - 12 = -4*b. Let a = b - -14. Is 2 a factor of a?
True
Is 1 + (29*-6)/(0 - 2) a multiple of 8?
True
Let c = -13 + 104. Is 13 a factor of c?
True
Let w = 11 + -7. Suppose -w*j - 30 = -118. Suppose 3*o = h - 17, j = 2*h - 0*o - 3*o. Does 2 divide h?
False
Let f(d) be the second derivative of -d**4/12 + d**3 + 3*d**2/2 - d. Let u = 4 - -1. Is f(u) a multiple of 3?
False
Let s = -5 + 1. Let a = s - -14. Is a a multiple of 10?
True
Let f = -83 - -59. Let c = f + 74. Suppose -a = a - c. Is 25 a factor of a?
True
Suppose 16 = -3*h + 2*h + 4*j, 4*h - 20 = -5*j. Suppose -5*d + n + 100 = -4*n, h = 4*n + 20. Does 15 divide d?
True
Suppose 0*j - 3*j + 1002 = 0. Let v be ((-3)/(-2))/(6/296). Suppose 5*c - j = -v. Is c a multiple of 17?
False
Suppose -h = 3*h - 240. Does 22 divide h?
False
Suppose 2*s + 3*s - 140 = 0. Suppose 5*o - o - s = 0. Does 5 divide o?
False
Suppose 14*g - 8*g = 672. Is g a multiple of 14?
True
Suppose 0*a - j = a - 76, 0 = 4*j - 16. Suppose a = -3*n - n. Is 14 a factor of (-4)/n + 968/18?
False
Let i = 5 + -5. Let q be (-5 + i)/((-2)/(-4)). Does 5 divide (1 - 4)/(5/q)?
False
Let x(j) = 68*j**2 + 9*j + 17. Let s(p) = 23*p**2 + 3*p + 6. Let v(b) = -11*s(b) + 4*x(b). Let q be v(-2). Suppose 0*r - q = -3*r. Is 14 a factor of r?
False
Let w(s) = 51*s**3 - s**2 + 2*s - 2. Is 25 a factor of w(1)?
True
Let l = -9 - 6. Let j be (-1)/(-3) - 1000/l. Let c = -43 + j. Is c a multiple of 12?
True
Let t be (-2)/8 + (-15)/4. Let k = -12 - t. Is (30/4)/((-2)/k) a multiple of 12?
False
Let p = -45 + 75. Is 15 a factor of p?
True
Let z(x) = -3*x**3 - 3*x + 1. Let i be z(2). Let j = 124 - 60. Let f = i + j. Is f a multiple of 9?
False
Suppose -q + 2*j + 4 + 6 = 0, -2*q + j + 32 = 0. Does 18 divide q?
True
Let b(t) = 16*t - 4. Let c = 10 - 6. Suppose -3*x + 9 = c*n, -2*x + 6 = n - 4*n. Is b(x) a multiple of 22?
True
Suppose 2940 = 2*t + 8*t. Is t a multiple of 49?
True
Let b = 4 + -6. Let a(w) = -4*w + 6*w + w**3 - 2*w**3 + 3*w**2. Does 16 divide a(b)?
True
Let s = 101 + -72. Is s a multiple of 2?
False
Suppose -37 = -3*p - 2*s, 0 = 4*p + 5*s - 33 - 21. Is 4 a factor of p?
False
Suppose 5*l = -2*y + 92, -4*l - 3*y + y + 74 = 0. Is l a multiple of 6?
True
Suppose -85 - 89 = -2*w. Does 19 divide w?
False
Let m = -6 + 7. Let t be m/2*2*1. Does 9 divide 8 + 2 + t/(-1)?
True
Let b(m) = -m**3 + 2*m**2 - m. Let i be b(2). Let h be 1 + 2/i + 6. Suppose -5*y = -2*o + 34, -o + 16 = 3*y - h*y. Is o a multiple of 14?
False
Let r(o) = 92*o**3 - o. Is r(1) a multiple of 25?
False
Suppose -4*l + 48 = 5*s, -5*s - 2*l = -7*s + 12. Is 8 a factor of s?
True
Suppose 423 = 5*l + 2*g, 72 = 4*l - 3*g - 248. Let y = l + -18. Does 13 divide y?
True
Suppose k - 6 = z, -k - 2 = 2*z + 1. Suppose -4*i + 20 = -3*j + 5*j, k*i - 2*j = 8. Suppose 0 = -3*m + i*p + 102, 30 = m + p - 4. Is m a multiple of 17?
True
Let q be ((-2)/(-5))/((-1)/(-10)). Suppose -5*h = -5*z + 230, 3*h - 58 = -q*z + 3*z. Let l = 69 - z. Is l a multiple of 7?
False
Let m(k) = k**3 + 11*k**2 + 12*k - 9. Let u(j) = j**3 + 11*j**2 + 12*j - 9. Let b(a) = -3*m(a) + 2*u(a). Let o be (-1)/4 - 117/12. Is b(o) a multiple of 10?
False
Let g = -5 + -1. Let s = g + 15. Let n = s - 5. Does 4 divide n?
True
Let d = -15 - -21. Suppose -5 = -y, 3*c - d*y - 17 = -y. Is 3 a factor of c?
False
Let b(s) be the first derivative of -2*s**2 - 3*s - 1. Let r = -7 + 4. Does 4 divide b(r)?
False
Let f = 14 - 10. Suppose 3*v - f*j = 154, -3*v - v + 2*j + 212 = 0. Is 18 a factor of v?
True
Let h(v) = -v**2 + 7*v + 2. Let u be h(10). Suppose z - 5*z = 188. Let k = u - z. Is k a multiple of 19?
True
Let m = -6 - -4. Let o(k) be the first derivative of -9*k**2/2 - 2*k + 1. Does 8 divide o(m)?
True
Does 28 divide ((-8)/10)/(10/(-1525))?
False
Suppose -3 + 69 = u - 5*p, -4*p = -2*u + 162. Is u a multiple of 8?
False
Let p(w) = -4*w**3 + 2 - 1 - 2 - 3*w + 0 + w**2. Let l be p(-2). Let b = l - 23. Does 8 divide b?
False
Let a = 3 + -8. Let p = 3 + a. Let f = p - -10. Is 4 a factor of f?
True
Let q be ((-14)/4)/((-6)/12). Does 5 divide ((-21)/q)/((-1)/5)?
True
Let m be 0/3 + 3 - 0. Suppose 2*p - 4*p = 4*c - 12, 2*p = -m*c + 14. Is 18 a factor of ((-102)/p - -3)*-5?
True
Let i be 2 - 6/(-4)*-2. Let g be (-10)/(i - 2 - -2). Is (48/g)/(1/5) a multiple of 12?
True
Suppose 3*r - 483 = -4*w, 3 = 4*r - 5*r. Is 14 a factor of w?
False
Let q be (-2)/4 + 21/2. Suppose 0 = 2*y - 0 - 4. Let p = q + y. Is 8 a factor of p?
False
Let n(d) = -d**2 - 3*d + 4. Let r be n(-3). Suppose 0 = 4*a - 5*g - 239, -2*g + 269 = r*a - g. Is a a multiple of 22?
True
Let j(p) = -113*p + 1. Is 10 a factor of j(-1)?
False
Suppose 5*c = 35 + 40. Suppose -3*k = -4*k - 7. Let t = c + k. Is 5 a factor of t?
False
Suppose l = -3*l + 100. Is l a multiple of 5?
True
Let k be (-2)/2 + 0 + 5. Is 4 + k - (2 + -1) a multiple of 3?
False
Does 10 divide (-75)/2*(-4)/5?
True
Suppose 8*b + 126 = 638. Is b a multiple of 8?
True
Suppose 12 + 14 = -5*l + 3*o, -5*o = 2*l - 2. Let y(n) = 2*n**2 + 3*n - 5. Is 5 a factor of y(l)?
True
Is ((-69)/(-2))/((-16)/(-32)) a multiple of 13?
False
Suppose 0 = 4*n - 7*n. Let r = -5 + 9. Suppose n = r*u - 5*u + 4. Is u a multiple of 4?
True
Suppose 0 = 6*m - 882 + 186. Is 29 a factor of m?
True
Is 9 a factor of (-5 + -1)/(2/(-12))?
True
Suppose 4*m - 10 = -u - 0*m, -u + 4*m + 2 = 0. Suppose -2*n = -u*n +