
False
Let t(u) = u + 18. Let k be t(-14). Let r = 6 - 9. Does 7 divide (22/k)/(r/(-6))?
False
Let y be (0 - 1)*1*-5. Suppose -y*r + 20 = -10. Does 6 divide r?
True
Suppose 0 = -3*p + 161 - 29. Does 31 divide p?
False
Suppose -4*t + 4*j = -64, 2*j + 58 = 5*t - 25. Is t a multiple of 11?
False
Let k(t) = t**2 - 8*t + 3. Let x be k(6). Is 2/x - 303/(-27) a multiple of 11?
True
Suppose 0 = 10*b - 15*b + 150. Is b a multiple of 6?
True
Suppose 7*t - 3*t - 20 = 0. Does 5 divide t?
True
Let i(j) = -5 + 2*j - 5*j + j**3 - j - 6*j**2. Let l be i(7). Suppose 0*n - l = -n. Is n a multiple of 8?
True
Is (9*-3)/((-33)/44) a multiple of 3?
True
Let v(c) = -4*c**3 - 6*c**2 + 4*c - 8. Let z(n) = 9*n**3 + 13*n**2 - 8*n + 17. Let b(w) = 13*v(w) + 6*z(w). Does 14 divide b(2)?
False
Suppose -12 + 36 = 4*n. Let j = 0 - 0. Suppose j = -5*v - 3*q + 70, -n*q + q = 0. Does 8 divide v?
False
Let h = -1 - -3. Let r = 0 - h. Is r/(-7) - 204/(-21) a multiple of 10?
True
Suppose 3*s - 4*s = 0. Suppose -3*r + 5*r = s. Is 8 a factor of (-8)/((r - -1)*-1)?
True
Let m(f) = -3*f + 15. Let r be m(-11). Suppose 5*a - r = 2*a. Suppose -5*d + d = -a. Is 2 a factor of d?
True
Suppose 5*w - 41 = -2*x, 4*w - 7*w + 9 = 0. Does 4 divide x?
False
Suppose -3*r = 4*t - 2*t - 288, 4*r - 134 = -t. Is t a multiple of 30?
True
Let z = -69 - -33. Let k = z - -160. Is 25 a factor of k?
False
Let m(u) = -u - 3. Let d be m(-2). Let b = -2 - d. Is 8 a factor of (-1 - 1)/(b/8)?
True
Let u(r) = -2*r**3 - 5*r**2 + 3*r - 2. Let g be (-7)/2 - (-1)/(-2). Is u(g) a multiple of 16?
False
Let k be 28/2*(-4 + 5). Let m = -6 + k. Suppose -m*w + 11*w = 84. Is w a multiple of 14?
True
Let z be 54/14 + (-2)/(-14). Is 17 a factor of 0*(-2)/z - -57?
False
Let g = -140 + 370. Is 25 a factor of g?
False
Suppose 8 - 5 = t. Let h(z) = -z**3 + 4*z**2 - 2*z - 3. Let q be h(t). Suppose q*w = w - 18. Is w a multiple of 7?
False
Let l be 3/(-1 - (-22)/16). Suppose -3*w - l = w. Is 10 a factor of ((-22)/w)/(-1)*-2?
False
Let p = 42 - 9. Does 12 divide p?
False
Let u = -94 + 143. Is u a multiple of 6?
False
Suppose -4*q - 1630 = -9*q. Does 35 divide q?
False
Is 8 a factor of 60 - (-4 - (-2 - 1)) - -3?
True
Let a = -5 + 4. Let b be a/7 + (-110)/(-35). Suppose -3*m - k + 131 = 0, 5*k - 130 = -b*m + 3*k. Does 12 divide m?
False
Suppose 5*d = 3*d. Let j be d + 4 - (2 + -2). Suppose -j*p - 69 = -249. Is p a multiple of 14?
False
Let j(x) = -x - 1. Let p be j(-6). Suppose -3*c - 5*l - 6 = 0, -p*c + 5*l + 0*l = -30. Suppose c*w - 22 = 2*q, 5*w + 5*q = 56 - 11. Is w a multiple of 4?
True
Let a = -5 + 6. Is a/2*58 - -1 a multiple of 9?
False
Suppose 0 = -g - 5*a + 4, -64 = -2*g - 2*a + 6*a. Let b = g + -15. Does 6 divide b?
False
Suppose q + 5 - 11 = 0. Let v(l) = l**2 - 5*l - 7. Let h be v(q). Is (h - 1)/(4/(-18)) a multiple of 9?
True
Let u(c) = 18*c + 24. Does 31 divide u(9)?
True
Let d(q) = -q**2 + 11*q - 5. Does 13 divide d(7)?
False
Suppose 19*m + 112 = 23*m. Is m a multiple of 14?
True
Suppose -172 + 52 = -4*v. Is 15 a factor of v?
True
Suppose 0*n = -3*r + n + 9, 5*r = n + 15. Suppose r*w + 1 = -8. Is 7 a factor of 29 - 5/((-5)/w)?
False
Let n(s) = -s**2 - 10*s - 7. Let z be n(-9). Suppose 3*t + 4 = x + z, 26 = 3*x + t. Is 8 a factor of x?
True
Suppose -4*m - 58 + 606 = 4*y, 5*m = -y + 141. Does 17 divide y?
True
Suppose x - 12 = -3*i, 12 = i + 2*x + x. Suppose -i*l = l - 8. Suppose 0*j + l*j - 6 = 0. Does 2 divide j?
False
Let i(n) = n**3 + n**2 + 150. Does 15 divide i(0)?
True
Let r(z) = 37*z**2 - 2*z - 2. Let y be r(-1). Let n = -20 + y. Is 17 a factor of n?
True
Let a(t) = -t**3 + 6*t**2 - 2*t - 1. Suppose 0*g = 2*g. Suppose g = 3*m - 7 - 8. Is a(m) a multiple of 7?
True
Let x(f) = 10*f + 2. Let p be x(-2). Let y = 26 + p. Is y a multiple of 3?
False
Let q(r) = -r**3 + 7*r**2 + 9. Let x(g) = -g + 8. Let d be x(7). Let l be (-26)/(-4) + d/2. Is 9 a factor of q(l)?
True
Let b = 6 + -4. Let q be (11 + -3)/(2/b). Let j = q + 2. Is 10 a factor of j?
True
Let n(l) = -l**2 + 14*l - 3. Is n(6) a multiple of 9?
True
Suppose -3*y = -y. Suppose -4 = -w - y. Suppose -w*r + 6 = -r. Is r a multiple of 2?
True
Let w(t) = t**3 + 6*t**2 - 5*t - 2. Let c be w(-6). Let o = c - 20. Suppose 0 = -4*k + o + 36. Does 5 divide k?
False
Let p(z) = 4*z**3 + z**2 - 1. Let w be p(1). Suppose -5*k = -w*i + 4, k = 3*i + 3*k + 20. Is 6*-5*i/6 a multiple of 15?
False
Suppose 5*d + 40 = 7*w - 2*w, 0 = -2*w + 4*d + 24. Let r be ((-22)/(-3))/((-4)/(-102)). Suppose -r = -w*i + 9. Does 19 divide i?
False
Suppose -73 = -u + 90. Is 40 a factor of u?
False
Let u = -263 + 383. Does 9 divide u?
False
Let r be (1/3)/(1/3). Let n(b) = 28*b - 1. Is 23 a factor of n(r)?
False
Let u(t) = 5*t - 8*t + 1 - 9*t - 2*t. Let w(c) = c**3 - 3*c - 1. Let a be w(-2). Does 12 divide u(a)?
False
Let p(b) = 4*b**3 - 3*b**2 + 1. Does 21 divide p(2)?
True
Let i(u) = -39*u - 2. Is 23 a factor of i(-3)?
True
Let g(l) = -5*l. Let m be g(-1). Suppose 3*u - 14 = u + c, m*u - 3*c - 34 = 0. Is u a multiple of 6?
False
Is 2*(-4)/16*-348 a multiple of 11?
False
Suppose 0*g + g + 21 = 0. Let m = 31 + g. Is m a multiple of 7?
False
Let f(r) = -r**3 + 7*r**2 + r - 2. Is 10 a factor of f(6)?
True
Suppose 3*c + 37 = -5*s, 0 = 2*c + c + 4*s + 32. Let f be (2/(-8))/(1/c). Does 7 divide (1/(f/(-23)))/(-1)?
False
Suppose 2*y - 16 = -2*y, -4*y + 26 = 2*d. Let k = d - -3. Does 6 divide k?
False
Suppose 163 = 6*i - 155. Does 14 divide i?
False
Let c(s) = 9*s + 4. Let z be c(4). Suppose -20 = -5*h - 0*h. Suppose h*p = 116 + z. Is p a multiple of 13?
True
Let t(c) = -11*c - 6. Let k be t(5). Let v = k - -91. Is v a multiple of 7?
False
Suppose -t = -5*d - 3*t - 87, 111 = -5*d + 4*t. Let v be (-8)/(-12) + (-107)/3. Let a = d - v. Is 10 a factor of a?
False
Let q be 4*3*1/(-2). Let p = q - -10. Suppose -170 = -p*o - 18. Does 19 divide o?
True
Suppose l = 6*l + c - 14, 2*c - 8 = 0. Suppose 2*n - 71 = -3*j, -3*n - l*n - 135 = -5*j. Is 12 a factor of j?
False
Let g(z) = -z**3 + 2*z**2 - 1. Let c be g(1). Suppose -4*f = -t + 44, -3*f - 46 = -5*t + t. Let m = c - f. Does 10 divide m?
True
Let u(f) = -f**2 - 4*f - 1. Let k be u(-4). Is k + (30/2 - 3) a multiple of 7?
False
Suppose -4*o + 3*a + 150 = -2*a, 0 = 2*a - 4. Is o a multiple of 20?
True
Suppose -65 = 5*w + 340. Let c = 117 + w. Is 30 a factor of c?
False
Let r = -16 - -10. Is 5 a factor of (2/r)/((-6)/162)?
False
Suppose 61*q + 360 = 65*q. Is q a multiple of 9?
True
Suppose -3*c + 2*f = -5*c - 14, 0 = -2*c - f - 12. Let v = 2 - c. Is v a multiple of 6?
False
Suppose -2*b = -0*b - 12. Suppose 3*y + 54 = b*y. Does 9 divide y?
True
Let m(h) = -3*h - 9. Does 11 divide m(-7)?
False
Let w(t) = -t**2 + 4 + 2*t**2 + 5 - 5. Does 6 divide w(-3)?
False
Let j(d) = -d**3 + 11*d**2 + 5*d - 35. Is j(11) a multiple of 10?
True
Let u(a) = 4 - 4 + 3 + 2*a + 0. Is 15 a factor of u(6)?
True
Is 5 a factor of 12*-4*(-15)/24?
True
Let s(w) = w - 3. Let p be s(5). Suppose 5*x - 8 + 106 = 2*y, 2*x + 38 = p*y. Let v = 44 + x. Does 12 divide v?
True
Let y(x) = -12*x - 4. Is 41 a factor of y(-14)?
True
Let a(l) = -6*l - 1. Suppose 5*q = 8 + 12. Let w(b) = 7*b. Let u(i) = q*a(i) + 5*w(i). Is 17 a factor of u(5)?
True
Let z = 247 + -386. Let m = -75 - z. Is 32 a factor of m?
True
Let r = -25 - -40. Does 5 divide r?
True
Let h = 5 + -9. Does 6 divide 1 + 2*(-10)/h?
True
Let l = -18 - -114. Is 6 a factor of l?
True
Suppose 39 = l + 18. Is 5 a factor of l?
False
Let u be (6 - 1) + 14/(-7). Suppose -l + 69 = u*w, 2*l - 3*l = 5*w - 65. Is 15 a factor of l?
True
Does 9 divide 1660/12 - (-2)/(-6)?
False
Let s(x) = -x - 10. Let d be s(-9). Is 3 a factor of (-6)/12*(-19 - d)?
True
Suppose -o + 85 = s, 0 = 4*o + o + 3*s - 417. Is o a multiple of 27?
True
Suppose -2*a = -11 - 63. Suppose -2*q - 2*j + 5 = -a, 4*q + 3*j = 84. Suppose 5*u - q = 39. Does 12 divide u?
True
Is 9 a factor of ((40/3)/(-2))/(12/(-72))?
False
Let r(i) = i**3 - 5*i**2 - 3*i - 5. Is 20 a factor of r(7)?
False
Let y be -4 + 4/4 + 21. Suppose -4*h - y = -98. Is h a multiple of 5?
True
Suppose b - 2*b - 3*r + 59 = 0, -3*b - 5*r = -165. Is b a multiple of 9?
False
Let p(f) = 2*f + 3. Let l be p(-2). Let n be (-3 + l)/(-4 + 2). Is 16 a factor of n/((-1)/28*-2)?
False
Let w = -41 + 63. Is w a multiple of 16?
False
Suppose 2*