 be (2 - 2 - -3) + -21. Is 21 a factor of (-2)/(-12) + (-375)/h?
True
Suppose 3*j + 88 = 2*q, 0 = j - q + 37 - 6. Let o be 2/6 + j/6. Is 14 a factor of (-1188)/(-42) - o/(-14)?
True
Let w = 102 + -51. Is w a multiple of 8?
False
Suppose -353 = -2*p + 61. Is p a multiple of 38?
False
Suppose -3*f - o - 2*o = 0, -4*f + o + 20 = 0. Suppose 0 = a + f*a - 495. Does 20 divide a?
False
Let m = 30 + -20. Let p be (4/m)/(6/(-30)). Does 12 divide -15*((-4)/(-10) + p)?
True
Suppose d + 4 = 2*d. Suppose -d*f = -2*f - 4. Is f a multiple of 2?
True
Let c = 107 + -59. Suppose 3*p - 5*s - 106 = 0, 3*p - c - 44 = -2*s. Is 16 a factor of p?
True
Does 21 divide (120/(-150))/((-4)/210)?
True
Suppose -5*g + 4*y + 380 + 133 = 0, 2*g + 2*y = 216. Is 21 a factor of g?
True
Let w(s) = -s - 1. Let l be w(-4). Suppose -91 = l*x - 8*x - y, 4*x = -4*y + 60. Is 8 a factor of x?
False
Suppose 4*z + 0*z = 320. Suppose w + z = 5*w. Does 10 divide w?
True
Suppose -116 = -2*l - 5*j, -4*j + 244 = -l + 5*l. Is 19 a factor of l?
False
Suppose 4*h - 189 - 243 = 0. Is 8 a factor of h?
False
Does 11 divide -6 - (-2 + -1) - -42?
False
Suppose 3*q - 1161 = -3*t, 798 = 2*q - t - 3*t. Is 23 a factor of q?
True
Let f = 66 - 41. Is 6 a factor of f?
False
Suppose -s = -5*f + 33, 3*s + 4*f + 10 = s. Let h be (-1)/((3/(-8))/(-3)). Let j = h - s. Is 2 a factor of j?
False
Suppose -10 = l - 2*s - 39, s - 3 = 0. Suppose -l = -g + 4*x, 3*g - 5*x - 31 = 67. Is g a multiple of 12?
False
Let s = -7 - -9. Suppose -5*j + s*o = -18 - 30, -j + 14 = 4*o. Does 5 divide j?
True
Let m(t) = -1 + 4 - 9*t - 2. Is 23 a factor of m(-5)?
True
Let q(p) = 2*p - 9. Let c be q(6). Suppose c*w - w + 20 = 0. Let v = 21 + w. Is 11 a factor of v?
True
Let h(z) = -z**2 + z + 144. Is 16 a factor of h(0)?
True
Is 29 a factor of (148 + 6/(-2))*(1 - 0)?
True
Does 21 divide 161/(-14)*(-4)/2?
False
Suppose -y + 5*f - 9 = 11, 0 = -5*y - 3*f + 40. Suppose -j + 34 = -0*j - 5*u, -y*j - 3*u + 198 = 0. Does 16 divide j?
False
Suppose 4*s + 5*z - 19 - 132 = 0, -4*z = -s + 22. Suppose -4*g + s = -38. Is 9 a factor of g?
True
Let s = 7 - 10. Let t(z) = z + 6. Is t(s) a multiple of 3?
True
Let v = -13 - -89. Is v a multiple of 19?
True
Suppose 0 = 3*k - k. Suppose g - 3*b = -3*g + 18, -5*b - 1 = 3*g. Suppose -18 = -g*t - k*t. Is t a multiple of 6?
True
Let k = 5 + -1. Suppose 3*r - 3*i = 21, -4*i - 10 = 10. Suppose 3*q - 17 = -t, -t + 124 = k*t + r*q. Does 9 divide t?
False
Let z(a) = 6*a - 8. Is 16 a factor of z(5)?
False
Let x be 6/(-8) - (-3132)/16. Suppose 2*h = -k + 55, 0 = 5*h + 5*k + 50 - x. Is h a multiple of 13?
True
Let q(v) = 20*v + 20. Let a(d) = -3*d - 3. Let r(k) = 32*a(k) + 5*q(k). Let b be r(3). Suppose 0 = -4*p - b + 48. Does 4 divide p?
True
Let q(x) = -5*x**2 - 17*x - 14. Let v(l) = 2*l**2 + 6*l + 5. Let d(c) = 6*q(c) + 17*v(c). Is d(2) a multiple of 17?
True
Let b(o) be the third derivative of -o**5/60 + 5*o**4/12 + 4*o**3/3 + o**2. Is 17 a factor of b(9)?
True
Let f(u) = u**3 + 5*u**2 - u - 2. Let z be f(-5). Suppose -3*h + 12 = 0, -z*v - 7 + 57 = 5*h. Is 5 a factor of v?
True
Let l = 85 - -8. Is 24 a factor of l?
False
Let q be 3 + (-3 - -3) + -4. Is 213/6 + q/(-2) a multiple of 18?
True
Let x(v) = 12*v**2 + 2*v. Let i = -5 - -7. Let a be x(i). Suppose -5*w - 4*h + a = -20, 3*h - 21 = -w. Is 4 a factor of w?
True
Let a be 2/(-3) + (-34)/(-6). Suppose -c = 5*j - 16 - 26, -a*c = -4*j - 94. Is 11 a factor of c?
True
Suppose -2*d - 28 = y, -71 = 3*y - 2*d - 3. Let m = 32 + y. Is m a multiple of 8?
True
Suppose -m + 3 = 2*h, 1 + 14 = 5*m + h. Suppose 16 + 4 = 4*b. Suppose b*i - 6 = m*i. Does 2 divide i?
False
Let b(l) = l**2 - l - 2. Let q be b(3). Suppose -q*n - 8 = -5*n. Does 3 divide n?
False
Let r = -33 + 54. Does 14 divide r?
False
Let i = 140 + -45. Suppose -5*c + i = -0*c. Does 10 divide c?
False
Let n = -104 - -185. Is 27 a factor of n?
True
Suppose 0 = 4*r - 2*v - 152, -v = -5*r - 4*v + 201. Suppose r = 3*w - 2*w. Is w a multiple of 22?
False
Let m be (1/(-1))/((-3)/12). Suppose 3*v + 2*w - 86 = 0, -3*w + 16 = w. Suppose -m*o = -3*o - v. Is o a multiple of 13?
True
Let t = 4 + 1. Suppose -r = -t*r + 36. Is r a multiple of 9?
True
Let b be (-1 + 87)*2/4. Suppose -4*p + 61 = -b. Is (-1)/2*p*-1 a multiple of 6?
False
Let l = 17 - 12. Suppose l*o - 4*o = 20. Is o a multiple of 4?
True
Let i(p) = -2*p - 13. Let x be i(-6). Is 3/((-12)/208)*x a multiple of 13?
True
Suppose 2*d - 5*g = 52, 4*d + 2*g - 8 = 3*d. Does 7 divide d?
False
Let s be -1 + 1*(0 + -1). Is (-291)/(-6) + (-1)/s a multiple of 13?
False
Suppose 2*c - 430 = m, 844 = 4*c - m + 3*m. Let r = -105 + c. Suppose 2*h - 6*h = -r. Is h a multiple of 11?
False
Let z be 0 - (1 - (-16)/2). Let n(p) be the first derivative of p**3/3 + 3*p**2 - 11*p - 1. Does 7 divide n(z)?
False
Let t(q) = 62*q**2 + 7. Is t(2) a multiple of 15?
True
Let i(w) = -2*w + 10. Let k be (-5)/25 + (-24)/5. Is 20 a factor of i(k)?
True
Let j(a) = a**2 + 2. Let z(r) = r**2. Let w(b) = j(b) + 4*z(b). Let c be w(3). Suppose 15 + c = 2*i. Does 12 divide i?
False
Suppose 9*r - 4*r - 425 = 0. Does 17 divide r?
True
Suppose y = 4*u + 148, 4*y - 2*u - 231 = 305. Is y a multiple of 12?
True
Let i be (1 - 3)*(-21 + -1). Let j be i/(-36) + (-4)/(-18). Is 8 a factor of (j + 3 - -2)*4?
True
Let w(q) = -21*q - 11. Let s(b) = 1. Let k(c) = 6*s(c) + w(c). Is 19 a factor of k(-2)?
False
Suppose -28 = 4*y - 128. Does 9 divide -1*(2 + -5) + y?
False
Suppose -5*d + 123 = 2*p, -99 = -2*d - 2*d - p. Suppose 4*z - 11 - d = 0. Does 5 divide z?
False
Suppose -7*m - 40 = -2*m. Let i be (-12)/(-8)*m/6. Is 13 a factor of (96/(-10))/(i/10)?
False
Suppose 4 = l + 2, -3*k - 2*l + 40 = 0. Suppose -g + k = 4*h, -g + 4*h + 3 = 7. Is 3 a factor of -3*(-1)/3 + g?
False
Suppose -8*b = -157 - 131. Does 12 divide b?
True
Suppose 2*a = 94 - 10. Is 7 a factor of a?
True
Let p = -1 + 1. Suppose 2*x = -p + 22. Is 6 a factor of x?
False
Let t(w) = 7*w - 9. Let h be t(11). Is ((-21)/(-6) - 3)*h a multiple of 13?
False
Suppose 5*b - 130 - 125 = 0. Does 16 divide b?
False
Let w(m) = m + 7. Let r be w(-6). Let g(o) = -14 + 6 + 11*o + 7. Does 7 divide g(r)?
False
Suppose -d = 2*d. Suppose -2*m + 0*m + 26 = 4*b, 4*m + 4*b - 52 = d. Is m a multiple of 5?
False
Let f(x) = x**3 - 4*x**2 + 2*x - 2. Let g be f(4). Let m be (-30)/(-9)*g/(-5). Let d = m + 17. Is d a multiple of 13?
True
Let i be ((-9)/4)/((-4)/112). Does 13 divide 0 + -1 + i/3?
False
Suppose -5*j = -4 - 36. Suppose -5*y - 19 = -m, y + 22 = -y + 4*m. Let i = j + y. Does 5 divide i?
True
Suppose -9 = -c - 7. Suppose -c*k = k - 75. Does 25 divide k?
True
Suppose 27 = -2*z - z. Is (78/9)/((-6)/z) a multiple of 11?
False
Let v = -19 + 22. Suppose 62 = v*n + 2*i, -2*n + 50 = n - i. Does 12 divide n?
False
Suppose 2*f - 190 = -3*f. Is 9 a factor of f?
False
Let t be 4/14 + 297/63. Suppose -3*r + 4*y = -32, 2*y + 0*y + 18 = 2*r. Suppose 0 = -5*s - t, -3*v - s = r*s - 49. Is v a multiple of 18?
True
Let k(d) = 16*d**2. Is 4 a factor of k(1)?
True
Let t be (-2)/(-4) - 6/(-4). Suppose -t*v + 2*p + 26 = -0*p, -5*p - 51 = -4*v. Is 14 a factor of v?
True
Let z(v) = -3 + 10*v**2 + 4*v - 7*v**2 - 4*v. Is z(-3) a multiple of 13?
False
Let s(d) = -2*d - 6. Let u(o) = -o**2 + 3*o. Let g be u(6). Let h = g + 11. Is 4 a factor of s(h)?
True
Suppose 2*t = 148 - 24. Suppose 4*i - 30 - t = 0. Is 8 a factor of i?
False
Suppose 4*o + 1 = -5*p - 3, p - 3*o = -16. Is 6 a factor of (p/(-6))/(2/18)?
True
Let q = -3 - -37. Is q a multiple of 2?
True
Suppose 4*l = -3*r - 225, -r - 227 = -0*l + 4*l. Let z = l + 83. Does 13 divide z?
True
Suppose -4*a - 27 + 227 = 0. Suppose 0 = -b + 6*b - a. Is 10 a factor of b?
True
Let s(g) = -2 - 5*g**2 + 9*g - 4*g**2 + 4*g**2. Let l(m) = -14*m**2 + 27*m - 6. Let c(q) = -6*l(q) + 17*s(q). Is c(-9) a multiple of 2?
True
Suppose 5*m = -0*f + 3*f - 67, -10 = 2*m. Suppose -4*a + 38 = -f. Does 9 divide a?
False
Suppose -2 = r - a, -a = 2*r + 1 - 9. Let y = -3 + -3. Is 5 a factor of 3/y*r + 13?
False
Suppose -j - j + 18 = 0. Is j a multiple of 5?
False
Let h(d) = -2*d. Let g be h(-1). Does 12 divide (8/(-10))/(g/(-60))?
True
Let s = 1 - -5. Is 2 a factor of s - (9/(-3) - -3)?
True
Suppose 2*d = 4*m - 360, -90 = 6*m - 7*m - 4*d. Is m a multiple of 3?
True
Suppose 65 = -2*c + 7