-g - t, 0*t = -y*g - 4*t + 276. Does 6 divide g?
False
Let n(h) = -h**3 - 17*h**2 - 4*h + 23. Let o be n(-16). Let y = -43 - o. Is y a multiple of 18?
True
Let g(n) = n**2 - n + 154. Let x be g(0). Does 8 divide x/6 + (-4)/6?
False
Suppose 6*a = 5*a + u + 868, -3*a + 5*u + 2598 = 0. Is 28 a factor of a?
False
Let k(r) = r**3 - 16*r**2 - 9*r - 42. Let i be (-3)/4 - 852/(-48). Does 13 divide k(i)?
False
Let x = 28 + 181. Suppose -3*r - x = -2*f, -3*r + 2*r + 565 = 5*f. Does 7 divide f?
True
Let o(h) = h**2 + h - 9. Let y be 6/6 - (-1)/(-1) - -3. Is 2 a factor of o(y)?
False
Let v(m) = 4*m**2 + 29*m - 127. Is v(4) a multiple of 3?
False
Let i(l) = 81*l - 151. Is i(9) a multiple of 17?
True
Suppose -4 = -4*c - 2*x + 4, 10 = 5*x. Let b = 7 + c. Suppose 2*r = 6*r + b, -r + 102 = 2*a. Is a a multiple of 13?
True
Let x be 10/(-20) - ((-39)/6)/1. Suppose 0 = -4*d - 4*k + 1204, 11*k = 5*d + x*k - 1535. Does 17 divide d?
False
Let h(d) = -6*d**2 + 4*d - 2. Let s be h(4). Let l = s + 178. Is l a multiple of 12?
True
Suppose -6*j + 459 + 297 = 0. Is 3 a factor of j?
True
Let u be 3/2*(-16)/(-6). Suppose -5*r + r = t - 117, -429 = -u*t - 3*r. Suppose 3*d = -2*k + 99, 4*d + 1 = 2*k - t. Is 16 a factor of k?
False
Let j be (-32)/(-18) - 4/(-18). Suppose a + a = -j. Does 13 divide 0/(3/a) + 39?
True
Let i(b) = 2*b + 21. Let a be i(-9). Suppose 5*g - 3*u - 146 = 0, 0 = a*g - 2*g + 4*u - 20. Suppose -109 = -3*o - g. Is 27 a factor of o?
True
Suppose 0 = f - c - 2226, 0 = -5*f + 4*c + 10715 + 415. Does 70 divide f?
False
Let j(f) = -f**3 + 11*f**2 + 10*f + 9. Let l be j(12). Let w = -15 - l. Suppose -u - c + 18 = u, -2*u - 2*c + 22 = w. Does 7 divide u?
True
Does 43 divide (3/(12/(-86)))/(70/(-420))?
True
Suppose 2367 + 36434 = 23*l. Is 47 a factor of l?
False
Let h(u) = 4*u**2 - 8*u + 9. Let t(l) = -10 - 5*l**2 + 3*l + 6*l - 2*l. Let o(z) = -4*h(z) - 3*t(z). Is 4 a factor of o(10)?
True
Let c(h) = 5*h**2 + 17*h + 22. Let p(a) = 7*a**2 + 25*a + 33. Let d(g) = 8*c(g) - 5*p(g). Is 10 a factor of d(-3)?
False
Suppose -n = n - 24. Suppose -4*z = 4*v - 4, z + 3*z + n = 0. Does 7 divide 1431/36 - (-1)/v?
False
Suppose -o + 6*o = 0. Suppose -2*u - 5*s + 20 = o, -u = -0*u - 4*s + 16. Suppose u = -6*p + 372 + 318. Is p a multiple of 35?
False
Suppose -6*w + 2*w = -16, 0 = 5*l - 2*w - 217. Is l a multiple of 7?
False
Let k(f) = 28*f**2 - 36*f + 5. Is k(6) a multiple of 49?
False
Suppose k = 2*t + 8 + 14, 5*t = 3*k - 69. Suppose 3*u - 94 + k = 0. Does 22 divide u?
True
Suppose 33*s - 6400 = 23*s. Does 16 divide s?
True
Let m = 1 - -2. Let s(f) be the third derivative of f**4/12 + 4*f**3/3 - 112*f**2. Is 14 a factor of s(m)?
True
Suppose 226*i - 237*i + 4675 = 0. Is 5 a factor of i?
True
Let k be (-1)/(-4) - (-1)/(-4). Suppose 3*g = -5*v - k*g + 794, g + 802 = 5*v. Is v a multiple of 16?
True
Suppose d + 2*h = 163, 2*d + h = 350 - 27. Let v = d - 296. Let c = v + 191. Is 26 a factor of c?
False
Suppose -3*j - 3*f + 88 = 2*j, -3*f - 112 = -5*j. Let w(m) = 5*m - 2. Let x be w(-2). Let k = x + j. Does 8 divide k?
True
Let z = -70 + 76. Does 17 divide 920/z + (-2)/6?
True
Does 3 divide ((-36)/8 + 3/6)*-7?
False
Let y(f) = f. Let x(k) = -76*k - 7. Let q(o) = -x(o) + 5*y(o). Let g be q(3). Let w = -131 + g. Is 34 a factor of w?
False
Is 10 a factor of (2902/(-12))/(((-20)/24)/5)?
False
Let h be ((-15)/(-2))/((-4)/8). Let y be (-13)/(-3) + 5/h. Suppose 5*o + 6 = -3*d, 0*d - y*d = 5*o + 3. Is d a multiple of 3?
True
Let c(l) = 3*l**2 + 3*l - 19. Let w(t) = 4*t**2 + 4*t - 20. Let d(g) = -3*c(g) + 2*w(g). Let h be d(0). Let q = 30 - h. Does 6 divide q?
False
Let n(x) = -323*x + 13. Does 12 divide n(-1)?
True
Let h(t) = 8*t**2 + 3*t - 9. Let o(v) = 7*v**2 + 2*v - 8. Let m(b) = -5*h(b) + 6*o(b). Suppose -7 = -2*p - 3*n - 3, -36 = 4*p - 5*n. Does 16 divide m(p)?
False
Suppose -5 - 20 = -5*z. Does 34 divide (2 + (4 - z))/(2/180)?
False
Suppose 5*x + 454 = 7*x - o, -4*o + 920 = 4*x. Is x a multiple of 4?
True
Let b(u) = 76*u**2 - 4*u + 5. Let j be b(1). Suppose -15 = -a - 0*a. Suppose -a = -z + j. Is 24 a factor of z?
False
Let l = -5 + 8. Suppose 2 = f - l. Let z(r) = -r**3 + 6*r**2. Is z(f) a multiple of 9?
False
Let q = 911 + -2. Is 7 a factor of q?
False
Let t = -44 - -71. Suppose -24*w + t*w - 279 = 0. Is w a multiple of 13?
False
Suppose 0*d = -10*d + 190. Let n(t) = 3*t + 7. Is 25 a factor of n(d)?
False
Let x = 1261 + -715. Does 39 divide x?
True
Suppose -d + 4*n = -62 - 1060, -3*d = -n - 3366. Let o be d - (1 + (-2 - 1)). Is 18 a factor of (-1)/7 - o/(-28)?
False
Let m be -75 - (-16)/(5 - 1). Let b = 122 + m. Does 10 divide b?
False
Let q(o) = 13*o**2 - 3*o + 3. Let k be q(1). Suppose 8*w - k*w + 245 = 0. Is 11 a factor of w?
False
Suppose 0 = 5*s + 10, 0 = -z - 2*s - s + 15. Suppose x = 4*g + 2, 3*x - 6 = -g - g. Suppose 169 = 5*b + y, 0 = x*b + 5*y + z - 84. Is b a multiple of 17?
True
Suppose 992 = 3*m - 5*i, -5*m + 19*i + 1640 = 14*i. Is 27 a factor of m?
True
Let b(s) = -41*s + 16. Is 6 a factor of b(-4)?
True
Suppose -55*g + 160 = -51*g. Let r = -21 + 119. Let m = r - g. Does 13 divide m?
False
Let k(z) = 2*z - 3. Let n be k(8). Suppose -7 = -4*v + n. Does 17 divide 263/v - (-20)/50?
False
Let i(a) = 3*a**3 + a + 1. Let p be i(2). Suppose j + 5*r - 7 = r, 21 = -j + 3*r. Does 3 divide (j/p)/((-1)/9)?
True
Let f(t) = -t + 3. Let c be f(0). Suppose -c*z + 4 = -2*z. Is 4 a factor of z?
True
Let p = 166 - 133. Is p a multiple of 17?
False
Let w(x) = -x + 7. Let c be w(-5). Suppose 7*i - c*i = -350. Suppose 2*d = -3*d + i. Is 5 a factor of d?
False
Let z = -55 + 9. Let i = z + 91. Is i a multiple of 8?
False
Let k(t) = t**2 + 11*t + 25. Does 6 divide k(-15)?
False
Does 16 divide ((-450)/(-125))/(6/160)?
True
Let c = 185 - -435. Is c even?
True
Let i = 14 + -14. Suppose 3*z - 4*l = 21, -2*z + 4*l + 0*l + 18 = i. Suppose z*s = -0*s + 54. Is 6 a factor of s?
True
Suppose 418 = 7*o - 324. Is 12 a factor of o?
False
Suppose -167 = 2*o - 7*o + 2*y, -2*y = 2*o - 78. Suppose 5*l = -5*g + o, 0*g + 2*l = -g + 4. Let h(p) = p**3 - 8*p**2 - 12*p - 12. Is 25 a factor of h(g)?
False
Let l(o) = -o**2 - 18*o - 1. Let k be l(-14). Suppose k*f + 130 = 60*f. Does 12 divide f?
False
Let w be 14*1*3/2. Is (-9)/w - 1101/(-21) a multiple of 30?
False
Suppose 0 = m + 4*n + 12, 0*m + 3*m + 8 = -5*n. Let v(z) = z**3 - 1 - z + 3*z**2 - 6*z**2 + 0*z**2. Is 10 a factor of v(m)?
False
Let k(d) = 130*d**2 + 253*d - 1. Is 19 a factor of k(3)?
False
Suppose o - 149 = -4*j, -5*o - 152 = 3*j - 829. Let i = o - 93. Is 20 a factor of i?
True
Let m(t) = -9*t - 30. Let k(h) = 6*h + 20. Let p(d) = -7*k(d) - 5*m(d). Let v = -58 - -65. Is p(v) a multiple of 20?
False
Suppose 2*g = -g - 396. Let o = -92 - g. Is o a multiple of 10?
True
Let s(j) = j**2 + 7*j - 2. Let m be s(-7). Let b = m - -4. Suppose 0 = 3*c + b*c - 140. Is 14 a factor of c?
True
Let d = 62 - -47. Suppose -2*u - 5*p = -193, -u + d = 7*p - 2*p. Does 6 divide u?
True
Let u(d) = -2*d**3 - 27*d**2 - 31*d + 33. Does 59 divide u(-13)?
False
Let o(m) be the second derivative of m**4/12 - m**3/3 - 20*m**2 - 45*m. Does 5 divide o(10)?
True
Suppose 2*b + 0*b - 20 = 0. Let s(z) = -z**2 + 8*z + 40. Is 3 a factor of s(b)?
False
Suppose 10 = -5*s, -4*s - 40 = -5*w + 58. Let m = 12 + w. Is m a multiple of 4?
False
Let s(p) = 29*p + 2*p**2 - 64*p + 37*p - 12. Is s(-6) a multiple of 12?
True
Suppose -381 = -4*u - 177. Does 2 divide u?
False
Suppose -5 + 0 = -w, w = -5*t + 2650. Does 23 divide t?
True
Let r = -196 + 914. Does 15 divide r?
False
Suppose -5*s + 10 = 0, 0 = -6*t + t - 4*s + 33. Suppose -o + 6*o = t*x - 10, 0 = o - 1. Suppose 85 = -x*j + 4*j + 3*w, 5*w + 192 = 2*j. Does 21 divide j?
False
Let s = 1695 + -1597. Is 7 a factor of s?
True
Let k(t) = 11*t**2 + 7*t + 17. Is k(-7) a multiple of 39?
True
Suppose -r + 5*r = 3*v - 69, 0 = r + 5*v. Let q = 99 + r. Is 21 a factor of q?
True
Suppose 8*x - 3*x - 2*x = 0. Suppose 5*s + 3*n - 444 = x, 3*s - 2*n - 107 = 167. Is 12 a factor of s?
False
Suppose -7*c + 0*c = 21. Let v(k) = 3*k**2 + 2*k + 3. Does 13 divide v(c)?
False
Let d = 119 - 127. Let z(w) be the second derivative of w**5/20 + 3*w**4/4 + w**3 + 5*w**2 - w. Is z(d) a multiple of 17?
False
Let a(k) = -1 + 3*k + 2*k**2 - 6*k**2 - 5*k**3 + 6*k**3. Let v(i) 