rivative of g**3/3 + g**2 - g + 1. Let k be o(-5). Let u = 23 - k. Does 5 divide u?
False
Suppose -p - 201 = -4*p. Let j = p - 39. Is j a multiple of 10?
False
Let q(n) = -2*n**2 + n**3 + 6 + 4 - 4 - 6*n. Does 14 divide q(4)?
True
Let w(k) = k**2 - 3*k + 2. Let a be w(4). Let y(d) = -d**3 + d**2 + 5. Let c be y(-4). Suppose 0 = -a*m + m + c. Is m a multiple of 15?
False
Suppose -5*a + v = -46, -a + 2*a - 12 = 3*v. Suppose 3 = -x + 2*l, -2*x + l + 0*l = a. Let s(o) = -6*o - 5. Is s(x) a multiple of 16?
False
Suppose 10*a = 5*a - 120. Is a/(-16)*110/3 a multiple of 16?
False
Suppose -m + 2 = m. Does 12 divide m/3 + (-1233)/(-27)?
False
Let p = 1 + 3. Suppose 3*w + 4*t = -w + 16, -2*w + p*t = -8. Is w a multiple of 2?
True
Let d = 42 + -30. Is 6 a factor of d?
True
Let q = 13 + 33. Let z = -33 - -9. Let l = z + q. Is l a multiple of 15?
False
Suppose 0*s = -2*s + 24. Suppose -b - 2*b = -s. Is (b + -1)/((-18)/(-120)) a multiple of 10?
True
Let r = -2 + 2. Suppose r = 2*x - 2, 5*v - 5 = 4*v - x. Suppose -2*k + 7*k = -15, -v*k = -2*u + 28. Is 4 a factor of u?
True
Suppose -19*b + 15*b = -400. Suppose 4*s + 32 = y, 5*y - 5*s = -0*s + b. Is y a multiple of 5?
False
Let n be (1 + 5)*7/14. Suppose n*w - 5*w = -6. Suppose 0 = 4*h + 3*d - 120, h - w*d = 22 + 8. Does 10 divide h?
True
Suppose m = 4*m - 426. Let b = m + -94. Is 16 a factor of b?
True
Let r(u) = -u**3 + 15*u**2 - 13*u - 8. Is 2 a factor of r(14)?
True
Let w(c) = 20*c - 6. Let y be w(5). Let x = 170 - y. Is x a multiple of 11?
False
Suppose -2*z + 7*z - 3*a = 8, -5*a - 8 = -3*z. Let t be -1 + (z + 1 - 1). Suppose -4*f + 11 + 69 = t. Does 12 divide f?
False
Let q(j) = j + 2. Let y be q(-1). Let a = 7 + y. Is a a multiple of 3?
False
Let l = -3 - -4. Does 5 divide -2 + (15/l - 3)?
True
Let u(b) be the third derivative of -5*b**4/24 - b**3/6 - 3*b**2. Is u(-2) a multiple of 5?
False
Suppose -2*a - 6 = -4*a. Suppose -5*w - f - 2*f = -198, 3*w - a*f - 114 = 0. Is 10 a factor of w?
False
Suppose 48 = 2*k - q, 3*k - 105 = -2*k - 5*q. Does 6 divide k?
False
Let b(c) = 2*c**2 + 10*c - 10. Let t(f) = -f + 1. Let a(p) = b(p) + 4*t(p). Let j(i) = -i. Let q be j(-4). Is a(q) a multiple of 15?
False
Let b = -8 + 137. Does 9 divide b/15 + (-4)/(-10)?
True
Suppose -411 - 64 = -3*f - 4*s, s - 320 = -2*f. Is f a multiple of 36?
False
Let v = 8 + -24. Suppose -1 = -3*y + 5. Let l = y - v. Is l a multiple of 10?
False
Suppose 3*q = -4*a + 87, q = -4*a - a + 95. Is 4 a factor of a?
False
Let w be 1/1 + 192 + 2. Suppose -2*m = -7*m - w. Let r = 63 + m. Does 10 divide r?
False
Suppose 5*v = 5, -o + 31 = v - 24. Is 27 a factor of o?
True
Let w be (-2)/2 + 5/5. Let g be (w - -1) + 26/2. Suppose 2*f = 4*d - 96, 0 = -d + f - 3*f + g. Does 11 divide d?
True
Let z be -1*7 + (2 - 3). Let v be 1*(-2 - (13 + -2)). Let w = z - v. Is w a multiple of 4?
False
Does 4 divide (4*(-4)/(-24))/(2/150)?
False
Let b = -4 - 73. Let t = -11 - b. Suppose -2*i = i - t. Is i a multiple of 11?
True
Suppose 2*b - 4 + 1 = 3*w, 3*b + 2*w - 11 = 0. Suppose -2*a - b*a + 15 = 0. Suppose a*j - 8 = j + 4*r, 3*j = r + 37. Does 7 divide j?
True
Let n(t) be the third derivative of -t**6/120 - t**5/15 + t**4/24 - 5*t**3/6 + 3*t**2. Suppose 2*f + m = -2 - 5, -3*f = 3*m + 6. Does 7 divide n(f)?
False
Suppose 5*i = -2*r + 45, -2*i = -5*r + 28 + 70. Suppose -5*q = r, 4*q = 5*d + 9*q - 45. Is d a multiple of 12?
False
Suppose -3*t - 16 = -5*t. Suppose 0 = -c + 2*y + t, -2*c - y - 8 + 34 = 0. Is c a multiple of 6?
True
Let i be (2 - -2)*(-9)/12. Is (-16)/((-13)/4 - i) a multiple of 16?
True
Is 9/21 + (-74)/(-7) a multiple of 3?
False
Let w(f) = -35*f**2 - 3*f + 5. Let y(b) = 18*b**2 + 2*b - 3. Let t(h) = 3*w(h) + 5*y(h). Let u be t(1). Is 9 a factor of (-6)/(-21) - 122/u?
True
Let b be 8/(-1)*9/(-6). Suppose 7 + 13 = -5*c, i - 4*c - b = 0. Is 7 a factor of (-47)/i - 2/(-8)?
False
Suppose 0*y - 4 = y, 4*n - 16 = y. Let b = 78 - 30. Suppose -4*m + 48 = -2*o, -m + n*m + 5*o = b. Is 7 a factor of m?
True
Let i(x) = 10*x + 20. Is 3 a factor of i(5)?
False
Let j(g) = 3*g**3 - 6*g**2 - 4*g + 4. Let s(n) = -4*n**3 + 6*n**2 + 5*n - 5. Let q(y) = -3*j(y) - 2*s(y). Is q(6) a multiple of 5?
True
Let j(z) = -z + 3. Does 8 divide j(-5)?
True
Suppose 0 = -0*g - 3*g - 6, 4*g + 28 = 2*s. Let x = s + -6. Is x a multiple of 2?
True
Suppose 3*b - 11 - 1 = 0. Suppose 6 = b*n - 38. Is n a multiple of 11?
True
Suppose b + 4*a - 65 = 0, -3*b - 5*a + 174 = -0*b. Does 7 divide b?
False
Suppose -5*c = 5*n - 25, -n + 2*n - 13 = -5*c. Suppose 4*o - n = 13. Suppose -o*f + 2*f = -24. Does 12 divide f?
True
Let p(d) = 12*d - 5. Let f be p(-5). Does 11 divide 3 + -6 + 4 - f?
True
Let a = -43 + 79. Let d be 100/a - (-2)/9. Suppose -24 + 0 = -d*o. Is o a multiple of 3?
False
Suppose x + 25 = 93. Is 8 a factor of x?
False
Suppose -5*k + 1 = y - 12, 4*k = -2*y + 8. Suppose -v - 4 = 4*x, 0*v + 2*x = -k*v - 42. Let m = -9 - v. Is 2 a factor of m?
False
Let b be 0*(1 + -2)/2. Suppose -5*z + 8*z - 60 = b. Is 7 a factor of z?
False
Suppose -24*u - 70 = -31*u. Is 5 a factor of u?
True
Let w(a) = -26*a + 1. Let y be w(-1). Does 15 divide y/3*5/3?
True
Let v(q) = -6*q - 3. Is 3 a factor of v(-5)?
True
Let p(b) = -50*b - 2. Let m be p(-2). Let u = -60 + m. Is 19 a factor of u?
True
Let o = -62 - -88. Suppose -o = -q - 5*x, 0 = q + q + x - 88. Is q a multiple of 12?
False
Suppose 21 = o + 4*u, o - 6*o + 2*u - 5 = 0. Suppose -3 - 5 = -4*n. Is 13 a factor of 42 - 4 - (n + o)?
False
Let p(g) = -g**3 - 2*g**2 - g + 3*g**3 + 2 - g**3. Let q be p(2). Let n = q + 13. Is n a multiple of 13?
True
Let o(y) = -y**3 + 11*y**2 - 7*y + 15. Let q be o(10). Let b = q + -20. Does 14 divide b?
False
Let x(j) = -7*j - 11. Is x(-14) a multiple of 29?
True
Suppose 4*y + 2*x - 130 = -0*y, 5*y - 180 = x. Suppose -21 = -0*w + w. Let i = w + y. Is 14 a factor of i?
True
Let a(z) = -z**3 + 8*z**2 + z - 7. Let b be a(8). Does 8 divide -1 - b - (-50)/2?
False
Is 8 a factor of 16/112 - (-2)/(14/349)?
False
Is (-243 - -3)*2/(-4) a multiple of 45?
False
Suppose 0*u = -3*u + 567. Let g = -114 + u. Suppose 4*o + 5*n - g = 0, 0 = -o + 3*o - 5*n - 15. Is o a multiple of 15?
True
Let d(p) = -p**3 + 9*p**2 - 6*p + 5. Is 7 a factor of d(8)?
True
Let s(b) = b + 8. Let m(h) = -1. Suppose 3*t = -0 + 3. Let v(p) = t*s(p) + m(p). Does 7 divide v(0)?
True
Suppose 2*b = 7 + 7. Is (6/b)/(5/35) a multiple of 6?
True
Let r(u) = u**3 - 2*u**2 - 2*u + 2. Suppose 0 = 5*d - 16 - 4. Is r(d) a multiple of 13?
True
Suppose 0*h - 5*h - 132 = -2*m, -175 = -3*m - 4*h. Suppose m - 21 = 2*n. Is n a multiple of 12?
False
Suppose -3*u + 5*h - 9 = -0*u, -5*u = -4*h + 2. Let p be (u/(-2) - -1)/(-1). Suppose 0 = -p*t - t + 5. Is t a multiple of 5?
True
Let o = 8 + -3. Let f = 13 - o. Is f a multiple of 7?
False
Let d(w) = w**3 - 10*w**2 + 10*w + 3. Suppose 9 = 2*a - 9. Is 12 a factor of d(a)?
True
Suppose 0 = g - 6*g + 295. Is g a multiple of 18?
False
Suppose -3*l = -0*l - 78. Does 13 divide l?
True
Suppose c + 1 - 3 = 0. Suppose -3*f - c*h - 156 = 0, f - 12 = -5*h - 64. Is 3 a factor of f/(-14) - 2/(-7)?
False
Suppose -4*h - 98 = 14. Let i = h - -49. Is i a multiple of 21?
True
Suppose -5*h + 38 = 2*f, -h = -3*f - 2*f + 149. Is 7 a factor of f?
False
Let w = 7 + -3. Suppose 42 = w*d - 26. Suppose -j + 4*p + 11 = 3*p, j + p = d. Is j a multiple of 7?
True
Let w be 0*1/(-2)*1. Let n(r) = r + 7. Let g be n(-3). Suppose w = t - 4*v - 30, -25 = -g*t - 2*v - v. Is 5 a factor of t?
True
Suppose 4*h - 3*k + 6*k = 27, 4*h - 3*k = 45. Suppose -13*n + h*n = -64. Is 16 a factor of n?
True
Let h be (-6)/(-9) - 48/18. Is 7 a factor of (13/(-4) - h)*-28?
True
Let s(m) = m**2 - 10*m + 27. Is 3 a factor of s(6)?
True
Suppose w + 195 = -2*w. Let h be (-123)/3 - 2/1. Let z = h - w. Does 13 divide z?
False
Suppose -2*u = -h + 198, 5*u - 3 = 4*u. Is 11 a factor of h?
False
Suppose -4*d + 16 = -0*d. Suppose 32 = -d*o + 8*o. Is o a multiple of 7?
False
Let m = 42 + -30. Is 9 a factor of m?
False
Let a(j) = 2*j + 9. Let v(t) = -3*t - 17. Let w(u) = -7*a(u) - 4*v(u). Is w(-4) a multiple of 13?
True
Suppose 3*p = 2*p + 10. Suppose -4*h + 10 + 4 = -r, 0 = 5*r + p. Is h a multiple of 2?
False
Let b = 13 - -4. Is b a multiple of 17?
True
Let b = 35 + -17. Does 18 divide b/63 - (-278)/7?
Fa