t s be (q/2)/((-4)/(-8)). Let g = s + 19. Is g a multiple of 16?
True
Let m = 318 + -212. Suppose m + 68 = 6*k. Does 29 divide k?
True
Suppose -5*r + 3402 - 372 = 0. Suppose -5*j + r = j. Is j a multiple of 33?
False
Is 612/(-3)*(-2)/4 a multiple of 11?
False
Suppose -16*t + 12*t + 184 = 0. Is t a multiple of 12?
False
Let t(b) = -9*b**2 + b + 3. Let u be t(3). Let i be (u/(-20))/(3/8). Is 1*25*i/25 a multiple of 5?
True
Let c(q) = q - 1. Suppose 9*r - 20 = 4*r. Does 3 divide c(r)?
True
Is 6 a factor of 16/4*4/(8/33)?
True
Suppose 0 = 3*h - 9 + 3. Is 5 a factor of 7 + -9 - (-40)/h?
False
Suppose 2*f + 70 = 3*z, -3*f + 2*z - 107 = -2*z. Suppose -4*q + 78 = -190. Let u = f + q. Does 13 divide u?
True
Is 158/4 + 5/10 a multiple of 17?
False
Suppose 3*p = -4*q + 7*p + 284, -2*q + 143 = -3*p. Suppose -x = x - q. Is 14 a factor of x?
False
Let n be 4/(-6)*(1 + -4). Suppose n*j + 85 = 7*j. Is j a multiple of 17?
True
Does 3 divide 2/(-4) + (-213)/(-6)?
False
Let j(g) = -134*g**2 - g + 1. Let o be j(1). Let x = -66 - o. Does 17 divide x?
True
Let k(o) = -o**3 + 10*o**2 - 11*o + 9. Is k(7) a multiple of 40?
False
Let z = -2 - -6. Let t be (-410)/(-14) - z/14. Suppose -2*y = -4*v + 9 + t, -2*y + 52 = 5*v. Is v a multiple of 8?
False
Let l(o) = -4*o + 16. Does 5 divide l(-5)?
False
Suppose -2*x + 5*i = -2, 5*i - 3 - 7 = 0. Let s be ((-81)/12)/(x/(-32)). Suppose -g + s = -5*d, -2*g - 2*d + 48 = -4*d. Does 12 divide g?
False
Suppose 2*x - 204 = -x. Suppose 0 = 5*i - x - 192. Suppose i = -p + 5*p. Does 6 divide p?
False
Let f(u) = 4*u**2 + 2*u - 3. Is 29 a factor of f(-5)?
True
Let m(i) = 3*i - 3. Let f be m(3). Let g be 36/21 + f/21. Suppose -5*h = n + g - 9, -11 = -n - h. Is n a multiple of 6?
True
Let o(w) = 30*w - 10. Is 35 a factor of o(5)?
True
Let j be -8*-3*(-1)/6. Let h = 20 + j. Is h a multiple of 8?
True
Let j = -2 + 2. Suppose 4 = -4*n - 5*c + 136, 2*c = j. Suppose 5*x = 3*x - 3*r + n, r = 1. Is x a multiple of 7?
False
Let y be (-5)/2*12/(-10). Suppose 0 = -y*k - k + 76. Is 5 a factor of k?
False
Let o(p) = 10*p + 5. Does 13 divide o(6)?
True
Suppose -4*k = t - 46, -44 = 2*k - 6*k - 2*t. Does 3 divide k?
True
Let m(s) = -17*s + 1. Let i(h) = h - 1. Let n be i(3). Let t be n/((-2)/(0 + 2)). Does 14 divide m(t)?
False
Let c(r) = r**3 + 8*r**2 + 3*r. Does 10 divide c(-5)?
True
Let s be (-3)/(-6)*-2 + 3. Suppose -7*j = -s*j + 200. Let p = 59 + j. Is 12 a factor of p?
False
Suppose -5*a + 40 = -0*a. Suppose -2*j = -22 - a. Is 171/j*1*5 a multiple of 19?
True
Let t = 16 + -17. Is 21 + (1 - 1/t) a multiple of 8?
False
Suppose 3*k + 12 = 87. Is 7 a factor of k?
False
Let w = 0 + 42. Does 14 divide w?
True
Suppose y - 287 = -5*b, 5*b = -4*y - 42 + 335. Does 20 divide b?
False
Let r be (-1)/4 - 52/(-16). Suppose -44 - 76 = -r*l. Suppose 119 = 4*a + 3*n + 6, 2*a - 4*n = l. Is 13 a factor of a?
True
Let b(o) = -o - 4. Let m be b(8). Let w = 19 + m. Suppose 0 = h - w - 7. Does 7 divide h?
True
Let p(w) = w**2 + 4*w - 2. Let m be p(-6). Is 4/m + (-390)/(-25) a multiple of 8?
True
Suppose 0 = 5*z + 10, 2*f - 2*z - 13 = 27. Let m = f + 10. Does 14 divide m?
True
Let d(v) = -v - 6 + 8 + 7*v + v**2. Let j be d(-6). Let u = 1 + j. Is u a multiple of 2?
False
Suppose 326 = 3*n + 68. Does 13 divide n?
False
Let o(d) = d**3 + 4*d**2 + 2*d - 1. Let i be o(-3). Suppose 2 = c - 3. Suppose 175 = 5*p + 5*w, i*p - c*w = p + 11. Does 13 divide p?
False
Let w = 7 + 11. Is 9 a factor of w?
True
Suppose -4*a = h - 44, -5*h + 311 = 2*a + 73. Is h a multiple of 6?
True
Let n(t) = t**2 - 7*t - 8. Let p(y) = y**3 - 6*y**2 + 3*y - 7. Let a be p(6). Does 6 divide n(a)?
True
Let t(q) = -115*q - 1. Let l be t(-1). Suppose -k - 33 + 158 = 5*z, l = 4*z - 2*k. Is 11 a factor of z?
False
Suppose 0 = 3*j - 5 - 7. Suppose 3*t - 1 = j*t. Does 20 divide t + 32/(-2 + 3)?
False
Let g = 54 + 102. Does 26 divide g?
True
Suppose -b + 0*b - 4 = 0. Let o = b + -5. Let g(q) = -q - 3. Is g(o) even?
True
Let g(s) = s - 4. Let c be 2 + 0 + (2 - -1). Let o be g(c). Suppose 3*x + 2*h - 4 = 0, 4*x = -3*h + o + 3. Is x even?
True
Suppose 0 = 4*s - 7*s + 3*h + 54, -s + 43 = 4*h. Suppose 3*k + 80 = 8*k. Let l = s - k. Is 7 a factor of l?
True
Let o(b) = b - 5*b - 3 - b**2 + 15*b. Is 2 a factor of o(10)?
False
Is 18/4*432/12 a multiple of 27?
True
Suppose 0*t + t = -l + 6, -5*t + 22 = l. Suppose 2*f - 72 = 2*p, -f + 36 = -2*p - l*p. Does 18 divide f?
True
Let w = -35 - -255. Is w a multiple of 13?
False
Suppose -4*j + 16 = 0, -8*h + 4*j = -3*h + 1. Suppose -h*r = -t - 7, 0 = 3*t - t - 4*r + 6. Is 4 a factor of t?
False
Let j be 0 + 6/(-3) - -5. Suppose -4*n + 5*h - 17 = -5*n, -2*h = -j*n. Suppose 4 = n*x - 16. Is x a multiple of 9?
False
Let u(z) = 4*z + 11. Does 4 divide u(5)?
False
Let i(h) = 19*h - 1. Does 14 divide i(3)?
True
Let l = 19 + -9. Suppose -5*j = -q - 3*q + 59, 2*q = -4*j + l. Does 8 divide q?
False
Suppose g - 5*d - 18 = 0, 2*g = -3*g + 3*d + 46. Suppose -t + g = 48. Let n = t + 58. Is 18 a factor of n?
True
Let o(j) = j**3 - 3*j**2 - 8*j + 6. Suppose -4*z + 10 = -10. Is o(z) a multiple of 7?
False
Suppose 0 = -4*m + 25 + 43. Is 17 a factor of m?
True
Suppose -i - 16 = -5*i. Suppose 0*v - 3*o = 5*v - 14, 16 = 4*v + i*o. Is (v/3)/((-1)/(-63)) a multiple of 10?
False
Let w(o) = -3*o - o + o**2 - 5 - 3*o - 4. Does 9 divide w(10)?
False
Let j(y) = -y**3 - 6*y**2 - 4*y + 7. Let g be j(-5). Suppose -38 = -4*x - 2*p, -2*p = -x - 5*p + g. Is x a multiple of 11?
True
Let y = 8 + 16. Is y a multiple of 15?
False
Let x(m) be the first derivative of 12*m**3 + 2 + 0*m - 1/2*m**2. Is 12 a factor of x(1)?
False
Let t(l) = -l - 5. Let h be t(-3). Does 7 divide (-8 + -5)*(h + 1)?
False
Suppose 2*o - 3*y = 47 + 77, 260 = 4*o - 3*y. Does 6 divide o?
False
Suppose -3 = 3*n - 12. Suppose 5*y - 920 = l, 1288 = 5*y - 5*l + 368. Suppose t - y = -n*t. Does 23 divide t?
True
Does 5 divide (510/(-75))/((-2)/5)?
False
Does 24 divide 240/(-2)*24/(-20)?
True
Let y be (0/2 + 0)/(-3). Let d be (-4 - -1)*(-12)/9. Suppose d = s - y. Does 2 divide s?
True
Suppose -3*j + 9 = -0. Suppose 4*i = -j*h + 27, -2*h + 2*i - 7*i = -18. Does 7 divide h?
False
Let y(o) = -o**3 + 5*o**2 - o - 1. Let s(j) be the first derivative of -j**4/4 + 5*j**3/3 - j - 2. Let d(b) = 4*s(b) - 5*y(b). Does 13 divide d(5)?
True
Suppose -t + 4 = 0, 0 = -4*a + t + 85 + 55. Let k(p) = -p + 9. Let m be k(7). Suppose -h + a = m*h. Is h a multiple of 6?
True
Let z(s) be the first derivative of s**4/2 - 2*s**3 + s**2/2 + 4*s - 4. Is z(4) a multiple of 10?
True
Let x be (20 - 0)/(2/(-19)). Let l be x/15 + 1/(-3). Is 14 a factor of (l - -1)/((-4)/6)?
False
Let y be 3/(-5) + 24/(-10). Let v = y - -8. Suppose -3*s - z = -42, 5*z + 19 + v = 3*s. Is s a multiple of 9?
False
Suppose 4*f - 21 + 1 = 0. Suppose 85 = f*z - 4*c, 3*c - 21 = -2*z + 2*c. Is z a multiple of 11?
False
Let u = -16 - -16. Does 28 divide 2 + 30 + u + -1?
False
Let x = -78 + 54. Is (6/8)/((-1)/x) a multiple of 9?
True
Suppose 2 = u - 12. Does 10 divide 4/u + 136/14?
True
Let q be (1 - 0) + (-3)/3. Suppose q = -2*f - 2*f. Suppose -p - 3 + 6 = f. Does 3 divide p?
True
Let f(x) = -x**3 + 7*x**2 + 3. Let i be f(7). Suppose -y + i = 0, -4*n - y + 18 = -n. Suppose 0 = -2*t - n*l + 29, 3*l - 40 = -3*t - 10. Is t a multiple of 3?
False
Let r = 0 + -8. Let q be 6/r + 119/(-28). Is 24/q*40/(-6) a multiple of 11?
False
Suppose -2*w - 7*w = -513. Is 2 a factor of w?
False
Suppose -5*b = 4*m - 0*b + 205, 3*m - 3*b + 147 = 0. Let p = m + 70. Is 9 a factor of p?
False
Let m(y) = 2*y + 7. Does 4 divide m(5)?
False
Let q(t) = -30*t - 4. Let z be q(3). Let n be z/4 - (-2)/4. Let k = n + 35. Does 5 divide k?
False
Suppose 2*x - 4 = 142. Does 16 divide x?
False
Let v(p) = p**2 + 6*p + 5. Let g be v(-6). Suppose y = -2*r - 2, g*y + 5*r - 1 = y. Suppose 245 = 5*w - 5*b, -w - 4*b - 143 = -y*w. Does 22 divide w?
False
Let h(l) = l**2 + 8*l + 5. Is h(-8) a multiple of 2?
False
Let v = 4 - 0. Let f = 4 + v. Suppose -y - 20 = -4*j - 0*y, 0 = -4*j - 2*y + f. Does 4 divide j?
True
Let o be (2 - 20)*(-2)/4. Let l = o + -5. Suppose 3*g + l + 2 = 0, 2*g + 76 = 2*z. Is 15 a factor of z?
False
Suppose 2*q + q = 90. Is q a multiple of 10?
True
Let n(f) = -f + 3. Let g = -3 - -3. Suppose -t = -c + 7, 4*c - 37 = 5*t - g*t. Is n(t) a