Is (i/(-18))/((-1)/3) composite?
False
Let p be 77 + 0*3/(-6). Let n(t) = 4*t - 6. Let q be n(6). Let c = p - q. Is c prime?
True
Suppose 7*c = -93 + 338. Let b = 124 - c. Is b composite?
False
Suppose 5*a = g - 3018, -g - 3*a = a - 3054. Let x = -1847 + g. Is x a prime number?
False
Suppose 25*o - 21*o - 8 = 0. Let d(x) be the first derivative of 25*x**2/2 - x + 2. Is d(o) prime?
False
Suppose 0 = 6*y - 0. Suppose y = -5*j - 4*b + 3187, 0 = -5*j + 4*b + 3201 - 38. Is j a composite number?
True
Suppose -d = 3*d - 228. Let u = -36 + d. Is u a composite number?
True
Let a = 103 + -99. Is (-49028)/(-60) + -2 + a/(-30) prime?
False
Let s = 46664 - -9503. Is s a prime number?
True
Suppose 2*k - h = 19, 3*h - 11 = -k + 16. Let x(d) = 6*d**2 - 15*d - 11. Is x(k) a prime number?
True
Suppose -469 = -3*o + 431. Suppose -2*j + 238 = -o. Is j composite?
False
Suppose -3*y = -6*y - 5*o - 8, 32 = 4*y - 4*o. Suppose -y*d - 8 = 8, -3*j = -3*d - 6. Is 1/j*(3 + -157) prime?
False
Suppose 6*u - 4*i - 3493 = u, 0 = -4*i + 12. Is u a prime number?
True
Suppose 0 = 5*b + f, 5*f = 6*b - b. Let k = b + 2. Suppose -30 = -y + 3*h + 20, 0 = 3*y - k*h - 157. Is y a prime number?
True
Let q = 8 - 8. Suppose -4*l + q*l = -u + 323, 2*l = 5*u - 1579. Let o = 888 - u. Is o prime?
False
Let n = -17695 + 29046. Is n prime?
True
Suppose b = -8*b + 3*b. Suppose b = 2*r + 2*a - 626, 2*r + 3*r + 3*a - 1573 = 0. Is r prime?
True
Is (-391851)/(-21) + (-80)/(-56) composite?
False
Suppose 4*d + 5*n = 7*d - 36116, -5*n = 3*d - 36166. Is d a prime number?
False
Suppose -10219 = -7*n - 4*n. Is n a composite number?
False
Suppose 36*g - 47*g = -700733. Is g composite?
False
Suppose -3*v + 10281 = 4*i, -34*v + 39*v - 17135 = -5*i. Is v a prime number?
False
Is 10/175 + (-1734687)/(-315) a composite number?
False
Let z = 12860 + -8313. Is z a composite number?
False
Let y(s) = -s**2 - s - 1. Let o(n) = 17*n**2 + 6*n - 2. Let t(d) = o(d) + 5*y(d). Is t(-6) composite?
False
Suppose 5*w + 47 = 4*o, -4*o + 23 = -0*o + 3*w. Suppose -y + 873 = o*y. Is y a composite number?
False
Let k be (-16)/8*1/(-1). Is -4 + (2 - (-6364)/8*k) composite?
True
Suppose 67*c - 49*c = 2001366. Is c a prime number?
True
Let l(i) = -1414*i + 21. Is l(-5) prime?
False
Let l = -1545 - -2177. Is (l - 4) + 1 - -2 a composite number?
False
Suppose 32*a - 29*a = 12. Is 0 + 359/a - (-24)/(-32) prime?
True
Suppose -7 = 4*r + 1. Let n(g) = 86*g**2 - 2*g - 2. Is n(r) prime?
False
Let q(f) = f**3 - 5*f**2 + 2*f + 5. Let w be q(4). Suppose 0 = 2*s + 3*m - 36, -6*s - 3*m = -2*s - 60. Is 824/s*w/(-2) a prime number?
True
Let q(l) = l**2 + l - 3. Let s(o) = 2*o**3 + o**2. Let b be s(1). Let t be q(b). Let x = t - 6. Is x composite?
False
Suppose n + 30 = 3*n. Let z be 1/(-3) - (-5)/n. Suppose z = -5*a + 977 - 232. Is a prime?
True
Let d(z) = -464*z - 395. Is d(-22) composite?
True
Suppose 3*s - 53833 = -2*q, 24*s = 23*s - 2*q + 17947. Is s prime?
False
Let r be ((-11)/(165/18))/(2/(-5)). Suppose -5*z - r*z = -5416. Is z prime?
True
Suppose -7*g = -6*g - 6. Suppose -3*p + g*p = 465. Is p composite?
True
Suppose -11459 = -2*b - 3*i, -2*b + 6896 = -4*i - 4570. Is b a composite number?
True
Let f(a) = 141*a**2 + 3*a - 109. Is f(17) prime?
False
Suppose 5*q - 5*u + 3*u = 15, 3*q + 4*u = 9. Suppose -2*m + 1113 = i + 4*i, -q*m + i + 1661 = 0. Is m prime?
False
Suppose 0 = 7*w - 61684 + 6251. Is w composite?
False
Let b(k) = -4*k**3 - 4*k**2 + 3*k. Let w be b(4). Let z = w - -579. Let s = z + -92. Is s a prime number?
True
Let a = 5064 - 3143. Is a a composite number?
True
Suppose -3*j + 6 = -3*b, 4*b + 7*j - 37 = 2*j. Suppose -15 = -3*v - 2*v, -456 = -b*d - 3*v. Is d composite?
False
Let o(v) be the first derivative of v**4/24 - v**3/6 - 5*v**2/2 - 6. Let n(f) be the second derivative of o(f). Is n(8) composite?
False
Suppose 0 = 3*n - 2*c - 108089, -36032 = -n + 10*c - 7*c. Is n a prime number?
False
Let n(x) = -x**3 - 5*x**2 + 4*x + 2. Let r be n(-6). Let g(d) = d**3 - 13*d**2 - 14*d + 5. Let b be g(r). Is (166/(-1))/(-7 + b) prime?
True
Suppose 17*v - 173173 = 1774. Is v a prime number?
False
Let h be -3 + (-7 - -3)/2. Let m(j) = -j**3 - 1. Let r(a) = 7*a**3 + 6*a**2 - 3*a + 4. Let l(u) = 6*m(u) + r(u). Is l(h) composite?
True
Suppose 4*k = 4*o + 4, -k - 10 - 9 = -5*o. Suppose 1407 = k*v - 3*v. Is v a prime number?
False
Suppose -2129 = -6*v - 539. Is v a prime number?
False
Let u(r) be the second derivative of r**4/12 + r**2 + 2*r. Let o be u(0). Suppose -2*l - 2*c + 498 = o*c, -2*l + 500 = 3*c. Is l a prime number?
False
Suppose 0 = -3*b - 9, -s = 2*s + 3*b - 168. Suppose -k = 3*k + 5*a + 27, 21 = -2*k - a. Let f = s + k. Is f prime?
False
Let o = 21 - 17. Is ((-6294)/4)/((-2)/o - 0) a composite number?
True
Suppose -7*v + 0*v = 0. Suppose r - 290 - 429 = v. Is r prime?
True
Suppose -2*b - 175 + 473 = 0. Is b composite?
False
Let a(v) = 57*v**2 - 20*v + 379. Is a(-24) a composite number?
True
Suppose -2*h - 4*r - 5 = -105, 0 = 4*h - 3*r - 211. Let f = h + 147. Is f a composite number?
False
Let h = 99388 - 59001. Is h a prime number?
True
Let i = 3496 - 2412. Suppose -j + 3*f + i = 4*j, -5*j + f + 1078 = 0. Is j prime?
False
Let m = -57 - -66. Suppose 0 = -m*t + 32496 - 1779. Is t a composite number?
False
Let c(x) = 4*x**3 - x**3 + 6*x + 6 + 50*x**2 - 53*x**2. Let y be c(-5). Let i = 113 - y. Is i composite?
False
Let z(p) = 4200*p**3 + 4*p - 3. Is z(1) a composite number?
False
Suppose 5*v - 31356 = -l, 5*v + 3*l + 25081 = 9*v. Is v prime?
True
Suppose 4*o - 5*s = 10 + 5, -9 = -5*o + 3*s. Suppose 3*i - 7*i + 2948 = o. Is i composite?
True
Let o = 5556 + 35. Is o a composite number?
False
Let m be (-4 - 19/(-4))*4. Let u be (1 + 1 + 4)*526. Suppose u = 4*i - h - m*h, -4*i - 5*h + 3138 = 0. Is i a composite number?
False
Suppose -25*h + 2614710 = 5*h. Is h a composite number?
True
Let t be (8 + 2)*(-2)/4. Let o(h) = 1 + 4 - 3 - 20*h + 4. Is o(t) prime?
False
Is 4/((-36)/(-55089))*2/2 a composite number?
False
Is (4612258/196 - 1) + (-2)/(-28) a composite number?
False
Let a = 528 + 983. Is a prime?
True
Let s(d) = 87*d**2 - 6*d - 26. Let i be s(8). Let z = i + -3825. Is z composite?
False
Let h be (-10)/(-35) + 2096/14. Suppose w = u - h - 388, -3 = w. Suppose 2*c - y = -2*c + u, 3*c - 399 = 3*y. Is c composite?
True
Suppose 0 = 5*u - 2 - 23. Suppose -p - 2*p + u*x - 11 = 0, -2*x - 7 = -5*p. Suppose 0 = -q - 1, -2*i - p*q + 4*q = -239. Is i a composite number?
True
Suppose -h + 435 = -5*k - 679, -2*h + 1118 = -5*k. Let m be ((-438)/(-4))/(1/(-6)). Is (-3)/(-3 + m/k) composite?
True
Let n(q) = 15183*q**2 + 2*q. Is n(1) prime?
False
Let y = 15 - 11. Suppose -1449 = -y*r + j - 2*j, -4*j = 2*r - 728. Is r prime?
False
Let f(n) = 15*n + 3. Let w be f(2). Let b = 4 + w. Is b composite?
False
Let z(t) = 58*t**2 + 2*t - 1. Let h = -36 + 40. Suppose -5*s = r + h*r - 35, -5*s + 25 = 0. Is z(r) prime?
False
Suppose -4 - 6 = -5*a. Let s(j) = -2*j**2 + 4*j**2 + 2 + a*j - 25 - j**2. Is s(18) prime?
True
Let l(h) = 2675*h - 46. Is l(9) prime?
True
Suppose -5*a - 20 = -0*a, p + 4*a + 19 = 0. Is -3 - (0/2 + p + -14) a composite number?
True
Suppose 3 = 2*i + 2*k - 11, -2*i + k + 2 = 0. Suppose 4*q - 4184 = -7*d + 3*d, d - i = 0. Is q a prime number?
False
Let n(t) = -t**3 - 6*t**2 - 4*t + 3. Let a be n(-5). Is 339 - 2*a/(-2) prime?
True
Let q(x) = -x**3 - 5*x**2 - x - 2. Let v be (-2)/(-4) + (-22)/4. Let i be q(v). Suppose 5*p - 854 = i*j - 308, 0 = -5*j + 15. Is p prime?
False
Suppose k = v - 12936, -v + k = -2*k - 12934. Is v prime?
False
Let u(z) = 93*z**3 - 3*z**2 + z + 3. Is u(4) a prime number?
False
Suppose -a + 17 = -n - 22, -a + 5*n + 55 = 0. Suppose 0*q - 5*q - a = 0. Is 2670/14 - 2/q prime?
True
Suppose 113 = -3*j - 2*q - 9, -156 = 4*j - 4*q. Let n be ((-1)/(-2))/((-5)/j). Suppose n*t - 1944 + 364 = 0. Is t a prime number?
False
Let p(j) = 4 + 6*j**2 - 4*j**2 + 3*j + 4 + 2*j**3. Let g be p(-6). Let y = g - -657. Is y a composite number?
True
Is (7 - (1 + 5))*21207/3 a composite number?
False
Let c be (-39)/(-18) - (-3)/(-18). Let x(u) = 87*u**c + 471 - 471. Is x(-1) a composite number?
True
Let o(w) = w**3 + 8*w**2 + 5*w - 9. Let p be o(-7). Suppose p*s - 7180 = -5*s. Is s a composite number?
True
Let j = 301 - -1284. Is j prime?
Fals