 s(-1) a multiple of 24?
True
Suppose -2*p = -7*p - 10, 2*m - 3*p = 10. Suppose 0 = -5*g - l + 351, -15 = -g - m*l + 57. Is g a multiple of 14?
True
Suppose 9*l = 13*l - 1280. Is 20 a factor of l?
True
Suppose -28*p + 41323 = 3*p. Is 24 a factor of p?
False
Let x be -11 - 0*2/6. Let l(v) = v**2 + 10*v - 7. Let u be l(x). Suppose g = -3 - 1, -2*j + u*g = -104. Is 11 a factor of j?
True
Suppose 2*n = 3*n - 4*w - 59, 326 = 4*n + 2*w. Does 7 divide n?
False
Does 67 divide (-3374)/(-12) - (-110)/132?
False
Suppose -3*k = -9, 2*u = -0*u - 4*k + 22. Suppose -5*q - 3*i + 50 = i, -u*i - 30 = -3*q. Is 1624/30 + q/(-75) a multiple of 18?
True
Suppose 0 = -3*y + 1795 + 29. Is 46 a factor of y?
False
Let j be -2*(-7 - -3) + -3. Does 15 divide (j - 3/1)*11?
False
Let c = 35 - 32. Suppose 0 = -c*r + 15 - 6. Suppose 0*z = -z + h + 51, r*h - 211 = -4*z. Is z a multiple of 13?
True
Suppose 0 = -4*g + 3*y + 4, g + 0 = 2*y - 4. Suppose -5*l + 64 = g*z, 2*l - 5*l = 2*z - 40. Does 16 divide l?
True
Let q be (-1)/1*2 - -237. Let d = -33 + q. Is d a multiple of 29?
False
Suppose -40*j + 13201 = 961. Is 51 a factor of j?
True
Let b(j) be the second derivative of -2*j**3/3 - 33*j**2 - 21*j. Is b(-31) a multiple of 6?
False
Let n(u) = u - 1. Let h(x) = 14*x + 14. Let a(t) = h(t) + 2*n(t). Is a(4) a multiple of 6?
False
Let j be (-2)/8 - 55/20. Let c be j/2*(-80)/24. Suppose c*h - 23 - 82 = 0. Is h a multiple of 6?
False
Let b(f) = -5*f - 13. Let t(x) = 3*x + 7. Let s(r) = -4*b(r) - 7*t(r). Does 4 divide s(-5)?
True
Let i be ((-98)/(-5))/(((-4)/(-70))/2). Suppose 11*g = 4*g + i. Is 21 a factor of g?
False
Let i = -35 + 38. Suppose -61 = -4*x + 5*h, i*x + 3*h = 11 + 1. Does 9 divide x?
True
Suppose -2*g = -0*g - 3*v - 19, -3*g + 24 = -3*v. Suppose 0 = -5*f - 25, 42 + 45 = 2*n + g*f. Does 14 divide n?
True
Suppose -10*r + 27 = -r. Suppose 5*c - 4 + 3 = -h, -3*h = r*c - 39. Is h a multiple of 16?
True
Let h = 1380 - 553. Is 50 a factor of h?
False
Let t(q) = -q**3 - 31*q**2 + 14*q + 142. Is 32 a factor of t(-32)?
False
Let x(w) = -w - 7. Suppose -d = -4*a - 3*d - 32, 3*a + d = -23. Let s be x(a). Is 2 a factor of 1 + (-1)/(-1) + s?
True
Suppose -c + 3*c + 254 = -d, d = 4*c + 520. Is 23 a factor of (-1)/(132/c - -1)?
False
Suppose 0 = -12*m + 9*m + 6. Suppose -m*p + 43 = 9. Is 14 a factor of p?
False
Suppose 150 = -2*r - 4*f, -240 = 5*r + 5*f + 125. Let n = r + 95. Is n a multiple of 3?
True
Let m(n) be the first derivative of n**4/4 + 4*n**3 - 9*n**2/2 + 11*n - 2. Is 17 a factor of m(-12)?
True
Let b = 802 + -690. Does 28 divide b?
True
Let q(l) = -l**2 - 5*l - 3. Let z be q(-5). Let o(g) = -1 + 6 - 8*g - 1. Does 14 divide o(z)?
True
Suppose -15 = -y - 4*n + 8, -5*y - 3*n = -81. Let u be (y/(-12))/((-4)/144). Let k = u + 1. Is 10 a factor of k?
False
Let a = 5851 - 1330. Suppose -11*m = -a + 902. Is m a multiple of 47?
True
Suppose 0 = 7*z - 2*z + 120. Let n = 32 + z. Is 8 a factor of n?
True
Suppose -42 = 5*h + 18. Does 18 divide (4 - (-260)/h)/((-2)/6)?
False
Let j(n) = n**3 - 2*n**2 - 3*n + 2. Let f be j(4). Let g = -43 + f. Is 63*(24/g - -2) a multiple of 23?
False
Suppose 3795 = -6*a + 17*a. Does 23 divide a?
True
Suppose -3*i + 10 = 2*i. Suppose -24 = -i*q - 8. Does 3 divide q?
False
Let v = -27 - -126. Is 33 a factor of v?
True
Suppose 55*g - 2860 = 50*g. Is 52 a factor of g?
True
Let m be 1/(1/7 - 0). Let g(l) = -2*l - 16. Let r be g(-10). Suppose -s = -2*h + m + 35, -h + 3 = r*s. Does 7 divide h?
False
Let w be 4*-1*12/16. Let x be ((-8)/((-80)/65))/(1/2). Let i = w + x. Does 5 divide i?
True
Let y(o) be the first derivative of -3*o**2/2 + 4*o - 24. Is 4 a factor of y(-1)?
False
Let m(h) = 9*h**2 + 26*h - 4. Is 14 a factor of m(-8)?
True
Let s(a) = 4*a + 4*a + 28 - 5*a - 6*a. Is s(-7) a multiple of 13?
False
Let f(l) = -133*l + 44. Is f(-3) a multiple of 12?
False
Let s be -17 + ((-12)/(-8))/(15/10). Is 22 a factor of s/(-12)*(69 + -3)?
True
Suppose -18*j = -j - 20706. Is j a multiple of 79?
False
Let k(s) = 2*s**3 + 2*s**2 - 2*s + 1. Suppose 1 = 4*w - 3. Let j be k(w). Suppose -g + 96 = j*g. Does 12 divide g?
True
Let l(u) = u**3 - 11*u**2 - 15*u + 13. Let a be l(13). Let o = 218 - a. Is 46 a factor of o?
False
Suppose -4*x - 2*v = -780, 4*x + 4*v = -x + 975. Suppose 4*m + 3*f = x, 0 = 2*f + 1 - 3. Is m a multiple of 12?
True
Suppose -3*g + 116 = 4*l, l = 3*g - g - 92. Let o be 4/(-10) + (-392)/20. Let c = o + g. Is c a multiple of 4?
True
Suppose -4*g + 820 = -i + 4*i, 5*i - 1320 = 5*g. Let j = i - 185. Suppose f = j - 15. Is 34 a factor of f?
True
Let p be 184/56 - 3 - (-186)/(-14). Let z = 23 - p. Is 29 a factor of z?
False
Let g(h) = -4*h**2 - 7*h - 6. Let l be g(-6). Let j = l + 171. Is j a multiple of 6?
False
Let h = -15 - -18. Suppose 12 = 4*k - 0*k, 0 = -h*u + 4*k + 255. Is u a multiple of 36?
False
Suppose 47931 = 35*x - 24904. Is 42 a factor of x?
False
Let p(v) = -2*v**2 - 56*v - 51. Is 9 a factor of p(-21)?
True
Suppose -2*n + 3*b + 5 = -51, b = 4. Does 22 divide n?
False
Let s(f) = -f**2 - 7*f - 7. Let d be s(-5). Let l be (-4)/2 - (-1 - d). Suppose -l*v + 64 = 6*v. Is 2 a factor of v?
True
Let o be ((-88)/(-32))/(2/8 + 0). Suppose o*v = 75 + 310. Is 13 a factor of v?
False
Suppose 2*y - 5 = -3*y + 5*g, 4*y - g - 1 = 0. Suppose y*l = l - 50. Let f = -13 + l. Is f a multiple of 22?
False
Suppose -5*f = l - 246, -6 = -13*f + 15*f. Is l a multiple of 3?
True
Suppose 1768 = -17*m + 25*m. Is 17 a factor of m?
True
Suppose 0 = -56*j + 59*j - 852. Let z = j + -86. Does 18 divide z?
True
Suppose -u - 5*r + 30 = 0, -u - u - r = -33. Suppose 5*w - u = 20. Is w a multiple of 7?
True
Let o(x) = 12*x**2 + 35*x + 348. Is 5 a factor of o(-11)?
True
Let y(k) = 48*k + 855. Is y(-14) a multiple of 6?
False
Is (2 + 105)/(22/198) a multiple of 58?
False
Let o(m) = -2*m**2 + m - 1. Let g = -30 + 32. Let h be o(g). Let p(n) = -10*n - 12. Is 14 a factor of p(h)?
False
Let t(z) = 7 - 2*z + z + 0*z + 13. Let q be t(14). Is 20 a factor of (-3)/((-2)/104*q)?
False
Let p = 211 - 96. Let d = 215 - p. Does 20 divide d?
True
Let y(o) = -o**2 + 24*o - 6. Is y(23) a multiple of 17?
True
Suppose 4*d - 4*i - 2632 = 0, 5*i = -22*d + 21*d + 676. Is 22 a factor of d?
False
Let h(c) = c - 25. Suppose 0 = -0*m + 5*m + 5*g - 75, -5*m - 3*g + 73 = 0. Let t be h(m). Let l = t + 19. Is l a multiple of 4?
True
Let l = 756 + -441. Is 18 a factor of l?
False
Let l(v) = 375*v + 2. Let c be l(2). Suppose -3*w = -2*k - 754, 0 = 4*w - w - 4*k - c. Suppose -2*x - w = -4*s + x, -2*s + x = -124. Does 30 divide s?
True
Let o be 1/6 - 1169/(-42). Let p = -26 + o. Suppose 89 = 4*k - p*l - 45, -5*l = -3*k + 118. Is 15 a factor of k?
False
Suppose 0 = 6*r - 6 - 6. Suppose -3*i + 112 = 4*v, -3*i - v + r*v = -92. Is i a multiple of 7?
False
Is 12 a factor of ((-1095)/(-6))/((-3)/(-2) + -1)?
False
Let f(b) = 31*b + 2. Is 34 a factor of f(12)?
True
Let y(p) = -p**2 + 8*p - 4. Let m be (20/(-12))/(5/(-18)). Let u be y(m). Let o = 3 + u. Does 11 divide o?
True
Suppose w + 7 = 3*s, -2*w = -3*w + 2*s - 6. Let b be -4 - (w - (0 - -4)). Suppose -2*f + 3*v - 53 = -b*f, -3*f - 4*v = -82. Is f a multiple of 13?
False
Let t be 60/18*3/2. Suppose -5*z + 3*z = 4, -t*c + 511 = -3*z. Is 12 a factor of c?
False
Let g(n) = -n**2 - 2*n + 6. Let r be g(-3). Suppose -d + 95 = 3*h, 0*d + 80 = r*h - 2*d. Does 10 divide h?
True
Let c(r) = 12*r**2 - 4*r - 24. Is 24 a factor of c(-3)?
True
Let h(a) be the third derivative of 47*a**6/120 + a**5/15 + a**4/24 - a**3/3 + 2*a**2. Let j be h(-2). Is 26 a factor of (j/35)/((-4)/30)?
True
Does 19 divide (-40)/12*-6*19/2?
True
Let n(s) be the second derivative of s**6/30 + s**5/30 - s**4/6 + s**3/3 - 2*s**2 + 2*s. Let l(q) be the first derivative of n(q). Is 17 a factor of l(2)?
True
Suppose 5*j - 23 = -4*t + 26, 0 = -3*j - 5*t + 32. Suppose j*w = 6*w + 9. Is (w - -1)*21/6 a multiple of 9?
False
Let m(q) = -15*q**3 + q**2 - q - 1. Let p be m(-1). Suppose 0 = g + g - p. Suppose 4*y - 64 = -g. Does 3 divide y?
False
Suppose -1305 = -3*x + 1419. Is x a multiple of 4?
True
Let g = -502 - -722. Is g a multiple of 10?
True
Suppose 3*f - 5*j - 23 = 0, -3*f - 3*j + 22 = -7*j. Suppose f*h - 363 = 123. Is h a multiple of 10?
False
Let t(n) = -n + 8. Let x(b) = 7. Let z(y) = -3*t(y) + 4*x(y). Let j(w