 Let s = -58 - u. Is s a multiple of 4?
False
Let q be -2 - (-6 - (-2)/1). Is 22 a factor of q + 19 + (-4)/(-1) + -3?
True
Let f(b) = -b + 10. Let n(z) = -2*z + 5. Let g be n(5). Let d(l) = -1. Let p(x) = g*d(x) + f(x). Does 6 divide p(9)?
True
Suppose 120*r - 863575 = -35*r + 150125. Is 12 a factor of r?
True
Is 61 a factor of (-2)/(0 - 71991/287676 - 1/(-4))?
True
Let t = 3 - 1. Let f = 1398 - 1391. Suppose -3*n + 75 = -t*s + f*s, 29 = n + 3*s. Is n a multiple of 4?
True
Suppose -5*f - 10 = -35, 0 = -4*n + 4*f. Let k(d) = -d**2 + 5*d - 4. Let t be k(3). Suppose -b - 151 = -5*c + 2*b, t*b + 149 = n*c. Does 14 divide c?
False
Let s = -17354 + 18807. Does 15 divide s?
False
Is -3 - -2 - (26 + -23)*-2*1497 a multiple of 25?
False
Is (-1*197)/1*(-10 - 33 - -17) a multiple of 13?
True
Is 19 a factor of (-4348)/((323/68)/(-19))?
False
Let g = 10060 + 504. Is g a multiple of 9?
False
Suppose 2*o = 3*a - 2, 5*o + 2*a = 6*a + 9. Suppose 2*s = o*m - 141, -m = -2*s - 0*s - 33. Suppose 2*z + z = m. Does 3 divide z?
True
Suppose -5*m + 2*v + 0*v = 0, 2*m - 29 = -5*v. Suppose 0 = -5*h + 5*i + 305, i = 5*h + m*i - 317. Let n = 117 - h. Does 6 divide n?
True
Let q = -25158 + 38748. Is 151 a factor of q?
True
Suppose 4*w - 30 + 2 = 0. Is 11 a factor of (-2)/w - 19818/(-126)?
False
Let a = -5589 + 8484. Let u = a + -1663. Is 88 a factor of u?
True
Suppose 363735 = 125*v - 465890. Does 111 divide v?
False
Let z(w) = -11*w + 66. Let u be z(5). Suppose 3740 = u*n - 1111. Is 21 a factor of n?
True
Suppose 4*o = 3*s - 1193, 5*o = -5*s + 639 + 1396. Let m = s + -131. Does 17 divide m?
True
Let d = -53 - -56. Let i be (2090/(-33))/((-2)/d). Let y = i - 62. Does 25 divide y?
False
Let o be (7 + (-115)/15)/(2/(-5928)). Suppose -27*t + o = -373. Is 45 a factor of t?
False
Let s = 7857 - -4967. Does 8 divide s?
True
Let x(j) = -j + 10. Let u be x(6). Suppose -u*f = -9*f + 260. Does 6 divide f?
False
Let c be (280/25)/((-9)/(-2655)). Let s = -2352 + c. Does 17 divide s?
True
Let y(b) = -b**3 - 7*b**2 + 7*b - 8. Let i be y(-8). Suppose -2*x - 3*m + 6 = i, 8*x - 3*x - 65 = 5*m. Is x*3 + -6 + 10 a multiple of 16?
False
Does 24 divide (-68)/136*-260*12?
True
Let j(l) = l**3 - 4*l**2 + 9*l - 5. Let b be j(2). Suppose 0*k - b*k - 101 = -2*a, 0 = -5*a + k + 310. Is a a multiple of 4?
False
Suppose 20*y - 23*y + 19753 = 4*v, -32896 = -5*y - 3*v. Is y a multiple of 73?
False
Suppose -i = x - 1581, 12*i + x - 6333 = 8*i. Is i a multiple of 24?
True
Let f = 3294 + 3537. Is f a multiple of 173?
False
Let p = 29 - 39. Is 23 a factor of (-3 - 15/p)/(1/(-46))?
True
Let b(j) = 208*j**2 + 24*j + 26. Is b(-1) a multiple of 70?
True
Suppose -49*k = 57766 - 369859 + 11870. Is k a multiple of 83?
False
Suppose 3*i + 2*n - 22827 = 0, 102*n = 2*i + 101*n - 15211. Does 99 divide i?
False
Let x = -1159 - -39213. Is 177 a factor of x?
False
Let g be (3 + 11/(-3))/((-4)/18). Suppose 0 = -g*d + 2*a + 1100, 0 = 3*a - 0 - 6. Suppose 7*o - 3*o = d. Is 12 a factor of o?
False
Suppose 311*x - 123*x = 1148868. Is x a multiple of 75?
False
Suppose -757004 - 139579 = -41*s + 51009. Is 24 a factor of s?
True
Suppose -96 = -39*m + 21. Suppose 2260 = 2*k - 4*f, m*f + 5671 = 3*k + 2*k. Is k a multiple of 28?
False
Suppose 3*m + 8*b - 17445 = 6*b, m = -b + 5816. Is m a multiple of 95?
False
Suppose -44*c - 581 = -43*c. Let m = 999 - c. Is m a multiple of 10?
True
Let k(h) = h**2 - 8*h + 8. Let s be k(8). Suppose 12*p = s*p + 8. Suppose i - 2*r - 193 = 0, p*i + 0*i + r - 396 = 0. Is i a multiple of 18?
False
Suppose 7431 + 5270 = 13*c. Suppose -10*i + c = -1333. Is 21 a factor of i?
True
Let u = -18603 + 79517. Is u a multiple of 266?
True
Let u(t) = 82*t**2 - 10*t - 30. Let g(j) = 83*j**2 - 12*j - 38. Let y(q) = -4*g(q) + 5*u(q). Suppose -m + 5 = 0, -w - 4 = -0*w - m. Does 24 divide y(w)?
False
Suppose 0 = -35*z + 356732 + 32188. Is 12 a factor of z?
True
Suppose -36070 = -9*n + 91024 - 37346. Is n a multiple of 40?
False
Suppose -605226 = -207*i + 188826. Does 19 divide i?
False
Let c be -3*1*(-3)/3. Suppose 0 = 3*k - 2*k + c*a - 28, -3*k = a - 116. Suppose 0*o = -4*o + k. Is o even?
True
Let b = -807 + 285. Let u = b - -1138. Does 11 divide u?
True
Let p = 1651 + -676. Suppose -t = i + 4*t - p, -3805 = -4*i - t. Does 8 divide i/60 + 2 + 11/(-6)?
True
Let c(l) = l**2 - 15*l + 55. Let r be c(5). Suppose -917 = -2*p - 3*o, 3*p = -p + r*o + 1779. Is 21 a factor of p?
False
Suppose 3*d = -2*g - 286, d = 3*g + g + 600. Let a = g + 153. Let b(n) = 2*n**3 - 5*n**2 - 6*n + 13. Is 10 a factor of b(a)?
False
Let k = -5303 + 5963. Does 44 divide k?
True
Suppose 3*g - 2*l - l = 1347, 3*g - 2*l = 1346. Suppose -181 = 3*n - g. Let p = n - 55. Is p a multiple of 5?
False
Let l(n) = -4*n**3 - 21*n**2 - 4*n - 17. Let v(d) = 3*d**3 + 21*d**2 + 4*d + 16. Let o(u) = 4*l(u) + 5*v(u). Is o(21) a multiple of 12?
True
Suppose -2*x + 9*h - 4*h = -807, -2*h - 1590 = -4*x. Is x a multiple of 18?
True
Suppose -4*t + 5*w + 506 = 0, w = t - 159 + 33. Suppose -121*i - 36 = -t*i. Does 4 divide i?
True
Let g be (56/16)/(1*(-3)/462). Let q = 783 + g. Does 18 divide q?
False
Suppose 0 = -7*d + 23*d + 32. Is 47 a factor of -3*d/(-12)*-1076?
False
Let w(n) = 106*n**3 - 12*n**2 - 50*n + 113. Is 24 a factor of w(6)?
False
Suppose a + 0*r - 2*r = 410, -2*r - 1634 = -4*a. Suppose -4*t + t = -4*u - a, -2*t + 277 = -u. Suppose t = 6*g - 22. Is 9 a factor of g?
True
Let k(u) = 8*u**3 + 4*u**2 + 47*u - 260. Is 2 a factor of k(5)?
False
Suppose -64744 = -72*a - 3832. Is a a multiple of 94?
True
Suppose -56*s + 58*s = -2*q + 4514, 2*q - 2258 = -s. Is 3 a factor of s?
True
Let x(u) = -u - 10. Let k(g) = -5*g - 39. Let q(l) = -2*k(l) + 9*x(l). Let z be q(12). Suppose -4*v + 3*v - 3*m + 40 = 0, z = -v + m + 44. Is 25 a factor of v?
False
Let q be (-507)/(-4) - (-7)/28. Suppose 125*o = q*o - 172. Does 4 divide o?
False
Suppose -36*v = -32*v + 6732. Is 8 a factor of ((-88)/6)/((-11)/(v/(-6)))?
False
Suppose -3 = -21*i + 60. Does 8 divide 9750/45 - (-1)/i?
False
Suppose -3*m + 49*m - 61728 = 22958. Does 4 divide m?
False
Suppose 12 = p - 2*b + 6, -3*b = 6. Is (-86740)/(-120) + p/12 a multiple of 39?
False
Let p = 324 - 202. Let l = -102 + p. Is l a multiple of 3?
False
Let j = -428 + 619. Suppose -a - 59 = 3*q, q - 3*q = 3*a + j. Let u = -43 - a. Is u a multiple of 6?
False
Suppose -11360631 = -262*o + 136*o - 337*o. Is o a multiple of 92?
False
Suppose -2*c - 4*t - 22 = 0, 3 = -3*t - 9. Let r = -103 - -99. Is 11 a factor of 29/1 + c + r?
True
Suppose -5*c = 5*p - 5, 2*c = -p + 2 - 5. Let m be (1 - 6/c)*-10. Let v = 33 - m. Does 43 divide v?
False
Let k = 4775 - 1059. Is k a multiple of 60?
False
Suppose -6*t + 2*t = -t. Suppose -4*k - 5*u + 33 = 0, t = 4*k - 4*u - 5 + 17. Suppose 6 = -0*f + 2*f, k*x - f = 309. Does 26 divide x?
True
Let m(u) = -12*u**2 - 36*u + 27. Let j(h) = -h**2 + h - 1. Let p(f) = j(f) + m(f). Let d(g) be the first derivative of p(g). Is d(-4) a multiple of 12?
False
Let j be (-19)/38 + 15/6. Does 12 divide 442 - ((-78)/16 - j/16)?
False
Suppose -2*v - 5928 = -6*v. Let i be v/286 + (-4)/22. Suppose -i*b + 90 = -225. Is 10 a factor of b?
False
Suppose -5*i + 4806 = 13*i. Is 14*(i/24 + 3/8) a multiple of 28?
False
Let o(u) = 84*u - 1912. Does 4 divide o(26)?
True
Let q be ((-3)/4)/((-18)/120). Suppose -6*v - q - 115 = 0. Let c(g) = -g**3 - 19*g**2 + 19*g - 1. Is c(v) even?
False
Let y(b) = 10*b**2 + 4*b + 23. Let x = -359 + 356. Is 6 a factor of y(x)?
False
Suppose -3*v - 5*l + 42012 = 0, 2*v - 9654 - 18358 = -4*l. Does 12 divide v?
False
Let s be 10*(4 - 57/15). Let h(o) = 5*o**3 + o**2 + 8*o - 9. Is h(s) a multiple of 18?
False
Let a = -831 - -831. Suppose -3*o - p + 2987 = a, 4*p - 1013 + 10 = -o. Is 10 a factor of o?
False
Let v(s) = -31*s - 25. Let n be v(3). Let l = 135 + n. Suppose -19 = -l*u + 712. Is 7 a factor of u?
False
Let w = 5686 - 2436. Is w a multiple of 10?
True
Let t(i) be the third derivative of i**6/120 + 7*i**5/60 - i**3 - 26*i**2. Suppose 10*q - 5*q + 25 = 0. Is 20 a factor of t(q)?
False
Let b = 473 - 362. Does 14 divide b?
False
Let v = -129 + 80. Let z = 51 + v. Suppose -4*q + 3*w + 0*w = -141, -3*w + 75 = z*q. Does 12 divide q?
True
Let k(o) = 68*o**2 + 5*o - 7. Let l be k(-17). Suppose 25*a - l = -5*a. Does 15 