541*v - 55. Let r be i(-3). Suppose -4*d = -2*b + r, 2*b = -2*d + 410 + 1128. Does 43 divide b?
True
Let a(g) = g**2 - 7*g - 6. Let o be a(8). Let y(d) = 217*d**3 - 2*d - 3*d**o + 2 + 2*d**2 - 68*d**3. Does 29 divide y(1)?
False
Suppose 304*q = 309*q - 16135. Does 186 divide q?
False
Suppose -4062 = -2*i + 4*r, 3*i = -r + 8918 - 2825. Suppose -i + 7176 = 15*p. Is 34 a factor of p?
False
Does 76 divide (-238)/10*-695 - -14?
False
Let l = 99442 + -55209. Is l a multiple of 14?
False
Let i = 38 + -41. Is 4 a factor of (-194)/(-14) - i/21?
False
Does 55 divide 799664/112 + 10 + 4/28?
True
Is -8 - (-5 + (-44)/(-8))*-6194 a multiple of 12?
False
Suppose -5*h - 15 = 0, -40*p + 42*p = 5*h + 13721. Is p a multiple of 127?
False
Let b be (-36)/(-60) + 706/(-10). Let j = -64 - b. Suppose -j*o + 107 = -5*o. Is 23 a factor of o?
False
Suppose 8 = 2*p, 20*i - 5*p + 92 = 24*i. Does 28 divide i/8 - (-32819)/148?
True
Suppose 21302 = 3*c - 2*w, -59*c = -64*c - 4*w + 35496. Is c a multiple of 33?
False
Suppose 32336*k - 32348*k = -320760. Is 9 a factor of k?
True
Let c(t) = -t**2 - 14*t - 36. Let w be c(-10). Suppose r - 3*r = f - 201, -4*f - 396 = -w*r. Does 14 divide r?
False
Suppose 2*u = 2*b + 2786 + 3118, 2*u + 4*b = 5904. Suppose -7*z + u = -z. Is 39 a factor of z?
False
Let f be (-29847)/(-9) - 6/(-9). Suppose 5*j - f = 933. Is j a multiple of 85?
True
Let q(p) = 52*p**3 - 15*p**2 + 13*p - 12. Is q(7) a multiple of 219?
False
Let t be (-9)/(54/96)*42/4. Let j = -36 - t. Suppose j = 3*z + 5*n, 5*z = n + 184 + 8. Is z a multiple of 39?
True
Let m(a) = -26*a - 20. Suppose 4*c + 3*f + 157 = -c, 3*c - 3*f + 99 = 0. Let x = -38 - c. Is 11 a factor of m(x)?
False
Let v = 7780 + -2650. Is 5 a factor of v?
True
Let v = -1652 - -8752. Is 153 a factor of v?
False
Let s = 46 + -43. Suppose 7*u - 4*u - s = 3*z, u - 5*z = -3. Suppose -q - f + 86 = u*q, 5*f = 10. Is 15 a factor of q?
False
Suppose -17*g + 38*g - 6300 = 0. Suppose 22*i - 26*i = -g. Does 33 divide i?
False
Let h = -14043 - -15511. Does 2 divide h?
True
Suppose 36*g = 27*g + 162. Let q be (-6)/g - (-1315)/3. Suppose 2*m + 202 = 2*j, 4*j + 5*m + 7 - q = 0. Is j a multiple of 13?
True
Let x(i) be the first derivative of i**4/4 + 11*i**3/3 - 7*i**2 + 14*i - 189. Does 65 divide x(-9)?
False
Suppose -3*q = -1756 - 3599. Does 35 divide q?
True
Let o = -6517 - -6590. Suppose -4*t + 537 - 29 = 0. Suppose t + o = 5*i. Is i a multiple of 20?
True
Let d = 41 - -7. Let t be 48/(-12) - 1/(-1). Is d/(-1)*t + -3 a multiple of 47?
True
Let p(w) be the third derivative of 77*w**4/6 + 3*w**3/2 - 10*w**2 + 4. Does 29 divide p(3)?
False
Let h(l) = l**2 + 12*l - 110. Let p be h(6). Is 55 + (-2 - (p - -3)*2) a multiple of 17?
True
Let l(i) = i**3 + 25*i**2 - 69*i - 80. Let q(d) = -4*d**2 + 6*d + 13. Let f be q(4). Does 6 divide l(f)?
False
Let d = 65 - 36. Let o = d - -1. Is 7 a factor of (66/o)/((-2)/(-20))?
False
Suppose 0 = -5*n, -p - 2 = -11*n + 14*n. Is 5 a factor of (243 + (-1 - 4))*(-1)/p?
False
Let q be 1 + -1 + 2 + -6. Let t(p) = -p**2 + 2*p + 24. Let h be t(q). Suppose 4*j - 2*s = -j + 139, h = 2*j + 4*s - 70. Is j a multiple of 5?
False
Let a be (0 + -1 - (-299 - -2)) + -2. Let o = 643 - a. Is o a multiple of 3?
False
Let l(y) = 4*y + 171. Let z be (132/(-8))/(2 + (-12)/8). Does 39 divide l(z)?
True
Let j = 939 - 640. Suppose -302*g = -j*g - 1176. Does 56 divide g?
True
Suppose -23*y - 39277 = -296509. Is 5 a factor of y?
False
Let r(a) = -7*a**2 - 30*a + 3. Let p be r(-4). Let t(s) = 3*s**2 - s**2 + 0*s**2 - 9 - 9 - 13*s. Is 27 a factor of t(p)?
True
Let i = -2 - -7. Let z(m) = m - 9. Let j be z(12). Suppose -i*f = j*y - 700, -f - 3*y = -3*f + 280. Does 37 divide f?
False
Suppose -4*t + 3*t + 3 = 0. Suppose -t*m + 11 = 4*f, -29 = -2*m + 2*f - 3. Suppose -2*d - 7*a = -m*a - 62, -5*d = 5*a - 185. Does 3 divide d?
False
Let v(m) = -133*m - 133. Let g = -27 - -13. Is 30 a factor of v(g)?
False
Let p = -50 - -56. Suppose p*v - 4412 = -524. Is v a multiple of 27?
True
Let y be 5/(-6) - 31274/228. Let k = -26 - y. Is k a multiple of 7?
True
Let i(d) = 889*d + 693. Is i(7) a multiple of 13?
True
Suppose -2*l + 14 = 2*v, 2*v - 4*l - 5 + 15 = 0. Suppose -1 = -v*s - 4. Is ((-20)/60)/(s/69) a multiple of 3?
False
Is (8/6)/(924/2717253) a multiple of 57?
False
Suppose 7*y - 29165 = 6871. Suppose 18*a - 3*t + 2061 = 20*a, -5*a - 3*t + y = 0. Is 53 a factor of a?
False
Let g(d) = -44*d**2 - 2*d + 4. Let s(l) = 45*l**2 + l - 3. Let f(p) = 2*g(p) + 3*s(p). Let y = -2735 - -2736. Does 9 divide f(y)?
True
Let n(r) = -10 + 23 + r - 25. Let o be n(9). Does 7 divide (4 - o)/(1/3)?
True
Suppose -3*k = 3*x - 43629, -3*x = -3*k + 17831 + 25804. Is k a multiple of 101?
True
Let p(x) = -x**3 - 2*x**2 - x. Let g be p(0). Suppose g = c - 18 - 47. Let b = -57 + c. Does 4 divide b?
True
Suppose -28*s + 177 = -25*s. Suppose v - c - s = 161, c - 3 = 0. Does 42 divide v?
False
Let q(y) = 11*y**2 + y - 24. Let b be q(-11). Suppose -b = 35*f - 41*f. Is f a multiple of 12?
True
Suppose -14*i - 170 = -16*i. Suppose -5*f + 2*l - i + 28 = 0, 0 = -f - 3*l - 8. Is (-4 - f) + 1 - -2 a multiple of 2?
True
Let b = 10 - 7. Suppose 0 = -6*c + 15 + 3. Suppose b*h - 346 = -f - c*f, 343 = 3*h + f. Is h a multiple of 19?
True
Is 180/(6 - (14016/294)/8) a multiple of 23?
False
Let b be 3/((-6)/(-2))*163. Suppose -3*r - 40 = -b. Suppose -37*a + r*a = 116. Is 4 a factor of a?
False
Let m = -49 - -51. Let z be 11*(m + 3 - 4). Suppose z*k - 720 = -k. Is 20 a factor of k?
True
Let w = -9472 + 14227. Is 35 a factor of w?
False
Let d(x) = 1008*x**2 - 46*x + 16. Does 84 divide d(4)?
True
Let t(h) = -10*h + 1. Let o be t(-1). Let k = 49 + -53. Let b = o + k. Is 5 a factor of b?
False
Suppose 2*d = 3*s + 3, 2*s - d = -0*s - 3. Let z be 75/5*(1 - (-2)/s). Suppose 2*r = -2*r - 3*c + 247, 0 = -z*c - 15. Is 4 a factor of r?
True
Suppose -2*k + 10 = -0*k. Suppose -2*d = -3*r + k + 4, -3*r + 9 = -3*d. Suppose t - 50 - 30 = d. Is t a multiple of 43?
False
Suppose -2*u + 7*u - 196 = 4*b, -4*u + 5*b = -164. Is (-140)/(-6)*(u/(-9) + 7) a multiple of 14?
True
Let s = -1228 + 2037. Suppose -o = -5*m + s, o + 647 = 4*m - 0*o. Is 6 a factor of m?
True
Is 3 a factor of 417240/(-162)*(-45)/10?
False
Let l be 2/((16/(-12))/((-16)/8)). Is (281 - (l + -7)) + 4 a multiple of 17?
True
Let x(f) = -49*f - 18 + 83 + 5. Let g be x(6). Does 7 divide 30/3*(g/20)/(-2)?
True
Let t(h) = -150*h**3 - h**2 - 14*h - 13. Is 15 a factor of t(-1)?
True
Let d = -13627 - -16267. Is 15 a factor of d?
True
Let h(k) be the first derivative of -k**2/2 + 14*k - 19. Let l be h(15). Is 4 a factor of ((-2)/(-4))/l - (-754)/52?
False
Let a = 1011 + 9255. Does 14 divide a?
False
Suppose -g + 23 - 24 = 0. Let c be (-3 - g) + 25/5. Suppose -c*q + 91 = -32. Does 6 divide q?
False
Let a(p) = 7*p + 1810. Is 51 a factor of a(-49)?
False
Let q be (2/(-3))/(4 - (-40)/(-12)). Does 23 divide ((-22000)/(-300))/(q/(-3))?
False
Let t = 4764 - 2925. Suppose -2*h = -6*h + 5*c + 1821, 0 = -4*h - c + t. Is h a multiple of 27?
True
Let z be (0/(-1))/2 - (8 - 8). Suppose 3*j - 4*i + 12 = z, -3 = 4*j - 4*i + 9. Does 26 divide (-14)/35 - (j + 1044/(-10))?
True
Suppose 17*u = -15312 + 94549. Is u a multiple of 67?
False
Let c be (-4)/(-6)*13848/(-16). Let n = c + 692. Does 5 divide n?
True
Is -582*((-408)/36 + 6) a multiple of 11?
False
Let b(h) = h + 1. Let m be b(4). Suppose -u - 56 = -m*u. Suppose -18*k = -u*k - 128. Is k a multiple of 11?
False
Suppose -2*j = -11*j + 2052. Let h = j - 118. Is 11 a factor of h?
True
Let q(b) = 55*b - 13. Let o be q(1). Suppose 2*g = -5*z + 348, -41*g = -o*g + 3*z + 196. Is g a multiple of 5?
False
Suppose -198*r + 203*r = -2300. Suppose 4*j + 3415 = -j. Let q = r - j. Does 35 divide q?
False
Let x be (-8*1/12)/(2/(-9)). Suppose -86 = -x*d - f, -3*f = -3*d + 4*d - 18. Does 3 divide d?
True
Suppose -j = 111 + 13. Let k(s) = -2*s**3 + 32*s**2 - 22*s + 2. Let z be k(16). Let q = j - z. Does 40 divide q?
False
Suppose 0 = 4*w + 251 + 181. Is -2*9/w + (-2518)/(-12) a multiple of 14?
True
Suppose 0 = 5*i - 35 - 50. Is 4 a factor of 0 + 3 + -1 + i?
False
Let z(k) = -k**2 - 12*k - 2. Let v be z(-13). Let c = -12 - v. Suppose 594 = c*w + 87. Does 13 divide w?
True
Suppose -29 = 15*t - 344. Suppose -4*y + 639 = -t.