pose -4*s + 3890 = -4*y - k, -3 = y. Is s prime?
False
Let c(y) = -y**3 - 6*y**2 - 7*y - 15. Let h be c(-6). Is ((-18)/h)/(-1 + 5318/5322) prime?
True
Suppose -m = -2*m - 2, 2*m + 1021 = 3*h. Is h a prime number?
False
Suppose -24 + 43 = -19*y. Let j(l) = -82*l**3 + 4*l**2 + 3*l - 6. Let i(v) = v**3 - v**2 - v + 1. Let x(g) = 4*i(g) + j(g). Is x(y) composite?
True
Let b = 24 - 23. Is ((-4)/(-2))/(-2) - (-95)/b a prime number?
False
Is (-2)/(160/(-2375024)) - 8/10 prime?
False
Suppose -3*h = -8*h - 5. Let n be h/(-1*4/40). Suppose -5*r = n - 195. Is r a composite number?
False
Suppose 7*y = -18787 + 605114. Is y prime?
True
Suppose 410 = m + 10*q - 14*q, 4*m = -4*q + 1560. Is m a composite number?
True
Let t(k) = 6*k**3 + 6*k**2 - 7*k + 5. Let y be t(7). Let h = 5013 - y. Is h a composite number?
True
Suppose 3*a - 2*b + 323 = -3*b, 5*a - 3*b = -529. Suppose 1768 = 4*x - 2*l, 4*x + 7*l - 1768 = 3*l. Let i = a + x. Is i composite?
True
Let x = 52262 + 9251. Is x composite?
True
Let h = -7197 - -16439. Is h prime?
False
Suppose 0*g + 5*w - 14 = 3*g, 4*g - 4*w + 16 = 0. Let q be 1*((-1263)/1)/g. Suppose q = o - 213. Is o a composite number?
True
Let y be (15/(-6) + 3)*2. Is (-1017)/6*(y + -3) a prime number?
False
Suppose 6*t - 30 = 24. Let z = -11 - t. Is 1*12/z*-5 a prime number?
True
Let c = -7 - -10. Suppose -2*a - a - 3 = c*s, 2*a + 2 = 0. Suppose 5*n + s*n = 1855. Is n a prime number?
False
Let q = -14 - -17. Suppose b - 2*v = 147, 0 = -b + q*v - 2*v + 148. Is b a composite number?
False
Suppose -270 = -3*i - 6*i. Is -6 + 5 + i*10 a composite number?
True
Is (3411782/198 + 2/(-9))*1 a composite number?
False
Suppose -j + 8097 = -o - 2*o, 5*j = 4*o + 40474. Let q = 17033 - j. Is q composite?
True
Suppose -y - 4542 = -5*g, -y + 2050 = 2*g + 236. Suppose 1681 + g = 3*z. Is z composite?
False
Let b(d) = -d**2 - 6*d - 5. Let n be b(-2). Suppose -9 = 2*a + 4*q - 299, n*q = 5*a - 725. Is a composite?
True
Let c be 139*(-9)/6*-2. Let a = c + -216. Is a composite?
True
Is 12/(-60) - 80572/(-10) composite?
True
Suppose -6 = -l - 3. Suppose 0 = -f - l*f - 4. Let t = 10 + f. Is t prime?
False
Let l be -8*(-2 + 25/20). Let n(d) = -26*d**2 + 47*d**2 - l - 10*d**2 + 7*d + d**3. Is n(-7) composite?
True
Let j(k) = 1820*k**2 + 28*k + 7. Is j(5) a prime number?
False
Let r(m) = m**3 - 2*m + 2. Let t be r(2). Let p(i) = i**2 - 8*i + 8. Let d be p(t). Is (-38)/(-2)*(d - -5) composite?
False
Suppose 29804 = 171*z - 167*z. Is z a composite number?
False
Suppose 2*p + 0 = -2*g + 2, 5*p - 41 = 4*g. Is 1 + 658 - (g - (-3)/3) a composite number?
True
Suppose -14*m = -9*m - 5. Let f(r) = 60*r - 1. Is f(m) prime?
True
Let k = 13 - 14. Let w be (-2 + 5)*(0 + k). Is 2*(w + 28) - -1 a composite number?
True
Let h(r) be the first derivative of -99*r**2 - r + 29. Is h(-6) a prime number?
True
Suppose 9 = -0*z - 3*z. Is (9/z + 3)/(-1) + 889 a composite number?
True
Let i = 381 - 764. Let u = -234 - i. Is u a prime number?
True
Let p = -3821 - -7010. Let c = p + -794. Is c prime?
False
Let k(j) = 37*j**3 - 8*j**2 + 23*j - 3. Is k(4) a composite number?
True
Suppose 4*q + 285 = 3*t - 6*t, 293 = -4*q + 5*t. Is 16/q + ((-51265)/9)/(-5) a composite number?
True
Let a = 3131 + -1800. Suppose 4327 = b + 3884. Suppose 2*q - b = a. Is q a composite number?
False
Let f(l) = 919*l + 14. Is f(5) a composite number?
True
Let n be -2*(0 - (-3)/(-6)). Let a be 3 + (-12)/2*n. Let u(z) = -61*z + 2. Is u(a) a composite number?
True
Let g(a) = -2*a**3 - 6*a**2 - 46*a - 9. Is g(-19) a composite number?
True
Let m(d) = 361*d - 557. Is m(36) composite?
True
Suppose 2*l - 75 = -3*l. Let c = -22 + l. Is c*(-196 + 1 - -4) prime?
False
Let w = -7 + 9. Suppose 2*u = -2*m + 12, w*m = -m + 2*u + 13. Suppose -217 = -4*v + 5*h, -25 + 10 = -m*h. Is v a composite number?
True
Suppose -43*t + 454302 = 108883. Is t prime?
False
Let o = 839 - 280. Let j = o - -1492. Is j a composite number?
True
Let b be ((-3)/6)/((-1)/162). Suppose 7*q - 2 = t + 3*q, t = 2*q. Is b - (0 + t) - 2 a composite number?
True
Let s(z) = -z**2 - 2*z - 224. Let x be s(0). Let r = -106 - x. Is r composite?
True
Let p(d) = 5*d**2 - d - 17. Let r be p(6). Let w = r + 108. Is w a prime number?
False
Suppose -2*m + 14772 = 10*m. Is m composite?
False
Let d(g) = 130*g - 1. Let a(k) = k**3 + 5*k**2 - 3*k - 12. Let l be a(-5). Is d(l) composite?
False
Let f = -12 - -16. Suppose f*n + 136 = 8*n. Is n a composite number?
True
Suppose 0 = 4*d - 7*v - 987247, -d = 46*v - 50*v - 246823. Is d a prime number?
True
Suppose 3*d + 5 = 4*d. Suppose -d*t + 1357 + 143 = 0. Let h = t + -151. Is h a composite number?
False
Suppose -3109 - 663 = -3*g - 5*z, 0 = 2*g + 2*z - 2508. Is g a composite number?
False
Let h be -5*(-2362)/(-5)*-1. Let g = -1376 + h. Is (6/4)/3*g composite?
True
Suppose 0*o - 8 = -o - 2*i, o - 5*i + 13 = 0. Suppose 0 = o*m - 7*m - 2*p + 755, -2*m + 293 = -p. Is m a composite number?
False
Let i(v) = -4*v + 5. Let a be i(0). Suppose 5*z - a*y - 6914 = 81, -5*y = 0. Is z composite?
False
Suppose 0 = -5*w - 3*u + 663574, -78*w + 83*w = -5*u + 663580. Is w composite?
True
Suppose 8*s - 71235 = -s. Is s a composite number?
True
Suppose 0 = 4*p - 17 + 5. Let v be (-395)/(4/(-4 - 0)). Suppose 2*q - v = -p*q. Is q composite?
False
Let y = 11496 - 6820. Suppose v = 5*v - y. Is v a composite number?
True
Let a(u) be the first derivative of -u**5/30 - 5*u**4/24 + 2*u**3 + 3. Let q(p) be the third derivative of a(p). Is q(-4) a composite number?
False
Let f(x) = 951*x - 145. Is f(2) a composite number?
True
Is 12/138 + (-37762)/(-46) composite?
False
Let o(v) = -74*v - 27. Let z be o(-4). Let y = 252 + z. Is y composite?
False
Let u(x) = 4*x - 49 + x**3 + 27 + 26. Is u(5) prime?
True
Let o = -394 + 1019. Let s = o - -1708. Is s a prime number?
True
Let i = 5479 + -480. Is i a composite number?
False
Suppose -2*j + 4008 = -0*j. Suppose 0*g = 2*g + j. Is 6/(-9) + g/(-18) prime?
False
Let q = -157 - 68. Let l = 2 - 1. Is q/(-12) - l/(-4) prime?
True
Let i(z) = z**2 - 2*z - 3. Let b be i(3). Suppose -3*k - 5*l + 95 = 0, b = 3*k - 5*l - 95 - 20. Is k a composite number?
True
Is (-63)/(-21) + (-9508)/(-1) prime?
True
Let p(m) = 355*m - 63. Is p(16) a composite number?
True
Suppose 5*z - 11317 = -4*w, -6*z - 5678 = -2*w - 2*z. Is w composite?
False
Suppose 3*x - 1333 - 1436 = 0. Let a = 248 + x. Is a a composite number?
False
Let h = -387 + 741. Let d = 203 + h. Is d prime?
True
Let x(b) = -1551*b**3 - 5*b**2 - 5*b - 1. Let k be x(-1). Suppose 4*g + r = 3*r + 1234, k = 5*g + 5*r. Is g a composite number?
True
Let v(y) be the third derivative of -2*y**5/15 - 7*y**4/12 - 5*y**3/6 + 12*y**2. Let o be v(-4). Let p = 12 - o. Is p prime?
True
Let q(i) be the first derivative of -1/2*i**2 - 2 + 511*i. Is q(0) a composite number?
True
Let o = 100 + 274. Let k = -232 + o. Is k composite?
True
Let z = -625 - -1396. Let h = z - 284. Is h a prime number?
True
Let f = 4 + -2. Let l(w) = -19*w + 2 + f - 2 + 3. Is l(-8) a prime number?
True
Suppose p + 2 = 4. Suppose p*y - 392 = -0*y. Is (y/(-12))/(1/(-3)) a composite number?
True
Is (-6)/8*(-3825144)/486 a prime number?
True
Suppose -7*f = -3*f - 3712. Suppose q - f - 39 = 0. Is q prime?
True
Suppose -4*k + f + 35249 = -22707, -5*k + f + 72445 = 0. Is k composite?
False
Is (-986 + 12)/(-2) + 6 a prime number?
False
Let c = -2231 + -850. Is c*(21/18 - 3/2) a composite number?
True
Let z(b) = -b**2 + 8*b - 3. Let x be z(5). Let i be x/7*(-1 - -92). Suppose -4*c + 591 = 5*r + i, -2*r + 207 = -5*c. Is r a composite number?
True
Is (22 + -20)/(8/15788) a composite number?
False
Is -2614*(1/3 + 23/(-6)) a prime number?
False
Let n be 0 - (3 + -6 - 0). Is 326/n*(2 - 1 - -2) a prime number?
False
Let c(p) = -p**3 + 17*p**2 + 21*p - 79. Is c(10) a prime number?
False
Let m(y) = -58*y + 4. Suppose -3*k - 11 = 1. Let q be m(k). Suppose 0 = -t + 5*t - q. Is t a prime number?
True
Let o(a) = -a**3 - 1. Let k(p) = 78*p**3 + p**2 - 6. Let j = 13 - 14. Let q(x) = j*k(x) + 5*o(x). Is q(-1) a composite number?
False
Suppose -2892 = 5*x - 16307. Suppose -2 = y - 5. Suppose -y*q + x = -344. Is q composite?
False
Let p(c) = c**2 - 9*c + 1. Let x be p(9). Suppose 2*m + 4 = 0, 3*m + x + 5 = 5*o. Suppose 0 = -o*u - 3*u + 609. Is u a com