et c(b) = 5*g(b) + 6*y(b). Is 6 a factor of c(-3)?
True
Let h(g) = -12*g**2 + 7*g - 3. Let d(b) = -13*b**2 + 8*b - 4. Let r(t) = 3*d(t) - 4*h(t). Let o be r(3). Let z = o + -15. Does 18 divide z?
True
Let g(c) = -c**2 + c - 2. Let q(n) = n**3 - 2*n**2 + 2. Let b be q(2). Let m be g(b). Does 10 divide -10*(2 + 18/m)?
False
Let r = 8 - -1. Let w be (0/2)/(-1 - 0). Suppose -r + w = -b. Is 9 a factor of b?
True
Let n(y) = 3*y**3 - 3*y**2 + 1. Let g be n(2). Let c = g - 9. Does 3 divide c?
False
Suppose -o - 2*o + 165 = 0. Is o a multiple of 30?
False
Let x(h) = h - 11. Let m be x(9). Is (m - -3)*(17 - -1) a multiple of 18?
True
Let i(f) = 2*f**2 - 7*f - 12. Is 13 a factor of i(-4)?
False
Let c = 22 - 8. Suppose 2*o = -3*j - 27, 0 = -o + 4*j + 1 + 2. Let n = o + c. Is 3 a factor of n?
False
Let f = -7 + 8. Suppose 2*u = -f + 11. Suppose 67 = u*s - 3*w, -3*w - 39 = -6*s + 3*s. Is 14 a factor of s?
True
Let j = 1 + 1. Suppose j*n = 7*n - 20. Is (-16)/(-10)*30/n a multiple of 6?
True
Let l(v) = v**2 - 10*v - 6. Let x be l(13). Let b = 69 - x. Does 18 divide b?
True
Let h be (-169)/(2 + (2 - 5)). Suppose -29 + h = 5*n. Does 14 divide n?
True
Let b be (-1)/(1/2) + 7. Suppose 0 = -b*d + 4*d - 17. Let k = d - -26. Is 9 a factor of k?
True
Let z(g) = -4*g + 1. Let u be z(-1). Let l = 0 + u. Is l a multiple of 5?
True
Let f be 16/(-12)*6/(-4). Let z be 3*(-1 + f + 0). Suppose z*p = 4*q - 107, 5*p + 69 = 5*q - 66. Is q a multiple of 16?
False
Suppose 2*w - 2 = -4*l, 3*l - 3*w + w = 5. Is 37 a factor of -2 - (l - 4 - 110)?
True
Let z(p) = p**3 - 5*p**2 + 4*p + 4. Let l be z(4). Suppose l*a - 94 = -2*j, -3*j - 5*a = -8*j + 310. Is j a multiple of 19?
True
Let b(f) = 15*f - 22. Is b(11) a multiple of 13?
True
Suppose 9*o = 92 + 358. Is o a multiple of 7?
False
Let a(s) = 5*s - 4. Let z be a(5). Suppose v - 24 = -0*v - 5*m, 2*m = -v + 12. Suppose 0 = -v*i + i + z. Is i a multiple of 7?
True
Suppose 15 = 4*m - t - 2, -9 = -3*m + 2*t. Let x(g) be the first derivative of 5*g**2/2 - 7*g - 3. Is 10 a factor of x(m)?
False
Let w be (-1)/3 + 7/3. Suppose -w*o - 2*k + 102 = 0, -3*o + 2*k = -2*o - 51. Is o a multiple of 13?
False
Suppose -2*p + 58 = -3*g, 5*p + 5*g - 78 = 42. Is p a multiple of 5?
False
Suppose 9*g + 208 = 10*g. Is 26 a factor of g?
True
Let j be -1 - -1*11*-1. Is 3 a factor of 1/(-3)*2*j?
False
Let a(b) = 73*b**3 - b + 1. Let d be a(1). Suppose -w + 5*w = -5*x + d, -48 = -3*w + 3*x. Is w a multiple of 17?
True
Suppose 0 = 10*r - 100 - 40. Is 7 a factor of r?
True
Let t = -2 - -6. Suppose -3*p + 182 = 4*u - 2*p, 0 = t*u + 2*p - 184. Suppose -b = -r - 30, -2*b - 2*r = r - u. Is 9 a factor of b?
True
Suppose 5*u - 2*c - 105 = 0, 42 = -2*u + 4*u + 2*c. Is u a multiple of 7?
True
Let j(z) = -z + 4. Let o be j(6). Let a(m) = -1 + 0*m**2 + m**2 + 2*m**2. Does 4 divide a(o)?
False
Suppose 3*b = 15, h + 5*b = 12 + 137. Is h a multiple of 31?
True
Suppose 4*a - 11 - 141 = 0. Let c = a - 17. Does 7 divide c?
True
Let c(h) = h**3 - 8*h**2 + 8*h - 1. Let m be c(7). Let u(n) = -n**2 + 4*n + 3. Let j be u(m). Does 5 divide ((-15)/j)/(3/9)?
True
Let r(c) = 58*c**2 - c - 1. Does 11 divide r(1)?
False
Let q = -60 + 76. Is q a multiple of 16?
True
Let o = 6 - -27. Is 11 a factor of o?
True
Let l(c) = 14*c**2 + 2*c + 2. Is l(-2) a multiple of 18?
True
Is 11 a factor of 39/1*2*2/4?
False
Let t = -19 + 43. Let c = t + -3. Does 15 divide c?
False
Let m(c) = -2*c - 7. Let g be m(-6). Let d be (2/3)/(g/(-15)). Is 4 a factor of (-2)/(d - (-3)/2)?
True
Let b(s) = 3*s. Let x be b(6). Let c be 800/36 - 4/x. Suppose 5*z + 2 - c = 0. Does 3 divide z?
False
Let u be (-4)/20 - 62/(-10). Is u*4/6 - 2 even?
True
Let v be 22/(-10) - 2/(-10). Let h = v - -5. Suppose -94 = -w - w - 2*b, w + h*b - 51 = 0. Does 16 divide w?
False
Let h(l) = -42 + 3*l**3 + 40 - 2*l - 2*l**3 + 9*l**2. Is 8 a factor of h(-9)?
True
Let o(g) = g + 6. Let f be 6/(-21) - 40/7. Let w be o(f). Suppose w = -3*l + 2*l + 22. Is 11 a factor of l?
True
Let d = 12 + 4. Let n be d/12*(-3)/(-1). Suppose r + 50 = z + 6, -4*r + 160 = n*z. Does 16 divide z?
False
Let c = 3 - 1. Suppose c*i + x = -65, 5*i - 3*x - x = -130. Does 12 divide ((-4)/(-5))/((-1)/i)?
True
Let v = 21 + -15. Suppose 2*c = v*c. Suppose l + 4*l - 35 = c. Is 7 a factor of l?
True
Let j(y) = 5*y**3 - 7*y**2 + 13*y - 2. Let q(l) = 9*l**3 - 14*l**2 + 25*l - 5. Let v(i) = -7*j(i) + 4*q(i). Does 3 divide v(6)?
True
Suppose 60 = 4*n - 112. Does 18 divide n?
False
Let r be -6 + 0 + -1 + 1. Is (-3)/(2*r/184) a multiple of 18?
False
Suppose b - 4 = -s - b, -3*s - b = -2. Let g(x) = 1 + 1 + s*x**2 - x**3 - 4 + 2*x + 4*x**2. Does 6 divide g(4)?
True
Suppose -5*t - r + 31 = -4*r, 0 = -4*t - r + 18. Suppose -t*q + 87 + 13 = 0. Does 11 divide q?
False
Let x(b) = b**2 - 4*b + 1. Let z be x(5). Let j(p) = -p**3 + 7*p**2 + 2*p + 2. Let o be j(z). Suppose -3*v + 8*v = o. Is v a multiple of 5?
True
Let a be -1*3 + (-5 - -10). Suppose h = -0*h - a*n + 16, -4*n + 4 = 0. Is 7 a factor of h?
True
Let u be 6 - (-4)/16*-4. Suppose u*m + 2*r = 151, -3*m - 2*r + 99 = 2*r. Is 11 a factor of m?
False
Let k = -6 + 12. Is 6 a factor of k?
True
Is 13 a factor of 8 + -6 - 24/(-2)*2?
True
Let k = -2 - 0. Let o be 1 - (k - -2 - 0). Does 10 divide 98/8 + o/(-4)?
False
Let a(k) = -k**2 - k + 52. Suppose 5*t + 4*x + 20 = 0, -2*t + 2*x + 10 = t. Let s be a(t). Suppose 4*o = -2*y + s, 0*y = 3*o + 5*y - 25. Does 15 divide o?
True
Suppose 2*f = -4*w - 170, -3*f - w = 46 + 219. Let u be 0*1/(-2) + -53. Let m = u - f. Is 18 a factor of m?
True
Let k(g) = g**3 - 4*g**2 - g - 6. Let h be k(5). Let b = -6 + h. Is 2 + (0 - 0) + b a multiple of 6?
False
Let f be (-58)/(-8) - (-17)/(-68). Suppose 18 = f*k - 5*k. Does 3 divide k?
True
Suppose 3*o + 19 = 5*p, 5*o - 23 = -p - 8. Let f(d) = 0*d - 3 - d**o - 5*d - 4*d. Is f(-6) a multiple of 8?
False
Does 15 divide -2 - (-1 - (-188)/(-2))?
False
Suppose 0*s - 15 = -s. Let g = 12 + s. Is 13 a factor of g?
False
Let w = 10 - 7. Suppose -34 - 18 = -3*v + 2*d, w*v = -4*d + 40. Does 16 divide v?
True
Let n = 2 - -5. Suppose f + c = n, 0*f + 5*c + 13 = -f. Does 12 divide f?
True
Suppose -10*z = -16*z + 402. Does 15 divide z?
False
Let v = 28 + -37. Let r be 2 - (-2 + -16 - 1). Let a = v + r. Is a a multiple of 10?
False
Suppose 2*y + 51 = z - y, -218 = -4*z + 5*y. Let l = z - 0. Let b = 96 - l. Is b a multiple of 14?
False
Let i = -18 + 63. Let v = -17 + i. Is 8 a factor of v?
False
Let v(a) = 1 + 0 + 0*a - a. Let w be v(1). Suppose o + 3*o - 96 = -2*m, w = -2*o - 2*m + 52. Is o a multiple of 11?
True
Does 25 divide 256/12*6 - (-3 + 6)?
True
Let v be 20/6*(-45)/(-6). Suppose 0 = g - v + 6. Is g a multiple of 19?
True
Suppose -2*p = -5*p + 3. Let o = 0 - p. Let l = o + 23. Is l a multiple of 8?
False
Let o(r) = 8*r - 6. Is o(3) a multiple of 8?
False
Let z(i) = i + 121. Does 11 divide z(0)?
True
Suppose -3*x + u = -4*u - 2, 3*x = 2*u + 17. Suppose -2*a - 3 + 31 = -4*o, -4*o - 3*a - 8 = 0. Let q = x + o. Is 2 a factor of q?
True
Suppose c + 0*y = 3*y + 7, -4*c = -3*y - 10. Let v be -2*((c - -1) + -3). Suppose -4*u = -v*u - 72. Is u a multiple of 17?
False
Suppose 0 = 3*z - 4*w - 460 - 584, -w - 3 = 0. Does 27 divide z?
False
Let k = -5 - -11. Let v = k - 0. Is 3 a factor of v?
True
Let y(m) = -m**3 - 2*m**3 + 5*m**2 + 3*m**3 - 2*m + 2 + m**3. Let r be -2*(10/4 + 0). Is y(r) a multiple of 6?
True
Let p(t) = 29*t + 1. Let x be 3/(-9) - 37/(-3). Let g(u) = u**3 - 11*u**2 - 13*u + 13. Let d be g(x). Does 15 divide p(d)?
True
Let j = 1 - -4. Is j a multiple of 5?
True
Suppose 5*p - p - 92 = 0. Suppose p = 5*d - 77. Does 10 divide d?
True
Let g = -8 + 86. Suppose o = -o + g. Is o a multiple of 9?
False
Let i(p) = 4*p**2 - 4*p - 1. Is 14 a factor of i(4)?
False
Let n(m) = -m - 3. Let l be n(-8). Let q(s) = 4*s. Does 4 divide q(l)?
True
Suppose p = -p - 60. Let l = p - -74. Suppose -l = -4*w - 0*w. Does 11 divide w?
True
Suppose -8*c = 438 - 2678. Is 35 a factor of c?
True
Let k(y) = 3*y + 87. Is 6 a factor of k(-7)?
True
Suppose -3*d = -2 + 11. Let o = d - -3. Suppose -i = 3*f - 24, o*f + 2*f - 19 = -i. Does 9 divide i?
True
Let t(o) = o**2 + 14*o - 3. Is 4 a factor of t(-15)?
True
Suppose d + 35 = -j, 2*d = 2*j - 2*d + 94. Let t = 99 + j. Is t a multiple of 10?
True
Let o