47 + 63. Is 4*(j/4 - -1) a prime number?
True
Let c = -8 + 12. Suppose -22 = -4*g + c*w + 14, 0 = -4*g - w + 41. Is g a prime number?
False
Let f(x) = x**3 + 3*x**2 - x + 4. Is f(-3) a prime number?
True
Let x = -16 + -28. Let z = 131 + -38. Let s = z + x. Is s a composite number?
True
Let q be (-1)/5 - 16/(-5). Suppose -z = q*z. Suppose -4*m + 6*m - 62 = z. Is m a composite number?
False
Let v(a) = 2*a**2 - 3. Let s(r) = r**3 + 5*r**2 + 2*r + 1. Let i be s(-5). Let n(d) = -d**3 - 10*d**2 - 10*d - 12. Let b be n(i). Is v(b) a prime number?
False
Let f(h) = -h - 3. Let c be f(-5). Suppose -5*o = 18 + c. Let b(u) = -8*u + 5. Is b(o) prime?
True
Let p(d) = d. Let s be p(3). Suppose 0 = -s*r + r + 16. Suppose -r*y = -3*y - 185. Is y composite?
False
Let r(p) = p**3 - 5*p**2 + 3*p - 4. Is r(7) a prime number?
False
Let g(h) = 2*h**3 - 7*h**2 + 12*h - 8. Is g(5) a composite number?
False
Suppose j = -2, d + 4*d - 103 = 4*j. Is d composite?
False
Let u be 8/(-5) - 14/35. Is 215 - (u + 6/1) a composite number?
False
Suppose -25 = 4*l - 2*n + 315, 3*l - 2*n + 254 = 0. Let u = l - -160. Is u prime?
False
Suppose 33 = 3*j - v + 4, v = -2*j + 11. Let b(f) = -5*f + 3*f + j*f**2 + 0 + 4 + f**2. Is b(3) prime?
True
Let o(g) = -6*g - 3. Is o(-3) a composite number?
True
Suppose 90 = 3*y - 3*h, 0 = -2*y + 4*y - 4*h - 58. Let s be (1 + 0 - -3) + -2. Suppose s*c - y = 13. Is c a prime number?
False
Suppose 0 = 11*k - 2*k - 1143. Is k composite?
False
Suppose -2*s = -1326 + 392. Is s composite?
False
Suppose 2*i - 272 = -4*p - p, 137 = i + 3*p. Is i prime?
True
Suppose -t + m = -6, -2*t = -6*t - 3*m - 4. Suppose -2*i + 5*h = -77, 0*h + 25 = i + t*h. Is i prime?
True
Suppose 0 = -2*h + 3 - 7. Let b = h + 3. Is 19*6 - (b - 2) composite?
True
Let p be 1 + (9/3 - 0). Suppose 0 = -5*b - c + 39, 4*b + p*c - 51 = -b. Is b a composite number?
False
Let b be (8/12)/(4/834). Let t = b - 54. Suppose -6*h = 3*z - 3*h - 90, 4*z = 3*h + t. Is z a prime number?
False
Let n = -174 + 641. Is n a prime number?
True
Suppose -5*l + 198 = -3*k + 13, 3*k = 0. Is l a composite number?
False
Let a = 37 + 56. Let z = 148 - a. Is z prime?
False
Let j(a) = -a**3 - 14*a**2 + 11*a - 22. Is j(-15) a composite number?
True
Let x be (5 - 5)/((-1)/1). Suppose -2*c - 3*f = -4*f - 139, c + 5*f - 42 = x. Is c a prime number?
True
Let z(u) = -u**3 - 4*u**2 + 5*u + 3. Let o be z(-5). Suppose -i + g + 87 = 0, 4*g = o*i - 133 - 126. Is i prime?
True
Let g(t) = 7*t**2 - 2*t + 7 - 2*t**3 + 3*t**3 + t**2. Is g(-6) composite?
True
Let w = 538 + -301. Is w a prime number?
False
Let y be (-1 - 1)/(-1 + 0). Let i = y - -2. Is i a prime number?
False
Let i(c) be the third derivative of -c**4/24 + 11*c**3/6 - 2*c**2. Let d be i(6). Suppose -4*k = d*v - 15, 2*v - 4*k + 6 - 40 = 0. Is v a prime number?
True
Let h(m) = -m + 7. Let o be h(7). Suppose -r + 154 - 11 = o. Is r composite?
True
Let x(k) be the second derivative of 1/2*k**2 - 2*k + 2*k**3 + 0. Is x(1) a prime number?
True
Let l = -1 + 29. Suppose 3*b = l + 2. Suppose 0 = 3*m - 31 + b. Is m a prime number?
True
Suppose -m - 4*m = -25. Let o(j) = 10*j - 1. Is o(m) a prime number?
False
Suppose -6*f = -2*f - 5*n + 77, 4*n = -4*f - 104. Let z = 14 + f. Let t = 76 + z. Is t a composite number?
False
Suppose 0 = -p + 1 + 1. Let l be (p - -257) + (2 - 4). Let c = -66 + l. Is c composite?
False
Let r = -88 + 297. Is r prime?
False
Suppose 3*l + 1588 = 7*l. Is l a composite number?
False
Suppose 5*d - 711 = -4*g, 3*g = -d - 0*g + 151. Let y = 224 - d. Is y composite?
True
Let a(l) be the first derivative of 5*l**2/2 - l - 3. Is a(4) a composite number?
False
Let s(y) = 3*y**2 + 11*y + 17. Is s(-12) prime?
True
Is (776 - (1 + 4)) + -2 composite?
False
Suppose 6*a = 4*j + 3*a - 3522, -2*j + 3*a + 1764 = 0. Is j a composite number?
True
Suppose 7*r - 5 = 2*r. Let x be (-2)/4*-10*r. Suppose 0 = -m + 5*q + 42, x*m + 8*q - 5*q = 98. Is m a prime number?
False
Suppose -m + 0*m = -6. Let z be -4 + m + (1 - 113). Let v = 187 + z. Is v prime?
False
Let l(z) = -z - 10. Let f be l(-8). Let s be 23/2 - (-1)/f. Suppose -3*c - 4*t = -4*c + 11, s = 5*c + 2*t. Is c prime?
True
Let x = 98 + -1. Suppose 3*r + 2*r - 2*d = x, 5*d - 71 = -4*r. Is r a composite number?
False
Let v be 15/(-6)*268/(-5). Suppose 2*l + v = -2*s + 4*s, s - 4*l = 61. Is s prime?
False
Suppose 0 = -2*x + 6*x - 348. Suppose 4*u - 274 = -2*s, 4*s + s + 2*u - 717 = 0. Let b = s - x. Is b a composite number?
True
Let u be 6/15 + 107/(-5). Let m = 272 - u. Is m a prime number?
True
Let j = 49 - -17. Suppose -l - 3*l - 88 = 0. Is 6192/j - 4/l composite?
True
Is 6/15 - 652/(-20) composite?
True
Suppose 0 = 4*n - 0*n + 3*u + 84, 8 = 2*u. Let l(s) = 3*s**2 - s - 5. Let x be l(-4). Let g = x + n. Is g a composite number?
False
Suppose -3*i - 1348 = -4*c, 5*i + 815 = 3*c - 196. Is c composite?
False
Suppose 0 = -h + 4*k + 54, 234 = 4*h - k + 3. Is h composite?
True
Let q = -2 + 4. Let i(j) = -4 + 1 + q + 2*j**2. Is i(2) a composite number?
False
Suppose -7*s = -0*s - 5705. Is s a prime number?
False
Suppose -x + 6*x = -20, -16 = -k + 4*x. Suppose -4*m - m + 95 = k. Is m a composite number?
False
Let w(i) = -i - 4. Let g be w(-4). Suppose -5*k + g*k = -555. Is k prime?
False
Suppose 4 = t + 8. Let h be (4 + t/(-2))*1. Suppose -2*m = -h*m + 44. Is m composite?
False
Suppose 0 = -s + 47 + 114. Is s composite?
True
Let z = 25 - 22. Suppose -z*f + 892 = 2*i - 2*f, 2*i - 880 = 5*f. Is i a prime number?
False
Let k = 778 - 407. Is k a composite number?
True
Let a(c) = -c - 8. Let x be a(-8). Suppose x = -n - 0*n + 37. Is n a prime number?
True
Suppose -2*l - 1 + 2 = 5*y, -3*l + y = -10. Let d be (-18)/(0 + 1)*l. Let r = -17 - d. Is r a composite number?
False
Let t(z) = -z**3 + 14*z**2 + 22*z - 22. Is t(15) a prime number?
True
Let w be (-3 - -2 - -2)*-37. Let r = w - -52. Is r composite?
True
Let r be 12*(2 + (-57)/(-12)). Is r/3 + (-4)/2 a composite number?
True
Let q(x) = x**2 - 4*x - 3. Let v be q(5). Suppose 4 + v = 2*n. Is (2 - -17)/(n - 2) a composite number?
False
Let u(k) = 22*k**2 - 3*k + 6. Is u(5) prime?
True
Let y be -1 - 1 - (0 + -1). Let t be (3 + y/1)*4. Let k(d) = 16*d - 9. Is k(t) composite?
True
Let n(j) = 20*j - 1. Is n(2) a composite number?
True
Let l be (11 - 5)*(-2)/(-4). Suppose 0 = l*j - 2*q - 148, 0 = j - q - 30 - 21. Is j composite?
True
Let i(f) = 2*f**2 - 5*f + 2. Let u be i(4). Let a = -9 + u. Suppose -34 = -a*t + 4*t. Is t prime?
False
Suppose -2*l + 615 = 5*i + 3*l, -3*i = -5*l - 329. Suppose 0 = -3*s - 2*s + 15. Suppose -3*x = -4*d - 419, d - 321 - i = -s*x. Is x prime?
False
Let w(l) = l**3 + 9*l**2 - l - 5. Let a be w(-9). Suppose t + 2*g = 6, a*t - 8 = -2*g - 2. Let z(b) = b + 47. Is z(t) prime?
True
Let r(l) = 3*l**2 - 6*l**2 + 2*l + 5*l**2 - 2 + 1. Let m be r(-2). Suppose 3*z + 5*p = 5*z - 50, m*z = -p + 41. Is z a composite number?
True
Suppose -6*r + 3*r = -2265. Is r prime?
False
Let j(u) = u**2 + 354. Let f be j(0). Suppose 3*q + 0*n - 372 = -2*n, -3*q + 4*n = -f. Is q a composite number?
True
Suppose 705 = 6*f - 3*f. Is f a prime number?
False
Is 401/2 - 2/(-4) a composite number?
True
Let y(j) = -5*j**3 - j**2 + 2*j - 1. Let x(v) = 2*v**3 - v**2. Let s be x(-1). Is y(s) prime?
False
Let y = 402 + 97. Is y composite?
False
Suppose -2*d - 30 = -3*m - m, 3*m - d - 20 = 0. Suppose 30 = m*y - 0*y. Is (-2)/((-4)/y)*1 prime?
True
Suppose -8*z + k = -13*z + 6801, 3*k - 2710 = -2*z. Is z composite?
False
Suppose 0*c = -2*c - 10, -5*w + 4*c = -150. Is w a composite number?
True
Suppose 3*b - b - 3*d = 16, -5*b + 2 = 2*d. Suppose 5*n = b*n + 345. Is n composite?
True
Let c(x) = 4*x**2 + 5*x + 3. Is c(-10) a prime number?
True
Let x(n) be the first derivative of -n**6/120 - 11*n**5/60 - 7*n**4/12 - n**3/2 + n**2/2 - 2. Let h(v) be the second derivative of x(v). Is h(-10) prime?
True
Let n(q) = 8*q + 6*q + 3*q + 10 - 6*q. Is n(7) a composite number?
True
Let d be (-3)/(-9)*(-1 + 7). Is d + 9 + (-2 - -2) a prime number?
True
Suppose -33 = -2*y + 31. Let u = y + -59. Let d = 58 + u. Is d composite?
False
Let g(v) = -v - 2. Let t be g(-2). Suppose 0 = -4*o - 5*l - 47 - 2, t = -2*o + 2*l - 2. Is 618/18 + (-4)/o a composite number?
True
Let m = -77 + 119. Suppose -m - 11 = -c. Is c prime?
True
L