2 - -76. Does 12 divide a?
True
Let c be 8/12*6/4. Let x be 4/(-2) + -5 + c. Does 8 divide (-3)/12*x*16?
True
Let r be 16*((-11)/1 + 1). Let u = r - -276. Suppose -u = -4*y + c, -3*c = -y - c + 22. Does 13 divide y?
False
Let m(p) = 3*p**2 + 4*p + 2. Let y be m(-2). Suppose 3*o = -5*r + 24, 2*r - 4*r - y = -4*o. Suppose 2*x = 5*g - 3*x - 65, g = -o*x - 7. Does 4 divide g?
True
Let a = -4 + 9. Suppose a*d - 280 = -5*c, c = 4*d + 91 - 35. Is c a multiple of 14?
True
Does 13 divide (-132)/(-8)*78/9?
True
Suppose -4*b = -3*j - 81, 0 = -4*j + j - 9. Is 6 a factor of b?
True
Suppose 92*z - 97*z + 175 = 0. Is z a multiple of 6?
False
Suppose -1085 = -5*m - h + 3*h, 4*m - 3*h = 868. Is m a multiple of 17?
False
Let z(u) = 13 + 18*u + 20*u - 8*u - 20. Does 30 divide z(3)?
False
Suppose -3 = 2*l + l. Let b be (-42)/(-4)*(-8)/l. Suppose 3*k = 5*a + 56, 0*a - a + b = 5*k. Does 7 divide k?
False
Suppose 0 = t - 1 - 1. Suppose -t*x = 5 - 67. Is x a multiple of 19?
False
Let y = 102 - 67. Suppose -m = 11 - y. Does 12 divide m?
True
Let a(u) be the second derivative of u**3/6 - u**2 + 2*u. Let z be a(4). Is z*4 + 1 + -3 a multiple of 5?
False
Let m(z) = z**3 + z**2 - z + 2. Let a be m(0). Suppose 3*d = 4*v - v + 78, -5*v = a*d - 66. Is 14 a factor of d?
True
Let f(q) = q**3 + 6*q**2. Let i be f(-4). Suppose n - 3*n + i = 0. Is 8 a factor of n?
True
Suppose -9*v - 144 = -13*v. Is 18 a factor of v?
True
Does 32 divide 2 + -5 + (1 - -130)?
True
Let d be 0/(-1) - 3/(-1). Let a(v) = v**3 + v**2 - 3*v + 2. Let i be a(4). Suppose -d*t + 5*t = i. Is t a multiple of 13?
False
Does 18 divide (72/(-20))/((-2)/10)?
True
Suppose 5*y - 15 = 2*y, 2*y + 218 = 3*g. Is 19 a factor of g?
True
Let h(q) be the first derivative of -q**3/3 + 13*q**2/2 - 7*q - 6. Is h(11) a multiple of 15?
True
Let w = 57 + -32. Does 11 divide w?
False
Suppose -4*x + 4*t + 0*t - 16 = 0, -5*t = -2*x - 5. Let q(s) = -s**3 - 3*s**2 + 5*s - 4. Is 14 a factor of q(x)?
False
Let a = 31 - -7. Is 19 a factor of a?
True
Let p be (-4 - -1)*(-4)/3. Suppose -2*a + 9*t = p*t - 129, 0 = 2*a + 4*t - 102. Does 19 divide a?
True
Let g(k) be the second derivative of k**5/20 - 5*k**4/6 + 4*k**3/3 + 11*k**2/2 + 2*k. Let z be g(9). Is 12 a factor of 21/12*z*6?
False
Is 9 a factor of (-72)/(-90)*55*1?
False
Suppose w = -p - 4*p + 17, 2*w - 10 = -4*p. Suppose p*t - y = -t + 72, -t - y + 18 = 0. Is 5 a factor of t?
True
Is -1*(0 - -3) - -12 even?
False
Let s = -7 + 12. Suppose x - 3 = -4*p, 9*p - s*p = 2*x - 6. Suppose 5 = x*y - 13. Is 3 a factor of y?
True
Let f = 21 - 9. Suppose -5*d + 2*d = -f. Suppose 0 = i - 32 - d. Is 12 a factor of i?
True
Let y(f) be the first derivative of f**2 + f - 1. Let z = 6 - 0. Is 13 a factor of y(z)?
True
Let p be (5 - 9)/(-1 + -1). Is -1*(p/1 + -17) a multiple of 12?
False
Let l be -27 + 0*3/6. Let t = l - -53. Does 13 divide t?
True
Suppose d = -d + 134. Suppose -q - 13 = -d. Is q a multiple of 18?
True
Let g be -1 - (-2)/((-4)/(-54)). Suppose -2*m + g = -0*m. Does 13 divide m?
True
Suppose 7*o - 13*o + 210 = 0. Is o a multiple of 5?
True
Suppose 5*l - 47 = 263. Let i = l + -30. Does 16 divide i?
True
Let a(s) = s**3 - 6*s**2 + 6*s - 2. Let n be a(5). Suppose 2*o = n*o. Suppose p - 3 + 0 = o. Does 2 divide p?
False
Let k(n) = -2*n - 12. Let o be k(-8). Suppose 0 = -2*s - o - 0, 0 = 3*v + 3*s - 129. Is 13 a factor of v?
False
Suppose 7*n = 6*n + 88. Suppose -v = 5*p + 33, -5*v + 2*p - 74 = 118. Let i = n + v. Is i a multiple of 25?
True
Suppose 0 = -3*x - 16 - 8. Let r be x/(-2) - 1 - -14. Let p = r + -12. Is p a multiple of 3?
False
Does 43 divide (2/9)/(2/(-6))*-282?
False
Let n = -10 - -12. Is 12 a factor of 3 - ((-100)/n)/2?
False
Let u = -1 - -4. Let d be (-3)/u*3*-1. Suppose -4*c = -4*h - 0*c + 40, -d*h - 4*c = -37. Is 11 a factor of h?
True
Let r(y) = y**3 + 9*y**2 + 7*y - 6. Let j be r(-6). Suppose -6*l + l + j = 0. Let u = 17 + l. Is 11 a factor of u?
False
Suppose 4*o + 55 = -s, -3*o - 5 = s + 49. Let u = -29 - s. Is u a multiple of 8?
False
Suppose 0 = 2*s + 3*s - 120. Is s a multiple of 24?
True
Suppose -4*o + 2*r + 876 = 0, 7*r + 219 = o + 2*r. Suppose 5*n - o = -5*z + 21, -n = -4. Does 22 divide z?
True
Let b = 12 + -18. Is -75*(0 - (-2)/b) a multiple of 16?
False
Let c(z) = z**3 + 12*z**2 - 16*z - 8. Is c(-13) a multiple of 23?
False
Suppose 9*m = 4*m. Suppose m = -2*z + 5*z - 24. Is 8 a factor of z?
True
Suppose -4*a + 17 + 15 = 0. Suppose 0*k = k - a. Is 4 a factor of k?
True
Suppose -3*r = -12, -2*g + 3*r - r + 44 = 0. Does 4 divide g?
False
Suppose 8*t - 162 = 6*t. Let u = t - 15. Is u a multiple of 22?
True
Suppose 67*b - 249 = 64*b. Does 8 divide b?
False
Let n be -16*(21/(-6))/7. Let t(f) = 3*f - 10. Does 14 divide t(n)?
True
Let x(i) = 3*i**2 + 46*i + 18. Is x(-19) a multiple of 33?
False
Let q(r) = -7*r - 3. Suppose y + y - 25 = 5*n, 0 = -4*y + 5*n + 25. Let h be (0 - (y + -1)) + -7. Is 15 a factor of q(h)?
False
Suppose o + 6 = 13. Suppose -3*a - 3*p = -7*p - 59, -4*p + 45 = 5*a. Let t = a + o. Does 10 divide t?
True
Suppose 2*s + 0 - 12 = 0. Let g(c) = 3*c - 7. Is 11 a factor of g(s)?
True
Suppose 4*s - k = 3*k + 16, -4*s - 2 = 5*k. Suppose 0 = -2*l + 2*z - 18, -s*z - 34 = 5*l + 4. Is l/(1*(-2)/4) a multiple of 6?
False
Let h(n) = 15*n**2 + n - 12. Let c(a) = -7*a**2 + 6. Let p(i) = 13*c(i) + 6*h(i). Is 3 a factor of p(6)?
True
Let t be (-2)/9 + 2/9. Suppose t*v + 86 = 2*m - 4*v, 0 = 5*m + 4*v - 271. Is m a multiple of 22?
False
Suppose -o + 7 = 2*p, 5*p + 65 = 7*o - 2*o. Does 11 divide o?
True
Suppose 0 = 2*z - z - 4*x - 5, -2*z + 2*x + 10 = 0. Let t = -3 + z. Suppose 0 = -3*w - t + 26. Is 7 a factor of w?
False
Let f(h) = 5*h**2 + 11*h + 4. Let l(p) = -p**2 - p. Let d(g) = -f(g) - 6*l(g). Let u be d(8). Suppose -4*r + 3*r + u = 0. Is r a multiple of 7?
False
Let g be (1*(-6)/(-2))/(-1). Does 5 divide (-8 - 2)*g/2?
True
Let g(p) = 2*p**2 + 10. Is g(5) a multiple of 6?
True
Let h = -1 + 2. Is 3 a factor of -15*2/(-3) - h?
True
Let l(b) = b + 3. Let d(i) = i + 4. Let w(u) = -2*d(u) + 3*l(u). Let o be (-3)/2*4/(-3). Is w(o) a multiple of 3?
True
Let q(i) be the first derivative of 4*i**3/3 - 3*i**2/2 - 3*i + 7. Let k(o) = o + 10. Let w be k(-7). Is 17 a factor of q(w)?
False
Let n be 3/(-2)*(-2)/1. Suppose o - q - 3*q = -3, -n*o - 4*q + 23 = 0. Suppose -v + o*z + 47 = -0*v, 4*v = 4*z + 172. Does 25 divide v?
False
Let p(v) = v**2 + 9*v + 1. Let o be p(-6). Let i(j) = -j**2 - 11*j + 30. Let t be i(-13). Let l = t - o. Does 6 divide l?
False
Let c(q) be the first derivative of 4*q**3/3 + q**2 - 3*q - 1. Does 7 divide c(2)?
False
Let z be -2*16 - (2 - 2). Let g = 45 + z. Is g a multiple of 7?
False
Let n = -59 - -158. Does 32 divide n?
False
Suppose -44*s + 40*s = -836. Is 19 a factor of s?
True
Let h(a) = a**2 - 4*a + 5. Let z be h(4). Suppose z*d + 5*v - 70 = v, -d + 14 = 5*v. Is d a multiple of 13?
False
Suppose 2*y - 4*y + 99 = -x, -201 = -4*y + 3*x. Does 8 divide y?
True
Suppose -5*v = -78 - 27. Suppose 5*f - 2*f = v. Is 7 a factor of f?
True
Is 27 a factor of -12*(68/(-8) - -2)?
False
Let o(p) = 35*p**2 - p - 1. Is 20 a factor of o(-1)?
False
Suppose 8 = 3*x + 26. Let z = -2 - x. Does 4 divide z?
True
Let z = 105 - 5. Is 25 a factor of z?
True
Let h = 4 + 0. Suppose -g = h*g - 150. Does 8 divide g?
False
Let i = 4 - -6. Is 7 a factor of i?
False
Let o be (-1)/((-2)/16*2). Suppose -2*d + 42 = o*t, -5*t - 2 = d - 26. Is 19 a factor of d?
True
Suppose -q - q = -4. Let i(f) = 18*f - 3. Does 12 divide i(q)?
False
Let t = -44 - -67. Does 3 divide t?
False
Let z = -328 - -589. Is 21 a factor of z?
False
Suppose 0*h = -2*h. Suppose 4*j - j - 168 = h. Is j a multiple of 14?
True
Suppose -3*p = p - 20. Is 2 a factor of p?
False
Let r = 502 + -332. Is 19 a factor of r?
False
Suppose 0 = -3*t + 4*z + 16, 4*t + 3*z + 20 = -2*z. Let s(b) = 1 + 1 + 8*b + t - b**2. Is 9 a factor of s(6)?
False
Let x(n) = -n**2 - 4*n + 2. Let b be x(-5). Let w = -3 - b. Suppose 15 = -w*g + 3*g. Does 2 divide g?
False
Suppose 0 = a - 4*a + 510. Suppose -5*u - 4*i - 28 + a = 0, 4*u + 5*i = 110. Is 10 a factor of u?
True
Let h = 45 + 25. Is h a multiple of 21?
False
Let n = 62 + -44. Suppose j - n = -5*z, j + 18 = 3*z + z. Is (-1 - j - -1)*4 a multiple of 4?
True
Suppose s = -5*q + 15, 2*s + 1