 -231. Is q composite?
True
Let s = -4 + 23. Is s a prime number?
True
Let c = -6 - -2. Is 1/c + 87/12 prime?
True
Let d(p) = 5*p - 1 + 10 - 9. Is d(2) composite?
True
Suppose -14*x + 19*x - 7585 = 0. Is x a prime number?
False
Is ((2544/20)/(-3))/((-4)/10) prime?
False
Let i be (1*4)/((-4)/(-36)). Let v = i + -5. Suppose 4*l - 13 = v. Is l a prime number?
True
Let n = -902 - -1537. Is n a composite number?
True
Suppose 3*k = -k + 4*c + 3688, -5*k + 3*c + 4608 = 0. Is k prime?
False
Let m be (12/(-8))/((-1)/2). Suppose 0 = 6*y - m*y - 1479. Is y composite?
True
Let c = 2 - 2. Suppose 2*s + 2*s + 3*w - 19 = c, -5*w + 13 = 2*s. Suppose s*m = 4*o + 8*m - 56, -5*m = -4*o + 65. Is o prime?
False
Let c be (1/(-1))/((-1)/2). Suppose -5*g + 31 = -2*z - c*z, 5*z + 17 = -g. Is 1602/8 - g/(-4) prime?
False
Let w(f) = 2*f**3 + 5*f**2 - 17*f + 2. Let s(t) = -t**3 - 2*t**2 + 9*t - 1. Let r(d) = 5*s(d) + 3*w(d). Is r(-5) a prime number?
True
Let x(b) = -b**3 + b**2 + 158. Is x(0) a composite number?
True
Is (-2)/12 - (6753/(-18) + 2) a prime number?
True
Suppose 14*u - 19 = 13*u. Is u a composite number?
False
Let o be 188/5 - 6/10. Let b = o - -9. Is b a prime number?
False
Let t be 0*(3 - (-5)/(-2)). Suppose t = -5*y + 1 + 4, -3*r - 4*y + 295 = 0. Is r prime?
True
Let l(t) be the second derivative of -47*t**3/6 + t**2/2 - 3*t. Let s be l(-9). Let q = s + -297. Is q a prime number?
True
Suppose -r - s = -3*r + 228, -r - 4*s + 123 = 0. Let v be -1*(1 - 4) + -1. Suppose x + r = v*x. Is x a composite number?
True
Let w(u) = -6*u**2 + u - 2. Let q be w(2). Is (-15138)/q - (-2)/8 a composite number?
False
Let q(y) be the first derivative of y**4/4 + 7*y**3/3 + y**2 + 10*y + 2. Let a be q(-7). Let j = a - -11. Is j a prime number?
True
Suppose -2*s = -2*o - 1178, -4*s - 1197 = o - 3543. Is s composite?
False
Suppose -3*j - 835 = -2*m + 1545, -5*m - 3*j = -5992. Suppose m = 4*a - k + 5*k, -3*a + 5*k = -857. Let u = -145 + a. Is u composite?
False
Let n(g) be the second derivative of g**4/6 - g**3/3 - g**2/2 - g. Let p be n(-1). Suppose 3 = -2*i + p*i. Is i prime?
True
Suppose -443 - 507 = 2*d. Let c = d + 666. Is c a composite number?
False
Let c(t) = t**2 - 4*t + 3. Let y be c(4). Suppose y*j = j + 114. Suppose 8*v - 3*v - 4*d - j = 0, 42 = 5*v + d. Is v a composite number?
True
Let r(x) = -x**2 - x - 3. Let i = -12 - -20. Let p be r(i). Let s = p - -128. Is s a composite number?
False
Let y = 15 - 10. Suppose 3*k - b = 109, -4*k + 2*b = y*b - 167. Suppose -3 + k = 5*j + 5*w, j = 5*w + 31. Is j a prime number?
True
Suppose 471 = 2*g - 1627. Is g a composite number?
False
Suppose -26*h = -30*h + 12988. Is h a prime number?
False
Suppose 0 = -5*v - 67 + 1082. Suppose 0 = -2*z + 913 - v. Is z prime?
False
Suppose 2*k = k + 5. Let a(p) be the first derivative of p**4/4 + 2*p**2 + 4*p - 2. Is a(k) a composite number?
False
Let y = 400 + -65. Is y a composite number?
True
Let a = -6 - -9. Suppose a*y - 4*y + 145 = 0. Is y a composite number?
True
Suppose 0 = -37*y + 39*y - 970. Is y a composite number?
True
Let y be (3 - 1)*(2 - 1). Is 1 + -1 - (-6)/y prime?
True
Let g = 12 - 10. Suppose -g*r + z + 407 = 4*z, -3*z = 15. Is r prime?
True
Suppose -4*t + 8 = -2*x, -3*x + 4 - 1 = -t. Suppose -5*p = -4*p - 3. Suppose -x*a - 68 = -4*n, p*a = -2*n - 2*a + 58. Is n composite?
False
Let n = -7 - 0. Let s(o) = -o**2 - 7*o + 6. Let b be s(n). Suppose 4*w = b*w - 28. Is w composite?
True
Let x(q) = 4*q - 8. Let n(l) = 5*l - 9. Let z(v) = 5*n(v) - 6*x(v). Is z(3) composite?
True
Let y(b) = 2*b**2 - 3*b + 2. Let u = 33 - 22. Is y(u) a prime number?
True
Let x be 15 + -7 + 1*-2. Is -386*(-2 + 3/x) a prime number?
False
Suppose -15 = 5*s - 0*s, 0 = 3*r - s - 432. Is r composite?
True
Let t(h) = 19*h**2 - 21*h + 5. Let o(p) = 10*p - 6. Let g(r) = -r**2 + 9*r - 5. Let z(s) = -5*g(s) + 4*o(s). Let j(u) = -2*t(u) + 9*z(u). Is j(3) composite?
False
Let k = 3380 - 9. Is k a composite number?
False
Let d = 15599 + -9760. Is d a composite number?
False
Let t(p) = 2*p - 1. Let h be t(1). Let n be (3/h - 2)/1. Let b(a) = 15*a. Is b(n) a composite number?
True
Let b = 1 - -1. Is b*-158*(-3)/12 prime?
True
Let y be (-4)/6*18/12. Is (-90 - 2)/y - 3 composite?
False
Let b(j) = 3*j**2 - 3*j + 2. Let x be b(3). Suppose p - r = 9, 0 = -2*p - r + 7 - 1. Suppose v - x = -p. Is v composite?
True
Let u(j) = 26*j**2 + 2*j - 9. Let t be u(4). Let y(l) = l**3 - 14*l**2 + 6*l + 7. Let i be y(7). Let d = t + i. Is d a composite number?
True
Suppose -2*i + 855 - 3807 = 0. Let t = -733 - i. Is t prime?
True
Is 8253/27 + (-4)/(-3) a prime number?
True
Suppose -c - 2*m = 2*c - 47, -33 = -2*c - 3*m. Let v(n) = n**3 + 3*n**2 + n + 4. Let g be v(-3). Is (14/6)/(g/c) prime?
False
Suppose 37 = 5*i - 4*s + 9, -20 = -3*i + 4*s. Suppose i*d = d - 2*u + 95, 3*u = 4*d - 155. Is d a prime number?
False
Let a(v) be the third derivative of -5*v**4/24 - v**3/3 + 2*v**2. Let j be a(-7). Is (j - -3) + -2 + 1 a prime number?
False
Suppose -2*v + 77 = -521. Is v a composite number?
True
Let s = -25 + 41. Is -2 + s/4 + 165 a composite number?
False
Let a(x) = -x**3 + 3*x**2 - 4*x - 1. Is a(-4) a composite number?
False
Suppose 0 = -6*d + 2*d + 132. Suppose 0 = b - d - 20. Is b prime?
True
Let b(u) = 8*u**2 - u - 3. Let h(r) = 23*r**2 - 2*r - 9. Let w(v) = -11*b(v) + 4*h(v). Is w(-4) composite?
True
Let q(y) = 17*y**3 + y**2 - y + 4. Let h(i) = i**3 - i**2 + i - 1. Let x(b) = 6*h(b) + q(b). Is x(3) prime?
False
Let y(l) = l**2 - 6*l - 3. Let c be y(8). Suppose -2*t = c - 87. Is t a prime number?
True
Let q = -338 + 1437. Suppose 5*u + 4*y - q = 0, 5*u - 5*y - 1617 + 482 = 0. Is u composite?
False
Let d(y) = -4*y - 15. Let u be d(-7). Let q(k) = -k**3 + 14*k**2 - 12*k + 2. Is q(u) a prime number?
False
Let d(s) = -2*s**3 - s**2 + 3*s - 77. Let f(h) = -3*h**3 - h**2 + 4*h - 77. Let u(w) = -4*d(w) + 3*f(w). Let j be (0/((-4)/(-2)))/(-1). Is u(j) prime?
False
Suppose -4*p - 103 = 97. Let y = -27 - p. Is y prime?
True
Let z(n) = -5*n + 3. Let r(a) = -a - 1. Let t(f) = -4*r(f) + z(f). Let u be t(4). Suppose -u*o + 4*o = 33. Is o a composite number?
True
Is 3650/18 + (-20)/(-90) a composite number?
True
Let r(s) = -s**3 - 2*s**2 + 3*s - 1. Let b be r(2). Let q = -17 - b. Let p = q - -41. Is p prime?
False
Let g(a) = 10*a**2 + 9*a + 16. Is g(-9) a prime number?
False
Let s(f) = 1406*f**2 - f. Is s(1) a prime number?
False
Let d = 140 - 53. Is d prime?
False
Let p = 193 + 948. Is p prime?
False
Let l(m) = -m**3 + m**2 + 8*m + 1. Is l(-4) a composite number?
True
Let h(q) = 7*q**2 - 3*q + 15. Is h(16) a prime number?
True
Let z(q) = -q**2 + 8*q - 7. Let b be z(6). Suppose -226 = -2*o + 4*f, -f - 1 = -b. Is o prime?
False
Is (9 - 19)*(-46)/4 a composite number?
True
Let y(b) = 2*b**2 - 10*b - 4. Let l(w) = -1. Let d(p) = -5*l(p) + y(p). Is d(8) prime?
False
Suppose -3*d = 4*u - d - 754, 4*d - 171 = -u. Is u a composite number?
False
Suppose 0 = 6*p - 11171 - 19063. Is p prime?
True
Let b(t) = -t**2 + 11*t - 1. Suppose 57 = 4*i + 5*x, -2*x - 6 = -16. Is b(i) prime?
True
Let p(n) = n**2 + 10*n + 11. Let d be p(-9). Suppose -d*w - 111 = -5*w. Is w composite?
False
Let d(z) = -9*z + 13. Is d(-6) a prime number?
True
Let f(u) = -62*u - 23. Is f(-10) prime?
False
Suppose 0 = -3*b - z + 19, 0*z + 45 = 5*b - 5*z. Suppose 4*c = w + 33 + 26, -2*w + 2 = 0. Suppose b - c = -4*d. Is d composite?
False
Suppose 2*i + 5*q - 2334 + 529 = 0, 5*i + q = 4478. Is i a prime number?
False
Let f(o) = -8*o. Suppose u - 1 = -0*u. Let q be f(u). Is ((-23)/(-4))/((-2)/q) a prime number?
True
Is 122/6 - 12/(-18) prime?
False
Let k(u) = 23*u**2 - 2*u + 23. Is k(6) composite?
False
Let o(q) = -3*q**3 + q**2 - 2*q. Let m be o(-3). Suppose -5*u - 36 = 2*i - i, 5 = 5*u. Let h = m + i. Is h prime?
False
Suppose 196 - 631 = -3*o. Is o a composite number?
True
Let l(q) = 31*q - 5. Is l(2) composite?
True
Let q(f) = -f**3 - 4*f**2 - 2*f - 2. Let h be q(-4). Suppose a - 3*l + 334 = h*a, l - 3 = 0. Is a a prime number?
False
Let h(j) = j**3 + 8*j**2 - j + 2. Let y be h(-8). Suppose k - y = -k. Suppose v = -k*t + 100, -3*t + 4 = -2*t - 3*v. Is t a prime number?
True
Suppose -97 + 742 = 5*d. Is d a composite number?
True
Let x(o) = -o**3 - 6*o**2 - 15*o - 5. Is x(-6) prime?
False
