 + 1459. Suppose -3776 = -3*z + i. Is z composite?
True
Let n be -1 + 5 + -1 - 1. Suppose k = -j - n, -5 - 3 = 3*j + 4*k. Suppose -5*a + 3*d = -1624, -a = -j*d - 2*d - 329. Is a prime?
False
Let t(p) = -2*p**3 - 32*p**2 - 10*p + 99. Is t(-25) composite?
True
Let j = -13 - -14. Let x(w) = 3*w**2 - w. Let o be x(j). Is (-393)/(-2)*o + -2 a composite number?
True
Let o be (-10 + 10)/((-2)/2). Let g be 41/(-2)*(o + -12). Suppose -g - 2159 = -5*b. Is b a prime number?
False
Let r = -3693 - -2331. Let a be r/(-4)*(-8)/12. Is a/(-9) + 12/(-54) composite?
True
Let u(c) = 36*c**2 - 93*c - 29. Is u(21) a prime number?
False
Let w = 14311 + -8014. Is w prime?
False
Suppose -4*y = 3*u, -2*y = -3*y + 2*u. Let h(d) = d**3 - 2*d**2 + 469. Is h(y) a composite number?
True
Let n(v) = 131*v. Let l be n(2). Let c(b) = b**2 + 5*b + 4. Let p be c(-1). Suppose 3*a - a - l = p. Is a prime?
True
Let a be ((-9417)/6)/(7/(-42)). Let l be a/18 - 1/6. Suppose 6*u + l - 2281 = 0. Is u a composite number?
False
Let n(q) = 43*q + 6. Let h(j) = 2*j - 7. Let r be h(5). Suppose 5*z = -15, -r*z + 5*z + 61 = 5*s. Is n(s) composite?
False
Let r(t) = -37*t - 2. Let q be r(-6). Let p be -2 - -3 - q/(-2). Suppose -4*z = -z - p. Is z prime?
True
Let v(s) = -s + s - 2*s + 14 - 2*s + s**2. Is v(-11) a prime number?
True
Suppose 5*w + w = 48. Suppose -3*p = -4*s + 6, 0 = -5*p + p - 5*s - w. Is (-4884)/(-6)*p/(-4) a prime number?
False
Suppose -2*o + o + 4286 = -5*v, -2*o - 2*v + 8536 = 0. Is o a prime number?
True
Let f be 9/2*(-11 + 13). Suppose -f*j + 0*j = -531. Suppose -2*b + 2*p - 79 = -193, -b - p = -j. Is b a prime number?
False
Let b = -1842 + 3743. Is b prime?
True
Suppose 2*n - 483 = -3*z - 152, -97 = -z - 4*n. Is z prime?
True
Let a = 199 + -46. Suppose p - a - 350 = 0. Is p a prime number?
True
Suppose g + 5*g - 6 = 0. Let j(i) = 124*i + 3. Is j(g) a composite number?
False
Suppose -2345 + 12398 = 3*h + 3*u, 0 = -5*h - 3*u + 16747. Is h a prime number?
True
Suppose -9*x + 5*x = -4. Let j be ((-2)/4)/(x/(-6)). Suppose -j*a = -141 - 456. Is a a prime number?
True
Let z(q) = 2*q**2 + 2*q - 4. Let v be z(-3). Let p = v + 5. Is p a composite number?
False
Let l(c) be the third derivative of 133*c**4/12 + c**3/2 - c**2. Is l(1) a prime number?
True
Suppose 100*m = 35*m + 820495. Is m a composite number?
True
Suppose 29216 = m - 17435. Is m a composite number?
True
Suppose -5*z + z - 35 = -3*q, 0 = -5*q - 5*z. Suppose 3*d + 766 = q*d. Is d a prime number?
True
Let h(y) = 37*y**3 + y**2 - y + 5. Let p be h(2). Let x be 0 - -1 - (-2 - -3). Suppose -d + t + 298 = 0, 2*t + p = -x*d + d. Is d composite?
False
Suppose -5*i + 0*i = -30. Suppose -319 = -i*c + 5*c. Is c a prime number?
False
Let f be (5 + 1)*(8/(-6))/4. Is (f/3 + 1)*419*3 a composite number?
False
Suppose 3*g - 3*m = 45, 2*g + 5*m = -g + 85. Suppose -2*p + g = 3*p. Suppose 4*z - 2*b + b = 296, 0 = -p*b. Is z composite?
True
Let l(k) = -k**3 + 22*k**2 + 9*k + 49. Is l(12) a composite number?
False
Suppose 3*q - 2*h + h = 40, -4*h = -3*q + 25. Suppose 2*w = -w - q. Is 7632/40 - 1/w prime?
True
Suppose 0 = -4*l + 6*l. Suppose 0*d - d + 902 = l. Suppose 0 = -4*k + d - 10. Is k prime?
True
Suppose 0 = -7*u + 6*u - 5. Let f(j) = j**3 + 6*j**2 + 3*j - 9. Let y be f(u). Is (-4)/y + 7381/11 a prime number?
False
Let u(t) = t**2 - 4*t - 7. Let x be u(6). Suppose 1 = -g, -5 - 10 = -2*f + 5*g. Suppose -4*s - x*l + 178 = 49, 0 = -s - f*l + 36. Is s composite?
False
Let f(v) be the third derivative of 145*v**4/24 + v**3/6 - 14*v**2. Is f(4) a composite number?
True
Suppose 4*g - 1260 = -2*m + 3*m, -m + 4 = 0. Suppose -788 = -5*v - 3*b, -v + 2*b - g = -3*v. Is v composite?
False
Let n(y) = -y + 453. Let b be n(0). Let a(h) = -2*h**2 + 3*h + 77. Let q be a(-5). Is b - (-3)/(q/(-8)) prime?
False
Let o be ((-29)/(-3) + -1)*-21. Let y = 161 - 163. Is o/(-2) + (y - -6) composite?
True
Is (-194948)/(-6) - -2*(-11)/66 composite?
False
Suppose -5*g + 3*j + 131 = 0, 0*g + j + 127 = 5*g. Suppose -g = -5*q, 1117 = 2*o + 4*q - 165. Is o a composite number?
False
Let i(x) = x - 1. Let n(m) = 837*m + 23. Let v(y) = -4*i(y) + n(y). Is v(4) a composite number?
False
Let y(r) = -r**3 + 0*r - 2*r**3 + 3 - 3*r - 3*r**2 - 5*r**2. Let k be y(-5). Let b = -60 + k. Is b prime?
False
Suppose -4*p + 4*q + 440 = 0, -3*q = 22*p - 20*p - 225. Is p prime?
False
Let f(l) = 14*l + 8. Let h be f(6). Let i be 4 - (7176/(-30) - 2/(-10)). Suppose -k + h = -i. Is k prime?
False
Suppose -7*v = -10*v + 3*i + 12633, -i = -4*v + 16844. Is v composite?
False
Let w = -20365 - -30776. Is w a prime number?
False
Let q = -15 + 15. Suppose -g + 48 + 49 = q. Is g composite?
False
Let t(a) = 234*a - 19. Is t(7) composite?
False
Suppose p = 524 - 15. Suppose 0 = -5*a + 2*q + 454 + p, -2*a + q = -386. Is a a prime number?
True
Suppose -3*d - j + 200 = -61, 0 = d - 5*j - 71. Suppose 4*k = 3*v + 68, -5*k + 8*k - 46 = 2*v. Let b = d - v. Is b a prime number?
False
Suppose -5*l = -h + 653, -h - h = l + 124. Let v = l + 182. Let a = 163 + v. Is a prime?
False
Let k(j) = 5*j**2 + j + 1. Let d(s) = -3*s**2 - 1. Let r(h) = -7*d(h) - 4*k(h). Let q be r(5). Let l(z) = -z**2 + 9*z + 11. Is l(q) a prime number?
True
Let p(l) = -13*l - 2. Let m be p(1). Is (1534 + 1)*(-9)/m a prime number?
False
Suppose -28*m + 768 = f - 31*m, -5*f + 3745 = 4*m. Is f a prime number?
False
Let n be (-136)/(-36) + (-4)/(-18). Suppose 0*p = -n*p. Suppose 4*s + p*s - 2*z - 528 = 0, -4*z + 540 = 4*s. Is s prime?
False
Let z = -2820 + 1579. Let l = -860 - z. Is l a composite number?
True
Let z(u) = -74*u - 11. Is z(-8) prime?
False
Suppose -5*n - 2 = -w - 18, -5*n + 10 = 5*w. Suppose 2*g = 3*g - n. Suppose -127 = -5*r + 4*b, -g*b - 2*b = r - 8. Is r prime?
True
Let u(d) = -d + 3. Let j be u(-3). Suppose 4*f - j = 10. Is (1 + 1056 + f)/1 a composite number?
False
Suppose 9 + 15 = -4*f. Let t = f - -9. Suppose t*p = -4*n + 36, -5*n + 7*p = 3*p - 14. Is n a prime number?
False
Let d(a) = a**3 - 7*a**2 - 9*a + 12. Let m be d(8). Let j(k) = -6 + 1 + 49*k**2 - 9*k**2. Is j(m) a prime number?
False
Suppose 9*n = 22571 + 3880. Is n composite?
False
Is (-10299)/(-2)*(-4 - (-70)/15) composite?
False
Let n be (6/8)/(-1) - (-156)/16. Let t(f) = -f - 7. Let v be t(-6). Let r = n - v. Is r composite?
True
Suppose b - 66184 = -4*a, b = -a - 2*b + 16535. Is a composite?
False
Suppose -40 = -8*u + 24. Suppose 0 = u*q - q - 8057. Is q prime?
True
Suppose y = 2*k + 10, -3*k - 19 = -5*y + 3. Suppose -2*i + 4*m + 248 = 0, y*i = 4*i - 2*m - 246. Is i composite?
True
Suppose -p - 14 = -152. Let k(f) = -f**3 - 10*f**2 - 25*f - 8. Let r be k(-7). Let h = r + p. Is h a prime number?
False
Let y(k) be the second derivative of 68*k**3/3 - 13*k**2/2 - 2*k. Is y(3) a composite number?
True
Suppose 540 + 1153 = h. Is h prime?
True
Suppose 0 = 5*v + 2*z - 3*z + 3, 3*v = -5*z - 13. Is (192 - (3 - 3)) + (-2 - v) a composite number?
False
Let n = -23 - -21. Let q be (-1 - -2)*(-8)/n. Is 127 + 3 + q + -1 a prime number?
False
Is 4/46 + (-11693625)/(-1725) a prime number?
True
Let k(z) be the second derivative of 17*z**3/6 - 3*z**2/2 - 14*z. Is k(2) a prime number?
True
Suppose -u = 3*v - 5, -u - 3 = v - 4. Suppose -2*a - 2109 = -v*w - 3*a, 0 = -4*w + 5*a + 4225. Is w prime?
False
Let v(b) = b**3 - 7*b**2 + 4*b + 12. Let k be v(6). Suppose -2*y = 3*p, 2*y + p = -k*y. Suppose -r - q + 296 = y, 3*r - r = -3*q + 589. Is r prime?
False
Suppose -2722 = 124*d - 126*d. Is d a prime number?
True
Suppose -9 = -3*p + 2*p. Let c be (p - 7) + 1 + -1. Is c/(-4)*2776/(-4) composite?
False
Suppose -4*a + 16 = 2*d, 0 = -d - 3*d + 16. Suppose a*v + v = 1839. Is v composite?
False
Let m(o) = -497*o**3 + 2*o**2 + o. Suppose -q = -4*q - 3. Let y be m(q). Suppose 0 = 3*t - y - 135. Is t prime?
True
Suppose -4*b - 2*y = -75152, -2*b - 4*y + 1162 = -36420. Is b composite?
False
Suppose 2*g + 1065 = 7*g. Let f = 372 - g. Let x = f - 76. Is x composite?
False
Let b(p) = -2 - 6 + 326*p - 3. Is b(3) a composite number?
False
Let w(k) = -8*k**3 + 10*k**2 + 11*k - 2. Let a be w(-7). Suppose 38*u + a = 43*u. Is u prime?
True
Let v = 3 + -3. Suppose 0 = -v*h + 3*h - 3345. Suppose 9*p = 4*p + h. Is p a composite number?
False
Suppose -4*g - b = b + 6, -5*b + 3 = g. Is 1099/(-14)*1*g a 