 399. Is f prime?
True
Let v = 4038 - -766. Let r be (-1110*1 + -1)*3. Let w = r + v. Is w composite?
False
Let s(q) be the first derivative of 22*q**3 - 8*q**2 - 15*q + 199. Is s(-11) prime?
True
Suppose -36 = 8*y + 12. Is y - 3*(-64631)/21 a composite number?
False
Let f(v) be the third derivative of -71*v**4/12 - 5*v**3/6 - 2*v**2. Let d be f(4). Let o = d - -880. Is o a prime number?
True
Suppose 3*z - 146 = -5*c, 0*z + 50 = 2*c - 3*z. Let y(w) = -c*w - 1 - 53*w - 66*w. Is y(-2) a composite number?
False
Suppose 70 = 5*q + 9*q. Suppose -82742 = -16*a + q*a. Is a a prime number?
False
Suppose 54*s + 4497888 = 86*s. Is s prime?
False
Let w(c) = 233*c**3 - 9*c**2 - 26*c + 31. Is w(7) a prime number?
False
Let z(j) = 8*j**3 + 10*j**2 + 36*j + 4. Let a be z(17). Is (-1)/(-5) - a/(-75) prime?
True
Let n be (-5 + -11 + 6)*2/2. Let z(w) = w**2 + 7*w - 25. Let o be z(n). Suppose -3*y = -5*x - 2124, 4*x + 1253 = o*y - 2274. Is y a composite number?
True
Let b = -27 - -31. Let g be -82*(4 + -2)*(-14)/b. Suppose 3*f = t + 2198 - g, 3*f - 2*t = 1625. Is f a prime number?
True
Let g(x) be the second derivative of x**5/10 - x**4 + 6*x**2 - 20*x. Let p be g(10). Suppose -p = -5*q + q. Is q prime?
False
Suppose -9*c = -18*c + 45. Suppose -4*t = q - 10971, c*q - 5573 = 4*t - 16550. Is t a prime number?
False
Suppose -17*b = -10*b - 56. Let o(s) = 5 + 2 + 0*s**2 - 9*s + 8*s**2. Is o(b) prime?
False
Let y(f) = -f**2 + f. Let z(u) = -u**3 - 4*u**2 - u - 2. Let j(h) = -y(h) - z(h). Let l be j(-5). Is 4 - -1*(l - 0 - 3) a composite number?
False
Let p be (-45662)/(-3) - -2 - (-54)/(-81). Suppose -4*j + p = -9230. Is j composite?
False
Let s(u) = -188*u - 34. Let i(j) = -188*j - 35. Let l = -1 - -8. Let a(h) = l*i(h) - 6*s(h). Is a(-6) a prime number?
True
Suppose 4*a - 1 = -4*y + 3, -5*a + 8 = 4*y. Suppose -7 = -a*l + 9. Suppose -2893 = -3*b - l*z, z = -b + 2*b - 955. Is b composite?
True
Suppose -2*b + 2 = 0, -3*v - 795 = b - 2761. Is v a prime number?
False
Suppose -5*r = -o - 2083 + 12110, 2*o - 20098 = -r. Suppose -s - o = -4*s. Suppose 0 = 2*h - 3*f - 2128, 3*h = f + s - 164. Is h composite?
False
Suppose 17 + 49 = 3*b. Suppose -z + 0*j + 4*j = -18, 5*z - 3*j - b = 0. Is 4 - (-2 - 3981 - z) a composite number?
False
Let w = 22190 - 13024. Let p = w - 2219. Is p prime?
True
Is (-3)/(4*15/(-39460)) prime?
True
Suppose 0 = -7*k + 4*k - 4*z + 2625, -2*k - 2*z = -1752. Is k composite?
True
Is -1*(2/(-4))/(6/(-26569092)*-11) composite?
False
Let n = -945 - 2695. Is 7 - -2 - 6 - n a composite number?
False
Suppose -8*n + 6*n + m - 36812 = 0, 2*m - 4 = 0. Is ((-6)/9)/(30/n) a prime number?
True
Suppose 7*n - 93351 = -3*a + 3*n, 3*a = n + 93366. Is a a composite number?
False
Let y = 267052 - 55125. Is y prime?
True
Suppose 0 = 2*z + 2*j - 4, 3*j + 50 = 5*z. Suppose -38*h + 80 + 34 = 0. Suppose -3*l + z*l = 4*r + 6052, r - 4531 = -h*l. Is l a prime number?
True
Let q(y) = -4*y + 52. Let u be q(12). Suppose 3*g = -p + 432, u*p + 3*g + 745 = 2518. Is p a composite number?
True
Suppose -229977 - 1973371 = -28*s. Is s composite?
False
Suppose 0 = -3*j - n + 8, -3*j + 5*n + 12 = -5*j. Let a(r) = r**3 - r**2 - r + 1. Let u be a(2). Suppose 367 = u*x - j*w, -2*w - 485 = -4*x - w. Is x composite?
True
Let b be (29924/(-8))/((-2)/24). Let h = -22117 + b. Is h a composite number?
False
Let k = 811369 - -59614. Is k a composite number?
False
Let s = -42 + 46. Let q(p) = 49*p**3 + 4*p**2 - 9*p + 5. Let f be q(s). Let k = f + -1175. Is k a prime number?
False
Let d(y) = 490*y**2 - 40*y - 127. Is d(-39) prime?
True
Suppose 5266*b - 2941552 = 5250*b. Is b a composite number?
True
Let c be (11 - 20)/((-2)/(-1 + 3)). Suppose 24*l = 21*l + c. Suppose l*j - 5*j = -518. Is j prime?
False
Let t(r) be the third derivative of 95*r**4/8 + 32*r**3/3 + 31*r**2. Is t(17) composite?
False
Let u(d) = -104*d + 3. Let y(c) = 104*c + 1. Let j(a) = -208*a - 1. Let s(t) = 4*j(t) + 7*y(t). Let p(n) = -4*s(n) + 5*u(n). Is p(-2) a prime number?
True
Let c(w) = 102*w - 11. Suppose 2*a = 2*t - 5*t + 258, -2*t + 4*a + 156 = 0. Let o be 1/(-4)*-2 + t/24. Is c(o) composite?
False
Let n(v) = 11*v**2 - 26*v + 6. Suppose -6*w - 15 + 75 = 0. Let d be n(w). Is (-2 + d)*3/12 a prime number?
True
Suppose 0 = 2*l + 3*j - j - 9620, -5*l - 2*j = -24041. Suppose 0 = -4*g - 5*h + 19004, 4*g - 23811 + l = 5*h. Is g a prime number?
True
Suppose 11*j = 23293 + 18551. Let b = 6951 - j. Is b composite?
True
Suppose -188*j - 7414418 = -234*j. Is j composite?
True
Let m = -2007 + 3559. Suppose 3*c - 4*q - 6999 = 0, -4*c + 10884 = q + m. Is c a prime number?
True
Let g = 57796 - -418605. Is g prime?
True
Suppose 98454 = 2*a + 2*b, 33*a + 3*b + 147657 = 36*a. Is a prime?
True
Let h = 18359 - -22138. Is h composite?
True
Let j(v) = -1715*v + 256. Let f = -534 + 517. Is j(f) prime?
True
Let x(s) = 105*s**3 + 2*s**2 - 5*s + 4. Let g = -27 + 44. Suppose g = -2*a + 19. Is x(a) composite?
True
Let d(z) = -z**2 + 54*z - 58. Suppose -2*o + 42 = -5*f + 3*f, f = 3*o - 63. Is d(o) a composite number?
True
Suppose 0*v + 2*v - 3*h = -696, -4*v - 1392 = 3*h. Let a = v - -528. Suppose 3*t - a = -3*q, -2*t - t = -2*q - 170. Is t a composite number?
True
Suppose -132117 = -53*j - 64*j + 1206012. Is j a composite number?
False
Let m = -634 - -638. Suppose 3*r - 1011 = -5*b + 19292, 3*r = -m*b + 20299. Is r prime?
True
Suppose -1016 = -7*f + 5179. Suppose 0 = z - f - 2012. Is z composite?
False
Let k = -424 + 426. Suppose -4*b - k*b + 9942 = 0. Is b prime?
True
Let z = -99303 - -258500. Is z composite?
True
Suppose -15*f + 2*f = -1001. Suppose -f*l = -69*l - 23448. Is l a composite number?
True
Let t = 303452 - 162214. Is t a composite number?
True
Suppose 93796 + 114685 + 1051022 = 23*k. Is k a prime number?
False
Let u = 64 - 61. Let i be -5 - (12/u)/(-1). Let m(b) = -126*b + 1. Is m(i) a prime number?
True
Suppose -2*d = 10, 1223 = -3*w - 23*d + 22*d. Let o = w + 1409. Is o prime?
False
Let s = 86 + -84. Suppose -s*v + 4*n + 7326 = 0, -7*v + 2*v + 18322 = -3*n. Is v a prime number?
False
Let x(m) = -33*m**2 - 10*m - 6. Let r(v) = v**2. Let f(w) = 4*r(w) - x(w). Suppose 0 = -5*k - 2*d + 45, -4*k + 5*d - 45 = -9*k. Is f(k) a prime number?
False
Let q(u) = -6792*u + 103. Let s = 288 + -292. Is q(s) a composite number?
False
Is 1898145/7 - (-704)/(-1232) a prime number?
True
Let q = 28794 - -20293. Is q a composite number?
True
Suppose 4*l + 3*z - 40022 = 0, 0 = 3*l + 7*z - 4*z - 30015. Is l composite?
False
Let h(s) = s**3 - 7*s**2 + 9*s - 15. Let u be h(6). Suppose 0*v = -3*v + 4*f + 27697, -u*f = -6. Is v a composite number?
True
Is (1 - -1273671 - (52 + -49))*1 composite?
True
Let l = 373 - 367. Is 94904/28*21/l a prime number?
True
Let p = -39 - -41. Let u = -39 + 580. Suppose -5*v + u = 3*f, -716 = p*f - 6*f - 4*v. Is f composite?
True
Let s = 119586 + 94865. Is s a composite number?
False
Suppose -3*k - 2*t = -69085 - 26568, -4*t + 8 = 0. Is k composite?
False
Let g = 608354 + -198940. Is g a composite number?
True
Suppose 0*m + 5*m - 50 = 3*p, -m = -3*p - 22. Suppose -o = -4*u + 40, -3*u - 40 = -m*u - 4*o. Suppose u*y + 3*y - 16133 = 0. Is y a prime number?
False
Let c = -32 + 24. Let b be (6/(-9))/(c/324). Suppose -b*w + 2084 = -23*w. Is w a prime number?
True
Let n = 18384 - -42055. Is n a prime number?
False
Suppose -t + 906 = -0*t. Suppose 0 = -16*v + 14*v - t. Let p = v + 950. Is p a composite number?
True
Let y(q) = -q**3 + 5*q**2 + 4. Let x be y(5). Let m(r) be the first derivative of 240*r**2 + 29*r + 13. Is m(x) a composite number?
False
Let t = 55847 - 38994. Is t a composite number?
True
Suppose 5*s = 3*x + 227420, 0*s - 4*s - 5*x = -181899. Is s composite?
False
Let b = 7613 - 3946. Suppose -3205 = -8*l + b. Is l composite?
False
Let w = 16976 + 5367. Is w prime?
True
Suppose -4 = 2*g - 3*a, -3*g - 2*g + 4*a - 17 = 0. Let m(y) be the first derivative of -81*y**2 - 13*y + 1. Is m(g) prime?
True
Suppose -t = -2*t + 2. Suppose -3*c + 33*n = 28*n + 19, -c - 3 = -n. Is (-1)/t - (c + (-1619)/2) prime?
False
Suppose 0 = -47*o + 44*o - 6090. Let y = -309 - o. Is y a prime number?
True
Let s = 55510 - 13139. Is s prime?
False
Suppose -37*n + 8264928 = 2734655 - 3374776. Is n prime?
True
Suppose 122*j = 121*j + 4. Let f(q) be the se