 Let f = x - d. Is f composite?
False
Suppose -3*z - 15 = -0*z. Let x = 41 - z. Is x prime?
False
Suppose -478 = -n - n - 2*a, 2*n = -3*a + 480. Is n prime?
False
Let i be ((-4215)/(-5))/(3/2). Suppose i = 4*n - 202. Is n prime?
True
Let t(c) = 5*c**2 + 5*c + 3. Let u be t(-5). Suppose u = 2*z - 7. Is z prime?
False
Let q = 88 - 57. Is q a composite number?
False
Let o(c) be the second derivative of 5*c**3/6 - 2*c**2 - c. Is o(7) a prime number?
True
Suppose 0 = 2*x - 2*z + z - 3, -20 = -4*z. Suppose -2*h + 0*h = -x*d + 452, -2*h = 3*d - 353. Is d composite?
True
Is (-2)/9 + 73853/117 a prime number?
True
Is (-1676)/((-10)/6 + 2/(-6)) composite?
True
Let s = 6 + -8. Let h be (-1 - s)*(-2 + -1). Is (-109 - h)/(-1 + -1) composite?
False
Let j = 554 - 291. Is j prime?
True
Suppose 0 = -7*z - 2066 + 8485. Is z a prime number?
False
Suppose 0 = -2*s - 2*v, -4*s - v + 12 = -0*v. Suppose 1445 = s*w - 219. Suppose -w = -5*l - 3*b + 48, l - 82 = 3*b. Is l a composite number?
True
Let c(a) = 55*a**2 - 8*a - 19. Is c(-4) a prime number?
False
Let r(k) be the second derivative of 7*k**3 + k**2/2 + k. Is r(3) a composite number?
False
Let t(n) = 2*n - 1. Let k be t(-1). Let u(h) = -3*h + 1. Is u(k) composite?
True
Suppose d + 2*u + 12 = -3*u, -2*d + 3*u = -15. Suppose -1767 = -3*n - 0*n - 3*t, d*n - 1771 = -5*t. Is n a composite number?
False
Suppose -o + 836 = s + 3*o, 5*s = -2*o + 4234. Suppose 4*n - s = -4*i, -5*n + 0*i + 1066 = 2*i. Is n composite?
True
Is 12/(-30) + (-2547)/(-5) a prime number?
True
Let n = 42 - -9. Is n prime?
False
Is (1 + -6)*1/(-5)*3637 composite?
False
Suppose 3*w - 189 = -4*j + 2*j, -4*w = -4*j + 328. Is j composite?
True
Suppose 0 = h - 5*h + 5396. Suppose -5*i = q - 274, -4*i + h = -q + 6*q. Is q a composite number?
False
Let t be -5 + 4 - -1*1. Let n = t - 2. Is ((-3)/((-9)/(-498)))/n a composite number?
False
Is 2/14 + (-14808)/(-28) a composite number?
True
Suppose 0*o = 4*o - 212. Suppose o = -3*g - 109. Is 2/2 - g - 2 composite?
False
Let n be (-4)/14 + 12/(-7). Let i(l) = 3*l**2 + 2*l - 2. Let g(v) = 7*v**2 + 5*v - 3. Let s(x) = n*g(x) + 5*i(x). Is s(-9) a prime number?
False
Let r = -19 - -4. Is (-3969)/r - 2/(-5) a composite number?
True
Let o(r) = 2*r**3 - 7*r**2 + 2*r + 14. Let p be o(6). Suppose -3*v = -p - 76. Is v a prime number?
False
Suppose -3*x + 18 = 3*c, 4 = 5*c - 3*x + 6. Suppose 0 = 3*g - 6*g + 225. Suppose -c*a - a + g = 0. Is a a composite number?
True
Let b(r) = -r**2 + 5*r - 2. Let z be b(3). Suppose w = z*w. Let g = 37 + w. Is g composite?
False
Let b(s) = s**2 - s - 1. Let d be b(3). Suppose n - 5*j = 22, -d*n - 2*j = -0*n - 245. Suppose 0*k = -k + n. Is k a prime number?
True
Let m(l) = l**2 - 8*l - 8. Let g be m(10). Is (-4)/(-6) + 1564/g prime?
True
Let b = 7 + -7. Suppose b = 4*s + 4*m - 5*m - 477, 0 = 4*s - 5*m - 481. Is s a composite number?
True
Let a = -43 - -96. Is a composite?
False
Let m be 4486/14 + (-30)/70. Suppose m + 182 = 4*i + 3*n, i = -2*n + 123. Is i a composite number?
False
Suppose 2*g = 8, -w - 3*g + 12 + 2 = 0. Let k(x) = 5*x + 0 + 3*x**2 - 2*x**w + 5. Is k(-6) composite?
False
Let l(w) = -w**3 + 9*w**2 - 12*w - 3. Is l(-10) prime?
True
Suppose -f = 2*p - 53, 4*f - f = 3*p + 114. Let i = 93 - f. Suppose -n + i = 15. Is n prime?
False
Suppose -3*j + b + 990 = -0*b, -6 = -2*b. Is j a composite number?
False
Suppose -30 = -3*p - 12. Suppose 2*o - 1049 = k - p*k, 3*o = -3*k + 624. Is k a composite number?
False
Let p = 6 - 3. Suppose -1 = -p*z + 5. Suppose 2*j - 275 = -5*f, -3*f + j - z*j + 166 = 0. Is f composite?
True
Let f(n) = 5 - 2 - 39*n**3 + 4*n - 14*n**3. Is f(-2) a prime number?
True
Suppose 120 - 25 = z. Is z a composite number?
True
Suppose -11 - 113 = -2*d. Suppose 0 = 3*n - 12, 0*n + d = 3*s - 4*n. Is s a prime number?
False
Suppose -82 = -4*m + b + 2*b, 2*b - 48 = -2*m. Is m prime?
False
Let i = -8 - -13. Let b = -3 + i. Suppose -3*d = -b*s - 59, 2*s = d + 4*d - 105. Is d composite?
False
Suppose 2*z + 2*v - 2 = 0, -2*z + 5*v + 6 = -10. Suppose -f + 109 = z*g, -3*g + 109 = 3*f + 4. Is g a prime number?
True
Let b(c) = c**3 - c**2 + 4*c + 1. Suppose 9 + 6 = 5*s. Is b(s) prime?
True
Let g = 92 + -55. Is g prime?
True
Let b = -14 + 45. Is b a prime number?
True
Let c = 25 - 11. Let w(m) = 3*m**2 - 2*m - 19. Is w(c) composite?
False
Let x = -119 - -194. Let i = 53 - x. Is (-2217)/(-33) - (-4)/i composite?
False
Let h be 1*89 + (-1 - 2). Is -1 - 9/((-9)/h) composite?
True
Is 140/30*57/2 prime?
False
Let h = -68 + 189. Is h a composite number?
True
Is 1 - (-2)/(-3) - 52130/(-39) a prime number?
False
Let y = -73 + 108. Is y a prime number?
False
Let j(h) = -97*h. Let t be j(-1). Suppose 0*v = v - t. Is v a composite number?
False
Let k(p) = -21*p**3 - 2*p**2 - 8*p - 10. Is k(-5) a prime number?
False
Let j(q) = -60*q + 3. Let n be j(-2). Suppose 4*t = 5*i + 627, 50 + n = t + 2*i. Is t a prime number?
True
Suppose 2*f - 3*p = -1816, 2*f - p = 4*p - 1808. Let l = -503 - f. Is l prime?
False
Suppose 0 = 3*u - o - 623, -o = -5*u - 5*o + 1061. Is u composite?
True
Let b = 6 - -2411. Is b composite?
False
Let w = 333 + 554. Is w prime?
True
Let o = -321 + 818. Is o composite?
True
Let y = -3 + 144. Is y a composite number?
True
Let d be (0 + 4)*(-67)/(-2). Let u = d - 55. Is u prime?
True
Suppose -2*y = 3*y - 1325. Is y a prime number?
False
Let n = 34 + -20. Is n composite?
True
Let y = -164 - -291. Is y prime?
True
Suppose 4*l + 441 - 3073 = 0. Suppose 0 = 5*j - 157 - l. Is j composite?
False
Let t = 0 - -1. Suppose 4*m + 9 = t. Is ((-5)/m)/(4/136) composite?
True
Let v(l) = -3*l**3 + 3*l**2 - 3*l + 6. Let m(u) = 8*u**3 - 8*u**2 + 10*u - 17. Let c(d) = -4*m(d) - 11*v(d). Is c(5) composite?
False
Let u be (-30)/9*(-18)/15. Suppose -r = 5*p - 60, u*p + 106 = 6*r - 4*r. Is r prime?
False
Let a(u) = 5*u + 7. Let r be a(-7). Let x be (3/(-6))/((-2)/r). Is (-1 - -80)*x/(-7) a composite number?
False
Let m be 1 - (6/(-2))/3. Suppose -m*n + 0*j - 2*j = 0, n - 2 = -3*j. Is ((-5)/10)/(n/4) composite?
False
Suppose 9*v - 2910 = -v. Is v a prime number?
False
Is (1 - 2)/((-4)/(-5348)*-1) prime?
False
Suppose -3*f = 5*g - 4386, -5*f = -g + 2*g - 864. Is g composite?
True
Let m(p) be the first derivative of -p**4/4 - 8*p**3/3 + 9*p**2/2 - 4*p - 4. Let a be m(-9). Is (-13)/(2 - (-10)/a) a prime number?
False
Suppose 5*g + 5 = -0. Let k(y) = -1 - y**2 + 2*y**2 + 0 - 2*y**3. Is k(g) a composite number?
False
Let u = 1275 - 704. Is u a prime number?
True
Let j(f) = -f**3 - 9*f**2 + 4. Let p be j(-9). Suppose 0 = -o - 0*o + p. Suppose 26 = 2*b + 4*t, 68 = o*b + 4*t + 12. Is b composite?
True
Suppose m = -2*r + 5 - 2, 0 = -5*r - 3*m + 9. Suppose r*n - 313 = -2*n + 3*q, -3*q = -3*n + 474. Is n prime?
False
Let c(o) = 116*o + 1. Suppose 11 - 1 = 5*w. Is c(w) a prime number?
True
Suppose 2*c + c = 3*k + 3, c + 4*k = -4. Suppose c*h + h - 133 = 0. Is h composite?
True
Let s(w) be the third derivative of w**5/30 - w**4/8 - w**3 - w**2. Is s(7) composite?
False
Let k(m) = -m**2 - m + 3. Let p be k(0). Let f = p - 3. Suppose f = 2*x - 64 - 6. Is x composite?
True
Let r(n) = 36*n + 7. Let p(y) = -35*y - 6. Let z(v) = -6*p(v) - 5*r(v). Is z(7) prime?
True
Is 3/(-5 - -2) + 158 a composite number?
False
Let l(c) = -183*c - 10. Is l(-9) prime?
True
Suppose -2*v - 2231 = -4*v - 5*s, -5*v = -3*s - 5624. Is v composite?
False
Suppose -2*d - 4 = -d. Is d/(-16)*(-1 + 125) a prime number?
True
Suppose 0 = -p - 4*p + 555. Is p a composite number?
True
Let i be (-4)/14 - (-222)/42. Let k(m) = 7*m**2 - 5*m - 1. Is k(i) composite?
False
Let f = 3037 + -1559. Is f composite?
True
Suppose 2*l - 14 = -0*x + 3*x, 5*x = -3*l + 2. Suppose g + 5*h = 108, 0*g = 4*g + l*h - 512. Is g prime?
False
Let i(n) be the first derivative of -n**4/4 + 4*n**3/3 + n**2 - 4*n - 3. Let y be i(4). Suppose y*z - 194 = 10. Is z composite?
True
Let x = 247 - 12. Suppose 2*q - q = x. Is q a prime number?
False
Let p(i) be the first derivative of 65*i**4/2 + i**3/3 - i**2/2 + i - 2. Is p(1) prime?
True
Suppose w + 832 = -3*w. Let u = w - -341. Is u composite?
True
Let n(q) be the first derivative of q**4/4 - q**3 - 9*q**2/2 - 6*q - 2. Is n(7) a prime number?
True
Is ((-4)/8)/(3/(-4314)) a prime number?
True
Suppose -2*a = -3*z + 14, z - 2*a 