t g(d) = -2*d - 7. Let y be g(-5). Suppose y*z - 33 = -0*z. Does 11 divide z?
True
Suppose -p - 3*l = -6, 3 = 4*p - 2*l - 7. Suppose -57 = -p*q + 21. Is 13 a factor of q?
True
Let v = 11 + 159. Suppose 0 = -4*o + v - 2. Is 24 a factor of o?
False
Let s = -101 - -177. Does 16 divide s?
False
Let c be 4/(-1 + (-10)/(-6)). Let z = c - 13. Is 4 a factor of (-79)/z + (-8)/28?
False
Does 9 divide (1/2)/(3/162)?
True
Let s(u) = 2*u**3 - 4*u**2 + 2*u + 1. Let x be s(2). Suppose 4*l - x*l = -84. Does 24 divide l?
False
Suppose -4*b + 24 + 216 = 0. Is b a multiple of 17?
False
Is 8 a factor of 3/2 - (-198)/12?
False
Suppose 2*o - 15 = -o. Suppose -l = -o*l. Let b = 10 + l. Is b a multiple of 5?
True
Suppose 3*p = -9*p + 192. Is p even?
True
Let v be (-3)/12 - 74/(-8). Suppose i = -2*i + v. Suppose -i*o + 41 + 1 = 0. Is 7 a factor of o?
True
Suppose l = -3*l - 2*d - 6, l + d = -4. Is l*9/(-6)*-26 a multiple of 21?
False
Let u(m) = -4 + 4*m - 3*m - 2*m. Let l be u(-6). Let k(b) = 8*b**2 - 4*b + 2. Is k(l) a multiple of 13?
True
Suppose 5*j - 2*p = 3*j + 238, -4*j + 484 = 4*p. Suppose -j = -6*b + b. Is b a multiple of 16?
False
Let b be 3/6*-2*1. Let s be (-6 - -1)*b/(-1). Let o = s - -14. Is o a multiple of 5?
False
Let u(v) = v**3 - 2*v**2 + v - 2. Let d be u(6). Suppose 3*n - d = -22. Does 21 divide n?
True
Suppose -n - n - 38 = 0. Let b = n - -39. Let g = b + 2. Is 11 a factor of g?
True
Let g be 0/(2*(-1)/2). Let t = g - -3. Suppose -t*w = -2*h - 64, 0*w - 2*w + h = -44. Is w a multiple of 17?
False
Let i be -5 + (0 - (2 - 0)). Let w = i + 13. Suppose 0*t + t = w. Does 6 divide t?
True
Suppose 4*o - 8 - 136 = 0. Does 9 divide o?
True
Let c(l) be the second derivative of 5*l**4/6 + l**2/2 + l. Let j be c(-1). Let y = j + -7. Does 4 divide y?
True
Let m(g) = g**3 - 3*g**2 - 7. Does 14 divide m(6)?
False
Let d(p) = 31*p**2 - 2*p + 1. Let s be d(1). Suppose -s - 60 = -5*g. Is 9 a factor of g?
True
Is 90/3*6/9 a multiple of 4?
True
Let q = -47 - -73. Let n = q + -8. Is n a multiple of 15?
False
Suppose -871 = -5*j - w, j = 4*w + 176 + 15. Does 25 divide j?
True
Suppose 4 = 3*d - 11. Suppose 4*p + d = 101. Is p a multiple of 11?
False
Let x(c) = -c**3 + 6*c**2 - 2*c - 3. Let s be x(3). Is s - (1 - (2 - 0)) a multiple of 13?
False
Suppose 0 = 2*x - 7 - 221. Does 14 divide x?
False
Let j(p) = -4*p - 66. Is 4 a factor of j(-27)?
False
Suppose 0*a - 17 = -4*a + z, -24 = -3*a + 3*z. Let w = -41 - -41. Suppose w = -a*d + 2*d + 6. Does 6 divide d?
True
Suppose 15 = -o + 4*o. Suppose -177 - 3 = -o*n. Does 12 divide n?
True
Suppose -4*j = 3*l + 2*l - 1, 5*l - 25 = 0. Let d = -4 - -10. Is d - 5/((-15)/j) a multiple of 2?
True
Let p(b) = b**3 + 8*b**2 + 7*b - 6. Let y be p(-6). Suppose 0 = 4*n + 2*l + 24, -n + 4 = -3*l + y. Does 24 divide 2/8 - 190/n?
True
Let t(a) = a**3 + 5*a**2 - 8*a - 6. Let j be t(-6). Suppose 8 = -2*c + j*c. Suppose 6*y - c*y - 116 = 0. Does 12 divide y?
False
Let b = 158 - 48. Does 26 divide b?
False
Let v be 15*((-9)/(-15) - 0). Suppose -8*f + v*f - 18 = 0. Is 18 a factor of f?
True
Let a = -67 - -101. Is a a multiple of 17?
True
Let x(h) = h**3 + 5*h**2 - 7*h - 3. Let f be x(-6). Suppose z = -4*n + 26, f*z + 1 = 2*n - 19. Is 5 a factor of n?
False
Let l be (-36)/(-6)*(-22)/4. Let y = l - -61. Is 17 a factor of y?
False
Suppose -4*v - 7 = 3*s, -4*s + 4*v - 8 = -36. Suppose 0 = 3*x - 4*o - 6 - 37, 5*x = -s*o + 62. Is x a multiple of 8?
False
Does 17 divide (-16 - 1)/((-1)/27*3)?
True
Let m(i) = i + 17. Let v(d) = -3*d - 5. Let g be v(-4). Let w(a) = -a. Let l be w(g). Does 7 divide m(l)?
False
Let f = 215 + -76. Does 13 divide f?
False
Let z(v) = v**2 + v - 2. Let c be z(3). Let i = 9 + c. Suppose 4*b = 5 + i. Does 3 divide b?
True
Suppose -f = -4*q + 43, -q + 4 - 7 = -3*f. Is 12 a factor of 6/(-4) + 438/q?
False
Does 28 divide 56/(-1*(-2)/8)?
True
Suppose 5*y + 44 + 26 = 0. Suppose 0 = -4*q - 7 - 21. Let u = q - y. Is 5 a factor of u?
False
Let r(k) = -k**3 + 7*k**2 - 7*k + 9. Let w be r(6). Suppose 5*z - w*i = 41, 5*i = -0*z - 2*z + 4. Is z a multiple of 7?
True
Let d(p) = -5*p**2 - 15*p - 17. Let a(u) = 3*u**2 + 8*u + 9. Let f(n) = 11*a(n) + 6*d(n). Is 3 a factor of f(-2)?
False
Let c be ((-1 - -4) + -3)/(-1). Suppose c*a - 6*a = -42. Is 4 a factor of a?
False
Suppose -g + 29 = -4. Is 22 a factor of g?
False
Let k(q) be the third derivative of q**5/12 - q**4/3 - 5*q**3/6 + 3*q**2. Let p be k(-5). Suppose 0 = 3*r + 2*r - p. Does 16 divide r?
True
Let u = -21 + 21. Suppose 3*b - 114 - 15 = u. Does 20 divide b?
False
Let z = 1 + 8. Let j(u) = u**3 - 9*u**2 + u - 6. Let f be j(z). Is 10 + 0/(f/3) a multiple of 4?
False
Let d(x) = x**2 - 4*x + 1. Let r be d(3). Let n be 310/110 + r/(-11). Suppose 5*t + 50 = 5*j, n*t = j + 6 - 22. Is 7 a factor of j?
True
Let j = -82 - -122. Is j a multiple of 10?
True
Let r = -16 + 18. Suppose 3*u = -r*u + 150. Is 14 a factor of u?
False
Suppose 0*o - 5*o - 3*g = 10, 4*o + 4*g = -16. Let t be (-1)/(-2)*o*6. Does 4 divide (-8)/t*(-3)/2?
True
Suppose -3*h - 14 - 4 = 0. Suppose 0 = -2*z + 6*z + 8. Is 3/(z/32*h) a multiple of 4?
True
Let h(t) = -3*t**3 - 49*t + 45*t + 4*t**3 - 2*t**2. Does 16 divide h(4)?
True
Let u(k) = 10*k**2 + k + 2. Does 47 divide u(-4)?
False
Suppose 3*t = i + 3*i - 147, 0 = -3*i + t + 104. Suppose z + 20 = b, -9 = 2*z + 5*b + 17. Let u = i + z. Does 6 divide u?
False
Suppose 8 = 2*l - 4. Suppose k - 10 - l = 0. Is k a multiple of 16?
True
Let v be (11/(-4))/((-5)/20). Let j = 7 - v. Let q = j - -11. Is q a multiple of 5?
False
Let j be (-137)/5 + 4/10. Let v = 19 + -29. Let o = v - j. Does 17 divide o?
True
Let j(n) = 5*n - 2. Is 2 a factor of j(1)?
False
Let h(y) = -y**2 + 4*y + 6. Let o be h(6). Let v(i) = -9*i**2 + 27*i - 2. Let b(m) = -4*m**2 + 13*m - 1. Let g(f) = 13*b(f) - 6*v(f). Does 15 divide g(o)?
False
Let f(t) = -t - 1. Let p be f(-5). Suppose 4*q = 4, -2*z + p*q + 62 = z. Is z a multiple of 9?
False
Let m(y) = 75*y - 2. Is m(2) a multiple of 37?
True
Let v(t) = -5*t**2 + 12*t - 10. Let b(c) = -6*c**2 + 13*c - 11. Let h(l) = -4*b(l) + 5*v(l). Is h(6) a multiple of 2?
True
Let x(o) = -2*o**3 + 5*o**2 + 2*o + 2. Let k be x(4). Let l = 59 + k. Does 9 divide l?
False
Let w(i) = -5*i - 3. Let s be w(-5). Let z = 14 + s. Does 12 divide z?
True
Suppose 2*b - 10 = -2*y, 4*y + y - 22 = -2*b. Is b - 2 - (-45 - 6) a multiple of 17?
False
Let k be ((-15)/(-2))/((-15)/20). Does 5 divide k/(-25) - (-492)/20?
True
Let h(d) be the first derivative of -d**3/3 - 2*d**2 + d + 4. Is 2 a factor of h(-2)?
False
Suppose 4*l = 5*u - 33, 4*u + l - 18 = -0. Suppose z = u*z - 312. Does 24 divide z?
False
Let w(t) = 3*t - 25. Let z(h) = 4*h - 38. Suppose -4*l = 4*b - 40, 5*b - 12 = 3. Let a(d) = l*w(d) - 5*z(d). Is 8 a factor of a(-7)?
True
Suppose 2*x + x = 234. Is x a multiple of 26?
True
Does 12 divide (-9)/6*-3*8?
True
Let o be 0 + 4 - (18 + -5). Is (72/15)/(o/(-30)) a multiple of 4?
True
Suppose -2*c + 3 = -3*m, -9 = -2*c - c. Does 14 divide m/(1/4)*7?
True
Suppose 2*a - 4 = 3*n, 5*n + 0*a - 3*a = -6. Suppose n = 2*h - 2*r - 182, -r - r - 470 = -5*h. Suppose h = -q + 4*q. Does 11 divide q?
False
Does 10 divide (44/3)/4*27?
False
Let o(l) = l + 7. Let w be o(-10). Let b(m) = 2*m**2 + m + 4. Is b(w) a multiple of 11?
False
Suppose 0 = -k + 6*k - 10. Let o(n) = -n + 1. Let u be o(1). Suppose 0 = -u*w + k*w - 18. Is 9 a factor of w?
True
Suppose 0 = 7*l - 2*l - 20. Suppose -4*x = l*i + i - 12, 0 = -4*x - 2*i + 12. Suppose 0 = 4*y - 0*j - 4*j - 68, -x*y + 5*j = -53. Is y a multiple of 16?
True
Suppose -4*a - p + 716 = 3*p, -4*a = 3*p - 711. Suppose -4*d - a = -7*d. Is 22 a factor of d?
False
Let f be (2/5)/((-1)/(-95)). Suppose -f = -4*d - 2*c, -d + 2*d = c + 8. Does 5 divide d?
False
Let c be (3 - 4)*(0 - 3). Suppose -c*f - 64 = -7*f. Is 8 a factor of f?
True
Suppose 1 = -n + 5. Suppose n*k - k = 12. Is k even?
True
Suppose -157 = -2*j - 3. Is 13 a factor of j?
False
Suppose 1 = -k + 4. Suppose j + 3*q = k*j - 15, -5*j + 10 = -2*q. Suppose a - w - 12 = j, 0 = 3*a - 4*w + 12 - 45. Is 15 a factor of a?
True
Let a = -2 - -2. Suppose -3*s + w = 0, a*w + 13 = 4*s + 3*w. Is 25 a factor of s*219/(6/2)?
False
Suppose -4*j - 2 = -2*b + 16, -5*b + 3*j = -31. Suppose -5*d + 3*l + 95 = 0, b*d - 33 = 2*d - 3*l. Is 8