se -5*q = 2 - 292. Let d = q + -33. Suppose -d = 5*a, -5*y + 54 = 4*a - 51. Does 10 divide y?
False
Let v(g) = g**3 + 10*g**2 + 3*g - 10. Let m be v(-5). Let w = m - -44. Is w a multiple of 24?
True
Let v = 962 + -645. Is v a multiple of 5?
False
Let c = -224 + 308. Is 5 a factor of c?
False
Let w = -470 - -1141. Is w a multiple of 28?
False
Let l(g) = -g**3 - 9*g**2 + 3*g - 22. Let z be l(-10). Let b = z - -12. Is b a multiple of 20?
True
Let z(q) = -q**3 + 6*q**2 + 6*q + 2. Let m be z(5). Let g = -87 + m. Let j = g - -48. Is 9 a factor of j?
True
Is 795/3 + 8/(32/20) a multiple of 10?
True
Suppose 0 = 2*h + 2, 5*z - 4*h + 430 = h. Let d(b) = 26*b - 8. Let f be d(6). Let a = f + z. Is 26 a factor of a?
False
Suppose -16 = -v + 1. Is v even?
False
Let k(d) = -d**3 + 13*d**2 + 18*d - 48. Is 19 a factor of k(12)?
False
Suppose -2*l - 2*l = -5*k - 41, -5 = 5*l + 5*k. Suppose 4*m = l*g, -3*g + 7*g - 18 = -2*m. Let i(c) = c**2. Does 2 divide i(m)?
False
Let z(s) = -s**3 + 4*s**2 + 47*s - 18. Is z(-9) a multiple of 36?
True
Let g be (2 - -6)*(-9)/12. Let k = 5 + g. Is 4 a factor of (9/(-2))/k*2?
False
Let d(o) = -o**2 + 9*o + 25. Let i be d(11). Suppose -2*j + i*j = 7. Is 2 a factor of j?
False
Let i(y) = 12*y - 83. Is 7 a factor of i(11)?
True
Suppose -150 - 176 = -f. Does 2 divide f?
True
Suppose 0*h + 4*h - 36 = 0. Let u be (-11)/(-3) - (-3)/h. Suppose -u*p + n + 8 = -67, p + 5*n - 3 = 0. Is 12 a factor of p?
False
Let v = -13 + 1. Let h be (-3)/9 - 64/v. Suppose -5*f + 20 = 0, 6*g - 3*g + h*f - 74 = 0. Is g a multiple of 16?
False
Let i be 1*-2 + (11 - 8). Let o be 0 + 3 + (i - 1). Suppose -3*g + 3 = -3*r, 46 - 1 = 5*g + o*r. Does 3 divide g?
True
Let y(v) = -v**3 + 13*v**2 + 14*v + 3. Suppose 3*k - 56 = -4*o - 0*o, -o - k + 14 = 0. Is y(o) a multiple of 2?
False
Suppose 7*z + 628 + 1472 = 0. Is (2/10*-4)/(5/z) a multiple of 16?
True
Let z(w) = -w**3 - 4*w**2 - 4*w. Let h be z(-3). Let f = h + 0. Suppose -180 = -5*l - f*y, -l + 3*l - 72 = y. Is l a multiple of 9?
True
Let o be ((-2 - 6) + -2)/(-2). Let j be (2/(-6))/(1/(-321)). Suppose -163 - j = -o*m. Does 17 divide m?
False
Let q(i) = -i**3 - 8*i**2 - 7*i - 5. Let k be q(-7). Let j(m) = -7*m - 5. Let o be j(k). Suppose -385 = -4*d - z, -2*d + 210 - o = -2*z. Does 19 divide d?
True
Is 101/303 + 26098/6 a multiple of 27?
False
Suppose -4*m = -5*k - 870, m - 5*k + 670 = 4*m. Is m a multiple of 22?
True
Let x(n) = -2*n**3 + 2*n - 12. Let p(o) = o**3 - 3*o**2 - o + 3. Let b be p(2). Is x(b) a multiple of 7?
False
Let d(v) = v**3 - 8*v**2 + 9*v - 11. Let n be d(7). Suppose -7*k = -4*k. Let c = n + k. Is c a multiple of 3?
True
Let l(s) = 6*s**2 + 2*s. Let x = -47 + 50. Is l(x) a multiple of 10?
True
Let b(c) = c**2 - 2*c - 21. Suppose -4*n - 3*t + 7*t - 36 = 0, -4*t = 12. Is b(n) a multiple of 37?
False
Let y(l) = -434*l + 104. Is 6 a factor of y(-3)?
False
Suppose -996*s = -1002*s + 5184. Is 60 a factor of s?
False
Let k be 66/(-18)*1/(2/(-6)). Suppose k*c = 2*c + 1800. Does 14 divide c?
False
Let i(o) = -2*o - 15. Let p be i(-12). Let s be ((-9)/(-2))/p*0. Suppose 3*u = -2*u, k - 3*u - 72 = s. Does 12 divide k?
True
Suppose -1532*o = -1531*o - 451. Is o a multiple of 16?
False
Suppose -w = 5*q - 37, -5*q + 12*w + 41 = 15*w. Let l(u) be the first derivative of u**3/3 + 3*u**2 - 16*u - 2. Is 25 a factor of l(q)?
True
Let x be 32/14 - (-8)/(-28). Suppose 0 = v - x*n - 46, 2*v - 3*n + 4 = 100. Does 18 divide v?
True
Let j = 8308 - 2583. Does 38 divide j?
False
Suppose 2*t - 4*b = t + 34, 4*t + b - 170 = 0. Suppose -l - 116 = -3*i - 2*l, -t = -i + 3*l. Is i a multiple of 13?
True
Let p(i) = -i**3 + 2*i**2 + 6*i - 4. Let o be p(4). Let a = o - -23. Is 6 a factor of a?
False
Let u(l) = 25*l - 10. Let q be u(7). Suppose 0*o = -3*o + 12. Suppose o*g + g = q. Does 11 divide g?
True
Suppose 8*s = 11*s + 15. Does 7 divide (((-150)/s)/(-6))/(1/(-7))?
True
Let k(s) = -9 + 13*s - 10 - 10 - 6. Is 8 a factor of k(7)?
True
Suppose 10360 = 5*v + 5*s, -2*v - s + 4142 = -0*v. Suppose 9*f = -0*f + v. Is 16 a factor of f?
False
Let c = -1171 + 1963. Is c a multiple of 18?
True
Suppose -3*i - 113 = -w, -w = 4*i + 4*w + 119. Let y be (-189)/i*(-8)/(-3). Let s = 66 + y. Is 16 a factor of s?
True
Let f = -220 + 147. Let a = -25 - f. Does 33 divide a?
False
Suppose -4 = -c - 0*c. Suppose -5*m - 5*g - 6 = -1, -c*g = 2*m + 2. Does 8 divide (-24 + -2)*(0 + m)?
False
Suppose 3*k + 104 = 5*k. Let p = -17 + k. Suppose 17 = 4*y - p. Is y a multiple of 6?
False
Suppose 2 = c + w + 1, 3*w = -2*c + 3. Suppose -3*r + 2*s - 6*s + 10 = 0, 5*r + 2*s - 26 = c. Does 2 divide r?
True
Let q = -10 + 1. Let z = -45 + 42. Does 15 divide 15*z/q*3?
True
Let g be 1 - 36865/(-65) - 4/26. Suppose -i + g = 7*i. Is i a multiple of 36?
False
Let b(g) = -5*g**2 - 15*g. Let y(h) = 4*h**2 + 15*h - 1. Let n(k) = 3*b(k) + 4*y(k). Let v be n(-11). Let c = v - -108. Does 20 divide c?
True
Suppose -5*s - 9 = -4*s. Let f(j) = j - 45. Let d be f(15). Let o = s - d. Does 7 divide o?
True
Let v = 1158 + -385. Is v a multiple of 33?
False
Let w(q) = -544*q + 9. Is w(-5) a multiple of 16?
False
Suppose 5*h = 2*h - 45. Is 6/h + (-528)/(-20) a multiple of 3?
False
Suppose -2*m + 2 + 2 = 0. Let r(n) = 18*n**2 + 3*n - 2. Let b be r(m). Suppose -2*t - 3*z = -b, 0 = -5*t - 3*z - 13 + 194. Is 7 a factor of t?
True
Suppose -3*n - 15 = -3*m, -m - 10 - 21 = 5*n. Is 18 a factor of 212/6 + (-4)/n?
True
Suppose 0 = 2*i + 5*w - 1124, -8 - 4 = -3*w. Let g = i + -384. Is 24 a factor of g?
True
Suppose 3*b + 0*b - 21 = 0. Suppose 3*d - 168 = b*d. Is 13 a factor of ((-728)/d)/(4/18)?
True
Suppose -4*z = -0*z - 16. Suppose 0 = -k - z*k + 120. Is 7 a factor of k?
False
Suppose 0 = 2*z - 10, 2*g - 3*z + 1546 - 5223 = 0. Is 59 a factor of g?
False
Let p(s) = s**2 - 10*s + 16. Let f(v) = 3*v + 18. Let l be f(0). Is 16 a factor of p(l)?
True
Let o = 138 + -136. Suppose n = -4*f + 3*f + 144, -294 = -o*f + n. Does 16 divide f?
False
Let g be 1/(3 - 1)*0. Suppose g = -2*i - 2*i + 264. Is 11 a factor of (-2)/3*i/(-4)?
True
Let j = -17 - -20. Is j/(-6)*(4 + -54) a multiple of 21?
False
Suppose -5*o - 2691 = -4*f - 685, 0 = f + 3*o - 510. Is 9 a factor of f?
True
Let x(w) = w**2 + 14*w - 19. Let f be x(-13). Is 20 a factor of (-10)/(0 + 1 + 34/f)?
True
Suppose 4*j = 2*u - 142, 3*u - 174 = -4*j + 9. Is u a multiple of 4?
False
Let f be (-4 - -3) + -2 + 2. Let k(n) = 42*n**2 - n - 1. Let y be k(f). Is 19 a factor of -2 + y/4*2?
True
Suppose 16*x = 35 + 173. Is x a multiple of 10?
False
Let z be 5/10*-2*53. Let i = z + 119. Is i a multiple of 11?
True
Let t(v) = 50*v**2 - 3*v + 1. Let l be t(1). Suppose 0 = -50*i + l*i + 446. Is 27 a factor of i?
False
Suppose 19*b - 15*b + 40 = 0. Let u = 13 + b. Suppose -36 = -u*t + 18. Does 18 divide t?
True
Let x(b) = 2*b - 17. Let p(k) = k - 9. Let w(i) = 11*p(i) - 6*x(i). Let u be w(0). Suppose 2*q - 145 = u*d, 3*q = d - 0*d + 228. Does 14 divide q?
False
Let u = 2354 + -1890. Does 15 divide u?
False
Does 20 divide 4 - (-5 + -867 - 4)?
True
Let d = 257 + -181. Is 13 a factor of d?
False
Suppose -2*i - 2*i + 2*u = -10, 2*u = -i - 10. Suppose -76 = -i*z + 4*z. Let n = z - -34. Is n a multiple of 5?
True
Let a be 36/(-16) + (-2)/(-8). Is (-1)/(a/9 - (-750)/3618) a multiple of 14?
False
Let h = 45 - 45. Suppose 0 = -h*z + 4*z - 20, -2*w + z = -87. Does 10 divide w?
False
Let v = 125 + -119. Suppose 24*d - 5400 = v*d. Does 50 divide d?
True
Let n(l) = 4*l**3 + 3*l**2 + 4*l + 2. Let d be n(-2). Let b = d - -36. Let z = b - -5. Is z a multiple of 13?
False
Is 36 a factor of (-26 + 453)*(1 + 0)?
False
Is (-2*127)/(12/(-48)) a multiple of 10?
False
Let n(u) = u**3 - 11*u**2 - 13*u + 16. Let y be n(12). Does 16 divide (138 - 6)*y/8?
False
Suppose 83 - 500 = 3*j. Let f = 227 + j. Is f a multiple of 27?
False
Let y = 58 - -1. Suppose -57*o - 118 = -y*o. Is o a multiple of 17?
False
Suppose t = -4 + 7. Let y(h) = -h + 26. Let p be y(9). Suppose p = 2*v - t*d, 4*d + 52 = 2*v + 8*d. Is v a multiple of 4?
True
Suppose 52*a + 249228 = 144*a. Is a a multiple of 8?
False
Let d be (-9)/(18/(-124)) - 3. Let c = -40 + d. Does 19 divide c?
True
Let c = 298 - 295. Let v(k) = k - 1 + 0*k**2 - k**2 + k**3 + 3. Does 12 divide v(c)?
False
Let s = -1067 - -2970. Is s a multiple of 10