e of 3?
False
Suppose 0 = 2*z - h - 111, z + 4*h = 48 - 15. Is z a multiple of 9?
False
Suppose -2*n + 3*m = 3*n - 32, 0 = 4*n + 4*m. Suppose n - 18 = -2*k. Is 7 a factor of k?
True
Suppose 5*a - 230 = 4*u, 4*u - 5*u = -2*a + 89. Is 14 a factor of a?
True
Let v be 12/4 - 1*-2. Let z(i) = -i - 10. Let n be z(-10). Suppose n = m + v - 25. Is m a multiple of 10?
True
Let a = 186 + -122. Suppose 2*c = -2*c - a. Let m = -5 - c. Is m a multiple of 11?
True
Let n(c) be the first derivative of c**2/2 - c - 4. Does 2 divide n(3)?
True
Let h = -1 - -1. Let o = 3 - h. Suppose -4*v + o*v = -43. Is 16 a factor of v?
False
Suppose 3*x - 65 = -2*x - 3*u, 2*u = 2*x - 10. Suppose 0 = -4*h + 3*h + 43. Let k = h + x. Does 19 divide k?
False
Let l(m) = 128*m**2 - 2*m - 1. Is l(-1) a multiple of 27?
False
Let l(a) = -a - 3. Let r be l(-3). Suppose -42 = -r*u - u. Is 14 a factor of u?
True
Is 6 a factor of 5 - 2 - (-22 - 0)?
False
Suppose 2*a = 3*n - 66, -1 = -n - 3*a + 21. Is 5 a factor of n?
False
Let a be -1*15/(-6)*2. Suppose -20 = 3*s - a*s. Does 5 divide s?
True
Let j = -26 - -7. Let c = 96 + j. Is 21 a factor of c?
False
Suppose 3*m = 0, 0 = -3*l + l + 5*m + 8. Suppose -197 = -3*w + 2*x, -l*x = -4*w + 24 + 236. Is 31 a factor of w?
False
Let h(r) = -5*r - 33. Is h(-16) a multiple of 5?
False
Is 40 + -1 + 12/8*-2 a multiple of 14?
False
Suppose 3*c - 481 - 128 = 0. Does 29 divide c?
True
Suppose -2*v = 1 + 9. Let a(i) = -i**3 - 5*i**2 - 6*i - 4. Let z be a(v). Is (z/(-5))/(6/(-15)) a multiple of 13?
True
Let s = 3 - 0. Suppose 8*y + 90 = s*y. Let d = -8 - y. Is d a multiple of 5?
True
Let s(d) = 9*d - 5. Let y be s(-10). Is 20 a factor of y/(-10)*(-2 + 8)?
False
Does 18 divide (-594)/(-10) - 6/15?
False
Let a = 4 + 0. Is 29 a factor of 230/a + (-2)/(-4)?
True
Let s(h) = -h**3 + 6*h**2 + 9*h - 4. Let t be s(7). Suppose -t = w + 21. Let o = -3 - w. Does 14 divide o?
True
Suppose 3*t - 60 = -t. Let w be ((-9)/t)/((-1)/5). Let z = w - -15. Is z a multiple of 9?
True
Suppose -31 = -4*m + 13. Does 11 divide m?
True
Let p(g) = -g**3 + 12*g**2 + 13. Let q be p(11). Suppose 0*k - 2*h - 34 = -k, 5*k - q = -2*h. Is k a multiple of 14?
True
Suppose 184 + 380 = 4*l. Is 26 a factor of l?
False
Let i be (-6)/(2*9/(-12)). Let s(g) = -g**2 + 6*g - 3. Let j be s(4). Suppose -j*u = -i*u - 12. Is u a multiple of 7?
False
Let v be (-2)/4 + (-93)/2. Let g = v - -126. Let k = g - 54. Is k a multiple of 15?
False
Let b be (-1)/2*(6 + -14). Does 5 divide ((-2)/b)/((-1)/58)?
False
Let p(f) = f**3 - 6*f**2 + 8*f - 4. Let z(l) = -2*l**3 + 12*l**2 - 15*l + 8. Let h(n) = 5*p(n) + 3*z(n). Does 8 divide h(4)?
True
Suppose 0 = -5*w + 225 + 370. Is 17 a factor of w?
True
Let p(u) = 2*u**2 + u + 5. Let a(j) = 3*j**2 + j + 6. Let n(h) = 3*a(h) - 4*p(h). Let x be n(2). Suppose 3*b + x = 9. Is b a multiple of 2?
False
Suppose 5*v - 4*f - 27 = 0, -f + 2 = -4*v + 17. Suppose 4*p + 7 = 3, 0 = -2*w - p + 25. Let r = v + w. Is r a multiple of 7?
False
Let v(z) = -z + 7. Let b be -4*(-3)/30*-15. Is v(b) a multiple of 3?
False
Let u be 34/(-1 + (0 - -2)). Suppose u = 3*n - 2. Is n a multiple of 11?
False
Suppose 3*p - 23 + 4 = 2*l, -10 = 2*l. Let v = -5 + p. Let h(s) = 2*s**2 + 2*s + 2. Is 6 a factor of h(v)?
True
Let d(n) = 40*n**2. Let a(j) = -j**2 - j + 1. Let i be a(-2). Is d(i) a multiple of 24?
False
Let x(p) be the third derivative of -p**4/24 - p**3/2 + 6*p**2. Is x(-9) a multiple of 2?
True
Let q(b) = 4*b - 12. Let v be 11 - 9 - (0 + -9). Is q(v) a multiple of 8?
True
Let f(j) = j**3 - 6*j**2 + 2. Suppose -2*h - 24 = -6*h. Let v be f(h). Is 9 a factor of 9 + 0/(2/v)?
True
Suppose 7 = -k + 13. Let w = 16 + k. Is 22 a factor of w?
True
Suppose 0*p = -6*p + 360. Does 10 divide p?
True
Suppose -13*c = -8*c + 45. Does 2 divide (c + 0)/(6/(-6))?
False
Suppose -4*l - 3*u = -9*l - 4, 0 = -4*u - 8. Let a = 5 + l. Suppose -75 = -a*x - 21. Does 16 divide x?
False
Let l(n) = -n**3 - 11*n**2 - 10*n + 4. Let b be l(-10). Suppose m + b = -24. Let j = m - -42. Is j a multiple of 14?
True
Let q = -4 - -4. Is (1 - q) + (-3 - -30) a multiple of 11?
False
Let k(v) = v**2 - 12*v + 6. Let m be k(8). Is 6 a factor of 2/(-4) - m/4?
True
Let a(c) be the first derivative of -c**7/840 - c**6/360 + c**5/120 + c**4/6 + c**3 - 2. Let t(w) be the third derivative of a(w). Does 16 divide t(-4)?
True
Suppose 0 = -3*s + s + 2. Let m be s - (-40 + 1 + -1). Suppose -3*f + 25 = -m. Does 8 divide f?
False
Let w(b) = 3*b**2 + 6*b. Does 15 divide w(3)?
True
Let p = 130 + -114. Does 3 divide p?
False
Suppose -2*w = -2*d - 102, -220 = 4*d - 3*w + 7*w. Let p = 90 + d. Is 22 a factor of p?
False
Let m(b) = -b**2 - 3*b + 5. Let h be m(4). Let z = 55 + h. Is 11 a factor of z?
False
Suppose 0*x = 3*x - 390. Is x a multiple of 34?
False
Suppose 2*k = -5*m + 2*m + 4, -4*k + 2 = 3*m. Suppose -x - m*x = 6. Is 5 a factor of (24/(-15))/(x/10)?
False
Let d = -24 + 54. Does 15 divide d?
True
Suppose -l + 28 = 4*x, 0*l - 5*l + 5*x + 90 = 0. Is l a multiple of 20?
True
Let h = 122 + -87. Is h a multiple of 20?
False
Let l(z) = -z**2 + 7*z - 1. Let f be ((0 - 2)*-2)/1. Let j be l(f). Suppose 9 = 5*k - j. Is 3 a factor of k?
False
Suppose 4*h - 94 + 26 = 0. Does 9 divide h?
False
Does 31 divide 2*(-54)/(-4) + 4?
True
Let s be (-2 + -7)*1/(-3). Let a = 9 - s. Is a a multiple of 5?
False
Let r(s) = -9*s**2 - 7*s + 4. Let t(n) = 8*n**2 + 6*n - 4. Let o = 8 + -2. Let c(y) = o*r(y) + 7*t(y). Is 14 a factor of c(-3)?
True
Let k(z) = -2*z**3 + 14*z**2 + 4*z + 2. Does 6 divide k(7)?
True
Let a be (-896)/18 + (-6)/27. Let q = -25 - a. Is q a multiple of 5?
True
Suppose 0 = -0*i - 2*i. Suppose i = -5*q + 3*f - 9, q + 2 = -3*q + 5*f. Is 14 a factor of (-4)/6 + (-68)/q?
False
Let s(v) = 3*v + 7. Let q(k) = 2*k + 3. Let d(m) = -7*q(m) + 4*s(m). Let p be d(5). Is 15 a factor of ((-1)/p)/(3/333)?
False
Suppose y - 3*y = -80. Suppose 0 = -z + x - 3*x + 6, -4*x = -5*z - y. Does 8 divide (-4)/(-1 + z/(-6))?
False
Let i = 13 - -136. Suppose 0 = 3*n - 4*h - 164, 3*n - i = -4*h + 5*h. Is n a multiple of 16?
True
Let o be 1*(1 + 2) + 1. Suppose -h + 4 = -z - z, -o*h = -z - 23. Suppose 0 = -s - 2*v + 16, 0 = -3*s + h*v - v - 7. Does 3 divide s?
True
Does 23 divide 42/2*(-50)/(-15)?
False
Let y(q) = -1 + 5 + q + 2. Let g(c) = -c - 7. Let p(k) = -3*g(k) - 2*y(k). Is 6 a factor of p(7)?
False
Let v(x) = -x + 7. Let j be v(10). Let k be (-2)/j*(-6)/(-4). Is 4 a factor of k*6 - (3 - 5)?
True
Let h(p) = -8*p + 2. Let k be h(-7). Suppose 2*c + 4*v - k = 0, c + 2*c + v = 82. Suppose -4*g + 24 = -2*q, -c = 2*g - 7*g + 4*q. Is 7 a factor of g?
True
Suppose -o + 20 = 3*o. Let r(t) = 9 + t**2 + 0*t**2 - o - 2*t. Is r(3) a multiple of 7?
True
Suppose -172 + 32 = -5*y + c, -3*y + 84 = 3*c. Does 16 divide 1302/y + (-3)/(-2)?
True
Let z = -31 - -35. Is z a multiple of 2?
True
Let f(w) = -4 - 11*w**2 - w + 6*w**2 + 0*w + w**3. Let b(n) = -3*n**3 + 9*n**2 + 2*n + 9. Let t(u) = 2*b(u) + 5*f(u). Is 5 a factor of t(-7)?
True
Let a = -11 + 5. Let y(m) = -6*m**2 + 4*m - 2. Let v be y(2). Let f = a - v. Is f a multiple of 6?
True
Is 29 a factor of (-1)/((-2)/18)*(12 + 17)?
True
Let a(p) = p**3 - 4*p**2 + 6*p + 3. Is a(4) a multiple of 17?
False
Suppose 0 = 5*f + 4*g - 13, -f - f + 5*g = 8. Let r be (-213 - f)*(-5)/(-10). Let o = -67 - r. Is o a multiple of 20?
True
Suppose 7*z - 6 = 4*z. Suppose 0 = -z*g - 3*v, 2*g - 5 = -v - 13. Let t = 8 + g. Is t a multiple of 2?
True
Let q(a) = -a**3 - 5*a**2 + 5*a - 6. Let y be q(-8). Suppose 0 = 2*l + 6, -p + y = p - 2*l. Does 15 divide p/15*(6 - 0)?
False
Let k = -89 + 215. Does 18 divide k?
True
Suppose -o = -3*u, 2*u - u = 5*o. Suppose f + 4*t - 1 = 5*t, -4*t - 8 = u. Is (13 - f*2) + 0 a multiple of 15?
True
Suppose 45 = 4*s + g - 0*g, 4*s + 3*g = 55. Is s a multiple of 4?
False
Suppose 85 + 111 = 4*t. Does 6 divide t?
False
Suppose -8 - 57 = -5*u. Does 2 divide u?
False
Let f = -1 + 6. Suppose 5*t - f*x - 145 = -25, 3*t + 2*x = 52. Is t a multiple of 5?
True
Suppose -28 = -u + 3*f, -57 = -4*u - 4*f + 119. Is u a multiple of 20?
True
Let l = 4 - 2. Let r = l + -6. Does 12 divide (-2)/r - 180/(-8)?
False
Let o be 27/5 - 10/25. Suppose -3*f + 1 = 4, 0 = o*k - 5*f - 75. Does 14 divide k?
True
Let y(r) = 7*r**2 + 13*r - 4. Let s be y(-7). Suppose -2*x = 2