5*d - 5. Let m be q(6). Let x be (2 - 4) + 1 + m. Suppose x*u + u = 144. Is u a multiple of 19?
False
Suppose 3*q - c = 11133, -9*q = -4*q - c - 18559. Is 79 a factor of q?
True
Suppose 0 = -4*k - 2*n + 6992, -5*k + n + 7143 = -1583. Suppose -5*y = -78 + 13. Suppose -y*q + k = -4*q. Is 32 a factor of q?
False
Let p(w) = 1057*w + 877. Does 22 divide p(3)?
True
Let s = -463 + 643. Does 25 divide s?
False
Suppose -86350 = 151*u - 156*u. Does 7 divide u/130 - 2/(-13)?
True
Let k = 1149 - -9556. Is 11 a factor of k?
False
Let a = -9 - -6. Let m be (a/(-2))/((-3)/246). Is 8 a factor of m/2*(-8)/12?
False
Suppose -326*z + 2145874 + 2438648 = -133*z. Does 207 divide z?
False
Let d = 3534 + 3588. Suppose 249*f = 243*f + d. Is f a multiple of 9?
False
Let j be 34/(-9) + 4/(-18). Let p be (-2 + 7)*(3 + j). Is 33 a factor of (p/(-30)*3)/(1/198)?
True
Let k = -23 + 25. Suppose 4*i - k = 6. Suppose m - 4 = d, -i*m - 2*d + 2 = -6. Is 4 a factor of m?
True
Is 149/(-298) - ((-4245)/2 - 0) a multiple of 27?
False
Suppose 1669333 + 1255551 = 138*q + 415906. Does 149 divide q?
False
Suppose 0 = -3*d + 10*d - 497. Let s = d - -26. Suppose 5*w - 677 + s = 0. Is w a multiple of 11?
False
Let q(n) = -3*n**2 - 195*n + 72. Is q(-45) a multiple of 97?
False
Suppose -88*u + 86*u + 3*t = -5561, -5*t - 2784 = -u. Does 101 divide u?
False
Does 35 divide (799/2397)/(2/270834)?
False
Suppose -5*j - 4*l + 57 = 0, -4*j - 3*l - 27 = -8*j. Suppose -j*v + 5*v = -332. Suppose 0 = 4*f - 587 + v. Does 21 divide f?
True
Let f = -70 - -5. Let p = 2450 - 2340. Let d = f + p. Is 15 a factor of d?
True
Suppose 0 = 136*n - 4624 - 747002 - 950550. Does 6 divide n?
True
Let l(x) = 3*x**3 + 3*x - 25*x + 10 - 2 - 47*x**2. Let d(m) = -m**3 + 16*m**2 + 7*m - 3. Let j(t) = 8*d(t) + 3*l(t). Is 14 a factor of j(14)?
True
Let y(m) = 65*m**2 + 20*m + 1. Let q be y(3). Let w = q + 93. Is 33 a factor of w?
False
Suppose -s - 1344 = -3724. Is s a multiple of 17?
True
Suppose 0 = -6*y + 2*y + 752. Let f = y - 76. Suppose 0*r + f = 2*r. Is 7 a factor of r?
True
Let q = -250 + 784. Let l be 2/23 + 1695/345. Suppose -q = -l*r - r. Is r a multiple of 23?
False
Let w(l) = 16*l**3 + 11*l**3 - 10*l - 28*l**3 - 6 - 6*l**2. Is 15 a factor of w(-6)?
False
Let q(r) be the second derivative of r**5/20 - r**4/3 - 8*r**3/3 + 23*r**2/2 - 91*r. Does 34 divide q(10)?
False
Suppose 3*b - 2*x - 15181 = 0, 5*b - 1548 - 23752 = 5*x. Is 26 a factor of b?
False
Suppose 2*h - 10 = 0, 2*h + h = 4*g - 305. Suppose -g = -m + 60. Is 3 a factor of m?
False
Let m(s) = s**3 + 3*s**2. Suppose 8*u + 26 = 10. Does 2 divide m(u)?
True
Let i(v) = -v**3 + 6*v**2 + 10*v - 17. Let m be i(7). Suppose -m*a + 18 = -10. Let u(k) = 3*k**3 - 21*k**2 + 9*k + 3. Does 11 divide u(a)?
True
Let o be -4 - ((-15)/3 - -4). Is o - (-6 + -706 + 5) a multiple of 44?
True
Let t be (-2)/(-1) - (-1 + -1 - -1). Suppose 3*a - u - 18 = 4*u, 0 = -t*a + 2*u + 18. Suppose a*i - 96 = 576. Is 16 a factor of i?
True
Let b(i) = -i + 1. Let n(q) = -4*q + 2. Let w(p) = -b(p) - n(p). Let u be w(2). Is 2 a factor of ((-54)/u)/3*14/(-3)?
True
Suppose -112644 = -4049*l + 4021*l. Is l a multiple of 149?
True
Let c(p) = -p - 2. Let x be c(-12). Let u be (x - 9)*(-2 - -1). Is u*(0 + -157 - 1) a multiple of 37?
False
Let x(r) = -2*r + 1. Let z be x(-4). Let d(y) = 56*y**3 - 6*y**2 - 12 + 4*y - 26*y**3 - 4*y - 12*y - 29*y**3. Is d(z) a multiple of 41?
True
Let v be 3*1/(-2)*(-110)/33. Suppose -4*c - 471 = v*m - 1375, 4*c + 896 = 5*m. Does 9 divide m?
True
Suppose 25337 + 25609 = 2*r. Is ((-110)/38 - -3) + r/57 a multiple of 25?
False
Let l(c) = -3*c**2 - 460*c - 1546. Does 27 divide l(-145)?
True
Let v(p) = -2*p**2 + 17*p + 9. Let g be v(9). Suppose 5*f + 5*d = -g*f + 85, 2*f - 2*d - 50 = 0. Is 16 a factor of 227/1 + (-63)/f?
True
Suppose -621*n + 3*i = -622*n + 10060, 30212 = 3*n + 5*i. Does 117 divide n?
False
Suppose -2*s = 3*s - 10. Suppose -79*y + 15*y = -512. Does 4 divide 17 + 3 - y/s?
True
Does 8 divide -3 + 57008/(160/10)?
True
Suppose -12*v - 13 = 11. Is (-2 - v - -1) + (-5 - -268) a multiple of 8?
True
Let n = 250 - 248. Suppose -649 - 247 = -n*p. Does 32 divide p?
True
Let q(v) = 516*v - 354. Is 90 a factor of q(19)?
True
Let g(m) = -19*m + 116. Let i be g(0). Suppose -i*k = -126*k + 5920. Is 11 a factor of k?
False
Let l = -67734 + 100645. Does 17 divide l?
False
Let x be (-2198)/(-56) - 2/8. Let b(m) = -2 + x*m**2 + 11*m - 9*m - m. Is b(1) a multiple of 19?
True
Suppose 0 = 4*j - 4*g + 17 + 179, 107 = -3*j - 5*g. Does 44 divide j/((-196)/32 + 6)?
True
Let v = 43 - 52. Let l be ((-6)/v)/(2/9). Suppose 2*a - l*j - 26 = -j, -5*j + 20 = 0. Does 3 divide a?
False
Let a be 2 - (-5)/((-3)/(-2) - 4). Suppose -d - 2*d - 5*n - 2278 = a, -5*d + 3*n - 3740 = 0. Let p = -512 - d. Is p a multiple of 8?
False
Does 55 divide (-80)/40*(-12100)/8?
True
Let w be 13/(-3) - (-11)/33. Let z be (-2)/(-3) + (6320/(-15))/w. Suppose -4*h + 3*h + k = -z, 0 = -4*h - 5*k + 415. Is 15 a factor of h?
True
Let c(l) = -26 + 18 + 3*l**3 + 5*l**2 + 6. Let g be c(-2). Is (2 + 8/g)*24 a multiple of 15?
False
Does 9 divide (33/(-12) + 3)/(94/11942888)?
False
Suppose -37*h - 36 = -40*h. Let r be 0/(-41) + (-1)/((-2)/h). Suppose 4*f = r*f - 192. Is f a multiple of 11?
False
Let d(m) = -m**3 - 7*m**2 + 10. Let l be d(-7). Let b(p) = -18*p + 16*p**2 - 14 - l*p - 17*p**2 - 8. Is 13 a factor of b(-21)?
False
Suppose 5*q = 3*f - 37333, -q = 3*f - 38051 + 712. Is 90 a factor of f?
False
Let i = -272 + -363. Let x be i*((-168)/(-20))/3. Is 5 a factor of 2/(-5) - x/70?
True
Let g(w) be the first derivative of 3*w**2/2 + 31*w - 28. Let f be g(-9). Is 11 a factor of (-552)/(-8) + 3/(-3) + f?
False
Suppose -77*q - 80 = -57*q. Let u(p) = -5*p**3 + 6*p**2 + 9*p + 13. Is u(q) a multiple of 6?
False
Let f(b) = b**3 + 27*b**2 + 12*b + 25. Let k be f(-14). Suppose 889 = 18*g - k. Is g a multiple of 17?
False
Let s(h) = 2*h**3 + h**2. Let a(y) = -4*y**3 + 5*y**3 - 8*y**2 + 18 - 7*y + 5*y. Let g be a(8). Does 10 divide s(g)?
True
Let c = 197 + 10. Let g be ((-1)/(-3))/(3/c). Suppose 18*i = g*i - 125. Is 5 a factor of i?
True
Suppose 1045787 - 273389 = 60*n - 192462. Is 48 a factor of n?
False
Let p(h) = -3*h**2 - 2*h + 1. Let n be p(1). Let u(z) = z**3 - 46*z**2 - 96*z - 48. Let y be u(48). Does 11 divide n/(y/(-2538))*(-8)/6?
False
Let s = 22 - 20. Suppose s*v - 330 = -0*v - 4*b, 2*v - 285 = 5*b. Suppose -2*i + 15 = -v. Is 16 a factor of i?
False
Is 4293/(-6)*(-280)/105 a multiple of 53?
True
Let r(p) = -2*p**3 - p**2 + 5*p. Suppose -9*w = -10*w - 3. Let v be w + 1 + 2 - (3 - 0). Does 10 divide r(v)?
True
Let t(b) = 47*b**3 - 27*b**2 - 3*b + 18. Is 18 a factor of t(6)?
True
Suppose 0 = 3*s + 2*x - 16217, -23*s + 18*s + 5*x + 27020 = 0. Does 22 divide s?
False
Let g = -815 - -359. Let h(d) = -99*d - 9. Let k be h(-7). Let y = k + g. Is y a multiple of 38?
True
Suppose n = -0*n + 3*t + 4045, -11*t + 12155 = 3*n. Is 16 a factor of n?
True
Does 149 divide (68085/(-68))/(-15)*(-544)/(-6)?
False
Suppose -14 = -2*n + 5*r, 8*n - 1 = 3*n + 4*r. Suppose 5*g - y = 504, 0 = 4*g + 2*y - 213 - 179. Let i = g + n. Is i a multiple of 11?
False
Suppose -5*d + 2*z + 2806 = 0, -2*d + 5*z - 4*z + 1123 = 0. Is 4 a factor of d?
True
Suppose 5*w + 638 + 44 = -3*u, -220 = u - 2*w. Let d = u + 314. Does 3 divide d?
True
Let b(a) = -3*a - 8. Let f be b(-4). Suppose -3*r + 4*i = -2687, -3*i = -f*r + 558 + 3013. Is r a multiple of 77?
False
Let j = 398 + 1408. Does 6 divide j?
True
Let p = 4887 + -4519. Is p a multiple of 2?
True
Suppose 13*p - 3 = 16*p + 12. Let m(f) = -315*f**3 - f**2 - f - 1. Let t be m(-1). Does 36 divide p + 8/4 + t?
False
Let o(r) = r**3 - 11*r**2 - r + 14. Let v be o(11). Suppose -4*m = -v*m. Suppose m = -11*p + 14*p - 60. Does 10 divide p?
True
Let b = -903 + 1397. Let j = b + -296. Does 18 divide j?
True
Suppose 2*l - 9823 = 4537. Is l a multiple of 5?
True
Suppose -2*t + 62 = 4*d, 3*d - 2*t - 42 = -d. Suppose -4*w - d = 11. Is ((-75)/w)/(1/4) a multiple of 12?
False
Let c = 60 + -29. Suppose c = -5*t + 6*t. Suppose 65 = 2*a - t. Is a a multiple of 12?
True
Suppose 523379 = 95*f - 66571. Is 69 a factor of f?
True
Let s(u) = 162*u - 107. Is s(12) a multiple of 21?
False
Suppose 0 = -79*a + 75*a + 940. Let h = -4 + a. Is h a