**2 - i - 1. Suppose -20 = 3*g - 8*g. Is 5 a factor of b(g)?
False
Let b = -1 + 1. Suppose 2*x - 160 = -b*x. Suppose -4*m + 0*m = -x. Does 10 divide m?
True
Let s(p) be the first derivative of p**3/3 + p**2/2 - 7*p - 1. Let r = -15 + 10. Does 13 divide s(r)?
True
Let w(d) = -24*d + 22. Let f(c) = 12*c - 11. Let h(o) = 5*f(o) + 2*w(o). Let b be h(8). Suppose -33 = -5*r + 5*x + 12, 5*r = -5*x + b. Does 5 divide r?
False
Suppose -3*m - 12 = p, p = -2*m - 8 - 0. Suppose -a + p = -3. Is a a multiple of 2?
False
Let c(x) = -x + 5. Let d be c(0). Is 10 a factor of d/(1*(-4)/(-8))?
True
Let i be (0 - 21/6)*-16. Let s = -21 + i. Is s a multiple of 16?
False
Let z(n) = 2*n**3 + n**2 - 2*n + 1. Let b be z(1). Suppose 5*d - 4 = 6. Suppose -d*r + 16 = b*r. Is r a multiple of 3?
False
Is 3 a factor of (-1)/2*-86 - (-12)/(-3)?
True
Let m(s) = -20*s + 6. Let w be m(-4). Let l = 146 - w. Does 12 divide l?
True
Let g(y) = 3*y**2 - y - 4. Let o be g(3). Let r = 6 - 9. Let x = r + o. Is x a multiple of 16?
False
Suppose -3*p + 384 = 5*n, 101 = 3*n + 4*p - 136. Is n a multiple of 24?
False
Suppose q - 5*h - 16 = 0, -3*h + 2*h = -q. Is ((-105)/14)/(2/q) a multiple of 10?
False
Suppose -3*r + 88 + 432 = 4*n, 156 = r - 3*n. Is r a multiple of 14?
True
Let j(g) = 0*g**3 + 2*g - 2 - 2*g**2 - 2*g**3 - 2. Suppose -2*y - 4 = 0, -3*y + 5*y - 11 = 5*p. Is j(p) a multiple of 8?
False
Suppose -37 = -3*x + 107. Is x a multiple of 14?
False
Suppose -76 = 5*n - 2856. Let a be n/16 + (-1)/(-4). Suppose -y + 32 = -4*d, -2*d + a = 5*y + 3*d. Is y a multiple of 6?
True
Suppose 4*k + 3*b - 1353 = 0, b + 339 = k + 2*b. Is 56 a factor of k?
True
Suppose y + 12 = 7*y. Suppose 5*t = -y*r + 63 + 47, 4*r + t = 238. Is r a multiple of 10?
True
Let k(i) = 4*i**3 - 6*i**2 - 3*i - 3. Is k(3) a multiple of 3?
True
Let j = -2 - -7. Is j*((-4 - -5) + 0) even?
False
Let u = 2 - 0. Suppose 3*o = -u*o + 305. Let v = o + -39. Is 9 a factor of v?
False
Suppose i - 12 = 12. Let b be 1/(-2)*i/(-3). Suppose -10 = -5*o, b*c - o = 4*o + 78. Is c a multiple of 17?
False
Let r be (0 - -3) + -1 + -98. Is 15 a factor of (r/(-2))/1 - 3?
True
Let m(k) = -5*k. Let o(r) = 10*r + 1. Let v(b) = 5*m(b) + 3*o(b). Let t be v(-2). Let p = t + 24. Is 6 a factor of p?
False
Let u be -2*(-3 - (-9)/(-6)). Does 13 divide 2*u/12*26?
True
Let c = 7 - 2. Suppose -c*y + 3*h + 11 = 3, -2*y + 5*h - 12 = 0. Suppose -5 = -y*m + 67. Is m a multiple of 16?
False
Suppose 2*f - 252 = -f. Is f a multiple of 21?
True
Let v = -1 - -6. Suppose v*y = j - 34, -3*y - 2*y = -2*j + 43. Does 3 divide j?
True
Suppose -3*l = -4*f + 149, 0 = -3*f - 3*l + 8 + 109. Is 8 a factor of f?
False
Suppose -6*b = -b - 25. Suppose b*z + 22 - 57 = 0. Does 7 divide z?
True
Is (-6)/9*1314/(-12) a multiple of 8?
False
Let w(d) be the second derivative of -d**3/2 - 7*d**2/2 + 4*d. Suppose 4*l + 34 = 6. Is 7 a factor of w(l)?
True
Suppose -5*x + 253 = -227. Is x a multiple of 12?
True
Suppose 0 = -2*h - h + 273. Let u = -63 + h. Suppose 4*z = 108 + u. Does 17 divide z?
True
Let p(b) = b**2 + 6*b - 16. Does 4 divide p(-9)?
False
Let c(o) = 16*o**3 - o. Let z be c(-1). Let m(h) = -h**2 - 12*h - 6. Let u be m(-11). Does 14 divide 50/z*(-42)/u?
True
Suppose u + u = -4*o + 150, -3*o = -4*u - 118. Does 10 divide o?
False
Let i be 3*(1 + (3 - 5)). Let s = i - -17. Does 14 divide s?
True
Let z be 94/14 + (-12)/(-42). Let i(w) = 16*w**2 - 40*w - 34. Let o(x) = -3*x**2 + 8*x + 7. Let d(s) = 2*i(s) + 11*o(s). Does 8 divide d(z)?
True
Suppose 5*o = -39 + 9. Let t = o - -14. Is 4 a factor of t?
True
Let c = -2 + -1. Is 12 a factor of -4 - c - 13*-1?
True
Suppose -7*d + 8 = -6*d. Suppose z - 3*s - 5 = 0, z + 4*z = 2*s + 12. Let o = d - z. Is 6 a factor of o?
True
Let a = 1 - -2. Does 2 divide a?
False
Suppose -4*x - a + 42 = a, -2*x + 1 = -3*a. Is 4 a factor of x?
True
Let s be 1/5 - 158/(-10). Suppose 16 = -4*f + 4*c, 6*c - s = 3*f + c. Does 9 divide f/4 + (-215)/(-10)?
False
Let p be (1 - 0) + 3*1. Does 16 divide (-6 + p)/(2/(-45))?
False
Suppose -9*d + 7*d = -128. Is 17 a factor of d?
False
Let d = 818 + -473. Suppose 4*k + 4*f + 109 - d = 0, 0 = k + 2*f - 58. Does 20 divide k?
True
Suppose -2*u - 14 = g - 0*g, -g - u = 11. Let h(v) = v**3 + 9*v**2 + 8*v + 12. Is 6 a factor of h(g)?
True
Let i(u) = u**2 - 6*u + 6. Let a be i(5). Is 26 - 1/(-1)*a a multiple of 11?
False
Let d = 10 - -21. Does 13 divide d?
False
Suppose -b = -4*x - 3*b - 14, -5*x - 20 = 2*b. Does 3 divide x/(-1)*20/15?
False
Let u(g) = 153*g. Let j be u(1). Suppose -j = 4*p - 61. Let a = -9 - p. Is a a multiple of 14?
True
Let b(f) = -f**3 + f**2 - 3*f + 2. Let r be b(2). Let t = -13 - r. Is 8 + 1 + 5/t a multiple of 5?
False
Let c = -3 + -8. Let x = c + 16. Is x a multiple of 3?
False
Suppose 11*z - 128 = 532. Is z a multiple of 11?
False
Let z = -62 - -122. Suppose 2*s = -2*l + 12, -3*s - 6 = l - 6*s. Suppose -l*n - 2*n = -z. Is 6 a factor of n?
True
Let g = -37 + -14. Let x = -23 - g. Is 14 a factor of x?
True
Let r be (1 - -1) + -3 + 72. Let x = -23 + r. Suppose -v - t + 30 = v, 4*v - x = t. Is 4 a factor of v?
False
Let u = -19 + 12. Let i = 0 - u. Is i a multiple of 4?
False
Let t(b) = 6 - 3*b + 18 + 2*b - 8. Let r(q) = -q**2 + 5*q - 4. Let s be r(4). Is t(s) a multiple of 11?
False
Suppose 2*o + 5*s = 76, 83 = 5*o - 3*s - 107. Suppose 0 = 5*v + 8 - o. Suppose -3*u + v = -42. Is u a multiple of 8?
True
Let a = 3 + 20. Let l = 7 + a. Is 15 a factor of l?
True
Is 34 a factor of 9/(685/335 - 2)?
False
Let s = 119 + -39. Let z be s - (1 + -2)/1. Suppose -5*g - h + z = 0, g - 2*h = 13 + 12. Does 8 divide g?
False
Let n be (-10)/(-4)*4/5. Suppose -3*w = g - 5*g + 135, 10 = -n*w. Is g a multiple of 24?
False
Suppose 0 = 2*r - 5*f - 12, -2*r + 12 = -0*r + 3*f. Is 19 a factor of (-9)/r*2 - -41?
True
Let b be (-2)/(3/6*-1). Suppose 2*c + 2*c = -2*j + 168, -b*j + 16 = 0. Does 11 divide c?
False
Suppose -5*m = 3 - 18. Suppose -r - r + 58 = 5*i, 130 = 4*r + m*i. Does 13 divide r?
False
Let i(w) = -w**3 + 16*w**2 + w + 20. Does 8 divide i(16)?
False
Suppose 3*u - u - 4 = 0. Let q(b) = 2*b**2 - b - 2. Let v be q(u). Let o = 21 + v. Does 14 divide o?
False
Suppose -2*x = 6, -2 = u - 5*x - 10. Let w = -6 + u. Let v = 11 - w. Is v a multiple of 12?
True
Suppose 3*d + y - 15 = -2*y, 5 = y. Suppose 3*p - 24 = -3*h + 18, d = -3*h + 4*p + 42. Is h a multiple of 7?
True
Let c(a) = 2*a + 32. Is c(0) a multiple of 23?
False
Let r(d) = -2*d**3 + 2*d**2 + d + 2. Is 12 a factor of r(-2)?
True
Suppose 5*b - 2*w - 64 - 1 = 0, 4*w + 53 = 3*b. Let m = -7 + b. Does 15 divide (72/30)/(m/50)?
True
Let x(p) = -7*p**2 + 12*p + 8. Let s(l) = -l**2 + l + 1. Let u(n) = 6*s(n) - x(n). Let i(d) be the first derivative of u(d). Is i(5) even?
True
Let j = 124 + -22. Is j a multiple of 17?
True
Let m(x) = x**3 - x**2 - x + 2. Let k be m(0). Suppose 0 = -k*f + f + 27. Does 20 divide f?
False
Does 36 divide 6*(-1)/(-3) - -82?
False
Let x(u) = 14*u + 5. Let j(t) = -15*t - 4. Let p(v) = -4*j(v) - 3*x(v). Let q(g) = g**3 - 2*g**2 - 3*g + 4. Let i be q(3). Is 27 a factor of p(i)?
False
Let a(i) = -i + 1. Let v be a(-4). Suppose v = -x + 10. Does 5 divide x?
True
Let z(w) = 6*w + 31. Is z(5) a multiple of 5?
False
Let d = -8 - -10. Suppose -d*t + x = t - 75, 58 = 2*t + 2*x. Does 13 divide t?
True
Suppose -45 - 11 = -u. Let v = u - 39. Is 12 a factor of v?
False
Let j(m) be the third derivative of m**5/5 + 4*m**2. Does 16 divide j(-2)?
True
Let t = 54 + -11. Does 19 divide t?
False
Let h(c) = 42*c + 9. Does 50 divide h(9)?
False
Let d(f) = -f**3 + 8*f**2 + 7*f - 13. Is 12 a factor of d(6)?
False
Let n be (-3)/6*2*-13. Let i = n + -4. Suppose b = 5*f + 1 + 6, i = b - 4*f. Is 6 a factor of b?
False
Suppose -3*j = -2*j - 5. Suppose 4*q = -0*t + j*t + 402, 2*t = 4. Is 30 a factor of q?
False
Let r be (4/2)/(12/30). Let v(h) = -2*h**2 + h + 1. Let z(f) = 2*f**2 - f - 2. Let u(n) = r*v(n) + 6*z(n). Is u(5) a multiple of 15?
False
Let z(i) = i**2 + 9*i - 13. Is 18 a factor of z(-14)?
False
Suppose a - 7 = y, -2*a + 2*y + 23 = 3*a. Suppose 24 = 3*t + a*t. Is 3 a factor of t?
False
Suppose -6*q + q = -5. Let s be 4*q/((-4)/(-2)). Suppose 15 = s*a + 3*a. Is a a multiple of 2?
False
Suppose 0 = -2*h - j - 3, 3*h + h - 3*j = 9. Suppose w + c - 39 = h, 2*w - 4*c - 2