 - 0*b. Suppose 467 = 5*x + 4*v, -b = -4*x + 4*v - 9*v. Is x prime?
False
Let m = -8 - -14. Let u = 10 - m. Suppose u*n - 5*h = -0*h + 29, -4*h = -12. Is n prime?
True
Let n = -85 - -38. Let w = n - -72. Is w composite?
True
Let j(s) = 68*s + 7. Is j(5) a prime number?
True
Let z(n) be the first derivative of -n**7/840 - n**6/60 + n**5/30 + 5*n**4/24 + 2*n**3/3 - 2. Let j(i) be the third derivative of z(i). Is j(-7) composite?
True
Suppose 5*d + 52 = -8. Let a = d - -15. Is a prime?
True
Let q(a) = a + 293. Is q(0) composite?
False
Let q(k) = k**3 - 5*k + 2. Is q(3) prime?
False
Suppose 3*x = -0*x + 5*v + 72, -3*v = x - 10. Let n(i) = -i**2 - i + 48. Let d be n(0). Let t = x + d. Is t a composite number?
False
Let n be (-2)/(3/(-18)*-3). Let u(k) = -5*k - 6*k - 5 + 4*k. Is u(n) a composite number?
False
Let t = 90 + 37. Is t a composite number?
False
Let c = -12 - -18. Suppose 0 = -n + c*n - 445. Is n composite?
False
Suppose -3*s - 2*m = -288, -313 = -5*s - 2*m + 171. Let p = s - 9. Is p composite?
False
Let y(b) = 1 - 1 + 1 + 77*b**2 + 19*b**2. Is y(1) composite?
False
Suppose -486 + 54 = -4*v. Let k = v - 11. Is k composite?
False
Suppose -x - 3*x = 0. Suppose x = 4*m - 3 - 5, -47 = -z - 5*m. Is z prime?
True
Suppose -c = 5*h - 28, -4*c = h - 16 - 1. Let s(m) = -m + 7*m + 6*m - 5. Is s(h) prime?
False
Let t(i) be the second derivative of 59*i**3/6 - 4*i. Is t(1) a composite number?
False
Suppose 0 = -17*c + 18275 + 22032. Is c a prime number?
True
Suppose q - 4*q = -561. Is q prime?
False
Let w = -8 - -13. Suppose -5*p + 7 + 3 = 0. Suppose -3*q + 27 = 3*s, 3*s + p*q + 38 = w*s. Is s a composite number?
True
Let i(q) = -4*q**3 - 7*q**2 + 5*q - 1. Is i(-6) a prime number?
False
Suppose q - 3 = 0, 0 = 4*d - 2*q - 83 - 3. Is d - (3/(-3))/(-1) composite?
True
Let q(k) = -k**3 - 9*k**2 - 8*k. Let h be q(-8). Suppose h*f - 2*f = -92. Is f a composite number?
True
Let f = 2139 + -1232. Is f prime?
True
Let c = 3875 - 2476. Is c a composite number?
False
Let z = 1933 - 122. Is z a composite number?
False
Let q = 7 + -2. Suppose -q*k + 29 = -141. Suppose 3*b - 136 + k = 0. Is b a composite number?
True
Suppose -232 = -4*s - 2*d, 3*s + 0*s + 3*d - 174 = 0. Is s prime?
False
Let d be (-3 + -136)*-1*1. Suppose 0 = 5*o - 8 + 33, 2*j + 3*o = d. Is j a composite number?
True
Suppose 204 = 3*g - 159. Is g composite?
True
Let m = 1017 + -688. Is m prime?
False
Let v(q) = 546*q + 1. Is v(3) a prime number?
False
Suppose -3*q = q + 12. Let l be (1/q)/((-2)/18). Suppose 7*n = l*n + 132. Is n composite?
True
Let r(s) = -s**3 - 7*s**2 + 7*s + 5. Let f be r(-8). Suppose j - f = 1. Let z = j + -3. Is z composite?
False
Suppose 2*m + 2*z - 4*z - 12 = 0, 3*m + 14 = -5*z. Is m/(-5) + (-336)/(-15) a prime number?
False
Let m = 857 + -265. Let j = m - 101. Is j a prime number?
True
Let d = -70 + 121. Is d a prime number?
False
Let y = 7 + -9. Let f be 2 + 4/((-4)/y). Suppose 4*t = f*p - 269 + 69, -4*p + 235 = 3*t. Is p prime?
False
Let b(f) = 2*f + 1. Suppose 2 + 4 = -3*l. Let k be b(l). Is (0 + k - -2)*-223 composite?
False
Let m be (17 - 3)*6/7. Suppose 0 = 2*q + 3*d - 4*d + m, -5*q + 5*d = 40. Is 2*2/(q/(-7)) a composite number?
False
Let i(w) = w**3 + 14*w**2 + 11*w - 21. Is i(-11) a composite number?
True
Let j(t) = -t**2 + 14*t - 11. Let p be j(11). Is (p/8)/(4/176) a prime number?
False
Let q = 5 - -113. Is q prime?
False
Let t = 876 - 416. Suppose 0 = -0*w - 2*w - t. Is (2 - 0)*w/(-4) composite?
True
Suppose 5*r - 424 = 3*j, 3*j + 3*r = -547 + 163. Let b be 1 + (1 - j)/(-2). Is (14/(-6))/(2/b) a prime number?
False
Let o = -329 - -514. Let q = o - 118. Is q a composite number?
False
Let u = -1001 - -619. Let z = u - -669. Is 1/(-2) - z/(-2) a prime number?
False
Suppose -2*i - 28 = 2*o - 10, o = 5*i + 45. Let s = 46 - i. Is s prime?
False
Let v = 170 - 68. Suppose z - v = -z + 3*c, 5*z = -c + 255. Is z a composite number?
True
Suppose 2*w = -3*y, 2*w + 13 = 2*y + 3. Let h be (6/(-3))/(y/(-8)). Let x = h - -11. Is x composite?
False
Let b be ((-8)/(-6))/(4/6). Suppose b*l - 3*l = 0. Suppose 5*i + l*i - 105 = 0. Is i prime?
False
Let z be 3 + -39 - (0 - -2). Let q be 7/35 - z/10. Suppose 0 = -2*k + 5*c - 0*c + 69, 0 = 5*k - q*c - 181. Is k prime?
True
Let z(n) = -n + 15. Is z(13) a prime number?
True
Let l(p) = -2*p + 1. Let j be l(-5). Let w = 140 - j. Is w a composite number?
True
Suppose -y + 135 = -f - 938, 2*y + 4*f - 2170 = 0. Is y a prime number?
False
Let w = 61 - 110. Let r = w - -114. Suppose -r = -3*h - 2*h. Is h prime?
True
Let t(x) = x. Let g(o) = -o**2 + 7*o + 2. Let d be g(5). Let b(k) = -3*k. Let l(q) = d*t(q) - 3*b(q). Is l(1) a composite number?
True
Suppose 2*h - 2*u - 3*u - 149 = 0, -u = -3*h + 230. Is h a composite number?
True
Suppose p - 6 = 4*a, 13 + 2 = 5*p - 5*a. Let c(d) = 10*d**2 - d - 1. Is c(p) composite?
False
Suppose -20169 + 1242 = -5*b - w, 2*b - 7580 = -5*w. Is b a prime number?
False
Let o(y) = y**2 + 12*y + 11. Let q be o(-9). Let i be q/(-8) - (-385 - 0). Is i/(-6)*(-4)/6 composite?
False
Suppose -g + 2*c = -12, 0 = 2*g + 5*c + 21. Let m(s) = 1 - 4*s**g + 2*s**3 - 4*s + 0*s**3 - 2*s - 3*s**2. Is m(6) a composite number?
True
Suppose 0 = t + 5*z + 49 - 263, 5*t - 1091 = -4*z. Is t composite?
True
Is ((-42)/(-4))/(6/8) a composite number?
True
Suppose 2*o + 0 + 2 = 0. Is 0 - o - -2 - -12 a composite number?
True
Suppose 3*p + 2 = 2*q - 0, 0 = p - 5*q + 5. Suppose 4*g - 1197 + 237 = p. Suppose -g = -3*i - 3*r, 222 = -0*i + 3*i - 3*r. Is i a composite number?
True
Let o be 12 - 2/(1 + 1). Let s = o - -44. Let j = s + -32. Is j a composite number?
False
Let n be (-33 + -1)*3/(-6). Suppose 0 = -4*f + 525 - n. Is f a prime number?
True
Let j(s) = -2*s - 1. Let m be j(-2). Suppose m*r + 24 = 3*t, 2*t - 2*r = r + 20. Suppose -144 = -t*l - 4*f, f + 1 = -1. Is l composite?
True
Suppose -d + 2*d - 179 = 0. Suppose 2*x - d + 55 = 0. Suppose -s + 61 = 4*p - 22, -s + x = 3*p. Is p composite?
True
Is (1190 + 1)*((-4 - -1) + 4) composite?
True
Is (-1)/2 - (-7335)/18 a prime number?
False
Let x(z) = -z**2 - 8*z. Let d be x(-8). Is 22 + d/(2 - 6) a prime number?
False
Let q = -45 - -201. Suppose -3*g - 78 = -2*n, q = 3*n + 3*g + 39. Is n prime?
False
Let b(w) = -5*w + 4. Let k(u) = 9*u - 7. Let g(a) = -11*b(a) - 6*k(a). Let x be g(6). Is (-110)/(-8)*(0 + x) a prime number?
False
Suppose -13 - 69 = m. Let u be (m/(-3))/(2/3). Suppose 5*a = -11 + u. Is a composite?
True
Suppose 4*f + 2 = 18. Suppose -f*q = 18 - 70. Is q prime?
True
Suppose t + 554 = 3*i + 199, -5*i - 5*t = -605. Is (-5)/(i/(-59) + 2) a prime number?
False
Let o(y) be the third derivative of -y**2 + 2/3*y**3 + 1/60*y**5 + 0 + 0*y + 1/24*y**4. Is o(-6) composite?
True
Let p(w) = w - 1. Let h be p(0). Let l be 0/(-1 + (-3)/h). Suppose -111 = -3*b - l*b. Is b prime?
True
Suppose -3*k + 1555 = -3212. Is k a prime number?
False
Let j = 8153 - 3570. Is j composite?
False
Suppose -5*r = 5*i - 1970, 5*i - 3*r = 2*r + 1940. Is i a prime number?
False
Let k be 0/((-1 - 0)*3). Suppose 0 = 3*v + i - k*i - 157, 267 = 5*v + 3*i. Is v composite?
True
Let p = 85 - 60. Suppose 5*q + 5*j - 7*j - p = 0, 3*q - j - 14 = 0. Suppose 9*l - 115 = -2*v + 4*l, -5*l + 180 = q*v. Is v composite?
True
Suppose -11*n + 10*n + 997 = 0. Is n composite?
False
Let o be 2/(-5) - (-110)/25. Suppose 0 = -o*a + a + 630. Suppose -4*g - 62 = -a. Is g composite?
False
Suppose 0 = 5*d + 3*z - 15, 5*z + 9 = -d + 34. Suppose d = 3*x - 5*x + 220. Suppose b = -b + x. Is b a prime number?
False
Suppose -4*m - 27 = 5. Let n = m + 42. Suppose -4*a = -350 + n. Is a composite?
False
Let p = 6 + -7. Is (-1)/((2/326)/p) composite?
False
Suppose -8*c + 3*c + 17935 = 0. Is c composite?
True
Suppose 1483 = 7*m - 1408. Is m a composite number?
True
Suppose 3 = 4*z - 3*y, -5 = z + 5*y - 0*y. Suppose -2*w - 3*o - 29 = -z*o, 4*o = -12. Let i = 143 + w. Is i composite?
True
Let b(s) = 31*s**2 + 13*s - 17. Is b(9) prime?
False
Let v(b) = -2*b**3 - 5*b**2 + 2*b + 5. Let c be (1/(-5) - -1)*-5. Let t be v(c). Is 1045/t - 4/18 a composite number?
False
Suppose 0 = -4*n + 4 + 4. Let t(s) = -2*s**2 + s + 3*s**2 + 7 - 2*s**n. Is t(0) composite?
False
Let h(f) = f**2 - 11*f - 13. Let v(n) = 2*n - 13. Let k be v(13). Is h(k) prime?
True
Suppose -o 