se -6*c + a = 113. Does 4 divide c?
False
Suppose 25*q - 35*q + 114660 = 0. Suppose 374*w = 383*w - q. Is 13 a factor of w?
True
Suppose 190 + 177 = 5*c + 4*z, 3*c - 4*z = 233. Let w = c + 56. Is w a multiple of 7?
False
Suppose -3*n + 15 = 0, -9*n + 16 = -3*i - 10*n. Let t(u) = 2*u**2 + 8*u + 17. Let a(v) = 2*v**2 + 9*v + 18. Let z(y) = 4*a(y) - 3*t(y). Does 6 divide z(i)?
False
Let b be 78/(-5) - ((-13)/5 + 3). Let j = b - -21. Suppose 0*i - 3*i + j*l = -40, l - 4 = 0. Does 3 divide i?
False
Let c(o) = -o + 7. Let s = -43 - -51. Let a be (s/(-12))/((-4)/(-42)). Is 3 a factor of c(a)?
False
Let p = -3733 + 6432. Is 102 a factor of p?
False
Suppose 185857 = -153*p + 645775. Is 22 a factor of p?
False
Let q = 12360 + -5485. Is q a multiple of 125?
True
Suppose 5*i - 4 = -11 + 17. Suppose -4*g - g + 75 = 0. Suppose -87 = -i*x - g. Does 10 divide x?
False
Suppose 0 = -3*i - 2*o + 47319, -14338 - 1451 = -i + 2*o. Does 27 divide i?
False
Suppose -l + 4*c = -594, -31*l + 2*c = -24*l - 4028. Is l a multiple of 7?
True
Suppose 12*n = 18*n - 5688. Suppose -n = -5*b + 2122. Is b a multiple of 65?
False
Suppose -3*u + 17661 = -3*x, 7*u + 0*x = x + 41227. Is 190 a factor of u?
True
Is -20 + (22 - -9312 - 2) a multiple of 97?
True
Let g be 1/4 - (69/(-12) + 4). Suppose 0*a = -g*a + 6. Suppose 2*r - a*k = -0*k + 176, -3*r - 3*k = -264. Is r a multiple of 22?
True
Suppose 10 = h + 5. Suppose h*y = -432 + 1687. Let o = -169 + y. Is o a multiple of 15?
False
Is (5458 - 8)/((-80)/(-180) + 2/(-18)) a multiple of 218?
True
Let u = -5241 - -5497. Suppose 5*t + 1 = 21. Suppose c + u = t*z - 3*c, 0 = z + 3*c - 56. Is z a multiple of 22?
False
Let o(y) = -y**2 - 3. Let n be o(-3). Let u be 3 - (0 + 44)/4. Does 32 divide (192/2)/(n/u)?
True
Let z be ((-120)/3 - 0)*36/48. Is 2 a factor of ((-8)/(-12) + -2)/(2/z)?
True
Suppose 5*v - g = 14, 3*v + 2*g + 10 = 4*v. Let p be (-2 - (-10)/4)*0. Suppose -v*w + 496 - 98 = p. Does 19 divide w?
False
Let a = -111 + 100. Is 30 a factor of (-4948)/a - ((-636)/(-132) + -5)?
True
Let u(f) = 4*f**3 + 5*f**2 - 12*f - 12. Let n = 720 + -716. Is u(n) a multiple of 32?
False
Let w = -4 - -8. Let n be 0/(9/(7 - w)). Suppose n = 2*t + 8, -2*m - 4*t = -182 - 82. Is 35 a factor of m?
True
Suppose 3*n - 6597 = -711. Let q = n - 1157. Is 35 a factor of q?
True
Let m be (3373 + -2 - (12 + -15))/2. Suppose -2*w - m = -5*k, -4*k = k + 4*w - 1711. Does 25 divide k?
False
Let y be 1*(-8 + 4) - (-432)/2. Let q = 348 - y. Does 32 divide q?
False
Suppose -12*y + 14467 + 23237 = -9072. Does 72 divide y?
False
Suppose 5*g + 12 = 2*m, 2*m + 0 = -4*g - 6. Let w be 1/(-3) - ((-16)/(-6))/(-2). Does 4 divide (17/m)/1 + w?
False
Suppose 0 = -5*j, 4*t - j - 48 = -2*j. Suppose -o + 11 = g - 0, -2*g + t = o. Suppose -3*s + 80 = -o. Does 10 divide s?
True
Suppose 15 = 3*o + 2*o, -3*j + 3*o + 6 = 0. Suppose 2*q = j*i - 5071, 3*q = 5*q - 3*i + 5069. Is (-8)/(-60) + (q/(-15) - 1) a multiple of 21?
True
Let g = 3433 - 3244. Is g even?
False
Suppose 63*q - 67*q + 79836 = 0. Does 221 divide q?
False
Suppose -2*f - 2 = 0, 20*y - 75056 = 15*y + f. Does 17 divide y?
True
Let w = 105 - 210. Let y = w + 483. Does 9 divide y?
True
Let v(t) be the second derivative of 29*t**3/6 + 49*t**2/2 - 15*t + 4. Is v(15) a multiple of 74?
False
Suppose 0 = 4*g - 194 - 70. Let x = g + -64. Suppose -3*l + a + 32 = -47, 54 = x*l - 2*a. Is 11 a factor of l?
False
Suppose -2*b = 4*y - 298, -3*b = 1 - 16. Is ((-1196)/78)/((-1)/y) a multiple of 14?
False
Let x(f) = 27*f - 139. Let q be x(5). Is 274*4/(-32)*q*1 a multiple of 26?
False
Let n(f) = f**3 - 6*f**2 - 8*f + 2. Let x be n(7). Let a be x/((-30)/417)*-2. Let i = a + 255. Is 29 a factor of i?
True
Suppose -3*l + 8 = g - 7, 2*l - 10 = -g. Suppose g = y - 4*d - d - 461, -4*y - 4*d + 1892 = 0. Does 9 divide y?
False
Suppose -12370 = -151*u + 148*u + k, -u + 11*k + 4166 = 0. Does 4 divide u?
False
Let g be (-2)/3 - (-6396)/117. Suppose i = g + 135. Is i a multiple of 9?
True
Let s(d) be the first derivative of d**5/30 - 7*d**4/12 - 4*d**3/3 + 4*d**2 + 17. Let o(t) be the second derivative of s(t). Does 20 divide o(11)?
True
Let s be (12/(-10) + 0)/((-204)/(-6800)). Does 11 divide -15*2/(s/396)?
True
Let d(k) = -5*k - 3. Let q(v) = -v**2 - 5*v + 5. Let p be q(-6). Let i be d(p). Does 5 divide (5/3)/(i/6)?
True
Suppose 13*d = 43 + 22. Suppose -5*w = d*r + 125, -10*w - 101 = -6*w + 3*r. Let z(i) = -11*i + 38. Is 26 a factor of z(w)?
False
Suppose 5*q + 28 = z, q + 0 = -z - 2. Suppose 45 = 2*r + z*r. Suppose t - r = 9. Is 6 a factor of t?
True
Suppose 0 = -3*a - 10*a - 195. Let g = a - 2. Let m = 81 + g. Is m a multiple of 16?
True
Let v = -122 + 126. Suppose 1456 = 5*w - 4*q, 4*q + 1156 = v*w + 3*q. Does 48 divide w?
True
Let t = 4 + -1. Let f be (-6 + 9)/(4 + -3). Suppose f*w - 4*w = 0, -t*k + 252 = 3*w. Does 12 divide k?
True
Suppose -2*v + 22 = 2*c, -8 = 2*c - 12. Let i = 34 - v. Is 5 a factor of i?
True
Suppose -7*m + 2*k = -5*m - 14, -3*m + 4*k = -24. Let y(h) = 13*h**2 + 23*h - 69. Does 11 divide y(m)?
True
Suppose -3*f = -2*f - 640 + 68. Is 13 a factor of f?
True
Suppose 210 = 16*w - 2*w. Suppose -321 = -w*x - 81. Is 15 a factor of 4 + x/(-2) + 3 + 28?
False
Let o(g) be the second derivative of -g**5/20 + 3*g**4/4 - g**3/3 - 10*g. Suppose 3*i + 17 = 28*s - 23*s, -3*s + 13 = i. Is o(s) a multiple of 35?
False
Suppose 5*f + 23 = 43. Suppose 0 = -f*y - 3*n + 6576, 5*y + n - 1643 = 4*y. Suppose -3*w + y = 6*w. Does 14 divide w?
False
Let p(y) = -113*y + 901. Is p(-27) a multiple of 78?
False
Let s(b) = 12*b**2 - 84*b - 1275. Is 93 a factor of s(-29)?
True
Let w = 25785 - 7991. Is 217 a factor of w?
True
Suppose 3*d - 628 = -2*o - 8, -2 = -2*o. Suppose -5*a = -445 - 225. Let b = d - a. Does 36 divide b?
True
Let z = -745 + 816. Let v = 259 + z. Is 10 a factor of v?
True
Let w(y) be the third derivative of -1/24*y**4 + 0*y + 0 - 1/120*y**6 - 1/15*y**5 + 7/6*y**3 + 17*y**2. Is 2 a factor of w(-4)?
False
Let j(n) = 131*n - 3216. Does 7 divide j(30)?
True
Let o = 65 - -116. Is (5 + o)*(-1)/(-6) a multiple of 5?
False
Let c = 40263 + -34988. Is 13 a factor of c?
False
Let d(l) = -l - 283. Let m be d(-16). Let j = -106 + -40. Let s = j - m. Does 18 divide s?
False
Let i = 4306 - 226. Is i a multiple of 136?
True
Suppose -2*a + 11*a = 3249. Let g = -212 + a. Is g a multiple of 12?
False
Suppose -3*y + 5*b = -0*b - 6, 4*b = 5*y - 10. Suppose 4*s = 0, 2*t - 2240 = -y*t + 2*s. Is 32 a factor of t?
False
Let c = -4 - -3. Let j(d) = -22*d - 25. Let k(w) = 43*w + 45. Let n(x) = -11*j(x) - 6*k(x). Is 7 a factor of n(c)?
True
Let j = 7 - 2. Let r(l) = -5*l**3 + 2*l**2 - 9*l + 5. Let g be r(-4). Suppose g = j*c + 33. Is c a multiple of 12?
True
Let g(l) = -2*l + 6. Let f be g(-13). Let s = -29 + f. Suppose -y + 369 = y - s*p, -5*y - 2*p + 951 = 0. Is 21 a factor of y?
True
Suppose 2*m = 4*h - 622, h + 64 = -4*m + 197. Let x = h - -29. Does 15 divide x?
False
Suppose -o + 1 = 0, -3*b - 3*o = -b - 117. Suppose -i - 13 = -b. Suppose i*j - 40*j - 364 = 0. Is j a multiple of 4?
False
Let n = -4 - -47. Let p = 11 - n. Let h = 62 + p. Does 7 divide h?
False
Let h = -9698 + 25544. Is 120 a factor of h?
False
Does 25 divide 247/4*(-1360)/(-85)?
False
Let g(f) be the second derivative of f**5/24 + 7*f**4/24 - 31*f**3/6 + 34*f. Let q(z) be the second derivative of g(z). Is q(11) a multiple of 31?
True
Let g = -199 + 451. Suppose -3*v = -5*v + g. Is v a multiple of 14?
True
Let l(i) = -i**3 + 40*i**2 - 28*i - 195. Is 24 a factor of l(17)?
True
Let i = -9564 + 11878. Is i a multiple of 13?
True
Let z = -12869 + 20931. Is 29 a factor of z?
True
Suppose 6*v - 126 = -6. Suppose 9*h = v*h - 8316. Is h a multiple of 36?
True
Suppose -2302 = -14*r + 1338. Is 10 a factor of (r/(-14))/(8/(-14))*12?
True
Let q(x) = x**3 + 17*x**2 + 2*x + 37. Let a(o) = 23*o + 213. Let c be a(-10). Is q(c) even?
False
Suppose 0 = 39*m + 42*m + 28*m - 364060. Does 20 divide m?
True
Suppose -69984 = -32*t - 8*t + 24*t. Is t a multiple of 18?
True
Suppose -4*t - 37 = -5*k, -12*k + 16 = -10*k - 2*t. Suppose k*p + 3*b - 244 = 0, -2*p + 107 - 15 = 4*b. Is 4 a factor of p?
False
Let a be 2/(-7) - 119650/(-70). Let p = a - 479. Is p a multiple of 41?
True
Let c(l) = l**2 + 11*l + 30. Let j(m) = m + 4. 