se
Let n(a) = -a**2 - 9*a + 7. Suppose 0*l = 5*l + 40. Let m be n(l). Suppose 5*d + 0*d = -4*u + m, 5 = u + d. Is u a multiple of 10?
True
Let c be 5/(-10)*1*38. Let k = -11 - c. Does 4 divide k?
True
Suppose -2*d = -3*g + 136, 2*d + 40 - 272 = -5*g. Is 25 a factor of g?
False
Let p = 55 - 33. Is p a multiple of 22?
True
Let h(l) = l**2 + 6*l + 5. Let u be h(-5). Suppose -4*o + 3 = -4*d - 13, u = -3*o - 5*d + 12. Let j(f) = 9*f + 5. Does 14 divide j(o)?
False
Suppose 9*m - 6*m - 93 = 0. Let q be 1 - -43 - (1 - 1). Suppose -q = -5*l + m. Is 10 a factor of l?
False
Suppose c + c = 14. Suppose -4*b = 4, -7 = -u + c*b - 2*b. Is u/6 + 35/3 a multiple of 9?
False
Let c(v) = v**2 - 7*v - 3. Let r be c(8). Let d = 29 - r. Is d a multiple of 12?
True
Let k = 8 + -10. Does 8 divide (124/20)/(k/(-10))?
False
Let b = 93 - 63. Let d = 7 - 4. Let c = d + b. Is c a multiple of 12?
False
Let p(g) = g**3 + 6*g**2 - 4*g - 4. Suppose 3*w + 21 = -5*b - 1, 0 = 5*w + 4*b + 28. Is 17 a factor of p(w)?
False
Suppose 0 = 5*y - 4 - 16. Suppose 0 = -2*o + w + 13 - 0, 2*o - y*w = 10. Let n = o + -1. Is 3 a factor of n?
True
Let b(g) = 22*g**2 - 1. Let n be b(1). Let s = 15 - n. Is 2 a factor of (4/(-3))/(2/s)?
True
Let d(a) = -a**3 - 7*a**2 - 5*a - 2. Let v be d(-6). Let j be (-2 + 0)/(v/(-228)). Let w = j - -90. Is w a multiple of 11?
True
Let q = 62 + 168. Is q a multiple of 11?
False
Suppose o - 6 = 2*l + 1, 0 = 5*o - 5*l - 45. Is o even?
False
Let v = -8 + 7. Let f be -3 + (-57 - -2)/v. Let n = 78 - f. Does 13 divide n?
True
Suppose -3*g - 5*y + 160 = 0, g - 32 = 4*y + 10. Suppose -g = 5*o - 2*m, -17 = 2*o - 2*m + 9. Is (-126)/o + (-1)/(-4) a multiple of 8?
True
Let v(c) = c**3 + 2*c**2 - 2*c - 2. Let z be v(-2). Suppose -o - 40 = -z*o. Is o a multiple of 20?
True
Suppose -q - 23 = -2*g, -q - 3 = -2*q. Suppose 3*t - l = -t + 24, t - 2*l - g = 0. Suppose 0 = r - 4*f - 28, -t*r + 182 = 2*f - f. Is r a multiple of 15?
False
Suppose -3*j + v = -68, 0 = -3*j - 0*v - 3*v + 84. Is j a multiple of 8?
True
Suppose -13 = d - 1. Is 3 a factor of 34/3 - d/18?
True
Let t = -27 - -37. Does 2 divide t?
True
Suppose 5*a - 7*u = -3*u - 14, 3*a + 10 = 2*u. Suppose -o + 2*o + 13 = 0. Let r = a - o. Is 3 a factor of r?
False
Suppose -v + 12 = 10. Suppose -6*q + 32 = -v*q. Is q a multiple of 4?
True
Suppose -485 - 147 = -8*n. Is 14 a factor of n?
False
Let k(h) = 2*h**2 - 4*h + 3. Let v be k(4). Suppose -3*s = 3*c + 5 + 1, -5*s = -c - 8. Suppose -3*o = -8*o - u + v, o = -5*u - s. Is 4 a factor of o?
True
Is 30 a factor of 24/2*5*1?
True
Let r(j) be the second derivative of j**3/6 + 7*j**2/2 - j. Is r(-5) even?
True
Let x be ((10 + -3)*-1)/(-1). Suppose 0 = -2*p + x + 35. Is 7 a factor of p?
True
Let k = -67 + 107. Suppose -u = -5*u + k. Does 9 divide u?
False
Let w = 7 + -4. Suppose -2*q + q = 1, -60 = -3*y - w*q. Let j = y - 7. Is 7 a factor of j?
True
Let f(r) = -2*r**2 - 2*r - 2. Let l be f(-3). Is 9 a factor of 27/(l/(-4) + -2)?
True
Let y(g) = -4*g - 39 - 54 + 80. Is y(-7) a multiple of 5?
True
Let c(x) = -x**2 + 12*x - 3. Suppose 0 = 3*d + d - 32. Is c(d) a multiple of 9?
False
Let q = 14 - 8. Let d = 11 - q. Is d even?
False
Let o(a) = 10*a + 124. Is o(31) a multiple of 62?
True
Let h(w) = 9*w**2 + 2*w - 2. Let i be h(-2). Let x = -18 + i. Suppose x = 3*c - 6. Is 6 a factor of c?
True
Let x(w) = 2*w**2 - 10*w + 2. Is 14 a factor of x(6)?
True
Let q(s) = s**2 + 2*s - 33. Does 5 divide q(-9)?
True
Does 14 divide 30/120 - 387/(-4)?
False
Suppose -4 = -0*m + 2*m. Let a(f) = f. Let x be a(5). Does 7 divide (x + m)/(12/56)?
True
Let d(p) = 6*p - 1. Let f be d(-2). Let h = 8 + f. Let u(n) = n**2 - n - 1. Is 14 a factor of u(h)?
False
Let d = -10 + 130. Is d a multiple of 20?
True
Let n = 22 - 16. Suppose 6 = -4*z + n*z. Let t = z - -3. Is t a multiple of 3?
True
Let r(i) = 3*i - 2. Let k be (2/(-2))/(3/(-12)). Let o be r(k). Suppose o = 2*y - 72. Is y a multiple of 13?
False
Let c(w) = 2*w**2 + 5*w + 2. Suppose 3*g - 5*r + 34 = 0, 0*g - g = 5*r - 22. Is 2 a factor of c(g)?
False
Let p = 4 - 0. Suppose p = -2*y + 14. Suppose -28 = -y*c - 4*u, -c + 3*u = -0*c - 17. Does 4 divide c?
True
Let m(i) be the first derivative of -6*i**2 - 4*i + 8. Is m(-2) a multiple of 4?
True
Let q(k) = -k**3 + 0*k**2 - 3*k**2 - 8*k + 8 + 12*k**2 + 0*k**2. Is 15 a factor of q(6)?
False
Let u(o) = -2*o + 5. Let m = 7 + -13. Is 6 a factor of u(m)?
False
Let m(i) = -i**3 - 9*i**2 - 8*i + 6. Suppose 9 = -4*o - o + 3*g, 4*o = -g + 3. Suppose 5*u + 45 - 5 = o. Is m(u) a multiple of 3?
True
Suppose 4*s - 96 - 28 = 0. Does 10 divide s?
False
Suppose -501 = -3*z + 459. Is 19 a factor of z?
False
Let v(p) = -p**3 - 3*p**2 + 6*p - 6. Is 7 a factor of v(-5)?
True
Suppose -4*m - 176 = -4*a, 3*a = -4*m + m + 150. Let s = 45 - 79. Let w = s + a. Is w a multiple of 7?
False
Let w = 21 + -14. Does 3 divide w?
False
Let p = -18 - -26. Is p a multiple of 5?
False
Let g be (3 + -1 + 1)/1. Suppose 50 = g*l + 2*l. Is 10 a factor of l?
True
Let m(g) = g**3 + 6*g**2 + 5*g + 3. Let o be m(-6). Let r = -14 - o. Is 8 a factor of r?
False
Let s(d) = -2*d - 1. Suppose 4 = -4*t - 16. Is s(t) a multiple of 5?
False
Let l(y) = y**3 - 2*y**2 - 3*y - 3. Let n be l(3). Let k be (-32)/(5/2 + n). Suppose -30 = -3*x - q + k, -2*x - 4*q = -76. Does 20 divide x?
False
Suppose -x = 4*k - 230, -k - 677 = -3*x - 52. Does 42 divide x?
True
Let d = -16 + 16. Let j = 8 - d. Is j a multiple of 4?
True
Let d(b) = -b**2 + 10*b + 4. Does 18 divide d(5)?
False
Suppose -3*r - r = -5*a, 5*a + 45 = -5*r. Let u = 8 + r. Suppose u*d - 85 = -2*d. Does 7 divide d?
False
Let h(z) = -68*z + 1. Does 7 divide h(-1)?
False
Suppose -2*a = -3*a + 1. Let h = a + -5. Does 3 divide -2 + 5 + (-2 - h)?
False
Let z(u) = 60*u - 12. Let v be z(-5). Does 13 divide (v/30)/(2/(-5))?
True
Is 13 a factor of (-3)/2*(-5 + (-323)/3)?
True
Let a be (3/5)/((-1)/(-5)). Suppose -4*m + a*m + 14 = 0. Does 7 divide m?
True
Let x(u) = u**3 - 8*u**2 + u + 4. Let b be x(8). Let k be ((-2)/4)/((-2)/132). Let o = k - b. Is o a multiple of 13?
False
Let o(f) = -15*f**2 + 2*f - 3. Let r(d) = -d**2 + d - 1. Let b(a) = -o(a) + 3*r(a). Does 11 divide b(-1)?
True
Suppose -15*h + 6188 = -h. Is 49 a factor of h?
False
Suppose -w - 5 = 0, 2*w + 15 + 107 = -4*l. Is ((-18)/(-4))/((-2)/l) a multiple of 27?
False
Is 17 a factor of (-7224)/(-312) - 2/13?
False
Suppose -3*f + 3*d - 180 = 0, 3*f + 172 - 7 = -2*d. Let g = f + 87. Does 19 divide g?
False
Is 6/(-5 + (-294)/(-58)) a multiple of 29?
True
Suppose -2*y = 1 + 3. Let w be y*5*3/(-2). Suppose 33 + w = 3*g. Is g a multiple of 8?
True
Suppose -2*b + 12 = -2*z, 3 = 2*z - 0*z + b. Suppose -2*f = 2*f + 24. Does 6 divide 14*f/7*z?
True
Let m(o) = -5*o + 8. Let i be m(-5). Let s = i + -18. Does 12 divide s?
False
Suppose s - 3*n = 14, -3*n = -5*s - 11 + 45. Suppose s*y = 3*y + 22. Is 5 a factor of y?
False
Suppose 0 = 3*k - 2*h - 219, 3*k + 0*k = -h + 228. Is 15 a factor of k?
True
Let n(x) = -x**3 + 4. Let t be n(0). Suppose 0 = t*f - 0*f - 2*l - 190, -2*l + 215 = 5*f. Is 15 a factor of f?
True
Let g = -26 - -51. Is 7 a factor of g?
False
Let l(y) = 49*y**2 - 1. Suppose 3*b - b - 2 = -2*n, 4*n + 4 = 4*b. Let a be l(b). Let k = -28 + a. Is 11 a factor of k?
False
Let k = 0 + 5. Suppose 0 = -2*j + k*q + 11, -5*j - q = -14. Suppose 0*h - 42 = -j*h. Does 14 divide h?
True
Let m be -184 - (0 + 0)/(-2). Is 18 a factor of m/(-5) + (-5)/(-25)?
False
Let r(k) be the second derivative of 5*k**4/4 - k**3/3 + k**2/2 + 2*k. Is 4 a factor of r(1)?
False
Let f(y) = y**2 - 6*y + 3. Let q(o) = 2*o - 6. Let z = 21 - 15. Let n be q(z). Is f(n) even?
False
Let p(j) be the first derivative of -j**3/3 + 9*j**2 + 15*j - 4. Is p(13) a multiple of 16?
True
Suppose 2*i + 3*m - 115 = 0, 2*i + 2*m = 5*i - 166. Let t = i - 32. Is 13 a factor of (t + -1 - -1) + 2?
True
Suppose 0*g + 148 = 4*g. Suppose -3*u + 4*b = -g, 5*b - 50 = -8*u + 3*u. Does 11 divide u?
True
Is (-12)/(-42) + 150/14 a multiple of 4?
False
Suppose w + 2*w - 12 = 0. Let f(z) = 2*z**2 - 3. Let t be f(3). Suppose w*y = 5*h - t - 149, -4*h = -y - 129. Does 16 divide h?
True
Let l(i) = -i + 6. Suppose 3*t - 2*t - 13 = 0. Suppose 2*j - 3*f = -t, -2*j - 11 = -4*f + 3*f. Does 11 divide l(j)?
True
Let d(p) = -7*p. Suppose 6 = -3*m