k?
True
Suppose -v = h - 30, -3*v + 21 + 1 = h. Is h a multiple of 34?
True
Let l = -110 - -196. Does 17 divide l?
False
Let d(c) = 5*c**2 - c - 1. Suppose 2*g = -3*g + 10. Let r be d(g). Let j = r + -2. Is j a multiple of 15?
True
Let u(a) = a**2 + 4*a + 322. Does 25 divide u(0)?
False
Let l = 28 - 14. Is 3 a factor of l?
False
Let s = 77 + -47. Is s a multiple of 10?
True
Suppose -3*j + j + 1 = 3*h, -j + 2 = h. Suppose 5*u - j - 20 = 0. Is 2 a factor of u?
False
Let v be 2 - 1 - (1 + -3). Suppose -2*g + 8 = -k, -6*k + k - 12 = -v*g. Suppose 4*u + 4*y = 28, -g + 12 = -u - 4*y. Is 12 a factor of u?
True
Let d(r) = -r**3 - 6*r**2 - r + 2. Is 4 a factor of d(-6)?
True
Suppose -11*p - 32 = -12*p. Is p a multiple of 25?
False
Let p(s) be the second derivative of 7*s**4/24 + s**3/3 - s**2/2 + s. Let v(y) be the first derivative of p(y). Does 8 divide v(2)?
True
Let g = 7 + -2. Let s(z) = 7*z**2 + 4*z + 9. Let j(f) = 15*f**2 + 9*f + 19. Let o(v) = -6*j(v) + 13*s(v). Does 7 divide o(g)?
False
Suppose 0 = -5*i - 207 + 637. Let v = i + -52. Is 13 a factor of v?
False
Does 24 divide (-1582)/(-11) + 12/66?
True
Let u(d) = -18*d**3 + d**2 + d. Is u(-1) a multiple of 9?
True
Let z = 187 + -127. Is z a multiple of 30?
True
Let a = 8 - 4. Suppose -21 = -a*g + 15. Is g a multiple of 3?
True
Let t(x) = x**2 - x + 155. Let b be t(0). Suppose 4*v - 13 - b = 0. Is 21 a factor of v?
True
Is 9110/70 - 2/14 a multiple of 26?
True
Suppose i - 14 - 4 = 0. Let n = i - -7. Is 6 + n + (0 - -1) a multiple of 16?
True
Let g(o) be the third derivative of o**6/60 - o**5/20 + o**4/8 - o**3/2 + o**2. Is g(2) even?
False
Suppose -232 = -b - 3*b. Suppose i = 4*h - 100, 10 = 2*h + 4*i - b. Is h a multiple of 7?
False
Let u = -2 + 15. Is u a multiple of 11?
False
Does 33 divide ((-164)/10)/((-2)/20 - 0)?
False
Suppose -5*g + 3*x = -20, -3*g + 0*x = 2*x - 12. Suppose g*b - 8*b = -4. Suppose -b = -4*a - 9, 3*n - 26 = -2*a. Does 5 divide n?
True
Let x(t) = t + 10. Does 2 divide x(-3)?
False
Let k = 4 - 4. Let p = k - -2. Suppose -4*x + 8 = -p*x. Is x even?
True
Suppose 3*y = -f + 101, -5*f + 461 = -2*y + 6*y. Is f a multiple of 22?
False
Let b = 49 - 31. Suppose p + b = 3*p. Let l = -6 + p. Does 2 divide l?
False
Suppose -v = -3*u + 365, -5*u + 306 + 309 = 5*v. Is u a multiple of 14?
False
Suppose 0 = -3*h + 9, -3*j - h - 36 = -5*h. Let t be 116/j + 3/2. Let f = t + 25. Is 8 a factor of f?
False
Let g(o) = 12 + o + 0*o - 2*o + o**3. Suppose b = -4*b. Is g(b) a multiple of 6?
True
Let r(f) = f**2 + 16*f + 29. Is 10 a factor of r(-16)?
False
Suppose -b = 4, i = 4*b - 5*b + 5. Suppose -i*v = -5*v - 16. Is 3 a factor of v?
False
Let l be (-1 - -1)*8/(-16). Let r(m) = m**3 + m**2 - m + 18. Is r(l) a multiple of 9?
True
Let s = -6 + 9. Suppose -4*h + 26 = -s*h. Is h a multiple of 16?
False
Let c(y) = -y**3 + 3*y**2 + 5*y - 4. Let s be c(3). Suppose -s - 1 = -3*g. Is 2 a factor of g?
True
Let q(v) = -v - 5. Let y(w) = -w + 25. Let o(k) = -8. Let g(x) = 7*o(x) + 2*y(x). Let t(l) = -3*g(l) + 4*q(l). Is t(6) a multiple of 10?
True
Let g(i) = -i**2 - 11*i - 10. Let c be g(-9). Suppose -4*t - 28 = -c*t. Does 2 divide t?
False
Suppose 1 + 119 = 2*h. Is 10 a factor of h?
True
Suppose -5*i + 13 = -t, -2*t + 5*i - 5 = 2*i. Suppose -b - c + 5 = t*c, 2*b = -2*c + 22. Is b a multiple of 6?
False
Let j(x) be the first derivative of -x**4/24 + x**3/3 + x**2 - 1. Let m(v) be the second derivative of j(v). Does 4 divide m(-5)?
False
Let n(f) = 2*f**2 + 6*f - 6. Is n(3) a multiple of 17?
False
Suppose 5*d - 3 - 14 = -2*c, 2*d - c - 5 = 0. Suppose d*q = q. Suppose q = 5*u - 22 - 8. Is 6 a factor of u?
True
Let u = -200 - -396. Let m(h) = 2*h + 1. Let p be m(1). Suppose p*a = u - 13. Does 21 divide a?
False
Let b(y) = -y - 48. Let m be b(0). Is 13 a factor of (-5 + 2)/(9/m)?
False
Let u = -30 - -228. Is u a multiple of 18?
True
Let a be (-45)/(-3) + 1 - -2. Suppose -4*i - 16 = 0, 0 = 5*r - 5*i - 3 + a. Is 1/(-2) - r/2 a multiple of 3?
True
Is 13 a factor of 1 + -2 + 55 + -2?
True
Let z be (-1)/(-1) - (-4 + 0). Suppose z*n = 4*n. Suppose n*w + 8 = 2*w. Does 4 divide w?
True
Suppose c + q = 3, 0 = -c + q - 0*q + 7. Suppose c*i + 423 = 5*u + 128, -5*i - 115 = -2*u. Does 15 divide u?
True
Let k(c) = -c + 4. Let x be k(4). Suppose x*v = v. Suppose 2*w - 2 = v, 7*s - 51 = 3*s + 5*w. Is s a multiple of 5?
False
Let o(k) = 2*k + 2. Let z = 31 - 22. Let b be o(z). Let a = -5 + b. Is 5 a factor of a?
True
Suppose -17 = -3*x + 37. Let c be (-627)/(-27) + (-4)/x. Suppose -c = -5*m + 4*m. Does 10 divide m?
False
Let p(l) = l**3 + l**2 + 6*l - 3. Is p(5) a multiple of 24?
False
Let f(h) = h**2 - h + 48. Let t = 14 - 23. Let u = t - -9. Does 24 divide f(u)?
True
Let t(n) = n**2 - 11*n + 6. Is 4 a factor of t(11)?
False
Suppose -4*j + 5*z + 8 = 3*z, 2*j - 3*z = 4. Suppose -j*c = 3*y - 39, -5*c + 11 = -2*c - 5*y. Is 12 a factor of c?
True
Let w(y) = 2*y - 10. Let u be w(8). Suppose -3 = -3*g + u. Suppose -3*q + 2*i = -51, g*i - 6 = i. Is 7 a factor of q?
False
Is 15 a factor of (-2648)/(-20) - 2/5?
False
Suppose -i + 0*o - 50 = 5*o, i + 36 = 2*o. Let x = 16 + i. Let c = -14 - x. Does 5 divide c?
True
Suppose 5*i - 4*u - 45 = 2*i, -4*i = -u - 73. Is 3 a factor of i?
False
Let q = 1 - 1. Let t(u) = 2 + u**3 - u**3 + u**3 - u + 5. Is t(q) a multiple of 3?
False
Is 36 a factor of (-2)/(-11) - (-438)/11?
False
Is 15 a factor of ((-1)/(-2))/(6/516)?
False
Let d be (-6)/(3 - 5) + 0. Suppose -36 = -2*b + u, -d*u - 3 - 51 = -3*b. Does 18 divide b?
True
Suppose 49 = s + 3*y, 0 = 5*s + y - 0*y - 245. Is 25 a factor of s?
False
Let m be 8/2*(0 - 28). Let w = 43 - 34. Does 12 divide (w/6)/((-6)/m)?
False
Let z = 3 + -1. Suppose -z*u = -3 - 1. Suppose 9 = -u*p + 5*p. Is 2 a factor of p?
False
Suppose -h = 0, 0*g = -2*g + h - 6. Let k be 100 - g - (-3 + 1). Suppose 4*d - k = -17. Is 10 a factor of d?
False
Suppose 0 = -5*d + 5 + 5. Suppose 0*r - 2*q = -r + 40, 5*r + d*q = 212. Is 22 a factor of r?
False
Let y = -2 + 4. Suppose y*r = -4*p + 88, p - 125 = -3*r + 12. Suppose -r = -u - u. Is 10 a factor of u?
False
Let w(p) = 2*p. Let k be 1 + (0 - -2 - 1). Let b be ((-3)/(-6))/(k/20). Is 8 a factor of w(b)?
False
Let b = 341 + -137. Suppose 7*k = 3*k + b. Let y = k - 29. Is y a multiple of 22?
True
Let z be (-4)/26 + 100/(-26). Does 3 divide (-4)/6*48/z?
False
Let h be (-2)/11 - (-48)/22. Let f be (0*1/h)/(-1). Suppose 4*b - 8 = -4*m, b - 5 + 6 = f. Is 2 a factor of m?
False
Let r(x) = 9*x - 7. Let h be r(-6). Let a = 4 - -5. Does 12 divide (-3)/a + h/(-3)?
False
Let l(o) be the first derivative of o**4/24 + o**3/3 - o**2/2 + 1. Let x(z) be the second derivative of l(z). Is x(6) a multiple of 5?
False
Suppose d + d = 4. Suppose 0 = 3*n + 3*q - 0*q - 6, -3*q = d*n - 6. Is 26 + (-6)/(-3) + n a multiple of 14?
True
Let w be 12/(2/3 + 0). Suppose 0 = -z + 6*t - 3*t + w, -8 = 4*z + 4*t. Is z/(6/40) + 2 a multiple of 8?
False
Let q(w) be the second derivative of w**4/12 + w**3/3 - w**2/2 - 5*w. Does 3 divide q(3)?
False
Suppose -4*u + 217 = -227. Does 29 divide u?
False
Let j be ((-6)/4)/((-33)/(-2156)). Is 8 a factor of j/(-12) + (-6)/36?
True
Suppose -w + 0*w - 24 = 4*c, 2*c = -4*w - 40. Let t = w + -5. Let j = -3 - t. Is 5 a factor of j?
True
Let d(x) = -x**3 + 28*x**2 - 28*x + 34. Is 3 a factor of d(27)?
False
Let n(q) = -10 + 4*q**2 + 8*q - 3*q**2 + 2*q**2. Is n(4) a multiple of 10?
True
Suppose -9 = -q - a, a - 28 = -3*q - 3*a. Suppose 3*w - q*w = -60. Is w a multiple of 10?
False
Suppose -l + 0 - 11 = 0. Let w = 19 + l. Is w a multiple of 6?
False
Let r = 1 - -4. Suppose 3*x - 67 = -r*m, 5*x - 5*m - 1 - 44 = 0. Is x a multiple of 7?
True
Let h(o) = -o + 2. Let c be h(2). Let p(f) = -2*f + 7. Is p(c) a multiple of 3?
False
Let h = 24 - -10. Is 7 a factor of h?
False
Suppose 5*y - 20 = -5*j, j - 24 = -5*y - 0*j. Does 5 divide y?
True
Suppose -6*s = -3*s - 114. Does 9 divide s?
False
Let w(x) be the first derivative of 7*x**2/2 - x + 4. Is 8 a factor of w(3)?
False
Let o(n) = -9*n - 64. Is o(-10) a multiple of 4?
False
Is 96/(-9)*3/(-2) a multiple of 14?
False
Let q(g) = g**3 + g**2 - 1. Let o(a) = 5*a**2 - a - 7. Let t(c) = o(c) - 6*q(c). Is t(-1) a multiple of 2?
False
Suppose -3*i = -3*z + 21, -5*i = -2*z - 6*i - 1. Suppose 2*n - 2 - z =