oes 6 divide (-141)/t - 4/(-14)?
False
Let o be (11/22)/(0 - 3/(-438)). Let s = o + 9. Does 4 divide s?
False
Let t be (-6489)/(-18) - (2 + 6/(-4)). Suppose 0 = 67*l - 58*l - t. Is 10 a factor of l?
True
Let q(m) = -2*m**2 - 19*m - 4. Let o = -13 + 4. Let t be q(o). Suppose -t*r + 420 = r. Is r a multiple of 11?
False
Suppose 0 = h - i - 3 - 1, 12 = -4*h - 3*i. Suppose 16*q + 6*q - 1342 = h. Is 5 a factor of q?
False
Let r(o) = -11*o**3 - o**2 - 3*o - 3. Let h(m) = m**3 + 9*m**2 + 8*m - 1. Let c be h(-8). Does 7 divide r(c)?
False
Let o(f) = -4*f**3 - 183*f**2 - 21*f + 305. Is 5 a factor of o(-47)?
False
Suppose 0 = -2883*g + 2893*g - 336640. Is g a multiple of 16?
True
Let t = 7775 - 2702. Is t a multiple of 89?
True
Suppose r + t - 2 + 5 = 0, 3*r - 4*t - 12 = 0. Suppose r = 5*a + 5*c - 235, 47*a - 49*a = c - 96. Is 6 a factor of a?
False
Suppose t + 3634 = -8*t + 55*t. Does 20 divide t?
False
Let s be 1/((-1)/(-10209)) + -54 + 57. Suppose 0 = -39*t - 384 + s. Is 14 a factor of t?
True
Let s = 4237 + -635. Does 40 divide s?
False
Let f be 62/(-12) - (-3)/18. Let d be (-108)/(-60) + (-1)/f. Suppose 3*g - 3*z = 246, -157 = -4*g + d*g - 5*z. Does 15 divide g?
False
Let o = 726 - -2062. Is 19 a factor of o?
False
Suppose -2*d = -2, 0 = p - d - 522 + 55. Does 4 divide p?
True
Suppose y = 5*f - 84 - 7158, 1412 = f + 5*y. Is f a multiple of 28?
False
Suppose 30 = -130*h + 125*h. Let s = 375 + h. Is 88 a factor of s?
False
Let f = 106 + -164. Let b be f*-2*(-12)/8. Let z = -114 - b. Is 12 a factor of z?
True
Let g(s) be the second derivative of -s**5/20 + s**3 + 27*s**2/2 + 75*s - 1. Does 18 divide g(-7)?
False
Let h be 80/36 - 2 - 340/(-9). Let q = 42 - h. Is (0 + -2)/(q + 150/(-37)) a multiple of 15?
False
Suppose -6*x - x + 661 + 998 = 0. Is x even?
False
Let m(i) = 18*i**2 + i + 1. Let o(z) = 90*z**2 + 6*z + 5. Suppose p - 17 + 3 = -4*t, 0 = -5*p - 4*t + 102. Let u(n) = p*m(n) - 4*o(n). Is u(2) a multiple of 27?
False
Suppose 267*w + 5*p - 23120 = 265*w, w - 4*p = 11534. Is 13 a factor of w?
False
Suppose -5*j + 12 = 3*o, 3*o = -0*o + 4*j + 12. Suppose 4*w = 2*x + x - 21, 0 = 4*x + o*w. Suppose f - 165 = v, -x*f - 2*v = -4*v - 490. Is 10 a factor of f?
True
Let o(t) = -4*t + 2. Let b be o(3). Let s be b/25 - (1407/(-5) - 2). Suppose 107 = 5*h - 2*f - s, 0 = -2*h - f + 165. Is h a multiple of 20?
True
Suppose 2*q = s - 1884, 39*s - 44*s + 9447 = -q. Is s a multiple of 45?
True
Does 91 divide (-7 - -4)/((-7 - 0) + (-1579700)/(-225680))?
True
Let m(k) = -47*k - 10. Let n be 40/(-4) - (1 - 4)/1. Is 18 a factor of m(n)?
False
Suppose 5*h - 1597 = 323. Suppose 2*p + 0*y - h = 4*y, -786 = -4*p + 2*y. Suppose -66 + p = r. Is 15 a factor of r?
False
Let u(i) = i**3 + 8*i**2 - 90*i + 396. Is 25 a factor of u(8)?
True
Let z(f) = 6*f**3 + 34*f**2 + 46*f - 92. Let r(k) = -k**3 - 2*k**2 - k - 2. Let o(a) = 5*r(a) + z(a). Is 66 a factor of o(-19)?
True
Suppose -o = -21 - 44. Suppose 5*c - 10 = o. Is c*(2 + -4 - -4) a multiple of 10?
True
Suppose -3*u + 46 = -3*m + 40, 4*m + 8 = -2*u. Suppose -2*h - 4 = u, -3*n - 86*h + 85*h + 3793 = 0. Is n a multiple of 23?
True
Let z = 34562 - 23908. Is 14 a factor of z?
True
Let h(r) = -r**3 + 6*r**2 - 5*r + 6. Let z be h(4). Suppose -22680 = -36*t + z*t. Is t a multiple of 36?
True
Let i = 44 + -40. Suppose -l - 4 = 0, i*w - 24 = 2*l - 0*l. Does 24 divide 1587/12 - (-3)/w?
False
Suppose 20*r - 48*r = -10*r - 168048. Does 12 divide r?
True
Let a be (6 - 36558)/(-6) + -3. Suppose -8*z = 41 - a. Is 31 a factor of z?
False
Does 15 divide (-1520480)/(-663) + (-10)/(-6)?
True
Let d = -55 - -57. Let p be -7 + 90 - d*1. Is 6 a factor of ((-4)/(-6))/(3/p)?
True
Let q(r) be the third derivative of -r**6/120 - 2*r**5/15 - 11*r**4/24 + r**3/2 + 13*r**2. Let x be q(-6). Is 10 a factor of 4/(-28)*x + (-694)/(-14)?
True
Let z(g) be the first derivative of g**4/4 + 7*g**3/3 + g**2/2 - 6*g - 5. Does 6 divide z(-6)?
True
Suppose 3*g + 9 = 3*s - 3, 2 = 4*s + 3*g. Suppose -4*x + 2 - 6 = 0, 0 = -s*k + x + 133. Is 52 a factor of (k/9)/((-6)/(-198))?
False
Let u = -458 + 459. Does 16 divide (4/(-10))/u - (-32721)/65?
False
Is (74 - 1179)*(910/(-25) - -1) a multiple of 13?
True
Let x(w) = 19*w**2 + 54*w - 2414. Is x(28) a multiple of 149?
False
Suppose 4*u + o = -17, -u = 4*u - 5*o - 10. Let w(z) = 2*z**2 + 5*z - 3. Let v be w(u). Suppose -5*b + a + 647 = -445, v = 4*b - 4*a - 880. Does 29 divide b?
False
Let h = 1352 + -744. Let r = -265 + h. Is 49 a factor of r?
True
Suppose 134*r - 4433554 = 140670. Is r a multiple of 13?
False
Let p = 15696 - 6571. Does 73 divide p?
True
Let o be (-3 - (-9)/4)/((-4)/80). Suppose -o*k - k = -4304. Is 36 a factor of k?
False
Let p(j) be the first derivative of -77*j**2/2 + 89*j + 82. Is p(-9) a multiple of 34?
True
Suppose -2*i + 108 = 28. Suppose 0 = -i*w + 37*w + 561. Is w a multiple of 11?
True
Let w = -611 + 607. Is 7 a factor of 120/(-70)*420/w?
False
Let t be 1*(-196)/((-49)/7). Does 47 divide (2679/38)/(6/t)?
True
Suppose 0 = 7*p - 18 + 18. Suppose -3*l + 451 = y, p*y = -5*l - y + 749. Is 3 a factor of l?
False
Is (-17 - 35/(-2))/((-2)/(-20732)) a multiple of 30?
False
Let u = 7812 + 508. Is 8 a factor of u?
True
Let x = 220 - 215. Suppose -x*p + 2083 = -j, 0 = -2*p + 5*j + 403 + 444. Does 11 divide p?
False
Let c = -38 - -38. Let b(m) = 6*m + 659. Let q be b(c). Suppose 69 = 7*v - q. Does 26 divide v?
True
Suppose -8 = -p + 4*x - x, -5*p + 29 = -4*x. Suppose p*m = 2411 - 831. Is 17 a factor of m?
False
Let u = 133 - 181. Is 26 a factor of ((-271)/(-2))/(3*(-8)/u)?
False
Is 4 a factor of (-26108)/(-16) + (-3)/(-2)*3/18?
True
Let h(w) be the first derivative of 72*w**2 + 6*w - 46. Is 87 a factor of h(3)?
False
Suppose -4*a + 3*u + 11255 = 0, 61*u + 2833 = a + 63*u. Is a a multiple of 61?
False
Let z be (-27)/(-1 - 2/(-5)). Is 36 a factor of (-287)/(-2) + z/90?
True
Suppose 3*t - 8 = 4*i - 49, -2*t - 20 = -2*i. Let h(a) = -a**3 + 12*a**2 - 11*a - 2. Let j be h(i). Does 4 divide (26 - 2)*(-1)/j?
True
Is 24 a factor of -4 + 2 + (565600/112 - (1 + 1))?
False
Let d = -2981 + 4876. Is 27 a factor of d?
False
Suppose -4*u + 7*u + 5*w - 767 = 0, u + w - 255 = 0. Let g = u - 79. Is g a multiple of 7?
True
Let x(f) = -8*f**2 + 7*f - 1 + f**3 + 11 + 1 - 14*f. Let h be (15/25)/(1/15). Does 22 divide x(h)?
False
Suppose 5*n - 10 = 25. Suppose 0 = n*c - c. Suppose 0 = -l - c*l + 38. Is l a multiple of 19?
True
Let s = 38 - 33. Suppose s*o - 70 = -2*o. Is 37 a factor of o/3*(788/20 - -5)?
True
Let v(y) = y**3 - 6*y**2 - 16*y + 63. Let k(r) = 18*r - 82. Let c be k(5). Is v(c) a multiple of 21?
True
Let x(m) = -m**2 + 23*m + 3. Let v be x(22). Suppose 34*u - 4842 = v*u. Is u a multiple of 29?
False
Let p(l) = -6*l + 16. Let c be p(2). Suppose -c*r = -4, -2*m - 3*m = -3*r - 782. Let t = m + -65. Does 12 divide t?
False
Suppose -31 = 3*h - k, -3*h - 9 = 2*k + 10. Let i(n) = -5*n - 4*n**2 + 9 - 9 + 5*n**2 - 18. Is 18 a factor of i(h)?
True
Let f = 2950 + -2426. Does 10 divide f?
False
Let v(h) = 5*h**2 - 9*h + 9. Let w be v(1). Suppose -2577 + 562 = -w*k. Is k a multiple of 24?
False
Suppose -2*x = 144 - 112. Let h(k) = -5*k**2 - 91*k + 4. Is 7 a factor of h(x)?
False
Let x be 3/2 - 14/(-28). Suppose 4527 = -0*s - 3*s + x*i, 0 = 4*i. Is 9 a factor of s/(-11) - -2*(-2)/22?
False
Suppose -73*a + 140*a - 2259307 = 0. Does 8 divide a?
False
Let q(r) = -r**2 - 29*r + 7*r**2 + 13 + r**2 + 10. Let s(j) = -3*j**2 + 14*j - 11. Let w(l) = -4*q(l) - 9*s(l). Is 7 a factor of w(-6)?
False
Let b = -5 - 25. Let p = 14 - b. Suppose -104 = -2*l + p. Is l a multiple of 6?
False
Is 178 a factor of (-50578)/(-3) - 106/(-159)?
False
Let n(b) = b**2 - 2*b + 44. Let u = 25 - 22. Suppose u = -3*g + w, 5*g + 5*w - 15 = -0*w. Does 11 divide n(g)?
True
Let u = -69 + 544. Is 11 a factor of u?
False
Suppose -6*y + 20 = -11*y. Let s be (89 + -11)/((-2)/y). Suppose -2*h = -2*o - s, 3*h - 2*o = 292 - 60. Is 8 a factor of h?
False
Let r be (80/24)/((-4)/(-6)). Let m be r - -13 - (-1)/1. Suppose -3*t - 1 = -m. Does 4 divide t?
False
Let k be 9/18 + 33/6. Suppose -129 - 351 = -k*m. Does 5 divide m?
True
Suppose 19 = -2*n + 3*n. Suppose -n = -5*d + 6. Suppose -d*h + 594 = h. Does 11 divide h?
True
Let f = 90 - 90. Suppose f = -23*b + 27*b - 20. Is 10/25 + 