
False
Suppose -c - 3*u + 37 = -2*u, 3*c - 116 = -2*u. Is 14 a factor of c?
True
Let m be 3/6*0/1. Suppose m = 5*c - 2*c - 114. Does 19 divide c?
True
Let j(i) = -2*i**3 + 2*i**2 - 2*i - 4. Let b(y) = y + 1. Let a(p) = -3*b(p) - j(p). Is a(3) a multiple of 17?
True
Let x(j) = -j**3 - 3*j**2 - 2*j. Let a be x(-2). Suppose a = 2*d - 5*d - 30. Does 8 divide 2/(-5) + (-244)/d?
True
Let g(o) = 2*o**2 - o. Let b = -9 + 6. Does 21 divide g(b)?
True
Let y be (-2)/(-6) - (-5)/3. Suppose -y*u - 3*w + 6*w + 39 = 0, 66 = 3*u + 3*w. Suppose 3*p + u = 4*p. Is 9 a factor of p?
False
Suppose -2*u + 3*h = 3*u - 3, 2*u + 3*h = -3. Suppose u = 4*c + 2*q - 48, -32 = -2*c + 2*q + q. Does 3 divide c?
False
Is 6/(-45) - (-3021)/45 a multiple of 3?
False
Suppose -2*n - 2*a - 11 = n, -2*n - 9 = 3*a. Let x = n - -6. Does 12 divide 26/(x/6*2)?
False
Let c(q) = q**3 - 11*q**2 + 11*q - 5. Let y be c(10). Suppose -d = -r - 42, 2*d - y*d = 5*r - 150. Does 15 divide d?
True
Let u(d) = -3*d - 5. Is 2 a factor of u(-4)?
False
Let m = 1 + 9. Let j = m + -25. Let q = j - -27. Is 6 a factor of q?
True
Does 12 divide 4 - (4/(-8)*0 - 116)?
True
Suppose -4*o - 117 = -o. Let d = 7 - o. Is 21 a factor of d?
False
Let u = -7 - 21. Let t = u - -40. Is t a multiple of 6?
True
Suppose 15*m - 17*m + 76 = 0. Does 19 divide m?
True
Let m be ((-24)/10)/(4/(-70)). Let q = -22 + m. Suppose -n = n - q. Is 10 a factor of n?
True
Suppose -1455 = 15*h - 30*h. Is h a multiple of 8?
False
Let z(a) = -a**3 + 4*a**2 + 3*a - 4. Let l be z(4). Let d be (-44)/(-7) + 2/(-7). Suppose 24 = -d*n + l*n. Is 7 a factor of n?
False
Let z = -1 + 1. Suppose z - 3 = -k. Suppose -k*f - 5*v = -f - 30, 3*f - 4*v = 45. Is 15 a factor of f?
True
Suppose -104 = -2*x + 90. Does 21 divide x?
False
Let i(s) = 43*s**2 + 1. Let c be i(1). Suppose -h + 41 = r, 59 = 2*r - 5*h - c. Does 10 divide r?
False
Let g be ((-50)/20)/((-1)/2). Let t(m) = -m**3 - 5*m**2. Let r be t(-5). Suppose g*v = -4*q + 40, 3*v - q = -r*q + 41. Is 6 a factor of v?
True
Let z be (-1 + 0)*(-2)/2. Is 11 a factor of (352/(-8))/(0 - z)?
True
Let f = -8 + 12. Suppose -2*z = u, 2*z - 11 + 5 = -f*u. Is 2 a factor of u?
True
Is 18 a factor of 639/12 - 3/(-4)?
True
Let q = 26 - 22. Suppose -3*s - q = -19, -2*s - 98 = -3*g. Does 12 divide g?
True
Let s(d) = 29*d**2 + 2 + 3 + 2*d - 4 - d**2. Does 13 divide s(-1)?
False
Suppose 0 = -10*d + 310 + 160. Does 5 divide d?
False
Suppose -3*q = 5*h + 253, 0 = 5*h + q - 2*q + 249. Is 7 a factor of h/(-1 + 3 + -4)?
False
Let n(a) = -12*a - 2. Let x be n(-1). Does 15 divide (x/6)/(11/99)?
True
Suppose 0 = -4*i + 2*i + 192. Does 32 divide i?
True
Let a be (-4)/5 - (-2)/(-10). Let p(l) = -5*l - 1. Let v be p(a). Suppose -g - 3*f + 8*f - 15 = 0, 28 = v*g + 2*f. Is 5 a factor of g?
True
Let f(c) = -4 - 2 + 25*c + 1. Is f(4) a multiple of 24?
False
Let y = 1 - 0. Is 7 a factor of (y - (-1 + 1)) + 6?
True
Suppose -z - 3*s = 6, -4*z + 3*s + 42 = z. Let k = -9 + z. Does 3 divide k*4*1/(-2)?
True
Let b(y) = 4*y - 5. Let m be (-1 - 0)/1*-15. Let o = m - 10. Is b(o) a multiple of 5?
True
Let m(c) = 4*c**3 - 5*c**3 - 4*c**2 - 4*c + 0*c**2. Is m(-4) a multiple of 8?
True
Let d(m) = -14*m - 5. Let o(v) = 14*v + 5. Let r(x) = -x - 1. Let s(w) = o(w) + r(w). Let u(z) = -3*d(z) - 4*s(z). Is 18 a factor of u(-2)?
False
Suppose 4*n = -3*w - 0*n - 8, -w - 3*n - 6 = 0. Let f = 1 + 2. Suppose 0 = 4*h + f*u - 13 - 43, w = -5*h - 3*u + 70. Does 7 divide h?
True
Let c(v) = 7*v. Let d be c(6). Let o = d - 3. Suppose -4*b = -2*q + 5*q - o, 4*b + 5*q - 33 = 0. Does 4 divide b?
True
Let k(w) be the third derivative of w**4/24 + 19*w**3/6 - 2*w**2. Does 5 divide k(-9)?
True
Let t = 48 + 6. Is 9 a factor of t?
True
Suppose -w = -x - 4 + 5, 3*w = -3*x + 15. Suppose w*q - q - 16 = 0. Is q a multiple of 8?
True
Let k = -100 - -218. Let u = k - 83. Is 15 a factor of u?
False
Suppose -5*j - 4 = p, p - 1 = -j + 11. Let g = 6 + 4. Is p/g*(2 + 3) a multiple of 5?
False
Let j(w) be the first derivative of -3*w**2/2 + 3*w + 1. Let b be j(-4). Let h = -8 + b. Does 7 divide h?
True
Let y(p) = 3*p + 21. Is 14 a factor of y(7)?
True
Let l(r) = r**2 - 4*r + 4. Is 7 a factor of l(5)?
False
Does 7 divide 65/5*(-3 - -5)?
False
Let i be -3 + 2/2 - -4. Does 8 divide 1 + i - (-5)/1?
True
Does 13 divide (-56)/3*(-21)/14?
False
Suppose 0 = 3*i - i, 2*o - 4*i - 30 = 0. Does 3 divide o?
True
Suppose 5*g - 1099 = 691. Is g a multiple of 53?
False
Let x(z) = -19*z + 6. Let y(k) = -18*k + 7. Let m(u) = 5*x(u) - 4*y(u). Let j be m(-6). Suppose 4*o + o - j = 0. Does 14 divide o?
True
Let d = 26 - 6. Suppose 3*b + d - 2 = 0. Let g = 18 + b. Does 12 divide g?
True
Let a = 16 + 11. Does 9 divide a?
True
Suppose -2*l + 4*d + 3 = -17, 4*l - 2*d = 40. Is l even?
True
Let s(o) = -o**3 - o**2 - 3*o + 7. Is s(0) even?
False
Let r(a) = -13*a + 6. Does 19 divide r(-6)?
False
Suppose -4 = 4*n - f - 24, 5*n + f = 16. Let j be (2/6)/(5/180). Suppose 0 = o + n - j. Is o a multiple of 3?
False
Let w(v) = 121*v - 1. Let x be w(1). Let h(f) = -f**2 - 6*f - 6. Let n be h(-4). Suppose 0*g - g - 4*p = -24, -n*p + x = 5*g. Is g a multiple of 14?
False
Let s = -11 - -8. Let f = 3 + s. Suppose -4*x + q = -64, f = -5*x - 3*q + q + 67. Is x a multiple of 14?
False
Let p(j) = 3*j + 19. Let b be p(-9). Is (-134)/b + (-10)/(-40) a multiple of 17?
True
Suppose 182 = 5*g - r, g - 2*g + 42 = -3*r. Does 12 divide g?
True
Let o = 14 + -7. Let d = o - -2. Is 4 a factor of d?
False
Let x be -12 + 1/1 + -1. Let u = x - -34. Is 11 a factor of u?
True
Let j(d) = d**2 + 2*d. Let g be j(-1). Does 9 divide (-142)/(-8) + g/(-4)?
True
Let i be (-1)/3*-3 + -41. Let v = -6 - i. Is v a multiple of 9?
False
Is (-112)/(-5) - (-12)/20 a multiple of 4?
False
Let i(m) = -m**2 - 7*m - 4. Let n be i(-6). Suppose -4*t + 2*f = -110, 0 = n*t - 0*t + 4*f - 30. Does 25 divide t?
True
Let z(l) = 12*l**3 - l**2 + l. Let s be z(1). Suppose 2*k - c + s - 55 = 0, 2*k = -3*c + 31. Let x = k - -10. Is x a multiple of 15?
True
Let t(u) = u + 5. Let n(y) = 5*y + 21. Let i(a) = -2*n(a) + 9*t(a). Let c be i(3). Suppose 4*b - b - 60 = c. Is 10 a factor of b?
True
Let s be 3/1*(-6 + 295). Is 4 a factor of s/85 + 2/(-10)?
False
Let m(a) = 6*a - 2*a**2 + 3*a - a**3 - 9 - 5*a**2 + 2*a**3. Let n be -12*2/((-8)/2). Is 4 a factor of m(n)?
False
Let a(c) = c**3 + 2*c**2 - 5*c - 2. Let g be a(-3). Suppose 2 = 5*u - 3, 35 = -g*j + 3*u. Let n(y) = y**3 + 9*y**2 + 7*y + 4. Is n(j) a multiple of 6?
True
Let v = -20 + 20. Suppose 4*b - 34 = g, 3*b + v*g - 16 = -4*g. Is 4 a factor of b?
True
Is (-1 + 34)*64/24 a multiple of 8?
True
Let b = -151 + 321. Suppose b = -l + 47. Is (-2)/4 - l/6 a multiple of 20?
True
Let w = -20 - -32. Is w a multiple of 12?
True
Let i = -4 - -7. Suppose -102 = -5*v + 3*a, -7*a + i*a = -4. Does 7 divide v?
True
Let k be 1*(-1 - -5)/2. Let o = -52 - -54. Is 19 a factor of (k + 17/1)*o?
True
Suppose 0*z = -4*g + 5*z - 3, -3 = g - 2*z. Let u = 4 - g. Does 11 divide -3 + 3 + (u - -39)?
False
Suppose 2*y + 8 = -2*y. Suppose 0 = -w - 2*s, -3*s - 15 = -w - 0. Is y/w*(-18 - -3) a multiple of 4?
False
Suppose 11 = 4*o - 1. Suppose 0*x - x = -2. Suppose -2*f + o*w + 26 = 0, f - 3*w - 15 = -x*w. Is 9 a factor of f?
False
Let p = -10 + 5. Let z = p - -8. Is 3 a factor of z?
True
Let v(a) be the second derivative of -a**3/3 - a**2/2 - a. Let b(o) = o**2 - 6*o. Let d be b(5). Does 8 divide v(d)?
False
Suppose 5*c + 4*v - 218 + 34 = 0, c + 5*v - 41 = 0. Suppose 3*r + 2*d = -0*d + c, r - 2*d = 4. Is 8 a factor of r?
False
Let l = -35 - -69. Suppose 3*r = l - 1. Does 11 divide r?
True
Is (1/((-3)/9))/(-1) a multiple of 2?
False
Let h(f) = 12*f - 46. Is h(5) a multiple of 14?
True
Suppose -3*u + 40 = -2. Does 7 divide u?
True
Suppose 4*r + 12 = 0, 0 = 3*n + 3*r - 129 + 21. Is n a multiple of 9?
False
Is 11 a factor of (-1)/((-3)/(97 + 2))?
True
Suppose 0*b - 3*b - 91 = -2*u, 4*u = -4. Let d = 25 - b. Is 19 a factor of (-4)/14 - (-1080)/d?
True
Let j = 198 + -71. Is 26 a factor of j?
False
Suppose k + 2*g - 8 = -k, 5*g - 20 = 0. Suppose 4*x = -4*a + 72, 0 = -k*x + x + 3*a - 28. Does 13 divide x?
True
Let i = -10 - -12. Suppose 2*j + 3*d - 25 = 0, -i*j + 5*d + 33 = -0*j. Is j a multiple of 8?
False
Let p(a) = -2*a**2 - 5*a - 3. Let g be p(-3). Let l = g - -