 + 5*i - 4. Let c be t(-3). Let b = -25 - c. Is 12 a factor of b?
True
Let p(c) = c**3 + 5*c**2 - 4. Let o be p(-5). Let y be o - 1*12/3. Is y/6 - (-152)/6 a multiple of 8?
True
Let n(u) be the third derivative of -u**6/120 - u**5/12 + 5*u**3/6 - 6*u**2. Let y be n(-5). Suppose -y*w + 253 + 77 = 0. Does 22 divide w?
True
Suppose 3*x = -p - 7, -p - 16 = -5*p - x. Suppose 0*a = -p*a + 10, 0 = -2*y - 2*a + 6. Does 15 divide y/((6/111)/2)?
False
Is 47044/171 + 2/(-18) a multiple of 20?
False
Let h be (2 + -1)*-3*-1. Suppose -6*l + h*l + 240 = 0. Suppose -4*o = -8*o + l. Is 10 a factor of o?
True
Let h = 6970 - 4910. Does 103 divide h?
True
Let j(x) = 14*x**2 - 3*x - 2. Let l be j(4). Suppose 5*k - l = 4*o, 124 + 2 = 3*k - 4*o. Is 6 a factor of k?
True
Suppose 10 - 20 = -5*r. Suppose -3*s = -r*l + 173, -s = 2*l + 2*s - 191. Does 21 divide l?
False
Is 0 - 3 - (-3)/((-9)/(-363)) a multiple of 15?
False
Let z be 1/7 - (-83)/7. Let t = z - 12. Suppose t = -3*v - v + 56. Does 14 divide v?
True
Let f be (-20)/50*(-125)/1. Let c be (260/f)/(4/10). Let h = 8 + c. Is h a multiple of 8?
False
Suppose 15*x - 12*x - 12 = 0. Suppose 0 = -x*w + 339 + 37. Does 17 divide w?
False
Let t be 1/(3/(-24)*-4). Suppose 2*i + 6 = 2*x, -3*x + 0*i + 9 = -t*i. Suppose -x*h + 0*h + 51 = 0. Is h a multiple of 16?
False
Let t = -1066 + 1678. Is t a multiple of 9?
True
Is 0 - 17*(-9 - 4) a multiple of 77?
False
Let d = -59 + 64. Suppose -d*u - 3*p + 118 = 0, -4*u + 0*p - 3*p + 92 = 0. Is u a multiple of 13?
True
Let z(i) = i + 1. Let r be z(2). Let w be -1*(-2 + r + -1). Suppose -b + 8 - 2 = w. Is 6 a factor of b?
True
Let n(r) = -16*r**2 - r - 4. Let w be n(-2). Let x = -43 - w. Is 4 a factor of x?
False
Let h be 20*(-1)/2*1. Let x(f) = -11*f**2 + 10*f + 15. Let k(y) = 2*y**2. Let r(i) = 6*k(i) + x(i). Does 3 divide r(h)?
True
Let a = 3 - 17. Let s(k) = -k - 12. Let w be s(a). Suppose 0 = 5*z + w*o - 117, 2*z + 4*o = z + 9. Is z a multiple of 5?
True
Let b(x) = 2*x**3 - 6*x**2 - 4*x + 5. Let c be b(7). Suppose 2*t = -2, t + c = 4*a - 0*a. Does 17 divide a?
False
Let w(g) = 2*g**2 + 2*g + 7. Suppose -2 - 3 = -5*s. Let d = s - -2. Is w(d) a multiple of 8?
False
Suppose -58 = -o - n, 0*o - 2*n - 124 = -2*o. Suppose -w + 0*w = -o. Is w a multiple of 20?
True
Let v be (-24)/6 - (1 + -48). Is 15 a factor of v + (-8)/(-12)*3?
True
Let r = 13 + -9. Let y(d) = d**3 - 3*d**2 - 3*d + 1. Let b be y(r). Suppose b*o - n - 12 = 4*o, 0 = 3*n - 9. Does 9 divide o?
False
Let o = -9 - -11. Suppose o = 2*y + g - 3, y + 2*g - 4 = 0. Let a(b) = 9*b**2 - b + 2. Does 15 divide a(y)?
False
Does 3 divide (-24)/(-16) + 4170/20?
True
Let a(r) = 11*r + 2. Let h = -50 + 51. Is 5 a factor of a(h)?
False
Let x(g) = -162*g - 15. Let s be x(-5). Suppose 5*n = 10*n - s. Is 18 a factor of n?
False
Suppose -5*w = -3*r + 8, -2*r + 3 = -5*w - 4*r. Let g be 2/7 + 26/7. Is 10 a factor of g*w/((-2)/20)?
True
Let k = -483 + 492. Does 9 divide k?
True
Suppose -5*l + 3*a - 36 = -a, -5*l = 5*a. Does 7 divide (-102)/(-27) + l + 130/18?
True
Let t be (6 - (3 - -1))*-9. Let w = t - -21. Suppose -2*v + 12 = -0*s - 4*s, 2*v - 12 = w*s. Is v a multiple of 6?
True
Suppose -3*i + 3*u = 24, 0 = 5*u + 9 - 24. Let l be (-1)/((i + 1)/12). Suppose -2*w - 2*w - s + 118 = 0, 5*s = l*w - 100. Is w a multiple of 10?
True
Let i(u) = -2*u + 1. Let n be i(-2). Let w(o) = 15*o + 8. Is w(n) a multiple of 22?
False
Let a(z) = 2*z - 25. Let q be a(6). Let i(y) = y**2 + 6*y + 61. Does 26 divide i(q)?
False
Let h(s) = -3*s + 10. Let o(y) = 3*y - 10. Let r(t) = -5*h(t) - 6*o(t). Is r(-3) a multiple of 15?
False
Let q = -2 - -5. Suppose -q*d - 2*d = -r + 38, 4*d = 3*r - 103. Is r a multiple of 7?
False
Let n = 4235 - 2918. Does 39 divide n?
False
Let v(x) = -x**3 + 14*x**2 - x + 18. Let w be v(14). Suppose -k + 119 = w*d, 0*d - 5 = -d. Is k a multiple of 11?
True
Suppose x = -2*x + 21. Let p(q) be the first derivative of q**4/4 - 7*q**3/3 + 2*q**2 - 8*q - 12. Is 18 a factor of p(x)?
False
Is 9750/24 + (-8)/32 a multiple of 111?
False
Suppose 3*d + 6*b - 1731 = 3*b, -2*b = 2. Does 48 divide d?
False
Let a(c) = 17*c + 7. Let k be a(-2). Suppose -3*t = -4*o - 152, -38 = -t - 4*o - o. Let v = k + t. Does 21 divide v?
True
Suppose -264*s + 7220 = -254*s. Is 33 a factor of s?
False
Let o(i) = 3 - i**3 + 0*i**2 - 22*i + 1 + 32*i + 9*i**2. Let y be o(10). Suppose -3*x + y*g - 8 = -4*x, -g + 1 = 0. Does 4 divide x?
True
Let p(a) = 3*a**2 - 26*a - 115. Does 10 divide p(-19)?
False
Suppose 12*o - 7*o = -20, -5*d = -o + 181. Let h = 62 - d. Is h a multiple of 22?
False
Let s(w) be the first derivative of w**3/3 - 7*w**2/2 - 2*w - 29. Does 3 divide s(9)?
False
Suppose -6*q + 7*q - 2392 = 2*a, -2*a = q - 2404. Does 11 divide q?
True
Suppose -5*f + 2*s - 844 = 0, -3*s = f - 4*f - 501. Let m = f - -119. Let k = 118 + m. Is k a multiple of 9?
False
Suppose -2*q - 11 = 3*v + 65, 5*q - 2*v + 209 = 0. Let z = -33 - q. Is z a multiple of 6?
False
Suppose -78 = -2*w + 2*u + 150, 585 = 5*w - 2*u. Suppose 3*g + w + 31 = 0. Does 19 divide g/(((-12)/(-4))/(-3))?
False
Let h = -34 - 17. Suppose u + 2 = 95. Let s = h + u. Does 21 divide s?
True
Let b(y) = 2*y**2 - 13*y + 6. Let n be b(6). Suppose n = 2*g + 3*v - 36, 0 = 3*v - v. Does 4 divide g?
False
Does 30 divide (320/(-3))/((-34)/153)?
True
Is 13 a factor of 106 - 0/((-21)/3)?
False
Is (13/(-39))/(2/(-3114)) a multiple of 6?
False
Suppose 5*t = 4*t - b, 0 = 3*t + 4*b + 5. Suppose -t*k + 8 = -2. Suppose -4*s - 48 = -2*y, k*y + 17 = 5*s + 60. Does 17 divide y?
True
Is 42 a factor of 4 - (-5 - -6) - -39?
True
Let q = 220 - 515. Let h = q - -530. Does 47 divide h?
True
Suppose 3*v - 6 = -3*n, -4*n = -2*v - 2*n + 12. Suppose -3*m + 2*a = -4, v*a = 5*m - a - 10. Suppose m = -6*w + 7*w - 46. Does 8 divide w?
False
Let d(g) = -g**3 + 5*g**2 - 3*g. Let i(l) = 2*l + 1. Let w be i(-2). Let r = w - -6. Does 9 divide d(r)?
True
Let o be 28/6 + (-2)/3. Let c(f) be the second derivative of 7*f**3/6 - 13*f**2/2 - 16*f + 1. Is 5 a factor of c(o)?
True
Let i = 3429 - 2061. Does 57 divide i?
True
Let w = 1722 + -1193. Does 23 divide w?
True
Suppose -5*v - 5*y - 108 = -503, v - 75 = -2*y. Suppose 2*g - 3*p = -3*g + 224, 2*g + p - v = 0. Does 9 divide g?
False
Let u = -74 + 79. Let o = -25 - -89. Suppose r - u*r = -o. Is 7 a factor of r?
False
Let n = 8 - 6. Let s(u) = 5*u + 3*u**2 + u**3 - 3 + 6*u**n + 0*u**2. Is 28 a factor of s(-4)?
False
Suppose 1564 + 2036 = 12*c. Is 30 a factor of c?
True
Does 6 divide ((-2394)/168)/(1/(-8)*1)?
True
Let a be -1 - (-1 + 3)/(-1). Let r be 2 + (41/a - -3). Suppose -227 = -3*u + r. Does 27 divide u?
False
Let j(y) = 2*y + 17. Suppose 4*t + 25 = -3. Let q be j(t). Suppose -h - q*h + 216 = 0. Is 27 a factor of h?
True
Let n(q) = -2*q**2 - 14*q - 8. Let b be n(-6). Suppose -3*z + 2*z = -b, -3*r = 3*z - 672. Is r a multiple of 11?
True
Suppose 0 = -5*i - 5*d + 1147 + 2863, -5*i = -d - 3998. Does 5 divide i?
True
Let c(a) = -a + 114. Let h be c(0). Suppose -3*i + 3*y = -h, -3*y = i - 2*y - 42. Is 5 a factor of i?
True
Let n be -5*(-1 + 2/10). Let z(m) = -8*m + 21. Let b(u) = -u**2 + 23*u - 55. Let o(y) = -3*b(y) - 8*z(y). Is o(n) a multiple of 25?
True
Let r(l) = 8*l**2 - 10*l + 9. Is r(1) a multiple of 5?
False
Suppose -9*l + 10*l + 1 = 0, 4*d + 3*l - 157 = 0. Does 4 divide d?
True
Suppose y = -5*t + 64, -253 = -5*y - 4*t + 88. Suppose -3*r - y = -6*r. Is r a multiple of 4?
False
Let v = 25 + -21. Suppose g = -4*k + 6*k - 17, v*k - 55 = -5*g. Suppose k*y = 11*y - 10. Is 4 a factor of y?
False
Let u(k) = -41*k**2 + 2*k + 5. Let j be u(-2). Let g = -83 - j. Does 5 divide g?
True
Let y(m) be the second derivative of -7*m**3/6 + 2*m**2 + 7*m. Let q(s) = 6*s - 4. Let p(a) = -3*q(a) - 2*y(a). Is p(-2) a multiple of 3?
True
Let k = 10 + -7. Suppose 5*v + 260 = -5*w, 0*w + k*v = 3*w + 156. Is 8 a factor of (-4)/(-1*(-8)/w)?
False
Let w(q) = q + 1. Let t be w(3). Let u be t + -1 + -15 + 19. Let o(f) = 12*f + 6. Is o(u) a multiple of 18?
True
Let b = 3715 + 843. Is b a multiple of 12?
False
Suppose -5*f - 28 = -18. Let t(g) = -8*g**3 - 3*g**2 - 2*g. Does 10 divide t(f)?
False
Let m(o) = 2*o**2 + o + 108. Is 21 a factor of m(0)?
False
Does 25 divide 9 - (-106)/6 - (-5)/(-3)?
True
Suppose 13*c - 2 = 14*c. Does 2 divide 