 c = o - j. Does 5 divide c?
True
Is 9/((-18)/4) + 4 a multiple of 2?
True
Let j be -6 + 1 + (-4 - -3). Let m = j - -12. Does 14 divide 87/m*(4 + -2)?
False
Is 1/(2 + (-190)/96) a multiple of 34?
False
Let n be -1 - ((-24)/4 - -2). Suppose -4*h + 24 = 3*q, 8*h - n*h = -15. Does 4 divide q?
True
Let v be (-20)/(-8) + 1/(-2). Suppose -y - 30 = -v*y. Is 6 a factor of y?
True
Let d be (-2)/8 + (-39)/(-12). Let r = 36 - d. Is r a multiple of 11?
True
Let n be (4/6)/(6/9). Let t = 3 + n. Does 4 divide t?
True
Let m(a) = 15*a - 3. Let n be m(2). Let c = 10 + n. Suppose 5*t - c = 58. Is 12 a factor of t?
False
Let r be -3*(0 + (-12)/(-9)). Is (-182)/r - (-1)/2 a multiple of 27?
False
Let q(m) = 3*m**2 - m. Let o be q(1). Suppose -5 = 4*p + 5*w, 3*w = o*p + 3*p - 3. Suppose 4*f = 3*f + 5*c - 15, p = -f - 4*c + 30. Is 5 a factor of f?
True
Let o = 1 - 6. Let p = o - -3. Let r(w) = -11*w - 1. Is r(p) a multiple of 15?
False
Let z be (-8)/20 + (-54)/(-10). Let v(x) = x**3 - 3*x**2 - 2 - z - 1 + 3*x - 3*x**2. Is v(7) a multiple of 21?
False
Suppose -2*f + 3 = 3*f - 4*v, 5*f - 5*v = 0. Suppose 93 = 5*t + f*i, t + 2*i - 92 = -4*t. Is 12 a factor of t?
False
Let g(y) = 2*y**2 - 11*y - 43. Is g(13) a multiple of 28?
False
Suppose -4*a - 4*x - 23 = -55, 30 = 5*a + 3*x. Suppose 0 = 5*z - a*z - 52. Does 13 divide z?
True
Suppose 4*v - 5 = 3*v. Suppose 2*a = 5*a - v*u - 160, -4*a = u - 198. Is 14 a factor of a?
False
Let v be 1*3/(-3)*-9. Let g = 24 - v. Suppose -2*z + g = -z. Is z a multiple of 10?
False
Let w = 36 + -54. Is 2 a factor of 3/w - (-19)/6?
False
Let q(f) = -f**3 - 7*f**2 + 7*f - 2. Let z be q(-8). Suppose z*x = x + 120. Let a = x + -17. Is a a multiple of 4?
False
Let k(r) = 3*r + 55. Is k(0) a multiple of 9?
False
Suppose 4*d + 3*c - 64 = -20, -2*d + 3*c + 22 = 0. Is 4 a factor of d?
False
Suppose -5*m = -0*t - 4*t + 138, -2*t + 2*m + 70 = 0. Suppose 23 = 5*i - t. Suppose x - i = 14. Does 13 divide x?
True
Let h(r) = -6*r - 13. Is 35 a factor of h(-8)?
True
Let l be (2 - 1)/(2/38). Let u = -40 + l. Let j = u - -35. Is j a multiple of 11?
False
Let i(t) = t**3 - 2*t**2 + 3. Let n be i(3). Is (3 - 1) + (n - 1) a multiple of 13?
True
Let n(d) = -d**3 + 4*d**2 + 6*d + 1. Let f be n(5). Suppose 2*c + f + 0 = 2*h, 0 = -h - c + 1. Does 15 divide 0 + 2 - h*-14?
True
Let h = -5 - -5. Suppose -3*k - 2 + 5 = h. Is 2 - 2/(0 - k) a multiple of 4?
True
Let k(n) = -3*n - 2. Let r be k(-2). Let h(g) = -g - 3. Let s be h(-6). Suppose -s*u + c = -11, 2*u + r*c + 12 = 6*u. Is 4 a factor of u?
True
Suppose -48 - 344 = -4*p. Suppose p = -3*q - 2*w, -q - q - 5*w - 47 = 0. Let g = q + 62. Is g a multiple of 13?
True
Let j be 1/(2/4) - -118. Suppose m = 4*r - j, 0*r + 3*r - 4*m - 90 = 0. Is 10 a factor of r?
True
Suppose -p - 108 = -2*p. Suppose 0 = 6*z - 3*z - p. Does 24 divide z?
False
Suppose -3*s + 99 = s - 5*x, -101 = -4*s + 3*x. Is s a multiple of 3?
False
Let v(j) be the second derivative of -j**4/12 + 17*j**3/6 - 3*j**2/2 + 4*j. Is 27 a factor of v(15)?
True
Suppose -3*v = 2*b + 2*v - 75, 4*v = -5*b + 230. Let s be ((-1)/(-1))/((-3)/81). Let t = b + s. Is t a multiple of 10?
False
Let f be (6/5)/((-2)/(-5)). Let x = 2 + -2. Suppose 5*i - f*i - 44 = x. Does 11 divide i?
True
Let k(g) = 9*g - 6. Is k(8) a multiple of 33?
True
Suppose 4*x - 5*x = -2. Let h = x + -2. Suppose h = -5*i + 52 + 13. Is i a multiple of 13?
True
Let c = -16 - -2. Let z be 9*(c/(-6) - -1). Suppose 2*t + z = -3*o + 73, -2 = 2*o. Is 23 a factor of t?
True
Let c(z) = 2*z + 2. Let w be c(0). Suppose 1 = w*t - 23. Does 8 divide t?
False
Let o(z) = -z**3 - 8*z**2 - 2*z + 7. Let s be o(-8). Suppose 3*k = s + 13. Does 9 divide k?
False
Suppose -c + 4*c - 1536 = 0. Is (-2)/10 + c/10 a multiple of 23?
False
Let k(b) = -3*b - 1. Let f be k(1). Let d be (14/f)/1*2. Let j = 13 + d. Is j a multiple of 3?
True
Suppose -5*z + 119 = g - z, 2*z = -2*g + 250. Does 13 divide g?
False
Does 24 divide 4*(4*-12)/(-2)?
True
Suppose 8*c - 3*c = -40. Let m(b) = -9*b - 12. Let j be m(c). Suppose 2*p - j = -0*p. Does 15 divide p?
True
Let a(o) = -2*o + 3. Let y(m) = -m. Let b(q) = -a(q) - 2*y(q). Let l be b(2). Let k(s) = -s**2 + 10*s + 6. Does 17 divide k(l)?
False
Let v(o) = -o**2 - 26*o + 36. Is 3 a factor of v(-27)?
True
Suppose -5*s + 74 = 2*w, -w = -2*s - 3*w + 26. Is 4 a factor of s?
True
Let u = 67 + -3. Suppose -2*m + 0*m = -u. Is 16 a factor of m?
True
Suppose -v = -5*q + 31, -5*q + 0*q + 5*v + 35 = 0. Suppose -2*t - t = 9. Is 5 a factor of 0/(q/t) + 13?
False
Let a(c) = -c**3 - 5*c**2 - 5*c + 1. Let x be a(-4). Suppose -x*z + 331 = -19. Suppose 2*v + z = 4*v. Is 18 a factor of v?
False
Suppose 3*z = 15 - 6. Is 3 a factor of z*-1 + (-8 - -15)?
False
Let t = -79 + 387. Suppose -k + t = 3*g - 0*k, -3*g + 300 = 3*k. Is 24 a factor of g?
False
Suppose 45*l - 7348 = 23*l. Is l a multiple of 10?
False
Let u = -12 - -3. Let q(t) = -t**3 - 8*t**2 + 9*t + 4. Let m be q(u). Suppose 4*x - 80 = 4*z, 2*z - 43 + 113 = m*x. Does 15 divide x?
True
Suppose -2*v + v + 20 = 0. Suppose v = 3*y + 5*j, 2*y = -j - 0 + 11. Suppose s - 2*s = -y*t + 89, 0 = 4*t - 2*s - 70. Is t a multiple of 9?
True
Let r(t) = 3*t - 11. Let j be r(-8). Let l = 130 + j. Is l a multiple of 16?
False
Suppose 5*p - 267 = 2*w, 0*p - p + w + 51 = 0. Suppose -p = -z - 4*z. Is 9 a factor of z?
False
Let v = 3 + 0. Suppose v*t + s = 7, 3*t + 4 = 2*s + 17. Suppose -4*q + 3*w = 3 - 2, -3*q - t*w + 15 = 0. Is q a multiple of 2?
True
Let k = 344 + -120. Does 24 divide k?
False
Let t(z) be the first derivative of -z**5/20 + z**4/2 - 2*z**3/3 + 5*z**2/2 + 2*z + 1. Let c(w) be the first derivative of t(w). Does 10 divide c(5)?
True
Let s(u) = u**2 - 5*u - 22. Does 18 divide s(13)?
False
Does 3 divide (-6)/((-236)/56 - -4)?
False
Let d(y) = y**3 + 9*y**2 + 8*y - 4. Is 8 a factor of d(-6)?
True
Let d(a) = a**2 - 9*a + 30. Does 17 divide d(18)?
False
Let p = -2 - -14. Is 3 a factor of p?
True
Suppose -3*x + 2*x = -2*l - 4, -5*x + 32 = -4*l. Suppose 2*c = -3*w - 8, w + 0*w = 3*c + 12. Let o = w + x. Is o a multiple of 3?
False
Let y(k) = 5*k**2 + 3*k + 2. Let h = 9 - 12. Is y(h) a multiple of 14?
False
Let k(o) = -3*o. Let d be (-1)/(-3) + 20/(-6). Is k(d) a multiple of 5?
False
Let q be (-7 - -11)/((-2)/7). Let j = 23 + q. Is 9 a factor of j?
True
Does 3 divide 1 + (-43)/(-2)*(-10)/(-5)?
False
Let q = 2 - -64. Suppose g = -g + q. Is 11 a factor of g?
True
Let c = -73 - -25. Is 23 a factor of ((-320)/c)/(2/24)?
False
Suppose c = -0 + 2. Suppose -c*d = -0*d - 60. Does 12 divide d?
False
Let n(c) be the first derivative of c**4/4 + 8*c**3/3 - 5*c**2 - 8*c + 1. Let m be n(-9). Let u = m + 6. Is u a multiple of 4?
False
Suppose 0 = 2*m - 2*y - 128, -284 = -2*m - 2*m - 3*y. Is 17 a factor of m?
True
Let i(n) = 28*n + 13. Does 13 divide i(5)?
False
Let u(n) = 3*n + 13. Let q be u(13). Let p be 8/q + (-2)/13. Suppose -3*s + 130 - 28 = p. Is 17 a factor of s?
True
Let p be 1/(-2*4/(-24)). Suppose 2*d = -8, p*l + 2*l = 5*d + 55. Is l a multiple of 7?
True
Suppose -v + 0 = m - 3, -4*m = -5*v - 12. Suppose 0 = 2*t + x - 33, t + 0*t - 2*x - 9 = 0. Let b = t - m. Is b a multiple of 4?
True
Suppose 4*j - 2 = 2*r, 2 = -4*r + 4*j + 6. Suppose -5*p = x + 3, x - r*p - 13 = -0. Is x a multiple of 3?
False
Suppose 5*m + 112 = 2*y, 3*m - 4*y - 112 = 7*m. Let h = m - -56. Does 16 divide h?
True
Let w(o) = 12*o. Let y be w(1). Suppose -52 - y = -s. Does 19 divide s?
False
Let d(m) = -2*m + 5. Let o be d(6). Let x = o - -15. Is 4 a factor of x?
True
Suppose -3*u - 42 = 9. Let f = 29 + u. Does 4 divide f?
True
Suppose -2*v = 4*w - 3*w - 80, 0 = -2*v - 3*w + 72. Does 11 divide v?
False
Suppose 0*k + k + 4 = 3*o, 2*o - 5*k = 20. Suppose -3*i - 4*v + 34 = o, 5*i - 92 = i + 4*v. Is i a multiple of 5?
False
Suppose -r + 6 = -39. Does 15 divide r?
True
Suppose -2*q + 3*u + 24 = -0*u, -2*q + 4 = 2*u. Suppose 0 = -q*v + v + 70. Does 4 divide v?
False
Is (56/6)/((-6)/(-18)) a multiple of 28?
True
Suppose 0 = -7*q + 5*q + 28. Is q a multiple of 7?
True
Let c be 202/(-4) - (-1)/2. Let r = 70 + c. Does 20 divide r?
True
Let f = -107 + 270. Is 28 a factor of f?
False
Suppose -2*m + 48 = c, 7*m - 2*m - 118 = -2*c. Is m even?
True
Let n(i) = 13*i**3 - i**2 + i. Suppose 4*k - 8 = -2*q, 0 = 5*k + q - 2*q - 3.