alse
Suppose 5*s - 3*s = 26. Let h = s + 10. Is 13 a factor of h?
False
Let y = -18 + 27. Let w(z) = z**2 - 10*z + 12. Is w(y) a multiple of 3?
True
Let h = -222 - -339. Suppose h = 5*f - 43. Is 23 a factor of f?
False
Let d(f) = -331*f**2 + f - 1. Let b be d(1). Let j = b + 145. Is 19 a factor of (-2)/(-5) + j/(-10)?
True
Suppose -20 = 3*r - 56. Is r a multiple of 7?
False
Let m = -10 + 123. Does 29 divide m?
False
Let h(o) = -3*o**3 + 8*o**2 - 6*o + 6. Let t(l) = 16*l**3 - 39*l**2 + 29*l - 31. Let b(z) = -11*h(z) - 2*t(z). Is b(10) a multiple of 19?
True
Suppose -5*z - 2 = -22. Suppose -a - z = -3*a. Is 8 a factor of 1/a*1*58?
False
Suppose j + 97 = 3*o - j, 3*j + 161 = 5*o. Is o a multiple of 23?
False
Let u(c) = c**3 + 13*c**2 - 8*c - 24. Is u(-13) a multiple of 41?
False
Suppose z - 108 = -3*z + 4*n, 0 = 5*z - n - 119. Suppose 5 + z = 2*c. Is c a multiple of 7?
True
Let u = 385 + -134. Does 41 divide u?
False
Let t = 90 + -63. Suppose -13 = -5*u + t. Does 11 divide ((-50)/u)/((-4)/16)?
False
Let m(x) = x**2 + 3*x - 2. Let j be m(-4). Let y be 10 + 1 + 1 + 0. Suppose 2*k = -j*k + y. Is k even?
False
Let n = 0 + 0. Suppose k - 5 - 11 = n. Does 6 divide k?
False
Let f = 66 - -192. Is 8 a factor of f?
False
Let b(o) = o**2 + 6*o + 5. Let h be b(-6). Suppose d = -1 - 2, -25 = 2*s + h*d. Is s*(2 + (-18)/5) a multiple of 4?
True
Let s(r) = -4*r**3 - 3*r**2 + 23*r + 14. Let f(w) = -w**3 - w**2 + 8*w + 5. Let i(j) = 17*f(j) - 6*s(j). Suppose 2*z + 1 = 3. Is 4 a factor of i(z)?
False
Suppose -4*r + 2 = 22. Let y = -16 + r. Is (-426)/y + (-2)/7 a multiple of 10?
True
Does 4 divide 280/42*18/10?
True
Suppose 0 = j + 2*j - 9. Suppose -x - j*x + 12 = 4*h, -12 = x - 4*h. Suppose x = 2*d + 3*d - 50. Is d a multiple of 4?
False
Suppose -22 = -3*h + h. Suppose -2*j = -3*l - 16, 2*l + h = -l + j. Is 9 a factor of ((-4)/8)/(l/56)?
False
Let w = -83 + 134. Is w a multiple of 17?
True
Suppose -f = 3*f - 28. Suppose 0*n - 5*a = -n + f, 3*n + 3*a - 21 = 0. Does 7 divide n?
True
Suppose 10*c = 12*c - 442. Does 13 divide c?
True
Let d(f) = -2*f + 3. Let r be d(2). Is (1 - -1*20) + r a multiple of 17?
False
Suppose -2*h = 2*w - 288, 0*w - 3*w - h = -422. Is w a multiple of 23?
False
Let d(a) be the third derivative of -a**4/24 - 5*a**3/6 - a**2. Is 3 a factor of d(-10)?
False
Suppose 5*m - 406 = 764. Does 45 divide m?
False
Suppose -25 - 43 = -3*q + t, -t - 5 = 0. Does 25 divide q/35 - (-694)/10?
False
Let x(n) = -n**3 + n**2 - 23. Let f be x(0). Let o = 40 + f. Suppose -3*d + o = -1. Is 6 a factor of d?
True
Suppose c + 1 = 3. Suppose 0 = -5*l - 3*w + 186, 0*w + 6 = -c*w. Is 10 a factor of l?
False
Let j = -23 + 48. Suppose 3*r = -2*r - j. Let i = 1 - r. Is 3 a factor of i?
True
Let q be 0/2 + 1 + -1. Let n(f) = -f**3 - f**2 - f - 1. Let w(b) = b**3 + 2*b**2 + 2*b + 30. Let a(l) = 2*n(l) + w(l). Is 18 a factor of a(q)?
False
Suppose -4*s + 9 = -5*c, 0*s - 5*s - 4*c + 1 = 0. Does 14 divide s + (-5)/(10/(-96))?
False
Let c(s) = 2*s + 7. Let f be c(9). Suppose f = 4*u + 5*j, -j - 3 = -4. Let y(w) = w + 1. Is y(u) a multiple of 6?
True
Let h(o) = o**2 + 3*o + 8. Is 7 a factor of h(-8)?
False
Let g(y) = 3*y**2 + 4*y + 25. Is 31 a factor of g(-6)?
False
Is -1 + 101 + -1 + -1 a multiple of 7?
True
Let a(t) = t**3 + 5*t**2 + 2*t + 4. Let z be a(-5). Let q be z/(-4) + (-9)/6. Suppose 0 = i - q*i - 14. Is 7 a factor of i?
True
Suppose 0*f - 225 = -3*f. Let y be (-6)/27 - f/27. Does 4 divide 16/(-6)*y/2?
True
Suppose -87 = 4*d - o - 518, -3*d + 333 = -4*o. Is d a multiple of 26?
False
Let w(z) = 3*z**2 - 2*z + 1. Is 9 a factor of w(2)?
True
Suppose 5*y = -4*o + 3 + 60, 5*y = -o - 3. Is o a multiple of 15?
False
Does 17 divide (36/16 - -2)*4?
True
Suppose -d = -1 - 5. Suppose -w - 45 = -d*w. Is w a multiple of 8?
False
Let g be (3 - 0)*(-12)/(-9). Suppose 2*v + v + 674 = 4*a, -2*v - 452 = -g*a. Is 24 a factor of ((-4)/12)/(2/v)?
False
Suppose 0 = 2*s + 4. Let a(r) = -5*r + 2. Does 6 divide a(s)?
True
Let o = 28 - 9. Suppose 0*n = -n + o. Is n a multiple of 15?
False
Suppose b + 5*i = -0*b - 2, 4*b + i = 11. Suppose 4*d + 7 = b. Is -1*(-19 + d/(-1)) a multiple of 6?
True
Suppose -4*x = 250 - 762. Does 32 divide x?
True
Let s be -1*(8/4 + -3). Is 10 a factor of s*(0/(-4) - -36)?
False
Let z(f) = -2*f + 1. Let l(m) = -m**2 + 5*m - 1 - 2*m + 3*m. Let c be l(7). Is 10 a factor of z(c)?
False
Let w = 40 + 64. Let h = w - 68. Does 25 divide h?
False
Let v = -80 + 152. Let c = -38 + v. Does 34 divide c?
True
Let l(k) be the third derivative of k**5/60 + k**4/24 + 5*k**3/6 + 2*k**2. Let r be l(0). Let x(a) = a**3 - 5*a**2 + 3*a - 4. Does 11 divide x(r)?
True
Let i(s) = 0 + 2*s - 6 - 2 + 5. Let g be i(4). Suppose -2*c - 2*b - 2 = -8, -3*c - 5*b = -g. Is c a multiple of 2?
False
Let z(a) = 10*a**2 + a + 2. Let d be z(-2). Suppose j + 4*j = d. Is j a multiple of 5?
False
Let n = -7 - -28. Suppose 2*f - n = -3*g, 5*g + 31 = 5*f - f. Is 3 a factor of f?
True
Is 13 a factor of ((-26)/5)/(6/(-30))?
True
Let i be 9 + -4 + 0 + 3. Let z(t) = t + 3. Let u be z(-3). Suppose u = 2*w - 40 - i. Does 14 divide w?
False
Suppose -2*l = 88 - 238. Is l a multiple of 15?
True
Suppose -3*x = -5*y - x + 18, 4*y + 3*x = -4. Let p be (-21)/9 + 1/3. Is 5 - (1 + p)*y a multiple of 3?
False
Suppose -4*k + 3*k + 3 = 0. Suppose -h = -4*t - 44, k*h + 2*h + t - 157 = 0. Is 8 a factor of h?
True
Let b be 6/9 + 138/9. Let s = -9 + b. Does 4 divide s?
False
Let t be 134 - -2 - (2 - 2). Suppose 2*d - t = -2*d. Suppose -4*g + 2*g + d = 0. Is g a multiple of 17?
True
Let u(c) = c**3 + 6*c**2 + 4*c + 6. Let k(a) = a**2 - 5*a - 3. Let h be k(4). Let l be u(h). Let d = -39 - l. Does 16 divide d?
True
Suppose -101 = -13*x + 159. Is x even?
True
Let h(c) = 2*c**2 - 5*c + 9. Is h(4) a multiple of 21?
True
Let k be -5*(1 + 1) - 0. Let r = k - -6. Let q = r - -12. Is q a multiple of 8?
True
Is 11 a factor of (13/(-2))/((-4)/56) + 0?
False
Let c = 48 - 26. Is 5 a factor of c?
False
Let g(t) = t**2 + 7*t + 11. Does 4 divide g(-6)?
False
Let z(l) = 4*l**3 + l**2 - 2*l + 1. Suppose 0 = -2*v + 5*m + 3 + 18, 3*v = -2*m + 3. Suppose -s = 2*s - v. Is 4 a factor of z(s)?
True
Is 25 a factor of -19*(-2 - (-12)/(-4))?
False
Suppose -q = -o - 16, -4*q - 4*o - o = -82. Suppose -2*z = -z - q. Does 6 divide z?
True
Suppose 3*a + 12 = 4*d - 7, 4*d - 14 = -2*a. Let m be -6*(a + (-4)/(-6)). Suppose 0 = 2*s - k - 1, 3*s + m*k = k + 14. Is s a multiple of 3?
True
Let l be (0*2/(-6))/(-2). Suppose 5*t + y = 35, l*t - 5*y = 2*t - 37. Is 6 a factor of t?
True
Let c = 254 + -137. Is c a multiple of 13?
True
Suppose -2*c = -5 - 11. Let x = c + -11. Let q = x + 43. Does 15 divide q?
False
Let t be 6/8 - 1017/(-36). Let n = -18 + t. Does 11 divide n?
True
Is 10 a factor of (-40)/((1*-8)/4)?
True
Does 13 divide 6/(-21) + 186/14?
True
Let t be (-4)/(-6) + (-52)/(-3). Let m be 5/(-35) + 1/7. Suppose 5*z + t - 273 = m. Does 23 divide z?
False
Let o(f) = -1. Let s(y) = -4*y - 5. Let j(a) = -2*o(a) + s(a). Does 5 divide j(-2)?
True
Let t be 0 + 3 - (1 + 0). Suppose 0 = 3*y - 2*c - 7 - 10, t*c + 27 = 5*y. Does 5 divide (-6)/y*20/(-3)?
False
Let m(s) = 2 - 19*s - 2 - 26*s. Does 28 divide m(-1)?
False
Let p(q) = q**2 + 10*q + 9. Is p(-12) a multiple of 3?
True
Suppose -2*c - 158 = -2*p - 2*p, 0 = 2*p - 3*c - 81. Does 14 divide p?
False
Suppose 3*h + 295 = 5*a, 3*a - 81 = -2*h + 115. Is 12 a factor of a?
False
Suppose 0*k - 4*u - 23 = -k, 5*k = -3*u. Suppose 3*h + 34 = d, k*d - 8*d + h = -114. Is d a multiple of 11?
True
Suppose 3*p - g = 0, 0*p - 2*p - 5*g - 17 = 0. Let y(j) = -62*j + 2. Is 16 a factor of y(p)?
True
Let s(f) = -2 + f + 3*f + f**2 - f**2 + 5*f**2. Is s(-5) a multiple of 26?
False
Let q(v) = 3*v**2 - 7*v + 3. Is 5 a factor of q(-4)?
False
Suppose -3*a - 12 = -0*a. Let g be (-27)/12 - 1/(-4). Is (-62)/a - 1/g a multiple of 6?
False
Let m(q) be the second derivative of q**4/4 + 2*q**3/3 + q**2/2 + q. Let r be m(-4). Let t = r + -5. Is t a multiple of 10?
False
Let i(t) = 0*t + 3*t + 5 + 3*t. Let h be i(-6). Let l = h + 52. Is l a multiple of 11?
False
Let y = -60 + 27. Let p = y - -61. Suppose 0 = 3*m - 5*f - 14 - 28, 0 = 2*m - 2*f - p. Does 7 divide m?
True
Let w = 11 - 8. Suppose 2*l = -4*j + 5*j + 10, w*j - 12 = -l. Is l a multiple of 5?
False
