s 7 divide a(0)?
False
Let t(b) = b**3 + 3*b**2 + 4*b - 1. Let y be t(9). Suppose -5*x - 232 = -y. Let u = x - 94. Does 32 divide u?
False
Suppose -2*w - 14922 = -3*n - 728, -3*n + 4*w = -14192. Is 52 a factor of n?
True
Suppose -92*j - 3258 = -4*c - 94*j, -3*c + 2461 = 5*j. Is 58 a factor of c?
True
Suppose -20*t = 4*i - 22*t - 176740, -3*i = -3*t - 132561. Does 15 divide i?
False
Let m = 143 + -149. Does 9 divide -156*(2/3)/(8/m)?
False
Suppose t = 5*h - 4237, -46*h + t + 2541 = -43*h. Is 4 a factor of h?
True
Let f(a) = 6*a**2 + 3*a + 1. Let k be f(-2). Let l = 19 - k. Suppose -3*g + 25 = 5*q - 25, l = -3*g + 15. Is q even?
False
Let q be (-1)/((-6)/2088) - 1. Let z = q - 90. Is 13 a factor of z?
False
Suppose -2*f + 3*g + 14 + 1 = 0, -5*g - 45 = -5*f. Does 11 divide 2*22*f/3?
True
Let n(m) = -16*m + 10. Let t be n(4). Is 49 a factor of (t/(-6 - -12))/((-2)/98)?
True
Let k = 174 - 164. Suppose -1 + k = 3*a, 0 = -3*q - 4*a + 150. Is q a multiple of 2?
True
Is 88 a factor of (-2127*2/12)/(2/(-4))?
False
Let m(k) = -k + 44. Suppose -3*g + 3 = 0, 0 = -2*r - 3*r - 3*g - 167. Let h = r - -54. Does 8 divide m(h)?
True
Suppose -d - x = -5885, -3*x - 23552 = -4*d - x. Is 23 a factor of d?
False
Suppose 61969 = 32*f + 23*f - 402451. Is f a multiple of 69?
False
Is 18 a factor of (-27)/(-72) - (95018/(-16) + -1)?
True
Suppose -4 = 2*q + 4*b, -4*b + 4 = 12. Suppose -11*p + 2808 = q*p. Is 24 a factor of p?
True
Suppose -63626 + 6872 = -5*r - 2*b, -4*b = -r + 11320. Is 33 a factor of r?
False
Let v(a) = a**2 + 11*a - 12. Suppose 0 = -3*q - 2 - 22. Let u be (q/10)/(2/20*-1). Does 29 divide v(u)?
False
Suppose -16*j = -23670 - 19802. Is j a multiple of 143?
True
Is 8 a factor of -39 - (-31 + 13) - -2965?
True
Let m(j) = 355*j - 5. Let z be m(1). Suppose -42*s + 44*s - z = 0. Does 5 divide s?
True
Suppose -4*t = -n - 0*t + 413, 2*t = -10. Let m = 451 - n. Does 19 divide m?
False
Suppose -5*n - 430 = 5*v, -201 = 5*v + n + 241. Let k(z) = -6*z - 72. Let c be k(-3). Let p = c - v. Is p a multiple of 15?
False
Let s(f) = -f**3 + 12*f**2 - f + 27. Let w(a) = -a**2 - 4*a + 9. Let y be w(-4). Let z be y - (9/(-3) - -1). Is s(z) a multiple of 26?
False
Let g = 400 - 285. Let p(f) = -55*f + g*f - 11 - 59*f - 5*f**2 - f**3. Is p(-7) a multiple of 16?
True
Let n(y) = 87*y - 257. Let v be n(4). Does 2 divide ((1 - 0) + 1 + 0)*v?
True
Let v(d) = d + 24. Suppose -4*f - 24 = -f. Let b = -15 - f. Is v(b) a multiple of 8?
False
Let r(l) = l**3 + 51*l**2 + 66*l - 355. Does 73 divide r(-44)?
True
Suppose 0 = 2*j - 4*p + 8, 6*j + 3*p = 90 - 24. Suppose -2*d + 426 = d. Suppose 2*o = -j, -2*f + d = f - o. Is 9 a factor of f?
False
Suppose -38*k + 203 = -9*k. Let m(j) = j**2 - 5*j + 2. Is 8 a factor of m(k)?
True
Suppose i - 4*r = 4380, -17207 - 4693 = -5*i - 2*r. Does 15 divide i?
True
Suppose 27922*q = 27916*q + 11934. Is 17 a factor of q?
True
Let k = 17922 - 7982. Does 142 divide k?
True
Let n = 1354 + 7439. Is n a multiple of 3?
True
Suppose -20*l + 119*l - 55242 = 0. Does 18 divide l?
True
Suppose 5*i + 16916 = 3*r, 410 = -2*r + 5*i + 11689. Is 43 a factor of r?
False
Let p = -947 - -2434. Let i = -727 + p. Does 19 divide i?
True
Suppose -29*i + 40 = -34*i. Let b(d) = 8*d**2 + 4*d - 64. Does 13 divide b(i)?
True
Let u(i) = -i**3 - i**2 + i + 1. Let z be u(0). Let o be (z - (-75)/(-12))/((-12)/32). Is 4/o + (-20016)/(-112) a multiple of 23?
False
Does 56 divide (-15 - 0) + (-5037920)/(-160)?
True
Let p(w) = w**3 + 7*w**2 - 6*w + 15. Let o be p(-8). Let q be (o + 1/3)/((-18)/(-1107)). Let d = q + 107. Is d a multiple of 11?
True
Suppose 2*i + 6 = 4, -9193 = -2*r - 5*i. Is r a multiple of 63?
True
Suppose 4*g - 38 = -2*j, -2*j - 3*g = -0*g - 36. Let u(k) = 16*k - j - 29*k + 6*k - 39*k. Does 41 divide u(-3)?
True
Let p = 159 + -78. Let j = p - -149. Suppose -4*u + j = -2*y, y - 3 = -0*y. Is u a multiple of 16?
False
Let a(q) = -231*q - 1416. Is a(-24) a multiple of 92?
False
Let w(c) = c**2 + 25*c - 7. Let b be w(-26). Is 11/2*(b + 7) a multiple of 6?
False
Let m = 331 - 324. Let j(f) = -31*f + 514. Does 9 divide j(m)?
True
Let a(d) = 7*d**2 + 24*d - 32. Let s(x) = -2*x**2. Let h(v) = -a(v) - 3*s(v). Is 42 a factor of h(-16)?
False
Let p = 5175 - 2704. Suppose -9*y + 1291 = -p. Is y a multiple of 10?
False
Let b(v) be the first derivative of 5*v**4/4 + 2*v**3/3 + 15*v**2/2 + v + 63. Is b(5) a multiple of 66?
False
Let b(a) = a**3 + 36*a**2 + 21*a + 72. Does 68 divide b(-30)?
False
Suppose 0 = -2*b - 5*j + 8499, -3*j + 8504 = 4*b - 8515. Suppose 3*h = 6*h - b. Is 40 a factor of h?
False
Suppose -3*l + 48*j - 53*j = -6012, 2*l = j + 4008. Is l a multiple of 38?
False
Let w(o) = 263*o - 859. Does 7 divide w(33)?
False
Let r(j) = -j + 5. Let s(q) = q**2 + 5*q - 4. Let o be s(-6). Suppose -o*b + 4*i = 7*i + 8, -2*b = -5*i + 24. Is r(b) a multiple of 5?
False
Let t(p) = 2*p**2 + 8*p + 2. Let j be t(-4). Let w(x) = -6*x + 17. Let f be w(j). Suppose -3*a = -3*u - 624, 401 = -f*a + 3*u + 1441. Is 26 a factor of a?
True
Let w = 9383 - 8167. Is 19 a factor of w?
True
Suppose -5*s + 0*v + 110 = v, -5*v + 22 = s. Let j = -364 + 345. Let c = s + j. Is c a multiple of 2?
False
Let b = 1628 - 838. Is b a multiple of 24?
False
Let w = -40 + 7. Is 3 a factor of (-5 + (-1 - 1))/(1/w)?
True
Let o(q) = -265*q + 3941. Is o(11) a multiple of 50?
False
Let f(t) be the second derivative of -t**4/12 - 10*t**3/3 - 75*t**2/2 + 51*t. Is 25 a factor of f(-10)?
True
Let j = -3585 - -16748. Is 10 a factor of j?
False
Suppose -199 = -46*n + 169. Suppose 4*m + 0*f + 2*f - 30 = 0, 5*f - 25 = 0. Suppose n = -4*d + 5*p, 16 + 11 = m*d + 3*p. Is 3 a factor of d?
True
Suppose 3*l - 5*o = 2*l + 7, -2 = l + 4*o. Let f be -2 + 1 + l - (-1 - 5). Suppose -5*w + 3*c - f*c = -400, -c + 415 = 5*w. Is w a multiple of 7?
True
Let c(n) = -6*n**2 + 12*n - 16. Let m be c(2). Let z = 8 - m. Does 24 divide z?
True
Let r(h) = -h**2 + 45*h - 22. Let y(v) = v**2 - 91*v + 44. Let t(w) = -7*r(w) - 3*y(w). Is 38 a factor of t(16)?
False
Let i(m) = 19*m**2 - 4*m - 4. Let v(r) = 3*r**2 + 75*r - 2. Let p be v(-25). Is 8 a factor of i(p)?
True
Suppose 74 - 22 = r - 5*o, r = -5*o + 2. Let u = 11 - r. Is (-405)/(-11) + u/(-88) a multiple of 6?
False
Let s be -5*(8/(-52) - (-548)/13). Suppose 3*u + 7 + 6 = -4*x, x - 5*u + 32 = 0. Is 12 a factor of (16/5)/(x/s)?
True
Suppose 778*j - 777*j - 10905 = 0. Is j a multiple of 39?
False
Let p be 48/9*4/(48/9). Suppose p*d - 8*d + 1456 = 0. Let x = 609 - d. Does 49 divide x?
True
Let g = -374 + 394. Suppose -g*k = -40*k + 13320. Is 9 a factor of k?
True
Let p(s) = s**2 + 30. Let t(i) = i**3 + 15*i**2 + i + 17. Let w be t(-15). Suppose 0 = -w*q + 4*h + 16, -5*h - 4 = -4*h. Is 30 a factor of p(q)?
True
Let o(c) = 5*c - 17. Let d(n) = 6*n - 18. Let r(u) = -4*d(u) + 5*o(u). Let a be r(18). Suppose -x + 2 = -a. Is x a multiple of 7?
True
Let i(n) = n**2 + 5*n + 2. Let y be 10/(-75) + (-1256)/30. Let f = -36 - y. Is i(f) a multiple of 34?
True
Let w(m) = 758*m**2 + 92*m - 609. Is 14 a factor of w(7)?
False
Suppose 9*h = 5*h - 4. Let n be (61/5)/h + (-20)/(-100). Is 18 a factor of 6*(1 + (-6)/3)*n?
True
Let x = -35 + 48. Suppose 2*h = -3*m + 4, x = 3*h - 3*m + 4*m. Suppose -3*t = -h*z + 345, z + 4*t - 207 = -2*z. Does 23 divide z?
True
Suppose 8*c - 5*c - 43 = -o, -c = 4*o - 117. Is 7 a factor of o?
True
Let r(v) = 4*v - 2. Let u(s) = -8*s + 5. Let a(w) = 5*r(w) + 2*u(w). Let y be a(1). Suppose -h + g - 3 = -15, -2*g = -y*h + 40. Is 2 a factor of h?
True
Let w be 2/(-8)*(-16)/(-4) + -17. Is (-3448)/(-6) - (96/w)/(-8) a multiple of 41?
True
Let r be (-6)/(-2 - 0) + 1/(-1). Suppose -m = -4*v + 863, r*v = -m - 4*m + 459. Suppose d - 4*z + 33 = 127, 3*d + z - v = 0. Does 8 divide d?
False
Does 139 divide 1/(-7) - (671525/(-105) + (-24)/(-18))?
True
Let v(k) = -k + 6. Let g(x) = 3*x + 20. Let r be g(-5). Let f be v(r). Suppose q = -f + 2, -5*m = 3*q - 493. Is m a multiple of 14?
True
Suppose 5*j = -5*h + 30, h - 2*h = 4*j - 9. Let m(p) = 4*p**2 - p - 13. Let x be m(h). Let v = -22 + x. Is v a multiple of 10?
True
Let k = 913 + -293. Is k a multiple of 62?
True
Let w = -898 - -901. Suppose w*r + 4*c - 3926 = 0, -37*r + 35*r + 2629 = 5*c. Is r a multiple of 12?
False
Let l(c) = 2*c**3 - 74*c**2 - 153*c + 149. Is