pose 5*u - k + 43 = 0. Is u/4*(-1 - 3) a multiple of 8?
True
Suppose 4*p = -5*t - 222, 0 = -9*t + 4*t - 5*p - 225. Let v = -29 - t. Is 13 a factor of v?
True
Suppose 7*f - 3 = 4*f. Let k be (-1)/(f/(-4))*1. Suppose -5*a = -k*a - 4. Is 2 a factor of a?
True
Suppose 2*h = -x - 417, -h - 3*x = h + 415. Let d be h/(-4) + 3/(-12). Suppose -5*b + b + 68 = 3*y, 3*b + 2*y - d = 0. Is 7 a factor of b?
False
Let y(q) = -10*q**2 + 1. Let r be y(2). Let g = r - -99. Let w = g + -39. Is w a multiple of 21?
True
Let b(t) = t**3 + 6*t**2 - 6*t - 6. Is 4 a factor of b(-3)?
False
Suppose -3*w = -3*v - 0*v - 507, -v + 3 = 0. Is 17 a factor of w?
False
Let l(q) = -q**2 + q + 18. Let s(m) = -m**2 + 2*m - 1. Let a be s(1). Suppose a = 2*z - 6*z. Does 9 divide l(z)?
True
Does 10 divide ((-270)/(-72))/((-6)/(-80))?
True
Let x(m) = -33*m - 1. Let q be x(-1). Suppose 5*f = 3*s + q, 2*f - 2*s + 6*s + 8 = 0. Is 7 a factor of 480/27 + f/18?
False
Suppose 3*m - 200 = -s, -4*m - 21 = 2*s - 287. Is 10 a factor of m?
False
Let u(w) = w**3 + 8*w**2 - 12*w + 13. Let m be u(-9). Let o = m - -16. Is o a multiple of 14?
True
Suppose 4*s - q + 1 = -3, -2*s - 3*q = 2. Does 7 divide (-84)/(-7) - (-1 + s)?
True
Let i(a) = a**2 + 6. Let x(y) = y - 7. Suppose 0*k + 8 = -t + 3*k, -2*t - 2*k + 24 = 0. Let h be x(t). Does 3 divide i(h)?
True
Let n(a) = -a**3 + 3*a**2 + 4. Let h be n(3). Let c = -2 + h. Suppose -4*b - c*o + 130 = 0, 2*b = 3*o + o + 40. Does 15 divide b?
True
Let w(d) = -59*d - 7. Let v(g) = 29*g + 3. Let m(i) = -5*v(i) - 2*w(i). Let p be m(-1). Let c = 57 - p. Is 17 a factor of c?
False
Let u = 127 + -58. Is 23 a factor of u?
True
Let s(k) = k**2 - 6*k + 4. Let v be s(3). Does 11 divide (22/(-6))/(v/15)?
True
Suppose -5*g + 30 - 10 = 0. Is g even?
True
Let k be (-447)/21 + (-2)/(-7). Is 5 a factor of (-54)/k*56/6?
False
Suppose 2*s + 2*m + m = 108, -5*m + 216 = 4*s. Is s a multiple of 15?
False
Suppose -2*d + 8 + 12 = -2*b, 0 = 4*b + d + 20. Let q = b - -31. Is q a multiple of 12?
False
Let n = 40 + -26. Does 2 divide n?
True
Suppose 8*u - u - 504 = 0. Is u a multiple of 12?
True
Let l = 236 + -146. Is 6 a factor of l?
True
Suppose 0 = -2*s + 2*x - 66, 5*x - 4*x + 83 = -3*s. Let c = 47 + s. Is 6 a factor of c?
True
Suppose 0 = -3*i - 0*i + 45. Let s = 24 - i. Let t = 19 + s. Does 15 divide t?
False
Let l be (-46)/(-10) - 3/5. Suppose l*i + 5 = 5*i. Suppose 0 = -3*g - 2*c + 17, 0 = -0*g - g + i*c - 17. Is g even?
False
Let j(u) = -u + 2. Let y be j(7). Let k(l) = l**2 - l. Is k(y) a multiple of 12?
False
Let v(j) = 4*j**2 - 5. Let t(s) = 1. Let c(f) = 20*t(f) + 4*v(f). Is c(1) a multiple of 4?
True
Does 8 divide 4 + 697/6 + (-6)/36?
True
Let o = -10 + -4. Does 2 divide (-1 + (o - -3))/(-2)?
True
Let v(i) = 3*i + 1. Let n be v(1). Suppose -2*t + 7*t + 2*j = 10, 4*t - 36 = n*j. Is t a multiple of 4?
True
Suppose 0 = -27*x + 19*x + 880. Is 18 a factor of x?
False
Let x be (0 + 6)*(-4)/(-3). Suppose 0 = -5*c + x + 107. Does 4 divide c?
False
Is 70 - (-1)/((-1)/(-4)) a multiple of 11?
False
Suppose 6*u - 129 = 3*u. Suppose -o + 5*m + u = 0, -20 = 5*m - 0. Is 19 a factor of o?
False
Let u = 53 - 1. Is u a multiple of 12?
False
Is 2/6 - 160/(-6) a multiple of 15?
False
Suppose 5*s = -5*k + 360, -k + 3*s = s - 60. Does 21 divide k?
False
Suppose -4*b - 78 = -7*b. Suppose 4*v + b = 2*g, -34 = -4*g - 4*v + 42. Is g a multiple of 7?
False
Suppose 9*g - 20 = 5*g. Suppose g*b = 5*r - 4*r - 35, -63 = -3*r + b. Is r a multiple of 10?
True
Suppose -p - 4*j + 98 = -3*p, 2*p + 83 = -j. Let z be 172/6*3*1. Let i = p + z. Is 14 a factor of i?
False
Suppose 2*q + 4*v = -2*q + 68, 5*q + 2*v - 88 = 0. Is q a multiple of 6?
True
Suppose -3*h + 104 = h + 5*c, -4*h - 3*c = -104. Is h a multiple of 10?
False
Let l be 0 - (-36 + 2 - 0). Suppose 2*c - 3 = c. Suppose 0 = -c*w + 62 + l. Is 16 a factor of w?
True
Suppose 2*c + 2*c - 3*v = 78, 2*v + 59 = 3*c. Does 21 divide c?
True
Suppose 4*n + 76 = 4*k + 1700, -806 = -2*n + 5*k. Is 17 a factor of n?
True
Let a be 2/(-10) - 162/(-10). Let j = a + -11. Is j a multiple of 5?
True
Let j = -14 - -9. Let k = 47 - 26. Let z = k + j. Does 16 divide z?
True
Let n be (-24)/18 - (-1)/3. Is 5 a factor of n + 6 - 0/(-1)?
True
Let i = 67 + -65. Suppose -3*u + 0*u + 3 = 0, 3*k + 5*u - 89 = 0. Suppose 2*y - k - i = 0. Does 14 divide y?
False
Suppose 9 = -2*c + 17. Let w = 0 + c. Does 4 divide w?
True
Suppose 8 = -y - 40. Let w be (-9)/3 - (-2)/(-1). Is (y/w)/(9/30) a multiple of 16?
True
Suppose 5*h = -3 + 23. Is 3 a factor of 1/h - (-81)/12?
False
Let y(p) = 5 - 2*p - p**2 + p + 9. Is y(0) a multiple of 7?
True
Let g be (-2)/(-2) + (3 - 0). Suppose f = h - 6*h + 2, 2*h = g*f - 74. Is f a multiple of 7?
False
Suppose -170 = -3*k - 2. Does 14 divide k?
True
Let f(n) = -n**2 + 13*n - 18. Does 18 divide f(9)?
True
Is ((-275)/(-44))/((-1)/(-12)) a multiple of 25?
True
Let m = 97 - 92. Does 3 divide m?
False
Suppose -5*a - 3*z = -3*a, -4*a - 2*z = 0. Suppose -68 = -p - 4*p + 2*g, a = -4*g - 16. Suppose 5*x - p - 3 = 0. Is 3 a factor of x?
True
Suppose -r + 5 = 0, -2*r = j - 4*r + 2. Suppose 4*b - j - 8 = 0. Suppose 9*f - 90 = b*f. Does 7 divide f?
False
Let y = -136 - -238. Does 23 divide y?
False
Let c(j) = j + 11. Let q be c(-8). Suppose -q*v - v = 0. Is 6 a factor of -10*(v + (-16)/10)?
False
Let l be ((-4)/18)/((-7)/63). Suppose 0 = l*m + 3*s + 1, -4*m = -m - 5*s - 46. Does 7 divide m?
True
Let l = -17 + 39. Suppose -l = -v + 11. Is 14 a factor of v?
False
Let j = 5 + -1. Does 14 divide (3/j)/((-5)/(-180))?
False
Let y(p) = -4*p**2 + 4*p + 6. Let w(j) = -3*j**2 + 3*j + 4. Let m(f) = -7*w(f) + 5*y(f). Does 16 divide m(6)?
True
Suppose -5*k = 4*h - 138 - 827, -k - 959 = -4*h. Suppose 2*l + h = 7*l. Does 16 divide l?
True
Is (104/10)/((-14)/(-70)) a multiple of 13?
True
Suppose 0 = 3*f - 7*f + 232. Does 28 divide f?
False
Is (-4)/(-18)*-1 + (-6766)/(-153) a multiple of 10?
False
Suppose -1119 = -m - 2*m. Does 16 divide m?
False
Let w = -147 + 288. Is 9 a factor of w?
False
Let x(u) = 2*u + 2 - 3*u - u. Is x(-6) a multiple of 6?
False
Suppose 0*s = 5*s - 10. Let b = 1 - s. Is (2 + b)*1*38 a multiple of 19?
True
Suppose 8 = -10*o + 6*o. Is 7 a factor of 1/o*8 - -43?
False
Is 1/(137/(-46) + (1 - -2)) a multiple of 33?
False
Let q be (3 - (-2 - -4))*-3. Let h(y) = -y**3 - 4*y**2 + y + 2. Let p be h(q). Is (-3)/15 - 342/p a multiple of 17?
True
Does 4 divide (-2 + 1)/(4/(-28))?
False
Let d be ((-1)/(-2))/(1/(-6)). Let q = 4 + d. Let x = 10 + q. Does 4 divide x?
False
Suppose -5*q + 6*q = 0. Let i = 16 - q. Does 16 divide i?
True
Let t = -62 + 42. Let j be t/(-11) + (-6)/(-33). Suppose a = -j*g + 19, 3*a = 5*g - 1 + 25. Does 13 divide a?
True
Let f(z) = -6*z + 6. Does 3 divide f(-5)?
True
Suppose 0 = 5*v + g - 16, -13 = -3*v + 5*g + 19. Suppose -z + 2*c = 2*z - 79, 3*c - 111 = -v*z. Does 17 divide z?
False
Let h = -13 + 15. Suppose -5*c + i + 75 = -1, -2*i = -h*c + 32. Is c a multiple of 7?
False
Let d = -4 - -32. Suppose -5*m + 17 + d = 0. Is m a multiple of 9?
True
Suppose 3*b = -b - 36. Is 1 - (2/2 + b) a multiple of 9?
True
Suppose 4*l - 4 = -12, 4*l + 52 = r. Does 12 divide r?
False
Let z = 7 - -57. Is z a multiple of 9?
False
Let i(f) = -2*f**2 - f - 1. Let n be i(-2). Let r be (-4)/14 + 208/n. Is (8/20)/((-2)/r) even?
True
Suppose 4*l - 5 = -k - 2, -l - 4 = 5*k. Is l - (-3 - 15*2) a multiple of 17?
True
Let s = -10 + 41. Is 11 a factor of s?
False
Suppose c - 16 = -3*c. Suppose c*t + 11 = -69. Let i = t + 39. Is 19 a factor of i?
True
Let v(h) = -h**3 + 6*h**2 + 7*h + 8. Let n be v(8). Let f = -46 - n. Is f a multiple of 4?
False
Let y(d) = d**3 - 2*d**2 - 3. Let k be y(3). Suppose -12 = -k*o + 342. Does 18 divide o?
False
Let f(o) = -o**3 - 3*o**2 - 8*o + 4. Is f(-6) a multiple of 20?
True
Suppose y + 20 = 5*y. Suppose -y*a + 2 = -13. Suppose 0 = 3*d + k + a*k - 25, 3*d = 3*k + 60. Does 9 divide d?
False
Suppose -3*p = -2*w - 4, 4*p = 5*w + 3*p - 3. Let b = w + 2. Is 2 a factor of b?
False
Suppose 0 = -2*d - 3*d + 25, -4*s - 3*d = -635. Is s a multiple of 28?
False
Suppose -2*y + 4*s + 50 = -8, 0 = -4*s - 16. Is y a multiple of 5?
False
Suppose 4*u + 27 = 187. Let c = u - 26. Is c a multiple of 8?
False
Let q be -1*(-4)/1 - -118. Suppose -7*w - 102 = -4*r - 2*w, q = 