2*j - l = 0. Let f(b) = b**2 + 2*b - 7. Is f(j) a prime number?
True
Let s(k) = -k**3 + 25*k**2 + 27*k - 8. Is s(21) a prime number?
False
Let u(y) = y - 2. Let h be u(4). Suppose 0*t = 5*k + t + 37, -h*k + 5*t - 4 = 0. Let r(o) = -7*o + 2. Is r(k) a composite number?
True
Suppose -5*i - 37132 + 155997 = 0. Is i a prime number?
True
Suppose 5*a = -3*b + 56795, -4*b + 11178 = -3*a + 45255. Is a prime?
False
Let v(i) = 6172*i**2 - 2*i - 1. Is v(-1) composite?
False
Suppose 4*i + 10 = -5*u, 7*u - 6*u = i - 2. Suppose -2*h + 9 = 1. Suppose -s = -3*d - 136 - 136, -2*s - h*d + 594 = i. Is s a composite number?
True
Suppose -4*y + 6 = -y. Suppose y*o = -o + 291. Is o a prime number?
True
Let z be (-9)/(-15) + (-44406)/(-15). Let v = -2105 + z. Suppose -5*s - 71 = -v. Is s a composite number?
False
Let h = 15 - 11. Suppose -7 - 5 = -h*k. Is 20/30 - (-1165)/k prime?
True
Let c(k) = 711*k - 11 + 17 - 224*k - 4. Is c(5) a composite number?
False
Suppose -3*g - 250 = 2*k, -2*g + k - 133 = 36. Let x = 161 + g. Is x composite?
True
Suppose 5*d - d - 24 = -5*a, -3*a + 11 = -d. Suppose -4*y = a - 24. Suppose -5*c + 420 = y*g, 5*g + 114 = -0*c + c. Is c composite?
False
Suppose -5*p = -2527 - 1863. Suppose 540 = 2*i - p. Is i a prime number?
True
Let b = 602 + 30516. Is b a composite number?
True
Let p(t) = -t**3 - 15*t**2 - 13*t + 6. Let z be p(-14). Is 2 - (z/(-36) + 16510/(-18)) prime?
True
Suppose 4*o - 338 - 24341 = 3*v, -5*v + 18502 = 3*o. Suppose -5*i + 10245 = 4*s, -4*i = -i - 2*s - o. Is i a prime number?
True
Let g be 10/(-50) + 42/10. Let m be (-28)/(-35)*(-70)/g. Let r = 21 + m. Is r a composite number?
False
Suppose 0 = -2*y + 69 - 69. Let p be (2 + 116)*(-2)/(-1). Suppose -b + 5*b - p = y. Is b composite?
False
Let z be (119/14)/((-273)/138 + 2). Let h = z - 68. Is h a prime number?
False
Let i = -269 + 470. Let x = 506 - i. Is x a composite number?
True
Let z(f) = 35*f**2 - 8*f + 4. Is z(11) prime?
False
Suppose -2*t = -3*t. Suppose t = 5*f - 5*a - 2730, 4*f - f = 2*a + 1633. Is f prime?
True
Let t = -8 + 17. Let h(p) = 13*p**2 + 14. Is h(t) a composite number?
True
Let s(p) = -387*p - 125. Is s(-8) a composite number?
False
Suppose 2384957 = 41*r + 18*r. Is r a composite number?
False
Let k be (148/(-6))/((-1)/(-12)). Suppose 0 = 5*o, -3*y + 11*o = 15*o + 603. Let t = y - k. Is t composite?
True
Suppose 0*c = -4*c - 24. Let h(y) be the second derivative of y**4/12 - 7*y**3/6 + y**2/2 + 10*y + 4. Is h(c) a composite number?
False
Let k(w) = 38*w**3 + 2*w**2 - 5. Let l be 3*(-5)/(-45)*6. Is k(l) a prime number?
True
Let v(z) = -z + 62. Suppose 2*h = 3*h + 3*o + 6, 2*h + 9 = -5*o. Let s be (h + -4 + 1)/3. Is v(s) a composite number?
True
Let h = -2518 + 8815. Is h a composite number?
True
Let l(g) = g**3 + 8*g**2 + 7*g - 3. Let s be l(-7). Let a be ((-6)/(-3))/(s/42). Is (-1814)/(-7) - (-4)/a a composite number?
True
Is 90/180 - ((-78010)/4)/5 composite?
True
Let k = 5 + 1. Let i(v) = v**2 + 15. Is i(k) prime?
False
Suppose -1674 = -4*d + 5*d - 3*u, 0 = -2*d + 3*u - 3357. Suppose -2*f - 3867 - 2201 = 0. Let r = d - f. Is r prime?
False
Let v(j) = 1710*j. Let p be v(1). Suppose -4*b + p = 5*o, -4*o + 3*b + 1517 - 118 = 0. Is o a composite number?
True
Let o = 36 - 35. Suppose o + 0 = c + 5*z, 4*z = -c + 5. Is c composite?
True
Let b be (13/(-39))/(1/(-3609)). Suppose 43 + b = 7*r. Is r composite?
True
Let i(n) = 341*n**2 - 21*n - 55. Is i(-6) a composite number?
False
Let u be ((-60)/(-14))/(26/(-182)). Is (-1060)/u*33/2 composite?
True
Suppose 837 = 6*n + 21*n. Is n a composite number?
False
Let i(c) = 49*c**2 - 4*c - 1. Let j be i(-1). Let z = j + 199. Is z a prime number?
True
Let x(o) = o**3 + 6*o**2 + 4*o + 4. Let w be x(-6). Let q(j) = 6. Let d(g) = g + 9. Let z(s) = -5*d(s) + 7*q(s). Is z(w) a prime number?
True
Let r = -2818 + 667. Let i = r - -3718. Suppose 3*u - 4*l = i, -4*l + 1 - 5 = 0. Is u composite?
False
Suppose 0 = 5*p - 11*z + 6*z - 2760, 4*p - 5*z = 2207. Suppose -9*l + 10*l - p = 0. Is l composite?
True
Let b(l) = 1182*l - 431. Is b(20) prime?
True
Suppose 15*v + 339 = 11874. Is v a composite number?
False
Let p be (-1234)/(-3)*12/(-4). Let j = p + 3451. Is j a composite number?
True
Let a be (17895/(-4))/(((-5)/(-4))/5). Is (a/(-6))/(3/6) composite?
True
Suppose 1 = f + 4. Is f + ((-516)/(-4) - 3) a composite number?
True
Let m = -317 - -704. Let o = 701 - m. Is o prime?
False
Suppose 5*y - 32 = -12. Suppose 2 = 2*b - y. Is -59*(b + -6 - -2) a composite number?
False
Let u = 16372 + -10449. Is u a prime number?
True
Let z(i) = 635*i**2 + 2*i + 1. Let p(t) = t**2 - 2. Let c be p(2). Is z(c) composite?
True
Let v(f) = 92*f**2 + 21*f + 208. Is v(-15) composite?
False
Let f(v) = -v + 3. Let z be f(-3). Suppose 0 = 8*q - z*q - 374. Let i = 284 - q. Is i composite?
False
Let y = 37174 + -24519. Is y prime?
False
Suppose 2*j = 4*j - 60. Suppose -6*x = -x - j. Suppose -2*h - x = 0, 4*t + h = -2*h + 139. Is t a composite number?
False
Let a(k) be the first derivative of 31*k**2/2 + k + 4. Is a(6) a prime number?
False
Let s be (3*1)/(10/(-40)). Let t be s/3*(-5)/10. Is 1003/t*(2 + 0) composite?
True
Let p = -27 + 36. Let u = 16 - p. Is u a prime number?
True
Let f = -1485 - -11786. Is f composite?
False
Let i(t) = t - 9. Let v be i(12). Suppose -v*y + 17 = 2*l, -2 + 0 = -2*y + l. Suppose d = -y*d + m + 353, -5*m + 104 = d. Is d a prime number?
True
Is (10 + -8)*(-52197)/(-6) a prime number?
False
Let c be ((-2)/(-6))/((-2)/(-48)). Suppose 5*f + 4*z - 79 = -c, -65 = -4*f + 5*z. Is f prime?
False
Let y be (-2 - -17)*1*(-16)/20. Let k(l) = 3*l**2 - 16 - 4*l + l**3 + 10*l**2 + 0*l + 15. Is k(y) prime?
True
Let z be 180/27*6/(-5). Is (-634)/z + 3/(-12) a prime number?
True
Suppose 13 = -u - 3*a - a, 3*u - 4*a - 9 = 0. Is u/1*1371/(-3) a prime number?
True
Let n = 87 - 97. Let p(x) = -x**3 - 9*x**2 + x + 16. Is p(n) composite?
True
Let y(f) = -f**2 - 8*f + 1. Suppose -4*q + 2*x - 20 = 0, 5*x + 20 = -4*q - 28. Let w be y(q). Suppose -4*h - 60 = -w*h. Is h a prime number?
False
Is (-76433)/(-4) - (-102)/136 a prime number?
False
Let a(t) = -2*t**3 + 8*t**2 - 4*t - 1. Let k be a(3). Suppose 4*y + 5*f - 5439 = 0, -k*f = 4*y - 7*f - 5446. Is y prime?
True
Suppose 5*u + 2*a + 830 = 4*u, -5*u - 5*a - 4140 = 0. Is (u/8)/((26/(-8))/13) a prime number?
False
Let t(y) = -y**2 + 3*y + 8. Let v be t(6). Let m = -14 - v. Is (7 - -1)/m - -213 prime?
True
Suppose 0 = 3*f - 0*f + 1728. Let b = f + 118. Let q = 940 + b. Is q a composite number?
True
Suppose -28*a + 5*w - 5396 = -29*a, 5*a = 2*w + 26845. Is a a prime number?
False
Suppose 5 - 20 = -3*w. Is 0 + (-1311)/(-15) - 2/w prime?
False
Suppose 0 = d + 2*x - 15599, -2*d - 46*x = -48*x - 31186. Is d a prime number?
False
Let c be (-1)/2 - (-210)/4. Let g be 2 + 7/(66/24 - 3). Let u = g + c. Is u prime?
False
Suppose 2*t = -0 + 6. Suppose -t*w = w. Suppose 3*l = -w*l + 867. Is l a composite number?
True
Let f = 1133 - 297. Is f/9 - (-7)/63 prime?
False
Let k = -21 + 12. Let g(b) = 5*b**2 + b - 4. Let j be g(k). Suppose 5*n + t - 640 = 0, -2*n + 4*t - 114 = -j. Is n a prime number?
False
Let v be (9/((-27)/(-24)))/2. Suppose 0 = p - v*u - 1117, 7*u - 4*u + 1118 = p. Is p a composite number?
True
Let p = 72 + -46. Let i = 111 - p. Is i a prime number?
False
Suppose 2*p - 16 = -0*p. Suppose 0 = -p*x + 3*x + 345. Is x a composite number?
True
Let d(x) be the first derivative of 4/3*x**3 - x + 3/4*x**4 - 2*x**2 + 5. Is d(4) prime?
True
Let c(g) = -g - 21. Let i be c(-21). Suppose 2*l - 1918 = -0*l. Suppose i = 3*u - 28 - l. Is u prime?
False
Let s = -6 - -9. Let u be (-1)/s + 56/(-12). Let m(q) = 16*q**2 + 6*q + 7. Is m(u) a prime number?
False
Let i = -16088 + 27051. Is i a prime number?
False
Let y(w) = -1 - 26*w - 20*w + 0 + 12*w. Let u = -9 - -8. Is y(u) prime?
False
Let p(u) = u**3 - u**2 + 4*u + 61186. Is p(0) composite?
True
Let s(k) be the first derivative of 5*k**6/12 + k**5/20 - k**4/6 + k**3/2 + k**2 + 6. Let w(b) be the second derivative of s(b). Is w(2) prime?
False
Let o be 6/36 + (-1)/6. Suppose o*v = 5*v - 925. Suppose -2*k + 3*g + 18 = -342, -k = -4*g - v. Is k a composite number?
True
Suppose 4*b - 89562 = -62*b. Is b a prime number?
False
Let i = 1977 - -17552. Is i prime?
False
Let f be 