ppose 0 = 3*q - 5*q - 3*v + 166, -v + 2 = p. Is 8 a factor of q?
True
Suppose -x + 10 = -3*x. Let l = -8 - x. Is -2 - l*10/2 a multiple of 13?
True
Let y(o) = 3*o + 1. Let b be y(1). Let j(k) = 4*k**3 - 3*k**2 - 8*k + 9. Is j(b) a multiple of 39?
False
Suppose 74 = p + 13. Is p a multiple of 53?
False
Let u be (0 + -35)*132/(-154). Suppose -u*z = -25*z - 25. Is 5 a factor of z?
True
Suppose 0 = -4*p - 2*l - 0*l + 2, 5*l = 2*p + 17. Does 13 divide (176/(-48))/(p - (-76)/78)?
True
Let t be (2 + (1 - 4))*-12. Let s = t + -9. Suppose -5*b - 14 = 1, 63 = 3*m - s*b. Does 18 divide m?
True
Suppose -p = 3*u - 6*p - 109, -3*u + 103 = -2*p. Suppose -r + 178 - u = 0. Is r a multiple of 19?
False
Let n(u) = 6*u - 2 + 8 + 0. Does 10 divide n(2)?
False
Let k be 0/1 - (-2 + 7 + -2). Is 22 a factor of -73*(1/k)/((-7)/(-21))?
False
Let a(i) = -i - 4 - 5 - 5 + 2*i**2. Does 18 divide a(-5)?
False
Let n = -14 - -17. Suppose n*y = 4*p - p - 99, p - 45 = -5*y. Let q = -31 + p. Does 3 divide q?
False
Let t = 758 + -382. Suppose 5*i = 9*i - t. Does 11 divide i?
False
Let c be 16/20 + (-6)/(-5). Suppose 8*s + 18 = c*s. Is (-3)/(s/(-2))*-4 a multiple of 3?
False
Let v(u) = 24*u - 3. Let r be v(11). Suppose -5*l = -4*l - 3*c - 93, -3*c - r = -3*l. Is 21 a factor of l?
True
Let c(u) = u**2 - 31*u + 19. Let g be c(28). Let n = 381 + g. Is n a multiple of 45?
False
Suppose 0 = 3*f - 7 - 8. Suppose 3*o + 5*x = 105, 2*o - 5*x = -2*o + 105. Suppose 0*u - o = -f*u. Is u a multiple of 3?
True
Suppose -12*l + 4438 = -12458. Is l a multiple of 27?
False
Let o = -13 + 13. Suppose 0*w + 2*w = o. Let h(d) = -2*d + 25. Does 25 divide h(w)?
True
Does 8 divide -5 - (4 + (8 - 195))?
False
Let o = 810 - 496. Is o a multiple of 19?
False
Let m(f) = f**2 - 17*f + 12. Suppose 2*s = 5*d - 86, -3*d - 4*s + 0*s = -36. Let u be m(d). Does 6 divide u/(-18) + 640/36?
True
Let k(g) = 4*g + 21. Let s(m) = -m**3 + 8*m**2 - 7*m - 12. Let u be s(6). Is 26 a factor of k(u)?
False
Let i(g) = g**3 + 5*g**2 - 5*g + 6. Let w be i(-6). Suppose w = -2*c - 4*x + 34, x + 29 = c + c. Suppose 0 = -c*y + 13*y + 20. Does 5 divide y?
True
Let h(l) = l**3 + l**2 + 9. Let o be -2*1/2 - -1. Is 3 a factor of h(o)?
True
Suppose 3*t = 2*s - 1297, 0 = -5*s + 3*s - 3*t + 1303. Is 25 a factor of s?
True
Suppose -150 - 134 = -4*h. Let i = h - 56. Does 3 divide i?
True
Suppose -a = -3*j - 10, -2*a + a - 3*j - 2 = 0. Suppose 16 = a*u - 80. Does 12 divide u?
True
Suppose -u = -4*j + 13, 0 = 5*u - 0*u - 2*j - 7. Let y(g) = -g**3 + 6*g**2 - 5*g + 30. Let q be y(6). Suppose q = -u*k + 39 - 12. Does 2 divide k?
False
Let v(x) = 7*x**2 + 34*x + 56. Does 9 divide v(-13)?
False
Suppose -5 = -2*z - 3*w, 0 = 7*z - 2*z + w - 19. Let j(i) = -6*i**3 - 3 + 4*i**3 - 2*i + 3*i**3 - i**2. Is 11 a factor of j(z)?
False
Let m = 66 - 91. Let h = 85 - m. Is 22 a factor of h?
True
Let p(o) = 10*o**2 + 4*o - 8. Let w(a) = a**3 + 5*a**2 - 3*a + 13. Let t be w(-6). Is 20 a factor of p(t)?
False
Suppose -2*a + 12 = 2*j, -13 + 1 = a - 5*j. Suppose 0 = -3*v + a + 3. Suppose 151 = 5*x - 0*c - c, -x + 32 = -v*c. Does 15 divide x?
True
Let f = -570 + 695. Is f a multiple of 2?
False
Let t(o) = 9*o**2 - o + 2. Suppose -5*i - 2*l = 2*l - 27, 0 = 4*i + 2*l - 18. Is 14 a factor of t(i)?
False
Let j = 123 + 324. Suppose 3*d = j - 132. Is 21 a factor of d?
True
Let h = 80 + 1. Let p = h - 49. Does 11 divide p?
False
Let m be ((-357)/(-34))/((-6)/(-56)). Suppose -m = -3*g + r, 2 = 2*r - 0. Does 5 divide g?
False
Let i = 125 + -122. Suppose i*k = -2*s - 3*s + 275, k - 105 = s. Is 13 a factor of k?
False
Suppose -3*u + 42 = 3*w, -4*u + 28 = w + 2. Is 9 a factor of (-12)/w*150/(-4)?
True
Let m(i) = i**2 - 18. Let l be m(-5). Suppose l*j - 11*j + 224 = 0. Is 22 a factor of j?
False
Let r(f) = 95*f**2 + f + 1. Let q(p) = -p + 7. Let g be q(8). Is 17 a factor of r(g)?
False
Let x = 70 + -62. Let z = 28 + x. Is 6 a factor of z?
True
Let w(b) = 4*b + 2*b + 2 + 33 - 7*b. Is 5 a factor of w(0)?
True
Suppose -3*r = -3*m, -3*r + m = -8*r + 24. Suppose 4*v - 104 = 4*u + 2*v, -2*v - r = 0. Is 11 a factor of -3 + u*16/(-12)?
True
Let z(l) = -l - 3. Let u be z(-8). Let n be 4/(-10) + 27/u. Suppose -5*w + 0*w - 4*f + 165 = 0, -2*w = n*f - 83. Is 29 a factor of w?
True
Let x(a) = -a**3 - 13*a**2 - 17*a + 6. Let r be x(-12). Let j = -38 + r. Suppose 0*d + d + 4*u - 33 = 0, d - j = -3*u. Is 3 a factor of d?
False
Does 15 divide ((-498)/(-4))/(9/18)?
False
Let q be 35 + 4/(-14) + 4/14. Suppose 3*p - q = 34. Is p a multiple of 5?
False
Suppose -y = -5*y + 5*c + 30, 2*y - 12 = c. Let q = 10 - y. Suppose 6 = p + 2*z - 5, -37 = -q*p - z. Is p a multiple of 7?
True
Let d(w) = 4*w**2 + 2*w + 21. Does 5 divide d(-7)?
False
Let k be 111/27 + 5/(-45). Suppose 28 + 176 = k*u. Does 51 divide u?
True
Suppose 194*w - 11186 = 180*w. Does 47 divide w?
True
Does 10 divide (-5)/30*-1 + 11267/6?
False
Suppose 2*p - 34 = -2*w, -2*p + 25 = 5*w - 24. Let u(k) = p - 11 - 3 + k**2 - 6*k**2 + 3*k + 2*k**3. Does 16 divide u(3)?
True
Let z = 746 + -542. Does 2 divide z?
True
Let x(s) = 12*s**2 + 51*s + 5. Is x(5) a multiple of 4?
True
Suppose -2*a + 5*r = -443, 3*a - 251 = -3*r + 445. Does 22 divide a?
False
Suppose 30*g - 45*g + 12840 = 0. Does 60 divide g?
False
Suppose 2368 = 24*l - 488. Is l a multiple of 10?
False
Let j be ((-72)/84)/((-1)/28). Let q be (9/18)/((-2)/j). Is q/39 + 708/39 a multiple of 4?
False
Suppose 48*v = 56*v - 1432. Is v even?
False
Suppose 28*v - 28350 = v. Does 15 divide v?
True
Let a = -10 + 12. Suppose -2*z - 2*w + w = -452, -4*w - 667 = -3*z. Suppose a*r = -t + 48, -4*t = -9*t + 5*r + z. Is 16 a factor of t?
False
Suppose 0 = 4*l + l + 15, -12 = c + 4*l. Suppose -8*y + 0*y + 440 = c. Is y a multiple of 11?
True
Let c(p) = p - 4. Let a be c(4). Suppose 3*n + 3 = a, -g + 5*g = -n - 9. Is 12 a factor of 2/g + 25 - 1?
False
Suppose 3*h - 486 = -2*b + 99, -4*b - 3*h + 1179 = 0. Does 11 divide b?
True
Let i = -59 - -39. Is -15*(i/6 + 3) a multiple of 4?
False
Let r(c) = c**3 - 14*c**2 + 12*c - 10. Does 51 divide r(16)?
False
Suppose -15 + 3 = -3*t. Let j(u) = u**3 - 5*u**2 + 5*u - 4. Let f be j(t). Suppose 3*d + 3*n - 81 = f, -5*d - 3*n = -0*n - 137. Is 14 a factor of d?
True
Suppose 3*x - 15 = 0, -2*x = 2*m - 4*x + 178. Let d = m + 162. Does 26 divide d?
True
Let u(n) = 45*n**2 + n + 1. Let c be u(-1). Let a = 399 + c. Is 59 a factor of a?
False
Suppose 68 = 5*j - 4*g, 2*j - 2*g - 26 = -0*j. Is 15 a factor of (j/28)/(2/371)?
False
Let t = 9 + -6. Suppose 3*x - 63 = -3*u, -2*x = -7*x - 2*u + 96. Suppose -d - 59 = -3*w, w + d - t*d - x = 0. Is w a multiple of 5?
True
Suppose 2*r = -3*r + 310. Let u = r - 43. Is 7 a factor of u?
False
Let d be (0 - -16)*633/4. Let r be d/(-32) + 1/8. Let p = 153 + r. Does 23 divide p?
False
Let v(z) be the third derivative of z**6/40 - z**5/15 + z**4/8 - 2*z**3/3 - z**2 - 15*z. Is 34 a factor of v(4)?
True
Suppose 0 = -2*r - 3*r + 15. Let c be 1*1/(r/6). Suppose 4*o = -c*g + 56, -g - o - 140 = -6*g. Is g a multiple of 8?
False
Suppose -2*o - 5*t = -1895, -1910 = -2*o + 2*t - 4*t. Is o a multiple of 45?
False
Let b = 45 - -2. Suppose -7 - 30 = 4*s + 3*c, 0 = 4*s + c + b. Let o = s - -30. Is o a multiple of 9?
False
Is (-389504)/(-896) - -3*(-2)/(-21) a multiple of 11?
False
Let d(z) = z**3 - z**2 - 8*z - 26. Does 12 divide d(10)?
False
Suppose p + 3*v = 9, -2*v = 3*v - 15. Suppose p = 4*i + 17 - 425. Is i a multiple of 10?
False
Let k = -967 + 1956. Is 15 a factor of k?
False
Suppose -17*k + 21*k + 20 = 0, 5*k = 5*f - 190. Does 11 divide f?
True
Suppose -35*o + 39*o = 4120. Is 10 a factor of o?
True
Let s(l) = -5*l + 19. Let n be s(3). Let d(o) = -464*o + 1. Let f be d(-1). Suppose -n*g = g - f. Is 38 a factor of g?
False
Suppose 3*h + 3*h - 414 = 0. Let r = 126 - h. Does 19 divide r?
True
Let k = -47 + 59. Suppose -k*n = -14*n + 68. Is n a multiple of 17?
True
Suppose -2*a - 590 = -5*s + 636, -4*a = -2*s + 484. Does 2 divide s?
True
Let r = 34 - 12. Suppose 2*f = r + 26. Does 4 divide f?
True
Let v = 2512 - 2057. Is v even?
False
Let v = -14 - -10. Let q(b) = b**3 + 9*b**2 - 10*b. Let p be q(-10). Is v*(15/(-12) + p) a multiple of 5?
True
Let o(x) = -x**3 - 18*x**2 + 37*x. Is o(-20) a multiple of 15?
True
Suppose 6*t + t - t = 0. Suppose t = -8*d - 