 prime number?
False
Let o(p) = 9*p - 7. Let n be o(0). Is 3198 - (n - (-1 + -5 + 0)) prime?
False
Let l be 8 + 1210 - -3*1. Let u = 2176 - l. Is u composite?
True
Suppose 13995 + 19242 = 9*i. Let n = i + -2119. Is n composite?
True
Let w(f) be the second derivative of -17*f**5/20 - f**4/12 - f**3/6 + 26*f. Let s be w(-1). Let v = s + 14. Is v composite?
False
Let d(g) = 21077*g + 1441. Is d(12) composite?
True
Let t(z) = -23569*z - 3454. Is t(-9) a prime number?
True
Suppose 4*p + 77 - 81 = 0, 182993 = 5*h - 2*p. Is h composite?
False
Let b(q) = -19153*q - 2525. Is b(-6) prime?
False
Let n(j) be the first derivative of j**4/4 - 4*j**3/3 - j**2/2 + 221*j + 86. Is n(0) a composite number?
True
Let z = -187 - -185. Is (-11 - -880) + (1 - -1)*z prime?
False
Let a be ((-26)/(-6) + -3)*3. Let v(q) = 9 - 7 + 4233*q + 21 - 4234*q. Is v(a) a prime number?
True
Suppose 7*j - 9*j = -12. Let u be j/(-24) + 9/4. Suppose -3*n + n - 439 = -3*r, 0 = -u*n + 8. Is r prime?
True
Let g(a) = 2*a - 4. Let n = 69 - 73. Let w be g(n). Is ((-8)/w + 1347/(-9))*-1 a prime number?
True
Let g(o) = 61*o**2 + 8*o - 164. Is g(33) a composite number?
False
Let l(g) = 1042*g + 11. Suppose -o = -111 + 108. Suppose 0 = 4*v - 3*v - o. Is l(v) composite?
False
Suppose -5*i = -0*i - 5. Let c(x) = -7901*x**3 + 6*x**2 - 7*x + 4. Let p(o) = 15802*o**3 - 13*o**2 + 15*o - 9. Let s(b) = -7*c(b) - 3*p(b). Is s(i) composite?
False
Suppose -7*s + 3823 - 21974 = 0. Let z = s + 5664. Is z a composite number?
True
Let a(q) = 2*q**3 - q**2 + q - 1. Let k be a(1). Let y = k - 7. Let u = y - -49. Is u a prime number?
True
Suppose 3*v - 1 = -4, -w - 2 = 5*v. Suppose w*l - 2388 = -4*b, b + 3*l - 597 = 5*l. Is b a composite number?
True
Suppose -4*q + 4*j + 112 = 0, -3*q = -2*j + 17 - 100. Let v(l) = l**2 - 27*l + 1. Let g be v(q). Suppose -25 + g = -6*y. Is y prime?
False
Let h = -48423 - -72924. Is h a prime number?
False
Let d be ((-2)/1)/(23/(-13340)). Suppose h - 4285 = -4*i + d, 0 = -4*i + 3*h + 5441. Is i composite?
False
Let o(g) = 68*g**2 - 90*g + 1181. Is o(36) prime?
True
Suppose 78*j - 83*j = -181465. Is j prime?
True
Suppose 40207 + 40761 = -8*j. Let u = -4848 - j. Is u a composite number?
False
Let v = -23 + 27. Suppose -g = -v*g. Suppose 4*f - 8 = -g*f, 5*f = 4*i - 706. Is i a prime number?
True
Let g = 169 + -194. Let m(t) = -t**3 - 25*t**2 - 48*t - 11. Is m(g) prime?
False
Let b be (-5 - 18/(-6)) + (-249)/(-1). Suppose -4*d = -5*v + 40, 0 = v - d - d - 14. Suppose 0*x - 3*x + b = -a, v*x - 333 = 5*a. Is x a composite number?
True
Suppose -4*x + 3 = 5*m, -7*x + 8*x - 6 = -3*m. Suppose u = -3*u - 3*t + 3301, 3*t = m*u - 2502. Is u prime?
True
Suppose -1 + 0 = -z + 3*n, 0 = 3*z + 2*n - 14. Suppose 0 = 2*p + 6, -2*b = p - z*p - 25. Is (b/6)/(4/2202) - -3 composite?
True
Let w = -331 - -331. Suppose -3*h - 4*r + 51247 = w, -5*r - 68320 = -4*h - 8*r. Is h a composite number?
False
Let j = -4676 - -10588. Suppose -29 = -4*m + 11. Suppose 0 = -m*r + 6*r + j. Is r composite?
True
Suppose 83645 = t - 2*f - 8508, 0 = 2*t - 5*f - 184311. Is t composite?
False
Let x(f) = 9 - 5*f - 7 + 4*f - 3*f + 7*f**2. Let a be x(1). Suppose -17971 = -5*d - 2*p, a*d - 7943 - 10036 = 2*p. Is d composite?
True
Suppose 13120765 = -204*o + 239*o. Is o a composite number?
False
Let a(s) = 16*s**3 - 3*s**2 + 1. Suppose -4*z - 4*n - 4 = 0, 5*z = -0*z - 2*n + 10. Let o be a(z). Suppose -o = -0*f - f. Is f a prime number?
True
Let d(j) = j**2 + 7*j - 2. Let c be d(-8). Let i(x) = 6*x**2 + 3 - c*x**2 + 13*x + 10*x**2 + 9. Is i(-7) prime?
False
Let o = 210 - 217. Is 4 - (-2)/(o/((-273455)/10)) a prime number?
True
Let j(n) = -170*n + 23. Suppose 4*a + 0*a = 4*u + 16, -30 = 4*u + 3*a. Let b(x) = 171*x - 23. Let f(p) = u*b(p) - 7*j(p). Is f(3) a prime number?
False
Suppose -2*a + 5*i = -30, -5*i + 6*i = -4. Suppose -13173 = -3*w - a*s, -2*w + 4053 + 4729 = -4*s. Is w a composite number?
False
Let v(q) = -q**3 - 2*q**2 + 3*q - 2. Let t be v(1). Let o be (t/(-6))/((-3)/(-101979)). Suppose 2*a + o = 11*a. Is a composite?
False
Suppose -12*m - 4 = -8*m, 2*m + 1702597 = 5*k. Is k a prime number?
True
Let h = -45873 + 67331. Is h prime?
False
Let k = 93 + 64196. Is k a prime number?
False
Let f = -1722 + 1273. Let z be ((-2)/4)/((-2)/2608). Let a = z + f. Is a a prime number?
False
Let c = 129720 - 43201. Is c prime?
False
Suppose -l = 3*v - 304 + 38, -4*v + 5*l + 380 = 0. Let d = 4027 + v. Is d a prime number?
False
Let f(r) = -6*r + 80. Let q be f(13). Suppose g - 79 = -q*j, -4*j + 71 - 435 = -4*g. Is g a composite number?
True
Suppose 0 = 2*x + 1 + 3. Let z be (x/(-3) + 0)/((-2)/(-12003)). Suppose -5*c - z = -2*k - 1226, 5*k + c - 6924 = 0. Is k composite?
True
Let r(q) = q**3 - 8*q**2 - 6*q + 51. Let z be r(8). Suppose -234005 = -4*m - 5*c, -z = 125*c - 124*c. Is m a prime number?
False
Let x be (-48026)/5 + 22/110. Let a = 16110 + x. Is a prime?
False
Let c = 409 - 406. Suppose -6*r - 12791 = -5*u - 4*r, 0 = r + c. Is u a composite number?
False
Suppose 115*a - 50*a - 7540323 = 44*a. Is a prime?
True
Let s = 309480 - 184951. Is s a composite number?
False
Suppose 0*l = -5*l + 203280. Suppose -b = 10*b + l. Let q = b + 5683. Is q a prime number?
True
Is (12/8)/(-1)*-20974 composite?
True
Suppose -3*m = -x - 17, -25 = -5*m + x - 0. Let q(u) be the second derivative of 3*u**4/4 - u**3/2 - u**2/2 - 68*u + 3. Is q(m) a composite number?
False
Let o = -643939 + 1132878. Is o composite?
True
Is 796*(((-10001)/(-60) - 67/(-1005)) + 4) a composite number?
True
Let p(h) = 48474*h - 753. Is p(14) a composite number?
True
Let z = 54 - -107. Suppose 11*w = 158 - 1016. Let h = z + w. Is h composite?
False
Let p = 19 + 13. Suppose -37*s + p*s = -9965. Is s composite?
False
Let b be ((-1)/5*-146)/(2/10). Let u = b - 286. Let t = u + 1675. Is t a composite number?
True
Let o(p) = p**3 + 15*p**2 + 14*p + 12. Let v be o(-14). Let s(x) = 12*x**2 - 25*x + 3. Let c be s(v). Suppose -d - 280 = -c. Is d a composite number?
False
Let i = -26069 + 48304. Is i a composite number?
True
Let t(d) = d**2 - 4*d - 3. Let o be t(5). Suppose 1486 = o*a + 5*w, a + w = 3*w + 734. Suppose a = 3*y - 69. Is y composite?
False
Suppose -35*c + 116 = -6*c. Suppose -n + c*z = 8*z - 7489, -2*z = 2. Is n a prime number?
False
Let c(o) = 668*o**2 + o - 20. Let u be c(-7). Suppose -2*f = -3*n + 1615 - 14697, 4*n - u = -5*f. Is f a prime number?
False
Let l(b) = b**3 + 4*b**2 - 6*b - 6. Let a be l(-3). Let p be 486 + 1 - (a - 16). Let x = p + -277. Is x prime?
False
Let y be (-16)/(-12) - (-6808)/24. Suppose 0 = 3*z + z - 392. Let k = y - z. Is k a prime number?
False
Suppose 2*a = 12 + 2. Suppose 2*g - a*g - 4*s = 14753, -3*g = -s + 8845. Let m = 4456 + g. Is m a composite number?
True
Suppose 2*j - 15 = -3*f + 4*f, 2*j = 3*f + 29. Let s(k) = -k**3 - 13*k**2 + 4*k - 7. Let r be s(f). Let g = r + 1287. Is g composite?
True
Suppose 2376 = 2*f - 1256. Let g = 2613 - f. Is g composite?
False
Let f = 28 - 115. Let p = 81 + f. Let d(i) = -9*i + 28. Is d(p) prime?
False
Let y(d) be the first derivative of -371/4*d**4 - 1/3*d**3 + 8 + d + 0*d**2. Is y(-1) a prime number?
False
Let v(r) = 78*r**3 - 4 - 38*r**3 - 15*r**2 - 28*r**2 - 8*r - 41*r**3 - 7*r. Is v(-43) a prime number?
True
Let w be 2/8 - 120/(-32). Suppose 4*j + 2*u + 17 = -3*u, 0 = -4*j - w*u - 16. Is (-6 + j)/(2 + -3) prime?
False
Let q(o) = 3*o - 40. Let n be q(15). Suppose -n*v - 4*p = 2703, -p - p + 1074 = -2*v. Let k = v - -1450. Is k a composite number?
False
Let p(k) = 7*k - 63. Let u be p(9). Suppose u = 2*x + 472 - 7998. Is x a composite number?
True
Let z be (-4)/2*(2 - (-6)/(-2)). Let f be (-110)/(-5) - (4/z + 2). Is (-1177)/(-9) - (-4)/f prime?
True
Suppose -z + 1903 = 3*m - 2634, m - 18170 = -4*z. Suppose -6*r + 1979 = -z. Is r composite?
False
Let g(j) = 169*j**2 - 29*j - 163. Let q be g(-7). Let l = 51738 - q. Is l a prime number?
False
Suppose -2*f = 4*t - 1540, 4*f - 5*t = -313 + 3432. Suppose -2*v = -4*v + f. Suppose g + 3*h + 0*h = v, -3*g = 4*h - 1149. Is g prime?
True
Suppose 11*i + 4*v = 8*i, -5*v = 2*i. Suppose 2*k = -8, 4*o - 3*k - 90 - 2 = i. Is 40/16*6376/o a composite number?
False
Let n(w) = -753*w - 3510. Is n(-7) a composite number?
True
Suppose 123*v = 149*v - 169910. Is v composite