x, 3*n + 249 = 4*x + 30. Let h = 123 - x. Is 22 a factor of h?
True
Let o(w) = 3*w**2 - 7*w + 7. Suppose -p = 3*n + 3, 5*p - 36 = 5*n + 49. Suppose 8 = -j + p. Is o(j) a multiple of 7?
False
Suppose 0 = -3*g - 9 + 36. Let a = g + -14. Let r = a - -22. Does 6 divide r?
False
Suppose 0*v - 5*v + f = -378, -3*f = v - 66. Suppose -v = -4*p + 109. Is p a multiple of 20?
False
Is 5 a factor of (10/(-30))/((-2)/210)?
True
Let f(h) = -h + 13. Let c be f(12). Let r(x) = -10*x**3 - 3*x**2 + 2. Let z(k) = k**3 + k**2 - 1. Let j(d) = c*r(d) + 2*z(d). Does 7 divide j(-1)?
True
Let y(u) = u**2 + u - 1. Let o be y(-7). Let h be ((-2)/4)/(5/(-1120)). Suppose -o = l - h. Does 9 divide l?
False
Let h be ((-492)/14)/(-3) + (-2)/(-7). Suppose -h = -2*v - 4*j, -v + 4*j - 5*j = -10. Is 7 a factor of v?
True
Let k be ((-528)/10)/(21/(-70)). Does 10 divide -2*(-7)/(28/k)?
False
Let f(i) = i**3 + 12*i**2 + 11*i + 4. Let n be f(-11). Suppose 0 = -3*x + n*x - 31. Is 25 a factor of x?
False
Let f = 1679 - 323. Is 17 a factor of f?
False
Let r(z) = 9*z**2 - 78*z + 59. Is 12 a factor of r(15)?
False
Let p be (-1*7)/(2/(-10)). Suppose -5*l + 62 = 4*s + 21, -3*l + 2*s + 7 = 0. Suppose p = 3*m - j, -l*j = m - 4*m + 19. Is 8 a factor of m?
False
Suppose 2*f + 2*b = 6, -b = 4*f - 2*b - 22. Suppose u + 157 = f*j - 2*j, 2*j - 2*u = 98. Is 18 a factor of j?
True
Suppose 5 = 2*y - 4*z + 3*z, 5*y - z = 20. Suppose 5*i = 5*a + 65, -i + 7 - 2 = -y*a. Is i a multiple of 15?
True
Suppose 0 = 51*f - 44*f - 3059. Is f a multiple of 19?
True
Let o = 1107 - -2182. Is 13 a factor of o?
True
Suppose -4*z = -5 - 3. Suppose -27 = -17*n + 279. Suppose n + 34 = z*d. Does 26 divide d?
True
Let w(n) be the first derivative of -n**3/3 + 7*n**2/2 - 4*n - 2. Is w(5) a multiple of 6?
True
Suppose 0 = -5*n - 4*o + 4, -4*n + 20 = 5*o - 6*o. Suppose 25 = 5*w - n*g, -7 - 3 = -2*w + 4*g. Is ((-60)/(-9))/w*33 a multiple of 13?
False
Let u = -434 - -1391. Is 33 a factor of u?
True
Let h(u) = u**2 + 16*u + 18. Let y be h(-15). Is 33 a factor of (y + 72/20)*25?
True
Let w(m) = -1 - 3*m - 4*m + 1 - 3. Let a be w(-1). Suppose 0*l - a*l + 388 = 0. Is 13 a factor of l?
False
Let l(w) = -39*w - 16. Let x be l(-8). Does 6 divide 1/(14/x) + 3/(-21)?
False
Let m(h) = h**2 - 26*h + 83. Is m(27) a multiple of 55?
True
Suppose j + 0 = 12. Let v(s) = s + 1. Is v(j) a multiple of 13?
True
Suppose 12 = -r + 7*r. Suppose 3*g = t - 136, -r*g + 392 + 254 = 5*t. Is 8 a factor of t?
False
Let u = 13 - 13. Suppose u = -4*z - 2*l + 66, -90 = -5*z - 3*l - l. Let p = z + -6. Is 4 a factor of p?
True
Suppose 2*p = -0*z - z + 1257, 0 = 5*p - 3*z - 3148. Is p a multiple of 37?
True
Let p(o) = 158*o**2 - 14*o. Does 99 divide p(4)?
False
Let k(m) = 3*m**2 + 2*m + 37. Is 17 a factor of k(-15)?
False
Let q(w) = -2*w**3 - 2*w**2 - 3*w + 4. Let r be q(2). Let x = r + 32. Suppose -s + x = -42. Is s a multiple of 7?
False
Let z = 2087 + -111. Does 10 divide z?
False
Suppose 0*h - 32 = -4*h. Let d(n) = -n + 8. Let s be d(h). Suppose s = 3*v - 40 - 23. Does 7 divide v?
True
Let c(f) = -f**2 + 9*f + 16. Let t be c(8). Does 6 divide t/9*(3 - -6)/3?
False
Suppose -2*s = -7*s + 10. Suppose -c + 59 = -5*u, -5*c + 186 + 239 = u. Suppose -s*d + x + 18 = -22, 4*d - x = c. Is 22 a factor of d?
True
Is 1/(20756/5188 + -4) + 4 a multiple of 31?
False
Suppose -8*w + 16*w - 648 = 0. Does 6 divide w?
False
Let q(p) = p**2 - p - 1. Let x be q(1). Let c(l) = -l. Let j(b) = -5*b - 12. Let y(i) = x*j(i) + 4*c(i). Is 6 a factor of y(-5)?
False
Let y = 994 - 503. Is y a multiple of 5?
False
Let d = -214 - -393. Is d a multiple of 25?
False
Let y(p) = 6*p + 17. Let z(n) = -5*n - 17. Let x(u) = -3*y(u) - 2*z(u). Does 11 divide x(-5)?
False
Suppose -3*p + 10 = -8. Suppose 4*v - 2*v = p. Suppose g - v*c = 52, -c + 156 = 4*g - 0. Does 22 divide g?
False
Suppose -5*o - 3*g = -87, 4*o = -5*g + 66 + 14. Let r(c) = -c**3 + 14*c**2 + 20*c - 12. Is r(o) a multiple of 14?
False
Let g be (10/4 + -2)*4. Suppose -y - 3 = 0, 2*c + 7 = -5*y - g. Suppose 0*u + 76 = r + c*u, -295 = -5*r + 2*u. Is 16 a factor of r?
False
Is 24/(-9)*(-1596)/16 a multiple of 12?
False
Let l = 11 + -6. Suppose -15 = -l*p + 2*p. Suppose 2*d + p*a = -2*d + 94, d = 3*a + 32. Is d a multiple of 8?
False
Let z(v) be the first derivative of -v**6/360 + v**5/8 - v**4/24 - v**3 + 6. Let l(p) be the third derivative of z(p). Is 17 a factor of l(12)?
False
Let j = -494 - -1195. Is j a multiple of 26?
False
Let t = 967 + 257. Does 102 divide t?
True
Let z be (-7)/7 - (-1 - 70). Does 9 divide ((-252)/z)/(2/(-5))?
True
Suppose -5*b + 23*b = 2610. Is b a multiple of 31?
False
Let y(q) = 215*q - 3. Let n(c) = -2*c**3 + 19*c**2 - 7*c - 17. Let m be n(9). Does 53 divide y(m)?
True
Let p(a) = a**2 + 60*a + 7. Does 56 divide p(6)?
False
Suppose 158 + 84 = 11*o. Is o - 2*1*(7 - 8) a multiple of 8?
True
Let x(h) = 52*h**3 + 2*h**2 - 2*h - 2. Is x(2) a multiple of 11?
True
Let v = 116 - 59. Suppose w - v = 12. Is w a multiple of 11?
False
Let g(j) = 58*j + 22. Is 39 a factor of g(5)?
True
Suppose 37*u + 4194 = 40*u. Does 6 divide u?
True
Let k(o) = 27*o + 50. Does 14 divide k(8)?
True
Let d = 194 + 37. Is 7 a factor of d?
True
Suppose 4*k = 4*f - 5*f - 5, k + 4*f = -20. Suppose n + 2*n - 39 = k. Is n a multiple of 7?
False
Let d(a) = a**2 + a + 123. Let l(u) = -u**3 + 6*u**2 - u + 6. Let w be l(6). Does 24 divide d(w)?
False
Suppose m + 3*r - 102 = 0, 4*r = m - 182 + 45. Let g = m - 38. Is 17 a factor of g?
False
Let b(g) = -15*g - 10. Let j(h) = -h - 21. Let i be j(10). Let u = i - -26. Is 19 a factor of b(u)?
False
Let h(w) = w + 52. Suppose 6*o - 35 = 55. Does 4 divide h(o)?
False
Let g be (-8)/10*5/(-2). Suppose -23*y - 168 = -30*y. Is y - -1 - (g - 5) a multiple of 7?
True
Let y be (11 - 3)*(-2)/(-2). Let c = y - 5. Suppose -c*o = -4*p + 177, -p = 5*o - 3 - 24. Is 14 a factor of p?
True
Suppose 5*i + 174 - 4 = 0. Let l = 91 + i. Is 6 a factor of l?
False
Let o(m) = 18*m**2 - 10*m + 7. Is 7 a factor of o(7)?
True
Suppose 0*j + 2*s = -5*j + 28, -s - 8 = -3*j. Suppose -5*q = -n - 116, -2*n = 2*q - j*q + 40. Is 6 a factor of q?
True
Let c(p) = -p**3 + 10*p**2 + 4*p + 6. Is c(10) a multiple of 15?
False
Suppose -p + 0*l + 735 = 3*l, 3*l = -3*p + 2193. Suppose 3*s = -24 + p. Suppose -s = 8*t - 891. Is 22 a factor of t?
False
Let k(y) = -y**3 + 5*y**2 + 4*y - 17. Let j = -27 + 32. Is k(j) a multiple of 3?
True
Let n(m) = 5 - 2*m - 11 - 5*m - m**3 - 5*m**2. Does 3 divide n(-4)?
True
Is 85 a factor of ((-3)/(-9))/(2/14886)?
False
Let q be (-4 - -4)*1/(-2). Suppose q = 2*i - i + 2*n - 7, 0 = -4*i - n. Let m(r) = 26*r**2 - r - 1. Is m(i) a multiple of 13?
True
Let u(q) = 5*q + 14. Let a be u(-3). Let z(i) = -66*i. Is z(a) a multiple of 11?
True
Let w be 2/(-10) - (-25069)/(-55). Let n = -254 - w. Does 17 divide n?
False
Suppose 0 = 2*i - 6*i + 112. Suppose 5*g = g - i. Let t = 4 - g. Does 11 divide t?
True
Suppose 5*q + q + 12 = 0. Let i be ((-3)/q)/(7/14). Suppose i*b + 15 = 0, -4*b - 52 = y - 3*y. Does 4 divide y?
True
Suppose 44 = 3*h + 5*o, h + 4*o - 24 = -0*h. Let u(x) = -x + 11. Let r be u(h). Suppose r = 2*j - 61. Is 12 a factor of j?
False
Let r = 97 + -97. Suppose 5*f = -2*y + 19, -3*y + 3*f = -r*f - 39. Is 3 a factor of y?
True
Suppose 2*h - 133 = 243. Suppose 16*z - 20*z + h = 0. Suppose -2*a - 39 = -4*b + z, -3*b + 32 = 5*a. Is 15 a factor of b?
False
Let d = 103 + -29. Suppose -i - 158 = -4*z, 2*z - 2*i = 8 + d. Is 13 a factor of z?
True
Let t(k) = -k**2 - 12*k - 17. Let d be t(-10). Let p be 74/(-2*1)*-3. Suppose 0 = 2*l - 5*s - p, d*s - 2*s - 167 = -4*l. Does 12 divide l?
False
Let d(g) = -8*g + 8. Suppose f + 1 = 3*f + 5*k, 4*k = f + 6. Does 12 divide d(f)?
True
Suppose 16*t = 95*t - 234709. Is t a multiple of 109?
False
Let h = 954 + -384. Does 42 divide h?
False
Suppose 0 = -0*f + f - 4. Suppose 3*w = 12, -f*v - 4*w + 112 = -28. Is 5 a factor of v?
False
Does 3 divide ((-4)/2)/(1/(31/(-2)))?
False
Let y = 1748 + -1100. Is 27 a factor of y?
True
Let w = 35 + 4. Suppose 3*c - 170 = -a, -3*c - 2*a - 66 = -235. Let q = c - w. Is 9 a factor of q?
True
Let v(h) = 4*h + 13. Let o be v(-2). Suppose o*a + 4*z - z = 444, 3*a + z = 264. Is 45 a factor of a?
False
Let y = 73 - 71. Suppose -2*x + 3*c = -477, 0 = c + y + 3.