f z(-1)?
False
Let p(i) = 12*i**2. Let u be p(1). Does 5 divide u - (-4 - -2) - 0?
False
Let o(n) = -n**3 + 8*n**2 - n - 6. Let b be o(5). Suppose 14 = -2*w + b. Is w a multiple of 9?
False
Is (0 + -1)/((-12)/396) a multiple of 21?
False
Does 5 divide (-159)/(-9) + (-10)/15?
False
Suppose -34 = 4*o - 5*o. Let n = o - 84. Is 5 a factor of ((-4)/(-5))/((-4)/n)?
True
Suppose -2*l - 2*p + 264 = l, -3*p = -l + 99. Is 20 a factor of l?
False
Let b be (-1)/(-1*2/(-6)). Let s(c) = 0*c**2 - 7*c**2 + 12*c**2 + 0*c**2. Is 15 a factor of s(b)?
True
Suppose -2 = s - 10. Is s a multiple of 3?
False
Let g(k) = k + 31. Does 2 divide g(-17)?
True
Suppose 20 = 5*r + 2*h - 7*h, 4*r = h + 10. Suppose r*s - 6 = -2. Suppose c + s = 6. Is c a multiple of 2?
True
Suppose -4*s + 44 = -4*c, 4*c + 32 = -s + 4*s. Is s a multiple of 3?
True
Suppose 3*m + 0 = 12. Suppose -m*d + 2*d = -44. Is 13 a factor of d?
False
Suppose 0 = 4*a + 5*j - 30, 5*a - 4*j = 3*a + 2. Suppose 0 = -5*h + a, 3*p - 2*h = 3*h + 112. Does 13 divide p?
True
Suppose -4 = -3*d + 53. Suppose -4*c + 195 = d. Is c a multiple of 11?
True
Let l = 4 - 9. Let h be 1/l - (-2030)/25. Is 26/(-3)*h/(-18) a multiple of 13?
True
Suppose 20 = y - 0*y. Is y a multiple of 10?
True
Let a be 303/(-12) - (-2)/8. Let n = 1 - a. Does 13 divide n?
True
Let v = 11 - 8. Is v even?
False
Suppose -x - 2*x = -390. Suppose -2*n + 162 = -x. Suppose -4*h + 154 = -3*y, -y = 4*h - 0*h - n. Is h a multiple of 14?
False
Let x(c) = c**2 + 5*c - 3. Let a be x(-6). Suppose -4*w + 31 = a*y + w, -4*w = -8. Is 2 a factor of y?
False
Let h(x) = 3*x**2 + 5*x + 5. Suppose 7*d - 2*d = 3*q + 22, -4*d = -8. Is h(q) a multiple of 21?
False
Let u = 58 + -23. Let y = u - 20. Let r = y + -4. Does 4 divide r?
False
Suppose 86 = -a + 2*a. Let z = -49 + a. Is 14 a factor of z?
False
Is 23 a factor of -4 - 1/((-3)/81)?
True
Let f(t) be the second derivative of 7*t**4/12 + 2*t. Is f(-2) a multiple of 13?
False
Is -2 - (-2*93/6 - -2) a multiple of 27?
True
Let d be 134/3 - (-5)/15. Let q be (4 + -2)/(2/3). Suppose -d = -q*s + 15. Is s a multiple of 20?
True
Let c(v) = v**2 - 15*v - 32. Is c(18) a multiple of 5?
False
Suppose 2*w - w - 3 = 0. Suppose 0 = -w*j - 6*d + d + 137, -4*d = 2*j - 90. Is j a multiple of 14?
False
Suppose 3*s = -12 - 0. Let j = 1 - s. Suppose -m + 19 = -j. Is m a multiple of 14?
False
Let p(d) = 7*d**2 + 15*d + 9. Let a(y) = -3*y**2 - 7*y - 4. Let c(q) = 9*a(q) + 4*p(q). Let s be c(4). Let t(k) = k**2 - k - 5. Is 7 a factor of t(s)?
True
Suppose -5*h + 1 + 4 = 0. Is h*3 + 8 + 46 a multiple of 15?
False
Suppose -d = 3*a - 5*a + 5, d - 4*a + 13 = 0. Suppose -d*s + 66 = -0*s. Is 11 a factor of s?
True
Let a be (-30)/(-8) - (-2)/8. Let w = 1 + -2. Is w/(-2) + 94/a a multiple of 10?
False
Is 5 a factor of ((-114)/4)/(3/(-4) + 0)?
False
Let p be (-2)/8 - (-265)/20. Let t(r) = 2*r - 7. Does 19 divide t(p)?
True
Is (3 - -17) + 4/1 a multiple of 8?
True
Let i(b) = -b**3 + 4*b**2 - 7*b - 6. Let k(s) = -s**3 + 4*s**2 - 6*s - 5. Let m(o) = -6*i(o) + 7*k(o). Is m(3) a multiple of 5?
True
Let t be (-2)/8 - 25/(-4). Is (-4 - (-46)/4)*t a multiple of 10?
False
Let d be 17 - 0*1/3. Suppose 4*n = -3 - d. Is 15 a factor of (7 + n)/(2/45)?
True
Let b be (4/5)/(2/5). Let v = 7 - b. Let f(d) = 8*d - 5. Does 12 divide f(v)?
False
Suppose 2*i - 54 = -i. Is i a multiple of 3?
True
Let m(g) = g**3 - 13*g**2 + 12*g + 2. Let c be m(12). Is 12 a factor of (0 - c - 0) + 50?
True
Let u = 4 + -2. Suppose -20 + u = -l. Is 9 a factor of l?
True
Is 15 a factor of -70*18/21*-1?
True
Suppose 3*k = 4*k - 65. Is k a multiple of 13?
True
Suppose -x = 5*y + 5, -4*x - 6 = 14. Let t(h) = -h - 10 + 3*h**2 + 25 + h**3 - 4*h**2. Is t(y) a multiple of 7?
False
Suppose 105 = 2*u + 4*v + 31, 2*v = 3*u - 143. Is u a multiple of 15?
True
Let r(o) = 2*o**2 + 8*o - 4. Let s = -3 + -10. Let q = 6 + s. Is r(q) a multiple of 19?
True
Let c(i) be the third derivative of i**6/40 - i**5/12 + i**4/24 + 2*i**3/3 - 4*i**2. Suppose -6 - 6 = -4*m. Does 17 divide c(m)?
False
Suppose 4*d - 5*z = 224 + 176, 0 = 4*z - 16. Is d a multiple of 15?
True
Let w(o) = o**2 - 5*o - 8. Does 12 divide w(11)?
False
Let s(i) be the third derivative of i**5/60 - i**4/8 + i**3/6 + 4*i**2. Is s(4) a multiple of 5?
True
Suppose 4*x = b + 392, -2*x = 4*b + 82 - 278. Suppose 0 = -3*c + 157 + x. Is c a multiple of 25?
False
Let n = 7 - -2. Let v = -23 - -24. Let s = n + v. Does 4 divide s?
False
Let x be (-15)/(-4) + (-2)/(-8). Suppose -x*t - 21 + 57 = 0. Suppose -2*o + o - 39 = -3*s, t = s + o. Is 12 a factor of s?
True
Suppose b = -2*y - y + 98, -314 = -3*b - 4*y. Suppose 0*n + 2*n - b = 0. Does 14 divide n?
False
Let h(v) be the first derivative of v**4/2 - v**2/2 - 2*v + 1. Let m be h(-3). Let i = -29 - m. Is i a multiple of 8?
True
Let w(f) be the third derivative of f**4/12 - f**3 - f**2. Is 5 a factor of w(8)?
True
Let d be (3 - (1 - -1)) + -48. Let y be 2 - -1*8*-10. Let u = d - y. Is 12 a factor of u?
False
Suppose -a + m + 0*m + 9 = 0, 0 = -2*m - 10. Is (-1 - -2)/(a/204) a multiple of 16?
False
Let x be ((-2 + 2)*1)/2. Let t = 18 - 15. Is 13 a factor of (x + t + -22)/(-1)?
False
Let c be 1*2*(-9)/(-6). Suppose c*d = d + 44. Is d a multiple of 7?
False
Suppose -145 = -7*r + 2*r. Is r a multiple of 7?
False
Let u = -148 - 43. Let b = 274 + u. Is 21 a factor of b?
False
Let g be (-2*1 - 3)*-1. Suppose 0*m = -g*m + 10. Suppose 3*d - 10 + 36 = v, -30 = -m*v - 5*d. Does 13 divide v?
False
Let a = -5 + 7. Suppose 4*m - 102 = a*t, 37 = 4*m - t - 70. Does 7 divide m?
True
Let q = 2 + -3. Let x = 5 + q. Suppose 0 = 2*f - x*f + 58. Is 10 a factor of f?
False
Suppose 2*c - 7*c + 50 = 0. Does 7 divide c?
False
Let d(x) be the second derivative of x**6/120 + x**5/15 - 5*x**4/24 + x**3/3 - x**2/2 + x. Let p(w) be the first derivative of d(w). Is 16 a factor of p(-4)?
False
Suppose 3*o - 5*f - 55 = 0, -2*o + 2*f = -0*o - 42. Is o a multiple of 4?
False
Is ((-8)/(-1) - -130)*(-2)/(-4) a multiple of 3?
True
Suppose j - 1 = 16. Is j a multiple of 3?
False
Suppose -2*g = -2 - 4. Suppose g*r - 30 - 18 = 0. Does 16 divide r?
True
Let d(t) = -t**3 + 8*t**2 + 4*t - 2. Let j(x) = -x + 14. Suppose 5*s = -3*w + 38, 3*w - 2*s = -0*s + 10. Let z be j(w). Is d(z) a multiple of 15?
True
Let w(x) = 9*x**3 + 2*x**2 - x - 1. Let m be w(-2). Let v = 93 + m. Is v a multiple of 15?
True
Let h(t) = 3*t + 2*t - t + 33*t**2 - 5*t. Is 17 a factor of h(-1)?
True
Suppose 4*k - 5*q = -k - 145, -2*q - 4 = 0. Let h be -1*43*(2 + -1). Let r = k - h. Is r a multiple of 12?
True
Let b(a) = -3*a**2 + a - 3. Let g be b(-5). Is g/(-7) + 5/35 a multiple of 5?
False
Is (1 - 0)*(54 + -9) a multiple of 9?
True
Is 1*-8*(-1 - 0) a multiple of 4?
True
Suppose 0 = -3*m + 1 + 11. Suppose 3*h = -2*o + 6 + 10, -40 = -4*o - m*h. Suppose -26 = -2*k + o. Is k a multiple of 10?
True
Let b(m) = m**2. Let g be b(-2). Let x = -21 - -24. Suppose -u = -g - x. Does 3 divide u?
False
Suppose -3*l = -5*i + 15, -7 = 2*l + 3. Suppose 3*w - 34 - 56 = i. Is w a multiple of 10?
True
Let q(w) = -w**3 + 6*w**2 + 6*w + 7. Let l be q(7). Suppose l = -n - n + 6. Suppose -n*d + 7*d - 68 = 0. Is 11 a factor of d?
False
Suppose -w - 3*h = 2*w - 3, 12 = 2*w - 3*h. Let c = 5 - w. Suppose 12 = 3*j - c*j. Does 12 divide j?
True
Let a(f) = -f**3 - 2*f**2 + 6*f + 1. Is 3 a factor of a(-4)?
True
Let k(t) = t**3 - 7*t**2 + 5*t - 8. Let r be k(7). Let q = -17 + r. Is 5 a factor of q?
True
Let t be -1*3*((-5)/15 + -1). Let o(i) = i**3 + 5*i**2 + 3*i - 4. Let q be o(-3). Suppose q*x - t*x = 2*n + 20, -3*n - 23 = -x. Is x a multiple of 14?
True
Suppose 3*k - 39 = -4*y - 0*k, 4*k = -12. Does 6 divide y?
True
Let p(d) = -9*d. Suppose 4 + 5 = 3*a + 3*b, 5*a + 4*b = 15. Let z be p(a). Is 9 a factor of 1/(-2 + (-57)/z)?
True
Suppose y - 5*w = 24, -2*y + 8 = 2*y + 2*w. Suppose -o + 2*o - y = 0. Suppose o*v - 86 - 2 = 0. Does 11 divide v?
True
Is (-7 + (-5)/(-15))/(1/(-27)) a multiple of 10?
True
Suppose -126 + 27 = -3*d. Does 11 divide d?
True
Let m(p) = p**2 + 2*p + 1. Let s be m(-1). Suppose 5*k + 0*k - 20 = s. Is 4*18/k + 1 a multiple of 9?
False
Let c(r) = -3*r**2 + 4*r + 2. Let z be c(2). Let o(w) = -6*w**3 + w**2 - w - 2. Is o(z) a multiple of 13?
True
Suppose r + 0 + 4 = 0. Let n(d) = -2*d - 6. Let u be