*p = -12 - 15, 29 = 3*l - 2*p. Let m be 5*((-38)/(-5) - 1). Suppose -n = -m + l. Is n a multiple of 10?
True
Is (4 + 96/(-20))*-30 a multiple of 7?
False
Let h(y) be the third derivative of y**5/30 - y**4/6 - y**3/3 - y**2. Is h(4) a multiple of 14?
True
Suppose 101 = -21*a + 983. Is 2 a factor of a?
True
Let l = 13 + -4. Does 5 divide (-1 - l/(-6))*10?
True
Let z(y) = -2*y**3 - 7*y**2 - 2*y + 6. Is 10 a factor of z(-4)?
True
Let z be (-2)/(-10) + (-13)/65. Does 2 divide 4 + z + -1 + 3?
True
Let h(i) = -3*i - i - 1 + 5*i. Let g be h(2). Let t = 9 + g. Does 10 divide t?
True
Let z(u) = u**2 - 3*u - 4. Let v be z(8). Suppose -2*n + 0*n = -4*r - 22, 4*r = 4*n - v. Is n even?
False
Let n(u) = 5*u**2 - 7*u + 223. Let d(h) = -3*h**2 + 4*h - 111. Let x(k) = 7*d(k) + 4*n(k). Let j be x(0). Suppose -j = -5*v - 0*v. Is 12 a factor of v?
False
Let b = 12 - 22. Does 4 divide (-66)/b + 2/5?
False
Let m(j) = j**3 + 5*j**2 - 6*j - 4. Let r be m(-6). Is (12*-5)/(3 + r) a multiple of 19?
False
Let u = 291 - 201. Is 18 a factor of u?
True
Suppose 5*j + y = 172, -y + 76 + 28 = 3*j. Is j a multiple of 17?
True
Suppose -3*r + 3 = -q, -4*q + q - 9 = 0. Suppose r*h - 13 = -h. Does 9 divide h?
False
Let d(i) = -i**3 - 24*i**2 - i - 9. Is d(-24) even?
False
Suppose 4*l = 5*h + 201, -2*h + 86 = 2*l - 28. Is l a multiple of 18?
True
Suppose -2*n + 11 - 3 = 0. Is n a multiple of 3?
False
Is (-4)/8*(3 - 171) a multiple of 8?
False
Let w be (-3)/(-3) - (0 + -30). Let v be (-197)/(-4) - 1/4. Suppose w + v = 5*o. Does 6 divide o?
False
Let g = -14 + 17. Is (-22)/(-4)*2 - g a multiple of 8?
True
Is (-314)/(-7) + (-6)/(-42) a multiple of 15?
True
Let s be 4/((-4)/24*-4). Is ((-4)/s)/((-12)/486) a multiple of 9?
True
Let x(z) = -z**3 - 4*z**2 - 3*z - 1. Let j be x(-3). Let y be (j - (-2)/2)/(-1). Suppose 5*d - 119 - 11 = y. Is d a multiple of 13?
True
Suppose -t = 5*u + 4*t - 475, 493 = 5*u - t. Is u a multiple of 23?
False
Suppose 0 = -5*k + 15, -3 = b + 4*k - 7*k. Is b a multiple of 3?
True
Let m = 68 - 25. Let x = m - 28. Is 10 a factor of x?
False
Let t(k) = -11*k**3 - 2*k**2 + k + 2. Suppose -4*a + 2 - 10 = 0. Does 20 divide t(a)?
True
Let i(l) = l. Let k(q) = -q + 8. Let g be k(8). Suppose g = -2*j - 3*m + 12, -1 = -5*j + 4*m + 6. Is i(j) even?
False
Suppose -2*c + 21 = -3*g, 2*c = -2*c - g + 63. Does 5 divide c?
True
Let p(u) = -u**3 - 9*u**2 + 9*u + 3. Let f be -5*(-5)/((-5)/2). Does 4 divide p(f)?
False
Let j(d) = -d**3 + 7*d**2 - 7*d + 10. Does 15 divide j(4)?
True
Suppose 4*y + 5*m + 2 = -0, 5*y + m - 8 = 0. Suppose -y*h + j - 8 = 5*j, -5*j = 2*h + 13. Let n(z) = 2*z + 4. Is n(h) a multiple of 6?
False
Let f = -27 + 14. Let r = 25 + f. Does 10 divide r?
False
Let s be 3*(3 - (1 - -1)). Let v(c) = 0*c - s*c - 1 + 4. Is 7 a factor of v(-3)?
False
Let p(c) = 18*c**2 - 4*c + 8. Is 12 a factor of p(2)?
True
Suppose 0 = 4*n - 5*f + 13, -n + 2*f = -2*n + 13. Suppose 0*y + 24 = n*y. Does 4 divide y?
True
Let q(x) be the second derivative of x**3/2 + 3*x**2 - x. Is 8 a factor of q(6)?
True
Let g = 2 - 3. Let y be 28/4*g*1. Let u(z) = z**3 + 8*z**2 + 4*z - 10. Is 10 a factor of u(y)?
False
Let n be 2/1*15/2. Suppose -2*d = d - n. Suppose -3*c = 2*g - 29, d*g - 3*g + c - 19 = 0. Is 7 a factor of g?
True
Let a(p) = 7*p**2 - p + 1. Is 5 a factor of a(1)?
False
Suppose 36 = 5*a + 3*c, 3*c + 10 + 8 = 4*a. Suppose 2*y + 368 = a*y. Suppose 2*x = 4*z - 62, y = -3*z + 7*z + 4*x. Is z a multiple of 9?
True
Let o = -24 + 24. Suppose o = n + 12 - 87. Is n a multiple of 15?
True
Let z = 0 - -5. Suppose -z*b + 0 = -5*l - 50, -50 = -5*b + l. Is b a multiple of 4?
False
Suppose -4*o + 5 = -3. Let d = o - -2. Suppose -4*l + 128 = -5*v - 113, 3*v - 233 = -d*l. Is 25 a factor of l?
False
Let s = 0 + 5. Suppose -y = -3*y - 4*d + 38, -s*y - 3*d = -74. Suppose -i + 7 = -y. Is 9 a factor of i?
False
Let l(b) = -b**3 + 2*b**2 + 2*b - 3. Let o be l(3). Let a(u) = u**2 + 2*u + 4. Let i be a(o). Suppose 5*v - i = 12. Is v a multiple of 8?
True
Suppose -a = 2*a - 144. Is a a multiple of 15?
False
Suppose -4*v - 20 = -2*j, 0*v + 2*v = -2*j + 2. Suppose j*f - 47 = -r, 4*r = 4*f + 2*r - 62. Does 13 divide f?
True
Suppose -h + 3 = 1. Suppose h*b + 7*z = 2*z + 35, -2*z = b - 20. Is b a multiple of 10?
True
Let k = -9 - -11. Is (-1)/k - (-9)/2 a multiple of 3?
False
Suppose -3 = n - 7. Let s = 15 - n. Is 6 a factor of s?
False
Suppose 30 = -2*u + 7*u. Suppose -u = 3*b, -x + b - 1 = 3*b. Is 3 a factor of x?
True
Suppose 6*i - 5*j = 3*i + 45, 0 = 5*i + j - 47. Does 3 divide 1/(2 + (-18)/i)?
False
Let u(a) be the first derivative of 4*a - 1 + 3/2*a**2. Is 14 a factor of u(4)?
False
Let v = -2 + 4. Is 5 a factor of 24 - v - (2 - 0)?
True
Suppose -5*i - 4*j = 6, -j + 0*j + 2 = 3*i. Suppose -4*z - 4*t = -140, 3*z + 4 = -i*t + 110. Is z a multiple of 12?
True
Is (-2)/(-3)*(29 + -5) a multiple of 5?
False
Is (39 + 3)*6*(-4)/(-18) a multiple of 10?
False
Let f(x) = x**2 - x + 30. Does 41 divide f(20)?
True
Suppose -2*u + 1 = 5*s - 10, 2*u = -2*s + 2. Is (u/(-4))/(5/190) a multiple of 4?
False
Suppose -2*x + 3*g - 124 = g, -4*x - 242 = -g. Is 8 a factor of (-1)/(-2)*x/(-3)?
False
Suppose 0 = 4*z - 200 - 168. Is 19 a factor of z?
False
Let s(b) = -b**3 + 6*b**2 + 7*b + 10. Let i be s(7). Let c = i - 7. Suppose 2*g + c = 3*g. Does 2 divide g?
False
Suppose 0 = -10*c + 834 - 244. Is 4 a factor of c?
False
Suppose -180 + 68 = -3*x - 4*g, -5*x = 4*g - 176. Is 16 a factor of x?
True
Let y(v) = v**2 - 3*v - 9. Suppose 3*w + 4*j = -2*w + 57, -2*j + 15 = w. Let i be y(w). Let z = i + -24. Is z a multiple of 7?
True
Suppose f - 154 = -2*f - d, -5*d - 114 = -2*f. Does 12 divide f?
False
Let p be (-1)/2*0/(-1). Let t be 16 + -5 + 3 + 1. Suppose p = 3*q - 2*l - t, -3*q - 36 = -6*q - 5*l. Does 3 divide q?
False
Let u be 0*(7/2)/(-7). Suppose u*b - 252 = -3*b. Is 28 a factor of b?
True
Suppose -43 = 3*u + 23. Suppose -397 + 52 = -5*d. Let p = d + u. Is 23 a factor of p?
False
Is (-120)/36*(-2 + 34/(-10)) a multiple of 8?
False
Is 11043/63 - ((-9)/(-7) - 1) a multiple of 25?
True
Let k be 3/(-9)*1*-6. Suppose k*a = 3*o - 17, -5*a + o + o - 15 = 0. Let y = 16 - a. Is y a multiple of 14?
False
Does 32 divide (256/20 - 0)*10?
True
Let w = -84 - -119. Suppose a = 2*j - w, 4*j - 13 = 3*j + 2*a. Is j a multiple of 9?
False
Suppose -57 = -5*g + m, 3*g - 5*g = 3*m - 33. Is 4 a factor of g?
True
Let a be 85*(-2 - (-36)/15). Let n = a - 16. Is n a multiple of 9?
True
Let z(x) = -2*x. Let r be z(5). Let f = 2 - r. Does 6 divide f?
True
Suppose 5*c - z - 2*z = 196, -3*c = z - 112. Suppose -q + 1 = -c. Does 13 divide q?
True
Let w = -2 - 3. Let v = 30 - w. Is 12 a factor of v?
False
Let j(s) = s. Let c(g) = g - 1. Let w(y) = 2*c(y) + 18*j(y). Let n(k) = k**2 - 4*k + 2. Let r be n(4). Is 18 a factor of w(r)?
False
Suppose -8*n + 3*n = 0. Suppose 1 + n = g. Is 14 a factor of g/4 - (-55)/4?
True
Let i(a) = -2*a**2 + 25*a - 7. Is i(12) a multiple of 2?
False
Suppose 5*p = 24 + 26. Is p a multiple of 2?
True
Let c = -54 + 104. Does 25 divide c?
True
Let w be 2/(-4) - (-11)/2. Let v(r) = -r**3 + 4*r**2 + 7*r - 3. Is v(w) a multiple of 3?
False
Let j(m) = m**3 - 3*m**2 - 3*m - 5. Let s be j(4). Let x(h) = -4*h**3 + h**2 + h + 2. Let b be x(2). Is 4 a factor of (b/(-18))/(s/(-6))?
True
Let p = 2 + -5. Let c = p - -8. Does 12 divide (-4)/((5/(-6))/c)?
True
Let d = 15 - 10. Does 4 divide d?
False
Let u be (12 + (-3)/1)/(-1). Let f = 14 - u. Suppose 0 = -2*p + 17 + f. Is 10 a factor of p?
True
Suppose -5*t + 210 = -5*k, -3*k + 166 = 3*t + 2*k. Is t a multiple of 6?
False
Let y = -5 - 0. Let c = -15 - y. Is 6 a factor of (-156)/(-15) - (-4)/c?
False
Suppose 0 = 5*o, 4*z = -z + 4*o + 25. Suppose z*s = -15, 2*s - s + 15 = 3*k. Does 13 divide ((-2)/k)/(7/(-420))?
False
Let a = 47 - 17. Is 15 a factor of a?
True
Let n = -12 - -26. Does 11 divide n?
False
Let t(r) = r**2 - 5*r - 2. Let s be t(6). Let f be s*(-39)/18*-3. Let d = f - 2. Does 9 divide d?
False
Let t(g) be the third derivative of -g**6/120 + g**5/60 + g**4/6 + g**3/2 - g**2. Let v be t(-2). Is ((-22)/8)/(v/(-84)) a multiple of 12?
False
Let y = 4 - -6. Is y a multiple of 2?
True
Let d(j) = -j**3 + 4*j**2 - 2*j - 6. Is 17 a factor of d(-4)?
False
Suppose -3*c = 2*r + 1 + 24, 16 = -2*c - 2*r. Let q(