e
Let w(b) = 29*b - 197. Suppose -22*h + 78 = -252. Is w(h) a multiple of 34?
True
Let k(q) be the second derivative of 1/6*q**4 + 0 + q**2 - 3/2*q**3 + 5*q. Does 5 divide k(6)?
True
Let q = -2588 + 3492. Does 30 divide q?
False
Is 35/(-7) + 0 + 1 - -930 a multiple of 3?
False
Let s be ((-40)/50)/(-2 + (-1317)/(-660)). Suppose 0 = f + s - 427. Is 21 a factor of f?
False
Let v(j) = 3*j**3 - 16*j**2 + 18*j + 4. Does 15 divide v(8)?
True
Let k(i) = 11875*i**3 - 3*i**2 + i + 1. Is k(1) a multiple of 11?
False
Let d(b) = -2*b**3 + 5*b**2 + b - 3. Let t = 462 + -465. Does 24 divide d(t)?
False
Suppose 0 = -114*a + 98158 + 438896. Does 227 divide a?
False
Let t(r) = 94*r**3 - r**2 + 2*r - 3. Let m(n) = 6*n + 18 - 5*n - 2*n. Let a be m(17). Does 9 divide t(a)?
False
Suppose -22*p + 52*p + 16*p = 31050. Is 9 a factor of p?
True
Let m be 2/(-11) - (-3708)/66. Let d be (-18)/27 + (-2 - m/6). Is 24 a factor of 201/((d/4)/(-3))?
False
Let d = -14 - -14. Suppose 5*a = -b + 33, -2*b + 18 = -d*b - 2*a. Suppose -b*g + 771 = -386. Does 7 divide g?
False
Let v = -2221 - -6287. Does 214 divide v?
True
Let b(x) = 121*x - 484. Is b(25) a multiple of 7?
True
Let g = 1128 + -1048. Suppose 2*v = 5*p + 1, p + 6 = 3*v - 2*p. Suppose v*c - g = 235. Does 13 divide c?
False
Suppose 4*r + 246 = f, -3*r - 2*r - 951 = -4*f. Let z be ((-84)/(-8))/((-6)/(-56)). Suppose -o - 5*x + z = 0, -152 - f = -5*o + x. Is o a multiple of 13?
True
Suppose 0 = -3*q + 2*m + 5191, -2937 - 521 = -2*q + 2*m. Suppose 0 = 8*n - 6141 + q. Does 19 divide n?
True
Let a(v) = 4*v - 161 + 10*v + 3*v - 5*v. Is 7 a factor of a(28)?
True
Suppose i - 15 = -2*i, -2*j = -3*i - 2715. Suppose -8*x = -29*x + j. Is 13 a factor of x?
True
Let f(x) = 1102*x + 1304. Does 39 divide f(0)?
False
Let j be (-6 - (-2 + -1))*4/(-6). Suppose -5*y = -j*i - 143, 15 + 62 = 3*y + i. Suppose -26*b - 34 = -y*b. Is 21 a factor of b?
False
Let w(i) = -i + 4. Let g be w(-5). Let h(t) = 4*t - 1 - 3 + 1 + 19*t**3 - 8*t**2 + g*t**2. Does 23 divide h(2)?
True
Let f(g) = -g**2 + 16*g + 100. Let u be f(-14). Let o = u - -1074. Does 44 divide o?
False
Let a(f) = f + 24. Let g be a(14). Suppose i + 5*n - g = -0*i, 0 = 3*i - 5*n - 154. Suppose -62 = -v + i. Is 22 a factor of v?
True
Let c = 2006 - 314. Is c even?
True
Let z(r) = -r**3 + 6*r**2 + 15*r + 15. Let a be -1 - 12*(-8)/(-32). Is 2 a factor of z(a)?
False
Let t = -63 - -168. Let b be (-3 + t/(-10))*2/(-3). Suppose b*v = 21*v - 576. Does 24 divide v?
True
Suppose 14*v = 19*v - 490. Suppose 0 = -n - s + 123, -n = -4*s - 0*s - v. Suppose -2*q + 78 = -2*i, -3*q = i - 3*i - n. Is q a multiple of 26?
False
Let y(r) = -r**2 + 7*r + 22. Let p be y(9). Suppose -z = p*z - 1855. Is 7 a factor of z?
True
Is 26919/75 + (7049/5300 - (-5)/(-4)) a multiple of 42?
False
Suppose -15*m = 5669 - 20879. Does 10 divide m?
False
Let f = 61 + -35. Let m be (-39)/f + 70/4. Suppose 0*d + 2*d - m = 0. Does 2 divide d?
True
Let h = -190 - -331. Let a = 118 + h. Suppose -47 = -2*s + a. Is 17 a factor of s?
True
Suppose -2*j = -g - 0*g + 314, 3*g + 2*j - 966 = 0. Let l = g - 170. Is 25 a factor of l?
True
Let c be (144/21)/((-4)/(-266)). Let l = c - 309. Suppose 0 = -4*r + 5*w + 106 + l, r = w + 62. Does 19 divide r?
True
Suppose -320112 = 38*m - 110*m. Is m a multiple of 26?
True
Let j(i) = 4*i**2 + 15*i + 2. Let k be 2/5 + 212/20. Let p be j(k). Suppose 5*l + 2*l = p. Is l a multiple of 19?
False
Let d = -36 - -54. Suppose -2*r + 2*l = -7*r + 26, -2*r + d = -3*l. Suppose 0 = -r*q + 398 + 298. Does 32 divide q?
False
Let z(m) = -14 - 25009*m - 2 + 25027*m. Does 14 divide z(11)?
True
Suppose 6*x + 4 = 7*x. Suppose -x*m + 30 = -110. Suppose -c + m = -14. Is 5 a factor of c?
False
Suppose 11 = -9*o + 389. Let h = -39 + o. Suppose -h*x = -4*x + 22. Is x a multiple of 4?
False
Suppose -26040 = 593*p - 603*p. Is 84 a factor of p?
True
Let v(h) = -1140*h + 1890. Does 50 divide v(-9)?
True
Suppose 0 = -3*n - 5*d + 21453, -n - 14*d + 19*d + 7111 = 0. Is 72 a factor of n?
False
Is (-12)/24 + ((-1089682)/4)/(-11) a multiple of 65?
True
Let r(s) = 2*s**3 - 4*s**2 + 8*s + 5. Suppose 8 = 10*f - 42. Does 39 divide r(f)?
True
Suppose 6*g - 10801 = 7271. Is 3 a factor of g?
True
Let l(k) = 2*k**2 + 7 + 4*k**3 - 65*k + 4*k**2 - 3*k - 3*k**3 + 3*k. Does 2 divide l(6)?
False
Let r(w) = -w**3 - 9*w**2 - 7*w - 39. Let u be r(-9). Suppose 0 = u*p + 8325 - 25941. Does 10 divide p?
False
Let x = 54 + 30. Suppose 0 = -0*n + 6*n - 468. Let c = x + n. Does 27 divide c?
True
Suppose 72 = 5*x - 53. Suppose 0 = -50*y + 45*y - x. Is (-1 - -46) + y + (-12)/(-3) a multiple of 10?
False
Is -512*((-217)/124 - (1 + 10)) a multiple of 64?
True
Let a be -1 + (-3)/((-6)/(-4)) - -4. Let v be (-5898)/(-18) - (a - (-1)/(-3)). Suppose 4*p + 2*c = -95 + v, -2*p = 3*c - 108. Is 20 a factor of p?
True
Let k = 97 - 93. Suppose 4*m - 6*m = 5*u - 2089, 0 = k*m + 12. Does 22 divide u?
False
Is 20 a factor of 9/10 + -1 - (-22061103)/11030?
True
Let u be (-4 - -8) + 2 + -1. Suppose s + 3*s - 75 = -5*y, u*s - 5*y - 60 = 0. Is 8 a factor of (-26)/(-6)*s + -1?
True
Suppose 188917 = 120*g - 59*g. Is g a multiple of 7?
False
Let n(y) = 3*y**2 + 3*y - 11. Let a be n(2). Suppose 0 = -a*x + 2898 - 770. Does 19 divide x?
True
Suppose -3*f = -5*k - 6, -f - 4*k + 3*k = -2. Suppose -s + 4*n + 72 = -112, 0 = f*s - n - 347. Is 21 a factor of s?
False
Suppose -v + 4086 = 26*j - 30*j, 3*v - 12230 = -2*j. Does 178 divide v?
False
Let z be (-14)/2*(1 + (5 - 7)). Let k = -3 + z. Is (0/k + 1)*25 a multiple of 9?
False
Let n(h) = 2798*h**2 + 128*h + 352. Is 24 a factor of n(-3)?
False
Let a(z) = -280*z + 3017. Is 4 a factor of a(6)?
False
Suppose 5*k - 2*p = 25234, -p = 3*k - 4742 - 10394. Is k a multiple of 194?
False
Let k(b) = 65*b**2 - 5*b + 6. Let p = 486 + -483. Is k(p) a multiple of 8?
True
Suppose -n + 6 + 25 = 0. Let h = -41 + n. Let l(j) = j**2 + j - 23. Is l(h) a multiple of 25?
False
Does 3 divide 2267 + -6 + (-16)/2?
True
Suppose -59355 = -5*b + m, -55*b + 53*b + 23754 = 2*m. Is 56 a factor of b?
True
Let t(c) = 1596*c - 1073. Is t(6) a multiple of 11?
True
Suppose -377 = -2*w + 339. Suppose 2*d + 220 = 4*a, 3*a - 164 - w = 5*d. Let j = 8 - d. Is 22 a factor of j?
True
Suppose -79 = -17*g + 6. Suppose 5*l = -4*m + 9 + 28, -g*l + 19 = -2*m. Suppose -i = 5*x - 11, 0 = 2*x + 3 - l. Does 4 divide i?
False
Let a = 94503 - 66293. Is 13 a factor of a?
True
Suppose 4*h + 5*y - 56826 = 0, 3*h + 98*y = 103*y + 42567. Is 13 a factor of h?
False
Let p be (1884/(-18) + -4)*21. Let n = -1521 - p. Is n a multiple of 18?
False
Let w be (2*(-124)/16 - -3)*2. Let r(q) = q**2 + 25*q + 4. Let f be r(w). Let t(o) = 5*o**2 - o - 12. Is 16 a factor of t(f)?
True
Let q(h) = -h**3 + 7*h**2 + 12*h + 11. Let z be (-32)/(-6)*42/28. Let l be q(z). Suppose l*p = 44*p - 113. Is 15 a factor of p?
False
Suppose -183*n = -185*n + 24. Is 20 a factor of ((12/(-8))/(-1))/(n/1976)?
False
Let q(v) = -2*v - 21. Let s be q(-12). Suppose 0 = s*x - 5*b - 105, 3*x + b = -3*b + 105. Does 4 divide x?
False
Is 69*((-2)/(-3) + 30624/288) a multiple of 67?
False
Is -5 + -1 + (-2148)/(-4) + 8 a multiple of 49?
True
Let u = -4 - -7. Let q(v) = v**3 - 2*v**2 + 32*v - 233. Let r be q(5). Suppose 3*s - 230 = -2*s + 5*c, r*c + 141 = u*s. Is 14 a factor of s?
False
Suppose -4*t - 6064 - 15508 = -b, 64672 = 3*b - t. Is b a multiple of 68?
True
Let n = 33 - 15. Suppose 3*a - n = 57. Let v = -16 + a. Is v a multiple of 3?
True
Suppose 15 = -3*x, -3*j - x = 6 - 1. Suppose j = -3*n + 381 + 1026. Is n a multiple of 37?
False
Let p be (78/8)/(135/48960). Suppose p = 8*l + 18*l. Is 4 a factor of l?
True
Suppose 4 = -c - 2. Let a(i) = -49*i - 1. Let u be a(c). Suppose -5*k = -4*q + 588, -k + u - 897 = -4*q. Does 36 divide q?
False
Let t(q) = -2*q - 8. Let m(x) = -4*x - 15. Suppose 3*s + c + 20 = 0, 2*c - 7*c = -5*s - 40. Let y(g) = s*t(g) + 3*m(g). Is 3 a factor of y(2)?
True
Suppose -s - 256193 = -5*n, 0 = -13*n + 18*n + 2*s - 256214. Is 305 a factor of n?
True
Let n(j) = -28811*j**3 - 2*j**2 + 68*j + 71. Is n(-1) a multiple of 196?
True
Let x(k) = 139*k**2 - 3*k - 2. Let n(a) = a - 6. Let q be n(3). Let r be -3 + 28/8 - q/(-2). Is x(r) a multiple of 28?
True
Let n(k) = 860*k**2 + 100*k - 312. Is 21 a factor of n(3)?
True
Let n(x