13*n**2 - 14*n + 4. Let l(z) = -z**2 - 5*z. Let k be l(-7). Let a be c(k). Is (-39)/(-4) + 1/a composite?
True
Suppose -4*y - 3125 = -12101. Let d(l) = 3*l - 28. Let f be d(10). Is (1 - y/(-8))*f a prime number?
True
Suppose 0 = 8*n - 9*n. Suppose -j + 359 + 38 = n. Is j a prime number?
True
Let z(v) = -25*v - 6. Let o = 65 + -76. Is z(o) a prime number?
True
Let b(s) = 700*s - 71. Is b(13) prime?
True
Suppose -73 = 3*a + 3*b - 22, 0 = 3*a + 4*b + 50. Is a/30 + 82696/10 composite?
False
Suppose -5*v = 15*f - 11*f - 6083, -1532 = -f + v. Is f prime?
False
Let x be 451/(-5) + 32/(-40). Let v = x + 174. Suppose 2*m + v = 269. Is m a composite number?
True
Let i = -3330 - -9415. Is i a composite number?
True
Is (-9)/(-36) - 237013/(-28) a composite number?
True
Suppose -224 = -4*r + 1464. Suppose -3*i - 4*t + 18 = 0, -3*i + 8*i = 4*t - 2. Suppose 2*g = -5*f + 422, -3*g + i*f + r = -g. Is g prime?
True
Let j(p) = -p**3 + 39*p**2 - 35*p - 46. Is j(37) a prime number?
False
Suppose 6*h = -15*h + 26313. Is h a composite number?
True
Let k = -870 + 1489. Is k a prime number?
True
Suppose 0 = 909*j - 924*j + 42135. Is j composite?
True
Let u(b) = b**3 - 4*b**2 - 10*b - 13. Let r be u(6). Is (9 - 7)*r/(-2)*613 prime?
True
Let k be 1*25/(-2)*-2. Let o = 28 - k. Suppose -o*d + 652 = -689. Is d composite?
True
Let k be (40/(-15))/((-4)/234). Suppose 0 = -0*f - 3*f - k. Is 18/(-4)*f/6 prime?
False
Suppose -2*i - 5*u + 170 = 0, -i + u = -4*i + 255. Let h be 15998/10 - (-17)/i. Suppose 5*v = -l + h, -3*v - 6*l + l + 982 = 0. Is v prime?
False
Suppose 8*n - 3*n - 40040 = 0. Suppose n + 1339 = 13*x. Is x prime?
True
Suppose -4*s + 42515 = 7*s. Is s a composite number?
True
Let b = 16 - 10. Suppose 0*x + b = 2*x. Suppose v + 0*v - 5*w = 42, -142 = -x*v - w. Is v composite?
False
Let c = 197 + -72. Suppose -4*t = 3*x - c, -5*x - 3*t + 140 + 72 = 0. Is x a prime number?
True
Let f be (-2)/(-1)*(-3)/(-2). Let z be -4 + 2/(18/21555). Suppose 2*r - z = -f*r + 4*x, -3*x - 1434 = -3*r. Is r prime?
True
Let o be (-10)/35 + 107/7. Suppose -610 = -o*j + 10*j. Is j a prime number?
False
Let a = 3561 + 32. Is a composite?
False
Let f(y) be the third derivative of -5/6*y**4 - 4*y**2 + 0 + 1/20*y**5 - 4/3*y**3 + 0*y. Is f(15) prime?
True
Let u = -8710 + 16957. Is u a composite number?
True
Let b(w) = w**2 + 3*w - 19. Let k be b(-8). Suppose 15*c - k*c = -8634. Is c prime?
True
Let m be (12/(-4) - -4)*147. Suppose -3*t + 6 = 4*p - 7, 0 = 3*t - 4*p - 5. Suppose -m = -t*r - 0*r. Is r a composite number?
True
Let h(j) = -32*j**2 + 19 + 17 - 14*j + 35*j**2. Is h(-23) a prime number?
False
Suppose 14 = 13*k - 25. Suppose -5424 = -4*y - 4*s, -3*y + 2707 = -y + k*s. Is y prime?
True
Let r(b) = 648*b**3. Let g be r(-1). Let f = 160 - g. Suppose 0 = -j + 1033 + f. Is j a composite number?
True
Suppose -9 = -5*l - 2*v, 2*l - 2 - 8 = -4*v. Let y be 3/((-12)/(-344)) + 4. Suppose l = o - y. Is o prime?
False
Suppose 640 + 317 = -3*a. Let x = a + 965. Suppose -109 = 3*n - x. Is n a prime number?
True
Let w = 5509 + -2076. Is w prime?
True
Suppose -5*q + 1348 = 543. Suppose 2467 = 6*g - q. Suppose 16 = -2*y + g. Is y composite?
False
Let i(n) = -n**3 - 15*n**2 - 9*n - 1. Let q = 55 - 75. Is i(q) composite?
False
Let c(i) be the first derivative of -339*i**4 + i**3/3 - i**2/2 - i + 9. Is c(-1) a prime number?
False
Suppose 0 = -h + u + 2923, 3*u = 13*h - 12*h - 2915. Is h a composite number?
False
Let z(j) = -j - 8. Let f be z(-8). Let k = -6 + f. Let p(g) = 2*g**2 - 3*g - 1. Is p(k) a prime number?
True
Let o = -1041 + 2108. Is o a composite number?
True
Let c = 7129 + -3222. Is c composite?
False
Let p be 2*(6/3 - (-4)/8). Suppose -5*d - 3*k + 3 = -23, 20 = 4*d + 2*k. Suppose -2*t - 15 = -7*t, -d*m + 107 = p*t. Is m a composite number?
False
Let p(c) = -1. Let d(k) = -k**2 - 4*k - 5. Let u(h) = -d(h) - 3*p(h). Let j = -33 + 22. Is u(j) prime?
False
Let y = -3722 + 10430. Suppose 4*f - f - y = 0. Is (-4)/2*f/(-8) prime?
False
Let r be 23 + 1 + (8 - 7). Suppose -r*u = -20*u - 9745. Is u prime?
True
Let g be 2 - (-4)/8*18. Suppose g*s - 804 = 7*s. Is s composite?
True
Let k = 1626 - 1123. Is k a prime number?
True
Let b be (-1)/(-2)*0/(-4). Suppose b*n - 5*n + 7 = -o, 3*n = 3. Is (-1 + o/(-6))*-6 prime?
False
Suppose 4*j + y + 1428 = -3*y, 5*j = y - 1797. Let a = j - -622. Is a composite?
False
Let z(l) = -249*l**2 + 4*l - 5. Let t be z(2). Let j = 0 - -2. Is (t/6)/((-1)/j) a composite number?
False
Suppose -7*n + 20*n = 94315. Is n composite?
True
Let m(v) = 5*v**2 - 3*v + 1. Let u = -19 + 10. Let q = -5 - u. Is m(q) a prime number?
False
Let p(c) = 24*c**2 - 2*c - 7. Let d be p(6). Let t = -1310 + 758. Let w = t + d. Is w a prime number?
True
Let n(a) = 7*a - 22. Let g(i) = 3*i - 11. Let f(t) = -5*g(t) + 2*n(t). Let y be f(6). Suppose -450 = -q - q + k, -y*q = -4*k - 1131. Is q prime?
True
Let w(t) = 9140*t - 13. Is w(1) prime?
True
Let s(q) = -q - 4. Let x be s(-11). Suppose x*z = 5*z + 118. Is z/2*-1*-14 composite?
True
Let r(f) = -334*f**3 + 5*f**2 + 7*f + 3. Is r(-2) a composite number?
True
Suppose 0 = -9*k + 4*k + 24845. Is k a prime number?
True
Let m = 5702 - -13533. Is m composite?
True
Suppose 22*g = -0*g - 44. Let i(u) = 3 - 3 + 3 - 184*u. Is i(g) a composite number?
True
Is (1/(-3))/(8/(-127824)) a composite number?
True
Suppose -5*l = d - 9652 - 1364, 0 = -3*l - 5*d + 6614. Is l a prime number?
True
Let g = -1559 + 8814. Is g a composite number?
True
Let j(x) = 2*x + 4. Let g be j(-4). Let f be 2/(-4) + (-22)/g. Suppose -h - 151 = -5*z, 2*h = z - f*z + 132. Is z a composite number?
False
Suppose 5468 = -3*y - 4*k + 45795, -4*y + 53762 = -2*k. Is y a prime number?
True
Suppose -27*n - 15 = 147. Suppose 4*o + 3*q + 32 + 10 = 0, 3*q - 3 = o. Is (-124)/n*o/(-6) a prime number?
True
Let j(y) = 3*y - 10. Let k be j(5). Suppose 7*w + k*s = 2*w, 3*w + 8 = s. Let l(m) = 54*m**2 + 3*m - 1. Is l(w) prime?
False
Let x be (-3)/3 - (-6 - 1). Let g(m) = -4 - 2 + 15*m + 14*m + 10. Is g(x) prime?
False
Let b(r) = 9*r**3 + 4*r**2 - 7*r + 17. Let j(w) = -w**2 - 7*w - 7. Let k be j(-4). Is b(k) a composite number?
True
Suppose -4*u + 2 + 6 = 0. Is 1/((-4395)/2199 + u) a composite number?
False
Let d(f) = -2*f + 8. Let u be d(-8). Suppose 2*v = -v - u. Is ((-6)/(-9))/(v/(-3084)) prime?
True
Suppose -19*q - 1146 = -13*q. Is q*(-5)/(-10)*-6 composite?
True
Let r = 1232 + 2851. Is r a composite number?
True
Let d = 747 + 530. Is d a prime number?
True
Let b = 563 + -166. Is b a composite number?
False
Let r be 4254 + 4 + 1 - -4. Let p = r + -2610. Suppose -y - l + 555 = 0, -5*y + 3*l + p = -2*y. Is y a prime number?
False
Let x be (0 + 118)/((-10)/55). Let n = -1182 - x. Let o = -94 - n. Is o a composite number?
False
Suppose 0*b - 8642 = -2*b. Is b a composite number?
True
Suppose -41601 = -7*f + 26530. Is f a composite number?
False
Suppose 0 = -2*m + 17*t - 14*t + 111772, -m + 55885 = -2*t. Is m composite?
False
Let r(h) = -h**3 - 3*h**2 + 3*h - 1. Let y be r(-4). Suppose -2*c = y*d + 2*d - 4921, -5*c = 4*d - 3947. Is d a prime number?
True
Let n(b) = 10*b - 1. Let y(t) = t**3 - 4*t**2 - 7*t + 11. Let q be y(5). Let j be n(q). Let o(a) = 52*a - 1. Is o(j) prime?
True
Let h(s) = 5*s**3 - 7*s**2 + 2*s - 158. Let q(n) = 2*n**3 - 3*n**2 + n - 79. Let o(f) = 3*h(f) - 7*q(f). Suppose 3*v = 0, -g + 5*g = -2*v. Is o(g) prime?
True
Is 20715/2 - (15 + (-290)/20) composite?
False
Suppose -k + 3256 = -13347. Is k prime?
True
Suppose -5*m + 507 - 57 = 0. Suppose -1580 = -2*n - m. Is n prime?
False
Suppose 4*h - 24 + 8 = 0. Is h a composite number?
True
Let a(w) = 198*w - 19. Is a(26) a prime number?
False
Suppose -2*k = 4*f - 11622, -f - 5452 = 3*k - 22910. Is k prime?
True
Suppose m + 12394 = 4*n, -5*n + 6*m = 11*m - 15480. Is n prime?
False
Suppose 130*z - 131*z = -919. Is z a prime number?
True
Suppose -5*h + 216 = 2031. Let c = 916 + h. Is c prime?
False
Let q = -237 + -99. Let b = q + 495. Suppose 2*j - b = t, 400 = 4*j + j - 5*t. Is j a prime number?
True
Suppose 9 = 3*s + 2*l - 4, 4*l = -5*s + 23. Suppose -5*n + s*t = -t - 79, 12 = 3*t. Is n a composite number?
False
Suppose 5*d = 1679 + 196. Suppose 2 = 4*a - 2*t, 2 = -3*a - t - 4. Is (1 - 4) + d + a a prime number?
False
Let c(p) = -2*p + 8. Let w b