a multiple of 19?
False
Let i = -9 - -14. Suppose -5*s - 342 = 4*h, s + 0*s + i*h = -81. Let l = -46 - s. Is 10 a factor of l?
True
Suppose 0 = -3*c - 5*u + 623, 221 = c + 3*u - 8*u. Suppose m = -2*f - 67 + c, 3*m = f - 86. Does 17 divide f?
False
Let q = 46 + -44. Suppose y = 2, 5*y = q*o + 30 - 198. Is 38 a factor of o?
False
Suppose -11*l = 109 - 901. Let k(i) = i - 1. Let t be k(4). Suppose -t*y + l = -54. Is y a multiple of 14?
True
Suppose -5*n + 4*n + 2 = a, -4*a + 10 = 2*n. Does 15 divide a/4 - (-2478)/56?
True
Suppose 3*m + 20 + 10 = 0. Does 10 divide (-126)/m - 8/(-20)?
False
Let d(c) = c**2 + c - 73. Is d(21) a multiple of 25?
False
Let f be (-40)/(-7) + (-2)/(-7). Suppose -5 = 5*n - f*n. Suppose -2*c + 102 = 5*y - 208, -2*y + 95 = -n*c. Is y a multiple of 30?
True
Suppose 5 = n + 2*f, 0 = 4*f - 3 - 5. Let g(z) = 63*z**2 - 2*z + 2. Does 10 divide g(n)?
False
Let i(f) = f**2 + 40. Let r be (1 + 2)*(-5 + 4). Let m = -3 - r. Does 20 divide i(m)?
True
Suppose -81 = -11*w + 744. Is 15 a factor of w?
True
Suppose -1257 = -17*x + 14*x. Suppose 2*q - q = l + 106, 4*q = -l + x. Does 39 divide q?
False
Let c = 122 + -82. Is 10 a factor of c?
True
Suppose 3*d - i = 144, 3*d = -4*i + i + 132. Suppose -21 = r - v, -v = 2*r + 1 + d. Let x = -7 - r. Is 8 a factor of x?
True
Suppose 18*l = 3*i + 22*l - 2971, 4*i - 3961 = -5*l. Is 43 a factor of i?
True
Suppose -1882 = -13*m + 1212. Is 20 a factor of m?
False
Suppose 5*n = 447 + 843. Is 3 a factor of n?
True
Does 12 divide (4/(-8))/(2/4)*-816?
True
Suppose 615 = -143*m + 148*m. Does 10 divide m?
False
Let q(t) = -4*t**3 - 10*t**2 + 4*t + 17. Let k(m) = -m**3 + m**2 + 1. Let s(c) = -3*k(c) + q(c). Does 22 divide s(-14)?
True
Suppose 5*s - 2 = -2*j, -4*s = -6*s - 2*j - 4. Suppose 3*x - 375 = 4*q, 0 = -2*x + s*q - 4*q + 236. Does 18 divide x?
False
Let q = 39 + -36. Suppose -t = -q*g + t + 15, 20 = 4*g - 4*t. Suppose 314 = g*n - 316. Does 30 divide n?
False
Let v(j) = -22*j - 16. Let o be v(-1). Suppose -o*x + 3*q - 267 = -11*x, -4*x + 212 = 4*q. Is 5 a factor of x?
False
Suppose -820 = 5*n + h, 0*h + 4*h = -2*n - 310. Let m = n - -244. Is m a multiple of 10?
False
Let r be (-4)/6 + (-8 - 245/(-21)). Let s = 37 + 26. Suppose 5*f = -3*i - 17 + 74, 5*f - s = r*i. Does 4 divide f?
True
Suppose a + 4*a = u + 1475, 2*a - 572 = 4*u. Does 8 divide a?
True
Does 34 divide (2 - 5/10)*-2 - -309?
True
Let u be 2/((-24)/(-15) + -2). Let c(b) be the third derivative of b**5/15 + b**4/4 + b**3/3 + 11*b**2. Is 23 a factor of c(u)?
False
Is 25 a factor of -4 + 435 + 1 + -7?
True
Let a(r) be the third derivative of r**5/60 - 11*r**4/24 + 5*r**3/6 + 25*r**2. Is 2 a factor of a(11)?
False
Suppose 2*n = -46 + 188. Let y = -30 + n. Is 6 a factor of y?
False
Let m(t) = t**2 + 6*t - 7. Let g be m(-6). Let w = -16 - g. Let d(h) = -h**3 - 8*h**2 + 4*h + 6. Does 33 divide d(w)?
False
Suppose 0 = -21*i + 34*i - 21450. Is i a multiple of 15?
True
Let j(o) = -50*o - 13. Let g be j(-10). Let n = g - 331. Suppose 156 = 2*w + q - 5*q, 2*w - 2*q = n. Is 19 a factor of w?
False
Let l be 6/(-18)*30/(-2). Suppose 4*p = -l*z + 203, 47 + 4 = p + z. Let y = 77 - p. Is y a multiple of 18?
False
Suppose 2*a = -y - 0*a + 6, 5*y + 3*a = 51. Let f = -8 + y. Is 15 a factor of ((-2)/f)/((-9)/540)?
True
Let a(w) = w**3 + 23*w**2 + 6*w + 44. Is 50 a factor of a(-21)?
True
Let i be (-10)/(-15)*60/8. Suppose 3*c + 4*o = -o + 62, 4*c - i*o = 141. Is c a multiple of 4?
False
Let j(p) = -p**3 + 18*p**2 - p - 79. Does 22 divide j(8)?
False
Let f = -298 - -502. Is f a multiple of 6?
True
Let b = 1 - 0. Let x(c) = 18*c. Let n be x(b). Suppose 0*v + n = 2*v. Is v a multiple of 3?
True
Suppose 2*t - 4 = 4. Let c be (-440)/(-33)*27/t. Let m = c - 58. Is 32 a factor of m?
True
Let f(h) = 7*h**2 + 15*h + 33. Does 19 divide f(-5)?
True
Is 9 a factor of -6 + 0 - (-275 + (-15)/(-3))?
False
Suppose 228*c - 237*c = -4788. Does 45 divide c?
False
Suppose 3*k + 7 = x - 2*x, 3*k - 3*x + 27 = 0. Suppose 4*a = 274 - 270. Is a + 1 + k - -53 a multiple of 17?
True
Let n(p) = 18*p**3 - p + 1. Is n(1) a multiple of 9?
True
Let m(j) = -4*j**3 - 8*j**2 + 4. Let n(u) = -4*u**3 - 9*u**2 + 4. Let b(w) = 6*m(w) - 5*n(w). Suppose 2*y - 5*o = 21, 5*y - o = -2 - 3. Does 10 divide b(y)?
False
Suppose 0 = -53*c + 62*c - 10593. Does 11 divide c?
True
Does 13 divide 1182/4 + (-43)/(-86)?
False
Suppose 0 = 5*i - 2*w - 5729, 8*w - 5747 = -5*i + 4*w. Is 37 a factor of i?
True
Let c(a) = -a**3 - 2*a**2 - 17*a - 50. Is 10 a factor of c(-5)?
True
Let v = 1019 - 719. Is 25 a factor of v?
True
Is (287 - 2)*(36 - 34) a multiple of 114?
True
Let r(z) be the first derivative of z**4/4 - 16*z**3/3 + 11*z**2/2 + 14*z - 36. Is r(16) a multiple of 21?
False
Let j = -28 - -30. Suppose w = 1, 0*w = -j*a - 2*w + 12. Is 5 a factor of a?
True
Let p(x) = 42*x**2 + x + 2. Is 21 a factor of p(-2)?
True
Let m(v) = 18*v**2 + v + 16. Does 17 divide m(4)?
False
Let p = -753 - -1688. Is 5 a factor of p?
True
Suppose 2*g = 5*r + 37, -r - 21 = -g + 2*r. Does 44 divide 3*(-2 - (-374)/g)?
False
Suppose -4*k = -428 - 228. Suppose k = m + m. Let u = -42 + m. Is 8 a factor of u?
True
Suppose 119*m - 93*m - 10946 = 0. Does 5 divide m?
False
Is 2 a factor of (28 - 2)*(-21 - -25)?
True
Suppose -515 = 5*g - 0*g. Let k = g - -175. Does 15 divide k?
False
Let b(p) = -p**3 - 46*p + 2694. Is b(0) a multiple of 16?
False
Let n be 16/(-12)*(-1 - 2). Suppose 1712 = 5*f - n*g, -349 = -f + 2*g + g. Suppose z - 136 = -2*m, 5*m + 0*m - f = z. Is 17 a factor of m?
True
Is 8 a factor of 1 + 423/6 + 7/14?
True
Let v(z) be the second derivative of -7*z**3/6 + 47*z**2/2 + 8*z. Is 15 a factor of v(-8)?
False
Suppose -x + 517 - 108 = 0. Does 14 divide x?
False
Suppose -2*b + 20 = -12. Let k = -6 + b. Is k a multiple of 10?
True
Let r be ((-32)/(-8) - 4)/(3 - 0). Let j(f) = -f + 74. Is j(r) a multiple of 37?
True
Let z = 16 - 16. Let r = -3 - z. Does 21 divide r/9 - 392/(-6)?
False
Let r = -59 - -213. Does 13 divide r?
False
Let c(r) = -r**3 - 16*r**2 - r + 1. Let i be c(-15). Let y = 19 - i. Is 17 a factor of y?
False
Let q = -6 + 25. Suppose 24*g - q*g - 100 = 0. Does 20 divide g?
True
Suppose -3*o - 1 + 10 = 0, -5*o + 21 = 2*c. Let z(x) = 8*x**2 - 3*x - 1. Let v be z(-3). Suppose -v = -m - c*m. Is m a multiple of 4?
True
Let k(b) = 5*b + 18. Let m be k(-6). Let y = -11 - m. Is ((-76)/(-8))/(y/2) a multiple of 12?
False
Suppose 35 = -j + 8*j. Suppose j*q + 0*o - 4*o = 482, 0 = q - o - 96. Is q a multiple of 7?
True
Suppose 2*p - 5*g = p + 189, -2*p + 3*g + 392 = 0. Does 9 divide p?
False
Suppose y = -2 + 5. Suppose 188 = 2*a + y*n, -3*n + 2*n - 2 = 0. Does 21 divide a?
False
Let c(t) be the third derivative of t**5/6 + t**4/12 - t**3/6 - 7*t**2. Let p = 3 - 2. Is 8 a factor of c(p)?
False
Let x = 18 - 7. Suppose -9*w = -x*w + 70. Suppose -n + w = 31. Does 4 divide n?
True
Let t = 2243 + -1595. Is t a multiple of 4?
True
Suppose o + 5*h - 1993 - 2645 = 0, 0 = 5*o + 5*h - 23150. Does 13 divide o?
True
Let f(m) = -37*m + 8. Let o be f(-10). Suppose -8*c + 126 = -o. Does 21 divide c?
True
Let o = 2497 + -1644. Is o a multiple of 12?
False
Suppose 0 = 5*l - 24 - 26. Suppose 4*a - 2*g - l = 0, -2*a - a + 20 = g. Suppose 3*o - 1 = a*n + 70, 2*o - 46 = 2*n. Is o a multiple of 11?
True
Let s be -4*(-4 - (-2 + -12)). Let a = s + 49. Is 3 a factor of a?
True
Let u(j) = 3*j + 11. Let t = -29 - -21. Let x be u(t). Let r = x - -28. Is r a multiple of 5?
True
Is 1265 + (-10)/(-20)*-2 a multiple of 25?
False
Let y(z) be the second derivative of 61*z**4/12 + z**3/3 + z**2/2 - 7*z. Let i be y(-1). Let m = 144 - i. Is 14 a factor of m?
True
Let r = -2406 - -2868. Is r a multiple of 77?
True
Let j(f) = -f**3 - 19*f**2 - f + 27. Let s be j(-19). Let r be ((-29)/(-3))/((-1)/3). Let w = s + r. Does 8 divide w?
False
Let r(m) = 2*m**3 - m**2 - 4*m + 704. Does 8 divide r(0)?
True
Let d = -25 + 11. Let j(z) = -2*z - 10. Does 9 divide j(d)?
True
Let u = 13 - -2. Let n be 130/u + (-1)/(-3). Does 4 divide ((-6)/n)/(4/(-78))?
False
Let u = -56 + 61. Let y(v) = -v**3 + 6*v**2 - 4*v + 6. Is 3 a factor of y(u)?
False
Suppose 3*n + 52 + 49 = 4*r, 2*n - 80 = -3*r. Is r a multiple of 3?
False
Let j be (107 + -2 - 6) + 0/1. Suppose 6*s - c - j = 3*s, -2*c = -3*s + 102. Is s a