e
Let z = -24 - -115. Suppose 4*p = -5*b + b + 96, -4*p + b + z = 0. Does 12 divide p?
False
Is (2 - 22)*(-2)/5 a multiple of 3?
False
Let y(f) = -f**2 - 7*f - 7. Let a be y(-5). Suppose -n = -1 - a. Suppose -w + 15 = r - 10, 4*w + 76 = n*r. Is 11 a factor of r?
True
Suppose 5*s + 10 = 0, 6*a = 2*a + 2*s + 16. Suppose -r + 3 = -a. Is r even?
True
Let q(w) = 3*w + 2. Let c = 12 + -6. Is 10 a factor of q(c)?
True
Suppose 5*z - 9*z + 576 = 0. Is 18 a factor of z?
True
Is (-7)/(175/(-10)) - (-318)/5 a multiple of 4?
True
Suppose 3*y = -2*x + 249, -6*y + 4*y = -x + 135. Does 18 divide x?
False
Suppose 0*y + 4 = -y. Let t = 1 + y. Is 1/t + 43/3 a multiple of 14?
True
Suppose -4*g - 23 = -91. Is 8 a factor of g?
False
Let q(h) = -h**3 - 9*h**2 - 6*h - 3. Let p be q(-8). Suppose 0 = 2*f - 52 - 52. Let y = f + p. Is y a multiple of 12?
False
Let k be (0 + 1)/((-2)/(-42)). Does 4 divide (-1)/(-2) - k/(-6)?
True
Let d(v) = 9*v**2 + 8*v + 3. Is d(-3) a multiple of 15?
True
Suppose 5*b = -0*b - 20. Let l = 8 + b. Suppose l*h + 57 = 5*d - 57, 0 = -2*d - 4*h + 68. Is d a multiple of 13?
True
Suppose -3*m = 0, 2*q - 1143 + 95 = -4*m. Suppose -5*u - 16 = q. Is (u/30)/((-6)/80) a multiple of 20?
False
Let k be 12/18 - (-277)/3. Let b = k - 38. Is 20 a factor of b?
False
Suppose -3*g + 6 = 3. Let x be -2 - g*-4*1. Is (-8)/(-2) - x*1 a multiple of 2?
True
Let f be 2/(-7) + 23/7. Suppose f*p - 6*a - 17 = -2*a, -3*p + 5 = 2*a. Is 3 a factor of p?
True
Let f be ((-4)/14)/((-5)/35). Suppose -f*q + q + 20 = 0. Is 10 a factor of q?
True
Let u(d) be the first derivative of -11*d**2 - 1. Let n be u(-3). Let l = 95 - n. Does 13 divide l?
False
Let j = -35 - -23. Let f be (j/(-10))/(6/140). Suppose -2*p + f + 28 = 0. Is 14 a factor of p?
True
Suppose -2*i + 3*i - 3 = 0. Let f = 2 + -1. Does 2 divide (i - f) + 1 + 1?
True
Let o(z) = -z**2 - 5*z + 8. Let k be o(-6). Suppose -k*w + 84 = 4*r, -5*w = 5*r - 50 - 135. Suppose 0 = 2*g - 4*g + w. Is 11 a factor of g?
False
Suppose 0 = 2*t + 2*j - 6*j - 48, 2*j - 80 = -3*t. Is 2 a factor of t?
True
Let y(c) = c**2 + 8*c + 4. Let t be y(-7). Let a = -5 + t. Does 6 divide (9/(-2))/(3/a)?
True
Suppose 4*h = 3*f + 321, 0 = -3*h - h - 5*f + 361. Is h a multiple of 12?
True
Let w = 98 - 56. Is w a multiple of 9?
False
Let t be (-4)/6*15/10. Does 12 divide (t - (-57)/15)*5?
False
Let z be (3 - 0)*136/12. Suppose 3*g - 4*j = z, -3*j + 2*j + 19 = 2*g. Let t = g - 7. Does 3 divide t?
True
Suppose 0*k - 176 = -5*y + 2*k, 3*y - k - 106 = 0. Does 6 divide y?
True
Let o(h) = h**2 - 7*h + 6. Let z(g) = -g. Let n be z(-6). Let b be o(n). Suppose 0 = -c + 2*s + 31, b*c - 3*c + s = -103. Does 13 divide c?
False
Suppose 6*u = 4*u - 12. Let p be (-4)/u*(-27)/(-6). Is (-3 + 1)/(p/(-15)) a multiple of 10?
True
Suppose 3 = -0*c - 3*c + 3*o, 0 = c + o - 9. Suppose 0 = c*y, 6*w - 4*y - 16 = 4*w. Suppose -2*z + 5*s = -40, -w = -z + s + 6. Is z a multiple of 5?
True
Let q = -1 - -9. Is 4 a factor of q?
True
Let y(n) be the first derivative of -1/4*n**4 - 10/3*n**3 - 13*n + 2 + 9/2*n**2. Is 6 a factor of y(-11)?
False
Let h(y) = y**2 - 4*y - 1. Suppose -4*o + 20 = -0*o. Let f be h(o). Suppose -20 = -f*l + 3*l. Is l a multiple of 7?
False
Does 7 divide (-10)/(-15) - 164/(-6)?
True
Suppose 0 = 3*n - 3, -n + 6 = -5*b + 15. Suppose 0 = -b*s + 81 + 69. Is 22 a factor of s?
False
Suppose -7 - 25 = -4*l. Let d be (-2)/l + 84/16. Suppose 4*x + d*i = -31 + 160, 0 = -4*x + 2*i + 94. Is x a multiple of 13?
True
Let k(y) = -y**2 - 8*y + 2. Let g(l) = l**2 + 8*l - 2. Let o(d) = 5*g(d) + 6*k(d). Let n be o(-6). Does 14 divide ((-5)/1)/((-2)/n)?
False
Suppose -2*z + 5*z - 72 = -3*w, -5*w + 108 = z. Suppose -4*v + 2*h = -1 - 17, 0 = 3*v - 3*h - w. Is v a multiple of 2?
True
Let u be (-125)/(-10)*(-24)/(-5). Suppose -r = -7*r + u. Does 5 divide r?
True
Suppose -6 = -0*f - f. Is f even?
True
Let m(c) = c**3 - c**2 - 2*c - 4. Let n be m(0). Let o(s) = -s**3 - 2*s**2 - 4*s - 4. Is o(n) a multiple of 13?
False
Let p(t) = t**2 - 2*t + 30. Is 33 a factor of p(-12)?
True
Suppose -14 = -2*l + 2*z, 29 = l + 2*l - z. Does 3 divide l?
False
Let r(b) = b**2 - 9*b - 5. Let m be r(8). Let v be 66/(-9)*(1 - -2). Let o = m - v. Is 9 a factor of o?
True
Suppose -137 = -8*r + 343. Is r a multiple of 14?
False
Suppose -5*c + 455 = -4*u, -c - 2*u - 358 = -5*c. Is c a multiple of 30?
False
Suppose 0*g - 2 = -4*i + 3*g, i = -4*g + 10. Suppose -i*r = -3*r + 40. Is r a multiple of 16?
False
Let h(a) = -a**3 - 5*a**2 + 5*a + 9. Let k be h(-6). Suppose 3*w = -6 + k. Suppose -30 = 2*u - w*u. Does 14 divide u?
False
Let o = 67 - 61. Is 6 a factor of o?
True
Does 3 divide 7 - 1/(1/(-3))?
False
Let r be 3 + (-5)/25*-5. Let i(k) = -39*k**2 + 6*k - 6. Let u(p) = 8*p**2 - p + 1. Let w(n) = -5*i(n) - 24*u(n). Is 11 a factor of w(r)?
False
Suppose -l + 3*p + 52 = 0, 5*l + p + 3*p - 222 = 0. Is 23 a factor of l?
True
Let a = -9 + 11. Suppose 5*m = -5*j - 5 + 105, a*m = -10. Is 7 a factor of j?
False
Let j(g) = 17*g**2 + g - 1. Is j(3) a multiple of 31?
True
Let v(o) = o**2 + 10*o + 13. Let a be ((-21)/14)/(1/6). Let s be v(a). Suppose -s*c = -4*t - 64, 5*c = c - 3*t + 36. Is 9 a factor of c?
False
Suppose -90 = -5*v + 30. Is 4 a factor of v?
True
Suppose 2*n - 6*n + 10 = -3*f, -f + 5*n = 18. Suppose -f*l = 2*l - 120. Is l a multiple of 18?
False
Suppose -4*q = -2*q - 40. Is 13 a factor of q?
False
Let t be 52 + (-3 + 1 - 1). Let m = t - 27. Does 11 divide m?
True
Suppose -3*w + b - 37 = 2*w, -4*b + 1 = w. Let t be (-457)/(-7) + 2/w. Let m = t + -28. Does 15 divide m?
False
Let m = -1 + 21. Is (-15)/m + (-35)/(-4) a multiple of 8?
True
Suppose -1 + 5 = n, n - 13 = -3*y. Suppose m + 4*m - 120 = -a, -y*a = -4*m - 303. Suppose a = 4*p - 39. Does 18 divide p?
True
Suppose 0 = 5*z + 5*g - 15, -2*g = -5*z - 4*g. Let x be (-12)/(2 - 5) + z. Is x*(0 + -1) - -10 a multiple of 8?
True
Let f = -1 - -3. Let c(i) be the second derivative of 3*i**5/20 - i**4/4 + 2*i**3/3 - 3*i**2/2 + i. Is 15 a factor of c(f)?
False
Suppose 16 = t + t. Suppose -a + 3*a - 7 = -3*m, m = 5. Let z = t - a. Does 11 divide z?
False
Let j = -162 - -302. Does 51 divide j?
False
Let z(j) = 10*j**2 - 6*j + 1. Does 21 divide z(4)?
False
Is ((-28)/(-12))/((-1)/(-3)) a multiple of 4?
False
Let i(a) = a + 2. Let p be i(-2). Let q be (p - 1) + (1 - 0). Suppose -5*m + 2*m + 60 = q. Is 15 a factor of m?
False
Let x(p) = 4*p**2 + 3*p + 3. Suppose -2 = -l + 2. Is x(l) a multiple of 25?
False
Suppose 4*c = -4*t + 5*c + 82, 4*t = -5*c + 70. Does 4 divide t?
True
Suppose -2*t + k = -7*t + 560, -560 = -5*t - 3*k. Is 20 a factor of t?
False
Let d be (-54)/(-4) + (-1)/(-2). Suppose 5 + d = -u. Let k = u - -34. Does 5 divide k?
True
Let s = 17 + -9. Is s a multiple of 6?
False
Is 22 a factor of (-3 + 4)*11*2?
True
Suppose 5*d + 22 - 142 = 0. Is 6 a factor of d?
True
Let x = 5 - -12. Suppose 0 = m - x - 31. Does 8 divide m?
True
Let f = 14 + -9. Suppose f*k = 4*y - 69, 4*y - 21 - 39 = -4*k. Is y a multiple of 12?
False
Let f(x) = -3*x - 3. Let y be f(7). Let t = 6 - y. Is 13 a factor of t?
False
Let t be -1 + 1/(1/(-48)). Suppose 3*p - 14 = -89. Let c = p - t. Is 12 a factor of c?
True
Let d be ((-1)/4)/((-3)/84). Let m(f) = 2*f**3 + 0*f**3 + 4 - 3*f**3 + 7*f**2 + 4*f. Does 13 divide m(d)?
False
Is 3 a factor of 2/(-6) - 325/(-39)?
False
Let h = 27 + -18. Does 8 divide h?
False
Let z = -56 - -129. Does 23 divide z?
False
Suppose 3*g - 324 = -2*c, 5*c = -4*g + 7*c + 432. Suppose -5*k = -k - g. Is k a multiple of 7?
False
Suppose 2*d = -4*w + 10 + 6, 20 = 4*w + d. Is w a multiple of 6?
True
Let v be 3*(4/(-3))/(-4). Let f = v - 2. Does 7 divide (-129)/(-9) - f/(-3)?
True
Let g(b) = -b**3 + 5*b**2 + 7*b - 1. Let y be g(6). Suppose -327 = -5*i - 3*x, -y*x = -2*i - 0*x + 137. Suppose -2*u - u = -i. Does 11 divide u?
True
Suppose -3*x + 5*t - 6*t = -91, 4*x = 3*t + 117. Does 6 divide x?
True
Let x = 5 - 3. Let v(h) = -x + 3 + 8*h**2 + 7*h**2. Is v(1) a multiple of 9?
False
Is 4/(6*-2)*-6 + 80 a multiple of 21?
False
Suppose -z + 10*f = 5*f + 15, -4*f + 12 = 3*z. Does 10 divide -30*(z + 1/(-3))?
True
Let k(f) = f**3 + 12*f**2 + 11*f - 1. Let d be k(-11). Is 15 a factor of d*112/(-4*1)?
False
Let q = -5 + 2. Let w be 3/(-9) + (-10)/q. Suppose w*n + 23 = 125. Is n a multipl