uppose -h*o + 100 = -38. Does 23 divide o?
True
Let q = 5 + -3. Is 9 a factor of -30*q/(-4) + 3?
True
Suppose -3*i - 159 = 111. Let b = i + 8. Let p = 116 + b. Is p a multiple of 17?
True
Suppose -5*v + 102 = -j, -3*j + 1 = 2*v - 50. Is 7 a factor of v?
True
Let z(g) = g**2 - 5*g + 4. Let d be z(7). Suppose 4*h = 2*u - 4 - 2, 2*u - d = -2*h. Is 7 a factor of u?
True
Let d = -40 - -116. Does 19 divide d?
True
Suppose -a - 7 = 4*v + 7, 4 = 2*a. Let b = 3 + v. Let h = b + 12. Is h a multiple of 5?
False
Let i(b) = b**3 - 10*b**2 - 3*b + 16. Is i(11) a multiple of 13?
True
Let c(b) = b**3 + 5*b**2 + 6*b - 10. Is 18 a factor of c(5)?
True
Let f(l) = 2*l**3 - l**2 + 2*l + 11. Is f(0) a multiple of 6?
False
Let x(f) be the first derivative of 23*f**3/3 + f**2/2 + f + 2. Let d be x(-2). Suppose 4*l - 85 - d = 0. Does 22 divide l?
True
Let r(s) = s + 24. Suppose -5*u = -u. Does 12 divide r(u)?
True
Suppose 0 = 4*w + 42 - 142. Suppose w = d + 4*d. Does 2 divide d?
False
Let c(s) = s**2 + 8*s. Let x be c(-6). Let u = x + 17. Suppose 4*o - 3*w - 105 = 0, 0*w + 138 = u*o + 3*w. Is o a multiple of 11?
False
Let u(w) = -w**2 - 16*w - 8. Does 10 divide u(-14)?
True
Let t(v) be the third derivative of v**4/12 + v**3/3 + 2*v**2. Is 4 a factor of t(5)?
True
Suppose 5*c + 5*p = 50, 2*p + 8 = c - 17. Suppose 2*k + k = c. Suppose 20 = k*o - 5*u, u + 4 = 2*u. Is o a multiple of 8?
True
Let n be 4/(-8) + (-55)/(-10). Let k(i) = i**3 - 7*i**2 + i - 4. Let z be k(7). Does 6 divide (4/n)/(z/45)?
True
Let v(o) = o**3 + 2*o**2 - o - 1. Let g be v(-2). Is 5 a factor of (6 + g)*1 - 2?
True
Suppose 3*h - 5*t = -48, -10 - 2 = -4*t. Let f = h + 31. Does 5 divide f?
True
Is 4 a factor of (2/(-6))/(30/(-36))*60?
True
Suppose -3*j + 4*x - 11 = -31, -x = -1. Suppose 0 = -n + 3*f + 6, -2 = -n + j*f - 3*f. Does 5 divide n?
False
Is 4 a factor of 1/5 + (-79)/(-5)?
True
Let s(o) = o**2 + 6*o - 4. Let c be s(-8). Suppose 4*v = -5*t + 44, 10 = 2*v + 5*t - c. Is v a multiple of 11?
True
Let n(a) = -4*a + 8. Is n(-18) a multiple of 8?
True
Let g(z) = z + 3. Let r be g(-9). Let j(a) = -2*a - 3. Is j(r) a multiple of 9?
True
Let z = 350 + -215. Suppose 0*c - z = -5*x + 2*c, -4*x + 2*c + 110 = 0. Is x a multiple of 8?
False
Suppose 3*z + z - 72 = -2*p, p - z = 42. Does 16 divide p?
False
Let n(i) = i**2 - 9*i + 8. Let t be n(8). Suppose -4*m - 4*w + w + 67 = t, -3*m = -5*w - 43. Is 16 a factor of m?
True
Let f(h) = -7*h**2 + 3*h + 1. Let a(o) = o**2. Let u(m) = -4*a(m) - f(m). Let r be u(-3). Suppose -2*d + 4*t = -34, 0*d + r = 3*d - 2*t. Is 9 a factor of d?
True
Suppose 2*z - 28 = -2*t, -z = -t + z + 8. Suppose 4*d - t = 3*d. Is 12 a factor of d?
True
Let t(k) = 15*k - 15. Is t(4) a multiple of 9?
True
Suppose 9*i = 11*i - 18. Is 2 a factor of i?
False
Suppose -33 = 5*p + 2*d - 120, 0 = p + 3*d - 20. Does 16 divide p?
False
Let f(l) = -37*l + 2. Is 15 a factor of f(-1)?
False
Let o = -312 - -455. Does 13 divide o?
True
Suppose 2*r + 5*c - 51 = 52, -2*r - 4*c + 106 = 0. Does 15 divide r?
False
Let w = -287 + 435. Is w a multiple of 35?
False
Is 20 a factor of (12 + 2 - (-2)/2)*4?
True
Suppose -50 = -3*b + 58. Is 12 a factor of b?
True
Let o(s) = s - 3. Let c be o(0). Let p(n) be the first derivative of n**3/3 - 3*n**2/2 + 3*n - 12. Is p(c) a multiple of 7?
True
Suppose b = -n - 0*n + 6, 0 = 4*n + 20. Let s = b + 1. Is 3 a factor of s?
True
Let a be 3/((15/2)/(-5)). Let p(n) = n**2 - 2*n - 2. Let y be p(3). Does 8 divide (16*(a - -3))/y?
True
Let m = 148 - 50. Is m a multiple of 25?
False
Suppose -12 - 12 = -l. Is 12 a factor of l?
True
Suppose 372 = 5*i - 3*i. Suppose -3*f + 5*o + i = 59, 3*f - 163 = -4*o. Is f a multiple of 15?
False
Let g(s) be the third derivative of s**7/840 + s**6/40 - s**5/10 - s**4/8 - s**3/2 + s**2. Let x(l) be the first derivative of g(l). Is 12 a factor of x(-10)?
False
Suppose 8*x - 3*x = -4*c + 147, 3*x = 9. Is 11 a factor of c?
True
Let t(g) = 0*g**3 - 3*g**3 - g + 4*g**3 - g**2 - 2. Let h be t(2). Suppose h = 4*o - 16, -4*d - o = o - 36. Does 3 divide d?
False
Let i(m) be the third derivative of -5*m**4/8 + m**2. Does 6 divide i(-1)?
False
Suppose 4*b - 117 = 251. Is b a multiple of 35?
False
Is 5 a factor of 40 + -11 + 0 + 1?
True
Suppose 322 = -5*p + 47. Is 9 a factor of 2/11 + (-485)/p?
True
Let o(m) = -22*m + 15. Let j(r) be the third derivative of -11*r**4/24 + 4*r**3/3 + 3*r**2. Let b(n) = -11*j(n) + 6*o(n). Is b(-2) a multiple of 12?
True
Suppose 0 = 2*h - 7*h + 40. Let r(j) = j**3 - 6*j**2 - 11*j. Is 28 a factor of r(h)?
False
Let a(o) = -4*o**2 - 2*o**2 + o**3 - 2 + 0*o**3 + 1 + 7*o. Does 6 divide a(5)?
False
Let r be 1/((-2)/(-22)) - 2. Let a(z) = -1. Let c(s) = -s**2 + 8*s - 2. Let g(p) = 3*a(p) - c(p). Is 8 a factor of g(r)?
True
Let c(p) = -p**2 - 4*p - 2. Let r be c(-4). Is 5 a factor of (-24)/(-6) - (r - -1)?
True
Let t = -7 - -8. Suppose -4*y + 27 + t = 0. Is y a multiple of 7?
True
Let m be (-2)/4 - (-119)/14. Suppose 0 = -12*b + m*b - 12. Is -29*-1*(-2 - b) a multiple of 13?
False
Let a = 63 - -21. Is a a multiple of 12?
True
Suppose w - 168 = -2*w. Is w a multiple of 14?
True
Suppose -5 = -3*k + 7. Suppose 5*r - k*w = -1, -4*r + r + 13 = w. Suppose -s = 2*j - 53, -r*j + 72 = 3*s + s. Does 14 divide j?
True
Let p = -1 - -16. Does 4 divide p?
False
Let r = 132 - -52. Suppose -5*m + 152 = -3*v, 2*v = 4*m + 64 - r. Does 7 divide m?
True
Let l = 3 + -4. Let x = l - -6. Suppose 23 + x = 2*y. Is y a multiple of 14?
True
Let d = -87 - -62. Let m = -150 - -97. Let q = d - m. Is 18 a factor of q?
False
Let s = -8 - -8. Suppose s*v + 3*v - 51 = -4*d, 3*d - 4*v - 57 = 0. Is d a multiple of 15?
True
Let q = 4 - -14. Is 5 a factor of q?
False
Suppose 0 = -2*o + 7*o - 105. Does 3 divide o?
True
Let z = 262 + -153. Is z a multiple of 3?
False
Let y = -7 - -10. Let l(v) be the second derivative of v**4/12 + v**3/3 - v**2 - 8*v. Is l(y) a multiple of 13?
True
Let t(w) = 6*w + 8 + w**2 + 2*w - 8*w. Is t(6) a multiple of 22?
True
Let h be (-4 - (-6)/2)*-61. Let t = -31 + h. Is 15 a factor of t?
True
Let t(d) = d**3 + 8*d**2 + 4*d + 3. Is t(-6) a multiple of 13?
False
Let l(b) = -2*b - 4. Let c be l(-8). Suppose -16 = -3*a - a. Let w = c - a. Is w a multiple of 5?
False
Let y = -15 - -27. Suppose -u - v + y = -2, -4*u = -5*v - 92. Is 9 a factor of u?
True
Suppose 195 = -5*w + 475. Does 14 divide w?
True
Let w(d) = 6*d + 4. Let o be w(-3). Let s = o - 61. Let c = 107 + s. Is 16 a factor of c?
True
Let p(f) = f**3 + 3*f**2 + f - 2. Suppose 3 + 7 = -5*i. Let g be p(i). Suppose -h + 4*h - 36 = g. Does 6 divide h?
True
Suppose 2*u + 8 = -p, 32 = 4*p - 4*u + 4. Suppose a - p*a = -34. Is a a multiple of 17?
True
Let y = -3 - -3. Suppose -3*f = 2*o - 536, -5*o + y*o + 710 = 4*f. Suppose 0 = 5*q - 5*m - f, -q + 3*m = -2*q + 52. Is q a multiple of 20?
True
Does 23 divide (-3)/(-12) - 366/(-8)?
True
Let i = 146 - 12. Is i a multiple of 21?
False
Suppose 3*m + 4 = s - 10, -3*m - 38 = -4*s. Is 138/s - 3/12 a multiple of 17?
True
Let v = 3 + 2. Let x be (12/(-30))/(1/v). Does 3 divide 30/9*(-3)/x?
False
Let t(v) = v**3 + 10*v**2 + 11*v + 21. Let k(f) = 2*f**3 + 9*f**2 + 11*f + 22. Let a(u) = 2*k(u) - 3*t(u). Is a(13) a multiple of 7?
True
Does 19 divide (2 + -5)/18 + 2054/12?
True
Let n be (-2 + -8 + 0)/(-2). Suppose -n*a = 4 + 36. Let d(k) = -k**2 - 13*k - 2. Is 19 a factor of d(a)?
True
Let l be 12/20 + 27/5. Suppose 0 = w + 1, 2*r - l*r - w + 19 = 0. Suppose 3*o + 2*f = 108, r*f = -2*o - 3*o + 175. Is 19 a factor of o?
True
Suppose 2*a = 6*o - 3*o + 9, 3*o = a - 12. Let v = a + 2. Let s(l) = -9*l**3 - 2*l - 1. Does 10 divide s(v)?
True
Suppose -8 = -4*v - 4*q, 41 = 2*v + v - 4*q. Suppose -2*p + 5*f = -3*p + 3, 5*f - 12 = -4*p. Let s = v - p. Is s a multiple of 4?
True
Let u(l) = 2*l**2 + 5*l - 13. Let m be u(-7). Let i = m - 10. Does 10 divide i?
True
Suppose 2*v - 192 = -4*m, -4*m + 104 = -2*v + 3*v. Is 11 a factor of v?
True
Suppose -6*g + g = -75. Suppose 4*x + 19 = 3*s, 2*s = 2*x - 5 + g. Let a = 9 - s. Is 8 a factor of a?
True
Suppose 15 = -0*q + 3*q. Suppose 2*a - 46 = -5*o, -2*o = -q*a + 2*o + 115. Does 10 divide a?
False
Suppose 4*w + 56 = 3*s, 5*s - 4*s - 24 = -4*w. Is 14 a factor of -21*(1 - s/12)?
True
Let v(j) = 2*j - 4. Let y be v(3). Suppose y*f = 2 - 4. 