ite?
True
Let l(z) = -3*z**3 - z**2 + 3. Suppose 7 = -2*x - 1. Is l(x) a composite number?
False
Let m(n) = -n**3 + n**2 + n - 1. Let d be m(1). Suppose d = -3*q - 28 + 91. Let s = q + 10. Is s a prime number?
True
Let v = 15 + -18. Is (-694)/3*v/2 composite?
False
Let f(o) = -o**3 + 10*o**2 - 11*o + 13. Let h be f(9). Let w(x) = x + 7. Let t be w(h). Suppose -y = -2, 2*k + t*y = 109 + 11. Is k a composite number?
True
Suppose 0 = -y - y. Suppose y = 3*u - 126 - 255. Is u composite?
False
Let r be (-2 - (-4 + 2))/1. Let q(s) = -s**2 + s + 9. Let g be q(r). Let i(w) = w**2 + 4*w + 4. Is i(g) prime?
False
Suppose -3*r - o + 720 = 2*r, -3*r = 5*o - 454. Is r a composite number?
True
Let o(y) = -4*y + 16 - 4*y - 6. Let s(a) = a - 1. Let f(q) = o(q) + 5*s(q). Is f(-6) prime?
True
Suppose 0 = i + 5*v - 25 + 1, 5*i - 36 = -4*v. Suppose -3*d - 1 = -i*c + 23, -8 = -d - 4*c. Let n(g) = -2*g**3 - 3*g**2 + 4*g + 3. Is n(d) composite?
False
Let n be (19 + 2)*(-2)/(-6). Suppose -n*g = -2*g. Let s(h) = -h**3 - h**2 + h + 25. Is s(g) a composite number?
True
Suppose -3*w + 3*j + 2*j = 17, 0 = -5*j + 5. Let z be w/(-8)*1*58. Suppose -z + 3 = -2*r. Is r a prime number?
True
Let l(u) = -5*u + 8. Is l(-6) composite?
True
Let k = 698 - 286. Suppose -96 + k = 4*p. Is p prime?
True
Let t(w) = -6 + 8*w**2 + w**3 - 8*w + 8*w. Suppose -15 = 5*a - 5*u + 35, -4*a + u = 25. Is t(a) a composite number?
True
Let o = 119 + -239. Is (-2)/(o/59 + 2) a prime number?
True
Suppose 3*m + 6 = -5*i, 0*m + 18 = 3*m - 3*i. Suppose m*y = 3*r - 437 - 316, -y + 490 = 2*r. Is r a prime number?
False
Let x be ((-1234)/4)/(1/(-2)). Suppose -281 = -4*l + 2*t + 345, t = -4*l + x. Is l prime?
False
Let y(f) = 2*f**2 + 2*f. Let z be y(-2). Let r be (-2 + z)*(-633)/(-6). Suppose -6*b + r = -2*b + 3*h, -h = 5*b - 272. Is b a prime number?
False
Is ((-14)/(-8))/((-5)/(-6140)) composite?
True
Suppose -z - z + 4 = 5*b, -4 = -2*b - 2*z. Suppose b*t = 2*x - t + 13, 0 = -3*x - 5*t. Let p = 9 + x. Is p a composite number?
True
Let x(d) = -d**3 + 247. Let f = -2 + 2. Let i be x(f). Is (-6)/(-9) - i/(-3) a prime number?
True
Let s(y) = -y - 7. Let r be s(-6). Suppose -2*b - 644 = -2*m, 3*m + 2*b = 4*b + 970. Is m/((-2)/1)*r a composite number?
False
Suppose -v + s + s = -633, 5*s = 5*v - 3160. Is v prime?
True
Suppose -c + 3*c = 74. Is c a composite number?
False
Suppose -51 = -5*i + 29. Suppose -q = 3*q - i. Is q/18 + 277/9 prime?
True
Let h = 17 - 1. Suppose 0 = -2*w + 2*x + h, 3*x + 12 + 6 = w. Suppose w*y = -y + 460. Is y a composite number?
True
Suppose 3*j + 2*y + 10 = 4*j, 4*y = -4*j - 20. Let c(h) = j + 0*h + 3 - 6*h. Is c(-5) composite?
True
Let y = 70 + -39. Is y a prime number?
True
Let x = 19 - -7. Let d = 59 + x. Is d prime?
False
Suppose -3*d - 2507 = -4*s, -235 = -2*s - 3*d + 996. Is s a prime number?
False
Let g(n) = 2*n**2 - n - 1. Let t be g(2). Suppose -2*q + 2 = -0*q, -2*a + t*q + 293 = 0. Is a a prime number?
True
Suppose 0 = -2*i + 262 + 2460. Is i composite?
False
Let z be -4*(33/12)/(-1). Suppose 0 = -2*b + b + z. Is b prime?
True
Let v = 78 + -19. Is v prime?
True
Let u = 21 - 13. Let v(a) = 16*a + 1. Is v(u) a composite number?
True
Suppose -1883 = -5*x + f, 4*f + 600 + 164 = 2*x. Let a be (-4 - -1)/(-5 - -4). Suppose h - s - 96 = 0, 0 = -4*h - 7*s + a*s + x. Is h a composite number?
True
Let k(j) = 8*j - 8. Let n(q) = 17*q - 16. Let a(s) = -5*k(s) + 3*n(s). Is a(9) a prime number?
False
Let t be (-1)/(-5) + (-1)/5. Let v be (-1 - 57)*(-10 - t). Suppose -3*j = j - v. Is j prime?
False
Suppose -f + 5 = -b, -3*f + 17 = -4*b - 0*f. Is 207 - (1 - 1 - b) prime?
False
Suppose 3*n + 27 = j, 5*j - 79 = -5*n + 96. Is j composite?
True
Let k(w) be the first derivative of 7*w**4/4 - 4*w**3/3 + w**2 - 5. Is k(3) a prime number?
False
Let g(l) = -l**3 - 4*l**2 + 2. Suppose -2*h = -4*h + 2, 8 = -y + 4*h. Let m be g(y). Is 2 - (2 - m) - -20 prime?
False
Suppose -u - 5*h + 1185 + 407 = 0, -2*h = -3*u + 4691. Is u prime?
True
Let m(u) = 0*u**2 - 2*u - 5 + 5*u**2 - 2*u**2. Let j be m(4). Suppose 0*q + j = q. Is q prime?
False
Let n(v) = 10*v**2 + 3. Let b = -15 - -10. Is n(b) a composite number?
True
Suppose -h + 12 = 4*h - 4*v, 4*h - 9 = 3*v. Let z(q) = -q**2 + 143. Let g be z(h). Let x = g + -64. Is x a prime number?
True
Suppose -3 = 2*x - 5*x. Suppose x + 3 = -4*j. Is j/(3 - (-214)/(-71)) a prime number?
True
Let t = 1218 + -583. Is t prime?
False
Let m be 10/(-5) + (-1 - -3). Suppose -2*x + l + 18 = 0, m*x - 2*l = 2*x - 24. Is x a prime number?
False
Suppose -2*p = 4*c + p - 520, -681 = -5*c + 4*p. Let s = 48 + c. Suppose -2*w - s = -5*i, 2*w + 146 = 4*i - 0*i. Is i a composite number?
True
Suppose 0 = 7*v - 3*v - 8. Suppose 0*u - 2*u + 3*a = -122, v*u + 3*a - 110 = 0. Is u a prime number?
False
Suppose 6004 = 4*y + 4*b - 0*b, -4*y - 5*b + 6006 = 0. Is y a composite number?
False
Let g(b) = -2*b - 6. Let r be g(-7). Let i = 3 - 1. Suppose 0 = -i*q - r*x + 5*x + 26, x + 42 = 2*q. Is q prime?
True
Let o(g) = 3*g**3 + 4*g**2 - 2. Let j be o(-3). Let c = -26 - j. Is c prime?
False
Let d(p) = p**3 - 4*p**2 - 3*p - 1. Let b = -4 - -8. Let g be d(b). Let f = 6 - g. Is f prime?
True
Let c be (2 + 1)*(-201)/(-9). Suppose 377 + c = 4*q - k, 2*q = -k + 222. Is q a prime number?
False
Suppose 0*x + 15 = 5*x. Suppose w = -4*m - 4, 5*m = 4*w - 26 - 0. Let d = x + w. Is d prime?
True
Let z(h) = 10*h + 9. Is z(11) prime?
False
Suppose -4*j = -1078 - 486. Is j a composite number?
True
Let t = 605 - 226. Is t composite?
False
Let j(r) = 111*r - 3. Let d(f) = f - 1. Let o be d(3). Let h be j(o). Suppose 4*y - h = -3*a, a + 2*y = -y + 68. Is a composite?
True
Let g(i) = i**2 + 2*i. Let j be g(-6). Is (-1390)/(-18) + j/(-108) a prime number?
False
Let c(o) = 60*o**3 - 5*o**2 + 3*o - 6. Let f(p) = 40*p**3 - 3*p**2 + 2*p - 4. Let z(i) = -5*c(i) + 8*f(i). Let k be z(2). Let b = k + -113. Is b a prime number?
False
Let i(k) = -k**3 + 5*k**2 + 3*k - 2. Let s = 0 + 1. Let t = 6 - s. Is i(t) a composite number?
False
Let b(f) = 8*f**2 - 3*f - 3. Let m(o) = -2*o - 7. Let l be m(-5). Let v be b(l). Suppose 5*w - v = 5*k, k - 2 = -w - 0*w. Is w prime?
True
Let p = 2 - 5. Is p - (1 - (2 - -35)) prime?
False
Let j = -10 - -4. Let b be (-1)/2 + (-27)/j. Suppose -b*i = 4*a - 144, 0 = -i + 2*i + 5*a - 32. Is i a prime number?
True
Let d(u) = 26*u + 17. Is d(7) prime?
True
Suppose -4*d - 2*q + 6*q = 368, -2*d - 5*q - 163 = 0. Suppose 0 = -2*m + 3 + 3, 0 = 2*x + 2*m + 2. Let z = x - d. Is z prime?
False
Let p(y) be the third derivative of -83*y**4/24 + y**3/3 + 6*y**2. Suppose x = -0 - 3. Is p(x) a composite number?
False
Is 4/(-14) - (-3411)/7 a composite number?
False
Let u be 3/(1*2/14). Is 4/4*u*1 composite?
True
Let v = -6 - -10. Suppose 0 = c + h - 128, -h = v*c - 875 + 366. Is c a prime number?
True
Let k = 1 - -1. Suppose -4*p = -3*r - p + 24, 5*r + 4*p = 4. Suppose -k*o = -r*o + 110. Is o a composite number?
True
Let w(i) = -i**2 + 19*i - 48. Is w(14) prime?
False
Let g(h) = -1072*h**3 + h**2 + 3*h + 2. Let i be g(3). Is (-1)/(-3) + i/(-42) prime?
False
Let r be 4 + -2 + 2 + 135. Let h = r + -50. Is h prime?
True
Let n(a) = a**3 + 6*a**2 + 2*a + 8. Let u be n(-6). Let f be (-86)/u*(-2 + 4). Let c = -8 + f. Is c a prime number?
False
Let d = -20 - -48. Suppose -z + d = z. Is z composite?
True
Suppose 5*n + 536 = 2871. Is n composite?
False
Suppose u + w - 8 = 0, -u + 4*w = -4*u + 24. Let y(c) = 2*c**2 + 2*c + 5. Is y(u) a composite number?
False
Suppose 0 = -3*z - p + 11 + 12, -3*p - 3 = 0. Suppose -2*d + 4*m - 8 = 0, -2*d + z + 2 = 2*m. Suppose 0 = d*u + 2*u - 356. Is u composite?
False
Let b(y) = y**3 + 15*y**2 + y + 10. Let i be b(-8). Let x be (1 + 40)*1*-7. Let w = x + i. Is w composite?
False
Let t be (-9)/(-12) + (-51)/(-12). Suppose t*x - 44 = -4*k, 0*k + x = 3*k - 14. Is k composite?
True
Suppose 4*r + 27 = -29. Let j = r + 21. Is j prime?
True
Suppose 3*m + 5 = 17. Let s = 57 - m. Is s a composite number?
False
Is (-1208)/(-3 + 2) + -6 + 9 a composite number?
True
Is -1 + -84*8/(-12) composite?
True
Let y(u) = -u - 3. Let p be y(-5). Suppose -9 = -p*k + 1. Is 0 - (-7*k - 2) a composite number?
False
Let t(l) be the first derivative of 5*l**2/2 - 5*l - 4. Is t(6) a composite number?
True
Is 5*((-1579)/(-5) +