u, 3*u + p - 1 = 10. Suppose 4*q = g - 12, -4*q = -u*g - 0*q + 108. Suppose j + g = 5*j. Does 6 divide j?
True
Let a = -11 + 19. Suppose 0 = -a*t + 3*t + 3*w + 136, -4*w - 46 = -2*t. Is 14 a factor of t?
False
Let u be ((-145)/(-10))/(2/8). Let s = u - -22. Let z = -35 + s. Does 15 divide z?
True
Suppose -363 = -2*y - 3*r - 84, 3*r = 4*y - 513. Suppose -4 = -3*z + 5, -3*o + z = -y. Does 7 divide o?
False
Let r(l) = l**2 + 4*l - 2. Let u(s) = 2*s**2 + 13*s - 7. Let w(x) = 7*r(x) - 2*u(x). Let o(m) = m**2 + 12*m - 17. Let t be o(-13). Is w(t) a multiple of 12?
False
Let s be ((-154)/(-21))/11 + (-698)/(-6). Let n = s - 77. Is 5 a factor of n?
True
Let t = 775 + -713. Is 2 a factor of t?
True
Suppose 2*f - 3*l + 2 - 7 = 0, -1 = -f + 2*l. Let c = 9 - f. Suppose -2*x - 13 = c*d - 59, x + 5*d = 39. Is x a multiple of 19?
True
Let y(a) = -a**3 - 5*a**2 - 3*a + 4. Let n be y(-3). Let d(i) = i**3 + 7*i**2 + 4*i - 6. Does 14 divide d(n)?
False
Suppose -264 = -4*a + a. Suppose -5*m - a = -3*r + 29, r = 2*m + 40. Does 7 divide r?
False
Let p(n) = n**3 + 3*n**2 - 4*n - 2. Let q be p(-3). Suppose 7*y - 20 + 6 = 0. Suppose 4*j + 4 = y*a, 0 = 2*j + 4 - q. Is a a multiple of 7?
False
Let a be -4 - -3 - (1 + -6). Suppose 4*r + 180 = a*z, 5*z + r = 5*r + 225. Does 14 divide z - (-2 + -1)*-1?
True
Let h(n) = n**3 - 16*n**2 + 19*n + 20. Is h(15) a multiple of 3?
False
Suppose 112 = 7*m - 2*m + 3*r, 5*m = r + 96. Suppose -m = y + y. Let j = y - -15. Is j a multiple of 2?
False
Suppose 6*j - 4*j + 4 = 0, -8 = -2*o + 4*j. Suppose o*f = -4*f + 456. Is 38 a factor of f?
True
Suppose -x = o - 8, -4*x + 3*o + 26 = -2*x. Suppose 5*i = -x, -a - a + 5*i + 14 = 0. Does 20 divide 15/((-11)/(-4) - a)?
True
Suppose 211 - 813 = 4*x - 2*p, x + p = -158. Let f = x - -477. Is 5 a factor of (f/(-90))/((-2)/5)?
False
Let o = 373 - 114. Is 7 a factor of o?
True
Let v be 12/(-15)*35/(-14). Suppose -4*b = -v*b - 76. Let l = -35 + b. Is 2 a factor of l?
False
Let m(i) = -i**3 - 6*i**2 - 2*i - 8. Let y be m(-6). Suppose 399 = y*o - 1. Suppose -4*t + 28 = -o. Is 11 a factor of t?
False
Let u be (-3)/6 + (-26)/(-4). Let r(d) = -5 - 3*d + u + 2. Is r(-4) a multiple of 4?
False
Let k = 3 + 3. Suppose -k*h = -5*h. Suppose h = i - 25 - 8. Is 8 a factor of i?
False
Suppose -124 = -2*o + 228. Suppose -2*p - o = -4*p. Let r = 131 - p. Is r a multiple of 12?
False
Suppose 0 = -2*x + 9*x + 91. Suppose 0*t + 3*t = 84. Let v = t - x. Is 8 a factor of v?
False
Suppose -10 = -6*j + 2*j - 3*k, 2*j - 2*k + 2 = 0. Is 27 a factor of j/6 + (-641)/(-6)?
False
Suppose 50*r - 49*r - 2*h = 137, -667 = -5*r + h. Does 19 divide r?
True
Let t(c) = 2*c - 12. Let q be t(5). Let z be ((q + 10)*-6)/(-1). Suppose -z = -n - 0*n. Is n a multiple of 22?
False
Let y be (-25)/(80/(-24) - (-6)/2). Does 11 divide y/2*(-8)/(-10)?
False
Let a(x) = 3*x**3 - 5*x**2 + x + 2. Let j = -6 - -9. Let v be a(j). Suppose -n + c = -v, 4*c = 5*n + 2*c - 199. Is n a multiple of 13?
True
Suppose -5*a - 479 = -3*c, -c + 0*a + 193 = 5*a. Is 84 a factor of c?
True
Let s = -37 - -52. Suppose 271 - s = 2*a. Is a a multiple of 11?
False
Let y(f) = 0 - 717*f**2 + 3 - 7*f + 718*f**2. Let g be y(7). Suppose g*x + x = 152. Is x a multiple of 17?
False
Suppose 5*d = -2*s + 61 + 13, 0 = 4*d + s - 58. Suppose -18*b + d*b = -28. Does 7 divide b?
True
Let c(h) = -h**2 + 7*h + 11. Let b be c(8). Suppose -3*u - 3*z + 9 = 0, 7*u - z = b*u + 2. Let t(o) = 113*o**3 + 1. Does 31 divide t(u)?
False
Suppose -2969 = -27*u + 4591. Is 14 a factor of u?
True
Is 12 a factor of (((-12)/15)/(-1))/((-3)/(-1395))?
True
Does 22 divide (-220)/(-1) + (0/(-1))/(-9)?
True
Let m be (36/(-14))/((-35)/1715). Suppose 0*z - 3*z + m = 3*i, i + 180 = 5*z. Does 7 divide z?
False
Let b be (485/7 - (-2)/(-7)) + 2. Suppose 4*a = -2*c - b + 227, 4*c = a + 312. Is c a multiple of 32?
False
Let t(m) = m**2 + 10*m + 11. Suppose -4*d - 54 = 2*d. Let h be t(d). Suppose h*z = -2*z + 212. Is 11 a factor of z?
False
Suppose 0*d = -2*d + 8, 2*r - 1970 = -2*d. Is r a multiple of 20?
False
Let k = 15 - 11. Suppose 13 = -k*c - 5*l, c - 1 = -3*l + 1. Let x = 0 - c. Is x even?
False
Let c = 203 - 65. Let a = c - -146. Suppose -5*j + a = n, 3*j + 4*n - 53 = 2*j. Is j a multiple of 19?
True
Suppose -6*i + 76 = m - 7*i, -2*i + 10 = 0. Is m a multiple of 9?
True
Let w be (-2)/(4 + -6)*-2. Let l = w - -38. Suppose x - l = 4. Is 8 a factor of x?
True
Let u = -11 - -11. Suppose u = -5*z - 62 - 38. Is 48/5 + (-8)/z a multiple of 7?
False
Suppose 2*y - 64 = -2*y. Suppose 4 - y = -3*p. Suppose -p*q = -32 - 20. Is q a multiple of 13?
True
Let k(u) = -u**2 + 7*u - 4. Let p(v) = -8*v - 8. Let o(f) = 4*f + 4. Let y(h) = -7*o(h) - 3*p(h). Let z be y(-2). Does 3 divide k(z)?
False
Is 15 a factor of 9 - (20 - 0) - -666?
False
Let o = -19 + 22. Suppose 5*p = -2*u + 260, -5*u + o*p = -0*u - 681. Is 27 a factor of u?
True
Let f(n) = -n**3 - 4*n**2 + 35. Is 34 a factor of f(-10)?
False
Suppose 0 = -3*p - 0*p + 207. Suppose p + 15 = 4*z. Does 6 divide -3 + 7/(z/78)?
False
Does 59 divide (-14)/(-28)*-5 - (-831)/2?
True
Let j(r) be the third derivative of 1/4*r**4 + 0*r + 1/3*r**3 + 5*r**2 + 0. Is 18 a factor of j(4)?
False
Let y(u) = -u**2 + 8*u + 2. Let j be y(6). Let b = j + -9. Suppose 0 = 5*t + b*r - 145, -t - 4*t = -5*r - 105. Is t a multiple of 25?
True
Let p(c) = c**2 + 2*c + 31. Suppose -16*s - 225 = -17. Is p(s) a multiple of 6?
True
Let y(x) = -3*x - 18. Suppose -k = 3*v + 28, 3*v + 0*k + 32 = -2*k. Is y(v) a multiple of 6?
True
Let w = -216 - -383. Is 30 a factor of w?
False
Let l(p) = -24*p + 4 + 6*p**2 + 27*p + 3. Is 22 a factor of l(4)?
False
Let i be (-16)/4*(-1)/(-2). Let y = 131 + i. Is y a multiple of 31?
False
Suppose -4*k + 449 = -1343. Is 28 a factor of k?
True
Let z = -5821 - -2851. Let x be z/42 + 2/(-7). Let q = -43 - x. Does 7 divide q?
True
Suppose -5*z + 5*j = -35, 0 = -z - 3*j - 1 - 12. Is 280/25 - z/10 even?
False
Let n = -45 - -49. Suppose -5*d = n*w - 103, -5*d + 28 = 5*w - 97. Is w a multiple of 14?
False
Let p be 2/((-5 - -4) + -1). Let u be p/(-4) + 178/(-8). Let w = u - -41. Does 3 divide w?
False
Is 3 - -1 - (4 - 0 - 378) a multiple of 21?
True
Let q = -25 - -69. Is 7 a factor of q?
False
Let l(x) be the first derivative of -9*x**2/2 - 2*x + 13. Is l(-8) a multiple of 9?
False
Let k(q) = -2 + 15 + 2*q + 0*q. Let x be k(-13). Let l = -6 - x. Is l a multiple of 4?
False
Does 5 divide 385*(-2)/4*(-44)/55?
False
Is 7 a factor of (-4)/36*-569 + (-24)/108?
True
Let z(q) = -q**3 - 3*q**2 - 9*q + 1. Let t be z(-5). Suppose t = 4*n - 3*s - s, 51 = 4*n + 5*s. Is n even?
False
Suppose 0 = -5*g + 3*u - 40, 2*g + u = 5*g + 24. Let x(k) be the third derivative of -k**6/120 - 7*k**5/60 + k**4/8 - 4*k**3/3 - 2*k**2. Does 12 divide x(g)?
False
Let c(f) = 88*f + 13. Let w be c(-2). Let h = -71 - w. Is h a multiple of 23?
True
Suppose d + 179 = -119. Let s = 418 + d. Suppose s = 7*q - 4*q. Does 11 divide q?
False
Let m = 56 + 24. Suppose 7*b = 2*b + m. Is b a multiple of 14?
False
Let c = -3 + 8. Let v(o) = o**2 - 4 + 6*o**2 - 2*o**2 - o**3 + 3*o + 2*o. Does 6 divide v(c)?
False
Let x = -7 + 13. Let c be (-52)/12 + 2/x. Is 14 a factor of (-198)/c + (-1)/2?
False
Let p(o) = o**2 + 5*o - 487. Is 29 a factor of p(-31)?
True
Let h be -2 - (3/5 - (-276)/(-60)). Suppose -7*s = -h*s - 550. Does 11 divide s?
True
Let f = -18 + 30. Suppose -2*l + l = f. Let x(j) = -j**2 - 12*j + 11. Is x(l) a multiple of 4?
False
Suppose -147*c - 1450 = -152*c. Is 22 a factor of c?
False
Suppose -4*l = -3*l. Suppose 3*c - 5*z - 135 = l, -z = c - 4*z - 45. Suppose 0*w - 5*w + c = 0. Does 3 divide w?
True
Suppose 0 = n + 3*x - 399, -893 = 4*n - 3*x - 2564. Let d = n - 294. Does 15 divide d?
True
Suppose 5*o - 10 = 0, 0*o + 1022 = 2*m - o. Does 16 divide m?
True
Let n be 6/18 - (-2)/(-6). Suppose n = -6*l - 0*l + 120. Is l a multiple of 10?
True
Let f be (2 - 112/35)/(6/(-15)). Let z = -317 + 534. Suppose -f*b + 153 = -4*o, -3*b + o = b - z. Is b a multiple of 11?
True
Let c(z) = 11*z**3 - 69*z**2 - 46*z + 244. Let q(m) = -7*m**3 + 46*m**2 + 31*m - 163. Let u(b) = -5*c(b) - 8*q(b). Is u(24) a multiple of 19?
True
Let v(l) = -73*l - 77. Is v(-6) a multiple of 19?
True
Suppose 7 = t + 3. Suppose -t*m = 1 - 13. Suppose -66 = n - m*n. Do