a factor of x?
True
Suppose -2*s + 5*s - 5*r = 429, 0 = -5*s - 5*r + 715. Is 13 a factor of s?
True
Let g(x) = -x**3 - 4*x**2 - x - 5. Suppose 0 = -6*s + 3*s + 48. Let o = s - 22. Is 25 a factor of g(o)?
False
Let a = 15 + 65. Does 16 divide a?
True
Let f(l) = 2*l**3 - 2*l**3 - 1 - l**3. Let x(s) = -s - 8. Let m be x(-6). Is f(m) a multiple of 6?
False
Let l be 3 - -1 - (-2 - -4). Does 38 divide (3 - l/(-3))*15?
False
Let q(o) = o**2 - 1 - 3 + 6*o**2 - o + o**3. Let y be q(-6). Does 4 divide 8/(-36) - y/(-9)?
True
Suppose 0 = -4*i, 0 = -4*x + i - 3*i + 96. Is x a multiple of 12?
True
Let q(x) be the first derivative of -x**3/3 - 7*x**2/2 - 6*x + 1. Let t be q(-5). Let y = -1 + t. Is y even?
False
Let m(v) = 4*v**2 - 1. Let p be m(-1). Suppose p*i - i = 86. Is 22 a factor of i?
False
Suppose n + s + 1 = 0, 5*n - 9 = -0*n + 2*s. Suppose 4*g + 8 = -3*p, -3*p + n + 7 = -4*g. Suppose p = 3*b - b - 56. Does 14 divide b?
True
Let s(n) = n**3 - 7*n**2 + 2*n + 1. Let p be s(7). Is ((-24)/(-20))/(1/p) a multiple of 9?
True
Suppose -107 = -5*v + 23. Let b = v - -6. Is 16 a factor of b?
True
Let i(f) = f. Let v be i(4). Suppose -v*r + 6 + 42 = 0. Is r a multiple of 7?
False
Let s(q) = q**2. Let f be s(-1). Let w be (13/(1/1))/f. Let b = w - -7. Does 9 divide b?
False
Suppose 3*o - 4 = 2*o. Suppose o*z = -0*z + 96. Is 10 a factor of z?
False
Suppose 3*t - 8 = 7. Suppose -n + 90 - t = 0. Does 22 divide n?
False
Let g be 88/(-20) + (-3)/5. Let y(n) = 4*n**3 + 3*n**2 + 4*n - 1. Let a(u) = -4*u**3 - 3*u**2 - 5*u + 1. Let c(h) = g*y(h) - 4*a(h). Does 7 divide c(-2)?
True
Let i(w) = -w**3 + 5*w**2 - 4*w + 2. Let y be i(4). Suppose 3 = y*u - 1. Suppose -3*d - 23 = -2*o + o, -4*o - u*d = -22. Is 8 a factor of o?
True
Let n(o) = -o**2 + 6*o + 3. Let u be n(6). Suppose -u*d + 30 = -33. Is 6 a factor of (-131)/(-7) + 6/d?
False
Suppose -6*s = -10*s - 5*x + 1334, 4 = -2*x. Is 21 a factor of s?
True
Let d be (3/(-2))/((-18)/24). Suppose 2*u - 56 = -d*u. Is u a multiple of 7?
True
Let h(l) be the first derivative of l**4/4 - 7*l**3/3 - 5*l - 2. Let g be h(7). Let v(k) = 2*k**2 + 5*k - 5. Is v(g) a multiple of 10?
True
Let d(n) be the second derivative of n**6/120 - n**5/10 - 4*n**3/3 + 3*n**2/2 + 2*n. Let p(m) be the first derivative of d(m). Is 16 a factor of p(7)?
False
Let u(p) = -2*p + 6. Let z(w) = w - 3. Let o(s) = 2*u(s) + 5*z(s). Let t be o(-3). Is 9 a factor of 21 - (-4)/(t/(-3))?
False
Let r(g) = -19*g**2 - g + 4. Let i(u) = 96*u**2 + 6*u - 21. Let a(j) = -4*i(j) - 21*r(j). Let h be a(2). Suppose -2*c = c - h. Is c a multiple of 18?
True
Let x(u) = u**2 + 2*u + 9. Suppose 0 = 5*k + 20, 8 = 4*m - 2*k - 0*k. Is x(m) a multiple of 9?
True
Suppose o + 4*o + 4*p = 4, o - 5*p = -5. Suppose o*v + 4*v = 0. Suppose k + 2*u - 16 = v, k - 3*k + u = -7. Does 3 divide k?
True
Let k be 35/45 + 6/27. Does 7 divide k/(-1) - (7 + -36)?
True
Is 5/((-10)/(-164)) - 2 a multiple of 17?
False
Let q = 7 + 0. Let g = 12 - q. Does 2 divide g?
False
Let j = -1 - 11. Let c be (j/(-10))/((-9)/(-30)). Let y = 32 - c. Is 14 a factor of y?
True
Suppose 4*c + 128 = i, -2*i + 2*c - 206 = -4*i. Is 30 a factor of i?
False
Suppose -3*n - 110 = -n. Let v = 5 - n. Is 16 a factor of v?
False
Let i(f) = f**3 - 9*f**2 + 7*f + 10. Let o be i(8). Suppose 6 = 4*j + o, 4*u - 9 = -5*j. Let w(r) = 5*r**3 + r. Does 6 divide w(u)?
True
Let w(a) = -a**3 - 5*a**2 + 5*a - 8. Let g be w(-6). Let v = 1 + g. Does 18 divide (22 + v + 2)*1?
False
Let f(a) = a**2 + 4. Suppose -4*o + h = 25, -o + 3*h = 10 - 1. Is 21 a factor of f(o)?
False
Suppose k - 2*u - 9 - 3 = 0, 27 = 4*k - u. Suppose -k*j + 3*j + 54 = 0. Is 7 a factor of j?
False
Let c = -5 + 8. Is (1 - 0)*c + 1 a multiple of 4?
True
Let y(v) = -v**2 + 5*v. Let c be y(-4). Let i = 9 - c. Is 12 a factor of i?
False
Let d(q) = 3*q - 6. Let n be d(7). Suppose -2*m - 11 = n. Is 7 a factor of 2 + (-2 - m)/1?
False
Let u(j) = -3*j**2 - 1. Let h be u(1). Let x(p) = p**2 + 2*p + 3. Let m be x(h). Suppose q = m + 30. Is q a multiple of 14?
False
Let w = -15 + 22. Suppose w*h - 3*h - 28 = 0. Does 7 divide h?
True
Suppose 5*y - 65 - 50 = 0. Suppose -5*a = 2*m - y - 15, m - a = 5. Let c(l) = -l**3 + 10*l**2 - 9*l + 8. Is c(m) a multiple of 5?
False
Let z be (1/1)/(4/8). Let m = -2 + z. Suppose j + g - 16 = m, 0*g = -3*g + 12. Does 12 divide j?
True
Let h be (1/(-1))/(1/(-5)). Suppose 0 = -h*j - 2*x + 214, 2*j - 5*x + x - 76 = 0. Suppose -4*r = -22 - j. Is r a multiple of 16?
True
Suppose 5*w = -0*w + 50. Suppose -w = 2*r - 38. Is 3 a factor of r?
False
Suppose -2*w + 20 = 2*i, 5*i - 4*i + 3*w = 12. Suppose 3*c = 3*y - i, -4*c - 3*y = -y + 6. Does 8 divide (20 - c) + (1 - 3)?
False
Let s = -15 + 103. Is 11 a factor of s?
True
Let k(o) = -4*o**3 - 2*o**2 - 3*o - 5. Let t(z) = 3*z**3 + z**2 + 3*z + 5. Let x(n) = 4*k(n) + 5*t(n). Let m be x(-4). Is (-2)/(-9) + 124/m a multiple of 14?
True
Does 5 divide (-3)/((-64)/52 + 1)?
False
Is -2 + (4 - 27)*-1 a multiple of 21?
True
Let u = 22 - 12. Let b = u + -4. Suppose -5*m = 2*p - b - 58, -2 = m. Is 10 a factor of p?
False
Let h(p) = 18*p - 43. Is 7 a factor of h(9)?
True
Let s(n) = 5 - 2*n - n + 2*n + 6. Let o be s(9). Suppose 3 - 7 = -o*v. Is 2 a factor of v?
True
Is 58/3 - (-8)/(-24) a multiple of 19?
True
Is 5 a factor of (-2)/((-8)/(-20))*-1?
True
Suppose 5*t - 7 = 23. Is ((-135)/t)/((-1)/2) a multiple of 15?
True
Let d(q) = 5*q + 2. Let v be d(-6). Let c = v - -16. Does 15 divide (-12 - 0)*15/c?
True
Let d = -7 + 7. Is 5 a factor of (-15)/(-3) - (-1 - d)?
False
Suppose 0*p + p - 3*x = 17, -28 = -4*p + 4*x. Let h be 7/2 + 1/p. Let u(f) = 2*f**3 - 5*f**2 - 2*f - 2. Does 19 divide u(h)?
True
Let a(n) = 8*n**2 - n. Let h be a(1). Suppose 0 = 4*b - 3*w - 123, b - 15 = -w + h. Is b a multiple of 19?
False
Let b(d) = 25*d**2 + 4*d + 2. Let y be b(-2). Let c = y + -57. Is c a multiple of 10?
False
Suppose 2 + 4 = 3*x. Suppose x*i - 45 = 27. Is 12 a factor of i?
True
Suppose -3*w + 2*d = 103, -3*w - 3*d = w + 126. Let i = -17 - w. Does 16 divide i?
True
Let o(d) be the second derivative of 4*d**3/3 + d**2/2 - 3*d. Let y be o(5). Suppose -2*i - i = a - y, 0 = 3*i - 4*a - 46. Is i a multiple of 14?
True
Suppose 3*b - 5*b + 162 = 0. Suppose 4*p + 3*q - b - 14 = 0, 4*q = -2*p + 60. Does 9 divide p?
False
Let v(a) be the first derivative of a**7/840 - a**6/60 - a**5/30 + a**4/6 - a**3/3 + 1. Let l(j) be the third derivative of v(j). Is 11 a factor of l(7)?
False
Suppose -3*q = -q - 168. Is q a multiple of 27?
False
Let p(d) = 3*d - 3. Let b be p(5). Suppose -5*s - 2 = -b. Suppose -2*l - 3*j + 70 = -0*l, j = s. Is 11 a factor of l?
False
Let u be 6 + -4 - (2 + -1). Is (7 + u + -1)/1 even?
False
Let f = 17 + 11. Suppose 3*z = 0, 4*c + 0*z = -4*z - f. Let u = -4 - c. Is 3 a factor of u?
True
Let j(g) = g**3 + 5*g**2 - 3*g + 1. Let n(u) = -u**2 + u + 1. Let f = 3 - 0. Let l be n(f). Is j(l) a multiple of 6?
False
Let i = 88 + 32. Let g = i - 28. Does 31 divide g?
False
Let h = 36 + -26. Is 9 a factor of 92/h + (-6)/30?
True
Suppose 8*i + 227 - 843 = 0. Is i a multiple of 7?
True
Suppose 0 = 4*c - 0*c. Let f = c - -1. Does 19 divide f*(19 + -2 + 2)?
True
Let g(f) = f**3 + 4*f**2 - f - 1. Let l be g(-4). Suppose 21 = -3*u + l*n + 102, -3*n = -4*u + 111. Is 15 a factor of u?
True
Suppose -5*z + 10 = 2*q, -3*z + 0*z - 3*q = -6. Suppose 40 = z*s - 6*s. Does 12 divide ((-12)/s)/((-2)/(-40))?
True
Let p be 0/(-2)*3/6. Let i be 3 - (p - 2/1). Let n = i - 0. Is n a multiple of 4?
False
Let v be (6*4/(-6))/(-2). Suppose -g - v*j = -2, -4*g - 6*j + j = -14. Is g a multiple of 6?
True
Let j = 8 + -1. Does 7 divide j?
True
Let p = 6 - -29. Is 35 a factor of p?
True
Let r(v) = -v**3 + 11*v**2 - 8*v - 2. Is 22 a factor of r(9)?
True
Suppose r = 4*o + 26, -2*r - 4*o + 23 = 7. Suppose 4*h - 3 = 17. Suppose r - h = l. Does 4 divide l?
False
Suppose -2*k = -5*u - 217, 0 = -0*k - 2*k - 2*u + 252. Is 11 a factor of k?
True
Let b(z) = -z - 1. Let a = 1 + 13. Suppose -6 - a = 5*p. Is b(p) even?
False
Let w = 104 + -64. Suppose 5*c = 3*q + 45, -5*c + w + 5 = -5*q. Suppose c = i - 3. Is 8 a factor of i?
False
Suppose -2*i + 3*i - 12 = 0. Is 3 a factor of i?
True
Let j(h) = -3*h + 5 - 4*h + 5*h. Let p be j(6). Let l = p + 11. Is 4 a factor of l?
True
Is (32/(-18)*12)