?
True
Let l(m) = -2*m - 4. Let d be l(-3). Suppose 4 = d*f + 2*o + 2, -3*f - 2*o = 0. Is (0 + f/(-6))*21 composite?
False
Suppose -4*r - 20 = -a - 0*r, -a = -5*r - 24. Suppose 0 = -4*p + f - a, 0*f - 3*f - 2 = 2*p. Is p - 0 - -18*3 a composite number?
False
Let p = 23 + 110. Is p prime?
False
Suppose 480 = 3*w + 5*s, -w + 3*s + 81 = -79. Let n = 39 - 110. Let l = n + w. Is l composite?
False
Let w(n) = -91*n**3 + 3*n**2 + 3*n. Let j be w(-2). Let l = j + -513. Is l prime?
False
Suppose 0 = -7*l + 9*l - 9814. Is l prime?
False
Suppose 2*s + 4*j = j - 1, 5 = 2*s - 3*j. Let l = s - 6. Let z = l - -28. Is z composite?
False
Let n = 5379 + -1964. Is n composite?
True
Let k be 1*2 - (4 + -6). Let r = -4 + k. Suppose -2*b = -4*z - 62, 4*b - 3*z - 54 - 85 = r. Is b composite?
False
Let s(i) = 27*i**2 - 1. Let z be s(1). Is z/39 - (-37)/3 composite?
False
Suppose -3*b - 2872 = -b. Let k = 2137 + b. Is k a prime number?
True
Let j be (-19)/1 - (-4)/(-2). Let m = -7 - j. Is m composite?
True
Let a = -5 + -4. Is (3/(-2))/(a/12) a composite number?
False
Let o = -19 + 29. Let n(p) = 2*p**2 - 12*p + 2. Is n(o) a prime number?
False
Let s(t) = 18*t + 5. Suppose 2*z + 25 = 7*z. Is s(z) a prime number?
False
Suppose o = 3*h - 585, -2*h - 5*o - 96 = -503. Suppose h + 135 = a. Is a a prime number?
True
Suppose x + 25 = 6*x. Suppose 92 = x*c - 243. Is c a prime number?
True
Suppose 0 = -2*m + 3*r + 607, 433 + 497 = 3*m + 2*r. Suppose -6*y = -2*y - m. Is y prime?
False
Suppose 0 = -4*f - l + 1223, -f + 41 = 5*l - 241. Is f a composite number?
False
Let a(b) = 5*b**3 - 2*b + 1. Let t be a(1). Suppose -f - s + 8 = 0, f - 2*s - t = s. Is -2 - 3*f*-1 composite?
False
Let b be 2/(-8) - 30/40. Is b/(-3) + 200/3 prime?
True
Suppose 2*i - 3*c = -0 + 19, c - 17 = -i. Let p = 28 - i. Is p composite?
True
Suppose 1 = -j - a - 0*a, 2*j = -3*a - 7. Suppose 3*z - j*z + 263 = 0. Is z prime?
True
Let v = -7144 - -18821. Is v a composite number?
False
Suppose 3*u - 5*u = s, -4*u + 12 = 0. Is s/(-8) - (-5046)/24 a composite number?
False
Let p(d) = 37*d**3. Is p(1) composite?
False
Suppose 5*d + 0*d = -10. Let j = 4 + d. Is j - (4 + -2 - 3) composite?
False
Suppose 0 = 2*s - 3*s + 470. Is -1*s/(1 + -3) prime?
False
Let n(s) be the first derivative of 2*s - 2 - 1/3*s**3 - 9/2*s**2. Is n(-4) a composite number?
True
Let y(l) = l**3 + 6*l**2 + l - 2. Let k be y(-6). Let f(a) = a**3 + 9*a**2 + 7*a - 9. Let x be f(k). Is ((-2)/(-6))/(x/(-267)) a composite number?
False
Suppose 3*s - 5*s + 44 = 0. Is s a prime number?
False
Let a(g) = 12*g - 3 + 2*g**2 - 4 + 6 + 6. Is a(-11) a prime number?
False
Let f(g) = 85*g + 13. Is f(4) prime?
True
Let g(v) = 18*v**3 + 3*v**2 - 2*v - 4. Let u be g(3). Suppose s - 4*c = 123, u + 79 = 4*s + 2*c. Is s a prime number?
False
Suppose -519 - 676 = -5*k. Is k a prime number?
True
Is ((-537)/(-3))/(2/4) a composite number?
True
Let o(g) = 6*g + 2. Let l be o(4). Suppose -w + l + 8 = 0. Is w a composite number?
True
Let m(j) = 3*j**3 - j**2 + 2*j + 3. Let d be m(3). Let h = d - 42. Is h composite?
True
Suppose -4*u - 12 = 4. Let b be 1/(-2)*u + 210. Suppose 3*h - 89 = -l, 2*h + b = 4*l - 172. Is l a prime number?
False
Let c(f) = -7*f + 2. Suppose -o = 4*o - 195. Suppose 5*p + 0*i - i + o = 0, -9 = -p - 4*i. Is c(p) composite?
True
Is 0 + -1 - (-1268 - -8) prime?
True
Suppose 590 = -3*p + 4067. Is p prime?
False
Let h(g) be the first derivative of -7*g + 1/3*g**3 + 1/2*g**2 + 3. Is h(-5) prime?
True
Suppose 4*w - 2600 = -6*d + 10*d, 2 = -2*d. Is w a prime number?
False
Suppose -42 + 9 = 3*x. Suppose 5*l + 23 + 0 = -n, 3*l + 21 = 3*n. Is -2*(x - 4/n) a prime number?
False
Suppose 5*c + 5*s + 130 = -0*s, 5*c + 130 = 3*s. Let y = -5 - c. Is y a prime number?
False
Is (-74)/(-2)*(-3)/(-1) a composite number?
True
Suppose y - 1752 = -415. Is y a composite number?
True
Let s(p) = p**3 + 12*p**2 + 10*p - 12. Let h be s(-11). Is ((-69)/(h - 2))/1 a composite number?
False
Suppose -264 = -q - 65. Is q a prime number?
True
Suppose 4*a = 0, -4*a - 3395 = -c - 4*c. Is c prime?
False
Let g(b) = -35*b - 6. Is g(-4) prime?
False
Suppose -5*j = 5*l - 515, -3*j - 194 = -2*l - 8*j. Suppose 0 = 3*r + 14 - l. Is r composite?
False
Suppose -5*f = -2*q + 19, -5*q + 4*f = 5*f - 34. Let d(v) = 3*v**2 + v. Let g be d(2). Let b = g - q. Is b prime?
True
Let z(o) = -o**3 + 2*o**2 + 3*o - 3. Let v be z(2). Suppose -121 = v*d - 2*d. Let h = -54 - d. Is h a composite number?
False
Suppose -8*n + 1173 = -723. Is n composite?
True
Let g(y) = -4*y**3 + 22*y**2 + 20*y - 19. Is g(-10) composite?
False
Is 3/2*-314*3/(-9) prime?
True
Suppose 2*h - 19 = -5*b, -4*b + 0*b + 11 = 3*h. Let c(s) = s. Let d(v) = 55*v - 1. Let z(q) = h*c(q) + d(q). Is z(3) prime?
False
Let z(q) = 176*q**3 - q**2 - 6*q + 7. Is z(2) a prime number?
True
Suppose -5*q + 1867 = -0*k - 2*k, 3*k = q - 376. Is q a prime number?
True
Is (21 - -18) + 1 + -1 a composite number?
True
Let h = 554 + -285. Is h a composite number?
False
Let n(y) = -13*y - 3 + 30*y + 4 + 11*y. Is n(3) a composite number?
True
Let q = 9 + -2. Suppose 2*c - q = -d, 2*d = 5*d - 4*c - 51. Is d a prime number?
True
Let u be (46 - 3)/(-1 + 2). Let r = -8 + u. Is r composite?
True
Let f(l) = -l**3 + 5*l**2 - 3*l. Let q be f(3). Let t = -5 + q. Suppose t*z + 2*d = -d + 157, 3*d = 3*z - 102. Is z composite?
False
Let u = 527 - 906. Let p = u - -716. Is p a prime number?
True
Let h be 33/6*(-3 - -5). Suppose -14 + 2 = 4*m - 4*c, 0 = -3*m - c + h. Is m/(-4) + 956/8 composite?
True
Let v be 1 + (0 - (-10)/1). Let u = v - -26. Is u a composite number?
False
Suppose 0*r - 4*r - 2*z = 6, -3 = -4*r + z. Suppose 0 = 5*g + 4*m - 12, -2*m = -g + 3*m - 15. Suppose r = -f - 2*f - 2*q + 59, -q - 5 = g. Is f prime?
True
Suppose -170 = -3*s + 589. Is s composite?
True
Let k = 16 - 103. Let u = k - -184. Is u prime?
True
Let i = -419 - -1190. Is i prime?
False
Suppose 2*h - h - 966 = 0. Suppose -1908 = -4*k - 4*m - 0*m, -2*k + m + h = 0. Is k a composite number?
True
Let q = -144 - -277. Is q a prime number?
False
Suppose -4*z - 4*i + 25 = -3*i, 3*i = z + 10. Suppose z*u - 5*h - 762 = 253, 0 = 4*u - h - 812. Is u a composite number?
True
Let u = -39 + 40. Suppose -144 = -5*d + 91. Is d + (-2 + u)/1 prime?
False
Let d be ((-4)/6)/(3/(-18)). Let f be (d/20)/(2/10). Is 1 + -18*(-2 + f) a composite number?
False
Suppose 0 = y - 2*r - 121, 0*y - 578 = -5*y + r. Is y a prime number?
False
Let k(p) = -7*p**2 - 7*p - 5. Let n be k(6). Let q = n - -478. Is q composite?
False
Let a be -2 + ((-3)/1 - -2). Let l(z) = -z**3 - 4*z**2 - 4*z - 1. Let i be l(a). Let u = 29 + i. Is u composite?
False
Let y be (0 - 4) + -182 + -1. Let v = y - -482. Is v a prime number?
False
Suppose k + 5*s = -k + 6332, -5*k + s + 15776 = 0. Is k/28 + 4/14 composite?
False
Suppose -3*s + 4*s + 5 = 4*i, 2*i - 1 = s. Suppose s*l = 5*j - 648, 4*j + 1 - 512 = -5*l. Is j a prime number?
False
Let a(q) = -q**3 - q**2 + 3. Let m(x) = x + 5. Let b(g) = g - 9. Let l be b(4). Let p be m(l). Is a(p) prime?
True
Suppose -319 = -j - 2*h, -3*j + 604 = -3*h - 344. Is j a composite number?
False
Let q = -40 + -1. Let t = 23 - -44. Let o = q + t. Is o prime?
False
Let r(z) = z**3 - 6*z**2 - 11*z - 7. Suppose q - 2*q - 1 = 3*i, -4*i - 4 = q. Is r(q) composite?
True
Let k(a) = a**2 - 16*a + 15. Let d be k(15). Suppose d*p + 993 = 3*p. Is p a prime number?
True
Let x(q) = 8*q**2 - 2*q + 1. Let b(h) = -h**2 - 6*h - 2. Let d(j) = -j**2 - 1. Let l be d(-2). Let k be b(l). Is x(k) composite?
False
Suppose -5*y + 2*y + 177 = 0. Is y a composite number?
False
Suppose -185 = -5*m + 325. Suppose 5*u - m = -z, u - 5*z = -2*z + 30. Is u composite?
True
Let t(u) = 174*u - 5. Is t(4) prime?
True
Let w(z) = z**3 + 12*z**2 - 3*z - 9. Suppose -2*v - 4*q = -8*q + 20, -20 = 2*v + 3*q. Is w(v) composite?
True
Let k(h) = -2*h**3 - 6*h**2 - 5*h - 4. Let l be k(-4). Let x = l + 65. Is x a composite number?
False
Let g = -8 + 26. Let p be -243*(-3)/(g/4). Let a = p + -49. Is a composite?
False
Is (1 - -418) + (-4)/1 composite?
True
Let m(a) = 4*a**3 - 17*a**2 + 11*a - 9. Is m(5) prime?
False
Suppose -3941 = 20*m - 21*m. Is m prime?
False
Let x(n) = -n**3 - 7*n**2 - 5*n - 5. Let j = -15 - -10. Let p be x(j). Let u = 45 + p. Is u composite?
True
Le