s 15 divide x?
True
Suppose 0 = 4*q + 13 - 53. Does 12 divide (185/q)/(2/4)?
False
Suppose 5*p + 0*p = -3*v + 12, -4*p = 5*v - 20. Is 6 - 6 - (-2 + p) even?
True
Let y(b) be the third derivative of b**6/360 + b**5/60 - b**3/6 + 2*b**2. Let l(n) be the first derivative of y(n). Is l(-4) a multiple of 8?
True
Let u(q) = q**3 + 5*q**2 - 5*q - 7. Let t be u(-6). Let v be (-2)/t + (-446)/26. Let h = v + 26. Is h a multiple of 5?
False
Let a = -111 + 123. Is a a multiple of 3?
True
Suppose 3*x - 240 = -4*v, v - x - 61 = -2*x. Does 19 divide v?
True
Let n(c) = -12*c - 42. Is n(-7) a multiple of 15?
False
Let j(u) = u**2 - u - 8. Is j(6) a multiple of 11?
True
Let l(f) = -f**2 - f + 27. Let r be l(0). Let g = r - -5. Is 16 a factor of g?
True
Suppose -3*z = -4*g + 23, 5*g - 15 = -4*z + 6. Suppose 4*q + 4*w = 20, 4*q - 8 = 3*w + g. Suppose q*t = -3*k + 60, 2*k + 62 = 3*t - 0*k. Does 9 divide t?
True
Let g(k) be the second derivative of 4*k**3/3 + k**2/2 - 3*k. Let j be g(-2). Let i = 13 - j. Is i a multiple of 14?
True
Let a(o) = 2*o**3 + 16*o**2 + 21*o - 1. Let r(p) = p**3 + 8*p**2 + 10*p. Let g(i) = 2*a(i) - 5*r(i). Suppose -1 + 29 = -4*z. Is g(z) a multiple of 5?
True
Let h(q) = 4*q**2 - 5*q - 4. Is h(3) a multiple of 7?
False
Let a(c) = -3*c + 3. Let t(f) = -4*f + 3. Let y(z) = -5*a(z) + 4*t(z). Let l be y(-4). Is 13 a factor of (13/(-2))/l*-2?
True
Let r = 4 + 0. Suppose -36 + 132 = r*q. Is q a multiple of 12?
True
Let f(k) = -9*k**2 + k - 1. Let a be f(1). Let q be 0 - 3/(a/345). Suppose -6*u = -u - q. Is 12 a factor of u?
False
Suppose 0 = -r + 10 - 7. Let u = 56 - 36. Suppose -19 = -i - g + u, -r*i - 4*g = -117. Is 13 a factor of i?
True
Suppose 0 = 2*h + 4, -o = 4*h - 209 + 57. Is 23 a factor of o?
False
Let a = 113 + -66. Let v = 21 - a. Let s = v + 44. Does 14 divide s?
False
Suppose n - 6*n = -195. Is n a multiple of 22?
False
Let p = -10 - -17. Is (p - -1)*(-4)/(-8) a multiple of 4?
True
Let o = -15 + 6. Is (o*(-4 - 1))/1 a multiple of 15?
True
Let p = 9 + -3. Let f(k) = -p + 3*k - k + k. Is 8 a factor of f(5)?
False
Suppose n + 5 - 3 = 0. Let l(p) = -p**3 - 3*p**2 + 3*p + 8. Let v(k) = -k**3 - 3*k**2 + 3*k + 7. Let t(i) = n*l(i) + 3*v(i). Does 5 divide t(-4)?
False
Let i be (3/(-2))/(9/(-192)). Let t = i + -19. Is t a multiple of 12?
False
Let b(x) = 8*x**2 - 2*x - 1. Let p(y) = -y**2 + 9*y - 10. Let z be p(8). Does 9 divide b(z)?
False
Let m(f) = -3*f**2 - 11*f + 6. Let b(l) = 3*l**2 - l. Let x(q) = -q**2. Let j(r) = -b(r) - 4*x(r). Let i(h) = 6*j(h) + m(h). Does 17 divide i(4)?
True
Suppose 0 = 4*w + 167 - 39. Let a be (2 - 4)/(1/w). Suppose a = -0*b + 2*b. Is 11 a factor of b?
False
Suppose 0 = -x - 2 + 7. Suppose -x*r = -2*r - 111. Does 10 divide r?
False
Let h(c) = -85*c**2 + 1. Let o be h(-1). Let v = -27 - o. Is 13 a factor of v?
False
Is 12 a factor of ((-8)/6)/(9/(-81))?
True
Let j = -3 + 5. Suppose 164 = 3*r + j. Let i = 94 - r. Is 13 a factor of i?
False
Let u = 47 - 27. Is 4 a factor of u?
True
Suppose 0*m + 2*m = 3*k - 37, 0 = 2*k - 5*m - 10. Suppose 3*c = 2*h + 2*h + k, -4*h = -2*c + 10. Suppose h = -5*a + 53 + 12. Is a a multiple of 13?
True
Let b = 4 - 2. Suppose 0 = -0*f - b*f + 18. Suppose -4*o = -2*j - 132, -o - 2*j - f = -32. Is o a multiple of 16?
False
Let m(w) = 5*w**3 + w**2 - 2*w - 1. Let p be m(2). Let o = -14 + p. Is o a multiple of 25?
True
Let z(b) = b**2 - b. Let h be z(-1). Is h/(3/24 + 0) a multiple of 8?
True
Suppose 5*p = 4*d + 11 - 1, 2*p = 4*d + 4. Let c = 1 + p. Is (2/c)/(2/57) a multiple of 8?
False
Let u(l) be the third derivative of -l**5/60 + 11*l**4/24 - 8*l**2. Does 9 divide u(9)?
True
Let b be ((-10)/(-4))/(1/8). Let w = b - 6. Is 8 a factor of (-309)/(-21) + 4/w?
False
Suppose d = 4*d - 6. Suppose -7*l + 220 = -2*l - d*z, 0 = -2*l - 4*z + 64. Does 18 divide l?
False
Is 9/6*2 - 30/(-2) a multiple of 5?
False
Suppose 0 = -4*u + b + 436, -u + 2*b = 2*u - 327. Suppose -m - u + 43 = 0. Is (m/(-4))/((-2)/(-4)) a multiple of 12?
False
Suppose p - 1 = 0, g - 31 = -6*p + 3*p. Let b = -5 - 1. Let l = g + b. Is l a multiple of 11?
True
Let k = 847 - 440. Does 13 divide k?
False
Suppose -4*j = -o + 90, -o - 3*o = -4*j - 300. Is o a multiple of 14?
True
Let u(y) = y - 2. Let g be u(4). Suppose 2 = -g*h, 3*r - 5*h - 18 - 5 = 0. Is (-8)/r*6/(-4) a multiple of 2?
True
Suppose n + n - 8 = 0. Let r be -7 + n + -1*17. Is 9 a factor of 5/r + (-218)/(-8)?
True
Suppose -5*n = -170 - 250. Suppose -4*w - 2*y + 320 = 2*y, -w + n = -y. Let q = 142 - w. Is q a multiple of 20?
True
Let d(v) = 5*v - 9. Suppose -m - 12 = -3*m. Is 21 a factor of d(m)?
True
Suppose 2*u = -3 - 9. Let w = -1 - u. Is (35/w)/((-2)/(-10)) a multiple of 14?
False
Suppose -2*b + 63 - 29 = 0. Is b a multiple of 17?
True
Let o(j) = -j + 6. Let v be o(4). Let n = 15 - v. Is n a multiple of 5?
False
Let u = 238 - 134. Does 13 divide u?
True
Let a(o) = o**2 + 12*o + 11. Let b be a(-11). Suppose -z + 0*z + 24 = b. Suppose -p = -3*p + z. Does 4 divide p?
True
Let y = -32 + 132. Suppose 3*m = -m + y. Suppose 4*t = t + o + m, -t - o + 11 = 0. Does 4 divide t?
False
Suppose -300 = 38*b - 42*b. Is b a multiple of 25?
True
Let w(y) = -y - 12. Let j be w(0). Let x be (-2 - -8)*4/j. Does 19 divide x/3 - 122/(-3)?
False
Suppose -2*l - 427 = 5*j, -2 = l + l. Let w = j + 202. Suppose 5*m + w = 3*b, -2*m + 165 = 5*b + 1. Is 17 a factor of b?
True
Let w(h) = -8 + 4*h**3 - 7*h**2 - 7 - 3*h**2 - 6*h - 3*h**3. Is w(11) a multiple of 7?
False
Suppose 0 = l + 2*l + 54. Let h be 4/l + (-228)/(-54). Suppose 0 = 2*j - 2 - h. Is 2 a factor of j?
False
Suppose -27 = -l + 5*u, 4*l + u + 2*u = 39. Does 21 divide (l/(-10))/((-3)/80)?
False
Let k be 2 + 3*(-4)/6. Suppose k = -2*o + 8. Suppose n - 130 = -o*n. Does 13 divide n?
True
Let f be 18/(-4)*(-10)/15. Suppose -y - 3*x + f = 0, 2*y + 4*x - 52 = -2*y. Is 9 a factor of y?
True
Suppose n - 17 = -l + 25, n - 5*l - 12 = 0. Let h be (-5)/(-5)*1*n. Let u = h + -8. Is u a multiple of 15?
False
Suppose -3*t - 282 = -9*t. Is 6 a factor of t?
False
Does 18 divide (-10)/((-15)/54*2/10)?
True
Let u(b) = -b**2 + b + 1. Let q(v) = 3*v**2 + 10*v - 9. Let h(s) = q(s) + 4*u(s). Is 9 a factor of h(12)?
False
Let s be ((-3)/(-4))/((-2)/(-8)). Suppose -h = -4*h - s. Does 6 divide -15*(-3)/(2 - h)?
False
Let w = 0 - -4. Suppose 226 = w*j + 34. Does 16 divide j?
True
Let b be 66/(-5)*(1 - 11). Let s = b + -72. Is 15 a factor of s?
True
Let u = -18 - 6. Let t = u + 47. Let z = t - 0. Does 9 divide z?
False
Suppose -5*q = -2 - 18. Let j(r) be the first derivative of 2*r**3/3 - 3*r**2/2 + 4*r - 4. Is j(q) a multiple of 12?
True
Let c(t) = 3*t**2 - 3*t + 1. Is c(3) a multiple of 5?
False
Let m = -22 + 26. Let c(t) = 2*t**2 - 6*t - 6. Let y be c(5). Is 21 a factor of m/y - (-584)/14?
True
Let z(g) = 9*g**2 + 6*g. Is z(6) a multiple of 20?
True
Suppose 3*f + 15 = 0, -2*x - f - 12 = f. Is 15 a factor of 9 + 27 + (-1 - x)?
False
Suppose 0 = -2*f + f. Suppose f = g + 2 - 14. Is 3 a factor of g?
True
Let c(s) = 32*s**2 - 1. Let a = 7 - 8. Is 13 a factor of c(a)?
False
Does 4 divide (-22)/(-5) - (-6)/(-15)?
True
Let q = 4 - 4. Let s = q + -1. Let f(d) = -13*d - 1. Does 11 divide f(s)?
False
Let z be (-54)/(-24) - 2/8. Suppose 51 = 4*q - 0*r - 3*r, 4*r - 42 = -z*q. Does 14 divide q?
False
Let l(c) be the second derivative of c**5/20 + c**4/2 + 2*c**3/3 - c**2/2 - c. Let w be l(-5). Let y = -2 + w. Is y a multiple of 2?
True
Suppose -2*m = 5*v - 3*m - 257, 4*v = -5*m + 194. Let r = -8 + v. Suppose -3*k = 13 - r. Is 5 a factor of k?
True
Let u(c) be the third derivative of 31*c**5/60 + c**4/12 - c**3/6 + 2*c**2. Let t be u(1). Let x = t - 21. Does 5 divide x?
False
Suppose 3*u + 2*f - 539 = -3*f, 0 = 5*f + 25. Let o = 71 + -39. Suppose -o = -p + 2*i, 5*p - i - u = 2*i. Is p a multiple of 11?
False
Suppose c - 3*c + 328 = 0. Let u = c - 113. Does 17 divide u?
True
Let x(a) be the second derivative of -a**4/12 + 3*a**3 + 7*a. Does 17 divide x(13)?
False
Let n = 1 + 2. Suppose 2*d - 30 = -n*d. Let i = 11 + d. Does 6 divide i?
False
Let u = -1 + -2. Is 2 + (1 - 22)/u a multiple of 9?
True
Suppose -9 = -3*b, 0*m + 2*b + 16 = 2*m. Is m a multiple of 3?
False
Suppose -91 = -3*o - 28. Is 13 a factor of o?
False
Let x = 21 - 22. Is 5 + -3 - (-74 - x) a multiple of 25