. Is 16 a factor of g?
False
Suppose -7*s = -3*s - 32. Suppose 5*m + 9 = s*m. Is m a multiple of 3?
True
Let y be (1 + (0 - -6))*1. Is (-93)/(-7) - 2/y a multiple of 4?
False
Let f(m) = -10*m. Is f(-3) a multiple of 10?
True
Suppose f + 15 = 6*f. Let r be 43/f + 10/15. Suppose b + 2*b = r. Is b a multiple of 3?
False
Suppose 86 = 2*i - 3*x, -i + 24 = -3*x - 25. Does 7 divide i?
False
Let d = 332 + -232. Is 14 a factor of d?
False
Suppose -4*p = -0*q - 3*q - 33, -3*p + 2*q = -24. Does 11 divide 40/p*(-24)/(-5)?
False
Let t(f) = -f**3 - 7*f**2 + 7*f - 8. Let l be t(-8). Suppose -3*h + 0*h + 96 = l. Does 16 divide h?
True
Suppose 33 = 4*g - 5*j, -3*g + j + 9 = -2. Let x = 45 - 43. Suppose g*r = -x*r + 168. Is r a multiple of 13?
False
Does 3 divide (-1)/2*-2*17?
False
Let s(z) = -4*z + 3 + 0*z**2 + 3*z**2 + 0. Does 21 divide s(-4)?
False
Suppose j = 5*f + 51, f + 126 = 2*j - 3*f. Is j a multiple of 15?
False
Let r(m) = 2*m**3 - 3*m**2 - 6*m. Let c be r(6). Suppose 5*f + 316 = -4*b, 4*b + f + c = 3*f. Is -1 - -2*b/(-4) a multiple of 18?
True
Suppose -4*c + 2*c - 106 = -g, 2*c + 318 = 3*g. Does 9 divide g?
False
Suppose 4*y = 4*g - 840, g + 2*g + 3*y = 654. Does 37 divide g?
False
Let i = -8 + 5. Let z be (-6 + 2 - i)*11. Is 6 a factor of (-2)/z - 388/(-44)?
False
Suppose 244 = c - 16. Suppose -c = -4*t - t. Is 26 a factor of t?
True
Let v = 26 + -11. Let k = v + -11. Does 14 divide (-42)/k*8/(-3)?
True
Let n(a) = a + 22. Let i be (-4)/3*9/6. Let f = -2 - i. Does 11 divide n(f)?
True
Does 2 divide -2 - (-40)/(6 + -2)?
True
Let j(x) = -x**3 - x**2 - 2*x + 255. Is j(0) a multiple of 17?
True
Suppose -2*s = -1 + 3. Let p be 1 - 3 - (0 + s). Is ((-26)/(-4))/(p/(-2)) a multiple of 13?
True
Suppose -1 = i - 3. Suppose i + 34 = 4*z. Is z a multiple of 9?
True
Suppose y - 96 = -11. Does 12 divide y?
False
Let o be (-8)/2*(-9 + 5). Suppose b = -0*b + o. Is 8 a factor of b?
True
Let a(s) be the first derivative of -s**3/3 + 3*s**2 - 2*s + 3. Is a(4) a multiple of 4?
False
Let n(f) = f**3 - 6*f**2 + 6*f + 3. Let g be n(5). Let t(l) = -4*l + 4*l**2 - 3*l**2 + 0*l**2 - 2. Is 15 a factor of t(g)?
True
Let q(l) = -l**2 - 11*l - 11. Let d be q(-10). Let g be -2*(2/d)/(-2). Does 13 divide (54/(-4))/(g/4)?
False
Let r = 480 - 203. Is 42 a factor of r?
False
Does 8 divide 1634/6 - (2/6 + 0)?
True
Let q = -4 + 3. Let s be (0/q)/(1/1). Suppose w - 5*r = 36, s*r + 2*r = 4*w - 90. Is w a multiple of 20?
False
Suppose 2*s = -q - 15, 3*q = 3*s + 15 - 105. Let m = 1 - 2. Let r = m - q. Does 12 divide r?
True
Let a(j) = 3*j**3 + 6*j**2 - 37*j + 4. Is 10 a factor of a(4)?
False
Suppose -2*u + 1 = -b, -3*u = -2*b - b + 6. Suppose -4*r = u*v + 2*v - 117, 4*v - 78 = 2*r. Does 13 divide v?
False
Suppose 5*l = 5*n + 28 - 128, l - 31 = -2*n. Is n a multiple of 5?
False
Let w(r) be the third derivative of r**5/60 - r**4/24 - 4*r**3/3 - 4*r**2. Suppose -2*l = l - 18. Is w(l) a multiple of 10?
False
Let b = 137 + -74. Is 23 a factor of b?
False
Let q(a) be the second derivative of -1/20*a**5 - 1/3*a**3 + 0 + 3*a**2 + 2*a + 1/2*a**4. Does 21 divide q(5)?
True
Suppose 152 = -7*y + 11*y. Let s = -8 + y. Does 10 divide s?
True
Let w(g) = g**3 - 3*g**2 + 2*g - 3. Suppose -5*u = -4*u + 5*m - 13, 5*u - 5*m = 5. Let y be w(u). Suppose d = y*d - 18. Does 5 divide d?
False
Suppose -227 = -s - 2*s + 2*y, -5*s + 400 = y. Suppose -s = -3*d + 5*c, -3*d + 0*d + 4*c = -74. Is d a multiple of 18?
True
Let d(b) = -b**3 + 6*b**2 + 9*b - 7. Let y(u) = 14*u. Let n be y(1). Suppose 2*m - 4*m = -n. Does 4 divide d(m)?
False
Suppose -13 = 4*t + 3*i, -5*t - 15 = i + 3*i. Let s be 6/(-21) - 58/t. Is 7 a factor of (2 - s/7)*14?
False
Let v = -16 + 10. Let u(q) = q**2 + 4*q + 2. Does 14 divide u(v)?
True
Let s = 1 + -1. Suppose 5 + s = j. Is 5 a factor of j?
True
Is 524/12 - (-3 + (-44)/(-12)) a multiple of 19?
False
Suppose -3*w = 2*z - 258, 3*z - 45 = -w + 48. Let x = -49 + w. Does 10 divide x?
False
Let c = 71 + -85. Let i be (-1)/(1/2) + -2. Is 13 a factor of i/c - 267/(-21)?
True
Suppose -4*d + 4*o + 820 = 0, 237 - 1261 = -5*d + 4*o. Suppose -b = -4*b + d. Is b a multiple of 16?
False
Let q(w) = -w**3 + 8*w**2 + w - 1. Let a be q(8). Let k(o) = o**3 - 6*o**2 - 5*o - 3. Does 3 divide k(a)?
False
Let f = -1 - -3. Suppose 0 = -3*a + f + 4. Suppose -7 = a*k + 5*i - 36, 2*k - 27 = -3*i. Is 10 a factor of k?
False
Does 21 divide -6*(-3 + 1/(-2))?
True
Let x(m) = m**2 + 5*m. Let y be x(-5). Suppose y = -f - 3*f + 12. Suppose -f*l + 132 = l. Does 15 divide l?
False
Suppose 0 = 7*v - 3*v. Is -2 + 3 + v + 25 a multiple of 13?
True
Suppose -191 = -11*d + 667. Is d a multiple of 13?
True
Suppose p - 8*f = -3*f, p = -2*f. Suppose 9 = w - p*w. Is 9 a factor of w?
True
Let x(p) = -11*p + 5. Let q be x(-5). Let y = -42 + q. Is y a multiple of 9?
True
Let n(x) = -5 + 2*x - 3*x + 4*x. Let d be n(-4). Does 10 divide (1 - d - 1) + 0?
False
Let w(z) = -z**3 + 10*z**2 - z + 13. Let o be w(10). Is 13 a factor of o/((-24)/(-26))*4?
True
Let z = 115 - 55. Is 20 a factor of z?
True
Let k = 22 - 18. Does 9 divide 1/k + 297/12?
False
Suppose -4*i + 4*q + 8 = 0, -6 = 5*i + 4*q + 2. Suppose -3*u + 39 = 3*v - i*v, -3*u + 5*v = -39. Is u a multiple of 13?
True
Let j(q) = 90*q**2 + 1. Let n be j(1). Does 14 divide n/3 - (-2)/3?
False
Is (90/(-4))/(3/(-6)) - -3 a multiple of 16?
True
Is (-7)/((-14)/114) + 1 a multiple of 8?
False
Let k(t) = t**2 + t + 27. Is 8 a factor of k(0)?
False
Suppose 5*y + 90 = -0*y. Is (7/(-2))/(9/y) a multiple of 3?
False
Let u = 2 + -2. Suppose 3*t + u*t - 15 = 0. Suppose 0*i = 4*z + 5*i - 17, 0 = -z + t*i + 23. Does 8 divide z?
True
Let k be 3 - 1*(0 + -1). Let t(b) = b**3 - 5*b**2 + 5*b. Let n be t(k). Suppose -y + i + 2 = -8, 5*i = n*y - 45. Does 2 divide y?
False
Suppose -3*o + 2*t = 3, 3*t + 21 = -4*o - 0*t. Let q = o - -5. Suppose 0 = -q*w - 3*w + 140. Is 14 a factor of w?
True
Let u = 7 - 2. Suppose p - 104 = -u*j, 100 = 3*j + j + 5*p. Is 20 a factor of j?
True
Let l = 6 - -20. Does 26 divide l?
True
Suppose 5*t + 3*g = -g + 230, 0 = 4*g + 20. Is t a multiple of 10?
True
Let z be ((-5)/(-20))/((-1)/(-4)). Does 10 divide (-1 - z) + 31/1?
False
Let r(f) = -f**3 - f**2 + f + 1. Let i(t) = -2*t**3 + 5*t**2 - t - 2. Let g(c) = i(c) + 3*r(c). Is g(-1) a multiple of 6?
True
Let t = 544 + -298. Suppose z = 4*p + t, 104 = -2*p - 3*z - 12. Let i = p - -85. Does 12 divide i?
True
Suppose -2*t = -2*p - 12, -2*p = 3*p + 4*t + 30. Let j = p - -9. Suppose -86 = -j*f - 5*w, -10 + 108 = 5*f - 3*w. Is 9 a factor of f?
False
Let b(w) = w**2 + 3*w + 4. Is b(3) a multiple of 13?
False
Is (-2)/(-7) + (-7)/(49/(-474)) a multiple of 28?
False
Suppose 0*f - 5*f = 15. Let m(w) = -2*w**3 - 2*w**2 + 3*w - 3. Does 12 divide m(f)?
True
Is (3/2)/((-12)/(-112)) a multiple of 7?
True
Is 3 a factor of ((-18)/2)/(39/(-65))?
True
Suppose -9*r + 11*r - 80 = 0. Is 10 a factor of r?
True
Suppose -4*u + 6*u - 6 = 0. Suppose 0*q - 4*c = q - 2, -u*c + 10 = 5*q. Is q even?
True
Let n = 78 - 126. Let f be (-2)/(-3) + (-762)/9. Let i = n - f. Does 18 divide i?
True
Suppose -5*o + 22 = 2, -4*c + 76 = o. Suppose 5*f + 4*g - 22 = -0*f, -4*g = 3*f - c. Is f a multiple of 2?
True
Let d(o) = 10*o**2 + 3*o + 5. Does 35 divide d(-5)?
False
Let w(a) be the first derivative of -3*a**2 - 3 + a - 1/4*a**4 + 2*a**3. Is w(4) a multiple of 5?
False
Let n = 5 + 25. Suppose 2*h = -0 + n. Is 15 a factor of h?
True
Let l(k) = -k + 88. Let g be l(0). Suppose -56 = -f + g. Suppose w = -3*w + f. Is 18 a factor of w?
True
Let n(b) = 2*b - 24. Let u be n(11). Is (-1)/u - (-87)/2 a multiple of 11?
True
Is 2 a factor of 1/(((-1)/(-1))/8)?
True
Let n(o) = 13*o - 1 + 26*o + 2 - 4. Does 12 divide n(1)?
True
Suppose 2*j - 6*j = -72. Is 11 a factor of j?
False
Suppose 3*k + 872 = 5*c, -2*k + k = 4*c - 684. Does 12 divide c?
False
Suppose 6*k = 2*k, -1 = -s + k. Let c be (-38)/6 - s/(-3). Is c*2/4*-7 a multiple of 8?
False
Let y(t) = t**3 + 3*t**2 + 3*t + 3. Let p be y(-2). Let z be (-5)/2*36/(-15). Let s = z - p. Is s a multiple of 2?
False
Let w be (-6)/27 + (-344)/(-9). Let d = -165 + w. Let j = -91 - d. Does 14 divide j?
False
Let k(m) = -m**3 - 4*m**2 + m - 6. Let b be k(-5). Let q = b + -21. Let y(l) = -l**3 - 7*l**2 - 3*l - 9. Does 6 divide y(q)?
True
Let a(f) = 2*f**3 