z a prime number?
True
Let d(v) = 2495*v - 538. Is d(3) a composite number?
False
Let y(h) = 1549*h**3 + 4*h**2 + 4*h - 5. Is y(4) composite?
True
Let r = 1497 - 2143. Let b = -375 - r. Is b a prime number?
True
Let j(i) = i**3 + 7*i**2 - 9*i - 4. Let t be 8 - 9 - 2/(-2). Suppose b - 4*p = -11 - 16, 4*b - p + 33 = t. Is j(b) prime?
True
Suppose -m - 37 = -3*q, 6*q - 5*m - 29 = 4*q. Let s = 8 - q. Is 688/(-4)*1/s composite?
False
Suppose 3*m - 11 = t, -m = -4*t - 3 - 8. Suppose -h + o + 3417 = m*o, -h + 3389 = -5*o. Is h a composite number?
True
Let c = -7279 + 10426. Is c a prime number?
False
Suppose 2*w = 4*w - 172. Let m = 171 + w. Is m prime?
True
Let i = -2777 + 4957. Suppose 1614 = 4*m - 5*s - 85, 5*s - i = -5*m. Is m composite?
False
Let n be (-1 - -2)*1*0. Let k(l) = n + 4*l + 10*l + 5 + 0*l. Is k(6) composite?
False
Let x = 951 + -182. Is x prime?
True
Let d(k) = 2*k**3 - 9*k**2 - 3*k + 14. Let u be d(8). Let p = u + 29. Let l = 864 - p. Is l composite?
False
Suppose 3*g - 6 = -3*i, -4*i + 8 = 3*g - 0*g. Suppose g = -2*z - 2*z + 1004. Is z composite?
False
Let a = -22977 - -37006. Is a prime?
True
Let p = 40 - 17. Suppose -p = 3*c - 272. Is c prime?
True
Suppose -8*q = -82 - 6. Suppose -d - 5570 = -q*d. Is d a prime number?
True
Suppose -3*w - 10346 = -2*m, 4*m - 18542 = -2*w + 2150. Is m a composite number?
True
Suppose -11858 = -3*y - d, -11862 = -3*y + 5*d - 2*d. Is y prime?
False
Let w = 443 - 13. Suppose 2*p + 52 + 148 = 2*g, 2*p = -4*g + w. Suppose t + 2*t = g. Is t a composite number?
True
Suppose 0 = 2*c + 4*k - 22, -4*c + 37 = 5*k + 8. Suppose a = -7 + 9. Is (2 + c)*7 - a composite?
False
Let y be (-2)/(-2)*(3 + -8). Let v be 1/(-5) - 26/y. Let j(w) = 6*w**2 - 6*w + 7. Is j(v) a prime number?
True
Suppose 0 = -2*y - g + 10, 5*y + 5*g - 15 - 10 = 0. Suppose 6*k = y + 1. Is -1 + k + 102 - -4 a prime number?
False
Let h = 10320 + -3583. Is h prime?
True
Suppose -249608 = -34*j + 123474. Is j prime?
True
Suppose -2*v = -a - 211, v + 5*a + 525 = 6*v. Suppose 0 = -m + 43 + v. Is m a composite number?
False
Let n = 371 - 146. Let f = -136 + n. Is f prime?
True
Suppose -i + 973 = 337. Suppose 491 = 2*s + s - 2*z, 4*s = -2*z + i. Is s prime?
False
Suppose 0 = 4*o + 4*n + 29308, 0*o = -2*o - 4*n - 14662. Let f = o + 11650. Is f a prime number?
True
Let t = 111 - 107. Suppose 4*g - 3*n - 8963 = 0, t*n + 20 = -0*n. Is g a composite number?
False
Suppose 0 = -2*z - 8, 3*v + 2*v = -4*z + 5809. Is v prime?
False
Suppose r - 1781 = d, 4*r = -5*d - 746 + 7843. Suppose 0 = 7*i - 0*i - r. Is i a prime number?
False
Suppose 0 = 5*b + 2098 - 573. Let i be (2/(-2))/((-1)/428). Let q = b + i. Is q a composite number?
True
Suppose 4*b + 0*b - 83090 = 2*n, n + 83087 = 4*b. Is b prime?
True
Let c(s) = -659*s**3 + 3*s**2 + 9*s + 7. Is c(-2) a prime number?
True
Let g be ((-6)/(-15))/(4/40). Suppose g*c = 592 + 452. Is c - (-4 + 6 + 0) a composite number?
True
Suppose 2*m = -4*i + 6, -3*i + 6 = m + 3. Suppose -38*z + 39*z - 829 = i. Is z a prime number?
True
Let c(w) = w**3 - 7*w**2 - 7*w - 5. Let v be c(8). Suppose a + v*o = -51 + 259, -3*o = 5*a - 992. Suppose 4*i - 8*i = -a. Is i a prime number?
False
Let h(s) = -8 - 27*s - 4 - 6 + 16. Let i(d) = -53*d - 4. Let m(f) = -5*h(f) + 2*i(f). Is m(1) a composite number?
False
Let a(y) = 8*y**2 + 18 - 8*y - 15 + 3*y**3 - 4*y**3. Let l be a(7). Let c(b) = -92*b + 5. Is c(l) prime?
True
Let z = 12 - 23. Let y(w) = -4*w**2 - 9*w + 4. Let o(r) = 7*r**2 + 17*r - 8. Let l(c) = 3*o(c) + 5*y(c). Is l(z) prime?
False
Let s(v) = 31*v**2 + v + 5. Let b be s(-6). Suppose 6*c - b = c. Is c a composite number?
False
Let u = -13 - -18. Let r(t) = -t**2 + 6*t + 2. Let h be r(u). Suppose h*v - 2*v = 2095. Is v prime?
True
Suppose -361 = -f + 1713. Let z = f + -239. Is z composite?
True
Let f(c) = 6*c**2 + 8*c + 5. Let g be f(6). Suppose -18*b + 17*b = -g. Is b composite?
False
Let n(p) = -p**3 + 4*p**2 + p - 2. Let v be n(3). Suppose -25 = 5*x - v*x. Suppose 4 = -4*y, -4*a - 4*y + 3557 = -x*y. Is a composite?
True
Let t(a) = -6300*a + 31. Is t(-3) composite?
True
Let l(c) = 252168*c - 2765. Let k(m) = -547*m + 6. Let s(z) = -2765*k(z) - 6*l(z). Is s(-1) a prime number?
False
Is ((-9)/18)/((-4)/60504) a composite number?
True
Let a = 526 - 1196. Is a/(-18) - (-48)/(-216) composite?
False
Is (0 - 4)/((-2)/6150) + 2 prime?
False
Suppose 2*c - 294184 = -6*c. Is c prime?
False
Is 1063460/300 - 5/(75/(-2)) a prime number?
False
Let v = -787 + 1461. Suppose 20*q - v = 18*q. Is q a prime number?
True
Let q be -4 - (-5 + 2 + -6). Is (1478/4)/(q + (-18)/4) a composite number?
False
Let j = 5919 - -11204. Is j prime?
True
Let u(a) = -a**2 + 9*a + 10. Let d be u(10). Suppose -3*z + 12 + 0 = d. Suppose z*c - 3*c = 47. Is c prime?
True
Let x(f) = f**3 - 10*f**2 - 15*f - 15. Let j be x(12). Let b(r) = -7 + 10*r - j*r - 9*r. Is b(-3) composite?
False
Let h = -175 + 616. Suppose y + 10 = h. Is y composite?
False
Suppose 5*a + 2*n = -3038, 5*a - 5*n = -3099 + 54. Let t = a + 1119. Suppose 0*u = -u - g + t, 6 = 3*g. Is u a composite number?
False
Let s(l) = -9*l**2 - 5*l + 22. Let p be s(5). Let q = 442 + p. Is q a prime number?
False
Let t(h) = h**3 + 27*h**2 - 21*h - 41. Is t(-12) a composite number?
False
Is (7275/(-125))/(9/(-7185)) composite?
True
Suppose 4*p - 1 = 3, 277 = 3*v - 2*p. Is (-3 + v/(-15))*-5 prime?
False
Suppose 27*o - 19*o - 808 = 0. Is o/8*4*10 a prime number?
False
Let m = -558 - -5093. Is m prime?
False
Let u(n) = 19*n + 3. Let i(v) = -v**3 + 2*v**2 + 2*v + 3. Let a(s) = -s**2 - s. Let p(t) = 4*a(t) - i(t). Let x be p(7). Is u(x) prime?
True
Suppose 5*d - 2*d + 88 = 2*l, 2*d = 0. Let a be 88/(-3) - (-2)/6. Let v = l + a. Is v a prime number?
False
Let d be (-3)/(-2) + 1/(-4)*-202. Suppose 486 = -0*c + 2*c. Let x = c - d. Is x a composite number?
False
Let d(q) = -q**3 + q**2 - q + 1. Let x be d(1). Suppose 8*f - 4*f - 628 = x. Is f a prime number?
True
Suppose -6 = -3*f + f. Suppose -4*y + f*d + 548 = 0, y - 142 = -0*y + 2*d. Is y a prime number?
False
Suppose 0 = -38*d + 45*d - 11851. Is d a composite number?
False
Suppose 3*b + 55090 = 5*w, 5*b - 42918 = -5*w + 12132. Suppose -5*p + 3*u = -0*u - 11015, u = 5*p - w. Is p a composite number?
False
Let l(i) be the second derivative of 0 + i + 1/2*i**2 - 37/3*i**3. Is l(-3) composite?
False
Suppose 5*i - 2196 = -4*j, -4*i - j + 941 = -807. Let t = 767 - i. Is t prime?
True
Suppose -178*b + 72502 = -176*b. Is b prime?
True
Suppose -5*d + 7*d = 3250. Suppose -5*v + 1633 = -3*u, 0 = -4*v + 9*v + 5*u - d. Is v a prime number?
False
Let s(o) = -15*o - 6. Let c(g) = 29*g + 14. Let z(l) = 2*c(l) + 5*s(l). Let b(q) = -4*q + 1. Let t be b(1). Is z(t) prime?
False
Let n = 38 + -11. Suppose -23*x + n*x - 536 = 0. Is x a prime number?
False
Let j(c) = 548*c + 23. Is j(12) a prime number?
True
Let x(r) = 3*r**2 + 15*r + 6. Let t be x(7). Suppose 0 = 2*d - 0*d - t. Is d prime?
False
Suppose 3824 + 496 = 8*l. Let o = l + -127. Is o a prime number?
False
Let z be 15/6 - (-1)/2. Let x(l) = -l**3 - 2*l**2 - 6*l - 2. Let v(s) = -2*s**3 - 3*s**2 - 8*s - 2. Let u(q) = -2*v(q) + 3*x(q). Is u(z) a prime number?
True
Suppose 0*b = 9*b - 45. Suppose 5*a - 3165 = -b*o, 5*a - 3*o - o = 3147. Is a a composite number?
False
Suppose -3*f = 730 + 194. Let v = f + 211. Let j = v - -192. Is j a composite number?
True
Let u(j) = -755*j - 177. Is u(-16) a prime number?
True
Let a = -1027 - -5888. Is a a prime number?
True
Suppose -30*y + 388319 = -237511. Is y prime?
False
Suppose 68*j - 61*j = 10493. Is j a prime number?
True
Suppose -71*r + 221*r - 948900 = 0. Is r composite?
True
Let p(x) = -x**3 + 10*x**2 - 9*x - 1. Suppose -4*c - 3*m = -5*c - 13, -2*c + 19 = 3*m. Suppose 0*n + 28 = c*n - 4*h, 4*h + 20 = n. Is p(n) composite?
True
Let c = -39 + 40. Is 1554/3 - c - 0 prime?
False
Let a = -20994 - -14088. Is 1 + (3/(-5) - a/10) a prime number?
True
Suppose 13*x - 177773 - 24338 = 0. Is x a prime number?
False
Let l(n) = 146*n**2 - 12*n - 51. Is l(-4) a prime number?
True
Is 76673/9 - ((-312)/54 + 6) a composite number?
True
Suppose -q = -2*q + 8. Suppose -3*b - o = -75, 5*b = 2*b + 5*o + 93. Let g = q + b. Is g composite?
True
Suppose 2*p - p = 103. Suppose 5*o - 232 = -j, -3*j - p = o - 3*o. Let a =