multiple of 4?
False
Let r = -84 + 244. Let u = r - 52. Does 10 divide u?
False
Suppose 0 = 4*u - 4*c + 48, -6*u - 42 = -u + c. Let v(t) = -t**3 - 9*t**2 - t - 1. Is 4 a factor of v(u)?
True
Let z(x) = -x**3 - 5*x**2 + 5*x. Let v be z(-5). Let i = 19 - v. Is i a multiple of 22?
True
Suppose -3*m + 68 = -d, m = d + 2*d + 180. Let o = d + 84. Does 5 divide o?
True
Let q = 34 + 44. Let t = -352 - -322. Does 5 divide (20/t)/((-4)/q)?
False
Suppose 113*w - 114*w - 6 = 0. Let d(q) = -3*q + 13. Let s(h) = -h + 3. Let p(x) = -2*d(x) + 9*s(x). Does 19 divide p(w)?
True
Suppose 7*r = 9 + 5. Suppose -m + 39 = r*q, -4*q = -m - 3*m - 108. Does 13 divide q?
False
Let z = -57 - -95. Does 5 divide z?
False
Suppose 0 = -3*m, 4*u - 4*m + 13 + 19 = 0. Let g = -3 - u. Suppose -5*j + 3*y + 84 = 4*y, 5*j = -g*y + 80. Is 4 a factor of j?
False
Suppose 20*p = 18*p + 728. Is 18 a factor of p?
False
Suppose -11310 = 8*f - 38*f. Is f a multiple of 10?
False
Suppose -8 = -6*x + 2*x. Suppose x*u + 2*u = 16. Suppose -u*b - 6 = -2*v + 16, 15 = 3*b. Does 16 divide v?
False
Suppose -26*i + 88120 + 11668 = 0. Is 19 a factor of i?
True
Let u be (-3 - -4)*-1 + 3. Suppose -4*h = -u*h - 254. Suppose 3*b - h = -13. Is 12 a factor of b?
False
Let r = -58 + 68. Suppose r*z = 11*z - 282. Is 19 a factor of z?
False
Let w = 1241 + -1215. Is w a multiple of 2?
True
Let v(j) = 11*j - 2. Suppose -8*h + 11 = -7*h. Let q be v(h). Suppose 0 = -y + 4*w + 17, -4*y - w = -17 - q. Is 9 a factor of y?
False
Let p(i) be the second derivative of -i**3/6 - 3*i**2/2 - 6*i. Let x be p(-7). Does 16 divide x/(-18) + (-1520)/(-36)?
False
Suppose -5*i - 58 = -q, 4*q + 1 = -i + 2. Let u = 49 + i. Is 8 a factor of u?
False
Suppose -5*m + 3*v = v - 46, -m + 23 = -5*v. Suppose 0 = -3*y + m*y - 260. Does 13 divide y?
True
Let x(h) = 6*h - 85. Let c be x(12). Let i be (-1 - 1)/((-2)/30). Let m = c + i. Is m a multiple of 7?
False
Let k(o) = 5*o - 8. Let z be k(2). Let p be (1 - z) + -2 - -348. Suppose -7*i + p = -2*i. Is 23 a factor of i?
True
Suppose -3472 = -31*d - 25*d. Is 3 a factor of d?
False
Suppose -6*p = -p - 10. Let m(l) = 0*l + 2*l**2 + 3*l**2 + 2 + 4*l**p + l**3 - 3*l. Is 10 a factor of m(-9)?
False
Let c(y) be the third derivative of 0 - 2*y**2 - 1/6*y**4 - 1/3*y**3 + 0*y. Is c(-4) a multiple of 4?
False
Suppose -8*a + 5711 = -5377. Is 77 a factor of a?
True
Let x = 764 - 544. Is x a multiple of 22?
True
Let h(v) = -v**3 + 46*v**2 - 186*v - 3. Is 57 a factor of h(41)?
False
Let h = 19 - 2. Let f = h + -14. Suppose x + f*x - 200 = 0. Is 11 a factor of x?
False
Is 122/((-2)/(-2)) + (-350)/70 a multiple of 9?
True
Let g = 1452 - 736. Does 6 divide g?
False
Let v(n) = 8*n + 287. Is v(42) a multiple of 60?
False
Let x = -11 - -16. Suppose -x*u = -5, -u - 1 = -4*i - 2. Suppose i*m - m + 63 = 0. Is m a multiple of 16?
False
Suppose -22*g + 21*g - 2*w + 472 = 0, 2360 = 5*g - 3*w. Does 8 divide g?
True
Suppose 0 = -50*p + 34*p + 8640. Is p a multiple of 10?
True
Let f be (7 + -1)*3/2. Suppose 0*h = h - f. Suppose 4*j + 230 = h*j. Is 8 a factor of j?
False
Let q = 0 - -4. Suppose 0 = q*a + 42 - 2. Does 30 divide (9 + 0)/((-1)/a)?
True
Let s be 12/36 - (-4)/6. Does 24 divide (s - 19)*28/(-21)?
True
Let g = 12 + -17. Is 68 + -4*5/g a multiple of 16?
False
Let h = -4 + 454. Is h a multiple of 18?
True
Let g = -3 - 1. Let i be 18/g*2/(-3). Let m = 43 + i. Is m a multiple of 23?
True
Let w be (2 - 2)/(-1 - 1). Suppose w = -5*a + 3*a. Suppose 5*q - 210 = -a*q. Is 13 a factor of q?
False
Let v be -3 - (2/(-4) + (-6)/(-4)). Does 33 divide (v*3/(-9))/((-2)/(-396))?
True
Let r = -12 + 14. Suppose 0 = -0*w - r*w + 78. Suppose w = -3*u + 6*u. Is 12 a factor of u?
False
Let q = -468 + 607. Is 4 a factor of q?
False
Let v(s) = s**3 - 11*s**2 + 11*s + 10. Suppose -11 = -2*w + b, 3*w - 3*b = -0 + 21. Suppose w - 24 = -2*i. Does 10 divide v(i)?
True
Let a = 130 + -68. Suppose 3*n + a = 5*n. Suppose 13 = 4*h - n. Does 11 divide h?
True
Let a(d) = -2*d - 7. Let m be a(-5). Suppose -m*j = 103 - 337. Does 30 divide (j/(-9))/((-1)/9)?
False
Suppose 3819 = 11*b + 8*b. Does 67 divide b?
True
Let f(v) = v**3 - 11*v**2 - 7*v - 2. Let j be f(12). Suppose -4*a - j = -d, -3*a = d - 6*a - 57. Suppose -l - 2*l = -d. Does 5 divide l?
False
Let d = -2575 + 3834. Is d a multiple of 11?
False
Let y be ((-54)/(-4))/((-12)/(-72)). Let s = y + -34. Is 15 a factor of s?
False
Let p(g) be the second derivative of g**7/1260 + g**6/72 + 7*g**5/120 - 5*g**4/6 + 10*g. Let m(a) be the third derivative of p(a). Is 6 a factor of m(-6)?
False
Let z(g) = 2*g + 9. Let p be (-5 + 6)*(3 - 6). Let k be z(p). Is 30 a factor of k - 7/((-35)/220)?
False
Let a(u) = 9*u + 5. Let p(j) = -4*j - 2. Let b = 6 - -1. Let h(q) = b*p(q) + 3*a(q). Is 6 a factor of h(-14)?
False
Suppose 2085 + 1390 = 5*m. Suppose -2*u + 295 = 2*z + z, m = 5*u - z. Suppose -4*k - 3*n + u = 0, 3*n = -k + 4 + 31. Is k a multiple of 11?
False
Let g = -24 + 69. Suppose -6*o + g = -117. Is o a multiple of 9?
True
Let x be (-4)/18*-3*3. Suppose 101*t = 106*t - 60. Is 13 a factor of 3/x - (-426)/t?
False
Let g(z) = z + 81. Let l be g(0). Suppose 0 = a + 3*k - 16, -11 = 5*a + 5*k - l. Is a a multiple of 8?
False
Suppose 18*s - 7900 = 14*s. Is s a multiple of 6?
False
Suppose -20*j - 3*n + 283 = -19*j, 0 = -2*j + 3*n + 539. Is 12 a factor of j?
False
Does 22 divide (55/(-4))/((-25)/1200)?
True
Suppose 5*x + 17*v - 15*v - 2538 = 0, -5*v + 1032 = 2*x. Does 23 divide x?
True
Suppose -6*m + 4*m = -4. Suppose 0 = -h + m + 2. Suppose 5*p + h*g = 64, -2*p - 2*g = g - 20. Does 8 divide p?
True
Let t(l) = 5*l**3 - 11*l**2 + 50*l + 4. Is 12 a factor of t(4)?
True
Suppose 1254 = -31*k + 37*k. Does 26 divide k?
False
Suppose -4*b + b + 6 = 0. Suppose -b*g + 3 = -9. Let n(m) = 6*m - 9. Is n(g) a multiple of 5?
False
Suppose -4*z + 21 = 4*c - 1159, -599 = -2*c + z. Is 47 a factor of c?
False
Let c = 397 - 265. Let j(r) = 91*r**3 - 2*r**2 - r. Let z be j(-1). Let l = z + c. Is 10 a factor of l?
True
Suppose -2*c + 15 = -9. Let x(a) = 3*a - 18. Let f(r) = -24*r + 144. Let v(w) = 4*f(w) + 33*x(w). Is 6 a factor of v(c)?
True
Let v = -5 - -8. Suppose v*u = -3*s + 126 - 33, 2*s - 2*u - 82 = 0. Suppose -s = -4*j + 3*j. Is j a multiple of 9?
True
Suppose 3*k - 5 - 10 = 0. Let w = 0 + k. Suppose -90 - 20 = -w*p. Is p a multiple of 11?
True
Let z(v) = -v**3 - 12*v**2 - 10*v + 13. Let y be z(-11). Suppose y*i - 45 = -i. Is 5 a factor of i?
True
Let i = -13 + 13. Suppose 2*f - 5*s - 4 = -0*f, 3*f + s + 11 = i. Let p(z) = -8*z - 4. Is 20 a factor of p(f)?
True
Let l = -19 + 15. Let y = l - -16. Let i = 26 + y. Is i a multiple of 20?
False
Let u = 3864 + -2298. Is u a multiple of 18?
True
Suppose 0 = 5*u - 75 + 25. Let h(r) = 2*r**2 - 13*r - 15. Is h(u) a multiple of 55?
True
Suppose p + 2*t = -0*p + 7, -5*p = -5*t - 20. Suppose -p*q - 4 = -3*q. Is 25 a factor of 15*-5*2/q?
True
Let q(b) = 6*b**2 + 8*b - 6. Let v be q(5). Let p = v + -5. Is 47 a factor of p?
False
Suppose -t - 4 + 0 = 0. Let k be t*(6/(-4) + 1). Suppose -n + 2*v + k = v, 2*n - 5*v = -2. Does 2 divide n?
True
Let s = 61 + -55. Suppose s = l - 50. Is 14 a factor of l?
True
Suppose 13*z - 26 = 13. Suppose -2*t - 100 = -5*j + 4*j, -z*j + 2*t = -288. Is j a multiple of 13?
False
Let l be (13 + 0)*(-8)/(-16)*26. Let m = l + -59. Is 22 a factor of m?
True
Suppose 5*o - 2*p - 13 = -5*p, o = 3*p + 17. Suppose -5*v + 105 = o*l, 5*v + l - 137 = 4*l. Is 25 a factor of v?
True
Let y(b) = 0*b + b**2 - 5*b - 2*b**2 + 9. Let a be y(-7). Let k(o) = -2*o - 3. Is k(a) a multiple of 4?
False
Let h be (-388)/(-15) + 4/30. Let u be h/2*-1 - -3. Is 10 a factor of 5/(u/14)*-7?
False
Let w = 620 - 228. Let x = w - 244. Does 18 divide x?
False
Suppose 1496 = 158*l - 154*l. Is 17 a factor of ((-3)/(-3))/(2/l)?
True
Suppose -4918 = -34*r + 27110. Does 21 divide r?
False
Suppose 1512 - 408 = 4*j - 3*o, -o + 283 = j. Is 3/24 - j/(-8) a multiple of 5?
True
Let z(m) = -m**2 + 9*m - 3. Let h be z(8). Suppose 3*j - 179 = -h*t, -3*t = t + j - 146. Suppose -v + 24 = -2*x - 4, v + x = t. Is 17 a factor of v?
True
Suppose 5*r = 8*r - 54. Suppose -2*o = b - r, 5*b - 7 - 57 = 3*o. Does 7 divide b?
True
Let q = 129 - 131. Let j(g) = 64*g**2 + 4. Is 52 a factor of j(q)?
True
Let k = -19 - -22. Supp