300)/(1 - (-246)/(-250))?
False
Suppose 11*i - 10*i - 29 = 0. Does 2 divide i?
False
Suppose -w = -b - 13, 0 = 4*b + w + w + 28. Let i = b + -9. Let t = i + 27. Does 3 divide t?
True
Let i(k) = 3*k**2 + 8*k + 1. Let z be i(-3). Suppose -z*j = -437 - 43. Is 5 a factor of j?
True
Is 9 a factor of 3/(-7 + 984/140)?
False
Let z(x) = 2*x**2 + 13*x - 10. Suppose 48 = -5*k + j, 2*k + 2*j + 54 = -3*k. Is z(k) a multiple of 12?
True
Let x(h) = 26*h - 16. Is x(8) a multiple of 12?
True
Let x = -507 + 617. Is 12 a factor of x?
False
Suppose 394*o - 6414 = 388*o. Does 10 divide o?
False
Let r be ((-1)/(-2))/(((-3)/54)/1). Does 8 divide (r + 8)/(2/(-144))?
True
Suppose -24*x - 304 = -28*x. Let c = x - 34. Is c a multiple of 14?
True
Is 66 a factor of 2733/2 + 0 + 294/196?
False
Let j be (4/(-5))/((-8)/(-60)). Let v be 15/10 + j/4. Suppose -4*q + 110 + 34 = v. Does 10 divide q?
False
Suppose -11*w = -7*w - 3428. Does 15 divide 4/(-18) - 5/((-45)/w)?
False
Let w = -9 - -30. Suppose 19 = g + 2*x, -4*g + w = -2*x - 35. Suppose -g = -0*b - 3*b. Is 2 a factor of b?
False
Let y(c) = -12*c - 257. Is 2 a factor of y(-27)?
False
Let j = -1052 - -1631. Is 17 a factor of j?
False
Suppose -2*u = 4*a + 18, -6*u = -3*u + 2*a + 7. Let k(y) = 3*y**2 + 2*y - 2. Let i be k(u). Suppose -4*l = 4, w + 0*w - i*l = 56. Is 7 a factor of w?
False
Let o = 359 - 79. Is 12 a factor of o?
False
Does 10 divide 0 - 1558/(-6) - 6/(-18)?
True
Let u(w) = 91*w**2 - w - 1. Let p be u(-1). Let j(t) = 136*t**2 + 1. Let d be j(1). Let v = d - p. Does 23 divide v?
True
Suppose 4*y = -4*l + 4, -2*y + 3*l - 2*l + 8 = 0. Suppose -4*f + 48 = y*q, 4*f + 3*q = -f + 57. Is f a multiple of 8?
False
Let s(z) = -23*z**3 - 3*z**2 + z + 7. Is s(-3) a multiple of 26?
True
Let u(t) = 3*t**2 - 9*t - 12. Is 18 a factor of u(11)?
True
Let a(r) = r**3 - 6*r**2 + r - 6. Let c be a(6). Suppose -2*m - 32 - 14 = c. Let w = m + 67. Does 22 divide w?
True
Let x(c) be the first derivative of c**4/4 + 8*c**3/3 + 4*c**2 + 5. Is x(-4) a multiple of 19?
False
Let p = 2847 + -1899. Is p a multiple of 12?
True
Let u be (-1781)/(-117) + 4/(-18). Suppose -15 = -5*j - 5*w, 4*j - u = 3*j + 5*w. Suppose 0 = -0*s - s - j*x - 19, 3*x = 4*s - 39. Is s a multiple of 2?
True
Let q(x) = -4*x + 2*x + 6*x**2 - 2 - x**3 + 3*x. Let s be q(6). Suppose 0 = y - 3 - 0, 0 = a - s*y - 2. Does 6 divide a?
False
Let p = -32 - 139. Let l = 9 + -5. Does 4 divide (l/3)/((-38)/p)?
False
Suppose f - k - 1 = 2, 0 = k. Suppose 0 = f*a - 0*a. Suppose 3*v + t - 44 = a, -3*v + 2 = 2*t - 44. Is 4 a factor of v?
False
Let n be ((-56)/12 - -4) + 68/(-6). Is 5 a factor of (-3)/9 + (-220)/n?
False
Suppose 4*s = p - 9, -4*p + 5 = -2*p + 5*s. Suppose -22*g + 104 = -21*g. Suppose p*i - g = i. Does 8 divide i?
False
Let k(n) = -2*n**3 - 6*n**2 + 5*n + 12. Is k(-6) a multiple of 8?
False
Let o(f) = 3*f + 26. Let w be o(-7). Suppose -3*s - 171 = -2*b, -b + w*s + 68 = -0*b. Is 18 a factor of b?
False
Let c = 1699 - 529. Is c a multiple of 30?
True
Suppose 28*w - 1545 - 6967 = 0. Does 19 divide w?
True
Suppose 6*h - 160 = h. Let v = h - 4. Is v a multiple of 14?
True
Let j = 82 - 225. Let n = j + 206. Let g = n - 45. Is g a multiple of 12?
False
Let c be -18*(-2)/(-3 + 9). Let y be -5*(-2)/c*3. Suppose 78 = 3*b + 2*p, -137 = -y*b - 2*p + p. Does 5 divide b?
False
Let f(b) = 3*b - 2. Let k be f(1). Let m(j) = -59*j**2 + 2*j + 1. Let u(q) = 295*q**2 - 11*q - 6. Let n(a) = -11*m(a) - 2*u(a). Does 18 divide n(k)?
False
Let j be 1/9 - (-85)/45. Is 10 a factor of (-9)/(54/(-520))*3/j?
True
Let a be -1 + 2/((-6)/9). Let w be (a/6)/(4/6). Let y(z) = -56*z + 1. Is y(w) a multiple of 19?
True
Suppose 28*o + 6 = 25*o. Does 9 divide o + 7/3 + 808/6?
True
Let a(c) = -c**2 - 6*c + 3. Let i be a(-6). Let x(q) = q**2 - 14 + 16 + q**2 + 4 - 6*q. Does 3 divide x(i)?
True
Suppose -5*c + 4 + 6 = 0. Suppose 0 = c*i + 4*x - 2, 16 = 3*i - 5*x + 2. Suppose -i*r + 8*r = 50. Is 10 a factor of r?
True
Let z(q) = -5*q - 34. Does 42 divide z(-44)?
False
Let g(x) = -x**3 - x**2 - 3*x + 4. Let b(j) = -j**2 - 2*j + 7. Let n be b(-6). Let s = 14 + n. Is 12 a factor of g(s)?
False
Suppose -y = -3*a + 258, 5*a = 3*y + 592 + 170. Let b = -169 - y. Is b a multiple of 16?
True
Let w be -2*(-2)/(-4) - 23. Let b be 4/6 + (-368)/w. Suppose 4*p = b + 80. Does 8 divide p?
True
Suppose 5*h + 125 = -0*h. Let b = h - -9. Let r = b - -31. Does 15 divide r?
True
Suppose 37*q = 22*q + 4590. Is 17 a factor of q?
True
Let z = -276 + -335. Is 25 a factor of 5/30 - z/6?
False
Let s(n) = -n**2 - 11*n + 30. Let d(r) = -2*r**2 - 22*r + 60. Let q(t) = -3*d(t) + 5*s(t). Is q(-19) a multiple of 61?
True
Let i = 2 + 20. Let q = i - -2. Let t = q + 44. Is t a multiple of 17?
True
Let k = -262 + 424. Suppose 2*w = 2*c + w - k, 0 = c - 5*w - 90. Is 20 a factor of c?
True
Let t(q) = -q**3 - 4*q**2 + 4*q + 6. Let r be t(-5). Let h = 17 - r. Does 6 divide h?
True
Let c(z) = 4*z + 7 - 3*z + 0*z. Let d be c(-4). Suppose -d*p + 2 = -q + 50, -q - p = -52. Is 13 a factor of q?
False
Let b = -1555 + 1935. Is 10 a factor of b?
True
Suppose -u + 8 = 4*y + 2, -5*u + 30 = 3*y. Is 11 a factor of (-2)/(28/u) - (-10088)/182?
True
Is 70 a factor of 848/3 + 40/30 - 4?
True
Let v = 4319 + -2588. Is 13 a factor of v?
False
Suppose 0 = l - 11 - 2. Suppose 2*r = -5*j - 21, -5*j - l = r - 0*r. Let c = 6 - r. Does 8 divide c?
False
Suppose -1 + 21 = 5*a. Suppose 0 = -a*i - 12, 130 = -5*m - 4*i + 583. Is 11 a factor of m?
False
Is (-5 - (-42)/6) + -2 + 5885 a multiple of 52?
False
Suppose 3*f + 852 = 3*r, r - 576 - 272 = 3*f. Let b = f - -410. Does 16 divide b?
True
Is 98 a factor of 18/42 - 1*56324/(-28)?
False
Suppose -4*o + 954 = 3*j - j, 1423 = 3*j + 2*o. Suppose 0 = -4*p + 3*g - j, g - 2 = 1. Let m = -80 - p. Is m a multiple of 12?
True
Let b = 55 + -53. Suppose -k - 4*d = -21, 6*k - b*k - 66 = 2*d. Does 11 divide k?
False
Let t(q) be the third derivative of -q**5/60 - 5*q**4/24 + q**3/3 - 3*q**2. Let k be t(-5). Suppose -k*i = y - 55, -40 - 45 = -2*i + 5*y. Is i a multiple of 10?
True
Let i be (8/6)/(2/6). Suppose -14 + 14 = 5*g. Suppose g = -3*y - i + 19. Is y even?
False
Suppose 16*x = 34989 - 6941. Does 23 divide x?
False
Suppose -4*x + 3*v - 7*v + 140 = 0, -175 = -5*x + v. Suppose -3 = r - x. Let y = -22 + r. Is y a multiple of 5?
True
Let z = -16 + 26. Let p(l) = l**2 - 9*l - 8. Let k be p(z). Is 17 a factor of 3*k*(-34)/(-4)?
True
Suppose 0 = -5*t - 3*z - 56, z - 10 = 6*z. Is 18 a factor of 4/t - (-7543)/95?
False
Let t = 1295 + -144. Is 12 a factor of t?
False
Let o = 12 - 13. Let r be (147 + 1)/(3 + o). Suppose 5*y = -0*y - 3*w + r, 3*y - w - 50 = 0. Is y a multiple of 8?
True
Suppose 0 = 5*p + 5*m - 1975, -16*m + 1170 = 3*p - 18*m. Is p a multiple of 14?
True
Suppose 0 = a - 5, u - 4*a = -18. Suppose 5*n - 1026 = u*f - 345, -150 = -n + 5*f. Is n a multiple of 15?
True
Suppose 0 = -5*r + 5*m + 115, 5*m = 3*r + 16 - 77. Does 10 divide 9/(r/(-6))*-10?
True
Suppose 5*k + 1188 = 8*k. Is k a multiple of 82?
False
Suppose -152*j + 158*j = 270. Is 2 a factor of j?
False
Does 5 divide 4/(-18) - (-5098)/18?
False
Suppose -2*m = 5*k - 2607, 3*k + 2*k = -25. Suppose 6*v = -v + m. Does 15 divide v?
False
Suppose 0 = 2*q - b + 16, 3*b = 5*q - q + 30. Does 11 divide (-1988)/(-36) + 2/q?
True
Let a(o) = -23*o. Let i(h) = -22*h + 1. Let s(l) = 2*a(l) - 3*i(l). Let j(b) = -21*b + 3. Let w(r) = 5*j(r) + 6*s(r). Does 14 divide w(3)?
True
Let g(u) be the second derivative of u**4/6 - u**3/2 + u**2 - 11*u. Let r be g(2). Suppose 2*o - 90 = -4*p, 23 = -r*p + 5*o + 92. Is p a multiple of 7?
True
Suppose 19*n + 31*n = 107750. Is n a multiple of 28?
False
Let o(r) = -90*r - 36. Does 27 divide o(-10)?
True
Let o(l) = 2*l - 49. Let h be o(26). Does 6 divide (50/15 - 1/h) + 97?
False
Let s = 5420 + -3020. Is s a multiple of 75?
True
Suppose -7084 = 9*n - 20*n. Does 23 divide n?
True
Suppose -5*l = 2*o - 26020, 51*l + 15628 = 54*l - 2*o. Does 38 divide l?
True
Let k = 60 - 84. Let c(f) = -f**3 - 12*f**2 + 13*f - 9. Let w be c(-13). Let z = w - k. Does 15 divide z?
True
Suppose -6 = -2*i + 2. Suppose -16 = 2*o - i*l - 56, 4*l = 3*o - 68. Does 14 divide o?
True
Let n be (1 - (-4)/(-6))/((-5)/(-75)). Suppose -n*c - 2*d + 338 = 0, -22 = 4*c + d - 293. Is c a multiple of 4