actor of s?
False
Let q(v) = v + 7. Let x be q(-7). Suppose -p + 68 = -x*p. Suppose 5*d + 2*c - p + 26 = 0, 5*d - 5*c = 35. Is 8 a factor of d?
True
Let s(u) = -u**3 + 5*u**2 + 3*u - 6. Let r be s(5). Suppose -6*g + r*g = 135. Is 15 a factor of g?
True
Suppose -3*b + 791 - 251 = 0. Suppose -3*a + b = 2*a. Is 18 a factor of a?
True
Let c(p) = -10*p - 1. Is c(-3) a multiple of 8?
False
Let n = 0 - 10. Let m(z) = 5*z - 7. Let b be m(n). Let v = -38 - b. Is v a multiple of 19?
True
Let c = -26 + 43. Let d = c - 0. Does 8 divide d?
False
Suppose 10*w + 60 = 14*w. Is 5 a factor of w?
True
Let g(u) = u + 4. Let m(j) = j + 5. Let b(t) = 4*g(t) - 3*m(t). Let k be b(-1). Suppose k = 2*r + 15 - 53. Is r a multiple of 8?
False
Let h(s) = 3*s**2 + 3*s. Let q be h(-2). Suppose i = 5*y + 6*i - 30, -3*y + q = -i. Suppose -4*o = y*c - 17, o + 3*c + 0 = 11. Does 2 divide o?
True
Suppose 0 = -3*a + 4*f + 14 - 5, -2*a + 20 = 2*f. Does 7 divide a?
True
Suppose r - 4*c - 44 = -2*r, -2*c = 3*r - 50. Does 16 divide r?
True
Let y(a) = -a - 3. Let c be y(-5). Let s = 11 - c. Is s a multiple of 3?
True
Suppose 2*f = d + d, d - 4*f = 9. Let h be 4 + 0*d/6. Does 17 divide ((-6)/h)/(15/(-340))?
True
Let z = 2 + -6. Let c be (-15)/10*z/3. Suppose -3*q + 4 = -c. Is q even?
True
Let s(p) = -p**3 + 11*p**2 - 10*p. Let w be s(10). Is w*(-2)/8 + 7 even?
False
Suppose -2*y - 7 = -3. Let f(n) be the second derivative of -13*n**3/6 - n**2 - 2*n. Does 12 divide f(y)?
True
Suppose -54 = 5*c + 381. Let k = -62 - c. Is k a multiple of 20?
False
Suppose 6*p + 42 = 8*p. Suppose 2*d - p = 15. Is 8 a factor of d?
False
Let v = -2 + -2. Suppose -3*h - 6 = a - 5, 2*a = h + 5. Is 8 a factor of -4*(v + a - 2)?
True
Let r(m) = 3*m + 2. Let h be r(-2). Let o = 24 - -4. Is 9 a factor of o - ((h - -1) + 2)?
False
Let r(i) = 2*i - 6. Let f be r(4). Suppose -k + 2*z = -7 - 10, 4*k = -f*z + 18. Is k a multiple of 5?
False
Let y(x) = -2*x**2 - 5*x - 3. Let k be y(-3). Let v(d) = -d**3 - 5*d**2 + d - 6. Does 8 divide v(k)?
True
Let g be 90/4*(-4)/(-3). Let w = g + -14. Is 16 a factor of w?
True
Suppose -3*b = -19 + 1. Let d(i) = 5*i - 1. Is d(b) a multiple of 8?
False
Let q(f) = -2*f + 19. Is 11 a factor of q(-3)?
False
Let i(w) = -5*w - 6. Suppose 11 = 4*b + 27. Does 7 divide i(b)?
True
Let x(w) = -w**3 - 6*w**2 + 12*w - 1. Let u = -15 - -6. Let r be x(u). Suppose 2 - 3 = -d, 0 = -2*m - 4*d + r. Does 27 divide m?
False
Let p(k) = 2*k + 11. Does 29 divide p(9)?
True
Suppose 5*f - 87 = -t - 2*t, 5*t = -3*f + 145. Is 5 a factor of t?
False
Is 16 + (2 - (2 - 0)) a multiple of 14?
False
Let l be -1 - (-1 + 0 - -5). Let i = -6 - l. Does 22 divide (-4)/(2*i/11)?
True
Suppose 6*p - 414 - 678 = 0. Is 26 a factor of p?
True
Let n = -3 + 1. Suppose -6*f - 73 - 47 = 0. Let v = n - f. Is 11 a factor of v?
False
Suppose 4*b - 2 = -18. Let p(g) be the second derivative of -g**3/2 + g**2 - 2*g. Does 14 divide p(b)?
True
Suppose -d + 10 = -5*u, 3 = 4*d - 2*u - 1. Suppose 4*h + 2*j - 100 = d, -2 = 2*j - 6. Is h a multiple of 16?
False
Let i = -3 - -7. Suppose -i*f + 107 - 15 = 0. Does 23 divide f?
True
Let p be (0 - 1)/(1/27). Let f = 9 - p. Is 15 a factor of f?
False
Let q(b) = 3*b**2 + b - 8. Does 12 divide q(-4)?
True
Suppose 3 + 0 = t. Suppose -5*u - 5*k = -38 - 47, -4*u + 71 = 3*k. Suppose -u = 4*r, -4*o = -t*r + 37 - 196. Is 18 a factor of o?
True
Let i(k) = 3*k**3 - k**2 + k - 9. Let l(h) = h**3 - 2. Let x(r) = -2*i(r) + 9*l(r). Let m be (-2)/(-5)*(-3 + 8). Does 14 divide x(m)?
True
Is (106/(-4))/(10/(-20)) a multiple of 17?
False
Suppose 0 = -p + n + 17 + 147, -n - 502 = -3*p. Is p a multiple of 21?
False
Let j = 594 + -356. Does 12 divide j?
False
Suppose 0 = 4*r - l - 558, 2*r + 5*l - 284 = 3*l. Is 28 a factor of r?
True
Let f = -76 + 166. Suppose -9*g + 4*g + f = 0. Does 9 divide g?
True
Suppose -3*z = -5*m + 5 + 45, 4*z - 10 = -m. Let v = m + -4. Is 3 a factor of v?
True
Let x(u) = -4*u**3 + 3*u**2 - 2*u + 7. Let w be x(3). Let z = w + 134. Is z a multiple of 18?
True
Let x(a) = -a**3 + 5*a**2 - 2*a + 4. Does 12 divide x(4)?
True
Let l be 15 - -1*1/(-1). Let p(q) = -q**3 - 13*q**2 - 14*q - 18. Let h be p(-12). Is 2/h + l/3 a multiple of 5?
True
Let r = -11 - -26. Is 13 a factor of r?
False
Let c(m) = m**2 - 11*m - 6. Is c(12) a multiple of 4?
False
Does 14 divide ((-36)/(-5))/(6/45)?
False
Let k(n) = -2*n**2 + 45. Does 2 divide k(0)?
False
Suppose -4*z = -5*p - 250, z - 3*z + 2*p = -126. Is z a multiple of 35?
False
Let l(u) = -u + 9. Let b be l(8). Suppose 6*j - 65 = b. Is j a multiple of 4?
False
Let w(b) = -b**3 - 8*b**2 - 6*b - 2. Let y be w(-7). Let k = 6 - y. Is k a multiple of 5?
True
Suppose -2*u = 36 - 6. Is 6 a factor of -3 - (0 + u*1)?
True
Let q(k) = k**3 - 7*k**2 + 2. Let p be q(7). Suppose 0 = 2*g + l - 0*l - 29, 0 = p*g - 5*l - 47. Is g a multiple of 16?
True
Is 3 a factor of (-1044)/(-84) - 8/(-14)?
False
Suppose 5*u + r = -101, 2*u + 1 = -r - 37. Let y be (-7 + 1)/2 - -2. Does 14 divide 1*u/(1/y)?
False
Let n(s) = s + 7. Let o be n(-7). Suppose 2*b + b - 96 = o. Let l = 7 + b. Is 14 a factor of l?
False
Suppose 152 = 4*w - 64. Is 8 a factor of w?
False
Let s be (-8)/(-32) + 350/8. Suppose s = -0*l + 4*l. Is 11 a factor of l?
True
Suppose 0 = -9*c + 11*c - 42. Is c a multiple of 3?
True
Suppose 3*o - 2*b = -b + 7, -4*o + 4*b + 4 = 0. Suppose 4*a - o = -19. Let x(z) = z**2 + z + 1. Is x(a) a multiple of 6?
False
Let z = 3 - -4. Let g = z - -2. Does 3 divide g?
True
Let m(z) = -21*z - 8. Let f(y) = -10*y - 4. Let n(q) = 5*f(q) - 3*m(q). Does 20 divide n(4)?
False
Suppose -33 = -5*j - 2*o, -o - 4*o = -4*j. Suppose -3*f + p + 5 = j*p, -7 = -f + 4*p. Suppose -q + 4 = -f. Is q a multiple of 7?
True
Let i be (0 - 21/(-6))*4. Let l = -2 - i. Let n = l + 33. Is n a multiple of 17?
True
Let c(s) = -s**3 + 7*s**2 + 10. Let v be c(7). Suppose 2*a = -v + 72. Is a a multiple of 16?
False
Suppose -h + 3*u + 0*u - 10 = 0, 0 = 2*h + 4*u - 30. Let m(i) be the second derivative of i**3/3 - 3*i**2 - 3*i. Is m(h) even?
True
Let n be (-3 - -6) + 1/(-1). Suppose 11 + 25 = n*h. Is 18 a factor of h?
True
Let j = -124 + 202. Suppose -j = -8*u + 6*u. Does 13 divide u?
True
Let i be (-17)/(-4) + (-4)/16. Suppose -t = -i*t + 36. Suppose -5 = -j + t. Is j a multiple of 17?
True
Let f be (24/(-2))/4*-45. Suppose -f = 4*g - 331. Is g a multiple of 33?
False
Suppose 0 = -4*o + 4*k + 12 + 16, k = -2. Is o a multiple of 4?
False
Does 2 divide -1*(-7 - -5)*25/2?
False
Suppose 2*v - 10 = -0*v. Suppose 0 = 4*x - 11 - v. Suppose 3*k + 6 = 0, 0*k + x*k = -5*j + 2. Does 2 divide j?
True
Suppose 131 + 148 = 3*z. Does 19 divide z?
False
Is (-5)/(1*3/(-15)) a multiple of 6?
False
Let i(a) = -35*a - 1. Let k be i(-1). Let q = 57 - k. Is q a multiple of 15?
False
Let b(o) = 3*o**2 - 4 + 2*o + 2 - 3*o. Is 14 a factor of b(-3)?
True
Suppose 2*v - 85 = -3*v. Let f = -26 + v. Let i(c) = -3*c - 9. Is 8 a factor of i(f)?
False
Suppose 2*q - 5*m = 4, -18 = 4*q - 0*q + 3*m. Let z(o) = -2*o**3 - o**2 + 3*o. Let a be z(q). Suppose y = 5*y - a. Does 9 divide y?
True
Let o(g) = g**3 - 7*g**2 - 6*g - 4. Let p be o(8). Let l = p + -17. Let s(d) = -d**3 - 4*d**2 + 3*d + 2. Is s(l) a multiple of 6?
True
Suppose y + 4*l = 61, 2*l = -4*y + 134 + 54. Does 19 divide y?
False
Suppose -364 = -4*x - 2*n, n = -x + 6*n + 102. Is x a multiple of 8?
False
Let a = 3 + -1. Suppose -5*n = -i + a*i - 27, -n + 203 = 4*i. Is 15 a factor of i?
False
Let a(d) = -d**2 + 3. Let i be a(0). Suppose 6 = -i*w - 21. Does 3 divide ((-4)/(-6))/(w/(-81))?
True
Suppose 5*k = 2*k + 162. Suppose 0*b + 2*h - k = -5*b, -3*b = h - 33. Is b a multiple of 12?
True
Let p = -11 - -24. Suppose -2*q + 5 = -p. Let i = q + -3. Is i a multiple of 5?
False
Let o be (-4 - -3) + (-263)/1. Is o/(-15) - 2/(-5) a multiple of 9?
True
Does 23 divide 1/(-2) - 465/(-10)?
True
Let m(o) = o + 9. Let s be m(-7). Let w be 7*((-2)/(-2) - s). Let d = w + 28. Does 8 divide d?
False
Does 29 divide -49*((-78)/14 + 3)?
False
Let g(k) = k**3 + 11*k**2 - 12*k + 6. Let o be g(-12). Suppose 2*t - 3*v = -2*t + 87, 0 = 2*v - o. Is 12 a factor of t?
True
Let s = -326 - -227. Is 11 a factor of 4/((-6)/s*3)?
True
Let r(f) = -6*f - 1. Let k be r(-1). Suppose z + 1 = k. Does 9 divide 744/42 - z/(-14)?
True
Suppose 2*l + 