+ t = 5*w. Is w a multiple of 12?
False
Let h = -4 - 6. Let d = -2 - h. Is d a multiple of 4?
True
Suppose -4*m + 2*j - 32 = 4*j, 0 = -3*m + 5*j + 2. Let f(q) be the second derivative of q**5/20 + 2*q**4/3 + 4*q**3/3 + q**2 + 3*q. Is 13 a factor of f(m)?
True
Suppose 7 + 29 = -4*q. Let j = q + 16. Does 4 divide j?
False
Suppose -4*k + 24 = -164. Is 25 a factor of (-3 - 0) + k + 6?
True
Let m be (-4)/(-18) + 2/(-9). Let y be (9/(-4))/((-2)/8). Suppose m = -4*o - y + 73. Does 8 divide o?
True
Let f(g) = -55*g**3 - g**2 + g + 1. Suppose 4*b + b + 5 = 0. Is f(b) a multiple of 28?
False
Let n(x) = -x**3 - 5*x**2 + 6*x + 2. Let w be n(-6). Is 14 a factor of (-62)/(-2) - (5 - w)?
True
Is 13 a factor of 704/9 + (-4)/18?
True
Is 30*(18/12 - 1) a multiple of 4?
False
Suppose k - 3*g = 43, 3*k - 155 = -7*g + 3*g. Suppose k = 2*j - 15. Does 24 divide j?
False
Let d(g) be the third derivative of g**5/60 + 11*g**4/24 + 5*g**3/6 + 4*g**2. Let c be d(-8). Is 19 a factor of (-3 + 1)*c/2?
True
Suppose -2*i + 7*i = -3*d + 424, 0 = -3*i - 12. Suppose v = -v + d. Suppose 146 = 5*n - v. Is 19 a factor of n?
False
Suppose -5*a + 2*a = -4*y - 95, 153 = 5*a - 4*y. Let c = -21 + a. Does 6 divide (-165)/(-12) + 2/c?
False
Suppose 0 = 4*g + 3*v + v - 768, 5*g = -3*v + 954. Is g a multiple of 21?
True
Suppose -18 = x + 2*x. Let u(q) = q**2 + 9*q + 8. Let o be u(x). Is 20 a factor of ((-4)/o)/((-4)/(-400))?
True
Suppose 0 = -2*z - z - c + 52, 5*z = 3*c + 82. Is 2 a factor of z?
False
Let x be ((-3)/6)/((-2)/(-8)). Is ((-72)/(-30))/(x/(-5)) a multiple of 6?
True
Is 7 a factor of 15/20 + 138/8 - 1?
False
Let u(v) = -v - 4. Let m(q) = q**3 + 7*q**2 + 8*q + 4. Let y be m(-6). Let h be u(y). Suppose -h*g + 0*p = -2*p - 110, 0 = -5*p + 25. Does 15 divide g?
True
Let z(r) = 8*r**2 + 2*r - 4. Does 29 divide z(-4)?
True
Let y(n) = n + 3. Let h = 1 - 1. Let r be y(h). Suppose r*t - x - 65 = -t, 5*t + 3*x = 60. Is 15 a factor of t?
True
Does 14 divide (1 - -67) + 4 + -2?
True
Let i(w) = w**2 + w - 5. Let t be i(-5). Suppose -3*v - 7 = -0*v - 2*m, 0 = 5*v - 4*m + t. Is 2 - (v*-2 - 15) a multiple of 10?
False
Suppose 0 = 4*n - 77 + 29. Is (-124)/(-24) - 2/n even?
False
Suppose -a + 3*a = -m + 45, 3*a + m - 69 = 0. Suppose a = b + b. Does 6 divide b?
True
Suppose 4*g - 4*q + 2*q - 194 = 0, 2*g + q = 95. Is g a multiple of 16?
True
Let p(r) = 9*r + 5. Let q be p(7). Suppose -q = -4*w + 56. Suppose 5*v = 4*v + l + 23, 0 = -v + 3*l + w. Does 13 divide v?
False
Suppose 6*t = 7*t. Let l be (t/(4 - 1))/(-1). Suppose 16 = -5*p + 1, -3*k - 2*p + 132 = l. Does 14 divide k?
False
Let a be 2 - ((-2 - -1) + 0). Let m(f) be the second derivative of 2*f**3/3 + 3*f**2/2 + 4*f. Is m(a) a multiple of 7?
False
Let q = -1 - -5. Let p be (0 - 5)/(q/(-164)). Suppose p = -a + 6*a. Is a a multiple of 15?
False
Let k(g) = g**2 - 3*g + 2. Let u be k(3). Suppose 0*y - u*y + 44 = 0. Is 16 a factor of y?
False
Let i = -35 + -1. Is 2 a factor of (-3)/2*i/27?
True
Suppose p - 449 = -4*h, h - p = -3*h + 439. Does 26 divide h?
False
Suppose -5*q + 6*q - 2 = 0. Suppose 0 = -4*j + 3*j + 2*b + 6, -4*j - 4*b + 12 = 0. Suppose -7*t + q*t = -s + 8, j*s + t = 11. Does 3 divide s?
True
Suppose r + 140 = 5*r + 4*d, -5*d = -5. Let m = r - 21. Is m a multiple of 8?
False
Suppose 2*x + 128 = 3*a, 3*x = -3*a - 2*x + 121. Does 10 divide a?
False
Let y(p) = 2*p**2 + 6*p - 11. Does 9 divide y(5)?
False
Let v(p) be the first derivative of -p**4/4 + 7*p**3/3 + 6*p**2 - 6*p - 1. Let w be (3 - -1)/(11/22). Does 14 divide v(w)?
False
Suppose -5*v + 0 + 5 = 0. Let s be 72 - ((1 - 3) + v). Suppose 3*l = 5*r - r + s, 2*r = 2*l - 48. Does 20 divide l?
False
Suppose 3*n - 115 = 3*i + 11, 0 = n - 3*i - 52. Is 8 a factor of n?
False
Suppose p - 56 - 115 = -3*h, 0 = p - h - 159. Suppose -v = 2*a - 6*v - p, -2 = -v. Suppose -a = -2*o - 6. Does 16 divide o?
False
Let t(o) = -2*o + 1. Let a(h) = h. Let r(d) = 3*a(d) + t(d). Let y be r(-1). Suppose y = c - 3*c + 72. Is 10 a factor of c?
False
Let o be ((-6)/(-10))/((-2)/10). Is 10 a factor of 2*(o - (-36)/4)?
False
Let q(t) be the third derivative of t**6/120 - 7*t**5/60 + t**4/4 - t**3/2 - 3*t**2. Let x be q(6). Is 6 a factor of x + 1 + 19 + -1?
False
Suppose 0 = -3*d - s + 15, -2*s = d - 13 + 3. Suppose -3*i - 126 = -3*w, -d*w + 151 = -3*i - 14. Is w a multiple of 13?
True
Let m = 173 - 243. Let r = 110 + m. Suppose -d + 10 = -3*o, -6*d + 3*d - o = -r. Is d a multiple of 9?
False
Let j(g) = 2*g**3 + g**2 - 3*g - 1. Let x be j(-2). Let f = 3 + x. Is 5 a factor of (f - -5)/((-1)/(-15))?
True
Let o = -71 - -138. Suppose 2*h = 4*u + h + o, -u - 43 = 5*h. Let a = u + 31. Is a a multiple of 4?
False
Suppose 24 + 0 = k. Let s = 35 - k. Does 8 divide s?
False
Suppose 2*h + 10 = 2*s, -2*h = 2*s + 2*h - 40. Let u = s - 3. Suppose -12 - u = -m. Does 13 divide m?
False
Suppose j = 1 - 2, -4*i + 36 = 4*j. Is 4 a factor of i?
False
Let k(i) = -i - 2. Let z = -4 + -7. Is 7 a factor of k(z)?
False
Suppose 3*x - c - 5 = x, 3*c - 9 = 0. Suppose -3*l - x*i = 3, 0 = 3*i + 9 - 0. Suppose -d + l*d = 14. Is 4 a factor of d?
False
Let c(t) = -t**3 - 7*t**2 + 7*t + 11. Let u(b) = 3*b + 4. Let y be u(-4). Is 19 a factor of c(y)?
True
Let m(w) = -5*w**3 + 4*w**2 + 5*w + 5. Is m(-2) a multiple of 9?
False
Let a = 59 - 34. Suppose -a = 4*o - 185. Is o a multiple of 16?
False
Let t be 3*(-1)/(2 + -3). Let l(o) = o**3 - o. Does 11 divide l(t)?
False
Suppose 0*h = 5*h - 10. Suppose -h*m = k + 13, 2*k + 4 = 4*m + 2. Let u(n) = -n**3 - 6*n**2 + 6*n. Does 4 divide u(k)?
False
Let k(l) = -28*l - 5. Is 17 a factor of k(-2)?
True
Let j(q) = -q. Suppose -4*m - 2 = 3*w, 4*w + 4 = m - 24. Is 6 a factor of j(w)?
True
Suppose 0 = 5*f + 2*r - 232, -2*f + 5*r + 116 = -0*r. Does 16 divide f?
True
Let z(f) = 3*f**2 + f - 1. Suppose 3*g - w = -23, 3*w + 4 + 11 = -5*g. Let h be z(g). Suppose -33 = 2*p - h. Does 17 divide p?
True
Suppose 0 = -2*q - 2*q + 272. Is 9 a factor of q?
False
Let l = 150 - 86. Suppose -5*p + 78 + 95 = -w, 2*p = 3*w + l. Does 10 divide p?
False
Let a(g) = g + 1. Does 5 divide a(12)?
False
Suppose v - 31 + 8 = 0. Does 23 divide v?
True
Suppose -x + 2 + 2 = 0. Let m = 125 - 11. Suppose -m = -x*z + z. Is 11 a factor of z?
False
Let f = -20 - -14. Let a = f - -8. Suppose a*o - 4*o = 3*l - 42, -4*o = 0. Does 9 divide l?
False
Let j = 62 + 261. Is j a multiple of 19?
True
Let c(v) = -7*v + 3 - v**2 + 5 + 0*v**2. Let u be c(-8). Suppose -5*k + 3*k + 52 = u. Is k a multiple of 13?
True
Suppose -5*x + 12 = 4*k, k = 4*x - 2*k - 22. Suppose x*h = -2 - 14. Is 5 a factor of 26/3 + h/6?
False
Suppose 14*z + 92 = 2*g + 10*z, 4*g + 4*z - 232 = 0. Does 15 divide g?
False
Suppose 4*i - 3 = 5. Suppose -3*w = -w - 26. Suppose -4*x + i*s + s = -w, 3*x - 4*s - 8 = 0. Is x a multiple of 3?
False
Suppose k + 187 = 3*a - k, a - 2*k - 69 = 0. Let x = a - 39. Is 14 a factor of x?
False
Suppose -6*i = -2*i. Suppose -c + i*c + 36 = 0. Does 12 divide c?
True
Let h = -32 + 72. Is 8 a factor of h?
True
Let q(j) = -j**2 + 11*j + 14. Let w be q(11). Let m = 6 + -9. Let r = m + w. Is r a multiple of 3?
False
Let n(l) = -2*l + 9. Is 14 a factor of n(-10)?
False
Let w = -19 - -109. Is w a multiple of 18?
True
Let z(l) = 365*l**2 - 1. Let t be z(1). Suppose 0 = -5*r + t - 984. Let n = -87 - r. Is 13 a factor of n?
False
Suppose -d + 2*d - 13 = 0. Suppose -2*q - 110 = -5*z - 7*q, -z + 2*q + d = 0. Is z a multiple of 19?
True
Suppose -2*p = 3 + 3. Let s = 7 - p. Suppose 4*x + 4*c - 36 = c, 5*c + s = 5*x. Does 6 divide x?
True
Let b = 80 - -5. Suppose -2*t + 5*z = -b, 4*t + 3*z + 31 = 266. Is t a multiple of 25?
False
Let g(c) = -4*c + 3. Let q = 8 + -12. Is g(q) a multiple of 19?
True
Let v be 1*-1 + (-6 - -4). Let z(i) = -i - 2. Let o be z(v). Suppose -q - 4*d = -o, 2*q - 6*q - 4*d = -40. Is q a multiple of 13?
True
Suppose -z = 2, 2*c - 6*z + 10 = -2*z. Let f = 20 - c. Is 27 a factor of f?
False
Let i(w) = -5*w - 4. Let m(b) = b - 4. Let a be m(7). Let p be i(a). Let g = 59 + p. Is g a multiple of 20?
True
Let w be (-3 - -1)/(1/(-30)). Suppose 0*z - 2*z = -w. Is 10 a factor of z?
True
Suppose 33 - 173 = 2*z. Let s = -30 - z. Is 10 a factor of s?
True
Suppose 0*m + 2*m - 4*w = 36, -m - 5*w + 4 = 0. Is 14 a factor of m?
True
Suppose 3*l = 2*l + 30. Is 6 a f