pose -5*i - x = 15, i + 3*x + d = 7*x. Does 21 divide 26/4*i/(-1)?
False
Is 10/3*24/40 a multiple of 2?
True
Let n be 0 + 6/(-9)*-24. Let k be (-66)/n*2*4. Does 15 divide (-218)/(-11) + (-6)/k?
False
Suppose 4*o - 3 = 3*o + 2*j, 2*o - j - 6 = 0. Is o a multiple of 3?
True
Let t be (-2 - -16) + (7 - 8). Suppose 8 - 19 = -4*n - 3*p, -2*n = -p - t. Does 3 divide n?
False
Does 8 divide 138 + 4 - (5 - 2)?
False
Is 10 a factor of -5*(4/(-8)*34 + 1)?
True
Is 40 a factor of 1000/6 - (35/(-15) - -3)?
False
Suppose q - 2*q = 14. Let g = q + 36. Is g a multiple of 11?
True
Let s(z) = z + 2. Let m be 1/(-2*(-2)/24). Does 8 divide s(m)?
True
Let p(q) = q + 22. Let r(w) = -w**3 + 5*w**2. Let n be r(5). Is p(n) a multiple of 22?
True
Let i(h) = -2*h**3 - 10*h**2 - h - 10. Let l be i(-7). Let y = -298 + l. Let z = y + 160. Does 21 divide z?
False
Let b(x) = 41*x - 26. Does 61 divide b(11)?
False
Let h be 34*(1 + 9/(-6)). Let u = h - -29. Is 9 a factor of u?
False
Let j(l) = 11*l - 2. Does 31 divide j(4)?
False
Let z(k) = 2*k**2 - 17*k - 78. Is z(18) a multiple of 24?
True
Let i be -1 + 3 - (-8)/2. Suppose -a + i*a = 120. Suppose -n - 3 = -4*d, -a = -3*n - 2*d + 23. Is n a multiple of 5?
False
Let j(z) = z**2 + 6*z + 7. Let b be j(-5). Suppose -5*g - 57 = -b. Is 9 a factor of (g/2)/((-1)/4)?
False
Let q(g) = -19*g + 4. Let v be q(-3). Let z = -27 + v. Suppose 0 = -2*r + 4*r - z. Is 17 a factor of r?
True
Suppose 617 + 85 = 3*m. Is m a multiple of 57?
False
Let w be 2*(92/8 - 1). Suppose -60 = -2*n + 4*r, 0 = -n - 2*r + 25 + w. Does 14 divide n?
False
Let f = -1107 + 540. Let d be f/(-28) + (-1)/4. Suppose 0*v + 5*v = d. Does 4 divide v?
True
Let s = 0 - -2. Suppose -h = -4*b - s, -2*h - 2*b = -1 - 3. Suppose h*g + 2*g = -3*t + 50, -5*t = 5*g - 80. Is t a multiple of 7?
True
Let l(w) = -3 + 2 + 4 - 2 - w. Let u be l(-1). Is 12 - 2/4*u a multiple of 5?
False
Let z(u) = -u**2 - 7*u + 5. Let a be z(-7). Suppose 3*v = 2*x - 32, -a*x - 3*v + 5*v + 80 = 0. Is 8 a factor of x?
True
Suppose -2*n + 2*b = 5 + 25, n - 3*b + 11 = 0. Let d = 33 + n. Is d a multiple of 8?
True
Let m = 152 + -125. Is 10 a factor of m?
False
Suppose 0 = -q + 5*q + 24. Is (-14)/21 - 82/q a multiple of 3?
False
Suppose 0 = -o + 1 + 15. Is o a multiple of 9?
False
Let i be 2/(2/15) - 2. Suppose 0 = z - 10 - i. Is z a multiple of 16?
False
Let n = 6 - 3. Suppose -3 = n*o - 33. Does 5 divide o?
True
Let t = 10 - -35. Is 15 a factor of t?
True
Suppose -3 + 9 = 3*i. Suppose -i*g + 24 = -0*g. Does 15 divide 4*((-555)/g)/(-5)?
False
Suppose -30 = 18*t - 21*t. Does 6 divide t?
False
Suppose -60 = 2*w - 372. Suppose -2 = 5*z - 7, 4*n = 4*z - w. Let p = n + 67. Is 9 a factor of p?
False
Suppose 0*u = 5*u - 20. Suppose 12*w = 7*w + 10. Does 10 divide ((-15)/w)/((-1)/u)?
True
Let i(r) = 7*r**2 + 6. Does 9 divide i(-3)?
False
Let x = 57 + 1. Is x a multiple of 17?
False
Let g(q) = q**3 - 7*q**2 - 5*q - 10. Let n(x) = -3*x - 7. Let h be n(-5). Is g(h) a multiple of 6?
False
Let v(l) = -5*l - 3. Let u(s) = -s**2 - 3*s + 2. Let k be u(-4). Let a be v(k). Let n = a - -11. Is n a multiple of 12?
False
Suppose 0 = -4*s - 109 + 541. Suppose -2*l + s = 4*l. Is l a multiple of 6?
True
Let z(s) = s**3 + 11*s**2 + 10*s + 14. Let y be z(-10). Suppose 70 = 4*c + y. Is 7 a factor of c?
True
Let r(y) = 19*y**2 - 2*y - 1. Suppose 0 = -2*s + 5*t + 8 + 9, 5*t + 45 = -5*s. Let k(f) = f**2 + 3*f - 5. Let u be k(s). Is 10 a factor of r(u)?
True
Suppose 5*i - s = 982, -2*i + 4*s + 379 = -s. Does 35 divide i?
False
Let w = 119 - -19. Is 23 a factor of w?
True
Let h be 1 + 2 - 11/1. Let l(f) = -f**2 - 13*f - 12. Is l(h) a multiple of 14?
True
Does 12 divide (173/(-3))/(32/12 - 3)?
False
Let s be (17/4)/((-2)/(-16)). Let i = s - 21. Is i a multiple of 4?
False
Let n be (-11)/(3/(1 + -16)). Let w = -33 + n. Does 18 divide w?
False
Let w be (-2)/(-2)*(9 - 4). Suppose 3 = v, -w*a + v = -105 - 42. Is 15 a factor of a?
True
Suppose -h = 2 - 15. Let m = 28 - h. Is 3 a factor of m?
True
Let t = -2 + 17. Let o = 0 - -7. Let y = t - o. Is y a multiple of 8?
True
Suppose -3*v + 3 = 0, 0*t - 3 = t - 5*v. Let b(y) = -2 + 0*y + 12*y + 0. Is 11 a factor of b(t)?
True
Let a = 42 + 19. Let g be 0 + 0 + 0 + a. Suppose -3*v - i + g = -2*i, 2*i - 18 = -v. Is v a multiple of 10?
True
Let v = -33 - -78. Is v a multiple of 15?
True
Suppose 0 = a + 52 - 64. Is 12 a factor of a?
True
Suppose 0 = w - 6*w - 5, 102 = -3*s + 3*w. Let t be ((-6)/(-15))/((-1)/s). Let c = t - 1. Does 13 divide c?
True
Let t(b) = 7*b**2 + b + 1. Let h be t(-2). Let v be 2/(-7) + (-103)/7. Let l = v + h. Does 5 divide l?
False
Let p(g) = 2*g**2 - g + 5. Is 27 a factor of p(6)?
False
Suppose -139 = -6*m + 35. Is 13 a factor of m?
False
Is (-4)/30 - 4135/(-75) a multiple of 10?
False
Let j(k) = -134*k - 6. Let g(s) = -27*s - 1. Let o(d) = -11*g(d) + 2*j(d). Let x(t) = -t**2 + 10*t - 8. Let v be x(9). Is 16 a factor of o(v)?
False
Let m(n) be the third derivative of -n**6/120 + n**5/60 - n**3/6 + 3*n**2. Let x be m(0). Let o = 34 + x. Is 11 a factor of o?
True
Suppose 7*q - 2*q - 190 = 0. Is 2 a factor of q?
True
Let d(u) = -u**2 + 24. Let g be d(0). Suppose 2*w + 2 = g. Is 4 a factor of w?
False
Let g(d) = 8*d - 14. Does 6 divide g(4)?
True
Let n(x) = 3*x**2 + x + 1. Let f be n(-1). Suppose 2*a + 13 = -f*h, 5*h + 15 + 6 = -3*a. Is 2 a factor of 3 - (2/a + 1)?
False
Let t = 8 + -5. Is 2 a factor of t?
False
Let m(j) = 5*j**2 - 1 + 4*j + 2*j**3 - j**3 + 3*j. Let p be m(-5). Is 6/(-9)*p/2 a multiple of 10?
False
Let o(u) = 12*u**2 - 3*u - 3. Is 8 a factor of o(-2)?
False
Suppose 4*k + z + 37 + 12 = 0, -3*k = -5*z + 31. Let n = 14 + -18. Is 3 a factor of ((-9)/n)/((-3)/k)?
True
Let f = -2 - -3. Let g = 0 + f. Suppose t = 5 - g. Does 4 divide t?
True
Let f = -153 + 295. Let h(g) = -g**3 + 3*g**2 - 4. Let v be h(3). Is v/14 - f/(-7) a multiple of 10?
True
Let o be 5/(-5) + -2 + -53. Let a = -32 - o. Does 6 divide a?
True
Suppose -97 = 4*r - 241. Is r a multiple of 12?
True
Suppose -2*h = -5*y - 10, y + 5 = -5*h + 30. Let k = y - 0. Suppose k = -2*p, n = -0*n - 4*p + 22. Is 10 a factor of n?
False
Let b(v) = 10*v**3 - v. Let d be b(1). Does 7 divide 4 + -1 + d + 2?
True
Let i be (-4)/(-18) + (-1025)/(-45). Suppose 35 = 2*q - i. Does 16 divide q?
False
Suppose 0 = 5*a + 5*w - 164 - 351, 503 = 5*a + w. Is a a multiple of 12?
False
Let a = 0 + 3. Suppose -3*j + 2*v + 7 = 0, -a*j = 2*j + 3*v + 1. Is 10 a factor of ((-6)/(-4))/(j/18)?
False
Let x(j) = 7*j - 3. Let l be x(6). Suppose -2*q - 3 = -l. Is 5 a factor of q?
False
Let m be (-2)/((-1)/2*-2). Does 18 divide ((-67)/m)/((-5)/(-10))?
False
Let c be 0/2 - (4 - -1). Let f(u) = u**3 + 2*u - 7 + 7*u**2 + 0 + 3*u**3 - 3*u**3. Does 11 divide f(c)?
True
Let o(y) = y - 6. Let g be o(6). Let q be 2 - 0 - (g - -2). Is 10 a factor of -1 + (q + 1)*31?
True
Let n(z) = 2*z**2 - 4*z - 2. Let p(w) = w**2 - w. Let d(y) = -n(y) + 4*p(y). Let i(b) = b - 1. Let g be i(-1). Is 3 a factor of d(g)?
False
Suppose 0 = 4*x - 9*x + 35. Suppose 3*l + 3 = 3*o, l + 2*l - 9 = 0. Let p = x - o. Does 2 divide p?
False
Suppose 0 = 2*s - 0*s + 4*g + 182, 5*s + 4*g = -479. Let q = s + 169. Suppose -2*j - 4 = -4*j + 4*t, -5*t + q = 5*j. Is 10 a factor of j?
True
Let j = -168 + 344. Is 44 a factor of j?
True
Suppose 34 = 2*j - r, 4*j - 54 = 5*r - 10*r. Is 10 a factor of j?
False
Let v(s) = -49*s**3 + 2*s + 1. Let u = 13 - 14. Is 12 a factor of v(u)?
True
Let o be 183*(-3 + 11/3). Let k = o - 77. Does 23 divide k?
False
Suppose 32 = 2*b + 10. Suppose 4*y - 71 = -h, -5*y = -5*h + 369 + b. Is h a multiple of 17?
False
Let r(a) be the first derivative of -15*a**2 - 1. Is r(-1) a multiple of 24?
False
Let l(w) = -3*w + 2 + w**2 + 2*w + 5. Is 6 a factor of l(0)?
False
Suppose 3*s - 18 = 2*s + 4*d, 24 = 2*s - 5*d. Let w be s - -12 - (-3 - -3). Let g = -3 + w. Does 11 divide g?
True
Does 18 divide (76/3)/(-2 - 13/(-6))?
False
Let x(n) = -2*n - 7. Let t be x(-5). Suppose -6 + 63 = t*j. Is j a multiple of 10?
False
Suppose 2*r - 37 = r. Suppose -2*h = -3*h + r. Does 18 divide -1*2 + 1 + h?
True
Let k be 9/2*(-4)/(-6). Let y(d) = -d + 7*d + 4 - 2 - d. Is 7 a factor of y(k)?
False
Let r(c) = c**3 + 11*c**2 - 3*c - 6. Let q be r(-11). Suppose g + 0*m = -m + q, -5*g + 95 = -3*m. Does 5 d