 Is 12 a factor of g?
False
Suppose -5*t = -3*k - 927, t + 5*k - 66 - 125 = 0. Suppose 0 = -3*s - 36 + t. Is 22 a factor of s?
False
Let m(l) = -3 + 0*l - 3*l + 2 + 0*l**2 + l**2. Is m(4) even?
False
Suppose 2*g + g = 2*d - 198, 2*d + 6 = 0. Let s = -29 - g. Does 13 divide s?
True
Let c(a) = 2*a - 2. Let g be c(2). Let p = -2 + g. Suppose p = z - 4*z + 36. Is z a multiple of 6?
True
Let m = -3 + 5. Suppose -3*p + 32 = m*s + 3*s, 3*p - 24 = -3*s. Suppose -6*d + s*d + 48 = -a, 3*d + a = 67. Is d a multiple of 7?
False
Let d = 22 - -58. Does 20 divide d?
True
Let d(a) = -a**3 - 5*a**2 - 4*a - 5. Let i be d(-4). Let k(z) = 5 + z**2 + z + 1 - z. Is 25 a factor of k(i)?
False
Let v = -3 + 3. Let i(b) be the first derivative of b**4/4 + b**3/3 + 15*b - 9. Is i(v) a multiple of 5?
True
Suppose -13*g + 205 = -8*g. Is 28 a factor of g?
False
Suppose -61 = -4*m - 5. Is 5 a factor of m?
False
Suppose -2*m + 15 = -11. Let t = m - 9. Does 3 divide t?
False
Let m = 11 - 2. Let n = m + 0. Suppose g - n = 11. Is g a multiple of 7?
False
Suppose 0 = 4*n - 3*v - 23, -4*n + 14 = -2*v - 8. Let u be 1 + (3 - -3*4). Suppose n*a - 4*t = -0*a + 36, -4*t - u = 0. Is a a multiple of 4?
True
Let m(c) = 10*c**2 - 25*c. Let d(i) = 3*i**2 - 8*i. Let v(a) = -7*d(a) + 2*m(a). Let g be v(5). Is 8 a factor of 20*(16/g - 2)?
True
Suppose -5*u + 2*a = -0*u - 13, -5*a = u - 8. Suppose -u*b + b = -4. Is 2 + (1 - b - -25) a multiple of 11?
False
Let r(a) = -4*a**2 + 5*a - 4. Let p be r(7). Let k = p + 91. Let v = -43 - k. Is 13 a factor of v?
False
Let s(i) = i**3 - 2*i - 24. Is 6 a factor of s(6)?
True
Suppose -16 + 0 = -4*u. Does 16 divide 63/u + 1/4?
True
Let v = -5 - -8. Let a(l) = 2*l**2 - 4. Let g(b) = -2*b**2 + 4. Let m(j) = 3*a(j) + 2*g(j). Is m(v) a multiple of 7?
True
Let q = -271 + 388. Is 12 a factor of q?
False
Suppose 3*a = a - 6. Suppose -3*f - 20 = -7*f. Let s = a + f. Is 2 a factor of s?
True
Let u = -56 - -88. Let w = u - -6. Suppose -6 = 4*r - w. Is r a multiple of 8?
True
Suppose -3*v = 4*b - 89, 3*b - 43 - 5 = 4*v. Suppose b = -s + 5*s. Is s even?
False
Suppose -70 = 5*g + 3*i, 4*g = -3*i - 35 - 21. Let k be ((-2)/((-6)/5))/(3/(-63)). Does 13 divide k/g*(-116)/(-10)?
False
Let s(q) = -q - 3. Let g be s(-2). Let a(i) be the first derivative of -27*i**4/2 + i - 7. Does 21 divide a(g)?
False
Let d = 10 + -7. Let w = 0 + d. Suppose -5*h - w*i + 2*i = -85, 3*h - 2*i - 51 = 0. Is 6 a factor of h?
False
Let p(l) = -l**2 + 8*l + 2. Let b be p(8). Suppose 74 = b*w - 46. Does 23 divide w?
False
Suppose 0 = 5*y - 0*b + 2*b - 395, 3*y - 2*b = 253. Is y a multiple of 18?
False
Let s = 219 - 141. Is 24 a factor of s?
False
Suppose 266 = -5*q + 12*q. Does 19 divide q?
True
Let g(n) be the first derivative of -n**3/3 + n**2 + 15*n + 8. Does 5 divide g(0)?
True
Let m(a) = -a**2 + 10*a + 13. Is m(9) a multiple of 22?
True
Does 20 divide 1/2 + ((-10066)/(-4))/7?
True
Let y be (1 - 1) + (7 - 4). Suppose 0 = -t + y*t. Suppose -o - m - 5 = -4*m, t = 4*o - 3*m - 25. Is 4 a factor of o?
False
Let v = -83 + 239. Suppose 2*c - v = -c. Is c a multiple of 13?
True
Suppose 0 = -4*g + 3 + 1. Let q = 2 + g. Does 3 divide q?
True
Let t(c) = 3*c. Let d be t(4). Is (d/7)/((-2)/(-42)) a multiple of 18?
True
Suppose -5*t - w = -11, 2*t + 3*t - 5*w = 5. Suppose 2*q - t = q. Suppose 0 = -2*y + 3*z - 14 + 57, -q*y - z + 39 = 0. Is y a multiple of 13?
False
Suppose 2 = -2*h, -160 = -0*d + 3*d - 5*h. Let m = d + 89. Is 17 a factor of m?
True
Suppose 4*i + 56 = 8*w - 4*w, i - 41 = -4*w. Is w a multiple of 11?
True
Suppose -r - 1 = -8. Suppose 5*k = -c + 4, 2*c + k + 72 = r*c. Is 13 a factor of 368/c + 4/(-14)?
True
Let p(u) be the first derivative of -u**5/20 + u**3/6 - 2*u**2 + u + 1. Let f(y) be the first derivative of p(y). Is 10 a factor of f(-3)?
True
Is 12 a factor of (-4)/10 + 124/10?
True
Let m = 4 - 2. Suppose t = -l + 46, 5*l - m*t = -0*t + 251. Suppose r = 2*j - l, j - 2*r + 78 = 5*j. Is 11 a factor of j?
True
Suppose -3*d + 72 = 5*a, a - 2*d = 3*d - 8. Suppose -x - a = -5*x. Is (-3 + 0)/x - -7 a multiple of 6?
True
Let l be 1 + (-2 + 2 - -173). Suppose 5*q + l - 664 = 0. Suppose -41 + 3 = -i - 5*x, -3*i + x + q = 0. Is i a multiple of 13?
False
Suppose 5*a = 2*u - 351, 3*u - 468 - 52 = a. Is u a multiple of 43?
False
Suppose 5*u + 3*y = -2*y - 15, 0 = -3*u + 3*y - 9. Suppose 0*m + 18 = 3*m - 2*n, -m + 13 = -3*n. Is 7 a factor of (-57)/u + (m - 2)?
True
Let w = 17 + -12. Let c = 19 - w. Is 6 a factor of c?
False
Let o be 4/(-22) + (-106)/22. Is 2 a factor of (10/(-4))/(o/10)?
False
Suppose -9*r + 5*r + 8 = 0. Suppose s = r*c - 3*s - 40, 2*c = 2*s + 48. Does 7 divide c?
True
Let i(j) = -9*j**2 - 5*j + 61. Let z(b) = 4*b**2 + 2*b - 31. Let d(s) = 3*s + 3. Let h be d(-2). Let k(m) = h*i(m) - 7*z(m). Is 17 a factor of k(0)?
True
Let w(i) = 274*i**3 + i**2 + i + 1. Let f be w(-1). Let r be f*-1*3/9. Let g = -45 + r. Is 23 a factor of g?
True
Let l = 4 + -2. Is ((-7)/3)/(l/(-6)) a multiple of 7?
True
Let s(b) = -b + 2. Let d be s(3). Let q(y) = 8*y**2 + y. Does 2 divide q(d)?
False
Suppose -x + 2 = -4. Does 3 divide x?
True
Let p(j) = 5*j**2 + 6*j - 5. Let u(m) = -m**2 + 1. Let x(y) = -p(y) - 6*u(y). Let g be x(5). Is ((-30)/(-25))/(g/(-20)) a multiple of 2?
True
Let k(r) = -2*r**3 - 7*r**2 - 5*r - 3. Let x be k(-4). Let o = x - 17. Does 8 divide o?
True
Let n(f) = 31*f - 45. Does 16 divide n(13)?
False
Let r(w) be the first derivative of -2*w**2 + 7*w - 2. Suppose b = 6*b + 25. Is r(b) a multiple of 8?
False
Suppose -2*y + 4 = -2. Suppose -2*b - y*b = -150. Is 15 a factor of b?
True
Suppose 0*q + 5*q - 5*m = -35, 3 = -5*q - 3*m. Is 8 a factor of q/(-2)*64/12?
True
Let w be (-17)/(-5) + 4/(-10). Suppose 6*r = 3*v + w*r + 6, -3*v - 3*r = -18. Is v a multiple of 2?
True
Suppose 2*u = 7*u - 25. Let q = u + -3. Suppose s = 2 + q. Is s a multiple of 2?
True
Suppose 0 = -2*x - 11 + 43. Is 8 a factor of x?
True
Suppose 2*d = -i + 49, 3*i - 2*d = -0*d + 179. Suppose -c = -4, i = 5*q - 0*c - 2*c. Is 13 a factor of q?
True
Suppose 7*i - 14 = 1050. Is i a multiple of 19?
True
Let h be (-87)/(-5) - (-2)/(-5). Let p = -10 + h. Is p a multiple of 4?
False
Suppose 0 = 2*b + 86 + 124. Let k = b - -159. Is k a multiple of 14?
False
Let w(m) be the third derivative of m**5/60 + m**4/24 + 9*m**3/2 + 7*m**2. Does 8 divide w(0)?
False
Suppose s = 2*s - 6. Does 6 divide s?
True
Let g be 4/(-5)*(-10)/(-2). Let j be ((-3)/3)/(1/g). Suppose j*b - 164 = -4*x, 3*x + b + b - 127 = 0. Does 15 divide x?
True
Suppose -3*g - 4*k = 4, k + 1 = -g + 2*g. Suppose 7 = 3*i - 4*w, 0 = -i + w - g*w + 2. Is 3 - ((-104)/2 - i) a multiple of 21?
False
Suppose -68 - 64 = -2*q. Is q a multiple of 22?
True
Suppose u + 188 = 5*u + 2*q, 4*u = -5*q + 188. Is u a multiple of 15?
False
Let m(o) = -3*o + 2. Let c be m(-3). Let k(n) = n**3 - 12*n**2 + 10*n + 15. Is 4 a factor of k(c)?
True
Suppose 5*l - 56 + 11 = 0. Suppose 2*s - s = l. Is 7 a factor of s?
False
Suppose -2*l - 12 = -6*l. Does 9 divide l*-1 - (-7 + -21)?
False
Let t = -4 - -6. Suppose 2*w + t*u = 5*w + 8, w + 5*u = 3. Is 13 a factor of (88/4)/(w/(-2))?
False
Let u(i) = i**3 + 6*i**2 + 5*i + 2. Let x be u(-5). Does 11 divide x/(-5) - (-284)/10?
False
Suppose -159 - 201 = -5*y. Does 12 divide y?
True
Suppose 7*l - 6*l - 36 = 0. Is l a multiple of 6?
True
Let y(s) be the first derivative of -s**4/4 + 2*s**3 - 2*s**2 + 4*s - 1. Suppose 5*v - 24 = 1. Does 9 divide y(v)?
True
Suppose -4*f + 47 - 3 = 0. Suppose -f = -3*v - 2. Is 3 a factor of v?
True
Let l = 37 + -29. Is l a multiple of 2?
True
Suppose 4*l = -o - 3*o + 284, 2*l - 136 = -5*o. Let n be (-29 - (2 + -5))*1. Let k = l + n. Does 13 divide k?
False
Suppose 4*l - 16 = -0*l. Suppose -2*q + 94 + 4 = -l*g, -q + 3*g + 47 = 0. Is 15 a factor of q?
False
Let x(u) = 2*u**2 - 36*u - 22. Is x(23) a multiple of 52?
True
Let v = -14 + 36. Let s = v - -30. Suppose -4*x + 4*z + s = 0, -6*x = -x - 2*z - 68. Does 7 divide x?
True
Let m = -5 + 10. Suppose 3*o - 35 = -m*q, -13 - 21 = -3*o - 4*q. Is o a multiple of 10?
True
Suppose 13*v - 24 = 11*v. Is v a multiple of 11?
False
Suppose 4*m - 44 = -4*a, -2*m + 5 = -m - 5*a. Does 5 divide m?
True
Suppose -4*s = -3*s - 36. Is s a multiple of 12?
True
Let t(k) = -14*k + 1. Let w be t(1). Is 13 a fac