 - 4 = 0. Suppose -p + g*p - 70 = 0. Is 8 a factor of p?
False
Let i(c) = c**2. Let q be i(0). Suppose q = -5*n - 2*j + 22, j - 7 - 13 = -4*n. Is n a multiple of 3?
True
Suppose 0 = -s - 2*s. Suppose -u = -s*u - 12. Does 12 divide u?
True
Let b(n) = -n**2 + 6*n + 2. Let j be b(5). Suppose -2*k - 5 + 11 = 0. Suppose -k*a + 40 = 2*i - j*a, -i = -5*a - 35. Is i a multiple of 10?
True
Suppose -2*r - 5*n = -263, 4*r - 5*n - 313 = 2*r. Is r a multiple of 12?
True
Suppose -51 = -2*r + 37. Let n = 110 - r. Is n a multiple of 20?
False
Suppose 5*h - 28 = 17. Let l = h - 4. Does 2 divide l?
False
Let h be (-3)/((27/(-6))/3). Suppose h*c - 19 - 5 = 0. Does 12 divide c?
True
Let u be ((-12)/8)/((-1)/38). Let c = 85 - u. Is 14 a factor of c?
True
Suppose 4 = 4*f - 2*f. Suppose v + 19 = f*v. Is v a multiple of 11?
False
Let z(s) be the first derivative of 4 + 1/2*s**2 + 7*s. Is z(9) a multiple of 11?
False
Let o = 43 + -21. Suppose k - 2*j = 2*j + o, 0 = 2*k - 5*j - 32. Is k a multiple of 5?
False
Is (-1)/(-3)*119*3 a multiple of 37?
False
Suppose 8*g - 5*g = 84. Is g a multiple of 10?
False
Suppose -5*v = w - 874, -2*w = -2*v + 439 - 99. Is 29 a factor of v?
True
Let z be (4/(-5))/((-8)/60). Suppose -k = -z*k. Suppose 2*f - f - 19 = k. Is 14 a factor of f?
False
Let z(x) = -x**3 - 6*x**2 + 7*x. Let d be z(-7). Suppose 3*t + 2 = -p - d, -2*p = 10. Does 13 divide ((-78)/4)/(t/(-2))?
True
Let n = 2 - 0. Suppose -n*d - 2*o - 4 = -26, -5*d = o - 39. Is d a multiple of 2?
False
Let s(b) = -59*b**3 - b**2 + b. Let o be s(1). Let k = o + 89. Does 10 divide k?
True
Let w be (-6)/(-1) - (-4)/(-2). Does 21 divide 21/(-4)*(-8 + w)?
True
Suppose 2*o + 4*a = 9 + 19, 4 = 2*o - 2*a. Does 5 divide o?
False
Let w(g) = g**3 + g - 2. Let s be w(0). Let h(r) = -7*r - 4. Is h(s) a multiple of 10?
True
Let g(r) = 5*r - 13. Is g(5) a multiple of 12?
True
Let s(t) = -5*t - 6. Suppose 0*w + 12 = -3*w. Is s(w) a multiple of 5?
False
Let z be -21 + 1*(-2 - 0). Let y(n) = 5*n + 1. Let r be y(-3). Let i = r - z. Is 9 a factor of i?
True
Suppose -3 = -3*q - 6. Let x be (-2 - q)*7/(-1). Does 4 divide (12/14)/(1/x)?
False
Suppose -2*s + 98 = -3*b, 2*s - 2*b - 96 = -0*s. Does 16 divide s?
False
Let p be (-304)/(-10) + 2/(-5). Suppose 10 + p = -5*n. Let c(l) = l**2 + 5*l - 6. Is 18 a factor of c(n)?
True
Let i(c) = -4*c**2 + 0 + 2*c**3 + 9 - 6*c + c - c**3. Let v be i(6). Let f = v - 19. Is 16 a factor of f?
True
Suppose 15 = -2*h - 5. Does 9 divide (75/h)/((-9)/30)?
False
Is 10 a factor of (285/18 - (0 - -1))*6?
False
Let p = 3 - 2. Let i be (6/9)/(p/3). Suppose 7 = -i*n + 51. Is 11 a factor of n?
True
Let q(i) = 0 + 2*i - 3 + 17*i**3 + 2. Is 6 a factor of q(1)?
True
Suppose -5*p + 3*b + 10 = 4*b, 0 = 4*p + 4*b - 24. Let g = -4 - p. Let m(v) = -2*v + 6. Does 8 divide m(g)?
True
Suppose 5*i + 138 - 513 = 0. Does 25 divide i?
True
Suppose 4*a = 0, -4*a - 15 = 4*m - 103. Is 7 a factor of m?
False
Suppose 2*v = -2*w - 3*w + 48, 3*w - 4*v - 8 = 0. Suppose 33 = 5*x + 2*f + 7, w = -x + 4*f. Suppose -x*s + 41 = -51. Is s a multiple of 11?
False
Suppose 0 = y + 1, -x - 5*y - 5 = 2*x. Suppose 2*r - 27 = -5*l, -4*l + 0*l + 4 = x. Is 5 a factor of r?
False
Let z(l) be the first derivative of l**5/60 - l**4/24 + 2*l**3/3 + l**2/2 + 1. Let p(n) be the second derivative of z(n). Is 6 a factor of p(4)?
False
Let g = -8 - -10. Suppose 0 = 4*p - 5*b - 120, -5*p + 0*p - g*b = -150. Is 15 a factor of p?
True
Is (-9)/(-27) - (-71)/3 a multiple of 6?
True
Let j = -1 - -3. Let i(q) = 4*q**2 + 6*q - 6. Let a be i(3). Suppose a - j = 2*r. Does 16 divide r?
False
Suppose 66 = v + 5*i - 2*i, 2*v = 3*i + 159. Is v a multiple of 8?
False
Let x(r) = -26*r + 2. Let f be x(2). Is 6 a factor of (60/f)/(3/(-20))?
False
Suppose -5*c + 2*o - 28 = -0*o, 3*o = 12. Is 14 a factor of 2/c*(-2 + -96)?
False
Let b(w) = w + 1. Let d be b(-1). Suppose d*f + 64 = 4*f. Is 8 a factor of f?
True
Suppose 5*r + 5*y = 35, 0 = 4*r - r - y - 1. Suppose 4*q - 27 = -5*x, -r*x = -4*q + 2*x. Is 3 a factor of q?
True
Suppose -w = -4*p - 2*w + 14, p = -2*w. Suppose f + 18 = p*f. Is f a multiple of 6?
True
Suppose z - 7 = 9. Suppose 3*i + i - 8 = 0. Suppose 0*q + z = i*q. Does 8 divide q?
True
Let m = 0 - -2. Suppose -s - m = -20. Let c = 34 - s. Is 16 a factor of c?
True
Suppose -50*g = -51*g + 42. Is g a multiple of 14?
True
Let b be (-936)/(-7) + 8/28. Let u(h) = -h**2 + 8*h - 8. Let k be u(6). Suppose k*s - b = 3*c, 5*s - 2*c - 120 - 51 = 0. Is 18 a factor of s?
False
Let k be -1 - (-12)/3 - -1. Suppose 3*j - 78 - 57 = 0. Suppose -o = -k*u - j, -5*o - u = -o - 112. Does 18 divide o?
False
Suppose 0*v - 3*v = 5*p - 5, -3*p + 7 = v. Is p a multiple of 3?
False
Is 14 a factor of (16 - 1)*81/45?
False
Let r(b) = b**3 - 2*b**2 - 5*b + 3. Let p be r(4). Let l = p - -9. Is 7 a factor of l?
False
Let s(m) = -m**2 - m. Let o(r) = r**2 + r. Let i(j) = -3*o(j) - 4*s(j). Let w be i(-4). Let a = w + -7. Does 4 divide a?
False
Is -3 - ((0 - 75) + 0) a multiple of 16?
False
Suppose 5*d - 73 - 312 = 0. Let q(t) = -t + 54. Let k be q(0). Suppose -3*n + k = 4*z - z, -4*n = -z - d. Is 11 a factor of n?
False
Let o = -45 + 225. Is o a multiple of 36?
True
Is (6/(-18))/((-2)/234) a multiple of 13?
True
Suppose -3*a + 32 = a. Does 8 divide a?
True
Let a = -12 - -22. Let g(m) = -6*m**2 + 2 - 3*m**2 + a*m**2 - 3*m. Is 21 a factor of g(-5)?
True
Suppose 0*o = o - 3. Suppose 2*g - g = 4*l + 20, l - 8 = -o*g. Suppose -6*p - 155 = -5*i - p, -g*p = 4*i - 156. Is 16 a factor of i?
False
Suppose -4*t + 4*p - 7 = -31, -5*p = -25. Is t a multiple of 4?
False
Let x(u) = u**3 - 8*u**2 - 10*u + 11. Let b be x(9). Let a = 6 - b. Does 2 divide a?
True
Let h be (8/6)/((-8)/(-12)). Is 6 a factor of h*(-3)/6 + 7?
True
Let b = -159 - -87. Let a = -40 - b. Is a a multiple of 12?
False
Let n = 13 - 4. Let v = 36 - n. Is 24 a factor of v?
False
Suppose k - 26 = u, -2*k + 3*u = -5*k + 84. Does 9 divide k?
True
Suppose -2*z = -0*z. Let f(m) be the first derivative of m**4/4 - m**3/3 + m**2/2 + 5*m - 3. Does 3 divide f(z)?
False
Let u be -111*1/3*-1. Let n = u - 23. Is 9 a factor of n?
False
Let l = 16 - 16. Suppose 2*h = -l + 34. Does 14 divide h?
False
Let g(n) = -n + 7. Let w be g(6). Let i(x) = 67*x**2 + 9*x - 7. Let s(l) = 33*l**2 + 5*l - 4. Let u(t) = 4*i(t) - 7*s(t). Does 13 divide u(w)?
False
Let o = 59 - 23. Let l be o/(-6)*22/6. Let v = 64 + l. Is 15 a factor of v?
False
Let x = 8 - 5. Is x even?
False
Does 28 divide -7*((-180)/7)/2?
False
Suppose -3*d + 167 - 65 = 0. Suppose -d = -4*l - 10. Is l a multiple of 3?
True
Let x(n) = n + 4. Let o be x(0). Suppose -o*v - 218 = 5*b, -v + 0*v + 95 = -2*b. Is 4/((-8)/b) + 1 a multiple of 24?
True
Let i = 2 - 3. Is 8 a factor of 44/((-1)/(-1) - i)?
False
Let u(f) = -8*f + 1. Let o(j) = j**2 - 4*j + 2. Let t be o(3). Let q be u(t). Let m = 20 - q. Is 6 a factor of m?
False
Let l be 48/(-21) - (-2)/7. Let f(m) = -7*m**3 + m**2 + m + 1. Let g be f(l). Suppose -g - 6 = -5*v. Is 13 a factor of v?
True
Let u(z) = -z**2 + 10*z + 16. Let y be u(11). Let x = 111 - y. Suppose 50 = 3*m + r + 4*r, x = 5*m - 3*r. Does 10 divide m?
True
Suppose 3*s + y + 6 = 0, 19 = 5*y + 4. Let r = 9 + s. Is 6 a factor of r?
True
Let c = -5 - -11. Suppose 3*f = k + 6 + 4, 3*k = -3*f - c. Suppose 3*t - f*m - 27 = 25, -2*t = -4*m - 48. Does 11 divide t?
False
Let p(l) = l - 13. Let y be p(10). Does 33 divide ((-1)/y)/((-2)/(-198))?
True
Let h = 10 + 35. Is h a multiple of 40?
False
Let y(q) = 2*q**3 - 96. Let u(i) = -i**3 + 48. Let r(d) = 13*u(d) + 6*y(d). Suppose -5*j = -3*j. Is 16 a factor of r(j)?
True
Suppose -2*b - 82 = -2*t, 166 = 4*t - 4*b + b. Is t a multiple of 9?
False
Suppose 82 = -5*d + 232. Is d a multiple of 15?
True
Let g(o) = o + 4. Let s be (1 - (1 - 0))/1. Let f be g(s). Suppose y - 62 = l - f*l, 2*y = 3*l + 88. Does 21 divide y?
False
Let a(z) = -z**3 - 3*z**2 + z + 4. Let x be a(-3). Let h = x + 25. Is 15 a factor of h?
False
Suppose -5*r = -2*r - 69. Is 9 a factor of r?
False
Suppose -5*f = -0*f - 3*o - 118, -o = -f + 24. Let d = f + -7. Does 4 divide d?
True
Suppose 0 = -5*g + 5 + 5. Let p be -2 - ((59 - 1) + g). Let n = -30 - p. Does 15 divide n?
False
Let j(v) be the third derivative of v**6/45 + v**5/40 + v**4/12 + v**3/3 + 3*v**2. Let s(u) be 