*2 + 11*y - 62. Is s(5) a multiple of 5?
False
Suppose 14*d + 1294 = 16*d + 4*r, -5*d + 3265 = -5*r. Does 30 divide d?
False
Suppose -37 = 5*n - 932. Is n a multiple of 13?
False
Suppose -3*q + 4*a - 77 = 0, a + 19 + 2 = -q. Let n = q + 21. Does 27 divide 56 - (-2 - (n + -2))?
True
Suppose 4*c + 1890 = 13*c. Suppose 4*m + 0*w - c = -2*w, 3*w + 195 = 4*m. Does 20 divide m?
False
Let g = 53 - 15. Let u = 72 - g. Does 17 divide u?
True
Suppose 2456 = -205*g + 207*g. Is g a multiple of 9?
False
Let n(d) be the first derivative of 3*d**2 - 4*d + 1. Is 7 a factor of n(3)?
True
Suppose a = 2, 3 = -3*m - 4*a + 5. Let f be (1*4)/(m/4). Does 13 divide 1/(-4) - 418/f?
True
Let c = 97 + 89. Suppose 0*f - c = -3*f. Is f a multiple of 11?
False
Let w be -3 + (-46)/(-10) - 2/(-5). Suppose 336 = w*v + v. Does 31 divide v?
False
Let a = -1 + 7. Does 3 divide (a - 18)/(4/(-6))?
True
Let i(l) = 101*l + 64. Does 4 divide i(4)?
True
Let y(b) = 16*b**3 - 5*b**2 + 6*b + 1. Is y(3) a multiple of 29?
True
Suppose -11*h + 8*h = 2*m + 5, -4*m - h = 15. Does 3 divide (-42)/3*m/14?
False
Let c(b) = b**3 - 12*b**2 + 6*b + 7. Suppose 3*j + i - 140 = 0, -i + 200 = 4*j - 3*i. Suppose j = -2*f + 6*f. Does 15 divide c(f)?
False
Suppose 0 = -z - 5*d + 146, 135 - 21 = z - 3*d. Is 14 a factor of z?
True
Suppose a = 15*u - 19*u + 2434, -3*u - a + 1825 = 0. Is u a multiple of 87?
True
Let b(a) = -8*a + 44. Let r be b(-18). Let y = r + -126. Is y a multiple of 28?
False
Let o = -1326 - -1432. Is o a multiple of 5?
False
Suppose 39 = -2*r + 217. Let k = -53 + r. Does 6 divide k?
True
Does 16 divide (-6)/42 - (8758/(-7) + 3)?
True
Let d(c) = -c**2 - 5*c + 2. Let q be d(-7). Let z be (-58)/1*(-6)/q. Let g = z - -40. Does 11 divide g?
True
Suppose 4*j = 4*s + 240, -280 = -4*j - 6*s + 2*s. Suppose -k + 24 = 4*w - 11, 4*w - j = -3*k. Suppose 2*c + k = 85. Is 10 a factor of c?
False
Let w(s) = s + 2. Let r be w(-3). Let m be (r - -9) + (12 - 13). Suppose -m*l + 79 = -2*l - z, -5*l - 2*z + 82 = 0. Is 6 a factor of l?
False
Let c(b) = 2*b**2 - 6*b - 9. Let f be c(8). Suppose g - f = 63. Is g a multiple of 27?
False
Suppose 3*h - 1491 = 3*p, 3*p + p = -h + 512. Is h a multiple of 12?
False
Suppose 7*m - 9*m - 2*f + 1594 = 0, -4006 = -5*m + 2*f. Does 40 divide m?
True
Let g(s) = -3*s + 19. Let j be g(8). Let l(n) = -n**3 - 5*n**2 + 5. Let t be l(j). Suppose 115 = 5*o + 2*k - 7*k, -t*o - 3*k = -83. Does 7 divide o?
False
Suppose l = -5*l + 102. Suppose -l*y = -12*y - 45. Does 2 divide y?
False
Let h be 0*(2/(-4) + 0). Let d(i) = i**3 - 5*i**2 + 7*i. Let a be d(4). Suppose 8*u - a*u + 68 = h. Is 7 a factor of u?
False
Let g(w) be the first derivative of w**2/2 + 30*w + 15. Does 13 divide g(18)?
False
Let y be 14 + -9 - (119 + -1). Let o = -11 - y. Is 17 a factor of o?
True
Let i(a) = a**3 - 23*a**2 + 7*a + 42. Is 29 a factor of i(23)?
True
Suppose 0 = -j - 3*j + 20. Suppose -w = 4*n + 43 - 7, j*w = -5*n - 120. Let v = -4 - w. Does 16 divide v?
True
Let w be (-10)/(-15)*(6 - 3). Suppose f = 4*y - 6, -f - 2*y = w*y - 18. Let l(x) = x**3 - 6*x**2 + x + 5. Is 5 a factor of l(f)?
False
Suppose -3 = 2*x - 7. Suppose 36 = 5*n + 4*v, x*n + 0*n = 2*v. Suppose 0 = n*z + 42 - 114. Does 9 divide z?
True
Suppose -48*w + 45*w + 431 = 2*o, 0 = -2*o + 5*w + 455. Is 10 a factor of o?
True
Suppose -223 = -s - w, -5*s = -3*w + 2*w - 1091. Is 9 a factor of s?
False
Suppose 7934 = 5*f + 4*d, -3*f + 5*f - 5*d - 3167 = 0. Is 13 a factor of f?
True
Suppose -5*s = -7*s + 170. Suppose 7*u - 2*u - s = 0. Suppose 5*n = u + 13. Is 6 a factor of n?
True
Does 5 divide (-360)/135*150/(-4)?
True
Suppose -70*u - 2*t - 3682 = -72*u, 5*u = -5*t + 9155. Does 74 divide u?
False
Is 19 a factor of (-3 + (16 - -6))*(1 + 40)?
True
Let v(b) = 2 + 5 - 5 + b - 1. Let j(k) = -2*k**3 - 3*k**2 - 3*k - 3. Let a be j(-2). Does 3 divide v(a)?
False
Let a = 2942 + -1213. Suppose 12*k = 5*k + a. Does 40 divide k?
False
Does 67 divide 67/(94/46 - 2)?
True
Let m be 2/4*(-7 - -13). Suppose -4*w - 320 = -3*u, 0 = 5*u - m*w - 712 + 164. Is 7 a factor of u?
True
Let g be ((-2)/3)/((-12)/(-36)). Let t be (-1 - -202)/(-1 - g). Suppose t = 4*b - b. Does 17 divide b?
False
Suppose -4*h + 55 - 3 = 0. Suppose -9*s + h*s = 644. Is s a multiple of 18?
False
Is (32 - (3 - 4))*87 a multiple of 36?
False
Suppose 0 = 2*l + k - 9, 0*k - 4 = -l - k. Suppose 2*a - g + 0*g = 39, -l = -g. Let d = a - 8. Does 4 divide d?
False
Let y = -15 - -105. Suppose -21 = -3*j + y. Does 22 divide j?
False
Suppose -x - 5*r - 95 = 0, -2*x = -x - 4*r + 68. Let o = 147 + x. Is 49 a factor of o?
False
Let p be ((-3)/6)/((-3)/78). Let z(n) = n**2 - 7*n + 4. Is z(p) a multiple of 44?
False
Let i(b) = 82*b + 134. Is 8 a factor of i(9)?
True
Suppose -265*q = -259*q - 1188. Is 18 a factor of q?
True
Suppose 0 = -42*c + 5787 + 17649. Is 2 a factor of c?
True
Let h(s) = -33*s**2 - 6*s + 9. Let o(u) = 16*u**2 + 3*u - 4. Let x(d) = 3*h(d) + 7*o(d). Is 8 a factor of x(-2)?
False
Suppose -60 = -35*k + 33*k. Is 2 a factor of k?
True
Suppose 418 = 7*f - 212. Does 10 divide f?
True
Let s = -78 - -81. Suppose 0 = 5*w + s*i - 522, 0*i = -4*w + 3*i + 396. Is w a multiple of 34?
True
Suppose -27 + 12 = -5*d. Suppose n - 577 = -5*p + d*n, n = 4. Is p a multiple of 9?
True
Let p(w) = w + 1. Let r(j) = 2*j + 0*j**2 - 3*j + 1 - 6*j**2 + 9*j**2. Let i be r(1). Is p(i) a multiple of 4?
True
Let q(p) = -4*p**2 - 8*p + 9*p**3 + 5*p**3 + 10*p. Let l be (-1)/((-2)/(2 - -2)). Is q(l) a multiple of 37?
False
Suppose q + 9 = -4*i, -2*i - 3*i = -q + 18. Suppose -3*z - q = -4*z. Suppose -z*y + 68 = 5*b, 4*b + 12 = 2*y - b. Does 5 divide y?
False
Suppose -2*o + 201 = -o. Suppose 0 = 6*y - o - 141. Is 16 a factor of y?
False
Let a(p) = 1. Let c(z) = 27*z - 1. Let f(s) = 14*a(s) + 2*c(s). Is f(4) a multiple of 38?
True
Let y = 340 + 610. Is y a multiple of 18?
False
Suppose -3*a + m - 6*m + 101 = 0, 4*m + 82 = 2*a. Suppose 4*q - 4*w - 148 = -0*w, -q + a = -3*w. Is q a multiple of 9?
False
Let h(k) = 185*k**2 - 13*k + 21. Does 21 divide h(2)?
True
Suppose 39 = -5*g + 3*p, -5 = 2*g - p + 10. Is 38*1 - (g - -4) a multiple of 8?
True
Let c(h) = -h**3 + h**2 + 5*h + 4. Let u be c(3). Suppose 0 = m - i - 55 - u, i - 2 = 0. Is m a multiple of 6?
False
Suppose 0 = 22*p - 4518 - 5580. Is 33 a factor of p?
False
Let r(x) = -x**2 + 12*x + 4. Let d be r(12). Suppose 16 = -2*y + g + 3*g, -24 = -2*y - d*g. Suppose -y*v + 3*v - 21 = 0. Does 7 divide v?
True
Let w be 0/(-2)*1/(-3). Suppose v + 21 - 53 = w. Suppose -2*j = -j - v. Is 16 a factor of j?
True
Suppose 31*k - 35*k = -4224. Does 33 divide k?
True
Suppose 3*a + 2*a = 25. Suppose 2*n + 52 = a*s, 0*n + 4*n = -5*s - 134. Let y = 53 + n. Is 5 a factor of y?
False
Let q = -931 - -936. Is q even?
False
Let x(h) = -47*h - 5. Let c(d) = -308*d - 16 - 28*d - 36 - 158*d. Let i(l) = 5*c(l) - 52*x(l). Is 11 a factor of i(-2)?
False
Suppose 2*t + 5*s - 23 = 0, -5*t + 3*s + s + 140 = 0. Let v(m) = -m**3 + 24*m**2 + 5*m - 36. Does 6 divide v(t)?
True
Let h = -3033 - -5945. Is h a multiple of 43?
False
Suppose 3*a + 2229 = -5*r + 7204, -4*r = -5*a + 8267. Is a a multiple of 34?
False
Let i be (3 + 0)*260/(-6). Does 26 divide (24/10)/((-3)/i)?
True
Suppose -9*f + 560 = -5*f. Suppose 580 = 8*u + f. Is 5 a factor of u?
True
Let o be ((-2)/(-4))/((-2)/(-68)). Let u be 2 + -2 + 6/(48/(-40)). Let q = u + o. Is 4 a factor of q?
True
Let a(f) = 44*f**2 - 9*f + 15. Is 24 a factor of a(3)?
True
Is 25 a factor of 1028 + (-4*10)/8?
False
Suppose -4*m - 4*s = -8, -s = -0*m - 5*m + 16. Let l(f) = -3*f - 2 - m*f - 4*f + 0*f. Is 7 a factor of l(-1)?
False
Let c = 1 + 1. Suppose 3*a = -4*m + 4*a + 177, -4*m + 4*a = -192. Is 14 a factor of (-2 + c)/2 + m?
False
Let x(v) = 5*v**2 + 23*v + 56. Does 42 divide x(-14)?
True
Suppose -47*r = -52*r + 500. Is 10 a factor of r?
True
Let x(g) = 2*g**3 + 25*g**2 + 4*g + 1. Is x(-12) a multiple of 14?
False
Let k(p) be the third derivative of p**5/60 + p**4/2 - 2*p**3 + p**2. Let y(v) = v**2 - 10*v - 14. Let a be y(10). Is 8 a factor of k(a)?
True
Suppose -3*r + 7 = -8. Suppose -4*o + 4*u + 2 + 18 = 0, r*u = 2*o - 13. Suppose o*t = -j + 52, -t + 5*j = -5*t + 52. Is t a multiple of 13?
True
Let h(p) = -8*p**3 + 3*p + 2. Let n(v) = v**3 + 5*v**2 - 6*v - 1. Let z be n(-6). Is