 p + (-3 - -1). Suppose 3*k + 10 = -3*w + 73, -4*k = w - b. Is 11 a factor of w?
True
Suppose -g + 72 = -23. Is 21 a factor of g?
False
Suppose w = 5*w - 76. Is 19 a factor of w?
True
Is 17 a factor of (-12)/21 + (-4)/((-56)/3102)?
True
Is (-5 + 2 - -7) + 152 a multiple of 12?
True
Let n be 4/(-10) - (-434)/35. Suppose j - 3*j + n = 0. Is j a multiple of 4?
False
Let s be ((-1)/1 - 14)/(-1). Is 22 a factor of 336/s + (-2)/5?
True
Let b = 13 + -8. Suppose -b*z + 35 = 10. Is (z*-1 - -1)*-1 a multiple of 4?
True
Suppose 3*d - 7 = 2*d. Suppose -2*g - 202 = -d*g - 2*s, -3*g - s = -121. Is 21 a factor of g?
False
Let t = -16 + 62. Is 12 a factor of t?
False
Suppose -a - 5 = -33. Is 7 a factor of a?
True
Suppose 3*r - 12 = -r. Suppose -2*x = -r*c - 47, -3*c - 28 - 67 = -5*x. Is x a multiple of 16?
True
Suppose -2*s + 42 = 3*v - 0*s, 56 = 4*v + 4*s. Does 3 divide v?
False
Let f = 0 - 2. Let a = f + 4. Suppose -a*j = -0*j - 54. Is 17 a factor of j?
False
Suppose 4*z - 40 = -3*g, -1 = -2*g + 5*z + 18. Let k be (-2)/(-10) + (-14)/(-5). Suppose 5*b + g = k*r, 0 = r - b - 0*b - 6. Is 9 a factor of r?
True
Let x = 43 - 38. Does 2 divide x?
False
Suppose -4*t + 7 + 97 = 0. Let d = t + 8. Is d a multiple of 14?
False
Let g(j) = -j**2 - j + 2. Let x be g(-2). Suppose 2*h - 6*h - 24 = x. Is 6 a factor of 64/h*(-12)/8?
False
Suppose 7 - 1 = 2*c. Let h(t) = -13*t**c - 4*t**3 - 1 + t**2 - 4*t**3. Is h(-1) a multiple of 21?
True
Let w(g) be the second derivative of -21*g**5/20 + g**2/2 + g. Is w(-1) a multiple of 11?
True
Suppose 0 = -2*k + 112 + 38. Does 25 divide k?
True
Suppose -4*y + 238 = -3*y. Is 20 a factor of y?
False
Let h be 4/18 + 305/45. Suppose h + 19 = k. Is k a multiple of 9?
False
Let o = -21 + 35. Let a = 2 + o. Suppose 0 = 5*x - 146 + a. Is x a multiple of 14?
False
Let o(g) = 2*g**2 + 3*g - 12. Is o(-8) a multiple of 9?
False
Suppose 5*a - 21 = 19. Does 6 divide a?
False
Suppose 0*q + 15 = -5*q, 2*w - q + 13 = 0. Is 2 a factor of 9/(-72) + (-73)/w?
False
Let w = -291 - -493. Is 14 a factor of w?
False
Suppose -5*j = -4*o + 33, -7*j + 3*j + 2*o - 30 = 0. Suppose -5*u = -4*q + 97, 2*q = 2*u - 0*q + 38. Let h = j - u. Does 5 divide h?
False
Suppose 0 = 197*g - 193*g - 184. Does 3 divide g?
False
Let s(u) = -u**3 + 8*u**2 + 9*u - 4. Let r be s(9). Let o be (-412)/9 - r/(-18). Let l = o - -119. Is l a multiple of 27?
False
Suppose 1 = -2*h + 7. Suppose -5*b + 81 = -2*y, -b - h*y + 27 = 2*y. Does 6 divide b?
False
Let f(l) = l**3 + l**2 - l + 50. Is 50 a factor of f(0)?
True
Is 10/15*(-564)/(-8) a multiple of 33?
False
Let v(r) = 2 + 9 + 11*r**2 - 3*r**2 + 3*r - r**3. Is 16 a factor of v(8)?
False
Suppose -4*r - 2*o = -4*o - 28, -o + 4 = 0. Does 2 divide r?
False
Let z(q) = q + 13. Let m be z(-9). Does 11 divide (-94)/(-4) + 2/m?
False
Suppose -2*o + 0*d - 13 = -5*d, -d = -5*o + 25. Let y be 9/o*2 + -9. Does 12 divide (40/y)/(3/(-9))?
False
Let w = 8 + 4. Let r be (-55)/(-4) - (-3)/w. Suppose m - r = 5. Is 12 a factor of m?
False
Let a(k) = 6*k + 6. Let n(o) = o + 1. Let b(f) = -3*a(f) + 14*n(f). Let v(j) = j + 1. Let t(c) = b(c) + 5*v(c). Does 4 divide t(5)?
False
Let p be 6/(2*(-2 - -1)). Let h(i) = -i**2 - 3*i + 4. Does 3 divide h(p)?
False
Let j(r) = 7*r**2 - 2*r - 1. Suppose -4*v - 2*y + 2 = -7*y, -4*v + 4 = -4*y. Let c be j(v). Suppose 2*a - c = -2*a. Is 6 a factor of a?
False
Let s = -13 - -6. Let m(z) = -6*z - 6. Is m(s) a multiple of 13?
False
Suppose -8*p + 3*p + 185 = 0. Let d = 23 + p. Is d a multiple of 20?
True
Suppose -6*c = -90 - 12. Does 13 divide c?
False
Suppose -196 = -3*a - 37. Let y = a + -26. Is y a multiple of 13?
False
Let x = -29 - -14. Let k be (-2)/((-24)/x - 2). Suppose -3*r + d + 15 = 0, r + k*d = -r - 7. Is 4 a factor of r?
True
Let n(b) = 3*b**2 + 2. Let j be n(-4). Suppose 2*m = 3*m - j. Suppose 5*c = 30 + m. Is 8 a factor of c?
True
Suppose 2*a = -3*f + 35, 3*f - 2*a - 15 = a. Does 4 divide f?
False
Suppose -2*v = g - 160, 3*v = -2*g - 2*v + 316. Is 28 a factor of g?
True
Suppose -8*m + 216 = -40. Does 7 divide m?
False
Is 27 a factor of (-322)/(-4) + 4/8?
True
Let u be 1 + 1 + -1 + 2. Suppose u*j + 244 = 7*j. Is j a multiple of 28?
False
Let o(p) = p**3 - 9*p**2 - p + 9. Suppose -2*w - 18 = -4*w. Let i be o(w). Suppose s + 5*y = 22, 2*s - 5*y - 5 - 9 = i. Is 7 a factor of s?
False
Let s(a) = 5*a - 19. Let u be s(9). Let c be (-2)/((-14)/(-10) + -1). Is u + (c - -3) + 0 a multiple of 12?
True
Let h = -7 - -10. Suppose -10 = -3*x - 8*y + 3*y, 20 = h*x - 5*y. Suppose 2*f - 10 = x*r + 40, -3*r + 94 = 5*f. Is 9 a factor of f?
False
Suppose 0*n = 2*n - 8. Let h be 16/10 - n/(-10). Suppose 4*t - 4*p = 24 - 0, h*p - 23 = -5*t. Is t even?
False
Let r(u) = 34 - 11*u - 34. Is r(-1) a multiple of 3?
False
Suppose -5*r + 10 = -n, -3*n = 2*r - 6 + 2. Suppose 5*s - 104 = v - 3*v, 0 = r*s - 5*v - 59. Is 11 a factor of s?
True
Let h be (-26)/(-10) - 2/(-5). Suppose 0 = -o + h, -f + o + 8 = -o. Suppose -z - f = -2*z. Is 7 a factor of z?
True
Let d(y) = y + 2. Let j be d(-5). Is 4 a factor of j/5 + 126/10?
True
Let z = 12 - 6. Does 10 divide 12/9*z + 2?
True
Is 7 a factor of 11 + (1 - -11)/3?
False
Let x(n) = -n**3 + 5*n**2 + 6*n + 4. Let a be x(6). Suppose a*v - 3 = 37. Let m = v + -4. Is 3 a factor of m?
True
Suppose 4*q = -3*t + 409 + 167, 5*q + 3*t = 717. Let i = q + -83. Is i a multiple of 15?
False
Let i(a) = 2*a**2 + a - 3. Let g be i(-3). Does 14 divide (-3)/g - (-507)/12?
True
Let h(v) = v**3 - v**2 - 4*v + 18. Is h(6) a multiple of 28?
False
Suppose 2*b + 2*b + 5*a - 13 = 0, 0 = -2*b + a + 17. Suppose 4*d = b*d + 4*l - 127, -3*d + 129 = 3*l. Does 9 divide d?
True
Suppose 8 = 4*k + 5*x, -5*k + 5*x = -0*x - 55. Is 3 a factor of k?
False
Suppose -5*z - 4*x + 136 = 0, -5*z = -2*x + 5*x - 137. Does 13 divide z?
False
Let o(c) be the first derivative of 52*c**3/3 - c**2 + c + 6. Does 17 divide o(1)?
True
Suppose 0 = 5*q - 126 - 224. Suppose z + 159 = 5*h, 2*h - q = -0*h + 2*z. Is 21 a factor of h?
False
Let n(b) = b**3 - b**2 + b + 19. Let l(v) = v - 2. Let x be l(2). Is n(x) a multiple of 19?
True
Suppose 0 = -4*i - 4*m + 14 - 90, 3 = -m. Suppose -k = -3*k - 2*n + 10, 0 = -3*k + 3*n + 21. Let x = k - i. Does 13 divide x?
False
Suppose 5*y - 21*y = -3616. Is y a multiple of 73?
False
Let u be (498/9 - 0)*3. Suppose -k + u = 3*r, -9 + 3 = 3*k. Suppose -5*m + 59 = 3*w, 3*m + 5*w - r = -11. Is m a multiple of 5?
True
Suppose 4*j + 8 = 0, j - 5*j - 5 = m. Suppose -24 = -m*z - z. Does 2 divide z?
True
Let l be ((-2)/(-6))/((-2)/(-12)). Is (l + 1)*6/2 a multiple of 3?
True
Suppose -3*y + 3 = -3. Let h(q) = q**3 + 3*q**2 - 3*q - 2. Let c be h(-3). Suppose 0 = y*t - 3*t + c. Does 3 divide t?
False
Let v(r) = r**3 - 4*r**2 + 2*r - 5. Let g be v(4). Suppose 11 = 6*u - 13. Suppose 5*z = -u*j + 4*z + 31, -2*j + g = 3*z. Does 9 divide j?
True
Let d(g) = g**2 - 7*g + 7. Is d(-4) a multiple of 10?
False
Suppose -2 = -3*q + 5*q, q + 545 = 4*r. Does 18 divide r?
False
Suppose 0*c - 12 = -3*c. Let h be 132/(-21) + c/14. Does 14 divide ((-3)/2)/(h/112)?
True
Let o(h) = 4*h - 5*h - 3 + 0. Let u be o(-3). Suppose u*b = 4*b - a - 81, -4*b = -2*a - 82. Is 20 a factor of b?
True
Suppose 0 = -2*i + 6, -4*i = -c - 8. Let u be c + 1/(-1) + 1. Suppose -5*n = -2*s + 39, 0*n - u = 4*n. Is 17 a factor of s?
True
Let v = 5 - 2. Suppose -3*p + v*n + 209 = p, p + 5*n - 35 = 0. Is p a multiple of 13?
False
Let q be 6/4 - 1/2. Suppose -5*y + q = -m - 149, 5 = m. Is y a multiple of 20?
False
Suppose w - 5*w = 2*a - 254, -2*w = -a - 129. Suppose -y - y = -w. Is y a multiple of 16?
True
Suppose -2*r = -4*r - 2*g + 508, -g - 1006 = -4*r. Suppose 36 = -4*m + r. Does 9 divide m?
True
Suppose -u = 2*u. Let q = -14 + 9. Let w = u - q. Is 2 a factor of w?
False
Suppose -c - 3*p + 17 = 0, -5*p + 16 = -2*c + 61. Suppose 2*o + c = 6*o, -5*f - 5 = -5*o. Does 4 divide f?
True
Let b(s) be the first derivative of -s**4/4 - 10*s**3/3 - 9*s**2/2 + 5*s - 1. Let o be b(-9). Suppose 16 = o*j - j. Is j even?
True
Let i be (-72)/(-15) + (-1)/(-5). Suppose 2*m = i*r + 5*m - 217, -5*r + 4*m + 224 = 0. Is r a multiple of 20?
False
Let i be (3 + 2 + 2)*-1. Let y(q) = 2*q**2 + q + 7 + 2*q + 7*q - 4*q. Is y(i) a multiple of 23?
False
Let a(c) = c**3 - 3*c**2 + 2*c + 2. Let h be a(2). Does 12