 + 6*a**2 + 2*a - 3 - 18*a**2 + 13*a**2. Does 14 divide v(-6)?
False
Let b = 70 - 36. Is 2 a factor of b?
True
Let z be (-1)/((4/1)/(-436)). Suppose 3*o + 23 + 78 = 4*v, 0 = -5*v - 2*o + z. Is v a multiple of 5?
False
Let q(i) = -i - 3. Let h = -10 - -6. Let g be q(h). Suppose -11 = -2*d + g. Does 5 divide d?
False
Suppose 17 = 3*m - 34. Let v = m + -9. Is v a multiple of 2?
True
Let f(z) = 4*z**2 + 1. Let u be f(5). Let q = 147 - u. Is q a multiple of 23?
True
Let q = -67 + 122. Is 22 a factor of q?
False
Is 3/(-9)*1*(-28 - 14) a multiple of 14?
True
Is -15*(-7)/((-14)/(-4)) a multiple of 15?
True
Does 11 divide (3/8*2)/((-13)/(-1144))?
True
Let i = 53 - -18. Suppose i = 4*t - 25. Is t a multiple of 12?
True
Suppose 3*w + 100 = 8*w. Is 6 a factor of w?
False
Suppose -5*z + 172 = 2*s - 11, -4*z = -3*s - 128. Is 4 a factor of z?
False
Does 32 divide (-4)/(2 + 66/(-32))?
True
Suppose -5*a - 16 = -3*i, -5*i = a + 3*a - 2. Let g = 3 + i. Let l(v) = 2*v - 6. Is 2 a factor of l(g)?
True
Let r = 10 - 2. Does 8 divide r?
True
Let d(a) = -a**2 - 4*a - 4*a**2 + 4*a**2 + a**3. Let x(w) = -w + 1. Let p be x(-2). Is 3 a factor of d(p)?
True
Let c = 24 + 26. Does 8 divide c?
False
Suppose 0 = -2*d - 0 + 10. Is 4 a factor of d?
False
Let b = 8 + -7. Suppose b = k - 5*y - 56, -2*y = -k + 45. Does 15 divide k?
False
Let r(n) = -n**2 - 6*n + 4. Let k be r(-6). Is (175/(-20))/((-1)/k) a multiple of 14?
False
Let w = -29 + 100. Does 22 divide w?
False
Suppose w - 12 = 5*l, 0*l = w - 2*l - 6. Suppose 4*r - 105 = 3*r. Suppose -2*y - y = 4*x - r, 2*y = w*x - 42. Is x a multiple of 12?
True
Suppose 0 = -12*u + 17*u - 300. Does 10 divide u?
True
Let q(m) = -m + 13. Let x be q(0). Suppose -3*k + x + 44 = 0. Suppose 4*d - k = 45. Is d a multiple of 8?
True
Suppose -12*c + 344 = -8*c. Is c a multiple of 17?
False
Let s = 379 + -253. Does 9 divide s?
True
Let o be (0 - -74)*1/(-2). Let g = o - -69. Is 12 a factor of g?
False
Is ((-3)/(-5))/(2/50) a multiple of 15?
True
Suppose 3*n - 4 = k + n, -k = -4*n + 2. Let i(u) = 3*u - 9. Let p be i(9). Let m = p + k. Is 12 a factor of m?
True
Let q be (-1)/(-3)*(-69)/(-1). Suppose -4*n + 49 = -q. Is n a multiple of 6?
True
Let m = 420 + -252. Does 42 divide m?
True
Is (88 + -3)/5*1 a multiple of 15?
False
Suppose -j = -2*j + 1. Does 4 divide j - (-2 + -3 - -1)?
False
Let o = -23 + 50. Is 9 a factor of o?
True
Suppose -3*l = -4*l - 1. Let t be 45 - ((3 - -1) + l). Suppose -4*p - 2*z + 41 = -51, 2*p - z = t. Does 22 divide p?
True
Suppose -s - 18 = -4*s. Let y be -3 - 4/(4/(-5)). Suppose -30 + s = -y*d. Is 6 a factor of d?
True
Let c(y) = 3*y - 5. Let d be c(5). Let u be d*(-2 + 3) - -2. Let h = u - 7. Does 5 divide h?
True
Suppose 2*i + 2*i = -k + 252, -5*i - k + 314 = 0. Suppose g - 17 = -m, -5*g = -4*m + 2*m + i. Does 7 divide m?
True
Suppose 0 = -5*u + 2*l + 2718, -4*u - 951 = -l - 3126. Is 27 a factor of u/10 - (-14)/(-35)?
True
Let v(p) = -p + 1. Let a be v(-3). Suppose 3*k = -5*z - a, -4 + 0 = -5*k - 3*z. Suppose -m + 5 + k = 0. Is 7 a factor of m?
True
Let n be (-6)/(-15) - 284/10. Let s = -10 - n. Is s a multiple of 10?
False
Let c = 4 + -3. Is 5*c/(2 + -1) a multiple of 2?
False
Let u = 4 + -4. Let q(d) = -d + 12. Does 12 divide q(u)?
True
Let z(l) be the second derivative of l**4/6 - l**3/6 + l. Let u be z(-1). Is 3*u*(-39)/(-9) a multiple of 16?
False
Let d(l) = -4*l**3 + l**2 + 4*l + 4. Let g(h) = -3*h**3 + 2*h**2 + 3*h + 4. Let s(o) = 2*d(o) - 3*g(o). Does 6 divide s(5)?
False
Let f(w) = 17*w - 1. Let m be f(-1). Suppose 10 = -3*b + 28. Does 6 divide m*(-1)/(9/b)?
True
Let g(x) = -x + 8. Let b be g(5). Does 23 divide b/((-3)/(-2)) - -21?
True
Suppose -3*n + 5*l = 2*n - 150, -4*l + 40 = n. Suppose -2*q = 2*g - 54, n = 2*g - q - 31. Does 14 divide g?
False
Suppose -6*y + 460 + 2240 = 0. Is 26 a factor of y?
False
Let r = -9 - -8. Let o(y) = -y**3 + 6*y**2 + 8*y - 5. Let m be o(7). Let j = m - r. Is j a multiple of 3?
True
Suppose g + 4 = 2. Is (26 - (3 + -1)) + g a multiple of 6?
False
Suppose y + 5*w = 41, -3*y - 3 = 5*w - 76. Does 8 divide y?
True
Let v(f) = f**3 + 6*f**2 + 4*f - 5. Let m be v(-5). Let i be -1 + 2 - m - -4. Suppose 60 = 2*d - 4*p, -i*d + 3*p + 2*p = -125. Does 7 divide d?
False
Let i(l) = -l**2 - 13*l - 9. Let j be i(-6). Suppose -2*f + 2*u = -4*f + 42, -u = -2*f + j. Is f a multiple of 6?
True
Suppose 229 = 3*f - 47. Suppose 0 = -5*r - 12 + f. Does 8 divide r?
True
Let a(t) = 6*t - 12. Let q(i) = -2*i + 4. Let s(m) = 4*a(m) + 11*q(m). Does 8 divide s(6)?
True
Let v(x) = x + 1. Let d be v(-1). Suppose -4*j = -3*l - 2*j, l - 5*j = d. Suppose 2 + l = c. Is c even?
True
Let p(h) = -2*h**2 - 1. Let u be p(3). Let f be -1 + 1 + (2 - -25). Let a = f + u. Does 8 divide a?
True
Let r(c) = -3*c**2 - c + 2. Let j be r(1). Suppose 0*w = -4*w - 28. Let p = j - w. Is 2 a factor of p?
False
Suppose -6*z + 12*z = 132. Is 7 a factor of z?
False
Suppose 0*z + 4*l - 2 = -3*z, l - 2 = -z. Let p = 23 - z. Is p a multiple of 15?
False
Let p(o) = -2*o + o + 10*o + 1. Is 5 a factor of p(1)?
True
Let v = -55 - -81. Does 19 divide v?
False
Let a be 2/8 + 695/20. Let b = a - 13. Is b a multiple of 5?
False
Let n(d) = -2*d - 6. Let v be n(-6). Let l(b) = b**3 - 5*b**2 - 3*b + 12. Is 10 a factor of l(v)?
True
Suppose -k + 4*k - 9 = 0. Suppose -6*p + 3*p = q - 62, 74 = k*p - 2*q. Is p a multiple of 22?
True
Let w be 6/(-3) - (-1 - 1). Suppose -q + 0*q + 6 = d, w = 5*q + 15. Suppose 0 = 4*j - 3*j + r - d, -5*r + 33 = 2*j. Is 4 a factor of j?
True
Suppose -665 = 3*u - 8*u. Is 7 a factor of u?
True
Let k = -1 + 9. Let u be ((-3)/(-6))/(1/k). Suppose 170 = 3*a - u. Is a a multiple of 16?
False
Let a(v) = v**3 + v**2 - v. Let p be 7/2 + 9/(-6). Let k be a(p). Suppose -c = -2*c + k. Does 3 divide c?
False
Suppose 0 = 10*v + 63 - 363. Is 5 a factor of v?
True
Suppose 2*z + s - 57 = 6*s, -5*z = -2*s - 174. Is 36 a factor of z?
True
Let s(h) = -h**3 + 7*h**2 - 5*h - 2. Let o = -2 + 6. Is 13 a factor of s(o)?
True
Let m(d) = 4*d - 20. Let x(k) = k - 7. Let i(b) = -5*m(b) + 14*x(b). Does 14 divide i(-2)?
True
Suppose s - 2*c = -0*s, -5*s = 4*c - 56. Is 8 a factor of s?
True
Let n(p) = -p**3 - 27*p**2 - 30*p - 41. Is 9 a factor of n(-26)?
True
Suppose 4*f + 0*f = -172. Let r = f + 145. Is 22 a factor of r?
False
Suppose -f + 4*f - 295 = -4*b, -f + 4*b + 77 = 0. Does 10 divide f?
False
Suppose 3*w = -2*w - 2*v + 299, 3*w = 3*v + 171. Is w a multiple of 13?
False
Let p = 193 + -33. Is p a multiple of 13?
False
Let q = 1 + 3. Does 11 divide (38/q)/(3/12)?
False
Let y(p) = -4*p**3 - 2*p - 1. Does 33 divide y(-2)?
False
Let t(c) = -c**3 - 9*c**2 - 10*c + 4. Let n be t(-8). Suppose 2*l - 19 = 2*o + 61, n = -4*o. Suppose 2*m = -m - 3, 4*m = -3*w + l. Does 13 divide w?
True
Let s(l) = 55*l - 6. Is s(1) a multiple of 45?
False
Suppose -4*t - 9 = 7. Let m(f) = -f**3 - 4*f**2 - f - 1. Let l be m(t). Suppose 4*d = -5*p + 64 + 72, -l = 3*d. Does 12 divide p?
False
Suppose -x + 5*j - 2*j + 11 = 0, 3*j + 19 = 5*x. Let s be ((-72)/(-45))/(x/5). Suppose s*o - 33 = 7. Is o a multiple of 10?
True
Let r = -35 + 34. Suppose 0 = -2*h - 2*h. Is r - h - (-25 - 3) a multiple of 11?
False
Suppose 4*c = -c + 300. Is 12 a factor of c?
True
Does 7 divide (-1 + -1)/((-748)/(-252) + -3)?
True
Let q(k) = -k**2 - 8*k - 8. Let m be q(-7). Let h be (3/(-6) + 1)*46. Is 14 a factor of (m - -1) + 0 + h?
False
Let w = -102 + 207. Suppose 333 = 4*k + w. Is 19 a factor of k?
True
Let p(o) = o**3 + 5*o**2 - 1. Let m be p(-5). Let w be (3/6 + m)*-2. Is (-1 + w)*-1 - -30 a multiple of 15?
True
Let s be (-21)/4 - 1/(-4). Let y be (-7)/((-70)/(-12))*s. Suppose -3*g = -6*g + y. Is g a multiple of 2?
True
Suppose 5*b + 24 = -3*s, 2*b + 7 + 2 = -s. Is 0/s - -1*111 a multiple of 30?
False
Is 70*((-8)/4 + 3) a multiple of 35?
True
Suppose -9 + 2 = -k + 5*b, -3*b = -5*k + 145. Is k even?
True
Suppose 0 = 2*y + z + 3*z - 128, 0 = -5*y + 4*z + 376. Is y a multiple of 18?
True
Suppose -2*n + 59 + 43 = 0. Is n a multiple of 4?
False
Let m = 94 - 65. Does 29 divide m?
True
Suppose 0 = -4*f - 5*i + 40, f - 3*i = -4*f + 87. Is f a multiple of 14?
False
Let a = -4 - -6. Suppose 0 = -2*m - 4*z + 56, 3*m - 5*z - 13 = 16. Does 9 divide (m/4 + 0)*a?
True
Let h(u) = 26*u**2 - 10*u - 11. Is 11 a factor 