 number?
False
Let d be 122*((-10)/(-4))/5. Let r = d - 41. Let c = r - -33. Is c a composite number?
False
Let q(l) = 2*l + 2. Let n be q(2). Suppose -b + r - n*r + 13 = 0, 5*b - 117 = r. Is b composite?
False
Let y be 4/16 + 11/4. Let x be 10/((0 + y)/177). Is x/18 + (-6)/(-27) composite?
True
Is 841*(7 + -3) + -5 a prime number?
True
Suppose 5*x - 3*f + 3272 - 11904 = 0, 5*x - 2*f - 8628 = 0. Suppose x = -2*c + 6*c. Is c a composite number?
False
Let x be (0 - -1)*215 + -2. Let u = x + -148. Is u a prime number?
False
Let h = 207 + 4. Is h a prime number?
True
Let g be 0 + 0 + (37 - -2). Let t(f) = -4*f - 2. Let h be t(-7). Let p = g - h. Is p prime?
True
Is ((-1)/(-2))/((-2)/(-1388)) prime?
True
Let w = 5 + -3. Suppose -10 = -3*h + w. Suppose -i - 20 = -2*n, 2*n = h*i - 7*i + 28. Is n composite?
False
Let c(a) = a**3 + 22*a**2 + 23*a - 1. Is c(-15) a composite number?
False
Let x = 17 - 7. Suppose -i - 4*i = -x. Suppose 0 = 2*f + i*f + 3*s - 283, -20 = -4*s. Is f a prime number?
True
Let w be (-2)/((-4)/2)*79. Let m = w + -32. Is m prime?
True
Let g(b) = b**3 - 5*b + 2. Is g(3) prime?
False
Let l(u) = -3*u - 6. Let i be l(-3). Is 110/i + (-6)/(-18) prime?
True
Let c(t) be the second derivative of t**4/12 + t**3/6 + 7*t**2/2 - 6*t. Is c(0) prime?
True
Suppose 2*s + 1348 = 6*s. Is s prime?
True
Suppose -4*c = 3*l - 8, c = -2*l - c + 4. Suppose 4*m + 4*i - i - 50 = 0, l = -5*m + 4*i + 78. Is m a prime number?
False
Let j(i) = -i**2 + 3*i - 1. Let u be j(4). Let b(r) = -3*r. Let t be b(u). Suppose s - 38 = -3*s + 5*l, -3*s - 3*l = -t. Is s a composite number?
False
Let f = -4 + 9. Suppose 10 = -5*h - f*c, -2*c + 5*c + 6 = 4*h. Is 33*((-1 - h) + 2) a composite number?
True
Let t = 150 - 31. Let j = 5 + 0. Suppose -j*m + t = -316. Is m a prime number?
False
Let l = -37 - -122. Is l a prime number?
False
Let m(f) = -23*f - 14. Let s(o) = -47*o - 27. Let p(x) = 11*m(x) - 6*s(x). Suppose 18 = -h + 5*d, 0 = 4*h + 3*d + 16 - 59. Is p(h) prime?
True
Let t(c) = 3*c**2 - 12*c. Let d(r) = -5*r**2 + 23*r - 1. Let n(k) = -4*d(k) - 7*t(k). Is n(-5) a prime number?
True
Is (-1)/(-4) + (-31467)/(-4) prime?
True
Let w(z) = 3*z**2 + 7*z + 4. Let d be w(-4). Let u = d - -15. Is u a composite number?
True
Let n = 10 + -5. Suppose 18 + 7 = n*t. Let f(i) = 29*i - 4. Is f(t) a composite number?
True
Let j(o) be the first derivative of -o**4/4 + 2*o**3/3 + 2*o - 2. Let s be j(2). Suppose -2*g = a + s, g + 25 = 3*a + 3. Is a a prime number?
False
Let q = -92 + 156. Suppose 5*g + 46 = -q. Let s = g - -143. Is s a prime number?
False
Suppose -5 = -2*o - d, -1 = -d - 0. Suppose 3*s - 51 = 5*b - 16, s + 3 = -o*b. Is b - -4 - 35*-1 composite?
True
Suppose -4 = 2*t + 2*b, -3*b = -6*b + 12. Let m(c) = c**3 + 7*c**2 + c + 1. Let k be m(t). Suppose 18 + k = j. Is j prime?
False
Is 83*1*(-8 - -9) composite?
False
Suppose -d + 1646 = 585. Is d a composite number?
False
Let p(h) = 1505*h + 7. Is p(2) prime?
False
Suppose 5*n - 47 = 2*w + 30, 78 = 5*n - 3*w. Let h = -10 + n. Suppose -a + 66 = h*s, -5*a + 5*s + 360 = -0*s. Is a prime?
True
Is -3 - (9 + -4)*-214 a prime number?
False
Suppose 3*t + 4*r = 1563, 5*t - 1723 = 3*r + 853. Is t a prime number?
False
Let i(r) = 2*r**2 - 4*r. Let k be i(3). Is (12/k)/(4/218) composite?
False
Let o(y) = y**2 + 7*y - 7. Let s be (0 - 3) + -6 + 2. Let h be o(s). Let z(r) = -53*r. Is z(h) a prime number?
False
Let u(d) be the third derivative of -d**6/24 - d**5/30 - d**4/12 - d**3/6 - d**2. Let f be u(-2). Is (-1 - -2)*(f + 0) a prime number?
False
Let t = -4 + -3. Let o = t - -28. Is o a composite number?
True
Let r(x) = -x + 3. Let l be r(0). Suppose -2*c - l*n = -7, 3*c - 10 = -2*n - 2*n. Is c + (1 - -82 - 2) a prime number?
True
Let x = -168 + 92. Let y = 131 + x. Is y a composite number?
True
Let v be (45/(-6))/((-3)/(-4)). Is (66/v)/(3/(-15)) composite?
True
Let u(i) be the first derivative of i**4/2 + 5*i**3/6 + i**2 - 1. Let g(x) be the second derivative of u(x). Is g(5) composite?
True
Suppose -141 = -3*a - 0*a. Is a a composite number?
False
Suppose 0 = -2*p - 4*h + 1414, 3*h = -7*p + 2*p + 3500. Is p a prime number?
False
Let w(y) = -y + 6. Let z be w(6). Suppose 6*c - 5*c - 110 = z. Suppose 0*h - c = -5*h. Is h composite?
True
Suppose 0 = -5*c, -4*c = -q + 3*q + 240. Let h = 211 + q. Is h prime?
False
Is 0*((-18)/(-4) + -4) + 191 a prime number?
True
Suppose 0 = m - 4*m + 18. Suppose m*i + 452 = 10*i. Is i a composite number?
False
Let k(j) = -j**2 - j. Let p(h) = 1. Let q(d) = -9*d**2 - 4*d - 1. Let x(z) = 3*p(z) - q(z). Let i(y) = 6*k(y) + x(y). Is i(-3) a composite number?
False
Let x(p) = -3*p**2 + 3*p - 1. Let g be x(2). Let v(q) = q**2 + 4*q - 2. Is v(g) composite?
False
Let s = 304 - -87. Is s composite?
True
Suppose l + 2*f - 1095 = -223, 0 = 2*l - 2*f - 1714. Is l prime?
False
Let a be (0 - (0 - -1))*1. Let u be (48/30)/(a/5). Let h = u - -21. Is h composite?
False
Let z(y) = 41*y**3 - 6*y**2 - 5. Let g(u) = -40*u**3 + 5*u**2 + 4. Let t(f) = 5*g(f) + 4*z(f). Let a = 19 + -20. Is t(a) composite?
False
Let x = 821 + -280. Is x composite?
False
Suppose 2*p = 5*y - 13, 3*p - p = -y - 7. Let h = p + 8. Is h/14 - 215/(-7) composite?
False
Let d(w) = -w**2 - 7*w + 11. Let r be d(-8). Suppose -25 = -c + 5*m, 8*m - 3*m + 25 = r*c. Is 1 + 0 + c - -50 prime?
False
Let f(w) = 10*w + 1. Let y(s) = s**2 + 8*s + 3. Let l be y(-8). Is f(l) prime?
True
Let v(t) = -t**3 + 4*t**2 - 4*t + 3. Let w be v(2). Let h(p) = p + 8. Let c be h(-6). Suppose -c*d + 105 = w*d. Is d prime?
False
Let w(s) = -s**2. Let n(x) = 10*x**2 + 3*x - 2. Let i(p) = n(p) + 5*w(p). Let z be i(-3). Suppose -4*k + z = 5*b, 2*k + 5*b = 5*k - 43. Is k a prime number?
True
Let d be (-84)/15 + 9/15. Let g(k) = k**3 + 4*k**2 - 5*k + 2. Let l be g(d). Suppose -6*c = -l*c - 40. Is c a composite number?
True
Suppose -30 = -0*x + 3*x + 3*s, 0 = 5*x - 4*s + 14. Is (x/(-4))/(1/62) composite?
True
Let s(b) = 88*b + 1 + 4 - 4. Is s(4) composite?
False
Suppose 5*l - 5*b - 25 = 0, b - 2*b - 3 = l. Let w(q) = 6*q - 1. Let d be w(l). Suppose -z + 9 = f - 0*f, -3*z + 27 = -d*f. Is z prime?
False
Suppose 4*p = p + 9. Let c = p + -6. Is (7/1)/(c/(-33)) composite?
True
Let v(p) = -38 + 0*p + 37 - p + p**2. Is v(-9) a prime number?
True
Suppose -10 = b + 5*m - m, 2*b - 2 = 3*m. Let w(o) = -32*o - 2. Is w(b) a prime number?
False
Suppose -5*u = 3*k - 0*k - 7, -u - 5*k - 3 = 0. Suppose -2*d = -0*d. Suppose -u*l + 2*y + 236 = 0, -2*y = l - d*l - 103. Is l prime?
True
Let t(k) = -2*k - 6. Is t(-6) prime?
False
Let u(r) = -r**3 + 6*r**2 + 4*r + 1. Is u(4) composite?
True
Is 2*1492/(-16)*-2 prime?
True
Let m be (25 + 2 + -1)*1. Is (m/(-5))/(2/(-10)) a prime number?
False
Let k be (-1)/(1/(-69)*-3). Let g = 67 + -25. Let s = k + g. Is s composite?
False
Suppose 0 = 5*a - 2*c - 209, -4*a = -0*a + 5*c - 187. Let o(i) = i - 4. Let y be o(-8). Let m = y + a. Is m prime?
True
Let v be 648/(-14) - (-2)/7. Let y = v + 111. Is y prime?
False
Let y(a) = 50*a - 1. Suppose 3*o + 4*t + 9 = 0, -2*o - 2*t - 2 - 2 = 0. Is y(o) prime?
False
Suppose -5*h = 2*h - 1939. Is h prime?
True
Suppose 5*s - 291 = 194. Is s composite?
False
Let o(x) = x - 6. Let m be o(9). Suppose 2*a + 236 = 3*u + m*a, 4*u - 313 = -a. Is u composite?
True
Let s(n) = -n**3 - 3*n**2 + 7*n + 1. Suppose 2*a = 2*v - 7*v + 33, 5*a - 16 = -3*v. Let w = v - 13. Is s(w) composite?
False
Let x(a) = -66*a - 2. Let w(i) = -33*i - 1. Let y(g) = -5*w(g) + 3*x(g). Let j = 5 - 7. Is y(j) prime?
False
Let j = 519 - 370. Is j composite?
False
Let p = 28 + -25. Suppose 3*r = 27 - 6. Suppose -r*b = -p*b - 644. Is b a prime number?
False
Let u be ((-3)/(-2))/(6/(-8)). Let i = u - -8. Is i a composite number?
True
Let o(l) = -l**3 + 6*l**2 + 8*l + 5. Let m(f) be the first derivative of -f**2 - 12*f + 4. Let k be m(-9). Is o(k) a prime number?
True
Suppose 4*x - 5*x - 157 = 0. Let b = -104 - x. Is b prime?
True
Suppose -6*f + 5344 = -1490. Suppose 1153 = 4*l - f. Is l a prime number?
False
Let t(q) = q + 5. Let a(h) = -6. Let l(j) = -4*a(j) - 5*t(j). Let b be l(-1). Suppose 163 = b*k + 7. Is k a prime number?
False
Let g(x) = 6*x**2 + 5*x - 2. Let z(s) = s**3 - 13*s**2 - 11*s + 4. Let j(m) = -9*g(m) - 4*z(m). Is j(-3) prime?
False
Suppose 0 = -4*r + 4*i + 32, 0