pose -3*g = -2*p - 16, -2*p - 3*p = 4*g - 6. Suppose 3*f + g*z = -1, -f + 4*z - 2*z = -13. Does 2 divide f?
False
Let x be (-108)/(-10) + (-4)/(-20). Suppose 4*p = -3*o + 5*p + 15, -o - 5*p = x. Does 2 divide o?
True
Let q = -175 - -315. Does 35 divide q?
True
Let l = 428 - 252. Is 22 a factor of l?
True
Let t be (168/98)/(2/(-21)). Let w = 3 - t. Is w a multiple of 6?
False
Let o be -3*(51/(-9) + 1). Let b = o + 11. Is b a multiple of 19?
False
Suppose 20 = x - 50. Does 14 divide x?
True
Suppose 20 = 2*v + 2*v, 2*v = 5*r - 5. Suppose -17 = r*i - 107. Suppose i = n + 2*n. Is n a multiple of 10?
True
Let a(k) be the second derivative of -k**8/6720 - k**7/504 - k**6/240 - k**5/24 + k**4/6 - 2*k. Let r(m) be the third derivative of a(m). Does 10 divide r(-5)?
True
Let g = -41 + 111. Let i = g - 38. Suppose -13 = -5*w + i. Does 3 divide w?
True
Suppose -5*w + 0 - 4 = -3*l, -l + 3*w = 0. Does 2 divide l?
False
Let c(u) = -u**3 - 3*u**2 + 6*u + 4. Let q be c(-4). Let j be (q/10)/((-2)/10). Suppose -m + j = -2, 0 = 3*g - 5*m - 34. Does 7 divide g?
False
Let k = 3 + -5. Let g = 24 - 34. Is 8 a factor of (-82)/g + k/10?
True
Let k(g) = -g**2 + 9. Let s be k(0). Suppose -2*m + s = m. Is m*1/6*34 a multiple of 14?
False
Suppose 3*z = -339 + 111. Let f = 120 + z. Suppose 16 = 4*u - f. Does 15 divide u?
True
Suppose 5 = -2*b + 35. Is 3 a factor of b?
True
Let n(t) = -3*t - 10. Let f(d) = d**3 - 7*d**2 + 4*d + 4. Let q be f(6). Is n(q) a multiple of 7?
True
Let t(i) be the second derivative of -8*i**3/3 + i**2 - 3*i. Does 18 divide t(-3)?
False
Let z(g) = -6*g**3 + g**2 + 2. Let s be z(-2). Suppose -4*i - s = -5*i. Is i a multiple of 16?
False
Suppose 0 = -3*f - 5*i + 109, -3*f + 4*f = 2*i + 51. Is f a multiple of 7?
False
Suppose -2*i = -2*a + 142, -2*a = -i - 3*i - 294. Let n = -52 - i. Does 7 divide n?
False
Let n be ((-11)/3 + 2)*3. Let p = n - 4. Let s = p + 15. Does 2 divide s?
True
Let z = -7 + 10. Suppose 4*p + 3*q = -0*q + 405, -z*p - 5*q + 301 = 0. Suppose 6*o = 3*o + p. Does 14 divide o?
False
Suppose 80 = 4*x - 2*t, -3*x - 5*t + 2*t + 78 = 0. Suppose 2*k - 4 = x. Let m = k - -1. Does 7 divide m?
True
Does 23 divide (2 - 1)*(20 - (5 + -8))?
True
Let f(q) = 2*q**3 - 2*q**2 + q - 3. Suppose -3*a + 15 = 2*a. Is f(a) a multiple of 14?
False
Let q = 14 - 4. Is 5 a factor of q?
True
Let s(u) = u**3 + 14*u**2 + 18*u + 7. Is s(-11) a multiple of 18?
False
Let i(a) be the first derivative of a**2 + 2. Let n be i(-1). Let b(x) = 4*x**2 - 2. Is 6 a factor of b(n)?
False
Let s = -152 + 59. Let h be -6*(s/2 - 1). Is ((-2)/(-6))/(5/h) a multiple of 8?
False
Let w = -1 - -4. Let m = 2 - w. Is m/((15/42)/(-5)) a multiple of 10?
False
Let f(p) = 2*p**3 - 3*p**2 - 10*p - 2. Let s(h) = h + 1. Let n(u) = f(u) + 6*s(u). Let k be n(3). Suppose k + 6 = q. Is 15 a factor of q?
False
Let i(j) = -5*j**2 - 41*j + 18. Let u(y) = -2*y**2 - 14*y + 6. Let g(d) = -3*i(d) + 8*u(d). Is g(10) a multiple of 3?
False
Suppose p = -0*p - 5*u + 190, 4*p - 3*u = 714. Does 18 divide p?
True
Let g(y) = y**2 - 5*y - 2. Is 4 a factor of g(6)?
True
Let r(p) = -p**2 + 5*p + 3. Let q be r(4). Suppose -q*t + 130 = 5*a - 3*t, 4*t = 0. Is a a multiple of 13?
True
Let b(z) = -2*z - 6. Let a be b(-5). Suppose y - 3 = a*y - h, 6 = -2*y + 2*h. Suppose s + 4*n - 24 = y, -3*s + 2*n + 30 + 0 = 0. Is s a multiple of 7?
False
Let s = 3 - 5. Let w be s + 27*(0 + 2). Suppose -4*m = t + 3 - 9, -4*t - 2*m + w = 0. Is 7 a factor of t?
True
Let w be 9*7*2/2. Let h = w + -40. Suppose 0 = 5*g + 3*x - 63, 3*g = -x + h + 14. Is g a multiple of 12?
True
Suppose -2 - 1 = -s. Suppose 2 - 8 = -s*w. Suppose 2*m + 2*m - 5*t = 68, -2*m - w*t + 16 = 0. Is 12 a factor of m?
True
Suppose 0*b - 115 = -5*b. Let g = b - -21. Suppose -4*d + 0*d - 4*o = -g, 5*d = -4*o + 52. Is 3 a factor of d?
False
Suppose -4*k + 465 - 69 = 0. Is k a multiple of 9?
True
Suppose 0 = 3*m - 9, -3*m + 89 = h - 55. Is h a multiple of 27?
True
Let v = -2 - -5. Suppose l + s + 19 = 4*l, -v*l - 5*s = -31. Is l a multiple of 2?
False
Suppose 0 = o - 3 - 37. Does 3 divide o?
False
Let j = 19 + -15. Suppose -j*h + 2*h = -20. Is h a multiple of 10?
True
Let h(y) = y**2 - 6*y + 1. Let p be h(-5). Let a = p - 35. Suppose -a = -3*l + 12. Does 10 divide l?
False
Suppose -560 = -5*t + 5*f, t + 5*f - 20 - 116 = 0. Let z = t - 75. Let m = z - 25. Does 8 divide m?
True
Suppose -d - j + 14 = 0, 13 = d + 3*j - j. Suppose 0 = -s + d - 2. Is 4 a factor of s?
False
Let l(f) = f**3 + 7*f**2 - 15*f + 9. Is l(-8) a multiple of 9?
False
Suppose 3*b = r + 4, 4*r - 6 = b + 11. Suppose 5*w + 3*v = 3, -5 = -0*v - r*v. Suppose w = -4*c + 27 + 13. Is c a multiple of 4?
False
Let a(z) = -z**2 + 7*z + 2. Let s(r) = -2*r**2 + 13*r + 5. Let l(t) = 5*a(t) - 2*s(t). Let u(k) = 2*k - 6. Let w be u(6). Is l(w) a multiple of 12?
False
Does 12 divide ((-274 + -2)/(-3))/2?
False
Let h = 1 + 3. Is 11 a factor of 3 + (1 - h) + 21?
False
Let y = -7 + 10. Suppose y*w - 70 = -2*u, 4*u - w - 197 = -71. Is u a multiple of 32?
True
Let w = -7 + 16. Let c = 2 + w. Is 11 a factor of c?
True
Is 5 a factor of (216/16)/((-2)/(-4))?
False
Let u(l) = l**2 + 16*l + 1. Let n be u(-16). Let b(p) = -p**3 + 6*p**2 - 4*p - 1. Let s be b(5). Suppose s*w + n = 13. Does 2 divide w?
False
Suppose 4*n - 27 = -7. Suppose -q + 4*q = n*j - 114, -2*j + 4*q = -40. Is j a multiple of 13?
False
Suppose -f = 4, x + 2*f - 38 = 1. Does 8 divide x?
False
Let f(v) = 9*v + 7. Is 5 a factor of f(2)?
True
Is 8 a factor of (27 + 5)/(-2 + 16/6)?
True
Suppose -5*a - 3 - 52 = 0. Let b = a + 22. Is b a multiple of 8?
False
Suppose 0*r = -2*r + 2, -2*r = b - 7. Suppose -14 = -b*q + 146. Suppose -3*j = 2*w - j - 24, -q = -3*w + j. Is 5 a factor of w?
False
Let p = 24 + -20. Is p a multiple of 2?
True
Let g = -490 + 728. Is g a multiple of 14?
True
Suppose 0 = 2*q + 3*o + 9, -q - 12 = o + 2*o. Suppose 0 = 2*s + 2*s + m - 28, q*s - 3*m - 36 = 0. Is 4 a factor of s?
True
Suppose 2*p + 0*p = -12. Let l = 15 - 53. Is 3 a factor of l/p - (-2)/(-6)?
True
Suppose 2*v = 2 + 2. Let q = v + 0. Suppose 0 = 2*c + n - 46, 2*c - 54 = q*n - n. Is 9 a factor of c?
False
Suppose -29 = -4*m + 3*m. Does 19 divide m?
False
Let s = 11 - 5. Suppose -a + s = a + 4*u, -30 = -5*a + 5*u. Is a a multiple of 4?
False
Let h be ((-12)/16)/((-2)/24). Does 3 divide (5 + -2)*21/h?
False
Let w = -1 - -4. Let g be w*((-5)/3 + 1). Let p = g + 13. Is p a multiple of 11?
True
Let v(z) be the second derivative of z**4/12 + z**3/6 + 4*z**2 - 2*z. Let r(k) = 2*k**2 + k + 16. Let m(b) = -3*r(b) + 7*v(b). Is m(-8) a multiple of 14?
False
Is 4 a factor of 30/9*12/8?
False
Let z be 1 + 2 - (-8 - -1). Is 384/15 - 6/z a multiple of 12?
False
Let s be 3*(-3 + 0)/(-3). Suppose 3*b - 2*j + 14 = 2*j, 2*b - s*j = -11. Is 11 a factor of b/4*-33*-2?
True
Let d(j) = 4*j - j**3 + 5*j**2 - 2*j**3 - 6*j + 2*j**3. Is d(3) a multiple of 10?
False
Let y = 11 + -15. Let d(z) = z**3 + 5*z**2 + 4*z - 5. Let f be d(y). Is (-4 - f)/((-1)/(-17)) a multiple of 14?
False
Suppose 75 = -x + 6*x. Is x a multiple of 2?
False
Let g = 6 + -13. Suppose -5*y - 240 = 4*m, 4*y + 4*m + 229 - 33 = 0. Is y/g + (-6)/21 a multiple of 6?
True
Let g = -3 + -5. Let y be (g/(-2))/((-4)/(-10)). Suppose 2*r - 8 = y. Is r a multiple of 7?
False
Suppose -5*f - 5*s = 20, 0 = f - 6*s + s + 10. Does 5 divide (-8)/(-20) + (-23)/f?
True
Let f be (-20)/(-6) + (-4)/3. Suppose -5*s + 50 = -5*o + 5, -30 = -2*s - f*o. Is s a multiple of 12?
True
Is 30 a factor of 0 + -30*(-4 + 3)?
True
Suppose 2*z + 2 = 6. Suppose -t - 14 = -z*t. Let v = t - 8. Does 5 divide v?
False
Let w(x) = -283*x**3 + x**2 + 4*x + 3. Is w(-1) a multiple of 25?
False
Let n be 0/(-4) + 3 + 2. Suppose 0*y + 215 = n*y. Is 22 a factor of y?
False
Let z(s) = -s**2 + 6*s + 9. Let i be z(7). Suppose -6*q = -i*q - 152. Let v = -24 + q. Does 7 divide v?
True
Suppose 7*t + 24 = 3*t. Let r = t + 14. Is 4 a factor of r?
True
Let h be 96/44 - 2/11. Suppose h*x + 54 = -0*x. Let l = -19 - x. Is 7 a factor of l?
False
Suppose d - 62 = 5. Does 19 divide d?
False
Suppose 5*a + 2 = 347. Does 23 divide a?
True
Suppose 5*m = 5, -3*k - m - 64 + 2 = 0. Let r be (-12)/(-3)*(-17)/2. Let v = k - r. Is 10 a factor of v?
False
Let r(k) = 2*k**2 - 6. Let j(o) = -2*o**2 + 7. Let s(i) = -3*j(i