 - 204. Is j a composite number?
True
Suppose -5*d + 3*d = -1268. Suppose 0*k = 2*k - d. Is (-2)/8 + k/4 composite?
False
Let o(r) be the third derivative of -r**6/120 + 7*r**5/60 + 7*r**4/24 - r**3 - r**2. Is o(5) composite?
False
Let d(s) be the second derivative of s**4/12 - 7*s**3/6 + 3*s**2/2 - 2*s. Let r be d(7). Is 1 - -1 - r*-8 a composite number?
True
Let q(f) = -2*f**3 - 3*f**2 - f. Let k(u) = -2*u**3 - 3*u**2 - u - 1. Let v(p) = -3*k(p) + 4*q(p). Is v(-4) prime?
False
Suppose -q - 14 = -3*a, -a + 4*q = q - 10. Suppose 31 = -3*o + a*o - h, 5*h = -3*o + 53. Is o a prime number?
False
Let k(l) = 2*l**2 - 2*l + 2. Suppose 3*j - 15 = -5*y + 9, 4*y = -5*j + 14. Is k(y) a composite number?
True
Suppose -v + 3170 = -5*s, -15763 = -v - 4*v - 4*s. Is v prime?
False
Let h(u) be the first derivative of -77*u**2/2 - 5*u + 8. Is h(-2) composite?
False
Suppose 0 = -i + 4*i - 306. Suppose -4*b + i = -134. Is b a composite number?
False
Let a = -366 + 617. Is a prime?
True
Let k = 588 - -179. Is k a composite number?
True
Let j(k) = 8*k + 7 - 17 + 4*k**2 + 3. Is j(-7) prime?
False
Let f = 87 + 338. Let z = -240 + f. Is z prime?
False
Let p be ((-6)/(-4) + -2)*-4. Suppose -p*w + 5*w = 195. Is w prime?
False
Suppose 6*y - 16 = -4. Suppose -y*c = -26 - 20. Is c composite?
False
Let z be (-1)/(-3) + (-5)/(-3). Is (-1738)/(-26) + z/13 prime?
True
Let r(h) = -h**3 - 6*h**2 + h - 4. Suppose -5*s - 23 = 7. Let p be r(s). Let y(k) = -k**3 - 9*k**2 + 7*k - 7. Is y(p) prime?
True
Let k(g) = -99*g + 209. Let b(j) = 7*j - 15. Let q(v) = -55*b(v) - 4*k(v). Let a(f) = 6*f - 6. Let m(y) = 5*a(y) - 3*q(y). Is m(-6) a prime number?
False
Suppose 5*x - 15 = -3*s + s, -3*x = 5*s - 28. Suppose -a + 5 = -s*a + 3*v, 2*v = -2. Is 87 + a*(3 - 4) composite?
False
Let l(p) = 3*p**2 + 4*p + 2. Suppose 5*b - 5*c = 2*b - 15, 4*c - 25 = 5*b. Let d be l(b). Suppose -d = -n - 2*v, -45 = -n - 7*v + 2*v. Is n a composite number?
True
Let t = 452 + -190. Is t composite?
True
Suppose 2*z - 364 = -2*z. Suppose u + 9 + z = s, -5*u = 0. Suppose 99 = 5*q + 2*m - s, 0 = 2*q + 4*m - 86. Is q a prime number?
False
Is -2 + 2 + 1255/5 composite?
False
Let y = -664 + 1131. Is y composite?
False
Suppose -t - 4*m = -109, -t + 3*t + m - 197 = 0. Is t prime?
True
Let q be 6/15 + (-2)/5. Suppose -p = -4*l - 85, -298 = -4*p - 5*l - q*l. Is p composite?
True
Let w = 272 + 941. Is w prime?
True
Suppose -5*h - 17 = 4*b - 4400, 5*b + 4*h = 5481. Is b a composite number?
False
Suppose -3*n + 9 = -m + 2*m, -3*m + 3 = -3*n. Suppose -5*v + 2098 + 727 = u, 1130 = 2*v - m*u. Is v prime?
False
Let p(w) = -w. Let y be p(0). Suppose 5*s - 110 = -y. Is s a prime number?
False
Is (-191*(1 + -2))/1 composite?
False
Let s(l) = -34*l - 45. Is s(-23) composite?
True
Suppose 265 = h - 1144. Is h a composite number?
False
Let q = 1322 + -811. Is q a prime number?
False
Let s(x) = -x**3 + 3*x**2 + 6*x - 4. Let y(u) = u**2 + 2*u - 4. Let g be y(-4). Let o be s(g). Suppose o*t - t = 69. Is t composite?
False
Let r = 7 + -3. Suppose 0 = r*y + 3*v - 31, -16 + 3 = -2*y - v. Is y a prime number?
False
Let u(m) = 4*m - 15. Let b be u(10). Let k(y) = -61*y**3 - y**2. Let v be k(-1). Let n = v - b. Is n composite?
True
Let n be -4 + -1 + 3/3. Let o = -1 - n. Suppose -5*a + o*v + 209 = -a, a + v = 54. Is a a prime number?
True
Suppose 0 = 3*o - 593 - 745. Is o a prime number?
False
Let j = 7997 + -4794. Is j composite?
False
Let w(t) = 17*t**3 + 5*t - 5. Is w(4) composite?
False
Let x = 7 + -5. Suppose 1 = y - x*y. Is y + 3 + 363/3 prime?
False
Let g be 1 + (-5)/(5/(-2)). Let n be (g + 1)/((-8)/44). Let r = n - -43. Is r prime?
False
Let u = 3376 + -2359. Let r = -652 + u. Is r a composite number?
True
Let l be 0 + -2 + 1 + 1. Let x(s) = -13*s**3 - s - 1. Let y be x(-1). Suppose l*b + g = 3*b - 65, b + 4*g = y. Is b composite?
True
Suppose -b = -2*b + 143. Is b a composite number?
True
Let a(n) = 5*n + 6. Is a(8) a composite number?
True
Let d(q) = -7*q + 2. Let h = -9 - -3. Let l be d(h). Suppose 2*p = 6*p - l. Is p prime?
True
Let w(j) = 4*j + 9. Let p(v) = v + 2. Let r(x) = 22*p(x) - 6*w(x). Let n(g) = 2*g - 8. Let t be n(0). Is r(t) a prime number?
False
Suppose -2*u + 268 = 2*u. Is u + (-2 + 2)/2 a prime number?
True
Is (-4)/12 + 1722/9 composite?
False
Suppose 2*j + 108 = -3*p, 6*p - 2*p + 144 = -5*j. Let z = 103 + p. Is z composite?
False
Let v be (-2 - -5)/((-6)/(-4)). Let r be (-3)/(v + 1)*77. Let l = r + 378. Is l composite?
True
Suppose 5*y - 15 = 2*y. Suppose y*k - 2*k = 189. Suppose 0*w + k = 3*w. Is w prime?
False
Let r(l) = 10*l - 1. Is r(2) prime?
True
Let x(d) = 6*d - 5. Let f be x(4). Let k = -9 + f. Let o = k - 3. Is o a composite number?
False
Suppose 8*k - 5391 = 5*k - 3*i, 5*i = k - 1809. Is k a prime number?
False
Let q(v) = 21*v**2 + 9*v - 11. Is q(-8) prime?
False
Let r = -85 + 164. Is r a composite number?
False
Let a(j) = -2*j**3 - 2*j**2 + 13*j - 13. Is a(-6) a composite number?
False
Let c be (-4)/6 + (-2352)/9. Suppose 193 + 37 = -2*z + 4*n, -4*z + 3*n = 480. Let l = z - c. Is l a prime number?
True
Suppose 4*x = -462 + 1886. Suppose 29 = 5*b - x. Is b a prime number?
False
Suppose -4*p = 2*b - 272, -2*b + 4*b - 4 = 0. Is p a prime number?
True
Suppose 0*t + t + 26 = 0. Let a = -17 - t. Is a composite?
True
Let x be 35 + (-1 - (0 + -1)). Let m = x + -1. Suppose -49 = -t + m. Is t a prime number?
True
Let k be 0 + ((-16)/(-2))/(-4). Is (k - -156)*1/2 prime?
False
Let n = 18 - 13. Suppose -n*y - r + 635 = 4*r, -r + 635 = 5*y. Is y a composite number?
False
Let b be (-10)/35 + 16/7. Suppose -4*d + 459 = -x, 49 = d + b*x - 68. Suppose z + 4*k = d, 2*z - k - 180 = k. Is z prime?
False
Let s(a) be the third derivative of 85*a**4/24 - 19*a**3/6 + 8*a**2. Is s(10) a composite number?
True
Let s = 7 - 12. Let m(q) = 2*q**2 - 7*q - 6. Is m(s) a prime number?
True
Let c be -1 - 0 - 7*-23. Suppose -v = 3*v + 5*s - c, -4*s - 54 = -2*v. Suppose 0*r = -r + v. Is r composite?
True
Suppose -r = -4*r + 4*k, 4*r + 3*k = 25. Suppose 2 = 3*g - 4, -3632 = -r*x - 2*g. Is x composite?
False
Let f(u) = -u**3 + 9*u**2 + 6*u + 3. Suppose -5*g = -4*b - 31, -3*b + 4 = b. Is f(g) prime?
False
Suppose 1289 = -4*p + 229. Let i be p/25 - 4/10. Let l = i - -21. Is l composite?
True
Let v(c) = -c - 7. Let a(x) = 7. Let f(b) = -3*a(b) - 4*v(b). Is f(11) a prime number?
False
Let c(h) = 20*h - 3. Let d(m) = -m**2 - 7*m - 4. Let z be d(-6). Is c(z) prime?
True
Let f be 12*14/(-4) - 2. Let r = 97 + f. Is r a prime number?
True
Let s be (-30)/20*134/3. Let c = 98 + s. Is c a prime number?
True
Let b(d) = 2 - 6 + 4 + 1 + d + 5*d**2. Let l = 1 - -1. Is b(l) a composite number?
False
Let w(d) = -127*d - 121. Is w(-26) composite?
False
Suppose -2*p + 4*p - 92 = 0. Let m = p - -5. Is m a prime number?
False
Let q = -12 + 15. Suppose 4*a - 4 = 0, -q*a - 57 = -3*c + 54. Is c a composite number?
True
Let z(k) = -k**2 - k**3 - 4*k + 4*k. Let i be z(1). Let o(a) = 45*a**2 - 3*a - 1. Is o(i) prime?
False
Let s = 0 + 2. Let v = 385 - -540. Suppose v = s*r + 3*r. Is r composite?
True
Let f(p) = -10 + 2*p + p**3 + p - 2*p**2 - 8*p**2 - p**2. Is f(11) composite?
False
Let c = 5 + -2. Suppose -c*t - 108 + 813 = 0. Is t prime?
False
Suppose -5*i + 5*d = -7 - 28, -3*i = -2*d - 17. Suppose 4*h = -q + 91, 106 = q - 2*h + i*h. Is q a prime number?
False
Let v(d) = 4*d - 2. Let q be v(-3). Let i = 26 + -50. Let a = q - i. Is a prime?
False
Let r(l) = 13*l**2 - 5*l - 2. Let a be r(4). Suppose -2*n - 377 = -3*m, 3*n = -m - n + 135. Let q = a - m. Is q prime?
True
Let v = 478 + -267. Is v composite?
False
Let w(l) = 584*l + 5. Is w(3) prime?
False
Let h be 16*1*56/7. Suppose -h = -4*t - 5*u, -3*t - 4*u = -0*u - 95. Is t a prime number?
True
Let c = -3 + 1. Let r be (12/(-8))/((-1)/c). Is -1*r/((-3)/(-10)) a prime number?
False
Let m be 4*(3 + -2)*1. Suppose 3*v - 2*b + 124 = -b, 4*v = -m*b - 176. Let l = -21 - v. Is l a prime number?
False
Suppose -4*t + b - 75 = -3*t, -5*b - 93 = t. Let j = -55 - t. Is j prime?
True
Suppose 4*k - 160 = 4*q, -2*q - 2*q = -2*k + 86. Is k prime?
True
Let s be 2/(-7) + (-232)/(-28). Let g = 12 - s. Suppose 23 = p + g*i, 5*p - 2*p = -5*i + 55. Is p prime?
False
Let m be -7 + -10 - (0 - 1). Is (-1)/(-4) - 924/m a composite number?
Tr