131 = 5*p. Does 5 divide p?
True
Suppose 3*s + 6 = 6*s. Suppose -s*i - 3*u + 30 = 7, -3*i + 33 = 3*u. Is i a multiple of 10?
True
Let r = -67 - -97. Does 15 divide r?
True
Suppose -2*o + 5*w = -18, 0*o + 4 = -o - 4*w. Suppose f + 5*k = 32, 4*f + o*k = -k + 53. Is f a multiple of 7?
True
Suppose 2*f = l - 12, -2*f - 2*f + 32 = 2*l. Is l a multiple of 14?
True
Suppose -17 = -6*u + 7*u. Is -3 + (-3 - (4 + u)) a multiple of 5?
False
Let y = 88 - 131. Let g(i) = -82*i**3 + 2*i**2 - 1. Let l be g(-1). Let c = y + l. Is 19 a factor of c?
False
Let a = -12 + 18. Let t = -2 + a. Suppose -w - 207 = -t*h, 4*h - 3*h - 3*w = 60. Is h a multiple of 17?
True
Suppose 34 = 5*g + 119. Let j = -9 - g. Does 11 divide ((-38)/j)/((-2)/8)?
False
Suppose 92 = -2*x + 6*x. Suppose -4*r - x = -c, 5*c = 2*c + r + 14. Suppose -c*n + 16 + 2 = 0. Is n a multiple of 3?
True
Let c = 34 + -8. Is 13 a factor of c?
True
Let q(f) = f**2 - f + 38. Let p be q(0). Let t = 110 - p. Does 18 divide t?
True
Let r = 178 + 37. Is r a multiple of 12?
False
Let s(j) be the first derivative of 2*j**2 - 6*j - 2. Let i be s(4). Suppose -i = -2*v - 2, 0 = y + 5*v - 34. Is 9 a factor of y?
False
Let z(p) = 42*p - 3. Is z(2) a multiple of 27?
True
Let v = -6 + 1. Let p(z) = -2*z + 8. Is p(v) a multiple of 18?
True
Is 4 a factor of (6 + 4)/2 + 9/3?
True
Suppose 0 = -x + 5 - 2. Let d = 7 - x. Suppose -d*q + 47 + 41 = 0. Does 11 divide q?
True
Suppose 4*z = 2*z + 30. Suppose -3*s + 3*w + 3 = 0, -2*w + z = 5*s - 5*w. Is s even?
True
Does 35 divide ((-210)/(-4))/(1/2)?
True
Let m(q) be the first derivative of 37*q**4/4 + 2*q**3/3 - q**2 + q - 1. Let j = 8 + -7. Does 15 divide m(j)?
False
Let v(y) = y - 6. Let f be v(6). Suppose 3*q + q - 4 = f. Suppose -3*j + q = -23. Does 6 divide j?
False
Suppose -3*p + p - 2 = 0. Let k = 2 - p. Suppose 0 = k*o - 18 - 24. Does 6 divide o?
False
Let o(m) be the first derivative of 9/2*m**2 - 1/3*m**3 - 4*m - 1. Is o(8) even?
True
Let t = 45 + -19. Is 13 a factor of t?
True
Suppose 0 = -7*w + 2*w - 1035. Let g be 2/10 - w/15. Let d = -3 + g. Is d a multiple of 11?
True
Let l = 71 + -11. Is l a multiple of 30?
True
Let g(k) = k**3 + 6*k**2 + 3*k - 6. Let l be g(-5). Suppose 56 = 4*z + l*r, -r = -4*z + 35 + 41. Is 9 a factor of z?
True
Suppose 5*u + 26 = 66. Suppose -o - 22 = -5*l, 20 = 3*l - 3*o + 2. Let r = l + u. Is r a multiple of 12?
True
Let h be (-1 - 1)/(8/(-20)). Suppose -h*r - 9 = 1. Is -2 + (-3)/r*10 a multiple of 13?
True
Let w(g) = 5*g - 9. Let z be w(8). Suppose z - 8 = 5*b + 4*v, 4*b + 5*v - 22 = 0. Suppose 0*c - b*c = 0, 0 = 2*x - 5*c - 50. Is 11 a factor of x?
False
Let u be 9/(-15) - (-116)/10. Let r = u - 7. Is 3 a factor of r?
False
Suppose -11 = -10*v + 469. Is 12 a factor of v?
True
Let v(j) be the second derivative of 9*j**5/10 - j**4/12 + 2*j. Let h be v(-1). Let a = h - -32. Is a a multiple of 13?
True
Let y be 6/9 - 69/9. Let l = -3 - y. Suppose 4*u - l*f = f + 109, -f + 3 = 0. Is u a multiple of 12?
False
Suppose -k = 5*m - 11, 4*k - 2*k - 22 = -3*m. Does 2 divide k?
False
Let n(c) = c**3 - 5*c**2 + c + 2. Let o be n(3). Let i = -8 - o. Suppose -2*l + 5*y + 0*y + 7 = 0, -46 = -i*l + 3*y. Is 5 a factor of l?
False
Suppose -5*f + 101 = -4. Is 8 a factor of f?
False
Let g(s) = 4*s + 4. Suppose 0 = -5*c - 3*r + 17, -4*c + 17 = -r. Does 11 divide g(c)?
False
Let h(x) = -x**3 - 5*x**2 - 4*x + 4. Let t be h(-4). Let c(k) be the first derivative of 3*k**2/2 - 5*k - 3. Is c(t) a multiple of 4?
False
Let o(r) = -r**2 + 6*r - 6. Let t be o(4). Does 15 divide 1434/24 + t/8?
True
Let r(y) = 4*y**2 - 4. Is 12 a factor of r(3)?
False
Suppose 4*l - 43 = 93. Does 34 divide l?
True
Let p be (9 + -9)/(4/2). Suppose 4*g = -p*g + 3*q + 215, -3*g + 135 = 3*q. Is g a multiple of 13?
False
Suppose 3*l - 335 - 1 = 0. Is 40 a factor of l?
False
Suppose 2*s + 324 = 4*s. Does 27 divide s?
True
Let z = -18 + 13. Is 2 a factor of (z + 0/(-3))/(-1)?
False
Suppose 0*x = -v + 3*x + 5, x = 5*v - 11. Suppose -z - 5*l + 72 = z, v = -l. Is 30 a factor of z?
False
Suppose -12 = -5*n + n. Is 11 a factor of 1/n - 224/(-21)?
True
Let g(i) = -2*i + 0*i + i + 29*i**3 + 1. Is g(1) a multiple of 10?
False
Suppose -10 = 4*x - 3*x + 2*r, -4*x = 4*r + 36. Let y = -3 - x. Does 4 divide y?
False
Does 23 divide 6/(-21) - 64*22/(-28)?
False
Let m = -8 - -12. Suppose m*v + 5*i - 152 = i, -i - 38 = -v. Is v a multiple of 12?
False
Suppose -22 - 29 = -3*l. Let m = 50 + l. Is 28 a factor of m?
False
Let r(l) = l**3 - l + 44. Let k be 4/8*-2*0. Does 22 divide r(k)?
True
Let q(g) = -2*g - 6. Does 4 divide q(-9)?
True
Let o(t) = t**3 + 2*t**2 + 263. Let d be o(0). Suppose -47 - d = -5*p. Is p a multiple of 31?
True
Suppose -230 = -8*s + 3*s + 2*h, 0 = 5*s + 3*h - 230. Let b = 122 - s. Suppose -t = 2*t - 2*v - b, t - 4*v = 22. Is t a multiple of 9?
False
Suppose -2*d + d + 4 = -2*s, -3*s = 4*d - 5. Let k = -6 + 10. Is ((-57)/d)/((-2)/k) a multiple of 20?
False
Let y be 2/(-4)*(-20)/2. Suppose -y*r + 61 = -174. Suppose -4*u + 25 + r = 0. Does 9 divide u?
True
Let n be (-1)/4 - 1935/(-12). Let o = n - 109. Is 26 a factor of o?
True
Let j be -2*(-4)/(-16)*-4. Let h(y) = -y. Let z(u) = -5*u**2 - 2*u - 2. Let n(t) = 4*h(t) - z(t). Is n(j) a multiple of 9?
True
Is 17 a factor of (-1 - 42/9)*-6?
True
Let m(x) = 4*x**2 - 3*x + 2. Suppose 6 = 2*i + 2*a - 2, 4*i - 15 = -3*a. Does 14 divide m(i)?
False
Let a = -77 - -119. Is a a multiple of 21?
True
Suppose 4*a + 70 = 9*a. Is 12 a factor of a?
False
Suppose 4*m + 0*m = 5*s - 205, -3*s = -m - 60. Is (m/(-25))/((-3)/(-10)) a multiple of 4?
False
Let x(y) = -y**3 - 8*y**2 - 10*y - 3. Suppose 1 = 5*q - 9. Suppose u = -q*u - 21. Does 9 divide x(u)?
True
Let z(m) = -2*m**2 - 6*m. Let l be z(-4). Let y = l - -11. Suppose -1 = y*k - 7, -3*i - k = -17. Is i a multiple of 5?
True
Let m be ((-2)/(-6))/(6/90). Let h = 3 - m. Is 13 a factor of ((-2)/4)/(h/52)?
True
Suppose 3*r - 3*w = 360, 4*w = -5*r + 2*w + 565. Is 15 a factor of r?
False
Let a = -13 + 25. Is 7 a factor of 3/(15/a + -1)?
False
Suppose 5*w - 3*c - 320 = 2*c, 5*c - 192 = -3*w. Suppose 0 = k + k - w. Is k a multiple of 16?
True
Suppose 0*g = -2*g + 4. Suppose -g*v + 29 = -11. Is 9 a factor of v?
False
Is 42*(1 + 3/(-9)) a multiple of 7?
True
Let f = -46 + 79. Does 11 divide f?
True
Suppose -o = -5*o + 56. Suppose 3*f + 2*j = o, j + 5 + 1 = 5*f. Is f/11 + (-119)/(-11) a multiple of 8?
False
Let q be (-100)/(-6)*90/25. Suppose 0 = -2*b + t + 33, -4*b + 5*t = -q + 3. Is 9 a factor of b?
True
Is 1/(3/(236 - -4)) a multiple of 14?
False
Let x(d) = d**3 + 7*d**2 + 2*d - 9*d - 2*d + 4. Is x(-8) a multiple of 10?
False
Suppose 0 = -0*y - 4*y + 88. Suppose d - 5*d - 5*n - 92 = 0, d + n = -y. Is (-2)/6*0 - d a multiple of 18?
True
Let j(o) = -43*o - 41. Is j(-12) a multiple of 25?
True
Is 21 a factor of (-2)/4*124/(-2)?
False
Suppose 2*g = -4, 0 = -4*c - g + 400 + 130. Is 19 a factor of c?
True
Suppose 6 = 3*d, -5*k - 4*d + 0*d = 7. Let n = k + 3. Suppose -2*u - 3*u + 135 = n. Is u a multiple of 11?
False
Let j(b) = 3*b**2 + b + 2. Let s be j(2). Suppose -3*n + s = n. Let d(t) = 2*t**2 - 3*t - 4. Is d(n) a multiple of 8?
True
Let q = 14 + -5. Let n be q/(-6)*(-16)/12. Is 4 a factor of n + (-4)/((-8)/18)?
False
Suppose 0 = -5*v - 176 - 124. Does 20 divide (v/(-8))/(1/10)?
False
Let q = 24 + -14. Is q a multiple of 5?
True
Let o = 13 - 5. Suppose -3*t + 68 = -i - 45, -4*i = o. Is t a multiple of 12?
False
Let w(r) = -r**2 + 10*r + 9. Let q be w(11). Let p be (q/4)/((-5)/360). Suppose 2*n - 20 - p = 0. Is 18 a factor of n?
False
Suppose -q - 158 - 486 = -2*d, -5*q = -2*d + 628. Does 27 divide d?
True
Let z be 2*3/(-6)*-3. Let y be (z - 2)*0/(-2). Suppose y = 4*b - 83 + 27. Does 14 divide b?
True
Suppose g - 6 = -2, 2*c = 4*g - 12. Suppose 0 = -4*x - 0*x + j + 202, -4*j - 108 = -c*x. Is 21 a factor of x?
False
Suppose 0*d = -5*d + 3*v + 69, -4*d + 3*v = -54. Is 3 a factor of d?
True
Suppose -4*m + 20 = 0, 3*n + 5*m - 26 = 4*m. Let q = n - 5. Suppose q = 2*b - 6. Does 3 divide b?
False
Suppose -7*s + 8*s = 33. Does 11 divide s?
True
Suppose 0 = 4*a - l - 20 - 14, -5*a + 4*l + 48 = 0. Let j = a - 5. Suppose 5*x - 4*w = 35, -j*w + 14 = x + x. Does 3 divide x?
False
Suppose -5*c + 39 + 46 = 0. Suppose 2*q + l = 19, 0 = -q -