se 20*f = 64*f + 968. Is h(f) a multiple of 6?
False
Suppose -1164 = -290*s + 289*s + 4*q, 3*q + 5769 = 5*s. Is 9 a factor of s?
True
Let f(s) = 518*s - 83 - 559*s - 43. Is f(-7) a multiple of 23?
True
Suppose 5*r + 5*y - 2375 = 0, -4*r + 1327 + 618 = -5*y. Is 20 a factor of r?
True
Let f = -5640 - -5990. Does 25 divide f?
True
Suppose 6*g - 30 + 48 = 0. Does 12 divide 828/45*(5 + g + 13)?
True
Let o(w) be the first derivative of w**4/4 - w**3 - 7*w**2/2 + 13*w + 23. Let f be o(4). Does 3 divide (f - 128/2)*(-7)/21?
True
Suppose -4*l + 3*c = -12510 - 1440, -10452 = -3*l - 3*c. Does 166 divide l?
True
Let d(o) = 26*o**2 + 11*o - 1. Let k be (160/72 - 2) + 166/(-18). Let x be d(k). Does 11 divide 2/(-7) - x/(-14)?
True
Let f(x) = -x**2 + 4*x + 5. Let s be f(5). Suppose s = -5*y + 686 + 339. Let b = y + -116. Is b a multiple of 14?
False
Let b = 25243 - 19775. Is 11 a factor of b?
False
Suppose -45*l = 33*l - 366444. Is 58 a factor of l?
True
Suppose -1327*b + 1319*b + 760 = 0. Suppose 852 = 2*a - 4*o, 100 = -5*o + b. Is 11 a factor of a?
False
Suppose 0 = -28*x + 152767 + 57205. Is x a multiple of 6?
False
Let f(o) = -2*o + 48. Let i be f(23). Let w be 38 - 0 - (-8)/i. Suppose -5*s + w = -458. Is s a multiple of 29?
False
Let y(i) = -i**2 - 6*i + 18. Let s be y(-8). Let n = 8 - 8. Suppose 2*g = u + 27 - 9, n = 5*g + s*u - 63. Is 11 a factor of g?
True
Let r(i) = -89*i**2 - 21*i - 43. Let c(w) = -44*w**2 - 12*w - 22. Let q(d) = 11*c(d) - 6*r(d). Is q(3) a multiple of 8?
True
Let t be (-7)/6 + 17/102. Let k be 59/1 - (t + 0/(-5)). Suppose 2*s + 4 = 0, -2*y = -5*s + 10 - k. Is y a multiple of 6?
False
Suppose 37*w - 100520 = -17381. Does 40 divide w?
False
Let r be (-4)/16 - ((-290)/8 + 1). Let h(x) = 0 + 78 - x**2 + r*x - 24. Does 20 divide h(33)?
True
Let u = 148 + -145. Suppose 5 = -k + 5*a, -2 = -5*k - u*a + 1. Suppose k = 2*l - 3*f - 435, 2*l = -f + 161 + 278. Does 11 divide l?
False
Does 28 divide (5/4)/(39/312)*(-22036)/(-10)?
True
Let g be 67/13 - (-14)/(-91). Let l(x) = x**3 - x**2 - 13*x + 3. Let m be l(g). Let t = 32 + m. Does 10 divide t?
True
Let d(r) = 24 - 12*r**3 + 3*r**3 - 43*r + 7*r**3 - 24*r**2. Is 51 a factor of d(-11)?
True
Let j = -593 + -346. Let f = j - -1716. Does 26 divide f?
False
Let g be ((-48)/(-16))/((-6)/(-4)). Suppose 142 + 234 = g*t. Is t a multiple of 61?
False
Suppose 2*m = 8*u + 76623 - 519959, 4*m - 110816 = -2*u. Is 61 a factor of u?
False
Let z = 444 + -571. Let l = 1030 + z. Is l a multiple of 43?
True
Suppose -56 = -38*o + 10*o. Suppose -3*j = -7*j + 5*c + 850, 0 = -c - o. Is j a multiple of 13?
False
Suppose -u + 4*j - 2*j = -10, j = 5*u - 14. Suppose 4*l = -4*p + 722 + 186, -3*l = -u*p + 434. Is 26 a factor of p?
False
Let t(k) = -k**2 - 11*k - 25. Let f be t(-7). Suppose -34 = f*a - a. Let m = a - -33. Is m a multiple of 16?
True
Let z(f) = -8*f - 104. Let x be z(-13). Suppose -v - 3*v - 3*k + 848 = x, -5*v = 4*k - 1059. Is v a multiple of 10?
False
Let r be (-5 - -4) + 9 - (4 - 2). Does 7 divide r - 1 - 3 - 5 - -95?
False
Let j = 14 - 11. Suppose -24*w + 92 = -w. Is 7 a factor of (w - (-3 + j)) + 73?
True
Let k(w) = -552*w + 867. Is k(-25) a multiple of 43?
False
Let l = -1814 - -3644. Does 12 divide l/9 + (-7)/21?
False
Suppose 0 = -t + 2*s + 7, -2 = 2*s + 2. Let h be 1/t*(-3 + -12). Is 10 a factor of ((220/(-8))/h - 3)*34?
False
Is 37 a factor of 3/(-2) - ((-16)/200 + (-5044923)/650)?
False
Suppose 106214 + 41561 = 25*f. Is f a multiple of 23?
True
Let a(g) = 1457*g**2 - 473*g - 2349. Does 198 divide a(-5)?
False
Suppose 0 = -4*j - 3*r + 11948, 3*r = -4*j - j + 14938. Suppose 711*w = 716*w - j. Is 26 a factor of w?
True
Suppose 2*a + m = 3*a - 9, 0 = a - 4*m - 18. Suppose -4*x + a*x = 240. Suppose -18 = x*l - 123*l. Is 6 a factor of l?
True
Let t = -201 + 245. Let u = t + -12. Is u a multiple of 2?
True
Suppose -3*c - 11 = 4*i, c + 0*c = -i - 2. Suppose 3*x = -2*r + 210, c*x = -x. Is 35 a factor of r?
True
Let f = -204 + 460. Suppose 0 = p + y + 3*y - f, -4*p + 4*y = -1004. Is p a multiple of 31?
False
Suppose -271 = -h - 0*h - 4*m, 0 = -3*h - 4*m + 789. Suppose h + 1281 = 5*u. Does 7 divide u?
True
Let y(w) = 246*w**2 + 35*w - 301. Is y(9) a multiple of 20?
True
Suppose 6*f - 3*h = 11*f - 45627, 3*h = -2*f + 18240. Is f a multiple of 12?
False
Suppose -5*o + 21 = 2*o. Suppose g = -5, -143 = -o*z - 5*g + 78. Let y = -49 + z. Is 5 a factor of y?
False
Suppose 7*k - 12 - 2 = 0. Suppose z - 1 = -k, -121 = -2*q + 5*z. Is 3 a factor of q?
False
Suppose -5*l - 3742 = -g, 4*l + 1492 = 2*l + 2*g. Let o = -205 - l. Does 32 divide o?
True
Let u = -183 - -417. Suppose -u + 2826 = 9*m. Is 48 a factor of m?
True
Is 69 a factor of 4/(-7 + 1*45895/6555)?
True
Suppose -115*l - 139*l = -2846070. Does 5 divide l?
True
Let m = 663 + -646. Is (-17)/(m/16)*-4 a multiple of 11?
False
Suppose 232*w = 472*w - 1774080. Is 33 a factor of w?
True
Suppose 0 = -3*i + 3*d + 3, -5*d = 4*i - 2*i + 5. Suppose i*q + 2*l + 764 = 4*q, -4*q = -3*l - 768. Is 15 a factor of q?
False
Suppose 3440 = 107*a - 102*a - 4*k, -4*a - 4*k = -2788. Does 4 divide a?
True
Suppose -2*z + 6 = -0*z, -3*s + 20421 = 3*z. Is 14 a factor of s?
True
Let k be (6 + 0)/(-16 + (31 - 16)). Suppose -o + 2*o = -176. Is 8 a factor of o/k*(15/(-6) + 4)?
False
Let q = -5162 - -9740. Is q a multiple of 20?
False
Let c be (-20)/(3*(-2)/9). Let d = -7260 + 7314. Let n = c + d. Is n a multiple of 29?
False
Let r = -61 + -455. Let z = 776 + r. Suppose -4*n + 65 - 741 = -5*y, -n + z = 2*y. Does 11 divide y?
True
Let w = -46 - -61. Let k(h) = -h**3 + 17*h**2 - 19*h - 10. Let j be k(w). Suppose -7*z + 76 = -j. Does 11 divide z?
True
Let o(g) = 70*g**2 - 89*g + 237. Is o(11) a multiple of 92?
True
Let h = 2871 - -1385. Does 67 divide h?
False
Suppose 0*g + 4*g = 2248. Suppose -d - g = -3*d. Does 14 divide d/2 - (15/10)/3?
True
Suppose 0 = -3*u - q - 1, -1 = 4*u + q + 1. Does 44 divide (-4615)/(-15) - ((-5)/(-15))/u?
True
Suppose 0 = 4*z - 3*j - 152, -2*z + 23 = -z + 3*j. Let y = 78 + z. Suppose -407 = -14*f - y. Does 2 divide f?
False
Let b(q) = -34*q - 32. Let o be b(6). Let a be (-8)/(-2) - ((3 - 6) + o). Suppose -4*s + 353 + a = 2*m, 3*s + 5*m - 440 = 0. Does 23 divide s?
False
Let q = -1531 - -5821. Does 39 divide q?
True
Suppose -5*a + 1 = m - 7*a, -a = -2*m + 14. Suppose 0 = m*n - 322 + 97. Is n a multiple of 4?
False
Let k(v) = -2*v + 3. Let f = -32 + 32. Let u be k(f). Is 25 a factor of u - ((-4 - -3) + -96)?
True
Let u = -29031 - -35899. Is 68 a factor of u?
True
Let v(z) = 79*z**2 - 8*z + 11. Let b(g) = 39*g**2 - 4*g + 6. Let i(d) = -5*b(d) + 3*v(d). Let r be i(1). Suppose -r = -2*x + 51. Does 13 divide x?
False
Let x = -18 - -20. Suppose 240 = 2*u + 4*z, -135 = -u - 0*z - 5*z. Suppose 4*y - 214 = -x*o - y, o + y = u. Is 14 a factor of o?
True
Let s = 6507 + 142. Is 79 a factor of s?
False
Suppose -47 = -3*m + 37. Suppose -2*l + 9*l - m = 0. Suppose 0 = l*u - u - 66. Is u a multiple of 11?
True
Suppose 60*x - 78*x = -119340. Is 54 a factor of x?
False
Suppose 3*i - 10 = -2*y - 200, y = -5*i - 102. Let c = y + 97. Suppose 203 = -c*v + 1453. Is 53 a factor of v?
False
Let v be ((-45)/(-10) - 4)*-2. Let c(q) = 12*q + 14. Let o be c(v). Suppose -4*i + 346 = o*r - 5*r, 0 = -3*i - r + 266. Is 27 a factor of i?
False
Suppose -30*g + 3*a = -25*g - 3800, -2*g + 1520 = 5*a. Is g a multiple of 20?
True
Let d = -17 - -19. Suppose -d*l - 133 = 17. Let c = l - -112. Is 5 a factor of c?
False
Let t = -172 - -11645. Does 3 divide t?
False
Let s(a) = -4*a**2 - 82*a - 21. Let f be s(-20). Let c = 24 - f. Is 4 a factor of c?
False
Suppose 1160 = 2*z - 16. Is 39 a factor of z - (-6)/8*-4?
True
Let u(l) = -l**2 - 18*l - 78. Let q be u(-9). Suppose 4*o + 2*v - 2054 = 4*v, q*o - v = 1543. Is o a multiple of 12?
True
Suppose -s - o - 4*o = -30, -4*s + 5*o = 5. Suppose g + s*g = 270. Let d = g - 20. Does 14 divide d?
False
Suppose -z = t - 75, -5*z + 4*t + 420 = -0*t. Suppose -5*g = 5*i + z, 0*i - 4*i + g - 44 = 0. Let p = 48 + i. Is p a multiple of 5?
False
Let s(g) = -20812*g + 272. Is 6 a factor of s(-1)?
True
Let c(l) = -83*l**2 - 5*l - 10. Let r(a) = 4*a**2 - a - 2. Let x(h) = -c(h) + 4*r(h). Let o be (1 + (0 - -1))/(-2). Is 29 a factor of x(o)?
False
Let j(q) = -q**2 + 9*q - 5. Supp