?
True
Is 1/5 + 35098/35 a prime number?
False
Suppose 0 = 3*a - 2934 - 555. Is a composite?
False
Let q = 7 - 11. Let f(w) = -w**2 - 2*w + 5. Let t be f(q). Let g(i) = -7*i**3 + i**2 + 3*i + 2. Is g(t) prime?
True
Let j = 273 - 21. Let c = j + -103. Suppose 26 + c = 5*i. Is i composite?
True
Suppose 5*b - 2 = 263. Is b prime?
True
Is 2652/2 + 4 + -3 a prime number?
True
Let g = 19 + -7. Let r be g/(-10)*40/(-12). Suppose -89 = -w - 4*w + 2*v, r*w - 64 = 4*v. Is w a prime number?
True
Suppose -4*n - 231 = 113. Let i = n - -59. Is -2*(i/2 - 2) composite?
False
Let c(m) = -9*m - 4. Let f = -4 - -2. Let t(l) = -l**2 - l - 1. Let i(u) = f*t(u) + c(u). Is i(-5) prime?
True
Let i(p) = p + 1. Let k be i(2). Is (k/(-4))/((-2)/104) a composite number?
True
Is ((-951)/(-6))/(3/6) composite?
False
Suppose 2*l + 91 = -x - 2*l, -3*l = -2*x - 182. Let a = 228 - 398. Let g = x - a. Is g a composite number?
False
Let k = -326 + 1413. Is k a composite number?
False
Let t be ((-6)/5)/((-9)/30). Suppose 2*g + 2*s = 61 + 47, -s = -t*g + 221. Is g a composite number?
True
Suppose 0 = 4*x - 4*q + 38 - 14, 3*q = -4*x - 17. Let n be (1 - 6)*(-6 - x). Suppose n*r = 97 + 608. Is r composite?
True
Suppose -756 = -7*b + 1001. Is b prime?
True
Let q(i) = -2*i. Let d be q(-1). Suppose -2*b + 1556 = d*b. Is b composite?
False
Is (-12 - -11)/(2/(-286)) composite?
True
Let l = 0 - 0. Let t = l - -19. Suppose h = -6 + t. Is h a composite number?
False
Let w be ((-30)/8)/(2/(-48)). Suppose -w = -0*u - 3*u. Let n = u + 25. Is n prime?
False
Let f(r) = r**2 + 6*r - 3. Let j be f(-7). Suppose -x - 4 = -2*k, -j*x = 2*k + k - 6. Is -25*(1 + k + -4) composite?
True
Suppose -651 = -5*k + t, 3*t = -3*k - 45 + 450. Is k composite?
False
Let d(l) = -l**3 + 2*l**2 + 2*l - 5. Is d(-4) prime?
True
Let s(x) = 23*x**3 + x**2 + 4*x + 1. Let p be s(3). Suppose -3*d - q + p = -6*q, -3*q = 3*d - 627. Is d a composite number?
False
Suppose 68 = -4*d - 4*f, -2*f + 26 = -2*d - 0*f. Is ((-261)/d)/(2/10) prime?
False
Let a = 730 - -5035. Is a composite?
True
Suppose b + z = -64, z = 2*b + 2*z + 131. Is -2*(-3)/((-6)/b) prime?
True
Let q(y) = -6*y + 1. Let h be q(-3). Suppose 5*d = 4*k - 137, k = -4*d - h + 69. Suppose t = -t + k. Is t prime?
True
Let n(k) = 22*k - 2. Let w(a) = 21*a - 2. Let l(f) = -4*n(f) + 5*w(f). Is l(5) a composite number?
False
Let p = -11 - -17. Let t(h) = 2 + 2*h**2 + 0 - 4 + 7*h - 3*h**2. Is t(p) a composite number?
True
Let f(t) = -t**2 + 2. Let l be f(-2). Is ((-25)/15)/(l/618) a composite number?
True
Let d(q) = -q**3 + 20*q**2 + 21. Is d(19) composite?
True
Let q = -232 + 423. Is q a prime number?
True
Let g = -14789 - -20770. Is g a composite number?
False
Let m be 6/((18/268)/3). Suppose 0*g + g - 5*p = 67, -p - m = -4*g. Is g composite?
False
Let r(c) = c**2 + c - 1. Let w be r(1). Let q = w + -2. Let a(d) = 16*d**2 - 1. Is a(q) a prime number?
False
Suppose 2*o - 2 = -3*l, 4 = -3*l - 2. Suppose 0*w - 3*w = -15. Suppose -52 = -2*q - 9*m + o*m, w*m - 21 = -q. Is q a composite number?
False
Let u be (-12)/(-8)*(-4)/(-6). Let t be 1 - -2*(u - 0). Suppose -2*l = 2, 0 = -8*x + 3*x - t*l + 52. Is x composite?
False
Let t(b) = -b + 4. Let d be t(0). Suppose 0*f - 3*o = d*f - 195, o - 150 = -3*f. Suppose -271 - f = -2*a. Is a a composite number?
True
Suppose -4*j + 2680 = -j - 5*a, -5*j + 4472 = -3*a. Is j composite?
True
Let j = 3 + -1. Is ((-1)/j)/((-2)/220) prime?
False
Let o be -15*1 - 0 - -2. Let c be (-2 + -1)/3 + o. Is (c/4)/(3/(-30)) a composite number?
True
Let l = 274 + -143. Is l a composite number?
False
Suppose 3*m + 9 = 6*m, 4*m + 4383 = 5*b. Is b prime?
False
Suppose 5*z - 3*n - n = 14481, -3*n - 8688 = -3*z. Is z prime?
True
Suppose -2*l + 1 = -5. Suppose 0*r - r = -l*z - 18, 0 = 4*r. Is 4/z + 35/3 prime?
True
Suppose 0 = 3*a + a - 48. Suppose -4 + a = 4*j, 0 = 3*k - 3*j - 153. Is k composite?
False
Let q(s) be the third derivative of -s**6/120 - s**5/30 - 4*s**3/3 - 8*s**2. Is q(-7) a prime number?
False
Let w(n) be the second derivative of -13*n**6/720 - n**5/120 + n**4/4 - 3*n. Let u(k) be the third derivative of w(k). Is u(-4) a composite number?
True
Let b(r) = 4 - 2*r**2 - 5 + 5*r**3 + 2. Let v be b(1). Suppose 620 = -0*c + v*c. Is c a composite number?
True
Let r = -2781 - -4022. Is r prime?
False
Let u be (0 - -1)/(2/44). Let o = 12 - 12. Is (o + -4)*u/(-8) composite?
False
Suppose -d = -3*x + 317, 0*x - 95 = -x + 3*d. Let t = x + -18. Is t composite?
False
Suppose 718 = -3*l + 145. Suppose -5*j - 745 + 2115 = 0. Let r = l + j. Is r a composite number?
False
Suppose -b + 1 = -2*b. Let w = 3 - b. Suppose -w*m + 184 = -g, 3*g + 35 = 5*m - 4*m. Is m prime?
True
Let c = -115 + 366. Is c a prime number?
True
Let w(n) = n - 2. Let k be w(10). Is k/36 + 817/9 composite?
True
Let w = -87 + 168. Let m = 120 - w. Suppose 4*l - 85 = m. Is l prime?
True
Let w(g) be the second derivative of 5/12*g**4 + 1/20*g**5 + g + 0 - 7/6*g**3 + 7/2*g**2. Is w(-6) prime?
True
Let d(v) be the third derivative of v**6/120 + 7*v**5/30 - v**4/4 + v**3 - 2*v**2. Is d(-13) composite?
True
Suppose 3*u + 12 = 5*u. Let d(b) = b**2 - 7*b + 8. Let z be d(u). Suppose 4*i = 3*y + 152, 54 = 5*i - z*y - 129. Is i a prime number?
False
Let g(u) = 12*u**2 + 2*u + 35. Is g(-8) composite?
False
Suppose -3*u + 9 = 3*i, 20 = 5*u + i - 11. Suppose u*f - 4*f - 267 = 0. Is f a composite number?
False
Suppose 0 = 4*x - 938 - 3170. Is x a composite number?
True
Let m = 1090 - -1323. Is m composite?
True
Let i = 2 - -9. Let o be 4/(i/(-13) - -1). Suppose -2*j - 15 = 2*l - 65, -4*j - o = -2*l. Is l composite?
True
Suppose -2*f - 2*f = 12, h = -5*f + 242. Is h prime?
True
Let r(z) = 3 + 52*z**3 - 4*z**2 - 51*z**3 + 0*z - 4*z - 5*z. Suppose 5*c - 3 - 31 = -q, -4*q + 10 = -c. Is r(c) prime?
False
Let a(c) = -5*c**3 - c**2 - 3*c + 4. Suppose -4*u - 2*x - 14 = 0, -3*u + 4*x = -0*u + 5. Let r be a(u). Let f = -86 + r. Is f prime?
True
Suppose 6*j = -2*j + 1160. Is j a prime number?
False
Suppose -3*b = -5*b + 2378. Suppose -5*v - 4*n + b = 0, 5*v = 2*v - n + 712. Let j = v + -158. Is j composite?
False
Suppose 0 = 3*o - 983 - 112. Let t = o - 18. Is t a prime number?
True
Suppose -5*j + 5*u = -240, 3*j - u = 43 + 93. Suppose -o = -j - 18. Suppose -o = -4*s + 78. Is s a prime number?
False
Let x(j) = -28*j + 27. Is x(-11) a composite number?
True
Is ((-377)/(-3))/((-1)/(-3)) prime?
False
Is ((-65)/10)/(-13) + (-15354)/(-4) prime?
False
Let d(k) = -7 - 6 - 19*k + 1 + 5*k. Let u be d(9). Let f = u - -261. Is f composite?
True
Let x be 1 - (-2 + 2 + -3). Suppose 5*b + 0*a - 296 = -a, 291 = 5*b - x*a. Is b prime?
True
Let h(v) = -3*v**3 + 4*v**2 - v - 1. Let a(w) = 3 - 2*w - 7*w**3 - 5 + 7*w**2 + 0. Let l(g) = 2*a(g) - 5*h(g). Is l(6) prime?
True
Let k(w) = w**3 + 8*w**2 + 7*w + 2. Let z be k(-7). Suppose z*f - 5*f + 237 = 0. Is f a prime number?
True
Let g(v) = -1071*v - 4. Let l be g(-2). Is l/18 + (-24)/(-108) composite?
True
Let q be 1/(-1 - (0 - 0)). Let z be q + 0 + 1 + 9. Suppose -z = -g - 2*g. Is g prime?
True
Let d be (0 + -3)*(2 - 3). Suppose -2*l + 7 = 3*s - 436, d*l = -2*s + 677. Let a = -102 + l. Is a composite?
False
Suppose -1467 = -5*u - 2*c, u - 215 = 4*c + 74. Is u a prime number?
True
Suppose 0 = c - 5*r - 319, -3*r = -c - 4*r + 331. Is c composite?
True
Suppose k - 3*h = 2*k + 4, h + 2 = 0. Suppose 0 = -6*p + 2*p - 5*d + 271, 0 = k*p - 4*d - 142. Is p composite?
True
Is 522/4*(-10)/(-15) composite?
True
Let f be 7 + -8 - (0 + -4). Suppose l - 4 = 1. Suppose 50 = 3*q + l*k, -76 = -f*q + k + 4. Is q a prime number?
False
Let d(z) = 4*z - 9. Let x be (-12)/(-54) - (-34)/9. Let i be (-2)/(x/(-42)*3). Is d(i) composite?
False
Suppose 198 + 214 = 4*h. Is h a prime number?
True
Suppose 0 = 2*v + 2 + 8, -7 = -2*j + v. Let p be ((-6)/4)/(j/2). Is (p/6)/((-1)/22) a composite number?
False
Let a = -3 + 21. Suppose 5*t - 5*f = -0*f - 190, -4*t + 2*f = 146. Let o = a - t. Is o a composite number?
False
Suppose f - 664 = 23. Is f a prime number?
False
Let w = -673 + 1429. Let r = w + -385. Is r prime?
False
Suppose -3*f - 5*c = -7*f + 45, -4*f = 2*c - 10. Suppose f*l + 5 = y, -4 = -4*y + 2*y + 4*l. Suppose -6*p + 4*p - 74 = -4*g, 5*p - 5 = y. Is g prime?
True
Let f(p) = 3*p**2 - 2*p + 1. Let w be f(1). Let 