*v + 879. Is p(-11) prime?
True
Suppose 0 = -0*a + 8*a - 16. Let w be 809 - (a - 2 - -3). Suppose -2*v + 732 + w = 0. Is v composite?
False
Let p(r) be the third derivative of -r**4/24 - 9*r**3/2 - 14*r**2. Let n be p(-19). Let d(a) = -57*a + 17. Is d(n) a prime number?
False
Suppose -4503821 = -32*q - 53*q + 2620284. Is q a composite number?
False
Let o be (-2 + 2/4)*46/(-69). Let g be (-1 - 282/(-18))/(o/(-3)). Let s = 167 - g. Is s a prime number?
True
Suppose 0 = 3*j + 9, -m = -5*m - 3*j + 45339. Suppose 3*i - 5*i = 2*o - 22680, m = i + 4*o. Is i a prime number?
False
Suppose 2*f + 1920 = 2*s, -6*s - 3840 = 4*f - s. Let g = f + 3125. Is g prime?
False
Let z = 430599 - 259160. Is z a composite number?
False
Let v(d) = d**2 + d + 195. Let r be v(0). Is -1 + 50756/26 + (-30)/r composite?
False
Let r(y) = -4*y - 39. Let p be r(-15). Let v(q) = q**2 - 20*q - 14. Let f be v(p). Suppose -10*w + f*w = -354. Is w prime?
False
Let z(l) = 38965*l**2 - 171*l + 325. Is z(2) composite?
True
Let i(d) be the first derivative of -89*d**4/2 - 2*d**3/3 + 3*d**2/2 + 4*d - 508. Suppose 5*n = -5, 5*n - 2 = -4*f - 19. Is i(f) prime?
True
Let y(k) = -k**2 + 12*k - 33. Let p be y(6). Suppose -2*q + 2*w = 7*w - 2727, 4086 = 3*q + p*w. Is q composite?
False
Let w(k) = -2*k**3 - 35*k**2 + 59*k - 9. Let h be w(-27). Suppose 2*r = -7*r + h. Is r a composite number?
False
Let n = -43022 - -64789. Is n composite?
False
Is 773988/14 - (-67)/469 composite?
True
Suppose 8*d + 4721 = 2*l + 9*d, 3*d = 9. Is l a prime number?
False
Suppose 0 = -4*k - 134 + 162. Is 977*(84/(-147) - (-11)/k) composite?
False
Let y(p) = 23008*p**2 - 191*p + 104. Is y(7) a prime number?
True
Let b be 5*-6491 + 9 + (-7 - -2). Is (-44)/(-55) - b/5 a prime number?
True
Is -123*(2317/(-21) + 0) a composite number?
True
Let p be (-4028)/(-6)*(-9)/(-6). Suppose g = -4*z + 6384, z - 2*g + p - 2612 = 0. Is z prime?
True
Let u(j) = -j + 94. Suppose -4*f = 5*y - 115, 0*f + 5*f - 2 = -y. Is u(y) a prime number?
True
Suppose 23*u = 29*u - 126. Suppose u*g - 11027 + 548 = 0. Is g a composite number?
False
Let i = -48 + 52. Suppose -i*z = -4*h + 12, -2*h + 2*z + 3*z = 0. Suppose -363 = -f - h*n, 2*f + 1500 = 6*f - 4*n. Is f prime?
True
Let i(q) = -5*q**2 + 2*q - 16. Let h(k) = k**3 + 11*k**2 - 4*k + 33. Let y(t) = -3*h(t) - 7*i(t). Let m = -17 + 11. Is y(m) a prime number?
False
Let k(j) = 2*j**3 - 13*j - 14. Let f be k(-1). Is (-18 + 19)/(((-3)/8467)/f) a prime number?
True
Suppose -4*a + 2*k = -3*a + 2, 0 = 3*a + 2*k - 10. Suppose 2*x - f - 9116 = -4*f, 4565 = x - a*f. Is x a composite number?
False
Let k(d) = -d**3 - 5*d**2 + 8*d - 8. Let a be k(2). Is ((-133688)/a)/((-4)/(-10)) a prime number?
False
Suppose 43*z = 48*z + 3*o - 310960, 4*o + 62169 = z. Is z a composite number?
False
Let g(l) = -3*l**2 - 125*l - 84. Let c be g(-41). Is -3 - (-4)/c - -2 - -1660 composite?
False
Suppose 16*x + 137*x = 7591554. Is x composite?
True
Let g = 217848 + -138113. Is 35/(-20) - g/(-20) composite?
True
Let k(b) = 27860*b**2 + 2*b - 215. Is k(-4) a prime number?
True
Is (19/(19/(-693779)))/(-1) a prime number?
True
Suppose 15117 = -402*c + 405*c. Is c a prime number?
True
Let p be ((-2)/(-4))/(17/(-34)). Is 15540 + (-4 - -13 - (3 - p)) composite?
True
Let k(y) = -y**3 - 6*y**2 + 9*y + 16. Let z be k(-7). Suppose 3*l + z*l = 685. Is -1*(-1)/2*8 + l a composite number?
True
Let s = 90910 + -47646. Is -2 + s/24 + (-2)/(-6) a composite number?
False
Suppose 0 = 4*d - 4, -4*d = -5*r + 3*r. Suppose 4 = -r*l + 14. Suppose -8708 = o - l*o. Is o a prime number?
False
Let j = 38 - 34. Let m(p) = 127*p**2 + 3*p + 9. Is m(j) composite?
False
Let b(k) = 48105*k**2 + 330*k + 1327. Is b(-4) a prime number?
True
Suppose -4*y + 12*w + 1658936 = 16*w, 3*w + 1658915 = 4*y. Is y prime?
True
Suppose -9*f = -2*f - 49. Suppose -f*p + 26534 + 1172 = 0. Is p a composite number?
True
Suppose 3667*s + 5*g + 209651 = 3668*s, 0 = 4*s - 3*g - 838502. Is s a prime number?
True
Let s(g) = 752*g**3 - 33*g**2 + 12*g + 47. Is s(6) a prime number?
True
Suppose 5*c = 5*q + 317060, -2*c - 39*q + 40*q = -126829. Is c a composite number?
True
Let h(z) be the second derivative of 19*z**3 + 5*z + 0 + 15/2*z**2. Is h(7) composite?
True
Suppose 2*v = -h, -5*h = -7*v + 4*v. Suppose 9*j - 3488 - 7969 = v. Is j a composite number?
True
Let x(q) = 3*q**2 - 6*q - 13. Let i be x(6). Let g = i + -64. Is 916 + 0 - (2 + g) composite?
False
Suppose 0 = -h + 2, -2*w + 15 = 3*h - 7. Suppose -w*b - 34658 = -34*b. Is b a composite number?
True
Suppose -15*q = -10*q. Suppose b - 6*b - 1310 = q. Let h = 473 + b. Is h a prime number?
True
Let t(f) = -107 + 8*f - 6*f - 20*f**2 + 20*f + 562*f**2. Is t(4) prime?
False
Let q be (4/(-4))/(5 - 3120/625). Is (1016/(-48))/(4 - q/(-30)) a composite number?
False
Let i(r) be the second derivative of 10*r**4 + r**3/2 - 23*r**2 + 115*r. Is i(-9) composite?
True
Let d(z) = -3*z**3 + 22*z**2 - 7*z + 5. Let g be d(7). Suppose -138 = q - 5829. Suppose g*a = -2*o + 8797, 3*o + 4*a - 7494 = q. Is o prime?
True
Let y(r) = -121*r - 119*r + 188*r**2 + 361*r - 124*r. Is y(-2) a composite number?
True
Let b(u) = 1267*u - 90. Let h be 2 + -1 + (5/1 - 1). Is b(h) prime?
False
Let l(d) = d**2 - 15*d + 0*d**2 + d**2 - 1485*d**3 + 16*d. Is l(-1) a composite number?
True
Let g be (-37058)/(-56)*-4*1. Let n = 4340 + g. Is n a composite number?
False
Let t(b) = b**3 - 6*b**2 - 5*b - 7. Let p be t(7). Suppose -9*z + 9578 = -p*z. Is z a prime number?
True
Let q(y) = -1 - y - 2*y - 6 + 2. Let w be q(-2). Let a(k) = 1777*k**3 - k**2 - k + 2. Is a(w) prime?
True
Let v(x) be the second derivative of x**3 - 25*x + x**2 + 0 + 1/6*x**4 - 3/20*x**5. Is v(-3) composite?
False
Let r = 26 + -37. Let h = -7 - r. Is 201 - (2 - 16/h) a prime number?
False
Suppose -16 = 379*m - 387*m. Is 2 - m - 8/(64/(-4024)) a composite number?
False
Suppose -6077364 = -332*o + 3697712. Is o composite?
False
Let t(b) = 25*b**3 + 9*b**2 - 2*b + 59. Let q be t(8). Suppose -7*d + 16114 = -q. Is d a prime number?
True
Suppose 4*q - 3*i + 0*i = 5711890, 3*q = 3*i + 4283919. Is q a prime number?
False
Suppose t = -w + 130480, -3*w + 49*t + 391444 = 48*t. Is w a prime number?
False
Suppose 5*o - 1552 = 2*y, 13*o - y = 10*o + 932. Suppose 0 = 2*t - b - o, 3*t = -5*b + 325 + 130. Is t a composite number?
True
Let b = -690064 - -1180623. Is b composite?
False
Let y be 0 - 1 - (12 - (34472 - -13)). Suppose -2*i + 2*k + y = -0*k, 34481 = 2*i + k. Is i composite?
False
Let n be -5 + 4 + 2 - (42835 - 3). Let s = -28010 - n. Is s composite?
False
Suppose 6134 = -4*u + 19138. Let i = 3344 + u. Is i prime?
False
Let t(w) = 1686*w + 1339. Is t(24) composite?
True
Let r(o) = o**2 - 7*o + 6. Let m be r(2). Is (-1 - 5677)/(20/m - -3) a prime number?
False
Let l = 181076 - 57079. Is l prime?
True
Let o(s) = 226*s**2 - 12. Let b be o(-6). Suppose -2*w = -3*c + 6093, -3*c + w + b = c. Is c a composite number?
True
Suppose 0*m - 3*m - 45 = -4*p, 3*p - 40 = -4*m. Let c be (10/35)/(p/(-14) + 1). Suppose -5*s + 3*r = -1420, 0*r - 1445 = -5*s - c*r. Is s a prime number?
False
Let g(z) = -508*z + 1. Let a be g(-4). Is 4/2 + a + -42 prime?
True
Suppose 2*c + 2*c - 76992 = 0. Let m(k) = 8*k**3 - 382*k**2 - 96*k - 8. Let r be m(48). Is (2/(-1))/(c/2408 + r) composite?
True
Let g = -36 - -18. Suppose -20 = -10*a - 0. Is (-59558)/g - a/(-9) a composite number?
True
Suppose 10*o - 6 = 9*o. Suppose -13*d - 14 = -o*d. Is 164*(-1)/d*1 a prime number?
False
Let z(i) = 275*i**2 + 1 - 20*i - 14 - 257*i**2 + 188*i**2. Is z(-6) prime?
True
Suppose -10170 = 115*m - 110*m. Suppose -9394 = -4*t + 9570. Let b = t + m. Is b prime?
True
Let z = -25 + 23. Is 741/12 + 18/8 + z a prime number?
False
Suppose -a - 5*c - 18001 = 0, 0 = -4*a - 5*c + 10857 - 82921. Let p = a + 28028. Is p a prime number?
True
Suppose 3*h - 10 = -7, z - 32680 = 5*h. Suppose 6*m + z = 21*m. Is m composite?
False
Let u = 2778 + -1394. Let o = 3845 - u. Is o a composite number?
True
Let n = 217 - 212. Suppose 0 = -n*k + 2917 + 4438. Is k a composite number?
False
Let i = 84 - 95. Let s be (i + (1 - 0))/(51 + -53). Suppose 6*t - s*t - 1471 = 0. Is t a composite number?
False
Suppose 4*a + 2*h = 73176, -2*a + 61*h + 36584 = 60*h. Is a a prime number?
False
Let p(u) =