et z be i(6). Suppose 0 = 4*d + 8, -8*o + 3*o - z*d = -5. Let v = o - -30. Does 33 divide v?
True
Is 2 a factor of (14 + -213)/((-3)/3)?
False
Let j(a) = 4*a**2 + 14*a + 32. Is j(-9) a multiple of 29?
False
Let m(f) = -f**3 - 10*f**2 + 32*f - 7. Let w(h) = h**3 + 11*h**2 - 32*h + 7. Let a(y) = 3*m(y) + 4*w(y). Does 7 divide a(-16)?
True
Suppose 4*l - 1204 - 599 = -3*t, 5*t + 3*l - 3016 = 0. Does 17 divide t?
False
Is 11 a factor of (-10)/(-25) - 157136/(-35)?
False
Let g = -144 + 75. Let q = 9 - g. Does 39 divide q?
True
Suppose 3*p - 921 = -b, -3*p - 282 = 5*b - 4827. Suppose -2*t = 4*g - b, 0 = 4*g - t - 631 - 266. Is 15 a factor of g?
True
Is 20880/50 + -2 + 24/10 a multiple of 42?
False
Let o(h) = -h**2 - 6*h - 6. Let d be o(-5). Let s be (0 + -204 + -4)*d. Suppose 2*l = -2*l + s. Is l a multiple of 13?
True
Let s = 41 - 36. Suppose 0 = -s*j - i + 60, -2*j - 1 = -5*i + 2. Is 3 a factor of j?
False
Let d(j) be the second derivative of -7/6*j**3 + 1/2*j**2 + 1/20*j**5 + 0 + 4*j + 1/3*j**4. Is d(-5) a multiple of 11?
True
Suppose 3*c - 64 = -5*u + 353, 417 = 3*c + u. Does 7 divide c?
False
Let i = 232 - -217. Suppose -7*v = 57 - i. Does 4 divide v?
True
Suppose 4*a - 5*r + 0*r - 381 = 0, 2*r + 96 = a. Let v be 1 - 6*2/(-3). Suppose -3*p - a = -v*d, -36 = 2*d - 4*d + 2*p. Is 18 a factor of d?
False
Let p(i) = 2*i**2 - i. Let n be p(-1). Suppose -n*d + 8*d = 10. Suppose d*b - 35 = -3*b. Is 6 a factor of b?
False
Let u = -531 - -1492. Does 13 divide u?
False
Is 9 a factor of -506*4/(-56) + 2/(-14)?
True
Suppose -l + 75 = 4*l. Let q(b) = -b**2 - 4*b + 7. Let z be q(-6). Is z/l + 226/3 a multiple of 20?
False
Suppose -f + 3*f = 40. Let i = 24 - f. Suppose 0*d = i*d - 48. Is 3 a factor of d?
True
Let m be -5*(55/25 + -3). Suppose m*y + 123 = -133. Is (-1)/(-4) + (-6320)/y a multiple of 27?
False
Let r(b) = -b**2 + 2*b + 6. Suppose 4*w - 3 = 3*w. Let l be r(w). Suppose -l*c + 55 = -c + 3*h, -5*c - 4*h = -134. Does 20 divide c?
False
Let l(s) = 12*s - 19. Let w be l(3). Let o = 93 + w. Is 28 a factor of o?
False
Let y(p) = 9*p**2 - 12*p + 15. Let h(f) = -5*f**2 + 6*f - 8. Let v(u) = -11*h(u) - 6*y(u). Let o be v(-7). Let i = 7 + o. Is 4 a factor of i?
True
Does 3 divide (-24)/12*(-6)/4*1?
True
Suppose 12*n = 28*n - 8384. Does 43 divide n?
False
Suppose 0 = -3*h + 2*a + 653, 10*h - 11*h + 5*a + 196 = 0. Is 26 a factor of h?
False
Suppose o - 2 - 35 = 3*f, 4*o + f = 174. Let h = o + 11. Is h a multiple of 15?
False
Let a be 1 + -50 + 12/(-4). Is (-2535)/a - -1*(-3)/(-12) a multiple of 7?
True
Let v = 2026 - 1279. Does 72 divide v?
False
Suppose -4*y + 63 = -y. Let j = y + -19. Suppose -5*m - 6 = -16, j*m - 69 = -5*a. Does 13 divide a?
True
Let t = 32 + 12. Does 2 divide t?
True
Suppose 10*b = 12*b - 8. Let k = 47 - b. Does 7 divide k?
False
Suppose 2*j - 348 - 282 = 0. Suppose 0 = -12*r + 17*r - j. Is 9 a factor of r?
True
Let w(n) = 32*n**2 + 7*n. Let k be w(-3). Let s = k - 177. Is 13 a factor of s?
False
Let a(n) = -5*n**3 + 4*n**2 + 5*n + 1. Let l be a(-2). Is 6 a factor of 10*3/(-6) + l?
True
Let t(l) = -358*l**3 - 3*l**2 + 10*l + 12. Is 17 a factor of t(-1)?
True
Suppose 0 = 2*p - 3*i - 5073 - 824, 8798 = 3*p + 5*i. Is 17 a factor of p?
True
Is (-37)/(1*(54/14 - 4)) a multiple of 7?
True
Suppose -2*i - 2*c + 234 = 0, -i + 2*i - 107 = 4*c. Suppose 0 = -8*u + 9*u - i. Suppose 10*p - 5*p - u = 0. Is 23 a factor of p?
True
Let m(y) = -3 - 2*y + 1 + 0 - 5*y. Let h be m(-2). Let p = -5 + h. Does 3 divide p?
False
Suppose -2*y = 5*f + 4, 4*f + 1 = -2*y - 3. Suppose f = 5*p - 67 - 28. Is 19 a factor of p?
True
Let f(o) = o**2 - 2. Let a be f(0). Let z(r) = -14*r + 25*r - 18*r. Does 9 divide z(a)?
False
Let k(s) = s**3 - 4*s**2 + 3*s + 1. Let h = 27 - 21. Does 22 divide k(h)?
False
Is 12 a factor of 9866/6 - -9*(-1)/27?
True
Let n(t) = -18*t - 328. Let y be n(-19). Let u(b) = -2*b**2 + 3*b - 2. Let k be u(2). Is (k + y)/((-3)/(-6)) a multiple of 18?
False
Let k(r) = -507*r - 19. Is 49 a factor of k(-4)?
True
Suppose -7*p - 194976 = -55*p. Does 75 divide p?
False
Let d(s) = s**3 + 7*s**2 - 8*s + 3. Let t be d(-8). Suppose t*r = r. Suppose 4*c - 4*o - 55 - 49 = 0, r = -5*c - 3*o + 162. Is 10 a factor of c?
True
Let z(y) = y**2 + 8. Let p(t) = -t - 23. Let w be p(-16). Is 4 a factor of z(w)?
False
Is ((-511672)/9)/(-14) - (-1)/9 a multiple of 31?
True
Let c(q) = -q + 26. Let l be (-5 - (-4)/1) + 15*1. Does 4 divide c(l)?
True
Suppose 42*g - 2894 = 12226. Is g even?
True
Let j = 832 - -2000. Does 15 divide j?
False
Let c = -11 + 15. Suppose -c*l + 0*l = -z - 113, 3*l + 4*z - 80 = 0. Does 14 divide l?
True
Let u = -140 - -826. Is u a multiple of 3?
False
Let w(r) = 10*r**2 - 6*r + 5. Let t be w(5). Suppose 5*l - t = -0*l. Let p = 8 + l. Is p a multiple of 14?
False
Let i = -47 - -156. Suppose -5*q - 9 = -i. Does 5 divide q?
True
Let n = 688 + 761. Is 5 a factor of n?
False
Let n be ((-8)/(-5))/((-8)/(-260)). Suppose -2*g - 4*c + n = 0, -107 = -5*g - 3*c - 5. Let y = g - 6. Does 4 divide y?
True
Let x(g) = -1 - 3*g**2 + 3*g + 6 + 7*g**3 + 1. Let n(i) = i**3 - i**2 + 1. Let k(f) = 6*n(f) - x(f). Is k(-3) a multiple of 3?
True
Suppose 5*y = -5*t + 3525, 4*t + 7 = 19. Does 78 divide y?
True
Let t = -20 + 28. Suppose -w + t = 2*g - 0, 0 = -w - 2. Is g a multiple of 5?
True
Suppose -4*x + 2*x - 786 = 0. Let h = -201 - x. Does 32 divide h?
True
Suppose -2*c + 20 = 2*x + 3*x, c + 5*x = 15. Suppose 183 + 36 = 3*y. Suppose y = l - c*g, -l + 48 = g + 5. Does 12 divide l?
True
Let u = 987 - 400. Is 122 a factor of u?
False
Let x(m) = 36*m - 18. Let u be x(8). Suppose 9*k - u = 3*k. Is k a multiple of 15?
True
Let j be -2 + -227 + -4 + 1. Let d be 3/3 - (5 - j). Is 16/(-72) - d/9 a multiple of 13?
True
Suppose -14 = -o + 39. Is 6 a factor of o?
False
Is (1032/72)/(94/(-48) + 2) a multiple of 30?
False
Let j = 554 - 836. Is 11 a factor of ((-1)/(-3))/((-2)/j)?
False
Let w(l) be the first derivative of l**2/2 + 2*l + 2. Let s be w(5). Let d = s + 31. Does 11 divide d?
False
Let c = 23 + -21. Let g be c/6 - 26/(-3). Let l(y) = 6*y + 14. Is l(g) a multiple of 17?
True
Let v = 15 - 2. Does 6 divide v/65 + (-238)/(-10)?
True
Suppose -197 = -10*y + 9*y - s, -4*s = -y + 202. Is 22 a factor of y?
True
Let f(x) = -2678*x**3 - 4*x - 4. Is f(-1) a multiple of 75?
False
Let c = -27 + 30. Suppose -c*q + 0*y = -y - 34, -2*y = 8. Is 10 a factor of q?
True
Let o(s) = 68*s - 19*s - 36*s + 8. Is 23 a factor of o(10)?
True
Let q(p) = p**3 - 8*p**2 + 5*p + 1. Let z be q(6). Suppose -2*y + 535 = 2*r + 3*r, 2*r - 220 = -2*y. Let v = r + z. Is 38 a factor of v?
False
Let b = -3 - -3. Suppose 5*c = -4*g + 3*g - 22, b = -3*g - 3*c - 6. Suppose d = -g*r + 95, -5*r + 5*d + 178 = 13. Is 16 a factor of r?
True
Let v(f) be the third derivative of f**5/60 + 7*f**4/24 - 29*f**3/6 + 24*f**2. Does 39 divide v(-17)?
False
Let n = -28 - -29. Is 9 a factor of ((-2)/1 + n)/((-4)/588)?
False
Suppose 11*s = 6*s + 25. Let v(b) = 8*b - 10. Let x(z) = -4*z + 5. Let m(w) = s*x(w) + 3*v(w). Is 5 a factor of m(5)?
True
Let k be (-72)/(-24) + 4/(-3 + 1). Is ((-8349)/(-6))/11 - k/(-2) a multiple of 17?
False
Let j(w) = w**2 - 17*w + 18. Let l be j(16). Suppose l*r + 3*p - 76 = 0, -p + 1 - 5 = 0. Is 10 a factor of r?
False
Let g be 2/(-2) + -2*2. Let y(z) = -4*z**2 - 1 + 3*z**2 - 2 + 2*z**2. Does 11 divide y(g)?
True
Suppose -3*u = -14 + 35. Let b(d) = 3 + 5*d + 2*d**2 + d + 3*d. Does 15 divide b(u)?
False
Suppose 10 = -2*q + 10. Suppose 7*p - p - 444 = q. Is 11 a factor of p?
False
Is ((-1062)/(-8))/((-24)/(-64)) a multiple of 4?
False
Let y(t) = 84*t - 114. Is 6 a factor of y(6)?
True
Let j be 2/(-6) + 2/6. Let t be (0 - -2)*(j - 8). Is 4 a factor of (-276)/t - 5/20?
False
Let q = -316 - -3016. Is q a multiple of 20?
True
Does 3 divide ((-1)/4)/(54/(-4752))*2?
False
Suppose 7 = -4*j - 5*a, -2*j + 3*a = -1 + 32. Let o be 8/(j/2) + 2. Suppose o = -2*c - 3 + 21. Is 3 a factor of c?
True
Suppose 20 = 291*w - 287*w. Is w a multiple of 5?
True
Let k be (64/(-40))/(1/5). Is 2*9*(-7)/(21/k) a multiple of 12?
True
Let f be (-84)/8*(-2)/(-3). Let h = 40 - f. Is h a multiple of 12?
False
Let u(l) = 3*l**2 - 16*l - 3. Is u(9) a multiple of 12?
True
Suppose 22 = y + 5*s, -5*y - 118 = -8*y - 2*s. Is 7 a factor of y?
True
Suppose