posite number?
True
Is (0 + 335 - -1) + 1 a prime number?
True
Let a = -30 + 157. Is a prime?
True
Let p = -609 - -916. Is p a prime number?
True
Let r(f) = f**3 + f**2 - 8*f + 7. Is r(3) prime?
True
Let j be (2 - -2 - 1) + 0. Let n(d) = -1 + 45*d**3 + 43*d**3 - 10*d**j. Is n(1) a composite number?
True
Let f = -486 - -827. Is f a prime number?
False
Suppose -u + 5*u - 417 = -5*d, 4*u = 12. Suppose 456 = 3*b - d. Is b composite?
False
Suppose 2*v = -4*s + 6*s - 12, -23 = -4*s + 5*v. Suppose -108 = -5*p + s. Is p prime?
True
Suppose -373 = -3*h - 124. Is h prime?
True
Suppose -4*t - 2*m = -4*m + 6, 3*t - 3 = 3*m. Is (37/(-4))/(t/16) a composite number?
False
Suppose 6*t + 2 = 4*t. Let c be 7/(39/20 + -2). Is c/(-2) - 2 - t prime?
False
Let n be (4 - 2) + (3 - 1). Suppose 0 = n*k - 9*k - 3*q - 33, -2*q - 28 = 4*k. Is (3/k)/(2/(-186)) a prime number?
True
Suppose 2*x = 6*x - 24. Let d be -1 + -4 + x/(-2). Let u = d - -17. Is u a prime number?
False
Suppose 0 = -i + 2*i + 2*b, 4 = -i - 3*b. Let m = -5 + i. Suppose 2*f - 55 - 72 = -3*q, 102 = 3*q - m*f. Is q a prime number?
False
Suppose h + 3*h + 386 = 5*o, 153 = 2*o - 3*h. Suppose -z = o - 313. Suppose -602 = -5*k + j, 5*k - z - 358 = 4*j. Is k composite?
True
Let c(d) = 5*d**3 - 4*d**2 - d + 5. Let r be c(4). Is r + -7 + 2/2 a prime number?
True
Suppose -3*y + 3*k = -381, 13 = 2*y - 3*k - 241. Is y a composite number?
False
Suppose -w + 5 = -3*p, 5*p = -0*w - 3*w - 13. Is (-2 + p)*254/(-8) composite?
False
Suppose 4*s - 143 = 189. Is s composite?
False
Suppose -12*h = -8*h - 1164. Is h a composite number?
True
Suppose -3*y + 28 = 2*s, 2*s - 4 = y + 16. Let z(u) = 7*u + 10. Is z(s) a prime number?
False
Let z(k) = 2*k**2 - 8*k - 9. Is z(8) prime?
False
Let x = 2 + -4. Let s = x - -2. Suppose s = -0*l - l + 21. Is l prime?
False
Let m(v) = 9*v - 2. Let j(y) = y**2 - 5*y + 2. Let c be j(4). Let h(o) = 8*o - 1. Let q(f) = c*h(f) + 3*m(f). Is q(5) composite?
True
Let g(r) = -r**2 - 1. Let p(h) = -5*h**2 + 4*h + 3. Let t(j) = 4*g(j) - p(j). Is t(-6) a prime number?
True
Let v(t) = 339*t + 1. Is v(2) a composite number?
True
Let j = -2 + 4. Suppose -j*z + 5*z = 1017. Is z a prime number?
False
Suppose 0 = d - 3*j - 6, -4*j - 1 = 2*d - 3. Let p = 1 + -3. Is (d + -1)/p*-21 prime?
False
Suppose -4*b + 335 = b. Is b a composite number?
False
Let r(d) = 3*d**3 + 2*d - 4. Let f = 1 + 2. Is r(f) prime?
True
Suppose 4*l = -0*l + 144. Suppose 0 = g + 3*g - l. Suppose -g = -3*p - 0. Is p composite?
False
Let q = -207 - -568. Let y = q + -15. Let d = y + -135. Is d a composite number?
False
Suppose -3*t = 3*r - 198 - 1380, 5*t + 2580 = 5*r. Is r prime?
True
Let k(v) = 12*v**2 - 3*v + 3. Let z be k(3). Is 2 - (z/(-2) + -2) prime?
False
Suppose -37 = 3*w - 1. Let p be (3 + -2)/(3/42). Is 1774/p - w/42 a prime number?
True
Suppose 4*b - c = 274, -c - 272 = -4*b + c. Is b a prime number?
False
Let c = -5 + 10. Suppose 0 = 4*r - c*v + 23 + 13, 5*v - 20 = 0. Is (106/r)/(4/(-8)) a prime number?
True
Suppose -2*k - 1176 = -6*k - 4*x, 0 = -2*k + 3*x + 583. Let a = -389 + 1047. Let i = a - k. Is i a composite number?
True
Suppose 0 - 2 = -w + g, -10 = 5*g. Suppose b = -0*b - 4, -q - b + 15 = w. Is q a composite number?
False
Let a(g) = -3*g**3 - 2*g**2 - 4*g - 3. Let i be (3 - 4)*(2 + 5). Let y be (-2)/i - 64/28. Is a(y) a composite number?
True
Suppose 0 = 2*k + 2*v - 48, 2*k - 3 - 57 = 2*v. Suppose -2*a = -35 - k. Is a a composite number?
False
Let l = -24 + 95. Is l a composite number?
False
Suppose 115 - 523 = -4*i. Suppose -s = -75 - i. Is s a prime number?
False
Let r = 6 - 3. Suppose -r*h + 22 = -h. Suppose -z + 20 = -h. Is z prime?
True
Let v be 2/(7/(63/6)). Suppose h = -v*h + 104. Is h a prime number?
False
Let l = 4 - 8. Let y(r) = -2*r**2 - 2*r + 3. Let d(x) = 10*x**2 + 9*x - 15. Let h(t) = -2*d(t) - 11*y(t). Is h(l) prime?
True
Let o = 71 - 49. Is o composite?
True
Suppose 2 = -5*t - 3. Let n be (t/(-2))/(1/(-420)). Is (n/3 - -3)/(-1) composite?
False
Let k(x) = 26*x - 2. Let b(o) = -155*o + 12. Let y(n) = -6*b(n) - 34*k(n). Is y(3) a composite number?
True
Suppose 5*i - 5*y = -y - 55, 0 = -5*y + 25. Let x(g) = g**2 + 11*g + 3. Let n be x(i). Let p = -10 - n. Is p prime?
False
Let c be (1 + -2)*(-11 - -1). Let a(y) = 41*y + c*y + 19*y - 1. Is a(1) a composite number?
True
Suppose 5*n - 801 = -4*w, 7*n - w - 645 = 3*n. Is n prime?
False
Let p = 1 + 2. Suppose p*n - 46 - 107 = 0. Is n prime?
False
Let g(z) = 12*z**2 - 6*z + 19. Is g(-8) composite?
True
Let d(l) = l. Let n(r) = -446*r**2 + 4*r. Let o(i) = 3*d(i) - n(i). Let c be o(1). Suppose -5*y = -4*k - c, 5*y = y - 4*k + 356. Is y prime?
True
Let o be 3 - 1 - -6 - 1. Let j(l) = 5*l**3 - 3*l**3 + o*l - 1 - 3*l**3 + 5*l**2. Is j(5) a prime number?
False
Let m(s) = -2*s + 6. Let y be m(5). Let o be y + (0 + 1 - 2). Let i = o - -18. Is i prime?
True
Let p = -348 - -1301. Is p a prime number?
True
Suppose 4*k - 9 = -x, -3*x - k = 4*k - 20. Suppose -2*q = 4*p - 4, 5*q = -p - x - 3. Is (-6 + 4)*19/q prime?
True
Suppose 5*o - 93 = -4*v, 45 = 3*o + 2*v - 5*v. Let b = 17 + o. Is b prime?
False
Suppose -j - t - 9 = -2*t, -j = 3*t - 3. Let i be (0 + 1)/((-2)/j). Suppose -4*s + 0*s = -3*d - 488, -337 = -i*s - 5*d. Is s a prime number?
False
Let u be -3*-3*16/36. Suppose u*k + 489 = 3*n, -273 = -5*n + 3*k + 542. Is n composite?
False
Let m be ((-3)/(-2))/((-6)/(-40)). Is m + 2 + (2 - 3) a prime number?
True
Suppose 0 = 10*g - 12*g + 2*h + 316, 0 = g + 4*h - 173. Is g composite?
True
Let x(z) = 60*z**3 + z**2 - 2*z + 1. Let g be x(1). Suppose -4*c = -0*c - g. Is c a prime number?
False
Let i(d) = -3*d**3 + 2*d - 4. Let x be i(4). Let q be (-2278)/(-6) - 2/3. Let c = x + q. Is c a prime number?
True
Let j(p) be the third derivative of -p**4/2 - p**3/3 - 3*p**2. Is j(-2) a composite number?
True
Suppose -3*g = -4*g + 809. Is g a prime number?
True
Let j = -9 + 6. Is (-4)/(-6)*j - -141 a composite number?
False
Is (7 - 29/4) + (-10437)/(-4) prime?
True
Let c = -127 - 82. Let x = c - -336. Is x a prime number?
True
Let h be (-1)/(3/(-3)) + 2. Suppose 745 = 4*p - h*l, 4*l - 4 = -0*l. Is p prime?
False
Let x be ((-8)/20)/((-2)/(-10)). Is (-166)/(-3) + x/6 a composite number?
True
Let c = 8 - -3. Let y = c + -5. Is y prime?
False
Let l = -1067 - -2116. Is l a composite number?
False
Let i(u) = u + 1. Let b(z) = -2 + 2 - 37*z - 11*z - 1. Let v(m) = b(m) + 6*i(m). Is v(-6) a composite number?
False
Let o(f) = 12*f - 6. Let y be o(-5). Let i = y + 141. Suppose -i = -4*d - d. Is d a composite number?
True
Let x = 2437 - 4394. Let j = -1394 - x. Is j composite?
False
Suppose 6*z - 9*z + 1563 = 0. Is z composite?
False
Let c = -284 + 575. Suppose -6*l + 618 = -3*l. Let m = c - l. Is m prime?
False
Let h be 44/(-2) + (1 - 0). Suppose 4*v + 7 + 53 = 0. Let n = v - h. Is n composite?
True
Let w = 128 - -413. Is w a prime number?
True
Let h(u) = 4*u**2 + 35*u + 20. Is h(19) a composite number?
False
Suppose 3*x - 2*h - 58321 = 0, -x - 38872 = -3*x - 3*h. Is x a prime number?
False
Let z(q) = 178*q**3 + 3*q - 2. Is z(1) prime?
True
Suppose -3*a = 5*y - 28, -3*a + 10 = 2*y - 3. Let k = 2 + a. Let t(f) = f**3 - 3*f**2 + 3*f - 2. Is t(k) a prime number?
True
Let d(q) = q**3 - 4*q**2 - 2*q - 10. Suppose -34 = -2*r + 4*l, -3*r - 3*l = -l - 19. Is d(r) prime?
False
Suppose -u = -4*d + d + 13, -4*u = 2*d + 10. Suppose -5*f + 3*w - 5*w + 1057 = 0, -3*w = -d*f + 630. Is f composite?
False
Is (5 + (-3086)/8)*-4 a composite number?
False
Suppose -7*d = -2*d - 16945. Is d a prime number?
True
Suppose -4*n + 1 = -23. Suppose 3*u - n*u = 2*h - 1609, u + 792 = h. Is h a composite number?
False
Suppose 8 = -4*k, 2*m - 4*k = -3*m + 5593. Is m composite?
False
Let a = 641 - 373. Suppose 0*b - 4*b + a = 0. Is b a composite number?
False
Suppose v = 2*t - 4, 5*t - 16 = 3*v - 6. Let l = t + 0. Suppose 0 = -l*g + 6*g - 52. Is g a composite number?
False
Let f(v) = -105*v + 3. Let o be f(-10). Suppose -3*z + 786 = -3*d, -3*d = 4*z - 2*d - o. Is z prime?
True
Let k be 2/(-4)*0/(-2). Suppose k + 2 = g. Is 3 - 2 - g - -38 a prime number?
True
Suppose 0 = -w - 4*w. Let g = w - 3. Is (94*1)/(g - -5) composite?
False
Suppose 0 = -p + 1566 + 316. Is p a composite number?
True
Suppose 21 = -7*j + 4*j. Let f(s) = 0 - 