= 4*z - i + 59. Does 5 divide (0 - 0) + z/(-3)?
True
Let m = 5 - 4. Let r = 1 - m. Suppose r*u = 2*u - 58. Does 10 divide u?
False
Let r = 1 + -4. Let q(l) = 1. Let b(y) = -3*y**2 - 4*y - 9. Let d(i) = -b(i) - 6*q(i). Does 17 divide d(r)?
False
Let j(z) = -6 - z**2 - 7*z + 21 + 6*z. Let s be (-1)/(-3 - -1)*0. Does 8 divide j(s)?
False
Let b be ((-16)/(-12))/(4/6). Is 11 a factor of ((-24)/(-3))/(1/b)?
False
Let j(v) = v**3 - v**2 - v + 62. Does 31 divide j(0)?
True
Let p(l) = 2*l**2 - 5*l - 1. Suppose 5*t = 5*w - 3*w - 16, 0 = -5*w + 2*t + 40. Is 22 a factor of p(w)?
False
Let z(c) be the third derivative of -c**6/120 + c**5/10 - c**4/6 - c**3/2 - c**2. Let r be z(5). Suppose 5*n - s - 4*s = 60, -3*s = r*n - 24. Does 7 divide n?
False
Suppose 0 = 3*d + 5*f - 349, 2*f + 74 - 426 = -3*d. Does 16 divide d?
False
Suppose -34 = -3*c - 10. Let b = c - -2. Is 10 a factor of b?
True
Let n = 38 - -4. Is 14 a factor of n?
True
Is 35 a factor of (1/3)/((-5)/(-870))?
False
Let t(l) = -l**2 - 9*l - 3. Let c be t(-8). Let s(o) = -5 - 2 + 2*o + 1. Does 4 divide s(c)?
True
Let o = -18 - -20. Let q(k) = 12*k - 1. Is 7 a factor of q(o)?
False
Suppose -4*l - 453 = -9*l + 4*m, 2*l - 195 = -3*m. Is l a multiple of 31?
True
Suppose 28 + 0 = 4*s. Is s a multiple of 5?
False
Let j = -131 - -58. Let i = -33 - j. Is 20 a factor of i?
True
Is 23 a factor of ((-1)/(-1) - -2)*23?
True
Suppose 2*d + 14 = 2*b, 3*b = 3*d + d + 25. Does 8 divide b/18 + (-382)/(-12)?
True
Does 9 divide (36/(-10))/((-6)/45)?
True
Let c(l) = l**2 - 11*l - 2. Is c(13) a multiple of 8?
True
Let g = 1 + 11. Is g a multiple of 12?
True
Suppose -2*b = 2*b - 12. Suppose 1 + b = 2*c. Suppose 0 = c*r + r - 36. Is 5 a factor of r?
False
Let f(p) = 2*p + 3. Let u be (-110)/(-15) - 8/(-12). Is f(u) a multiple of 19?
True
Let g(f) be the third derivative of -7*f**4/24 - f**3/3 - f**2. Let b(d) = d**3 - 4*d**2 + d + 1. Let a be b(3). Does 17 divide g(a)?
False
Let i(m) = 9*m - 3. Let x be i(4). Let b = x + -9. Is b a multiple of 12?
True
Let m(q) = 9*q - 8. Let a(b) = 1. Let r(j) = 2*a(j) + m(j). Is r(6) a multiple of 24?
True
Let n(c) = c**3 + 7*c**2 + 2*c + 3. Does 7 divide n(-6)?
False
Suppose 7 - 35 = 4*g + 3*o, g + 20 = -4*o. Let h = 34 + g. Is h a multiple of 14?
False
Let m = 202 - 58. Is 48 a factor of m?
True
Let r = -3 - -13. Let q be 4/r - (-16)/10. Suppose 2*u = -3*o + 13, -51 = -2*u - q*u - o. Is 7 a factor of u?
True
Suppose 0 = 5*p + 5, 2*j - 3*j = 3*p + 3. Let v be (j + 2)/2*0. Suppose v = -h + 3. Does 2 divide h?
False
Let j = 5 + -2. Suppose 0*g + 69 = j*g. Is 6 a factor of g?
False
Does 10 divide 54 - (-4 - (-5 - 0))?
False
Let c = 89 + -30. Does 14 divide c?
False
Suppose 5*p - 12 = v + 1, 4*p - 17 = 3*v. Suppose p*o - 13 - 11 = 0. Does 8 divide o?
False
Let z be 6*(3 - 32/12). Suppose 0 = z*l - 4*v - 54, 3*v = -2*v - 20. Does 8 divide l?
False
Suppose -769 = -8*y + 1623. Is 23 a factor of y?
True
Let a be -2*(4 + (-278)/4). Suppose a = 5*x - 214. Is x a multiple of 23?
True
Let f be -3*(-3 - (-1 + 0)). Suppose f = 3*j - 3*w, 0 = -j + w + w + 5. Is 13 a factor of (j/1)/(2/(-26))?
True
Let j be 57 - (4 + (-6)/3). Suppose j = 2*a + 3*s, 3*s - 8*s = 4*a - 113. Is 11 a factor of a?
False
Let x = -95 - -140. Does 9 divide x?
True
Let j(k) = -3*k**3 - 5*k**2 - 9*k + 4. Let s(b) = 4*b**3 + 8*b**2 + 13*b - 6. Let u(t) = 7*j(t) + 5*s(t). Is 8 a factor of u(5)?
True
Let b = 10 - 7. Suppose 0 = b*t - l - 88, 0 = -4*t + 5*l + 18 + 103. Does 25 divide t?
False
Suppose 16 = a + 10. Suppose a = 3*h - 0. Suppose -2*k = k + h*i - 26, -31 = -4*k + i. Is 7 a factor of k?
False
Suppose 4*v - 297 = -6*x + 3*x, 0 = -2*v + 3*x + 171. Does 25 divide v?
False
Is 6 a factor of (36/(-24))/((-2)/16)?
True
Is 32 a factor of ((-1)/2)/(-6 + 7615/1270)?
False
Suppose -3*s + s = -8. Suppose -2*l + s*k + 5 = -11, -2*k = 5*l - 100. Suppose -2*j + l = -16. Is 17 a factor of j?
True
Let r be ((-4)/8)/(3/(-30)). Suppose -c - 10 = 2*a, -2 = r*c - a - 7. Suppose 2*b = b + 2*s + 12, c = -4*b - 2*s + 38. Does 7 divide b?
False
Suppose -3*f + t - 5 = 2*t, 4*f + 10 = -3*t. Let b be 20/(-5) - (f - 1). Is 123/2*b/(-3) a multiple of 22?
False
Let u(l) = -16*l - 9. Let d be u(-6). Let a = -39 + d. Is a a multiple of 10?
False
Let f(a) = -a. Let d be f(-5). Let c(m) = -8*m - 7*m**2 - d + 0*m**2 - m**3 + m**2. Is 5 a factor of c(-5)?
True
Let b = 5 + -3. Let d(f) = -f**3 + 3*f**2 - 2*f + 2. Let n be d(b). Suppose 2*t + n*w - 24 = -0*w, 5*w = 3*t - 36. Does 12 divide t?
True
Suppose 3*u - 4 = -q + 5, 0 = -5*q + 15. Let t = u - -2. Suppose 0 = -5*k + 20, -z - t*z - 5*k + 215 = 0. Is 14 a factor of z?
False
Suppose 0 = -2*b - 2*b - 80. Let g(n) = n - 4. Let p be g(5). Does 10 divide (b/6)/(p/(-3))?
True
Suppose -9 - 29 = -2*l. Does 13 divide l?
False
Is ((-21)/4)/(1/(-4)) a multiple of 21?
True
Suppose 70*j - 30 = 69*j. Does 10 divide j?
True
Let u = -9 + 5. Does 17 divide (-1)/2 + (-70)/u?
True
Suppose 0 = 5*h - 214 + 14. Let g = h + -66. Let t = g - -46. Is 6 a factor of t?
False
Suppose 0 = 5*j - 5. Does 10 divide (16 + 3 + 0)/j?
False
Let h = 15 - 10. Suppose n + 3*r - 13 = 0, 14 = h*n - r - 35. Is 10 a factor of n?
True
Let m be (3/(-5))/(2/(-20)). Suppose 229 = m*p - 113. Is p a multiple of 16?
False
Is 15 a factor of 58 + (4 - 7) + 5?
True
Let x(r) = 10*r**3 + r**2 - r + 1. Suppose -6*c - 23 = -p - 2*c, -2*p + 16 = -2*c. Let y(q) = q**3 - 3*q**2 - q + 4. Let d be y(p). Is x(d) a multiple of 11?
True
Let n be 1/(-3) + 14/6. Let a = 32 - n. Is 11 a factor of a?
False
Suppose 4*d = -4*h + 84, -10*h + 96 = -5*h - 4*d. Is 20 a factor of h?
True
Suppose -3*z = -4 + 25. Let i = z + 5. Is 9 a factor of -3 + (-2 + 21 - i)?
True
Does 18 divide 12/(-10)*-3*(-520)/(-36)?
False
Let t(d) = 28*d**2 - 6*d - 14. Does 16 divide t(-3)?
True
Suppose 4*w + 198 = 7*w. Is 12 a factor of w?
False
Is 4 a factor of ((-13)/(-39))/((-1)/(-63))?
False
Is 4/14 - (-3500)/98 a multiple of 36?
True
Let w(o) = -o**2 + 17*o - 7. Is w(12) a multiple of 15?
False
Let q(c) = 2*c**3 + 2*c**2 - c - 6. Does 21 divide q(3)?
True
Suppose 5*r = 34 - 14. Let c(v) = 2*v**2 - 2*v - 1. Let l be c(3). Suppose r*a - l = -q, 2*q + 10 = 3*q + 5*a. Is 8 a factor of q?
False
Let s(b) = 10*b**3 + 8*b**2 + 11. Let v(p) = 7*p**3 + 5*p**2 + 7. Let y(f) = 5*s(f) - 7*v(f). Does 6 divide y(-5)?
True
Is 3 - -17 - (-2 - -5) a multiple of 7?
False
Let k(w) = -w**3 - 15*w**2 + w + 20. Let x be k(-15). Suppose -5 = -2*d - 3*f, -3*d + 5 = x*f - 2. Is d even?
True
Let g = 6 - 4. Let t be 2/(-3)*-1*6. Let u = g + t. Does 4 divide u?
False
Suppose 1 + 5 = -2*t - 2*j, 0 = 2*t - 4*j - 12. Suppose r - 2*r + 78 = t. Is r a multiple of 30?
False
Suppose -6*y + 4 = -4*y. Suppose -3*z = y*z - 205. Does 18 divide z?
False
Let p = 2 - -12. Does 4 divide p?
False
Let b(r) = r**3 + r + 49. Is 14 a factor of b(0)?
False
Let q(n) be the third derivative of n**4/6 - n**3/6 - 3*n**2. Let v be q(2). Suppose -5*x + 8 = -3*k, -4*k + 2*x + v = -1. Is 4 a factor of k?
True
Suppose 3*z = -2*z - 50. Let s = 16 + z. Does 3 divide s?
True
Let u be (-122)/(-8) - (-2)/(-8). Suppose 0*n = 3*n - u. Is n a multiple of 5?
True
Suppose -3*a = -5 - 13. Is 6 a factor of a?
True
Let s = 0 - -12. Suppose -2*p - s = -108. Does 12 divide p?
True
Let b(i) = i. Let t be b(5). Let k be t/20 + (-1)/4. Suppose k - 26 = -x. Is x a multiple of 13?
True
Let s = -4 - -6. Suppose 0 = 3*z - s*z - 21. Does 7 divide z?
True
Let d = -191 + 112. Let x = d + 33. Let f = 88 + x. Is f a multiple of 20?
False
Suppose -208 = -5*z + 3*q, -133 = -4*z + 3*q + 31. Is 14 a factor of z?
False
Suppose -3*i + 5 = -1. Let x(f) = f**2 + 3*f + 2. Let p be x(-2). Suppose p = 3*h - i*a - 4 - 32, -5*a = 2*h - 5. Is 10 a factor of h?
True
Let w = 7 - 4. Suppose -w*r = -5*r + 42. Let t = r - 7. Is t a multiple of 7?
True
Suppose -3 = -2*w + 19. Is 11 a factor of w?
True
Suppose 0 = 2*t + 4*i + 24, -5*i + 2 = 17. Let a(s) = -2*s + 1. Is 11 a factor of a(t)?
False
Does 20 divide 2022/36 - 3/18?
False
Let b = 145 + -97. Suppose 84 = -9*t + 6*t. Let r = t + b. Does 14 divide r?
False
Suppose 4*s + s - 15 = 0. Is (1 - 0)*3*s a multiple of 9?
True
Let i = 169 + 8. Suppose -z + 2*q + 17 + 13 = 0, 0 = -5*z + q + i. Does 14 divide z?
False
Suppose 0 = -5*o + 5*x + 55, 8*x = 4*o