i + 263, i = 4*l - 457 + d. Is l a prime number?
True
Suppose -l - 1 = -3*v - 0*l, 4*v + l + 1 = 0. Is (-4 - (v - 3)) + 374 a prime number?
True
Let c be 3 + -1 - (-4 - 37). Let z = c - 10. Is z a prime number?
False
Let v(b) = -5 + 4 - 4*b**2 + 6 + 5*b**2 - 2*b. Is v(8) prime?
True
Suppose 0 = g + 3*g - 12. Let s(u) = 58*u + 4. Is s(g) prime?
False
Let o be 2/(-1)*316/8. Let h = 282 + o. Is h composite?
True
Suppose q - 344 = -t + 352, 5*t = -2*q + 3495. Is t composite?
False
Let c(f) = f**2 + 5*f + 3. Let r(n) = -7*n**2 + 1. Suppose -12 = 3*s - 3*x, 2*x + 0*x - 6 = 0. Let v be r(s). Is c(v) a prime number?
False
Suppose 585 + 310 = 5*k. Let t = k + -16. Is t a prime number?
True
Let i(v) be the second derivative of v**5/20 - 5*v**4/12 - v**3/3 - v**2 + v. Suppose 2*p - 6*p = 5*r - 18, p = -4*r + 21. Is i(r) a composite number?
True
Let y(r) be the second derivative of -r**3/6 - 9*r**2/2 + 3*r. Let u be y(-7). Is (1 + (4 - u))*19 a prime number?
False
Let f(c) = -c + 3. Let i be 1/(-4) + (-87)/(-12). Let j be f(i). Let t = -1 - j. Is t a composite number?
False
Suppose -4*d + 25 = 3*y, -15 = -3*d + 2*y - 3*y. Suppose -59 = -2*w + w + 4*f, -2*w + 118 = d*f. Is w a prime number?
True
Let k = 2 - 0. Suppose -q = k*q - 12. Suppose q*f - 1324 = -5*g - 559, 3*g - 3*f - 432 = 0. Is g a composite number?
False
Let z(j) = -j**2 + 5. Let o be z(0). Let i(x) = 33*x**2 + 12*x**2 + 6 - 2*x + o*x**2 - 7. Is i(-1) a composite number?
True
Let k(y) = 3*y + 1 + 0*y**2 - 6 + 4 + y**2. Is k(-9) a prime number?
True
Let u = 222 - 95. Is u prime?
True
Suppose 11 + 1 = 2*b. Let s(y) = 25*y - 3. Let x be s(b). Suppose -j - x = -4*j. Is j prime?
False
Suppose -652 = -7*w + 3*w. Is w prime?
True
Let z be -1 - (-3 + 1 - 2). Suppose -5*i = z*d - 1337, -d - 257 = -i + d. Is i a prime number?
False
Let q = 5 + -3. Suppose -212 = -6*p + q*p. Is p a composite number?
False
Suppose -3*y = 2*r - 566, 3*y = -3*r - 2*r + 1433. Is r a composite number?
True
Let n(r) = 2*r - 13. Is n(8) a composite number?
False
Let y(c) be the second derivative of c**4/12 + 5*c**3/6 - 3*c**2/2 - c. Suppose 0 = -3*f - 2*z + 1, -z + 4*z + 6 = -2*f. Is y(f) a prime number?
False
Is (-672)/(-5) - (-8)/(-20) prime?
False
Suppose -d = 3*d - 340. Is d composite?
True
Suppose q - 3*i + 5*i - 115 = 0, 2*q - 254 = 4*i. Is q prime?
False
Is (-4 + 2)*(-77)/2 composite?
True
Let y(q) = -q**3 - 5*q**2 - 7*q - 5. Let n be y(-4). Let m = n + -1. Suppose -m*l = -l - 175. Is l a composite number?
True
Let k be (-54)/(-9) + 1/(-1). Suppose -k*q + 163 = -367. Is q composite?
True
Suppose 0 = j + 2*d + 3*d - 78, 4*d + 274 = 5*j. Let k = j - 40. Let p = k + -4. Is p prime?
False
Let l be (-21)/(-2)*2/1. Suppose -l = -2*t - 3. Let h = t + 2. Is h a composite number?
False
Suppose -771 = -4*f + 73. Is f a prime number?
True
Let s = -1 + 5. Suppose 2*o - 3*r = r + 90, -o = -s*r - 43. Is o composite?
False
Suppose 4*h - u - 4*u = 2896, 0 = -2*h + 3*u + 1450. Is h a composite number?
False
Suppose 4*d - 47 = -d + 3*s, -s = 3*d - 17. Let t = -5 + d. Is t*(621/6 + 2) a composite number?
False
Suppose 0 = -9*b + 5*b + 1508. Is b a composite number?
True
Let q = -2 - -5. Is 322/21 + (-1)/q a prime number?
False
Let o = -133 + 270. Suppose 3*a - 5*y - o = 0, 8*a = 3*a - y + 247. Is a prime?
False
Let c(o) = -o. Let n be c(-1). Is 1 + -4 + 14/n a prime number?
True
Suppose -h = -2*h + 27. Is ((-22)/6)/((-3)/h) a composite number?
True
Is (-2)/(-3) - (5694/(-9))/2 a prime number?
True
Let k(m) = m**3 - m**2 - m - 9. Let p be k(0). Let i(y) = -2*y + 8. Is i(p) a prime number?
False
Is (5478/12)/((-2)/(-4)) prime?
False
Let w(q) = -q**3 + q**2 + q + 204. Let r be w(0). Let p be (-4)/(-4) - (-4)/(-2). Is r - -1*(p - -2) a composite number?
True
Suppose 5*i + 2*r = 342, -4*i - r = -0*r - 276. Suppose -i = 2*q - 4*q. Is q composite?
True
Let v = -51 - -148. Is v composite?
False
Let o(a) = -a**2 - 12*a + 5. Let f be o(-12). Suppose -7*p + 66 = -f*p. Is p a prime number?
False
Let u = 186 - 103. Let f(v) = -2*v**2 - 6*v - 6. Let i be f(-3). Let a = u + i. Is a a composite number?
True
Let k(x) be the third derivative of 11*x**5/20 - x**4/24 - x**3/6 + 8*x**2. Is k(-1) prime?
False
Let t(o) = 10*o - 6. Let r be t(5). Let v = r + -18. Is v prime?
False
Suppose 4*x - 606 = -3*s - 71, s - 4*x - 189 = 0. Let l = s + -104. Is l composite?
True
Let b(h) = h**3 - 13*h**2 + 4*h - 17. Is b(15) a composite number?
True
Let p = 916 - -102. Is p composite?
True
Let c(g) = -g. Let s(u) = -1074*u - 1. Let v(l) = -5*c(l) + s(l). Let t be v(-1). Suppose 4*a = -416 + t. Is a a composite number?
False
Let h be 6/(-12)*(-2 - 4). Suppose h*c = -4*x + 1516, 0 = 4*x - 5*c - 1796 + 280. Is x composite?
False
Suppose -13*r + 17*r - 6416 = 0. Suppose -g + 4*g + d = r, 0 = -2*g + 3*d + 1073. Is g prime?
False
Let c(o) = -o**3 + 8*o**2 + 13*o - 11. Is c(-7) a composite number?
True
Let f(d) = -4*d**3 - 8*d**2 - 2*d - 8. Let h(w) = 5*w**3 + 9*w**2 + 2*w + 9. Let p(b) = -6*f(b) - 5*h(b). Is p(-2) prime?
True
Let k(b) = 2*b + 1. Let d be 24/(1 + 2/(-6)). Suppose -4*p - 9 = -r, 4*r - d = -p - 4*p. Is k(r) prime?
True
Let g(z) = -z. Let b(t) = 10*t - 1. Let k(f) = b(f) - 3*g(f). Suppose 14 = -5*h + 44. Is k(h) prime?
False
Let u = 305 - -162. Is u a prime number?
True
Suppose 4*n = 17 + 19. Suppose -5*r + 5 = -t - n, -r + 14 = -3*t. Suppose r*p + 105 = 5*p. Is p composite?
True
Suppose -2*w - w + 3 = 0. Let c be 1 + w*1/(-1). Suppose 3*g = -c*g + 153. Is g prime?
False
Let p(z) = 45*z**2 - 6*z - 4. Let l be p(-4). Suppose -a - 3*a + l = 0. Is a a composite number?
True
Suppose -3*k - 12 + 48 = 0. Let z be (-114)/(-8) + (-3)/k. Suppose -2*b + z = -16. Is b a composite number?
True
Let c = -1399 + 3020. Is c a prime number?
True
Let m be (-4)/6 - 449/(-3). Is (0 - 1 - -1) + m prime?
True
Let o(a) = -a**3 + 7*a**2 - 5*a - 4. Let n be o(6). Suppose 8 = -3*i + n*i. Let m = i - -15. Is m prime?
True
Suppose -3*h + 715 = -5*g, 2*g - 1167 = -5*h - 2*g. Suppose -3*c = 2*q + 808 - h, -q - 3 = 0. Is -2 + 4 + c/(-3) a prime number?
False
Let w = 494 + -333. Is w prime?
False
Let z be -3 + 2/((-4)/170). Let f = 39 - z. Is f prime?
True
Suppose -5*p = -5, -3*p = 7*b - 2*b + 127. Let z = -5 - b. Is z composite?
True
Suppose 0 = -2*k - 0*y - 2*y + 224, 0 = 2*k - 4*y - 230. Is k a composite number?
False
Let v(k) = k + 2. Let l be v(5). Let t(p) = 3*p**2 + 8*p + 8. Is t(l) prime?
True
Let q(o) = o**3 + 31*o**2 + 7*o - 14. Is q(-21) composite?
True
Let v(o) = -o**2 - 8*o + 7. Let i be v(-9). Suppose 0*w = -3*w + 2*h - 4, -w = 3*h + 5. Is (w - i) + 34 - 1 a prime number?
False
Let w(h) = -24*h**3 + 2*h**2 + h. Suppose -17 + 1 = -4*c. Suppose -4*v - c + 0 = 0. Is w(v) prime?
False
Let a be (6/4)/(9/(-12)). Is a + 4 + 303 + 2 a prime number?
True
Let m = 531 - -820. Is m a composite number?
True
Let l(s) = -s**3 + 2*s**2 + 5*s - 6. Let m be l(3). Suppose 4*h + m*j - 4193 = -j, -3*h + 2*j + 3153 = 0. Is h a prime number?
True
Let g be ((-8)/(-6))/(2/3). Let x(c) = 32*c**3 - 2*c**2 + c + 1. Is x(g) composite?
False
Suppose 4*d = -1 + 713. Is d composite?
True
Suppose -i = -3*t - 1, -t - 3*i - 2 = -15. Is ((-31)/(-2))/(t/2) prime?
True
Suppose 3*j - 16 = 203. Suppose -2*s = -x - 9, -x - x = 10. Suppose -s*d + j = 27. Is d a composite number?
False
Let h be 4/18 - 4840/(-90). Suppose 2*l + k = 6*k + h, 5*l - 205 = -5*k. Is l prime?
True
Let p = -143 - -306. Is p composite?
False
Suppose 4*j = 2*f + 58, -5*j - 2*f + 80 = -7*f. Suppose j*z - 9*z = 148. Is z composite?
False
Let q(p) = 39*p**2 + 2*p - 1. Let x be q(2). Is 2 + (-1)/(-3)*x prime?
False
Let x = -4 - -6. Let l be (-1011)/(-15) - x/5. Let a = l + 52. Is a composite?
True
Suppose -12 = q + 5*h, -q - 5*h = -6*h - 6. Let x(r) = -2*r - 3 + 3*r + 6*r**2 + r**q - r. Is x(-5) prime?
False
Suppose 0 = -5*m + 4*y + 576, 0*y - 5*y = -m + 111. Is m + ((-27)/(-3))/(-3) a composite number?
False
Let n(x) = -x**3 + 7*x**2 - x - 8. Is n(6) a composite number?
True
Suppose -5*z + 2905 = 5*q, -z - 596 = -q + z. Is q a composite number?
True
Let f = -7 - -12. Suppose f*m - 5*k = 60, 5*k + 0*k = 2*m - 21. Is m prime?
True
Suppose 5*o - 2*d = -3*d + 5758, 3459 = 3*o + 2*d. Is o prime?
True
Suppose 2*u - p - 2721 = 0, -2*u + 4*u + 3*p - 2741 = 0. 