 16 divide g?
True
Let o(w) = w**2 - 5*w + 6. Let h(a) = -a**3 + 5*a**2 - 4*a + 5. Let g be h(4). Let n be o(g). Suppose -n - 12 = -s. Is s a multiple of 9?
True
Suppose 8 = 4*h + 3*w, -w + 3 = 5*h + 4. Does 6 divide ((-3)/6)/(h/14)?
False
Let b = 89 - 35. Let i = -31 + b. Does 8 divide i?
False
Suppose -3*q + 15 = 2*q. Suppose q*i - 246 - 168 = 0. Suppose -4*b - 2*h = -i + 8, 0 = -b + 2*h + 20. Does 14 divide b?
False
Let v(h) = 2*h**3 + 16*h**2 - 4*h + 4. Is v(-7) a multiple of 13?
True
Let u(r) = 5*r - 1. Let g be u(1). Suppose m - 15 = -4*b, -144 = -g*m + 2*b + 3*b. Is m a multiple of 18?
False
Does 19 divide 30/(-25)*570/(-9)?
True
Let x = -9 + 8. Let w be -3 - x/1*6. Suppose -w*a + 5*a = 122. Does 22 divide a?
False
Let y(j) = -j**2 - 8*j - 4. Is y(-5) a multiple of 3?
False
Let r(t) be the first derivative of 5*t**4/8 - t**3/3 + t**2 - 1. Let f(a) be the second derivative of r(a). Is 14 a factor of f(2)?
True
Let g = -189 + 280. Let z be ((-16)/(-2))/(14/g). Suppose v - z = -3*v. Does 4 divide v?
False
Suppose d = -2*d + 4*l, -2*l + 22 = 4*d. Suppose d*j - 2*c - 50 = 0, 2*j + 3*c = 5 - 0. Does 3 divide j?
False
Suppose v = -4*s - 17, 6 = 5*v + 4*s + 27. Let n = 4 + v. Suppose -8 = -n*f + 2*f. Is 8 a factor of f?
True
Let a be (-90)/3*4/(-10). Suppose 2*l = -3*m + 36 - 3, 0 = -3*m + 5*l + a. Does 9 divide m?
True
Let y(r) = -r**3 + r + 2. Let f be y(0). Suppose -2*i = 2 + f. Does 4 divide 18/4 + 1/i?
True
Is 7/(7/(-2)) + 27 a multiple of 15?
False
Let r = -20 - -25. Suppose -3*u + v + 133 = 0, 2*v + 173 = 4*u + r*v. Is 22 a factor of u?
True
Let m = 3 + -4. Let j(u) = -4*u**3 + u**2 + u. Does 2 divide j(m)?
True
Let s(j) = j + 13. Is s(-8) even?
False
Let t be 3 - -4 - (3 - 1). Suppose 2*d + 2*q = -d + 171, t*d - 4*q = 285. Is 15 a factor of d?
False
Let z = 158 + -79. Is z a multiple of 8?
False
Suppose -2*r - 2*r = -8. Suppose -r*x - 2*x - 16 = -2*l, -8 = -5*l + 2*x. Suppose l = -4*p - 55 + 175. Does 15 divide p?
True
Suppose 169 - 541 = -4*q. Does 31 divide q?
True
Let x(n) = n**3 + 5*n**2 - 3*n + 2. Does 10 divide x(-4)?
True
Let v = -2 - 1. Let w = v + -3. Let j = w - -8. Is 2 a factor of j?
True
Suppose -a + 1336 = -4*z - 2*a, -4*z - 1360 = -5*a. Suppose -4*s = -f - 75, 3*f = -0*f + 15. Is 1/4 - z/s a multiple of 7?
False
Suppose h - 9 - 1 = 0. Suppose 2*j - 8 = j + 5*k, -k = -3*j + h. Does 2 divide j?
False
Let h(i) = -i**3 + 8*i**2. Let o be h(8). Is (-2)/3*(-21 - o) a multiple of 6?
False
Suppose -5*y = p - 433, -y - 4*y = -p - 427. Suppose 0 = 5*m + 16 - y. Is m a multiple of 8?
False
Let i(v) = -v + 7. Suppose p + 5*m - 25 = 0, -5 = 3*p - 6*m + m. Let r be i(p). Is 2 + (-2 - -2) + r a multiple of 3?
False
Let q(i) = 3*i**2 - 16*i - 8. Let d(g) = -5*g**2 + 31*g + 15. Let v(t) = -4*d(t) - 7*q(t). Let h be v(-8). Suppose 0 = -0*j + j - h. Is 14 a factor of j?
True
Suppose -122 = 5*x - 317. Is 39 a factor of x?
True
Suppose -4*b - 2*p + p + 19 = 0, -3*p = -5*b + 11. Is 3 a factor of b?
False
Suppose -v + 72 = -2*v. Does 17 divide (v/(-14))/(3/14)?
False
Does 14 divide 1 - (-53 - (-4 + 6))?
True
Is 13 a factor of (-1)/((-5)/(-260)*(-8)/6)?
True
Suppose 2*b = -0*r - r + 92, -3*b - 4*r = -143. Is b a multiple of 15?
True
Suppose -5*o = -4*u - 39 - 51, 5*o - 75 = u. Let z = o + 29. Does 8 divide z?
False
Let p(n) = -16*n - 2. Does 12 divide p(-1)?
False
Let z(g) = g**3 - 15*g**2 + 16*g - 16. Let u(b) = b**3 - 15*b**2 + 15*b - 16. Let o(c) = -3*u(c) + 2*z(c). Is 8 a factor of o(14)?
False
Suppose 8*a = 4*a + 12. Does 2 divide a?
False
Let a(j) = -3*j**3 - 4*j**2 - 3*j + 4. Let s be (-3)/9 - (-22)/(-6). Let l be a(s). Suppose 3*t - t = 3*c + 88, 0 = 4*t + 2*c - l. Does 19 divide t?
True
Suppose 3*i + 3*i - 18 = 0. Suppose 5*p + 89 = j, 115 + 35 = 2*j - i*p. Is j a multiple of 23?
True
Let b be (-3)/((-6)/10) + -2. Let r(g) = 6*g - 4. Is r(b) a multiple of 4?
False
Suppose -2*g - 5*q = -4, -g + q - 3*q = 0. Let s = g + 39. Is s a multiple of 20?
False
Let z be (-2)/((-2)/(66/1)). Let f = -27 + z. Is 8 a factor of f?
False
Let y(j) = j**3 + 16*j**2 - 3*j - 8. Is 11 a factor of y(-16)?
False
Suppose 5*m - 4 = 6. Suppose 5*i + 5*h - 100 = 0, -3*h + 4 = -m*h. Is 16 a factor of i?
True
Suppose 1311 = 3*f - 3. Suppose 5*d = 4*a - 430, -3*a + d = a - f. Suppose 4*p + p = a. Is p a multiple of 11?
True
Let y = 11 - 4. Let d be ((-90)/4)/(6/(-8)). Is 4 a factor of d/y + 10/(-35)?
True
Let q(x) = x**3 + 12*x**2 - 3*x - 4. Is 10 a factor of q(-11)?
True
Suppose 4*s - 2 = -j + 7, 3*s + 4*j + 3 = 0. Suppose 3*z + 9 = -5*p - 12, p - 21 = s*z. Let i = 17 + z. Is 4 a factor of i?
False
Suppose -2*d = -4*l - 4*d + 66, 5*l - 2*d = 87. Let s = -9 + l. Is 3 a factor of s?
False
Suppose 0 = u - 4, 7*g + 4*u = 3*g + 16. Suppose 7*l - 3*l - 204 = g. Is l a multiple of 19?
False
Suppose 2*q = 6 + 4. Suppose q*l = s + 192 + 2, 0 = -l + s + 38. Does 13 divide l?
True
Let r(v) = -v + 12. Does 7 divide r(-9)?
True
Suppose 0 = -5*g - 27 + 892. Is g a multiple of 47?
False
Let q(g) = g + 1. Suppose -u = -2*z - 2*z - 7, 0 = 2*z - 5*u + 17. Let s be q(z). Suppose s = -2*w + w + 19. Does 13 divide w?
False
Let b be 1 + 0/(1 + -3). Let x(v) = -v**2 + v + 6. Let t be x(0). Does 9 divide -4*((-21)/t - b)?
True
Let q(f) = 2*f**3 + 2*f**2 - 2*f - 2. Suppose -5*h + 13 - 3 = 0. Is 5 a factor of q(h)?
False
Let t(u) = 57*u - 48. Does 51 divide t(8)?
True
Let d(c) = c**3 - 26*c**2 + 31*c - 23. Is d(25) a multiple of 30?
False
Suppose -p + 41 - 8 = 0. Is 11 a factor of p?
True
Let o(k) = -k + 4. Let l be o(4). Suppose j + l = -3*b - 4, 0 = -2*b - 3*j - 12. Suppose b = 3*q + 2*x - 0*x - 20, -35 = -4*q - x. Is q a multiple of 10?
True
Let q(d) = 3*d + 24. Is 20 a factor of q(12)?
True
Let u = 22 - 10. Let n = 20 - u. Does 3 divide n/(-20) - 34/(-10)?
True
Let g(d) = 3 + 2*d - 6 + 3. Let q be g(-3). Let b = 50 + q. Is 22 a factor of b?
True
Suppose -1620 = -6*v - 570. Is 36 a factor of v?
False
Suppose 0 = -4*z + 10 + 2. Does 5 divide 34/3 - 1/z?
False
Let l = -27 + 2. Let z = -15 - l. Is z a multiple of 5?
True
Let m(i) = i**3 - 3*i - i - 3 + 4*i + 4*i. Does 10 divide m(2)?
False
Suppose -3*n = 68 + 10. Let f = -4 - n. Is 11 a factor of f?
True
Suppose 5*p = 2*z - 215, 3*z - 5*p - 119 - 196 = 0. Does 10 divide z?
True
Let n = 135 + -75. Does 20 divide n?
True
Suppose -35 = -2*m + 3*o, m - 2*o - 14 = 3*o. Suppose -4*a = -n - 113, -4*a + 109 = -4*n - m. Is 9 a factor of a?
True
Suppose 5*x - d = 55 + 1, -x = d - 16. Is 12 a factor of x?
True
Let f(g) = -g**3 - 7*g**2 - 2*g - 9. Let n be f(-7). Suppose n*t + 0*t = 250. Is t a multiple of 25?
True
Suppose -4 = 7*w - 8*w. Suppose -5*o + 4*o = -2*f + 34, -w*f - 4*o = -80. Does 6 divide f?
True
Let z = -177 + 286. Does 32 divide z?
False
Let n be 0 - 0 - (-350)/5. Let y = -7 + n. Suppose -3*g + 6*g - y = 3*p, g + 4*p = 46. Is g a multiple of 13?
True
Let q = -5 + 97. Does 23 divide q?
True
Suppose 0 = -g + 3 + 95. Is 6 a factor of g?
False
Suppose -179 = -x - s, -2*x - 4*s + 356 = -0*s. Suppose -5*k + y + 161 + 68 = 0, 4*k - x = 4*y. Does 23 divide k?
True
Suppose 0*v - 3*f + 45 = 3*v, 0 = 5*v + 4*f - 78. Suppose p - 2*a - v = -2*p, 2*p = -3*a - 1. Does 4 divide p?
True
Let v(k) = -3*k. Let h be v(4). Let l be h/9*-51 + 0. Suppose 3*m - l = m. Is 17 a factor of m?
True
Let u = 4 + 11. Is u a multiple of 5?
True
Let y(w) = -w**3 - w**2 - w + 26. Suppose -2*t + c - 3 = -0, 3*c - 9 = -3*t. Is 10 a factor of y(t)?
False
Let f(m) = m**2 - 7*m. Let d be f(7). Let g be (d/(-2))/(-1 - -2). Let w(j) = -j + 30. Does 15 divide w(g)?
True
Let y = -7 + 38. Let w = 19 - y. Is (-88)/w*(4 + -1) a multiple of 22?
True
Let r = -32 + 77. Is r a multiple of 9?
True
Suppose 0 = -2*j - 8 - 4. Let k(o) = -7*o - 7. Is k(j) a multiple of 12?
False
Let u = -16 - -20. Is 4 a factor of u?
True
Let r = 17 + -9. Let y(c) = c. Let h be y(r). Let d(f) = 3*f. Is 8 a factor of d(h)?
True
Suppose -3*r + 2*r - 2 = 0. Does 22 divide 22 + 0/(r + -1)?
True
Let x = 33 + 48. Suppose 27 = 2*o - x. Does 18 divide o?
True
Suppose z + 4 = -g - 22, -g = -1. Let u = 49 + z. Is 11 a factor of u?
True
Suppose -2*p = o + 3*o - 88, 4*p - 124 = 5*o. Is 12 a factor of p?
True
Suppose -3*c = -5*k + 14, 0 = -2*k + 7*k - 4*c - 12. Suppose k*z = -0*z. Suppose -8 = -3*h + 5*u, z = -4*h + 3*