pose 2*v - 4273 = -15. Is v composite?
False
Let o = -2 + 0. Let r be 3/o - 1045/(-10). Suppose z = -3*c - r + 465, -736 = -2*z - 2*c. Is z a composite number?
True
Suppose 0 = -2*b + 2*x + 6620 + 4090, 21430 = 4*b + x. Is b composite?
True
Suppose -2*t - o = -2*o + 1603, 0 = -2*t + 4*o - 1600. Let v = 1475 + t. Is v composite?
False
Let k = -27276 - -57569. Is k composite?
False
Let j be (-20)/13 - (-726)/(-1573). Let g be 2/(-1)*186/(-4). Is g + j + 0/(-5) prime?
False
Suppose -4*x - 5*i + 0*i + 8802 = 0, -4396 = -2*x - 5*i. Is x composite?
False
Is ((-527167)/(-316))/(1 + 3/(-4)) a composite number?
False
Let k(s) = 2*s**2 - 30*s + 23. Let u be -10*(-2)/(-3)*-3. Is k(u) composite?
False
Suppose -1595 = 107*d - 112*d. Is d prime?
False
Suppose 0 = -3*a + 4*v + v + 14168, 18949 = 4*a + 5*v. Suppose -6*o - 729 + a = 0. Is o a composite number?
True
Let a(w) = w**2 - 20*w - 1. Is a(-20) prime?
False
Suppose 0 = -5*f - 0*f + 15. Suppose -f*m + 5*m = -r + 3, 3*r = -m + 9. Is 83 - (-1 + r) - 2 prime?
True
Let f(b) = -2*b**3 - 2*b**2 - 10*b - 11. Is f(-17) prime?
False
Let t(m) = 3*m**3 - 4*m**2 - 7*m - 10. Let p(h) = -2*h**3 + 3*h**2 + 5*h + 7. Let v(q) = 7*p(q) + 5*t(q). Let i be v(-1). Is (-542 - i)/(4/(-4)) a prime number?
True
Suppose 2*v - f = -6*f + 14, 3*f = -4*v + 14. Suppose -69 = -v*u + u. Is u a composite number?
True
Suppose 5*s = 2 + 13. Let h = 1 + s. Suppose -h*j = -2*j - 422. Is j prime?
True
Let m = -26766 - -44383. Is m composite?
True
Let g(s) = -3*s**3 - 2*s**2 + 4*s - 2. Let j be g(2). Let h = -23 - j. Is h/6*133*2 a composite number?
True
Let z = 11514 + 9755. Is z a prime number?
True
Let c(l) = 30*l**3 - 6*l**2 + 11*l + 4. Let t be c(5). Let j = -496 + t. Is j prime?
True
Let r(i) = -2*i**3 - 32*i**2 + 37*i - 7. Let j be r(-18). Suppose -2*t - t + 12 = 0. Suppose -m + 2*m - 614 = -5*x, m - j = t*x. Is m prime?
True
Let z(g) = 1463*g - 62. Is z(3) a composite number?
False
Let z(h) = -6298*h - 27. Is z(-1) a composite number?
False
Suppose 6588 = 2*u + 2014. Is u prime?
True
Suppose 3*f - 8*f = 5*t + 35, 2*t + 5*f + 29 = 0. Let m be t/(-10) - 984/20. Let c = m - -84. Is c composite?
True
Let d(n) = n**2 + n - 3. Let r be d(2). Suppose 4*m - 6*m = -r*k - 227, 2*m = -2*k + 232. Is m prime?
False
Suppose -5*c + 15*j - 10*j = -65050, 2*j = -4*c + 52046. Is c a composite number?
True
Suppose 36418 = 5*w + 4*u, -w - 2*u + u = -7283. Suppose 2*g + 0*r - 3*r - w = 0, -2*g + 7278 = -r. Is g a prime number?
True
Let w(q) be the second derivative of 9*q**4 - q**3/3 + 10*q. Let u = -5 - -6. Is w(u) a composite number?
True
Let b(t) = -2*t - 55. Let p be b(0). Let j be (184/5)/((-2)/p). Suppose -m + j = 3*m. Is m composite?
True
Let c = 820 + 93. Let o = c - 50. Is o a composite number?
False
Let f = -61 + 121. Suppose 8*y - 3*y + 123 = -2*p, -p - f = 4*y. Let r = p - -149. Is r prime?
False
Let b be (-11)/(-3) - (-2)/(-3). Is 956*4*b/48 a composite number?
False
Suppose 7*p - 9*p - 3358 = 0. Let d = p + 2836. Is d composite?
True
Is (-1 - -6908) + (7 - 1) + 0 composite?
True
Let n = -13 - -16. Suppose j + 764 = -n*j. Let v = -36 - j. Is v composite?
True
Let t(p) = -p - 5. Let w = 4 - 12. Let f be t(w). Suppose -5*u - f*s + 905 = 75, 657 = 4*u + s. Is u a prime number?
True
Suppose -2*i + i - 15 = 3*t, -2*i - 5 = t. Suppose i = -5*f, -108 = 3*j - 4*j - 2*f. Suppose -112 = -4*z + j. Is z a prime number?
False
Suppose 15951 = u + 12*u. Is u composite?
True
Let r(c) = c**2 + 1. Let o(a) = 9*a**2 - 18*a - 3. Let x(z) = o(z) + 4*r(z). Is x(12) a composite number?
False
Let y = -2 - -5. Suppose -y*q + 567 - 186 = 0. Is q composite?
False
Let i = -226 - -3069. Is i prime?
True
Let a be (0 + -3)/(-1)*7. Let z be (-2)/9 + a/(-27). Let p(c) = c**2 - c. Is p(z) a composite number?
False
Let k = 9812 - 5421. Is k composite?
False
Is (-6 - 6)*1/(-3) - -4617 a prime number?
True
Let t(x) be the second derivative of -x**5/20 + x**3/6 + 3*x. Let g be t(0). Suppose g = -6*w + 2*w + 892. Is w prime?
True
Suppose 3*c + 2*c + 5*w = -100, -5*w + 19 = -2*c. Let r = c + 180. Is r composite?
False
Suppose 324942 = 44*r - 391246. Is r prime?
False
Suppose 4*v - 6298556 = -40*v. Is v a prime number?
False
Let b = -112 - -212. Suppose 6*n - 98 = b. Is n a composite number?
True
Is 2339*3*71/213 composite?
False
Suppose 5*n = 15, l + 777 = 4*l - 4*n. Suppose 65*x - 66*x = -l. Is x a composite number?
False
Let j(m) = 5*m**2 - 9*m + 11. Let n(r) be the first derivative of r**4/2 + 10*r**3/3 + 3*r**2 + 4*r - 1. Let h be n(-4). Is j(h) prime?
False
Let h = 8072 - 3961. Is h a composite number?
False
Suppose 0 = 2*q, 0 = b + 4*q - 10138 - 6459. Is b a prime number?
False
Let i = -12600 - -36059. Is i a composite number?
False
Suppose -6*f + 2*f + 137660 = 4*r, 172067 = 5*f + 3*r. Is f a composite number?
True
Let k = -8 + 5. Let a(s) = -s**2 - 3*s + 2. Let b be a(k). Suppose b*z - 14 = 24. Is z a composite number?
False
Let p(i) = -3*i + 16. Let l be p(-6). Is 0 + 0 + 1 - (-704 - l) prime?
True
Let z(f) be the first derivative of f**4/4 + 2*f**3 + f**2/2 - 3*f - 1. Let c be z(-6). Is (18 - 1)/((-3)/c) prime?
False
Let k be 315 - (0*(-4)/(-8))/(-3). Suppose 2*x = -k + 817. Is x a prime number?
True
Let r(m) = 20*m**2 + 6*m + 11. Suppose 26 = -4*l + 2. Let q be r(l). Suppose 3*s = 184 + q. Is s composite?
False
Let r(l) = 105*l + 782. Is r(31) composite?
True
Let v = 11 + -11. Let n be v - 9/(5 - 2). Let p(z) = -12*z**3 - 2*z + 1. Is p(n) prime?
True
Let x(v) = -3*v**2 + 12*v - 13 - v**2 + v**2 + 5*v**2. Is x(-15) prime?
True
Let c(f) be the first derivative of -53*f**3/2 - 8*f**2 - 6*f + 1. Let s(t) be the first derivative of c(t). Is s(-11) prime?
True
Let j(n) = 487*n + 16. Is j(3) composite?
True
Let r = -1322 - -12033. Is r composite?
False
Let v(y) = y**3 + 42*y**2 - 61*y - 59. Is v(-35) composite?
False
Suppose 2*l = 2*r + 30, -5*l - 14 + 4 = 0. Is 0 + (-3 - 4)*r a composite number?
True
Is ((-14709)/3)/(-3 - -2) prime?
True
Let d(m) = 30 + 40 - 60 + 703*m**2. Is d(3) composite?
False
Let h be 2/12 - 985/(-30). Let x be 2*1*h/22. Suppose -506 = g - x*g. Is g a prime number?
False
Let d(u) = -u**3 - 21*u**2 + 8*u + 4. Let f be d(14). Is ((-3)/6)/(4/f) prime?
False
Let n(t) = -9340*t - 43. Is n(-3) a prime number?
False
Let t(s) = -68*s**3 - s. Let c = -5 - -5. Suppose c = 5*h - 2 + 7. Is t(h) a composite number?
True
Let v(l) = -l**3 + 3*l**2 + 3*l + 5. Let r be v(-3). Is (1378/(-10))/((-10)/r) composite?
True
Let f(w) be the first derivative of -309*w**2/2 - 6*w + 17. Is f(-7) prime?
False
Let d(f) = -f**2 - 44*f - 1. Is d(-14) a composite number?
False
Let d be 8/(-2)*(3 - 4). Is 42/d - 1/(-2) a prime number?
True
Is (-380975)/(-50) - (-3)/2 a composite number?
False
Let g be 0/(12/3) + -18. Is (-9)/g*474/1 a composite number?
True
Is (53481/(-18))/((-8)/48) prime?
True
Is (-3 + -2358)*14/(-42) a prime number?
True
Let b = 4218 + -2959. Suppose 4492 - b = 5*w + 2*x, 4*w - 2583 = -5*x. Is w prime?
True
Suppose -4 + 12 = -2*d. Is -4*d/(-8) - -21 a prime number?
True
Let t = -329 - 255. Let g = t + 1543. Is g prime?
False
Let n = 6 - 7. Is (261/12)/(n/(-4)) prime?
False
Let a be 1 - 0/4 - -5. Suppose 1106 = a*p - 628. Is p prime?
False
Let h = -7879 - -12264. Is h prime?
False
Suppose 3*q - 1053 = 2*u - 5*u, q = 4*u + 326. Is q composite?
True
Let c(w) = -734*w + 3. Is c(-7) a prime number?
False
Let l(b) = b - 2*b**2 - 11 - 4*b + 6*b**3 + 11*b - 2*b. Is l(7) prime?
False
Suppose t + 3*t = -112. Let k be (1/4)/((-1)/t). Suppose -o - k = -138. Is o a prime number?
True
Let l = -47 - -394. Is (1 - (-2 - l)) + (0 - 3) prime?
True
Let c(d) = 85*d**3 - 8*d**2 - 5*d + 49. Is c(7) prime?
False
Let m = -5 + 8. Suppose m*g = -0*g - 21. Is ((-40)/(-14))/((-2)/g) composite?
True
Let r = -33 + -256. Let i = r + 1440. Is i a composite number?
False
Let a(v) = 177*v - 65. Let o be a(16). Let w = 7488 - o. Is w a prime number?
True
Let z(y) = -21*y + 164. Is z(-37) composite?
False
Let g(d) = 2*d**3 + 3*d**2 - 2*d + 6. Is g(5) prime?
False
Let i(y) = 2*y**2 - 15*y + 16. Suppose -3*l + 5*l - 22 = 0. Let h be i(l). Suppose -d = 2*d - h. Is d prime?
True
Is 186/(-9)*3306/(-76) a composite number?
True
Let m = 29714 + -19125. Is m composite?
False
Let f = 23541 + -3824. Is f com