2*n**2 - 3*n + 1. Is j(1) composite?
True
Let o(s) = -s**2 + 6*s - 3. Let n be o(6). Let q be -2*(-36)/((-6)/n). Is q/(-42)*-7*1 composite?
True
Suppose -2*z + z - 3*m = 77, -4*z - 297 = m. Is (z - -7)/(-1 - 0) a prime number?
True
Let v(t) = 112*t**2 - t. Is v(-1) a prime number?
True
Let r(x) = -348*x**3 - 2*x**2 - 2*x - 1. Is r(-1) a composite number?
False
Suppose -l = q - 142, 5*q + 0*q - 2*l - 710 = 0. Is q a composite number?
True
Let w(k) = -k**3 + 4*k**2 - k + 2. Let q be w(3). Let r = 7 + q. Is r composite?
True
Let l(q) = 4*q**2 + 4*q - 7. Let b be l(-6). Let r(j) = 84*j**3 + j**2 - 1. Let v be r(1). Suppose -4*f = -o - v, -4*f - 37 = -3*o - b. Is f a composite number?
True
Let f(y) = -150*y - 5. Is f(-1) composite?
True
Suppose -5 = -5*f + g, 0 = -2*g - 6 - 4. Let i(z) = z**3 + z - 35. Let k be i(f). Let b = 66 + k. Is b prime?
True
Let p = 52 + -3. Suppose -1221 = -4*i - p. Is i composite?
False
Let b be (3/12)/((-2)/(-40)). Suppose 33 = -2*h - 5*n, -h - b*n = -3*h + 17. Is 321/9 + h/6 a prime number?
False
Let z = 176 + 221. Is z composite?
False
Let l(h) = h**3 - 11*h**2 + h - 9. Let y be l(11). Suppose 5*t - y*t = 327. Is t a composite number?
False
Let w(x) = -5*x + 8. Let v be w(-4). Is 4/(-14) + 11460/v composite?
False
Suppose -12 = 2*w + 4*y, 4*y - 3*y - 2 = -3*w. Suppose w*m + 58 = o - m, 332 = 5*o - m. Is o prime?
True
Let g(l) = 33*l - 4. Is g(6) prime?
False
Let h(i) = -3*i**3 - 47*i**2 + 26*i + 21. Let n(r) = r**3 + 16*r**2 - 9*r - 7. Let l(o) = -6*h(o) - 17*n(o). Is l(-10) composite?
False
Let h(l) = 8*l**2 - 8*l + 1. Let u be h(7). Is u/(2/(-6)*-3) a composite number?
False
Let b(t) = t**3 + t**2 + 4. Suppose 2*a + a = 0. Let k be b(a). Let y = k - -7. Is y a prime number?
True
Let p(d) = -d**3 - 8*d**2 - 7*d. Let m be (0 - 1)*(-21)/(-3). Let r be p(m). Suppose -4*j + r*l + 40 = 3*l, -43 = -5*j - 2*l. Is j a composite number?
False
Suppose 2*x = -x + 2*y - 26, -3*x = y + 41. Let s = x + 21. Is s a composite number?
True
Let h be (2/(-3))/((-18)/(-45873)). Let m = -1086 - h. Is m prime?
True
Let z(r) = 2*r**3 - r**2 + 4*r - 3. Let t be z(2). Suppose -f - 5*m = -5*f - t, 5*f - 5*m + 15 = 0. Is (-1)/(0 - f/86) prime?
True
Suppose n + 2*g - 12 = 6*g, -4*n = 5*g - 6. Let s(y) = 1 - n*y + 5 + y**2 + 0*y**2. Is s(5) composite?
False
Let r = 1081 - -42. Is r composite?
False
Let k(u) = -u**2 + 14*u - 8. Suppose -2*p + 42 = 2*p + 3*d, -4*p - d + 38 = 0. Is k(p) a prime number?
True
Let u(s) = s**3 + 3*s**2 - 2. Let l be u(-2). Suppose 6*k = l*k. Suppose w + w - 4 = k. Is w prime?
True
Let i = -78 - -289. Is i composite?
False
Suppose 0 = 3*w - 37 - 17. Is (-4)/(-18) + 950/w prime?
True
Suppose 3*c = -2*c - 5. Let k be (2 - 3)/(c/2). Let z(y) = 17*y - 1. Is z(k) a composite number?
True
Let m = 283 - 156. Is m a composite number?
False
Suppose q + 4*q = 4535. Is q a composite number?
False
Suppose 0 = -5*l + 13 + 2. Suppose l*f - 3*p + 7 = -f, -4*f = 2*p - 18. Suppose f*a - 768 = -2*a + 4*i, a = -3*i + 188. Is a a composite number?
False
Let f be 2/(-8) + 6/(-8). Let s be (3 - 1) + -83 - -1. Is f*(s - (1 + -2)) prime?
True
Suppose -3*s - 5*k + 3*k + 6 = 0, -5*k = 0. Suppose 4 + 0 = -2*x, s*g = -2*x + 18. Is g a composite number?
False
Is (-783)/(-21) + (57/21 - 3) composite?
False
Let y(j) = j**3 - 7*j**2 - 8*j + 4. Let s be y(8). Let p = s + -4. Suppose p = 2*h - 5*v - 3, 2*v = 3*h - 7*h + 66. Is h composite?
True
Suppose z - 1780 = -z. Suppose 0 = x + x - z. Is x a prime number?
False
Let z(h) be the second derivative of h**5/20 - h**4/2 + 2*h**2 + h. Let a be z(6). Suppose -3*w + a*w = 13. Is w prime?
True
Let b(f) = f**3 + 6*f**2 + 2*f - 2. Let o be b(-4). Suppose r = o + 18. Is (r - 3) + (-1 - -1) a prime number?
True
Let y = 144 + -66. Let m = y - 55. Is m a composite number?
False
Suppose -4*h = 8 - 36. Let f be (-16)/h - (-2)/7. Is (-4)/f - (-134)/2 composite?
True
Is (1218/(-4 + 10))/(-1 + 2) a prime number?
False
Let o = -5 - -14. Suppose -4*p = -29 + o. Suppose -5*j + 20 = 0, -h + p*j + 23 = 3*j. Is h a prime number?
True
Suppose 4*f + 4*f - 1424 = 0. Is f composite?
True
Suppose -5*s - 142 = -7*s. Is s composite?
False
Let r(a) = a**2 + 6*a + 2. Let u be r(-5). Let y(f) be the first derivative of f**3 - f**2 + 2*f + 2. Is y(u) prime?
False
Let t = -7 + 129. Is t a prime number?
False
Suppose 2*v - 1 - 4 = r, -v - 25 = 5*r. Suppose v = -3*b - 4 + 7. Is b/(-2) - (-107)/2 composite?
False
Suppose 4*q + 5*k - 750 = 0, 0 = -3*q + 2*k + 18 + 533. Is q prime?
False
Suppose 2*x = 3*x - 431. Is x a prime number?
True
Let n = 1 + -2. Let a be (-1 - n)/1 - -4. Suppose 0 = -3*o + 4*b + 195, o - 65 = -9*b + a*b. Is o composite?
True
Suppose 2*y = 430 + 84. Is y composite?
False
Is -127*(-1 - (-1 + 1)) composite?
False
Is (-1713)/(-9) + (-10)/(-15) a composite number?
False
Let u = 366 + -239. Is u a composite number?
False
Suppose -g - 15 = -4*g. Suppose -2*y - 2 = 0, 52 = g*a - y + 6. Let f(p) = p**2 - 5*p + 1. Is f(a) prime?
True
Suppose 440 + 526 = 6*k. Is k prime?
False
Suppose 0*p = -2*p + 56. Suppose 3*g = -p + 376. Let x = g + -63. Is x a composite number?
False
Suppose 3*r + 90 = 5*r + 3*j, -165 = -3*r + 3*j. Is r a prime number?
False
Suppose 0*j = 7*j - 28. Is (-324)/(-3 + -1) - j a prime number?
False
Let c(n) = 13*n + 9. Let m be c(9). Suppose -2*o + 4*v + m = 0, -6 - 29 = -o - 5*v. Is o composite?
True
Let i(x) = -3*x - 5 + 4 - 4. Suppose 5*p = -2*a - 54 + 18, 2*a - 2*p = -8. Is i(a) composite?
False
Let v(l) = l**2 + 9*l - 7. Let a(s) = -s**2 - 14*s + 11. Let t(i) = 5*a(i) + 7*v(i). Is t(5) prime?
False
Let u = -70 + 316. Suppose -15 = 3*j - u. Is j composite?
True
Let g = -7 + 12. Let j(f) = 5*f**2 - 4*f + 4. Is j(g) a composite number?
False
Suppose -4 = -4*r, -5*g + 14 = -0*r + 4*r. Let c(w) = 59*w + 0 + 9*w - 3. Is c(g) a composite number?
True
Suppose -4*i = -25 + 9. Suppose -i*z + 2859 = -z. Is z a composite number?
False
Let a = -29 - -54. Let c = 82 - 42. Let m = c - a. Is m a prime number?
False
Suppose -z + 2*z = 18. Let u be (z/2)/(2/(-6)). Let v = u - -46. Is v composite?
False
Let a(b) = b**3 - 9*b**2 + 13*b + 2. Let g be a(9). Let h = g - 48. Suppose -2*n - 9 = -h. Is n a prime number?
True
Suppose 168 = -11*g + 7*g. Let i be 929/9 - 2/9. Let s = i - g. Is s prime?
False
Let g be (-6 - -3)/((-2)/2). Suppose 0 = -b - z + 26, 16 - 43 = -2*b + g*z. Is b composite?
True
Let h be 5*(-3)/(-3)*1. Suppose 4*m = 8*c - h*c - 569, 763 = 4*c - m. Is c a prime number?
True
Let q(s) be the third derivative of -41*s**4/12 - s**3/2 - 2*s**2. Is q(-2) a composite number?
True
Let p(n) = -n + 3. Let f be p(6). Let o(u) = -u**3 + 5*u**2 + 4*u + 7. Let v(j) = -j**2 - 1. Let c(l) = o(l) + 6*v(l). Is c(f) a prime number?
True
Let d = 125 - -516. Is d prime?
True
Let r(z) = -z**3 - 4*z**2 + 9*z + 7. Let i be -4 + (0 - 3) + 1. Let q be r(i). Let h = q - 15. Is h prime?
False
Let g(i) = -i**3 + 8*i**2 - 8*i + 10. Let v be g(7). Suppose 3 + 54 = v*d. Is d a prime number?
True
Let k be (16/(-40))/((-2)/240). Suppose 0 = 2*i - 2, 309 - 1066 = -4*g + 3*i. Suppose -5*c - g = 6*l - 11*l, -2*l - 5*c = -k. Is l a prime number?
False
Let s(j) = j**3 - 6*j**2 - 8*j + 7. Let u be s(8). Let g = u - 50. Is -1 + 6 + g/(-7) prime?
True
Let c be 426/4 - (-6)/(-12). Suppose y = -4*y + 3*x + 283, 2*y - c = 3*x. Is y composite?
False
Let t(l) = -4*l**2 + 4*l**2 + 2*l**2 - 4*l + 2. Let h be t(2). Suppose 0*p + 4*p - 4*m - 200 = 0, 0 = -4*p - h*m + 218. Is p a prime number?
True
Let d = -9 + 46. Is d prime?
True
Suppose -2 + 0 = 2*r + 3*i, -6 = -4*r - i. Let c be -2 - (1 - (r + 3)). Is ((-2)/3)/(c/(-111)) composite?
False
Let y be 22 + 1 + 1/(-1). Suppose -v + y = 1. Is v a prime number?
False
Let m(y) = -y**3 - 4*y**2 + 4*y. Let n be m(-5). Let v(b) = 2*b - 7. Let o be v(9). Suppose x = -p + o, -p - n*x + 1 + 2 = 0. Is p a prime number?
True
Let c(h) = 13*h**3 - 1 - 198*h**3 + 2*h - 3*h. Is c(-1) prime?
False
Is 3*71 - (10 + -8) prime?
True
Suppose -4*g = -0*w - 2*w - 734, -g = -2*w - 188. Suppose 4 = 2*x, 2*q - g = -8*x + 3*x. Is q prime?
False
Let a = -26 + 394. Suppose -77 = -5*d + a. Is d composite?
False
Let y = -15 - -27. Is (-2 - (-387)/y)*4 prime?
False
Let u be (-1 - -1) + (-1 - -5). Suppose -124 = -u*m + 316. Suppose 3*j - m = -