a - 12 = -5*a. Is q(a) a multiple of 2?
True
Let s = -114 - -117. Suppose 4*c - 112 = -s*f, f - 5*f - 2*c = -146. Is 2 a factor of f?
True
Let o(d) = d**2 + 5*d. Let g be o(-4). Is 26 a factor of 4 + 4*(-51)/g?
False
Let c be (-7 + 16)*((-6)/(-9) - 1). Let j be 1*-1*c/((-18)/(-1650)). Suppose 0 = -3*t - 8*t + j. Does 5 divide t?
True
Suppose 2255565 = 65*v - 31*v + 31*v. Is v a multiple of 24?
False
Suppose -2*i + 2541 = b, 2968 = 4*b + 2*i - 7232. Is b a multiple of 111?
True
Let k = 47030 - 25738. Does 13 divide -4 + 44/10 + k/20?
False
Let i(v) = 9*v**2 + 89*v + 223. Is i(42) a multiple of 10?
False
Let j(h) = -h**3 + 17*h**2 - 44*h + 28. Suppose -999*b = -996*b - 30. Is 12 a factor of j(b)?
True
Suppose -1294*h + 658*h - 537914 = -653*h. Is h a multiple of 26?
True
Suppose 0 = y - 4*f - 171, -4*y + y - 5*f = -530. Let z = y - 64. Does 14 divide z?
False
Let v(m) = -3*m - m + 12 + 0*m. Let b(p) = p**3 + 6*p**2 - 12*p + 20. Let l be b(-8). Does 16 divide v(l)?
False
Let f(s) = s**3 + 11*s**2 + 2*s + 4. Suppose k = -4*k - 40. Let p be f(k). Suppose p = -11*c + 16*c. Is c a multiple of 8?
False
Let h = 45 + -41. Suppose 2*d - 3*q = -h*q + 80, 4*q - 54 = -d. Let a = d - -46. Does 4 divide a?
True
Suppose c + 4*s = 4336, 0 = 19*s - 16*s - 18. Is c a multiple of 196?
True
Let j = -311 + 323. Is 55 a factor of (-18927)/(-21) + j/(-42)?
False
Suppose -3*s = -4*c - 1355, 1379 = -2*s + 5*s + 2*c. Is s a multiple of 13?
False
Suppose 0 = 8*o - 11*o + 552. Suppose -2*k - 5*l = o - 45, 4*k + 283 = -5*l. Let r = -32 - k. Does 16 divide r?
False
Suppose 5*h + 211 - 5 = 3*b, 0 = -3*b - 2*h + 178. Suppose -2*a + 2*r + b = 0, -5*a + 32 = -3*a + 4*r. Is 4 a factor of a?
False
Does 45 divide (2 - (-1903)/(-44))*-48?
True
Let g = 9868 - 8041. Is 76 a factor of g?
False
Suppose 0 = 11*o - 13*o + 4. Let u(z) = 20 - z**2 + 2*z + 13 + 13*z + 0*z**o. Is 3 a factor of u(16)?
False
Suppose 2*p + 5*c = 422, 5*p + 3*c - 1009 = 2*c. Let g = 503 - p. Is 12 a factor of g?
False
Suppose 0 = 5*a - 2*t - 403, 6*t - 142 = -2*a + 2*t. Let q = 646 - 641. Suppose 2*z = q*b + a, 0*b - 3*b - 123 = -4*z. Is z a multiple of 9?
True
Is 49 a factor of (((-6533514)/(-65))/(-9))/(1*2/(-5))?
False
Let h(v) = v**3 - 34*v**2 + 175*v - 288. Is 86 a factor of h(38)?
False
Is (1482/65)/(-4 + 20332/5080) a multiple of 147?
False
Let h be (1288/(-6))/(70/(-105)). Suppose 19058 + h = 19*c. Is 29 a factor of c?
False
Let v = 349 - 105. Let d = v - 154. Does 6 divide d?
True
Let p = 4 + 47. Suppose -5*f = -14 - p. Suppose 10*c + 222 = f*c. Is c a multiple of 11?
False
Suppose 2*v = -3*v - 55. Let u = 55 - v. Does 6 divide u?
True
Suppose -d + 4*d - 34 = 5*m, 0 = 2*d + 5*m + 19. Let r(s) = 16*s - 4. Let i be r(d). Is 10 a factor of 11/i - 238/(-8)?
True
Suppose w = 4*m + 2344, 0 = -5*w + 15*m - 19*m + 11840. Is w a multiple of 12?
True
Suppose -3*m + 2769 = -4*a, -a + 1486 = -5*m + 6101. Let z = m + -533. Does 65 divide z?
True
Let l(q) = 8*q**2 - 7*q + 306. Is 51 a factor of l(0)?
True
Let a(y) = 15*y**2 - 13*y - 16. Let m(r) = 7*r**2 - 6*r - 8. Suppose 4*v - 4 - 2 = z, 0 = -4*z - 4*v + 36. Let g(s) = z*a(s) - 13*m(s). Is g(0) a multiple of 3?
False
Let n(v) = -5*v - 1. Let i be n(1). Suppose -3*r + 19 - 10 = 0. Is 16 a factor of ((-86)/r)/(4/i)?
False
Let v(k) = -20*k + 506. Is 2 a factor of v(-12)?
True
Is (423 + -420)/(-2 + (-4545)/(-2272)) a multiple of 16?
True
Suppose 136 = 18*n - 116. Let i be (640/(-25))/(2/(-20)). Suppose -i = -n*t + 10*t. Does 4 divide t?
True
Suppose 0 = -7*b - 65 + 1584. Let k = b + -192. Is 2 a factor of k?
False
Suppose -71 = 4*k - 83. Suppose 0 = 4*w - 7*w + 3*b + 879, k*w - b = 881. Is 13 a factor of w?
False
Suppose 0 = 27*o - 49 - 32. Suppose -o*f + 278 + 298 = 0. Is f a multiple of 4?
True
Let z = 17550 - 9983. Is 161 a factor of z?
True
Let a(y) = 5*y**3 + 228*y**2 - 40*y + 42. Is 112 a factor of a(-45)?
False
Let w be (-1 - 20/12)*(-18)/24. Let m = 184 + w. Does 26 divide m?
False
Let n(c) = 2*c**2 - 17*c + 39. Let m be n(30). Suppose 0 = -15*x - m + 5214. Does 7 divide x?
True
Let z = 536 - 277. Suppose -2*o - 256 = 4*n, -2*o + 4*o = -5*n - z. Let k = o - -266. Is 15 a factor of k?
False
Suppose 0*g - 18276 = -3*n + 3*g, 0 = 4*n - 5*g - 24364. Is 20 a factor of n?
False
Let k(z) = -25*z + 12. Let q be (-5 - 51/(-15))/((-1)/(-5)). Let d be k(q). Let u = d + -105. Does 28 divide u?
False
Is 13 a factor of (-74195)/(-35) - (24/(-21) + 2)?
True
Is 64 a factor of 267168/60 - (-7 - (-156)/20)?
False
Let n = -4654 + 4874. Is n even?
True
Suppose -192*z + 205*z = 37791. Is 57 a factor of z?
True
Let x = -186 - -240. Suppose j + j = 0. Suppose d - 31 - x = j. Is d a multiple of 17?
True
Let j = -1202 - -2806. Does 5 divide j?
False
Suppose -3*p + 8*p - 1530 = 0. Suppose -a + p = -0*a. Is 18 a factor of a?
True
Let i(g) = -2*g**2 - 96*g + 468. Does 3 divide i(-32)?
False
Suppose -5*d + 525 + 20 = 2*l, 0 = l - 4*d - 240. Does 20 divide l?
True
Suppose 3*c = -5*y - 26, 4*c - 3*y + 3 = 7. Let o be 5/c*2*48/(-30). Suppose -1 = -f + o. Does 7 divide f?
False
Let t(i) = -2*i**2 - 53*i + 11. Let b be t(-23). Suppose -26 = x + 3*d - b, -2*x = d - 302. Is 19 a factor of x?
True
Let j be (15 - 1) + 7 + -9. Suppose 2*f = -2*f + j. Is 10 a factor of (-1)/f - (-1 + (-136)/12)?
False
Let j = -1990 + 2239. Is j a multiple of 4?
False
Let f be (-1 + 10)*(-11 - -12). Let o(n) = 8*n - 22. Let s be o(f). Let l = s - -70. Does 18 divide l?
False
Suppose -2*z + 32584 = -2*d, 93*d - 16302 = -z + 92*d. Is 43 a factor of z?
True
Let p = -5385 + 9393. Does 12 divide p?
True
Let m be (19 + 0)*(-2 - -3). Let g(r) = 62*r + 22. Let k(b) = -25*b - 10. Let z(f) = 5*g(f) + 12*k(f). Is 26 a factor of z(m)?
False
Suppose 2*k = 4*h + 33700, -k + 5*h = -3*k + 33637. Does 209 divide k?
False
Let x(n) = -n**3 + 8*n**2 + 2*n - 9. Let h be ((-2)/4)/(103/618). Does 4 divide x(h)?
True
Let s(x) = -5*x**2 - 60*x + 28. Let t(h) = 2*h**2 + 20*h - 9. Let c(b) = -3*s(b) - 8*t(b). Is 4 a factor of c(15)?
False
Let z = 86 + -84. Suppose z*w - 5*l - 192 = 12, l = -2*w + 216. Let t = -97 + w. Is 7 a factor of t?
False
Is 327 + 3/((-21)/49) even?
True
Let a = 1694 - 824. Does 4 divide a?
False
Let k(g) be the third derivative of g**7/1260 - g**6/120 - g**5/15 - 2*g**4/3 - 11*g**2. Let f(m) be the second derivative of k(m). Is 14 a factor of f(6)?
True
Let o be 1 + 6 + -2 - 19. Let g(h) = -13*h - 60. Is 9 a factor of g(o)?
False
Let n(j) = -5*j**3 - 8*j**2 - 7*j + 330. Is 6 a factor of n(-8)?
False
Is 90/(-36)*36414/(-15) a multiple of 28?
False
Let a(c) be the first derivative of c**4/4 + 8*c**3/3 + 15*c**2/2 + 22*c - 192. Is 5 a factor of a(-4)?
False
Suppose h + 58 = -3*n, 195 = -3*h - 5*n + 3*n. Let z = h - -139. Is z a multiple of 14?
False
Let c(b) = 7*b**2 - b - 6. Let k be c(-3). Suppose 8 = i - k. Suppose -2*x - 9 = 1, -q + 2*x + i = 0. Is 14 a factor of q?
False
Let l = -307 - -584. Let r = l - 149. Is r a multiple of 16?
True
Suppose 0*u + 3260 = 10*u. Suppose u = g - 0*g. Does 28 divide g?
False
Does 15 divide 2293 + (-7 - -3 - -21)?
True
Suppose -939 = -4*g - 199. Let a = -153 + g. Does 16 divide a?
True
Suppose -204*r + 2*x = -205*r + 2640, -2*r + 5298 = -2*x. Does 8 divide r?
False
Is 16 a factor of (2168/1355)/((-2)/(-3480))?
True
Suppose 3*x + 5*r = 132, -3*r = -2*x + 6*x - 165. Suppose 2*a - 47 = -x. Is 28 a factor of 172 + (5 + 0)*a/(-5)?
True
Let s be (1 + -6 + (-30)/(-18))*-159. Let z = 360 + s. Does 12 divide z?
False
Let a be 3/(-18) + -77*1/6. Let o be (2/a)/(-1) + 4170/(-65). Let k = -19 - o. Does 5 divide k?
True
Let l(x) = 180*x**2 - 180*x - 1560. Is l(-9) a multiple of 15?
True
Let w(s) = -4*s**2 - s + 1. Let r be w(1). Let o be 441/6 + -5 - 2/r. Let p = o + -57. Is 7 a factor of p?
False
Let o(l) = 2*l. Let y(k) = -7*k + 21. Let w(m) = -3*o(m) - y(m). Let z be w(23). Suppose 0 = -b + 7*v - 4*v + 78, 5*b = z*v + 390. Is 41 a factor of b?
False
Let c(t) = -48*t**2 - 2 + 8 + 24*t - 46*t**2 + 93*t**2. Is c(24) a multiple of 2?
True
Suppose -5986*g + 5888*g = -1259202. Is 4 a factor of g?
False
Let r be 4224/30 - 1/(-5). Suppose 3*s + 3*n - 143 = 61, -r = -2*s - 3*n. Let d = s - 41. Does 4 divide d?
False
Let f(o) = 2*o**3 + 18*o**2 + 12*o + 35. Let n(m) = -3*m**3 - 35*m**2 - 23*m - 69. Let k(