 p + 42, 4*p = 4*n - 64. Let k = -4 - p. Is k prime?
True
Let q(t) = 13*t - t**3 - 7*t**2 + 0 - 4*t + 9. Let v be q(-8). Is 24 - (2/v)/(-2) a prime number?
False
Let k(r) = 4*r**2 - 7*r + 9. Is k(-12) composite?
True
Let m be (1 + -1)*(-12)/(-24). Suppose 5*p = -m*p + 1185. Is p a composite number?
True
Suppose 6 = b + 4*b + n, 2*n - 7 = -5*b. Is 1/b*151 - 2 prime?
True
Suppose 2*p + 325 = -3*p. Let n = p - -116. Is n a prime number?
False
Suppose c - m - 794 = -4*c, 4 = -m. Is c a composite number?
True
Let h = -8 + 4. Let n(j) = j + 5. Let x be n(h). Is (1 - (x + -21)) + 2 a prime number?
True
Let h be 4/(4/5526*-3). Let j be h/(-8) + 5/(-20). Let o = j - 161. Is o prime?
False
Suppose -4*a - 6 + 14 = 0. Suppose -s = 2*i + a*i - 152, 4*s + 58 = 2*i. Is i prime?
True
Suppose -58 = 5*v + g, 0 = -0*v + v - 5*g + 22. Is (-3)/9 - 700/v composite?
True
Suppose g - l = 2*l + 1, -2*l - 12 = 5*g. Is 2/((-2)/(-69)) - g a prime number?
True
Suppose 2*v - 3 = -5*j, 0*j = -5*v + 4*j + 24. Suppose -v*p + p - 4*q = -287, -3*p - 2*q + 289 = 0. Is p a composite number?
False
Let n = 1315 + -656. Is n prime?
True
Suppose 2*l + v = 6*v + 10, 5*l + 2 = -v. Suppose 0 = -l*t + 5*t - 1180. Suppose -5*s + s = -t. Is s a composite number?
False
Is ((-3)/(-3))/((-1)/(-127)) composite?
False
Is (-1 + 3 - 4 - -1561)/1 prime?
True
Is (0 + 3)/(24/12344) a prime number?
True
Let m(x) = 10*x + 3. Let q be m(6). Suppose 2*t - q = -h + 6*t, -5*h = -t - 391. Is h a composite number?
False
Suppose 2*a = -2, -4*l + 3*a = -65 - 6. Let u = 59 - l. Suppose 2*s = -0*s + u. Is s composite?
True
Let u(a) = -2*a - 14. Let o be u(-10). Let z = 6 - o. Suppose z*y + 32 = 4*b - 3*y, 5*y = 2*b - 2. Is b a prime number?
True
Suppose 4*t - 3*t + 10 = 0. Let j = -6 - t. Suppose -o + 22 = x, -2*x + 5*o = j*o - 53. Is x composite?
True
Let i(n) = 940*n - 13. Is i(2) a composite number?
False
Let o = -605 + 1116. Is o composite?
True
Let r(q) = q + 34. Let u(n) = n + 34. Let y(j) = -4*r(j) + 5*u(j). Is y(0) a composite number?
True
Let t be 4544/(-28) - 4/(-14). Let p = 307 + t. Let i = 0 + p. Is i composite?
True
Let v = 423 + -132. Is v a prime number?
False
Suppose -8*s + 55 = -7*s. Is s composite?
True
Is 381/1*(-1)/(-3) a prime number?
True
Suppose -3*h - d = -4*d + 36, -5*h + 4*d = 57. Let z(o) = -o**3 - 8*o**2 + 8*o + 2. Is z(h) a prime number?
True
Let z = -7 + 9. Suppose 5*a - z*c - c - 280 = 0, 0 = -a + 4*c + 73. Is a a composite number?
False
Let q = 4 + -7. Let w = q + 10. Is w a prime number?
True
Let y(i) = 3*i**2 + 4*i - 6*i**3 + 3 - i**2 + 6*i**2 + 7*i**3. Suppose 0*l + 4 = -l. Is y(l) a prime number?
False
Let u = 8 + -6. Suppose -u*t = -i - t + 24, -t = 5*i - 132. Is i a composite number?
True
Let t(f) = -f**3 - 8*f**2 - 7*f - 1. Let z be t(-7). Let d = z - -1. Suppose -3*o - p + 64 = d, -4*o - 2*p = -27 - 59. Is o a composite number?
True
Suppose -o - 3*o = 0. Suppose 4*z - b - 3063 = o, -2*b + 3860 = 5*z + 3*b. Is z a composite number?
True
Is -298*((-14)/(-4) + -2 - 2) a composite number?
False
Let b(z) = -z**2 + 8*z + 13. Let w be b(9). Suppose 4*s - w = 2*s. Suppose -k - s = -9. Is k composite?
False
Let g = 51 - -12. Let n = g - 28. Is n composite?
True
Suppose -a + 44 = a. Let t = a - -240. Suppose -4*k = 8, 4*g - t = k + 216. Is g a composite number?
True
Let n(h) = -h - 4. Let y be n(-9). Suppose -y = 5*j - 15. Suppose 0 = -4*u + 3*d + 227, 5*u - 3*d - 290 = j*d. Is u a composite number?
False
Suppose w - 2*z - 36 = 0, 4*w = 3*w - 5*z + 1. Suppose -555 = 21*k - w*k. Is k prime?
False
Suppose -24*w + 23129 = 4193. Is w composite?
True
Is (5/((-35)/98))/((-2)/29) prime?
False
Let u be -7*4 - (1 + 0). Let v = -20 - u. Is v a prime number?
False
Let b(l) be the second derivative of 67*l**4/24 + 3*l**2/2 + 4*l. Let j(x) be the first derivative of b(x). Is j(1) prime?
True
Let z(a) = -a + 163. Suppose 4*d - 8 = -3*h, 3*d + 0*d = 6. Let x be z(h). Suppose 3*r - x + 61 = 0. Is r prime?
False
Suppose -4*p + 0*p + 5*x + 2177 = 0, 3*p = -x + 1609. Is p prime?
False
Suppose -b - 75 = -6*b. Is 565/b + 1/3 prime?
False
Suppose -11*f + 16*f - 2630 = 0. Is f composite?
True
Suppose -3*y - 5*s = 5, -3*s - 4 = s. Suppose -524 = -4*u - y*u. Is u prime?
True
Let l be 1*(-3)/(3/(-25)). Suppose 3*x = -l + 1. Is (-355)/(-4) + (-2)/x prime?
True
Suppose 0 = 2*l + 122 + 272. Let j = l - -280. Is j a composite number?
False
Suppose -2*r + 4 - 2 = 0. Let i be (0/3)/(r*-1). Suppose n + 2*p = 32 - 2, i = n + 5*p - 36. Is n a composite number?
True
Let n(b) = 5*b + 1. Suppose -3 = 5*o - 18. Let r be n(o). Suppose -3*a + 14 = -r. Is a a composite number?
True
Let g(l) = 42*l**3 - 2*l**2 - l + 2. Suppose 0 = 5*s - 2 - 13. Let o be g(s). Suppose 2*w + 3*w = o. Is w a composite number?
False
Let v(m) = 2*m - 2. Let s be -1 + 0 + 2 + 2. Let a be v(s). Suppose -4*r - 30 = -h, a*h = -r + 40 + 12. Is h composite?
True
Suppose 0 - 6 = -2*x. Is (-159)/x*(-2 - -1) prime?
True
Let j(n) be the third derivative of -1/6*n**3 + 0 + 0*n - n**2 + 5/12*n**4. Is j(2) prime?
True
Let b be -526 + -7 + 3 + 7. Let a = 156 - b. Is a a composite number?
True
Let t(z) = z**3 + 7*z**2 - 6*z - 5. Let l = 4 - -2. Let k(a) = -a - 1. Let p be k(l). Is t(p) a composite number?
False
Suppose -2*f = -4*f. Suppose f*s = -4*s + 3*n + 200, -2*s = -2*n - 102. Is s composite?
False
Let x(n) = n**3 - 2*n**2 - n - 4. Let p be x(3). Suppose 7 = 4*i - d + p, d + 5 = -5*i. Let j(z) = z + 10. Is j(i) a composite number?
True
Suppose -15*g + 777 = -12*g. Is g a prime number?
False
Let z(v) = 58*v**2 - 2*v + 3. Let x be z(2). Suppose 6*j = 3*j + x. Is j a prime number?
False
Let p = 23 - 10. Let z = p - -9. Is (-1443)/(-11) - 4/z composite?
False
Suppose 5*z - 24 = 2*z. Suppose -z = o - 3*y, -3*o = -2*y - y - 6. Is o composite?
False
Let n = 5616 + -1571. Is n prime?
False
Let h = 11 + -5. Is (-58)/(1/((-21)/h)) composite?
True
Suppose j + 107 = -143. Let v = 553 + j. Is v a composite number?
True
Let i = -5 + 7. Let k(y) = -6 + 5*y + y**2 - 2*y + 0*y**i + y**2. Is k(5) prime?
True
Suppose -9*b = -4*b - 1265. Is b a composite number?
True
Let c(i) = -3 + 0 + 19*i - 60*i. Is c(-2) composite?
False
Is 1 - -129*((-110)/(-15) + -1) a composite number?
True
Suppose 0 = -4*s + 7*s - 222. Let c = s - 5. Is c prime?
False
Suppose 4*s = -55 + 899. Is s prime?
True
Is 1605 + (2/(-15) - (-28)/(-15)) prime?
False
Suppose -3*l = -2*w + 60 + 13, -4*l - 59 = 5*w. Let m be 220/14 - 6/l. Let i = -6 + m. Is i a composite number?
True
Let g = -1238 + 1791. Is g prime?
False
Suppose -2*i + 2 + 8 = 0, -4*c = 4*i - 4264. Is c a composite number?
False
Suppose 6*m = 2*m + 52. Is m a prime number?
True
Suppose 65 = 5*t - 5*p, -5*t - 4*p + 55 + 19 = 0. Let f(m) = 69*m - 13. Is f(t) composite?
False
Let s be (-4)/26 + (-4)/(-26). Is 0 + 377 + s + 0 prime?
False
Suppose 2*l = -l + 2*w + 403, 0 = l + 3*w - 127. Is l a composite number?
True
Suppose 0 = a - 4*a + 3*z + 9, -12 = -2*a - 4*z. Suppose 0 = -3*x + 2*x + 2. Suppose x*b + 3*t = 109, a*t + t = -3*b + 164. Is b prime?
True
Suppose 5*c + 4*q - 617 = 3*q, 4*q = 8. Is c prime?
False
Let o = -50 + 177. Is o prime?
True
Let c(l) = -l**3 - 6*l**2 - 4*l - 10. Is c(-6) composite?
True
Suppose 4*o = -s - 26, 0*s + 5*o = s - 19. Let v be (2/s)/(4/(-36)). Suppose -3*p - y + 59 = 0, 0*y = p - v*y - 33. Is p composite?
True
Let d be -2 + (2 - (3 + 0)). Let t be 3 - (-3)/d - 7. Let y = t + 138. Is y a composite number?
True
Let j(w) = -w. Let c be j(0). Suppose 3*v + 4*d = 1641, c*v - v = -3*d - 560. Is v prime?
False
Let c(o) = 4*o**2 + 8*o + 11. Let n(d) = 9*d**2 + 16*d + 23. Let h = 1 - 4. Let f(z) = h*n(z) + 7*c(z). Is f(9) prime?
False
Suppose 174 = -x + 3*x. Is x a prime number?
False
Let f = 8 + -4. Suppose -y + 2*b + 3*b - 15 = 0, y = f*b - 13. Let v = -2 - y. Is v prime?
True
Let m be (1 - -5)*9/27. Suppose m = -d, -5*j - d + 5*d + 483 = 0. Is j prime?
False
Suppose 4*v = 38 + 22. Is 2/(-10) + 168/v composite?
False
Let x = -2977 + 1929. Let d = x - -1533. Is d composite?
True
Suppose 0 = -22*v + 29*v - 777. Is v prime?
False
Suppose -2*y = -f - 46, 7*y = 3*y - 3*f + 72. Let s = y - 8. Is s a prime number?
True
Let o be 1/((21/(-60))/7). Let n = -1 - o. Is n a composite number?
False
Suppose -f + 66 = 4*q - 7*q, 5*q 