(v) + 2*w(v). Suppose -3*m - 5*z - 29 = 9, -m = 4*z + 22. Is q(m) a multiple of 9?
True
Let u be (-26 - 2)/(52/16 - 3). Let m = -27 - u. Does 17 divide m?
True
Let s(w) = -w**3 - 4. Let c(n) = -n**2 - 14*n - 13. Let z be c(-13). Let g be s(z). Let l(f) = -f**3 - f**2 + f - 1. Does 11 divide l(g)?
False
Let p(w) = -w**2 - 9*w - 6. Let r(n) = -n - 3. Let l be r(5). Let v be p(l). Suppose 5*i - 148 = 5*o + 22, 128 = 4*i - v*o. Does 13 divide i?
False
Let w(g) = g**2 + 7*g - 1. Let r be w(-8). Let c = -2 + r. Suppose 150 = c*s + 5*h, -4*h - 190 = -5*s + h. Does 17 divide s?
True
Let u(x) = -2*x**2 - 21*x - 6. Let i be u(-10). Suppose i*o + 20 - 88 = 0. Does 7 divide o?
False
Suppose 3 - 7 = -2*m. Suppose -1626 = 8*o - 12*o + 3*u, -5*o = -3*u - 2031. Suppose m*g = -3*g + o. Does 27 divide g?
True
Suppose 119 + 621 = 37*j. Is j even?
True
Suppose -3*t - 2*v = -64, -2*v - 47 = -2*t + v. Is 1*-178*(-11)/t a multiple of 7?
False
Let s(a) = 4*a**3 - 6*a**2 + 12*a - 24. Does 41 divide s(5)?
False
Let d = -1 + 45. Suppose -d = -2*o + 3*h + h, -o + 12 = 3*h. Does 4 divide o?
False
Let h = 1067 + -203. Is 16 a factor of h?
True
Let z be (-4)/(-5*4/(-10)). Let n be (15/(-1))/((-3)/z). Is 13 a factor of 15/n*(-92)/3?
False
Suppose 37 - 37 = 2*u. Suppose 5*a - 15 = 0, 3*d - a + 6*a - 54 = u. Does 13 divide d?
True
Suppose -5*r = 114 + 46. Let z be (2088/r)/((-3)/12). Suppose -z = -4*a + 107. Is a a multiple of 23?
True
Suppose z = 2*j + 2896, -4*z - 1543 = -3*j - 5882. Does 24 divide j/(-15) - (-18)/(-30)?
True
Suppose 187 = 5*i - 933. Suppose 0 = 3*a + a - i. Let h = a + -26. Does 15 divide h?
True
Let u be 0*(3 - 2) + -2. Let z be 3/u*(-98)/(-21). Let s = z + 15. Is 5 a factor of s?
False
Let q(o) = -213*o - 167. Is 32 a factor of q(-5)?
False
Suppose 6*f - 18*f = -36. Suppose 2*k = 4*k + a - 313, f*k + 3*a = 471. Is k a multiple of 46?
False
Suppose -2*h = 5*c - 28, -h - 16 = -6*c + c. Suppose 2*j - 377 = -3*t, 5*t - t + h = 0. Suppose d = -4*d + j. Is d a multiple of 14?
False
Let d(j) = j**2 + j + 1. Let b(p) = -4*p**2 - 10*p + 14. Let a(x) = -b(x) - 3*d(x). Is a(10) a multiple of 17?
True
Let r(d) = d**3 + 14*d**2 - 11*d - 21. Let h(u) = -15*u**3 + u**2 + u - 1. Let n be h(1). Is 24 a factor of r(n)?
False
Suppose -2*r + 9 = 1. Let k(p) = -2 + 4 + 2 - 10*p + r. Is 11 a factor of k(-4)?
False
Suppose -8*u + 10*u + 2 = 0. Is 17 a factor of u + (51 - -4) + -3?
True
Is 16 a factor of (-1359)/(-72)*22 - (-6)/8?
True
Suppose -5*m + 1020 = 5*m. Is 42 a factor of m?
False
Let z = -338 + 723. Suppose -4*u - 219 = -3*t - 3*u, -5*u + z = 5*t. Does 29 divide t?
False
Let v be 15/(-5)*10/(-6). Suppose i = -5*t - v, 4*i = 6*t - 2*t + 4. Suppose i = 4*j + 4*x - 68, -5*j + 3*x = 2*x - 85. Is 7 a factor of j?
False
Does 11 divide (6/12)/((-14516)/2904 + 5)?
True
Let k be 7/(21/18)*20. Let p = -82 + k. Is 5 a factor of p?
False
Suppose 4*g - 14 = -v, 2*v = 2*g + 2*g - 8. Suppose -5*y + 12 = b - 15, -g*b = -5*y + 39. Is 5 a factor of y?
False
Let f(v) = -4 - 15*v**3 - 8 - 2*v + 13. Let p be f(1). Let y = p + 30. Is y a multiple of 7?
True
Suppose -15*n + 5775 = -4*n. Is 23 a factor of n?
False
Let x(z) = -21*z - 10. Let i be x(-1). Suppose 108 = -8*s + i*s. Is s a multiple of 5?
False
Suppose 3*p - 4*b = 28 - 2, 4*p + 2*b = 42. Does 3 divide p?
False
Suppose 3*d = 6*d - o + 73, -3*d + 5*o = 89. Let t = d - -38. Is t a multiple of 3?
True
Is ((-2)/4)/((-7)/10318) a multiple of 11?
True
Suppose 1085 - 14 = 9*c. Suppose 0 = 4*w - 2*v - 466, -v = w + v - c. Is 9 a factor of w?
True
Suppose 4*r - 3*r - 2*t - 2 = 0, 3*t + 2 = r. Suppose 5*w - 17 + r = 0. Suppose -5*s + 116 = -x, w*s - 7*x - 60 = -4*x. Is 8 a factor of s?
True
Let m be -12 - -16 - (-45 + 1). Let y = m - 23. Is 5 a factor of y?
True
Suppose 8*u - 4*u + o - 330 = 0, 0 = 4*u - o - 326. Suppose 5*g = 412 - u. Suppose -g = -5*p + 3*p. Is 16 a factor of p?
False
Let k be (10/(-6))/(2/3 + -1). Suppose 6*m + k*m - 264 = 0. Is m a multiple of 2?
True
Let h be (-44)/(-16) + 2/8. Does 5 divide 1*(0 + h) + 3?
False
Let f(q) = 158*q - 344. Does 104 divide f(16)?
True
Suppose -22 = -4*o + 10. Let g(w) = 2*w**2 + 3*w + 1. Is 17 a factor of g(o)?
True
Suppose 45*h + 45937 = 116497. Is 56 a factor of h?
True
Let r(d) = -d + 7. Let z(w) = -w**3 + 6*w**2 + 9*w - 10. Let l be z(7). Let h be r(l). Does 4 divide (-27)/((-12)/3 + h)?
False
Let t(h) = h**3 + 6*h**2 + 7*h. Let c be t(-4). Is 144/c - (1 + -4) a multiple of 13?
True
Suppose h - 218 = 12*y - 16*y, -4 = 2*h. Is y a multiple of 5?
True
Suppose 3*z - 2*c = -19, -7*c = -2*c - 10. Let f(q) = 6*q**2 + 7*q + 5. Does 24 divide f(z)?
True
Suppose 4*r - 748 = 316. Is r a multiple of 9?
False
Does 22 divide 572/(-65)*10/8*-14?
True
Suppose -3*g - 4*v - 107 = 0, 94 = -4*g - 2*v - 42. Let t = g + 28. Is (-18)/(t + 3 - -1) a multiple of 9?
True
Suppose 1406 = 7*a - 274. Does 41 divide a?
False
Let h(u) be the third derivative of u**4/24 + 31*u**3/6 + 16*u**2. Is 13 a factor of h(-5)?
True
Let c(x) = -2*x + 4. Let d be c(0). Suppose -d*v + 458 = 2*h, -2*v - 4*h + 244 = -0*h. Is v a multiple of 28?
True
Does 2 divide (118/(-413))/((-2)/14)?
True
Suppose j = -3*g - 0*j - 319, -224 = 2*g - 5*j. Let a = 223 + g. Suppose -4*v - 4*t + a = -56, 3*t = v - 59. Is v a multiple of 13?
False
Let v(q) = 2*q + 34. Let z be v(-19). Is 27 a factor of ((-2)/1)/(z/122)?
False
Let b = 229 - -115. Is 9 a factor of b?
False
Suppose 79536 = 139*z - 91*z. Is z a multiple of 11?
False
Suppose 4*o + 1002 = 5*n + 2961, n = -3. Is o a multiple of 27?
True
Suppose 11 = -3*f + 5*x, -5*f - 5 = 4*x - 9*x. Let l be (3 + -4)/(-1) + f. Let p = 21 + l. Is p a multiple of 9?
False
Suppose 0 = 5*d + 3*f - 1953, -30*d = -29*d - f - 389. Is 26 a factor of d?
True
Let f be 9/(-9)*2/(-1). Suppose -680 = f*h + 3*h. Let x = 202 + h. Does 11 divide x?
True
Let o(r) = r + 8. Suppose p - 3 = -m - 12, 4*p = -2*m - 32. Let x be o(p). Does 11 divide (-3)/x + 0 + 24?
False
Is 7 a factor of (1 - (-6)/(-2))*2320/(-32)?
False
Let x = -991 + 1053. Is 3 a factor of x?
False
Suppose 0 = 8*h - 266 - 4630. Is h a multiple of 17?
True
Suppose -2*g - 2436 = -3*c - 7344, 4880 = 2*g + 4*c. Is g a multiple of 18?
True
Suppose -175 = -i - 3*m, -6*m + 2*m = -12. Is i a multiple of 21?
False
Let q(d) = -d**3 + 6*d**2 - 5*d + 1. Let j be q(5). Let x = j + 2. Suppose 3 = -x*m, -2*m = g + 2*m - 16. Does 8 divide g?
False
Suppose 0 = 5*o - 9 - 21. Let u be 114/o + 1 + -2. Let d = u + 3. Does 21 divide d?
True
Suppose 0 = -5*a + 119 - 14. Is 98/4*36/a a multiple of 9?
False
Suppose -7*a - 488 = -4*h - 3*a, -2*h + 214 = 4*a. Suppose h = 6*q - 171. Does 11 divide q?
False
Let m = 14 - 2. Suppose -11*d + 36*d - 2025 = 0. Let z = d - m. Is z a multiple of 23?
True
Let f(z) = 89*z**2 + 19*z + 34. Does 16 divide f(-2)?
True
Let a(x) be the third derivative of 1/20*x**5 + 0 + 1/24*x**4 + 0*x - 1/3*x**3 + 13*x**2. Is 34 a factor of a(-5)?
True
Suppose 2*h - 12 = -4*y + 8, 0 = -4*h + 3*y - 4. Let t = 5 - h. Suppose -3*m = 4*s - 13, s - 8 = 2*s + t*m. Is s a multiple of 2?
False
Suppose 21*n - 13069 - 8981 = 0. Is 20 a factor of n?
False
Let q(d) = 87*d + 42. Is 16 a factor of q(2)?
False
Is 7 a factor of (196/(-10))/(81/(-1215))?
True
Let a(n) = -n**2 - n + 39. Let h be a(0). Let m(o) = -3*o + h*o + 24*o. Is m(1) a multiple of 12?
True
Suppose -4*u - 1785 + 569 = -4*c, 605 = 2*c - 3*u. Does 18 divide c?
False
Suppose 0 = 3*l + 2*l + 2*z, -4*z = 0. Suppose 4*a - 5*d - 159 = -24, l = -4*a + d + 155. Does 10 divide a?
True
Suppose -r = l - 3*l + 1, -20 = -4*r. Let s(m) = -m - m + 5*m + 1. Is s(l) a multiple of 6?
False
Let b(z) = -188*z + 38. Is 13 a factor of b(-2)?
False
Let y be (1 + (-74)/10)/((-22)/55). Suppose 0 = y*l - 11*l - 645. Does 47 divide l?
False
Does 10 divide (52/26)/(1/79)?
False
Let m(u) be the second derivative of -u**5/20 + u**3/3 + 2*u**2 - u. Does 17 divide m(-5)?
True
Let y(s) = -s**3 - 11*s**2 - 14*s - 27. Suppose -n + 2*b = 3, 4*n + 24 = 3*b + 2*b. Is y(n) a multiple of 28?
False
Let b(j) = -2 + 9 - 3*j - 11. Let y be b(-6). Suppose y*f = 11*f + 24. Is f a multiple of 4?
True
Is 12 a factor of 64 + (6 - 2) + -8?
True
Let z = -215 - -147. Let p = z + 113. Is p a multiple of 15?
True
Does 53 divide 24/4 + 10668/6?
False
Let f = -43 - -74. Le