Suppose n + 0*n - 23 = b. Does 8 divide n - 1/(3 + -4)?
True
Suppose 0 = z - 3*q - 10, -3*z + q = -4*q - 38. Let m = -7 + z. Is 9 a factor of m?
True
Does 6 divide 3/2*108/6?
False
Let d(x) be the third derivative of x**4/24 + x**3/2 + x**2. Let l be d(0). Does 14 divide 0 + l*4 + 2?
True
Suppose 0 = 4*f + 2*g - 46, 3*f - 4*g = f - 2. Suppose -5*d = 4*q - 204, -q + f*d + 76 = 4*d. Suppose 3*h + h = q. Does 14 divide h?
True
Suppose -1212 = 5*r + 4*q, -4*r + 3*r = -4*q + 228. Let p be 1/(2/r) + 1. Let v = -69 - p. Is 25 a factor of v?
True
Suppose 0 = 5*b - 2*n + 5, 0*b + 8 = 3*b + n. Suppose 5*q = b + 24. Suppose -z - 2*d = -0*d, q*z + 5*d = 20. Does 8 divide z?
True
Let b(p) = p**3 - 4*p**2 - 5*p + 5. Let z be b(5). Suppose 4*l = z*l - 4. Does 3 divide l?
False
Suppose -4*b + 56 = -3*t, -t - 2*b + 5*b - 22 = 0. Let s = t + 23. Let g = 15 - s. Does 8 divide g?
True
Let u(z) = 2*z**3 - 3*z**2 + 5*z - 2. Does 20 divide u(3)?
True
Is 2/7 + (-21538)/(-77) a multiple of 47?
False
Is 26 a factor of 3108/30 - 4/(-10)?
True
Suppose -3*x + 0 = -9. Suppose -20 = -5*d, -5*s + 7*d = x*d - 194. Is 14 a factor of s?
True
Suppose 0 = x + x - 5*h - 6, 5*x - 5*h = 15. Does 3 divide x?
True
Suppose -2*v - g + 100 = -0*v, -3*v + 4*g + 150 = 0. Does 25 divide v?
True
Let k(t) = 19*t**2 + 11*t + 30. Is 42 a factor of k(-3)?
True
Let c = 8 + -14. Let y = -4 - -8. Is 12 a factor of y/c + 296/12?
True
Let k(i) be the first derivative of i**7/840 + i**6/72 + i**5/60 + 2*i**3/3 + 1. Let j(u) be the third derivative of k(u). Is 5 a factor of j(-2)?
False
Suppose 2*f = 5*f - 204. Is 12 a factor of f?
False
Suppose 0 = 2*n - 5*n. Let o be 80 - (n/3 - 3). Let w = o + -31. Is 26 a factor of w?
True
Suppose -80 = 4*f + f. Let h = 24 + f. Is h a multiple of 8?
True
Let v(p) = -7*p + 2. Let t be v(5). Let q = 75 + t. Let r = -25 + q. Does 17 divide r?
True
Let t be (-38)/(-8) - 3/(-12). Suppose 5*b + 3*a - 21 = 2*b, b - a = -1. Let d = t - b. Is d a multiple of 2?
True
Suppose -5*m - 5*i + 376 = -8*m, 3*m - 2*i + 361 = 0. Let b = -77 - m. Is b a multiple of 20?
True
Let j(q) = q**3 - 2*q**2 + 2*q + 52. Is 13 a factor of j(0)?
True
Let m be 2/(-9) - (-8)/36. Suppose m = -4*w + 4*i + 360, -7*w + 4*w = i - 286. Does 27 divide w?
False
Suppose -p + 6*p = 85. Let t(j) = 5*j**3 - 2*j**2 - 3*j + 3. Let x be t(2). Let z = x - p. Is z a multiple of 12?
True
Suppose -2*w - 11 + 105 = 0. Suppose -h - p + 1 = -4, -5*p = -4*h + w. Is 8 a factor of h?
True
Let a(l) = 2*l - 6. Let j be a(6). Let f = -4 + j. Is f a multiple of 2?
True
Let c = 71 - 27. Is 11 a factor of c?
True
Let t(r) = -r. Let m be t(0). Suppose -4*o - 8 = m, 2*q - o - 22 = -2*o. Is 2 a factor of 4/q - (-16)/6?
False
Suppose j - 6 = -2*j. Suppose 3*f - j*f = 22. Is f a multiple of 11?
True
Suppose w + 4*o = -w + 2, -10 = -3*w + o. Suppose 5*s + 17 = c - 0*s, w*s = -5*c + 57. Let h = 32 - c. Is h a multiple of 16?
False
Let j(x) = x**3 - x**2 + x + 43. Let b be j(0). Suppose b + 377 = 3*h. Suppose 2*i - h = -2*i. Is i a multiple of 13?
False
Suppose 0 = 2*h - 14 - 40. Let q = 41 - h. Does 4 divide q?
False
Let r be (-1 - (-3 - 0)) + 1. Suppose 3*b - m - 59 = -r*m, 105 = 5*b + 5*m. Is 8 a factor of b?
False
Let b(w) = -13*w**3 - 2*w**2 + 1. Let i be b(-1). Suppose -2*o = -i - 78. Does 15 divide o?
True
Suppose 5*t = -24 - 1, 49 = 4*w - t. Is w a multiple of 4?
False
Let p(d) = -4*d - 6. Let g be p(-3). Let n(t) = 2*t**2 + 2*t - 3. Let r be n(-3). Let x = r - g. Does 3 divide x?
True
Suppose 5*q - 4*a - 17 = 33, 5*a - 39 = -q. Does 2 divide q?
True
Is 14/35 - (-328)/5 a multiple of 33?
True
Let c(b) = -6*b - 2. Is c(-4) a multiple of 12?
False
Let b(h) = 2*h - 2. Suppose 3*p - 2 = 2*p - l, -5*p + 18 = 3*l. Is b(p) a multiple of 8?
False
Suppose 2*s - 4 = 6. Suppose -s*i + 51 = -29. Suppose k + 0*k + 2*l - i = 0, 3*k - 44 = -2*l. Does 5 divide k?
False
Suppose -2*z - 168 = -2*l + 2*z, -75 = -l + 5*z. Is l a multiple of 5?
True
Suppose 5*d - z = -21, 0 = 7*d - 2*d + 4*z + 16. Let x = 9 + d. Is 4 a factor of x?
False
Suppose -2*i + 104 = 4*k, 0 = -3*i + k + k + 156. Is 13 a factor of i?
True
Let i = 0 - -5. Let y(j) = 3*j - 5. Is y(i) a multiple of 10?
True
Let c(j) = -2*j - 3. Let b be c(-3). Is 15 a factor of 18/(-4)*(-16)/b?
False
Is 13 a factor of ((-6)/8)/(5/(-220))?
False
Suppose 2*i = 2*f + 14, 0 = -3*i + f - 3*f + 21. Suppose -k = -11 + i. Suppose -k*a + 44 = 3*j, -16 = -j - a - a. Is j a multiple of 9?
False
Let i(b) = -3*b**3 + 2*b + 1. Let y be i(-1). Does 16 divide 171/6 + (-1)/y?
False
Suppose 4*a - 2*k - 44 = 0, -4*k = 5*a + 2 - 44. Suppose -3*z = 15, -d = 3*z + a - 43. Does 27 divide d?
False
Suppose -8*m = -3*m - 1705. Let w = m - 198. Suppose 3*z = z + 2, 5*h = -3*z + w. Is 14 a factor of h?
True
Is 54 a factor of 270 - 1/3*0?
True
Let d(h) = 16*h. Let v(f) = -f**2 + 1. Let c be v(0). Let o = 2 - c. Does 16 divide d(o)?
True
Let b = -91 - -167. Is 38 a factor of b?
True
Let d be 1/(135/67 - 2). Suppose f - d = -3*p - 3*f, 5*p - 140 = -f. Does 10 divide p?
False
Let v(z) = z**2 - 5*z + 4. Let k be v(3). Let g be -1 - k - (3 - 6). Suppose y = 9 + g. Is y a multiple of 13?
True
Let q(o) = -8*o + 200. Is q(0) a multiple of 13?
False
Suppose -4*t = -2*z + 26, 4*z - 2*t = 2*t + 64. Let w = z + -4. Is 7 a factor of w?
False
Let u(g) = g**3 + 332. Let w be u(0). Suppose -4*x = s - 352, 3*s = 4*x - s - w. Suppose -x - 25 = -4*v. Is 14 a factor of v?
True
Let d = 3 - 0. Is 3/d + (49 - 2) a multiple of 18?
False
Suppose -126 = -4*p - 2*g, 2*g = -0*p + 2*p - 78. Does 4 divide p?
False
Suppose a = 2*a - g, 5*a = -4*g - 18. Let s = -2 - a. Let h = s - -7. Is 7 a factor of h?
True
Let b(o) = o**2 - o - 2. Suppose -3*t - 2 = 4. Let d be b(t). Suppose -4*g = d*k - 64, 4*g = k - g - 16. Does 8 divide k?
True
Let s(d) = -3*d**2 - 10*d + 3. Let w(c) = -4*c**2 - 11*c + 2. Let g(r) = 5*s(r) - 4*w(r). Let u be g(6). Suppose -31 = -3*l - u. Is 3 a factor of l?
False
Suppose 0 = 4*n - m - 116, -2*m - 53 = 5*n - 198. Is 2 a factor of n?
False
Let t = 46 + -33. Let r = 0 - 1. Let m = t + r. Does 8 divide m?
False
Suppose 9 = 3*g + 3. Let v(c) = c + 19*c**2 + 2 - 1 + c**g. Is 9 a factor of v(-1)?
False
Suppose -9*f + 4*f + 65 = 0. Is 5 a factor of f?
False
Let j = -1 - -1. Is 7 a factor of (j + 0 - -1) + 13?
True
Let x(c) = -6*c + 0*c**3 - 3*c**3 - 6*c**2 + 2*c**3. Let w be x(-5). Let t = w + 4. Is t a multiple of 8?
False
Let s(u) = -6*u**2 + u**3 - 14 + 6*u + 5 + 0*u. Is s(6) a multiple of 20?
False
Suppose -t - q = -5*t + 602, -5*q - 760 = -5*t. Does 15 divide t?
True
Let g(d) = 3*d - 3. Let f(y) = 2*y - 6. Let h be f(4). Let m be g(h). Suppose -79 = -m*a + 2*p, a - p - 21 = p. Is a a multiple of 11?
False
Suppose 4*f - 5*h - 40 = 0, 3*f - 2*f + h = 1. Let k be 3/(-6) - f/(-2). Let r = k - -18. Is 10 a factor of r?
True
Let x(g) = 2*g**3 - 2*g - 4 + 1 - g**2 - 2*g**2. Does 18 divide x(3)?
True
Let o = 6 - 4. Let b(u) = -7*u + 1 - o + 3 - 5. Is 16 a factor of b(-5)?
True
Let r = 7 - 10. Is 9 a factor of (r - 0) + 5 + 12?
False
Suppose 0 = 4*h - 8 - 40. Does 4 divide h?
True
Suppose -5*q + 2*p - 15 = 0, 2*q + 22 = 4*p - 0*p. Let d(c) = -4*c + 1. Let a be d(q). Suppose -4*r - a = -65. Is r a multiple of 15?
True
Let u be 0/1*(-5)/(-5). Suppose u = 4*v + 4*p - 4 - 4, 0 = -5*v + 5*p + 10. Let y = v - -4. Is 6 a factor of y?
True
Suppose 5*v - 4*n = v + 272, 3*v - 220 = -5*n. Is 35 a factor of v?
True
Let d = -2 - -5. Suppose -d*u = -u - 6. Suppose 0 = u*s - f - 0*f - 83, 2*f + 26 = s. Is s a multiple of 14?
True
Let v(f) = -f**3 - 7*f**2 - 6*f + 5. Let q be v(-6). Suppose -q*b + 145 = -2*l, 4*l = 2*b - b - 29. Does 11 divide b?
False
Suppose 5*m - 2*x = x + 338, -m + 63 = 4*x. Does 15 divide m?
False
Suppose -3*n + 3*v - 21 = 0, 0 = -3*n - 0*v - v - 41. Let u be 15/(-12) + 2/8. Let p = u - n. Is p a multiple of 5?
False
Let f = 3 + -3. Suppose m + 2*a - 2 = f, -m - 5*a + 2 = -0*m. Is ((-36)/(-8))/(m/4) a multiple of 9?
True
Is 21 a factor of (2*1)/((-4)/(-84))?
True
Suppose 0*k + 10 = -5*k, 0 = 3*o - 2*k - 40. Is 5 a factor of o?
False
Let t be 2*(-2 - 2) - -3. Let j(p) be the first derivative of p**3/3 - 5*p**2/2 - 7*p + 1. Is j(t) a multiple of 22?
False
Let f(x) = 2*x**2 + x + 2. Let u be ((-1)/3)/(1/(-6)). Does 12 divide f(u)?
True
S