9, -2*g = -5*n + 2987. Is n prime?
True
Suppose 4*x - 2*i - 3234 - 644 = 0, 0 = -5*x - 4*i + 4815. Is x prime?
True
Let s(m) = 13*m**2 + 9*m - 5. Let b(n) = 3*n**2 + 2*n - 1. Let p(d) = 9*b(d) - 2*s(d). Is p(-6) a prime number?
True
Let s = -369 + 688. Is s a composite number?
True
Let f = -90 - -53. Let n = 0 - f. Is n a prime number?
True
Let y be ((-40)/(-6))/((-10)/(-15)). Is (-5256)/(-20) + 2/y prime?
True
Let n = -827 - -2054. Is n a prime number?
False
Suppose 253 = -2*h - l + 1333, 0 = -2*l - 8. Is h a composite number?
True
Let t(l) = -l**2 + 1. Let x be t(1). Suppose -2*d + 102 + 229 = -3*u, -4*d + 4*u + 656 = x. Is d + 0 + (2 - 0) composite?
False
Is (29/58)/(1 + (-9146)/9148) a composite number?
False
Let n = 389 + -260. Suppose 3*o + 3*y = n, y + 59 + 15 = 2*o. Is o a prime number?
False
Let s = 2 - 0. Let o = s + 3. Suppose -18 = -4*a - x + 8, 2*x = -o*a + 34. Is a composite?
True
Let g(y) = y**2 - 6*y - 14. Let s be g(8). Suppose s*t + 2*t - 76 = 0. Is t a composite number?
False
Suppose -411 = -3*p + 162. Is p composite?
False
Suppose 0 = 4*m - 5*m + 2. Suppose -4*z + m*z + 11 = -5*j, 6 = -2*j. Is 0 - (z - (0 + 24)) prime?
False
Let o(k) = k**2 + 10. Is o(-9) a prime number?
False
Let h be (2 - 3)/(3/(-6)). Let y(d) = -d**2 + 3*d - 3. Let p be y(h). Is 24 + -2 + 0 - p composite?
False
Let d(w) = -w**3 + 6*w**2 + 7*w - 5. Let q(u) = -u**3 - 9*u**2 - 9*u - 2. Let v be q(-8). Is d(v) prime?
True
Let u be (28/(-16))/(2/(-8)). Suppose -2*d + 153 = -5*f, 264 = 4*d + u*f - 3*f. Is d composite?
True
Is ((-225)/20)/(-9)*331*4 a prime number?
False
Suppose 7*w - 1784 - 3375 = 0. Is w prime?
False
Let w(c) = c**2 + 2*c + 1. Let o be w(-1). Suppose 2*q - 5*b = 2 + 8, q + 6 = -3*b. Suppose 3 = -t, 3*k + 2*t + q*t - 147 = o. Is k a composite number?
True
Suppose 2*d = d + 57. Suppose 2*t = 4*y + 64, 3*t - 3*y - d = 36. Suppose -z + 19 = -t. Is z prime?
False
Suppose -3*p - 1439 = -4*t + 1244, 0 = 2*t - 5*p - 1331. Is t composite?
False
Let q = -518 - -236. Let b be (-2542)/18 - 2/(-9). Let d = b - q. Is d composite?
True
Suppose 0 = p - 340 - 159. Is p composite?
False
Let c be (2 - -1)*(1 + 0). Suppose c*l + 326 = 1058. Let q = l + -161. Is q prime?
True
Suppose c + 0*c + 1 = 0. Is (-2)/(((-2)/(-53))/c) a prime number?
True
Suppose c - 71 = -4*g, c + 3*g - 40 - 35 = 0. Let n = 380 - c. Is n a composite number?
False
Let g(y) = 2*y**2 - y. Let j be g(-1). Let k(r) = -4*r + 3*r**2 + r**3 - 3 + 3 + 4. Is k(j) composite?
True
Let c be (-4)/(-14) - (-38)/14. Let i be 8*(-34)/(-4)*15/6. Suppose -w - i = -c*w. Is w prime?
False
Suppose -8*b = -831 - 5417. Is b a prime number?
False
Suppose 4*f + 16 = r + 2*r, 5*r - 3*f - 23 = 0. Suppose 2 = -b + r. Suppose b*j + 3*j - 925 = 0. Is j prime?
False
Suppose o = 2*o + 2, 4*i - 3*o = 22. Let r(z) = 4*z**2 + 3 + 4*z**2 - 2*z**2 + i*z. Is r(-5) prime?
False
Let o = 319 - -28. Is o a prime number?
True
Let q = 1940 - 1137. Is q composite?
True
Let n = 217 + 250. Is n a prime number?
True
Suppose -8*i + 3*i + 2785 = 0. Is i a prime number?
True
Suppose -5*r + 388 + 177 = 0. Is r composite?
False
Suppose 0 = 4*v + v - 275. Is (-2)/4*(5 - v) composite?
True
Suppose 2*k = 4*g - 2358, 1745 = 5*g + 5*k - 1165. Is g prime?
True
Let b be ((-16)/(-40))/(1/(-10)). Is (-136)/b*(-5)/(-2) prime?
False
Let z(n) = 3*n - 8. Let r be z(13). Suppose -r = -s + 27. Is s a prime number?
False
Let v = 95 - -446. Is v prime?
True
Suppose -252 = 3*f + 330. Let g = -83 - f. Is g prime?
False
Suppose 8 = 5*c + 3*l, 2*c + c = 3*l + 24. Let z be (-6)/(-4)*(-274)/(-3). Let n = z - c. Is n a composite number?
True
Let t = 712 + -168. Let j = -357 + t. Is j composite?
True
Suppose y + 0*l - l = 2478, 0 = -3*l + 15. Is y a composite number?
True
Let f = 0 + -2. Let y = f + 2. Suppose y*n - 51 = -n. Is n a prime number?
False
Let o = 252 + -711. Is 1/(3/o*-3) a prime number?
False
Let b be (3/(-6) - 0)*-2. Let c = b + 4. Suppose -3*r + 37 = c*f, -8 = -3*r + f - 1. Is r a composite number?
True
Is 1/(0 - (7950/(-3974) + 2)) a prime number?
True
Let t(w) = w - 6. Let n be t(8). Is (n - 15)*(-2 + 1) a prime number?
True
Suppose -5*d + 2573 = 3*y, 7*d = -y + 3*d + 867. Let w = y - 592. Is w prime?
False
Let y = 1 - -4. Suppose u - 105 = y*n + 59, 0 = -5*u + 4*n + 757. Is u a prime number?
True
Suppose 17 + 66 = a. Is a prime?
True
Suppose 6*i - 3*i = g + 1507, -5*g = -2*i + 996. Is i a prime number?
True
Suppose -2*o + 0*o = -52. Let b = o - -33. Is b prime?
True
Let p = -138 - -362. Suppose 4*f = 5*y + 451, 5*f + 4*y = 391 + p. Is f composite?
True
Suppose 3*f - 917 = -4*f. Is f a prime number?
True
Let g be (-1 - -127)/(12/(-8)). Let v = -47 - g. Is v a composite number?
False
Let y = -4 - -9. Suppose 1698 = -5*b - y*p + 4498, 3*p + 572 = b. Is b a prime number?
True
Let t be (2 - 3) + 1 + 0. Let l(j) = j**2 + j - 1. Let c be l(t). Let w(g) = 10*g**2 + 1. Is w(c) composite?
False
Suppose 0 = 4*w - 0 - 20. Suppose -2*r + k + 24 = -7, 1 = -r - w*k. Is r composite?
True
Suppose m + 24 = 5*m. Let g(j) = -18*j - 6. Let o be g(-8). Suppose 3*d - m*d = -o. Is d composite?
True
Suppose 0 = -4*o - o. Suppose o*a = 5*k + 3*a - 2702, 0 = -k - a + 540. Is k composite?
False
Let d be 4 - 1*(2 + 251). Let z = -58 - d. Is z a composite number?
False
Is 3/4 - 69064/(-32) a composite number?
True
Suppose 4*t - 545 = -2*i + t, 3*t - 1099 = -4*i. Is i a prime number?
True
Suppose 0 = v - 35 - 4. Is v prime?
False
Let n(w) = w + 3. Let z be n(-3). Suppose z = 5*c - 25, -470 = -6*j + j - 5*c. Is j composite?
False
Let r(k) = -k - 1. Let d be r(-5). Let w = d - 6. Let l(q) = -9*q**3 + q**2 - 2*q - 3. Is l(w) a prime number?
False
Let q be 432/5 - 12/30. Suppose -301 = -5*o - q. Is o prime?
True
Suppose n + 9 = -4*n + 3*b, 15 = 5*n + 5*b. Let x(v) = -v**2 - v + 4. Let f be x(n). Suppose -143 = -f*m - 3. Is m a prime number?
False
Let r = 16 + -53. Let v = 88 + r. Is v prime?
False
Let c(j) = j**3 + 3*j**2 + 3*j + 4. Let d be c(-3). Is 2*(55/(-2))/d a composite number?
False
Suppose 2*f - 429 = -4*h + 33, 2*f - 2*h - 468 = 0. Is f a prime number?
True
Let i(l) = -l**3 + 15*l**2 + 7*l + 4. Let o be i(8). Suppose 0 = -2*r + 6*r - o. Is r prime?
True
Suppose 2*v = -2*z - 16, v + 3*z + 16 = -0*z. Let s be (7 + 1)/(v/(-2)). Suppose -c = 5, 5*p = s*p + 4*c + 33. Is p a prime number?
True
Let b = 298 + -113. Suppose -5*w = -5*g - b, 0*w - g + 89 = 2*w. Let a = w + -21. Is a a prime number?
False
Let p(l) = -15*l - 13. Let x(i) = -7*i - 7. Let c(q) = 6*p(q) - 11*x(q). Is c(-4) composite?
True
Let v(g) = 12*g**2 - 5*g + 9. Let a be v(-6). Suppose -3*o - 3*w + a = -0*w, -634 = -4*o - w. Is o a composite number?
True
Let q be (-2)/(0 + (3 - 2)). Let r be q/((-6)/15) - 1. Suppose 3*p - 6*p = -2*x - 349, -484 = -r*p - 2*x. Is p a composite number?
True
Let s(q) = -q - 2. Let j be s(-4). Suppose j*y = -4*d + 3*y + 8, -5*d = -5*y + 5. Let t = d + 16. Is t composite?
False
Let r = 113 + -74. Suppose -r + 4 = 5*o. Let s = 60 + o. Is s composite?
False
Suppose w + w - 2*u = 1020, -2*w = 4*u - 990. Is w a prime number?
False
Suppose p - 22 = -4*z, -3*p = -4*z - z + 19. Suppose 4*b = 4*k - 5*k + 1521, p*b + 2*k = 756. Suppose 0 = -2*h - h + b. Is h a prime number?
True
Suppose -4*r - 47 = -d, 4*d + d = -3*r + 166. Is d a composite number?
True
Suppose -2*d + 12 = d. Suppose v + 3*v - 28 = 3*w, -v + d*w + 7 = 0. Is v a composite number?
False
Let b be 1/(-2)*(-8 - 2). Suppose 0*a - b*a = -1415. Suppose 5*i - a = 3*v, v - 3 = 1. Is i composite?
False
Suppose 4*x = 5*x - 5*w - 122, -2*x + 5*w + 249 = 0. Is x a prime number?
True
Let t be 4/(-5)*(-5 - 680). Let u = t + -247. Is (2 - 1)/(1/u) a composite number?
True
Suppose 0 = -96*s + 101*s - 5615. Is s a prime number?
True
Suppose -26 = -4*c - 2*u, u + 7 = 3*c - 0. Let p be ((-110)/c)/((-5)/70). Suppose -5*b = 4*m - p, 4*b - 519 = -5*m - 40. Is m prime?
False
Let a(k) = k**2 + 3*k - 4. Let j be a(-4). Let h = j + 77. Is h a composite number?
True
Let n be (-1 - 0) + 4 - -1. Suppose 4*p + n*s + 588 = 0, 3*p - 2*p = -2*s - 147. Let w = -56 - p. Is w prime?
False
Suppose -631 = -5*u - x, -236 = -2*u - 4*x + 2. Is u composite?
False
Let t be (-1 + 0)*(-5 + 2). Is 54 - (t - 0 - 2) a composite number?
False
Suppose 3*c - 3*a + 18 = 0, -a