) + 38?
True
Is 4/(5*(-2)/(-255)) - -3 a multiple of 7?
True
Let o(k) = 4*k**3. Let m be o(1). Does 10 divide (m/(-10))/(13/(-975))?
True
Let v(l) = l**2 - 14*l - 10. Let b = 2 + 13. Is 5 a factor of v(b)?
True
Let n(s) = s**2 + 3*s + 3. Let x be n(-3). Suppose x*a - 5 - 4 = 0. Is 2 a factor of a?
False
Let y(s) = s**2. Let t(c) = -1. Let g(h) = 4*t(h) + y(h). Is g(6) a multiple of 19?
False
Suppose 0 = 3*t + 6, -4*z - 4*t - 48 = -452. Does 38 divide z?
False
Let h = -9 + 13. Suppose 18 = 4*t + 2*x, 21 = 2*t + 3*t + h*x. Suppose i + 3 = t. Is i even?
True
Suppose 0 + 14 = p. Let m be 4/6 + 13/3. Suppose -m*f + 44 = p. Is f a multiple of 5?
False
Let a(r) = -r**3 - 9*r**2 - 14*r + 11. Is 10 a factor of a(-8)?
False
Let o = 39 - 24. Is o a multiple of 2?
False
Suppose u = 2*u + 7. Let l = -3 - u. Suppose -l*b + 20 - 4 = 0. Is 2 a factor of b?
True
Let g be (6/4)/(4/8). Suppose 2 + 13 = g*f. Does 2 divide f?
False
Let p(u) = u**3 + 6*u**2 + 3*u + 2. Suppose 2*n - 3 = -3*a, 3 = 2*n - 2*a + 15. Does 4 divide p(n)?
True
Let j be 8/20 + (-187)/5. Suppose 38 = -2*t - 0. Let m = t - j. Does 14 divide m?
False
Suppose -2*i = -226 - 216. Is i a multiple of 48?
False
Let u(m) = -m**3 + 7*m**2 - 5*m + 6. Does 6 divide u(6)?
True
Suppose -2*b - 1 + 21 = 0. Suppose -2*t - 3*t = b, -3*a = -3*t - 39. Does 8 divide a?
False
Suppose m - 5*l + 10 = 6*m, 0 = 3*l + 15. Let s = 18 - m. Is 11 a factor of s?
True
Let r(b) = b + 3. Let t be r(0). Suppose -1 + t = h. Suppose 97 = h*v - 13. Is 18 a factor of v?
False
Let m = 2 + 0. Let w be (-12)/m*(-4)/(-8). Is 7 - (0 + (-3)/w) a multiple of 3?
True
Let q = -5 + 30. Let v = -1 + q. Does 6 divide v?
True
Let a(i) = 381*i**2 + 10*i - 11. Is a(1) a multiple of 38?
True
Let h(z) = -2*z**3 - 5*z**2 - z - 4. Does 16 divide h(-4)?
True
Suppose -3*u = -5*c - 4, -5*c + 1 - 2 = -2*u. Is 31 a factor of (-5 + 4)*c*-57?
False
Let l(n) = -n**2 + 7*n - 6. Let i = 10 + -3. Let a(f) = -f**2 + 7*f + 4. Let b be a(i). Does 5 divide l(b)?
False
Is 30 a factor of (-1 - (-3)/(-1)) + 197?
False
Suppose -7*g = -12*g + 15. Suppose -b + 16 = -5*o - 18, -o + 70 = g*b. Does 8 divide b?
True
Let c(l) = 19*l + 58. Is 26 a factor of c(11)?
False
Let k = -60 - -67. Is 2 a factor of k?
False
Let c(u) = u**2 - 6*u - 11. Let i be c(8). Suppose -11 = -3*g - 0*g + i*z, -5*g + 3*z + 13 = 0. Does 6 divide (3/(-4))/(g/(-32))?
True
Let n(v) = -v**3 - 6*v**2 - 5*v. Let m be n(-5). Suppose -36 = -m*k - 2*k. Is k a multiple of 9?
True
Let k(r) = -r**3 - 2*r - 1. Let v be (1/3)/(2/(-12)). Is 3 a factor of k(v)?
False
Let v(p) be the second derivative of -2/3*p**3 + 0 + 1/20*p**5 - 1/6*p**4 + p - 1/2*p**2. Is 9 a factor of v(4)?
False
Suppose 5*d - 3*d = -92. Does 19 divide (0 - 2 - d)/2?
False
Suppose 34 + 206 = 10*z. Does 8 divide z?
True
Suppose -4*l + 134 + 499 = k, -3*l - 2*k = -471. Suppose -4*q = -3*n - q + l, -2*n - 2*q = -106. Let c = n + -33. Is c a multiple of 10?
True
Suppose -3*h - q - 58 = 0, -3*h - 5*q + 0*q = 50. Let y = -10 - h. Is y a multiple of 5?
True
Suppose 0 = g - 5, -g + 49 = a + 2*g. Let x = -8 + a. Is 13 a factor of x?
True
Suppose 0 = -4*o - 20 + 4. Let z(u) = -u**3 + 2*u**2 + u - 1. Let j be z(3). Let t = o - j. Is t a multiple of 2?
False
Let b = 99 - 55. Does 11 divide b?
True
Let r be 2 - 1 - (1 + 5). Let l(x) = x**3 + 4*x**2 - 3*x + 5. Let k be l(r). Is 3 a factor of (-4 - k)/(1/7)?
False
Let t = -9 + 6. Let i(u) = 5*u**2 + u + 1. Does 14 divide i(t)?
False
Let l(d) = -83*d + 4. Let s be l(-3). Suppose 4*c + 3*p = s, -c - 4*c + 325 = -5*p. Does 13 divide c?
False
Suppose -4*p - 118 = 5*x, -2*p + 5*x = -7*p - 150. Does 3 divide 6/(-8) + (-664)/p?
False
Suppose 0 = -3*m + r + 34, 5*r - 58 = -4*m - 0*r. Is m a multiple of 2?
True
Suppose 0*c + 2*c = 30. Suppose c*o - 117 = 12*o. Does 13 divide o?
True
Let c(l) = l**2 + l - 4. Let p = 4 + -10. Does 13 divide c(p)?
True
Let k = -24 - -27. Let u(r) = r**3 - 5*r**2 + 5*r + 6. Let c be u(6). Suppose -4*l = -3*g + c, -k*g + 3*l + 96 = g. Does 8 divide g?
True
Let n(g) be the third derivative of g**4/6 - g**3/6 - g**2. Let c be n(-4). Let l = c + 35. Is 7 a factor of l?
False
Suppose 9*u - 408 = -12. Does 10 divide u?
False
Suppose -4*o - 3*p + 6*p + 35 = 0, 3*o - 5*p = 29. Let w(b) = -b**2 - b. Let j be w(0). Suppose j*g + o = 2*g. Is g even?
True
Let w = -97 - -195. Is 42 a factor of w?
False
Let r(n) = -2*n**2 - n + 7. Suppose -4*x = -3*q - 12, -2*q - 5*x + 15 = -3*q. Is r(q) a multiple of 2?
False
Let q(d) = d**2 - 1. Let y be q(-2). Let g be (-2)/y*(8 + -2). Let j = 18 + g. Is j a multiple of 7?
True
Let x(n) = n**3 - 11*n**2 + 24*n - 14. Does 4 divide x(9)?
True
Suppose -42 = -6*k + 84. Is k a multiple of 7?
True
Suppose -2*t + 34 = -0*k + 2*k, 4*k - 40 = 3*t. Is k even?
False
Let x = 8 - 1. Suppose 27 = 4*a + x. Is a a multiple of 5?
True
Suppose -8*u = -23*u + 630. Does 7 divide u?
True
Does 3 divide (-128)/(-20) - 4/10?
True
Suppose -3*d + 5 = 26. Let a(i) = 2*i. Let b be a(d). Is 14 a factor of (-4)/b - (-372)/21?
False
Let z = -2 + 5. Let n be 15/10*4/z. Suppose n*m + 7 = 3*m. Does 5 divide m?
False
Suppose 5*o - 2*o = 6. Is 9 a factor of (o - 2) + -1 + 14?
False
Suppose 5*u - 37 - 33 = 0. Let v = 25 + u. Is v a multiple of 13?
True
Suppose 18*d + 5080 = 13*d. Is 18 a factor of (-4)/14 + d/(-28)?
True
Suppose v = -4*o - 2*v + 311, 5*v = -4*o + 305. Does 16 divide o?
True
Let b = 21 - 18. Suppose q - 6 = -4*h, 7*h - b*h = 3*q - 98. Does 7 divide q?
False
Let y = -22 + 48. Suppose -4*c = 4*i - 24, -6*c = 3*i - c - y. Is (2 + 0 - -48)/i a multiple of 15?
False
Let c = -55 - -88. Is c a multiple of 11?
True
Let y(b) = b**2 - 9*b + 2. Let a be y(9). Suppose -r + 10 = 3*g, 0 = r + a*g - 3*g - 26. Does 13 divide r?
False
Let v = -28 - -52. Is 5 a factor of v?
False
Suppose -3*z + 4*q = -20, 0*q + q = -2*z + 6. Suppose z*w - 46 = 2*h, -2*w + 0*w + 3*h = -33. Let s = w + -3. Is s a multiple of 3?
True
Let u(f) = -10*f - 1. Let g be u(-2). Suppose y - g - 25 = 0. Is 22 a factor of y?
True
Suppose 4*c - 216 - 88 = 0. Suppose -b = b - c. Is b a multiple of 19?
True
Let u(p) = p**3 - 7*p**2 - p + 6. Let s be u(7). Does 15 divide (-1)/(s - -2)*-15?
True
Suppose u + 4*n = -4, u - 6*u + 26 = -3*n. Suppose -u*v + 80 = -0*v. Is 5 a factor of v?
True
Does 10 divide -30*(4 - (-15)/(-3))?
True
Suppose 108 = 3*s - s. Does 14 divide s?
False
Suppose -5*a + v = 4*v - 21, -8 = -2*a - v. Is 22 + a*(-4)/(-4) a multiple of 5?
True
Let o be (-2)/3*-9*3. Suppose 4*j - 6 = o. Is 3 a factor of j?
True
Let z(p) = 4*p**2 - p - 2*p + 4*p - p**3. Is 3 a factor of z(4)?
False
Let a(x) = -3*x**2 + 2*x**2 + x**3 + 7 + 3*x + 29 - 4*x. Does 18 divide a(0)?
True
Let f(y) = -y**2 - 6*y + 3. Let a = 0 - 5. Is 8 a factor of f(a)?
True
Suppose -y = 5*u - 28, -u + 4*y = -0*u + 7. Let c(x) be the first derivative of 2*x**3/3 - 7*x**2/2 - x + 1. Does 14 divide c(u)?
True
Let f(m) = -9*m - 21. Is f(-19) a multiple of 14?
False
Let u be (0 - -1)*(-3 + 0). Let d be ((-3)/1)/(u/2). Suppose 18 = x + d*x. Does 4 divide x?
False
Suppose 6*k = k + 10. Suppose 2*r = l - k*l + 9, -4*r = 0. Is l a multiple of 2?
False
Suppose -w + 324 = 5*w. Does 9 divide w?
True
Let k be 6/3 + -3 + 78. Suppose 2*f + 2*d = 78, -2*f + d - 4*d = -k. Is f a multiple of 19?
False
Let i = -289 + 588. Is i a multiple of 39?
False
Let y(q) = q + 3. Suppose -3*g = -5*s - 20, -4*g + 2*s + 8 = -0*s. Let o be y(g). Let f(z) = 3*z**3 - 2*z**2 - 3*z - 1. Does 19 divide f(o)?
False
Let m be -2 - -3 - 118/2. Let n = -40 - m. Does 9 divide n?
True
Let c(f) = 19*f - 19. Does 19 divide c(4)?
True
Is 4 a factor of 11/66 + 322/12?
False
Let u(g) = g**2 + 2*g - 22. Let q be u(0). Is 4/(-22) - 928/q a multiple of 7?
True
Let b(p) = 7*p**2 - 18*p - 5. Let h(v) = 3*v**2 - 9*v - 2. Let n(t) = 2*b(t) - 5*h(t). Let u = -10 + 16. Is n(u) a multiple of 7?
False
Let u(n) = -n**3 - 9*n**2 - 10*n + 2. Let d be u(-8). Suppose q = -0*q + d. Suppose q = -5*r + 93. Is r a multiple of 6?
False
Let a = -37 - -76. Is 13 a factor of a?
True
Let l(p) = -p**2 + 9*p + 10. Is 16 a factor of l(8)?
False
Let i = 4 + -4. Let y be -1*5*(i - 1). Suppose -w - 19 = -3*w + 3*h, 2*w - 21 = y*h. Is w a multiple of 8?
True
Suppose -2*f = -6 - 0. Suppose -5*u + 37 + 3 = -f*o, 0 = 2*u + 2*o. Suppose -3*z + u