
False
Let x(t) = t - 1. Let u(j) = 5*j. Let y(z) = u(z) - 4*x(z). Let n be y(4). Suppose -v - 2*w = -10, -5*w - n - 2 = 0. Does 7 divide v?
True
Suppose -17*w = -13*w - 52. Suppose l = 2*p - 6*p - w, 55 = -3*l - 4*p. Let u = 8 - l. Is u a multiple of 8?
False
Suppose -4 = -2*s + 6. Suppose 3*v - 3*m - 96 = 0, 4*v + s*m - 116 = 3*m. Is 13 a factor of v?
False
Suppose -3*k - 41 = -f, k + 3*f + 46 = -3*k. Let w = -13 - k. Is 2 a factor of w/(-2) + 0 + 3?
False
Suppose 4*n = 3*a + 5501, -34*n = -29*n + a - 6900. Is 63 a factor of n?
False
Let a = 4063 - 2083. Does 15 divide a?
True
Let t(v) = -v**3 - 22*v**2 + 22*v + 55. Is 78 a factor of t(-23)?
True
Suppose t = 9*t + 48. Is (-1395)/t*(8/(-6) + 2) a multiple of 13?
False
Suppose 157 - 51 = 2*m. Let g = m + -37. Is 8 a factor of g?
True
Let p be 33/6 - (-3)/(-6). Suppose 5*k + 4*u = 18, 5*k - 2*u + p*u - 16 = 0. Suppose 18 = 2*v + k. Is 8 a factor of v?
True
Suppose -104*v + 113158 + 24850 = 0. Is v a multiple of 13?
False
Let b(v) be the second derivative of v**5/20 + 13*v**4/6 + 4*v**3 - 21*v**2/2 + 4*v - 3. Is 2 a factor of b(-25)?
True
Let d(w) = w**2 + 7*w - 15. Let z(h) = 5*h**2 - 3*h - 2. Let m be z(-1). Let f be d(m). Suppose -l + f = -4*n, -2*n - 158 + 19 = -3*l. Does 11 divide l?
False
Suppose 4*v - 1510 = 2*v. Suppose 4*b - 325 = 2*b - 5*n, -5*b - n = -v. Suppose -3*j + 6*j = b. Does 21 divide j?
False
Is 36482/136 - (3/4)/3 a multiple of 21?
False
Let m(x) = -x**3 - 6*x. Let c = -15 + 11. Let i(q) = 3*q**3 + q**2 + 18*q + 1. Let o(j) = c*i(j) - 11*m(j). Is o(-4) a multiple of 9?
False
Let y be (1 + -1 - -2)*(0 + -47). Let h = -58 - y. Is h a multiple of 4?
True
Let b be (-3)/6 - ((-324)/8 - -4). Suppose 31*r - b*r = -315. Is 12 a factor of r?
False
Suppose 3708 - 620 = 16*g. Is 25 a factor of g?
False
Suppose 4*q + 283 = 343. Is q a multiple of 15?
True
Let w = -744 - -1153. Does 42 divide w?
False
Suppose 3*y - 3 - 12 = 0. Suppose 2*q - 8 = -8. Suppose q = -3*w + y*w - 180. Is 18 a factor of w?
True
Let i(m) = m**3 + 7*m**2 - 20*m + 13. Let d be i(-9). Suppose 27*t - d*t = -224. Does 10 divide t?
False
Let p(g) = -29*g - 269. Is p(-13) a multiple of 18?
True
Let o(b) = b**2 + 12*b - 38. Suppose 0 = -3*f + 2*f - 16. Does 9 divide o(f)?
False
Let q(n) = -n**2 - 4*n. Let o be q(-2). Suppose -2*a + 12 = -a - v, -a + o*v = -24. Does 8 divide a?
True
Let n(r) = -3*r + 9*r + 13*r - 2*r. Is 16 a factor of n(4)?
False
Let j = 9 - -3. Let m = j + -4. Is m a multiple of 4?
True
Suppose -3*c + 0 + 12 = 0. Suppose 2*y - 11 = -c*x + 9, 3*x - 2*y - 1 = 0. Suppose -x*d - 111 = -3*k, -k + 2*k + 5*d - 67 = 0. Is k a multiple of 13?
False
Suppose 6*h - 20 = h. Let u = 7 - h. Suppose -u*t = -3*a - 57, 4*a - 2*a = -6. Is t a multiple of 8?
True
Suppose 4*t + 26 + 42 = 0. Let h = t + 20. Is -1*(-4 + h) + 14 a multiple of 15?
True
Let c(q) = q**3 + q + 622. Let x be c(0). Suppose 5*n - 766 = 2*y, -4*n + y = 4*y - x. Suppose 5*v - n = -4*z, -2*v - 83 = -4*z + 85. Does 16 divide z?
False
Let g be 62*(4 - 21/6). Let i = 53 - g. Does 22 divide i?
True
Let x(n) = n**3 - 8*n**2 - 12*n + 31. Suppose 6*b - 14 = 40. Is x(b) a multiple of 3?
False
Suppose g + 0*g = 3*n + 237, 2*n - 10 = 0. Suppose -4*s = 5*a - g, 0*s = -2*s - 4. Does 19 divide a?
False
Suppose 2*i - 3*i = l + 2, -3*l - 8 = 4*i. Let j(g) = g**2 + 2*g + 5. Does 2 divide j(i)?
False
Suppose -4 = -5*c + 16. Let x be -3 + c - 21/(-3). Is (x/5)/((-2)/(-95)) a multiple of 19?
True
Let s(v) = 39*v - 117. Is s(20) a multiple of 17?
True
Does 12 divide 0/(-4) + 5/(10/312)?
True
Let s(w) = -6*w - w + 11*w**2 - 10 - w**3 - 2 - 3*w. Does 11 divide s(9)?
False
Let r(x) = 2*x**2 + 3*x - 9. Let t(d) = -4*d**3 + d**2 + 2*d - 3. Let n be t(1). Is r(n) a multiple of 3?
False
Suppose 0 = -3*t + 4*d + 269 + 209, -t = 3*d - 155. Is t a multiple of 4?
False
Let h = 38 + -57. Let o = h + 31. Suppose -c + o = -5. Is c a multiple of 6?
False
Suppose 2*l = 5*l - 36. Let h = l - 12. Suppose 0 = 4*b - h*b - 48. Is b a multiple of 6?
True
Suppose -6*g - 258 = -3*g. Let a = g - -122. Suppose -a = -z - 0*j + 3*j, 0 = 2*z - 2*j - 60. Is 18 a factor of z?
False
Is ((-2508)/(-21) + -2)*(-7)/(-2) a multiple of 3?
True
Let k(c) be the third derivative of c**5/60 - 4*c**3/3 + c**2. Suppose -5*w = -5*t - 9 + 64, 45 = 5*t - 3*w. Is k(t) a multiple of 12?
False
Let m(v) = v**3 - 15*v**2 + 11*v + 2. Let i(j) = 3*j**3 - 45*j**2 + 34*j + 7. Let r(s) = 3*i(s) - 8*m(s). Does 2 divide r(14)?
False
Let t(v) = -4*v**2 + 6*v + 5. Let j be t(5). Suppose -181 = -10*k - 1841. Let d = j - k. Is d a multiple of 39?
False
Suppose 5*x + 77 = 2*g, 4*g - 5*x = -g + 200. Let v(i) = 7*i - 1. Let a be v(2). Suppose o - a = g. Is o a multiple of 16?
False
Let g(t) be the first derivative of -t**3/3 + 8*t**2 - 13*t - 13. Is 4 a factor of g(13)?
False
Let u(y) = -y**2 + 3*y - 1. Let q be u(2). Let k = -1 + q. Suppose 2*x - z - 32 = -k*x, -2*x + 4*z = -26. Is 13 a factor of x?
False
Suppose 0 = 14*r - 12*r - 210. Suppose -r = -0*j - 3*j. Suppose 0 = 4*n + j - 107. Is 5 a factor of n?
False
Let v(r) = -3*r + 10. Let f be v(4). Is 7 a factor of f/7 - 3211/(-91)?
True
Suppose -5*k - 3*l + 3 = 0, -k + 4*k + 4*l + 7 = 0. Suppose -19 + 1 = -k*s. Suppose -s*g + 54 = -4*g. Is g a multiple of 7?
False
Let y = -234 + 125. Let x = y + 127. Is x a multiple of 9?
True
Suppose -3*k + 2*z = 27 + 22, 3*z + 11 = -2*k. Let f = 160 + k. Suppose -f - 37 = -2*t. Does 23 divide t?
True
Let n = -54 - -98. Let z = n + -9. Is 5 a factor of z?
True
Let v = -3 - -5. Suppose -1 = b - 56. Suppose v*w - b = w. Is 15 a factor of w?
False
Is (-4)/18 - (-10 + (-18384)/108) a multiple of 45?
True
Suppose 4*k = -4*o + 1056, -k = -o - 245 - 11. Suppose -3*j + 199 + 191 = 2*q, -3*q = -2*j + k. Does 48 divide j?
False
Let m(k) = k**3 - 4*k**2 - 5*k + 24. Let p be m(6). Let f = 171 - p. Is 15 a factor of f?
True
Let n = 331 - 267. Is 32 a factor of n?
True
Let k = 64 - 62. Suppose 24 = k*v - 10. Is v a multiple of 17?
True
Let n(s) = 21*s + 7. Let g(d) = 20*d + 6. Let q(y) = -5*g(y) + 4*n(y). Let c be q(-1). Let w = -5 + c. Does 3 divide w?
True
Is 13 a factor of 1/(2/11 - (-54459)/(-301158))?
True
Let w = 69 + 298. Let p = -225 + w. Does 44 divide p?
False
Does 45 divide ((-2)/2*-30)/((-24)/(-324))?
True
Let l(p) = -13*p + 42. Let t be l(4). Let a(f) = f**2 + f + 14. Is 9 a factor of a(t)?
False
Let k(i) be the third derivative of -i**2 + 0 + 0*i + 13/24*i**4 - 5/6*i**3. Does 17 divide k(5)?
False
Let c be (-128)/(-3) + (-12)/18. Let m = 101 - c. Suppose -36 - m = -5*k. Does 5 divide k?
False
Does 10 divide (30/14)/(-5) - 8619/(-21)?
True
Is ((-6)/8)/(7/(-2716)) a multiple of 15?
False
Let u(b) = -b**3 - 5*b**2 + 6*b + 5. Let y be u(-6). Suppose -55 = -y*d + 145. Does 5 divide d?
True
Let t = -69 + 47. Is -4 - t/((-3)/(-3)) a multiple of 8?
False
Let n(w) = -118*w + 35. Is n(-10) a multiple of 27?
True
Let l be (-12)/10*20/(-6). Let y be (24/(-32))/(1/(-16)). Does 11 divide 11*l*9/y?
True
Suppose -2*p + 2*j = 822, 0 = -9*p + 4*p - 2*j - 2076. Let m = 944 - 966. Is 6/33 + p/m a multiple of 19?
True
Suppose 2*n + 4*s = 28, -3*n + 3*s + 2*s = 13. Let g = 0 + n. Suppose 3*w - 195 = b, 0*b - 260 = -g*w - 5*b. Does 22 divide w?
False
Let f = 1443 + -719. Is f a multiple of 3?
False
Let o(h) be the first derivative of -3*h**4/4 + h**3/3 + h**2/2 + h + 29. Suppose 0*r = -r + 5*d - 21, 2*d = -r + 7. Is 3 a factor of o(r)?
False
Let a = -26 + 32. Suppose -a*w - 190 = -11*w. Is 38 a factor of w?
True
Suppose -14*a = -16*a + 984. Is a a multiple of 12?
True
Let g = 23 - 14. Suppose -3*s + 6 = -g. Does 9 divide 1 + 5 + (s - 2)?
True
Suppose l + 30 = -37. Let b = 151 + l. Is 5 a factor of 1656/b + (-2)/(-7)?
True
Let q(p) = -3*p**3 + 3*p**2 + 2*p + 5. Let o be q(-4). Let d = -132 + o. Is d a multiple of 15?
True
Suppose -c - 3*o = -133, -7*o + 271 = 2*c - 6*o. Is 62 a factor of c?
False
Let n(o) = -o**3 - o**2 + 93. Let r be 7 + -2 + -1 - 4. Is n(r) a multiple of 21?
False
Let f(c) = 47*c**2 - 97*c + 387. Is f(4) a multiple of 4?
False
Suppose -4*u + 154 - 34 = 0. Is u even?
True
Does 40 divide -5 + 75/20*236?
True
Suppose -z + 2*r + 321 = 0, -5*r = z + 2*z - 985. Is z a multiple of 81?
False
Suppose 2*t - 49 = c, t - 3*c - 29 = 2*c. Is 24 a factor of (98/(-3)