ue
Does 13 divide (5/(-6)*2)/(3/(-306))?
False
Suppose 96*j - 3810 = 92*j - 5*n, 3*n = 4*j - 3826. Does 13 divide j?
False
Let t = -73 + 521. Is t a multiple of 32?
True
Suppose -205*l + 222*l - 11526 = 0. Is 38 a factor of l?
False
Is 2 a factor of 5/(-180)*-4 + (-1968)/(-27)?
False
Let x(v) = v**3 - 7*v**2 - v + 9. Let h be x(7). Suppose h*w - 6*w + 264 = 0. Suppose 3*j + 4*n - w = 0, 3*n - 6 = -15. Is j a multiple of 9?
False
Suppose 3*j = 6 - 24. Let t(l) = -5*l**2 + 7*l - 51. Let f(g) = -g**2 + g - 10. Let u(b) = -11*f(b) + 2*t(b). Is u(j) a multiple of 8?
False
Suppose -2*r + 4 = -p - 5, 17 = -4*r - 5*p. Suppose -r*a - 40 = -2*q - 7*a, 2*q - 4*a - 76 = 0. Is q a multiple of 10?
True
Let s = -646 + 1058. Is s a multiple of 23?
False
Let p(k) be the second derivative of -k**6/120 - 2*k**5/15 + k**4/4 - k**3 + 4*k**2 - 4*k. Let g(y) be the first derivative of p(y). Is 7 a factor of g(-9)?
True
Let j(v) = -97*v**3 + 2*v**2 + 2*v. Let p be j(-1). Is p/(2 + 2/(-2)) a multiple of 7?
False
Let k(i) = -i**2 - 4*i + 12. Let d(r) = -r**3 - 13*r**2 - 12*r - 5. Let h be d(-12). Let p be k(h). Let t(z) = 15*z + 13. Is 26 a factor of t(p)?
False
Suppose 0 = 10*g - 12*g - 2, -g = 5*y - 9779. Does 6 divide y?
True
Let j = -51 + 49. Is (77 - 0)/(3 + j) a multiple of 13?
False
Let m = -56 + 119. Is 13 a factor of (-4)/3*m/(-6)?
False
Let g(q) = 25*q + 15. Let n be g(3). Suppose -f + 4*f + 3*v = n, -2*f + 4*v + 60 = 0. Does 10 divide f?
True
Suppose -12*p = -3*p - 36. Does 13 divide 6*(100/8 - p)?
False
Suppose -3*y - 4*k + 86 = 0, -y + 9*k + 54 = 4*k. Let h be (16/6)/((28/174)/7). Let w = h - y. Is 16 a factor of w?
False
Let d(q) = -q + 68. Let m be d(20). Let p = m - 8. Is 7 a factor of p?
False
Suppose 5*i + 4*s - 17 = 0, 8 = -4*s + 20. Is i/5 + 492/15 a multiple of 7?
False
Let x = 99 + -90. Does 26 divide 5/(-15) - (-939)/x?
True
Suppose -5*c = 5*i + 16 + 4, 2*i = -4*c - 8. Suppose c*u = -2*u + 8. Does 4 divide u?
True
Let z(c) be the first derivative of c**2/2 - 4*c - 4. Let x be z(6). Suppose 3*p - 2*a - 163 = -7*a, 3*p - 148 = -x*a. Is 23 a factor of p?
True
Let j = -5 + 13. Suppose -9950 = 3*o - j*o. Is 16 a factor of (-2)/(-5) - o/(-25)?
True
Suppose -4*h = 2*k - 0*k - 6, -5*k - h - 12 = 0. Let v(b) = 3*b + b**3 + 0*b**2 - 3*b**3 - 3*b**2 + 2. Is 10 a factor of v(k)?
True
Let o = 0 + -1. Let s be (-48 + 47)*(-1 - 0). Does 2 divide (s - 2)*7/o?
False
Let z be (-2 + 1)*0 + -1 - -53. Let a = -31 + z. Is a a multiple of 2?
False
Let x = -23 - -25. Suppose 3*q + x*q - 475 = 0. Let o = q + -41. Does 11 divide o?
False
Does 22 divide 1 + (-18)/30 + 1273/5?
False
Let w = 3524 - 2358. Is 22 a factor of w?
True
Let a(y) = -26*y + 28. Is 12 a factor of a(-13)?
False
Suppose 2*n - n = 3*b - 128, -4*n + 34 = b. Does 6 divide b?
True
Suppose 5*h = -3*k + 53 + 7, 36 = 3*h + 3*k. Let p = 1 + h. Is 13 a factor of p?
True
Let o be (-18)/(-5) + (24/(-10))/(-6). Suppose -2*v = 3*v - o*w - 292, 0 = 2*v - 5*w - 110. Does 6 divide v?
True
Let f = -49 + 313. Does 44 divide f?
True
Let i(x) = -14*x**3 + x**2 - x - 3. Let j be i(-2). Let o = j - -52. Does 12 divide o?
False
Suppose -x + 3*w = 2*w - 4, 2*x + 4*w + 4 = 0. Suppose 6*k = -x*u + 2*k + 280, 4*u - k = 533. Is 14 a factor of u?
False
Let s(a) = a + 32. Let b be s(-27). Suppose u + b*u = 618. Is u a multiple of 17?
False
Let v(y) = y**2 - y - 6. Let d be v(3). Suppose -5*a + 2*a + n = -161, 2*a - 4*n - 104 = d. Is 9 a factor of a?
True
Let n be (-13)/(-3) + (-2)/(-3). Let p = -141 + 192. Suppose n*c = p + 19. Is 3 a factor of c?
False
Let c be (32/20)/((-4)/(-10)). Suppose -c*x = -x. Suppose 41 = u - x*u. Is u a multiple of 22?
False
Let y be (-312)/(-65) + (-1)/(-5). Suppose y*n + 42 = 762. Suppose -2*t = 2*t - n. Does 7 divide t?
False
Let p be (-4)/(-3) + (-35)/15. Is 7*((-158)/(-14) - p) a multiple of 27?
False
Suppose -384 = -42*i + 50*i. Is 3 a factor of (-6)/i*8 + 1*8?
True
Let n be 994/(-22) + (-2)/(-11). Let m be ((-15)/12)/(10/40). Is 17 a factor of (-2313)/n - (-2)/m?
True
Suppose -a = 3*c + 21, -40 - 8 = 2*a + 3*c. Let s(w) = 61*w**3 - w**2 + w. Let v be s(1). Let m = v + a. Does 17 divide m?
True
Suppose -5*n = 4*x - 41, 3*x - n = n + 2. Suppose -2*d - 22 = -5*j, 2*j - x*j = d - 7. Suppose 5*v - 109 = -2*h, -138 = -j*h + h + v. Does 10 divide h?
False
Let q(b) = 3*b**3 - 19*b**2 + 82*b - 9. Does 11 divide q(13)?
False
Let v(z) = 5*z - 2. Let m be v(10). Suppose 3*g + 2 = 4*h + 50, 3*g - 2*h = m. Does 8 divide g?
True
Let r(a) be the third derivative of a**5/60 - a**4/4 - a**3/3 + a**2. Does 4 divide r(-4)?
False
Let k(p) be the first derivative of p**4/2 - 10*p**3/3 - 13*p**2/2 + 12*p - 16. Is 42 a factor of k(8)?
False
Let z be 0/((-4)/(-1) + -6). Suppose -w + 25 = r - 34, -2*r - w + 118 = z. Let s = -24 + r. Does 15 divide s?
False
Let f(z) = -z**3 + 20*z**2 + 20*z + 30. Let p be f(21). Does 44 divide 2045/p + (-34)/153?
False
Let s(q) = -7*q + 2. Let k(c) = -c. Let x(d) = 6*k(d) - s(d). Let u be x(7). Is (-85 - u)*(-4)/5 a multiple of 12?
True
Suppose -5*h = 4*w - 9*w - 30, 7 = -2*w + 3*h. Let t(d) = d**2 + 5*d - 3. Is 20 a factor of t(w)?
False
Let l(k) = 4*k + 8. Let v(g) = -g**3 - 12*g**2 + 12*g - 6. Let c be v(-13). Let a(i) = 9*i + 15. Let z(f) = c*l(f) - 3*a(f). Is 3 a factor of z(-8)?
True
Let q(z) = 3*z**3 - 9*z**2 - 2*z + 36. Is q(6) a multiple of 12?
True
Suppose 4*m - 4*a = -m + 3616, -2*m = 3*a - 1428. Is m a multiple of 12?
True
Let k = -804 + 824. Is 3 a factor of k?
False
Suppose 0 = 50*q - 59*q - 54. Let j = q + 68. Is 6 a factor of j?
False
Suppose 0*x - 7*x = -224. Let q = -28 + x. Is q even?
True
Suppose 0 = -3*d - 5*b + 32 + 2060, 0 = -5*b - 20. Suppose 213*q + d = 217*q. Is q a multiple of 22?
True
Suppose -q - 4*q - 55 = 0. Let b = 13 + q. Suppose 5*p - 54 = b*p. Is 7 a factor of p?
False
Let c(k) = -11*k. Let g be c(1). Suppose l - 6*l + 29 = -s, -11 = 4*s + l. Let y = s - g. Is y a multiple of 7?
True
Does 4 divide ((-3)/9)/((20/2094)/(-10))?
False
Is 47 a factor of (-3)/(3/2) - -2015?
False
Let t = -725 - -1463. Is 18 a factor of t?
True
Suppose -4*k = -2*k - 962. Suppose 5*w + 4*f - k = 0, w = -5*f + f + 93. Is w a multiple of 9?
False
Let y(a) = a**2 + 10*a - 19. Let z be y(-13). Is -5*((-92)/z - -2) a multiple of 2?
False
Let d(i) = 4*i - 3*i**2 + 5*i**2 + 3*i**2 - 18 + i**2. Let s(l) = -1. Let k(m) = d(m) - 6*s(m). Does 16 divide k(4)?
False
Let n(p) = -p**3 - p**2 - p - 3. Let a be n(0). Let y(q) be the second derivative of q**4/12 - q**3/6 - 2*q**2 - q. Is y(a) a multiple of 3?
False
Let p(o) be the first derivative of -o**4/4 + 3*o**3 - o**2/2 + 24*o + 20. Is 23 a factor of p(7)?
True
Let d = 194 + 38. Let u be d/28 + 4/(-14). Suppose -u = y - 18. Does 10 divide y?
True
Let o = 581 + -356. Is 45 a factor of o?
True
Suppose -4*w = -4*f - 1004, -5*w + 16*f + 1258 = 12*f. Does 17 divide w?
False
Let r(t) = 2*t - 7. Let d be r(-3). Let a = 18 + d. Suppose z - 2*z - 5*w = -35, -4*w = -a*z + 59. Is 5 a factor of z?
True
Let q = 593 - -447. Is q a multiple of 10?
True
Let x = -138 - -118. Is 794/8 - (-5)/x a multiple of 11?
True
Suppose 15 = 5*n - g, n + 2*g - 6*g + 16 = 0. Suppose -t - 63 = -n*t. Is t a multiple of 6?
False
Let i(c) = 14*c**2 + 2*c + 1. Is 3 a factor of i(2)?
False
Suppose -s = -4 - 1. Suppose -v = s, 0*n + 2*v = n - 94. Is 14 a factor of n?
True
Let o = 9 + -1. Suppose 4*f + 36 = o*f. Let r = f - -10. Does 6 divide r?
False
Is 5 a factor of (638/(-88))/(1/(-4))?
False
Let k = -6 + 6. Suppose 3*a = k, 0*a - 2*a = -2*r + 2. Is -1 + 58*r/2 a multiple of 14?
True
Let p(i) = i + 14. Let y be p(10). Let c be (-4 - y/(-3)) + -2. Suppose -2*t + 14 = c*o, 1 = -o + 2*t - 1. Is 4 a factor of o?
True
Suppose -3 = -2*v + 1. Let c be v/((-3)/(-270)*2). Suppose r - c = -r. Does 15 divide r?
True
Suppose 6*g - 265 = -4*o + 7*g, -140 = -2*o - 2*g. Is 7 a factor of o?
False
Let l(p) = 9*p**2 - 2*p - 5. Let g = 5 + -2. Is l(g) a multiple of 24?
False
Suppose -2*d = 5*o - 356 - 380, 2*o - 4*d = 304. Let z = -80 + o. Does 34 divide z?
True
Suppose -685 = -4*l + 75. Is l a multiple of 10?
True
Let d be (-94)/18 + (-2)/(-9). Let q = 43 - d. Is 12 a factor of q?
True
Let m(v) be the first derivative of 3*v**2 - 3*v + 35. Is m(7) a multiple of 33?
False
Let r(b) = -b + 11. L