 - 4*j + 14. Let o(s) = s**2 - 3*s + p*s + 3*s - 2. Is o(-6) composite?
True
Let x be (-2 + 1 + 0)/(-1). Is 2*x/2*131 a composite number?
False
Let w = 217 - -34. Is w composite?
False
Suppose -10*y + 8767 = y. Is y prime?
True
Let f(q) = 233*q**2 + q - 1. Is f(1) prime?
True
Let f = -36 + -28. Suppose 0 = -0*m - 3*m - 75. Let n = m - f. Is n a composite number?
True
Suppose 4*q = 2049 + 3475. Is q a prime number?
True
Suppose 0 = 4*i + i - 25. Suppose i*y - 3 - 2 = 0. Let l(w) = 6*w**3 + w**2 - w. Is l(y) prime?
False
Suppose 4*h = 9*h - 30. Suppose 4*z - h*z - 3*j = -266, 4*j + 399 = 3*z. Is z prime?
False
Let p = -3 - -12. Is 56 - p/(-3)*1 a prime number?
True
Suppose 5*y - 374 = 171. Is y a prime number?
True
Suppose 3*y - 4 = 5. Suppose -2*u = -5*o + 5, -y*o + 19 = u + 5. Is (1 - -71)/o - -2 a prime number?
False
Let r(b) = -42*b**2 - 11*b + 13. Let m be r(8). Is m/(-5) + 16/40 a prime number?
False
Let o(m) be the third derivative of -3*m**2 - 23/24*m**4 + 0*m**3 + 0 + 0*m. Is o(-5) a prime number?
False
Let o be ((-4)/3)/((-34)/(-357)). Is (1 + o)/((-5)/55) a prime number?
False
Let z = 132 + -224. Is z*(-1)/4*2 a prime number?
False
Let t be (-242)/10 - 9/(-45). Let i = t + 181. Is i a prime number?
True
Suppose -11 + 27 = -4*n, 1243 = 5*y + 3*n. Is y a prime number?
True
Let p(r) = 321*r. Let u be p(-2). Let q = 1113 + u. Is q a composite number?
True
Let u be -2 - (4 + 0/1). Let r = u - -27. Let l = r + -2. Is l prime?
True
Let o be -3*-2*(-15)/18. Let c = 2 - o. Is c prime?
True
Suppose 9 + 0 = 3*o. Let u = -1 + o. Suppose f = u*f - 53. Is f composite?
False
Let c = 2089 - -6. Is c a composite number?
True
Let p(o) be the second derivative of -13/6*o**3 - 5/2*o**2 + 0 - o - 1/12*o**4. Is p(-5) prime?
False
Let b be 0 - (-12 + 0 - 2). Suppose 286 = b*s - 12*s. Is s composite?
True
Suppose -10*b + 6*b - 36 = 0. Is (-1104)/b - (-1)/3 a prime number?
False
Suppose -39*q + 1754 = -37*q. Is q prime?
True
Let k(m) = 5*m**2 - 2 + 7 + 6*m + 20*m**3 - 21*m**3. Is k(5) prime?
False
Let t = 37 + -22. Suppose -p + 8 = -t. Is p a prime number?
True
Let u be (-1 - (2 - -1))/(-1). Suppose -x = u*x - 10. Suppose x*q - 229 = -71. Is q prime?
True
Let g be -3 - (2 + (-4)/1). Let x be (3 - 3) + (1 - g). Suppose -4*n + x*n = -110. Is n a composite number?
True
Suppose z - v + 15 = -2*z, -27 = 3*z - 5*v. Let h(t) = t**2 + 2*t - 2. Let r be h(z). Is 148/6*9/r a composite number?
False
Suppose 182 = 2*k - 100. Suppose 0*b - m = 3*b + 232, 4*b - 3*m = -292. Let g = k + b. Is g composite?
True
Suppose -6 = 3*o - 237. Is o a composite number?
True
Let l = 71 - 34. Is l a prime number?
True
Suppose -w - 2*x + 4*x + 391 = 0, -5*w + 3*x + 1969 = 0. Let q = w + -204. Is q prime?
True
Let r = 10 + -7. Suppose -w = -1 + r. Let v = 20 - w. Is v a composite number?
True
Let b = 506 - 329. Is b prime?
False
Let y be 2/(1/(-3) + 1). Suppose 3*i = -y*w + 162, -3*w + 2*w = 4*i - 210. Is ((-3)/6)/((-1)/i) a prime number?
False
Suppose 0 = -j - 1 + 5. Suppose l + j = 3. Is l + (-3 - -3*6) a composite number?
True
Let h(n) = n**2 - 15*n + 20. Let w be h(14). Suppose 2*u - w*u = -532. Is u a prime number?
False
Let z be (-97)/(-9) + (-2)/(-9). Suppose x - 3*u = -z, -u = -3*x - 2*u - 3. Is 56 - x*(-3)/6 composite?
True
Suppose -28 - 67 = 5*w. Let q be (8/(-10))/(1806/(-300) + 6). Let u = q + w. Is u a composite number?
True
Let v(u) = -9*u + 2*u - 2*u - 7 - 2*u. Is v(-6) a composite number?
False
Suppose 0*v + 3*v + q - 759 = 0, 5*v + q - 1267 = 0. Is v prime?
False
Let d(s) = 4*s**2 - 3*s - 3. Let t be d(3). Let y = t + 17. Let l = 72 - y. Is l composite?
False
Suppose 0 = -0*y - 3*y - 45. Let k be 4*4/(48/y). Is (-10)/25 - 347/k a composite number?
True
Suppose 2*q + 575 = 7*q. Is q a composite number?
True
Suppose 3 = -n + 10. Let a = -1 - n. Is 2/a + (-9261)/(-36) composite?
False
Is 3/(-3 + (-27)/(-6)) a composite number?
False
Suppose 11*l + 3*h - 7042 = 7*l, 0 = -h + 2. Is l prime?
True
Let l = 479 - 322. Is l a composite number?
False
Is 4/16 + (-603)/12*-35 composite?
False
Suppose -f - 6*h + 6 = -2*h, 4*f = 5*h + 3. Is 639/15 - f/(-5) a composite number?
False
Let m = -1397 + 1968. Is m a composite number?
False
Let x be 15/6 - 2/(-4). Suppose -7 + 4 = x*g. Is g/(-1*(-2)/(-74)) a composite number?
False
Let w(n) = -n**3 + 4*n**2 - 3*n. Let r be w(3). Suppose r = -3*b + 3*u + 35 + 52, 62 = 2*b - u. Is b a prime number?
False
Let v = 4 + -4. Suppose v*j = j. Suppose -2*b = -j*b - 12. Is b a prime number?
False
Let b(q) = -q**3 + 7*q**2 + 8*q - 19. Is b(6) composite?
True
Suppose 2*b + 3*p - 4087 = 0, -p = -4*b + p + 8214. Is b a composite number?
True
Suppose k = 5*w + 697, -5*k - 5*w + 1424 = -3*k. Is k prime?
False
Let x = 23 - 18. Suppose -4*g = 20, 0 = 4*s + 3*g - x*g - 1006. Is s a prime number?
False
Is (-2)/(-2) + -5 + 1513 a composite number?
True
Let m(r) = -18*r**3 - 2*r**2 - 2*r - 1. Let b be m(-1). Is 7/(2 - 1)*b prime?
False
Let t(v) be the second derivative of v**3/3 + 5*v**2/2 + 6*v. Is t(5) composite?
True
Suppose -3*q = -219 - 486. Is q a composite number?
True
Suppose -3606 = 4*n + 966. Is (1/3)/((-3)/n) a prime number?
True
Let d(a) = 4*a**2 - 4*a + 5. Suppose -3*p + 8 = -2*w, -3*w + p + p - 2 = 0. Let k be 18/5 + w/5. Is d(k) composite?
False
Let w(s) = s**2 - 2*s**2 - 2*s**3 + s + s**3 + 12 + 3. Is w(0) prime?
False
Let r(p) = -p**2 + 4*p + 2. Let k be r(4). Is 212 - (-4)/((-8)/k) a composite number?
False
Suppose -3*l + 2*p = 2, -3 = -3*l + 3*p - 0. Let o(m) = -6*m**2 + 3*m + 1. Let q(u) = -6*u**2 + 4*u + 1. Let d(h) = 2*o(h) - 3*q(h). Is d(l) a prime number?
False
Suppose -3*x = x + 328. Let i = -1 - x. Suppose -i - 75 = -4*n. Is n prime?
False
Suppose -5*d + 1 = -29. Let s be 4/d*3 + -6. Is (-198)/s - 3/6 a prime number?
False
Let s be (-1 + 0)/((-2)/(-10)). Let o be (-13)/6 - s/30. Is -2*1/(o/13) composite?
False
Let b(v) = -17*v - 1 + 2 - 1. Is b(-5) composite?
True
Suppose 5*s + 2250 = 5*c - 3295, 0 = -5*c + 3*s + 5549. Is c prime?
False
Suppose 12*k - 2167 = 2309. Is k prime?
True
Let d(t) = -t**3 - 11*t**2 - 5*t + 17. Is d(-12) composite?
True
Suppose 0 = -3*o - 360 + 4041. Is o prime?
False
Suppose -2*s + 852 = 2*q - 4*s, -5*s = q - 456. Suppose -4*x + 3*x = -q. Is x a composite number?
False
Let s(f) be the third derivative of f**5/30 + f**4/24 + f**2. Is s(2) a composite number?
True
Let j = -12 - -7. Let r(m) = m**2 - 1. Let d(g) = 2*g**2 - 11*g + 2. Let w(c) = d(c) - 3*r(c). Is w(j) composite?
True
Let z = 1082 - 637. Is z prime?
False
Let s be (-4)/4 + (-63)/1. Let p be (s/12)/(4/78). Is 1 - p/(-2 + 4) a composite number?
False
Let s(i) = 101*i**2 + 4*i - 14. Is s(3) a composite number?
False
Let d(h) = 2*h**2 - 6*h**2 + 5*h + 2 + 3*h**2. Let c be d(5). Suppose 3*g = c*g + 9. Is g composite?
True
Let b(d) = 2*d**2 - 2*d - 1. Let k be b(-2). Suppose -k - 1 = -3*s. Suppose -122 = s*u - 334. Is u prime?
True
Let x = -429 - -778. Suppose -x = -j + 42. Is j a prime number?
False
Let d be ((-16)/20)/((-1)/(-5)). Let l = -1 - d. Is 38/3 - (-1)/l a prime number?
True
Let w(l) = l**3 + 6*l**2 - 8*l - 3. Let b be w(-7). Suppose 4*g + b*z = 16, 3*g + 3 = 2*z + 5. Suppose -54 - 44 = -g*u. Is u a prime number?
False
Let r(h) = 17*h - 21. Is r(10) a composite number?
False
Is 34*(-2)/4*-5 a composite number?
True
Suppose -6*d = -7681 + 415. Is d prime?
False
Let k be (0 - -1) + 4 + 0. Suppose -g - k = 4*g. Is g + 1/1 + 49 a composite number?
True
Let r(z) = 58*z + 5. Let a(c) = -173*c - 14. Let h(o) = -4*a(o) - 11*r(o). Is h(1) a composite number?
True
Let s = -1 + 15. Is s prime?
False
Let j(f) = 37*f**2 - 13*f - 37. Is j(-10) a prime number?
True
Let l(t) = -t**2 - 4*t - 6. Let d(p) = 2*p + 2. Let n be d(-3). Let c be l(n). Is 1 + 21*c/(-3) prime?
True
Let g be ((-6)/(-10))/((-5)/(-225)). Let k be (0 - 1) + 3 + 1. Suppose 4*r + k = g. Is r a composite number?
True
Let d(i) = -33*i. Let l be -1 + 0 - (-1 - -2). Let b be d(l). Let f = 121 - b. Is f a composite number?
True
Let u(f) = f + 4. Let k be u(0). Suppose -k*y = g + 15 - 2, 2*y + 11 = g. Let b(s) = 11*s + 2. Is b(g) prime?
False
Let x = 14 + -33. Let v be -2*(x/2 - 0). Let k = v - 6. Is k prime?
True
Suppose 5*g - 608 = -3*c, 5*c + 6*g - 1045 = 4*g. Is c a composite number?
False
Supp