e
Let n = 3 - 0. Suppose -4*j - n*l + 55 = 0, -3*j + 2*j - l = -15. Does 4 divide j?
False
Let u(k) = -k + 24. Let q be ((-2)/6)/((-6)/36). Suppose 4*v = -5*n + 16, v - 4 = q*n - 7*n. Is 8 a factor of u(n)?
True
Suppose 5*h = 2*j - 437, 2*j - 2*h + 0*h - 422 = 0. Does 10 divide j?
False
Let x = 50 - 46. Does 2 divide x?
True
Let v be (-10*1)/((-2)/1). Suppose -s + v = -1. Is 6 a factor of s?
True
Suppose p - 3*p = -8. Suppose -2*g = -p*g + 146. Is 26 a factor of g?
False
Suppose 9*y - 609 = 471. Does 10 divide y?
True
Suppose 0 = 12*g - 227 - 109. Does 3 divide g?
False
Is -2 + 5 + 0 - 1 even?
True
Let r(q) = -4*q + 4. Does 11 divide r(-10)?
True
Is 5 a factor of (-30 - -10)/((-2)/6)?
True
Suppose 34*d - 35*d = -25. Does 25 divide d?
True
Is (-576)/(-4) - (1 + -1) a multiple of 36?
True
Let d(v) = 51*v + 19. Is d(2) a multiple of 21?
False
Suppose -3*y - 13 = 20. Let b = 61 + y. Suppose b = 4*t - 18. Does 17 divide t?
True
Suppose b - 3 = -1. Is 3 a factor of (-10)/(-15)*27/b?
True
Let h be -1 - 6/(-4)*2. Let r(t) = 5 - 13*t + 14*t - 5. Does 2 divide r(h)?
True
Let i = -6 - -9. Suppose 0 = -i*x + 5*j + 28, 0*x - 3*x + 12 = 3*j. Is x even?
True
Let r(m) = m**2 - 5*m + 3. Let g(x) = -x**3 + 8*x**2 - 6*x - 1. Let i be g(7). Is r(i) a multiple of 3?
True
Suppose 3*z = -33 + 171. Suppose 5*v - 270 = -5*q, 3*v + 0*v + z = q. Does 27 divide q?
False
Is 17 a factor of (-8)/28 + (-720)/(-21)?
True
Let k be (2 - 3)/(2/(-8)). Is 20 a factor of (-50)/k*(-16)/10?
True
Suppose -7*h + 225 = 36. Is 4 a factor of h?
False
Suppose 4*a - 46 - 46 = 0. Let s = -31 - -19. Let w = a + s. Is 4 a factor of w?
False
Let r(y) = 23*y - 4. Let z be r(-4). Let g be 128/36*3*(-8 + 2). Let v = g - z. Is v a multiple of 14?
False
Suppose 99 = -d - 4*t, -5*d - t = -0*d + 438. Let j = -49 - d. Does 12 divide j?
False
Let r(m) = m**2 + m + 1. Let z be r(-1). Suppose z = 2*j - 5. Suppose w + 2*y = -2*y + 22, -j*w + 4*y + 2 = 0. Does 3 divide w?
True
Let r be 438/90 + 4/30. Suppose -r*s - 185 = -2*q, 3*s - s - 150 = -2*q. Is q a multiple of 16?
True
Suppose -2*s + 178 - 58 = 0. Is s a multiple of 8?
False
Let u = 10 - 5. Let x = u + -3. Suppose 5*p + x*d = 12 + 23, -28 = -4*p + d. Does 4 divide p?
False
Let u(x) = -6*x - 7. Is 21 a factor of u(-13)?
False
Let q = 68 - 45. Is 18 a factor of q?
False
Let v(q) = -76*q - 4. Let m be v(-4). Suppose m = l + 4*l. Suppose k = -k + l. Is 15 a factor of k?
True
Let x = 3 - 5. Is 12*(2 + (-1)/x) a multiple of 10?
True
Let d(p) = p**2 + 5*p + 3. Does 5 divide d(-9)?
False
Suppose 0 = -3*k - 3*j - 2*j + 68, 0 = 3*k - 5*j - 58. Let m be 10 - (2/(-2) + 0). Suppose -5*u + k - 4 = 2*g, m = g + 2*u. Does 7 divide g?
True
Suppose -2*t + 5*c + 18 = 0, 0*t + 2*c = -t. Is t/(-2) + 36 + -4 a multiple of 10?
True
Suppose -3*m + 4*m = 0. Suppose 2*v = 4*h - 64, -9*h + 4*h + 4*v + 74 = m. Does 11 divide h?
False
Let v = 51 + -21. Is 15 a factor of v?
True
Suppose 9 = -2*s - s. Let r be 10/(-2) - (-2 - s). Is (51/r)/((-2)/4) a multiple of 6?
False
Suppose -3*a - a + 24 = 0. Suppose -3*d - a = -0. Does 24 divide -9*(d + -2 + -2)?
False
Let y(n) be the second derivative of 41*n**3/6 - 2*n**2 - 7*n. Is 30 a factor of y(2)?
False
Suppose o - 25 - 8 = 0. Let p = o + -10. Does 10 divide p?
False
Suppose -3*n = n - 152. Is 7 a factor of n?
False
Let i be ((-1)/2*4)/(-1). Suppose i*h - 2 = 14. Does 7 divide h?
False
Let t = -33 - -85. Does 13 divide t?
True
Is 42 a factor of -27*7*4/(-6)?
True
Suppose -215 = 5*t + 90. Let i = t + 121. Is 12 a factor of i?
True
Let c(q) = -25*q**3 + q**2 + 2*q + 1. Does 15 divide c(-1)?
False
Does 4 divide (-226)/(-6) - 3/(-9)?
False
Suppose 2*o = 2*w + 230, 2*o + 5*w + 215 = 4*o. Is o a multiple of 30?
True
Let m be -6 - 1/((-2)/6). Let p = 12 - m. Is ((-10)/p)/(2/(-27)) a multiple of 7?
False
Suppose -5*f + 88 = -k - 240, -2*f + 2*k = -136. Let m = -26 + f. Is 13 a factor of m?
True
Let d(i) = 17*i + 2. Does 12 divide d(2)?
True
Suppose 0 = -2*j - 4*p + 60, 2*p - 7 = 2*j - 61. Is j a multiple of 15?
False
Let s(b) = 4*b**2 - 2*b + 1. Let y(m) = m**3 + 6*m**2 + m + 8. Let g be y(-6). Is s(g) a multiple of 12?
False
Let c(l) = -15*l - 55. Does 8 divide c(-6)?
False
Is ((-10)/2)/(4/(-188)) a multiple of 21?
False
Is ((-6)/(-9))/((-8)/(-684)) a multiple of 12?
False
Suppose -3*i + 2*f = 22, 0 = -5*i - 5*f - 18 - 2. Let v(q) = 5*q**2 - 4*q - 4. Let d be v(i). Does 12 divide d/14 - 4/14?
False
Let k = 43 - 23. Let a = 4 + k. Is 12 a factor of a?
True
Let j be (-15)/2*6/(-9). Suppose -3*z + n = 2*z - 361, -j*z + 3*n = -363. Let p = z + -50. Is p a multiple of 10?
False
Let v(h) = -3*h**2 - 19 + 4*h**2 + 2*h - 2*h. Let z be v(0). Let u = z + 29. Is u a multiple of 10?
True
Suppose 0*t - 5*t - 2*y - 48 = 0, -3*y = 12. Let m be t/2*(-18)/(-8). Let b = 3 - m. Is 12 a factor of b?
True
Suppose 0 = -p - 2*l - 2, 20 = -3*p - p - 5*l. Suppose -5*c - 2*f = -95, -3*f - 56 = -3*c - 4*f. Let j = p + c. Does 3 divide j?
False
Let l = 0 - -2. Suppose -l = -g + 7. Is 9 a factor of g?
True
Let g(r) = r**2 + 2*r. Is g(-7) a multiple of 7?
True
Let c(z) be the first derivative of z**3/3 + z**2/2 - 6*z - 1. Does 21 divide c(7)?
False
Let h = 6 + -4. Let a be h/11 - (-1206)/22. Suppose 5*o + a = 5*p, o - 50 = -4*p - o. Is 6 a factor of p?
True
Suppose -4*h = 5*z - 0*h - 16, 0 = -4*z - 4*h + 16. Suppose -7*q + 5*q + 72 = z. Is 18 a factor of q?
True
Let x(g) be the first derivative of g**5/120 + g**4/8 - g**3/3 - 2. Let i(k) be the third derivative of x(k). Does 5 divide i(3)?
False
Suppose -6 = -c - 2*m, c - 4*c + 4*m - 12 = 0. Let j be 3 + 0 + c + 1. Suppose -5*a = -3*g - 38, -2*g = j*a - 0*g - 48. Is 4 a factor of a?
False
Let k = 333 + -193. Is 35 a factor of k?
True
Suppose 2*c - 4*g = -6, -2*g = -c + 3*g - 3. Let m be -3*1*3/c. Suppose -m*f = -2*f - 4. Is f a multiple of 4?
True
Let v(f) = 20*f**2 + 53*f + 13. Let q(i) = -7*i**2 - 18*i - 4. Let g(l) = -17*q(l) - 6*v(l). Does 11 divide g(-8)?
True
Let n(z) = 2*z**3 - 3*z**2 + 3*z - 2. Let y be n(2). Is (0 + -20)*(-6)/y a multiple of 5?
True
Let r = -8 - -10. Suppose -81 = 3*g - 5*g + 3*m, 71 = r*g - 5*m. Is g a multiple of 24?
True
Suppose 3*p - 180 = 2*p. Does 5 divide p?
True
Suppose -2*r - 2 = -10. Suppose j = -2 + r. Suppose s - 3*w = 6, 5*s = 3*w - j + 20. Is s a multiple of 2?
False
Let n = 9 + -4. Suppose s + 25 = n. Does 4 divide (-3)/4 - 95/s?
True
Let k be 108/(-8)*4/(-6). Does 10 divide (-268)/(-9) - (-2)/k?
True
Let d(m) = 4*m + 4. Let s(a) be the first derivative of -a**4/4 + 5*a**3/3 - 3*a**2/2 + 2. Let f be s(4). Is d(f) a multiple of 10?
True
Let d(p) = 7*p**2 + 6*p - 70. Is 8 a factor of d(7)?
False
Let v = 52 - 29. Does 12 divide v?
False
Let b(k) = -k**3 - 9*k**2 - 8*k - 1. Let n be b(-8). Is 16 a factor of (-33)/n - (2 - 1)?
True
Let w = -42 + 91. Let o be -31 + 1 - (-7 + 5). Let x = o + w. Is x a multiple of 7?
True
Let g(x) = -x**2 - 2*x + 621. Let q be g(0). Is 6/10 - q/(-15) a multiple of 23?
False
Suppose 4*l + 2*d + 106 = 0, 3*l = 2*l + 3*d - 30. Let p = l + 51. Is p a multiple of 15?
False
Let a = -7 + 11. Suppose a*n = n - 168. Let k = n - -86. Does 13 divide k?
False
Let a(v) = -10*v - 1. Let g be a(-1). Let h = g - 6. Let f(j) = 4*j + 3. Is 15 a factor of f(h)?
True
Let h(q) = -q + 10. Let m(x) = -x + 9. Let p(a) = 4*h(a) - 5*m(a). Let k be p(5). Suppose -2*n - 4*y = -38, k = 5*n - 4*n - y - 13. Is 15 a factor of n?
True
Suppose -3*b + 120 = -c + 2*c, 3*c + 80 = 2*b. Is 40 a factor of b?
True
Is (-352)/4*2*-1 a multiple of 14?
False
Let a(t) = -t. Let j(d) = -7*d - 3. Let v(h) = -3*a(h) + j(h). Does 10 divide v(-8)?
False
Let y = 130 + -55. Does 15 divide y?
True
Let l(u) = -u**3 + 5*u**2 + 3*u. Does 10 divide l(5)?
False
Suppose -4*g = -8*g + t - 39, -5*t - 30 = 5*g. Let p = g - -15. Let j = 13 - p. Is 7 a factor of j?
True
Is 23 a factor of ((-648)/(-20))/(-3)*-1*10?
False
Let h = -130 + 193. Does 12 divide h?
False
Suppose -4 - 1 = 5*m. Is (m - 1)*(-9 - 1) a multiple of 20?
True
Does 10 divide (208/(-20))/((-8)/20)?
False
Let v = 13 + -10. Suppose 48 = v*c - 6. Is 9 a factor of c?
True
Is -57 + 58 + (1 + -1 - -29) a multiple of 15?
True
Let n(y) = y + 5. Let p be n(0). Suppose -p*h - j = -85, j + 10 = -j. Is 4/h - 392/(-18) a multiple of 19?
False
Let v = -38 + 51. 