10). Is s(o) a multiple of 42?
False
Let t be (-235)/(-8 + 3)*1. Let l = t + -45. Suppose 6*k - v - 313 = 2*k, l*v - 144 = -2*k. Does 14 divide k?
False
Let q = 354 - -330. Is q a multiple of 38?
True
Let c(g) = -1 - 2*g - 72 + 4*g + g + 2*g**2. Is c(-13) a multiple of 13?
False
Suppose 9*x - 4*x - 7 = 2*d, 0 = -2*x + 3*d + 5. Let q be x/((10/155)/(-2)). Let b = q - -53. Is 5 a factor of b?
False
Let h(p) = p**2 - 13*p - 9. Let l = -4 - -7. Suppose 2*a - 46 = 4*k, -l*k - 29 = -5*a + 65. Is h(a) a multiple of 11?
False
Let k(g) = 2*g**2 - 10*g - 13. Let t be k(-2). Is 36 + t/(-9)*-3 a multiple of 8?
False
Let y(j) = 12*j**2 - 9*j - 148. Suppose 230 = -60*t - 430. Is 23 a factor of y(t)?
True
Suppose 0 = a + 3*j - 11940, -39*j = -3*a - 36*j + 35880. Is a a multiple of 15?
True
Let m be 3 - 2*(-1 + -3). Suppose 3*j + 5*p + 4 = m, -8 = 2*p. Suppose -j*c + 140 = -103. Is c a multiple of 27?
True
Is (10344/(-5))/(34/(-45)) - 1184/10064 a multiple of 37?
True
Let i(y) = y**2 - 12*y + 16. Let x be i(14). Let u = 46 - x. Suppose -h = -u*h + 84. Does 6 divide h?
True
Suppose 8*w - 7*w - 5 = 0. Suppose w*v - 11*t = -12*t + 1550, -3*t = -v + 310. Does 11 divide v?
False
Suppose -3*z = -5*r + 10 + 5, 0 = -3*z. Suppose -12 = -2*f + 82. Suppose -4*b + f = -r*y, b = -5*y + 2*y - 7. Is b a multiple of 8?
True
Suppose -h = -3*n + 73587, -11*n + 10*n + 5*h + 24543 = 0. Does 14 divide n?
True
Let a = 207 - 103. Is ((-209)/76)/((-1)/a) a multiple of 22?
True
Let c(h) = -h**3 + 14*h**2 - 9*h - 17. Let y be c(10). Suppose 0 = 5*k - 1433 + y. Suppose 2*x - 152 = -0*x - 2*f, k = 3*x + 4*f. Is x a multiple of 15?
False
Let g(b) = 9*b + 77. Let r be g(-9). Is (402/r*1)/(132/(-352)) a multiple of 67?
True
Suppose 58 = 3*o + 5*d - 31, -4*o + 114 = 2*d. Let g(f) = f**3 + 4*f**2 + f + 7. Let v be g(-5). Does 23 divide v/(o/(-70) + (-1)/(-5))?
True
Suppose -2*a - 3*v + 45 = 0, -3*v = -5*a - 23 + 83. Suppose 2*j + 3*h - 151 = -a, -3*h = -12. Is j a multiple of 12?
False
Let a(i) = 31*i**2 + 37*i + 574. Is a(-20) a multiple of 20?
False
Let z(d) = -1856*d - 170. Let b be z(-7). Is 13 a factor of b/21 - (24/28)/(-2)?
True
Suppose -10085 = -142*c + 137*c. Let x = c + -1294. Is x a multiple of 14?
False
Suppose -5*j + k + 2*k = -4, -j + 4*k + 11 = 0. Does 7 divide (-8*j/3)/((-26)/(-5577))?
False
Let n be 3/4 - ((-5)/20 + 0). Let l be -2 + -1 + 27/n. Does 33 divide (-4 + 8 + 1)*l?
False
Suppose -12 = -3*u - 2*i, 2*i + 7 = u + 11. Suppose 652 = u*p - 102. Is p a multiple of 17?
False
Suppose 109255 = 35*i - 313370. Is 15 a factor of i?
True
Suppose 0 = 21*q - 25*q + 2564. Let o = q - 383. Let r = -180 + o. Does 39 divide r?
True
Let w(i) = -i**2 - 8*i + 21. Let u be w(-8). Let f = 28 - u. Is 2 a factor of (-24)/(-10)*(f - 2)?
True
Let m(t) = -t**2 + 12*t + 88. Let v be m(27). Let g = 464 + v. Does 21 divide g?
True
Let q(j) = -2*j + 16. Let g(x) = 9*x - 63. Let b be ((-12)/10)/(39/(-130)). Let f(t) = b*g(t) + 15*q(t). Is f(8) a multiple of 20?
False
Let r be 18/(-24) - (-2241)/12. Suppose -4*c = -2*s + r, 2*c = -c + 2*s - 142. Let k = -12 - c. Is 4 a factor of k?
True
Let n = -8066 - -12226. Is n a multiple of 13?
True
Suppose -5*r + 50945 = 5*m, 0 = -5*m - 2*r + 15716 + 35235. Is 129 a factor of m?
True
Let m = 434 - 428. Suppose -2*h = q - 1282, m*h - h - 2*q = 3223. Does 20 divide h?
False
Suppose -3*m - 15 = -4*x - 2, x + m - 12 = 0. Suppose x*z = 12*z - 1790. Does 34 divide z?
False
Let t(k) = -79*k**3 + 4*k - 1. Let o be t(-2). Suppose -4*c - 8 = 0, -3*r - 2*c + 6*c + o = 0. Is 16 a factor of r?
False
Suppose 20617*i - 20625*i = -24. Let d(a) = -a**3 + 4*a**2 + 4*a + 7. Let z be d(5). Is (-20 + i + z)*-11 a multiple of 11?
True
Let u(k) = k**3 + 38*k**2 - 13*k. Suppose -16*p = -26*p - 380. Is u(p) a multiple of 8?
False
Let p = 15868 - 11200. Is 15 a factor of p?
False
Let i = 292 - -7123. Is i a multiple of 7?
False
Let r(p) = 36*p**2 - p - 2. Let l be r(2). Let y = 584 - 546. Let v = l - y. Does 17 divide v?
True
Let g(j) = -j**3 - 3*j**2 + 6*j + 75. Does 3 divide g(-8)?
False
Let g(j) = -j + 7. Let s be g(7). Suppose s = -2*p + 4, -2*b - 4*p = -1458. Does 21 divide b?
False
Suppose -7*h = -10*h + 4*h - 68. Is 2 a factor of h?
True
Let h(m) = -26*m + 3. Let p(x) = x**2 + 12*x - 5. Let w be p(-13). Let t be ((-18)/w + 3)/((-3)/24). Is 53 a factor of h(t)?
True
Suppose -8 = -5*t - 2*o, -10*t + 7*t + 3*o - 12 = 0. Suppose 24*f - 5898 - 18294 = t. Is f a multiple of 36?
True
Suppose 20618 = 2*u + u - 12349. Is u a multiple of 9?
True
Suppose 116*d = 23*d + 2217027. Does 13 divide d?
False
Let g(a) = -a**2 - 12*a - 47. Let l be g(-5). Is 1/(5/15)*(-1936)/l a multiple of 29?
False
Let l be (2*1)/((-4)/(-726)*11). Suppose l*s = 8*s + 39600. Does 10 divide s?
False
Suppose 76*o = 172*o - 355680. Does 15 divide o?
True
Let c(o) be the second derivative of -19*o**3/6 + 135*o**2 - 7*o - 13. Is c(8) a multiple of 59?
True
Suppose 34*i - 371 + 99 = 0. Is 758/i - 5/((-20)/(-3)) a multiple of 3?
False
Suppose 4*r = 3*r + 15*r. Suppose r = -3*n + 3*d + 1389, -3*d - 72 = n - 531. Does 33 divide n?
True
Let n = -15123 - -39483. Is n a multiple of 48?
False
Suppose -4*t - 6 = 2. Let r = 7 + t. Suppose -r*s - 265 = -4*c, -3*s + 6 = -3. Is c a multiple of 7?
True
Let k(y) = y**3 - y**2 - 10*y - 16. Let h = -221 + 230. Is k(h) a multiple of 33?
False
Suppose -5861*a + p = -5863*a + 23029, -46044 = -4*a - 4*p. Is a even?
True
Suppose -19*y + 5*y = -0*y - 20272. Is y a multiple of 4?
True
Let y be (-6)/24*(3 - (-3)/(-1)). Suppose y + 32 = 8*q. Suppose 3*a = -q*n + 440, -4*a = n - 38 - 85. Is 10 a factor of n?
False
Let n(v) = -14*v - v**3 + 479*v**3 + 75*v**3 + 7 - 55*v**3 + 5*v + 2*v**2. Is 34 a factor of n(1)?
False
Suppose 0*h + l - 1 = -2*h, -3*l = 3. Let k(u) = 86*u**2 + 4*u - 3. Is k(h) a multiple of 2?
False
Let a = -4591 + 5373. Is a a multiple of 13?
False
Is 42 a factor of 41650/(-30)*324/(-90)?
True
Let r = -64878 - -92262. Is r a multiple of 10?
False
Suppose -4*o + 4*h + 3359 + 1993 = 0, -h = 1. Does 37 divide o?
False
Let x be (-4)/(-26) + 368594/221. Suppose -16*j + 14*j + x = 0. Is 54 a factor of j?
False
Let o(p) = p**3 + 17*p**2 + 2*p + 14. Suppose 0 = -169*d + 172*d - 12. Suppose 33 - 97 = d*j. Is o(j) a multiple of 34?
True
Let w = 4831 - -5013. Is 46 a factor of w?
True
Let n = 258 - 60. Suppose 12*a - n = 3*a. Suppose -314 - a = -3*g. Does 16 divide g?
True
Suppose 52*v + 219 = 39*v - 457. Let o(h) = 28*h - 5. Let d be o(-5). Let t = v - d. Does 31 divide t?
True
Let o = -492 + 742. Let t = o + 171. Is t a multiple of 12?
False
Let y(x) = -13*x**2 - 27*x - 6. Let h(b) = -6*b**2 - 13*b - 3. Let o(c) = -5*h(c) + 2*y(c). Is o(9) a multiple of 29?
False
Suppose -2*a = 2*o - 12, o + 11 = 2*a - 7. Let j(i) = 24*i**2 - 64*i**2 - 16*i + 10 - i**3 + 50*i**2. Is 3 a factor of j(a)?
False
Is 175/(-25) - (-1270 + 2) a multiple of 9?
False
Let l = -30356 + 45813. Is 45 a factor of l?
False
Suppose 4*n + 4*f - 3*f = 35, -4*f = 2*n - 28. Suppose 2*y + 2092 = 4*p + 4*y, 3*p + y - 1568 = 0. Suppose -n*v + p = -2*v. Is v a multiple of 29?
True
Let x(u) = -179*u - 119. Let a(d) = 89*d + 59. Let o(f) = 5*a(f) + 2*x(f). Does 9 divide o(4)?
True
Suppose -42*l + 2408 = -31*l - 14246. Is 6 a factor of l?
False
Let q(u) = -2572*u - 106. Is q(-2) a multiple of 27?
False
Let x(c) = -57*c + 178. Let q be x(3). Let r(v) = -6*v**3 + 4*v**2 - v + 5. Let w be r(-5). Suppose -w = 2*k - q*k. Does 38 divide k?
False
Let s(c) = -c**2 + 11*c - 1. Let k be s(11). Let z be (9 - 9) + (-1 + k)/(-1). Let o(x) = 5*x**3 - 2*x**2 + 4*x - 2. Does 33 divide o(z)?
False
Is 33 a factor of -10*(-42)/140 - (1 - -3 - 34037)?
False
Suppose -5*u + 2181 = b, 2*u - 2*b = -2*u + 1742. Let g = u - 319. Is g a multiple of 9?
True
Let u = -391 - -575. Let r = u - 52. Is 15 a factor of r?
False
Let z be (-114)/(-10) + (-81)/(-135). Suppose z*a - 1440 = 6*a. Suppose -4*t = 4*k - a, -6*t - 10 = -4*t. Is k a multiple of 9?
False
Let b(s) = 241*s + 738. Does 32 divide b(11)?
False
Let r(d) = 17*d**3 - 4*d**2 - 16*d + 155. Is r(5) a multiple of 21?
True
Suppose 8*z + 50*z - 222430 = 0. Does 2 divide z?
False
Let z(i) = 2*i**3 + 146*i**2 + 105*i + 57. Is z(-69) a multiple of 100?
True
Suppose 5*i - 193 = -4*s + 4582, 0 = -2*i + 6. Suppo