-2*n = 3*g + 4 + 32. Let q = g - -18. Suppose -5*c + 2*c - 236 = -2*v, -4*c = q*v - 492. Is 22 a factor of v?
False
Suppose c = 224*l - 220*l - 19874, -5*c = -4*l + 19850. Does 5 divide l?
True
Suppose 0*o - 8*o = -0*o. Suppose -2*h + 3*h - 126 = o. Does 14 divide h + 3 + -2 + -1?
True
Let j(c) = -92*c + 261. Let y be j(-24). Suppose 3*b = 3*s + y + 234, -3*s = -b + 897. Is b a multiple of 43?
True
Suppose -4*x - 8*n + 34729 = -5*n, 8*x - 2*n - 69434 = 0. Is 20 a factor of x?
True
Suppose 3*t + 2*j - 132 = 3*j, 0 = -4*t - j + 176. Is 2/(-1 - t/(-43)) a multiple of 11?
False
Let q = 60 + -57. Let x be q/14*-8 - (-10)/(-35). Let z = x + 12. Is z a multiple of 10?
True
Let t(i) = -i**3 - 8*i**2 - 9*i - 10. Let c be t(-7). Let y(h) = -3*h**2 - 20*h + 6. Let x be y(c). Let j = x - -188. Is 13 a factor of j?
False
Is 111 a factor of 2 - -3 - (-1)/(2/3034)?
False
Let n(z) be the second derivative of -z**4/6 - 8*z**3 + 3*z**2/2 + 3*z - 4. Is n(-23) a multiple of 7?
True
Let u(r) = 2*r**2 + 33*r - 81. Let v be u(-30). Let p = -371 + v. Is p a multiple of 19?
False
Let w(m) = m**3 - 39*m**2 + 75*m - 41. Let r be w(37). Is 78 - (5 + -6 + r) a multiple of 40?
False
Let g(c) = -26*c - 7. Let w be g(-5). Suppose -5*r = 3*q - 697 + 160, 190 = q - 2*r. Let p = q - w. Does 11 divide p?
False
Let g(l) = 120 - 49*l - 24*l + 12*l + 11*l - 52*l. Does 20 divide g(-10)?
True
Let z = -16661 + 23549. Is z a multiple of 14?
True
Suppose -6*s = 5*z - 88022, z + 2*s = -3*z + 70426. Does 41 divide z?
False
Suppose k = 4*h - 81, -2*h - 4*k + 19 = -17. Suppose -h = 5*s, -3*n = -6*n - s + 1196. Suppose -76 = -u - 0*m - m, 5*u - 5*m = n. Does 13 divide u?
True
Does 181 divide (-4 + (-23 - -40))/(3/8427)?
False
Let a(m) = -m**3 - m**2 + 6*m - 13. Let v be a(-4). Suppose v*l - 777 - 1401 = 0. Is 11 a factor of l?
True
Let h(g) = -5*g**3 + 3*g**2 + g - 3. Let z(m) = 2*m**3 - m**2 - m + 1. Let a(o) = -3*h(o) - 7*z(o). Let n be a(4). Let k = 65 - n. Is 15 a factor of k?
True
Suppose 5*a = -3*u + 316, 0*a = -a - u + 64. Suppose -4 = -4*y - 5*f, -4*f + 1 = y - 2*f. Does 25 divide 4 - 3 - (y + a)*-1?
False
Let s(r) = 3. Let l(i) = -33*i + 5. Let n(z) = l(z) - 4*s(z). Is n(-4) a multiple of 7?
False
Suppose 2*d - 17 = -3*k - 2, 2*d - 5*k = -9. Suppose 5*p = -2*m + 1000, -2*p - m - 222 + 622 = 0. Suppose -g + p = d*g. Is 25 a factor of g?
True
Let s(j) = 9*j**2 - j + 2. Let r(a) = -2*a - 25. Let d(v) = -13*v**3 - v**2 - 2*v + 2. Let l be d(1). Let z be r(l). Does 16 divide s(z)?
True
Let v(r) = -4*r - 9. Let q be v(-7). Suppose u - 608 = 53*u + 24*u. Let j = q - u. Is j even?
False
Let w = -207 - -489. Suppose -w = -5*z - 262. Suppose -5*y + z*l = -575, 8*l - 3*l = 4*y - 460. Does 18 divide y?
False
Suppose -5*y + 6*y - 4 = 0. Suppose -2*r + 10 = 4*u, -2*u - 3*r + y - 1 = 0. Suppose 0 = 5*l - 5*s - 475, -l = 2*l + u*s - 303. Does 14 divide l?
True
Suppose 80*m - 75330 = 18*m. Does 19 divide m?
False
Let p = 21 - 21. Suppose 5 + p = -n. Let m(t) = -16*t + 28. Is 36 a factor of m(n)?
True
Suppose 2*f + 4*y = f + 7511, -18*y + 30048 = 4*f. Does 15 divide f?
False
Let x(u) = -77*u**3 - u**2 - 3*u - 6. Let p be x(-2). Is 44 a factor of 35/(-7)*p/(-5) - -4?
True
Let s(k) = -k**3 + 60*k + 336. Is 151 a factor of s(-22)?
True
Let m be (-860814)/(-81) - (-2)/3. Suppose -10*b - 2818 = -m. Is b a multiple of 21?
False
Is (-8 + (20 - -32693))/5 a multiple of 14?
False
Let m be (-1 - 6)*12/(-14). Let t(r) be the third derivative of r**5/30 - r**4/8 - 3*r**3 + 30*r**2. Does 36 divide t(m)?
True
Suppose -5*j + 5984 = 4*l, -6*j + 4784 = -2*j + 4*l. Does 43 divide j?
False
Let i = 316 - 32. Let j = i - 33. Does 20 divide j?
False
Let z(b) be the first derivative of -b**4/4 - b**3/3 - b**2/2 - 4*b - 1. Let o be z(-2). Suppose -14 = -o*t - 0*t. Does 2 divide t?
False
Let n = 163 + 107. Suppose 180 = -n*u + 273*u. Is 20 a factor of u?
True
Let z(v) = 9*v + 15. Let y(s) = s**3 - 16*s**2 + 2*s - 6. Let d be y(16). Suppose 3*o = -5*a + 38, -a = 2*o - d + 10. Is z(o) a multiple of 29?
False
Suppose 20*k - 11270 = -86*k + 50740. Does 39 divide k?
True
Let z = -7 + 308. Let c = z + -278. Is c a multiple of 3?
False
Let s = 490 - 485. Let f = 6 - 2. Suppose -41 = -3*i + 4*a - 6*a, i - f*a = -s. Is i a multiple of 2?
False
Let a be 4 + (-4 + -2)*1/2. Let z be 3*1 - (-85 + a). Suppose u + 119 = 4*g, 2*g - 2*u - z = -29. Does 3 divide g?
True
Let y be 486/42 + 3/7. Let t = -12 + y. Suppose -6*w + 128 + 124 = t. Is 7 a factor of w?
True
Let s(u) be the first derivative of 9*u**2 - 8 + 28 + 0*u - 8*u + 23. Is 19 a factor of s(11)?
True
Suppose -5*u + 16587 = 3*z - 23677, -7*u + 13384 = z. Is z a multiple of 42?
False
Let m(a) = 5*a + 50. Let h be m(-11). Let b be ((-2)/(-5))/((-1)/h). Suppose -z - 2*i = -29 + 11, b*i + 6 = 0. Is z a multiple of 22?
False
Let x(u) be the second derivative of u**4/3 - u**3 - 35*u**2/2 + 4*u - 1. Does 17 divide x(-10)?
True
Suppose -w = 6 - 18. Suppose -5*o - 4*n = -w, -2*n + 6 = 4*o + 3*n. Suppose -o = v - 2*v. Is v a multiple of 2?
True
Let o = 9169 + -2422. Is o a multiple of 19?
False
Let j(r) = 4*r**2 + 30*r + 80. Let q be j(20). Suppose -205*k = -200*k - q. Does 6 divide k?
True
Suppose 5*d = 30, 4*d = -5*k + 4995 - 621. Is 29 a factor of k?
True
Suppose 28*v + 2289 = 78*v - 22711. Is v a multiple of 20?
True
Let p = -18 - -22. Suppose 0 = -5*t - 0*t - g + 1, p*g = -16. Is 24 a factor of 146 - (4 + (t - 3))?
True
Suppose -29*c + 34*c - 410 = 0. Suppose 0 = 4*i - 3*t - 158 - c, -4*t + 300 = 5*i. Is i a multiple of 15?
True
Let g be (1 + -1)/(3 - (-3)/(-3)). Suppose 3*t - 2 - 4 = g. Suppose 5*y + 96 = 5*p + y, y + 39 = t*p. Does 4 divide p?
True
Let t = -183 + 382. Let z(c) = -c**3 - c**2 - 2*c + 129. Let x be z(0). Let w = t - x. Does 10 divide w?
True
Suppose 5*u - 90 - 75 = 0. Suppose r + 2*r + u = 0. Is 10 a factor of r*(-7 + 4) - 3?
True
Let m = -215 - -1984. Is m a multiple of 29?
True
Let j = 1 - -1. Suppose 0 = -j*p + 5*a + 17, -8*p - 2*a = -3*p - 28. Suppose w = -5*q + 334, -3*q + 5*w - p = -184. Does 6 divide q?
True
Let x be (-3)/4 + (105/20)/(-1). Let n(w) = -176*w - 258. Is 14 a factor of n(x)?
True
Suppose 87*r + 4*l = 92*r - 2035, -l + 801 = 2*r. Suppose -2*y - r = 3*g - 1007, 3*y - 912 = -3*g. Is y a multiple of 14?
True
Suppose 11*f = -176 - 44. Let p be 2/(4/(-57))*f/15. Suppose 4*y - 5*n - 147 = 0, -63 = -2*y - 3*n + p. Is 5 a factor of y?
False
Suppose -2*m - w - 2 = -3*w, -2 = -2*m + w. Let i(n) = m*n**2 + n**3 + 8 - 5 + 3*n**2 - 8*n - 2. Is i(-5) a multiple of 5?
False
Let z(j) = -12*j**3 - 61*j**2 - 4*j + 8. Is 60 a factor of z(-7)?
False
Suppose 2*s + 672 = -s - 3*w, 3*w = 0. Let l = s - -438. Is 22 a factor of l?
False
Suppose 4*o = 0, 4*c + 18*o - 16*o - 161064 = 0. Is 298 a factor of c?
False
Let c(a) = -2*a**3 - 6*a**2 + 5*a + 5. Suppose -8*f + 15 = -3*f + 5*q, -3*f = -3*q + 15. Let i be -6 - (3 + f) - -3. Is c(i) a multiple of 16?
True
Let u(h) = h**2 - 31*h - 807. Let m be u(0). Let x = m - -1197. Is x a multiple of 15?
True
Let a = -17738 - -26952. Does 17 divide a?
True
Let f(m) = -11*m**3 + 5*m**2 + 41*m + 30. Is f(-6) a multiple of 15?
True
Suppose -1136*y + 1138*y - 434 = -2*x, 874 = 4*y + 2*x. Is y a multiple of 15?
False
Suppose 0 = 2*a + 4*g - 43996, 5*a + 13*g = 96001 + 13971. Is 62 a factor of a?
True
Let j be ((-8)/8)/((-1)/(-2)). Let m(y) = -103*y + 1. Let r be m(j). Suppose 7*u = 2*u + 5*f + 255, 3*f + r = 4*u. Does 9 divide u?
True
Suppose -312 = 6*n - 2*n. Let p = n + 119. Suppose 5*m - p = -s, -2*s + m = 3*s - 257. Does 17 divide s?
True
Let q be 916/6*(-7)/(-14)*3. Let i = -212 + q. Is i a multiple of 3?
False
Is 41 a factor of (-327)/(-9) + 16 - 3*3/27?
False
Suppose 35*t + 252 = 39*t. Suppose -59*p - 4*b - 1140 = -t*p, 4*b + 294 = p. Does 10 divide p?
False
Let l = 17261 + 41. Is 41 a factor of l?
True
Let f = 28 + -28. Suppose 0 = -6*y - f*y. Suppose y = -2*c - 8, -5*o + 2*c = -0*o - 213. Does 14 divide o?
False
Let q be (-2)/(-11) + 282408/154. Suppose -13*i - t + 610 = -12*i, -3*i + q = -t. Is i a multiple of 8?
False
Let s(u) = 5*u**3 + 5*u**2 - u - 6. Let w be s(3). Suppose o - 4*o + w = 0. Let h = o + 3. Is h a multiple of 27?
False
Suppose 46152 = -76*g + 82*g. Suppose -o - g = -5*f, -16*o - 3084 = -2*f - 18*o. Does 103 di