1 + 3)*x/4 composite?
False
Let o(j) = j**3 + j**2 - j - 2. Let s be o(2). Let f = s - 5. Suppose -f*l - c + 155 = -2*l, -4*c + 143 = l. Is l a composite number?
True
Suppose -4*c = -3*f + 10676, -3*f - 13345 = -2*c + 7*c. Let i = -1427 - c. Is (1/(-3))/((-6)/i) a composite number?
True
Let k(d) = -5*d**2 - 2*d**3 - 4*d + 6*d - d**3 + 3*d**2 - 4. Is k(-3) prime?
True
Suppose 0 = -0*g - g. Suppose -20 = 5*d, 3*b - 4*d - d - 917 = g. Is b a composite number?
True
Let g(k) = -120*k + 20. Let r(t) = 40*t - 7. Let m(h) = -6*g(h) - 17*r(h). Is m(2) prime?
True
Let i = 287 + -130. Is i composite?
False
Is 4/(-2 - -3) + 441 prime?
False
Let n(w) = -w - 12. Let b be n(-14). Let z = -280 + 1296. Suppose -b*d + 4*f = 2*f - 416, -5*d - 3*f = -z. Is d a prime number?
False
Let l be (3 - 0)*(-25 + -1). Let j = l - -133. Is j prime?
False
Let v(p) = 30*p. Let y be v(1). Let k = y - -1. Is ((-4)/(-2) - 2) + k a prime number?
True
Let c(w) = 8*w**3 - 7*w**2 + 2*w + 8. Let a(b) = -3*b**3 + 2*b**2 - b - 3. Let x(n) = 11*a(n) + 4*c(n). Let q be x(-2). Is -11*(1 - 0)*q composite?
True
Let m(p) be the third derivative of -1/3*p**3 - 1/12*p**4 - 3*p**2 + 0 + 2/15*p**5 + 0*p. Is m(-2) a composite number?
True
Suppose -y + 3*y - 6 = 0. Is (1 + 78)*y/3 a composite number?
False
Let u(m) = -2*m - 2. Let i be u(-1). Suppose -4*y + 67 + 425 = i. Is y a composite number?
True
Let r = 9 - 8. Is (15 + -2)*(0 + r) composite?
False
Let a(r) = r**3 - 5*r**2 + 6*r - 6. Let o be a(4). Suppose 0 = -3*j - i + 106, j - o*i - 18 = 2*i. Is j prime?
False
Let h = 88 - 27. Suppose 41 + h = 2*s. Is s prime?
False
Let f = -3748 - -7491. Is f a prime number?
False
Is ((-2)/(-5))/(20/42950) a prime number?
True
Let i(c) = 9*c**2 - 2*c - 1. Is i(-6) prime?
False
Let d be (0 - 3/3)*38. Let s = 69 + d. Is s a prime number?
True
Let y(c) = -3*c - 4. Let o be y(-3). Suppose 195 = o*g - 0*g. Is g composite?
True
Suppose 0 - 51 = -j. Is j prime?
False
Suppose 4*j + 2*d = -24, -4*j - 2*d - 20 = -d. Is j/18 + (-7842)/(-54) a prime number?
False
Let l(o) = 257*o - 2. Is l(3) prime?
True
Let k = 11 - 7. Let w = 7 - k. Suppose 3*t = -2*b + 141, -5*t + 292 = w*b + 56. Is t a prime number?
False
Is ((-1069)/2)/((-2)/4) composite?
False
Suppose -4*r = 5*r + 414. Let a = -48 + 25. Let c = a - r. Is c a composite number?
False
Suppose 0 = 2*t + 5*q - 13, 0*t + 2*t + 14 = 4*q. Let z be (1 - t)*(-4 - -6). Is (155/20)/(1/z) prime?
True
Is -1 + 7/5 - 77066/(-110) prime?
True
Let v = 7 + 42. Suppose 3*b - v = -16. Is b composite?
False
Let w be ((-10)/(-3))/((-2)/(-3)). Suppose -w*x - 4*y + 28 = -145, 3*y - 139 = -4*x. Is x composite?
False
Suppose -529 = -k - 0*k. Is k composite?
True
Let l(m) = -7*m**3 - 4*m**2 - 10*m + 8. Let q be (-96)/(-15) - 4/10. Let v(a) = -15*a**3 - 7*a**2 - 21*a + 16. Let o(w) = q*v(w) - 13*l(w). Is o(-9) prime?
True
Suppose 2*j = -0*j + 20. Let u = j - 6. Suppose u*n - 4 = -8*r + 3*r, 4*r + 4 = -2*n. Is n a prime number?
False
Suppose 0 = -2*d + 36 + 122. Suppose -4*o - 65 - d = 0. Is (-2)/9 + (-1988)/o a composite number?
True
Let j(m) = 4*m - 1. Let l be j(2). Suppose 0 = -2*q + l*q - 10. Let g(f) = 21*f**2 - f + 1. Is g(q) composite?
False
Suppose -2*t = -3*r + 2*t + 21, 0 = 4*r + t - 9. Suppose -5*v - 5*h + 3360 = 0, 413 = v + r*h - 249. Is v composite?
False
Let z(b) = -b**3 - 280. Let j be z(0). Let y = j - -423. Is y a prime number?
False
Let d = -13 - -20. Let l = d - -12. Is l a composite number?
False
Let u be (20/(-6))/((-4)/6). Suppose -5*h - u*y = -5, 2*y = -6*h + 5*h + 3. Is 1064/20 - h/(-5) composite?
False
Suppose -104 = -4*b + 132. Is b composite?
False
Let j = -720 - -1435. Suppose j = 6*i - i. Is i prime?
False
Let s be 1 + (-6 - -2) + 5. Let r be (6/4)/(2/4). Suppose 12 = i + y, -s*y + 3*y = r*i - 24. Is i prime?
False
Is 6/(-27) - (-1686)/54 a prime number?
True
Let f(u) = 7 + 0*u - 2*u + 3*u + 2*u. Let z be f(10). Suppose -n + z = -0*n + 2*t, 3*n - 3*t - 102 = 0. Is n a composite number?
True
Let q = 310 + -87. Is q composite?
False
Suppose 4*h - c = 61, -3*c + 11 - 82 = -4*h. Suppose j - 2 - h = 0. Suppose -2*g + 22 = -j. Is g a composite number?
False
Suppose 3*s - 6 = 2*s. Let d(v) be the second derivative of v**4/4 - v**3 - v**2/2 - v. Is d(s) composite?
False
Let y = -47 - 56. Let u = 161 + y. Is u a prime number?
False
Let p be (15/30)/(2/(-2356)). Let x = -402 - p. Is x composite?
True
Let r(u) = u**3 + 3*u**2 + u - 4. Let g be r(-3). Let m = -5 - g. Suppose -6*a + m*a = -76. Is a composite?
False
Let j = 0 - -3. Is 740/15*j/2 prime?
False
Let g = -174 + 337. Is g a prime number?
True
Is (-4)/6*(-1524)/8 a prime number?
True
Suppose -5*w = -270 - 205. Is w a composite number?
True
Let g be 10/6 + 10/(-15). Let j(i) be the second derivative of i**5 - i**4/12 - 4*i. Is j(g) a composite number?
False
Let r be -2 - (1 + 0/3). Let i be 44 + (-2 - 6/r). Suppose 9 = -5*v + i. Is v a composite number?
False
Let h = 2505 + -502. Is h a composite number?
False
Suppose -2*l + 0*p - 8 = -4*p, -2*l = -2*p - 2. Suppose 0*x = -3*x + l. Is (148/x)/(2/1) composite?
False
Let a be -1 + (-1)/1 + 6. Let m(c) = 1. Let u(y) = 3*y**2 - 3*y + 2. Let z(b) = -3*m(b) + u(b). Is z(a) prime?
False
Suppose -j = 4*k - 5*j - 344, 0 = 3*k - j - 260. Is k prime?
False
Let q = -1 + -8. Let u(h) = h**2 + 3*h - 15. Let g(a) = -a - 1. Let c(b) = -4*g(b) + u(b). Is c(q) a prime number?
True
Suppose 0 = -s + 5*s + 3*m - 514, m = -s + 128. Suppose -l = -s - 1. Is l a prime number?
True
Let v be (3 + 27 - 2)*(-3)/(-12). Let d(m) = m**3 + 8*m**2 - 8*m + 10. Let p(u) = -3*u**3 - 16*u**2 + 17*u - 21. Let z(b) = 5*d(b) + 2*p(b). Is z(v) composite?
True
Is (-818)/4*(-3 - -1) composite?
False
Suppose -10*y - 1628 = -13018. Is y composite?
True
Let k = -96 + 595. Is (-2)/8*-4*k a composite number?
False
Let v(g) = 7*g**2 - 1. Is v(6) composite?
False
Suppose 0 = 5*j - 0*r + 4*r - 108, 2*j - 30 = 5*r. Suppose -n - 27 = -z - 0*n, 5*z + 4*n - 135 = 0. Suppose -z = -y + j. Is y composite?
False
Suppose -2*q + 141 - 39 = 0. Suppose -3*o = 4*c - 85, 13 = -2*o + 2*c + q. Is o a composite number?
False
Let q(s) = s**3 + 10*s**2 + 8*s + 12. Let a be q(-9). Suppose -2*p - a = -i, 2*p - 17 = -5*i + 28. Is i a composite number?
False
Let k = 1074 + -572. Is k a prime number?
False
Suppose m = 2*d + 489, -3*d + 4*d = -m + 477. Is m a prime number?
False
Is (-1)/4*(-2456)/(3 + -1) a composite number?
False
Suppose c = 5*c + 4. Let w be 2 + 7*2 + c. Let k = -6 + w. Is k a composite number?
True
Let i(z) = 8*z - 10. Is i(7) a composite number?
True
Let x be ((-777)/2)/(3/(-6)). Suppose -x = -2*j - j. Is j a prime number?
False
Let t(m) = m**3 - 3*m**2 - 2*m + 3. Let o be t(5). Suppose o = 5*v + 4*p, 0 = -3*p + 1 + 5. Let y = 20 - v. Is y a composite number?
False
Suppose 5*l - 6*l + 8 = 0. Let s(r) = -r**3 + 18*r**2 + 9*r - 5. Is s(l) composite?
True
Let x(u) = -116*u - 19. Is x(-7) a composite number?
True
Suppose -x = -4*u + 273, -5*u = x + 61 - 409. Is u a composite number?
True
Let f(l) = 3*l**2 + l - 1. Let c be f(1). Suppose 0*h = 2*h - 10. Suppose 0*b - 335 = -c*b - 2*v, 0 = 4*b - h*v - 462. Is b prime?
True
Let q = 350 - -327. Is q a composite number?
False
Suppose -4*f = -f. Suppose -2*k + 2*p + p + 3 = f, 0 = 4*k + 4*p - 36. Is (-66)/4*(-28)/k prime?
False
Let p(r) be the first derivative of 23*r**3/3 - r**2/2 + r - 4. Is p(1) a composite number?
False
Is (-2)/(-1)*265/10 a composite number?
False
Suppose -14999 = -8*j + 5873. Is j composite?
False
Suppose -3*j = 14 - 47. Let i = j + -8. Suppose -i*c = c - 812. Is c composite?
True
Let h be 2/(0 - 2/(-167)). Suppose s = -3*o + 86, 2*s - 5*o + h = 4*s. Suppose 0 = -g - 4*f + 23, -g - s = -6*g + 2*f. Is g composite?
True
Suppose 583 - 1683 = -v. Suppose -5*x + 3*w = -2*w - v, w - 672 = -3*x. Is x composite?
False
Suppose 4*x + 0*t - 903 = -t, 5*t - 673 = -3*x. Suppose 0 = -2*q + z + 246, 4*z - x = 4*q - 718. Is q a composite number?
True
Let p(c) = c**3 + 5*c**2 - 7. Let a be p(-5). Let i be (1 - 1)/1 + -4. Is (-107)/a - i/(-14) prime?
False
Suppose -7*y + 3*y - 36 = 0. Is 3 - 3/(y/318) prime?
True
Let g = 3 - 4. Let d(o) = 86*o**2 - 4 + 5 - 2. Is d(g) a composite number?
True
Is ((-106)/(-4))/((-3)/(-30)) composite?
True
Let k(d) = 46*d - 11. Let y = 24 + 