se d*c + 17 = -2*l + 258, 2*l = 2*c + 276. Is 34 a factor of l?
False
Let d(k) = 55*k + 57. Let q be d(12). Suppose -3*s + 5*j + q = 0, -3*s - j + 473 + 226 = 0. Does 39 divide s?
True
Let s = 652 - 404. Is s a multiple of 4?
True
Does 58 divide (-464)/(-36)*(-3)/2*-87?
True
Is 5 a factor of (-7 - -3)/4 - -191?
True
Let y = 49 - -173. Let i = y - 44. Is 7 a factor of i/26 + 4/26?
True
Suppose -k + 4*z = 33 + 22, -57 = k - 2*z. Does 16 divide 2 - (k - (2 + -1))?
False
Suppose -2225 + 11297 = 9*j. Is j a multiple of 14?
True
Let n(c) = -2*c + 81. Let d be n(11). Suppose -d = -b - 14. Is b a multiple of 5?
True
Let y(l) = 16 + 10 - 7*l - 5. Is 20 a factor of y(-15)?
False
Suppose 0 = 2*l + 2*l + 16, 2*h + 616 = 3*l. Let n = 454 + h. Is n a multiple of 35?
True
Suppose 0 = -2*t + 3*a + 437, 0*t = -3*t + 2*a + 663. Suppose -13 + t = 5*m. Does 7 divide m?
True
Suppose 2*u + 0*u - 2*y = 238, -5*u - y + 583 = 0. Is u a multiple of 4?
False
Suppose 240 = 5*m - 775. Let t = m + -134. Is t a multiple of 23?
True
Let y(q) = q**3 + 2*q**2 + 2*q - 11. Let x be (-1 - 3/1)*21/(-28). Does 8 divide y(x)?
True
Let w be (248/6)/(18/(-81)). Let g(p) = -15*p - 78. Let a be g(-24). Let v = w + a. Is v a multiple of 20?
False
Let f(b) = 16*b + 9. Suppose 71*i = 68*i + 9. Is 19 a factor of f(i)?
True
Let s(q) = 3*q + 25. Let p be s(-9). Let i = p - -86. Is 9 a factor of i?
False
Suppose 0 = -0*l - l + 3*x - 7, 16 = 4*x. Suppose 2*c + l*a + 24 = -16, 0 = c + a + 23. Let j = 35 - c. Is j a multiple of 21?
False
Suppose 3*i = 4*i + 14. Is 19 a factor of 12/28 + (-1114)/i?
False
Let z be (-2)/7 + (-92)/(-28). Suppose -9 = -z*w - x - 2, 19 = w - 3*x. Is (-2 - -8)*38/w a multiple of 12?
False
Let p(n) be the first derivative of -1/4*n**4 + 4*n - 4/3*n**3 - n**2 + 2. Is 4 a factor of p(-4)?
True
Let v(s) = 124*s**2 + s - 1. Let k be v(1). Suppose 6*u - 2*u - k = 0. Let r = 13 + u. Is r a multiple of 22?
True
Suppose 7*o = 5*o + 6. Suppose -2*r = k - 66, o*k + 0*k = 4*r - 152. Let v = 54 - r. Is 13 a factor of v?
False
Let u = 3447 - 1703. Is u a multiple of 16?
True
Suppose 0 = -2*s + 4*s - 258. Let h = 347 + -165. Let d = h - s. Does 15 divide d?
False
Let b(p) = p**2 + 14*p - 2. Let v be b(-18). Let i = v + -44. Does 13 divide i?
True
Suppose -4*r - 70 = -2*r. Suppose 3*m + 5*s + 157 = 0, 0 = -5*m + 6*m - 3*s + 43. Let g = r - m. Does 7 divide g?
True
Let v(r) be the second derivative of -r**6/120 + r**5/10 - r**3/6 - 3*r**2 + 4*r. Let g(u) be the first derivative of v(u). Is 12 a factor of g(5)?
True
Let f be (-12)/(1*(-8)/12). Let x = f + -22. Does 21 divide (x - 2)*14/(-1)?
True
Let d be (12/18)/(4/18). Suppose d*b + 570 = 5*n + 4*b, 4*b - 133 = -n. Is n a multiple of 13?
False
Let j = -123 + 163. Is 30 a factor of j/3*(-5 + 23)?
True
Suppose 4*o = -0*o + 48. Let v be 205*(2 - o/5). Is v/(-6) - (-3)/9 a multiple of 14?
True
Let a(x) be the third derivative of -x**4/24 - 3*x**3/2 + x**2. Let c be a(-13). Suppose 0 = 4*i + 4*b - 152, 4*i - 86 = i + c*b. Is 16 a factor of i?
False
Let c(o) = o**3 - 7*o**2 + 11*o - 2. Let p be c(5). Suppose 2*s = p*h - 47, -2*h + 24 = -3*s - 4. Does 15 divide h?
False
Let h(c) = -2*c**3 - 4*c**2 + 1. Let i be h(-3). Suppose 0 = -4*r - i - 33. Let o = 40 - r. Does 31 divide o?
False
Let n be (1/(-1))/(1/(-13)). Let z = -226 + 229. Suppose 5*y - 22 = 2*d, -2*y = 2*y + z*d - n. Is 2 a factor of y?
True
Let f(p) = -p**2 - 103*p - 458. Does 4 divide f(-5)?
True
Let n(a) = -a**3 - 5*a**2 - 4*a - 17. Let x be n(-5). Suppose -25 = 5*p, x*i - 5*p = 4*i - 30. Is i a multiple of 8?
False
Suppose -21*q = -1228 - 662. Is q a multiple of 8?
False
Suppose 0 = -4*i - q - 0*q + 457, -2*i + 226 = -2*q. Suppose -4*c + i = 4*d - c, 98 = 3*d - 4*c. Suppose 0 = 2*g - 0*g - d. Does 4 divide g?
False
Let k be (-3)/((9/(-15))/1). Suppose 4*f = -k*c - 6, -c - 3*c - 8 = 4*f. Suppose 5*q - 4*a = 31, c*q + 7 = 2*a + 19. Is q even?
False
Suppose -5*w + x + 7181 = -327, -2*w + 2*x + 3000 = 0. Does 58 divide w?
False
Suppose 0 + 4 = -4*s. Let x(j) = -19*j**3 + j**2 - j - 1. Is 2 a factor of x(s)?
True
Does 25 divide 4/(-6) + (-319146)/(-387)?
False
Let r = 83 + -58. Suppose b - 23 = r. Let k = -21 + b. Is 18 a factor of k?
False
Let n be 2/((-4)/12*-2). Suppose 166 = n*d - y - 0*y, -y - 274 = -5*d. Is d a multiple of 6?
True
Let q = 125 - 71. Does 10 divide 157/6 - 9/q?
False
Let l(b) = -531*b + 1. Let m be l(1). Let w be (-2)/(-7) + m/(-7). Let x = w + -12. Is x a multiple of 14?
False
Is 0/((-4)/1) + 461 + 3 a multiple of 58?
True
Let t(i) = 22*i**2 - 62*i + 12. Is t(7) a multiple of 29?
False
Suppose -h = -3*u + 8, -3*h - 14 = -5*u - h. Let y(w) = -w + 3. Let j be y(-4). Suppose -t + j = -u. Is 3 a factor of t?
True
Let o = -159 + 162. Suppose -276 = -o*s + 180. Is s a multiple of 8?
True
Let c(p) = 91*p**3 - p**2 + 7*p - 5. Does 7 divide c(2)?
False
Suppose 5*d - 3*p = 0, -d + 5*p = 2*d + 16. Suppose 54 = c - d. Is c a multiple of 19?
True
Let w(r) = 6*r + 14. Is w(14) a multiple of 5?
False
Let x(q) = q**2 + 2*q - 4. Let m be x(2). Let i = 5 - m. Does 11 divide i*(-12)/(-4) - -52?
True
Is ((-1)/(3/40))/((-48)/72) even?
True
Is 34 a factor of (-5)/(-3) + (-5 - (-2092)/3)?
False
Suppose d - 71 = b - 2*b, 0 = 2*d + 3*b - 141. Suppose 0*f + d = 3*f. Suppose 7*l = 5*l + f. Does 5 divide l?
False
Suppose 2*l - 5 = -4*r - 1, -2*l - 4 = 0. Let i(k) = -4*k**2 + 8*k - r*k + 2 + 16*k**3 - 15*k**3. Does 19 divide i(5)?
True
Let r = -672 - -993. Does 11 divide r?
False
Is 25 a factor of 1*(-64)/6*12/(-2)?
False
Let f(i) be the second derivative of 0 - 10*i + 1/12*i**4 + 5/6*i**3 - 1/20*i**5 + 4*i**2. Does 17 divide f(-4)?
True
Let v = 520 - -13. Does 19 divide v?
False
Let d = 26 + -24. Suppose x - 68 = -d*h, 0 = -4*h - 2*x - x + 138. Is 25 a factor of h?
False
Suppose -v + 446 = 140. Is 9 a factor of v?
True
Suppose p - 66 = 3*b, 5*p - 2*b = 86 + 192. Suppose -4*w + p = l, 0 = w - 4*l - 1 - 21. Let t = 31 - w. Does 16 divide t?
False
Let z(c) = 3*c**2 + 40*c - 51. Does 11 divide z(-16)?
True
Let r be (-7 + (-5)/(-1))*(-22)/4. Suppose 105 = -r*k + 16*k. Is k a multiple of 7?
True
Suppose 3*y - 2*y = 30. Suppose -x + y + 25 = 0. Is 16 a factor of x?
False
Does 61 divide 1*(-488)/(((-5)/2)/5)?
True
Suppose -h + 3*v + 10 = -1, -2 = 3*h - 2*v. Let q be (-13)/h + (-3)/12. Suppose 2*m - m + 3 = 0, q*y + 5*m = 78. Is y a multiple of 18?
False
Let x(q) = q**3 + 8*q**2 + 2*q - 7. Let f be x(-6). Suppose -y + 9 = 39. Let t = f + y. Is 6 a factor of t?
False
Suppose 6*p + r = p + 25, 4*p - 3*r - 1 = 0. Suppose -s = -p*s - 15, 2*o = 4*s + 156. Is o a multiple of 17?
True
Let z be 3 - (-1)/3*3/1. Is 16 a factor of 2/z + (-338)/(-4)?
False
Is (0 + (4 - 5 - -4))*26 a multiple of 13?
True
Suppose 2*a - 75 = -3. Suppose 300 = 2*z - a. Is 28 a factor of z?
True
Suppose -2*h + 4 = 4*d, -3*h + 7 = -3*d + 28. Let s(k) = -k**d + 2 + 5*k**2 + 5*k + 5*k - 5*k + 0*k. Is 32 a factor of s(-3)?
False
Let a be (-102)/(-27) + 2/9. Suppose -2*r + 5*f - a = f, 4*r + 5*f = 31. Suppose 2*i - 20 = -r. Does 8 divide i?
True
Suppose -3*q = p - 131, 3*q = -5*p + 4*q + 671. Does 3 divide p?
False
Suppose 38 = z + 4*c, -z = 2*c - 11 - 17. Does 13 divide (-27)/z*(148/(-3))/1?
False
Suppose -640 + 2320 = 24*a. Is 5 a factor of a?
True
Suppose m = 4 - 0. Let b(t) = t**3 - 2*t**2 - 3*t. Let x be b(m). Let y = x - 11. Is 3 a factor of y?
True
Let x(l) = -13*l**3 - 10*l**2 + 3. Let f(b) = -28*b**3 - 20*b**2 + b + 7. Let s(i) = 6*f(i) - 13*x(i). Suppose 28 = -3*d + 1. Does 30 divide s(d)?
True
Suppose 3*v = 4*k - 5*k + 25, 4*k = -v + 56. Let t = k - -3. Does 3 divide t?
False
Let v(t) = -5*t. Let c(m) = m**2 + 7*m + 5. Let k be c(-6). Let a be v(k). Suppose -a*d + 36 = -3*d. Is 10 a factor of d?
False
Suppose 47*m = 44*m. Suppose 5*i + m*i - 71 = 4*x, -x = -3*i + 44. Is i a multiple of 15?
True
Let u be (-4)/1*7/14. Let v be 4 + 1/(u/(-4)). Is 28 a factor of v + -5 + 2 + 25?
True
Suppose 4*o + 1123 = -l, -2*o = o + 5*l + 838. Let y = 418 + o. Let w = y - 81. Is 16 a factor of w?
False
Let u(x) = 9*x**3 - 5*x**2 + 9*x - 5. Is u(1) a multiple of 2?
True
Is 15 a factor of ((-4)/(-16))/((-6)/(-1656))?
False
Let t be (10 - (-2 - -4)) + -3. Suppose 248 - 74 = 5*g + 2*u, -4*g + t*u = -159. Is g a multiple of 20?
False
Let j(y) 