+ 5. Let b be g(-5). Let d = b + s. Does 13 divide d?
True
Let m(h) = h**3 + 12*h**2 - 18*h - 13. Let z(j) = j**3 + 13*j**2 - 19*j - 14. Let a(d) = 4*m(d) - 3*z(d). Is 25 a factor of a(-10)?
False
Let i = 139 + -113. Is i a multiple of 11?
False
Let a(f) = f**3 + 14*f**2 + 3*f - 7. Let g(o) = -2*o**3 - 27*o**2 - 7*o + 13. Let y(m) = -7*a(m) - 4*g(m). Does 9 divide y(-9)?
False
Let q(r) be the third derivative of -r**4/8 - 4*r**3/3 + r**2. Let u(d) = -d**3 + 4*d**2 - 9. Let l be u(4). Is q(l) a multiple of 19?
True
Is (-126)/(-27)*30/7 a multiple of 5?
True
Let t(i) = -i**3 - 8*i**2 - 7*i - 16. Is 7 a factor of t(-8)?
False
Let f be -1*(2/1 + -2). Let h(t) = -4 + 3*t + f - 4. Does 9 divide h(10)?
False
Let n = -5 + 8. Let y be (19/n)/((-1)/(-3)). Suppose -y = -2*u + 5. Does 5 divide u?
False
Is 23/2 + (-7)/14 a multiple of 11?
True
Suppose 13*p - 96 = 9*p. Does 6 divide p?
True
Let p(f) = f**3 - 11*f**2 + 4*f - 16. Is p(11) a multiple of 13?
False
Suppose d = 3*t - 40, 4*d = d - 12. Suppose k = -k + t. Does 2 divide k?
True
Let f(u) = -u**3 - 4*u**2 - 3*u + 4. Let a be f(-3). Suppose -q - t = 2*q - 80, a*q + 5*t - 114 = 0. Is 13 a factor of q?
True
Suppose -4*k + 79 - 11 = 0. Is 14 a factor of k?
False
Suppose 0*f + 2*f = -5*k + 20, 0 = -4*k - 2*f + 18. Let z be k/(-3)*15/(-2). Suppose 5*m = 4*b + 114, 0 = m - z*b - 5 - 1. Is m a multiple of 13?
True
Let a = -6 + 8. Suppose 0*y - 5*t = a*y - 114, t = -3*y + 171. Is 25 a factor of y?
False
Suppose 0 = 5*z + 2*z - 294. Is z a multiple of 19?
False
Suppose 4*h = -0 + 20. Is h even?
False
Suppose 5*f = 24 + 31. Let c(k) = -k + 8. Let z be c(f). Let a = z - -16. Does 4 divide a?
False
Let d(o) = -3*o - 7. Let r(x) = 1. Let c(g) = -d(g) - 3*r(g). Let i be c(6). Let j = -12 + i. Is 10 a factor of j?
True
Let i(z) = z**2 + 4*z. Let q be i(-4). Suppose -21 = -4*w - 5*f, q*f + 5*f + 3 = 2*w. Is 4 a factor of w?
True
Suppose -39*n = -38*n - 60. Is 20 a factor of n?
True
Let a = 59 - 13. Suppose -a - 69 = -5*k. Is k a multiple of 6?
False
Let y(s) = -s**2 - 4*s + 3. Let x be y(-5). Let l = x - -3. Is 11 a factor of (l - (1 - 11))*1?
True
Suppose -3*a - 5 = 5*p - a, 4*a - 5 = -5*p. Is 53 - (5 + p + -3) a multiple of 18?
True
Let m = -286 - -576. Is m a multiple of 29?
True
Suppose 4*u = 6*u - 132. Does 22 divide u?
True
Suppose 0 = -2*n + 5*o + 77, 2*n = -o - 3*o + 122. Suppose 1 = 3*y - 5. Suppose n = d + y*d. Is d a multiple of 17?
True
Let c(h) = 5*h + 5. Suppose -5*p + 13 = 2*t - 1, 4*p = 4*t + 28. Let x be c(p). Let g = -8 + x. Does 17 divide g?
True
Let f = -8 - -11. Suppose 5*z = 0, z + f*z = l. Suppose -2*u + 10 = -l*u. Is u a multiple of 5?
True
Let t(h) = 0 - h**2 - 6*h - 1 + 0. Does 8 divide t(-3)?
True
Suppose 2*p + 19 = 25. Is 3 a factor of p?
True
Let t be 24 - (-1 + 1 + -2). Suppose 2*l - t = -3*d, 0 = -0*l + 2*l + 2*d - 24. Is 7 a factor of l?
False
Let t(p) be the third derivative of 7*p**4/24 - p**3/6 - p**2. Let b be t(1). Suppose o = b*o - 35. Does 7 divide o?
True
Is 10 a factor of (-3 - 1/(-1)) + 224/2?
True
Suppose -s + 266 = 2*t, -s + 0*s + t = -254. Does 43 divide s?
True
Suppose 3*j - 74 = -3*w + 2*j, 5*w = -j + 124. Suppose w = -0*i + 5*i. Suppose -8*f = -3*f + i*p - 60, 5*p - 6 = f. Is 8 a factor of f?
False
Let a = -3 + 5. Suppose 2*o + 2*o + 16 = 0, 0 = 4*d - 3*o - 8. Is 13 a factor of d*a + 84/3?
True
Suppose 4*r - 384 = -2*l - 0*l, -2*l - 86 = -r. Does 10 divide r?
False
Is (288 + 1)*(-8 + 9) a multiple of 37?
False
Is 15 a factor of (-6)/(-24) - 387/(-4)?
False
Suppose -7*w + 0*w + 336 = 0. Does 12 divide w?
True
Let l(i) = -2*i**2 - i + 4. Let k(n) = -1. Let c(p) = -4*k(p) - l(p). Let m be c(1). Suppose m*b + 45 = 3*s, 0 = -s - 3*b - 2*b + 45. Is 7 a factor of s?
False
Let y(h) = 3*h - 7. Let p be y(3). Suppose -22 = -2*q - 7*g + 2*g, 0 = -2*q + p*g + 8. Is q a multiple of 2?
True
Suppose 4*w - 187 = 3*w. Let r be (-4)/(-18) - w/(-9). Let u = r - 5. Is 7 a factor of u?
False
Let m = 74 + -34. Is m a multiple of 5?
True
Suppose -3*z = 2*z - 295. Does 10 divide z?
False
Let f(p) = p - 8. Let g be f(6). Is 0 - 8/g - -2 a multiple of 2?
True
Let s = -1 + 2. Let x = 0 - s. Does 8 divide 4/(-2) + (x - -34)?
False
Let l = 158 + -41. Is l a multiple of 13?
True
Let j(z) = -4*z**3 - 2*z**2 + 1. Let i be j(-1). Suppose -5*f = -2*f - 30. Suppose o + f = i*o. Does 3 divide o?
False
Suppose 0 = -i + 4, 3*i - 160 = -4*n - i. Does 11 divide (-3)/((n/(-88))/3)?
True
Suppose -2*h = -3*h + 3. Suppose 0 = d + b + 1, 0 = 2*d + h*d - b + 17. Is 16 a factor of (16/(-3))/(d/9)?
True
Let m(c) be the second derivative of -c**4/12 + 8*c**3/3 + 13*c**2/2 + 6*c. Is 5 a factor of m(16)?
False
Is 17 a factor of 1*64/6*6?
False
Suppose 5*r + 7 = -13, 0 = 3*l + 2*r + 23. Let t(m) = -3*m - 1 + 4 - 4*m + 4*m. Does 6 divide t(l)?
True
Let w = -13 + 8. Let u = w - -11. Does 4 divide u?
False
Let z(v) = -v**3 + 8*v**2 + v + 7. Let i = 21 + -9. Let m be i*(-1 - (-10)/6). Is z(m) a multiple of 15?
True
Let i be (-3)/(-2)*(-84)/(-3). Let q = i - 29. Is q a multiple of 6?
False
Let t = -4 + -9. Let j = t - -25. Is 6 a factor of j?
True
Let j be -1 + 9 - (-2 + 3). Let x(r) = 6*r + 1. Does 18 divide x(j)?
False
Suppose 3*n - 2*n = -25. Is 13 a factor of n/(-2) - (-1)/2?
True
Suppose 0 = -7*g + 4*g - 12. Let a(d) = -d**2 - 10*d - 4. Is 16 a factor of a(g)?
False
Is 19 a factor of -2*-57*(1 + 3/(-6))?
True
Let m(d) = -5*d**3 + 14*d**2 + 4*d - 16. Let r = -1 + -3. Let l(f) = 11*f**3 - 29*f**2 - 9*f + 33. Let z(a) = r*l(a) - 9*m(a). Is z(10) a multiple of 7?
False
Let u = -36 - -72. Is u a multiple of 36?
True
Does 16 divide 45/6*128/20?
True
Suppose -6*t = -12 - 84. Is t a multiple of 9?
False
Is 12 a factor of 12/3 - (-66 + -2)?
True
Is (-594)/(-4) - (5/(-10) + 1) a multiple of 26?
False
Let d(z) = -47*z + 1. Let w(p) = -94*p + 2. Let k(h) = 7*d(h) - 3*w(h). Is k(-1) a multiple of 12?
True
Suppose l - 2*n = n + 96, -5*l + 2*n + 428 = 0. Is (-1)/(-3) - l/(-18) a multiple of 3?
False
Let o be 1*(1 + -2)*-15. Suppose 3*t - o = -72. Is t/(-2) - 2/(-4) a multiple of 7?
False
Does 10 divide 8 - 3/(12/(-8))?
True
Let w(i) = i**2 - 6*i + 14. Is w(10) a multiple of 6?
True
Is (-4 - (-115)/25) + 174/10 a multiple of 9?
True
Let b be (-34)/3 - 8/12. Let w = b + 20. Is w a multiple of 3?
False
Let z(x) be the first derivative of 2*x**3 + 2*x**2 + x + 3. Let n be z(-3). Does 16 divide n - ((1 - 3) + 1)?
False
Let f be 2/(-3)*3 + 28. Let t(n) = -4*n + 4. Let y be t(5). Let h = y + f. Does 7 divide h?
False
Let w(h) = -9*h - 10. Let q(i) = -i**2 - 6*i + 1. Let k be q(-7). Is w(k) a multiple of 22?
True
Let t(w) = 69*w + 6. Let i(u) = 138*u + 13. Let m(p) = -6*i(p) + 13*t(p). Is 15 a factor of m(1)?
False
Let h(c) = -4*c + 0 - 3 - 24*c + 1. Is 22 a factor of h(-3)?
False
Suppose -4 = b, -q - 5*b = 12 + 8. Suppose 0*t + 5*t - 15 = q. Suppose -6*h + 5 = 2*i - t*h, 0 = i + 5*h + 1. Is i a multiple of 2?
True
Suppose -6 = 2*k, -2*v - 241 = -3*k - 64. Is 7 a factor of 2*-1*v/6?
False
Let q = -158 + 333. Is 35 a factor of q?
True
Does 5 divide 6*(35/15 - 1)?
False
Let z be 0/6 - (1 - 1). Suppose -2*d + 4*i - 3 = 3, z = 5*d + i - 18. Does 10 divide (-4)/(-2) + (21 - d)?
True
Let x(l) be the second derivative of l**4/6 + 2*l**3/3 + 3*l**2/2 + l. Does 3 divide x(-2)?
True
Suppose p - 3*u = 2*p - 42, 3*p - 86 = -u. Suppose 2*z - p = 3*m, -m = 5*z + 4*m - 105. Is z a multiple of 6?
True
Let j(h) = h**2 - 4*h - 18. Let g be j(8). Let t = 25 - g. Does 10 divide t?
False
Let o(f) = 3*f**3 - 3*f**2 - 3*f - 3. Let m be o(-3). Let d = 152 + m. Is d a multiple of 25?
True
Let o(t) = t**3 + 7*t**2 - 10*t + 19. Let p(y) = y**3 + 7*y**2 - 11*y + 20. Let v(g) = 4*o(g) - 3*p(g). Does 10 divide v(-7)?
False
Let u = 159 - 94. Is 60 a factor of u?
False
Let i(d) = -8*d - 9. Let y be i(-5). Let p = -23 + y. Does 8 divide p?
True
Let s be -2*(-83)/3*6. Suppose -5*y = -n - 546, -3*y + 6*y - 5*n - s = 0. Suppose -3*u + y = 25. Is u a multiple of 15?
False
Is 49 + 0 + (0 - -4) a multiple of 18?
False
Let r = 22 + 3. Suppose 4*c + r = 161. Does 17 divide c?
True
Let z(f) be the first derivative of -f**2/2 + 7*f + 1. Let r be z(7). Suppose -4*d + 5*u + 61 = r, -d - u = d - 13. Does 4 divide d?
False
Let y(t) be the first derivative of -1 + 1/3*t**3 - 3*t**2 - 5