10. Does 2 divide z?
True
Suppose -2*d + 0 - 10 = 0. Let l = -2 - d. Suppose -l*f + 5*f - 57 = -3*j, 4*f - 3*j - 159 = 0. Does 12 divide f?
True
Let o = 53 - 50. Let p(u) = -u**2 + u. Let i be p(0). Suppose 3*l = i, -l - l = o*x - 27. Is 4 a factor of x?
False
Suppose -7*m - 211 = -64. Is 684/21 - 9/m a multiple of 15?
False
Suppose -5*a + 5*l + 3735 = 0, 3*a - 2237 = l + l. Is a a multiple of 30?
False
Suppose -2087 + 6260 = 3*n. Does 106 divide n?
False
Let q = -124 + 223. Suppose 8*r - 6*r + 3*f - 105 = 0, -3*f = -2*r + q. Does 39 divide r?
False
Let g = 3 - 1. Suppose -2*u + 58 = -2*a, 20 = u - 2*a - g*a. Is 8 a factor of u?
True
Suppose 1224 + 450 = 4*s - 2*r, -s - 3*r = -408. Is s a multiple of 6?
False
Is (0/2)/(-4) - -192 a multiple of 32?
True
Let q(r) = 14*r**2 + 12*r**2 - 12 - 27*r**2 + 28*r. Does 46 divide q(14)?
True
Let n be -3*(-1)/(-3) + 9. Suppose n*t = 3*t - 5*j + 85, 2*j = 5*t - 64. Suppose -2 + t = 3*q. Is q even?
True
Let l = 653 + -380. Is 7 a factor of l?
True
Suppose -f - 2*f - 28 = -i, 60 = 5*i + 5*f. Let m = i + 18. Does 17 divide m?
True
Suppose 0 = -a - 2*x + 74, a - x = 2*x + 69. Is a a multiple of 23?
False
Suppose 3*k = 15 + 33. Let n be (-42)/(-8) - 4/k. Suppose 3*y - 2*b - 42 = -n*b, -5*y + 3*b = -30. Is y a multiple of 3?
True
Suppose 3*b + u = 41, 2*u = b - 2*u + 8. Let h(q) = 1 - 62*q - 5 + 66*q + 1. Is 29 a factor of h(b)?
False
Suppose -8*y + d = -9*y + 1098, 5*y - 5472 = 4*d. Is y a multiple of 14?
False
Let d = 552 + -292. Is d a multiple of 20?
True
Is -16 + 10 - 66/(-2) a multiple of 26?
False
Suppose 45526 = -57*o + 107542. Does 64 divide o?
True
Let c(v) = -v**3 + 5*v**2 + v - 2. Let t be c(4). Suppose 2*u - 60 = -t. Is u a multiple of 9?
False
Suppose 3*d = -3*f + 654, -2*f + 498 - 63 = 3*d. Is f a multiple of 13?
False
Let t = 726 - -1041. Is 62 a factor of t?
False
Suppose 13*m = -2*m + 210. Is 4 a factor of m?
False
Let t = 9 - 4. Suppose 4*g - t = 15. Suppose -30 = -g*x + 2*x. Is x a multiple of 10?
True
Is 60/(-8)*(-828)/15 a multiple of 69?
True
Is 38 a factor of (38/(-3))/(-5*(-2)/(-990))?
True
Let i = -137 - -379. Does 11 divide i?
True
Is 1078/21 - ((-24)/9 - -2) a multiple of 13?
True
Suppose 5*y = -5*x + 3765, x = -5*y + 1497 + 2276. Does 13 divide y?
False
Let t = -27 + 63. Is 20 a factor of (-2)/(0 - 3/t)?
False
Suppose s + 0*s = -5*d + 95, 3*d = 3*s + 57. Let j = d + -17. Suppose -121 = -j*n + i, 6*n - 4*i - 194 = 3*n. Is 10 a factor of n?
False
Let k be 63/12 + (-15)/(-20) - 3. Suppose 0 = 5*s - 5*f - 280, 0*f + 15 = -k*f. Does 42 divide s?
False
Suppose 0*b - 155 = -5*s - b, -4*s + 140 = 4*b. Let c be 2*-2*s/(-24). Is 13 a factor of -5*((-16)/c)/1?
False
Let v be ((-24)/(-14))/((-6)/(-189)). Let i be (4/((-8)/v))/(-1). Suppose n = -13 + i. Is 14 a factor of n?
True
Suppose -434 - 1740 = -2*s + 4*v, -2*s + 2182 = 4*v. Is 25 a factor of s?
False
Suppose 3*u = -3*l - l - 51, -17 = l + 5*u. Let a(o) = o**3 + 11*o**2 - 12*o. Let f be a(l). Suppose 4*p - 5*p + 67 = f. Does 14 divide p?
False
Let r(y) = 231*y + 112. Does 28 divide r(4)?
True
Is 1316/6*(3 + 24/16) a multiple of 19?
False
Suppose -5*c - 3*d + 37 = 0, -d + 21 = -4*c + 37. Suppose -k - 305 = -5*t, -k + 196 = 3*t + k. Let g = t - c. Does 19 divide g?
True
Suppose -x + 277 - 9 = 3*b, 2*x - 548 = -3*b. Suppose 96 = -d + 3*s, -2*s + x = -3*d + 3*s. Is 15 a factor of (1 - -1)*d/(-4)?
True
Suppose 9*t = 17*t - 10416. Does 72 divide t?
False
Suppose -d - 13*f + 10*f + 52 = 0, -5*d + 260 = 2*f. Is 5 a factor of d?
False
Let f(l) = -4*l**2 + 2*l**2 - 8 + 10 + 5*l**2. Suppose -5*v + 1 + 9 = 0. Is f(v) a multiple of 14?
True
Let l(v) = v**2 + 14*v + 34. Let i be l(-9). Let f(r) = 4*r**2 + 34*r - 13. Is 33 a factor of f(i)?
False
Suppose 0*j = y + 5*j - 238, 3*y + 4*j = 692. Does 6 divide y?
True
Suppose 3*n + w - 4396 = 0, 19*w = 3*n + 16*w - 4380. Does 61 divide n?
True
Let w(p) = 5*p**2 - 34*p + 49. Does 19 divide w(12)?
True
Does 27 divide (-26)/117 - 20380/(-18)?
False
Let g = -16 - -20. Let k = g + -16. Is (-6)/(-1 - k/16) a multiple of 12?
True
Let f(d) = -6*d**3 + d**2 + 5*d + 5. Let p be f(3). Let a = -61 - p. Is 14 a factor of a?
False
Let j(n) = 2*n**3 + 9*n**2 - 19*n + 13. Let d(k) = -k**3 - 4*k**2 + 9*k - 6. Let a be (-4 - 10/(-2))*-13. Let m(x) = a*d(x) - 6*j(x). Does 5 divide m(4)?
True
Suppose 3*k - 27 = -c + k, 3*k = 0. Let s be c/36 - (-497)/4. Let h = -77 + s. Does 10 divide h?
False
Suppose 56 = 2*t + 3*p, -2*t + 24 = -0*p - 5*p. Let b = t - 150. Is 2 a factor of b/(-72) - (-2)/9?
True
Let o be 80/(7/(-3) - -3). Let g = 318 - o. Is g a multiple of 18?
True
Suppose -22*d + 39024 = -4*d. Is d a multiple of 28?
False
Let c = -26 + 58. Let r = c + 13. Let a = -26 + r. Is 5 a factor of a?
False
Suppose -4*z - 6 + 38 = 0. Suppose -z*b = -154 - 22. Does 10 divide b?
False
Suppose r + 3*p - p - 6368 = 0, -8 = -2*p. Is 17 a factor of r?
False
Let b(p) = -p**3 + 11*p**2 - 4*p + 8. Let i be b(6). Suppose -45 = 7*x - i. Is x a multiple of 11?
False
Suppose -4*w = -2*v - 35 - 47, -w + 28 = -2*v. Suppose -5*l + 32 = -3*l. Let c = w + l. Is c a multiple of 11?
False
Let m be 9*((-10)/(-6))/(-5). Is 3/((-5)/(455/m)) a multiple of 13?
True
Let h = -2391 + 6571. Is 76 a factor of h?
True
Suppose -724 = -25*p + 801. Is 8 a factor of p?
False
Suppose 5*t - 568 - 227 = 0. Is t a multiple of 11?
False
Let i = 14 - 24. Let p = i + 14. Suppose 0 = p*k - 159 - 9. Is k a multiple of 14?
True
Let l(x) = -x**3 + 4*x**2 - 2*x - 1. Let i be l(3). Let q be (i/(-6))/(4/(-132)). Suppose -8*n - 333 = -q*n. Is 30 a factor of n?
False
Suppose 4*l - 36 = -4*t, -7*t + 15 = -4*t. Suppose -6*p + 99 = i - 2*p, -l*i = -p - 311. Suppose 4*q - 69 = i. Is 18 a factor of q?
False
Let d(u) = -u**2 - 8*u - 4. Let x be 6/27 + 29/(-9). Let g be d(x). Let f = 32 - g. Does 15 divide f?
False
Suppose -13 - 50 = -3*s + 4*u, 2*s + 2*u = 56. Suppose 3*j = 6, 105 = q + 3*j - s. Is q a multiple of 25?
False
Does 26 divide ((-234)/(-12))/((-1)/((-1072)/12))?
True
Let y(k) = -326*k - 262. Is 24 a factor of y(-21)?
False
Let z(k) = k**2 - 8*k - 7. Let o be z(8). Let a = -10 - o. Let m = a - -9. Is m even?
True
Let l(w) = -533*w**2 + w. Let c be l(1). Let m be (30/4)/((-57)/c). Suppose -n - 2 = -2*n, -3*b = 5*n - m. Does 5 divide b?
True
Let y(g) = 17*g - 1. Let f be (-2)/(-4) - (-72)/16. Suppose f*x + 24 = -m, -5*m - 3 = 3*x + 7. Does 8 divide y(m)?
True
Let c be 3 - (1 + 0 + -2). Let a be 26/4 + c/(-8). Is 3 a factor of (-4)/a - (-26)/3?
False
Let i(q) = 5*q. Let s be i(2). Let n(a) = a**3 - 3*a. Let y be n(-2). Let o = y + s. Is o a multiple of 8?
True
Suppose 3*b = 15*b - 2064. Is 7 a factor of b?
False
Let x = 4515 - 1065. Suppose x = -t + 24*t. Is t a multiple of 30?
True
Let n(d) = -4*d**2 + 4*d - 2. Let m be n(3). Let j = 20 + m. Let u(g) = g**3 + 7*g**2 + 6*g + 5. Does 5 divide u(j)?
True
Let u(j) be the first derivative of -25*j**2/2 - 10*j + 7. Is 13 a factor of u(-3)?
True
Let d(v) be the third derivative of -v**6/120 - v**4/24 + 64*v**3/3 + 37*v**2. Is d(0) a multiple of 32?
True
Let l(m) = -m**3 - 3*m**2 + 3. Let p be l(-3). Suppose 70 = 3*q + q + 2*n, -p*q = 2*n - 54. Is 4 a factor of q?
True
Let k = 42 + -38. Suppose k*h = -2*i + 44, -4*i + 5*h = 3*h - 68. Is 18 a factor of i?
True
Let c(g) = -2*g**3 + 9*g - 28. Is c(-6) a multiple of 10?
True
Let k be 3/(-6)*(-12)/1. Let u = -10 + k. Let t(s) = -s**2 - 7*s + 2. Does 4 divide t(u)?
False
Suppose -5*a + 1960 = -2230. Does 24 divide a?
False
Suppose 2*r = 554 + 196. Suppose 0*h = -5*h + r. Is h a multiple of 9?
False
Let a = -277 + 1200. Does 8 divide a?
False
Let x = -11 + 13. Let m(j) = 17*j**2 - 11*j**2 + j - x*j. Does 8 divide m(2)?
False
Suppose -4*m - 197 = -1. Let r be ((-52)/8)/(2/24). Let d = m - r. Is 9 a factor of d?
False
Suppose 0 = -4*r - 2*d + 710, 9*r - 2*d = 14*r - 886. Is r a multiple of 11?
True
Let k be -2*((-15)/(-18) - (-5)/(-15)). Is 21 a factor of (-42789)/(-204) + 5/4 + k?
True
Let c(j) = 5*j - 15. Let m be c(4). Suppose 2*z - 41 + m = 0. Does 2 divide z?
True
Let s be (-2)/(((-4)/(-118))/1). Let o be (31/(-4))/((-6)/(-24)). Let m = o - s. Is 14 a factor of m?
True
Let k = 4 + 77. Does 3 divide k?
True
Suppose 0 = 19*k - 1310 - 134. Let l = -14 - -10. Is 19 a factor of (3 + k)*l/(-4)?
Fa