 composite number?
True
Let k be (1 - 0)*(-1 - 2). Let f(z) = 6*z**2 - 3*z + 2. Let n(w) = 12*w**2 - 7*w + 5. Let b(l) = k*n(l) + 7*f(l). Is b(-3) a prime number?
True
Let w be 1 - 0 - (-168 - -3). Let q = -109 + w. Suppose -m = -2*p + q, -m = 2*p - 3*m - 52. Is p a composite number?
False
Let a = -1888 - -3325. Is a composite?
True
Let m be (-2)/(-4)*1*-8. Let t = m - -3. Is t/(2 + (-23)/11) composite?
False
Let r(z) be the first derivative of 5*z**4/4 + z**3/6 + z**2/2 + 2. Let k(q) be the second derivative of r(q). Is k(1) a prime number?
True
Suppose 1539 = 4*j + 527. Is j prime?
False
Let t be -5 + 352 - (2 - 3). Suppose -4*a + 0*a = -t. Is a a prime number?
False
Let w(m) = -4*m**3 - 2*m**2 - 2*m - 1. Let y be w(-1). Suppose j = -y*j + 80. Is j - 3*(-3)/(-9) composite?
False
Let n(v) = 13*v. Is n(1) composite?
False
Let k(u) be the second derivative of 7*u**5/20 - u**3/6 + u. Is k(1) a composite number?
True
Let i = -717 - -1508. Is i a composite number?
True
Let l = 11 + -9. Suppose -7*w + 395 = -l*w. Is w composite?
False
Suppose 0*b + 12 = 4*b. Suppose -3 = -0*f - b*f. Let z = f - -30. Is z a prime number?
True
Suppose 33708 = 4*f + 8*f. Is f prime?
False
Let a(v) = -2*v**2 - 8*v - 3. Let m(l) = -7*l - 3. Let z(g) = g**2 + g. Let k(x) = -m(x) + 2*z(x). Let n(f) = -7*a(f) - 6*k(f). Is n(-2) prime?
True
Suppose j = o - 6, 8*o + j - 24 = 3*o. Suppose -v - 403 = -3*w, o*w = v - 85 + 754. Is w composite?
True
Let i(f) be the second derivative of f**4/2 + f**3/2 + 3*f**2/2 - 3*f. Is i(-2) prime?
False
Suppose 502 = w + 2*f - 7*f, -4*w + 2008 = 2*f. Is w a prime number?
False
Suppose 0 = 2*z - 3*o - 293, 0 = z + 3*o - 119 - 23. Is z composite?
True
Let f(a) = -9 + 9 - a**2. Let d(g) = -7*g**2 - 4*g - 3. Let p(v) = -d(v) - 3*f(v). Is p(-2) prime?
False
Suppose 5*j = 3*k + 2*k + 2685, 2*k + 1076 = 3*j. Let l = 229 + k. Is (-2)/6*l/3 composite?
True
Let b(d) = 6*d**3 - 2*d**2 - d + 1. Let z(t) = t**2 - t + 2. Let s be z(0). Is b(s) composite?
True
Suppose -2*r + 4*c - 12 = -36, -2*r + c = -12. Suppose r*x - 2*x - 232 = -2*k, 4*k - 461 = -x. Is k composite?
True
Is (2/6)/((-1)/(-5847)) a prime number?
True
Let b(x) = 4*x**2 - 2*x**2 + 7 - 3*x**2 - 4*x. Let o be b(-5). Suppose s + p = 33, 5*s - 6*p - 201 = -o*p. Is s prime?
True
Suppose 3*a - 23 = -4*z, 0 = -0*a - 3*a - 2*z + 25. Suppose 4*v = 7*v - a. Suppose 2*q + 0*y - 153 = -y, 3*q = -v*y + 222. Is q a prime number?
True
Suppose 0*j + 5 = 3*j + 2*g, 2*j + 4*g + 10 = 0. Is 10/25*j*89 prime?
False
Suppose 0 = -4*g + 8, 2*l - 3*l + 2*g = -469. Is l a prime number?
False
Suppose -20 = 3*l + 2*l, y + 2 = -l. Let v(n) = 18*n + 29*n + y*n. Is v(1) prime?
False
Let n(k) = 5*k**2 + 3*k + 2*k**2 - 5 - 5*k**2. Is n(6) composite?
True
Let d(q) = -q + 3. Let n be (1 - (2 + -1))/(-1). Let z be d(n). Is z*-1*(-149)/3 a composite number?
False
Suppose -1525 = -3*r + 12215. Suppose -3*l + r = l. Is l composite?
True
Let h be (-3930)/(-4) - (-2)/4. Suppose -h = -4*j + 3*u, -u - 469 - 24 = -2*j. Is j/(-12)*3/(-2) composite?
False
Let u be ((-16)/3)/((-2)/183). Suppose -4*x + 5*f = -0*x - u, -3*x - 3*f = -393. Is x a prime number?
True
Let k(u) = 3*u**2 - 13*u + 9. Let a = -11 - -19. Is k(a) prime?
True
Suppose 5 = -4*v - v. Is v*(2 + -12 + -3) a composite number?
False
Let m = -263 - -378. Is m prime?
False
Let c(x) = 2*x**2 + 3*x - 40. Is c(-17) prime?
True
Is (-4 - -3)/6 - 5030/(-12) a prime number?
True
Suppose 0 = -13*l + 11129 + 8930. Is l a prime number?
True
Let a(c) = -c**2 + 203. Is a(0) prime?
False
Let l(t) = -2*t + 10. Let h be l(9). Let g be (-6)/(-2) - 8/h. Is (3 + (-47)/(-4))*g prime?
True
Suppose -36*q + 34*q + 40 = 0. Suppose -n + 4*j = n - q, -3*n - j + 44 = 0. Is n a composite number?
True
Let c(k) = k**3 + 4*k**2 - 6*k. Let j be c(-5). Let s be 62 - (1*-2 - -4). Suppose o - j*o - 5*q + 61 = 0, 3*o = q + s. Is o a prime number?
True
Suppose 5*b = 0, 2*b - 1 = 3*i - 7. Is i prime?
True
Suppose 2*b = -b - 33. Let q = b + 15. Suppose 5*c - 18 = v, -10 = -q*c + v + 2*v. Is c a composite number?
True
Suppose 84 = -s + 3*s. Suppose 3*a = s + 3. Is a prime?
False
Let u(j) = -2*j**2 - j - 1. Let y be u(-1). Let x be ((-41)/2)/(1/y). Suppose 100 = 3*r - x. Is r prime?
True
Suppose 5*n = -2*u + 1392, -20 + 1430 = 2*u - 4*n. Is u a composite number?
False
Let x(r) = -6 + 14*r**3 + 7 + 3*r**2 - 4*r**3. Let d be x(3). Suppose 0 = -5*l - 113 + d. Is l composite?
False
Let s = 20412 - 455. Is s a composite number?
True
Let p(j) = j**3 + 6*j**2 + 6*j + 1. Let o be p(-5). Let c be (5 + o)/((-1)/(-273)). Let n = -190 + c. Is n a composite number?
False
Let x = -686 + 399. Let d = x - -478. Is d a composite number?
False
Is (-6)/(5/(1335/(-6))) composite?
True
Let u(h) = 2*h + 2. Let p be u(-5). Let j be ((-317)/4)/((-2)/p). Let n = -224 - j. Is n prime?
False
Let v = 27 + 62. Suppose 0 = 5*g + 4*w - 81, 5*g - 7*w = -3*w + v. Is g - (2*-1 - -4) a composite number?
True
Suppose 3*f = -m + 2, 5*f + 0*m + 2*m = 4. Let w = -2 + f. Is 0 + 3 + w - -5 composite?
True
Suppose 19 = b - 89. Let r = b - 11. Is r composite?
False
Let d(i) = -4*i + 3*i - 8*i - 3. Is d(-6) composite?
True
Let x be (-2)/2 - 10/(-2). Suppose x*c - 47 = f, 5*c - 6 = 19. Let a = f - -50. Is a composite?
False
Suppose 3*m = 4*m - 51. Let x = m + 20. Is x prime?
True
Suppose 11*r = 557 + 20992. Is r composite?
True
Suppose 0 = -5*f + 15, -2*b - 3*f + 6*f = -105. Let h be ((-18)/(-24))/((-9)/(-24)). Suppose -a + b = h*a. Is a prime?
True
Suppose u = -u + 198. Let r = u + -66. Is r composite?
True
Suppose -5*k = -4*c + 1, 2*k = 3*c - 2*k. Suppose 74 = c*j - 110. Is j a composite number?
True
Suppose 0 = 5*a - 35 - 240. Is a prime?
False
Let p be 8/3 + 6/(-9). Suppose 4*r + p*n - 19 = -n, 21 = 4*r + 5*n. Let u(q) = -q**3 + 4*q**2 + q - 1. Is u(r) composite?
False
Is 973/5 - 42/70 composite?
True
Let p(j) = j**3 - 6*j**2 + 11. Is p(9) a composite number?
True
Suppose 4*q + 5*s - 1 - 2 = 0, s - 2 = -q. Let g be 0 - (0 - q) - 2. Let w(y) = -y**3 + 7*y**2 - 2*y - 5. Is w(g) a composite number?
True
Let z(d) = -d**2 + 8*d + 7. Let x be z(7). Suppose q + 0 - 5 = 0. Suppose -b = -x - q. Is b composite?
False
Let d(a) = a**3 - 2*a**2 + a - 5. Suppose -m - 2*m + 32 = 5*k, 0 = k + 2*m - 12. Is d(k) a prime number?
True
Let r(n) = 5*n**3 + n**2. Let m be r(1). Let u(h) = 3*h - 7. Let a be u(m). Let z = a - -68. Is z composite?
False
Suppose -4*g = -4, -4*y + 4*g + 6 = 2*g. Suppose y*n - 4*n = -106. Is n prime?
True
Suppose 190 - 70 = 3*b. Let k = 75 - b. Is k a prime number?
False
Let h = 1011 - 56. Is h composite?
True
Let l = 4 + -1. Let p(f) = 11*f. Is p(l) a composite number?
True
Suppose 3*z + 360 = -z. Let f = -16 - z. Is f a prime number?
False
Suppose -5*f + 10 = 0, u - 4*f = -f - 1. Let i = u - 3. Suppose -3 - 3 = -i*d. Is d composite?
False
Is (-446)/(-4) + (-3)/(-2) composite?
False
Suppose -165 = -5*v + 2*u, 7*v - 3*v = 2*u + 130. Let s = v - -18. Is s prime?
True
Let x = 5 - 5. Suppose 2*d + 0*d - 182 = x. Is d prime?
False
Let n(t) be the third derivative of -5*t**4/6 + 7*t**3/6 + 4*t**2. Is n(-6) prime?
True
Is 3/(-2)*264/(-36) a prime number?
True
Suppose 495 = 3*j + 2*j. Let q = j + -68. Is q composite?
False
Let u be ((-11)/(-4) - 2)*-12. Let r(n) = n**3 + 9*n**2 - 5*n + 8. Is r(u) a composite number?
False
Suppose -18 = -4*u - 2. Suppose 2*m - u = -0*m - 3*o, -m = -o + 3. Is (-14)/(m - 15/(-21)) a composite number?
True
Let d(q) = -297*q. Let u be d(1). Is (-2)/8 - u/4 composite?
True
Suppose -g + 0*g = -178. Is g a prime number?
False
Let w = -9 + 13. Is (-83)/2*(w + -6) composite?
False
Let c(l) = -6*l + 6. Suppose 3*w - 39 = -4*j - 0, w - 4*j = -3. Let q be c(w). Let d = -29 - q. Is d composite?
False
Let j(n) = -n + 1. Let g be j(-3). Suppose g = -2*r + r. Let t(d) = -d**2 - 7*d + 1. Is t(r) composite?
False
Suppose -2*h - 119 = -569. Let z = 117 - 263. Let l = z + h. Is l composite?
False
Let n = -14 - -10. Let m = n - -4. Suppose -3*c - 3 - 9 = m, -27 = -d + 2*c. Is d a prime number?
True
Let m(l) = -201*l**3 + l**2 - 1. Let d = -7 + 6. Is m(d) a prime number?
False
Let f(x) = x**2 + 9*x. Let c(d) = -d**2 - d. Let j(q) = 2*c(q) + f(q). Let r be j(5). Suppose -h - 6*u + r = -3*u, 2*h - 47 = 3*u. Is h composite?
False
Let c(a) = 59*a