ppose -o + 304 = -5*z - 435, 5 = -z. Is 12 a factor of o?
False
Let t(z) = -z**3 - 22*z**2 - 75*z - 10. Is 46 a factor of t(-20)?
True
Let x = 1845 + -441. Is x a multiple of 108?
True
Does 27 divide (-501)/(-6) + 150/(-60)?
True
Suppose -2*m = m + 3*m. Suppose -j - 2 = m, -4*s + 7*s = 3*j + 366. Is 29 a factor of s?
False
Let j = -83 - -87. Does 29 divide j - 11/(55/(-270))?
True
Let t be 0 - 1 - 4*-1. Let f be -1*(12/30 + (-124)/10). Does 5 divide (-5)/(t + (-39)/f)?
True
Suppose -x + 2*q + 12 = -0*q, x - 4*q - 16 = 0. Let t = x + -3. Suppose -3*f - 20 = -5*v - 132, 0 = -4*f - t*v + 161. Is f a multiple of 13?
True
Is 5 a factor of ((-3516)/(-36))/((-4)/(-12))?
False
Is 15/3 + (619 + -1 - 5) a multiple of 17?
False
Let n be (18/(-8))/(12/(-160)). Let v = -18 + n. Suppose 5*f + 52 - v = k, -3*k + 196 = 4*f. Is 15 a factor of k?
True
Let v(w) = w + 7. Let i be v(-7). Suppose i = 2*u - 75 + 59. Is 4 a factor of u?
True
Let v(p) = p**2 + 1. Let g(x) = -4*x**2 - x - 1. Let b(q) = -g(q) + 2*v(q). Suppose 7*f - 20*f = 26. Does 4 divide b(f)?
False
Let k(a) = a**3 - 6*a**2 + 6. Suppose 32 = 5*u + 2. Is 6 a factor of k(u)?
True
Let q be (((-150)/4)/(-5))/((-6)/(-8)). Suppose -8*h = -q*h + 120. Is h a multiple of 30?
True
Let k = -21 - -24. Suppose 4*v - 80 = -4*q, q + k*q = 4*v - 64. Is 1/((1/v)/1) a multiple of 9?
True
Is 79 a factor of 12*(-25)/(325/(-2054))?
True
Suppose 4*g = 7*t - 4*t + 1363, 2*t + 1023 = 3*g. Is 2 a factor of g?
False
Let u = 15 + -13. Let b be 20/11 - u/(-11). Is 3 + -1 - (-49 - b) a multiple of 18?
False
Let g = 7 - 5. Let q(m) = m**3 - 3*m**2 + 4*m - 2. Let u be q(g). Suppose -u*d + 53 = 17. Is 9 a factor of d?
True
Let p(k) = 2*k + 25. Let j be p(-10). Is (-2124)/(-52) - j - 2/(-13) a multiple of 6?
True
Let n(h) be the first derivative of -h**2/2 - h + 1. Let r be n(0). Is 2 a factor of 10 + r*4/(-4)?
False
Let s(v) = 275*v - 216. Is s(10) a multiple of 23?
False
Suppose 118*m - 76*m = 38682. Does 51 divide m?
False
Let r(w) = w**3 + 4*w**2 - 6*w + 7. Let l be r(-5). Suppose 0 = l*t - 9*t - 258. Let u = t + -35. Is u a multiple of 14?
False
Let d = -19 - -7. Is 24 a factor of (d + 11)/((-2)/230)?
False
Let b = -89 + 71. Let i = b + 77. Is i a multiple of 6?
False
Let s(p) = 5*p**2 + 11*p - 8. Let u(n) = -21*n**2 - 44*n + 32. Let f(g) = 9*s(g) + 2*u(g). Let m be f(-8). Suppose 10*o - m = 4*o. Is 8 a factor of o?
True
Does 17 divide (2 - 760/(-15))/((-3)/(-162))?
False
Let w(s) = -7*s**2 - 4. Suppose 8 = m - 9. Let k(l) = 20*l**2 + 12. Let t(a) = m*w(a) + 6*k(a). Is 8 a factor of t(-4)?
False
Let l(n) = 4*n**2 - 2*n - 17. Let j be l(7). Let c = -19 + j. Does 9 divide c?
False
Let h(s) = 275*s**2 + 8*s + 18. Does 29 divide h(-2)?
True
Let m = 8 - 17. Let i(x) = -2*x + 9. Is i(m) a multiple of 9?
True
Is 20 a factor of (-1940)/6*(-8)/(80/45)?
False
Suppose -3*h + 2*h - 2*f + 5460 = 0, -f = 0. Is h a multiple of 42?
True
Suppose 5*y - 4525 = -5*s, 4*s + s + y - 4537 = 0. Is 14 a factor of s?
False
Let c(p) = -p**2 - 11*p - 2. Let j be (30/(-9))/((-6)/(-18)). Let u be c(j). Suppose d + 5*r - u = 0, 86 = 2*d - 3*r - r. Is d a multiple of 11?
True
Let g(c) = 199*c + 8. Is 23 a factor of g(1)?
True
Let f(a) = 139*a + 661. Is f(6) a multiple of 9?
False
Suppose 0*q + 4*v + 21 = q, -5*v - 26 = -q. Let c be q*-1 - (3 + -6). Suppose -c*x + 33 = -3. Is x a multiple of 18?
True
Suppose -b = -2*b + 2. Suppose -b*f + 2 = -f. Suppose -a + 0*a + 62 = 4*u, f*u - 5*a - 20 = 0. Is 7 a factor of u?
False
Let k = 26 + -12. Suppose -4*w = -5*w + k. Let g = w - 10. Is 4 a factor of g?
True
Suppose -i = 3*i + 12, -i = -3*w + 591. Is 16 a factor of w?
False
Let y(q) be the second derivative of q**4/12 - 5*q**3/6 - 15*q**2 - 6*q. Does 18 divide y(-8)?
False
Let b(q) = -q**2 - 8*q - 2. Let m be b(-9). Let c = 125 - m. Is 9 a factor of c?
False
Suppose 4*v = -5*k + 1469, v + 4 = -0*v. Suppose 3*r - k = 249. Suppose 3*o = f + 107, 0*f = 5*o + 2*f - r. Does 17 divide o?
False
Let s = 23 - 37. Let n = s + 20. Suppose 0 = -2*z + n. Is z a multiple of 2?
False
Let k(y) = -y**2 - 15*y - 1. Let p(n) = -n**3 - 8*n**2 - 7*n + 2. Let z be p(-7). Suppose -26 = 4*v + c, 2*c = -v - z*c + 1. Is k(v) a multiple of 21?
False
Is 25284/72 - 2/12 a multiple of 14?
False
Let l = -25 + 22. Does 13 divide (3 + 23)/(2 + l/2)?
True
Suppose 5*n = 6*n. Let h(m) = m + 71. Does 26 divide h(n)?
False
Let b(i) = i**2 + 12*i - 15. Let w = -157 - -142. Does 5 divide b(w)?
True
Suppose -2*o - y = -8, -4*o + o + 13 = 2*y. Suppose 2*x - 95 = -o*g + x, -2*g + 66 = -2*x. Does 16 divide g?
True
Let b(x) = -x**3 + 11*x**2 + 12*x + 3. Let t be b(12). Suppose -t*k + 2*k + 3 = 0. Suppose -j + k*m = -13 - 35, 4*j = -2*m + 150. Is 9 a factor of j?
False
Suppose -3*w = -2*w + 3*x - 8, -4*x + 13 = -w. Let f(o) = 46*o**2. Does 23 divide f(w)?
True
Suppose -8 = -2*m - 0. Let a = m - 6. Let f(j) = -18*j + 3. Is 12 a factor of f(a)?
False
Let z(w) = 14*w**2 - 9. Let m be z(-3). Suppose 3*f - m = -4*b, b + 80 = 2*f + 2. Is 12 a factor of f?
False
Suppose 0 = -3*p - 2*s + 122, -41 = -4*p + 4*s + 95. Suppose 0 = 5*z - p - 842. Is 16 a factor of z?
True
Let o be (-50)/(-20)*(-20)/(-2). Suppose 2*x = -3*x + o. Suppose x*q + 138 = 9*q - 3*r, -q = 5*r - 46. Is 12 a factor of q?
True
Let g = -50 - -53. Suppose 5*o - 608 = -g*o. Does 23 divide o?
False
Let t(u) = 35*u**3 - 5*u**2 + 5*u - 1. Let k be t(2). Suppose 0 = 2*o - 1 + 3, o = -5*b + k. Is 3 a factor of b?
True
Let c = -210 + 403. Suppose -47 - c = -3*p. Does 14 divide p?
False
Let c(s) = -s**2 + 9*s - 8. Suppose 3 = -3*d + 18. Let v be c(d). Is 5/((-20)/v) + 8 a multiple of 4?
False
Let y be 8/(0 - 0 - 2). Is 10 a factor of (-276)/(-14) - y/14?
True
Let j(s) = s - 2. Let c be j(6). Suppose 0 = 2*d + 25 - 195. Suppose -c*z + d = z. Is 17 a factor of z?
True
Suppose -5*v + y - 1 = 0, 0 = -5*v - y - 3 + 4. Suppose v = 6*u - 609 - 15. Is 37 a factor of u?
False
Suppose 11 + 16 = 3*m. Let q be (-30)/((-4)/((-1416)/m)). Is q/(-150) + 4/30 a multiple of 3?
False
Suppose -d + 1006 = 9*a - 7*a, 3*d = 4*a - 2022. Is a a multiple of 126?
True
Suppose -3*b = a - 2*b - 108, -1 = -b. Suppose -7*d = -6*d - a. Is 51 a factor of d?
False
Suppose -19 = 6*r + 11. Does 20 divide (-198)/r + (-13)/5 + 3?
True
Suppose -2*d + f = 5, 3*d = 2*d - 5*f - 30. Let n(c) = -8 + 0*c - 3*c + 1. Is n(d) a multiple of 4?
True
Let h(w) = 4 + 6*w**2 + 2*w**2 + 7 + w**3 - 11*w + 1. Is h(-9) a multiple of 30?
True
Let a(t) = 8*t - 2. Let v be a(3). Suppose -v = -2*u - 16. Let f = 30 + u. Is f a multiple of 10?
False
Let j be (124/12)/(1/9). Suppose -m - 2*t - 36 + j = 0, m + 3*t - 61 = 0. Is m a multiple of 10?
False
Suppose 33*r + 7891 = 49471. Is r a multiple of 60?
True
Let t(g) be the second derivative of g**5/20 + 7*g**4/6 + 5*g**3/3 - 17*g**2/2 + 2*g. Does 2 divide t(-13)?
True
Let s(l) = 46 + 32 - 2*l**2 - l + 26 - 8. Is s(0) a multiple of 28?
False
Suppose -4*o + 18 = -5*h, 2*h = -1 - 3. Suppose o*q = 154 - 114. Is q a multiple of 2?
True
Let i(a) = -a**2 + 6*a - 18 + 12*a + 1 - 10. Is 22 a factor of i(13)?
False
Let u be (9/(-6) + 0)/((-2)/4). Suppose 0 = -u*y - 0 + 48. Is y a multiple of 9?
False
Let b(v) = v**2 - 6*v - 11. Suppose -5*t + 14 = -2*o - 18, 2*o - 8 = 0. Let a be b(t). Suppose 0 = 4*c - 8, -a*s + 4*c + 85 = -c. Does 12 divide s?
False
Let f(k) = -2*k**3 + 42*k**2 - 15*k - 103. Is 15 a factor of f(20)?
False
Let k be (76/(-8))/(4/(-16)). Suppose p + 4*i - 63 = 0, 2*p = -5*i + 155 - k. Is 17 a factor of p?
True
Suppose 2*a - 100 = -90. Suppose 2*g - 2 = -0. Suppose -g + 81 = a*p. Does 5 divide p?
False
Suppose -5*b + 17 = 4*c, b + 0*c = 3*c + 11. Let h be (-2 + 3)*(-3 - -6)*1. Suppose -2*u = h*n + 2*u - 240, n - b*u = 80. Does 20 divide n?
True
Suppose -2*w + 71 = -281. Suppose -4*m + w = -12. Is m a multiple of 14?
False
Let w = 6 - 6. Suppose w = -4*i + 7 + 9. Suppose -i*r + 3*r = -9. Is r a multiple of 6?
False
Suppose 3*r - 5*r = -10. Suppose -l + r*l - 8 = 0. Suppose l*d + 2*d - 92 = 0. Is d a multiple of 11?
False
Suppose 5*k = -4*k + 27. Suppose -v = -4*w - 3*v + 360, 288 = k*w - 3*v. Is w a multiple of 23?
True
Let o(y) = 3*y**2 + 0 + y - 4 + 6. Let d be o(-5). Suppose -16 = 2*a - d. Does 14 divide a?
True
Suppose 0 = f + 4, -2*f - 7 = j - 61. Does 55 divide 