*3 + 14*b**2 - 44*b - 675. Does 17 divide r(-11)?
True
Let z = -4031 + 34463. Does 24 divide z?
True
Let i(r) = -13*r**2 - 17*r + 16. Let w be i(5). Let s = -379 - w. Does 2 divide s?
False
Is 3 - 2 - -3585 - (235 + -233) a multiple of 8?
True
Let d(n) = -1. Suppose -5*x + 6 = -3*a, a - 3*x + 2 = -4. Let b(t) = 7*t - 12. Let g(y) = a*d(y) - b(y). Is g(-18) a multiple of 15?
True
Let w(c) = c**3 - 6*c**2 - 6*c - 6. Let i be w(7). Let d be (i/(-3))/((-2)/(-12)*1). Is 7 a factor of ((-128)/12)/(-1)*(-15)/d?
False
Let m = -170 - -174. Suppose -282 = -m*n - 18. Is 6 a factor of n?
True
Let l(k) = -265*k**2 + 17*k + 29. Let c be l(-2). Is 13 a factor of (-13)/(-24 - -11) - c/1?
True
Let v be (-9)/(225/20)*170/(-4). Suppose -4*i + 12 = -2*y - 24, -4*i + 3*y + v = 0. Let d(l) = l**3 - 10*l**2 + 8*l - 6. Is d(i) a multiple of 35?
False
Let s(q) = -13*q**3 + 2*q**2 + 2*q + 1. Let v(l) = l**3 - 8*l**2 - 6*l + 3. Let j be v(9). Let r = 29 - j. Does 6 divide s(r)?
False
Let j be (1 - 2)/((-29)/377). Suppose 3*l - 3840 = -j*l. Is 30 a factor of l?
True
Let m be 10/(-30) + (-700)/6. Let s = 221 + m. Is 17 a factor of s?
False
Suppose 14*n + 22*n - 181296 = 0. Is ((-1)/(10/n))/((-704)/1760) a multiple of 11?
False
Let z(b) = 8*b - 220. Does 30 divide z(110)?
True
Suppose 10*v - 96 = 4*v. Let c = -20 + v. Does 12 divide 23 - (c - (2 - 5))?
True
Suppose 7*c - 2*c - 3*j - 12 = 0, 2*c + 5*j = 11. Let i(m) = 18 + 2 - 13*m**2 + 5*m + 2*m**3 - 2*m**3 - m**c. Is 31 a factor of i(-14)?
False
Suppose -5*l + 30 = -4*j, -2*l + 4*l - 4*j = 24. Suppose -l*s - 4 = 2*s. Let t(m) = -13*m**3 - 2*m**2 + 1. Is t(s) a multiple of 2?
True
Let f(t) = t**2 - 7*t - 72. Let w be f(12). Let o = w + 214. Does 6 divide o?
False
Let w be 6728/6 - (40/12 - 4). Let c = 1708 - w. Does 35 divide c?
False
Suppose -61*o + 183008 + 209345 = -30377. Is o a multiple of 57?
False
Let y(d) = 512*d - 15. Let c(a) = -513*a + 14. Let g(f) = -5*c(f) - 4*y(f). Is 39 a factor of g(1)?
True
Let z(c) = c - 5. Suppose -13*s + 17*s = 16. Let i be z(s). Does 21 divide 4 - (-1 - i) - -86?
False
Let a be (1/(-4))/(31/(-104532)). Let x = -458 + a. Is 23 a factor of x?
False
Let z(h) = 42*h - 328. Let x(n) = 45*n - 330. Let p(o) = 3*x(o) - 4*z(o). Does 35 divide p(-21)?
True
Let n(t) = -59*t - 288. Is 10 a factor of n(-12)?
True
Let y(v) = -8*v + 4 + 26*v + 22 + 40*v**2 + v**3 + 2*v + 33*v. Is y(-38) a multiple of 10?
True
Suppose -2*d = 61*a - 63*a + 10248, 0 = 4*d. Is a a multiple of 61?
True
Let s = 584 + -585. Is -1*(-3 - (s + 6)) a multiple of 8?
True
Let n = 1313 - -1448. Let j = n + -1693. Is 20 a factor of j?
False
Let c(p) = p - 5. Let o be c(10). Suppose s - 2*a + 455 = 0, o*s - 2*a + 2299 = -0*a. Let d = s + 683. Is 37 a factor of d?
True
Let x(f) = 273*f**2 + 679*f - 679. Let h be x(1). Suppose -4*p + 7 = -41. Is h/p - -2 - (-2)/8 a multiple of 5?
True
Suppose -34*a + 221741 + 973063 = -7*a. Does 52 divide a?
True
Let o = 9823 - 7460. Is o a multiple of 21?
False
Let y be ((-663)/17)/((3 + -1)/(-2)). Suppose 2*z = 2*w - 284, -2*w - y + 317 = -5*z. Is 3 a factor of w?
True
Let s(f) = -3*f**2 + 15*f + 9. Let y(h) = -h**2 + 5*h + 3. Let t(x) = -3*s(x) + 8*y(x). Let k be t(6). Suppose 261 + 39 = k*l. Is 25 a factor of l?
True
Does 58 divide (90/63)/((-2)/(-13062)*3)?
False
Suppose 142*a - 41*a = 834765. Is 29 a factor of a?
True
Suppose -23609 = -45*l + 3684 + 11722. Is l a multiple of 5?
False
Let d(n) = n + 8. Suppose 8 = -3*m - 4. Let x be d(m). Suppose -5*s + 385 = x*v, 3*s + v + 94 = 332. Is 33 a factor of s?
False
Suppose -12*l = -3721 + 361. Suppose 2*p - 2 = 8. Suppose l = -z + p*z. Does 10 divide z?
True
Let c = 175 - -5301. Suppose -73*m + c = -36*m. Is m a multiple of 3?
False
Suppose -3*n = 5*z + 16, -12*z + 14*z + 19 = -3*n. Let l = 392 + n. Is 11 a factor of l?
True
Let l(v) = 5*v + 2*v - 66 - 2*v + 59. Let y be (-8)/12*(-9)/2. Does 4 divide l(y)?
True
Suppose -5*s - 11*h + 2725 = -7*h, 2*s - 4*h - 1118 = 0. Is 61 a factor of s?
True
Suppose 0 = -3*o - 7 - 2, 2*i - 9 = 3*o. Let r = 41 + i. Does 17 divide r?
False
Suppose 3*z = -3*h + 21045, h + 3*z = 5*h - 28095. Does 52 divide h?
True
Suppose 4*w + 1229 - 5709 = 0. Let v = w - 398. Is 19 a factor of v?
True
Let p(t) = -3*t**2 - 41*t - 21. Let m be p(-13). Suppose -3*v - m*o = -7*v + 1709, -v + 430 = -4*o. Is v a multiple of 13?
False
Suppose 113*h - 489450 - 1727837 = 179330. Does 54 divide h?
False
Suppose -317*r - 2724 = -321*r. Suppose r*x - 1650 = 675*x. Is x a multiple of 25?
True
Let q(r) = r**3 - r**2 - 2*r + 34. Let x be q(0). Suppose -16766 + 1704 = -x*l. Is l a multiple of 13?
False
Let a(n) be the second derivative of -3*n + 5/2*n**3 - 2*n**2 + 0. Is 13 a factor of a(2)?
True
Let r = 72347 - 51611. Is r a multiple of 16?
True
Let y(m) = -m**3 + 8*m**2 - 6*m - 5. Let s be y(7). Suppose -a = -o + 52, 20 + 47 = o + s*a. Suppose 409 = 5*p - 4*g + o, -4*g = -8. Does 12 divide p?
True
Let x(q) = -30*q - 9. Let m be x(-8). Is 2 a factor of 6*(3 - 0 - m/99)?
True
Let w(i) be the second derivative of -i**4/12 - 17*i**3/6 + 73*i**2/2 - i - 12. Does 6 divide w(-20)?
False
Let m = -1875 + 5598. Is m a multiple of 73?
True
Let u be ((-42)/35)/((2/(-10))/1). Suppose -10*r = u*r - 2816. Is 6 a factor of r?
False
Is (-4 - (-110)/20)/(5/7530) a multiple of 9?
True
Does 24 divide (-8)/6 + 3070472/1266?
True
Let z(l) = -43*l**3 - 9*l**2 - 11*l - 8. Does 11 divide z(-7)?
True
Let f(p) = 7*p**2 + 1. Let g be f(-1). Suppose 8 = g*h - 16. Suppose -h*r + 2*r + 60 = 0. Does 12 divide r?
True
Let v = -49 - -56. Suppose -a + v = -5. Does 17 divide (a/18)/(4/708)?
False
Suppose 4*x = -730 + 250. Let s = x - -176. Is 14 a factor of s?
True
Let r(v) = -39*v + 42. Let w be r(-7). Suppose -23*q = -2*q - w. Does 5 divide q?
True
Does 22 divide 60/(7 + -13) - -1550?
True
Let u(j) = 11*j**3 + 24*j + 35. Does 6 divide u(6)?
False
Suppose 5*z + 25*z = -56227 + 163447. Is 37 a factor of z?
False
Let f = 6105 - 3009. Is f a multiple of 11?
False
Let c = 1799 - -3123. Is c a multiple of 23?
True
Suppose -3*b - 30486 = -3*f, -3*b = 5*f - 4*f - 10158. Does 9 divide f?
True
Let i be (0 - 12) + (-1 - -18 - 11). Is 15 a factor of (-2786)/i - (3 - 77/21)?
True
Let r be ((-56)/10)/(1*(-1)/5). Is (1 + -921)/(-30 + r) a multiple of 10?
True
Suppose -6*h + 7541 = -36841. Suppose -35*r + 48*r - h = 0. Is 14 a factor of r?
False
Let g = 5158 - -2512. Is g even?
True
Let y = -168 + 168. Suppose 3*g = 2*u - 4 - 410, -2*u - 5*g + 398 = y. Is 4 a factor of u?
True
Is 16 a factor of (-493314)/(-38) + 506/9614?
False
Is 47 a factor of (16 - 429/27)*42*(-22254)/(-7)?
False
Is 9 a factor of (9 - 20)*-767 - 2?
False
Let a(r) = -4*r**3 + 2*r**2 + r + 7. Let z be a(-3). Suppose -3*s = 2*s + 4*f - 668, s - z = -2*f. Is s a multiple of 8?
True
Let c(f) = -18*f**2 + 16*f - 26. Let x be c(2). Let j = 108 + x. Is 42 a factor of j?
True
Let r(l) = -l**3 + 4*l**2 - 11*l + 5. Suppose -3*v - 5*k + 12 = 0, -5*k + 5 + 11 = 4*v. Let x be r(v). Let h = -13 - x. Does 8 divide h?
False
Let o = 60 + -52. Let r(y) = -10*y - 7*y**2 + y**3 + 8*y - 10 - 6. Is r(o) a multiple of 6?
False
Let d be (-2)/(-6) + ((-32)/6 - -3). Let c be (90/d)/(-5) - -5. Suppose 11*u + 183 = c*u. Is 8 a factor of u?
False
Let o be 18*(16/(-160))/((-9)/15). Suppose -5*y + o*d + 231 = 0, 4*y - 190 = 2*d + 3*d. Is y a multiple of 18?
False
Let h(j) = -j**2 - 60*j + 35. Let v be h(-20). Let n = -583 + v. Does 21 divide n?
True
Suppose -32 = -2*w + 2*f, 5*w - 3*f - 93 = -9. Suppose -w*u + 367 = 97. Does 3 divide u?
True
Let p be (-3 + (-20)/(-8))*(-30)/3. Suppose -p*z = -5*g - 8*z + 1202, -3*z + 238 = g. Suppose -4*r = 4*n - 1436, -r + 110 = 5*n - g. Is r a multiple of 41?
False
Let m(q) = 2*q + 20. Suppose 10 = -g + 12. Is 6 a factor of m(g)?
True
Suppose -323*w + 506554 = -37*w - 183*w. Does 9 divide w?
False
Let t = -8 - -13. Suppose 0 = 326*m - 318*m - 344. Suppose x - 2*v - v = m, -x = t*v - 19. Is 4 a factor of x?
False
Let g be 1039/7*1 + 24/42. Let d = g - -73. Is d a multiple of 6?
True
Let r be 1012/18 - (-4)/(-18). Let c = -835 + 839. Suppose -c*g = 4*g - r. Is g a multiple of 7?
True
Let r = -1888 + 2088. Does 10 divide r?
True
Let i(j) = -27*j**3 + 5*j**2 - 19*j - 39. Let l be i(-4). Is 6 a factor of l/(-18)*4/(-15)*9?
T