 - 16 = 2*x + 3*w. Is 12 a factor of x?
False
Suppose -685 = 2*j - 103. Let i = j + 195. Let l = -53 - i. Is l a multiple of 15?
False
Let p(n) be the second derivative of -8*n**3/3 - 4*n**2 - 2*n. Let i be p(-7). Suppose h = 5*h - i. Does 12 divide h?
False
Let r = 31 - 22. Is 3 a factor of r?
True
Let t(d) = -d - 4. Let s be t(-4). Suppose 2*i - 4 = -s*i. Suppose 0 = i*a - 7*a + 45. Does 9 divide a?
True
Let z(h) = 9*h**2 + 7*h + 4. Let i be z(-4). Suppose -2*u = 2*u - i. Does 13 divide u?
False
Let f(x) = x**2 + 2 + 2 - x + 2 - 2. Is f(4) a multiple of 10?
False
Let s(c) = 2*c**2 + 10*c + 27. Is 24 a factor of s(-5)?
False
Suppose 5*x - 25 = -5*o, 0 = -2*o - 4*x + 16. Suppose -o*i + 25 = 3*i. Suppose i*n + 238 = 4*z, -3*n - 65 = -z + n. Is z a multiple of 15?
False
Suppose 4*a + 10 = 5*a. Let x = -3 + a. Is 7 a factor of x?
True
Suppose 4*h - 16 = -b - 0*b, -2*b + 17 = 5*h. Suppose 355 = -5*v + 3*u + 2*u, -v + h*u - 83 = 0. Let x = -48 - v. Is x a multiple of 10?
True
Let u be 48/20 + (-9)/(-15). Let j(r) = -r**3 + 3*r**2 + 3*r + 2. Is 11 a factor of j(u)?
True
Let f = 68 - 20. Let z = -18 + f. Is z a multiple of 10?
True
Let v(k) = -2*k**3 + 3*k**2 + k. Let z(m) = m - 1. Let j be z(6). Suppose j*d + 2*x + 5 = -9, 2*d = -4*x - 12. Does 9 divide v(d)?
False
Let n(r) = 7*r**2 + 7*r - 9. Let l(s) = 3*s**2 + 3*s - 4. Let o(v) = 5*l(v) - 2*n(v). Let z = 6 - 4. Is o(z) even?
True
Let q(v) = 24*v**3 - v + 1. Let n be q(1). Let g = n + -41. Let i = g - -35. Is i a multiple of 9?
True
Let q(x) = -x**2 + 8*x - 6. Let h be q(7). Is (h + 4/4)*7 a multiple of 4?
False
Let a(p) = 6*p - 1. Let r(l) = l**3 + 9*l**2 - l - 4. Suppose -6 - 6 = 3*t - 3*k, -32 = 3*t + k. Let f be r(t). Does 21 divide a(f)?
False
Let o = 13 - 4. Is (1/(-1))/(o/(-144)) a multiple of 8?
True
Suppose -n = -c + 2*n + 2, -3*c = n - 16. Let r(q) = c + 3*q - 2 - 4 + 5. Is 22 a factor of r(6)?
True
Is 18 a factor of (20 + -19)/(2*2/784)?
False
Let u be 298/8 - (-3)/(-12). Let h = u + 25. Let o = -38 + h. Is o a multiple of 12?
True
Let b = 161 + -101. Is b a multiple of 30?
True
Let p = 63 + -38. Does 5 divide p?
True
Let q(n) = 39*n**2 - 6*n + 8. Is q(2) a multiple of 10?
False
Suppose 3*a - 13 - 53 = 0. Is 11 a factor of a?
True
Suppose -4*p + 2*k + 2 = 0, 0 = 4*p + 5*k - 19 - 4. Suppose p*b = -3*b. Suppose -5*h + 3*h + 32 = b. Is h a multiple of 8?
True
Let m = -8 - -12. Suppose -m*u + 15 = u. Is 2 - (-37 - u/(-3)) a multiple of 19?
True
Let a(d) = d**2 + 9*d - 4. Is 16 a factor of a(-13)?
True
Suppose p + 4*d = -10, -4*p + d + 2 = -9. Suppose -3*c = p*c - 105. Does 7 divide c?
True
Let i be -1 + (-116)/(1 - -1). Let t = -29 - i. Is t a multiple of 15?
True
Let i = -5 - -1. Let d = i + 1. Does 13 divide 33 + 8 + -2 + d?
False
Let h(p) = -p**3 - p**2 - p - 4. Let m be h(0). Is 2 - ((-1 - -2) + m) even?
False
Let n = 13 + -2. Suppose -4 = f - 2*z, 5*z - 13 = -f + 4. Suppose 0 = 4*g - 4*m - 28, 0 = f*g - g + 5*m + n. Does 2 divide g?
True
Let o(n) = -n**3 + 7*n**2 + 9*n + 7. Let k be o(8). Let z be (-6)/8 - 55/(-20). Suppose k = 3*g - z*g. Does 15 divide g?
True
Let w = 2 + 23. Is w a multiple of 16?
False
Suppose -5*g - 125 = -5*r, 5*g + 34 + 61 = 4*r. Is 15 a factor of r?
True
Let d(q) be the second derivative of -25*q**5/4 - q**4/6 - q**3/6 - 3*q. Let v be d(-1). Suppose 5*m = m + v. Is m a multiple of 18?
False
Let q(f) = -f**3 - 2*f**2 + 2*f - 1. Let p be q(1). Let z(t) = 4*t**2 + t - 1. Is z(p) a multiple of 6?
False
Let y be (-1)/((-2)/(-20)) - -2. Let a = -4 - y. Suppose -a*z - 1 = -5*g + 23, 3*g - 10 = -2*z. Is g a multiple of 4?
True
Let b(t) = t**2 - 5*t - 6. Let q be b(-9). Suppose 8*d = 5*d + q. Is 10 a factor of d?
True
Suppose 0 = v - 8 + 83. Let s = -33 - v. Does 21 divide 0 + s + 0/(-1)?
True
Let w be 6/(-1 - 23/(-21)). Let s = -26 + w. Let d = s + -8. Is 14 a factor of d?
False
Suppose -y - 30 = -3*y. Suppose 4*c - y - 61 = 0. Does 4 divide c?
False
Let q be 1*3/(7 - 4). Suppose -q = w - 55. Is 21 a factor of w?
False
Let i(z) = -2*z + 2. Let g be i(1). Suppose 2*a - 2*c - 36 = 0, 3*a + 3*c - c - 59 = g. Is 16 a factor of a?
False
Let f(y) = y**3 - 6*y**2 + 5*y - 10. Does 3 divide f(6)?
False
Let o(c) = -396*c. Let s be o(-1). Suppose 4*l - 3*b = 5*l + 144, 3*b = 3*l + s. Is 3 a factor of 2*(l/(-6))/5?
True
Does 3 divide ((-12)/(-9))/(16/(-9) + 2)?
True
Let m be (-7 - (1 + 0)) + -2. Let x(u) = -u**2 - 13*u + 7. Is x(m) a multiple of 10?
False
Is 15 a factor of 6/4 - 405/(-18)?
False
Let o(c) = -c**2 - 7*c + 3. Let u be o(-7). Suppose -4*b + u*g = -43, 4*g + 15 = b - 12. Is 4 a factor of b?
False
Let y = 1 + 1. Is 3 + -1 - y/(-2) a multiple of 2?
False
Suppose -7922 = -2*p - 2*v, 2*p - 2*v - 7915 = 3*v. Is ((-2)/(-5))/(18/p) a multiple of 22?
True
Let g(v) = -11*v**2 + 4*v - 3. Let p be g(2). Is (-2 + p/6)*-2 a multiple of 5?
False
Let f be (-3 - -4)/((-2)/(-12)). Suppose 0 = l + f - 55. Let v = l + -27. Is 11 a factor of v?
True
Let o(p) be the first derivative of p**4/4 - 4*p**3/3 - 7*p**2/2 + 7*p + 1. Let k be o(5). Does 7 divide (-92)/(-6) - 2/k?
False
Suppose 3*q - 6 + 3 = 2*w, 0 = q - 1. Suppose 5*a - 4*o - 78 = w, -5*a = 3*o - 2*o - 93. Does 9 divide a?
True
Let w = 47 + -32. Suppose 5*v - w = -a - 0*a, 2*a = 0. Suppose 5*t + v*n = -0*n + 98, 4*t - 84 = -n. Does 11 divide t?
True
Suppose 0*v + v - 21 = 0. Does 21 divide v?
True
Let d(v) = -2*v**3 + 2*v**2 - 1. Let t be d(2). Let q(w) = w**3 + 9*w**2 + 3. Let m be q(t). Is m/(-12) - (-130)/8 a multiple of 7?
False
Let c = -11 + 5. Let f(s) = -19*s - 3. Let y(g) = 18*g + 4. Let q(r) = c*f(r) - 5*y(r). Does 23 divide q(2)?
True
Let n(i) = 4*i - 3. Let f(g) = 31*g - 25. Let d(l) = 6*f(l) - 51*n(l). Is d(-1) a multiple of 11?
False
Let w = 5 - 3. Suppose -2*b + 35 = w*b + t, 0 = -5*t - 25. Is 10 a factor of b?
True
Let t(w) = 2*w**3 - w**2 + 3*w - 2. Suppose -2*j = 2*p - 3*j, -18 = p - 5*j. Does 16 divide t(p)?
True
Let u(v) = -v**3 - 3*v**2 + 8*v - 2. Does 2 divide u(-5)?
True
Let d(a) = 3*a + 2. Let b be d(-5). Let p(u) = -u - 11. Let g be p(b). Suppose 3*j + 42 = g*r + j, 5*j - 5 = 0. Does 14 divide r?
False
Suppose 0 = 5*s - 29 - 226. Is s a multiple of 17?
True
Suppose c = 5*m - 256, 5*m = 5*c - 159 + 399. Does 13 divide m?
True
Suppose o - 25 = 3. Is o a multiple of 7?
True
Is 25/(-2)*(-8)/5 a multiple of 10?
True
Suppose 197 = -4*m - 203. Let d = m + 140. Let x = d - 16. Is 10 a factor of x?
False
Suppose 5*m + 4*c = 8, 3*m - 5*c - 5 = 22. Suppose m*q = 1 + 103. Is 11 a factor of q?
False
Let i be ((-3)/6)/(6/(-24)). Suppose i*k - 5*t - 5 = 0, 7 = -4*k + 5*k - t. Does 10 divide k?
True
Suppose 0 = 4*g - 16, 5*f + 0*g = 5*g. Let u be (-1)/(2/f) - -1. Does 13 divide 210/8 + u/4?
True
Suppose 15*w - 19*w + 8 = 0. Does 2 divide w?
True
Suppose -5*d - 275 = -5*z, 2*z - d + 165 = 5*z. Is z a multiple of 16?
False
Let h = -4 - -7. Suppose -h*u + 12 = 3*x, 0 = -x + 2*x - u - 2. Let v(z) = z. Is 3 a factor of v(x)?
True
Is (-2 + 1)*-89 - 16/(-16) a multiple of 21?
False
Let r(p) = -p**2 + 8*p - 5. Let n be r(5). Suppose -2*o + 86 = 4*c, o + n = -o. Is 10 a factor of c?
False
Let o = 423 - 243. Does 15 divide o?
True
Suppose -5*q + 10 = 5*g - 0*q, 0 = 3*g - 5*q - 6. Suppose 1 + g = -3*b. Does 13 divide 9*((-6)/2)/b?
False
Let q(l) = 5*l + 6. Let h be q(7). Suppose -39 = -3*k + 2*p, 4*k + 2*p = p + h. Is 11 a factor of k?
True
Suppose -35 = -5*u + 10. Suppose 2*g - u = 5. Is 3 a factor of g?
False
Let o = 165 - 116. Is o a multiple of 40?
False
Let m(x) = -4*x + 3*x - 1 - 2*x. Is 7 a factor of m(-5)?
True
Suppose 5*h - 151 = -6. Let k = h + 15. Does 18 divide k?
False
Suppose 2*z + 70 = 7*z. Is 21 a factor of (-2 + -10)/((-4)/z)?
True
Let c = -4 - -1. Does 18 divide (-4)/c*(-189)/(-7)?
True
Suppose 2*b = -2*y - 0*y + 54, 0 = 3*b + 4*y - 83. Is b a multiple of 5?
True
Let m be 3 - 2*(-2)/4. Suppose 0 = 4*n + 4*c - 180, -4*n + m*c + 12 = -128. Does 20 divide n?
True
Let q be 24/32 + (-605)/(-4). Suppose 5*f - q = f. Does 13 divide f?
False
Let c = -1 - 20. Does 10 divide 140/c*18/(-4)?
True
Let s(d) be the first derivative of -d**3/3 - 4*d**2 + 6*d + 7. Let w be 4*2/10*-10. Does 4 divide s(w)?
False
Let g(x) be the first derivative of -1 - 9/2*x**2 - 1/3*x**3 - 4*x. Does 8 divide g(-5)?
True
Let y(v) = v**2 - v + 5. Le