h - 30. Suppose -o - 13 = -2*a + 3, h = -a - 4*o. Suppose -300 = -a*c + 396. Is c a multiple of 29?
True
Let g(l) = 4058*l**2 + 9*l - 3. Is 44 a factor of g(1)?
False
Let w = -22 + 38. Let k = 22 - w. Suppose -16 - k = -2*h. Is h even?
False
Suppose 0*r + 5*r + 26 = 2*v, -3*r - 12 = -3*v. Let b be 297/5 - r/10. Is 22 a factor of b/(-9)*(-264)/20?
True
Suppose -52*c = -63*c + 8954. Let l = -406 + c. Is 7 a factor of l?
False
Suppose s = 5*u + 5*s - 88, 0 = -u - 5*s + 26. Suppose -32*a = -28*a - u. Suppose a*p - 153 = 111. Is 33 a factor of p?
True
Is 15 a factor of 61*296/14 + 2/7?
True
Suppose 3*j - 645*c - 13325 = -649*c, 0 = -5*j - c + 22197. Is 14 a factor of j?
False
Let d(c) be the second derivative of -c**5/20 - 5*c**4/12 + 77*c**3/3 - 13*c**2/2 - c - 1. Is 6 a factor of d(10)?
False
Let w(l) = -11*l**2 - 1. Let b(d) = -11*d**2 - d - 2. Let u(t) = -5*b(t) + 4*w(t). Let j be u(-4). Suppose -21*i + j = -20*i. Does 18 divide i?
True
Let f(b) = -b**3 - 19*b**2 - 19*b - 21. Let t be f(-18). Let q be 0 + ((-46)/t)/(18/81). Suppose 4*a - a - 69 = -3*z, 3*a + 4*z = q. Is 4 a factor of a?
False
Let x(v) = v**2 - 39*v + 134. Suppose 2*h + 211 = -u + 6*u, -32 = -u - 3*h. Is x(u) a multiple of 9?
True
Is 16 a factor of (-1)/13 + (-32045775)/(-611)?
True
Let t = 9641 - -1811. Is t a multiple of 9?
False
Suppose 0 = -5*p - 15, -4*p - 4 = -r + 10. Suppose -5*m - 25 = -5*a, -r*m + 0 = -4. Suppose 4*j = 3*k + a*j - 153, -j - 53 = -k. Does 26 divide k?
True
Let z(f) = 4*f**2 - 12*f + 10. Let l be 240/110 + (-4)/22. Suppose 5*d = -l*h + 7*h - 45, 4*d + 20 = 0. Is 13 a factor of z(h)?
True
Let n = -177 + 178. Is 248/(-24)*(-12)/n a multiple of 9?
False
Let d = 1983 - 1953. Does 5 divide d?
True
Suppose -4*b = 5*x - 54284, 969*x - 966*x = 2*b - 27098. Does 191 divide b?
True
Suppose 3*a - 27 = 0, -19*h + 14*h + 30310 = -10*a. Does 5 divide h?
True
Let v be (-825)/6 + (-3)/(-6). Suppose -5*g - 2*g = 2093. Let m = v - g. Does 27 divide m?
True
Suppose -5*u + l + 19995 = 5026, 14993 = 5*u + 3*l. Does 8 divide u?
False
Let y = -1269 - -2280. Suppose y = -4*n + 2699. Is 15 a factor of n?
False
Is 11 a factor of ((-42010)/(-560) + (-1)/(-8))*35?
False
Let z(r) = r**2 - 2*r - 11. Let q be z(5). Suppose q*v = 3*y - 21, 4*v - y + 9 = 2*v. Let c = v - -27. Is 8 a factor of c?
True
Let g(j) = 53*j**3 - 3*j**2 + 16*j - 35. Does 23 divide g(4)?
False
Let d(m) = 4*m + 118. Let o be d(-29). Suppose 2*j + 1564 = o*p + 3*p, 2*p - 2*j - 622 = 0. Is 30 a factor of p?
False
Let s be ((-3)/3 - 1) + 34 + -4. Suppose s + 57 = -17*q. Is 3 a factor of 1/q + ((-284)/(-20) - -1)?
True
Let d be 18993/(-117) + 2/(-3). Let g = 181 + d. Is g a multiple of 2?
True
Suppose -n + 1879 = 5*y, 380 = -3*y - n + 1505. Is 2 a factor of y?
False
Suppose -2*b - 4*p + 30660 = 0, -b = -0*b - 4*p - 15348. Does 13 divide b?
False
Does 134 divide ((-6)/(-10))/((-61)/(-5642805)) - 0?
False
Let i(d) = -15*d + 13. Let z be i(22). Let h = 614 + z. Is h a multiple of 11?
True
Let b be (-20)/35 - 545/(-35). Let y(t) = 11 - 5*t + 9 + 27*t + t - t**2. Is 20 a factor of y(b)?
True
Let h(b) = b**3 + 10*b**2 - 4*b + 2. Let s = -78 + 108. Suppose a = -5*a - s. Is 10 a factor of h(a)?
False
Let f = 14 + 2. Let d = 2465 - 2463. Suppose -d*j = f - 210. Is j a multiple of 9?
False
Let z(a) = 71*a**2 + 5*a + 4. Let h(y) = 13*y - 7*y + 56*y**2 + 5*y + 9 + 86*y**2. Let q(u) = -4*h(u) + 9*z(u). Is 6 a factor of q(1)?
True
Suppose -94*q + 130475 = -9*q. Is q a multiple of 5?
True
Let l(q) = 6*q - 125. Let y be l(21). Does 2 divide y - -72 - 19/((-152)/32)?
False
Suppose 0 = -2*i - y + 6829, -10*i + 9*i - 3*y + 3422 = 0. Suppose -107 = -16*t + i. Does 20 divide t?
True
Let v(t) be the second derivative of 19*t**4/4 - t**3/2 - 2*t**2 + 5*t. Let g be (-27 + -1)/(-4) + -8. Is 28 a factor of v(g)?
True
Suppose 5*y + 664 + 2361 = l, -2*l + 6005 = -y. Does 65 divide l?
False
Let k = 303 + 276. Suppose 3*r + 271 + 26 = 2*j, -4*j = -3*r - k. Does 8 divide j?
False
Let s(n) = n**3 + 2*n**2 + 3*n + 678. Let q(t) = 21*t + 210. Let m be q(-10). Is s(m) a multiple of 9?
False
Let a be (-1 + 1)*(12/(-8) + 2). Suppose 3*h - 5 - 16 = a. Let w(m) = m**3 - 6*m**2 - 5*m - 4. Is w(h) a multiple of 6?
False
Let x = -1364 + 1366. Let d(t) = 28*t + 10. Let o(g) = 29*g + 11. Let k(s) = -5*d(s) + 6*o(s). Does 6 divide k(x)?
True
Suppose 0 = -g - 44 + 45. Let v be (-7986)/(-14) + g - 51/119. Suppose 5*y + 5*x - 598 = -3, -3*x - v = -5*y. Is y a multiple of 33?
False
Let h(t) = -t. Suppose 19*p - 7*p = -24. Let k be h(p). Is (-3)/k*-2*40/6 even?
True
Suppose l - w - 3802 = 0, 3*l - 8772 = -w + 2626. Suppose y - 3*d = 768, 143*y = 148*y - 5*d - l. Does 31 divide y?
False
Let m(x) = -2757*x + 515. Is m(-5) a multiple of 26?
True
Let u(k) = k**3 + 8*k**2 + 10*k - 10. Let t be u(-8). Let c = t - -93. Suppose c*v = -0*v - 4*h + 181, 3*v + h - 187 = 0. Is 21 a factor of v?
True
Does 27 divide (-28)/(-11 - (-46079)/4191)?
False
Suppose 0 = r + 5, -3*q - 11 - 3 = 4*r. Let p(z) = 2*z**3 - 6*z**2 + z - 1. Let s be p(5). Suppose 2*j = o + s, o = 4*j - q*o - 206. Does 14 divide j?
False
Suppose 3 = -3*n - 3*o, 0 = n - 3*o - 3. Suppose 10 = -10*q - n. Let z(g) = -196*g - 1. Is z(q) a multiple of 15?
True
Suppose 2*o - 5*l = 3*o - 1577, 6*o - 9358 = -4*l. Is 3 a factor of o?
True
Does 31 divide (-252)/(-56)*620/9?
True
Let f = -53 - -33. Let u be (0 - -15)/(6/f). Let g = u - -241. Does 30 divide g?
False
Is 20 a factor of (-288370)/(-20) - 2/((-8)/6)?
True
Suppose 3*n - 136 = 41. Let a = -2253 - -2304. Let g = n - a. Is 2 a factor of g?
True
Let g(k) = 12*k + 69. Let l(w) = 19*w + 137. Let r(o) = -10*g(o) + 6*l(o). Does 12 divide r(-2)?
True
Suppose 3*s + 24 = 7*s, 5*j = -4*s + 39724. Does 4 divide j?
True
Let g(b) = 5*b**2 + 120*b + 6. Let f be g(-24). Suppose -f*d = -16*d + 6210. Is d a multiple of 11?
False
Suppose 50*c - 12 = 46*c. Suppose -2 = -0*h - c*h - 4*v, 4*v + 2 = -h. Suppose 0 = -o - h*r + 94, 3*r + 2*r + 485 = 5*o. Is 32 a factor of o?
True
Let i(b) = b**3 + 13*b**2 + 15. Let v be i(-13). Suppose -5*y - c = 4*c - 375, 0 = 3*c + v. Suppose -5*q + 440 = -y. Is 13 a factor of q?
True
Suppose 3*y + 15 = 33. Suppose 3*o - 3*s - 339 = 0, 2*o = 2*s - y*s + 238. Suppose 4*i = -4*h + 3*i + o, 3*h - i - 95 = 0. Does 8 divide h?
False
Suppose -2*t + 44416 = 4*k, 2*t - 36349 - 8052 = -k. Is 205 a factor of t?
False
Let f(d) be the third derivative of d**4/6 + 73*d**3/3 - 46*d**2. Does 7 divide f(-8)?
False
Suppose -6*m - 5 = -5*l - 10*m, 0 = 4*l - 5*m - 45. Let g(u) = 4*u**3 + u**2 + 6*u + 21. Does 36 divide g(l)?
True
Suppose -30*n + 24*n = -126. Let c(k) = k**2 - 2*k - 81. Is c(n) a multiple of 10?
False
Suppose -11*t + 3*l = -16*t + 8135, -5*t = 5*l - 8145. Does 203 divide t?
True
Let f = 300 + 278. Suppose 2*c - 6 = 0, -3*o + f + 481 = 5*c. Is o a multiple of 17?
False
Suppose 3*k + 5 = 20. Suppose 5*q + 3*m = 281 - 3, -k*m = 3*q - 154. Does 11 divide q + -6*(-5)/(-10)?
True
Let z = 84 - 78. Is 3524/z + (3 - (-21)/(-9)) a multiple of 47?
False
Suppose -567*l + 50*l + 33277245 - 9915049 = 0. Is 157 a factor of l?
False
Let t(f) = f**3 + f**2 - 30*f + 21. Let q be t(14). Suppose 38*b - q = 2133. Is 28 a factor of b?
False
Let w be 1092/49 + (-4)/14. Suppose -w = a - 30. Suppose 0*p + 888 = a*p. Does 8 divide p?
False
Let g = -13237 - -21381. Is 8 a factor of g?
True
Let r be (9 - 4)*8/(-60)*-843. Let g = r - 320. Does 22 divide g?
True
Suppose 5*k - 15*l + 12*l - 23325 = 0, 0 = 2*k + l - 9319. Is 21 a factor of (-16)/(-24)*k/4?
True
Suppose 2*y - 488 = 2*i, -2*y - 2*i = 141 - 641. Let f = -76 + y. Is 39 a factor of f?
False
Let r(j) = -111*j**2 + 7*j - 8. Let q(s) = -55*s**2 + 4*s - 4. Let p(t) = -5*q(t) + 2*r(t). Is 2 a factor of p(1)?
False
Let r(w) be the third derivative of -w**5/60 + 5*w**4/8 + 11*w**3/3 - 171*w**2. Is r(0) a multiple of 11?
True
Suppose 19*p - 23*p + 3*f = -28, -5*p = -2*f - 42. Suppose -7904 = -28*b - p*b. Does 8 divide b?
True
Let x(h) = 5*h**2 + 8*h. Suppose -43 = 3*l - 4*u, 49 = -5*l + 2*u - u. Let f be 30/(-4)*6/l. Is x(f) a multiple of 17?
False
Let c(j) = j**2 - 6*j + 19. Let s be 5/(((-50)/(-12))/5). Let y be c(s). Suppose -4*h - 3 = -y. Is 3 a factor of h?
False
Let v = -586 - -579. Let x(l) = -112*l - 95. Is 12 a factor of x