*m + 13 - 3 = 3*o, -3*m - 5*o = -23. Is 31*1/m*1 composite?
False
Is 2/4*(12731 - 1)/5 prime?
False
Let m = -9 + 13. Let o be 2/4*(m - -62). Suppose -4*g = -3*l + 61, -3*g = 2*l + l - o. Is l a composite number?
True
Let u(v) be the third derivative of -v**5/60 - 11*v**4/24 - 5*v**3/6 - 3*v**2. Is u(-6) prime?
False
Let j(b) = -3*b**2 - 5*b - 12. Let p(n) = -4 - 3*n**2 + 3*n**2 - n**2 - 2*n. Let z(w) = -3*j(w) + 8*p(w). Is z(6) composite?
True
Suppose 2*w + 533 = 1465. Is w a prime number?
False
Let s be 0/((-2 - -4)/(-2)). Suppose s = -j - j + 326. Is j composite?
False
Let y be 3 + -2 + 8*4. Let b(s) = 7*s - 17. Let f be b(12). Let h = f - y. Is h composite?
True
Suppose -5*m - 2*s = 3669, -2*m + 3*s - 705 = 774. Let t = -524 - m. Is t a composite number?
False
Suppose n + 50 = -5*t + 6*n, 0 = 5*t - 4*n + 45. Let i(u) = 221*u + 119. Let b(m) = 11*m + 6. Let q(j) = 119*b(j) - 6*i(j). Is q(t) composite?
True
Suppose -4*a + 9 = 1. Let y(z) = -8*z**3 - 2*z**2 + 6*z + 7. Let l be y(-3). Suppose -3*i = h - 64, 2*h - l = -a*i - 55. Is h a composite number?
False
Let f(y) = y**3 + 23*y**2 - 25*y + 44. Is f(-21) composite?
False
Suppose -f - v = -0*f + 1066, -4240 = 4*f - 2*v. Suppose 3*b + 23 = 5*u, -3*u = -u - 5*b - 13. Is u/(-10) - f/30 a composite number?
True
Let y(j) = 37*j**2 - 2*j - 3. Let m be y(-1). Let d = m + 185. Is d composite?
True
Let y = 1243 + 1266. Is y composite?
True
Let x(z) = 2*z**3 - 3*z**2 - 3*z - 3. Let a be x(5). Suppose 5*g = 5*r + 210, 4*g + 4*r - a + 29 = 0. Is g a prime number?
True
Suppose -4*d + g = 5*g - 4, -d + 2*g = -1. Is 3 - (2 - d)*-34 a prime number?
True
Suppose -2*u + 13 = -c + 4*c, -4*u + 23 = 3*c. Suppose h = 5*l - 347, 0*l - u*h - 286 = -4*l. Is l a composite number?
True
Let s = 3909 + -1792. Is s composite?
True
Suppose -2*v + r = -2*r - 7, -25 = -4*v - 5*r. Suppose 200 = v*b - 635. Suppose -6*g + 4*g - b = -3*w, w - 3*g - 51 = 0. Is w prime?
False
Let t be (-1)/(-2 + 3) + 70. Suppose 0 = -v + 3*m - 3, -m = 5*v + 20 - t. Suppose 5*i - v = 41. Is i a composite number?
True
Let i = 521 - 247. Is i a composite number?
True
Let b = 3241 + -1254. Is b prime?
True
Suppose -83 = -i - 9. Is i a composite number?
True
Suppose 3*z - m - 13 = 0, 0 = -z + 3*z - 5*m. Suppose z*k = 2*o - 0*k - 365, 4*k - 559 = -3*o. Is o a composite number?
True
Suppose 50 = 5*w - 0*w. Is w composite?
True
Let d = 1030 + -713. Is d a prime number?
True
Suppose -a = -2*g - 133, -g + 434 = 3*a - 0*a. Is a a prime number?
False
Suppose -4*u - 37 + 573 = 0. Is u composite?
True
Let d(b) = 0*b - 2 - 3*b**2 + 24*b**3 + 3 + b + 13*b**3. Is d(2) prime?
False
Let n(y) = y**3 - y**2 - 11*y + 4. Is n(17) composite?
False
Let u(b) = b**2 - 2*b + 1. Let j be u(1). Suppose 3*d - 5*x = 149, 3*d + 2*x - 5*x - 153 = j. Is d a composite number?
False
Let t(k) = 1491*k + 13. Is t(2) composite?
True
Let l(c) = 2*c**3 - 7*c**2 + 5*c + 3. Suppose 4*b - 2*p + p - 18 = 0, 2 = -p. Is l(b) composite?
True
Is 13610/((-2 - -10)/4) a prime number?
False
Suppose -4*f + 1873 = -0*r + 5*r, r = -4*f + 365. Is r composite?
True
Suppose 0 = 4*l + 5*r - 216, 7*r - 2*r - 39 = -l. Is l prime?
True
Let o(p) be the second derivative of p**4/12 - p**3/6 - 5*p**2/2 + 3*p. Is o(-4) a prime number?
False
Suppose -23 = -5*l + 12. Suppose -4*r + l = -41. Let z = 47 - r. Is z a composite number?
True
Suppose 4*l = x - 2, l + l = 4*x + 6. Is (-2 + 3)/(x/(-116)) a composite number?
True
Let y = 1184 - 225. Is y a composite number?
True
Suppose -4*r = -r. Let w be (r - -84)*(-7)/(-14). Let o = w - 4. Is o a prime number?
False
Let k(t) = 2*t**3 + 11*t**2 - 5*t + 3. Is k(4) prime?
False
Suppose b = r + 640, 2*b - 4*r + 3*r - 1275 = 0. Is b composite?
True
Let w(h) = -h + 2. Let v be ((-3)/(-6)*0)/2. Let l be w(v). Suppose 6*n = l*n + 60. Is n a composite number?
True
Let k be (0/(-1) + 12)*1. Suppose k*r = 9*r + 165. Is r a composite number?
True
Let f(z) = 5*z**2 - 2*z - 2. Let l be f(5). Suppose -3*b = 12, -86 - l = -q - 3*b. Is q composite?
False
Suppose 0 = l - 462 - 69. Is (4/(-6))/((-6)/l) composite?
False
Let b = 86 - -41. Suppose 4*t = -3*u + b, -u = 5*t - 90 + 33. Is u a composite number?
False
Suppose 9*x = 6*x + 150. Let c = x - -43. Is c composite?
True
Suppose 0 = -5*c + 3*s - 21, -s - 13 = -c + 6*c. Let o be c/(-2 - -5) - 3. Let i = 22 - o. Is i a prime number?
False
Suppose 10 = -5*h, h - 4*h = 2*v - 376. Is v prime?
True
Let q(w) = 100*w + 10*w - 10 + 4 + 7. Is q(1) a prime number?
False
Suppose r - 5*f - 84 = 0, 3*r + 2*f - 220 = f. Suppose -z = 3*z + 84. Let v = z + r. Is v prime?
True
Let c(i) = 11*i - 2. Let f be c(5). Suppose 320 = 4*u + 2*j, 0*u - 2*u + 5*j = -136. Let x = u + f. Is x a composite number?
False
Let z(b) = -b**2 - 3*b + 1. Let o be z(2). Let v = o - -9. Suppose v = p + 3 - 16. Is p prime?
True
Suppose 132 = 6*h - 5*h. Suppose p = 5*p - h. Is p prime?
False
Let x(u) = 50*u - 39. Is x(7) composite?
False
Let y = 18 - 15. Is y/3*-1*-141 a composite number?
True
Is (-3)/(-2)*(-6 - 996/(-18)) composite?
True
Let s = 6196 - 3679. Is s a composite number?
True
Suppose -5*r - 438 + 4825 = 3*y, -3*r = -4*y + 5888. Is y a composite number?
True
Suppose -84 = -2*z + 680. Is z a composite number?
True
Suppose -5*x + 1628 = -x. Is x composite?
True
Let p(a) = -4*a - 6*a + 2*a + a**2. Let s be p(6). Is 1*(-4)/(s/147) a composite number?
True
Let s(b) = b**3 + 6*b**2 + 2*b - 6. Let x be s(-5). Let o be ((-105)/x)/(2/(-12)). Is 1/((-1)/o*-2) prime?
False
Let n(j) = -j**2 + 7*j - 2. Let h be n(7). Let z = 2 + h. Suppose z = o - 0*o - 49. Is o a composite number?
True
Suppose 3308 = -2*r + 4*r. Is r a composite number?
True
Suppose c = 6*c - 995. Is c a prime number?
True
Let m(t) = 79*t - 15. Is m(16) a composite number?
False
Suppose 3345 = 4*j + 11*j. Is j a composite number?
False
Suppose 5 = f + 1. Suppose -10 = x + f*x. Is (0 + -10)*7/x composite?
True
Suppose 61*u + 766 = 62*u. Is u composite?
True
Let u be 0*(-3)/27*-3. Suppose u = 6*y - y - 1465. Is y prime?
True
Let r(m) = m**3 - m**2 - m - 1. Let o be r(3). Suppose 0 = -12*j + 11*j + 39. Suppose -o = -n + j. Is n prime?
True
Suppose 0 = 2*b - 2, 4*j - b - 384 = 3. Is j a prime number?
True
Let k(l) = l**2 - 6*l. Let v be k(4). Is v/44 + (-1825)/(-55) prime?
False
Is 12/(-30) - (-3711)/15 a prime number?
False
Let o be 1/((-1)/(0 - -1)). Is 223*(1 + o + 1) prime?
True
Suppose 2*t - 42 + 4 = 0. Is t composite?
False
Let u(a) = 84*a**2 + 2*a + 1. Is u(-1) a prime number?
True
Let r(n) = -4*n - 3. Let j be r(-2). Suppose 0*w - 10 = -j*w. Suppose -21 = i - w*i. Is i a prime number?
False
Suppose -2*y + 90 = 4*j, 5*y + 3*j - 74 = 179. Suppose -3*l + 2*l = -y. Is l a prime number?
True
Let q = -33 - -59. Let b = 45 - q. Is b a composite number?
False
Suppose -3*c - 4*p + 19 = -0*p, -5*p = -2*c + 5. Is ((-70)/8)/c*-4 prime?
True
Suppose 8 = 4*d + 2*u, 3*d + 8 = -d + 2*u. Let v(s) = -s**3 - 25. Let g(q) = q**2 + 1. Let m(j) = g(j) - v(j). Is m(d) a composite number?
True
Suppose 3*c + 0*c - 6 = 0. Let r be (-6)/(6*c/(-8)). Suppose -m - 4*m + 86 = -3*v, -4*m + 88 = r*v. Is m a composite number?
False
Suppose 0 = -v + 5. Suppose -5*z - 854 = -4*w, 2*w + w + v*z = 623. Is w composite?
False
Let j(k) = 4*k**2 + k**3 - 2*k**3 - 1 - k**2 + 3*k - 1. Is j(3) composite?
False
Let q(c) = -5*c**3 - 5*c**2 + 3*c - 1. Let m(u) = 4*u**3 + 5*u**2 - 2*u. Let k(o) = 6*m(o) + 5*q(o). Let y = 2 - -3. Is k(y) a prime number?
False
Suppose z - 245 = 5*p, 0*z - 4*p - 779 = -3*z. Is z prime?
False
Suppose -2*s - 2*i - 3*i = -897, s - 450 = -4*i. Is s prime?
False
Suppose -6*u + u = 210. Let s = u - -10. Let n = 97 + s. Is n a prime number?
False
Suppose 2*w - 2*l = 6, -3 - 5 = -w - 4*l. Suppose 0 = -r + 34 + w. Suppose -r = -v + 81. Is v a composite number?
True
Let d be 3*((-13)/3 + -2). Let h(x) = 2*x**3 + 2*x**2 + 4*x - 1. Let s be h(4). Let n = s - d. Is n prime?
False
Let k = -20 - -12. Suppose -3*l - p + 50 = 0, 3*p + 15 = 2*l - 0*l. Let g = k + l. Is g a prime number?
True
Let f(k) = k**3 - 7*k**2 - 10*k + 8. Let w be f(8). Let t be 2/8 + 2/w. Suppose t = -3*a + 4*a - 265. Is a a composite number?
True
Suppose -655 = -5*y + 5*i, -2*y - 5*i = y - 393. Is y a composite number?
False
Is (-3 - 7/(-2))/((-1)/(-11606)) a composite