f?
False
Let l = 25 - 25. Suppose l = -6*h + 2*h + 168. Is 10 a factor of h?
False
Let i(j) = -6*j - 2. Let u be i(-3). Suppose 0 = 3*l + 115 - u. Let x = 49 + l. Is x a multiple of 8?
True
Suppose -31*q + 132 = -20*q. Is q a multiple of 2?
True
Let h be ((-1)/1)/(-1)*3. Let l be (4/(-5))/(h/(-15)). Suppose 0*d = -l*d + 120. Is 12 a factor of d?
False
Let w(z) = 10*z - 8. Let p(g) = -2*g - 12. Let c be p(-8). Is w(c) a multiple of 30?
False
Suppose -10 = 4*a - 2. Is 14 a factor of (-2)/((-2)/((-56)/a))?
True
Suppose 0 = 4*l - 16 - 44. Is 12 a factor of ((-36)/l)/(1/(-10))?
True
Suppose 2*f = 3*u - 0*f - 12, 0 = 3*u + 2*f. Suppose 30 = u*r + r. Does 3 divide r?
False
Let c = 20 - 31. Let v = 53 + c. Is 19 a factor of v?
False
Let x = -178 + 255. Is 5 a factor of x?
False
Let b(c) be the first derivative of 2*c**2 + 2*c - 3. Does 13 divide b(3)?
False
Suppose -131 = -4*t - 43. Is t a multiple of 22?
True
Let i be (-112)/11 + (-4)/(-22). Let t = -2 - i. Suppose -t = -2*w + 8. Does 4 divide w?
True
Suppose 1 = -z + 4*r - 1, 4 = -2*z + 2*r. Is 10 a factor of 50/z*8/(-10)?
True
Let c(q) = -q**3 - 10*q**2 + 20. Is 4 a factor of c(-10)?
True
Let o(a) = 2*a - 4. Let l be o(0). Let f(z) = z**3 + 4*z**2 - 4*z + 4. Is 8 a factor of f(l)?
False
Let t = -354 - -198. Let x = -109 - t. Let c = x - 10. Is c a multiple of 22?
False
Suppose 0 = o - 4*o + 138. Is 26 a factor of o?
False
Suppose 24*a + 42 = 25*a. Does 21 divide a?
True
Suppose -3*p + 69 = d, -6*d - 12 = -2*d. Suppose 0 = -4*y + 28 + p. Does 10 divide y?
False
Let x(v) = 5*v. Suppose -5*g + 4*r = r - 88, 0 = -3*g + 2*r + 52. Suppose -g = -3*d + y, -3*d + 2*y = -d - 12. Is x(d) a multiple of 13?
False
Let s(j) = j**2 - 10*j - 7. Let x = 17 + -9. Let n be s(x). Let l = -4 - n. Is 14 a factor of l?
False
Is 8 a factor of 0/2 - (-38 + -1)?
False
Let z = 8 - 4. Let v = 9 - z. Suppose 86 + 24 = v*r. Is 11 a factor of r?
True
Let q = 7 - -8. Is (-3)/15 + 93/q a multiple of 2?
True
Let y = 72 + -21. Does 13 divide y?
False
Suppose -5*k + 420 + 540 = 0. Is 28 a factor of k?
False
Let i(x) = -x**3 + 6*x**2 + 8*x - 9. Is 39 a factor of i(6)?
True
Let f = -5 + 9. Does 4 divide f?
True
Suppose -2*y + 0*y + 3*h - 3 = 0, -27 = -4*y - 5*h. Is 2 a factor of y?
False
Suppose j - 5 - 4 = -5*n, 2*n - 9 = 5*j. Is j*(4 - 3)*-18 a multiple of 5?
False
Let s be (64/(-48))/(2/(-3)). Is 5 a factor of (-10 - -14)/(s/4)?
False
Does 7 divide (-1034)/(-6) + -1 - (-8)/12?
False
Suppose -5*m + 73 = 2*n, -146 = -4*n + 5*m - 45. Let x = n + -5. Let r = x + 0. Is 17 a factor of r?
False
Let g be (-1)/(2/2 - 0). Let o = g - 1. Let b(x) = -5*x + 1. Is b(o) a multiple of 4?
False
Let c = -3 + 7. Let a be c/5*10/4. Suppose 5*y + 4*l - 54 = 0, -a*y - 2*l + 32 = y. Is y a multiple of 7?
False
Suppose 4*h = -15 + 47. Is 4 a factor of h?
True
Let z(h) = -2*h - 6. Let l be z(-5). Let d(m) = 2*m**2 - 2*m. Is 22 a factor of d(l)?
False
Let o = 147 - 43. Is 8 a factor of o?
True
Suppose -f - 141 = -4*f. Is 12 a factor of f?
False
Suppose q - 4*g + 21 = 2*q, q = -g + 9. Suppose -13 = 4*j - 3*s - 61, 0 = q*j + 4*s - 29. Let d(t) = 2*t - 12. Does 2 divide d(j)?
True
Suppose -3*o + 5*o = 34. Is 11 a factor of o?
False
Let g = 73 + -43. Suppose -5*j = -4*a + 38, 0 = -3*a - a + j + g. Is 2 a factor of a?
False
Let v = -101 + 149. Does 16 divide v?
True
Suppose 144 = 3*f + f. Suppose -f = -v - 7. Suppose 2*k = -4*c + 52, -3*c + v = k - 2*c. Does 13 divide k?
False
Let s(a) be the second derivative of a**4/6 - a**3/3 - a**2/2 + 2*a. Let u be s(-1). Does 10 divide (-1)/u + (-31)/(-3)?
True
Suppose 4*k - k - 24 = 0. Does 15 divide ((-180)/(-16))/(2/k)?
True
Let s(j) = -4*j + 3. Is s(-11) a multiple of 4?
False
Suppose -9*z - 102 = -12*z. Is 17 a factor of z?
True
Suppose -5*n = 3*x - 2*n - 39, 0 = 4*n. Let i = -3 + x. Is i a multiple of 7?
False
Suppose -2 = -4*j + 14. Is 4 a factor of j?
True
Let n(d) = -4*d - 3. Let r(j) = 4*j + 3. Let a(k) = 5*n(k) + 4*r(k). Is 9 a factor of a(-3)?
True
Let i(u) = u - 8. Let b be i(11). Suppose 3*d - 3*a - 138 = 0, a - 5*a + 138 = b*d. Is d a multiple of 14?
False
Suppose c - 19 = -4*j, -3*c + 7 = 2*j - 0. Suppose -j*d = -15, 21 + 9 = 4*x + 2*d. Is x a multiple of 6?
True
Suppose -4*y + 3*y + 8 = -5*g, 3*y = 5*g + 14. Suppose y*x - 7 = 2*q, 4*x - 3*q - 1 - 9 = 0. Let f = 32 + x. Is 11 a factor of f?
True
Let u = -77 + 38. Does 5 divide -2 + -1 + u/(-3)?
True
Let b be ((-3)/(-2))/(42/56). Is -7 + 6 + 3*b a multiple of 3?
False
Let a(u) = -2*u**2 + 5*u + 9. Let g(j) = j**2 - 3*j - 4. Let c(s) = 2*a(s) + 5*g(s). Let q be c(6). Suppose 3*l - 72 = q*r, l - 24 = 3*r + r. Does 19 divide l?
False
Let v(c) = -c + 2. Let r be v(0). Let w be ((-4)/(-3))/(r/(-24)). Let t = 32 + w. Does 6 divide t?
False
Suppose 0*w + 2*w = -5*u - 96, -3*w = u + 27. Let x = -12 - u. Is 4 a factor of x?
False
Let l = 0 + 1. Suppose -3*m = n + l, -4*m = 5*n - 4 + 9. Suppose m = -3*j + 27 + 6. Is j a multiple of 4?
False
Suppose -4*b = -b - 6. Suppose -b*q + 0*q + 24 = 0. Is q a multiple of 6?
True
Let g(m) = 7*m**3 + m**2 - m + 1. Let v be g(-2). Let b = -15 - v. Is b a multiple of 17?
True
Let h(u) be the first derivative of u**2 + 5*u + 4. Is h(15) a multiple of 7?
True
Suppose -18*p + 21*p = 270. Is p a multiple of 18?
True
Let j(r) = 4*r - 4. Is j(7) a multiple of 4?
True
Let g(q) be the second derivative of -q**5/20 - 5*q**4/12 - 2*q**3/3 - q**2/2 + 2*q. Let u be g(-3). Let t = 8 - u. Does 13 divide t?
False
Let f(j) = -3*j**3 - 21*j**2 - 5. Let t(y) = y**3 + 10*y**2 + 3. Let g(s) = 2*f(s) + 5*t(s). Let c be g(8). Suppose -3*x = -c*x + 38. Does 7 divide x?
False
Let q(p) = 2 - 4 + 1 + 4*p**2. Let d be q(-1). Is 10 a factor of (6/d - -23) + 2?
False
Let q(f) = -39*f - 18. Is 30 a factor of q(-2)?
True
Let j(c) = c**3 - 6*c**2 + 5*c - 4. Let f be j(5). Let s = 7 + f. Suppose s*g - g = 12. Is 6 a factor of g?
True
Let x(g) be the second derivative of g**5/60 - g**4/4 + g**3/3 - g**2/2 + 3*g. Let l(d) be the first derivative of x(d). Is l(6) even?
True
Let z(r) = r**2 + 2*r - 7. Let x be z(-11). Suppose x = -5*v + 502. Is 34 a factor of v?
False
Suppose -4*m - 172 = -8*l + 4*l, 202 = 4*l + 2*m. Is 19 a factor of l?
False
Let i(r) = -4*r + 4. Is i(-10) a multiple of 9?
False
Let b = 10 - -1. Is b a multiple of 11?
True
Suppose -214 = -4*x + 94. Is x a multiple of 12?
False
Suppose -5*p - 3*r = -3 + 6, -3*r + 9 = p. Let l(o) = 2*o + o + 5 - 2*o. Is l(p) a multiple of 2?
True
Let f be (-1 + 19/5)*5. Let u be -12 + 10 - (1 - 1) - -4. Suppose -u = h - f. Does 12 divide h?
True
Let j(r) = 8*r**2 - 1. Suppose 0 = -2*n - 5 + 3. Is j(n) a multiple of 7?
True
Let p be (-11)/(-4) + (-6)/8. Does 19 divide (p/5)/(9/1800)?
False
Suppose -2*a = -5*r - 14, 5*a = r + r + 56. Suppose 12 = c + 3*j, 2*c - j + 6 - 2 = 0. Suppose -a = -2*x - c. Is x a multiple of 6?
True
Let p(y) = -y + 8. Let k be p(8). Suppose 4*t - t - 185 = -5*d, 3*d + 5*t - 95 = k. Is d a multiple of 20?
True
Let h = 33 - 18. Is 5 a factor of h?
True
Let l be (0 - (-3 - -4))*0. Suppose y = -l*y + 19. Is 8 a factor of y?
False
Suppose a + 3*s + 73 = 211, -5*a + 720 = 5*s. Is a a multiple of 43?
False
Let v(x) be the third derivative of x**6/120 - x**5/15 - x**4/6 + 2*x**3/3 - 9*x**2. Is v(6) a multiple of 13?
True
Let g = -4 - 0. Let s(k) = -5*k + 2. Let u be s(g). Let x = u + -14. Does 5 divide x?
False
Suppose 173*m + 321 = 176*m. Does 5 divide m?
False
Let h(c) = c**3 - 4*c**2 - 9*c + 4. Is 24 a factor of h(7)?
False
Let t(n) = 5*n**2 + 5*n + 4. Suppose -47 = -5*h - 2*g, 9 = 3*h - 5*g - 44. Let z = h - 15. Is 22 a factor of t(z)?
False
Suppose -3*d = -2*d - 36. Is d a multiple of 19?
False
Let t = -7 - -9. Is 12 a factor of t + (-1 - (-46)/2)?
True
Is 2 a factor of 1/((45/10)/9)?
True
Let u = -19 - -24. Suppose -368 = -4*t - u*n, 0*t - t = -2*n - 105. Does 28 divide t?
False
Let i(w) = -w**3 + 9*w**2 - 6*w + 12. Let p(h) = 2*h + 2. Let r be p(3). Let t be i(r). Does 4 divide -4*1*(-77)/t?
False
Suppose 0 = 4*l - 1021 - 83. Does 46 divide l?
True
Suppose -252 = 2*z - 6*z. Suppose -2*m - m + z = 0. Let j = 31 - m. Is j a multiple of 10?
True
Suppose 0 = -s + 6*s. Suppose -4*o + n + 409 - 96 = 0, -2*n + 6 = 0. Suppose 0 = -b - 3*u + 17 + 18, s = 2*b - 3*u - o. Is 19 a factor of b?
True
Let z(f)