((-80)/(-50) - 2)*(-95)/(-6)*-126 a multiple of 2?
True
Does 14 divide (-866012)/(-197)*(-3 + 10)?
True
Suppose 22 = 6*u + 4. Suppose -u*z - 4*z = -1099. Suppose 45 = -4*n + z. Does 4 divide n?
True
Let x be 26/10 - (-9)/(-15). Let n be (6 - x) + 1/(4/1924). Let m = n - 205. Is m a multiple of 40?
True
Let h(a) = -12*a**3 + 10*a**2 - 20*a - 16. Is 25 a factor of h(-5)?
False
Suppose 406 = -d + 3*q, -14*d + 1624 = -18*d + 3*q. Does 10 divide 2/4*(-6 - d)?
True
Suppose -2*h + 0*h + 204 = 5*y, 0 = -5*h - 2*y + 552. Let v = 117 - h. Suppose v*x = 4*x + 72. Is x a multiple of 8?
True
Is 101 a factor of 571/((-910)/154 - 18/(-3))?
False
Suppose -10*l = -4*l - 12. Suppose -l*q = -5*n - 192, n - 14 + 107 = q. Does 13 divide q?
True
Suppose 21*v = 10*v + 33. Suppose -3*l - v*s + 690 = 0, -2*l - 4*s + 442 = -20. Is 9 a factor of l?
False
Let z(m) = -2*m + 42. Let o be z(-9). Suppose -c = -o - 24. Suppose 0*a = -a + c. Is 12 a factor of a?
True
Let l(m) = -255*m - 61. Is 8 a factor of l(-3)?
True
Let r(i) = i**2 + 10*i + 17. Let j be r(-6). Let w(c) = -2*c**3 - 7*c**2 + 14*c + 7. Is w(j) a multiple of 18?
True
Suppose 41*k - 2*g + 9112 = 42*k, g - 2 = 0. Does 18 divide k?
True
Suppose 5*j + 0*o - 26102 = -o, -o + 15662 = 3*j. Is 9 a factor of j?
True
Suppose -37*h - 10961 = 3654. Let d = -336 - h. Is d even?
False
Suppose -3*f + 4*f + 3*z = -6, 4*f - 28 = z. Suppose -5*p = -2*o - 64, -p + f = o - 4. Suppose -p*s = -4*s - 480. Does 6 divide s?
True
Let z(b) = 13*b + 82. Let m be z(-6). Is 24 a factor of 7 - (-258 + (5 - m))?
True
Suppose 104803*a - 104808*a + 34850 = 0. Is 16 a factor of a?
False
Let x(k) = -5*k**3 + 4*k**2 + 21*k + 76. Does 36 divide x(-11)?
True
Let a be ((-3)/(-4) + (-6)/8)/(-1). Suppose -o - 5*x + 21 = -2*x, -3*o + 4*x + 63 = a. Let b = o + 15. Is 13 a factor of b?
False
Let w = -24 - -27. Suppose k = -w, -3*o - 4*k = 2*o - 63. Let y(v) = -v**3 + 15*v**2 + 7*v - 22. Does 11 divide y(o)?
False
Suppose 37*l + 1792 = 5*l. Let p be -33*(-20)/(-6) - 2. Let j = l - p. Is j a multiple of 8?
True
Let s = -546 + 527. Let u(x) = -x**2 - 29*x + 35. Is 25 a factor of u(s)?
True
Let k(u) be the second derivative of -u**4/12 + u**2/2 + 21*u. Let f be k(0). Is (104/16 - 5)/(f/18) a multiple of 15?
False
Let b(n) = -9*n**2 + 23*n + 6. Let s(l) = -5*l**2 + 12*l + 3. Let i(r) = 6*b(r) - 11*s(r). Let y be i(-6). Is (5 - -192) + 0 + y a multiple of 23?
False
Let p(b) = b**3 - 6*b**2 - 6*b - 3. Let o be p(7). Let n be 16 + -16 + (o - 1) + -1. Suppose -3*u + 4*m + 52 = -0*m, u + n*m - 4 = 0. Is u a multiple of 3?
True
Suppose -3*n + 16625 = -8471 + 6766. Is 94 a factor of n?
True
Let p = 258 - -286. Let h = p + 222. Does 28 divide h?
False
Suppose 3*j - f = 53012, 3*j - j + 2*f = 35336. Is 95 a factor of j?
True
Let t(l) = 19*l**2 - 8*l + 29. Let i be t(4). Let r = i - -11. Is r a multiple of 26?
True
Let z(w) = 38*w + 1. Let b(f) = 76*f + 5. Let v(j) = -3*b(j) + 5*z(j). Does 16 divide v(-4)?
False
Let b(r) = r**3 + 8*r**2 - 2*r - 6. Let c be b(5). Suppose 0 = 9*g + c - 66. Let i(v) = -v**2 - 28*v + 38. Is 6 a factor of i(g)?
False
Suppose -1 = -3*w + 26. Is 14 a factor of (6/(-4))/(w/(-23808)*4)?
False
Let q(g) = -37*g + 48. Let r(v) = 49 - 28*v + 0*v - 21*v + 11*v. Let c(i) = 6*q(i) - 5*r(i). Does 47 divide c(-6)?
True
Let b(l) = l**2 + 18. Let r be b(-17). Suppose -4*g - 292 = -4*j + 3*j, j = g + r. Is 39 a factor of j?
True
Let d be (1330 - -14)*(-4)/6. Let m = d + 1262. Is 6 a factor of m?
True
Let w be 2 - 5 - -2 - 1. Let x = -4184 + 4181. Is 3 a factor of (w + -3)*(-6 - x) + 3?
True
Let y be ((-60)/(-50))/(6/20). Let r = y - -2. Is (-51)/r*(-1 - 9) a multiple of 17?
True
Let s = 562 + -490. Suppose -2*q + 4*k - 14 = 0, 3*k + 2*k = 2*q + 19. Suppose -q*f - 2*f = -2*a + s, -3*a + 126 = -3*f. Does 7 divide a?
False
Let o(t) = t**3 + 3*t**2 - 3*t - 5. Let k be o(4). Let b be ((-171)/k)/((-6)/310). Suppose -j + b + 2 = 0. Is j a multiple of 19?
True
Suppose 0 = -2*y + 38 - 34, -y + 27865 = i. Is i a multiple of 17?
True
Is (8 + 1456/(-70) + 14)/(4/36490) a multiple of 5?
False
Let q = -40305 + 63777. Is 6 a factor of q?
True
Let l be (((-6)/2)/(-6))/((-7)/(-56)). Suppose -594 = -5*u - 3*r, l*u + r - 304 - 174 = 0. Let f = -85 + u. Does 35 divide f?
True
Let o(i) = 7*i**3 - 15*i**2 + 9*i + 59. Let h(d) = -6*d**3 + 17*d**2 - 11*d - 58. Let c(a) = -6*h(a) - 5*o(a). Does 62 divide c(27)?
True
Is 44691/(-2)*-4*(-108)/(-216) a multiple of 113?
False
Let o(q) = 36 + 24*q + 106*q**3 + 20*q**2 - 210*q**3 + 105*q**3. Does 33 divide o(-17)?
True
Let a(h) = -h**3 - 6*h**2 - h + 17. Let v be a(-7). Let l = -69 + v. Suppose -l*p + 227 = x - 257, -4*x - 605 = -5*p. Is p a multiple of 14?
False
Let w(i) be the third derivative of 19*i**5/40 - i**4/12 - 8*i**3/3 + 13*i**2. Let d(f) be the first derivative of w(f). Is d(2) a multiple of 28?
True
Suppose -13*u = -3*u - 610. Let y = 123 - u. Is y a multiple of 3?
False
Suppose -14*y = -73 + 3. Suppose 3*z - 2130 = -y*s, -s + 1395 = 2*z - 6*s. Is z a multiple of 47?
True
Let r be (-4 - (-7 - -5)) + 390 + 4. Suppose 7*u - 4*u = 4*d, 4*u = -d + 19. Suppose 48 = u*a - r. Does 23 divide a?
False
Suppose 2550 = w - 3*o, -228*w + 232*w + 3*o - 10140 = 0. Is w a multiple of 3?
True
Suppose -37*z + 7386 = -5749. Is 4 a factor of z?
False
Let f = -734 + 760. Suppose 20*z + 462 = f*z. Does 5 divide z?
False
Let d(v) = -2*v**3 - 11*v**2 - 8*v - 3. Suppose -21*r = -16*r - 20. Let p(l) = 3*l**3 + 10*l**2 + 8*l + 3. Let y(m) = r*d(m) + 3*p(m). Is 17 a factor of y(15)?
True
Suppose 46 - 406 = 10*r. Is 13 a factor of 26/1*(-234)/r?
True
Does 87 divide -8 + (-16)/((-48)/23) - 33932/(-6)?
True
Let x be -9 - (-1 - (2 - 4)). Does 19 divide 30*6/21*(-42)/x?
False
Let v(j) = 9*j + 32. Let k(y) = -y**2 - 6*y + 24. Let f be k(-7). Is v(f) a multiple of 7?
False
Does 119 divide (-13 + (-17125)/10)*-4?
True
Let s = 214 - 345. Let w = 252 + s. Is 14 a factor of w?
False
Let r = 2383 + 3637. Does 215 divide r?
True
Suppose 201 - 435 = -13*w. Suppose -50*r + w*r + 24576 = 0. Is 64 a factor of r?
True
Let f(p) = 5*p**2 - 41*p - 18. Let n be f(10). Suppose -79*r + 1176 = -n*r. Is 8 a factor of r?
True
Suppose 9*u + 11 = -16. Let f be 3 + (-1 - u) + 0. Suppose -f*s + 103 = -7. Does 11 divide s?
True
Let p(i) = 2*i**3 - 13*i**2 - 32*i + 94. Does 7 divide p(11)?
False
Suppose -10*m - 82 = 31*m. Is 26 a factor of m/(-5) + 2072/20?
True
Let x(h) = 4*h**3 - 3*h**2 + 2*h - 2. Let v be 2/27 + (-79)/(-27). Is 5 a factor of x(v)?
True
Let o(z) = -5*z**3 + 10*z**2 + 10*z + 2. Let q(a) = -11*a**3 + 21*a**2 + 21*a + 3. Let c(d) = -13*o(d) + 6*q(d). Let m = 3555 - 3561. Is 11 a factor of c(m)?
True
Let i be (-4)/16 - (-789)/4. Suppose 2*x = 255 - i. Is x a multiple of 12?
False
Let m(a) = -a**2 - 20*a + 26. Let c be m(-21). Let r be 221 - (-2 + c)*-1. Suppose h - 5*h = -r. Is 8 a factor of h?
True
Let k(c) = -2*c + 203. Let i be k(41). Suppose 2*p = -5*z + 257, 8*z = p + 3*z - i. Does 5 divide p?
False
Let m(b) = b**3 - 11*b**2 + 3*b + 8. Let p be m(11). Let v = p - 38. Suppose v*c - 2*c = 97. Does 35 divide c?
False
Suppose 2*h - 5*l = -40, 7*l - 9*l + 49 = -3*h. Is (-105)/(8/(640/h)) a multiple of 26?
False
Suppose -5*g = i - 3004, -27*i = -32*i - g + 15116. Suppose 31*r = 43*r - i. Is 28 a factor of r?
True
Let d(r) = 2*r**3 + 20*r**2 + 2*r + 38. Let f = 402 - 411. Is d(f) a multiple of 4?
False
Let o be ((-39)/(-15) + -1)/((-6)/(-90)). Let g = -211 + 351. Let k = g - o. Does 29 divide k?
True
Suppose 0 = 2*b + 1858 - 1940. Is b - ((-4)/5)/(6/30) even?
False
Let x = 3 - -28. Suppose 0*u + 8*u - 632 = 0. Let s = x + u. Does 11 divide s?
True
Let v(y) = 5*y + 38. Let q be v(-11). Suppose -2*m = -i + 217, -4*m + 18 = i + 455. Let p = q - m. Is p a multiple of 46?
True
Let v be (-6)/(-8) + (-1800)/(-32). Let s(p) = -p - 3. Let h be s(-12). Let a = v + h. Is a a multiple of 22?
True
Let j = 233 - 199. Does 39 divide j + 5/(-6 - -7)?
True
Let y be (-45)/20*(-12)/3. Let g be (2 - 1)*45/y - 1. Suppose k + 285 = g*k - 2*q, 6 = -2*q. Does 16 divide k?
False
Let o(a) = -216*a + 27. Let v be o(-4). Suppose 0 = -20*c + 17*c + v. Is 9 a factor of c?
True
Let x = -172 + 127. Let h = -15 - x. Does 27 divide 81/(-18)*(0/3 - h)?
True
Let t be 2/(-9) - 11/(-9). Let q(c) = -33*c**