pose 5*f - 296 = -i. Is f a multiple of 13?
False
Let w = 18 - 38. Does 18 divide 458/10 - 4/w?
False
Suppose 0 = i - 4*d - 195, 3*i + 2*d = 6*d + 617. Let b = i + -120. Is b a multiple of 23?
False
Let h(g) = g**2 + 11*g + 9. Suppose q + 8 = -2. Let v be h(q). Is 17 - (v + 2)*0 a multiple of 12?
False
Suppose 4*h = -3*k + 11, 0*k - 4*k - 4*h = -8. Does 6 divide (k - (-1 - 0)) + 14?
True
Let q(o) = 6*o**2 - 5*o + 1. Let b be q(-4). Suppose -3*r - 9 - 56 = -2*x, b = 3*x + 2*r. Does 13 divide x?
False
Let h(c) = -c**3 + 3*c - 4. Is 3 a factor of h(-3)?
False
Suppose -3*h - 2*o + 380 = 0, -2*h - 2*o + 297 - 41 = 0. Suppose 22 = -2*i + h. Suppose -i = -n - 2*n. Is 6 a factor of n?
False
Is 15 a factor of ((-36)/(-12))/((-2)/(-92))?
False
Suppose 5*z = 3*t + 118, -3*z + t + 66 = -2*t. Let a(o) = -o - 2. Let y be a(0). Does 14 divide z + y*1 + 4?
True
Suppose 5*z - 4*p + 3*p = -421, -20 = 5*p. Let b = -46 - z. Is b a multiple of 17?
False
Let u(k) = 2*k - 7. Let s be u(5). Suppose 2*r = -5*o - 17, o + r + 16 = -s*o. Is (3 + -4)*o + -3 even?
True
Suppose 0*x - 6 = -2*x. Let b(r) = -r - 2*r + x*r - 1 - 4*r. Does 11 divide b(-3)?
True
Suppose 4*c = -2 + 10. Suppose -c*y = -0*y - 6. Suppose 3 = -y*u + 3*p, -4*p + 22 = u + u. Is u a multiple of 2?
False
Suppose -s - 3*b + 5 = 0, 0 = -0*s - 2*s + 3*b + 55. Suppose -3*n = -n - s. Does 5 divide n?
True
Suppose -7*k + 2*k = 3*s - 213, 5*s - 5 = 0. Is 15 a factor of k?
False
Let w(h) = -h**3 + 17*h**2 + 2*h + 4. Let u be 3/(-2)*(-374)/33. Is 14 a factor of w(u)?
False
Let v(h) = -h + 86. Let t be v(0). Suppose t = 5*w - 94. Does 5 divide 6/(-27) + 368/w?
True
Suppose -5*v + 2 = -2*y - 47, -2*v + 12 = 3*y. Is v a multiple of 7?
False
Suppose 5*q + 87 = 302. Suppose 20 = 3*n - q. Is 6 a factor of n?
False
Let g = 13 + -6. Suppose -3*t + 25 = g. Suppose -t*z = -2*z - 136. Is 16 a factor of z?
False
Suppose -5 = 3*h - 5*c - 6, -2*c - 50 = 5*h. Let m = -3 - h. Suppose -m*p + 4 = -56. Is 4 a factor of p?
True
Let r(o) = -o**2 + 12*o - 1. Let l(t) = 4*t**2 - 37*t + 4. Let p(v) = -2*l(v) - 7*r(v). Suppose -40 = 4*m + 4*u, -u - 31 = 3*m + m. Is 10 a factor of p(m)?
True
Let h(k) = k**3 - k. Suppose -3*i = -8*i. Let x be h(i). Suppose -3*n + x*n + 30 = 0. Is 5 a factor of n?
True
Let p = 7 - 4. Suppose 2 = 3*z - 2*z. Suppose -p = -a, -z*a = -r - a + 5. Is 7 a factor of r?
False
Let a be 2 + (2/(-2) - 21). Let k = a + 49. Is k a multiple of 10?
False
Let o(m) = 4*m**3 - m**2 - 3*m + 2. Let t be o(3). Let i = t + -66. Let l = -18 + i. Does 4 divide l?
True
Let o(d) = -d**3 + 7*d**2 + 3*d - 1. Is o(6) a multiple of 24?
False
Let g(c) = 33*c**2 + 2*c + 2. Let s be g(-2). Is (s/3)/((-16)/(-24)) a multiple of 13?
True
Is -41 - -46 - (-29 - 1) a multiple of 2?
False
Suppose 3*w - 4*v - 216 = 0, v + 71 = w - 0. Is w a multiple of 56?
False
Suppose -3*s = 2*s - 220. Let d = 72 - s. Is 14 a factor of d?
True
Suppose -2 = u + 2*j - 0, -4*u + 2*j + 12 = 0. Let f be (u - 1)/(4/48). Let q = 22 - f. Does 10 divide q?
True
Let d = 55 + 8. Suppose 3*f = -0*f + d. Does 7 divide f?
True
Let t(k) = -k**2 - 6*k + 4. Is t(-6) even?
True
Let p be (8 - -5) + 1*2. Let h be ((-18)/p)/((-2)/5). Suppose -4*b = -h*b - 23. Is b a multiple of 8?
False
Let v be 2 - 3 - (-27)/3. Suppose 7*d = 6*d + v. Does 8 divide d?
True
Let b = 15 - 9. Does 16 divide (46 - 4)/(b/4)?
False
Suppose 2*r = -2*r + 632. Suppose 86 + 112 = 5*i - 2*f, -4*i + 2*f + r = 0. Is 12 a factor of i?
False
Let g = 6 + -4. Suppose -g*z + 0*z - 8 = -3*i, 0 = -i + 3*z - 2. Suppose -4*r = 2*y + 2*y - 32, i*r = y - 8. Does 7 divide y?
False
Let l(x) = -52*x - 2. Does 6 divide l(-2)?
True
Let j = 2 - 4. Let o be (-14)/(-4) - j/4. Suppose -o*m = 3*l - 120, 4*l + 2*m - 186 = -l. Is 13 a factor of l?
False
Suppose 3*c = 3*f - 87, 4*f + 3*c = 3*f + 21. Is f a multiple of 9?
True
Suppose 0*h = -2*t + 3*h + 62, -67 = -3*t - 2*h. Is 11 a factor of t - -6*1/(-2)?
True
Let f = -185 + 261. Is f a multiple of 7?
False
Let s(l) = -25*l - 11. Let h(b) = -5*b - 2. Let o(p) = -11*h(p) + 2*s(p). Let v(x) = x + 15. Let m be v(-14). Does 4 divide o(m)?
False
Is (376/(-10))/(2/(-5)) a multiple of 33?
False
Is (-10)/55 - (-1038)/22 a multiple of 12?
False
Suppose -p = 2*p. Suppose q + p*q - 41 = 0. Does 17 divide q?
False
Let x(n) = n**3 + 10*n**2 + 9*n + 7. Does 2 divide x(-9)?
False
Let s(r) = -r**2 + 4*r + 3. Let t be s(4). Suppose 9 = -p + 3*p - t*m, -4*p = -4*m - 28. Is p a multiple of 5?
False
Let l = -149 + 309. Is l a multiple of 10?
True
Suppose 2*t + 13 - 65 = 0. Suppose t = p + p. Is p a multiple of 12?
False
Let u(y) = -2*y**2 + y + 3. Let i be u(2). Let j = 34 + i. Does 17 divide j?
False
Let w(r) = r - 6. Let h be w(9). Suppose 4*d = 3*d + m + 17, 6 = -h*m. Does 14 divide d?
False
Suppose 0 = -5*a + j + 235, 2*a - 124 = -a + 4*j. Is a a multiple of 24?
True
Suppose 9*m - 943 - 155 = 0. Is m a multiple of 20?
False
Let y(d) = 31*d**2 + 1. Let n = 2 - 3. Let j = -2 - n. Does 11 divide y(j)?
False
Let x be (-1 + 1)*(1 - 0). Let a(f) = -f**3 - f + 2. Let p be a(x). Suppose 0 = 2*v - 2*b, 0 = -3*v - p*b + 4*b + 3. Does 2 divide v?
False
Let s(r) = r**3 + 9*r**2 + 4*r - 2. Is s(-8) a multiple of 30?
True
Let n(b) = -11*b + 24. Is n(-6) a multiple of 7?
False
Suppose 5*u + 6*o = o + 40, 2*u = 2*o + 4. Let c be (u + 1)/(2/7). Does 14 divide c/(2 - (-10)/(-8))?
True
Suppose -25 = -5*g, 3*n - 9 - 154 = -5*g. Suppose -5*u = -n - 24. Does 8 divide u?
False
Let k = -32 + 60. Suppose -4*l + q = 9 - k, -4*q = 12. Is 2 a factor of l?
True
Let g = -5 - -5. Let p be g*(-2 + 3 + -2). Suppose -o = -p*o - 24. Does 12 divide o?
True
Suppose 0 = 4*b - 2*g - 2*g - 28, -4*b - 7 = 3*g. Suppose -2*a = w - 11, b*a - w - 4 = a. Let i(x) = -x**3 + 7*x**2 - 5*x. Is i(a) a multiple of 20?
False
Let u(h) be the third derivative of h**5/10 - h**4/8 - h**3/3 + h**2. Suppose 0 = 2*g - 4*g + 6. Is 15 a factor of u(g)?
False
Let v be (51/(-3))/((-1)/5). Let j = -59 + v. Is 23 a factor of j?
False
Let q(p) = p**3 - 8*p**2 + 2*p + 2. Let d(n) = n - 6. Let o be d(14). Is 5 a factor of q(o)?
False
Let k = -16 + 20. Does 2 divide k?
True
Let j(d) = 35*d - 38. Is 14 a factor of j(4)?
False
Suppose 203 = 4*a + 79. Suppose 3*c - 21 = -r - 51, 86 = -5*r + c. Let n = r + a. Does 12 divide n?
False
Suppose 0 = -0*o + 3*o + 102. Let g = -18 - o. Does 6 divide g?
False
Let b be (15/10)/(3/20). Suppose -b = -p - 4*m, m = 3*p + 2*m - 8. Suppose p*w - 6*w + 196 = 0. Is 19 a factor of w?
False
Suppose -2*h - 4*s + 28 = 0, 0*s = 3*h + 5*s - 40. Is h a multiple of 2?
True
Suppose -4*z + s - 3*s = -288, -5*s - 72 = -z. Is z a multiple of 12?
True
Is (-5)/((-15)/39) - 1 a multiple of 6?
True
Let n = 20 + 79. Is 11 a factor of n?
True
Let k = 5 - 2. Suppose -76 = i + k*i. Is 8 a factor of 2 - i - (1 + -1)?
False
Suppose -7 + 15 = 4*r. Does 19 divide 114/2 + (r - 2)?
True
Let o be 5/(-1 - (-3)/2). Let b be (-5)/o + 34/4. Let c = b + 2. Does 5 divide c?
True
Suppose -4*x = 2*m + 84, 0*x = -5*x - 5. Let b = 76 + m. Is b a multiple of 21?
False
Let z(p) = 11*p + 8. Let b be z(7). Suppose -2*s = 3*s - b. Is 13 a factor of s?
False
Suppose 29 = 3*s - 151. Is s a multiple of 8?
False
Suppose g + 1 - 5 = 0. Let i(n) = -n**3 + 3*n**2 + 2*n + 4. Let b be i(g). Does 3 divide -3*(b + 3)/1?
True
Let g(b) = -2*b. Let p be g(-4). Let s be 874/p + (-2)/8. Suppose 4*f - 24 = -h, -f = 4*h + 2*f - s. Does 14 divide h?
True
Suppose -2 = n - 5*t - 9, -1 = -3*n - 5*t. Suppose 4*l = -5*u + 207, -n*l + l + 51 = u. Does 12 divide l?
True
Let p(c) = 50*c**3 + c. Is p(1) a multiple of 10?
False
Let r(w) = w**3 - 7*w**2 + 5*w + 8. Let t be r(6). Suppose -t*g - 71 = -5*u, -4*u + 25 = -3*u - 4*g. Is 13 a factor of u?
True
Let h(a) = 4*a. Let y be h(-2). Let z be 2*10/y*-2. Suppose -91 + 6 = -z*f. Does 8 divide f?
False
Is 2 - (1 + -5 + -156) a multiple of 9?
True
Let c = 45 + -11. Let v = c + -20. Is v a multiple of 7?
True
Suppose 21 = 4*f + 57. Let r = f + 6. Let n = 3 - r. Is n a multiple of 3?
True
Let u(j) = j**2 + 10*j + 2. Is 2 a factor of u(-10)?
True
Does 25 divide -3 + 6 + ((-282)/(-3))/2?
True
Let w = -1 - 0. Does 5 divide 0 - w - (-4 + 0)?
True
Let f(u) = -14*u**2 - u + 2. Let j be f(2). Is (-2 - 0)/(8/j) a multiple of 14?
True
Let p = -3 + 7. Suppose -p*j + 312 = 