 -4*u + 4*m + 40. Suppose -4*b + 4*z = 20, u*z = -4*b + 2*z + 4. Does 7 divide (b/1)/2 - -14?
False
Let z(u) = u + 1. Let v be z(1). Let g(l) = -2*l**2 - l**v + 7 - 1 + 4*l**2 - 3*l. Is 5 a factor of g(5)?
False
Let k(r) = -r**2 + 5*r + 4. Let a be k(5). Suppose 2*n + 0*n = a, -4*x + 22 = -n. Is x a multiple of 3?
True
Let y(n) = -n**3 + 3*n**2 + 7*n + 2. Let t be y(6). Let l = 109 + t. Is l a multiple of 6?
False
Suppose 5*o = -6*i + 2*i - 11, -3 = -3*o. Let u be (12 - -1)*(-12)/i. Suppose -u = -2*n - 9. Is n a multiple of 5?
True
Let u(i) = -i**3 + 7*i**2 + i + 8. Let o(l) = -2*l**3 + 13*l**2 + l + 17. Let c(q) = 4*o(q) - 9*u(q). Let d be 7/(-42) + 438/36. Is 16 a factor of c(d)?
True
Suppose 18262 = 25*j + 21*j. Is j a multiple of 19?
False
Does 17 divide ((-35)/(-2) + -7)*34?
True
Does 14 divide 1 + 1 + (93 - 2) + -9?
True
Suppose 0*y + y = 2*i + 12, i + 6 = 5*y. Let l(g) = g**3 + 6*g**2 + 3*g + 8. Let s be l(i). Is 3 a factor of (-18)/15*75/s?
True
Let b(t) = -t**3 + 13*t**2 - 8*t + 4. Let v be b(5). Suppose -u + 5*u + v = 0. Let q = 1 - u. Does 14 divide q?
True
Let f(v) = 1 + 4 - v + 2*v + 7. Let q be f(-12). Suppose 3*r + 9 = q, m - 4*r + 5*r - 8 = 0. Is m a multiple of 11?
True
Let g(m) = 396*m**2 + 3. Suppose 0 = 5*v + 10 - 0. Let a be g(v). Is (a/115)/((-2)/(-10)) a multiple of 23?
True
Let h(f) = -f**3 - 5*f**2 + 3*f + 2. Let x be h(-6). Let a(l) = -l**3 + 7*l**2 + 8*l - 2. Let z be a(8). Is 22 a factor of 1135/x - z/8?
False
Let k(t) = 11*t - 3. Let b(q) = 11*q - 3. Suppose 19*o - 14*o = -20. Let n(y) = o*k(y) + 3*b(y). Is 5 a factor of n(-2)?
True
Suppose -7*y = -2*y + 45. Does 16 divide 18 + 3/(y/6)?
True
Let z(p) = -p**2 - 4*p + 2. Let f be z(-4). Let k(a) = a**f - 5*a**2 + 5 + 3*a**2 + 16*a. Is k(11) a multiple of 20?
True
Let r(q) = -q**2 + 8*q. Let d be r(8). Suppose d = j + 5*c + 28, -3*j - 5*c - 15 = 39. Let h = -9 - j. Is 2 a factor of h?
True
Let x(w) = -23*w - 7. Suppose 0 = f - 14 + 16. Does 4 divide x(f)?
False
Let n(m) = 16*m**2 + 1. Suppose 0 = s + 2, 4*z + 5*s = s - 4. Let t be n(z). Let f(r) = -r**3 + 16*r**2 + 20*r - 25. Does 13 divide f(t)?
True
Let b(p) = p**3 - 7*p**2 - 12*p - 24. Let v be 144/15 - (-14)/35. Is b(v) a multiple of 12?
True
Let v(c) = -34*c**2 - 2*c - 3. Let x(r) = 69*r**2 + 5*r + 7. Let z(n) = -7*v(n) - 3*x(n). Suppose -1 = 3*l + 5*u + 7, l = u. Is z(l) a multiple of 16?
True
Let d(w) = 21*w + 5. Let p(t) = -4 + 2*t + 2*t + 5. Let g(x) = 2*d(x) - 11*p(x). Is 9 a factor of g(-5)?
True
Is 141*(-198)/81*-3 a multiple of 94?
True
Suppose -3*t = 3*t - 444. Suppose -2*m = -2*l - t, -4*m - 12 = -l - 157. Does 9 divide m?
True
Let a = -474 + 1071. Does 8 divide a?
False
Let k(j) = j**3 + 6*j**2 - 16*j - 63. Does 7 divide k(-6)?
False
Let v(a) = -15*a + 55. Is v(-6) a multiple of 10?
False
Let d(y) = -y**3 + 23*y**2 + 26*y - 46. Let b be d(24). Suppose 3*k + 170 = b*n - 94, -2*k = 4. Is n a multiple of 43?
True
Let j be (6/4)/((-3)/144). Does 14 divide j/18 + (-1 - -145)?
True
Let r be 3 + -3*2 + 3. Suppose 2*l - 3 - 7 = r. Suppose -2*b + 4*d = -b - 24, l*d + 15 = 0. Is 6 a factor of b?
True
Let i(o) = -2*o**2 - 8*o + 4. Let a be i(-4). Does 7 divide (-11)/(-4) + -3 + 169/a?
True
Suppose -22 = 11*i - 12*i. Let d = 22 - i. Suppose d = -j + 6*j - 260. Is 13 a factor of j?
True
Let y(s) = -s**2 - 5*s - 7. Let h be y(-5). Let x(p) = -p**3 - 7*p**2 - 9*p - 3. Is x(h) a multiple of 12?
True
Let p(a) = -a**2 - 4*a + 17. Let z be p(-6). Suppose -o + z*o - 244 = 0. Is o a multiple of 11?
False
Suppose 2*x - 142 = 4*z, -z - 4*x + 25 = 83. Let m = z + 51. Is m a multiple of 7?
False
Let w(a) = -56*a**2 - 3*a + 57*a**2 - 5 + 7*a. Let c be w(-4). Is c/((-3)/39*1) a multiple of 26?
False
Is ((-12)/(-2))/(-2*(-9)/1506) a multiple of 4?
False
Suppose 22*b - 9593 = 5235. Is 15 a factor of b?
False
Let h be (4 - -1 - 2) + 209. Suppose 2*g = 27 - 9. Suppose -g*v = -13*v + h. Does 23 divide v?
False
Let z = 125 - -366. Does 68 divide z?
False
Suppose 0 = 3*r + 46 + 14. Is 17 a factor of 4/r - (-642)/10?
False
Suppose -9*c + 0*c = -1890. Is 30 a factor of c?
True
Suppose 2*p = -3*d + d + 280, -4*p = 5*d - 696. Is d a multiple of 7?
False
Let x = -15 - -33. Does 2 divide (-684)/(-162) + (-4)/x?
True
Suppose -47*q - 9372 = -58*q. Is q a multiple of 33?
False
Let n(k) = -400*k + 375. Is n(-5) a multiple of 25?
True
Let f = 137 + -127. Is f a multiple of 10?
True
Let g be ((-8)/(-2))/(-2) + 12. Let p(y) = 2*y**2 - 11*y + 12. Is p(g) a multiple of 14?
False
Suppose 2*s - 3*f + 1 = 6, -s + 7 = 3*f. Suppose 0 = -s*t + m - 95, 0 = 4*t - t + 4*m + 95. Let y = -10 - t. Is 4 a factor of y?
False
Let n = 218 + 202. Does 5 divide n?
True
Does 53 divide 4 + 688 + (-1 - 2) + 0?
True
Suppose 70 = 2*a - 3*p + 2, -5*a = 5*p - 195. Suppose w + 3*j = -a, -j = 4*w - 5*j + 100. Let v = 58 + w. Does 15 divide v?
True
Does 6 divide (-16)/72 + (-789)/(-27)?
False
Is -1 + 24 + (-5 - 1) + 2 a multiple of 18?
False
Suppose 4*v - 585 = -v. Suppose 6*j - 2 = 106. Does 14 divide (-9)/j + v/2?
False
Let w(h) = -2*h + 2*h - h - 1 - h. Let j be w(-8). Suppose 0 = -3*a + 4*p + j + 30, 0 = -a + 2*p + 13. Is a a multiple of 5?
False
Suppose 0 = 2*k + 5*k - 14. Suppose 2*w - 3*o = 189, 0 = -k*w + 2*o + 25 + 165. Is 16 a factor of w?
True
Suppose 0 = k + 5, 0*m - 2*m = 2*k - 710. Does 12 divide m?
True
Let c(w) = 43*w**2 + 2*w + 2. Let y be c(-1). Suppose -y = -p - 0. Is p a multiple of 18?
False
Suppose 3*y - 16 = 7*y. Let c(q) = -3*q**2 + 5. Let t be c(y). Let d = t + 134. Is 13 a factor of d?
True
Is 10 a factor of (3 - -1372) + -3 - (4 - 2)?
True
Let n be 4/(-18) + (-1456)/252. Does 15 divide (n/(-3) - 0)/(4/314)?
False
Let o be (5/((-5)/(-2)))/(7/(-301)). Let i = 24 - o. Is 9 a factor of i?
False
Let y = 35 - 24. Let g = y - -8. Is 2 a factor of g?
False
Let l = -43 - -199. Is 26 a factor of l?
True
Suppose -2*d - 3*d + 32 = 3*v, 24 = 2*d + 4*v. Suppose 0 = t - 3*b - 23, -d*t = -4*b + b - 101. Is 13 a factor of t?
True
Let s be (-8612)/(-6) + (132/(-18) - -8). Suppose 6*v - s = -482. Does 17 divide v?
False
Suppose 4*t - 11928 = -4*g, g + 0*g - 2982 = -5*t. Suppose -d = 6*d - g. Does 48 divide d?
False
Suppose 4*s - 81 = -5. Let a be 4/14 + (-585)/63. Let m = a + s. Is 4 a factor of m?
False
Let b be 2/(-3) + 141/9. Suppose -7*k = -4*k - b. Suppose -k*o = 5*s - 66 - 79, -3*s = 4*o - 86. Is s a multiple of 10?
True
Suppose 1698 = 3*t + 738. Is 20 a factor of t?
True
Suppose -5*t + 29 = 9. Suppose p + 152 = -0*o + 2*o, 3*o = -t*p + 239. Let i = o + -2. Does 13 divide i?
False
Let t be (-3)/(-7) - (-326)/7. Is 0 + t + (5 - 2) a multiple of 10?
True
Let c be (-10)/(-15) + (-22)/6. Let l(i) = i**3 + 4*i**2 + 3*i - 2. Let o be l(c). Is 16 a factor of (o/(-4))/(4/384)?
True
Is (-2)/(-9) - 1754046/(-1134) a multiple of 8?
False
Is 662 + -2 + 6 + -1 + -6 a multiple of 7?
False
Let i(s) = -4*s + 7 - 17*s**3 + 16*s**3 - s**2 + 7*s**2. Let q be i(5). Suppose -b = -q - 66. Does 13 divide b?
True
Suppose -24 = -5*n - 3*n. Suppose 0 = 4*d + n*d - 924. Is 22 a factor of d?
True
Let i(j) = j**3 - 6*j**2 + 4*j + 2. Let u be i(4). Let m = -17 - u. Does 13 divide 0 - (-26 + 2) - m?
False
Let p(n) = 0*n - 9*n + n. Let q be p(1). Let i(y) = 2*y**2 + 12*y + 12. Does 19 divide i(q)?
False
Let a(h) = -h**3 + 6*h**2 + 8*h - 12. Is a(5) even?
False
Let u(x) = 6*x**3 - 6*x**2 + 3*x - 5. Suppose 5*o = -5*r + 35, -o - 5*r = 2*o - 29. Does 14 divide u(o)?
True
Suppose -2*z + 778 = -76. Is z a multiple of 37?
False
Let p(d) = -d**2 + 12*d - 16. Let v(n) = n**2 - 12*n + 16. Let i(o) = -4*p(o) - 3*v(o). Let t = 26 - 13. Is 9 a factor of i(t)?
False
Suppose -2*z - 8 = 3*q, -2*q - 2*z + 20 = -6*q. Let y = 9 + q. Suppose 6*a - y*a = 36. Is a a multiple of 9?
True
Suppose 5*g = 2*j - 7, -g - 3*j + 5 = 3. Is (-8 + (-436)/16)/(g/4) a multiple of 15?
False
Let w = 10 + -6. Let i be w/(-30) - (-128)/60. Does 17 divide (-442)/(-6) - i/3?
False
Let n(c) = -c**3 - 9*c**2 - 4*c - 6. Let g(s) = -2*s**3 - 19*s**2 - 8*s - 13. Let w(t) = 3*g(t) - 7*n(t). Does 9 divide w(-3)?
True
Let f(m) be the first derivative of -m**4/12 + 7*m**3/6 - m**2 + 4*m - 6. Let u(d) be the first derivative of f(d). Does 6 divide u(4)?
False
Let y(j) = j**3 - 7*j**2 + j - 22. Let o be y(10). Suppose -15*h + o = -3*h. Does 6