. Suppose p = -h + 5*n, 40 + 12 = 2*h + 4*n. Is 16 a factor of h?
True
Let s(j) = 47*j + 11. Does 18 divide s(4)?
False
Suppose -5*r = 4*h - 227, 64 + 157 = 4*h + 3*r. Suppose -16 = 4*y, -5*y = -2*o + 51 + h. Is 17 a factor of o?
False
Does 21 divide (-1052)/(-24) + 1/6?
False
Is 8 a factor of (24/5)/((-33)/(-220))?
True
Let c(s) = 2*s**3 + 3*s**2 + 5*s - 2. Is c(3) a multiple of 25?
False
Suppose 0 = 5*x + 2*r - 320, -6*r = -2*x - r + 157. Suppose -x = -5*t - 26. Does 8 divide t?
True
Suppose -5*g = 85 + 25. Let t = 10 + g. Let a = 19 + t. Does 3 divide a?
False
Let j(b) be the first derivative of -b**3/3 + b**2 - 3*b + 3. Let x be j(2). Does 12 divide x/(-1)*50/6?
False
Suppose -2*x = -2*k - 126, -4*k + 156 = 2*x - 0*k. Does 14 divide x?
False
Is 2 a factor of (-12)/(-16) + (-147)/(-12)?
False
Let p(k) be the second derivative of 19*k**4/12 - k**3/6 + k**2/2 - k. Let y be p(2). Suppose y = 2*l - 3*c, l - 2*c - 2*c = 40. Does 17 divide l?
False
Does 2 divide 528/36 - 1/(-3)?
False
Suppose 17 = -j + 2*j + 3*r, -2*r = j - 12. Suppose 5*n = j*v - 8 - 23, -4*v + 17 = -n. Suppose 0 = -0*s + 3*s + w - 68, 26 = s - v*w. Is s a multiple of 12?
False
Let c(f) = -4*f**2 - 6*f + 4. Let o be c(5). Suppose 3*d = 4*v + 1 + 37, -v - 11 = -d. Is 12 a factor of (4/d)/((-7)/o)?
True
Let d(k) = 28*k**2 + 4*k - 6. Does 29 divide d(2)?
False
Suppose -2*r - 38 = -4*b, 5*r = -2*b + b - 7. Suppose -2*f + b = -18. Is 4 a factor of f?
False
Let k = 17 - -3. Suppose 5*s = k, 2*s - 20 = -4*w - 0*s. Suppose -w*h - h + 2*y + 148 = 0, 5*h - 188 = y. Is 19 a factor of h?
True
Suppose f + 2*f + 18 = -3*p, 5*f = p + 6. Let g = p - -13. Let j = 0 + g. Does 7 divide j?
True
Let h = -79 + 169. Does 5 divide h?
True
Let n(d) = -4*d**2 + d + 2. Let j be n(2). Suppose -t - 69 = 2*t. Let l = j - t. Is 11 a factor of l?
True
Let k be 1*-1*(-90)/6. Let f be (-2)/10 + 3/k. Let x = f + 29. Is x a multiple of 21?
False
Let b be 2208/84 + (-2)/7. Let u = b + 30. Does 10 divide u?
False
Let j(h) = 4*h**2 - 3*h - 2. Is j(-2) a multiple of 9?
False
Suppose 0 = -4*a + 3*a - 30. Suppose 0 = -o - 5*n + 64, 2*n - 5*n - 115 = -2*o. Let s = a + o. Does 10 divide s?
False
Let f be (2 - (-1)/(-1))*31. Is f/(-1)*(-2 + 1) a multiple of 9?
False
Does 16 divide 2 + 58 - (3 - 0)?
False
Let u(d) be the second derivative of d**4/6 + 11*d**3/6 + 5*d**2/2 - 2*d. Does 13 divide u(-7)?
True
Let c(s) = s + 7. Let f be c(-5). Suppose f*y + 22 = 2*z, y = 5*z + 4*y - 63. Is z a multiple of 8?
False
Let m(t) = -t**3 - 3*t**2 + 5. Let a be m(-3). Suppose a*v = 116 - 26. Does 6 divide v?
True
Let a(r) = 5*r**3 - r - 1. Let m be a(-1). Let z = -10 - m. Let j(f) = f**3 + 5*f**2 - 3*f - 4. Does 9 divide j(z)?
False
Let f be (-1)/4 + (-34)/(-8). Let i be 3*10/12*f. Suppose -5*a = -4*a - i. Is 5 a factor of a?
True
Let s(x) = -x + 1. Let h be (-6)/(-4)*(-2)/(-3). Let u = -5 - h. Is 3 a factor of s(u)?
False
Let b(h) = -h**3 + 9*h**2 + 3*h - 17. Is b(8) a multiple of 15?
False
Let m = -8 - -4. Let c(g) = -g + 1. Is c(m) even?
False
Let h be ((-8)/(-16))/(1/(-52)). Let l(c) = c - 3. Let n be l(-5). Let j = n - h. Is 6 a factor of j?
True
Let q = -22 + 27. Suppose -3*x - 6 = -q*x. Does 2 divide x?
False
Let u = 8 - 8. Suppose u = 9*y - 13*y + 208. Is 13 a factor of y?
True
Let w(s) = 3*s**2 + 8*s + 4. Let r be ((-6)/(-4))/(12/(-32)). Is w(r) a multiple of 20?
True
Suppose 4*y + 0*y - 2*f - 54 = 0, 5*y - 51 = -3*f. Is 2 a factor of y?
True
Suppose p - 275 = -163. Is 7 a factor of p?
True
Let f(h) = h + 7. Let q be f(-4). Let g be -2*(-7)/(-4)*-6. Suppose -q*t = -3*j - g, j - 11 = 4*t - 48. Is t a multiple of 8?
False
Suppose -h - 132 = h. Let b = -31 - h. Let q = b - 16. Is q a multiple of 14?
False
Suppose f - 4*u = 64, 4*u = 3*f - 111 - 41. Is f a multiple of 27?
False
Suppose -3*t + 4 = -5*t. Let s(o) = 3*o**3 + 4*o**2 + 2*o - 1. Let z be s(-2). Let f = t - z. Is f a multiple of 9?
False
Suppose 439 = -5*y + 2*u - 11, -2*y + 3*u = 169. Let g = 137 + y. Is 15 a factor of g?
True
Suppose -6 - 8 = -b. Suppose -2*q - 7 = -6*a + a, -2*a = 2*q - b. Let z(k) = 2*k**2 + 2*k - 4. Does 15 divide z(a)?
False
Suppose 3*u + 11 = 4*m, -m = -2*u - 4*m + 21. Suppose -u = -f + 3. Is f a multiple of 6?
True
Suppose -3*c + 70 = 2*h - 4*h, 0 = -5*c + h + 112. Does 7 divide c?
False
Suppose 2*r - 4*j = 28, 2*j = 4*r + 4*j - 76. Does 6 divide r?
True
Suppose 3*r + 0 + 2 = -5*x, -r = 3*x - 2. Suppose -64 = x*g - 4*h, -2*h + 87 = -3*g - 5. Let d = -20 - g. Does 6 divide d?
False
Suppose -y = 2*f - 29, 3*f + 2*y + 20 - 62 = 0. Let g(a) = 26*a**3 - 1. Let w be g(1). Let r = w - f. Is 4 a factor of r?
False
Let v = 20 - -3. Does 7 divide v?
False
Let f(j) = -148*j + 2. Let o be f(2). Is (-15)/20 - o/8 a multiple of 18?
True
Let a be 15/21 + 2/7. Suppose 5 - 8 = -t. Is (t - -7*2)/a a multiple of 17?
True
Let m(g) = -2*g + 2*g + 3*g + 12 - 4*g. Is m(6) a multiple of 3?
True
Suppose y = -3*y + 5*r + 1, 5*r - 31 = -4*y. Let h = -4 + 6. Suppose 2*u - 148 = -2*u - 3*a, -74 = -h*u - y*a. Is 17 a factor of u?
False
Let f(q) = -3*q + 4. Let y be f(3). Let z(j) = j**2 + 5*j + 5. Let v be z(y). Let u(o) = -o**3 + 8*o**2 - 5*o - 5. Is u(v) a multiple of 16?
False
Let f be (-13)/(3/9*3). Let n = -23 - -16. Let q = n - f. Is q a multiple of 4?
False
Suppose 2*u + 200 = 4*a, -4*u = 3*a - 47 - 81. Is a a multiple of 6?
True
Suppose -2*x = -7*x + 5, -2*k + 20 = 2*x. Does 5 divide k?
False
Suppose 0 = -5*z - 2*q + 139, -2*z + 3*q = -28 - 20. Is z a multiple of 6?
False
Suppose 2*f + 0 = 4. Let v(o) = 3*o**3 - o**2 - 2*o + 1. Is 8 a factor of v(f)?
False
Suppose -17 = -3*d + 4*b, b + 51 = 5*d - 0*b. Suppose -26 = 5*o + 5*f - d, 0 = -2*o - f - 1. Suppose -18 = -o*x - x. Is x even?
True
Let h be (-27)/(-12) + 2/(-8). Let j be h + -1 - (-4 + 5). Is 35 + j - 1 - 2 a multiple of 13?
False
Let s(a) be the second derivative of 3*a**5/20 + a**3/6 - a**2 - 4*a. Let q be 1*-1*(0 + -2). Is 16 a factor of s(q)?
False
Let g be 2/(-10) - 78/(-15). Is 15 a factor of 1 - (-35 - (g + -3))?
False
Let u(o) = -o**2 - o + 2. Let g be u(-2). Suppose 4*c - 3*c - 26 = g. Is c a multiple of 13?
True
Let z(b) = 2*b - 7. Let m be z(6). Suppose 5*d - m*f = 165, 2*d - 81 = f - 2*f. Is 12 a factor of d?
False
Suppose 3*q = -0*q + 45. Let o = q - 11. Suppose 0 = c - 5*b - 70 - 15, -2*c = -o*b - 140. Does 22 divide c?
False
Let g(x) = 15*x - 5. Let k be g(7). Suppose 3*n - k = n. Does 25 divide n?
True
Let d = -37 + 71. Does 2 divide d?
True
Suppose -5*z = 2*z - 203. Does 11 divide z?
False
Let f be (0 - (0 - 0))/1. Let w = f + 16. Does 14 divide w?
False
Let p(l) = 2*l**3 - 5*l**2 - 3*l + 1. Let s(n) = -n**3 + 6*n**2 + 4*n - 1. Let a(w) = -6*p(w) - 5*s(w). Suppose -4*g - 5 + 1 = 0. Is 3 a factor of a(g)?
False
Suppose -3*t + 6 = 0, -3*g = -4*t + 8*t - 20. Suppose -3*z = -g*h - 34, -43 = -0*z - z - 5*h. Is z a multiple of 12?
False
Let u(a) be the first derivative of -a**5/40 - a**4/6 - a**3/3 + 1. Let i(b) be the third derivative of u(b). Is i(-4) a multiple of 8?
True
Let f(h) = -6 + 0*h + 3*h - 5*h - h. Suppose 5*s = -2 - 18. Is f(s) a multiple of 6?
True
Let b be 3 - 0*1/3. Let u(d) = 22*d - 3. Is u(b) a multiple of 16?
False
Does 11 divide 1 + 14 - (-3 + -1)?
False
Is 7*((-4)/(-2) + 9) a multiple of 17?
False
Let j(t) = -24*t**3 - 1. Let c be (-21)/15 - (-12)/30. Is j(c) a multiple of 8?
False
Suppose -2*j - 2*u = 2*u - 20, 4*j - 15 = -3*u. Suppose 3*t + o - 13 = -0*o, -o - 5 = j. Is t a multiple of 2?
True
Suppose 0 = 2*k - 2*i - 10, k - 3*i - 4 = 11. Suppose 3*a + 15 = 0, -2*u - a = -k*u - 9. Suppose -3*s + 35 = -u. Is 7 a factor of s?
True
Let t = -68 + 211. Is 17 a factor of t?
False
Let y be (-93)/9 - 1/(-3). Let h be (-96)/(-15) + 4/y. Suppose 4*z + 20 = 0, -4*g + 2*z = -5*g + h. Does 8 divide g?
True
Suppose 4*x + 88 = 2*j, -2*x - 2*x = 5*j - 220. Does 33 divide j?
False
Suppose -4*n = -5*o + 30, -5*o + 3*o = -3*n - 19. Suppose r = -o*r - 3*x - 96, 0 = 2*r + 4*x + 62. Let h = r - -77. Is 22 a factor of h?
True
Suppose -2*v - 40 = 3*v. Does 9 divide (10/(-4) + 1)*v?
False
Suppose 5*k = -4*s + 12, 4*k + 2*s + 9 = 5*s. Suppose 0 = -3*m - m + b + 19, -3*m - 3*b + 18 = k. Is 14 a factor of ((-3)/m)/((-8)/200)?
False
Let z = 21 + -10. Let d = 6 - z. Does 5 divide (-2)/(-5) + (-23)/d?
True