1) a multiple of 22?
False
Is 2 a factor of (-8)/(3 - (0 + 5))?
True
Let x(h) be the first derivative of 2*h**2 + 4*h - 1. Is x(4) a multiple of 10?
True
Let f(b) = -b**2 + b + 21. Let x be f(0). Suppose -x = 3*y - 9. Is y/14 - 256/(-14) a multiple of 9?
True
Let s be 3 - (2 + -3 - -2). Suppose 40 = 5*l + r, 2*r + s*r + 20 = 0. Is l a multiple of 2?
False
Let h(f) = -2*f**2 + 9*f - 13. Let y(g) = -g**2 + 9*g - 13. Let j(k) = 2*h(k) - 3*y(k). Let n be 6*1*(-9)/6. Is 13 a factor of j(n)?
True
Suppose -12 - 6 = -3*w + 4*v, 5*v = 0. Is (21 - 2) + w/2 a multiple of 8?
False
Suppose 7*u + 4*n = 2*u + 7, 11 = u + 4*n. Is (u - (0 - 0))*-17 a multiple of 6?
False
Suppose -5*z + 3*z = -130. Suppose -5*d + z + 35 = 0. Is d a multiple of 11?
False
Let u(v) = 2*v**2 - v - 3. Let q be u(4). Is q + 1 + 2/1 a multiple of 14?
True
Let g(u) = 5*u**2 - 3*u - 6. Let z be g(-4). Suppose 3*a - 127 = -n, 3*n = 5*a + z - 321. Is a a multiple of 17?
False
Suppose 2*o + 502 = 5*l, -4*o = 3*l - l - 196. Is l a multiple of 25?
True
Suppose 18 = 4*z - 30. Suppose -g = g - z. Let v = 12 - g. Does 3 divide v?
True
Suppose a + 6 = 2*c, 0*c + a = 3*c - 11. Suppose 2*v + 22 = -o - 3*v, 5*v + 10 = -5*o. Suppose 5*i - 48 = i + 2*f, i - c*f - o = 0. Is 6 a factor of i?
False
Suppose -5*v + 5*t + 70 = 0, -v - 5*t - 36 = -4*v. Does 17 divide v?
True
Let n(k) = -k**3 - 2*k**2 + 5*k - 1. Let x be n(-4). Is 10 a factor of 6*x/2 + 1?
False
Suppose 0 = 2*j + 9 - 33. Does 12 divide j?
True
Let y = 229 - 115. Does 19 divide y?
True
Suppose -4 + 2 = 2*p. Let u(b) = b**3 + b**2. Let q be u(1). Is (q - -52) + p + 1 a multiple of 18?
True
Let u = 19 - 3. Let v = 13 + u. Suppose 5 = -4*x + v. Does 6 divide x?
True
Suppose u + 2*h = 3*u + 4, 3*u = -3*h - 6. Let w be u*(10/(-4) - -1). Suppose -5*g = 4*y - g - 88, -12 = w*g. Is y a multiple of 8?
False
Let a(g) = -g**2 + 9*g + 2. Suppose 5*p - 31 = 4. Does 7 divide a(p)?
False
Suppose 0*s = -2*s - j + 54, 3*s = 3*j + 81. Let m = s + 45. Is 12 a factor of m?
True
Let y = -5 + 9. Suppose -r + 1 + 3 = -2*t, -3*r = y*t - 12. Suppose t*j = j - 35. Is 14 a factor of j?
False
Is (2 - 36/8)/((-1)/70) a multiple of 49?
False
Suppose -3*h + 10 = 2*h. Suppose 6 = 3*r, m + r = 6*r - 5. Suppose -2*z - y + 0 + 7 = 0, -25 = -h*z + m*y. Does 4 divide z?
False
Suppose 3*l - 192 = -3*f, -4*f + l = -2*f - 122. Is 11 a factor of f?
False
Suppose 0 = -0*i + 5*i. Let c(r) = r + 17. Is 17 a factor of c(i)?
True
Suppose -5*h - 3*l + 133 = 0, h + l - 27 = -0*l. Let r = 30 + h. Is r a multiple of 22?
False
Is 2/(-10) - -4*(-145)/(-25) a multiple of 7?
False
Suppose -2*s + 7*s = 0. Suppose s = -2*c + 3*c - 41. Suppose 2*h - 19 - c = 0. Is 12 a factor of h?
False
Suppose 4*v = -0*v - 5*d, v = d - 9. Let i(a) = -11*a + 101. Let j(l) = 7*l - 67. Let c(p) = v*i(p) - 8*j(p). Does 14 divide c(0)?
False
Let k = -26 + 44. Is 18 a factor of k?
True
Let k = 68 - 39. Is 7 a factor of k?
False
Suppose i - 20 - 12 = 0. Suppose 37 = 3*u - i. Is 9 a factor of u?
False
Let k(v) be the third derivative of -v**4/8 - 5*v**3/6 + 2*v**2. Does 8 divide k(-5)?
False
Let o(i) = i + 1. Let h(v) = -v - 4. Let u(d) = -h(d) - 2*o(d). Let l be u(-7). Does 8 divide l/12 - (-122)/8?
True
Suppose -3*q + 10 = -q. Suppose 0 = q*n + 20, 4*s + n = 320 + 908. Is (-8)/36 - s/(-9) a multiple of 17?
True
Suppose 3*g - 2*t + 97 = 3*t, -55 = g + 4*t. Let y be 2 + (-1)/((-1)/g). Let j = 52 + y. Is 13 a factor of j?
False
Suppose 2*v - 258 = -78. Is v a multiple of 15?
True
Suppose -5*o = -3*g - 66, -g = 3*o - 4*g - 42. Let i be (4/12)/(2/o). Is (-3)/i*16/(-3) a multiple of 4?
True
Let r(p) = -p**2 - 10*p - 7. Let a(y) = 6*y**3 - y**2 + y + 1. Let b be a(-1). Is r(b) a multiple of 7?
True
Let l = -3 + 1. Let v be (l + (-24)/(-9))*-6. Is 7 a factor of (-70)/v + (-2)/4?
False
Let m(l) = -l + 9. Let y be m(0). Let r(d) = d**2 - 3*d - 10. Is 27 a factor of r(y)?
False
Let t be 2*-1 - (-7 - -2). Suppose 0 = -w - 2*f + 2, t*w - 2*f - 62 = -24. Is w a multiple of 3?
False
Is 197/2 - (-15)/10 a multiple of 6?
False
Suppose 3*y - 1 = -2*l + 19, 2*l = -5*y + 20. Does 5 divide l?
True
Let r(k) = -k**3 - k**2 - 5*k + 9. Is 3 a factor of r(0)?
True
Let m(w) = 75*w + 3. Let q be m(9). Suppose 5*l + q = -3*a + 7*a, 3*a = -5*l + 526. Does 12 divide (-6)/9 + a/6?
False
Suppose 2*u = 4*w - 26, -5*w + 0*u = 2*u - 10. Suppose -3*r + 4 + 139 = -b, -w = 2*b. Is r a multiple of 12?
False
Let h = 31 + -15. Is 3 a factor of h?
False
Let v be (21 - 1)*(11 + 0). Let f = v - 100. Suppose 5*g - f = -0*g. Is g a multiple of 12?
True
Let m(f) = 2*f**2 - 17*f - 14. Is 40 a factor of m(15)?
False
Suppose 4*n = -0*n - 60. Let m be ((-10)/(-6))/((-5)/n). Suppose -52 = y - m*y. Does 6 divide y?
False
Suppose -4*o - 282 = -2*s, -3*o = 2*s - 5*o - 274. Is 25 a factor of s?
False
Let a be ((-90)/(-8))/((-1)/(-4)). Suppose -a = 4*r - 7*r. Is 15 a factor of r?
True
Let y be (-4)/((-16)/12) + -71. Is 6 a factor of y/(-5) - (-9)/(-15)?
False
Let n = 74 - 34. Suppose 0 = x - 5*i - n, 2 + 1 = -3*i. Is 9 a factor of x?
False
Let g(p) = -3*p - 1. Let d be g(-4). Let t = 27 - d. Is 8 a factor of t?
True
Let q(c) = -2*c + 1. Let w be q(-2). Suppose -3*g = -w*t + 17, -2*g - 18 = -5*t - 0*g. Is (20/t)/((-1)/(-6)) a multiple of 16?
False
Suppose -5*i = -25 - 5. Does 6 divide i?
True
Suppose -2*l - 8 = -q - q, 5*l = -q + 4. Suppose -1 = 3*g + 8, 3*w + 3*g - 15 = l. Suppose 5*v - 6*v + w = 0. Does 5 divide v?
False
Let q = -2 - -25. Does 17 divide q?
False
Let t(b) = -b**3 - 2*b**2 - b - 2. Let i be t(-2). Suppose -3*h + 0*h + 12 = i. Suppose 2*p = -h*q - 18 + 110, -q = -3*p - 16. Does 11 divide q?
True
Suppose 0 = -m - 1, 10*b - 5*b = -2*m + 8. Does 6 divide ((-30)/(-35))/(b/14)?
True
Let u(l) = 31*l**2 + 5*l - 4. Is u(2) a multiple of 23?
False
Let u = -28 - -106. Does 17 divide u?
False
Suppose 36 + 72 = 9*y. Is y even?
True
Let h(u) be the third derivative of u**5/60 - 3*u**4/8 + 5*u**3/3 - 2*u**2. Let i be h(7). Let t = i - -18. Is t a multiple of 14?
True
Let f(t) = 4*t - 4. Is 10 a factor of f(4)?
False
Let z(v) = v**2 - 6*v + 7. Let h be z(-7). Suppose 3*t - 19 = -3*i + h, 0 = -3*t - i + 127. Does 22 divide t?
True
Suppose -b = 2*l - 6, 12 - 30 = -3*b - 4*l. Suppose 0 = -4*r + b + 6. Suppose -29 = -4*d + r. Does 4 divide d?
True
Let y = -24 + 41. Let m(z) = 3*z + y + z - 3*z. Is 8 a factor of m(-9)?
True
Suppose c = -s + 34, -5*s + c = -69 - 77. Suppose -125 = -5*n + s. Is n a multiple of 17?
False
Let u = -2 - -72. Is u a multiple of 10?
True
Let q(g) be the third derivative of -g**6/120 - 4*g**5/15 - g**4/8 + 2*g**3/3 - g**2. Does 18 divide q(-16)?
False
Let g = -54 - -146. Is g a multiple of 21?
False
Let i(m) = 5*m**2 - 5*m + 3. Let t be i(3). Suppose -4*w + 3*w + t = 0. Suppose 4*o - w = j, -5*o + 2*j + 46 = 7. Does 4 divide o?
False
Suppose 3*f - 95 = -2*c, c + f + 11 = 56. Does 4 divide c?
True
Is 14 a factor of 52/6*3 - -2?
True
Let b = -6 - -3. Let w(m) be the second derivative of -7*m**3/6 - 3*m**2/2 + m. Is w(b) a multiple of 9?
True
Suppose -4*w + 4*b + 192 = 24, -98 = -2*w - 5*b. Does 22 divide w?
True
Let f = 30 - 14. Suppose -4*k + f = -0. Suppose -4 = -2*v - k*u, -2*u = 2*v - 14 - 0. Is 6 a factor of v?
True
Let n(a) = 2*a**2 + a + 3. Let c be n(-3). Suppose -2*t + 8 = 3*m, 2*m = t + 4*t + c. Is m a multiple of 3?
False
Let i = 5 + -47. Suppose -3*m - 5*x + x + 2 = 0, 2*x = -8. Is 3 a factor of ((-4)/m)/(7/i)?
False
Is -1*19/(-2)*2 a multiple of 19?
True
Suppose -5*l - 2*r - 4 = 0, -l = -6*l - 3*r - 6. Suppose l = 4*z + z - 2*x - 236, 3*z = 3*x + 147. Is z a multiple of 14?
False
Suppose -27 - 17 = -v. Suppose 5*q = -3*b + b + 491, 3*q = -b + 295. Suppose u - 3*l = -4*u + q, -2*u - l = -v. Is 7 a factor of u?
True
Let v = 3 + -1. Suppose 0 = -4*j + v*j + 6. Is 3 a factor of j?
True
Suppose -1 = -h + 3, 4*z + 32 = -2*h. Let j = 10 + z. Suppose 5*m = 4*x - 2 - 62, -3*m - 12 = j. Is 3 a factor of x?
False
Suppose -69 = -z + 51. Does 21 divide -1 - 13/((-52)/z)?
False
Let i(g) = g**2 - 2. Let c = -4 + 1. Does 7 divide i(c)?
True
Let v(s) = -s**2 + 9*s + 2. Let d(y) = -3*y - y + y + y**2 + 2. Let z be d(4). Is v(z) a multiple of 7?
False
Let q(f) = -11*f + 4. Let k(h) = -6*h + 2. Let w(i) = 13*k(i) - 6*q(i). Does 13 divide w(-2)?
True
Does 19 di