or of y?
True
Is (6 + -7)/(-2 - -1) - -47 a multiple of 24?
True
Let s = 116 - 42. Is 7 a factor of s?
False
Suppose 4*p - 102 - 14 = 0. Suppose q + 1 = p. Is q a multiple of 14?
True
Let n(v) = -4*v**3 + v**2 - 1. Let o(a) = a**2 - a + 1. Let p(z) = 6*z**2 - 10*z. Let i(k) = 5*o(k) - p(k). Let h be i(6). Is n(h) a multiple of 3?
False
Does 4 divide (1 + -2)*(8 - 12)?
True
Let g(c) be the third derivative of c**8/20160 + c**7/840 - c**6/72 + c**5/30 - 4*c**2. Let b(p) be the third derivative of g(p). Is b(-9) a multiple of 5?
False
Let d = 72 - -48. Is 20 a factor of d?
True
Suppose 5*i - 505 = -90. Does 16 divide i?
False
Suppose -3*z - z - 28 = -4*f, 0 = 4*f + 4*z - 12. Suppose 0 = f*o - 3*u - 116, 4*o = -3*u + 100 - 18. Is 5 a factor of o?
False
Suppose 0 = 7*f - 52 + 3. Let m(w) = w**3 - 7*w**2 + 6*w - 3. Is m(f) a multiple of 9?
False
Let f = 264 + -224. Is f a multiple of 4?
True
Suppose -5*n - 475 = -5*x, -x + 89 = -0*x + 5*n. Suppose -2*z + 4*z - x = 0. Is z a multiple of 10?
False
Let s = 14 - 20. Is 10 a factor of (-80)/s*6/4?
True
Let o be (-1796)/(-4) + (-1 - -4). Is 14 a factor of 3/(-12) + o/16?
True
Let b = 1 - 1. Suppose 3*r - 4*l - 122 + 15 = b, 2*l - 128 = -4*r. Is r a multiple of 16?
False
Suppose 185 = 2*k - 25. Suppose 0 = -4*r + r + k. Is 9 a factor of 546/r - (-6)/(-10)?
False
Let p(s) = s + 143. Is p(0) a multiple of 11?
True
Is 49 a factor of ((-63)/(-42))/((-3)/(-392))?
True
Let a(p) be the second derivative of 17*p**6/360 + p**5/120 - p**3/3 - p. Let j(f) be the second derivative of a(f). Does 15 divide j(-1)?
False
Let c(a) be the third derivative of -a**4/8 - a**3/6 - a**2. Does 6 divide c(-6)?
False
Let p be 1/((-2)/(-6))*-4. Let y = 181 + -113. Is y/6 - 8/p a multiple of 12?
True
Suppose -2*i - 2 = 6. Let f = 1 + i. Is 9 + f + 1 + 1 a multiple of 8?
True
Let a = 27 - -185. Is 27 a factor of a?
False
Let v = 10 + -8. Suppose v*y - 26 = -m, -2*m + 52 = -2*y - 0. Is m a multiple of 13?
True
Let y(w) = -2*w**3 + 2*w**2 + w. Let g be y(2). Let o be g/(-4)*16/6. Suppose -8*p + 3*p = 5*z - 70, o*z = p + 81. Is z a multiple of 13?
False
Does 4 divide (-4 + 6*(-2)/4)*-4?
True
Suppose -t = 4*j + 2, 3*j = t - 6 - 20. Is t even?
True
Let a(h) = -2 + h + 7*h**2 + 2*h**2 - 8*h**2. Is a(-6) a multiple of 10?
False
Let m(y) = y**3 + 9*y**2 + 16*y + 9. Is 21 a factor of m(-6)?
True
Let k(z) = -2*z**3 + z**3 + 2*z**3 + 4 + 4*z**2 - z. Does 12 divide k(-3)?
False
Suppose o - 110 - 4 = 4*a, -2*o - 3*a + 206 = 0. Is 22 a factor of o?
False
Let p = -60 + 95. Is p a multiple of 6?
False
Let m be (-2)/(-3) - (2 + (-20)/6). Let a(r) = -4*r**2 - 4*r - 3. Let o(y) = 4*y**2 + 3*y + 2. Let x(b) = 2*a(b) + 3*o(b). Is x(m) a multiple of 6?
True
Suppose 8 = -3*k - 0*k - 4*b, -5*k + 4 = -2*b. Let i = k + 4. Suppose i + 5 = y. Is 9 a factor of y?
True
Suppose 0*x = 2*x - 12. Let t be (-15)/2*(-4)/x. Let m(o) = 2*o**2 - 8*o + 4. Is 7 a factor of m(t)?
True
Suppose 0 = h - 0*h - 32. Let a = h + -10. Is a a multiple of 13?
False
Suppose i = x + 4*i - 9, -5*x - 2*i + 84 = 0. Does 6 divide x?
True
Let l = 46 - 16. Is l a multiple of 10?
True
Let n(v) = v**3 + 2*v**2 + 2*v + 2. Let u be n(-2). Let q be (-2)/3 - 2/6. Is 14 a factor of 28*1/u*q?
True
Is 5 a factor of (-13152)/(-120) - (-4)/10?
True
Let p(c) = c**2 + 10*c + 13. Let i be p(-9). Let t be (i/3)/((-2)/(-93)). Suppose 2*f - 35 = -z, 4*z - t = -4*f - 2. Is 11 a factor of f?
False
Suppose 4*w - 38 = 114. Does 31 divide w?
False
Let n = 13 - 7. Suppose -8 = 3*h - 4*w, -n*h + 3*h = 4*w - 8. Is (-15)/(-6)*(2 - h) a multiple of 2?
False
Let z = 8 + -2. Suppose z + 6 = 3*n. Is 2 a factor of n?
True
Suppose 0 = 3*v + 257 + 16. Let x = 132 + v. Does 12 divide x?
False
Suppose 0*y + 2*y = -12. Let a(o) = -o**3 - 6*o**2 - 2. Let k be a(y). Is (-4 + 0)/(k/7) a multiple of 7?
True
Let z be (-12)/(-2) + -5 + 2. Suppose -z*k = -15, k - 35 = -2*h + 54. Is h a multiple of 12?
False
Let t be 2 + (2 - (-4)/(-1)). Suppose 7 = -t*k + k. Is 7 a factor of k?
True
Let p = 5 + -5. Suppose p*x + 33 = x. Is 13 a factor of x?
False
Suppose -15*n = -23*n + 2080. Is n a multiple of 28?
False
Does 10 divide (-118)/(-10) - (-5)/25?
False
Suppose -12*s = -165 - 3. Does 3 divide s?
False
Suppose 113 = 4*v - 5*q + 4*q, -2*q = 3*v - 93. Is v a multiple of 13?
False
Suppose 3*y - q = 494, 3*y + 3*q - 482 = -2*q. Does 41 divide y?
True
Suppose -3*q = -43 - 5. Is 8 a factor of q?
True
Suppose -4*q = -5*q + a + 4, 4*q = -4*a + 32. Is 26 a factor of 29/1 - q/(-2)?
False
Let x(z) = 4*z**2 - 4*z + 6. Is x(3) a multiple of 4?
False
Let y = 10 + -44. Let v = -24 - y. Is (-426)/(-15) - 4/v a multiple of 12?
False
Is 0 + ((-98)/(-6) - 72/54) a multiple of 3?
True
Let j(q) = -6*q - 38. Is j(-16) a multiple of 29?
True
Let b be (4/(-8))/((-1)/(-10)). Let q(g) = -2*g - 2. Does 4 divide q(b)?
True
Let l(f) = 4*f - 5*f - 4 + 8*f. Does 26 divide l(8)?
True
Let i(c) = -c + 5. Let u be i(4). Let m be 2*u + 3/1. Suppose -m*b - 3 = -3*d + 70, 0 = -5*d + 2*b + 90. Is 9 a factor of d?
False
Does 12 divide 2770/4*34/85?
False
Does 6 divide 1/(-4)*(-9 - 179)?
False
Is 81/(-3 - 36/(-8)) a multiple of 17?
False
Let r = -7 - -12. Suppose -2*c + r = -9. Is 4 a factor of c?
False
Suppose 4*q - 124 = 20. Is 12 a factor of q?
True
Suppose 4*p + 196 = 2*a, 0 = p + p - 2. Does 10 divide a?
True
Suppose -z - 74 = -3*z. Is 9 a factor of z?
False
Let u be (2/4)/(4/16). Suppose -u*q + 0*q = -20. Does 10 divide q?
True
Let k(v) = 0*v**2 - 5*v + 16 - 6 - 6*v**2 + 3*v + v**3. Is 20 a factor of k(7)?
False
Suppose 8 - 4 = 2*g. Suppose 1 = -g*m + 5. Suppose -3*y = -m*y - 8. Is 8 a factor of y?
True
Suppose 0 = -5*s - 7*s + 1068. Is s a multiple of 25?
False
Suppose 3*p + 31 = -2*c + 495, 0 = -c + 4*p + 210. Is 36 a factor of c?
False
Suppose 0*t = 3*t - 15. Let m = t + 0. Suppose -3*b + m*b - 36 = 0. Is 9 a factor of b?
True
Let z(f) = 2*f**2 + 0*f**2 + f + 7*f + 2*f**2. Let y be z(6). Suppose -2*q = 2*q - y. Does 24 divide q?
True
Suppose 0 = -4*i + 2*k + 192, -2*k + 5*k = -4*i + 182. Suppose -i = -3*c + y, 2*y = 5*c - c - 66. Let o = c - -12. Does 10 divide o?
False
Suppose -5*h = -x + 209, h + 860 = 5*x - 65. Suppose -r = -5*r + x. Is 23 a factor of r?
True
Suppose c + 16 = -3*c. Let h be (-108)/(-14) + c/(-14). Is (-1 - -3)/(h/132) a multiple of 12?
False
Suppose 13 = 3*z - 5*y + 5, 2*y - 22 = -3*z. Does 2 divide z?
True
Let z = 21 + -13. Let j = -39 + z. Let n = -17 - j. Does 9 divide n?
False
Suppose -u + 2*q = -17, -2*u + 25 = -3*q + 2*q. Is u a multiple of 3?
False
Suppose -5*h = -488 + 203. Let o = h - 31. Is 5 a factor of o?
False
Let y = -40 - -79. Does 11 divide y?
False
Let l = -80 - -144. Suppose l = 5*z - 51. Is z a multiple of 13?
False
Let j be (3 + -1)*-1 + 10. Let p = j - 5. Is 11 a factor of 0 + p + -1 - -9?
True
Let z = 71 - 41. Is 13 a factor of z?
False
Suppose -2*x + 53 = n + 10, -5*x = -5*n - 145. Does 24 divide x?
True
Let k be (2 + 1)/((-2)/(-6)). Let x = k + 4. Does 9 divide x?
False
Let x(z) = z**3 + 8*z**2 - 7*z + 25. Let a be x(-9). Let p(f) = -f + 1. Let s be p(1). Suppose s = a*g - 6*g - 17. Is g a multiple of 11?
False
Suppose 3*k - 4*k + 4 = 0. Is -13*2*(-2)/k a multiple of 13?
True
Suppose 6*k - 2*k = 252. Let p be 1/(53/(-26) - -2). Let o = p + k. Is 16 a factor of o?
False
Suppose 6 = 5*w - 3*w. Suppose 4*m - 2 - 2 = -4*o, -w = -2*o - m. Suppose -5*i - 5*q = -55, 0 = i + 2*i - o*q - 53. Is i a multiple of 12?
False
Suppose 3*v = 8*v - 225. Let q = v + -15. Does 15 divide q?
True
Suppose 2*d + 3*x = 33, 5 = -x - 0. Is d a multiple of 24?
True
Is (-8)/(-2) - -72 - (4 - 2) a multiple of 32?
False
Let y be -1 + (5 - 0) - 1. Let n be 52/6 - 3/(9/2). Let c = n + y. Is c a multiple of 11?
True
Suppose 5 = 3*v - 7. Suppose 0 = -v*o - 14 + 70. Does 7 divide o?
True
Let l(k) = 4*k + 1. Let h be l(1). Suppose 20 = -h*t - 5*w, -3*w + 5*w + 8 = t. Suppose 5*q + 2*g - 8 = 51, 5*q - g - 68 = t. Is 13 a factor of q?
True
Let q = -10 + 15. Suppose 4*h + 2*j - 212 = 0, -2*h = -q*h - 3*j + 153. Does 16 divide h?
False
Is (3 + -6)/(1/(-19)) a multiple of 20?
False
Let i be 7/14 + (-3)/(-2). Is 11 a factor of i + 2 - (-40 + 0)?
True
Let n be 0/(-1) + 1 - 0. Does 11 divide n/(-3)*17*-3?
False
Let o(s) = s**3 - 13*s**2 + 13*s + 2. Is 14 a factor of o(