) = m**2 - 12*m - 13. Let w be k(13). Is (-2 - (-20 - w)) + 4 even?
True
Suppose 4*i - 3*i - 4 = 0. Suppose -i*y + g = -437, 0*y + 2*y = 3*g + 231. Does 12 divide y?
True
Let w(c) = -6*c - 41. Let t be w(-13). Suppose 2*o - t - 31 = 0. Does 29 divide o?
False
Let d be (-148)/((2*(-3)/(-6))/(-1)). Let y = d - 132. Does 4 divide y?
True
Suppose 0 = t + 5*w - 227, 3*t - 641 = -5*w + 10. Does 7 divide t?
False
Let i(p) = 3*p - 1. Let r be i(2). Suppose 73 = v - 3*l + 6*l, 4*v + r*l = 264. Does 11 divide v?
False
Does 50 divide (-5 - 6)/(2/(-60))?
False
Is (-47 - (-16 + 23))*(-1 - 1) even?
True
Suppose -2 = -z + 3. Let o = -521 + 524. Suppose z*x = v - 51, -15 = o*x + 2*x. Does 18 divide v?
True
Let y = 1058 + -736. Does 7 divide y?
True
Suppose 4*r - 6 = d + 5, -4*d + 2*r + 12 = 0. Suppose 0 = -3*g + d*a + 40, 4*g + 2*a = 2*g. Suppose -g*s + 2*l = -54, 0 = -s + l - 2*l + 15. Is 6 a factor of s?
True
Let w(c) = 62*c**2 + 23*c - 152. Is w(8) a multiple of 80?
True
Suppose -h - 132 = -5*h. Suppose -2*r = 3*g + r + h, 3*r + 9 = g. Does 12 divide (-50 + -4)/(g/4)?
True
Let t(o) = o + 8. Let r be t(-5). Let h(k) = 2*k**2 + 16*k - 10. Let n(f) = f**2 + 15*f - 9. Let l(g) = r*n(g) - 2*h(g). Is 2 a factor of l(12)?
False
Let c = 24 - 23. Does 9 divide c/3 - (-130)/15?
True
Let v(z) = -2*z - 8. Let c be v(-5). Suppose c*n + 135 = 5*n. Suppose -7*u + n = -4*u. Does 9 divide u?
False
Suppose 126 = 5*r + 2*r. Let h = 15 - r. Does 13 divide (h/2)/(6/(-208))?
True
Let g = -23 + 26. Suppose -148 = z + g*z. Let k = 61 + z. Is 4 a factor of k?
True
Suppose 2*q - 5*n - 11 = q, 5*q + 2*n - 28 = 0. Suppose -32 = 4*s - q*s. Does 3 divide s?
False
Suppose -5*w - 2871 = -4*b, 5*b + 5*w = 4*b + 749. Is b a multiple of 12?
False
Is 49 a factor of (323/(-2))/((-61)/122)?
False
Suppose 6*y + 156 = 618. Does 9 divide y?
False
Let j = -11 + 18. Let s be 171/(-21) + 2/14. Is 324/j + s/28 a multiple of 20?
False
Let r = 6 - 3. Let v(c) = 2*c**2 + 12*c - 14. Let t(q) = q**2 + 4*q - 5. Let p(h) = 8*t(h) - 3*v(h). Is p(r) a multiple of 4?
True
Let p(v) = 147*v**2 + v - 35. Is p(4) a multiple of 14?
False
Let p be 2*-10*2/(-8). Suppose 0 = -2*k + p*k - 30. Suppose k*b = 5*b + 150. Does 13 divide b?
False
Let o = -27 - -55. Let y = o - -36. Is y a multiple of 8?
True
Let l be 393/(-3) - ((-4)/1 + 8). Let u = 201 + l. Is 22 a factor of u?
True
Let n(s) = s**3 - 6*s**2 + 6*s - 8. Let x be n(6). Let q = x + -1. Does 12 divide q?
False
Let z = 464 + -89. Is 23 a factor of z?
False
Let s(w) = -w**2 + 9*w - 9. Let m be s(7). Suppose 2*o = m*z - 220, 5*z - 172 = -o + 48. Does 7 divide z + 4/(4/(-3))?
False
Suppose -5*m + m = -20. Suppose m*r + j = 3*j + 98, 3*j = -r + 23. Is r a multiple of 5?
True
Let w(v) = 26*v + 2. Let z be w(1). Let o = 4 + z. Let l = o + -11. Is l a multiple of 7?
True
Suppose 3*m = 4 + 11. Let r(s) = -s**2 + 5*s + 4. Let t be r(m). Suppose -t = -2*y + 16. Is y a multiple of 5?
True
Let m be (-1)/2 + (-65)/(-10). Let y(c) = 14*c - c**2 + 5 - 8*c + 3. Is y(m) a multiple of 4?
True
Suppose -32*d + 45052 + 24836 = 0. Does 7 divide d?
True
Suppose 126*v = 129*v - 12. Let o be (12/10)/((-6)/(-20)). Suppose -v*j + 3*i + 47 = 2*i, o*j - 2*i = 46. Is j a multiple of 3?
True
Let h(a) = -a**2 - 17*a + 15. Let d = -2 + 5. Suppose -3*r = -2*m - m + 51, -3 = -r - d*m. Is h(r) a multiple of 15?
True
Does 21 divide (((-90)/(-4))/5)/((-84)/(-37240))?
True
Let r(d) = -d**3 + d**2 + d + 3. Let y = 17 + -17. Let q be r(y). Does 26 divide q/(75/(-26) + 3)?
True
Let c(a) = -39*a**2 - 20*a - 21 + 38*a**2 - 4. Does 5 divide c(-17)?
False
Suppose 2*q = 1 + 9. Let p(m) = -m + 8. Let o be p(q). Suppose o*d - 106 + 19 = 0. Does 19 divide d?
False
Let i be (-42)/(-35)*(-3280)/12. Let z = -193 - i. Does 23 divide z?
False
Suppose 3*g + 3*d = -9, -8 = 2*g + d - 3. Let x = 70 - g. Is 36 a factor of x?
True
Let k = 1991 + 29. Suppose -k + 238 = 3*b. Does 25 divide b/(-12) + (-1)/(-2)?
True
Suppose -4*d - 13 = 3*s - 8*d, 20 = -4*d. Let y be s - (-4)/(8/6). Is 2 a factor of 66/8 - (-2)/y?
True
Does 39 divide (5 - 1) + (-4)/(12/(-2913))?
True
Let s(v) = v**2 + 4*v + 3. Let a be s(-4). Suppose 0 = -0*d + a*d + 2*z - 5, z + 11 = 3*d. Suppose 2*c = d*c - 27. Does 9 divide c?
True
Suppose 3*o + 8 = -1. Does 20 divide 135/6*(-8)/o?
True
Let l = 3 + 67. Let d = l + -28. Does 6 divide d?
True
Let k(p) = p**3 + 5*p**2 - 10*p + 11. Let x be k(-6). Suppose i + 9 = x. Is 15 a factor of i?
False
Is 11 a factor of ((-1956)/(-14) - 3) + (-6)/(-21)?
False
Let r be ((-2)/4)/((-10)/(-320)). Is 1*2/(r/(-116))*2 even?
False
Let n(j) = -21*j - 90. Is n(-34) a multiple of 48?
True
Let a = 5 + -11. Does 27 divide a/(-8)*(73 + -1)?
True
Let f = -1546 + 1816. Does 3 divide f?
True
Let w(v) = 4*v**2 - v - 6*v**2 - v**2 + 5. Let r be w(4). Let y = -31 - r. Does 16 divide y?
True
Let c = 433 - 97. Is 28 a factor of c?
True
Let j(b) = -b**3 + 7*b**2 + 7*b + 15. Suppose m - 28 = -4*g, -3*g + 36 = -0*g - 3*m. Let f be j(g). Let l = f - -6. Does 6 divide l?
False
Suppose 2280 = 454*h - 452*h. Is h a multiple of 15?
True
Suppose 0 = 4*d - 4*t - 80, 4*d + t - 11 - 44 = 0. Suppose 3*h = 5*x - 0*x - 275, 0 = 3*h + d. Is 4 a factor of x?
True
Let h(g) = g**2 - 42*g + 171. Is h(40) a multiple of 7?
True
Let q(n) = -6*n - 22 - 13 + 3 + 2. Is 6 a factor of q(-9)?
True
Suppose 5*s - 2*s - 2*y - 9 = 0, -5*y = 3*s - 9. Suppose -1712 = -s*d - 5*d. Is d a multiple of 31?
False
Let d(a) = 9*a - 29. Is d(11) a multiple of 35?
True
Suppose -3206 = -3*k + 5*n, -5*k = -5*n + 4*n - 5358. Is k a multiple of 77?
False
Let n(z) = z - 4. Let v be n(4). Suppose 5*a = -15 - 30. Let s = v - a. Is 9 a factor of s?
True
Suppose -5*y + 18400 = 18*y. Is y a multiple of 20?
True
Let a(k) = k**3 - 7*k**2 + 7*k - 3. Let n(f) = f**3 - 7*f**2 + 7*f - 4. Let v(b) = -4*a(b) + 3*n(b). Is 10 a factor of v(4)?
True
Suppose 5*d - 39 = -19. Let c(m) = 17*m + 8. Is 19 a factor of c(d)?
True
Suppose 0 = -4*s + 2*s + 4. Suppose -12 = -2*m - s*m + i, -8 = -m - i. Is 568/28 + m/(-14) a multiple of 10?
True
Let v be 1*-8 + 3 + -1. Let t(a) = -a**2 - a - 3. Let k be t(-3). Let y = v - k. Is 2 a factor of y?
False
Is 65 a factor of (-1 - 130/15)/(2/(-114))?
False
Suppose -23*z = -10*z - 2418. Is 62 a factor of z?
True
Suppose 4*c - 4*x - 100 = 0, 0 = 3*c - 3*x + 4*x - 71. Let j = -38 + c. Let w = -11 - j. Is w even?
False
Let u = 20 + -18. Suppose -5*g - 4*q + 25 = 0, 19 = 3*g - u*q + 4. Suppose -80 = -x - 2*x - 2*j, -136 = -g*x - 4*j. Is x a multiple of 8?
True
Let r(t) = -2*t**2 + t + 3. Let q be r(0). Suppose q*w + 2*w + 2*z = 482, -2*w = 3*z - 184. Is 32 a factor of w?
False
Suppose -194*p + 7252 = -187*p. Is 50 a factor of p?
False
Let w be (3 - (-3 + 2))*-28. Let p be (-3)/(-7) - (-1392)/w. Let o = 8 - p. Does 5 divide o?
True
Let d(q) be the third derivative of 0*q - 1/6*q**4 - 5*q**2 + 0*q**5 + 0 - 1/2*q**3 - 1/120*q**6. Is d(-3) a multiple of 12?
True
Does 23 divide 5*((-3)/(-7) - 1112/(-35))?
True
Suppose 0 = -h + 3*j + 1455, 3*h = -10*j + 9*j + 4355. Is h a multiple of 27?
False
Suppose 10 = -2*k + 7*k. Suppose k*r = 46 - 12. Suppose 5*a + 3*f - 46 = 0, a + f = 3*f + r. Does 11 divide a?
True
Let z = 51 + -11. Does 8 divide z?
True
Let u = -1505 - -2177. Is u a multiple of 16?
True
Suppose -10*f + 6 = -14. Does 16 divide (-2280)/(-36) - f/(-3)?
True
Let k be 2/5 + (-1659)/(-15). Let w be (77/(-44))/(1*1/(-28)). Let i = k - w. Is 20 a factor of i?
False
Let c = -210 + 257. Is c a multiple of 16?
False
Let q = -126 + 129. Suppose 3*s - 809 = x + q*x, 0 = -5*s - 5*x + 1360. Is 15 a factor of s?
False
Let r be (-4)/10 + 224/(-40). Let w be 3/r - 3/(-6). Suppose -2*n + 19 + 45 = w. Is 16 a factor of n?
True
Let q(k) = -56*k + 11. Let l be q(6). Let t = l - -487. Let h = -96 + t. Does 11 divide h?
True
Suppose 4*i + 5*a - 53 = 0, i + 2*a = -i + 24. Suppose -o + 2*o - 29 = 5*m, o + 3*m - 13 = 0. Suppose -i + o = h. Does 6 divide h?
True
Let j = 0 + 524. Is j a multiple of 12?
False
Let a = 652 + -281. Does 41 divide a?
False
Let o be -392 - (1 + (-8)/(-4)). Let j = 571 + o. Does 36 divide j?
False
Suppose 3*z - 3*m + 264 = 0, -z - 262 = 2*z - m. Let q = -14 - z. Is q a multiple of 18?
False
Let m(h) = -5*h - 6 + 17 - 12. Does 9 divide m(-2)?
True
Let x(g) = -g + 2. Suppose