4*s - 678, m - r = -4*s. Is 24 a factor of s?
True
Does 18 divide -6 + (-5)/(10/(-962))?
False
Suppose 38 = -2*f + 34. Let k(z) = -56*z + 12. Is 18 a factor of k(f)?
False
Suppose -75 = -37*i + 36*i. Is i a multiple of 25?
True
Let j be 13 - (3/3 + 0). Suppose -6*s = -j - 0. Suppose -s*p + 0 = -24. Does 4 divide p?
True
Suppose 0 = p - 2*c - 10, 35 = p + 3*p - 3*c. Let w = p + -5. Suppose 119 = w*h + b - 2*b, -3*b + 163 = 4*h. Is 13 a factor of h?
False
Suppose -5*o = -o. Suppose y = -o*y + 131. Suppose -3*a = -4*d - 2*a + y, -134 = -4*d - 2*a. Is d a multiple of 11?
True
Let r = 1424 - 98. Does 102 divide r?
True
Suppose 4 = 2*d - 2. Suppose -d*h = -5*r, -2*r = 3*r. Suppose h = -4*f + 9*f - 225. Does 18 divide f?
False
Let n(o) = -o**2 - 20*o - 14. Let h be n(-9). Let v be 14/84 + h/(-6). Is 11 a factor of 0 + (-1 - 0)*v?
False
Let h = 2845 - 511. Does 19 divide h?
False
Let c = -13 - -13. Suppose c = -4*w + 5*w. Suppose -5*f + 56 = 4*b, w*b - 2*b - f + 22 = 0. Is 3 a factor of b?
True
Suppose 31*b = 34*b + 4*q - 828, 3*b - 2*q = 846. Is 17 a factor of b?
False
Let w be (-1 + 1)*(6 - 7). Suppose w = -2*g + g + 47. Is g a multiple of 28?
False
Let m(c) = -3*c + 15. Let t be m(6). Is ((-2)/t)/(24/972) a multiple of 7?
False
Let u = 105 + -112. Is 17 a factor of ((-110)/15)/(((-7)/(-12))/u)?
False
Suppose 0 = -18*o + 32066 - 3176. Is 32 a factor of o?
False
Let i(c) = -c**3 + 10*c**2 - 4*c - 9. Suppose 3*h - 2*x = 17, 4*h = 4*x + 2 + 14. Is i(h) a multiple of 5?
False
Suppose 0 = -10*f + 5975 + 6265. Is 17 a factor of f?
True
Suppose c - 2*d = -3*d + 9, -15 = -3*d. Suppose -b = -4*a + 6, c*a - 14 = -2*b - b. Is (b + -1)/((-2)/(-124)) a multiple of 26?
False
Let j(b) = 13*b**2 - b + 2. Suppose -2*l - 9 = -11. Is 12 a factor of j(l)?
False
Suppose -17*m + 12*m = -8240. Is 73 a factor of m?
False
Let x(p) = -4*p + 1. Suppose 9 = -z + 4. Is x(z) a multiple of 3?
True
Let b = -2007 - -3090. Is b a multiple of 35?
False
Let q(l) = 3*l - 1 + 0 + 2. Let m be q(1). Suppose 2*c + 53 = 3*j - 0*c, 0 = -5*j + m*c + 91. Does 12 divide j?
False
Let d(n) be the first derivative of n**3/6 + 9*n**2 + 4*n + 2. Let j(w) be the first derivative of d(w). Is 6 a factor of j(8)?
False
Let y = -103 + 573. Is y a multiple of 76?
False
Let h(d) = -3*d + 8*d**2 + 4*d + 0*d**3 - d**3. Let n be h(5). Let q = n - 38. Is q a multiple of 21?
True
Let r = -443 - -443. Let h = 3 + -2. Suppose r = 2*s - 73 + h. Is s a multiple of 9?
True
Let g(j) = -j**2 + 17*j + 17. Let f be g(10). Suppose -8*w = f - 255. Does 5 divide w?
False
Is 3/(-4)*-4*(-1216)/(-12) a multiple of 76?
True
Let z(s) = -s**2 + 11*s. Let b be z(11). Suppose b = 4*r - 8 - 0. Does 16 divide ((-8)/r + -1)*-5?
False
Let r(x) = 28*x - 139. Does 11 divide r(20)?
False
Let c = -10 + 16. Let y(x) = x**2 - 5*x - 6. Let d be y(c). Suppose 0 = -t - 3*a + 30, d = a + a + 4. Is 18 a factor of t?
True
Suppose 5*s - 4*d = 11, 2*s + 4*d + 1 - 11 = 0. Suppose -n = -0 - s. Suppose 4*g - 197 = -n*q, -7*g + 2*g + 2*q + 252 = 0. Is 13 a factor of g?
False
Let l(n) be the first derivative of 30*n**3 - 6. Let k be l(-1). Suppose -3*t = 3*m - k, 2*m + 2*t - 26 = m. Does 34 divide m?
True
Is 26 a factor of 12/(-10) - (-68376)/105?
True
Let h(d) = d + 1. Let j(n) be the second derivative of 5*n**3/3 + 5*n**2 + 3*n. Let u(x) = 28*h(x) - 2*j(x). Does 12 divide u(5)?
True
Let v(o) = o**3 + 2*o**2 - 3*o + 4. Let n be v(-3). Suppose 5*s - m = -2*m + 31, n*s - 4*m = 20. Does 3 divide s?
True
Let q(x) = -2*x + 511. Is 37 a factor of q(35)?
False
Does 12 divide 872/(-24)*-9 + (-9)/3?
True
Is 12 a factor of 4/(12/447) - 30/6?
True
Suppose 5*y - 10*y = -3900. Is 6 a factor of y?
True
Suppose -5*l = 4*m + 13, -3*l = -2*m + 14 + 7. Suppose 2*n - 167 = m*r, -5*n = -5*r + 139 - 564. Is n a multiple of 36?
False
Let w = 16 + -11. Suppose -4*l - s = -7*l + 323, -5*s = w*l - 545. Does 27 divide l?
True
Let p(d) = 45*d**3 - 2*d**2 + 5*d - 4. Let n be -27 - -29 - (0 - -1). Does 4 divide p(n)?
True
Let c = -1262 - -1891. Let r = c - 421. Does 26 divide r?
True
Let u = 39 + -33. Does 11 divide (255/u - -2) + 3/(-6)?
True
Suppose -6*t + 16 = 4. Suppose 0 = -t*c + s + 60 + 7, -4*c + 149 = 3*s. Is c a multiple of 11?
False
Suppose 0*q = -4*q. Let f(n) be the second derivative of -n**5/20 - n**3/6 + 37*n**2/2 - 69*n. Is f(q) a multiple of 10?
False
Let g(h) = -h + 19. Let q be g(7). Let c be (128/12)/4*q. Suppose 4*l = -2*k + 40, -3*l + k = -6*l + c. Is 4 a factor of l?
True
Let j(z) = 3*z**2 - 3*z + 2. Suppose -13*s - 39 = -10*s. Let u = 7 + s. Is 32 a factor of j(u)?
True
Let s(o) = o**2 + 12*o + 12. Let p be s(-11). Let n(q) = -9*q. Let x be n(p). Let v(z) = -2*z - 7. Does 11 divide v(x)?
True
Let z(q) = -q. Let p be z(0). Is 55 a factor of 2/(-4) - ((-2204)/8 - p)?
True
Suppose -12*m + 879 + 705 = 0. Is m a multiple of 33?
True
Suppose -480 = -6*o + o. Is o a multiple of 6?
True
Let k = 13 + -20. Let w(o) = -10*o**3 - 9*o**2 - 3*o + 4. Let j(c) = -7*c**3 - 6*c**2 - 2*c + 3. Let m(l) = k*j(l) + 5*w(l). Is m(-4) a multiple of 19?
True
Suppose -14*o - 23808 = -46*o. Is 13 a factor of o?
False
Let v(c) = 3*c**2 - 9*c - 276. Is v(21) a multiple of 11?
True
Is 4190/7 + (-16)/28 a multiple of 46?
True
Suppose 19*p - 24*p + 2135 = 0. Does 64 divide p?
False
Let y(j) = -2*j**2 - 8*j - 1. Let b be y(-5). Let p = -2 - -23. Let r = p + b. Does 8 divide r?
False
Suppose -6*p = -2*p - 1728. Let t = -290 + p. Does 16 divide t?
False
Let h(k) = -2*k - 1. Let j be h(-2). Suppose -j*w + 148 = -w. Let b = w - 51. Is b a multiple of 9?
False
Let s = -485 + 1920. Is s a multiple of 41?
True
Let a = 3221 + 1483. Is a a multiple of 13?
False
Let d(h) = h**2 - 8*h - 21. Let l be d(10). Does 19 divide l/(1 - (-1312)/(-1308))?
False
Suppose 0 = -3*j + 1446 + 882. Is j a multiple of 38?
False
Suppose 113*o - 109*o = 5*w - 4135, -2*w - o = -1667. Is w a multiple of 3?
True
Let m = 317 + -210. Suppose 0 = p + 5, 0*p - 98 = -4*i + 2*p. Suppose -5*y + m = i. Is y a multiple of 10?
False
Let p = 14 + -12. Suppose 2*a + p*q - 10 = 0, 0 = -a + 4*q - 0*q. Suppose 3*g - 157 - 35 = 4*u, a*g = 5*u + 255. Does 7 divide g?
False
Does 51 divide 311 + -5 + (4 - 4)?
True
Let a(i) be the third derivative of i**5/60 + i**4/6 - i**3/3 + 18*i**2. Does 7 divide a(4)?
False
Suppose 3*t + 2*k - 12991 = 0, 3*t + 2988 = 6*k + 15963. Does 73 divide t?
False
Is 1500/(-225)*(-225)/2 a multiple of 25?
True
Is 5746/(-20)*-2 + (-435)/725 a multiple of 7?
True
Let v = -9 + 11. Suppose 20 = -4*x - 4*z, -2*x + 5*z = v*x - 25. Let k(q) = q**2 - q + 43. Is k(x) a multiple of 16?
False
Suppose -13*n = 71*n - 30240. Does 8 divide n?
True
Let x be (-93)/4 - 1/(-4). Let z(t) = 2*t**2 - 28*t + 2. Let k be z(15). Let b = x + k. Does 3 divide b?
True
Let p = 23 - 16. Does 30 divide (90/21)/(1/p)?
True
Let m be (2/(-6))/((-4)/(-48)). Let q be 6/m - 18/(-4). Suppose 0 = 3*p - 4*v - 117 + 24, q*v = -5*p + 184. Is p a multiple of 35?
True
Let y be (-7)/(28/(-8)) + 122. Suppose -4*z = -4*c + c + y, -161 = -4*c + z. Does 20 divide c?
True
Let l = 1056 - 708. Let j = l + -226. Suppose 14 - j = -3*u. Is u a multiple of 12?
True
Let l = -5 + 5. Let z(m) = -m**3 - m**2 + 2. Let v be z(l). Suppose w + 5*x = 27, -4*w + 89 + 73 = v*x. Does 14 divide w?
True
Let j(o) = -2*o**3 - 4*o**2 - 2*o. Let g be j(-2). Let i = 185 - -81. Suppose 116 = 2*r - 0*r - g*x, 2*x = -5*r + i. Does 10 divide r?
False
Suppose -2316 = -2*z - 444. Suppose -z + 232 = -4*n. Does 12 divide n?
False
Suppose -11*b + 2828 = -2892. Is b a multiple of 40?
True
Let m(y) = 3*y**2 + y + 3. Let p be m(-6). Does 5 divide p/(-6)*(-2)/1?
True
Let m be (-7 - (2 - 3))*96/(-9). Suppose -2*x = 5*p - 130, -7*p = -4*p + 4*x - m. Does 14 divide p?
True
Is 19/((-532)/(-2652)) - 4/(-14) a multiple of 28?
False
Let b = 643 - 356. Is 15 a factor of b?
False
Suppose -7 - 5 = 3*n, -5*n + 232 = 2*b. Is 21 a factor of b?
True
Is 21 a factor of 1116/248*((-364)/(-3) - 0)?
True
Let u(l) = l**2 - 8*l + 12. Let s be u(7). Suppose 168 - 18 = s*w. Suppose -w = -3*z - 3*d, 2*d + 3 = -5*z + 65. Is 14 a factor of z?
True
Let i = 15 - 15. Suppose -s - n + 4 = i, 0 = -s + 5*n - 1 + 17. Let y(u) = -u**3 + 10*u**2 - 14*u + 4. Does 16 divide y(s)?
True
Is (4866/14 - 15/(-35)) + 0 a multiple of 12?
True