 0. Suppose o*u - 22 = u. Is u a multiple of 11?
True
Suppose 4 = -16*p + 12*p, 4*v = -3*p + 9. Suppose -34 - 77 = -v*q. Is 8 a factor of q?
False
Suppose -7876 = -5*q + u, -4723 = -2*q - q - 2*u. Does 91 divide q?
False
Suppose -o - 5*c + 60 = 0, 3*c - 5 = 10. Let x = 56 - o. Is x a multiple of 5?
False
Suppose 4*f - 658 = -x, -1261 = -11*x + 9*x + 3*f. Is 20 a factor of x?
False
Does 45 divide (-21)/(-6)*-4*(-180)/14?
True
Suppose 19*a - 1577 = -152. Is a a multiple of 3?
True
Let p(b) = 6*b**2 - 12*b. Is 20 a factor of p(-10)?
True
Let t(d) = 2*d**3 - 3*d**2 - 4*d - 4. Let c(a) = a**3 - a**2. Let b(y) = -c(y) + t(y). Let r(x) = x**3 - x**2 - x + 4. Let j be r(0). Is 4 a factor of b(j)?
True
Suppose -13*k + 17*k + 5*c - 755 = 0, -5*k = -2*c - 919. Is k a multiple of 20?
False
Let d(w) be the second derivative of -w**5/20 - 5*w**4/12 + 5*w**3/6 - w**2 - 4*w. Let a = 13 + -19. Does 4 divide d(a)?
True
Let b be (-1 - (-3 - 0))*6/4. Suppose 13 = -b*y + 244. Is 13 a factor of y?
False
Let t(s) = s + 9*s - 17*s. Let l be t(5). Let o = l - -51. Is o a multiple of 8?
True
Let h be (-6)/(-4)*4/(-6). Let n(i) be the first derivative of -7*i**4/4 - 2. Does 4 divide n(h)?
False
Let o(l) = l**3 - 19*l**2 + 3. Let t be o(19). Let q be (0 + 0)/(-7 + 5). Suppose 2*d + 23 = t*d - b, q = -2*b. Is d a multiple of 5?
False
Is 41 a factor of (-24)/(-228) - (-39723)/57?
True
Let p(t) = -t**3 - 8*t**2 - 6*t + 7. Let r be p(-7). Let l be 6/6 - (-1 + r). Suppose -x + y - 4*y = -40, x = -l*y + 42. Does 23 divide x?
True
Let w be (-3 - (-68)/20)*-5. Is w/(-12) - ((-377)/6 + -2) a multiple of 13?
True
Suppose 0 - 5 = -g. Suppose -d + 20 = g*x, -4*x + 15 + 1 = -d. Let f(w) = 6*w + 4. Is 11 a factor of f(x)?
False
Suppose -4*q + 888 = 4*s, -53*s + 51*s = 5*q - 1113. Is q a multiple of 29?
False
Suppose -5*w = 0, -2*l = -0*l + 4*w - 50. Let q = l - 25. Suppose 2*g + 4 = -q*g, 4*o + 2*g = 140. Does 17 divide o?
False
Let m(n) be the first derivative of 5*n**3/3 + 3*n**2/2 - 5*n - 8. Is 13 a factor of m(-4)?
False
Suppose 2*n - z + 1766 = 4956, 0 = 3*n - 2*z - 4786. Is n a multiple of 121?
False
Let i = -15 + 31. Let s be i/(-56) - (-7024)/(-14). Is s/(-7) + 8/28 a multiple of 18?
True
Suppose 2*o - 3*f - 2958 = 1125, 0 = -3*o - f + 6119. Is 120 a factor of o?
True
Suppose -b + y + 1644 = -1117, -b - 3*y + 2761 = 0. Is b a multiple of 17?
False
Let x(j) = -j + 4. Let h be x(3). Let i be (-5 - -6) + 17*h. Is 27 a factor of (-100)/(-3) + (-6)/i?
False
Let k = 16 + -8. Suppose -6*s + 2*s = m, -m = s. Let c = k + m. Is 2 a factor of c?
True
Let g(a) = 5*a + 12. Let w be g(19). Suppose -w = -3*h + 109. Is 36 a factor of h?
True
Let f = -884 + 1316. Is 18 a factor of f?
True
Suppose -2*s = -3*n - 2052, -5*s + 6*n - 7*n = -5147. Is 49 a factor of s?
True
Suppose -16*c = -158 - 450. Is c a multiple of 38?
True
Let j(a) = -41*a - 717. Is 8 a factor of j(-34)?
False
Let p be 27 + 6/((-12)/(-10)). Suppose -52*z + 51*z + p = 0. Is 32 a factor of z?
True
Let t = 132 - -84. Is 18 a factor of t?
True
Let a be 282/(-3 - -1)*(-3)/9. Is a - (-1 + 18/3) a multiple of 13?
False
Is -5 - (-1110 + 5) - 8 a multiple of 27?
False
Let a(k) = -k - 14. Let o be a(-17). Suppose 0 = -2*c - 1 + o. Suppose -5*v + 146 = c. Is v a multiple of 23?
False
Let y = -612 - -1172. Is y a multiple of 28?
True
Suppose b + 190 = d, -585 = -2*d - d - 2*b. Is d a multiple of 5?
False
Let r(h) = -58*h - 8. Is 20 a factor of r(-6)?
True
Is (3 + 1/(-2))*80*2 a multiple of 50?
True
Suppose -9*c = -7295 + 743. Does 56 divide c?
True
Let y(r) = -10*r**2 + 1. Let g be y(-1). Does 11 divide ((-213)/(-12))/(g/(-36))?
False
Let v(j) be the first derivative of -j**4/4 + 3*j**3 + 23*j**2/2 + 17*j - 3. Is 11 a factor of v(10)?
False
Is 244/7*(0 + (-14)/(-4)) a multiple of 13?
False
Let g = 200 + -93. Let a = g - 79. Is 14 a factor of a?
True
Let k = -152 - -1423. Does 41 divide k?
True
Suppose 7*a - 1933 - 1336 = 0. Does 7 divide a?
False
Let s be (-12 + 7)*(0 + -2 + 1). Suppose 186 = 3*j + t, -j = -3*t + s*t - 67. Does 5 divide j?
False
Let r = 283 + -136. Is 33 a factor of r?
False
Suppose -36*o = -37*o + 65. Does 13 divide o?
True
Let z be -2 - 5/(-3) - 6/9. Is 41 a factor of ((-50)/20)/(z/50)?
False
Let h = 57 - 32. Let y = 0 + h. Suppose w - y = 3*p, 5*w = p + p + 164. Is w a multiple of 8?
False
Suppose -3*g + 2*k + 786 = -996, -4*k - 1188 = -2*g. Is 6 a factor of g?
True
Let n(d) be the third derivative of -d**4/4 + 4*d**3/3 - 23*d**2. Is n(-8) a multiple of 8?
True
Suppose -g + 5*o + 629 = 0, 4*o - 690 + 106 = -g. Is 31 a factor of g?
False
Suppose 14 = 3*l - 4*l. Let t = -12 - l. Is 8 a factor of (-2)/6*-111 - t?
False
Suppose q = 14*p - 19*p + 510, 0 = 4*q - 20. Is 6 a factor of p?
False
Does 17 divide 95/38*(-3056)/(-5) + 2?
True
Let d = -2 - -2. Suppose d = -2*l + 3*l. Suppose l = -4*s + 31 + 17. Is 6 a factor of s?
True
Let r(m) = 2*m**3 - m**2 + 8*m - 3. Let l(a) = -a**3 - a**2 - 1. Let u(b) = -5*l(b) - r(b). Is u(4) a multiple of 12?
True
Let z = 82 - -53. Is z a multiple of 9?
True
Let v(y) = -y**3 - y**2 + 5*y + 6. Let g be v(-3). Let n(l) = -l**3 - l**2 - l - 5. Let o be n(0). Is 2*((o - -1) + g) a multiple of 10?
True
Suppose -5*z + 11 - 1 = 0. Suppose 0 = -4*n - k + 51, 0 = -n + 5*k - z*k + 16. Is n a multiple of 2?
False
Suppose 0*r = -3*r - 4*j + 31, 3*j = r - 19. Let o(h) = -370 + 379 + 9*h - r*h**2 + 5*h + h**3. Does 11 divide o(12)?
True
Let a(y) = -2 + 0*y - 15 + 6*y. Let i be a(-9). Is 17 a factor of 6/(-2) - (i + 2)?
False
Let h be (2 + 1)/(-9)*0. Suppose j - 3*q - 261 = h, -4*q + q = 9. Is 4 a factor of j/20 - 4/(-10)?
False
Suppose 4 = 2*g - 12. Let a = g - 3. Suppose 2*w = h + a + 46, 0 = w + h - 24. Is w a multiple of 13?
False
Let z(j) = 3078*j**3 + 2*j**2 - 6*j + 6. Is 10 a factor of z(1)?
True
Let s(u) = -328*u**3 + 10*u**2 + 23*u. Is s(-2) a multiple of 14?
True
Let v be ((-56)/10)/(0 + 2/(-5)). Let m = 31 + v. Does 5 divide m?
True
Let i = -3232 - -4548. Is i a multiple of 94?
True
Let j(k) = 2*k**2 + 4*k + 31. Let c be j(22). Suppose -5*i + 4*u + 1081 = 2*u, 5*i = -u + c. Is i a multiple of 31?
True
Let w(c) be the second derivative of -5*c + 0 + 1/2*c**3 + 5*c**2. Is w(6) a multiple of 14?
True
Let w be (-1 - -1) + -3 - (1 - -2). Is (-383)/w + 3/18 a multiple of 17?
False
Let d = -19 - -22. Suppose -1 = -s - i, -d*s = s + i - 1. Let j(z) = -z**3 + z**2 + 18. Is 5 a factor of j(s)?
False
Suppose 22*v - 19*v - 2*q - 848 = 0, -260 = -v - 5*q. Is v a multiple of 40?
True
Suppose c + 20 = 4. Is (-1017)/(-4) + 4/c a multiple of 50?
False
Let y(s) = 4*s**2 + 4*s + 2. Let p be y(-2). Suppose 2*r = -0*r + p. Suppose -8*n + 15 = -r*n. Is n a multiple of 5?
True
Suppose 6*n = 2*n - 2752. Let z be n/(-56) - (-2)/(-7). Is ((-82)/(-8))/(3/z) a multiple of 23?
False
Let v(g) = 3*g - 2. Let c be v(3). Let h(a) = 2*a**2 - 23*a + 24. Let w be h(11). Suppose -i + c*o + w = 2*o, -4*o = 4*i - 76. Is 9 a factor of i?
True
Suppose 5*t - 10*t + 17487 = y, t + 5*y - 3483 = 0. Is 159 a factor of t?
True
Let a be (-1 + 4 + 8 + -5)*6. Suppose -i - f + a = -26, 3*f + 12 = 0. Is 8 a factor of i?
False
Let r be 0 - 5/((-25)/15). Suppose 0*n - n = -2*j + 89, 0 = -r*n + 3. Does 9 divide j?
True
Suppose -3*t = -v - 21, t - 20 = -2*v - 2*v. Suppose 0 = t*g - 10*g + 88. Is 15 a factor of g?
False
Let r = -69 + -65. Let w = -26 - r. Is w a multiple of 27?
True
Let s(p) = -p**2 - 2*p + 3. Let t be s(-3). Suppose t = 3*u - 2*u - 48. Does 16 divide u?
True
Let i(u) = -u**2 - 23*u + 21. Let o be i(-24). Does 6 divide 1/(o/3) + 46?
False
Let j(z) = -2*z + 10. Let a be j(4). Suppose 4*p + m - 224 = -3*m, 0 = -5*p + a*m + 287. Suppose 4*f + p = r, -2*f = -3*r + f + 135. Is r a multiple of 29?
False
Let l(v) = 34*v + 183. Is 12 a factor of l(3)?
False
Let z be (-4)/16*2*10. Let r(q) = -5*q**3 + 3*q**2 - 3*q + 10. Let a(d) = -6*d**3 + 3*d**2 - 4*d + 11. Let s(b) = z*r(b) + 4*a(b). Is s(5) a multiple of 14?
False
Let w be (-312)/(-120) - 4/(-10). Suppose -w*i + 5*t = -2*i - 85, -3*t - 15 = 0. Does 10 divide i?
True
Suppose -33*i = -38*i + 975. Is i a multiple of 15?
True
Suppose 155 = -0*d + 5*d. Let p = d + 29. Is p a multiple of 12?
True
Suppose -9*z + 630 = -3438. Is z a multiple of 12?
False
Suppose -1122 = -13*g + 10*g. Is g a mu