, 3*a - a - 96 = 2*z. Is a a multiple of 26?
False
Let x = 18 - 28. Let i = x - -14. Suppose i = c - 2. Does 4 divide c?
False
Suppose -3*l - 3*x - 12 = 0, 0 = -0*l - 4*l + 3*x - 37. Does 7 divide (-4 + 3 + -3)*l?
True
Does 35 divide (-4)/(-12)*111 + -2?
True
Let b(j) = j**2 - 1. Let n be b(1). Suppose -2*t + 10 + n = 0. Suppose 0 = -2*m + 8, t*a + 3*m + 14 - 41 = 0. Does 2 divide a?
False
Let d(y) = -4*y**2 + 6*y + 1. Let l(s) = s**2 - s. Let f(x) = -d(x) - 5*l(x). Let g(p) = -3*p**2 + 4*p - 1. Let j(a) = -2*f(a) + g(a). Is 10 a factor of j(3)?
True
Let p be 2/4 - (-6)/4. Let l(m) = -10 - 3*m**2 + 2 + m**p - 3*m - 5*m**2 - m**3. Does 13 divide l(-7)?
True
Let o = -3 + 23. Is 10 a factor of o?
True
Let s = -15 + 21. Suppose 0 = q - s*q + 25. Does 2 divide q?
False
Let i be 2 - 0 - 5 - -11. Let z = i - -3. Suppose -13 - z = -4*o. Is 6 a factor of o?
True
Let f = 4 - -1. Suppose -3*w + f = -88. Suppose 0 = j - 5*r + 10, -w = -5*j - 5*r + 3*r. Is j a multiple of 2?
False
Let n = -6 + 9. Suppose n*a = a + 4. Suppose -2*j - 3 = h - 2, 4*h - a*j - 26 = 0. Is h even?
False
Suppose -4*p = 3*z - 45, 3*z = -2*p + 73 - 22. Suppose -z = -n + t, -t - 2*t = 5*n - 95. Does 7 divide n?
False
Suppose 4*m = 115 + 173. Does 36 divide m?
True
Let i(z) = -z**3 - 5*z**2 + 2*z. Let r be i(-4). Let g = 12 + r. Does 5 divide ((-40)/g)/(2/6)?
True
Let p(l) = l**2 - 3*l - 6. Does 5 divide p(7)?
False
Let q = 37 - 21. Is q a multiple of 8?
True
Let w(u) = u**3 + 7*u**2 - 9*u + 1. Is w(-8) a multiple of 2?
False
Let b(w) = 2*w**2 - w**3 + w - 6 + 9*w**2 + 17. Is b(11) a multiple of 6?
False
Let x = -3 + 5. Suppose v - 20 = 3*u, x*v + 0 = -u + 5. Let h(c) = c**2 - 3*c. Is 9 a factor of h(v)?
False
Suppose 5*p - 758 = -3*y, 0 = -2*p - 8*y + 3*y + 307. Is p a multiple of 5?
False
Suppose 2*t = 2 + 4. Is 3 a factor of (1/(-2))/(t/(-42))?
False
Let p = -35 + 49. Is p a multiple of 14?
True
Suppose 7*j = 6*j + 12. Suppose -4*m = -j - 52. Is m a multiple of 12?
False
Let s(d) = -13*d + 5. Let g be s(-5). Suppose 3*y - 181 + g = 0. Is y a multiple of 15?
False
Let r(f) = -24*f + 2. Let y be r(-3). Suppose -y = -3*t + 1. Does 12 divide t?
False
Suppose -3*n - 4*w = -314, -n + 6*w + 126 = 2*w. Is 10 a factor of n?
True
Is 12 a factor of 1/(3 + 146/(-49))?
False
Suppose 5*a + 102 = s + 28, 58 = -5*a - 3*s. Let r = 6 + a. Does 9 divide (1 + 0)/(r/(-72))?
True
Let x(d) = -3*d**2 - d + 21. Is 13 a factor of x(0)?
False
Suppose o + 5*n = 67, -5*o + n = 4*n - 225. Let a be 6*1 - (6 - 3). Suppose 0 = -4*q + 5*m + 7, -q + o = a*q + 2*m. Is 4 a factor of q?
True
Let u(v) = v**3 + 18*v**2 - 21*v + 28. Is u(-19) a multiple of 22?
True
Suppose 77 = 5*u - 63. Suppose -4*w + u + 44 = 0. Does 9 divide w?
True
Let s(h) = 19*h**2 - h - 1. Is s(1) a multiple of 17?
True
Let v(r) be the first derivative of -r**3/3 - 3*r**2 - 4*r - 3. Let z be v(-6). Is z/(-3)*(-2 + 20) a multiple of 12?
True
Let p(y) = -y + 0*y + y**2 - 45 + 48. Is 9 a factor of p(-4)?
False
Let a = -7 + 10. Suppose -3*c - 3*w + 63 = 0, -a*w + 92 = 5*c - 11. Is 10 a factor of c?
True
Let x(n) = 3*n - 8. Let w be x(6). Does 20 divide (-20)/(-8)*344/w?
False
Let h be 3/(3 + 16/(-5)). Let l = h - -44. Is l a multiple of 19?
False
Let g(h) = -4*h**3 - 2*h**2 + 3*h + 1. Let o be g(3). Does 14 divide o/(-2) + 14/(-7)?
True
Let j = -3 - -27. Does 12 divide j?
True
Let y(b) = -b**3 + 7*b**2 - 3*b. Suppose 9 - 1 = 2*f - 2*h, 2*h + 17 = 5*f. Is 13 a factor of y(f)?
False
Let n(d) = -15*d + 49. Is n(-16) a multiple of 22?
False
Suppose m + 2*h - 15 = 5*h, 4*h + 20 = 0. Let p = 24 - 10. Suppose c = 2*j - 30, -2*j - 3*c + 0*c + p = m. Does 13 divide j?
True
Let y(m) = -3*m**3 + 12*m**2 - 5*m - 14. Let k(i) = -i**3 + 4*i**2 - 2*i - 5. Let z(h) = -11*k(h) + 4*y(h). Let b be z(4). Is 6 a factor of b + 1 + -2*1?
True
Let z(o) = o + 20. Does 3 divide z(-10)?
False
Suppose 0*a = -5*a + 770. Is a a multiple of 11?
True
Let w = 1 - -2. Suppose -p + 2 = -w. Suppose -2*r = -6*r + p*j + 4, 5*r - 2*j - 22 = 0. Is 3 a factor of r?
True
Suppose -117 = t - 4*t. Does 13 divide t?
True
Suppose 0 = o + 5, o - 136 = -3*d + 165. Does 17 divide d?
True
Suppose -4*g - 1 = -q, 0*q + 5*g - 13 = 2*q. Let b = 38 + q. Is b a multiple of 7?
False
Suppose 0*r - 10 = -2*r. Suppose r*q - 69 = 6. Is 15 a factor of q?
True
Let t be -2 + -1 + 1 + 2. Suppose -4*f + j + 15 = t, -2*j = -3*f - 5*j. Suppose 0 = -f*b + 4*x - x + 144, -60 = -b - 5*x. Is b a multiple of 18?
False
Let t be 1/((-1)/(-18)*-2). Let i be (-1 - 0)*(-1 - t). Does 7 divide ((-14)/i)/(1/12)?
True
Let u(x) = x**2 + 0 + 3 - 3*x - 7. Let i(m) = -4*m - 47. Let j be i(-11). Is u(j) a multiple of 7?
True
Let d(z) = -z**3 - 8*z**2 - 11*z - 4. Let l be d(-7). Is 22 a factor of 1443/18 + (-4)/l?
False
Let a(t) = 163*t - 2. Is 7 a factor of a(1)?
True
Let o(g) = g**3 - g**2 - 3*g - 2. Let w be o(4). Suppose 2*u = 4*f + 24, 4*u - f = w - 0. Let b = 34 - u. Does 13 divide b?
True
Suppose -3*a + 9 = 3*r - 6, -r - 3 = -a. Let f = 8 - a. Is 2 a factor of f?
True
Let f(t) = t**2 - 2*t + 4. Let s be f(4). Let v be (336/(-5))/(15/(-50)). Is 19 a factor of v/6 - (-8)/s?
True
Suppose -2*x - 15 = n - 59, -3*n - 6 = 0. Suppose 3*l + 90 = 5*t, -4*t - l = -78 + x. Is 4 a factor of t?
False
Suppose -19 = -4*t + 4*d - 3, d + 1 = 0. Suppose 256 = -w + t*w. Let v = w - 83. Is v a multiple of 17?
False
Let x = 125 - -6. Does 10 divide x?
False
Let l(y) = y**2 + y. Let b(z) = -5*z**2 + 4*z + 9. Let k(x) = -b(x) - 6*l(x). Does 6 divide k(-7)?
True
Is (-2)/4 - (-267)/6 a multiple of 11?
True
Is (84/10 - -2)*5 a multiple of 26?
True
Suppose 5*v - 3*f = 17, f = 3*v - 3*f - 8. Does 12 divide (3/(-4))/(v/(-192))?
True
Does 9 divide (-21)/2*-5 - 4/(-8)?
False
Let d(u) = u**2 + 3*u + 2. Let y be d(-3). Suppose 2*q + 6 = 0, y*s + q + 4*q = 15. Is -1*(-2 - s*3) a multiple of 16?
False
Let z = 6 - 8. Is 5 a factor of (z/4)/(4/(-40))?
True
Is 24 a factor of (-78)/104*(-64)/1?
True
Let a = 183 + -125. Is a a multiple of 20?
False
Suppose 2*a + 22 = 3*a. Does 4 divide a?
False
Let g = -4 - 4. Let n be (0 - 1)*0 + 34. Let a = g + n. Is 13 a factor of a?
True
Let j(p) = p**2 - 3*p + 4. Let s be j(5). Suppose -s = -z + 22. Suppose 0 = 2*w + w - z. Is 7 a factor of w?
False
Let j(p) = 9 - 5*p + 0*p**2 + p**2 - p. Let s(u) = u**3 - 15*u**2 + 14*u + 6. Let i be s(14). Is j(i) a multiple of 5?
False
Let t(g) = 2*g + 3. Is 4 a factor of t(3)?
False
Let d = -18 - -37. Let n = -11 + d. Suppose -8 = -2*r + n. Is 8 a factor of r?
True
Let p be 0/(2 - -1)*-1. Let u = 3 - p. Suppose 3*q = u*h + 21, -3*q - h + 0*h + 33 = 0. Does 10 divide q?
True
Let v(a) = 10*a**2 - 4*a + 4. Is 12 a factor of v(2)?
True
Suppose -2*v = -w - 12, 0 = 2*w - 1 + 9. Suppose -v*x + x = -6. Suppose x - 12 = -b. Does 3 divide b?
False
Suppose 8 - 36 = -4*k. Let g(x) = -x**2 + 5*x + 6. Let h be g(k). Does 14 divide (-1 + -45)*4/h?
False
Let w(g) = g**3 - 6*g**2 + 7*g - 3. Does 7 divide w(5)?
True
Let t(h) = 4*h - 38. Is 3 a factor of t(14)?
True
Is 5/(-3) - -2 - (-60)/9 a multiple of 7?
True
Suppose 4*y - k - 149 - 7 = 0, -2*y = k - 78. Suppose y = 3*p - 123. Is p a multiple of 14?
False
Let b(d) = 2*d**2 - 3*d. Suppose r - 6 = -4. Let p = r - -1. Is 3 a factor of b(p)?
True
Suppose 0 = 4*m + 20, 4*y + m - 29 = 126. Is y a multiple of 21?
False
Suppose -5*n = -2*g + 192, 2*g - 25 = n + 7. Suppose 4*m + 4*h = 296, -2*m + 5*h - 218 = -5*m. Let i = n + m. Is 10 a factor of i?
False
Suppose -3*u + 7 + 35 = 0. Is 9 a factor of u?
False
Let x = 4 + 7. Does 6 divide x?
False
Suppose 0 = 5*b - 4*t - 251, -2*b + 5*t + 98 = t. Does 17 divide b?
True
Let p = -11 - -6. Let h(n) = n**3 + 6*n**2 + 2. Is 9 a factor of h(p)?
True
Suppose 1 + 4 = j. Suppose 5*w = -u - 5, -j*w = 4*u + 5 + 15. Suppose -3*x + 3*i = -w*x - 120, -5*x + 3*i = -196. Is x a multiple of 13?
False
Suppose 0 = 2*n + n - 6. Suppose -3*v - n*c = -87, c = -2*v - 2*v + 111. Is v a multiple of 27?
True
Let y(t) = -4*t**2 + 16*t + 7. Let j(g) = 2*g**2 - 8*g - 4. Let v(u) = -5*j(u) - 3*y(u). Is v(6) a multiple of 13?
False
Let r(t) = -6*t**3 + 2*t**2 - t - 2. Is 13 a factor of r(-2)?
False
Is 28 a factor of 26 + 0 + -12 + 14?
True
Let y = -17 - -6. Suppose 0 = 3*l + 4*a - 9, 0 = -2*l - 3*a + 12 - 5. Does 4 divide l/(-3) - y/3?
True
Let s(j) =