of 8?
False
Let c be 32*2*(-3)/(-3). Suppose -3*q = 5*v - q + c, -4*v - 44 = 4*q. Is (1 - 2)/(-7) - 2266/v a multiple of 17?
False
Let g = 16787 - 6651. Is g a multiple of 28?
True
Suppose 2*a = 5*t - 17501, -26*t = -30*t - a + 14006. Is t a multiple of 62?
False
Let b(s) = 9*s + 137. Let u be b(-15). Suppose u*r + 2*i = 254, 4*r - 4*i = 9*r - 634. Is r a multiple of 7?
True
Let g(i) = -i**3 + 4*i**2 + 3*i + 15. Let w be g(5). Let n be (966/(-10))/((w + -8)/(-15)). Let a = -329 - n. Is a a multiple of 22?
True
Suppose -70*c - 28*c + 1302556 = -12*c. Is c a multiple of 22?
False
Suppose 0 = 17*v - 15*v - 314. Let d = v - 58. Suppose -d*q + 1095 = -94*q. Is 32 a factor of q?
False
Suppose 3*y - 3285 = -3*x, -3*x = -3*y - 2*x + 3269. Let t = y - 596. Is t a multiple of 33?
True
Does 105 divide -2*(-331693)/26 - (5125/65 + -79)?
True
Let n(c) be the second derivative of -c**4/8 - 9*c**3/2 - 13*c**2 - 10*c. Let q(a) be the first derivative of n(a). Is 3 a factor of q(-15)?
True
Let w = -343 - -348. Suppose -n = -2*a + 174, w*a + 4*n = 5*n + 429. Does 5 divide a?
True
Suppose 0*l = 4*l. Suppose l = -4*d - 4*h + 468, d - 5*d + 488 = -h. Does 23 divide d?
False
Let r(n) be the first derivative of -7*n**2/2 - 34*n + 8. Let o be r(-10). Suppose -104 = -10*h + o. Is h a multiple of 3?
False
Let r be (-1458)/(-33) - (-14)/(-77). Suppose -r*i = -43*i - 50. Suppose -2*z = 2 - i. Is z a multiple of 11?
False
Let r be 1/(-1)*-3 - (-7 - -3). Suppose r*w - 3*w - 1440 = c, -w - 3*c + 360 = 0. Is 45 a factor of w?
True
Suppose -g + 3*n + 11 = 2*n, n = 2*g - 17. Let a(j) = 3*j**3 - 8*j**2 - 4*j + 15. Is 27 a factor of a(g)?
True
Suppose -12*q + 741 = 5*q - 56736. Is q a multiple of 161?
True
Let p(x) = -350*x - 2630. Does 5 divide p(-41)?
True
Let v = -1336 - -1888. Suppose -p + x = -329, 3*p - v = -x + 427. Is 7 a factor of p?
False
Let z(q) = 4*q**2 - 3*q + 23. Let j be z(7). Let p(u) = j*u - 383*u + 2*u**2 + 7 + 192*u. Is p(4) a multiple of 7?
False
Suppose g = 10 - 10. Let u be ((-2)/6)/(2/(-12)). Suppose g = 3*b - u - 154. Is 13 a factor of b?
True
Let a = -410 - -401. Is (1302/a*2)/((-12)/18) a multiple of 62?
True
Suppose 73485 = 18*t - 32499. Is t a multiple of 64?
True
Let t(q) = -q**3 - 4*q**2 + 14*q + 20. Let c be t(-6). Suppose 0 = -36*p + 32*p - c. Does 2 divide 12 + -2 + p + 4?
True
Suppose -5*n - 150 = 4*i, 3*i + 49 + 50 = 3*n. Let x = i - 13. Let a = x - -75. Does 2 divide a?
False
Suppose -2*x + 13212 = 2*l, -12*l - 2 = -10*l. Is 93 a factor of x?
False
Is 3 a factor of 52/5*(-1 + (-357)/(-42))?
True
Suppose 5*s = -4*z + 34166, -12*z - 2*s = -19*z + 59812. Is z a multiple of 12?
True
Let x(o) = -o**3 + 23*o**2 - 34*o - 144. Let l be x(21). Let w(q) = 9*q - 48. Is 28 a factor of w(l)?
True
Suppose 4 = -7*h + 88. Let n be (158/3)/(6/9). Let b = n + h. Does 7 divide b?
True
Let h be (-110)/(-25) + (-9)/(-15). Suppose 2*u = -3*p + 3, -h*u = -0*p - 3*p + 24. Suppose m + 56 = p*m. Is m a multiple of 28?
True
Suppose 0 = -6*w + w - 5*a + 40, 3*w = 3*a. Suppose 12 = w*r, -135 = -2*n - n - r. Suppose -n*b = -39*b - 400. Is 10 a factor of b?
True
Suppose 46839 + 80251 = 5*i - 3*h, -h - 127090 = -5*i. Does 358 divide i?
True
Let g(q) = -475*q + 179. Is g(-10) a multiple of 159?
True
Let j = -110 + 125. Suppose -j*h = -25*h + 1310. Does 7 divide h?
False
Suppose -19*y + 144 = -18*y. Let p = y + -85. Suppose -2*q - 43 = -w - 3*q, -w + 3*q + p = 0. Is 11 a factor of w?
False
Let g be ((-9)/6)/(6/(-8)). Suppose 0 = -g*w + 3*j + 19, 3*w - 2*j + j - 11 = 0. Suppose -64 = -3*u + w*u. Is 9 a factor of u?
False
Suppose -m = 2*r + 56, -5*r - 32 + 144 = -2*m. Let n be (-42)/m - 2438/8. Let i = n + 431. Does 23 divide i?
False
Let w(y) = -y**3 + 20*y**2 - 4*y - 24. Let o be w(10). Suppose 7*t = 3*t + o. Does 15 divide t?
False
Let t(l) be the first derivative of -l**4/4 - 5*l**3/3 + 8*l**2 + 19*l - 32. Let a be t(-7). Suppose 2*i + 281 = 5*b, -a*i - 5 = 10. Does 15 divide b?
False
Let z(i) = 3*i**3 - 9*i**2 + 12*i - 24. Suppose 28*b - 26*b = 12. Does 12 divide z(b)?
True
Is 53 a factor of (2425/(-4) - -10)/((-3)/36)?
True
Let l(j) = -6*j**2 - 57*j + 26. Let d be l(-10). Let v(a) = -13*a + 125. Is 92 a factor of v(d)?
False
Suppose -39*y + 33*y + 9864 = 0. Let a = -1089 + y. Is 37 a factor of a?
True
Let w be 81/972 + (-155)/(-12). Let a = 38 - 26. Suppose a*t = w*t - 105. Does 21 divide t?
True
Let b(x) = 4*x + 83. Let y be b(32). Let d = y + 53. Is 16 a factor of d?
False
Is 15 a factor of 17074 - 0 - (888/228 + (-12)/(-114))?
True
Suppose -5*s - 716 + 254 = -2*c, 302 = -3*s - 5*c. Let z = 184 + s. Is 30 a factor of z?
True
Let i(s) = 3 - 17 - 29 - 115*s - 3*s. Does 33 divide i(-4)?
True
Let g(h) = h**3 + 54*h**2 - 26*h - 144. Let b be g(-54). Let y = b + 300. Does 15 divide y?
True
Let z(b) = 165*b + 45. Let f be z(-2). Let d = 399 + f. Does 4 divide d?
False
Is (-4 - 2 - 1392/(-261)) + (-15059)/(-3) a multiple of 21?
True
Suppose -2*i + 5*d - 9*d = -4216, 5*i = d + 10496. Does 50 divide i?
True
Let o = 16 - -4. Let c be 45/27 - 2030/(-6). Suppose 0 = -4*h - o, -c = -4*f - 6*h + 2*h. Is f a multiple of 30?
True
Let f be 1/(-21)*-6 - 80/(-14). Suppose -f*x + 10*x = 84. Suppose -3 = x*b - 22*b. Is b a multiple of 3?
True
Let b(z) = z**3 + 4*z**2 + 5*z + 134. Let h be b(-8). Let u = h - -751. Is u a multiple of 21?
False
Let m(o) = 128*o**2 - 19*o - 26. Is m(-6) a multiple of 8?
True
Does 95 divide 1 + 399942/10 - (-23 - (-1508)/65)?
True
Let x be -302*(4 + 36/(-6)). Suppose 4*k + 4*t = x, 9 + 0 = -3*t. Is 11 a factor of k?
True
Let z(k) = 119*k**2 - 4*k - 1. Suppose 34*i - 5 = 39*i. Does 15 divide z(i)?
False
Let u be (-1)/4 + ((-12)/(-16))/3. Suppose 2*r - 7*t - 706 = -8*t, r + 5*t - 362 = u. Is 44 a factor of r?
True
Suppose -i = -3*i + 10. Suppose 4*m + 167 = 2*l - i, 5*m = 2*l - 175. Is 5 a factor of l?
True
Suppose 0 = -11*d + 4*d - 2*d. Suppose d = 2*v - 4*i - 84, -i - 171 = -4*v + 18. Is v a multiple of 13?
False
Let d be (5 - -2) + 5 - 3. Let w be (-24)/(-21)*(d + -2). Is (-4)/(w/9)*14/(-21) even?
False
Does 35 divide (-189)/((-22)/((-202400)/(-30)))?
True
Does 20 divide 14 - (-1864 + 11 + 8)?
False
Let a(t) = t**2 - 9*t + 8. Let b be a(7). Let w(i) = -17*i - 2. Is w(b) a multiple of 30?
False
Let d = 227 - 223. Does 27 divide -55*(392/(-35))/d?
False
Suppose 176*p - 30*p - 1810380 = 94*p. Is 15 a factor of p?
True
Suppose -3*i = -4*i + 2. Suppose 0 = i*u - 5*v - 2, -5 = -3*v + 7. Suppose -u = -12*y + 709. Does 12 divide y?
True
Let t(v) = -622*v - 15. Let s be t(-3). Suppose -2909 = -34*h + s. Is h a multiple of 5?
True
Does 5 divide (-6)/(440/150 - 3/1)?
True
Let d = -735 - -761. Suppose -2*f - 2 + 60 = 0. Let x = d + f. Is x a multiple of 33?
False
Suppose -117 = r - f, r + 2*f + 113 = f. Let g = 1054 + r. Suppose -5*h = 259 - g. Is 42 a factor of h?
False
Let x(a) = 8*a**2 - 31*a + 50. Does 5 divide x(12)?
True
Let a(j) = -8*j**2 - 75*j - 33. Let k be a(-10). Let i(t) = -30*t + 5. Let q be i(-4). Let o = k + q. Does 5 divide o?
False
Suppose 3*c - 18 = 3*l, 5*c - 4*l - 6 = 23. Suppose 25 = 5*o, 0*p - 3*o = -c*p - 30. Let r(z) = 13*z**2 + 4*z. Does 35 divide r(p)?
True
Let m(j) = 5*j**3 - j**2 - 9*j + 1. Let a(u) = -u**3 + u**2. Let d(g) = -4*a(g) - m(g). Let o(x) = 4*x**2 - 61*x - 53. Let h be o(16). Is 3 a factor of d(h)?
False
Let l = -63 + 102. Let o = -36 + l. Suppose 0*h = o*h - 567. Is h a multiple of 27?
True
Suppose -n = 4*z - 22972, 3*z - 12154 = -3*n + 5057. Is z a multiple of 5?
True
Let x be 7 + -3 + 2 - 2. Suppose 317 = m + 5*p, -x*p - 2 = -6. Is 12 a factor of m?
True
Suppose -5*b + 3*z = 72, 4*z + 8 = -3*b + b. Let f(h) = -2*h**3 - 15*h**2 + 28*h - 6. Is f(b) a multiple of 13?
False
Suppose 7*j = 11*j + 3*p - 16453, -5*j + 20547 = p. Does 26 divide j?
True
Let n = -32 + 35. Suppose 5 = f, n*b + 4*f + 24 = 7*b. Suppose 10*h - b*h + 24 = 0. Is 12 a factor of h?
True
Let j be (22/(-33) + 32/3)/(-1). Is 52 a factor of (-6)/7 + j + 146360/70?
True
Suppose -6*o - 1530 = -2*c - 2*o, 0 = -2*o - 4. Suppose -c = -11*f + 3199. Is f a multiple of 51?
False
Suppose -30*n + 28*n = -2*g + 4666, -n - 4671 = -2*g. Is g a multiple of 14?
True
Let z(j) = -j**3 + 38*j**2 + j + 65. Does 5 divide z(36)?
False
Let u(h) = 0*h**2 - 2*h - 3 - 4*h**2 + 3*h**2 - 2*h