of w?
False
Let z(a) = 2*a - 7*a + 4*a + 8. Let d be z(0). Does 16 divide (-78)/d*(-4 + 0)?
False
Suppose 190 = -5*y - 0*y. Let j = y + 71. Is 15 a factor of j?
False
Let k(h) = 6*h**2 - h. Let z be k(1). Suppose z = 2*b + 3*v, v = -v - 6. Suppose -23 = -3*w + b. Is 10 a factor of w?
True
Let p = -11 + -9. Is 2/(-1) - p - 2 a multiple of 16?
True
Let y be 2/(-11) + (-224)/(-22). Suppose -h - 2 = -4*w, 6*h - h + y = -w. Let c = 4 + h. Is 2 a factor of c?
True
Is (6/(-8))/((-4)/32) even?
True
Let x(n) = n**2 + 2*n - 5. Let s = -5 - 1. Is 19 a factor of x(s)?
True
Let v(l) = 4*l**2 - 5*l - 1. Is v(4) a multiple of 6?
False
Let a(r) = -r**3 + 7*r**2 - 4*r - 5. Is a(6) even?
False
Suppose 1 = j - 5. Is (-382)/(-6) - j/9 a multiple of 19?
False
Let s(j) = -j**2 - 3*j + 2. Let c be s(-5). Let q(l) = l**3 + 10*l**2 + 9*l - 5. Is 17 a factor of q(c)?
True
Let c = 230 + -134. Does 12 divide c?
True
Suppose 0*k + 51 = -3*k. Suppose u = -3*s - 28 - 17, -5*u = 2*s + 173. Let i = k - u. Is 11 a factor of i?
False
Let f be ((-4)/8)/((-1)/18). Suppose -4*z + f*z = 25. Suppose -k - 144 = -z*k. Is 12 a factor of k?
True
Let z = -290 - -130. Let c = z - -290. Suppose 4*y - 5*b = 139, 4*y + 5*b - 19 - c = 0. Is 11 a factor of y?
False
Let f = -12 + 39. Does 7 divide f?
False
Suppose -5*a + 33 = -2. Suppose a*m - 10 = 2*m. Is 7 a factor of ((-38)/4)/((-1)/m)?
False
Is 7 a factor of (-528)/(-18) - (-2)/3?
False
Let d(p) = -94*p. Let h = -7 + 6. Let l be d(h). Let b = l - 51. Is b a multiple of 13?
False
Let n be (1 - -1) + 2 + -2. Suppose 5*v = -6*s + n*s + 3, v - 12 = 3*s. Suppose -c + v = -3. Is c a multiple of 3?
True
Let s(l) = -l**3 - 13*l**2 - 13*l - 12. Let f be s(-12). Suppose f = 6*j - j. Is -3 - j - (-2 - 21) a multiple of 6?
False
Let c(p) = 0*p**2 + p + 2*p**2 - p**2. Does 3 divide c(-3)?
True
Let l(g) = 2*g - 49. Let a(p) = p - 25. Let r(m) = -7*a(m) + 3*l(m). Let w be r(0). Let o = w + -19. Is 7 a factor of o?
False
Let r(v) = 8*v**2 + 3*v + 11. Is r(-4) a multiple of 36?
False
Let b(h) = -h**3 + 3*h**2 + 2*h - 1. Let v be 1 + (6/2 - 1). Is b(v) a multiple of 3?
False
Let k(g) = g**2 - 3*g - 2. Let r be k(6). Suppose -1 = -y + 1. Suppose -m = -y*a - 3*m + 10, 0 = 5*a - 4*m - r. Is 4 a factor of a?
True
Let n(w) = -8*w**2 + 2*w - 1. Let r be n(1). Let q = 63 - r. Let p = q - 28. Does 20 divide p?
False
Let k(l) be the third derivative of -l**6/120 + l**3/3 - l**2. Let p be ((-1)/((-5)/3))/(23/(-115)). Is 13 a factor of k(p)?
False
Let q be (0*1/2)/(-2). Suppose -2*s - w = -0*s - 58, q = -3*s + w + 82. Is s a multiple of 24?
False
Let g = 38 - -24. Is 16 a factor of g?
False
Let z = 124 - 88. Is z a multiple of 7?
False
Suppose 90 = m - 5*g, 2*m + 2*m + g = 318. Does 20 divide m?
True
Suppose 2*w = 7*w - 10. Let v be (-1 + w)/(4/(-8)). Is v/4 - (-35)/10 a multiple of 2?
False
Let g = -85 + 165. Is 32 a factor of g?
False
Let k = 38 - 24. Is k a multiple of 14?
True
Let d = 207 + -143. Is d a multiple of 32?
True
Let b = 26 + 0. Let j = -3 - -7. Let g = b - j. Is g a multiple of 11?
True
Let y(b) = 18*b + 24. Does 11 divide y(6)?
True
Suppose 4*x = 5*o + 2*x - 34, -x = -o + 8. Let j be ((-1)/3)/(3/9). Is (o/j)/(-3) - -3 a multiple of 5?
True
Let y = 5 - 2. Let u(x) = x + 1. Does 3 divide u(y)?
False
Suppose w = 2*c - 23, 3*c + 3*w - 61 = -c. Suppose 67 - c = 2*i. Is i a multiple of 18?
False
Let t(q) = -q**2 - 5*q + 3. Let v be t(-5). Let b(y) = 2*y**2 + v - 2 - 7 - 6*y + y. Is b(5) a multiple of 15?
False
Suppose 23*t + 222 = 24*t. Does 37 divide t?
True
Let j(h) = -10*h + 1. Let f(w) = w. Let m(d) = -21*f(d) - 3*j(d). Let t = -26 - -28. Does 6 divide m(t)?
False
Suppose 0 = 3*h - 20 - 16. Is 1/(-3*(-1)/h) a multiple of 4?
True
Let l(v) = v**3 - 14*v**2 + 12*v + 10. Let n be l(13). Does 3 divide n - 0 - (-16)/2?
False
Let t = -5 + 7. Suppose 4*b + 5*r + 19 = 0, -t*r - r = b + 10. Is 7 a factor of (-1 + 2)/(b/(-7))?
True
Let x(d) = 5*d**2 + d - 10. Does 41 divide x(-6)?
True
Let b(l) = 8*l - 10. Let p be b(4). Let k = 58 - p. Is k a multiple of 18?
True
Let w be 1/3 - (-520)/6. Let y = w - 31. Suppose 5*p - p = y. Is 5 a factor of p?
False
Let s = -22 + -16. Let f = 0 - s. Is 17 a factor of f?
False
Suppose -5*l - c = -22, -2*c = l - 4*l + 21. Let v = -132 - -252. Suppose 5*d = -l*o + v, -o + 5*d + 5 = -31. Is 13 a factor of o?
True
Let x(w) = 2*w + 3. Suppose -4*p + 18 = -10. Is x(p) a multiple of 12?
False
Let q = -22 + 56. Let b be 6/(q/(-18) - -2). Suppose 12 = -3*o + b. Is o a multiple of 7?
True
Suppose 0*i + 165 = 5*i. Is 22 a factor of i?
False
Suppose -2*t + 4*p + 9 = 3, -t + 5*p = -3. Is 10 + (1 - t - -4) a multiple of 12?
True
Let d = 9 + -37. Suppose 2*b + 3*x - 110 = -0*x, -2*b - 5*x + 114 = 0. Let a = b + d. Does 12 divide a?
True
Suppose 3*s = -10 - 8. Let h(d) = -13*d - 13. Is h(s) a multiple of 28?
False
Let r(z) = 2*z + 7. Let h be r(5). Let w = h - 2. Does 5 divide w?
True
Let u = -2 + 2. Suppose -n - n + 16 = u. Is 5 a factor of n?
False
Suppose 5*h + 71 = 2*o, h + 4*h = o - 38. Suppose 89 = r + o. Is 28 a factor of r?
True
Let y = 28 - 14. Let n = y - 6. Does 3 divide n?
False
Let t(f) = -81*f**3 + 2*f + 1. Let n be t(-1). Is 28 a factor of (n/5)/(2/6)?
False
Suppose 3*g - 38 = 4*v + 178, -360 = -5*g + 4*v. Does 12 divide g?
True
Let q be 94/(-14) + 4/(-14). Let j = -10 - q. Is (-10)/j*210/25 a multiple of 14?
True
Let o be ((-2)/6)/((-5)/75). Let t(z) = 2*z. Is t(o) a multiple of 5?
True
Let u(b) = b + 8. Let l be u(-6). Let q be (l/(-4))/(2/(-500)). Suppose 3*v - 95 = -2*a, -5*v = -4*a - a - q. Is 11 a factor of v?
False
Suppose -6*d + 40 + 8 = 0. Is d a multiple of 8?
True
Let w = 216 - 73. Suppose -35 = 3*p - w. Let y = p + -26. Does 10 divide y?
True
Let t(z) = 3*z**2 + 7*z - 3. Suppose 0*i - 4*i + 36 = 0. Let h be t(i). Is 11 a factor of h/27 - (-2)/(-9)?
True
Let t(z) = -z**2 - 3*z + 4. Let q be t(-4). Suppose q = 2*d + 2 - 10. Suppose -d*n + 3*m = 23 - 131, 2*m - 8 = 0. Does 15 divide n?
True
Suppose -5*p - c - 18 = -5*c, -3*p - 3*c = 0. Let t be (5/15)/(p/(-54)). Does 4 divide (-3)/t - 44/(-6)?
False
Let a(x) = x**2 + 4*x - 1. Is a(4) a multiple of 12?
False
Suppose 0 = -4*s - 4*l - 28 + 88, 0 = -4*s + 3*l + 32. Is 3 a factor of s?
False
Let y = 8 + -6. Suppose y*v = 0, 3*h - 2*v - 30 = -6*v. Is h a multiple of 5?
True
Let s be (-1 - -1) + -1 - -3. Suppose -x = -2*x + 2, 0 = s*z - x - 32. Is 4 a factor of z?
False
Suppose -4*n = -5*v + 32, 0 = 3*v - n - 6 - 9. Suppose t - 36 = -q + v*t, q - 26 = -2*t. Is 8 a factor of q?
False
Let n = 94 + -81. Does 13 divide n?
True
Suppose 2*s + 149 + 121 = 0. Let z = -95 - s. Is 20 a factor of z?
True
Suppose 0 = -6*i + 250 + 650. Is 15 a factor of i?
True
Let y(c) = 7*c**3 - 5*c**2 - 2*c + 2. Let b(h) = -8*h**3 + 4*h**2 + 2*h - 1. Let j(t) = 3*b(t) + 2*y(t). Is 7 a factor of j(-1)?
False
Let d(n) = n**2 + 8*n - 6. Is d(-11) a multiple of 16?
False
Let k(h) = -h**3 + 13*h**2 + 12*h - 26. Does 13 divide k(13)?
True
Let p(o) = -o**3 - 7*o**2 + 8*o + 3. Let q be p(-8). Suppose 6*z - 3*z - 5*l = 29, 5*z = q*l + 27. Is (10/z)/((-3)/(-9)) a multiple of 5?
True
Let d be (-3 + -2)*12/(-20). Suppose 0*t = t - 4*r - 55, -r = -d*t + 165. Is t a multiple of 21?
False
Does 10 divide ((-190)/(-4) + -2)*2?
False
Suppose -430 - 430 = -5*c. Suppose 0 = 4*o - c. Is 16 a factor of o?
False
Let i(g) = -3*g - 2. Is 2 a factor of i(-4)?
True
Let g = 39 - 0. Is 10 a factor of g?
False
Let h(y) = y**2 + 7*y - 12. Let f be h(-9). Suppose 2*q = -3*a + 19, -4*a + 6*a = 2*q + f. Does 2 divide q?
True
Let i(t) = 2*t**3 - 7*t**2 + 6*t - 3. Let m = -6 - -10. Is i(m) a multiple of 22?
False
Let o(d) = -18*d - 23. Does 46 divide o(-14)?
False
Suppose -l + 9 = -0*l. Suppose j + 1 = -l. Does 5 divide j/(-1 - 0)*1?
True
Let g be (-26)/6 + 6/(-9). Let y = 11 + g. Does 6 divide y?
True
Let l(j) = -13*j**3 + j + 2. Let c be l(-2). Suppose -2*d = 2*d - c. Is d a multiple of 15?
False
Let l = 39 + 2. Is l a multiple of 17?
False
Suppose -2*j + 3*d + 9 = 0, 0*j + j - d - 4 = 0. Suppose 5*t - 85 = j*c - 4*c, -2 = t + 4*c. Is 11 a factor of t?
False
Let c(a) = -a. Let y(w) = 2*w + 11. Let d(z) = -4*c(z) - y(z). Let r be d(8). Suppose -3*p + 5*p = -5*i + 63, 0 = -3*p - r*i + 92. Is 11 a factor of p?
False
Suppose 8 + 92 = -5*h.