. Let x be ((-4)/(-34) - 435/(-493))*274. Suppose -n*a + 74 = -x. Does 9 divide a?
False
Is 12 a factor of -842*((-13)/(312/(-16)))/((-8)/42)?
False
Suppose 3*l - 13820 = -3*i + 23629, -l + i + 12473 = 0. Is 29 a factor of l?
False
Let f(i) = -7*i + 103. Let g be f(14). Suppose -524 - 706 = -g*z. Is z a multiple of 49?
False
Suppose 4*x + 2*x + 4938 = 0. Let o = 7563 + x. Does 13 divide o/130 + (-2)/(-13)?
True
Let h(n) be the second derivative of -n**4/12 - 17*n**3/6 + 9*n**2 - 17*n. Let z be h(-8). Suppose -7*j + 281 = -z. Is j a multiple of 19?
False
Let z(g) = 2*g**2 + 1. Let f be z(-1). Let j be 4*(-2)/24 + 7/f. Let a(p) = 12*p**2 + p - 3. Is a(j) a multiple of 8?
False
Let t = 479 - 481. Is ((-11)/2 + t)*(-12)/10 a multiple of 2?
False
Suppose 14 = 5*q + 19. Suppose -6 = -6*m + 5*m. Is 15 a factor of (-150)/q - (11 - m)?
False
Suppose 55102 = -50*z + 55*z - 863. Is 104 a factor of z?
False
Suppose 4*o - 47856 = -3*c, -4*o + 1 = 25. Is 168 a factor of c?
True
Let i be (4/(-12))/((5/12)/(-5)). Suppose 7*a = -5*l + 2*a + 2985, -i*l = -2*a - 2376. Is l a multiple of 35?
True
Does 12 divide (186080/(-320))/(3/(-72))?
True
Suppose 0 = 13*r - 134895 - 37329. Is r a multiple of 8?
True
Let x(q) = 376 - 82 - 2*q + 4*q + 0*q. Is x(-46) a multiple of 33?
False
Suppose -2*j = 4*r - 4 - 18, j = r - 1. Let f = 172 + -121. Suppose -3*v + f = 2*t, -r*v + 2*v - 3*t + 39 = 0. Is v a multiple of 10?
False
Let p(o) = -o**3 + 7*o**2 + 9*o - 13. Let j be p(6). Does 9 divide 2/(-7) - (-5 + (-38907)/j)?
False
Suppose 0 = 4*y - 4*j - 2140, 190*j - 187*j + 525 = y. Is y a multiple of 10?
True
Let m be 27 - 25 - (-118)/(0 - -1). Let o(i) = -i - 7. Let j be o(-9). Suppose -t - j*t + m = 0. Is 7 a factor of t?
False
Let v(j) = 7*j**2 + 37*j + 1. Let t(k) = 3*k**2 + 18*k + 1. Let l(q) = -5*t(q) + 2*v(q). Let n be l(-21). Let u = n - -184. Is u a multiple of 19?
True
Let n be -1 + (3 + 3 + -8)*-2. Suppose -3*v + 3*z + 156 = 0, 3*v + n*z = -v + 194. Is v a multiple of 9?
False
Let p(j) = 11*j - 27. Let b = -61 + 73. Let n be p(b). Suppose 5*f - n = c + 4*c, -3*c + 29 = f. Does 7 divide f?
False
Suppose 0 = -780*i + 781*i - 5*d - 4364, -5*i - 2*d + 21874 = 0. Is i a multiple of 39?
False
Let x(h) = -h + 9. Let b be x(6). Suppose 0 = 3*z - v + 3*v - 1227, 3*v = -b*z + 1230. Suppose -4*j + z = -189. Is 12 a factor of j?
False
Let b(d) = -39*d - 1092. Does 5 divide b(-37)?
False
Suppose -g = 2*p - 4036, -5*p - 4 = -29. Is g a multiple of 66?
True
Let v = 27 + -54. Let q = -24 - v. Suppose -374 = -5*a + q*a. Does 17 divide a?
True
Suppose 109*z = 107*z + 52. Is 8 a factor of 4/z + (-45405)/(-195)?
False
Let b = 32090 - 1244. Does 194 divide b?
True
Let a(s) = s**3 + 5*s**2 - 8*s - 5. Let c be a(-7). Suppose -64*o - 135*o - 14720 = -15*o. Let h = c - o. Is 3 a factor of h?
True
Let w(x) = x - 17. Let d be w(20). Suppose 19 - 55 = -d*z. Suppose -1196 = -o - z*o. Does 18 divide o?
False
Let p(l) = l**2 + 5*l + 3. Let s be p(-5). Suppose -2*j - 60 = -n, 58 = -n + 2*n - s*j. Let o = n - 34. Does 5 divide o?
True
Let k(w) = w**3 - 29*w**2 + 29*w - 18. Let v be k(28). Let p be v - (-1 + 8 - 2). Suppose 176 = p*l - l. Is 11 a factor of l?
True
Is 60 a factor of ((-2 - -2) + 4560)*(-2)/(-4)?
True
Let o(y) = y**3 + 31*y**2 - 69*y - 199. Is 55 a factor of o(-24)?
False
Let v(x) = -31*x**3 - 4*x**2 - 13*x - 1. Let q be v(-2). Suppose -2*m + 13*b = 8*b - q, -m - 3*b = -123. Is 12 a factor of m?
False
Let d(j) = -19*j - 319. Let s be d(-17). Suppose -143 = u - 6*u + 3*i, 5*u + s*i = 136. Does 5 divide u?
False
Let r(b) = -b + 6. Let c be r(5). Let p(x) = x**2 - 2*x + 42. Let l(s) = -s - 1. Let f(v) = c*p(v) - 5*l(v). Does 26 divide f(8)?
False
Let s(f) = 2 + 3 - 58*f**3 + 6*f**2 + 59*f**3 + 8*f. Let x be s(-4). Suppose -x*z = z - 1260. Is z a multiple of 15?
True
Let b = 36 - 20. Let t be 2/(-4) - (-40)/b. Suppose -2*g = t*g - 288. Does 34 divide g?
False
Suppose 4*a - 30 = -2*a. Suppose 4 = -4*k + a*k. Suppose -3*j = -4*d - 49, 3*j + 10 = k*j + 5*d. Is j a multiple of 5?
True
Suppose -2*p - 81288 = -19*y, y + 9*p = 5*p + 4266. Is y a multiple of 69?
True
Suppose 57893 = -148*d + 455865. Is 7 a factor of d?
False
Suppose -33*v + 28*v + 1789 = b, 3*v = 4*b - 7225. Let p = b - 12. Is p a multiple of 64?
True
Suppose -5*h + 13 + 7 = 0. Let j = -4 + h. Suppose 6*f - 63 - 1125 = j. Does 33 divide f?
True
Let r(l) be the third derivative of l**5/30 + 7*l**4/12 + 7*l**3/3 - 31*l**2. Let y(a) be the first derivative of r(a). Does 7 divide y(18)?
False
Suppose 11*s - 13*s + 3*d = -1855, 5*s - 4585 = -3*d. Is s a multiple of 46?
True
Let l(n) = 188*n**2 + 6*n + 11. Let v be l(-2). Suppose -v - 5089 = -10*m. Is m a multiple of 8?
True
Suppose 0 = 2*v + 5*j - 5071, -4*v - 516*j + 10127 = -511*j. Is 32 a factor of v?
True
Let d = 6588 - 6189. Is 5 a factor of d?
False
Suppose 0 = 20*u + 6*u - 17502 + 914. Does 30 divide u?
False
Let i = -449 + 456. Suppose i*h = 10*h - 1566. Does 9 divide h?
True
Suppose 0 = -4*x + 4*g + 179222 - 33434, -5*x - 5*g + 182305 = 0. Does 14 divide x?
False
Let o = -380 + 375. Let r(s) = 0*s - 4*s**2 - s**3 + 2 + s**2 - s. Does 6 divide r(o)?
False
Let m = -1883 - -21804. Is m a multiple of 14?
False
Let x be 2/3 - (239/3 - -4). Let j be (-3 + 4)*-1 - x. Let v = j - 7. Is 25 a factor of v?
True
Suppose -2*j - 25 = -7*j. Suppose -16 = -3*q - 19*b + 20*b, 5*q - 24 = b. Suppose 0*n = -5*p - q*n + 655, j*n = -2*p + 279. Is p a multiple of 22?
False
Suppose 1916 = 21*s - 268. Let q = -4 + s. Does 4 divide q?
True
Let g(c) = 9*c**2 - 4*c**2 - 63*c**3 + 31*c**3 + 28*c**3 - 3*c - 11. Let j(z) = -5*z**3 + 4*z**2 - 4*z - 11. Let x(t) = -3*g(t) + 2*j(t). Does 15 divide x(6)?
False
Suppose 129*z + 57134 = 235*z. Does 11 divide z?
True
Let t be 4/26 - 1605/39. Let w = 52 + t. Is w/(-66) - 1929/(-18) a multiple of 36?
False
Let z(l) = 15*l**2 + 52*l - 263. Is 118 a factor of z(17)?
True
Suppose 3*n - 3*o = -2*n, -3*n = 5*o - 34. Suppose -77 = -n*b + 739. Suppose 32*l - b = 30*l. Is 8 a factor of l?
True
Let h(c) = -79 + 25*c**3 + 5*c + 128 - c**2 - 46. Does 21 divide h(2)?
False
Let k(q) = -2*q**2 + 52*q - 50. Let i be k(25). Suppose -47*w + 28*w + 20805 = i. Does 21 divide w?
False
Suppose 3*f - 1316 = -2*h + 5*f, -3*f + 3330 = 5*h. Suppose 10*x - 2137 = h. Is 28 a factor of x?
True
Let j(l) = -16 + l + 37*l + l**3 + 120*l**2 - 105*l**2. Is 4 a factor of j(-10)?
True
Let l be (-3435)/(-9) - (2 - 20/15). Suppose w - 8*z = -4*z + 186, -2*w - z + l = 0. Does 38 divide w?
True
Let d = -1472 + 1547. Let c(l) = 2*l**2 - l. Let g be c(3). Does 8 divide ((-17)/(-5))/(g/d)?
False
Suppose -51*s = -63*s + 64176. Does 15 divide s?
False
Let p = 8182 + -3581. Is p a multiple of 114?
False
Suppose -4*t + 2 = -10. Suppose -t*w + 2334 = -4*m + 686, 550 = w - m. Is w a multiple of 22?
False
Let s = 78856 + -43252. Does 207 divide s?
True
Does 9 divide (235152/(-460))/(6/(-15))?
True
Let t = 11934 - 2775. Does 129 divide t?
True
Suppose 3*u + 7 = 289. Let a = u - 69. Suppose 22*l = a*l - 105. Is l a multiple of 5?
True
Let d = -16 + 30. Suppose -3*v - 5 + d = 0. Suppose -s + v*m = -79, 405 = 4*s + 3*m + 29. Does 20 divide s?
False
Suppose -49*b = -16*b - 5*b - 313488. Does 6 divide b?
True
Suppose 0 = 3*s - s - 530. Let i = 167 + s. Does 12 divide i?
True
Let x(f) = -1000*f + 16. Let h be x(-1). Suppose n = -n - 3*d + 1014, -h = -2*n - 4*d. Is 84 a factor of n?
True
Suppose 21*w - 12347 = 275941. Is 32 a factor of w?
True
Suppose 5*r - 2*b = 920, 4*b = -1 - 19. Let c be 882/r + (-4)/(-26). Suppose 4*w - 21 = -m, 27 = c*w - 5*m - 18. Is w a multiple of 6?
True
Let n(s) = -3585*s - 691. Is n(-2) a multiple of 21?
False
Let n(a) = 87 - 3*a - 78 + 0*a**2 + 6*a**2 + 0*a**2. Let l be n(-7). Suppose -17*p = -23*p + l. Is 11 a factor of p?
False
Suppose x - 4*x = -9. Let f be -3 - ((-2)/x - (-22)/(-3)). Suppose 0 = -f*r + 238 + 167. Does 4 divide r?
False
Is (-5640)/(-90)*(-1)/2*-72 a multiple of 138?
False
Let x(i) = 9*i + 5. Let q be x(0). Suppose -q*y = -9*y + 16. Suppose 0 = s - 2*h - 51, -y*s = s + 4*h - 241. Is s a multiple of 49?
True
Is (-1224)/10*(-84630)/819 a multiple of 28?
False
Let j = 122 - 87. Let z = j + -32. Suppose 0 = 3*p - 5*o - 129, 2*o - 255 = -5*p - z*o. Is 12 a factor of p?
True
Le