se
Let t be -3*(2 + 16/(-6)). Suppose 0*s - 8 = -t*s. Suppose -5*d = -15, -4*q + 9*d - s*d = -89. Does 13 divide q?
True
Let g(a) = -a**2 - 35*a - 60. Is 30 a factor of g(-23)?
False
Let n = -26 + 46. Is n a multiple of 4?
True
Let l(r) be the second derivative of r**4/12 + 5*r**3/3 + 9*r**2 + 4*r. Is l(-13) a multiple of 15?
False
Let a(w) = -11*w - 37. Does 8 divide a(-13)?
False
Let v = 2 + 3. Let h = 5 - v. Suppose 2*q + q - 45 = h. Is 9 a factor of q?
False
Let l = -11 - -56. Is 9 a factor of l?
True
Let i(k) be the second derivative of -2*k + 1/2*k**3 + 0*k**2 + 0. Is 6 a factor of i(4)?
True
Let q(s) = -2*s - 1. Let j be q(2). Let a = j - 0. Let v = -1 - a. Does 4 divide v?
True
Let i(p) = -p**3 + 3*p + 2. Does 4 divide i(-2)?
True
Suppose 0 = 2*a + 2*a - 580. Is 11 a factor of a?
False
Let i(r) = 2*r**2 - 3*r + 1. Let d be i(2). Suppose w - 8 = -d*w, -2*w = -3*u - 34. Let g = 30 - u. Is 19 a factor of g?
False
Let b(q) = -q**2 - 5*q - 2. Let j be b(-3). Let r(z) = 3*z + 2 + 2*z**2 - z**2 + j*z**2. Is r(-2) a multiple of 13?
False
Suppose 2*p - 4*a = 12, 5*a + 14 = -5*p - 1. Suppose 0*q - 4*q = 5*x + 9, -2*x - 10 = p. Does 5 divide 0 + 10/q*4?
True
Let m(l) = -l**3 - 5*l**2 - l + 1. Is m(-6) a multiple of 14?
False
Suppose 2*h = -4*o + 8*o - 1150, 5*o = -2*h + 1460. Does 26 divide o?
False
Suppose 3*q - c - 31 = 40, -q = 4*c - 28. Let v = 41 - q. Is 5 a factor of v?
False
Let n be 352/(-6)*15/(-10). Suppose n = 3*u + u. Does 5 divide u?
False
Let u(m) = 5*m**2 - 3*m - 1. Does 25 divide u(-2)?
True
Let v = -50 - -147. Is 13 a factor of v?
False
Suppose m = 2*m + 2. Let h(v) = v**3 + 2*v**2. Let y be h(-2). Is (-1 - y - m)*12 a multiple of 6?
True
Suppose 1 = -3*l - 5. Suppose -3*i - i + 68 = 0. Let t = i + l. Is t a multiple of 6?
False
Let u be 2076/14 - (-8)/(-28). Let m = u - 93. Is 20 a factor of m?
False
Suppose 0 = -5*k - 28 + 8. Let l(g) = -3*g - 3. Is 5 a factor of l(k)?
False
Suppose 64 = 9*v - 7*v. Is v a multiple of 15?
False
Suppose 2*f = 3*k + 81, -6*f = -f + 2*k - 174. Is f a multiple of 12?
True
Suppose 4*i = -4*s + 847 + 985, -3*s = -4*i - 1402. Is s a multiple of 66?
True
Let r(v) = -v**2 + 16*v. Is r(11) a multiple of 12?
False
Let l(o) = 43*o - 18. Is l(3) a multiple of 21?
False
Suppose 5*a = 4*y - 79, -3*y + 31 + 33 = a. Suppose z - y = -7. Is (-500)/(-14) + 4/z a multiple of 18?
True
Let k(b) = b**3 - 6*b**2 - b + 6. Let r be k(6). Suppose r = -4*n - 0*n + 12. Suppose -5*z + 85 = n*i - 51, -8 = -4*i. Does 13 divide z?
True
Let x(h) = 3 + 0*h - 5*h**2 + h**3 - h + 4*h + 0*h**2. Let p(d) = -d**3 - 2*d**2 - 4*d - 3. Let i be p(-2). Does 12 divide x(i)?
False
Is 5 a factor of (-5 - -4)/((-1)/15)?
True
Let g(r) = -3*r**3 - 7*r**2. Let l be g(-5). Is 11 a factor of 4/(-18) - l/(-9)?
True
Does 13 divide (1/(-3)*8)/((-2)/39)?
True
Suppose m = 3*h + 284 - 114, 3*m - 480 = 3*h. Is m a multiple of 19?
False
Suppose -21 = -3*s + 3*b, -b = -2*s - 2*s + 22. Suppose -s*f = -5*k, -5*k - 2*f = 3*f - 50. Is 3 a factor of k?
False
Is (-4 - (-44)/8)*18 a multiple of 9?
True
Is 8 a factor of (-1 - 0 - -59) + (-80)/40?
True
Let a = -29 + 20. Let v(b) = b**3 + 9*b**2 - 2*b + 11. Is v(a) a multiple of 12?
False
Let v = 26 + 1. Does 8 divide v?
False
Let x(v) = 3*v + 6. Is x(5) a multiple of 7?
True
Let a(c) = 56*c**3 - c + 2. Does 19 divide a(1)?
True
Let l(n) = 2*n + 24. Is 7 a factor of l(13)?
False
Let a(s) = 2*s**2 - 2*s - 1. Let z be a(-1). Suppose z*g - 14 = g. Is g a multiple of 7?
True
Suppose -44 = -4*y + 184. Does 6 divide y?
False
Does 11 divide -60*(-3 - (0 - 2 - 0))?
False
Suppose -2*z - 58 = -5*x, 2*x + 4*z - 2*z = 26. Does 12 divide x?
True
Let r = 13 + -3. Does 10 divide r?
True
Let f be 10/(-5)*12/(-3). Is 5 a factor of 189/36 + (-2)/f?
True
Let i(s) = 2*s - 6*s + 4*s - s. Let m be i(-1). Is 6 a factor of 1 - (0 + (-15)/m)?
False
Let l(v) = -v - 2. Let b be l(0). Let g be b/8*6*-2. Is 3 a factor of (-1 - 11)/(g/(-2))?
False
Suppose 0 = 5*b + 1373 - 143. Does 13 divide b/(-18) + 1/3?
False
Does 5 divide ((-2)/3)/(12/18)*-8?
False
Let b(x) = 3*x**2 - 10*x - 7. Let m(t) = 4*t**2 - 11*t - 8. Let p(o) = 3*b(o) - 2*m(o). Is 3 a factor of p(9)?
False
Let b = 52 + -37. Let h be 48/b + 4/(-20). Suppose 3*i = 12, -4*a - i - h*i + 76 = 0. Does 10 divide a?
False
Let j(c) = -c + 12. Does 11 divide j(-11)?
False
Suppose -r = -2*r - 6. Let g(l) = -2*l - 6. Let u be g(r). Is (24/(-20))/(u/(-80)) a multiple of 9?
False
Let r(b) = -b**3 + 9*b**2 - 8*b + 3. Let p(x) = x**3 - 5*x**2 + 2*x - 3. Let g be p(5). Does 15 divide r(g)?
True
Let z = 135 - 66. Does 23 divide z?
True
Suppose 0 = n - 4, 5*j - 68 = 2*n + 14. Let r be 3/(-2)*(0 + 4). Let t = r + j. Does 8 divide t?
False
Suppose -6 = -x - x. Suppose -2*z + 4*z - x*h = 10, 3*z - 5*h = 16. Suppose 4*l = z*d + l - 24, 0 = d + 2*l - 12. Is d a multiple of 6?
True
Let n(m) = m - 3. Let w be n(3). Suppose 2*p = -0*p + 58. Suppose t - s - p = w, 5*t = 3*s + 130 + 9. Is 26 a factor of t?
True
Let b(d) = -d + 2. Let n be b(-3). Let s = 2 - n. Let h = 8 - s. Does 11 divide h?
True
Let p(c) = 12*c. Let s be p(4). Suppose 0*i = l - 5*i - s, -5*l + 160 = -5*i. Is l a multiple of 14?
True
Let v be 1 + 2/(-1) + 1. Suppose v = -7*t + 2*t + 35. Is 7 a factor of t?
True
Let p = -41 + 66. Does 5 divide p?
True
Let i = 3 - 0. Is (-1 + -50)*i/(-9) a multiple of 9?
False
Suppose 4*k = 4*i, 2*i - 14 = -4*k - i. Suppose 4*z - k*z - 60 = 0. Is 15 a factor of z?
True
Suppose -4*l - 3 = -19. Suppose 0 = 3*j - l*p - 83, -2*j + 128 = 2*j - p. Is 33 a factor of j?
True
Let z(f) = f**3 + 9*f**2 + 7*f + 9. Does 25 divide z(-6)?
True
Suppose 0*g - 38 = -3*g - 4*h, 3*g + 3*h - 33 = 0. Let a(y) = y**2 - 5*y + 9. Let r be a(g). Suppose -2*z + r = -15. Is 15 a factor of z?
True
Suppose 150 = -4*m - 6. Let q = 98 + m. Is q a multiple of 13?
False
Is 21 a factor of ((-93)/(-4))/(2/8)?
False
Let g = -20 - -24. Suppose -9*k + g*k = -130. Is k a multiple of 13?
True
Let l = 464 - 305. Does 32 divide l?
False
Suppose 0 = -3*r - 8 + 20. Let h(v) = v + 4*v**2 + 2 - v**3 + 2 + 0*v**3. Does 3 divide h(r)?
False
Let b = 844 - 575. Does 38 divide b?
False
Let w(v) = -v**2 + v + 11. Suppose -2*i + 2*y = -10, -5*y - 11 = -2*i + 8. Let p be (0/(6/i))/3. Is 3 a factor of w(p)?
False
Let j(z) = -z**3 + z. Let c be j(0). Let m be ((-30)/4 + c)*-2. Is m/12*4*6 a multiple of 15?
True
Let v(z) = -30*z - 3. Let x be v(-1). Suppose 0 = -3*o - j + x + 36, -4*o = 3*j - 84. Does 7 divide o?
True
Let d = -1 + 1. Suppose 6*f - 2*f - 16 = d. Suppose f = -4*p + 28. Is p a multiple of 3?
True
Suppose -11*f + 13*f = 98. Does 7 divide f?
True
Suppose 0 = 8*g - g - 287. Does 11 divide g?
False
Let j = 12 + 1. Is 2 a factor of j?
False
Let t(f) = f**2 - 15*f - 66. Is t(28) a multiple of 10?
False
Let y = -9 - -16. Let k(s) = s**3 - 8*s**2 + 9*s - 6. Is k(y) a multiple of 4?
True
Suppose p - 14*p + 195 = 0. Does 15 divide p?
True
Let b = -16 + 9. Let u(d) = d**2 + 4*d + 9. Is 11 a factor of u(b)?
False
Let r = 39 - 21. Suppose -4 = -2*u, k - 3*u = r + 5. Is 11 a factor of k?
False
Suppose 4*b + m = 0, 2*m + m = 0. Does 5 divide 1 + (b + 16)/4?
True
Let i = 4 + -4. Let z be (-20)/(-6) + (-2)/6. Suppose i = -0*b + z*b - 30. Does 10 divide b?
True
Let i be -1*(-4)/((-8)/6). Let v be (21 - 0)/(i/4). Let b = -15 - v. Does 9 divide b?
False
Does 11 divide (0 + 1)/(6 + (-231)/39)?
False
Is 14*(96/7)/4 a multiple of 8?
True
Let f(a) = 13*a - 4. Let r(j) = j + 6. Let y be r(-3). Is f(y) a multiple of 13?
False
Let s(h) = -h**3 + 6*h**2 - 5*h + 1. Let x be s(5). Is (x + (-4 - -1))*-1 a multiple of 2?
True
Let y(x) = 4*x**2 + x - 1. Let s be y(1). Suppose 0*d - 220 = 2*d + 4*i, s*d + 466 = 5*i. Is 9 a factor of ((-6)/9)/(4/d)?
False
Suppose -3*m - 2*i - 212 = 0, -m = m + 2*i + 144. Let a = m - -156. Is a a multiple of 25?
False
Suppose -94 = -4*k - 3*r + 18, k + 5*r = 11. Suppose 4*o + k - 247 = 0. Is 27 a factor of o?
True
Let l be (-1 - -29) + 0/(-3). Suppose 0*f - f + 8 = -2*r, -l = 4*r - 5*f. Is r/5 + (-47)/(-5) a multiple of 4?
False
Let z = -8 - -67. Is 9 a factor of z?
False
Suppose -x = 3*x - 8. Suppose 46 = -3*g + x*k - 11, -3*g = k + 48. Let y = g - -47. Is 10 a factor of y?
True
Suppose 4*t - 8*t + 88 = 0. Does 17 divide t?
False
Let t be (14/(-35))/(1/(