 + 14*i. Suppose 2*g = -2*r + 8, 3*r = 2*g - 5 - 23. Does 21 divide h(g)?
True
Let o be 8/18 + (-390)/27. Let c = o + 6. Let q(n) = -n**3 - 6*n**2 + 12*n + 3. Is 5 a factor of q(c)?
True
Suppose -4*b = 2*v - 61700, 8*b = 2*v + 13*b - 61708. Is 27 a factor of v?
True
Let z = 3810 - 1821. Does 39 divide z?
True
Suppose 10 - 50 = -10*q. Suppose -183 = -q*x + 177. Is 6 a factor of x?
True
Let b(m) = 830*m - 395. Does 95 divide b(7)?
True
Suppose -4*f + 17*z = 15*z - 28, 4*z - 40 = -4*f. Let x(l) = 24*l - 140. Is 9 a factor of x(f)?
False
Let z be -4 + 0 - (-63)/7. Suppose -2*n = -z*p - 253, 2*p + p - 467 = -4*n. Let i = -76 + n. Is 13 a factor of i?
False
Let n(i) = -5 + 4*i**2 + 20*i - 2*i**2 + 2*i**2 - 2*i**2. Let s be n(-4). Let w = s - -87. Is w a multiple of 12?
False
Suppose -6697 = 7*t + 13344. Let n = -1004 - t. Is n a multiple of 23?
False
Suppose 5*x - 2*j = -0 + 87, 4*j = 2*x - 22. Let p(i) = 16*i + 39. Is 14 a factor of p(x)?
False
Suppose 5*y + 2*o + 34 + 102 = 0, -3*y - 90 = 4*o. Let j = 128 + y. Suppose -10*b - j = -362. Is b a multiple of 9?
False
Suppose -709*k - 1140 = -710*k. Suppose 2*y - k = y + 4*q, -y - 3*q = -1175. Is 58 a factor of y?
True
Let b(a) = a**3 - 13*a**2 + 6*a - 78. Let k be b(13). Let s(n) = -2*n**2 + 14 + 2*n + 3*n**2 - 1. Does 7 divide s(k)?
False
Let s(v) = -24*v**3 - v**2 - v + 1. Let c be s(-1). Suppose 27884 = c*x + 10134. Is 10 a factor of x?
True
Let n(j) = j**3 - 7*j**2 + 12*j - 18. Let m be n(6). Let g = m + -44. Let t = g - -30. Is 4 a factor of t?
True
Suppose -l = 14*w - 9531, 2*l + 4*w - 8286 = 10680. Does 25 divide l?
True
Let p be -2 + (2 - 350)*(-2 + -2). Suppose 34*u - 29*u = p. Does 9 divide u?
False
Does 43 divide (-1732*(90/12 + -7))/(2/(-5))?
False
Suppose 3*k + 8140 = 2*z, z + 412*k - 414*k = 4072. Does 32 divide z?
True
Suppose 66*m + 114*m - 2873772 = 62*m. Does 11 divide m?
True
Let y(x) = 119*x**2 - 26*x - 72. Does 39 divide y(7)?
True
Let s be ((-4)/(-8))/((-3)/390). Suppose -680 + 125 = 5*t. Let f = s - t. Is f a multiple of 21?
False
Let m = 146 + -23. Suppose 0 = 6*l - 411 - m. Is l a multiple of 5?
False
Let z(x) = 6 - 2 + 4 + x. Let a be z(-4). Is (7/a)/7 - (-105)/12 a multiple of 9?
True
Let a(g) = 12*g**2 + 7*g - 10. Let t be a(-9). Let n = t + -572. Is n a multiple of 20?
False
Let q(m) = -4*m**2 + 26*m - 8. Let j be q(6). Suppose u + 2*w - 76 = 0, j*u - 2*w = 416 - 152. Is 3 a factor of u?
False
Let f = 920 + 2104. Suppose -14*w - f = -17*w. Is 14 a factor of w?
True
Let f be (0 + -1)/((-3)/(-165)). Let t = f + 58. Suppose -11 - 1 = t*s, 5*d - s = 194. Does 22 divide d?
False
Suppose -a - 147*v + 18124 = -142*v, -5*a - 3*v + 90708 = 0. Is 81 a factor of a?
True
Suppose -3*b = -2*q - 483, -18*b = -17*b - q - 160. Suppose -3*k + 233 = 3*j - b, 0 = j + 1. Is 7 a factor of k?
True
Let b be 195/((9/2)/3). Let z be -98 + (-56)/(8 - 0). Let h = b + z. Does 5 divide h?
True
Is 17 a factor of 165852/108*(1 - -2)?
True
Is 361/3 + (11 + -6)/(-15) a multiple of 60?
True
Let q(c) = 202*c**2 - 18*c + 25. Is 31 a factor of q(4)?
False
Let d(l) be the first derivative of 20*l**2 - 256*l - 137. Is d(19) a multiple of 36?
True
Suppose u - 1 = -3*x + 52, x - 2*u = 13. Suppose 1201 + 1026 = x*o. Is o a multiple of 45?
False
Suppose y = 5*h - 72 - 39, 147 = -y - h. Let d(j) = -j**2 - 7*j - 4. Let p be d(6). Let z = p - y. Does 18 divide z?
False
Let q(g) = 12*g**2 - 26*g - 80. Let n(u) = 6*u**2 - 13*u - 39. Let i(s) = 7*n(s) - 3*q(s). Is i(-4) a multiple of 5?
True
Let s be (-427)/(-14)*2*-1. Let q = s + 65. Suppose 0 = q*g - 5*r - 0*r - 487, 5 = r. Is 10 a factor of g?
False
Let f = 3874 - 2099. Is f a multiple of 8?
False
Let z(o) = 5*o**2 + 5. Let i(n) = -6*n**2 - 6. Let x(l) = 6*i(l) + 7*z(l). Let k(w) = 8*w**2 + w - 12. Let h(v) = k(v) + 6*x(v). Does 16 divide h(-6)?
True
Let z(h) = 183*h**2 - 30*h + 20. Is z(4) a multiple of 7?
True
Let q(p) = 369*p + 1888. Is q(3) a multiple of 18?
False
Suppose -4534 = -3*j + 5*q, 7*q - 2*q - 5987 = -4*j. Does 3 divide j?
True
Let o = 2672 + -202. Is o a multiple of 38?
True
Let d = 27195 - 19410. Is d a multiple of 5?
True
Suppose 5*q - 24 = 1. Let m be (q/(-1) - 3) + (-2)/(-2). Is 22 a factor of -2 - (4 + m)*61?
False
Let a(h) = 4*h**2 + 19*h + 12. Let j be a(-9). Suppose 4*i + j = i. Does 9 divide (-3)/((-3)/2)*i/(-11)?
False
Suppose 0 = 8*l + 67 - 187. Suppose -31 = -l*w + 4649. Does 12 divide w?
True
Suppose 4*t - 26699 = 3*o, -56*t + 55*t - 4*o + 6670 = 0. Does 47 divide t?
True
Suppose -8*w - 4744 + 1168 = 0. Let m = -235 - w. Is m a multiple of 9?
False
Is 127 a factor of 261129/165 - (-14)/35?
False
Suppose -23216 = -20*s + 76944. Does 16 divide s?
True
Let q(x) = -x**3 + 3*x + 4. Let i be q(2). Let w(c) = 133*c**2 + 5*c - 13. Is 5 a factor of w(i)?
False
Let y = -52 + 73. Let v(j) = -5*j - 6. Let r be v(-3). Let s = y - r. Is 7 a factor of s?
False
Let d be 1 - -10*4/8. Suppose -2*s + i - 6 = 0, -s - d*i - 14 = -i. Does 14 divide -3*(-12)/(-9) + (137 - s)?
False
Let x be 31192/12 - 4/(-6). Suppose 5*b + 4*d = x, b + 520 = 2*b + 2*d. Is b a multiple of 52?
True
Let l = -5147 - -68666. Suppose -39*c - 15783 = -l. Is 17 a factor of c?
True
Let l(v) = 11*v**2 - 44*v + 1408. Does 28 divide l(34)?
True
Let x(u) = -12*u**2 + 4*u - 1. Let k be x(4). Let r = 2346 + -2342. Does 6 divide r/20 + k/(-15)?
True
Let w(f) = 8*f - 1. Let c be w(2). Suppose -16 = -c*y + 7*y. Suppose z = -5*d + 106, -z - y*d + 0*d = -97. Is 13 a factor of z?
True
Suppose -3*u = -5*w - 3171, 145 = 2*u + 3*w - 1950. Does 73 divide u?
False
Let w(k) be the second derivative of 55*k**3/6 - 75*k**2 - 127*k. Is 44 a factor of w(19)?
False
Suppose -5*z = -28 - 12. Suppose -2*a = -0*a - 824. Is 25 a factor of (a/z*-2)/(0 - 1)?
False
Does 50 divide 2/11 + 1024002/539?
True
Is 1 - 13/(156/(-62196)) a multiple of 27?
True
Let t(v) be the second derivative of v + 9*v**3 - 3/2*v**2 + 0. Does 4 divide t(1)?
False
Let l be ((-65)/1)/((-53)/(-159)). Is 126/((-15)/(l/2)) a multiple of 21?
True
Let b = -3026 + 5665. Is 32 a factor of b?
False
Let d be (-23544)/(-90) - ((-14)/10 + 1). Suppose 2*j = 4*r + r - d, -3*j - 211 = -4*r. Is r even?
True
Suppose 4*c - 7*c = n - 54, -4*n - 12 = 0. Suppose -c*t + 62 = -1838. Is 20 a factor of t?
True
Let f = -6321 - -8874. Is f a multiple of 69?
True
Suppose -28100 = -2*l + 20*c - 24*c, 15 = 3*c. Suppose -5*p = 4*p - l. Does 65 divide p?
True
Suppose -j - 8411 = -4*g, 11301 = -4*j + 3*g - 22356. Does 16 divide j/(-12) - (78/24 + -3)?
False
Let n(x) be the first derivative of x**5/60 + x**4/24 + x**3/6 - 15*x**2/2 + 7. Let z(c) be the second derivative of n(c). Is 3 a factor of z(3)?
False
Let b be ((-10)/(-6) + -1)*(-6)/2. Let v be -2*44 - b/1. Let c = v - -188. Does 34 divide c?
True
Let x = 428 + -434. Is (-4)/(-5)*-72*105/x a multiple of 21?
True
Suppose -6 = -s - 2*p, -7*s + 2*s + 2*p - 6 = 0. Suppose s = 2*x + 1 - 11, 5*a - 470 = -2*x. Is 23 a factor of a?
True
Let w be (0 + -1)*(2 - 3)*80. Suppose 0 = 2*b + 25 + 15. Let a = b + w. Does 20 divide a?
True
Suppose -4*d + j + 33932 = 0, 0*j - 2*j = -4*d + 33928. Does 12 divide d?
True
Let k(g) = 40*g - 688. Does 8 divide k(48)?
True
Let u(a) = -177*a - 74. Does 3 divide u(-21)?
False
Let f(d) = 45*d - 3. Let z(k) be the first derivative of -22*k**2 + 2*k - 23. Let l(y) = -6*f(y) - 7*z(y). Is 13 a factor of l(5)?
False
Let z(o) = -o**2 - 5*o - 2. Let x be z(-7). Let d be (1 + (-54)/4)*(-14 - x). Let a = d + 133. Does 29 divide a?
False
Let o(u) = -3*u + 100. Let f be (-4)/30 - 616/105. Does 8 divide o(f)?
False
Suppose -44*g = 12*g - 52416. Does 13 divide g?
True
Let r(b) = 226*b - 36. Let g be r(-2). Let u = g + 1104. Is u a multiple of 44?
True
Is 34 a factor of 2/19 + (-88968460)/(-7847)?
False
Let s = 169 + -167. Does 9 divide -18*((-21)/s)/3?
True
Let j = -13 - -9. Let l be (-2 + 1)/((-2)/j). Does 8 divide l/((-14)/(-16) + -1)?
True
Let n(s) be the second derivative of s**3/6 + 23*s**2/2 + 35*s. Let y be n(-8). Suppose -y*a + 20*a - 1060 = 0. Is a a multiple of 52?
False
Suppose i = 0, 4*w - 2*i + 40 = -w. Let u(d) = 19*d**2 + 15*d - 16. Does 12 divide u(w)?
True
Let d be (-245)/(-30) + 5 - (-1)/(-6). Suppose d - 417 = p. Is 17 a factor of (-2)/(-3 + p/(-102) - 1)?
True
Suppose -3*q = 66 - 12. Let 