*i = 3*g - 163. Let n = i + 91. Is 8 a factor of n?
True
Let f(j) = -j + 15. Let t be f(16). Let z be t*(-3 + 1) + 3. Let m = z + 1. Is 3 a factor of m?
True
Let r(b) = 2*b**2 + 41*b - 362. Is 32 a factor of r(-43)?
False
Let s(b) = 5*b**2 + 17*b - 13. Is 5 a factor of s(-7)?
False
Suppose 3*k - 1572 - 534 = 0. Does 78 divide k?
True
Let n = -111 + 123. Let b = n + 51. Is 9 a factor of b?
True
Let p(a) = 2*a**2 - 20*a + 9. Let d be p(8). Is d/(-7) - ((-32)/(-14) - 2) a multiple of 2?
False
Is 17 a factor of 593 + -25 - (1 - -7)/2?
False
Let n = 356 + -319. Is 4 a factor of n?
False
Let t be 620 - ((-1 - -2) + -5). Suppose -76 - t = -10*k. Is 8 a factor of k?
False
Suppose -122*k = -123*k + 168. Does 6 divide k?
True
Let d = 3 + 685. Is d a multiple of 69?
False
Let j(d) = -3*d + 20. Let o be j(8). Let h(m) = -3*m**3 + m**2 - 2*m + 4. Let t be h(o). Suppose s - t = -4*s. Is s a multiple of 23?
False
Let j(t) = 4*t + 6. Suppose 3*b = -b. Suppose -4*g + 46 = 5*m, 0 = m - g - 2 - b. Does 19 divide j(m)?
False
Suppose 0 = -11*b - 813 + 5774. Does 17 divide b?
False
Let c = -298 + 301. Suppose -2*v + 3*k - 7*k - 16 = 0, -52 = 5*v + 4*k. Is 17 a factor of ((-4)/v)/(c/387)?
False
Suppose 3*p - 961 + 361 = 3*k, -2*k = -3*p + 596. Is p a multiple of 8?
False
Let l(i) = i**2 + 7*i + 5. Let j(h) = -h**2 - 7*h - 4. Let m(y) = 7*j(y) + 6*l(y). Let w be m(-7). Suppose -6 = -w*x + 8. Is 2 a factor of x?
False
Let l(g) be the first derivative of g**4/4 + 2*g**3 + 3*g**2 + 22*g - 23. Is 11 a factor of l(-5)?
False
Suppose -50 = 11*d - 281. Let u be (-1 + 4)/(9/(-6)). Is (u - -3)/1 + d a multiple of 22?
True
Let t(r) = -2*r + 205. Does 49 divide t(34)?
False
Let n(r) = 19*r. Is 10 a factor of n(27)?
False
Suppose 29*c - 3895 = -12*c. Does 5 divide c?
True
Suppose 4*y - 3378 = 9*n - 11*n, -y - 3*n = -837. Is 9 a factor of y?
True
Is (136/10)/((-33)/(-330)) a multiple of 9?
False
Suppose 9*v = 11*v - 8. Let g be 1*(-2)/(-4)*v. Let d(r) = 2*r**3 + r**2 + 1. Is 6 a factor of d(g)?
False
Suppose 8*v - 253 = 123. Suppose 3*w - 5*x - 141 = -0*w, w + 2*x = v. Is w a multiple of 4?
False
Suppose 561 = 2*b - 789. Is 19 a factor of b?
False
Let z(i) = -127*i + 194. Is z(-18) a multiple of 8?
True
Suppose 52 = -8*y + 12*y. Let c = y - 11. Is -6*c*(-15)/20 a multiple of 3?
True
Let b(y) = 21*y - 5. Let t be b(6). Suppose -4 = 3*i - t. Does 7 divide i?
False
Let m = -3 + 146. Let u = -109 + m. Is u a multiple of 4?
False
Suppose -4*s = 3*x - 0*s - 828, -x - 4*s = -268. Suppose 0 = -29*j + 24*j + x. Does 3 divide j?
False
Let i(t) = 2*t**2 - 21*t + 21. Does 29 divide i(-16)?
False
Let c = 746 + -461. Is 5 a factor of c?
True
Let a(v) = -v**2 - 10*v + 11. Let k be -1 + (-27)/3 + 2. Does 9 divide a(k)?
True
Suppose 4*t + 1153 = -135. Is (16/56)/((-2)/t) a multiple of 16?
False
Suppose 3*s - 666 = -3*f, -7*s + 3*s + 219 = f. Is 22 a factor of f?
False
Let w(f) = -f + 17. Let p be w(13). Let l(a) = 2*a**2 - 5*a + 2. Is l(p) a multiple of 7?
True
Let w be -1 + 2 + -1 + -7. Let u(g) = -12*g. Is 14 a factor of u(w)?
True
Let v = -2694 - -4285. Is v a multiple of 6?
False
Suppose 2*v = 6*s + v - 3842, 2*v - 636 = -s. Is s a multiple of 20?
True
Let v(r) = -3*r - 7. Let q be v(-4). Suppose -q*x - o = -622, 4*o = 3*x - 130 - 234. Let p = -52 + x. Does 24 divide p?
True
Let i(d) = 2*d**2 - d + 2. Let r be i(2). Let a = -51 + 87. Suppose 6*c + a = r*c. Is c a multiple of 9?
True
Let p be 19*11*(-2 - -3 - 4). Let b = 945 + p. Is b a multiple of 39?
False
Suppose 7*d = 6*d - 37. Is 7 a factor of d/(-1) - (-12)/(-4)?
False
Suppose 0 = x - 0 + 2. Let o = 6 + -38. Is x/(-3) - o/6 a multiple of 6?
True
Let a be (-8 - -8)/(-2 - 2/(-2)). Suppose -3*p + 10*p - 819 = a. Is p a multiple of 13?
True
Suppose -4*w - 14 = 3*j, -j - 2*w - 5 = 3. Suppose r = -j*r. Suppose -4*f - 3*p + 133 - 37 = r, 3*f - 72 = p. Is f a multiple of 8?
True
Suppose 0 = -41*n + 28*n + 8801. Is n a multiple of 11?
False
Let d = 1339 - 653. Does 4 divide d?
False
Does 14 divide -5*10/(-125) + (-4416)/(-10)?
False
Let w = 2 - 3. Is 2 a factor of 9 - ((-3 - w) + 3)?
True
Suppose -2*n = -5*j - 24, 4 + 14 = 3*n - 3*j. Let r(v) = 16*v + 9. Is r(n) a multiple of 18?
False
Suppose 0 = -b + 2*h - 8, 0 = -5*b + h - 2*h + 15. Let g be (1/b)/((-5)/10). Is 9 a factor of (g - 5)/(-2) + 6?
True
Let o = 29 - 26. Suppose -o*z - 6 = -42. Does 15 divide (z/4 - 4) + 46?
True
Suppose 5 = -i - 33. Let k be i/(1/(-4)*2). Suppose 2*u - 2*f = 2*f + 100, k = 2*u + 2*f. Is 14 a factor of u?
True
Let d be (6/4)/(-3 + 54/16). Does 16 divide -2 + (-1 - -20) + d?
False
Let a(m) = -m + 1. Let o(w) = -w**3 - 3*w**2 - w - 7. Let f be o(-3). Let i be f/(-30) + 244/(-30). Is a(i) a multiple of 3?
True
Suppose 4*t - 3*a + 3 = 2*t, -4*t - 11 = -5*a. Let k(x) = x**2 - 2*x - 14. Does 9 divide k(t)?
False
Let d = -743 + 759. Does 4 divide d?
True
Let i = 5 - 5. Suppose i*c + 134 = 2*c. Is c a multiple of 11?
False
Let d be (13/39)/((-2)/(-102)). Let v = d + 181. Is 28 a factor of v?
False
Let y be 30/14 + -2 - 400/56. Let l = 63 + -41. Let i = l + y. Is 3 a factor of i?
True
Suppose 0 = 5*u - q - 26, -2*u + 2 = -q - 9. Suppose -5*r - 4*a = -0*r - 16, -u*r = -a + 4. Suppose 3*t - 33 = 5*y, r = 3*t - t + 4*y - 44. Does 8 divide t?
True
Let o(r) = r**2 + r. Suppose c - 2 = -0. Suppose c*i + 14 = 4*k, 5*i + 4*k + 11 = 2*i. Is 10 a factor of o(i)?
True
Let y be 4 - (132/108 - (-4)/(-18)). Suppose 0 = 2*r + y*i - 6, -4*r = 5*i - 5 - 7. Is r a multiple of 3?
True
Let q(f) = -11*f + 6. Let b(l) = -5*l + 3. Let n(k) = -9*b(k) + 4*q(k). Let v be n(-7). Is (-144)/(-10) + v/25 a multiple of 14?
True
Let b = 69 - -316. Is 35 a factor of b?
True
Let u = -2106 - -2959. Does 13 divide u?
False
Let y(x) = 10*x**2 - 1. Let h be y(-2). Is 6 a factor of 2/(2/(h - 3))?
True
Suppose -a - 191 = -545. Does 7 divide a?
False
Suppose 0 = -55*g + 3534 + 3891. Does 27 divide g?
True
Let l(c) = c**3 - 5*c**2 + 4*c + 3. Let f = -9 + 13. Let h be l(f). Suppose 0 = -h*a - 5*z + 55, 0 = -4*a - 0*a - 5*z + 70. Does 5 divide a?
True
Let r(y) = 2*y**2 - 9*y - 16. Let t be r(6). Suppose -t*c = -5*u + 3*c + 735, 2*c = -2. Is 25 a factor of u?
False
Let l = -3180 + 4536. Is l a multiple of 50?
False
Suppose -77*i = 4369 - 20000. Is i a multiple of 11?
False
Let u(r) = -r**3 + 10*r**2 - 8*r - 4. Let n be u(9). Suppose 4*d - 13 = -2*y + 11, 30 = n*d + y. Suppose d = 2*h - 0. Does 3 divide h?
True
Let f = -26 - -31. Suppose -3*x = -5*u - 0*x + 1093, -x + 1089 = f*u. Is u a multiple of 45?
False
Let h = 7 + -13. Let t = -2 + h. Let f = t - -23. Does 5 divide f?
True
Suppose 3754 - 114 = 26*t. Does 5 divide t?
True
Let x(l) = -l**3 + 3*l**2 - l - 2. Let z be x(2). Let y(p) = -p**2 + 14. Let k be y(0). Let c = z + k. Is 7 a factor of c?
True
Let c(f) = -2*f - 9. Let i be c(-6). Suppose 4*a + i*v - 321 = 0, 3*a + 0*v - 3*v = 246. Does 18 divide a?
False
Let a(h) be the third derivative of h**4/6 - 14*h**3/3 - 16*h**2. Does 6 divide a(16)?
True
Let t(s) = 34*s**2 + s + 1. Let r(m) be the second derivative of -m**5/20 + 7*m**4/12 - m**3 - m**2/2 + m. Let v be r(6). Does 17 divide t(v)?
True
Let g be (-14)/(-35) + 146/10. Suppose 3*p + 2*r - 101 = -g, 0 = -4*p - 3*r + 116. Suppose 0 = -q + 2 + p. Does 10 divide q?
False
Suppose 0 = -4*t - 3*o + 2592, 5*t - 3275 = 18*o - 13*o. Is 21 a factor of t?
True
Let u = 26 + 60. Let w(s) = -s + 34. Let i be w(31). Suppose -i*t + u = -2*t. Does 25 divide t?
False
Let w(p) = -3*p**3 + 197*p**2 + 85*p - 84. Is w(66) a multiple of 18?
True
Let d(o) = -24*o**3 - o**2 - 2*o - 1. Let x(q) = q**2 - 8*q - 10. Let t be x(9). Let u be d(t). Let p = u + -17. Is 7 a factor of p?
True
Does 4 divide (-3)/(-6)*(-2 + 522)?
True
Suppose 0 = 4*h + 3*f - 63, -h - 4*f + 3 = -3. Is 12 a factor of (-12)/h*144/(-2)?
True
Suppose -v + 25 = -47. Suppose 4*k + 5*f + v = 215, 185 = 5*k + 5*f. Does 3 divide k?
True
Let t = -618 - -891. Does 29 divide t?
False
Let s = 298 - 252. Does 30 divide s?
False
Let f(l) be the third derivative of 0 - 9*l**2 - 5/6*l**3 + 0*l + 1/6*l**4 + 1/30*l**5. Is 6 a factor of f(-5)?
False
Suppose 1919 = 5*p - 1181. Is 19 a factor of p?
False
Let u = -604 + 876. Is u a multiple of 17?
True
Let h(g) = g**3 + 2*g**2 - 11*g + 3*g + 6*g + 64. Does 16 divide h(0)?
True
Let x(