se
Suppose 5*o = -k + 8, -4*o - 2*k = -4*k + 2. Is (8/(-6))/((o + 3)/(-156)) a multiple of 4?
True
Let w = -44 + 33. Is (1 + 5)*(-66)/w a multiple of 8?
False
Suppose -200 = -2*o + 90. Does 7 divide o?
False
Let p(l) = 15*l**2 + 59*l - 14. Does 44 divide p(6)?
True
Let q(y) = y**3 - 4*y**2 - 4*y - 3. Let o be q(5). Suppose 6*h + 12 - 72 = 0. Is 15*o/(4/h) a multiple of 25?
True
Let g be ((-33)/6)/(1/(-2)). Let j = g + -10. Is (j/3)/((-4)/(-24)) a multiple of 2?
True
Let y(d) = 90*d + 85. Is y(3) a multiple of 71?
True
Suppose -5*s + 13 = -12. Suppose m + m = 0, -3*m = -s*w + 40. Suppose 3*o - w = 10. Is 6 a factor of o?
True
Suppose -6*p + 7*p - 5 = 0. Suppose a - 20 = -2*c + 46, 3*c = p*a + 86. Suppose v + 2 = c. Does 15 divide v?
True
Suppose -4*b - l + 5 = 0, 5*b + 0*b = -2*l + 4. Suppose -b*p + 6 + 111 = -5*w, 4*p - 3*w - 241 = 0. Is p a multiple of 43?
False
Let a be ((-3696)/55)/((-3)/10). Suppose 2*u + 2*u = a. Let v = u + -28. Is v a multiple of 14?
True
Suppose 16*t - 6*t = 440. Is 5360/t - 6/(-33) a multiple of 10?
False
Suppose 592 = 10*b - 388. Suppose -1023 = -5*o + 4*c, 4*c - b = 3*o - 715. Is o a multiple of 7?
True
Is 31 a factor of (-10)/(-45) + (1 - 26450/(-45))?
True
Let v = -274 + 151. Let b = 65 - v. Does 24 divide b?
False
Suppose 5*r - 395 = 3*k, -3*r + 6*r - 5*k - 237 = 0. Let s = r + -34. Is s a multiple of 25?
False
Let y be ((-6)/4)/((-4)/40). Suppose -5*u + y = -0*u. Suppose -u*x = -5*k - 18, -3*x + k + 40 - 10 = 0. Does 11 divide x?
True
Suppose 4*n - 2*w - 601 - 1015 = 0, 2*n = 3*w + 816. Is 23 a factor of n?
False
Let y(k) = k**2 - 11*k - 13. Let b(c) = c**2 - 1. Let o(f) = -2*b(f) + y(f). Suppose -3*x = 2*v + 18, v + 5*x - 13 + 22 = 0. Is 3 a factor of o(v)?
False
Let y = -24 - -37. Suppose 0 = a - y + 8. Suppose -276 = -a*h + h. Is 23 a factor of h?
True
Suppose -3*k = -82 + 31. Suppose -f = -k + 4. Is f a multiple of 13?
True
Let z = -257 + 396. Is z a multiple of 18?
False
Let t be (4/3)/((-1)/(-36)). Let r = 128 - t. Is r a multiple of 22?
False
Let s = 136 + 141. Suppose -6*f = -53*f + 188. Suppose -3*t = x - 99, 2*x + f*t - s = -x. Is 14 a factor of x?
False
Let p be -1*(-1 - 4)*1. Suppose -4*h - 182 = -p*h + 3*r, 4*h + 4*r - 712 = 0. Does 19 divide h?
False
Suppose -121*v + 122702 = -83*v. Is v a multiple of 11?
False
Let n be (((-54)/12)/(-3))/((-1)/(-2)). Is 26/(-39)*n/(-2) + 23 a multiple of 8?
True
Let i = -201 - -386. Is i a multiple of 6?
False
Let o be 1/(-3)*0 - -3. Suppose 5*q - 58 = o*q + 2*r, -4*q + 124 = -2*r. Is 9 a factor of q?
False
Suppose -26 = -2*f + 12. Suppose 2*c - f = -5. Is c a multiple of 3?
False
Let x = -73 + 139. Let o = 80 - x. Does 4 divide o?
False
Let r = 47 - 35. Is -4*(1 - r/(-16) - 3) a multiple of 4?
False
Let d(z) = -z**2 + 9*z + 2. Let b be d(9). Let s(m) = -6 - m**3 + 5*m**b - 1 + 3 - 3*m. Is 5 a factor of s(3)?
True
Suppose 3*d + 68 = 2*d. Is 17 a factor of ((-2)/2)/(4/d)?
True
Suppose -7*w - 295 + 1240 = 0. Suppose 0 = 4*q + 5*p - 15, 0*p = -2*q + 4*p - 12. Suppose q = -5*i + 10 + w. Is i a multiple of 9?
False
Let t be 1 + 1 - -21*(-49)/(-21). Suppose 2*z + 3*f - t = 0, -37 - 98 = -4*z + 5*f. Does 4 divide z?
False
Let l = -109 - -104. Let q(o) = -o**3 - 5*o**2 - 5*o - 4. Does 13 divide q(l)?
False
Let b = 56 + -54. Suppose 5*m + 2*n - 85 = 0, 5*m - 59 - 26 = b*n. Does 17 divide m?
True
Suppose 0*k + k - 1 = 0. Suppose -5*g - k = 4. Does 3 divide (-3 - g)*-1 - -12?
False
Let w(z) = -z**3 - 49*z**2 - 5*z + 63. Does 7 divide w(-49)?
True
Suppose -w = -67 + 17. Let u = w + -44. Is u even?
True
Let u(g) = g**3 + 8*g**2 + 6*g + 5. Let y be u(-7). Suppose -y = -0*h - h. Does 2 divide h?
True
Let a = 8 + -11. Let r be (-6)/a*42 - 2. Is 2*r/(-4)*-1 a multiple of 15?
False
Suppose o + 2*m + 428 = 4*o, -5*o + 704 = -m. Does 4 divide o?
True
Suppose -2*u - 3*u + 2072 = -3*b, 4*u = 4*b + 1656. Is u a multiple of 11?
False
Let p be 15 + 4/((-4)/3). Let v(i) = -9*i + 4. Let q(c) = 37*c - 16. Let l(u) = -2*q(u) - 9*v(u). Does 28 divide l(p)?
False
Let z = 2139 + -1463. Is z a multiple of 11?
False
Suppose -5*h = -i - 828, -14 = 5*i + 1. Is h a multiple of 4?
False
Let l(t) = 3*t + 5. Let g(n) = -2*n - 6. Let c(m) = -6*g(m) - 5*l(m). Let a be c(6). Let r = 20 - a. Does 12 divide r?
False
Suppose b - 5 = 0, i + 0*i = 3*b + 57. Is 3 a factor of i?
True
Let w(m) = 2*m**2 + 2*m - 4. Suppose 0 = 8*x - 105 + 1081. Let i be x/18 + (-6)/27. Does 10 divide w(i)?
True
Let w = -671 + 789. Is w even?
True
Let j(h) = 2*h - 5. Let g(z) = -z - 1. Let i(o) = -3*g(o) + j(o). Let v be -10*((1 - 1) + 32/(-40)). Is i(v) a multiple of 19?
True
Let a = 2 - -506. Is 15 a factor of a?
False
Suppose 2*t = g - 567, -24*t + 21*t = -2*g + 1131. Is g a multiple of 33?
True
Let u(t) = t**2 + 5*t + 26. Does 29 divide u(-19)?
False
Let j(n) be the second derivative of -1/3*n**3 + 7/12*n**4 + 3*n + 0 + 0*n**2. Is j(2) a multiple of 6?
True
Let s(i) = -i**2 + i + 1. Let d(v) = 5*v**2 - 3*v - 5. Let h(k) = d(k) + 6*s(k). Let u be h(-6). Let q = -29 - u. Is q a multiple of 24?
True
Suppose 5*x - 53 = -3*g, x + 29 = 2*g - 2*x. Suppose -q - g = -133. Is q a multiple of 28?
False
Let r(v) = v**3 + 5*v**2. Let q be r(-5). Suppose -b + 5*o - 34 = q, 2*b + 51 = 5*o + 3. Let h = -3 - b. Is 6 a factor of h?
False
Suppose -a + 39 = -4*a. Let s(r) = 6*r + 10. Let u(c) = -24*c - 41. Let h(t) = -9*s(t) - 2*u(t). Does 10 divide h(a)?
True
Let s = -7 - -14. Let w be 4*(-1 + (-6)/(-4)). Is 9 a factor of (w + -2 - -3)*s?
False
Let a(i) = 4*i**2 - 7*i + 5. Let g be a(6). Suppose 5*b - 5*j = b + 131, g = 3*b + 5*j. Is (2/4)/(1/b) a multiple of 17?
True
Suppose 3*r - 3 = 3*d, 3*d - 13 = -r - 0. Suppose r*s + 40 = 8*s. Suppose 7*x - s*x + 6 = 0. Does 2 divide x?
True
Let s(f) = -f**2 + 9*f - 19. Let w be s(8). Let r = w + 23. Is r even?
True
Suppose j - 2*c = 3*j + 26, 0 = -4*j - 5*c - 52. Let q(n) = -4*n + 9*n - 31 - 6*n - 3*n. Is q(j) a multiple of 21?
True
Let v = 9 + -1. Let j(u) = -u**3 + 11*u**2 - 11*u - 6. Let l be j(v). Let h = l - 7. Is h a multiple of 25?
False
Suppose -6*q + 4*q = 0. Suppose -2*z = 2*m - 66, -4*z + q*m = -2*m - 102. Does 7 divide z?
True
Suppose 0 = -n - 109 + 708. Does 17 divide n?
False
Let y(h) = -3*h**3 + h + 1. Let r be y(-1). Suppose 5*n - 586 = -3*z, 2*z + 7*n - 392 = r*n. Is z a multiple of 39?
False
Let v = -224 + 1771. Is 17 a factor of v?
True
Is (460/(-10))/((-1)/2) a multiple of 23?
True
Let g be 12/(-16) - 45/(-12). Suppose -2*m = g*v - 443, 3*v + 4*m - m = 438. Let l = v - 103. Is 12 a factor of l?
True
Let l(x) = x**2. Let b be l(-4). Suppose -3*p - 12 = 0, 5*r - b = r + 2*p. Let i = r + 5. Is i a multiple of 2?
False
Let r = -10 - 25. Is 10 a factor of (-2460)/r - (4/7)/2?
True
Let x(s) = -s**3 - 5*s**2 + 91*s - 6. Is 11 a factor of x(7)?
False
Let h = 79 + -140. Let i = -54 - h. Is 5 a factor of i?
False
Let s(j) = 58*j - 9. Let t be s(12). Suppose -2*r + t = 177. Is 51 a factor of r?
True
Let l = 12 + 1248. Does 63 divide l?
True
Let s(b) = -3*b + 7. Let f(g) = 4*g - 8. Let d(q) = -2*f(q) - 3*s(q). Let i be d(10). Suppose 4*n - i*y - 110 = 0, 3*y + 2 = 2*y. Does 4 divide n?
False
Suppose 6*q - 2 - 16 = 0. Suppose -4*s + 4*c = -60, 0*c - c = q*s - 45. Is 2 a factor of s?
False
Suppose w - 5 = -o - w, 3*o - 13 = -4*w. Suppose 2*u = o*u - 86. Suppose 3*t - 4*x - u = 0, 4*t - x - 71 = t. Does 20 divide t?
False
Let q(x) = 2*x**3 - 10*x**2 + 19*x - 101. Does 86 divide q(10)?
False
Let t(d) = d**3 + 12*d**2 + 23*d - 8. Let k be t(-10). Let y = k + 74. Is y a multiple of 12?
True
Let k(o) = -7*o - 490 + 527 + o. Does 11 divide k(4)?
False
Let u(i) = i + 12. Let j be u(-9). Suppose 2 + 0 = j*w - v, -5*w - 5*v = -30. Does 13 divide (240/w)/4 - 1?
False
Suppose -5*f + 17 = 2. Does 19 divide (-721)/(-4) + 5 + f/(-12)?
False
Let x = 22 - -109. Suppose -157 = -4*y + x. Suppose -2*j = -j - y. Does 24 divide j?
True
Let y(k) = -3 - 3*k**2 + 8*k**3 + 9*k - 3*k + 20*k**3. Is y(2) a multiple of 42?
False
Let j(d) = d**2 - d + 19. Let a(n) = -n**3 + 13*n**2 - 12*n - 8. Let c be a(12). Is j(c) a multiple of 7?
True
Suppose 2*i + 69 - 349 = -3*w, -2*w = -3*i - 165. Let f = 166 - w. Is f a multiple of 10?
False
Let g(k) = -3*k + 4 + 71*k**2 - 1 - 3 - 2. Does 14 divide g(-1)?
False
Is ((-430)/(-8))/5*20 a m