 Let d be t(-27). Suppose 45*v = d*v + 1080. Does 18 divide v?
True
Is 28 a factor of 1*(-1)/(-2) - 150*(-666)/24?
False
Suppose 0 = 3*g - 37 + 4. Let o(r) = -r**3 + 12*r**2 - 20*r + 16. Let f be o(g). Let s = -75 - f. Does 4 divide s?
True
Let r(h) = 96*h**2 - 7. Is 3 a factor of r(2)?
False
Suppose b + 2*h + 10890 = 39038, -2*b + 56326 = -h. Does 16 divide b?
True
Let b = -2084 - -9014. Is b a multiple of 198?
True
Suppose 1713*f - 2132 = 1711*f + 3012. Is 9 a factor of f?
False
Suppose 3*q - 68 = 20*q. Let j(u) = 6*u**2 - 3*u + 2. Is 3 a factor of j(q)?
False
Let h(r) = -166*r - 57. Let c be h(2). Let y = 98 - c. Is 19 a factor of y?
False
Let i be ((-8)/(-7))/(-4) - 63/(-49). Let g = 4 - i. Suppose 4*f = -x + 58, 0 = -2*x - g*x + 5*f + 415. Does 26 divide x?
True
Is (-29 + 35)/(5*(-12)/(-25470)) a multiple of 7?
False
Suppose -5*b + 4*o + 564 = o, 0 = 2*o + 6. Let z(y) = -14*y**2 - 131*y. Let x be z(-9). Let g = b + x. Is g a multiple of 39?
True
Suppose 19*n - c - 439 = 18*n, -1757 = -4*n + 3*c. Suppose n = -9*b + 13*b. Does 33 divide b?
False
Let i(c) = 7*c**2 + 58*c - 104. Is i(-32) a multiple of 8?
True
Suppose 5*v = -3*f + 5 - 4, 3*v + 9 = -5*f. Let b be 5 + -3 + -2 + 9 + v. Let g = 43 - b. Is 6 a factor of g?
False
Suppose -2074 = -h + 2*f, 3*f - 12 = 9. Is 36 a factor of h?
True
Suppose -1033*r + 1048*r = 49395. Does 64 divide r?
False
Let k be (-8)/12*54/1. Let n be 4/16*-4 + 7. Does 6 divide 48/k*(-351)/n?
True
Suppose -4*c - 8 = 0, 13 = -3*z + c + 33. Suppose -t + z*t + 180 = 5*j, -2*j - 3*t = -52. Is j a multiple of 16?
True
Suppose -o + 5*y - 4 = 2*o, o = y. Does 29 divide (11 + -1)/20*572/o?
False
Let r(c) = 10*c + 63. Let s(w) = 60 + 233*w - 213*w + 65. Let o(v) = -9*r(v) + 4*s(v). Does 9 divide o(-22)?
True
Let o(y) = 8*y**2 - 5*y - 5. Suppose -a - 33 = -3*z + 3*a, 8 = -z - 5*a. Is o(z) a multiple of 22?
True
Let n(u) = u**2 + 13 - 4*u - 10*u - 53. Let c be n(17). Let w(g) = g**3 - 12*g**2 + 12*g + 27. Does 13 divide w(c)?
False
Let o be (1 + -440)*(3 - (-1 - -9)). Suppose x + 2205 = 6*x + v, -3*v = 5*x - o. Is x a multiple of 26?
True
Suppose 0 = 467495*k - 467514*k + 86640. Does 30 divide k?
True
Suppose 0 = 28*y - 29*y - 17472. Is ((-6)/(-7))/(8*(-6)/y) a multiple of 39?
True
Let p(m) = -3*m**2 + 25*m - 3. Let h be p(9). Let o be 204/h + (-1)/(-14)*-4. Is 2 a factor of ((-154)/o)/(-7)*-5?
False
Let f(u) = u - 2. Let k be f(5). Let q be 3 + -8 - (-12 + 5). Suppose 2*v - 17 = -d, -q*d + k*v + 34 = v. Is 17 a factor of d?
True
Let f(n) = -18*n + 111. Let s be f(-11). Suppose 18*a - 19*a + s = 0. Is a a multiple of 24?
False
Let u be 44/3 + 100/12 + -8. Is (-1 - (-33)/u)/(39/8710) a multiple of 14?
False
Let z = 508 + 102. Let f = -200 + z. Does 25 divide f?
False
Suppose 19 + 33 = 4*w. Suppose 4 = 2*v, -w = -5*d - v + 149. Is d a multiple of 3?
False
Suppose 9*i - 6*i - 2*s = 503, s - 171 = -i. Suppose v = h + 68, 5*v + 3*h = i + 147. Is 13 a factor of v?
True
Let n be (13 - -2)*(2 - 14/10). Let w be (-20)/90 + 2/n. Is ((-6)/4)/((-7)/14) - w a multiple of 3?
True
Let n = -2476 + 5014. Is n a multiple of 191?
False
Let c(d) = -2*d**3 - 20*d**2 + 15*d + 4. Let a(u) = 3*u**3 + 40*u**2 - 29*u - 10. Let q(o) = 3*a(o) + 5*c(o). Is q(17) a multiple of 21?
False
Let s(p) = -596*p**3 + 2*p**2 + 5*p - 6. Is 17 a factor of s(-3)?
False
Let j(k) = k**3 - 18*k**2 - 22*k + 55. Let r be j(19). Let s(p) be the second derivative of 19*p**4/6 - p**3/3 + p**2/2 + 2*p. Is 28 a factor of s(r)?
False
Suppose h = -5*i - 45, 1 = -5*i - 2*h - 49. Is (5 - 14)*2*i a multiple of 12?
True
Let p(i) = 2*i + 33. Let b be p(0). Let c = b - 37. Let h(o) = -34*o - 16. Does 22 divide h(c)?
False
Let k be 1662 + -1 + (-12 - -9). Suppose -3*s = 2*d - k, -4*s - 2*d + 5*d = -2188. Is 11 a factor of s?
True
Suppose -9 = q - 3*c, c - 26 = -q - 3*c. Suppose l - 2285 = -5*g, q*g - 2295 = g - 3*l. Is 24 a factor of g?
True
Suppose h - 4*j = -4*h + 55, -4*j - 13 = h. Suppose h*r = 4*r + 252. Suppose 0 = -82*b + r*b - 350. Does 25 divide b?
True
Suppose 23*z - 475052 + 130190 = 0. Is z a multiple of 7?
True
Suppose 172*t - 444*t = -634304. Is t a multiple of 19?
False
Let r(i) = -i**3 - 2*i - 1. Let o be r(-1). Suppose -o*v - 2*v + 52 = -4*s, 3 = -s - v. Is 5 a factor of 0/2 - s/((-40)/(-75))?
True
Suppose -4*i = -3*g + 2955, 1817 + 2123 = 4*g - 5*i. Let u(p) = -p**3 + p**2 + 11*p + 8. Let d be u(4). Suppose -d*y = -35 - g. Is y a multiple of 15?
True
Let k(i) be the second derivative of 127*i**3/6 + i**2/2 + i. Suppose 654 = v + 653. Does 32 divide k(v)?
True
Suppose -11*a + 54 = -859. Let b = 263 - a. Is 10 a factor of b?
True
Let f(w) = -2*w**3 + 18*w**2 + 20*w. Let t be f(10). Suppose t = 83*h - 87*h + 308. Is h a multiple of 11?
True
Let j be (116/3)/(30/(-45)). Let x = j + 54. Does 12 divide 234/24*4 - x?
False
Let q(h) = -131*h - 43. Let s be q(-3). Suppose 6*j = 8*j - s. Is j a multiple of 25?
True
Let a be ((-872)/10 + -2)*-5. Suppose 11*y - 71 - a = 0. Is y a multiple of 9?
False
Suppose -431*r + 454935 = -366*r. Is r a multiple of 27?
False
Let n = 11 - 9. Suppose -2*c = 2*c - n*c. Is c - (-1 + 0)*54 a multiple of 18?
True
Suppose -2*w = r - 2, 0 = 6*w - w - 2*r - 23. Suppose 2*q - w = -2*p + q, 4*p = -4*q. Suppose -h = p*u - 241, -u + 87 = h - 4*h. Is 34 a factor of u?
False
Let r(o) be the first derivative of o**5/120 + o**4/4 - 5*o**3 + 6. Let y(v) be the third derivative of r(v). Is 24 a factor of y(18)?
True
Let o(x) = -43 - 16 + 41 - 47 + 33*x - 11. Does 28 divide o(11)?
False
Suppose -4*y - 3*x = 16, -78*y - 5*x - 15 = -73*y. Let k(q) = q**3 + 0*q - 6*q - 2*q + 8*q**2 + 13. Does 19 divide k(y)?
False
Suppose -3*x = 2*k - 25, -5*x = -3*x - 10. Suppose 18*f = 17*f - k. Is 14 a factor of 168/f*(-20)/3?
True
Suppose -4*x + 5*o = -133940, 7*o - 2*o + 66950 = 2*x. Is 165 a factor of x?
True
Suppose 5*k - 100 = 5*c, 3*k + 5*c + 21 - 89 = 0. Let q = 4 + -4. Suppose -9*d - k + 174 = q. Is 5 a factor of d?
False
Let r(m) = m**3 + 3*m**2 - 7*m + 9. Suppose -15*o - 81 - 189 = 0. Let g(x) = 2*x + 39. Let h be g(o). Is 7 a factor of r(h)?
True
Does 90 divide (-50)/(8/(-16)*6/27)?
True
Let h be 56/12 - 1/(-3). Let g(n) = 2*n**3 - 7*n**2 + 11*n + 1. Let c(p) = -7*p**3 + 25*p**2 - 45*p - 4. Let w(x) = 2*c(x) + 9*g(x). Is 28 a factor of w(h)?
False
Let q(j) = j**3 - 4*j**2 + 5*j - 1. Let v be q(3). Let a be 4/(8/v)*-2*-1. Suppose -239 = -a*c + 496. Is c a multiple of 49?
True
Let x(c) = 7*c**3 - 21*c**2 + 4. Let s(z) = 6*z**3 - 23*z**2 + 5. Let j(h) = -2*s(h) + 3*x(h). Does 44 divide j(5)?
False
Let z(g) = -g**3 - 15*g**2 - 15*g - 6. Let s be z(-14). Suppose s*v - 10530 = -7*v. Is v a multiple of 26?
True
Let q(n) = -n. Let z(s) = 2*s + 4. Let a(k) = 4*q(k) + z(k). Let i be a(2). Suppose i = 9*m - 22 - 338. Is 20 a factor of m?
True
Let f be ((-2)/2)/(9 - (-153)/(-18)). Let x(r) = -149*r + 40. Is x(f) a multiple of 68?
False
Suppose -g - 71 = 3*i, 4*g - 34 + 284 = 5*i. Does 4 divide (-10)/g - (-921)/13?
False
Let g(t) = -9*t**2 - 1119*t - 170. Is g(-121) a multiple of 19?
False
Suppose 88 = 2*x - p, 17 = 2*x + p - 71. Suppose 4*o = 24 - x. Does 13 divide 96 + (o + 11 - 5)?
False
Suppose 0 = -106*g + 109*g + 2*q - 3390, 30 = -5*q. Does 21 divide g?
True
Let u(v) = -15*v**3 - 32*v**2 - 35*v + 17. Is 81 a factor of u(-9)?
False
Let u(z) = z**3 - 11*z**2 + 14*z + 40. Let n be u(9). Does 14 divide (((-294)/n)/7)/(6/(-16))?
True
Suppose -492*t = -494*t - 520. Suppose 5*k = 2*f + 5, -4*k + 3 + 1 = -3*f. Is 8 a factor of (f + t/(-6))/(5/15)?
False
Let z(b) = 2*b + 41. Suppose 4*v + g = -g + 40, 3*g = 0. Is 12 a factor of z(v)?
False
Let d(r) = -68*r**3 + 11*r**2 + 38*r + 41. Is d(-2) a multiple of 2?
False
Is -11 + 25*(-516)/(-30) a multiple of 19?
False
Suppose -9*h + 14641 = s - 10*h, s + h = 14653. Does 97 divide s?
True
Let z(i) = i**3 - 7*i**2 + 22*i - 17. Let m = -861 - -872. Is 18 a factor of z(m)?
False
Suppose 2*t - 70 = -274. Let y = 187 + t. Is y a multiple of 17?
True
Let m(x) = 6743*x - 1727. Is m(1) a multiple of 12?
True
Suppose 0 = -2*s + 2, 0*f + 4*s = 4*f + 4. Suppose 4*b - 3*h - 2*h = -113, f = h + 3. Is 9 a factor of 24/b - (-414)/8?
False
Suppose 0 = -8*j + 21*j + 12259. Let z = -523 - j. Does 7 divide z?
True
Let b(g) = -g**2 + 6*g + 6. Let d be b(6). 