 Is 32 a factor of u?
True
Let y be 3/(-6) - 246/(-12). Suppose 0 = -6*s + 2*s + y. Is 4/s - (-462)/35 a multiple of 3?
False
Suppose 8 = c - 2*v, -2*c = 3*v - v + 8. Suppose -2*o + 0 + 6 = c. Suppose -30 = -5*p - h + 58, -5*h - 64 = -o*p. Does 18 divide p?
True
Suppose 3*a = -3*d + 4092, 2729 = -2*d + 4*d + a. Is 91 a factor of d?
True
Let g = -3096 + 4832. Is g a multiple of 44?
False
Let v be 16/12*(-45)/(-6). Suppose 0 = -n + v - 6. Suppose 314 = 5*i - i - 2*x, 5*x = n*i - 299. Is 27 a factor of i?
True
Let a = 5 + -1. Let r(f) = a*f**3 + f - 3*f**3 + 5*f + 8 + 8*f**2. Is 4 a factor of r(-7)?
False
Suppose -988 = -7*b + 1161. Suppose -b = -2*s + g - 6*g, -2*g = -10. Let v = s + -93. Is v a multiple of 12?
True
Let u be 6/15 + (23/5 - 0). Suppose 13 - 1 = 4*g, u*c - 1132 = g. Is 19 a factor of c?
False
Let k be (14 - 2)*(-12)/(-18). Suppose 2*z + 4 = -k. Let b(g) = -g**3 - 5*g**2 - g - 2. Is b(z) a multiple of 10?
True
Suppose 1924 = 48*m - 31916. Is 12 a factor of m?
False
Let x(q) be the second derivative of -q**3/6 + 11*q**2/2 - 5*q. Let l be x(6). Suppose -7*k + l*k = -34. Does 4 divide k?
False
Let i be 4/12*-6*1. Is (3645/18)/(-5)*i/1 a multiple of 9?
True
Let b = -6 + 2. Let u be b*2/4 + 20. Let n = -10 + u. Is n a multiple of 6?
False
Suppose -3272 = 28*v - 15032. Is 12 a factor of v?
True
Suppose 5*l + 12 = -a, 0 = -2*a - l + 4*l + 15. Suppose 3*n + c + c = 21, -a*n + 5*c = 0. Suppose 5 = 3*m + 14, 2*m = -n*z + 44. Is z a multiple of 10?
True
Let a = 0 - 0. Suppose -7*u + 10 + 11 = a. Suppose -5*b + 94 = c, -3*b + 38 = -u*c - c. Does 12 divide b?
False
Suppose 15*u - 13*u + 166 = 0. Let o = -47 - u. Is 18 a factor of o?
True
Let o(d) = 106*d**2 + 4*d + 5. Is 32 a factor of o(-1)?
False
Let p be 2/(((-8)/(-268))/1). Let v(y) = -3*y - 6. Let j be v(-3). Suppose 0 = j*m - 250 + p. Does 12 divide m?
False
Let t(a) = 26*a**2 + 92*a + 3. Is t(6) a multiple of 21?
True
Suppose -i + 5772 = 2*p + 3*p, 0 = -5*p + i + 5778. Is p a multiple of 21?
True
Let z = 1 - -3. Let s = -148 - -200. Suppose -z*m - s = -3*x - 0*m, 2*x - 28 = -4*m. Is x a multiple of 7?
False
Suppose 2*p = 3*q + 3*p - 157, -p = -5*q + 259. Is 26 a factor of q?
True
Let g = 6 - 6. Suppose g*i + 20 = -2*i. Is (3 + 22/i)*40 a multiple of 16?
True
Let w(l) = -2*l - 7. Let k(u) = -2*u - 7. Let f(o) = -6*o - 1. Let c be f(-1). Let j(d) = c*w(d) - 6*k(d). Is j(8) a multiple of 23?
True
Let q = -29 + 79. Suppose q + 55 = 3*o. Is o a multiple of 5?
True
Suppose -2*z + 3*s + 141 = -140, -535 = -4*z - 3*s. Let w be ((-7)/(-3))/(6/(-72)). Let g = z + w. Is 28 a factor of g?
False
Let u(k) = -k**2 + 11*k + 22. Let s = 64 - 55. Is 10 a factor of u(s)?
True
Suppose -2*f - 2*f + 1166 = 5*a, 2*a + 5*f - 480 = 0. Is 16 a factor of a?
False
Let b be (-2)/(-8) - (-66)/24. Suppose 3*x = 4*x - 2, -2*s + b*x = 0. Is 3 a factor of s?
True
Suppose n = -y - 4*y + 13, -5*n - 3*y + 153 = 0. Is 100/6 + (-22)/n a multiple of 4?
True
Let o(n) = -6*n - 15 - 17*n**2 + 6 - 2*n**3 + n**3. Does 28 divide o(-17)?
False
Suppose 53*c + 6523 = 134730. Does 41 divide c?
True
Let o(n) = 15*n**2 + 2*n + 4. Let d = 52 + -50. Does 17 divide o(d)?
True
Let u(a) = -3*a + 2. Let q be u(-8). Suppose -q*v + 21*v + 35 = 0. Does 7 divide v?
True
Let s(o) be the first derivative of -o**3/3 - o**2/2 + 4*o - 6. Let d be s(0). Suppose -d*i + 109 + 35 = 0. Does 33 divide i?
False
Let l = 12 - 12. Suppose -4*y - 2*y + 192 = l. Does 14 divide y?
False
Let u(d) = 2*d + 3. Let w be u(-4). Let l(h) = -6*h**3 - 6*h**2 + 4*h - 4. Let z(c) = 5*c**3 + 6*c**2 - 4*c + 3. Let j(a) = 4*l(a) + 5*z(a). Does 9 divide j(w)?
False
Suppose 0 = 6*b - 14*b - 1760. Let t = b - -316. Does 24 divide t?
True
Let n be (-75)/(-2)*(-36)/27. Let u = n - -158. Is 22 a factor of u?
False
Let b(z) = 9*z**3 + 18*z**2 + 45*z - 8. Let t(u) = -4*u**3 - 9*u**2 - 22*u + 4. Let d(s) = 3*b(s) + 7*t(s). Is d(-9) a multiple of 10?
False
Suppose 0 = -3*w + w + 32. Suppose -5*l + 165 = -4*j, -139 - 19 = -4*l - 2*j. Suppose 3*u + 4 = w, -y = 4*u - l. Is 7 a factor of y?
True
Let m = -86 + 128. Suppose 0 = l + m - 138. Is l a multiple of 8?
True
Let k(z) = -z + 4. Let y be k(7). Is 1365/10*(-2)/y a multiple of 38?
False
Suppose -10*k = -a - 13*k + 119, 4*k + 412 = 4*a. Does 29 divide a?
False
Let f = 2 + -11. Let y = f - -9. Does 27 divide 43 - (2 + -2 - y)?
False
Let y(v) = v**3 - 13*v**2 + 12*v + 3. Suppose -2*k + k = -12. Let d be y(k). Suppose n - d*n + 40 = 0. Is n a multiple of 10?
True
Suppose z = 17 + 7. Is z a multiple of 8?
True
Suppose -11*h + 87 + 67 = 0. Is 4 a factor of (-6)/8*-2*h?
False
Let f = 38 + -23. Suppose -g = 5*a - 19, -f = -2*a - 2*g - 1. Suppose a*s - 46 - 26 = 0. Is 8 a factor of s?
True
Suppose 0 = 758*s - 746*s - 11304. Is 29 a factor of s?
False
Let x(o) = o**3 - 39*o**2 + 43*o - 96. Is x(38) a multiple of 5?
False
Suppose 0 = -x - 2*x + 120. Does 34 divide ((-153)/(-36))/(1/x)?
True
Let d(u) = u + 1. Let w be d(1). Let r(f) = f**3 + 3*f**2 - 5*f - 4. Let o be r(-4). Suppose y - 2 = o, -2*b - 2 = w*y - 72. Is b a multiple of 5?
False
Suppose -11*d + 14*d - 7164 = 0. Suppose 5*j - 4*g - d = -g, -4*j + 1907 = g. Is 53 a factor of j?
True
Suppose -3*y = -0*y - 27. Let u = -9 - y. Is u/(-8)*800/30 a multiple of 30?
True
Let u be (-7)/(105/(-6))*10. Let s be ((-12)/18)/(u/(-138)). Suppose 3*l = -s + 77. Does 9 divide l?
True
Suppose k - 676 = -4*f + 6*f, -5*k = f - 3347. Is k a multiple of 6?
False
Let w = -3 - 5. Let t(z) be the second derivative of z**5/20 + 5*z**4/6 + 3*z**3/2 - 4*z**2 - 5*z. Is 16 a factor of t(w)?
True
Let r(b) be the third derivative of 19*b**4/24 + b**3/2 + b**2. Suppose -3*i = -4*f + f - 9, 5*f = 3*i - 9. Is 12 a factor of r(i)?
True
Let v = 395 + -259. Is 17 a factor of v?
True
Let t(c) = 5*c**2 + 44*c + 187. Is 21 a factor of t(-5)?
False
Let k(c) = c**3 - 4*c**2 + c + 21. Is k(5) a multiple of 3?
True
Let y(d) = -d**2 + 11*d - 10. Let r be y(10). Let b be 1 + (-1)/(-1) + r. Suppose -b*q + 6*q + 2*x - 18 = 0, 10 = -2*x. Is q a multiple of 5?
False
Let z(p) = 133*p**3 + p**2 - 5*p + 5. Is 11 a factor of z(1)?
False
Let o(y) = -y**2 - 2*y + 1. Let f = 8 - 11. Let t be o(f). Let p(d) = -9*d + 3. Does 7 divide p(t)?
True
Suppose 0 = -25*p - 54*p + 341517. Is p a multiple of 33?
True
Is 26/((-3)/(-170) + (-20)/(-200)) a multiple of 19?
False
Suppose 11*n - 352 = 10*n. Does 25 divide -12*n/(-84) - 4/14?
True
Suppose 6*p - p + 4*k = 587, -p = 4*k - 127. Let s = p - 55. Does 13 divide s?
False
Let f(s) = -s**3 + 21*s**2 - 20*s + 185. Is 33 a factor of f(19)?
False
Let u = 39 - 123. Is (18/(-21))/(2/u) a multiple of 12?
True
Is 100 a factor of 5/(-2) + 601920/128?
True
Let r(z) = -z + 3. Let a be r(-2). Suppose -7*x + a*x = -156. Is 26 a factor of x?
True
Let u be (-722)/4 - 8/(-16). Let y = 266 + u. Does 43 divide y?
True
Let i(u) = -2*u + 14 - 11 + u. Let t be i(0). Suppose t*l - 4*a = 94, 5*a - 177 = -4*l - 0*l. Does 8 divide l?
False
Let t = -661 - -972. Does 5 divide t?
False
Suppose -k + 1 = -1. Let p = k + -27. Let a = p - -82. Does 15 divide a?
False
Let r be 3 - 1/((-1)/3). Let j be 8/(-20)*2 + 48/10. Suppose j*s + 142 = r*s. Is 29 a factor of s?
False
Suppose -b - 18 + 23 = 0. Let r = 4 - -14. Suppose 4*z - b*w - 45 = 0, 2*z - r = -2*w + 6*w. Does 6 divide z?
False
Let q(h) = 6*h**2 - 26*h + 12. Does 6 divide q(6)?
True
Let w = 86 - 88. Let a(v) = -80*v + 18. Does 19 divide a(w)?
False
Let q = -21 + -30. Suppose -4*n - 12 = -d, 0*n + 5*d = 5*n. Does 3 divide n + q/((-6)/2)?
False
Suppose z + z = -x + 6, -5*z - 3*x + 17 = 0. Is 22 a factor of -2 - ((-132)/(z + 2) + -2)?
True
Let x(v) = -v**3 - 9*v**2 - v + 2. Let y be x(-9). Let w = 52 - y. Is 11 a factor of w?
False
Suppose -2*q - 4262 = -4*i, -2*i - 11*q + 8*q = -2151. Is 13 a factor of i?
False
Let y(u) = 4*u - 18. Let a be y(0). Is (a/21)/((-5)/805) a multiple of 19?
False
Let h be (-4)/3*(-21)/14. Let p(z) = -14*z**2 + z**h - z + 4 + 6 - z**3. Is p(-13) a multiple of 15?
False
Let m = -4261 + 6228. Does 7 divide m?
True
Let v be (-284)/(-3) + (-1)/(-3). Let x(w) = w**3 - 9*w**2 - 4*w + 2. Let i be x(10). Let h = v - i. Is 11 a factor of h?
True
Let n = -1009 + 2386. Is n a multiple of 51?
True
Let f(w) = -12*w**3 + 6*w**2 + 32*w + 6. Is f(-7) a multiple of 32?
Tr