
True
Let s(f) = -109*f - 2. Let j be s(-6). Suppose 0*p + p - j = 0. Suppose -o + 5*o = p. Is o composite?
False
Let z = -7 + 10. Suppose 2*w = -3*q - z*w - 30, -5*q = -3*w + 16. Is 70/q*(-10)/4 prime?
False
Let m(g) = -21*g**3 - g**2 - 5*g - 3. Is m(-4) a composite number?
True
Let i = 491 + -343. Suppose x = -x + i. Is x a composite number?
True
Let w = 1393 + -949. Suppose -133 - w = -5*y - q, y + 3*q - 121 = 0. Is y composite?
True
Let d be 2/(-11) + (-10)/(-55). Let y(z) = 3*z - 37. Let f(h) = -7*h + 75. Let w(l) = -2*f(l) - 5*y(l). Is w(d) a prime number?
False
Suppose 0 = m + m + 6. Is (-732)/m + 3 + 0 composite?
True
Suppose 4*n = 4*g + 794 + 282, 5*g = -2*n + 510. Is n a composite number?
True
Suppose -y = -a - 84, 4*a + 16 = -4. Is y a composite number?
False
Let k = 51 - 33. Suppose k - 591 = -3*j. Is j composite?
False
Suppose z + 5*u = 215, -2*z - z + 645 = -4*u. Suppose -z = -4*d + 293. Is d a prime number?
True
Let f be 2*(-1)/2*1. Is (f + (-2)/(-1))*59 composite?
False
Let r be -25 + 0 - (4 + -7). Is r/3*3/(-2) prime?
True
Let t = 1 + 1. Suppose 5*y + 629 = 3*d, -6*d + d + t*y + 1023 = 0. Is d composite?
True
Suppose 4*f - 4 = s, s - 2*f - 14 = -7*f. Suppose -s*q + 3*q = 0. Suppose q = -5*r + 6*r + b - 6, -3 = -r - 4*b. Is r a prime number?
True
Suppose -112 + 1807 = 3*l. Suppose 5*k + t = -39 + l, 0 = 3*t + 12. Suppose 5*x = -2*q + 318, -5*q + 619 = -5*x - k. Is q a composite number?
False
Suppose -4*j + 8 - 24 = 0. Is (95 - 0/j)*1 composite?
True
Suppose 0 = 3*m + h - 1742, 2*h + 3*h = 4*m - 2329. Is m a prime number?
False
Let f be (7/14)/(1/190). Let z = 133 - f. Is z a composite number?
True
Suppose 0 = -4*i + 4 - 12. Let u be 3/15 - 11/5. Is ((-146)/4 + i)*u a prime number?
False
Suppose 4*n + 15 = n, 3*f - 9624 = 3*n. Is f a composite number?
False
Let p be (-4)/(1*2/(-4)). Let v = p + -6. Is (3/6)/(v/356) a composite number?
False
Suppose 3*h = 81 + 2286. Is h prime?
False
Suppose 5*g + 6 - 16 = 0. Is -28*(15/(-12) - g) a prime number?
False
Suppose -t = -0*t - 7. Suppose t*j = 5*j + 1774. Is j prime?
True
Let x = -141 - 74. Let j = 258 - x. Is j a composite number?
True
Suppose -3*g = -0*g - 471. Is g composite?
False
Let i = 14 - 21. Let a = i + 11. Suppose -a*t - t = -745. Is t prime?
True
Suppose 3*x + 2*x = 25. Suppose -d + 4*d - 5*w = 73, -x*w + 31 = d. Is d composite?
True
Suppose 2*w + 3*q + 3 = -1, 30 = -4*w + 5*q. Let p be 62/(-10) + w/(-25). Is (-1 - 0)/(p/60) prime?
False
Let w be (-36)/27*(-3)/(-2). Is (-816)/(-5) - w/(-10) prime?
True
Let j(m) = -12*m - 10. Let x be j(-7). Let h be x/14 + (-4)/14. Suppose -u = 4*q - 31, -5 - h = 5*q. Is u composite?
True
Let p(h) = 52*h**2 - 2*h - 1. Suppose 0 = 3*m + 5 - 2. Is p(m) a composite number?
False
Suppose 196 = -5*d + d. Let b = d - -93. Let r = 41 + b. Is r composite?
True
Suppose 0 = -a + 288 + 334. Suppose -22 = -4*f + a. Is f a composite number?
True
Suppose 21 = 3*h - 0. Suppose k - 2 = h. Is k composite?
True
Let k(v) = 3*v**2 + 17*v + 1. Is k(-10) a composite number?
False
Let d(s) = s**2 + s - 2. Let g be ((-3)/4)/(1/4). Let a be d(g). Suppose -3*p + a*u + 209 = 30, 33 = p + 4*u. Is p a prime number?
True
Suppose -5*b = p - 252, 5*p - 2*p + 264 = 5*b. Suppose 0 = t - 68 - b. Is t prime?
False
Suppose -3*h - 4*x = 14, -5*h + 4*x + 16 = -14. Suppose -y + 3*y - b - 415 = 0, 5*b - 445 = -h*y. Suppose -y = -2*z - 28. Is z prime?
False
Let f(q) = 24*q + 11. Is f(13) prime?
False
Let f(z) = 47*z + 42. Is f(7) prime?
False
Let l(z) = z**2 - z + 5. Let p be l(6). Let s be p/15 - 2/(-3). Suppose 5*b = -4*d + 163, 4*d = -s*b - 0*b + 173. Is d composite?
False
Suppose w = -w - u + 209, 2*w = -4*u + 218. Let v = -54 + w. Is v composite?
True
Let i be (-18)/(-4)*(-6)/(-9). Suppose i*z + z = 1316. Is z prime?
False
Suppose 0*n - 8*n + 1688 = 0. Is n a composite number?
False
Let b(r) = 5*r**2 + 3*r + 5. Is b(6) a composite number?
True
Let o(n) = -25*n + 33. Is o(-13) composite?
True
Let g = -3 + 5. Suppose -g*v = -6 - 4. Suppose -p + 5*m = -182, -p + 6*p + v*m = 880. Is p a composite number?
True
Let r = 9 + -17. Let d(x) = -x**3 - 9*x**2 - 3*x - 11. Let z be d(r). Let i = -12 - z. Is i a prime number?
False
Let m = 515 + -264. Is m a composite number?
False
Suppose 5*n - 8 = -5*x - 3, 3 = -3*x. Suppose -2*y - 8 = 0, n*k - k + 5*y = 91. Is k a composite number?
True
Suppose -12*w + 8*w + 4770 = z, 5*w + 4*z = 5957. Is w composite?
False
Is 3 - (4 - 1) - -159 composite?
True
Suppose -1656 = 2*n + 2*n. Let i = 23 - n. Is i prime?
False
Let l(y) = 8*y - 11. Let c = 28 + -17. Is l(c) a composite number?
True
Is -3 + -4 + 10 + 1*83 a prime number?
False
Let j = -4 + 9. Let r(d) = -d + 9. Let y be r(j). Suppose 5*l - 22 = y*z, 4*l + 4*z - 4 + 8 = 0. Is l a composite number?
False
Let h = -5 + 11. Suppose 2*f = -4*u + 240, h*f - 592 = f - 2*u. Is f composite?
True
Let c = 956 + -279. Is c composite?
False
Suppose 19*y - 1162 = 17*y. Is y composite?
True
Suppose 0 = -2*g + 3*g. Let d be 3/(3 + g + 0). Let r(j) = 15*j - 1. Is r(d) composite?
True
Suppose -c - 5*g - 26 = 0, -3*g = -2*c - 0*g + 13. Let w be -2 - -6 - 0/c. Is 2 - w - -2 - -3 a composite number?
False
Let n be ((-88)/33)/(1/3). Let t = n - -157. Is t a prime number?
True
Let b = 26 - 11. Suppose 15 - 167 = 4*a. Let v = b - a. Is v a prime number?
True
Is 2/5 + 6671/35 prime?
True
Let c(x) be the second derivative of 14*x**3/3 - 3*x**2/2 - 5*x. Is c(2) a composite number?
False
Let w be 6/(-10) - 13/(-5). Suppose w*f = -f + 78. Is f a prime number?
False
Let c(b) = 354*b**3 + b**2. Let i be c(1). Suppose -4*p - 2*u - u + i = 0, 2*u + 279 = 3*p. Is p prime?
False
Let b(y) = -22*y - 10. Is b(-14) composite?
True
Let n be (-6)/15*(-10)/4. Let o = 64 + n. Is o composite?
True
Suppose -2*j = -5*g - 20, g - 20 = 6*g + 4*j. Is 6/g*212/(-6) a prime number?
True
Let r(v) = 54*v**2 - v. Is r(-1) a prime number?
False
Let f(g) = 2*g**2 - 5*g - 24. Is f(14) a prime number?
False
Let d = 1 + 5. Let f(l) = l**2 - 7*l + 9. Let w be f(d). Is (214 + -3)*(4 - w) a composite number?
False
Let r(w) = -w + 6. Let x be r(7). Is 11*(x - (-2 - 4)) composite?
True
Let g(z) = z**2 + 6*z - 2. Let w be g(-6). Let t = w - -8. Is t prime?
False
Is 1/(4572/2284 - 2) composite?
False
Suppose -520 - 595 = -5*z. Is z a prime number?
True
Suppose -297 = -4*d + 939. Is d a composite number?
True
Let f(l) = 54*l**2 + 5*l - 8. Is f(3) a composite number?
True
Let p(i) = i**3 + i + 53. Is p(0) composite?
False
Let v = 986 + -187. Is v composite?
True
Let s(d) = 7*d**2 + 7*d + 5. Suppose 0 = 3*m - 4*t - 4 + 2, -5*t + 20 = 0. Is s(m) a prime number?
False
Let n = 2 + -3. Let t be (-1*(2 - 1))/n. Suppose t = -2*f + 31. Is f a prime number?
False
Suppose 5*s + 9 - 24 = 0. Suppose -s*p = -6*j + 4*j - 245, 0 = -2*p + j + 162. Is p a prime number?
True
Suppose n + f = 1, 2*n + 3*n = -2*f + 17. Let b be 5/10 + n/2. Suppose -3*l = 5*a - 814, -b*a - l = -6*a + 480. Is a a prime number?
False
Suppose 14*d - 13*d - 787 = 0. Let t = d - 368. Is t a composite number?
False
Suppose j + 4*g + 173 = 2*g, -4*g = -4*j - 692. Suppose -5*c + 30 = -4*i, -c = -3*i - 6*c - 40. Let x = i - j. Is x a prime number?
True
Let i = -3350 - -934. Is i/(-20) + (-2)/(-10) composite?
True
Is (-3*1/(-9))/(10/77370) composite?
False
Is ((-5951)/2)/(9/(-18)) a composite number?
True
Let s(c) = 4*c**3 - 6*c**2 + c + 5. Let z(r) = 5*r**3 - 5*r**2 + 2*r + 5. Let m(q) = 6*s(q) - 5*z(q). Is m(-11) composite?
True
Is -3 - (36 - 2)/(-1) a prime number?
True
Let i be (-4)/(-10) + 115/25. Suppose -i*t + 1040 = -3*l, -3*l = -2*t - l + 412. Is t a composite number?
False
Suppose -5*m = -6*m + 1. Is 62*((-3 - -3) + m) composite?
True
Let d(k) = 57*k**2 + 7*k - 5. Is d(3) composite?
True
Let n(t) = 189*t**2 - 9*t - 3. Let g(u) = -94*u**2 + 5*u + 2. Let a(y) = 5*g(y) + 3*n(y). Let p be a(1). Is (p - -3) + 4/(-2) a prime number?
True
Let q be 79 - 0/(-4 + 3). Is q - (-1 - 3/(-3)) a prime number?
True
Let p(c) = -407*c**3 + c**2 - 1. Is p(-1) a prime number?
False
Suppose 0 = -n - 5 - 0. Is (-1893)/6*(3 + n) a prime number?
True
Is (9 - 7)*(-230)/(-4) a composite number?
True
Suppose -4*w - 4*f = -116, -3*f = -2*w + w + 45. Is w prime?
False
Let o(q) = 77*q**2 - 6*q - 31. Is o(-6) a prime number?
Tru