 88 - 80. Is 24 a factor of ((-128)/(-6))/4*(1 + h)?
True
Suppose 3*d = -5*d + 456. Suppose 0 = -19*o + 18*o + d. Is 6 a factor of o?
False
Let a = 22 - 15. Let l = -5 + a. Suppose 2*z = 4*z, l*h + 3*z = 48. Is 6 a factor of h?
True
Let i = -1920 - -3420. Is ((-16)/10 - 2)/((-18)/i) a multiple of 25?
True
Suppose -h = -5 + 2. Let r(x) = x**2 + 2*x + 3. Let m be r(0). Suppose 5*p - p + h*l - 129 = 0, p + m*l - 39 = 0. Is 10 a factor of p?
True
Let c(j) = -19*j + 19. Let r(v) = v + 2. Let a(k) = -c(k) - 2*r(k). Is 5 a factor of a(4)?
True
Let n(f) = 6*f**2 + 3*f - 18. Let t be n(10). Suppose -4*k + t = -140. Is k a multiple of 16?
False
Suppose -566 = -5*a - 241. Is a a multiple of 15?
False
Suppose -625 = 4*u - 3925. Is 9 a factor of u?
False
Suppose -4*w = -4*g + 96, -5*g - 2*w + 30 = -4*g. Suppose 4*h = -g + 174. Does 8 divide h?
False
Let o(s) = s**2 - 8*s + 10. Let m be o(7). Suppose 6*f - 18 = m*f. Suppose 11*a = f*a + 125. Is 25 a factor of a?
True
Suppose 0 = -r + 3*j + 1347, -5*j - 6710 - 55 = -5*r. Is r a multiple of 12?
True
Let m = 51 - 44. Let c(o) be the third derivative of o**5/60 - o**4/6 - 2*o**3 + 5*o**2. Is 6 a factor of c(m)?
False
Let j(h) = 3*h - 35. Let s(i) = -i + 18. Let x(t) = -2*j(t) - 5*s(t). Let n be x(0). Is ((-224)/n)/(2/10) a multiple of 10?
False
Suppose 5*h + 5*j - 7565 = 0, -2*h + 3*j + 1641 = -1410. Is h a multiple of 33?
True
Let g = -376 - -682. Is 6 a factor of g?
True
Suppose 25*w = 93625 - 10500. Is w a multiple of 18?
False
Let o = 28 + -3. Suppose 4*b + o = 5*u, 2*u + b = -b + 10. Does 12 divide -6 + 26 + (u - 1)?
True
Let o(j) = -6*j + 15. Let v be o(-7). Suppose 9 = 6*r + v. Is 10 a factor of 4*((-28)/r + -1)?
True
Let z be (-1)/(1 - (-12)/(-9)). Suppose 4*i - 9 = 5*i + 3*h, -8 = -4*i - h. Suppose i*f - 19 = -p, z*p = -p + 4*f + 44. Does 13 divide p?
True
Suppose 2*c = -0*c + 3*p - 86, 3*c + 114 = -3*p. Let y = 48 - c. Does 16 divide y?
False
Let c(n) = n**3 + 8*n**2 + 5*n + 4. Suppose 3*j - j + 12 = 0. Is 15 a factor of c(j)?
False
Let k(h) = 4*h - 2. Let o be k(1). Suppose 3*v = -o*d + 1, 4*v + 0*d = 3*d + 24. Suppose -42 = l - v*l. Is l a multiple of 7?
True
Let b = -15 + 26. Suppose 0 = b*o - 7*o + 216. Let y = o + 122. Is 17 a factor of y?
True
Let n(q) = 2*q - 10. Let b be n(6). Let i(k) = 11*k + b - k**2 + 4*k + 0*k**2 + 1. Is i(11) a multiple of 21?
False
Suppose -63 = -y + 267. Is 30 a factor of y?
True
Let a(k) = -k**2 - 14*k - 2. Let c = -38 + 29. Is a(c) a multiple of 19?
False
Let q be (72/(-15))/((-3)/140). Suppose -2*m = -m + y - q, -4*m - 3*y + 898 = 0. Let c = m + -157. Does 23 divide c?
True
Let h(u) be the second derivative of u**4/12 - 7*u**2/2 - u. Suppose -21*k = -11*k + 60. Does 25 divide h(k)?
False
Suppose 2*o = q - 2*o + 6, -2*o + 12 = 4*q. Let h(m) = q*m**2 - 5*m + 2*m - 5*m + 11 + m. Is h(7) a multiple of 20?
True
Let i(f) = -2*f**3 - 14*f**2 - f - 151. Is 36 a factor of i(-11)?
True
Let y(j) = 3*j + 18. Let x(p) = -2*p - 9. Let t(r) = 5*x(r) + 3*y(r). Let v be t(13). Does 12 divide 44*(v - 18/(-4))?
False
Let v = -798 + 1316. Does 37 divide v?
True
Let w(n) = 506*n + 102. Is w(1) a multiple of 16?
True
Let p = -84 - -188. Does 4 divide p?
True
Let x(g) = g**2 + g. Let o be x(1). Suppose 0*i + 119 = 3*n + o*i, 5*n + 3*i = 200. Suppose 2*k - a - n = 0, -4*k - 3*a + a = -98. Does 19 divide k?
False
Let n(v) = v**2 + 3*v + 12. Let w(g) = -g - 1. Let p(k) = n(k) - w(k). Does 3 divide p(-4)?
False
Suppose -44*i + 0*i = -1320. Is i a multiple of 10?
True
Suppose -3 = -t, -4*s = -6*s - t + 3267. Is s a multiple of 17?
True
Let g(j) = 13*j + 3. Let q(b) = -b**3 + 3*b**2 + 4*b + 2. Let f be q(4). Is 29 a factor of g(f)?
True
Does 15 divide 105/21 - 34*1*-10?
True
Let l(h) = -h. Let z = 0 + 0. Let m be l(z). Let u(o) = -2*o + 30. Is 30 a factor of u(m)?
True
Is 8 a factor of ((-384)/(-28) - 14) + (-9524)/(-14)?
True
Suppose -r + r - 5*r = 0. Suppose r = -3*c + 3*n + 168, 5*n = -5*c + 366 - 56. Is 12 a factor of c?
False
Let z(b) = 3*b**2 - 21*b + 95. Is 11 a factor of z(12)?
True
Suppose -34 = -2*x - 2. Let t = x - -30. Suppose g + d - t = -d, -5*d + 46 = g. Does 14 divide g?
False
Suppose -7*t + 8*t + 4*y = 242, 0 = -y + 4. Is t a multiple of 8?
False
Let r(a) = 14*a + 1. Let k(l) = -5*l. Let z(h) = -11*k(h) - 4*r(h). Let c be z(-14). Suppose u - 49 = c. Is 24 a factor of u?
False
Let h = 340 + -210. Let r = h - 68. Does 15 divide r?
False
Is 20 a factor of (16/(-6))/(3/(-585))?
True
Suppose -4*o + o + 12 = 0. Suppose 0 = -r + o*j - 9, -5*r + 4*r = 4*j - 15. Does 5 divide r*(-28)/24*-4?
False
Let n(t) be the first derivative of -1 + 1/2*t**2 + 7*t. Does 3 divide n(-3)?
False
Let b(p) be the first derivative of -7*p**3/3 + 5*p**2/2 + 6*p + 5. Let d(q) = -6*q**2 + 6*q + 6. Let l(m) = -5*b(m) + 6*d(m). Is 16 a factor of l(10)?
True
Let o = -146 + 1345. Is 9 a factor of o?
False
Let g be (-108)/(-24) - (-6)/(-4). Let v(z) = z**3 - 3*z**2 - 2*z + 4. Let b be v(g). Does 9 divide b + 30 + 3 + -5?
False
Let b(g) = g**2 + 10*g + 7. Let m be b(-10). Is 13 a factor of m*(-10 - -2)*-3?
False
Suppose -20*g - 3*q - 510 = -21*g, 1040 = 2*g + 4*q. Does 23 divide g?
False
Let u be 3 + 10/(-5) - -1. Does 7 divide (48 - (-1 + -1))/u?
False
Suppose 3088 = 70*f - 54*f. Is f a multiple of 24?
False
Let w(o) = 55*o - 2. Let j be w(15). Suppose 5*u + 87 = -j. Let p = u + 260. Does 26 divide p?
True
Suppose -g - m = -3 - 4, -46 = -4*g + 2*m. Let l be (-8)/g*125/(-10). Suppose -l*r = -5*r - 60. Does 4 divide r?
True
Let f(t) = t**3 + 24*t**2 + 20*t - 21. Let b be f(-23). Suppose -b*d + 27 = -45*d. Does 2 divide d?
False
Let i(u) = 5*u + 5. Let j be i(-1). Does 12 divide 94 - 3 - (3 + j)?
False
Let t(o) = o**3 - 5*o**2 + 32*o + 28. Is 68 a factor of t(8)?
True
Suppose 7 = 3*u - 2*u. Let r = u + 29. Does 18 divide r?
True
Let u = 230 + 50. Is 14 a factor of u?
True
Let f = 20 - 42. Let l = f + 51. Let r = l + -9. Is r a multiple of 9?
False
Let d(k) = 4*k - 10. Let b be (-66)/(-9) + 5/(-15). Suppose -b*l = -l - 36. Is 14 a factor of d(l)?
True
Let q(b) be the first derivative of 4*b**2 - 40*b - 31. Is q(10) a multiple of 20?
True
Suppose 0 = -24*d + 28*d + 416. Let o = 239 + d. Does 27 divide o?
True
Let n(x) = -7*x - 26. Let m be n(-6). Does 2 divide 2/(52/m - 3)?
True
Let m(y) = 9*y**3 + 3*y**2 + 6*y - 1. Let l be m(-2). Let i be (-45)/75 - l/5. Suppose i = 3*z - 25. Is 12 a factor of z?
False
Suppose -421 + 46 = -3*s + 5*n, 250 = 2*s + 5*n. Is 5 a factor of s?
True
Let n = -456 + 665. Is n a multiple of 4?
False
Let n(x) = -2*x**2 + 6*x - 6. Let r be n(4). Is 2 a factor of 26*(-3 - r/4)?
False
Is 17 a factor of (-1)/3 + 299/69 + 17?
False
Let r = 771 + -759. Is r a multiple of 5?
False
Is 3 a factor of 91/117*9 + 49?
False
Suppose -d = 3*u - 508, -4*u - 227 + 1235 = 2*d. Does 62 divide d?
True
Let w = 43 - -20. Let t = -25 + w. Does 8 divide t?
False
Suppose -475 = -14*f - 111. Does 26 divide f?
True
Suppose -2*w = 0, k - 4*w - 4 = 1032. Does 4 divide k?
True
Suppose z + o = 30, -9*z + 195 = -4*z - 4*o. Does 5 divide z?
True
Let z = 269 + -47. Suppose -164 = -4*g - j + 139, 0 = -3*g + j + z. Does 25 divide g?
True
Suppose -21*d + 24*d + 105 = 0. Is (-1399)/(-5) - (0 - 28/d) a multiple of 31?
True
Suppose -23 = -2*a + 4*w + 7, 29 = 3*a - 2*w. Let o(g) = g + 14. Let b be o(0). Let d = b - a. Is 2 a factor of d?
False
Let r = -2460 + 3083. Does 23 divide r?
False
Let a = 4383 + -3123. Is a a multiple of 70?
True
Let p(n) be the first derivative of n**6/360 + n**4/8 - 3*n**3 - 10. Let r(t) be the third derivative of p(t). Is 21 a factor of r(9)?
True
Suppose -3 = q + 3. Is (-485)/q - 10/12 a multiple of 20?
True
Let i(a) = -3*a**3 + a**2. Let o be i(-1). Let d be 2/((2/41)/1). Suppose 0 = -2*y + q + d + 41, -3*y + o*q + 118 = 0. Is y a multiple of 21?
True
Let d(z) be the third derivative of z**6/60 - 11*z**5/60 + 13*z**4/24 + 42*z**2. Does 15 divide d(6)?
False
Let l be ((-2)/(-4))/(4/(-48)). Let c be l/4 - (-5)/2. Is ((-6)/(-21))/(c/7) a multiple of 2?
True
Let f(l) = -37*l + 15. Is f(-9) a multiple of 11?
False
Let q(x) = 4*x - 4. Let p be q(1). Let b = p + 15. Is b a multiple of 15?
True
Suppose 6*a + 535 = -5. Let x = 221 + a. Does 29 divide x?
False
Let f(v) = -9*v**2 - 7*v + 8. Let q(i) = 8*i**2 + 6