 + 5*g**2 - 4. Is v(f) a multiple of 7?
False
Let x = -4 - 3. Let g = x - -14. Is 4 a factor of g?
False
Is 10 a factor of (-2619)/(-18) - (-6)/4?
False
Is (171 - (2 - 20/4)) + 1 a multiple of 25?
True
Let y(w) = 5*w**3 - 4*w**2 + 4*w - 3. Let q be y(2). Let a = q - 16. Does 6 divide a?
False
Suppose 5 = 4*s + p, 0 = 2*s - 3*p - p - 16. Let g(t) = t**2 - 17*t + 3. Let x be g(17). Does 9 divide 18*(9/s)/x?
True
Let v(f) = 7*f - 18. Does 45 divide v(9)?
True
Let u = 23 - 15. Does 5 divide u?
False
Suppose 5*d = -0*d + 60. Suppose -d = -w + 20. Suppose 0 = -4*o + 84 - w. Is 5 a factor of o?
False
Let y be 0*-1*(-1)/1. Let v(h) = h**2 + h + 24. Is v(y) a multiple of 12?
True
Suppose 0 = -2*i - 5*l + 88 + 71, 0 = -3*i - l + 206. Let a = -35 + i. Is 8 a factor of a?
True
Let x = -4 + 26. Is 22 a factor of x?
True
Let y(k) = k**3 - 4*k + 2. Let n(j) = j**3 + 8*j**2 - 9*j + 4. Let m be n(-9). Is 15 a factor of y(m)?
False
Let y = -25 + 97. Let d = 95 + -143. Let u = y + d. Does 8 divide u?
True
Suppose 0 = -3*g + 4*g - 3*t + 8, -28 = -2*g - 5*t. Suppose g*y = -5*l + 31, 1 = y - 3. Suppose -6 = -l*f, 26 = r + f - 6*f. Does 18 divide r?
True
Let g(v) = -12*v - 2. Let k be g(-5). Let i = k + -114. Let w = 80 + i. Does 8 divide w?
True
Let o(b) = b**3 + 9*b**2 + 8*b + 4. Let x be o(-8). Let s(q) be the third derivative of 5*q**4/24 + q**3/6 + 2*q**2. Does 10 divide s(x)?
False
Let o(i) = -i - 3. Let b be o(-5). Suppose 3*r + j = 13, -b*j + 7*j = -2*r + 26. Suppose -2*q = -r*c + 42, -3*c + 3*q = -c - 23. Is 8 a factor of c?
True
Suppose 5*k = -3*h - 36, -5*k - 17 = 4*h + 21. Let n be (3/(-2))/(k/8). Let q = n - -2. Is 4 a factor of q?
True
Suppose 2*z = 5*v - 212, 4*v - 2*z = 69 + 101. Is 14 a factor of v?
True
Suppose 1 = r - 3. Suppose 0 = r*q - 4 - 4. Suppose -2*g = q*g - 84. Does 7 divide g?
True
Let u = 234 - 37. Does 45 divide u?
False
Let f(q) = 3*q + 0 + 0 - 1 + 7. Does 9 divide f(7)?
True
Let h be 13/(2 - 0 - 1). Suppose 5*w + 0*d = -2*d + 18, -3*w + h = -d. Suppose w*c = 2*z - 0*c - 24, 3*z - 3*c = 42. Is 8 a factor of z?
True
Suppose 8*v = 4*v + 8. Suppose -3*x + 0*x + 5*i = -57, -i + 25 = v*x. Is 7 a factor of x?
True
Suppose 3*c = -0*c - 4*r + 478, 4*r - 170 = -c. Does 31 divide c?
False
Let u(j) = 9*j**2 - 2*j - 6. Let m(o) = -17*o**2 + 3*o + 11. Let l(z) = -6*m(z) - 11*u(z). Let d(h) = 3*h + 17. Let g be d(-7). Does 11 divide l(g)?
False
Let u(g) = g**3 + 14*g**2 + 15*g - 11. Is u(-12) a multiple of 12?
False
Let l(i) = i + 6. Let t be l(-5). Let m be (-2 - -1) + (-1)/t. Is 5 a factor of (2 + m - -11) + -1?
True
Let d be 1 + -2 + (2 - -1). Let z(x) = x. Does 2 divide z(d)?
True
Let c(b) = 2*b**2 + 0*b + 2*b - 30*b**3 + b**2 - b**2 + 1. Is c(-1) a multiple of 9?
False
Suppose k - 2*t = 100, -4*t + 78 - 8 = k. Is 30 a factor of k?
True
Let h = 33 + -21. Does 4 divide h?
True
Let j be (-26*3/(-2))/1. Is 8 a factor of 2 + 1 + j/3?
True
Let p(z) = 2*z - 9. Suppose -l - 3 = -2*l - 4*d, 3*d = -3. Let y be p(l). Suppose -50 = -y*q + 20. Does 7 divide q?
True
Suppose 0 = -4*d + 4*h + 256, 3*d - 5*d = 4*h - 110. Is d a multiple of 7?
False
Let z = 58 + -28. Let b be -3 - z/(0 - 3). Suppose 0 = 4*f + n - 18, f = 2*f - n - b. Is 3 a factor of f?
False
Let v(p) = 7*p**2 - 2*p + 1. Let d be v(6). Suppose 5*q - d = -3*j, -2*j - q - 6 = -155. Is 24 a factor of j?
True
Let d(c) = c + 1. Let m be d(4). Suppose -23 = -m*k - 8. Is 14 a factor of 44/k + (-8)/12?
True
Let w = 59 - 48. Let v be 1*3 - (0 + 0). Suppose -a + 1 = -2*z + w, -5 = -v*z + 4*a. Is 7 a factor of z?
True
Let h(a) = a**2 + 2*a - 3. Let x be h(2). Let m(r) be the second derivative of -r**5/20 + 7*r**4/12 - 7*r**3/6 + 7*r**2/2 + r. Is m(x) a multiple of 11?
True
Let g(l) = 3*l**2 - 10*l - 6. Let q(j) = -4*j**2 + 10*j + 7. Let k(v) = 5*g(v) + 4*q(v). Is k(-8) a multiple of 9?
False
Let h(j) = j**3 - 4*j**2 - 8*j + 5. Let c be h(5). Is 10/25 - 116/c a multiple of 12?
True
Let q(x) = 5*x. Is 2 a factor of q(2)?
True
Is (-10)/35 - 212/(-7) a multiple of 10?
True
Suppose -w + 10 = 2. Suppose -256 = -w*u + 4*u. Is 20 a factor of u?
False
Let r(h) = 20*h - 2. Is r(5) a multiple of 14?
True
Suppose 0*t = 5*t - 280. Is t a multiple of 18?
False
Suppose -4*h = -g + 3, 5*h = -5*g + 4*g + 3. Suppose -3*o + h*o + 18 = 0. Suppose -o = -2*j + 6. Does 6 divide j?
True
Suppose -81 = -4*u - p, 5*u - 68 = 3*p + 12. Suppose 79 - u = 4*f - 5*v, 80 = 3*f + 5*v. Is 10 a factor of f?
True
Let a(q) = -q**2 - 3. Let c be a(7). Let z = c - -83. Is 19 a factor of z?
False
Suppose -8 = -3*f - f. Is 9 a factor of (2 + f + -3)*11?
False
Let i(b) = -3*b**3 - 3*b**2 + b - 7. Does 6 divide i(-3)?
False
Suppose y = 3*f + 9 + 52, -283 = -5*y + 4*f. Is y a multiple of 11?
True
Let r(a) = -a**2 - 28*a + 46. Does 8 divide r(-24)?
False
Let a = 29 + 81. Does 41 divide a?
False
Suppose -2*r - r = -2*q + 210, -r = -2*q + 210. Let t = q + -42. Does 14 divide t?
False
Let t be -10*(-2 + (-12)/(-5)). Suppose 2*g = -3*q - 2*q - 1, -24 = -3*g + q. Let u = t + g. Is 2 a factor of u?
False
Suppose -4*u + 77 = 9. Is 9 a factor of u?
False
Suppose -11 + 3 = -4*r. Suppose 11 = l + 5*y - r*y, -4*l - 1 = -3*y. Suppose j = -4*h - 1, l*j = -j + 3*h + 12. Is 2 a factor of j?
False
Let u be 76 - 2/(0 + 2). Let j = u + -50. Is j a multiple of 8?
False
Suppose 4*h - 3 = 9. Suppose -5*f = 3*v - 21, -f + h = 2*v - 4. Is 6 a factor of 75/6 + (-1)/v?
True
Let c = -202 + 110. Let w be (c/12)/(2/(-60)). Suppose 0 = -3*f + 2*b + 162, -4*f + 0*f + w = 2*b. Is f a multiple of 15?
False
Let o be (-1)/3*(-2 + 2). Let h = o + 13. Is h a multiple of 5?
False
Suppose 2*o + 2 = 0, 7*o - 4*o = 2*t - 11. Is ((-9)/t)/((-2)/8) a multiple of 9?
True
Does 16 divide (75/12)/((-2)/(-32))?
False
Let k = -156 + 250. Is 4 a factor of k?
False
Let g(w) = -7*w**2 + w - 1. Let a be g(2). Let j = a - -44. Is j a multiple of 5?
False
Let q(o) = -21*o - 3. Let p(v) be the second derivative of 7*v**3/6 + v**2/2 + 4*v. Let t(u) = 11*p(u) + 4*q(u). Is 13 a factor of t(-2)?
True
Does 6 divide 7*-8*(-54)/63?
True
Suppose a + 5*z = 11, 2*a - 2*z - 13 = -3. Let h = 9 - a. Does 3 divide h?
True
Suppose -d = -5 - 0. Suppose -3*l = -d*z - 5*l - 15, 0 = 2*z - 4*l + 6. Is 10 + 1 + z + 4 a multiple of 10?
False
Let c = -18 + 26. Let t = 28 + c. Is 9 a factor of t?
True
Let k(b) = -111*b**3 + b + 2. Is k(-1) a multiple of 16?
True
Let v = -23 + 28. Suppose 0 = l + 2*l + v*c - 187, -252 = -4*l - 4*c. Is 16 a factor of l?
True
Suppose 4*m - 7*v - 1 = -2*v, -3 = 3*v. Let d = m + -13. Let q = 16 - d. Is 16 a factor of q?
False
Let w be (-5 + -1)*(-3)/(-6). Is (-70)/w - 14/(-21) a multiple of 8?
True
Let m = -7 - -13. Suppose -2*p + 13 = 3*x, p = x + m*p. Suppose -x*v + w + 125 = 0, -v + 3*w = 2*w - 29. Does 12 divide v?
True
Suppose -3*x - 2*r = 2*x - 8, 5*x = 5*r + 15. Let z(w) = 2*w. Let m be z(5). Suppose x + m = o. Is 11 a factor of o?
False
Let r(b) = 19*b + 4. Is 17 a factor of r(4)?
False
Let r = 4 - 1. Suppose 0*o = 4*c - 4*o - 136, c + r*o = 50. Is c a multiple of 14?
False
Suppose 2*t = 9 - 1. Let n = 0 + t. Suppose 0 = -4*r - n*m + 36, 9 = -r - 3*m + 24. Is r a multiple of 4?
False
Let b = 12 + -10. Suppose -b*o - 36 = -5*o. Suppose s = 1 + 2, 3*s - o = -i. Is i even?
False
Let u(w) be the first derivative of 0*w + 2 + 1/3*w**3 - 3/2*w**2. Is u(4) even?
True
Let c(f) = -f**2 + 2*f - 3*f**2 - 1 + 0*f. Let i be c(-2). Does 4 divide ((-3)/9)/(1/i)?
False
Let c = -301 - -473. Does 43 divide c?
True
Suppose -6*i + 6 = -4*i. Suppose 2*v = i*v - 136. Is 36 a factor of v?
False
Let c = -15 - -54. Suppose z = -5*l + c, -85 = -5*z + 2*z + l. Is 12 a factor of z?
False
Suppose -7 = -2*c + 5. Let x(p) = p**2 - 3*p - 6. Is 5 a factor of x(c)?
False
Let s be 3/(-2)*(3 + -1). Let b be s/(-1) + (-4 - -3). Suppose -b*l + 0 = -8. Is l a multiple of 3?
False
Does 18 divide -1*76*-1 - 0?
False
Let u = 167 + 5. Suppose -2*q - 127 = -5*b + 39, 0 = 5*b - 4*q - u. Is 17 a factor of b?
False
Let t = 15 + 7. Is 11 a factor of t?
True
Let p = 1 + 1. Suppose -j + 5*q + 15 = -0*j, -3*q = p*j - 4. Let u(f) = 5*f - 4. Is u(j) a multiple of 15?
False
Let x(o) be the third derivative of -o**6/120 - o**5/60 + 5*o**4/24 + o**3/3 - o**2. Let g be x(-4). Does 14 divide -1 + (-2 - -1) + g?
True
Suppose 0 = z + 3*z + 40. Let