
True
Is -23 + 38 - (0 - (-1 - -2)) a multiple of 8?
True
Let y = -16 + -6. Let n = 37 + y. Is n a multiple of 7?
False
Suppose -3*d - 30 = -2*d. Is (-1)/(-6) + (-145)/d a multiple of 2?
False
Let k = 29 + -13. Let o = 39 - k. Let l = -5 + o. Does 12 divide l?
False
Let g = 1 - -6. Is 3 a factor of g?
False
Let q be (6/3 + -64)/(-2). Let v = q - 17. Is 14 a factor of v?
True
Does 20 divide 6/14 + 1939/49?
True
Let b be (-2)/(-4)*(9 - 1). Is 9 a factor of 140/16 - (-1)/b?
True
Let b be (2 + -7)/((-2)/(-2)). Let f(u) = u**2 - 7. Does 12 divide f(b)?
False
Let f(q) = q - 6. Let k(o) = 2*o - 16. Let c be k(11). Let m be f(c). Suppose 0 = 5*x - m*x - 130. Does 10 divide x?
False
Is 1/(4 + 86/(-22)) a multiple of 5?
False
Let c(z) = z**2 - 5*z + 5. Is c(-8) a multiple of 11?
False
Let q be (-1)/(-2) - 1/2. Suppose q*k = -5*k + 20. Suppose -3*c + k*c = 18. Is c a multiple of 12?
False
Suppose 0 = 3*p + 3*s - 27, -5*p = -0*p - 5*s - 45. Suppose p = 2*z + 1. Let x(v) = v + 1. Does 2 divide x(z)?
False
Let u = -3 + -1. Let t = 6 + u. Does 2 divide (t + (-3)/3)*3?
False
Suppose -2*s + 3*i + 1481 = 0, -6*s + s = 4*i - 3760. Is 12 a factor of (-9)/12 - s/(-16)?
False
Let p = -16 + 26. Let q = 12 - p. Suppose 1 = -q*t - 1, y - 2*t - 18 = 0. Does 16 divide y?
True
Let w(s) = 2*s**2 - 9*s - 11. Let m be w(-8). Does 7 divide (m/18)/((-1)/(-2))?
True
Suppose 0 = 4*k + 4*f, -3*k - 2*f + 5 = -4*f. Is 2 a factor of -2 + 10 - (k - 3)?
True
Let a(o) = o**2 + 2*o + 5. Let i = -2 - -4. Suppose 6 = -2*u + s, 2*u = 3*s + i - 0. Is 10 a factor of a(u)?
True
Is 5 a factor of 1556/11 - 36/(-66)?
False
Is (1 - 0)/((-1)/(-11)) a multiple of 11?
True
Suppose -4 = -2*z, 2*z = -2*x - 2*x + 32. Let r = 19 - x. Suppose -r = -2*h - 4. Does 3 divide h?
False
Does 11 divide (-1)/(1/(-109)) - (12 - 13)?
True
Let q(v) = v**2 - v. Let y be q(-4). Let t be (-4)/(-6) - y/(-6). Suppose -17 - 2 = -5*i + 4*n, -10 = -2*i + t*n. Does 3 divide i?
True
Suppose 0 = -x - 2, o = -0*o - 4*x - 5. Suppose o = 5*n - 7. Suppose 0 = n*l + 11 - 55. Is 11 a factor of l?
True
Let g = 2 - -3. Let v = -3 + g. Is 2 a factor of v?
True
Is 11 a factor of (385/10)/((-1)/(-2))?
True
Suppose 0 = -o + 2*o + 5*d - 55, -o - 2*d + 46 = 0. Let t = o - 18. Does 11 divide t?
True
Let r = -43 - 37. Let x = -30 - r. Is 20 a factor of x?
False
Let j(h) = -10*h**3 + h**2 - 3*h - 3. Let s be j(-2). Suppose 133 + s = 5*y. Is 18 a factor of y?
False
Suppose -3*s = -3*d + 1148 - 407, -3*s + 1203 = 5*d. Is 27 a factor of d?
True
Is 47*(5 - (8 + -4)) a multiple of 17?
False
Suppose -3*v = -0 - 75. Is 16 a factor of v?
False
Let s(h) = -5*h - 15. Let k = -6 - 0. Does 5 divide s(k)?
True
Let n(y) = y**3 + 11*y**2 + 6*y + 3. Let f be n(-7). Suppose f = 4*h - 11. Is (-2 + 7)*h/5 a multiple of 17?
False
Let p(k) = k**2 + 10*k + 5. Let z be p(-9). Does 17 divide -2 + z/(4/(-53))?
True
Let m = 24 + -7. Let x = m + -34. Let g = x + 43. Does 13 divide g?
True
Let c = 75 - 6. Does 12 divide c?
False
Let x(t) = -t**2 + 8*t - 2. Let p(u) = 1. Let l(w) = -6*p(w) + x(w). Let f be l(6). Suppose 0*c - 24 = -n - f*c, n - 23 = -3*c. Does 10 divide n?
True
Let f = -13 + 7. Let l = 8 + f. Does 2 divide l?
True
Let d = 2175 - 1158. Let m be d/(-45) - 4/10. Let l = -11 - m. Is l a multiple of 6?
True
Suppose 0*j - j = -1. Let p be (2/4)/((-4)/128). Is 7 a factor of j/2 + (-424)/p?
False
Let h = 7 + -2. Suppose 2*a - 160 = 5*i + h, -4*a - 125 = 3*i. Does 6 divide 8*1*i/(-28)?
False
Suppose -5*d = -4*u + 6*u - 1, -5*u + 14 = d. Suppose -8 - 19 = -u*j. Does 4 divide j?
False
Let u be (-28)/(-6)*30/(-4). Does 7 divide u/14*(-28)/5?
True
Let f(o) = -o**3 - 7*o**2 - 8*o - 8. Let h be f(-6). Let z be 0 + 0 - 6*-1. Suppose j = z + h. Does 4 divide j?
False
Suppose -5*a + 220 = -o - 4*o, 3*a + o = 148. Is a even?
True
Let t(n) = -20*n - 4. Is t(-2) a multiple of 12?
True
Let l(c) = c**2 - 8*c - 8. Let a be l(9). Does 12 divide (15 + a)/((-20)/(-30))?
True
Suppose -f + 3*y - 12 - 32 = 0, 3*f + 116 = 5*y. Let h = f - -141. Suppose 9 = 3*p - 3, -5*m + h = -4*p. Is 14 a factor of m?
False
Suppose -4*f = 2*v + 2*v - 648, -2 = -v. Is f a multiple of 40?
True
Suppose 0 = -17*t + 693 + 157. Does 5 divide t?
True
Let p(o) = 2*o**2 + 3*o. Let g be p(-2). Let z be (-538)/(-4) - (-1)/g. Suppose -l + z = 4*w - w, 3*w - 129 = l. Is w a multiple of 20?
False
Let l be (-2)/10 - (-1304)/20. Suppose -4*d - d = l. Let n = 23 + d. Does 5 divide n?
True
Is 8 a factor of (-4)/(-22) + 82/(-44)*-16?
False
Suppose 4*w - 288 = -2*y + 4, -5*w = y - 143. Is 19 a factor of y?
False
Let f = -2 - -6. Suppose -b - f*a - 3 = 0, -a = -4*b + 6 + 33. Is b a multiple of 3?
True
Let f(x) = 19*x**3 - 2*x**2 + 1. Let v = 6 + -5. Is f(v) a multiple of 7?
False
Suppose -3*a + 0*v = 2*v - 54, -46 = -2*a + 2*v. Suppose -i - a = -3*i. Is i a multiple of 5?
True
Suppose 6*q - 10*q = -76. Suppose -f + q + 17 = 0. Is 9 a factor of f?
True
Let x = 42 - 13. Is 6 a factor of x?
False
Let c(u) = -u**3 - 4*u**2 - u - 6. Let y be c(-5). Let b = y - 20. Is b a multiple of 3?
False
Does 8 divide -5*((-48)/20 + -4)?
True
Suppose 4*s - 2*k - 16 = 0, 4 = -2*s + 3*k + 20. Is 16 a factor of 29*(1 + (2 - s))?
False
Suppose 0 = j + 1 + 3. Let m = 13 - j. Is 17 a factor of m?
True
Let c = -172 - -310. Is 39 a factor of c?
False
Let c = -96 + 210. Is 19 a factor of c?
True
Let t be (-3)/((-12)/(-124)) - -1. Is (-100)/(-6) - (-20)/t a multiple of 13?
False
Let b(g) = -g**2 - g + 1. Let v(u) be the third derivative of u**5/60 + u**4/4 - 7*u**3/6 - u**2. Let x(s) = -6*b(s) - v(s). Is 8 a factor of x(2)?
False
Suppose -3*v - 2*v + 30 = 0. Is -69*(-1 + v/9) a multiple of 23?
True
Is ((-60)/(-9))/((-10)/(-75)) a multiple of 10?
True
Let d = 178 + -140. Is 11 a factor of d?
False
Let w = 48 + -9. Suppose -w = -2*p - p. Is 13 a factor of p?
True
Suppose 4*k + 4*q = -92 + 388, 82 = k + 5*q. Is k a multiple of 12?
True
Let x be (-1)/6 - 1/(-6). Suppose 3*l + x*l + 282 = 0. Let t = l - -134. Does 20 divide t?
True
Let p(f) = 3*f + 5. Does 34 divide p(20)?
False
Let l be 4/3*1044/8. Suppose -y - y - 3*i = -96, -3*y + 3*i = -l. Is y a multiple of 21?
False
Let q(c) be the third derivative of -7*c**4/12 - c**3/2 - 2*c**2. Is 7 a factor of q(-2)?
False
Let l = -3 + 7. Suppose -5*c = 2*u - l*c + 3, 0 = -u - 3*c + 11. Is 2 a factor of (u/(-8))/((-2)/(-12))?
False
Let z = 14 + 218. Does 14 divide z?
False
Let j = -45 - -67. Is 4 a factor of j?
False
Suppose 0 = -0*s - 5*s + 3*j + 69, 2*s + j = 21. Does 4 divide s?
True
Let t(k) = -k**2 - 9*k - 5. Let q be t(-7). Let n = -2 + q. Let u = n - 1. Is 4 a factor of u?
False
Suppose -5*i - 9 = -59. Let n = -11 + i. Does 3 divide (1*(-10 - n))/(-1)?
True
Suppose 0 = -v - o + 11, 5*o = -3*v - 0*v + 43. Is 3 a factor of v?
True
Suppose 0 = -2*a - 4*v + 8*v + 24, 0 = -4*a + v + 41. Does 10 divide a?
True
Let i = 38 + -20. Is 858/27 - (-4)/i a multiple of 18?
False
Let j be -14 - -13 - -1*3. Suppose r = j*r - 3. Is 3 a factor of r?
True
Let w(f) = 2*f**2 + f. Let y be w(1). Suppose n - 2*l - 12 = 14, y*l - 31 = -2*n. Does 7 divide n?
False
Suppose -i + 35 = 4*i. Suppose 2*k - 228 = -2*k. Suppose 4*o - i - k = 0. Is 8 a factor of o?
True
Is 14 a factor of -1 + (1 - -45) - (-54 + 57)?
True
Suppose 252 = 11*i - 10*i. Is 18 a factor of i?
True
Suppose -5*s + 415 = -3*m, -5*s - m + 2*m = -405. Is 7 a factor of s?
False
Let j(w) = -w**3 - 4*w**2 + 5*w + 7. Let y be j(-5). Suppose -3*c - 4*g = -4*c + 6, -4*g = 2*c. Let o = c + y. Does 4 divide o?
False
Let h be (55/15)/((-1)/(-15)). Suppose -5*p + 3*p + 3*s = -h, 4*s = -2*p + 90. Let m = -15 + p. Is 10 a factor of m?
True
Let g = -17 - -68. Is 6 a factor of g?
False
Let t = -7 + 33. Let y = -11 + t. Is y a multiple of 4?
False
Suppose 4*f = -5*s + 18, 5*s = -2*f + s + 12. Suppose f*l = 5*d + 62, -d - 109 = 6*l - 11*l. Is l a multiple of 16?
False
Let k be 1/(-1) - (-68)/(-4). Does 18 divide (-778)/k - (-4)/(-18)?
False
Let b be (-57)/(-12) - 2/(-8). Let h = 266 + -184. Suppose h + 48 = b*t. Is t a multiple of 13?
True
Is 51 a factor of 4/8 - (-2545)/10?
True
Suppose 2*y = y + 4*m + 21, y + 24 = -5*m. Is 3 a factor of 205/20 - y/4?
False
Let j = -124 + 184. Is 20 a factor of j?
True
Suppose -2*l + 0*m + 1 = m, -4*l + m + 11 = 0. Let z(g) = 24 - 2*g + g + l*