 + f*g - 283, 2*i - 145 = -g - 4. Does 14 divide i?
True
Does 13 divide ((-2002)/(-44))/(-3*2/(-36))?
True
Suppose 3*w = 5*s - 6 - 3, -2*w = 5*s - 19. Let l = w - -23. Suppose -m + 30 = -4*u - 22, l = m + 5*u. Is m a multiple of 10?
True
Is (2 + 3/(42/2611))*6 a multiple of 13?
True
Is 2 a factor of 35 + 0 + 12 + -4?
False
Let j(g) = 3*g**2 + 15*g - 4. Suppose -3*f + 4*n - 9 = 0, f + 3*f + 25 = n. Is 6 a factor of j(f)?
False
Let x(s) = -111*s**3 + 2*s**2 + 4*s + 2. Is 4 a factor of x(-1)?
False
Let p(b) be the second derivative of b**4/12 - 2*b**3/3 - 3*b**2 + 3*b. Let z be p(9). Suppose 7 = -k + z. Is k a multiple of 8?
True
Suppose -5*r + 3*r + 4 = 0. Suppose 0*i = -5*w + 3*i + 134, -w = -r*i - 31. Suppose 3*q - 35 = 2*y, 25 + w = 5*q + 5*y. Is 11 a factor of q?
True
Let q = -62 + 90. Is 38 a factor of (-19)/((-2)/q + (-4 - -4))?
True
Suppose 7832 = 3*b - 8*r + 6*r, 13048 = 5*b + 2*r. Is b a multiple of 10?
True
Let m be (-20)/70 - 198/(-7). Let t = 50 - m. Does 11 divide t?
True
Let t(r) = -r**2 - 6*r + 10. Let a be t(-7). Suppose -a*i + 21 + 42 = 0. Is i a multiple of 5?
False
Does 24 divide ((-308)/(-385))/(0 + (-1)/(-670))?
False
Let m(t) = 2*t**2 - 2*t - 40. Is 7 a factor of m(10)?
True
Suppose -2856 = -10*u - 24*u. Is 2 a factor of u?
True
Let v be (0 - 1)/(1*3/(-3)). Let f(a) = 94*a**2 + a. Is f(v) a multiple of 10?
False
Let w(g) = g**2 - 2*g - 93. Is 3 a factor of w(11)?
True
Suppose 0 = 676*t - 675*t - 538. Is t a multiple of 11?
False
Suppose -24 = -2*f + 170. Let n = f + -31. Does 11 divide n?
True
Let s = -593 - -916. Is 62 a factor of s?
False
Let u be ((-18)/(-4))/(-9)*0. Suppose 3*k + u = 18. Let p(m) = 4*m - 6. Does 5 divide p(k)?
False
Let n(y) = -9*y**2 - 2*y. Let h be n(3). Let d = h + 171. Does 21 divide d?
True
Suppose -3*z - 33 = -96. Let a = 34 - z. Suppose 0*x + a = 3*x + 2*o, 0 = -4*x + 4*o + 24. Does 2 divide x?
False
Does 21 divide ((-2)/4)/((-25)/37450)*3?
True
Let i(q) be the third derivative of q**5/15 + q**4/24 + q**3/6 - 12*q**2. Is i(-5) a multiple of 24?
True
Does 10 divide -348*42/28*(-4)/18?
False
Suppose 1032 = 8*m - 984. Does 6 divide m?
True
Does 44 divide 1725/(-6)*(-90)/75?
False
Let f = 4 - -69. Let b be f/2 + (-5)/(-10). Suppose 0 = -3*m + b + 47. Is 10 a factor of m?
False
Suppose -11 = -5*u - 2*w, 4*w + 4 = -2*u - w. Suppose -u*q + 32 = -244. Let n = -62 + q. Is 6 a factor of n?
True
Let u(b) = 2*b**2 - 15*b. Let f be u(10). Suppose 5*k = -2*l + f, 5*l + 10 = 3*k - 2*k. Is k a multiple of 5?
True
Let m be 11/2 + 1/(-2). Let h be (-8)/(-216)*6 - 14/(-18). Is 2 a factor of -3 + m - (-1)/h?
False
Let l = -472 - -1696. Does 72 divide l?
True
Let r(p) = 2*p - 8. Let d be r(5). Let g be (d + -2)/(2 - 1). Suppose w - 2*f = 5, 2*w - 7*w - 5*f + 55 = g. Is w a multiple of 5?
False
Suppose -i - 5*s + 23 = -2*i, s + 5 = 5*i. Suppose 3*r - 99 = 3*w, -76 = -2*r + i*w - 5*w. Is 35 a factor of r?
True
Suppose -3*p = -12 - 93. Let y = p + 20. Is y a multiple of 11?
True
Let r(k) = k**3 + 24*k**2 - 14*k - 49. Does 36 divide r(-24)?
False
Suppose -6 = -4*n + 14. Suppose 7 = 2*x - n. Is 4 a factor of x?
False
Let t(q) = 11*q - 2. Let z be t(2). Suppose s + 2*s + z = 5*a, 2*a - 3*s - 17 = 0. Let y = a + 1. Is y a multiple of 2?
True
Suppose -4*c - 61*c + 41925 = 0. Is c a multiple of 36?
False
Suppose 0 = 7*r - 2*r - 25, 3*r = -3*w + 465. Is 19 a factor of w?
False
Does 2 divide 7*2 - (-19 - -20)?
False
Let j(s) = -s + 6. Let w be j(5). Suppose 0 = 3*y - 14*y - 55. Is 8 a factor of w + 2 + y + 33?
False
Let f(v) = 524*v**2 + 10*v + 11. Is 5 a factor of f(-1)?
True
Suppose -249 = -4*f - 29. Let y(o) = -o**2 + 8*o + 13. Let t be y(9). Suppose -f + 7 = -n - 4*p, -5*p = t*n - 170. Is n a multiple of 10?
True
Let t(m) = 3*m**2 - 4*m + 7. Let n be (9/(-24))/(1/(-8)) + -1. Is 2 a factor of t(n)?
False
Suppose 3*f = 7*y - 2*y + 32, 4*f - 5*y = 36. Suppose f*c = 2*c + 124. Suppose 4*i - x = c, -6*i + 84 = -i + 2*x. Is i a multiple of 8?
True
Let g = -21 - -26. Suppose 4*y - 433 = -g*a, -y + 2*a + 342 = 2*y. Is y a multiple of 10?
False
Suppose -2*y - 6 + 12 = 0. Suppose -2*q = -y*f + 40, 2*q + f = -2*q - 108. Let g = -10 - q. Is g a multiple of 16?
True
Let i(p) = 9*p**2 - 3*p + 5. Let l(c) = 17*c**2 - 5*c + 10. Let v be (3/6 + -1)*22. Let o(s) = v*i(s) + 6*l(s). Is 16 a factor of o(-4)?
False
Suppose o + 213 = 3*o - a, 2*a - 222 = -2*o. Let q = o + -58. Is q a multiple of 10?
True
Let k = -352 + 389. Is 31 a factor of k?
False
Let l be -1*(-4)/(-10)*-5. Let h be l/6 - 1696/(-24). Let v = 119 - h. Does 12 divide v?
True
Let d = 23 - 19. Suppose -5*m + 335 = q + 4*q, -140 = -2*q + d*m. Does 17 divide q?
True
Let a(x) = -x**3 + 5*x**2 + 3*x + 10. Let u = 10 + -3. Let p be a(u). Let l = -39 - p. Is l a multiple of 14?
True
Does 18 divide (1/1)/((-292192)/(-32464) + -9)?
False
Let r(k) be the first derivative of -k**4/4 - 3*k**3 - 7*k**2/2 - 4*k + 3. Let v be r(-6). Does 14 divide (-60)/(-35)*v/(-4)?
False
Suppose 4*a = -85*h + 87*h + 1116, 5*h = 5*a - 1390. Is 11 a factor of a?
False
Let f(v) = 6*v**2 + 5*v - 2. Let g(m) = m**3 + 13*m**2 + 9*m - 5. Let w(q) = -5*f(q) + 2*g(q). Let o(l) be the second derivative of w(l). Does 6 divide o(4)?
False
Let y be -1 + 0 + (4 - 1). Suppose -3*q + r - 4*r + 123 = 0, y*r = -5*q + 196. Does 19 divide q?
True
Let p(f) be the third derivative of -f**6/360 - f**5/120 + f**4/4 + f**3/2 + 2*f**2. Let k(u) be the first derivative of p(u). Does 5 divide k(0)?
False
Let k(q) = -13*q**3 + 2*q**2 - 4*q + 7. Is 46 a factor of k(-5)?
True
Suppose 0 = -2*q + 4*o + 52, 3*q - 4*o - 74 = o. Suppose 0*d + q = d. Is 3 a factor of d?
True
Let g = -42 + -37. Let x = g - -124. Is x a multiple of 22?
False
Let u(c) = c**3 + 8*c**2 + 6*c - 2. Let d be u(-7). Let i = -40 + 40. Suppose v + i*v - 399 = -5*o, -v - 391 = -d*o. Is 23 a factor of o?
False
Let z be (60/(-18))/((-2)/3). Does 13 divide ((-114)/(-10))/(z/75)?
False
Let r be 4/(1/(-24)*-2). Suppose 0 = n, 4*w - 3*n + 0 - r = 0. Does 6 divide w?
True
Suppose 4*n - 3907 = -c, 5*c - 3*c = -5*n + 4886. Is n a multiple of 50?
False
Let n = -1421 - -3325. Is n a multiple of 14?
True
Let r be 1/2*0/(-1). Let p(b) = -2*b + 89. Is p(r) a multiple of 22?
False
Suppose -4*w + 4*r + 24 = 0, w + 4 = -3*r - 2. Suppose -w*v - t + 2*t + 3 = 0, v = -5*t + 17. Is 20 a factor of (-555)/30*v*-1?
False
Suppose -14 = 3*w + 2*a, 4*w - 4*a + 13 = -a. Let p be (-24)/(-4) + -4 + w. Is p + 76 + (-1 - 1) a multiple of 18?
True
Let r = -648 + 1231. Is 55 a factor of r?
False
Let n = 484 + -449. Is 30 a factor of n?
False
Let s be 1*(-11)/(11/(-24)). Let r = 132 - s. Is r a multiple of 27?
True
Let p(g) = 2*g + 2. Let j be p(1). Let k be (j + 13)*(1 + 8). Suppose 3*q = k - 18. Does 10 divide q?
False
Let y(w) be the first derivative of w**5/20 + 2*w**4/3 + 2*w**3/3 + w**2 - 3*w + 10. Let t(x) be the first derivative of y(x). Is t(-6) a multiple of 22?
False
Let f = 3 + 2. Suppose 3*u - 12 = r - f, -3*r = u - 29. Is -2*((-228)/r - -3) a multiple of 17?
True
Let x(a) = a**2 + 0*a**2 + 2*a**2 - a**2 - 26 - 12*a. Is 61 a factor of x(-9)?
True
Let z(m) = -9*m**3 + 14*m**3 + 2*m - 5*m**2 + 3 - 2*m**3. Suppose 27 = 4*l - 5*q, -2*l + 4*l + 5*q = -9. Is 45 a factor of z(l)?
True
Let n = 6 + -5. Let a be -4 + n - -3 - 3. Let p = a + 34. Is p a multiple of 6?
False
Let t(f) = -2*f**3 + f**2 + 2*f. Let j be t(-2). Suppose -4 = 4*s - j. Suppose s*c + c = 128. Is 10 a factor of c?
False
Suppose 1019*b + 1824 = 1027*b. Is b a multiple of 7?
False
Suppose 15 = 5*k, -k - 82 = 5*g - 0*k. Let y = 125 + g. Is 36 a factor of y?
True
Suppose -5*m + 4788 = 31*t - 29*t, 0 = 5*m - t - 4776. Is m a multiple of 64?
False
Let n(l) = l**2. Let q(s) = s**3 + s**2 - s - 7. Let u(i) = -6*n(i) - q(i). Let b be u(-7). Suppose -w + 20 = 3*c, b*w + 4*w + 2*c = 90. Does 9 divide w?
False
Suppose 2*f - 3*l - 16 = 0, -l = -3*f - 0*l + 10. Suppose f*n - 6 = -2, 85 = s + 3*n. Is s a multiple of 10?
False
Is ((-2553)/(-4))/(((-117)/(-24))/13) a multiple of 89?
False
Let h = 10 - 203. Let w = -16 - h. Suppose 5*q + w = 3*p + 2*q, 0 = -4*q - 4. Does 29 divide p?
True
Suppose 0 = 63*r - 46*r - 20570. Is 6 a factor of r?
False
Let y = 55 + -80. Let g = 24 + y. Is (0 + 3)*g - -11 even?
True
Let c = 10 - 2. Let y be 1 + c + (-2)/