omposite?
False
Suppose 0 = 4*x - x - 3*t - 41226, -3*t = 3*x - 41244. Let b = 27516 - x. Is b a prime number?
False
Let y(m) = m**3 - 5*m**2 + 6*m - 6. Suppose 4*w + 3*w = 28. Let s be y(w). Is s/(-8) + (-4330)/(-8) a prime number?
True
Suppose -1779 = -v + 250 + 14700. Is v prime?
True
Let v(k) = k**2 + 11*k - 10. Let l be v(-12). Let r be (1/l)/((-16)/896). Is (-30444)/r + 2/(-7) a prime number?
True
Is 26870*8 - 11/((-44)/28) a prime number?
True
Suppose r - 4*i = 343149, -23*r + 13*i = -20*r - 1029455. Is r a composite number?
True
Let t(n) be the second derivative of -57*n**6/40 - n**5/30 - n**4/12 - 7*n**3/6 + 9*n**2 - 29*n. Let b(l) be the first derivative of t(l). Is b(-2) prime?
False
Suppose 22*b + b + 0*b = 36041. Let r be -2330*(-1 - 7/(-5)). Let g = b + r. Is g a composite number?
True
Let n(x) = 127823*x**2 - 2*x. Let v be n(-1). Suppose 6*z - z = v. Is z a composite number?
True
Suppose 697 = -13*q + 12*q. Let m = 492 - q. Is m composite?
True
Let m(s) = 19*s**2 + 44*s + 15. Let u(l) = -8*l**2 - 8*l + 8. Let k be u(1). Is m(k) a prime number?
False
Let q = -12 + 17. Let k = -6474 + 9814. Suppose -k = q*d - 14115. Is d prime?
False
Suppose -2*x + 11734 = -3*s - 5194, 16933 = -3*s + x. Let r = 9635 + s. Is r prime?
True
Suppose 0 = -5*j + 3*o - 9787 + 46518, j - o - 7345 = 0. Suppose j - 1164 = 4*r. Is r composite?
True
Let c = 73486 + 21915. Is c a composite number?
False
Let i(o) = 1165*o**2 + 2*o - 55. Is i(8) a composite number?
False
Suppose -8 = 4*d, -2*r - r + 5*d = -16. Let h be (-22)/11 + 2*r. Suppose -2141 = -2*y - t, 4*y - 2144 = h*y - 2*t. Is y a prime number?
True
Suppose -69*i + 164*i - 75003545 = 0. Is i a composite number?
False
Let x(t) = 3*t**3 - 7*t**2 + 5*t + 2. Let v be x(3). Suppose -v = -10*n + 25. Is -2 + 0 + n + 7*42 a composite number?
True
Let v be 2/(-5)*-10 - -2. Let c(q) = q**2 - 3*q - 6. Let p be c(v). Suppose -p = 4*z, 2*m + 5*z - 80 = 39. Is m prime?
True
Let i = -258 + 4730. Suppose -35*l + 31*l = 2*o - 6868, -2*o + 8583 = 5*l. Suppose l - i = -3*s. Is s a composite number?
False
Suppose -9*k - 41 + 5 = 0. Is 3 + 3636 - k/8*-4 prime?
True
Suppose 6 + 9 = 3*g, -3*x + g - 11996 = 0. Let m be 2/(-4) - x/14. Let a = -62 + m. Is a prime?
True
Let z(c) = 142462*c + 2063. Is z(3) a prime number?
True
Suppose 3*z - x = 4*x - 8, -3*x = z - 16. Suppose z*i = -i + 20. Suppose -4*a - 2*f = -6*f - 1336, -i*a + 1381 = 5*f. Is a composite?
True
Suppose 1 = -0*t + t, 0 = 4*x - 5*t + 13. Is (-2381)/(-1*x/(-4)) composite?
True
Is (10/(-70))/((-12)/1399692) composite?
True
Let u(a) = -13695*a - 1927. Is u(-4) a composite number?
True
Let w(q) be the third derivative of q**5/60 + q**4/8 + q**3/6 + 953*q**2. Let c be (-40)/7 + (-4)/14. Is w(c) a composite number?
False
Let x(y) be the third derivative of -67*y**4/12 + 5*y**3/6 + 26*y**2 - 3. Let j(i) = -i + 3. Let f be j(7). Is x(f) composite?
False
Let s be 12036/357 - 2/(-7). Let j(a) = 89*a + 21. Is j(s) composite?
True
Let h be (4/6)/((-13)/(-234)). Suppose h + 8 = 2*c. Is (4505/c)/(3/6) composite?
True
Let u(g) = 1049*g - 2322. Let m be u(3). Suppose -n + 6*w = 4*w + 7260, -36356 = 5*n + 4*w. Let p = m - n. Is p composite?
False
Let q(l) = -1859*l + 26. Let t be q(3). Let s = 1012 - t. Is s a prime number?
True
Let d = -16 - -19. Suppose 10 = 2*q + d*q. Suppose -q*v - 2*b = v - 679, 2*v = -3*b + 461. Is v prime?
True
Let b be -3*(-6)/(-18) + 1*2. Suppose -2*o = -3*z + 6997, -4*o = -3 - b. Is z a prime number?
True
Let x(y) = 138*y**2 - 19*y - 272. Is x(-21) composite?
True
Let d(x) = -x**3 + 5*x**2 - 3*x - 4. Let n be d(3). Suppose -c - 16 = -6*v + v, 4*v + 4 = n*c. Suppose -v*y - y = -1315. Is y composite?
False
Let b(q) = -154*q**3 - 2*q**2 + q - 2. Let o be b(2). Let m = -616 - -4399. Let a = m + o. Is a a composite number?
False
Let j(x) = x**3 - 23*x**2 + 22*x - 5. Let y be j(22). Let d(h) = -h**2 - 6*h - 5. Let c be d(y). Suppose -6*m + 3*m + 1039 = 2*v, c = -4*v - 4. Is m prime?
True
Suppose 3*z - j = -4460, 3*z + 5307 = 2*j + 842. Let k = z - -2096. Is k prime?
False
Suppose 2*b + 14 = 4*d, -2*b + 0*d = d - 6. Is 2 + 369/b + 36/18 a composite number?
False
Is (1276/232)/((-2)/(-4276)) composite?
True
Suppose 7*z = -3*n + 8*n - 329131, -5*n + 329104 = 2*z. Is n composite?
True
Let o be (1 + -49)*((-459)/12 - 0). Let q = o - 623. Is q composite?
False
Let t be -84*((-212)/(-16) - 6). Let o = 1724 - t. Is o composite?
False
Suppose -v - 4*v = 13365. Let q = 5822 + v. Is q a composite number?
True
Let r = -3676 - -11176. Let w = 2033 + r. Is w prime?
True
Suppose -50*x - 210645 = -5*u - 55*x, 4*x = 2*u - 84270. Is u composite?
False
Let n(m) = m**2 - 5*m - 1. Let s be n(5). Let b be (s/(-3))/(4/12). Is b/(-2) + 16450/28 a composite number?
False
Suppose 2494*i - 21558582 = 2440*i. Is i a prime number?
False
Let h(f) = -f**3 + f**2 + 3*f - 43. Let t be h(-10). Suppose -t = -7*d + 9375. Is d prime?
False
Is (-224)/(-98) + 2/(-7) + 98577 a prime number?
False
Let d(s) = s + 2. Let b(o) = 2*o**3 + 5*o**2 - 9*o - 15. Let z(g) = -b(g) + 2*d(g). Let h = 13 - 19. Is z(h) composite?
True
Let u(p) be the second derivative of 0 - 11/6*p**3 + 19/2*p**2 + 1/12*p**4 - 2*p. Is u(-13) a prime number?
True
Suppose -5 = -6*c - 17. Is (11991/14*c)/((-6)/2) a prime number?
True
Is 100150 - -3 - (-51 - -47) a prime number?
False
Let b(w) = -3*w**3 - 4*w**2 - 7*w - 12. Let x be b(-7). Let i = 1821 - x. Is i prime?
False
Suppose -1169*v - 238805 = -1204*v. Is v composite?
False
Is 727730 + 2/2*(-15)/30*2 prime?
True
Suppose 3*h = -9*h + 118668. Let u = h + 4890. Suppose -4*w + u = -3*w. Is w prime?
True
Suppose -s - 2671767 - 1070081 = -2*a, 0 = -5*a + s + 9354629. Is a composite?
False
Let w(m) = -m**2 + 14*m - 24. Let l be w(2). Suppose 2*o + 4802 - 17008 = l. Is o a composite number?
True
Suppose 11 = d + 9, -3*z + 2*d = -10211. Suppose 0 = q - 42*t + 40*t - z, -10231 = -3*q - 2*t. Is q prime?
False
Let q be (-50)/(-4) + (-1)/2. Is 6/q*-6*(0 - 1693) composite?
True
Let t = -4663 + 63902. Is t a composite number?
False
Is 7 + -2 + 63/9 + 5485 composite?
True
Suppose -10*z + 13*z - 75 = 0. Suppose 3*j = -2*j + z. Suppose n - 501 = -4*o, -3*n + j*o = -1680 + 262. Is n composite?
True
Let j = -23 + -7. Let y(o) = 4*o**2 - 63*o - 59. Is y(j) a composite number?
False
Suppose 2*b = -t + 98183, -4*b + 294545 = 34*t - 31*t. Is t a composite number?
False
Suppose -794 = -q + 90. Suppose 5*d - q = -r, 0*r + 2*d - 4443 = -5*r. Is r composite?
True
Let u be 2472/16*(-34)/(-3). Suppose -2*g + u = -749. Suppose -2*q - 2*q = 4*k - 2512, 4*q = -2*k + g. Is k a prime number?
True
Suppose -6*n - 3036 = -2*n. Let r(k) = -k**3 - 12*k**2 - 2*k - 37. Let q be r(-17). Let h = n + q. Is h a composite number?
False
Let h(x) = 3987*x**2 + 173*x - 877. Is h(6) a composite number?
True
Let b be (9*4/6)/(12/16). Suppose 12 = c + 4*s, 5*c - 1 - b = -3*s. Suppose 0 = 5*k - c*y + 3*y - 2600, 0 = k + 2*y - 527. Is k a prime number?
False
Let z(g) be the second derivative of -g**4/6 - 13*g**3/6 + 11*g**2/2 - 8*g. Let a be z(-6). Suppose 14*d + 3414 = a*d. Is d a prime number?
False
Let z(q) = 136*q**2 - 16*q - 17. Let f be z(-8). Suppose 0 = 23*x - 8826 - f. Is x prime?
False
Let j(o) = -42*o + 9. Let k be ((-117)/(-5))/((-4)/((-160)/12)). Suppose -4 = -k*f + 79*f. Is j(f) composite?
True
Suppose 4*o = -b + 16, -4*b + 4*o - 1 + 5 = 0. Suppose -4 = -b*z - 4. Suppose 0 = -5*p - 0*p + 4*h + 6081, z = -5*p + 3*h + 6077. Is p prime?
True
Suppose 50*d - 51*d = 4*g - 457248, 228606 = 2*g - 4*d. Is g prime?
True
Let f be -5 + 209 + (6 - 1). Suppose 3*m + 4*a = 5*a + 171, 4*m = -5*a + f. Suppose -52*p = -m*p + 5912. Is p prime?
False
Suppose -25 = -3*y - 5*a, -2*y + 35 = -y - 5*a. Suppose 0 = -y*g + 5921 + 2224. Let h = 214 + g. Is h a prime number?
True
Let c = 115026 + -52295. Is c composite?
False
Suppose -3*a = -n - 6*a + 42905, -5*n + a = -214445. Let i = -24433 + n. Is i a composite number?
False
Is (-1 - -14149) + 25/(-5) prime?
True
Let b(q) = -4510*q**3 - 21*q**2 - 22*q - 9. Is b(-4) prime?
True
Let r = 27325 + 4854. Is r composite?
True
Let o(b) be the second derivative of 7*b**5/20 - 4*b**3 - 6*b**2 + b + 36. Is o(11) prime?
True
Let q be 8175/30*((-48)/1)/(-3). Suppose -5*z + q = 5*u, -239 - 2379 = -3*z