e
Let g = 13 + -10. Suppose 41 + 16 = 3*q + g*o, 3*q - 4*o = 36. Is q a multiple of 5?
False
Let j be ((-1)/(-3))/(6/144). Suppose 2*o + 4 = 0, -3*b + 2*o - j = 3*o. Is -1 + ((-84)/2)/b a multiple of 10?
True
Suppose -7 = -4*c + 13. Suppose -4*d + 3*d + c*m + 43 = 0, -10 = 2*m. Is 6 a factor of d?
True
Let x(s) = s**2 - 4*s + 6. Suppose -5*m - 30 = -0*m. Let l be x(m). Suppose -3*v + l = -v. Is 13 a factor of v?
False
Let c be 1/(-2 - 39/(-18)). Suppose -2*l + c*l = 36. Suppose -3*v + 57 = -l. Is 16 a factor of v?
False
Let n be -12*-1*(-3)/(-9). Suppose 2*h = 4*w + 3*h - 194, 253 = 5*w - n*h. Does 14 divide w?
False
Is 24 a factor of 224/4*60/(-28)*-2?
True
Let b(w) = w**2. Suppose 3*a + 2*a = -20. Is 8 a factor of b(a)?
True
Let v = 7 - 5. Suppose -v = f - 5*w, f - 3*w = -f + 3. Suppose -41 - 37 = -f*d. Does 15 divide d?
False
Does 19 divide ((10 - 2) + -3)*(-228)/(-10)?
True
Let i(s) = 24*s**2 + s. Suppose 0 = 5*q + 4*d - 9 - 6, q - 24 = -5*d. Is 10 a factor of i(q)?
False
Let n(y) be the third derivative of -5/3*y**3 + 0*y + 0 - 1/6*y**4 + 2*y**2. Does 12 divide n(-7)?
False
Let i(r) = -r**3 + 6*r**2 + r + 1. Let g be i(6). Let z = g + -10. Does 6 divide 12 - ((2 - 0) + z)?
False
Suppose q - f + 58 = 6*q, -17 = -q - 2*f. Does 2 divide q?
False
Let n(o) be the third derivative of 7*o**4/24 - o**3 - o**2. Let j(d) = d. Let q be j(4). Is n(q) a multiple of 8?
False
Is (-8 + 28)*(12 - 1) a multiple of 22?
True
Let y = 99 + -39. Is 15 a factor of y?
True
Suppose u + 2*k = 7, 9 = -3*u + 5*k + 41. Is u a multiple of 3?
True
Let s(u) = 6*u**2 + 27*u - 8. Is 10 a factor of s(-8)?
True
Let l be 19 + (1 - 0)*3. Suppose o = -2*r + 3*o + 64, r + o = l. Is r a multiple of 9?
True
Let b(v) = -v**3 + v**2 + v + 10. Is 5 a factor of b(0)?
True
Let n(l) be the first derivative of l**4/4 + l**3/3 + l**2 + l - 3. Let x be n(-1). Let g(f) = -6*f. Is g(x) a multiple of 4?
False
Suppose 168 = -5*j + 9*j. Is 14 a factor of j?
True
Suppose 3*c = -2*c - 25. Let w = c - -10. Is w even?
False
Does 27 divide (8/20 - 558/(-5)) + 1?
False
Let l = 45 + -3. Is 14 a factor of l?
True
Let a(r) = -r - 4. Let o be a(4). Let t(y) = y**3 + 7*y**2 - 12*y - 8. Is 7 a factor of t(o)?
False
Suppose -y + 6 = y. Suppose 6 = 2*f, u + 0 = y*f - 5. Suppose u*h - 3 = 13. Is h a multiple of 4?
True
Let k = 78 - -22. Does 25 divide k?
True
Let u(t) = 5*t - 5. Let c be u(3). Let a = c - -11. Is 7 a factor of a?
True
Does 13 divide (-93)/2*6/(-9)?
False
Let b(w) = -w**2 - 20*w - 14. Let k(a) = 4*a - 2. Let q be k(-2). Is b(q) a multiple of 23?
False
Suppose -p + 9 = -3*y - 4*p, 28 = 4*y - 4*p. Is 14 a factor of 25 - (4/y + -1)?
False
Suppose 4*t = 5*t - 22. Does 11 divide t?
True
Let z = -3 + 6. Suppose -7 = -o - z. Is 4 a factor of o?
True
Let h = -9 - -19. Is 10 a factor of h?
True
Suppose -4*y + 20 = 204. Let c = -20 - y. Let s = -2 + c. Does 12 divide s?
True
Suppose 0 = a + 4*a + 4*p - 91, -5*a = 2*p - 83. Let z = a - -1. Does 8 divide z?
True
Let w be (0 - -2) + (-4)/(-4). Suppose 2*f - 57 = -5*k, -w*f - k + 123 = f. Does 15 divide f?
False
Let s be (-1263)/(-6) + (-2)/4. Suppose -2*i + s = -4*g, 3*g + 117 = g - 3*i. Let y = g + 108. Is y a multiple of 18?
True
Suppose 283 = 4*p - 3*w - 49, -3*w = -p + 74. Let x = p - 164. Let y = x - -119. Does 14 divide y?
False
Let n = 29 - 14. Does 4 divide n?
False
Suppose -f - 2 = b + 2*b, 0 = 4*b + 12. Suppose -k - f + 25 = 0. Is k a multiple of 9?
True
Let y = -32 - -47. Let k = 36 - y. Is k a multiple of 4?
False
Let v = -32 + 45. Suppose -50*g - 25 = -45*g. Let a = v + g. Does 8 divide a?
True
Suppose -w + 4 = -s, -4 = s - 4*w + 2*w. Let a(t) = 2*t**2 + 4*t - 1. Is 15 a factor of a(s)?
True
Let t = -11 + 29. Is t a multiple of 13?
False
Suppose 2*y - 58 - 22 = 0. Does 8 divide y?
True
Let t = -146 - -225. Is 16 a factor of t?
False
Suppose -7 = -m + 2. Is m a multiple of 9?
True
Let h(j) be the third derivative of -5*j**4/24 - 4*j**3/3 - 3*j**2. Let q be h(11). Does 4 divide 16/(-12)*q/6?
False
Let w(k) = -23*k - 20. Is 42 a factor of w(-8)?
False
Let m(v) = -v - 6. Let q be m(-5). Let u be (-1)/(-6) - 124/24. Is 9 a factor of (-12)/3*(u - q)?
False
Let c(i) = -i**2 - 7*i + 13. Let f be c(-9). Let d(p) = -p**3 - p**2 + 6*p - 6. Does 16 divide d(f)?
True
Let u(o) = 3*o**2 + o**3 - 2*o - 3 - o**2 + 6*o**2. Is u(-8) a multiple of 8?
False
Let f = -6 + 11. Suppose k - f*k + 2 = -2*r, 0 = -2*k + 6. Is 3 a factor of (-6)/3 + r + 0?
True
Let v(m) = m + 1. Suppose t - 4*s + 16 = 0, s = 2*t + 2*t - 11. Let g be v(t). Suppose g*x - 64 = x. Is 8 a factor of x?
True
Let y(m) = -m**3 - 6*m**2 - 7*m - 4. Let j be y(-8). Suppose 0 = 7*w - 2*w - j. Is 12 a factor of w?
True
Let a(l) = 120*l**3 + l**2 - 7*l + 6. Is a(1) a multiple of 5?
True
Let j = 2 + -11. Let q(d) = d**2 + 7*d + 11. Does 19 divide q(j)?
False
Let j be -8*((-3)/(-2))/(-3). Let f be (10/j)/5*68. Suppose f = 4*c - 22. Is 9 a factor of c?
False
Suppose -2*l + 3*r + r - 6962 = 0, 0 = -2*l - 3*r - 6948. Let c = l - -1661. Is 2/12 - c/48 a multiple of 23?
False
Suppose 6 + 6 = -o. Let x = o + 18. Is 2 a factor of x?
True
Let o = 184 - 74. Is 22 a factor of o?
True
Let p(i) = i**2 - 5*i + 2. Let l(z) = z**2 - z. Let v(g) = 2*l(g) - p(g). Let n be v(-4). Suppose 0 = n*w - w - 4*y + 2, -2*w + 2*y = -26. Is w a multiple of 9?
True
Suppose -4*w + 221 = -3*v, 3*w = -w + 4*v + 220. Is 12 a factor of 1*9*w/21?
True
Suppose -2*b = -4*w - 140, 57 = 3*b + 5*w - 142. Does 9 divide b?
False
Suppose 4*y + 2*x - 146 - 74 = 0, -3*x = y - 60. Suppose l = 4*k - 148, -2*k + 5*l - y = -146. Does 9 divide k?
True
Let c(t) be the first derivative of -t**4/4 + 2*t**3 + 3*t**2 + 2*t + 2. Let z be c(7). Let y = z + 17. Does 6 divide y?
True
Let x(i) = -5*i + 3. Suppose 60 = 4*p - 0*p. Suppose 5*z + 0*z = -p. Is x(z) a multiple of 18?
True
Is (-406)/(-7) + 2/2 a multiple of 14?
False
Suppose g + 6 = -2*g. Let a be (g/6)/(3/(-45)). Suppose a*u - 65 = 5*j, u + u = -j + 38. Is u a multiple of 17?
True
Suppose 55 = -8*y + 3*y. Let h = 19 + y. Does 5 divide h?
False
Suppose -3*i + 240 - 42 = 0. Does 23 divide i?
False
Suppose 7*c - 2*c + 5 = 0. Let b be -2 - 2/(c + 2). Does 16 divide b/6*(-444)/8?
False
Let m(k) = -2*k + 2. Is 10 a factor of m(-9)?
True
Let q be 5/((-5)/(-4))*1. Let t be ((-10)/q)/((-2)/4). Suppose 2*p = 6, 59 = t*u + 2*p - 127. Is 18 a factor of u?
True
Suppose 0 = 6*q - 3*q - 9. Suppose 35 = 2*s + q*s. Does 5 divide s?
False
Let r be (-2)/1*-2*2. Suppose 0 = -3*q + r + 7. Is 5 a factor of q?
True
Let k = 2 + 2. Suppose 0*s - 5*b = -5*s + 95, 2*s = k*b + 28. Is 9 a factor of s?
False
Suppose 0 = 95*z - 90*z - 855. Is z a multiple of 15?
False
Let g be (-4)/6 + 2/(-6). Let d(u) = -144*u - 63. Let l(w) = 9*w + 4. Let q(v) = 4*d(v) + 63*l(v). Does 3 divide q(g)?
True
Let o(n) = -7*n - 4. Let m be o(-3). Let p = 3 + -10. Let r = m - p. Does 22 divide r?
False
Suppose 3*u = u + 10. Suppose -h - 2 = -6. Suppose h*i = 17 - u. Is i even?
False
Let f be (-290 + 4)/(0 - 1). Suppose -4*g + 4*j = -268, -j = 4*g + 4*j - f. Is g a multiple of 23?
True
Let m(s) = -3*s**2 + 27*s + 45. Let l(a) = a**2 - 9*a - 15. Let z(u) = -17*l(u) - 6*m(u). Does 6 divide z(12)?
False
Let o(m) = 11*m**2 + 3*m + 1. Let f be o(3). Let x = 181 - f. Does 18 divide x?
True
Suppose -71 = -5*g + 2*p, 4*g = 5*p + 31 + 19. Is 11 a factor of g?
False
Let r(s) = s. Let i be r(-2). Does 5 divide (2 - -5)*1 - i?
False
Let m(p) = -p + 1. Let k be m(3). Is 17 a factor of 38 + 2 + 1 - k?
False
Let t be 2*((-42)/4 + 2). Let o be t/((-1)/((-2)/(-2))). Suppose 0 = -4*q + 123 + o. Is 21 a factor of q?
False
Let n(c) = c**2 - 9*c + 9. Let t be n(7). Let s = 7 - t. Is s a multiple of 6?
True
Let u(i) = i**2 + 5*i + 3. Let s be u(-5). Let y = 0 + s. Is y a multiple of 2?
False
Suppose 2*r - 114 = -3*m, 73 + 117 = 5*m + r. Does 19 divide m?
True
Let u(z) = 5*z**3 - 3*z**2 + 2*z - 1. Let b be u(2). Suppose 3*h - 4 - b = -5*s, 0 = 5*s - 5*h + 5. Is (20/(-7))/(s/(-14)) a multiple of 3?
False
Let z(m) be the first derivative of -m**3/3 - 11*m**2/2 + 21*m - 8. Is 16 a factor of z(-11)?
False
Is 34 a factor of (-119 + -1 + 0)/(20/(-50))?
False
Suppose b = -4*k + 35 + 249, -2*b = k - 603. Does 19 divide b?
True
Let h = 84 + -38. Is h a multiple of 46?
True
Let t be 2