 2*u + l*o - 32, 0*u + 3*u = -o + 33. Suppose 0 = -p + 25 - u. Does 15 divide p?
True
Suppose 0 = -y + 1 + 3. Suppose y = -l + 2*l. Let t = l + 21. Is t a multiple of 8?
False
Let o be (-2)/(-4)*(-5 + 13). Suppose 0 = -4*b - 3*n + 36, o*b - n = 8 + 44. Is 12 a factor of b?
True
Suppose 2*c + 41 = 4*c - 3*b, c - 23 = 4*b. Is 4 a factor of c?
False
Suppose -o + 825 = 4*o. Suppose -5*f + o = -3*i, -3*f + 105 = -i + 6. Let p = 61 - f. Is 14 a factor of p?
True
Suppose -10*w + 27 = -7*w. Does 2 divide w?
False
Let t be (-6)/9 - (-20)/3. Suppose b - 24 = -b. Suppose t = 3*x + s - 4*s, 0 = 5*x - 3*s - b. Does 2 divide x?
False
Let h(v) = -v**3 + 3*v - 4. Does 16 divide h(-4)?
True
Suppose 0 = 2*a + 4*u + 2, 2*a + 5 + 1 = -2*u. Let r be (-4)/1 - (-5)/a. Let s(c) = -6*c + 3. Is s(r) a multiple of 17?
False
Let o(l) = -l**3 + 5*l**2 + 3. Suppose -2*i - 12 = 2*i, 4*z - 4*i - 32 = 0. Let k be o(z). Suppose -2*y + 26 = k*f + f, 2*y - 2*f = 14. Does 5 divide y?
False
Suppose 0*s = 2*s + 10, -3*s = 4*a - 5. Let x = 3 - a. Does 19 divide 42/(x - (0 - 3))?
False
Let l(j) = 6*j**2 + 2*j**3 + 6 - j - 4*j - 3*j**3. Does 2 divide l(5)?
True
Suppose -3*a - 33 = 3. Does 2 divide 6/(0 - a/8)?
True
Suppose 0 = -q + 155 + 43. Is q a multiple of 33?
True
Let z(j) = -j + 3. Let v be z(6). Let c(k) = -9*k + 1. Does 14 divide c(v)?
True
Let t(j) = -4*j + 2. Suppose 5*l - 11 = 3*c, -4 - 6 = 2*c - 4*l. Suppose 4*p - 44 = c*w, p + 3*p = -5*w - 20. Is 17 a factor of t(w)?
True
Does 17 divide (-4)/5*10/(-4)*10?
False
Suppose 2*i = -3*w + 24, 0 = 4*w - 4*i + 5*i - 37. Is 30 a factor of (2*3)/(w/195)?
False
Let s(d) be the second derivative of -2*d**3/3 - d**2/2 - 2*d. Is s(-8) a multiple of 12?
False
Let f(y) = 16*y + 2. Does 4 divide f(1)?
False
Let s = 2 + 1. Suppose -2 = 5*z + s. Does 3 divide (-13 - z)*(-1)/2?
True
Let i(q) = q**2 + 4*q + 3. Let l be i(-4). Suppose 0 = -l*y - 17 + 53. Does 6 divide y?
True
Let v(i) = 4*i - 3. Let s be v(-4). Let w = 28 + s. Let z = w + 17. Is 15 a factor of z?
False
Let z be -2 - (2 + -6 - -2). Suppose -4*k - 2 + 18 = z. Suppose 33 = k*q - 95. Is 14 a factor of q?
False
Let y(k) = -3*k**3 + 4*k**3 + 8*k**2 - 5 + 11 + 8*k. Does 30 divide y(-6)?
True
Suppose 6*m - 4 = 2*m. Let k(d) = -4 - d - m + 1. Does 2 divide k(-7)?
False
Suppose -2*p = -5*p - 5*k + 1, 0 = -4*k - 16. Suppose 6*f - p*f - 19 = 0. Does 13 divide -6*(1 + f/2)?
False
Suppose 10 = 8*i - 3*i. Suppose i*u - 87 = 41. Suppose 5*p - u = p. Does 16 divide p?
True
Let v be (-2)/8 - 5/(-4). Let y be (v/1)/((-2)/(-8)). Suppose y*w - 1 = 11. Is 2 a factor of w?
False
Suppose -h - 6 = -3*h. Suppose -4*c + 20 = -2*u + 82, -99 = -3*u + h*c. Is 9 a factor of u?
False
Suppose -2*t = -4 - 0. Suppose -1 = -t*v - 11. Is 6 a factor of 10*1 + v + 7?
True
Let y(q) = q**2 + 12*q - 20. Is 43 a factor of y(-17)?
False
Suppose 4 = 2*d - 82. Does 2 divide d?
False
Suppose -2*r + 20 = -r. Is 20 a factor of r?
True
Suppose -11 = -2*a - 1. Suppose a*h + 0 - 5 = -2*t, t = 4*h + 22. Is t a multiple of 10?
True
Let f(t) be the third derivative of -5*t**5/12 - 2*t**3/3 + 3*t**2. Let z be f(3). Does 11 divide 2/7 + z/(-7)?
True
Let i(o) = 5*o**3 + 3*o**2 - 3*o - 2. Let j(n) = -6*n**3 - 2*n**2 + 4*n + 3. Let u(p) = -5*i(p) - 4*j(p). Suppose -z = -3*z - 14. Is 2 a factor of u(z)?
False
Suppose -t = 3*h - 11, -3*h + 2*h = 2*t - 12. Let b be 2 - 2 - 15/(-3). Suppose -b*p + 122 = h. Does 12 divide p?
True
Suppose -3*m + 2*m - 3*q = -3, 5*q - 6 = -2*m. Is m even?
False
Let o = 18 - 40. Let l = o + 51. Is l a multiple of 8?
False
Let b be (-3)/9*(-11 - 1). Let v be 321/12 + 1/b. Suppose -v = -3*o + 4*d, 5*o + 3*d - 40 = 34. Does 6 divide o?
False
Let g be 4/10 - 54/10. Let o(z) = -z**3 + 6*z**2 - 4*z - 1. Let b be o(4). Let s = g + b. Is s a multiple of 4?
False
Is 9 a factor of (9/(-3))/((-2)/8)?
False
Does 32 divide 5 - (-1 + -110 + 1)?
False
Is (62/10 - -1)/(4/10) a multiple of 13?
False
Let f(p) = -p**2 - 4*p. Let s be f(-4). Suppose s*i - 2*l = -3*i + 34, 5*l + 10 = 0. Does 5 divide i?
True
Let u(i) = -i**3 + 8*i**2 - 5*i + 8. Let o = -17 - -24. Is u(o) a multiple of 7?
False
Let s = 283 + -108. Is 25 a factor of s?
True
Let g(r) = 5*r + 1. Let c be g(-1). Let a = c + 9. Does 3 divide a?
False
Let m(c) = c**2 - 2*c - 8. Is 8 a factor of m(6)?
True
Let d(c) = 4*c**2 + c**3 - c**2 + 48 + 3*c**2 - 7*c**2. Does 16 divide d(0)?
True
Let d(c) = 2*c + 2. Is 3 a factor of d(4)?
False
Is 14 a factor of (0 - 4) + (108 - 11)?
False
Is (-380)/(-30)*(-18)/(-4) a multiple of 11?
False
Let p be 3/((-3)/(-9)*3). Let x(i) = 3*i - p*i + i + i**2 + 5. Is 7 a factor of x(-4)?
False
Let g(q) = q**3 + 7*q**2 + 8*q + 4. Let l = -42 + -3. Let k be (2/(-6))/((-3)/l). Does 14 divide g(k)?
True
Let f(v) = v**3 - 7*v**2 - v + 8. Let s be f(7). Let x(h) = 4*h**2 - 3*h**2 - 3*h**2 + 2*h**3 - s. Does 7 divide x(2)?
True
Let q(b) = -5*b. Let u be q(-6). Suppose -3*j = 3*o - u, -3*o + 56 - 8 = -3*j. Is o a multiple of 6?
False
Suppose -2*u = -u + 9. Is 34/6 + 6/u a multiple of 3?
False
Let m(l) = 4*l + 1. Suppose 0 = 4*c - 3*t - 13, 0*c + 14 = 4*c - 2*t. Is 6 a factor of m(c)?
False
Suppose -5*r + 4*u - 236 = 0, 2*r + u + 10 = -74. Let p = -28 - r. Is p a multiple of 8?
True
Suppose -8 = 7*w - 8*w. Is (6/w)/((-2)/(-120)) a multiple of 19?
False
Is ((-8)/12)/(1/(-15)) a multiple of 6?
False
Does 31 divide (0 + -7)/((-5)/155)?
True
Suppose 38 + 35 = 2*z + 5*t, 4 = 4*t. Does 34 divide z?
True
Suppose 0 = -5*j, -j + 2 = p + 5. Let t be 4/2*(4 + p). Suppose -5*a + v = -14, 0 = -t*a - 2*a - 2*v. Does 2 divide a?
True
Let y = -1 + -7. Is 19 a factor of ((-38)/y)/(1/4)?
True
Suppose 0 = -3*u + 41 + 103. Is u a multiple of 8?
True
Let q(r) = 7*r + 18. Let c be q(6). Let f = 84 - c. Is f a multiple of 8?
True
Let a(q) = 6*q**2 + 21*q + 12. Is 31 a factor of a(-8)?
False
Let v = 332 - 214. Let m = v - 65. Is 15 a factor of m?
False
Does 16 divide 4/14 + (-4)/(-14)*447?
True
Let i(n) = 4*n**2 - 6*n - 3. Let j be i(-4). Let d = j - 59. Is 10 a factor of d?
False
Suppose j = 3*j - 40. Suppose 8 = 3*x + 2*r, -5*x + 0*r - 5*r = -j. Suppose -4*o + 43 + 45 = x. Does 15 divide o?
False
Let v = -63 - -96. Is 7 a factor of v?
False
Let h = 11 - 3. Suppose 3*f + f - h = -4*q, -2*q - 4 = 0. Suppose f*o + 0 = 5*p + 33, 3*p + 39 = 4*o. Is 6 a factor of o?
True
Is (8 - 89)*(-1)/3 a multiple of 8?
False
Let y(c) = -2*c - 2. Let o be y(-2). Let x(i) = i - 2. Let p be x(12). Is ((-5)/p)/(o/(-44)) a multiple of 11?
True
Suppose 0 = k - 5 - 10. Let i be ((-6)/(-15))/(1/k). Suppose 0 = -2*c + 54 - i. Is 12 a factor of c?
True
Let y(h) = -7*h - 7. Is 10 a factor of y(-6)?
False
Suppose t + 4*d - 5*d = -4, 5*t + d = 10. Let o(m) = -3*m - t + 9*m - 2. Is 5 a factor of o(2)?
False
Suppose -h - 3*h + 304 = 0. Does 19 divide h?
True
Suppose -2*u - 12 = -5*i, 4*u = -u + 4*i - 30. Let w = u + 19. Does 13 divide w?
True
Let z(p) = 5*p**2 + 3*p + 2. Suppose -2*b = -0*b - 8. Let d be (9/(-12))/((-1)/b). Is z(d) a multiple of 16?
False
Does 22 divide (48/14)/(-8) + (-1910)/(-14)?
False
Let o(a) = -a**2 - 9*a - 4. Let h be o(-8). Let m(p) = p**2 + 5*p - 2. Does 17 divide m(h)?
True
Let d(f) = 4*f - 5. Suppose -2*s - s = -9. Is 2 a factor of d(s)?
False
Does 15 divide (-3 - (-12)/5)*-125?
True
Suppose -v - 3 = -117. Is v a multiple of 10?
False
Suppose 0 = 7*x - 2*x - 285. Is x a multiple of 29?
False
Let s = 27 - 38. Let u = s + 21. Is u a multiple of 4?
False
Suppose 0 = 19*j - 16*j - 699. Is 22 a factor of j?
False
Let c(g) = -3*g**2 - 16*g - 3. Let u(l) = 2*l**2 + 11*l + 2. Let n(j) = -5*c(j) - 7*u(j). Let f be n(-4). Suppose -99 = -f*q - 14. Is q a multiple of 16?
False
Let z be (-2 + 1)*(-8 + 6). Suppose 32 = z*g - g. Does 14 divide g?
False
Suppose -2*n + 3*z + 272 = 0, 4*n + 0*z - 504 = -4*z. Suppose -11 = -3*d + n. Is d a multiple of 12?
False
Let h = -3 + 6. Suppose -w - 13 = -y, 10 = w + 4*y + h. Is ((-6)/w)/(2/21) a multiple of 7?
True
Let b(j) = -j**2 - j + 1. Let i be b(0). Let t be (-1 - 0)*(-89 - i). Suppose -5*o + a + 147 = 21, 3*o + 3*a - t = 0. Does 13 divide o?
True
Let p(o) = -o**2 + 8*o + 7. Suppose -v + 3*v - 3*n = 1, 5*v = 2*n + 30. Is p(v) a multiple of 2?
False
Let g be ((-171)/6 - 2)*-2. Let p = g - 40. Is 21 a factor of p?
True
Let l(g) = -8 + 7 + 2 - 10*g. L