0. Let u(o) = -4*o + 6. Let q be u(v). Suppose 5*h + q = s, 3*s - h - 44 = -s. Is s a multiple of 5?
True
Suppose 4*l + 16 - 56 = 0. Suppose -2 = -3*u + l. Is 4 a factor of u?
True
Let k(q) = -q**3 + 8*q**2 + 3*q + 4. Let o be k(5). Suppose 3*d + 34 = o. Is d a multiple of 6?
False
Let s = 432 - 226. Does 18 divide s?
False
Let t(s) = -s - 2. Let u be t(-3). Let m be -1 - -3 - 2 - u. Is (-12)/(-1) - (m - -1) a multiple of 5?
False
Suppose 0 = -4*u - u - 3*p + 27, 4*p = u + 13. Suppose u*k = 5*k - 198. Is k a multiple of 33?
True
Let m(g) = g**3 + 8*g**2 + 6*g + 8. Let x(j) = -j - 6. Let o be x(-7). Let w = o + -8. Is 6 a factor of m(w)?
False
Let z(r) = -4*r. Let p(q) = 5*q - 3. Let w be p(2). Suppose -5*m - 13 = w. Is z(m) a multiple of 10?
False
Let f = -46 + 77. Does 11 divide f?
False
Is 3 a factor of (2 - (-8)/2) + -2?
False
Let w = -1 + 0. Let v(k) be the second derivative of -23*k**3/6 - 6*k. Is v(w) a multiple of 8?
False
Let j(a) = -a**2 - 5*a + 4. Let v be j(-5). Let x be 0/(2/1) + v. Let n = 32 - x. Does 14 divide n?
True
Is 36 a factor of ((-22)/(-5))/((-4)/(-160)) - -4?
True
Let k = 63 - 45. Does 9 divide k?
True
Suppose -4*a = 4*b - 24, -a - 15 = -5*a + 5*b. Suppose 5*q - 140 = 5*h, q - 2*q - a*h = -40. Is q a multiple of 11?
False
Suppose -h - 12 = -4*h. Suppose 4*d - 4 = 0, 110 = 3*f - h*d + 3*d. Is 12 a factor of f?
False
Let w(f) = 0 - 7*f - 1 - 2*f - 2. Suppose 0 = -y - 2. Is 15 a factor of w(y)?
True
Suppose -3*m - 4 = -3*a - 4*m, 5*m - 20 = -3*a. Suppose 3*w + w - 184 = a. Does 23 divide w?
True
Suppose -2*j + 13 = -3. Let q be j/10*10/4. Suppose 0 = 4*y - q*m - 44, -y + 0*m + m + 13 = 0. Is y a multiple of 9?
True
Suppose -3*v + 115 = 40. Does 8 divide v?
False
Let u = -34 - -86. Suppose 0 = 2*w - 3*w + u. Does 13 divide w?
True
Let u(b) = 5*b. Let j be u(9). Let y(m) = m**2 + 5*m - 1. Let d be y(-7). Let c = j - d. Is 11 a factor of c?
False
Suppose -2*i + 312 = 2*i. Does 26 divide i?
True
Let a = -2 - 2. Let b be 6/a*(-4)/(-3). Does 10 divide (-20)/(0 + (b - -1))?
True
Suppose -20 = -5*w + 6*m - m, w + 4*m = -21. Let a(b) be the second derivative of -17*b**3/6 + b**2/2 - b. Does 18 divide a(w)?
True
Suppose 0 = 3*t + h + 13, 5*t + 21 = -0*h - h. Let z = t + 9. Does 4 divide z?
False
Let c = 20 - -54. Is 6 a factor of c?
False
Suppose 0 = 3*r + 91 + 107. Let j(c) = -c - 1. Let k be j(0). Is 3 a factor of r/(-8) + k/4?
False
Suppose -2*y = -3 + 1. Suppose y - 16 = -3*p. Suppose -b - 5*o = -21, -p*b = 2*o + 2*o - 42. Is b a multiple of 6?
True
Let z(i) = i - 1. Let j(h) = -h**2 - 5*h. Let q(o) = -j(o) - 4*z(o). Let x be (3/2)/(1/2). Is q(x) a multiple of 7?
False
Let l = -44 + 74. Suppose 0*w + l = 2*w. Does 5 divide w?
True
Let l be 4/20 + 108/10. Suppose 3*j - 5*x = -l, 0 = 2*j - 5*j - x + 13. Is 3 a factor of j?
True
Suppose 2*p + 4*w - 200 = 0, 0*p + 4*w = p - 88. Is p a multiple of 8?
True
Suppose 5*u = -0*u. Suppose u = d - 4*h - 28, -2*h + 74 = 3*d - 4*h. Is 10 a factor of d?
False
Let s = 0 + 0. Suppose 5*b - 5*d = -160 + 25, 5*b + 135 = d. Let k = s - b. Does 15 divide k?
False
Let l = 9 - 4. Suppose -10 = -l*u, -3*m = -4*u - 42 - 25. Does 12 divide m?
False
Suppose -8 = -0*b - 4*b + v, 5*b - 10 = 2*v. Is 40 + (-1 - (b + 1)) a multiple of 12?
True
Let l(h) be the second derivative of 2*h**3 - h**2 + 3*h. Is l(1) a multiple of 4?
False
Let w(c) = -12*c**3 + 2*c + 1. Let i be w(-1). Suppose -6*y + i*y = 130. Is 3 a factor of y/4 + 12/8?
False
Suppose d = 2*n - 45, -4*n = -7*n + d + 69. Is n a multiple of 9?
False
Let v(t) = t**2 + 3*t - 3. Let a be v(-4). Let w be (-4)/(-20) + a/(-5). Suppose w*l - l + 26 = 3*h, 0 = -5*h + 5*l + 30. Does 6 divide h?
False
Suppose -y - 10 = 4*y. Let z(b) = -b**2 - b + 2. Let w be z(y). Suppose -5*i + 35 = -w. Is 7 a factor of i?
True
Let h = 29 - 15. Does 5 divide h?
False
Let m = 7 + -4. Suppose 3*d + 3*o + 0 = 6, -4*d - m*o + 8 = 0. Suppose 3*f - 80 = -d*f. Is f a multiple of 8?
True
Suppose p - 268 = -4*o + 214, -3*o + 2*p + 367 = 0. Is o a multiple of 6?
False
Is 39/9*3 + -4 a multiple of 9?
True
Suppose 93 - 21 = -4*l. Let f = l - -56. Does 10 divide f?
False
Suppose -5*g = -7*g + 432. Is 18 a factor of g?
True
Suppose 3*d = d + 90. Suppose 4*b - 7*b + d = 0. Does 15 divide b?
True
Suppose -j + 189 - 44 = -4*a, -2*j + 2*a + 260 = 0. Is j a multiple of 25?
True
Suppose 3*s + 314 = 3*y + 5*s, -224 = -2*y - 5*s. Is y a multiple of 5?
False
Let y(x) = x**3 + 12*x**2 + 8*x - 11. Let o(j) = -j**2 - 2*j + 2. Let n be o(2). Let p(q) = q**2 + 9*q + 7. Let b be p(n). Is y(b) a multiple of 11?
True
Suppose 3*r - 4*l = 131, -3*r + 5*l + 130 = -0*r. Is r + ((-9)/3)/1 a multiple of 10?
False
Let d(w) = -2*w - 1. Let h be d(-1). Let a be ((-38)/8)/(h/(-4)). Let q = a + 21. Does 21 divide q?
False
Let a be 38 + (0 - 2)/2. Suppose 0*f + 15 = 3*f, 2*f = -5*l - 95. Let d = a + l. Is d a multiple of 6?
False
Let i = -2 - -10. Let b be (13/(-2))/((-4)/i). Let o = -8 + b. Is 5 a factor of o?
True
Let j(w) = -w**2 + 11*w - 7. Let h = 3 - -5. Suppose 2*q + 34 = b - 3*q, 2*b - h = -2*q. Does 11 divide j(b)?
True
Let u(p) = p**3 + 8*p**2 + 5*p + 1. Let r be u(-6). Suppose -2*n - t = -42, r = 4*n + 3*t - 43. Let c = n - -16. Is c a multiple of 18?
True
Suppose -4*p + 5*c + 855 + 465 = 0, -p + 330 = -3*c. Does 15 divide p?
True
Suppose 0 = -i + 21 + 17. Is 5 a factor of i?
False
Does 24 divide (-18)/54 - (-1976)/6?
False
Let q(t) = 4*t + 2. Let w be q(4). Let k = -2 - -4. Suppose 0 = 2*o - 3*m - 20 - 11, -k*m - w = -o. Is 8 a factor of o?
True
Let q(x) = 31*x**3 + x**2 - x + 1. Is q(1) a multiple of 19?
False
Let i(w) = w**3 - 2*w + 1. Let k be i(3). Suppose -5*x - 9 = -24. Suppose o - 3*y = -11, 3*o - y + x*y = k. Is o even?
True
Let c be (-1 - -15 - -2)/1. Let j be (-12)/2*(-8)/c. Suppose -q - j*r = -32, 4 = 5*r - 21. Is q a multiple of 10?
False
Let y = 242 + -102. Does 9 divide y?
False
Suppose -4*w - 1 + 9 = 0. Suppose f + 4*m = -9 - 2, 0 = w*f - 5*m - 4. Does 14 divide 2/(-6)*f - -27?
True
Let z(v) = -6*v**3 + v**2 + v - 1. Does 21 divide z(-2)?
False
Suppose 5*m + 69 = -5*g + 234, 150 = 5*m + 2*g. Is 7 a factor of m?
True
Let v = 115 - 46. Does 23 divide v?
True
Suppose -3*w + 66 = 3*n, 0 = -w + 4*w + 4*n - 64. Suppose q + 2*d = 5*d + w, 3*q - d - 88 = 0. Is 15 a factor of q?
True
Suppose 12*g = 25*g + 117. Let f(d) = -d**3 - 3*d**2 + 6*d + 5. Let j be f(-4). Let i = j - g. Does 3 divide i?
True
Suppose 0 = 2*b + 3*v - 0 - 2, 2 = 2*b + 5*v. Suppose -2 = 4*k - f - f, -2*k + 3*f = -b. Let z = k - -10. Does 7 divide z?
False
Is 20 a factor of (-6)/33 - (-884)/22?
True
Let a(f) = -f - 5. Let h(b) = 2*b + 6. Let w(s) = 6*a(s) + 5*h(s). Let p be w(-1). Is 14 a factor of (-69)/12*p/1?
False
Let j be ((-24)/10)/((-9)/120). Let g be j/20 + 2/5. Let v(h) = h**3 - 2*h + 2. Is 6 a factor of v(g)?
True
Suppose -4*c - 7 = -47. Is c a multiple of 9?
False
Let v(u) = -u**2 + 3*u - 1. Let b be v(3). Let p(j) = 4*j**2 - 2*j - 1. Does 2 divide p(b)?
False
Let p = 220 + -331. Does 8 divide p/(-9)*6/2?
False
Suppose -681 = -6*h - 75. Does 22 divide h?
False
Let p(o) = 35*o - 1. Is 13 a factor of p(1)?
False
Let m(s) = 5*s**2 + s - 2. Is m(-3) a multiple of 10?
True
Let b(t) = -t**3 - 7*t**2 - 6*t - 6. Let c be b(-7). Suppose 4*n - c = 3*n. Does 19 divide n?
False
Let o be (9/6)/(1/2). Suppose 0 = -o*l + 6 + 6. Is 2 a factor of l?
True
Let y be 2*1/(-2) + 27. Suppose 5*g - y - 4 = 0. Suppose -2*n = -g*n + 144. Is 12 a factor of n?
True
Let l(f) = -f**3 + f - 1. Let y(n) = 6*n**3 + 4*n**2 - 12*n - 1. Let k(j) = 5*l(j) + y(j). Is k(-5) even?
True
Let b be (-6)/(-4) - (-36)/(-8). Let w = b + 14. Is 10 a factor of w?
False
Suppose 0 = -x + 2*x. Suppose x = w - 0*w - 30. Is 15 a factor of w?
True
Let a = -46 + 101. Is a a multiple of 27?
False
Let c(l) = -l**3 - 5*l**2 + 4*l - 6. Let u be c(-6). Suppose -u*x + 3*x = -15. Let v = x + 4. Is 7 a factor of v?
False
Suppose -4*o - 8 - 4 = 0, -4*l - 2*o = -346. Let m = l + -52. Is m a multiple of 18?
True
Suppose i + 1880 = 5*q, 4*q + i + i = 1504. Is q/9 - (-2)/9 a multiple of 14?
True
Suppose 4*b + 45 = 5*b. Is 9 a factor of b?
True
Let i(l) = 2*l**2 - l + 93. Does 18 divide i(0)?
False
Suppose 2*p - 2 + 6 = 0. Is 24 a factor of p/(-4) + (-188)/(-8)?
True
Suppose -14 = 5*u +