se -3*j + 1507 = 4*n, 9*n = 4*j + 4*n - 1999. Let s = j + -274. Does 11 divide s?
False
Let t = 67 - 60. Suppose 3*f = d + 4, t*f - 50 = 5*d + 2*f. Let p = 218 - d. Does 33 divide p?
True
Let u be (-3735)/6*6*(-7)/21. Suppose -6829 + u = -8*l. Is l a multiple of 47?
False
Suppose -5*o + 133377 = 4*g, -o + 158*g + 26675 = 159*g. Does 37 divide o?
True
Suppose -2*z + 606 + 1471 = -3*p, 0 = -z + 3*p + 1046. Suppose -z = -3*h - 107. Does 14 divide h?
True
Let w = -73 + 215. Let c(i) = 180*i - w + 70 + 72. Is c(1) a multiple of 12?
True
Suppose -1019 = -5*p + 3*x, 2*p + 2*x + 7 = 405. Let a = -138 + p. Let v = a - 44. Is 2 a factor of v?
True
Let w be -282*(78/(-18))/(3/9). Suppose 12*x = -w + 11862. Is x a multiple of 6?
False
Suppose -11*t + 2*t + 360 = 0. Let x = t + -45. Is 19 a factor of 215 - (7 - x/(-1))?
False
Suppose 13*w - 53 = 12. Let f be (w/(-15))/(3/(-63)). Suppose -1194 = s - f*s. Is s a multiple of 30?
False
Suppose 75*r + 86455 - 212952 = 136153. Is 12 a factor of r?
False
Let o = -6 - -987. Is 12 a factor of o?
False
Let y(h) = -h**2 + 129*h + 658. Is y(68) a multiple of 89?
True
Let x(s) = 87*s**2 + 73*s - 574. Is 105 a factor of x(7)?
True
Suppose 19*j - 20*j - 4900 = -8*r, -2*r + 1206 = -5*j. Is r even?
False
Suppose -3*j + 103661 = -7*o + 10343, 4*j + 2*o - 124424 = 0. Does 206 divide j?
True
Let m(c) = 172*c**2 + 18*c + 373. Does 80 divide m(-11)?
False
Let s(m) = -m**2 + 20*m - 34. Let v be s(18). Let f be (-3 - -1)/(v/(-5)). Suppose 3*o + 2*u - 515 = 48, f*u + 10 = 0. Is o a multiple of 9?
True
Suppose 3*u - 9 = 3*b - 5*b, -5 = u - 2*b. Let x(g) = 7 + 3*g + 5 + 6 + u. Does 32 divide x(15)?
True
Let m = -64 + 47. Let r(v) = -v**3 - 19*v**2 - 40*v - 27. Does 5 divide r(m)?
True
Let k be (-30)/70 - 38/(-7). Suppose -k*r + 1325 = -55. Suppose 7*l - r = 3*l. Is l a multiple of 14?
False
Let s(l) = -4100*l + 8111. Does 115 divide s(-7)?
False
Let h(k) = 9*k**3 + 175*k**2 - 10*k - 257. Is 13 a factor of h(14)?
False
Let j be 219/(3/9 + (-2)/12). Suppose -j = 2*h + 7*h. Let n = 34 - h. Does 15 divide n?
True
Let g(m) = -3789*m + 13150. Is 84 a factor of g(-4)?
False
Suppose -2*w = 12*s - 17*s + 188609, -3*s - 2*w = -113175. Is s a multiple of 17?
True
Let t(v) be the third derivative of 13*v**4/4 - 4*v**3 - v**2 - 10. Is t(4) a multiple of 72?
True
Let j be 0 - 1 - 4/(-1). Let v be ((0/(-4))/(-5))/j. Suppose v = -2*t - 3*t + 225. Is 17 a factor of t?
False
Let s = 16 - -9. Suppose 2*o + 5*l = o - s, 2*l - 17 = 5*o. Let r(j) = j**3 + 8*j**2 - 6*j - 12. Does 31 divide r(o)?
True
Suppose -25*h + 40*h = 18*h - 23250. Is 31 a factor of h?
True
Let n be (-12)/(-3) + -2 - -4. Let a(s) = -8*s**2 + 5*s + 3. Let f(p) = 7*p**2 - 4*p - 3. Let q(x) = 5*a(x) + 6*f(x). Does 15 divide q(n)?
True
Let g = 13395 + -9460. Is g a multiple of 23?
False
Suppose 0 = -3*b + 2*l + 3786, 13*b - 8*b - 3*l = 6309. Is 4 a factor of b?
True
Is (-30)/(900/(-210)) - (3/(-3) + -3074) a multiple of 23?
True
Let k = -2236 + 3686. Suppose 0*a - 1826 = -5*n + 2*a, 2*a - k = -4*n. Suppose 8*v - 10*v = -n. Does 31 divide v?
False
Suppose 3*i + s = 4387, -s + 8267 - 954 = 5*i. Is 11 a factor of i?
True
Suppose 8*v + 23 = 119. Is (-16)/v + 310/3 a multiple of 4?
False
Suppose -160 = -3*z + z - 5*g, 5*z - 400 = 3*g. Let q = z - 75. Suppose 0 = q*l - 5*a - 250, -3*a - 217 = -5*l + 33. Is l a multiple of 4?
False
Suppose 0 = 14*u - 41*u + 1917. Suppose 64*m + 6517 = u*m. Does 49 divide m?
True
Let v(k) = -167*k - 982. Does 6 divide v(-20)?
True
Let h = -5576 - -10517. Is 33 a factor of h?
False
Let g(a) be the first derivative of 53*a**3/3 - 3*a**2/2 - 3*a - 2. Suppose 32 - 38 = 3*h + l, -5*h + 4*l = 10. Is g(h) a multiple of 34?
False
Let n(q) = q**2 - 18*q + 21. Let k be n(17). Is k - (172/(-2) - (-1 + 1)) a multiple of 13?
False
Suppose 4*p - 65 = j - 375, 5*j = 5*p + 1625. Suppose 3*t + 3*q = j, -5*t + 534 = -0*t - 3*q. Is 18 a factor of t?
True
Let h be ((-492)/(-16) - -3) + (-9)/12. Is 17 a factor of 2337/h - (-12)/66?
False
Let a(m) = 2*m**3 - 46*m**2 + 16*m + 40. Let o be a(22). Is 45 a factor of (-2 - (-46)/8)/((-12)/o)?
True
Suppose 90*a = 92*a - 760. Suppose m - a = 160. Does 10 divide m?
True
Suppose 2*j + 24 = -5*c, -5*j - 56 = 4*c + 38. Let x(r) = -r**2 - 27*r - 53. Let y be x(j). Let p = y - -5. Is 31 a factor of p?
True
Let k(g) = -23*g + 115. Let w be k(5). Suppose 5*h = 3*c + 1120, w = 2*h + 12*c - 7*c - 448. Does 14 divide h?
True
Does 29 divide 29/((-3451)/(-693665)) + (-4)/34?
True
Suppose -6*g = 15839 - 53207. Does 12 divide g?
True
Is 16/(-2) + (-36)/(-36)*33263 a multiple of 46?
False
Suppose -5*b + 1811 = -2439. Let u = -368 + b. Is 26 a factor of u?
False
Let w(m) = 381*m + 183. Is w(17) a multiple of 36?
True
Suppose -68*i = -5*n - 72*i + 929, 2*n = -3*i + 366. Is n a multiple of 27?
True
Suppose -10*d - 1976 = -14*d + 3*p, 0 = 2*d + 4*p - 966. Suppose 497*i - d*i - 9888 = 0. Is i a multiple of 16?
True
Let d(i) = -2*i**2 - 59*i + 6240. Is d(0) a multiple of 24?
True
Let w = -51 - -52. Suppose q = 1 + w, -5*q = -4*p + 398. Let y = p + 46. Is y a multiple of 8?
False
Does 20 divide 5133 - (11/11 - 8)?
True
Let y be (2/(-4))/(39/(-78702)). Let j = y + -617. Is j a multiple of 7?
True
Let g(l) = -l**3 + 27*l**2 + 35*l + 19. Let w be g(27). Let r = w - 691. Is r a multiple of 39?
True
Suppose -x - 33 = 4*b - 605, 2*b - x = 292. Let l = 264 - b. Suppose 5*t - l = 4*t. Is 13 a factor of t?
False
Suppose 3*q = 9*q - 18. Suppose 3*s + p + 725 = 0, -q*s + 2*s = -2*p + 251. Let j = s - -455. Does 19 divide j?
False
Let k = -1780 - -22898. Does 123 divide k?
False
Let l be (-3*5/15)/(-1). Let r(a) = 8030*a**2 - a - 1. Let f be r(l). Does 17 divide 3*(-4)/(-66) + f/132?
False
Suppose 28*m = 202471 - 13835. Does 2 divide m?
False
Let d(u) = -2*u + 30. Let g be d(20). Let n(y) = -y**2 - 9*y + 12. Let h be n(g). Suppose h*a + f = -a + 206, 60 = a - 4*f. Is 10 a factor of a?
False
Let w be (-2)/(-5) + (104/(-10) - 1). Let v = w + 16. Suppose k = -2*b - b + 158, 0 = v*b - 10. Does 19 divide k?
True
Suppose 5*r + 20072 = 3*u, 144*u - 4*r = 142*u + 13378. Is u a multiple of 21?
True
Suppose -17*j + 4 + 30 = 0. Suppose 2*q = -3*m + 4*q + 159, -3*q - 111 = -j*m. Is m a multiple of 3?
True
Suppose 10541 = o + 5*h, 5*o - 67*h = -63*h + 52618. Is 16 a factor of o?
False
Suppose -1340 = g - 2*t - t, -2*t = 3*g + 3976. Let z = g - -2436. Is z a multiple of 43?
False
Suppose c = 5*c + 16. Let u = -1 - c. Suppose -u*q - 324 = -12*q. Is 12 a factor of q?
True
Let w = -3411 + 3278. Suppose -u + 6*u + 4*j = -809, 2*u = -2*j - 322. Let m = w - u. Is m a multiple of 16?
True
Suppose 0 = 3*s - 5*s + 116. Is 17 a factor of (725/s)/(1/34)?
True
Let z(t) = t**3 - 36*t**2 + 58*t + 123. Is 33 a factor of z(36)?
True
Suppose 2*j = 3*b - 112, -29 = j - b + 29. Does 14 divide ((-22)/4 - (-9)/(-6))*j?
True
Let l(q) = -50*q - 10. Let g be l(-1). Let p be (-12)/(-10) + -1 - 8/g. Suppose 3*m = -2*y + 4*y + 51, p = 3*y. Is 17 a factor of m?
True
Let j be ((-273)/63)/(2/(-6)). Suppose 4200 = 17*l + j*l. Is l even?
True
Suppose 3*q + 10 = q, -5*r + 3*q = -45. Is 756 + (0 + r - 6) a multiple of 18?
True
Let f = -178 - -570. Let x be 2/6 + f*(-1)/(-3). Is 14 a factor of (-3 + 4)*(x + -2)?
False
Let o(m) = -4*m + 118. Let i be 687/27 - 20/45. Does 9 divide o(i)?
True
Suppose -19*g + 21*g = 0. Suppose 3*q - 122 = j, g = 4*q - 0*q + 5*j - 188. Is q a multiple of 3?
True
Let n(l) = -5*l + 47. Suppose 0 = 4*m - 5*h + 23, 5*h = -m - 2*m - 26. Let o be n(m). Let t = 247 - o. Is t a multiple of 16?
False
Let j(u) = 21*u. Suppose 3*v + 0*v = 12. Let b be j(v). Suppose 10*z - b = 7*z. Does 10 divide z?
False
Let b(s) = -s**3 + 46*s**2 + 23*s - 115. Is b(34) a multiple of 31?
True
Let k(r) = 3*r**2 + 4*r + 3. Let d be k(-3). Suppose 0 = 11*w - 16*w. Suppose w = -22*o + d*o + 320. Does 8 divide o?
True
Let o(m) = m**2 + 16*m - 2. Let p be o(-12). Let r = p - -43. Is 18 a factor of r/((-49)/2) + 124/7?
True
Suppose 414*l - 3*l + 2*l = 3334562. Is 8 a factor of l?
False
Is 170870/75 - (-24)/(-90) a multiple of 2?
True
Is 99 a factor of (-23)/(-506) + 3942170/220?
True
Suppose 14*i - 11*i = 14*i - 90926. Is 21 a factor of i?
False
Let t be (-8)/96*-3 - (-3)/(-12). Suppose t = -38*u + 1205 + 2481. Is u even?
F