2021 = -4*o. Let s = o - -154. Suppose 0 = -18*y + s + 1592. Is y a multiple of 8?
False
Let p(t) = 1. Let v(u) = -u - 6. Let x(i) = -5*p(i) - v(i). Let d be x(-1). Suppose d = -2*y + 117 + 91. Is 42 a factor of y?
False
Suppose -2*j + 3*u = 2*j - 80479, -5*j + 2*u = -100597. Is j a multiple of 11?
True
Let t(p) = 4*p**3 - 63*p**2 - 14*p + 11. Let w = -252 + 268. Is 3 a factor of t(w)?
False
Let g(s) = -s**2 + 11*s - 35. Let m be g(28). Let w = m - -595. Is w a multiple of 14?
True
Suppose 67*s - 145*s + 35*s = -954342. Is s a multiple of 237?
False
Let f(x) = x**3 + 2*x**2 + x + 2. Let a(j) = -4*j**3 - 20*j**2 + 37*j + 10. Let b(g) = -a(g) - 3*f(g). Is b(-16) a multiple of 7?
True
Let k = -1848 - -3820. Is 34 a factor of k?
True
Let o = 1339 - 886. Let r = o + -313. Is r a multiple of 7?
True
Let x = 344 + -329. Let n = x - -215. Is n a multiple of 23?
True
Suppose 5*o = -2*r + 3*r + 4835, -3*r + 4815 = 5*o. Suppose 12*d - o = -2*d. Is 4 a factor of d?
False
Let q(t) = 22*t - 162. Let c be q(-4). Let l = c - -496. Does 19 divide l?
False
Suppose 33674 + 98823 = 18*c + 8261. Does 16 divide c?
False
Let t be (230/69)/(2/36*-2). Let q = t - -255. Is q a multiple of 5?
True
Suppose 6*v = -2 - 4. Let r be v*1/2*-10. Suppose r*q - 24 = 21. Is 5 a factor of q?
False
Let a(p) be the third derivative of -p**5/30 - p**4/6 + 5*p**3 + 27*p**2. Let i be a(-7). Is (i/6)/(7/(-84)) a multiple of 16?
True
Let c(m) = 37*m - 18. Let q(u) = -75*u + 35. Let t(o) = 5*c(o) + 3*q(o). Suppose -29*d + 51 - 167 = 0. Is t(d) a multiple of 25?
True
Let n(z) = 141*z - 1621. Is 125 a factor of n(29)?
False
Suppose -75 = 6*t - 31*t. Suppose 80 = t*m + 2*j, 4*m - 65 - 36 = 3*j. Is m even?
True
Suppose 8*q = 5*q + 1389. Suppose 4*i = 465 + q. Does 29 divide i?
True
Let g = 6 + 9. Let w be (-8)/(-20) + 324/g. Let m = 108 - w. Does 8 divide m?
False
Let z = 168 - -364. Suppose z + 590 = 3*l. Is l a multiple of 17?
True
Let h be (-2)/20 + 255636/360. Let b = -614 + h. Is 16 a factor of b?
True
Suppose 648*r - 150 = 645*r. Suppose 51*m - r*m + 3*g - 685 = 0, 3*m + g - 2079 = 0. Does 38 divide m?
False
Suppose -769 = h + 4*r - 4172, 3*h - 10193 = -4*r. Is 35 a factor of h?
True
Let y(c) = 1459*c - 394. Is y(34) a multiple of 17?
False
Let z = 21886 - 11526. Is 211 a factor of z?
False
Suppose 5*m + 29*h - 28*h = 232, -4*m + 4*h = -176. Does 8 divide ((-1656)/m)/(3/(-2))?
True
Let z be (0*(-1)/4)/1. Suppose z = -23*p + 29*p - 3060. Suppose -84 = -6*v + p. Is v a multiple of 33?
True
Suppose 4*s + 93 = g, 3*g + 34 - 305 = 4*s. Let i = 227 - g. Does 3 divide i?
True
Let o(m) = -m**2 - 3*m + 21. Let l be o(-6). Suppose -c + l*c - 4*n - 1096 = 0, 5*c + n - 2729 = 0. Is c a multiple of 39?
True
Let v(u) = -u**2 - 7*u - 4. Let b be v(-6). Suppose 0 = b*w + 10, -20 = 2*y + 2*y + 4*w. Suppose -2*x - 2*x + 324 = y. Is x a multiple of 24?
False
Let t = -10 + 10. Let s(j) = -j**3 - 2*j**2 + 2*j - 103. Let p be s(t). Let n = p + 145. Is n a multiple of 14?
True
Suppose 4*p - 6 = -2*l + 4, 3*p = -3*l + 6. Let q = -241 + 268. Suppose -p*r + 30 + q = 0. Is 6 a factor of r?
False
Let v = 263 + -92. Let r be -4*141/(-10)*(-15)/(-18). Suppose 44*h = r*h - v. Does 19 divide h?
True
Suppose 77 = -3*k + 269. Let r(i) = -21*i - 105. Let p be r(-5). Suppose -f + k = 5*x, f + 9*x - 5*x - 62 = p. Is f a multiple of 4?
False
Let z(o) = -o**2 + 11*o - 13. Let t be (-26)/(-2) - (16 + -12). Let m be z(t). Suppose 0*f - 555 = -m*f. Is 14 a factor of f?
False
Let c = -83 + 88. Suppose -c*a = -24 + 4. Does 21 divide ((-2)/(-4))/((a/192)/1)?
False
Let y(q) = -q**3 - 19*q**2 - 66*q - 16. Does 41 divide y(-17)?
False
Let d(l) be the first derivative of l**3/3 + 25. Let x(k) = k**3 + 5*k**2 + 3*k + 16. Let y(z) = -6*d(z) + x(z). Is 3 a factor of y(0)?
False
Let u(b) be the first derivative of 10*b**3/3 - 7*b**2 + 16*b - 13. Let i be u(8). Suppose 715 = 5*p + 5*v, -2*v - i = -4*p + v. Is 11 a factor of p?
False
Let i = -23269 + 32871. Does 177 divide i?
False
Suppose -3*r = 5*n - 1 - 1, r + 6 = -5*n. Let t(w) = -w**2 - 4*w - 2. Let l be t(n). Let k = 43 + l. Is 11 a factor of k?
False
Let w(d) = -d**3 - 3*d**2 + 12*d + 17. Let u be w(-5). Let h be u + -4*(-2)/(-4). Suppose 0 = p + 2*y - 19, 38 = 2*p + h*y - 3*y. Is 7 a factor of p?
False
Suppose -2*y + 6*p - 5*p + 8 = 0, -3*y + 2*p + 14 = 0. Suppose -y*j + 4 = -j. Suppose 2*a + 2*g - 148 - 20 = 0, j*g - 247 = -3*a. Does 21 divide a?
False
Let k(p) = 27*p**2 + 10*p - 3. Let b be k(-4). Suppose -5*g - 3*n = -5*n - 643, -b = -3*g - 2*n. Is 8 a factor of g?
False
Let z(d) = 79*d + 11. Let w(f) = -f + 1. Let a(k) = -4*w(k) - z(k). Is a(-1) a multiple of 6?
True
Let j(i) = -i**3 + 6*i**2 + 12*i - 30. Let n be j(7). Is 9 - (-1 + n) - 894/(-3) a multiple of 28?
False
Let h(v) = v**3 - 15*v**2 - 16*v + 1. Let j be h(16). Is ((-818 - j)/(-1))/(81/54) a multiple of 14?
True
Suppose -208 = -5*g + 4*l, 5*l - 70 = 4*g - 6*g. Is (-1 + g)/(-6*(-6)/24) a multiple of 2?
True
Suppose 1353 = 5*j + 5*g - 602, -2*j = 4*g - 774. Is 4 a factor of j?
False
Let s(i) = -i**2 + 12*i - 30. Let c be s(9). Does 4 divide 4 - (0 - 83/c)*-3?
False
Let l(o) = o + 1. Let w(a) = -a + 37. Let x(r) = -4*l(r) + w(r). Let v be x(-6). Is ((-16)/(-3) + -5)/(1/v) a multiple of 6?
False
Let n(l) = l**3 + 47*l**2 - 108*l + 108. Does 12 divide n(-47)?
True
Suppose -5*m = -4*n + 36725, -9*n - 5*m + 45895 = -4*n. Is n a multiple of 9?
True
Let p = -22 + 23. Let h be (p/(-3) + 356/(-48))*-4. Let a = h + -17. Does 7 divide a?
True
Suppose 0 = -5*h + 70 - 50. Suppose -h*g = -2491 - 1077. Is g a multiple of 17?
False
Let i(p) = 62*p - 7. Let b be i(9). Let u = b + -327. Is u a multiple of 7?
True
Suppose -2*w = -2*q - 144, -2*q - 72 = -w - 0*q. Is 25 a factor of (-2 - -5) + 1*w?
True
Suppose 508 = -19*f + 23*f. Let s = f - 70. Suppose r - s = 3*p, -2*r + 105 = 2*p - 5*p. Does 8 divide r?
True
Suppose 0 = 1969*c - 2009*c + 394000. Does 26 divide c?
False
Let w be (-36)/(-27) - (8/(-12) + 0). Suppose 2*h - w*q + 798 = 3056, 4*h = q + 4510. Is 49 a factor of h?
True
Let n = -396 - -406. Does 54 divide (108/n)/(-3*2/(-270))?
True
Suppose -18*x - 28*x = 39698. Let h = x - -878. Is h a multiple of 2?
False
Suppose 15*z - 1597 + 5947 = 0. Let v = z + 385. Is 37 a factor of v?
False
Let u(w) = -w**3 + 17*w**2 - 53*w + 4. Let i be u(5). Suppose i*y - 1176 = 37*y. Is 34 a factor of y?
False
Let v be (196/3)/(-14)*45/(-10). Let a be ((-14)/(-3))/(1/3). Let z = a + v. Is z a multiple of 34?
False
Suppose -15*l + 2126 + 889 = 0. Suppose -2*y - l + 99 = 0. Let d = y + 100. Is 7 a factor of d?
True
Let a = 409 - 598. Let c be a*1/((-3)/2). Let v = 24 + c. Is v a multiple of 25?
True
Suppose 5*x + 48*t - 59782 = 46*t, -2*x + 4*t + 23956 = 0. Is 65 a factor of x?
True
Let i(m) = m**3 + 7*m**2 + 6*m - 3. Let t be i(-6). Let u be (-12)/(-18) + (-262)/t. Suppose -2*k + h + 27 = -k, 0 = 4*k + h - u. Is k a multiple of 11?
False
Suppose b = 3*f - 12298, -5*f + 20501 = 4*b + 10. Does 39 divide f?
False
Suppose -2*a + 19 - 115 = 0. Suppose 5*l - 13 = -3. Is ((-3832)/a + l/3)*2 a multiple of 7?
True
Does 40 divide (-10 - 2) + (-87870)/(-58)?
False
Is 86 a factor of 5 - (8 - (-58842)/(-6))?
True
Let f be (2 - (5 - 2)) + 3 + 2. Suppose 5*q - 31 = -f*a, -8 = -a - 4. Suppose q*h = 2*i - 92, 180 = 5*i + 3*h + 2*h. Is 10 a factor of i?
True
Let h = 198 - -215. Suppose -3*f + h = l, -l - 2 = l. Suppose 2*r + 0*r - f = 0. Does 23 divide r?
True
Suppose -60*x + 59*x + 13664 = 0. Is 122 a factor of x?
True
Let x be 10043/(-77) - 4/7. Let n = x + 92. Does 8 divide (n/5)/((-6)/30) - -1?
True
Suppose -6*m - 78 = -3*m. Let r = m - -27. Suppose -2*l - r = -7. Is l a multiple of 3?
True
Suppose 7*m = m - 24. Is (36/m + 11)*238/4 a multiple of 3?
False
Let k(u) = u**2 + 11*u - 29. Let w be k(-13). Is 2 - (w*2)/(5/325) a multiple of 18?
False
Let q = 129 - 23. Let v = q + 137. Is v a multiple of 9?
True
Suppose -11*k = -4*v - 9*k + 30, 0 = v + 3*k + 10. Suppose 2*a = -2*a - 5*q + 1733, -5*q + v = 0. Is a a multiple of 44?
False
Let j(k) = 4*k + 31. Let u be j(-8). Let l be (0 + -3)*(u - 2 - 5). Does 32 divide (((-2800)/l)/5)/((-1)/3)?
False
Suppose 4*z - 7*z + 21 = 0. Suppose d + 2*j = 32, -2*j + 184 = -2*d + z*d. Suppose 3*k = -2*g + d, -g = 6*k - 5*k - 18