ose -2*r = -3*s + 51, 3 = 2*r - r. Suppose 5*o - s = g + 1, 4*o - 15 = g. Suppose -83 - 132 = -o*v. Is v a multiple of 14?
False
Suppose 0 = 2*d - z - 110, 14 = 2*z + 6. Suppose d*g - 1377 = 40*g. Does 5 divide g?
False
Let k be 10/(-3)*(-3)/2. Let d(z) = z**2 + 11*z + 25. Let j be d(-16). Suppose 0*h - k*h = -j. Is h a multiple of 7?
True
Does 18 divide 9/6*592/222 + (-389)/(-1)?
False
Let p = -29654 + 34736. Does 23 divide p?
False
Let s(k) = 9*k - 27. Suppose 4*j + g = 13, -5*j - g = 2*g - 11. Is s(j) a multiple of 5?
False
Let h be (1 + 3 - 10) + -1. Let y = h + 7. Suppose -8*d + 126 + 482 = y. Does 29 divide d?
False
Let x = -147 + 125. Let o(k) = -42*k + 131. Does 29 divide o(x)?
False
Let w = 493 + 662. Is 55 a factor of w?
True
Let z = -4012 - -8306. Is 38 a factor of z?
True
Let t(s) = 560*s**3 + 2*s**2 + 3*s + 1. Let u be t(-1). Is ((-2)/(-4))/(4 - (-2233)/u) a multiple of 4?
True
Suppose -3*f - 2797 = -2*v, 25*v = 30*v - f - 6986. Does 13 divide v?
False
Let d(a) = -a + 1. Let v(r) be the first derivative of -r**4/4 - 3*r**3 + 5*r**2 + 11*r + 23. Let t(y) = 2*d(y) + v(y). Is 11 a factor of t(-10)?
True
Does 4 divide (-18280)/(-36) - 38/(-171)?
True
Is 19 a factor of ((-29)/(-87))/((-2)/(-14904))?
False
Let v = 4134 - 3338. Is v a multiple of 6?
False
Suppose 44 + 22 = 6*z. Let j = -7 + z. Does 5 divide 4 + (64 - (2 - j))?
True
Is 6/9 - ((-2401588)/42)/14 a multiple of 64?
False
Let k = 1382 - -620. Does 26 divide k?
True
Suppose -g + 2*g + 5*m = 5931, g - 5971 = 5*m. Suppose g + 2349 = 25*i. Is 20 a factor of i?
False
Let i(x) = -18*x**3 - 6*x**2 + 86*x + 529. Is 29 a factor of i(-6)?
False
Suppose -8*k - 1172 = -4*k. Let z = -145 - k. Let r = -98 + z. Does 7 divide r?
False
Let p(l) be the first derivative of -l**3/3 - 9*l**2/2 - 13*l - 39. Let n be p(-4). Suppose -3*d = -n*d + 580. Is 32 a factor of d?
False
Let m be (2 - 4)*((-30)/4)/3. Suppose m*z - 57 = 483. Is 37 a factor of z?
False
Suppose 973976 + 276007 = 69*w - 647724. Is w a multiple of 7?
True
Let t be ((-52)/3)/(1*(-10)/15). Let g(v) = 12*v + 9. Is g(t) a multiple of 22?
False
Suppose -5*y + 5*x + 76 = 51, -4*x - 20 = 4*y. Suppose y*b + 5502 = 14*b. Is 11 a factor of b?
False
Let n = 1178 + 17060. Does 46 divide n?
False
Let r be (-596)/(-12) + 1/3. Let i = 52 - r. Suppose 54 = d + i*d. Is 7 a factor of d?
False
Let t = -2552 + 4308. Does 8 divide t?
False
Let m be -2*(2 - (0 + 6)). Suppose -4*a - m - 6 = r, 0 = 4*a + 16. Suppose -q + 68 = r. Is q a multiple of 11?
True
Let c(h) = h**3 + 8*h**2 + 36. Let i be c(-5). Suppose 124*z - i*z - 2483 = 0. Is z a multiple of 7?
False
Suppose j + 36 = 4*j. Let l = -9 + j. Suppose l + 14 = n. Does 9 divide n?
False
Let m(v) = -v**3 + 17*v**2 - 12*v - 32. Suppose -58 = -f - 42. Is m(f) a multiple of 2?
True
Let c = 682 - 326. Let q = c - 32. Does 6 divide q?
True
Suppose 50*i + 74646 = 122*i - 46*i. Does 11 divide i?
True
Let x(u) = -280*u + 1120. Is x(-58) a multiple of 31?
True
Let w(l) = -l**2 + 7*l - 8. Let d be w(4). Suppose -d*b - 1520 = -8*b. Suppose 5*y + 4*i - 642 = 0, y - 4*y - 5*i = -b. Does 10 divide y?
True
Suppose -20 = -3*n - 14. Suppose -3*b + 2*g = -13, 3*b + 3*g - n - 16 = 0. Suppose -6*w - 39 = -2*c - 3*w, -b*c + w + 130 = 0. Is c a multiple of 19?
False
Let t(g) = -9*g**2 + 41*g - 359. Let p(s) = -10*s**2 + 43*s - 357. Let v(j) = 3*p(j) - 4*t(j). Does 93 divide v(15)?
False
Suppose -4*z + 8*l - 5*l = -8, 4*z + 3*l - 32 = 0. Suppose -z*u = 3*t - 3460 - 2453, 0 = 3*u - 2*t - 3563. Is u a multiple of 33?
False
Let j be (-3575)/209 - (-2)/19. Let y(x) = -31*x + 31. Is y(j) a multiple of 31?
True
Suppose 2 = -23*q + 2. Suppose 3*m - 15 = q, 3*m - 8*m = -d + 93. Is 36 a factor of d?
False
Suppose 23433 = 31*a - 21796. Suppose 4*q + 5*z = a, -4*q - 16*z + 14*z + 1462 = 0. Is 11 a factor of q?
False
Let g(o) = -o**3 - 16*o**2 - o + 2. Let u be 3*4/24*6. Suppose -12 = u*n + 36. Is g(n) a multiple of 4?
False
Is 6 - ((-247935)/(-10))/(-3) - (-6)/(-4) a multiple of 20?
False
Suppose 336*r - 388*r + 249444 = 0. Is 6 a factor of r?
False
Suppose 36*s - 41*s = -3*v + 60794, 3*v - 60738 = -3*s. Is 157 a factor of v?
True
Let l = -240 - -257. Does 5 divide (-121 - -1)/(-3) + (-17)/l?
False
Suppose 15*s + 24 = 84. Suppose 14*a - 10*a + s*o = 1188, 2*a + 4*o - 586 = 0. Is 18 a factor of a?
False
Let s be 0 + 12/8 - 15/2. Is 41 a factor of (-4059)/s*4/6?
True
Let u = 9 - -8. Suppose -u*g = -9*g - 32. Suppose -6*r + g*r + 330 = 0. Does 33 divide r?
True
Let l(m) be the first derivative of 12*m**2 - 9*m - 3. Let r(h) = h - 21. Let i be r(26). Does 8 divide l(i)?
False
Suppose w - l = -2*l + 3, 2*l + 2 = 2*w. Suppose 3*o - 2*r = -16, -3*o + 0*r - 8 = 2*r. Is w/8 - (4 - (-367)/o) a multiple of 7?
False
Suppose -4 - 20 = 2*i. Let q = -12 - i. Suppose -5*u - o = -41, -5*u - 4*o - 4 + 33 = q. Is u a multiple of 2?
False
Let v(q) = -q**3 - 4*q**2 - 3*q. Let p be v(-3). Suppose s = 3*n - 6, 6*n - 5*n - 3*s - 2 = p. Is 40/n - (-3 - -5) a multiple of 13?
False
Suppose 4*a + 36 = -8*a. Let c(d) = -5*d - 17. Let i be c(a). Is 28/1 - 0*i/(-4) even?
True
Let b(y) = -4*y - 29. Let s be b(-8). Is 2 a factor of 4/s - 2006/(-102)?
False
Suppose 7*l - 11724 + 2624 = 0. Suppose -12*h + l - 508 = 0. Is 6 a factor of h?
True
Suppose 362043 = 31*f - 8*f. Is 159 a factor of f?
True
Let c(w) be the third derivative of -43*w**4/24 + 9*w**3/2 - 15*w**2 - 24. Let t(y) = -y - 1. Let p be t(2). Is 34 a factor of c(p)?
False
Let s(g) = -g**3 + 5*g**2 + 13*g - 42. Let f be s(6). Suppose f = -9*a + 2076 - 591. Is a a multiple of 6?
False
Let y(m) = m**2 + 17*m + 18. Suppose -4*n = -2*o + 80 - 14, -5*o + 69 = -4*n. Let z be y(n). Does 36 divide 9/(9/z) - -124?
False
Let o(w) = 2*w**2 - 2*w + 8. Let c be (-500)/12 + 8/(-6). Let u = 47 + c. Is o(u) a multiple of 16?
True
Suppose 3*j - 29 = -4*s, 3*s = 3*j - 2*s - 11. Suppose j*y = 14*y - 588. Does 29 divide ((-9135)/y)/((-6)/16)?
True
Let l(y) = 5*y + 51. Let p be l(12). Let u = 212 - p. Suppose -4*w + 3*j + 187 = 8*j, 5*j = 2*w - u. Does 24 divide w?
True
Let v be (-8)/32 + 15025/20. Let u = 1171 - v. Is u a multiple of 35?
True
Suppose -5*k - 6*j = -2*j - 33, -5*k = -3*j - 19. Does 44 divide ((-4)/(-5))/((-2)/k)*-198?
True
Let h(g) = 2*g**3 + 12 - 3*g**3 + 4*g - 3*g**2 + g**2. Suppose 3*a + 15 - 41 = 4*d, 3*d + 3*a = -9. Does 16 divide h(d)?
False
Let a(f) = -2*f**2 - 16*f. Let x be a(-8). Suppose -h = -3*c + 8, 2*c = -x*c + h + 4. Is 100 - (0 + c - 4) a multiple of 25?
True
Let d be (10 - 0)*(-10)/(-25). Let f be (10/6)/(d/384). Let c = -63 + f. Is c a multiple of 6?
False
Let f be (4/(-5))/((-8)/20). Suppose j = f*j + 2. Does 12 divide (4 + j - 0) + 38?
False
Let k be (105/2)/((-2)/(-24)). Suppose 6*t = -3*t + k. Suppose -c = c - t. Is 16 a factor of c?
False
Suppose -4*i - 5*q = -0*q - 13, 0 = -4*q + 4. Suppose 3*u + 3*w - 8*w = 10, 2 = 5*u - w. Suppose u = i*l - l + 2*v - 183, -3*v = 5*l - 880. Does 15 divide l?
False
Suppose 3*n + 4*q = 7372, 3*q = n + 4*n - 12306. Is 5 a factor of n?
True
Let t(f) = 3*f + 183*f**2 + 29 - 368*f**2 + 137 + 183*f**2. Is 5 a factor of t(0)?
False
Let u = 140 + -138. Is 90 a factor of 198/18*(44/u + -1)?
False
Let w = 383 - -139. Is w a multiple of 9?
True
Suppose -11*g = -19*g + 24. Suppose x = -2, -4*t - x = -g*x - 1208. Is 12 a factor of t?
False
Suppose -4*u = 5*u. Suppose 3*g + g + 220 = u. Let h = 110 + g. Does 55 divide h?
True
Suppose 5*n - 3*s = -4*s + 1, 0 = -3*n + 4*s - 4. Suppose -110 = -2*d + 5*b + 48, 0 = -5*d - 4*b + 362. Suppose n = -9*q - d + 308. Is q even?
True
Let v = -83 + 172. Let t = -81 + v. Is t a multiple of 4?
True
Suppose -5*g - 64 - 131 = -5*r, 0 = -2*r - 5*g + 113. Let k be (-9)/12 - (-165)/r. Let z = k - -36. Does 6 divide z?
False
Suppose 2502 = 10*a - 1118. Suppose u + 3 = 6. Suppose 0 = u*f + 4*w - 3*w - a, -3*f = 3*w - 366. Is f a multiple of 40?
True
Suppose 3*i + 2*n = 3234, -147 = -4*n - 159. Is i a multiple of 27?
True
Suppose -3*y + 7 = -2. Let b be 99/(-2)*(y - 1). Is ((-270)/(-81))/((-2)/b) a multiple of 33?
True
Suppose 22*p - 22 = 66. Is p/8 + 3970/20 a multiple of 58?
False
Let j be (2/(-5))/(31/(-155)). Suppose 3*h + 1000 - 3775 = -j*t, 4*t + 5*h - 5547 = 0. Is 27 a factor of t?
False
Suppose 0 = 3*z - 5*a + 370, -5*a + 130 = -4*