c - 5*b + 839 = 0, 0 = 4*c - f*b - 848. Is c composite?
False
Let h be (-11)/77 + 29/7. Is 326/h*(-14 + 16) a prime number?
True
Suppose -2157304 - 996740 = -68*m. Is m a prime number?
False
Let x(t) = -593*t - 2. Let d be x(-2). Let v = d - 762. Is v prime?
False
Let f(u) = 2*u + 1. Let k be f(2). Suppose -4*r = 13 - 1, k*r + 428 = d. Is d prime?
False
Let f be 64/(-6)*(-33)/(-11). Let l = -28 - f. Is 791/(l + -4 + 1) composite?
True
Let a be -2 - ((-8)/4 - 45). Suppose -2*g = -a + 37. Suppose 2*i + 2*s - g*s - 186 = 0, i - 105 = 4*s. Is i a prime number?
True
Let u(t) = 137*t - 35. Let v be (-1)/(15/18 + -1). Is u(v) prime?
True
Suppose 3*j + 6 = 0, 22788 = 2*d - 3*j + 1716. Is d a composite number?
True
Suppose 0 = 5*u - u + 5*r - 124, 0 = r. Is u a prime number?
True
Is (-20)/(-2) - 11 - (-3386 - 0) prime?
False
Let i(w) = -w**2 - 2*w + 51. Let y be i(0). Let x = 160 + y. Is x prime?
True
Suppose 3*m + 0*m - 24 = 0. Suppose -m = -2*i - 0. Suppose f - 640 = -5*p, i*f = -2*p + 2*f + 264. Is p composite?
False
Let q = -21 - -21. Suppose -5*v + 4*m + 22 = 0, q = v - 3*v - 2*m - 2. Is (2/(-4))/(v/(-1324)) composite?
False
Suppose 0 = -4*c + 4*f + 334748, -17*c + 2*f = -18*c + 83684. Is c a prime number?
False
Let u be (-4 - (-108)/(-8))/(1/(-12)). Let z = -47 + u. Is z a composite number?
False
Suppose 4*q = -4*c + 37860, 14*c + 3*q + 28383 = 17*c. Is c a prime number?
True
Let j = 70 - 65. Suppose 4*r - 4574 = -2*l, r - j*l - 10 = 1150. Is r prime?
False
Let k(z) = 14*z. Suppose 2*b - y - 10 = 0, y = -5*b + 6*y + 15. Let o be k(b). Suppose 0 = 2*w + 6 - o. Is w composite?
True
Let y(d) = -d**3 - 4*d**2 - 4. Let o be -6 + (-8 - -4)/(-2). Let s be y(o). Is (3/s)/((-6)/552) a prime number?
False
Let v be 4/(-6) - 28756/(-78). Let s = -79 + v. Is s prime?
False
Let u = -34 + 51. Suppose u - 36 = -r. Is r composite?
False
Is (-3)/(-15) - (2 - (-33158)/(-10)) a prime number?
False
Let u = -39 + 39. Suppose u = -2*a - 2*a + 1036. Is a prime?
False
Let p(h) = -h**2 - h - 18. Let m be p(0). Let o be (m/4)/((-6)/204). Suppose -314 = -r + o. Is r a composite number?
False
Let w(r) = -2*r**2 + 6*r. Let x(y) = y**3 + 15*y**2 + 13*y - 11. Let l be x(-14). Let s be w(l). Suppose -4*j + 704 - 76 = s. Is j composite?
False
Let m be (-1)/(-1*1) + -254. Suppose -6*h = -29*h + 8740. Let x = m + h. Is x prime?
True
Let y = 461 - 42. Is y a prime number?
True
Let d(n) = -n**3 + 6*n**2 - 2*n - 3. Let u be d(6). Is (-6192)/u + (-5)/(-25) composite?
True
Let n(h) = -5*h - 7. Let k be n(-2). Suppose 75 = 5*x + 5*u, k*x - 4*u + 5*u - 39 = 0. Let c(a) = 2*a**2 - 19*a + 17. Is c(x) a prime number?
False
Let z(w) = -113*w**3 + w**2 - 1. Let v be ((-6)/4)/((-18)/(-12)). Is z(v) prime?
True
Let t(b) = 28*b - 26. Let j be t(9). Suppose -k - 2*o + j = 3*o, -5*o = -2*k + 407. Is k prime?
True
Let u(g) = 30*g**2 - 1. Let i(b) = -b**2 - b - 1. Let s(r) = -3*r**2 + 11*r + 2. Let w(n) = -2*i(n) + s(n). Let h be w(13). Is u(h) a composite number?
False
Let f be (5/(45/(-498)))/(8/36). Let h be (6/3 - -2) + 2. Is (f/(-4))/(h/16) prime?
False
Let i(d) = d**3 + 46*d**2 + 43*d + 33. Is i(-34) composite?
True
Suppose -6*q = -5*q - 1126. Is q a composite number?
True
Let t(h) = 2*h**2 - 6*h + 11. Suppose 2*u + 24 = -0*u. Let q be (4/u)/(2/(-36)). Is t(q) a composite number?
False
Let h(x) = -x**3 + 9*x**2 + 8*x. Let g be h(10). Let q = g + 18. Is (-129)/(-1) + 4/q prime?
True
Suppose 5*i = -15, -a + 2*a + 2*i = 7. Let v(q) = -6*q**2 + q + 4. Let s be v(a). Let w = 1486 + s. Is w composite?
True
Let f(i) = -i**2 + 5*i**2 + 5*i - 3 - 3*i**3 - 13*i - 8*i**2. Is f(-2) prime?
False
Let m(d) = -5*d + 2*d**2 - 4*d - 3242*d**3 + 4*d + 3*d. Let i be m(1). Is i/(-5) - 24/(-40) a composite number?
True
Suppose 6*f - 3*f - 2*k = 9, 2*f = -k + 6. Suppose -115 = -f*q + 179. Let r = 657 - q. Is r prime?
False
Is (2/(-4) - 1)*9094/(-3) a prime number?
True
Let j be 1/8 + (-165)/(-24). Suppose 5*m + 174 = j*m. Is m composite?
True
Is (-90090)/(-60) + -2 + (-6)/(-4) composite?
True
Let p(a) be the third derivative of 13*a**7/1008 + 7*a**6/720 + a**5/20 + 7*a**2. Let o(z) be the third derivative of p(z). Is o(4) prime?
False
Let d(z) = -803*z - 39. Is d(-11) a composite number?
True
Let q = 26 + -23. Is 1061*(-2 + q) - 0 a composite number?
False
Let v be (-4)/(-16) + (-76)/(-16). Suppose -v*j - 3*b + 2976 = 0, 3*b + b + 12 = 0. Is j a composite number?
True
Is ((-2)/10)/(8/(-1300112 + -8)) composite?
False
Let g(j) = j - 3. Let z be g(4). Let l be -3 + -3*(z - 2). Suppose 4*h + l*h - 160 = -m, -h - 4*m + 55 = 0. Is h a prime number?
False
Let h(q) = 481*q - 41. Let f(s) = -2*s - 1. Let c(p) = 3*f(p) - h(p). Is c(-17) a prime number?
True
Suppose 2*s - 63 = -2*s - 5*u, -33 = -4*s + 5*u. Let t(b) = b**3 - 13*b**2 + 12*b. Let y be t(s). Suppose 4*r + y*r - 596 = 0. Is r prime?
True
Let l be -5*(-1 + 6/(-10)). Let o be 117/(-6*1/l). Let f = -77 - o. Is f a prime number?
True
Is ((-4313)/(-2))/((-2)/((-4)/1)) composite?
True
Is 2/(6 - (-31024)/(-5171)) prime?
True
Let m = 25355 - 6958. Is m composite?
False
Let z(d) = -3*d + 5. Let u(k) = 3*k - 5. Let n(h) = -6*u(h) - 5*z(h). Let l be n(2). Is (l + 2)*-3 - -80 a composite number?
True
Suppose 0 = -w + 2*a + 2, 5*a - 2*a = -w - 3. Let n = 35 - -656. Suppose w = -4*g + n + 721. Is g a composite number?
False
Suppose -16*q = -17*q + 5. Suppose 0 = -q*h + 1753 + 692. Is h prime?
False
Let t(i) be the third derivative of -i**5/60 - 3*i**4/8 + 23*i**2. Suppose r + 26 = -3*b - 0*r, -3*b - 3*r = 36. Is t(b) prime?
False
Let i be (-2 - (-4 + 0)) + 9. Suppose i*l - 4279 = -0*l. Is l prime?
True
Let p = -293 + 1216. Suppose -5*y = -q + 195, -5*q + 2*y = 3*y - p. Is q prime?
False
Let w = 36 - 32. Let t(b) = -8*b**2 + 6*b - 13. Let x be t(w). Let y = x - -196. Is y prime?
True
Suppose -6 = 3*f + 3*z, f + z - 16 = 3*f. Let n(h) = -3*h**3 - 4*h**2 + 29 + h + 14*h - 24. Is n(f) composite?
False
Let b = 10 - 11. Let l(i) = -5*i**2 - 3*i - 2. Let a be l(b). Is -3 + 586 + a/(-1) composite?
False
Is (-15)/(-10)*(-523818)/(-27) prime?
True
Let r be 1/(-1) - (-173 + 0) - 0. Let w = 627 + r. Is w composite?
True
Let o(c) = -26*c**3 + 2*c**2 + 3*c + 1. Suppose -6*q - 4 = -4*q. Is o(q) composite?
False
Suppose -5*z = 4*m - 3633, 14*z = -m + 18*z + 903. Is m prime?
True
Let j be 21/28 - (-5874)/8. Let c = j - 502. Is c prime?
True
Suppose -6 = 2*q, -2*q - 75243 = -2*f + 18541. Is f a composite number?
False
Let k = 1349 - 637. Let w = 45 - 416. Let a = w + k. Is a a composite number?
True
Suppose u - 4*t - 1911 = 0, 0 = 5*u - 4*t - 5922 - 3713. Is u composite?
False
Let h be 4/6 + (-1730)/3. Let i = h - -2999. Suppose -2*f = -5*x - 1613, 0 = 3*f - 2*x - 2*x - i. Is f composite?
False
Let x(g) be the second derivative of g**5/5 - 5*g**4/12 + 2*g**3/3 - g. Suppose 0 = -4*u + 18 - 2, 5*j = -2*u + 33. Is x(j) a composite number?
True
Let f(p) = 221*p**2. Let v(y) = y - 7. Let w be v(8). Is f(w) a prime number?
False
Suppose 7*y = 2*y + 20. Let n be y - (-3)/(-3 + 0). Suppose 0 = n*g + r - 292, r = -g - 4*g + 486. Is g a composite number?
False
Let w = -876 + 2149. Is w a prime number?
False
Let q(a) = -a**3 - 6*a**2 + 3*a - 65. Is q(-37) prime?
False
Let c(o) = o**2 + 8*o - 3. Let r be c(9). Let f = r + 791. Is f prime?
True
Let i be 5*1 - (11 - 16). Suppose 14002 + 408 = i*g. Is g prime?
False
Suppose 818 = -5*y - i, 2*y + 2*i = -2*i - 338. Let m = 690 - y. Is m composite?
False
Suppose -4*x = 2*i - 12, 13 = -i + 3*i + 5*x. Suppose -i*d + 501 = -399. Suppose -624 = -3*k - 3*z, -z = -3*k + 387 + d. Is k a prime number?
False
Suppose 2*p + 64899 = 5*g, 183*g = 184*g + p - 12984. Is g a prime number?
False
Let p = -39 - -54. Suppose -3231 = -p*u + 6*u. Is u prime?
True
Suppose -11296 = 2*t - 5*d, 4*d - 16115 - 12091 = 5*t. Let y = 10209 + t. Is y a composite number?
True
Let v be -3 + 2474/((-8)/(8/(-2))). Suppose 6120 = 5*t + 5*c, -2*t + v = -t + 3*c. Is t composite?
True
Let r = 1507 + -864. Let d = r + -90. Is d prime?
False
Suppose y - a - 265 = 0, 3*y - 795 = -3*a - a. Is y prime?
False
Is 1*31697 + -19 + 9 prime?
True
Let z(k) = k**3 - 4*k**2 - 4*k - 2. Let f be z(5). Suppose -3*h + 0*h - 3 = 3*v, -h = f*v - 9. Let y(r) = 3*r**2 + 11. Is y(h) composite?
True
Let z be ((-3)/2)/(9/(