?
False
Let t(c) be the first derivative of c**4/4 + 5*c**3/3 + 2*c**2 + 2*c + 1. Let r be t(-4). Suppose 0 = -0*x - r*x + 46. Is x composite?
False
Suppose 10 = -0*w + 2*w. Suppose 5*s + 2 = -c, -s + 59 = w*c + s. Is c composite?
False
Let s(b) = -b**3 - 7*b**2 - 4*b - 1. Let l be s(-9). Suppose 147 = 2*k - k + 4*z, -3*z = -4*k + 531. Let g = l - k. Is g prime?
False
Let q(p) = 3*p - 3*p - 1 - 18*p. Is q(-2) composite?
True
Is (-4)/(-6) - (-22708)/12 composite?
True
Is (-2)/4*(-1 - -4 - 1525) a composite number?
False
Let o = 0 - -30. Is 20/o*2274/4 prime?
True
Let h = 11 - 13. Is (-1)/h + (-2385)/(-18) a composite number?
True
Let a = 1038 + -497. Is a a composite number?
False
Suppose -13 = 5*a + 2. Let j = -3 - a. Suppose j = -5*v + 107 + 68. Is v a composite number?
True
Suppose -q - t + 1 = 3*t, 0 = -2*q - 2*t + 2. Let k be (q/2)/((-2)/(-392)). Suppose 3*n - k = 40. Is n a composite number?
True
Let q(h) = -10*h**3 + h**2 - h. Let c be q(-2). Suppose -69 = -5*a + c. Is a a prime number?
True
Let h be (-50)/15*6/(-5). Suppose 0 = -a - h*a + 195. Is a composite?
True
Let w(r) = -r**3 + 2*r**2 - 3. Let z be w(4). Let v = z + 162. Is v a prime number?
True
Let q be 1/(-1 - -2) - -4. Suppose -q*k = -2*k - 24. Is 2/k - 561/(-12) prime?
True
Let b(g) = -g**2 - 11*g + 4. Let s be b(-11). Suppose -o - 1 = -j + 3*o, -5*j + s*o = -37. Is (-6)/j - (-394)/6 a composite number?
True
Let s(r) = -3*r. Let q be s(-1). Is 31 - 1 - (q - 4) a composite number?
False
Suppose -r + 0*x + 2 = -2*x, 0 = 2*x. Let k be -1 + 22 - r/1. Suppose k = 2*s - 59. Is s prime?
False
Let n(i) be the first derivative of -91*i**2/2 - 6*i - 1. Is n(-5) a prime number?
True
Suppose 1516 = 7*u - 3*u. Is u composite?
False
Let t(v) = -4*v - 1. Let o be t(-7). Suppose 3*u + 40 = -5*q - o, -5*q = -5*u + 35. Let s = -4 - q. Is s prime?
True
Let p be 7 - (-1 - (-4)/2). Suppose 4*u = p*u - 102. Is u a composite number?
True
Suppose 4*x = -x + 3545. Is x prime?
True
Let q(t) = -t**2 + 10*t + 4. Let z be q(8). Suppose j + z = 6*j. Is 366/10 - j/(-10) prime?
True
Let z(d) = 25*d - 3. Let y be z(2). Suppose -i - 5*x + y = 0, 0 = -2*x + 10 - 0. Suppose -2*b + f - 1 = -15, 2*f + i = 3*b. Is b prime?
False
Suppose y - 2720 = -4*j - 3*y, -3*j = 5*y - 2042. Is j a prime number?
False
Let p(n) = n**2 - 1 - 7*n**3 - 32*n**3 - 2*n**2 + n. Is p(-2) a composite number?
True
Let x(f) = -61*f + 30. Is x(-11) composite?
False
Let v = 224 - -35. Is v a prime number?
False
Suppose 0 = 3*r - 2*r - 247. Is r composite?
True
Suppose -2*j + 2*f + 3710 = 0, j + 131 = -2*f + 1995. Is j prime?
False
Let k(j) = -7*j - 1. Let g(d) be the first derivative of -13*d**2/2 - 2*d + 3. Let w(p) = -2*g(p) + 5*k(p). Is w(-4) prime?
False
Let g(n) = -5 + 6*n + 14 + 0*n. Is g(10) prime?
False
Suppose 0*p + 1105 = -5*p. Let i be (2 - 1)*-157 - -1. Let v = i - p. Is v prime?
False
Suppose 0*z - 2*z = -422. Is z composite?
False
Let m(v) = -v - 10. Let b be m(-9). Let x(c) = 156*c**3 + c. Let q be x(b). Is q/(-2) + (-6)/(-12) a prime number?
True
Suppose -r + 3292 = -2*w - 2*w, 13204 = 4*r + 2*w. Suppose 3*i = 3*n + r, -i + 3290 = 2*i + 2*n. Suppose -2*s = 3*p - s - 654, -s - i = -5*p. Is p prime?
False
Let g be 1 + (-3)/3 + -2. Let r = g - -4. Is 1 + 0 + r + 52 composite?
True
Suppose 681 = -2*t - k, 3*t + k = -44 - 978. Let v = t - -604. Is v composite?
False
Let n(y) = y**2 - 3*y + 3. Is n(14) composite?
False
Suppose 7 = -2*x + 3. Let s be 2 - (3 - 1) - x. Suppose -s*u + 70 = -4*z, 0*z - z = -3*u + 125. Is u a composite number?
False
Suppose 3*s - 2*i = 241, -2*s + 333 = 2*s - 5*i. Suppose -4*a = -2*t - 2*a - 68, -a = 2*t + s. Let r = t + 75. Is r a composite number?
True
Let r = -2 + 4. Suppose -130 = -r*u - 24. Is u a composite number?
False
Suppose 2226 = 5*v - 4*g, -v - 3*g = 3*v - 1787. Is v a composite number?
True
Suppose 936 - 30667 = -13*k. Is k composite?
False
Suppose 0 = -x - 5*d + 2*d + 433, 3*x - 2*d - 1354 = 0. Suppose -p + x = -70. Suppose 0 = -4*n + 2*n + p. Is n a prime number?
False
Let r = 127 - 84. Is r a prime number?
True
Suppose -19*k = 176 - 3653. Is k prime?
False
Let a be (-2)/6 + 160/(-6). Let w be a/(-6)*(-4)/(-6). Suppose -5*r + 3*j + 347 = 0, w*r = j - 0*j + 205. Is r a composite number?
False
Suppose -2*x - 458 = 5*r + 218, 0 = 3*x + r + 1014. Let l = x + 487. Is l a composite number?
False
Suppose 3*k = -k + 96. Suppose -4*r + k = 4. Suppose 178 - 13 = r*y. Is y prime?
False
Suppose 5*n = 7*n - 890. Suppose 2*x - 7*x + n = 0. Is x prime?
True
Is 1557*(-3)/(-4) + (-30)/40 a composite number?
True
Let u = -33 + 51. Suppose u = z - 7. Is z a composite number?
True
Let s = -4744 + 7895. Is s prime?
False
Is (-3 - -5) + (371 - 0) a composite number?
False
Let f(b) = 2*b**2 + 6*b + 3. Is f(-7) a prime number?
True
Suppose -3956 + 718 = -2*u. Is u prime?
True
Let p(w) = 26*w - 19. Let d be p(13). Let n = d - 140. Is n prime?
True
Let k(s) = 9*s. Let f be k(9). Let i = 48 - f. Let u = 56 + i. Is u a prime number?
True
Suppose -4*w - 4*u + 5520 = 0, u - 2*u = 2*w - 2759. Is w composite?
True
Suppose 3*y = -0*y - 4*u + 401, -2*y + 266 = 3*u. Is y composite?
False
Suppose u - 20 = 64. Let b be -50 - (20/5 - 7). Let x = u + b. Is x prime?
True
Let j(m) = m**3 + 6*m**2 + 3*m + 3. Let q be 2/(2 + 4)*-15. Is j(q) a composite number?
False
Let a be ((-8)/12)/((-4)/6). Let i = a + 1. Suppose -5*k - 2*s - i*s + 43 = 0, 9 = -3*s. Is k prime?
True
Suppose -y = 284 + 320. Let x = y + 1349. Suppose 0 = 2*f - 7*f + x. Is f prime?
True
Is (2 - -365)/(9/117) a composite number?
True
Suppose 0 = -4*b + 46 + 50. Suppose h - 32 = 3*m, 4*m = h - 6 - b. Is h composite?
True
Let f(k) = -7*k**3 - k**2 - 9. Is f(-5) a prime number?
False
Suppose 0 + 4 = l. Let j = 3 - l. Is -1 - -1 - (j + -52) a composite number?
False
Suppose 3*b = -2*p + 718, -20 - 695 = -3*b - 5*p. Suppose -5*m + b = i + 19, -3*i + m = -631. Is i composite?
False
Let g be (-15)/25 - (-438)/5. Let w = g - -152. Let x = w + -80. Is x composite?
True
Let d(y) = -y**3 + 4*y**2 - 2*y - 2. Let s = 4 - 2. Let n be d(s). Is (1 + n/(-1))*-23 prime?
True
Suppose 4*o - 9 - 31 = 0. Suppose -o = -3*b + 134. Let v = b - -21. Is v a prime number?
False
Suppose -3*v + 37 = 2*n, -4*n + 0*n - 31 = -v. Suppose 5*j = -v - 5, -c = -j - 6. Suppose -3*o = -l - 37, 3*l - 10 = -c*l. Is o a prime number?
True
Let b(u) = -u**3 + 14*u**2 + 7*u - 11. Is b(14) a composite number?
True
Let l be 6/((-2)/(-1)) + 0. Let k(i) = 2*i - 6. Let h be k(6). Let u = h + l. Is u composite?
True
Let l = 992 - 359. Is l a composite number?
True
Let m(l) = l + 12. Let n be m(-6). Suppose -i - 425 = -n*i. Is i prime?
False
Let r be (-6)/15 - 54/(-10). Let j be 2/r + (-86)/(-10). Suppose k = 3*i + j - 2, -4*k - i + 15 = 0. Is k a composite number?
True
Let w(j) = -5*j**3 - 7*j**2 + 3*j + 6. Is w(-3) prime?
False
Let z be 344 + 2*(-4)/8. Suppose -3*o = -c + 2*c - 73, 4*o = -5*c + z. Is c a composite number?
False
Suppose -3*p - f + 5 = 0, f + 0*f = -2*p + 5. Suppose p*h + 40 = 4*h. Is h prime?
False
Let l(t) = 7*t**2 + 2*t. Let o(s) = -s**2. Let c(a) = l(a) + 4*o(a). Suppose 4*w + 3 = 5*x - 14, w + 4*x - 1 = 0. Is c(w) a prime number?
False
Let n(f) = -f + 5. Let l be n(6). Is 0 + l*(-658)/2 prime?
False
Let t = -41 - -72. Let m = t + -53. Is -2 - -2 - 1 - m composite?
True
Let p be (-586)/(-14) + 8/56. Suppose 5*x + 300 = 5*r, -r + 4*x + p = -21. Is r a composite number?
False
Suppose -4*b + 52 = 4*p, -p + 3*p - 1 = 3*b. Suppose 0 = -p*i + 3*i + 70. Is i a composite number?
True
Let o be 766 + (-1 - -2) + -3. Suppose -3*h = 5*c - o, 1042 = 4*h + 3*c - c. Is h a composite number?
False
Let l = -75 + 448. Is l a composite number?
False
Suppose -3*a + 7*a - 1740 = -2*d, -5*d + 4306 = -a. Is d a prime number?
False
Let n(c) = 2*c**2 - 4*c + 2. Let t be n(2). Suppose 4*w - 3*w = -t*q + 125, 3*w - q - 361 = 0. Is w composite?
True
Let w(o) = o**2 - 4*o + 0*o**2 - 2 + o**2. Is w(6) a prime number?
False
Let l(p) = p**2 + p - 1. Let a be l(2). Suppose -a*i + i + 36 = 0. Is i a composite number?
True
Suppose -2*s = 2*w + 8, w = -3*w + 4. Let p = 3 + s. Is (-2)/p + (-108)/(-2) prime?
False
Let r(p) = 24*p**2 + 7*p + 6. Is r(5) composite?
False
Let j be ((-16)/(-5))/((-6)/(-435)). Let d = j - 73. Suppose -