False
Suppose -j + 32 = -0*j. Suppose 3*v - 5*k = 34, -4*v + 0*v + j = -4*k. Suppose d - 3*q = 70, -3*d + 66 = v*q - 120. Is d a multiple of 16?
True
Suppose -2*b + 47 = 5*n, -4*n + 35 = 3*b + 3. Let o(z) = -z**3 + 13*z**2 - 21*z + 15. Does 9 divide o(n)?
False
Does 5 divide (3510/(-36))/((-7)/98)?
True
Suppose 0 = 4*j + 5*g + 15, 3*g - 5*g = 2*j + 6. Suppose 14*d - 1392 - 1520 = j. Is 13 a factor of d?
True
Let t be 45/10 + (-4)/8. Suppose 0 = -t*l + 2 - 30. Does 8 divide 186/4 - l/14?
False
Suppose 3*f - 28 = -4. Does 8 divide f?
True
Let z(d) = d**3 + 37*d**2 + 25*d - 97. Is 13 a factor of z(-36)?
True
Let s(u) = u**3 - 7*u**2 - 3*u - 9. Let y be s(7). Is (-6)/14 + 3 + y/(-21) a multiple of 4?
True
Suppose 1 - 1 = -b. Let z = b + 45. Does 20 divide z?
False
Suppose -4*v = 5*m - 8*v - 1520, 5*m = -5*v + 1520. Is m a multiple of 76?
True
Let a = 9 - -27. Suppose -s - 14 = x - 3*x, -a = -4*x - 2*s. Does 2 divide x?
True
Let d be (-159)/5 - 3/15. Let p = 35 + d. Is 4/p*(-459)/(-18) a multiple of 9?
False
Suppose 771 = 6*u - 27. Suppose 4*w - 553 + u = 0. Is w a multiple of 16?
False
Let t(z) = -11*z - 20. Let p(m) = -6*m + 27. Let s(j) = 3*j - 14. Let q(u) = 4*p(u) + 7*s(u). Let l be q(6). Is t(l) a multiple of 10?
False
Let t(l) be the third derivative of 3*l**4/8 + 77*l**3/2 + 32*l**2. Does 29 divide t(0)?
False
Let q = -90 - -103. Let r(z) = z**2 + 2*z + 1. Let h be r(-1). Suppose 4*p + c - 41 = h, 3*p + 3*c = 2*p + q. Is p a multiple of 3?
False
Suppose 0 = 2*k + 564 + 470. Let m = -286 - k. Does 47 divide m?
False
Let s(c) = 2*c + 27. Let g be s(-14). Is 10 a factor of (-20)/(-3)*g*(-7 + -5)?
True
Let x = 170 + 93. Is x a multiple of 23?
False
Suppose 3*t = -a - 2573, -3*t - 4*a = t + 3428. Does 13 divide (1 - 3)/(2/t*6)?
True
Suppose 151 = -2*g - 61. Let u(x) = -7*x**2 + x. Let f be u(-5). Let o = g - f. Is o a multiple of 33?
False
Let k(p) = p**3 + 8*p**2 + 3*p - 8. Is 10 a factor of k(-4)?
False
Let o = 1130 + -562. Does 71 divide o?
True
Let q = -11 + -12. Let d = q + 19. Does 8 divide (-1664)/(-120) + d/(-30)?
False
Suppose -4*p - 10 = -9*p. Suppose -p*n = 3*n - 215. Suppose 3*q - 40 = 5*r, 0*q = 3*q - 2*r - n. Is 13 a factor of q?
False
Let j(z) = -13*z**2 - 19*z + 13. Let o(p) = 3*p**2 + 5*p - 3. Let u(g) = -2*j(g) - 9*o(g). Let r = 20 + -25. Is 9 a factor of u(r)?
False
Let o be (-6)/(-15) + 9/15. Suppose 4*z = o + 11. Let v(u) = 4*u**2 - 4*u - 7. Is 3 a factor of v(z)?
False
Let o be -2*((1 - 1) + 8687/(-14)). Suppose -10*u + o = -79. Does 22 divide u?
True
Suppose g = 7*g - 342. Let y = -5 + g. Is 10 a factor of y?
False
Let g = 29 - 29. Suppose g = m - 2*m - 2*r + 82, -5 = -r. Is 6 a factor of m?
True
Let n(v) be the first derivative of -v**4/4 - 14*v**3/3 - 9*v**2/2 - 7*v + 27. Is n(-14) a multiple of 17?
True
Suppose 7*a - 449 - 2029 = 0. Is a a multiple of 6?
True
Let o = -12 - -33. Suppose -4*q + 59 = -o. Is q a multiple of 5?
True
Suppose -3*s = 4*g - 5, -5*g + s = -0*s - 11. Suppose -2*c = 4*p - 272, g*c + 3*p - p = 282. Is c a multiple of 40?
False
Let n be (-1)/(-8) + (-409)/8. Let l = -7 - n. Does 22 divide l?
True
Suppose -5*q + 560 = 3*u + 2*u, 0 = -2*u - q + 224. Is u a multiple of 7?
True
Let r(b) = 39*b - 136. Is 75 a factor of r(24)?
False
Let r = 16 + -21. Let a(q) = 3*q**2 - 3*q - 18. Let l(s) = s**2 - 2*s - 9. Let x(d) = r*l(d) + 2*a(d). Is x(-6) a multiple of 6?
False
Is (111/(-2))/(4/(-8)) a multiple of 37?
True
Suppose 0 = v - 5*v - 3*a + 288, -2*v + 144 = 4*a. Let z = 130 - v. Is z a multiple of 10?
False
Suppose 0 = 27*p - 22*p + 40. Is (6/(-9))/(p/36) a multiple of 3?
True
Suppose -q + 262 = -2*l - 3*q, 0 = 3*l - 3*q + 393. Let y = l - -248. Is 22 a factor of y?
False
Let x(f) = 708*f**2 + 10*f - 17. Is 14 a factor of x(2)?
False
Does 35 divide ((-230)/(-345))/(0 + (-2)/(-1533))?
False
Let z = -327 + 622. Is z a multiple of 26?
False
Let n(g) = -g - 15. Let c be n(-11). Let v(l) = -2*l**3 + l**2 + 3*l - 1. Let b be v(c). Suppose 4*o - b = 93. Is o a multiple of 13?
False
Suppose 7 = -5*w + 22. Suppose 0 = -w*v + 5*n + 31, -4*n - 10 = -2*v + 14. Suppose -37 = -4*u + 3*b - 0*b, -v*u - 5*b - 1 = 0. Is u even?
False
Let r(t) = -t**3 + 6*t**2 - 7*t + 5. Suppose -3*n + 3 = 3*k, n - 4*n + 3 = -k. Let o = k - -4. Does 4 divide r(o)?
False
Suppose 5*h + s = 17, -h - s - 15 = -4*h. Let t(u) = 2 - 6 + u - 8*u**2 + u + u**3 - h. Does 8 divide t(8)?
True
Let j = -28 + 331. Suppose 0 = -4*r + 145 + j. Is 14 a factor of r?
True
Let h be (6/9)/(2/(-6)) + 2. Is 0 - (-2 - (9 - h)) a multiple of 11?
True
Suppose 5*b = -4*b + 81. Let s = b - -4. Is s a multiple of 13?
True
Suppose 0*t = 7*t + 126. Is 234 + t/6 + 0 a multiple of 9?
False
Let j be 4/22 - (-100)/55. Suppose b - 2*s - 60 = -j*b, 2*b = 4*s + 40. Is 10 a factor of b?
True
Let d(t) = -8 + 10*t + 4*t + 30*t**2 - 9*t**2 - 2*t**3 - 4. Is 7 a factor of d(11)?
True
Let z = 24 - 22. Let k be ((-784)/80)/(z/(-10)). Let u = k + -12. Is u a multiple of 6?
False
Let s = -41 - -187. Is 3 a factor of s?
False
Let t(o) = -10*o - 175. Is t(-22) a multiple of 4?
False
Suppose 2*m - 520 = r + 66, -4*m = 4*r - 1172. Is m a multiple of 49?
False
Let b be (-986)/30 - 18/135. Let l = b - -49. Does 8 divide l?
True
Suppose -3*d = 4*i - 13, 2*d + 2 - 11 = -3*i. Does 12 divide 17 + i + (-32)/8?
False
Suppose 5*n + 73 = -17. Let d be 382/n - (-4)/18. Does 3 divide ((-22)/(-3))/((-14)/d)?
False
Is 4 a factor of (-7*224/(-294))/(2/186)?
True
Let h be ((-3)/6 + 0)/((-6)/(-24)). Does 30 divide 3/(h - (-172)/84)?
False
Let d(c) = 3*c**2 - 15*c - 15. Suppose 4*m - 5 = -m. Let r(h) = h**2 - h - 1. Let x(b) = m*d(b) - 4*r(b). Is 13 a factor of x(-8)?
True
Let t = -530 + 685. Is 3 a factor of t?
False
Let n be (-12)/21 + 156/(-21). Let z = n - -10. Is 188/8*z - 4 a multiple of 14?
False
Let r = -433 + 695. Does 5 divide r?
False
Suppose -2*j = -4*j + 636. Suppose -5*l + 132 = -j. Suppose 0 = -d + l + 10. Is 21 a factor of d?
False
Let z be 2/(-4)*(-30)/(-3). Let m be -1*3 + (-175)/z. Is 5 a factor of (152/m)/((-1)/(-4))?
False
Suppose 3*m + 23*m = 11856. Is 12 a factor of m?
True
Let l = -829 - -882. Is 4 a factor of l?
False
Suppose -3*i + 908 = 2*i - 2*h, 0 = -h - 4. Is 36 a factor of i?
True
Let n(t) = -813*t - 26. Is 64 a factor of n(-2)?
True
Suppose 5*n = p + 23, -2*p + 31 = p + 5*n. Let a(l) = -2*l**p - 2 - 6*l + 6*l - 8*l - 12*l. Is a(-8) a multiple of 30?
True
Suppose 2*d - 7*b - 174 = -11*b, 75 = d + 5*b. Does 36 divide d?
False
Let b(p) = 25*p**2 + 3*p - 8. Let k be b(-5). Is 43 a factor of (60/(-40))/((-3)/k)?
True
Suppose -2*m + 0 = -4*o + 2, -2*m = o - 13. Suppose -m*w - 2*a = -366 + 77, 291 = 5*w + 3*a. Suppose -2*j + 1 = -w. Is j a multiple of 9?
False
Is 4 a factor of 64 + (-11 - (-1 + -5))?
False
Let m = 2 + 34. Suppose 0 = 3*u - x + 4*x - m, 3*x + 34 = 4*u. Suppose u*j = 4*j + 462. Is 14 a factor of j?
False
Let i(b) = b**3 + 4*b**2 + 4*b. Let x be i(-3). Let s(q) = q + 0*q - 4 - 2*q - 3*q. Is 4 a factor of s(x)?
True
Let r = -7 + 7. Suppose 3*d + 4*u - 174 = r, 5*d + u - 285 = -4*u. Does 12 divide d?
False
Let g(x) be the second derivative of -2*x**3 - x**2 - 7*x. Is 10 a factor of g(-1)?
True
Let a(v) = v**3 + 6*v**2 + 4*v - 9. Let u be a(-5). Let h be (-10)/10 - (u + -1). Suppose 2*t = 3*w - 229, h*t - 252 = -4*w + 40. Does 15 divide w?
True
Suppose 8*g - 3*g + 165 = 0. Let d = -37 - g. Let j = d - -54. Is j a multiple of 15?
False
Suppose 11*y = 24*y - 260. Does 5 divide y?
True
Let s be ((-6)/(-5))/((-219)/45 + 5). Suppose 3*y + s = 108. Is y a multiple of 12?
False
Let t(f) = -3*f**2 - 4*f + 0 + 2*f**2 + 3 - 1. Let c be t(-4). Is 26 a factor of 52 + (-2)/1 + c?
True
Is 38 a factor of 70*(3 + -1) - -9?
False
Let f = -33 + 22. Let r(z) be the second derivative of z**4/6 + 8*z**3/3 + 9*z**2/2 - 39*z. Does 25 divide r(f)?
True
Suppose 0*j + 2*o + 22 = 4*j, 3*o = -15. Suppose 46 - 7 = j*g. Is g a multiple of 3?
False
Suppose 29348 = 18*s + 8180. Does 45 divide s?
False
Let p = -1981 + 2401. Does 86 divide p?
False
Let c(k) = 5*k**3 + 2*k**2 + 2*k + 1. Let i be c(3). Let a be 2/(-6) + 259/111. Suppose -6*o = -a*o - i. Is 20 a factor of o?
True
Let g(r) = -81*r + 115. Is 7 a factor of g(-10)?
False
Is (22344/32 - -4) + 6/8 a multiple of 4?
False
Let x(h) = h**2 + 2*h - 6. L