 + 103 + 267. Is l a composite number?
True
Let y(j) = -j**3 - 11*j**2 - 10*j + 5. Let n be y(-10). Suppose -u = -x + 2, -n*u = -0*u - x + 14. Is -1 - -1 - (-22 - u) prime?
True
Suppose 4*g - 4*j + 2 = 10, 0 = 5*g + 3*j - 18. Let p be 1/g + 224/12. Let u = 42 - p. Is u composite?
False
Let d be (-1)/((-11)/6 + 2). Let t(y) = -y**2 - 8*y - 5. Let f be t(d). Suppose -4*v - 102 = -f*v. Is v composite?
True
Suppose -2*j = -a, -3*a + 4*j - 2 = -2*a. Suppose -3*z + 109 = -a*z. Let x = z - 30. Is x prime?
True
Suppose -5*i = 178 - 928. Let q be (-1 - 0)*i/6. Is 2/5 - 465/q a prime number?
True
Suppose 0 = 5*h - 3*c - 2*c - 690, -c = 3*h - 434. Is h a prime number?
False
Let z(v) = -v**3 + 7*v**2 + 8*v - 4. Let k be z(8). Is (k/6)/((-2)/381) composite?
False
Let g(j) = -j**3 + 9*j**2 - 7*j + 9. Let l(k) = -8*k - 1. Let y be l(-1). Is g(y) prime?
False
Let d(j) = 107*j - 3. Let r = -5 - -7. Is d(r) a composite number?
False
Suppose 8 = 2*b + 4*r, -2 = -r - 0*r. Suppose -2*q + 7*q - 20 = b, -4*q = 5*u - 191. Is u prime?
False
Suppose 0 = -9*t + 26114 - 4181. Is t a composite number?
False
Let c(a) = -a**3 + a**2 + 2*a + 707. Is c(0) a composite number?
True
Suppose -5*u + h = -0*h - 180, -2*h = -4*u + 138. Suppose u = 5*o + 7. Suppose 2*v - o*v + 76 = 0. Is v prime?
True
Let z(w) = 381*w + 11. Is z(3) composite?
True
Let s(f) = f**2 + f + 1. Let t(g) = -7*g**2 - 5*g - 4. Let w(q) = -6*s(q) - t(q). Let i be w(3). Suppose -4*a - i*d + 9 = 1, d = 5*a - 16. Is a composite?
False
Suppose -4*n + 1270 = -990. Is n a prime number?
False
Let d(x) = 1 + 1 - 1 - 4 + 3*x**2. Let u be d(-3). Let a = 7 + u. Is a a composite number?
False
Let v(d) = d**3 - 8*d**2 + 2*d - 9. Suppose -140 + 44 = -4*t. Suppose -3*h + t = -0*h. Is v(h) prime?
True
Let i(r) = -8*r**3 - r**2 + 1. Let q be i(1). Let v = q + 11. Let o(t) = 10*t + 3. Is o(v) composite?
True
Let b(m) = -3*m - 4*m + 28*m. Is b(1) a prime number?
False
Suppose 2*q - 245 - 45 = 0. Is q prime?
False
Let c = -235 - -121. Let n = c - -233. Is n a prime number?
False
Suppose 2*x - x - 5*k - 33 = 0, -247 = -4*x - 3*k. Suppose -4*m = -3*m - x. Is m composite?
True
Let s(c) be the second derivative of c**5/6 - c**4/24 + c**3/3 - c. Let z(x) be the second derivative of s(x). Is z(2) a prime number?
False
Suppose 4*j + 3 = 7*j. Is 235/j + -2 + 2 prime?
False
Let y = -470 - -753. Let i = y - 172. Is i a composite number?
True
Let j(i) = -27*i**2 - 2. Let c(z) = z**2 + 7*z - 6. Let q be c(-8). Let s be j(q). Let f = -55 - s. Is f composite?
True
Suppose -3*r - 3*r + 60 = 0. Let x be 0 - (-3*151 - 2). Suppose r*k - 5*k - x = 0. Is k a composite number?
True
Is 4 + (-1 - 4) - -24 a composite number?
False
Let c(t) be the second derivative of -13*t**3/6 + 3*t**2/2 + t. Is c(-4) a composite number?
True
Is (6*(-4)/(-48))/(1/1142) a prime number?
True
Suppose 7*q - 2*q = 445. Is q composite?
False
Suppose 71 = 2*v + d, -4*v + 3*d = -2*v - 67. Is v a prime number?
False
Let n(g) = -3 + 4 + g - 5*g + 2*g**2 - g. Is n(4) a composite number?
False
Suppose -1 + 9 = 4*r. Suppose -r*i - 2*y + 15 - 1 = 0, -4*i + 16 = -2*y. Suppose -187 - 220 = -i*v - 4*l, -4*l + 91 = v. Is v prime?
True
Let p = -926 + 411. Let m = p + 766. Is m a composite number?
False
Suppose m - 2 = 5. Let g(w) = -2*w**2 + 4 + 0 - 3 - 6*w + m*w + w**3. Is g(4) a composite number?
False
Let f(t) = -t**2 + 4*t + 5. Let a be f(6). Let p = 14 + a. Is p a composite number?
False
Is (-1 + 4)/(4/284) composite?
True
Let v = 81 + -164. Let l = -43 - v. Suppose -4*n + l = -92. Is n a prime number?
False
Let i(l) = -2*l - 7. Let f be (-4)/14 + (-10)/(-35). Suppose -2*n + 34 = -5*a - 16, -2*n + 10 = f. Is i(a) prime?
False
Let q = -17 - -17. Suppose -2*t + 3*o + 254 = q, -4*t + 4*o + 508 = 6*o. Is t a composite number?
False
Let v = -8 - -4. Is (276/(-8))/(2/v) a composite number?
True
Let t = 15 - 20. Let z(p) = 26*p**2 + 3*p. Is z(t) a prime number?
False
Let z = 11 + 120. Suppose -z = 3*d - 1538. Is d a prime number?
False
Let d(v) be the third derivative of v**6/60 - v**4/12 + v**3/3 + v**2. Suppose 4 - 2 = f. Is d(f) prime?
False
Let p(h) = -h**2 + 6*h + 7. Let b be p(5). Suppose 3*r + 2*t = b, -3*r + 0*t + t = -12. Suppose -r*u + 2*w + 180 = 0, 1 + 38 = u - 2*w. Is u a prime number?
True
Let k = 73 + -47. Suppose -439 - k = -5*p. Is p a prime number?
False
Let s = -24 + 27. Is 99/s - (1 + 1) composite?
False
Let j = -20 + 29. Let r = -4 + j. Suppose -35 = -r*y - 0. Is y a composite number?
False
Suppose -2*m - 2349 = -5*q - 4*m, -4*q + m + 1874 = 0. Is q composite?
True
Let q(d) = -330*d + 1. Is q(-6) a prime number?
False
Let o(m) = 3*m**2 - 2*m + 6. Let z be o(8). Suppose -y + 91 = -3*x, y + z = 3*y - 3*x. Is y composite?
True
Let v(g) = 30*g - 14. Is v(6) prime?
False
Let a(s) = 12*s**3 + s**2 - 47*s**3 - 4*s + 4*s + s. Is a(-1) a prime number?
False
Suppose -2*z = -0*z + 6. Let g be (316/z)/(1/(-3)). Suppose 0*u - 4*u = -g. Is u prime?
True
Suppose 2*m - 14 - 20 = 0. Let z = m + -12. Let j = 36 - z. Is j composite?
False
Suppose -4*i - i = -10. Suppose -8 = i*z - 4*z. Suppose 0*l - 104 = -z*l. Is l a composite number?
True
Suppose -2*f = -4, 2*v + 4*f = -0*v. Let x be ((-3)/6)/(v/192). Let l = 47 - x. Is l prime?
True
Let i be 9/(-6)*8/(-6). Let j(l) = 53*l**2 - 1. Is j(i) prime?
True
Suppose -1462 = -4*x + 2014. Is x a prime number?
False
Let t(z) = z**2 - 3*z + 5. Let p(s) = s**3 - 2. Let u be p(2). Is t(u) a composite number?
False
Let f(y) = y**3 + 14*y**2 - 8*y - 17. Is f(-14) a prime number?
False
Suppose 3 = 3*u - 3*q, -2*u + 5*q + 4 - 5 = 0. Let f be (u/(-4))/(5/10). Is (f + -1)*14/(-4) a composite number?
False
Let p(a) = -a + 373. Suppose 4*z + w - 1 = 0, -2*z - 3*z - 1 = -w. Is p(z) prime?
True
Let j = 42 + 1180. Suppose -3*r + j = -r. Is r a composite number?
True
Let f(a) = -a + 14. Let c be f(11). Let s(l) = 18*l + 5. Is s(c) a prime number?
True
Let l be 2/(-5) + 164/10. Is -4*(-6)/l*2 prime?
True
Is ((-31)/(-4))/((-10)/(-80)) composite?
True
Let v(y) = -10*y + 1. Let x(c) = 10*c - 1. Let i(t) = 5*v(t) + 6*x(t). Is i(5) composite?
True
Suppose -5*x = -0*x - 2115. Let f = 288 - x. Let n = 226 + f. Is n prime?
False
Suppose 25 = 2*d - 7*d. Let u(n) = 2*n**2 + 8*n + 4. Is u(d) a composite number?
True
Let t be 7*7/((-147)/(-90)). Suppose -t = -v + 4*v. Is (-92)/v + 1/(-5) composite?
True
Let h(a) = -59*a + 9. Let c be h(-3). Let u(m) = -7*m**2 + 2*m - 2. Let l be u(3). Let t = l + c. Is t composite?
False
Suppose -360 = -2*o - 2*m, -3*m = 2*o - 4*o + 385. Suppose 3*s = -c - 129, 0 = -0*c - 3*c - 9. Let l = s + o. Is l a prime number?
False
Suppose -o + 17 = 5*s, -2*s = o - 6*s + 10. Suppose -o*a - 98 = -24. Let n = a - -156. Is n composite?
True
Let u be (-12)/(-3) + (-1 - 1). Is (-6 - -73)*u/2 a composite number?
False
Suppose 5*r + 18 = 2213. Is r composite?
False
Suppose -u = 3*u - 4, 0 = -5*w - 3*u + 5938. Is w a prime number?
True
Let s be ((-5)/(-10))/(2/(-84)). Let f = 16 - s. Is f prime?
True
Let a(t) = t - 1. Let i be a(8). Suppose -i = -5*o + 4*h - 3*h, 0 = -o + h + 3. Is (18 - o)/((-1)/(-3)) composite?
True
Let v = -172 - -203. Is v a composite number?
False
Suppose 6*k - 2*k - 10516 = 0. Is k prime?
False
Suppose -4*j - 1250 - 714 = -4*v, 2*v - 3*j - 981 = 0. Suppose -o + 5*o + v = 4*p, -617 = -5*p + 4*o. Suppose p = 7*t - 2*t. Is t prime?
False
Let t = -1083 - -576. Let r = -250 - t. Is r a composite number?
False
Let c = 630 + -241. Is c a prime number?
True
Let u be 1 + (-1 - (0 + 13)). Let v = 155 - u. Let d = v + -109. Is d a prime number?
True
Suppose -4*t + 1254 = 2*t. Is t a prime number?
False
Let i be -2*5*(-2)/4. Suppose -4*b + 405 = 3*v + b, i*b + 295 = 2*v. Suppose 3*s = 5*k - v, -k + 4*s + 11 = -0*k. Is k a prime number?
True
Let v = 35 - -16. Is v composite?
True
Suppose 7 = 5*z - 8. Suppose -4*k - 129 = -7*m + 2*m, z*k = -3*m - 117. Is 0 - -1 - 2 - k a prime number?
False
Let q(n) = -n**3 - 5*n**2 + 7*n - 1. Let k be q(-6). Let b(s) = -27*s**2 + s. Let f be b(1). Let j = k - f. Is j a composite number?
False
Suppose -43*v + 46*v = 2391. Is v prime?
True
Suppose 0 = -2*j - q + 7, -j - 3*q + 17 = 4*j. Is (62/(-3))/(j/(-6)) prime?
True
Suppose -k = -0*q + 4*q - 13, -3 = -2*q + 3*k. Is (-394)/(-3) + q/(-9) a composite number?
Fa