(v) = -7*v**2 + 8*v - 12. Let a be n(2). Let b be (1810/(-3) - 3)*a. Suppose 4*y + 2*p + b = 8*y, 14556 = 4*y - 4*p. Is y a prime number?
True
Let k(c) be the second derivative of c**5/20 - 5*c**4/6 + 11*c**3/3 - 2*c**2 - 31*c - 2. Suppose -9*o = -11*o + 18. Is k(o) prime?
True
Let h(y) = 25611*y**3 - y**2 + 1. Is h(1) composite?
True
Suppose 13*n - 9383059 = -3953392 + 10110988. Is n prime?
False
Suppose -5*i = 18*p - 15*p + 52833, 2*i - 6 = 0. Let k = p + 60409. Is k prime?
True
Let v = -2408 - -3910. Suppose -3*u + 2*u + v = 0. Is u prime?
False
Is -3 - (-1593231)/8 - 66/(-528) a prime number?
True
Let w be (165/2)/(3/(-354)). Let d be 1/(1 + (1 - 3) - -2). Is d/(w/2435 + 4) a prime number?
True
Is 259327 + ((-140)/34 - 6/(-51)) a composite number?
True
Let f = -198 - -200. Suppose -25500 = -f*x + 7006. Is x a composite number?
False
Let f(p) be the second derivative of -9*p**2 + 17/4*p**4 - 8*p + 1/3*p**3 + 0. Is f(-7) a prime number?
True
Let w(f) = f**2 - 10*f - 46. Let c be w(-4). Let n(z) = 1457*z - 81. Is n(c) composite?
False
Suppose 197299 = 2*d - 40635. Is d a prime number?
True
Let m(p) = p**3 + p**2 - 9*p - 8. Let s be m(-7). Let n = 560 - s. Is n a composite number?
True
Let t(x) = 325*x**3 + x**2 + 2*x - 3. Suppose 0 = g + 4*l - 2, 0 = -g + 3*g - 2*l - 4. Is t(g) composite?
True
Suppose 5*k + 4 = 4*h - 31, -2*h = -4*k - 16. Is (25/h - 1)/((-3)/(-212)) a composite number?
True
Is (-16295)/(-2)*3922/265 prime?
False
Is -1 + 170568 + (-2280)/(-190) prime?
True
Suppose 0 = -126*r + 7636106 + 23496100. Is r prime?
False
Let t(b) = b**3 - 5*b**2 + 2*b + 15. Let z be t(5). Suppose z*r - 23116 = 21*r. Is r a composite number?
False
Let n(m) = m**2 - 6. Suppose -c - 18 = 4*d, 0*d = 4*d + 2*c + 20. Is n(d) composite?
True
Let a be (-8)/3 + ((-8)/6 - -2). Let v be (2 - 6)*1/a. Is (1 - 2)*(-134)/v prime?
True
Let y = 24327 - -28364. Is y composite?
False
Suppose 4*p - 142657 = 3*p + k, 2*k = 4*p - 570628. Is p composite?
False
Let j(g) = -783197*g - 978. Is j(-1) a prime number?
True
Let g(f) = f**3 - 7*f**2 - 6*f - 18. Let l be g(8). Is (-5)/1 - (4328 - 0)/l prime?
False
Let v(p) = 14*p**3 - 45*p**2 - p - 63. Let b(j) = 7*j**3 - 22*j**2 - 32. Let n(m) = 5*b(m) - 3*v(m). Is n(-8) a prime number?
True
Let c(w) = -2*w**3 + 3601*w**2 - 1802*w**2 + 59 - 1802*w**2 - 13*w. Is c(-17) prime?
True
Let z be 51/(-8*(-4)/544). Is (-1270)/(-105)*z - (-12)/28 prime?
True
Let v = 13 - 9. Suppose -3*j + 6 = -4*s, 6*s = -4*j + v*s + 8. Suppose -4*u = -j*y - 2196, 0 = 5*u + 3*y - 2*y - 2759. Is u composite?
True
Suppose 5*v = 3*b + 17254 + 25939, -17271 = -2*v - 5*b. Let m be 423/94*(1 + v/(-6)). Let f = m + 13951. Is f a prime number?
True
Let n be ((-33)/15)/((-49)/(-245)). Let c(w) = -31*w**2 + 8*w - 18. Let v(q) = -32*q**2 + 8*q - 19. Let s(g) = -4*c(g) + 3*v(g). Is s(n) composite?
False
Let y be (112/(-203))/8 + 1323/261. Let i(p) be the third derivative of 11*p**5/15 - 3*p**3/2 + p**2. Is i(y) a composite number?
False
Is 1215/(-729) + (-2447432)/(-3) composite?
False
Suppose -4*s - h - 49 = -0*h, 46 = -4*s + 2*h. Is (-255612)/(-18) + -5 - s/9 composite?
False
Let k(i) = -368*i - 10111. Is k(-91) a composite number?
True
Let i(h) = 29*h**2 + 9*h + 13. Let w(k) = 30*k**2 + 8*k + 11. Let f(p) = -5*i(p) + 6*w(p). Is f(-3) prime?
True
Let k(t) = t**3 + 10*t**2 - 5*t + 21. Let j = 15 - 12. Suppose j*r = 4*r + 10. Is k(r) a prime number?
True
Suppose 190*k + 135 = 199*k. Suppose 0 = 10*b - k*b - 3*x + 28733, 22988 = 4*b + 2*x. Is b a prime number?
True
Suppose -384 = -2*a - a. Suppose -76 = 2*o - 2*f, -3*o - 3*f - 55 = 89. Let m = o + a. Is m a prime number?
False
Let w(g) = 44*g + 27. Let s be (2 - 5 - 2) + 6/6. Let v(x) = -43*x - 27. Let t(b) = s*v(b) - 3*w(b). Is t(7) a composite number?
False
Suppose -4*t - 5*c - 12 = 0, 3*t + 10*c = 5*c - 14. Suppose -3*f = 6, l = t*f - 3*f + 3. Suppose -l*y + 99 + 26 = 0. Is y prime?
False
Let w(t) = 13*t**3 + 1308*t**2 + 130*t + 168. Is w(-99) a prime number?
False
Let n be 1/(1 - 5 - -2)*8. Is -3 + (-31546)/n + (-16)/32 composite?
False
Let v(n) = n**3 + 5*n**2 + 9*n - 7. Let h be (-20)/35*42/(-4). Let q be v(h). Suppose 4*x = 3*x + q. Is x a composite number?
False
Is (-2 - (-9 + 3 + 18))/((-12)/2654922) composite?
True
Let a = 96126 + -32033. Is a composite?
True
Let x(m) = 2*m**2 - 10*m + 32. Let v be x(6). Suppose v*z = 31*z + 15951. Is z a prime number?
False
Let i be (5 + -8 + 1)/((-4)/15838). Is (-17 + 14)/((-3)/i) prime?
True
Let j(r) = r**2 - 25*r. Let o be j(25). Is -4 + 2365 + 2*(o - 1) a composite number?
True
Suppose 3*f = -4*q - 0*f + 1752571, -3*f + 876293 = 2*q. Suppose 35*z - 48*z = -q. Is z a composite number?
False
Let y = 80924 + 915. Is y a composite number?
False
Suppose 318*o = 327*o - 286749. Is o a prime number?
False
Let n(m) = 28*m**3 - 6*m**2 - 120*m + 1259. Is n(12) prime?
True
Let a be 7/14 - 3/(-2). Suppose -3*o = -n - 3367, -a*o + 3*n = -0*o - 2254. Suppose -8*i = -o + 273. Is i composite?
True
Let n(j) = j**3 + 5*j**2 - 6*j + 1. Let l(a) = -4*a - 1. Let i be l(-2). Is n(i) prime?
True
Let r(t) = t**2 + 12*t + 27. Let z be r(-11). Suppose -4*h = -n + 23467, z*n - 14*n - h = 46906. Is n a prime number?
False
Let t = 691030 - 249887. Is t a composite number?
True
Suppose -135219 - 110548 = -21*l + 611264. Is l composite?
True
Suppose w + 9 = 5, 2*s - 3*w - 2438 = 0. Let t = 2346 + s. Is t composite?
False
Suppose 0*s + 5*s = -50. Let f(q) be the third derivative of -13*q**6/120 - q**5/6 + 7*q**4/12 + q**3/2 + 887*q**2. Is f(s) prime?
True
Let o(g) = -101*g**2 + 29*g + 8. Let i(d) = 301*d**2 - 87*d - 23. Let y(m) = 4*i(m) + 11*o(m). Is y(-6) composite?
True
Suppose 2*s = f, f - 5*f + 2*s - 6 = 0. Is f/(-4) + (-1265)/(-10) prime?
True
Let v be 3 + (30 - 30/5). Suppose -v*h = 4195 - 73774. Is h a prime number?
False
Is (-4)/(-8)*4 - (171350 - -3)/(-7) a prime number?
True
Let t(q) = -q**3 + 11*q**2 + 3*q + 12. Let r be t(11). Suppose -5 + r = 8*v. Suppose y - 966 = -0*j + v*j, -3*j = 9. Is y a composite number?
True
Suppose k + 347177 = 3*d, -10*d = -13*d - 2*k + 347189. Is d a prime number?
True
Suppose -4*c + 13340438 = -5*f, 3*c + 11*f - 3804934 = 6200483. Is c composite?
True
Let u(l) = -l**3 - 27*l**2 - 6. Let s(k) = -2*k**2 + 10*k - 27. Let z be s(5). Let m be u(z). Is (-615)/(-5) - 0 - (m + 2) composite?
False
Suppose 47*o = 42*o + 10. Is o + (-55922)/(-18) - 2/(-9) composite?
False
Let n(i) = 2*i**3 - 129*i**2 + 116*i - 775. Is n(78) prime?
True
Let s(p) = 27*p + 1987. Let t be s(0). Suppose -d + 3*d = 2*g + 798, 5*d - t = 3*g. Is d a prime number?
False
Suppose -5*z + 41 = 5*w + 11, -w + 1 = -4*z. Let n be (-155)/w*-1*43. Suppose n = 2*y + y + 4*s, -5*y = 4*s - 2211. Is y a prime number?
True
Let m(n) = -n**2 - 8*n + 1. Let g be m(-7). Is ((-9980)/g)/(14/(-4) - -3) a composite number?
True
Let y(k) = 6*k**2 - 4*k - 5. Let g be y(-1). Suppose g*p + 20850 = 54865. Is p a composite number?
False
Suppose -3*s + s = -2*d + 10, -s - 2*d + 1 = 0. Let n be (-419)/((s - 1) + 5). Let i = 856 + n. Is i a prime number?
False
Is (-20)/(-2) + 95327 + 40 a prime number?
False
Let i = -131422 + 239325. Is i a composite number?
False
Is (187885 - -10) + -37 + 19 a prime number?
True
Let c(y) = 24*y**2 + 6*y + 2. Let z(g) = -23*g**2 - 6*g - 3. Let h(f) = 5*c(f) + 4*z(f). Let j be h(-9). Suppose -b + 5*b = j. Is b a composite number?
True
Let a(g) = 27*g**2 - 13*g - 193. Is a(13) a prime number?
True
Let j(g) be the third derivative of g**5/60 + g**4/4 - 23*g**2. Let t be j(-6). Suppose l - 3498 - 1807 = t. Is l composite?
True
Is (-7 + 3 - -5)/((-5)/(-2927735)) a composite number?
False
Let b = -32398 - -147339. Is b a prime number?
True
Let l(c) = -3*c + 2. Let z be l(-6). Suppose -5*d - z = 0, -3*u + 5*d = 3*d - 12389. Is u prime?
True
Suppose -2*o + 3 - 3 = 0. Suppose o = 16*k - 11*k - 7555. Is k prime?
True
Let t be (-6)/(-8) + (-328)/(-32). Suppose -h + 3*s + 6 + t = 0, 2*s + 4 = -3*h. Let c(q) = 199*q**3 + 4*q**2 - 6*q + 5. Is c(h) composite?
False
Suppose -19*v + 417376 = 20*v - 298937. Is v a prime number?
True
Let n(z) = -z**3 + z**2 + 3*z + 6. Let h be n(0). Suppose 12*j - h*j - 29730 = 0. Is j a composite number?
True
Let y(q) = -11449*q + 234. Is y(-13) a composite number?
True
Let