 - a. Let s = 24 - t. Is 16 a factor of s?
True
Let s be (-1 - -6)*13/(65/4). Let i be (-2 - 0)*(-4)/4. Suppose 516 = s*n - 4*j, -2*n - i*j = 3*j - 237. Is n a multiple of 23?
False
Suppose -11*l - 52 = -7825 - 2039. Is 138 a factor of l?
False
Let x(j) = -j - 49. Let o be x(-17). Let h = 20 + o. Does 18 divide (-2)/(-4) + -286*3/h?
True
Suppose 68 = -2*t - 28. Let c = t + 46. Let o(p) = 26*p**2 - p - 5. Is o(c) a multiple of 49?
False
Suppose -2*v = 10, 6*q - 2998 = 3*q + 5*v. Is q a multiple of 16?
False
Let f(z) = 2*z**2 - 17*z + 11. Let p be f(8). Suppose 2*r + 4*g - 10 = 0, -r + 7 = g + p*g. Suppose o - r*y = y + 59, -3*y = 4*o - 141. Is o a multiple of 11?
False
Let b(w) = w**3 + 16*w**2 - 5*w + 7. Let k(p) = p**3 - 17*p**2 - p + 11. Let o be k(19). Let l be o/(-45) + 2 + 32/(-15). Is 32 a factor of b(l)?
False
Suppose -100*i = 70*i - 635800. Does 4 divide i?
True
Suppose 3*c + 93356 = 5*n, -74686 = -4*n - 234*c + 237*c. Is n a multiple of 48?
False
Suppose -61*i + 891170 + 1115425 = 0. Does 9 divide i?
True
Suppose 5*g = -5*q + 6*q + 12, -2*q - 12 = -4*g. Suppose 0 = g*h + 721 - 1233. Is h a multiple of 25?
False
Suppose 0 = -5*p - 2*a + 7, 9*a - 4*a + 8 = -4*p. Suppose p*h + 0*h = 3*r + 633, -3*r + 447 = 2*h. Is 18 a factor of h?
True
Let b(g) = 46*g**2 - 985*g**3 + 4 - 6*g - 88*g**2 + 46*g**2. Let o be b(2). Is 6 a factor of o/(-60) - (-4)/5?
True
Suppose 57*y - 409821 = 250875 + 16464. Is 99 a factor of y?
True
Suppose -10*k - 5*k = 0. Suppose -3*n + 463 = -2*b - k*b, -3*n + 3*b = -462. Let x = -125 + n. Is 4 a factor of x?
False
Let k(d) = -19615*d - 57 - 13*d**3 + 19603*d + 20 + d**2. Does 19 divide k(-3)?
False
Let h be (-60)/(-180)*(60 + 0). Suppose f - 11 = 1. Let m = h + f. Does 15 divide m?
False
Let y be 6 - 1*0/3. Let u be ((-140)/15)/(y/(-63)). Let a = 194 - u. Does 32 divide a?
True
Suppose 51*k - 361411 = -85501. Is 87 a factor of k?
False
Suppose 15*r = 11*r + 4*o + 112, 122 = 5*r + o. Let k(a) = a + 190. Is 6 a factor of k(r)?
False
Suppose r - 4*x + 795 = -4*r, -r - 3*x = 159. Let z(s) = s**2 - 3. Let n be z(-4). Let o = n - r. Is 51 a factor of o?
False
Let y(k) be the third derivative of k**5/60 - 7*k**4/24 + 2*k**3 + 7*k**2. Let r be y(4). Suppose 3*f + r*f - 46 = -2*j, -5*j - 21 = -f. Does 15 divide f?
False
Suppose 0 = 177*d - 54*d - 1327590 - 548775. Does 9 divide d?
True
Suppose 4*u = -a + 25579, 16*u - 17*u - 2*a + 6386 = 0. Is u a multiple of 52?
True
Let y = 22078 + -6344. Does 44 divide y?
False
Let g(j) = -53*j + 8. Suppose 4*a = -3*t - 11, a - 2 = 2*a. Does 18 divide g(t)?
False
Suppose -226 = -4*t - 42. Let h = t + -48. Does 5 divide (h + -15)*(-5)/1?
True
Let u = 21727 - -6817. Is u a multiple of 8?
True
Let i be 6 + 1 + (-2)/1. Let n(s) = 106 - 86 - i*s**2 + s**3 - 3*s - s. Is 37 a factor of n(8)?
False
Let l = 14 - 12. Suppose -l*b + 21 = 5*b. Suppose 0*q - 2*q + 186 = -4*z, 3*z = b*q - 276. Is 13 a factor of q?
True
Let i(x) be the first derivative of -x**2 - 7*x + 3*x**3 + 5 - 1/4*x**4. Does 22 divide i(8)?
False
Let z be (10 - 24)*5 - (-10)/(-2). Let w = z - -233. Does 4 divide w?
False
Is (266/1995 - (-237)/45)/((-2)/(-9390)) a multiple of 81?
True
Let v(m) = -m**3 - 8*m**2 + 11*m + 22. Let i be v(-9). Suppose -c + 40 = 4*c. Is 38 a factor of i*(1 + 254/c)?
False
Suppose 3*h + 11 = 2*n - 96, 0 = -3*n + h + 157. Is 7 a factor of (n - (-9)/(-3))/1?
True
Let y(t) = 588*t - 1476. Does 16 divide y(18)?
False
Let y be (-3995)/170*8/(-2). Let v = y + 236. Is v a multiple of 11?
True
Suppose 258*f - 292*f + 32028 = 0. Is f even?
True
Let s be 3/(-3)*((-1 - -1) + 15). Let c be 9/s - (524/10 - 1). Let l = c - -262. Does 30 divide l?
True
Let h(k) be the third derivative of k**4/4 + 2*k**3 + 36*k**2. Let v be h(6). Let g = v + 72. Is g a multiple of 10?
True
Let i(u) = 30*u + 2440. Is i(19) a multiple of 5?
True
Suppose 0 = -f - 3*f - 9*f. Suppose -4*m - m + 290 = f. Is m a multiple of 22?
False
Let o = -5840 + 8682. Is 29 a factor of o?
True
Let y = 348 + -343. Suppose 0 = -y*t - 5*d + 223 - 43, -3*d + 32 = t. Is t even?
True
Let v(o) = 2 - 79*o**2 - 27*o**2 + 2*o + 15*o**2. Let s be v(-1). Let c = s - -107. Is 4 a factor of c?
True
Let j = 72 - 73. Does 9 divide -12 - -422 - -4*j/(-2)?
False
Suppose 3*r + 2 = -1, u - 5*r = 1. Let k = -29 - u. Let j = k + 53. Is 25 a factor of j?
False
Let f be (1/((-2)/2))/(3/(-33)). Let y(l) = l**3 - 10*l**2 - 12*l + 24. Is y(f) a multiple of 2?
False
Let y be (-184)/(-14) - 12/(-14). Suppose -y*w - 6*w + 7480 = 0. Is w a multiple of 3?
False
Let w(p) = -3*p**3 - 2*p**2 + 4*p + 6. Suppose y = 4*v - 6, -5*y = 4*v + 6 - 0. Let g be w(y). Suppose 135 = g*l - 11*l. Is 25 a factor of l?
False
Suppose -375*y = -3470621 - 682129. Is y a multiple of 7?
True
Suppose 0 = h + 5*t - 12598, 11382 = 3*h + t - 26300. Is h a multiple of 3?
True
Let d(m) be the third derivative of 0 - 5/6*m**4 + 1/6*m**3 - 1/120*m**6 + 0*m - 3/10*m**5 + 24*m**2. Does 13 divide d(-17)?
True
Is (-5)/(((-50)/10)/29815) a multiple of 89?
True
Let d = 30 - 26. Suppose 0 = -d*i - 261 + 973. Is 15 a factor of i?
False
Let k = 3374 + 835. Is 17 a factor of k?
False
Suppose 5*i = -3*m + 14 + 11, 3*i - 15 = 3*m. Suppose 3*h + 4*s - 5*s - 2 = m, -4 = 3*h + 2*s. Let f(x) = x**3 + x + 24. Does 12 divide f(h)?
True
Let s = -19002 + 20538. Does 32 divide s?
True
Suppose -113 + 2593 = 31*d. Suppose -79*y - 619 = -d*y. Does 8 divide y?
False
Let w(s) = -4*s**3 + 18*s**2 + 11*s - 24. Let d(m) = -m**3 + m**2. Let k(u) = -5*d(u) + w(u). Let r be k(-12). Is 9 a factor of r/(3 + -6) - -77?
True
Let l = 135 + -144. Let a(q) be the second derivative of -q**5/20 - 3*q**4/4 - 7*q**3/3 - 7*q**2 - 2*q. Is a(l) a multiple of 16?
True
Does 36 divide (2*1)/((-112)/(-211400))?
False
Let y = 7545 + 9682. Does 86 divide y?
False
Let f = 143 - 93. Let j = f + -29. Is (-6)/j + (-116)/(-14) a multiple of 3?
False
Suppose -2*n = -3*b - 84, 3*b + 3*n + n + 102 = 0. Let u = -36 - b. Does 19 divide ((-7)/((-84)/664))/((-4)/u)?
False
Suppose 4*n - 3*g - 10 = 102, -67 = -3*n - 2*g. Let d = -46 + n. Is 12*(d/(-4) - -2) a multiple of 29?
True
Let r(j) be the second derivative of 9/2*j**2 - 7/6*j**3 + 0 + 6*j. Is 36 a factor of r(-17)?
False
Let u = 5742 - 5247. Is 11 a factor of u?
True
Suppose 20*i = 12*i + 32. Suppose 0 = -i*k - 7*k. Does 8 divide (1*8 - k)*(13 - 10)?
True
Suppose 1835 - 7675 = -10*p. Suppose q + 1139 = 3*b, -2*q - p = -3*b + 554. Is 76 a factor of b?
True
Let v(r) = -5*r + 15. Let a be v(-4). Let b = a + -30. Suppose 3*x + 989 = b*s + 97, -3*s - x + 538 = 0. Is 32 a factor of s?
False
Let t be (((-110)/4)/5)/(7/(-14)). Let x(c) = -c**2 + 11*c + 17. Let n be x(t). Suppose 22*o = n*o + 360. Does 18 divide o?
True
Let f(i) = 2*i + 50. Let b be f(-15). Let s = b + -16. Let q(u) = 13*u + 24. Is 22 a factor of q(s)?
False
Let t = -12533 - -20783. Does 50 divide t?
True
Let z be (24/14)/(126/441). Does 37 divide (-2*z - 1)*(14 - 51)?
True
Let d be ((-1)/2)/(6/(-12)). Let i be 39*d*(-40)/(-12). Does 12 divide 2/13 + 3100/i?
True
Suppose 0 = 21*s - 72445 - 50153. Is s a multiple of 16?
False
Suppose 3*n - 4296 = -3*p, -1326 = -4*n + p + 4397. Is 14 a factor of n?
False
Let d = -67 + 85. Let v = d + -14. Suppose t - 197 = -4*x, 0*x = 3*x - v*t - 124. Does 12 divide x?
True
Let h(m) = 6 - 22*m - 20 + 0. Let i be h(-14). Suppose 6*j - 4*j - i = 0. Is j a multiple of 21?
True
Let a(h) = 25 - 13 + h**2 - 4 - 48*h + 50*h. Let j be (1 - (-2 + 5)) + -3. Is a(j) a multiple of 10?
False
Let q = 1828 + -1285. Suppose 711 = 11*n - q. Suppose r - n = 12. Does 9 divide r?
True
Suppose -4*l + 25 = -31. Suppose -26 + l = -4*f. Suppose -f*x - 5*s = -209, 0 = 2*x + x + 4*s - 214. Is 27 a factor of x?
False
Let v = -438 + 425. Does 5 divide (6 + -36)/(3/v)?
True
Suppose 15*j = 1757 + 538. Let r = j - -133. Is 7 a factor of r?
False
Suppose 5*o = -v + 6*o + 12, v - 5*o - 8 = 0. Let a(y) = y**2 + 7*y + 45. Does 10 divide a(v)?
False
Let g be 15*((-1736)/110 + (-28)/(-154)). Let q = g + 544. Is q a multiple of 12?
False
Suppose -30744 = -3*m + 2*k, -k + 779 = 5*m - 50448. Is m a multiple of 4?
False
Let i be 162/9*(57/(-9) - 1). Is 7 a factor of -2 + 0 + -4 - i?
True
Let m be ((-14)/4 - -4)*0. Suppose 19 + 1 = -5*c, 4*l + 4*c - 520 = m. Is 3 a factor of l?