uppose -4*z - 20 = -9*z. Suppose f - z*o = -12, -2*f - 7*o + 28 = -2*o. Suppose -l - f - 3 = -2*v, -2*v + 17 = l. Does 3 divide v?
True
Suppose 4*r - 35 = -0*r - 5*p, 5*r = 4*p + 13. Suppose 0 = r*i + 2*x - 138, i - 8 - 26 = -2*x. Is i a multiple of 26?
True
Suppose 3*g - 3*x = 9, 5*g + 5*x = 2*g + 49. Is 7 a factor of g?
False
Let p(g) = -g**2 + 5*g - 2. Let d be p(4). Suppose d*l + 68 = 2. Let t = l + 50. Is t a multiple of 12?
False
Is 18 a factor of (-5)/(((-5)/9)/5)?
False
Let x(y) = 18*y**2. Let s be x(1). Is 5 a factor of (-94)/(-18) + (-4)/s?
True
Suppose 3 = -2*f - 5. Let q be (f - 2)/(-3) - -274. Does 11 divide q/14 + (-4)/(-14)?
False
Let q(y) = -y + 2. Let c be q(3). Does 15 divide -60*(c + 2)/(-1)?
True
Let o(g) = 2*g**2 + 5*g - 25. Does 8 divide o(11)?
True
Let a = 70 - 62. Is a a multiple of 2?
True
Suppose 0 = -23*u + 29*u - 138. Is u a multiple of 22?
False
Let o = -103 + 173. Does 16 divide o?
False
Let t be 1 - (-1 + 2) - 9. Let v be 3/t*-4*3. Let c(l) = 2*l**2 + l. Does 18 divide c(v)?
True
Let l(t) = -11*t + 1. Let q be l(3). Let x = q + 61. Does 10 divide x?
False
Let a(l) = l**3 + 7*l**2 + 5*l - 1. Let o be a(-6). Suppose -o = -3*f + 4. Suppose 0 = 4*v + f*j - 61, 18 = -4*v - 2*j + 84. Is v a multiple of 19?
True
Let z(j) = j**2 + j - 3. Let u(t) = t**2 - 4. Let k(o) = 5*u(o) - 6*z(o). Let i be k(-5). Suppose w + 8 = i*f - 3*w, 1 = w. Does 4 divide f?
True
Suppose 2*z = 0, -5*n + 11 = -3*z - 29. Let s be n/6*(-18)/(-4). Suppose 0 = g + a - 14, -s - 23 = -2*g - 3*a. Does 13 divide g?
True
Let o = -7 - -21. Does 5 divide o?
False
Let m be (-51 - 4) + (-2 - 1). Let i = -10 - m. Does 12 divide i?
True
Suppose 3*c + 8 = 5*v, 0*v = 4*c + 3*v - 28. Let y = c + -2. Suppose -g + y*b = 1, 5*g - 3 = 3*b + 6. Is g a multiple of 2?
False
Let v be -2*9*4/(-6). Suppose -v = -3*x + 48. Does 20 divide x?
True
Let j be (-2)/(-5) + 13/5. Let t(z) = 0*z + 8 + 8*z + 0*z**2 + 6*z**2 - z**j. Is 11 a factor of t(7)?
False
Suppose -7*g + 102 = -4*g. Is g a multiple of 17?
True
Suppose 8 = 3*w - w. Suppose i - l = -4*l + 73, w*l = -4*i + 300. Is 19 a factor of i?
True
Let z(n) = -4*n - 10 + 7*n + 27. Does 14 divide z(13)?
True
Suppose 0 = 2*j - 526 - 146. Does 24 divide j?
True
Let s(l) = l**3 + 6*l**2 + 5*l + 1. Let t be s(-4). Let x = 15 + t. Suppose 4*p - 4 = a + 2*p, -2*a - 5*p + x = 0. Is a a multiple of 4?
True
Is 2*(36 + -1)*2/5 a multiple of 4?
True
Suppose -3*h + 20 = -2*l + 139, -2*l - 3*h = -149. Is 6 a factor of l?
False
Let u(k) = k**2 + 3*k + 2. Let y = 2 + -12. Let z = -15 - y. Does 6 divide u(z)?
True
Suppose -5*p - 5*l + 429 = -3*p, -p + 213 = 4*l. Is 9 a factor of p?
False
Let x(m) = -5*m. Let l be x(-1). Let g be (0 + 1)*(6 + l). Suppose 3*f + 1 = -2*j, -2*j = 4*f + f + g. Is j a multiple of 7?
True
Does 16 divide -30*-1*32/20?
True
Let q = -38 + 683. Does 12 divide q/20 + (-2)/8?
False
Suppose -2*w = -3 - 11. Does 25 divide (7/w)/(2/100)?
True
Suppose -5*a - 15 = 0, -4*m + 2*a + 6 = -m. Suppose m = -2*f - 2*f + 72. Is 6 a factor of f?
True
Let p be 20/(-6) + 5/15. Is 2 a factor of 11 + (p + 4)*-4?
False
Let l(n) = -n**2 - 26*n - 8. Is 38 a factor of l(-24)?
False
Let d = -9 + 7. Let t = 50 + d. Is 18 a factor of t?
False
Let d be 10 - 1 - 3 - -2. Is (-30)/4*d/(-3) a multiple of 14?
False
Let n(u) = 2*u**2 - 4*u + 6. Does 4 divide n(5)?
True
Let v(c) = -c**3 + 8*c**2 + 4*c - 2. Does 28 divide v(6)?
False
Let v(k) = -k**2 - 7*k + 5. Let x be 0/(-5) + 24/(-2). Let l be -1 - (-3)/6*x. Is v(l) a multiple of 4?
False
Let g be 2 + (-89 - 1)/(-3). Suppose -2*m = 3*p - 54, -3*p + 103 + g = 5*m. Does 10 divide m?
False
Suppose -m + 160 = -810. Is m/14 + 4/(-14) a multiple of 23?
True
Suppose -3*i - 6 = -15. Let t(y) = -i*y + 14 - 2*y - 7 + y. Is t(-5) a multiple of 13?
False
Does 26 divide ((-6)/9)/(4/(-186))?
False
Suppose 0*f - f = -3. Suppose o + 50 = f*o. Is 16 a factor of o?
False
Suppose -682 = -5*l - 4*g, 283 = 2*l + 2*g + 3*g. Does 14 divide l?
False
Suppose -h - 46 = -136. Is h a multiple of 9?
True
Let v(j) = -j**3 + j**2 + j + 112. Let w be v(0). Suppose -3*p + w = 2*q, 4*q + 3*p - 177 = 35. Does 5 divide ((-12)/10)/((-4)/q)?
True
Suppose 2*y - 5*m + 6 = 0, 2*m - 3 = 1. Suppose -r = -3*u + 9, 0 = -5*r + u - 5 + y. Suppose 5*d - 21 - 54 = r. Is 5 a factor of d?
True
Let d(z) = -z + 11. Let p be ((-5)/(-15))/((-2)/(-18)). Suppose 5*s + 18 = p*s. Is d(s) a multiple of 8?
False
Let y be 1*(40 - -1) - 2. Let c = y - 13. Does 9 divide c?
False
Suppose -74 = -6*u + 5*u - 3*q, -u = -4*q - 67. Suppose 69 = 5*w - u. Does 13 divide w?
False
Suppose -2*d - 4 = 2. Does 12 divide (d + 5)/4*88?
False
Suppose 2 = l, 2*l + 154 = w - 65. Is w a multiple of 22?
False
Let a(p) be the second derivative of p**5/20 + p**4 + 5*p**3/6 - 6*p**2 - 3*p. Is a(-11) a multiple of 15?
False
Let y(f) = -f + 1. Let t(s) = -1. Let o(z) = -3*t(z) + y(z). Is o(-6) a multiple of 10?
True
Let p be 0 + -2554 + 2 + -4. Let a be p/(-30) - 1/5. Suppose -3*m - 2*m + a = 0. Is m a multiple of 6?
False
Suppose 21*d - 1318 = 446. Is 16 a factor of d?
False
Suppose 0 = -11*t + 117 + 147. Does 3 divide t?
True
Suppose 16 = 2*f + 2*a, -f - 4*a - 56 = -5*f. Let h = f - 7. Is 3 a factor of h?
False
Let w(l) be the first derivative of 0*l - 7/2*l**2 + 2. Does 21 divide w(-6)?
True
Let z(t) = -5*t + 50. Let q(m) = m - 10. Let k(n) = 11*q(n) + 2*z(n). Let c be k(0). Is ((-5)/(-2))/((-5)/c) a multiple of 5?
True
Let p = 45 + -22. Suppose 3*f + p = 83. Is f a multiple of 6?
False
Let a be 79 - (-2 - 1*-2). Let n = -43 + a. Suppose 0 = 3*x + 5*c - n, x + 32 = 2*x - 5*c. Is 11 a factor of x?
False
Let i = -1 + 3. Suppose -i*r + 66 = r. Is 11 a factor of r?
True
Let j(k) = -k**2 + 15*k + 20. Is 2 a factor of j(16)?
True
Let s be 6/(-21) + 69/21. Suppose -3*o + 25 = -2*w, -2 = 3*o + 4*w + s. Suppose o*u = 2*v + 160, -u = v - 13 - 19. Is 16 a factor of u?
True
Let t(o) be the first derivative of 3*o + 0*o**2 + 1/4*o**4 - 7/3*o**3 - 1. Is t(7) even?
False
Suppose 2*y - 48 = -6. Does 21 divide y?
True
Let a(r) = 2*r + 216. Does 54 divide a(0)?
True
Suppose 2*i + 3 = 37. Does 10 divide i?
False
Suppose 0 = 8*i - 491 + 27. Does 18 divide i?
False
Let v = -9 - -12. Let q be ((-24)/20)/(2/(-230)). Suppose v*d - 6 = 0, -2*x - 3*x - 4*d + q = 0. Does 9 divide x?
False
Let r(g) = -g**3 - 3*g**2 - g + 2. Let y be r(-2). Suppose y = -o + d + 8, o = 2*d + 16 - 3. Is o even?
False
Suppose -5*t = -39 - 111. Is t a multiple of 6?
True
Suppose -6*n = -4*n + 14. Let w = 28 + n. Does 16 divide w?
False
Suppose -s - 2*s + 60 = 0. Does 11 divide s?
False
Suppose -2*v - 4*g = g - 7, 4*v + 31 = 5*g. Is (-2 - 0)/v*10 a multiple of 5?
True
Let x(h) = h**2 + 6*h + 10. Let a be x(-4). Suppose -i = -a*v + 76, 0 = -5*i - 1 - 19. Is v a multiple of 8?
False
Suppose 4*n = -0*n - 52. Let h = n + 23. Suppose x + 90 = 5*b - x, 2*x + h = 0. Is b a multiple of 8?
True
Let s = -6 + 3. Let y be 10*s/(-12)*2. Suppose 9 = y*v - f - 137, -f - 56 = -2*v. Is 15 a factor of v?
True
Suppose o + 5*v - 43 = 0, -o + 6 + 28 = 2*v. Does 11 divide o?
False
Let m = 16 + -17. Does 2 divide -1*m*(-2 - -9)?
False
Suppose -4*r - 22 + 84 = 2*m, 2*m - 5*r = 98. Let p = m - 16. Is p a multiple of 13?
False
Suppose 0 = 4*x - 2*f - 0*f + 42, 3*x + 29 = f. Let d(r) = r**3 + 6*r**2 - 11*r - 10. Let v be d(x). Let b = 86 + v. Does 13 divide b?
False
Let k(y) = 8*y**2 - 2 + y - 5*y**2 + 4*y**2. Let x be k(-3). Suppose -5*f + 140 = 5*j, 0 = -2*f - j + x - 4. Is f a multiple of 13?
True
Let z be (-4 - -3)/(1/(-37)). Let i = 21 - z. Let j = i + 44. Is j a multiple of 9?
False
Suppose 7*b = 3*b. Suppose b = -0*l - 2*l. Let m = 10 + l. Is m a multiple of 6?
False
Is 18 a factor of 5/(5/58) - 4?
True
Let x(r) = r**2 - 6. Let h be x(3). Suppose h*j + 135 = 8*j. Is j a multiple of 10?
False
Let o = -53 + 82. Is o a multiple of 19?
False
Suppose -q = 3*q + r - 185, 3*q - 4*r = 115. Is 16 a factor of q?
False
Let q(i) = 104*i**3 - i**2 - 2*i - 1. Let b be q(-1). Let p be b/10 + (-12)/(-30). Let n(k) = -2*k - 14. Is 6 a factor of n(p)?
True
Suppose -2*a - a = 5*s - 37, 5*a - 3*s - 5 = 0. Does 3 divide a?
False
Let b = 355 - 622. Is 13 a factor of 6/21 + b/(-21)?
True
Suppose 1 = -o - 3, -3*b + 5*o - 7 = 0. Let f = b + 22. Is 13 a factor of f?
True
Let p(v