 -4*d - s*j = 203, 5*j = -3*d - 0*j - 151. Let l = d - -87. Is l a prime number?
False
Let v(m) = 26*m**2 + 2*m - 7. Is v(-6) a composite number?
True
Let a(l) = -2 - 1 - 19*l + 2. Let q be (-10 + 4)*(-1)/(-3). Is a(q) a composite number?
False
Suppose 5*o = -0*q + q + 546, -4*o = -q - 437. Is o a composite number?
False
Suppose 3*q - 2065 = 914. Is q a prime number?
False
Suppose 0 = 3*q + q - 4996. Is q prime?
True
Let f(a) = 219*a**3 - a**2 + 1. Suppose 0 = 5*q - 3*o + 1, 4*o - 2*o = -4*q + 8. Is f(q) prime?
False
Let r(a) = 17*a - 6. Let t(k) = 17*k - 5. Let q(v) = 3*r(v) - 2*t(v). Is q(5) composite?
True
Let m = 227 + -160. Is m a prime number?
True
Suppose 5*s = -2*c + 19, 3*s - c = -s + 10. Suppose s*r = -2*r - 5. Let k(j) = -38*j**3 - 2*j**2 + 1. Is k(r) a prime number?
True
Let n be 238 - 1/(32/(-12) - -3). Let r(l) = -121*l**3 - l. Let t be r(1). Let v = n + t. Is v prime?
True
Let b = 2 + 0. Suppose 3*y - v = 61, -y - b*v - 42 = -3*y. Is (-5)/y - (-106)/8 a composite number?
False
Is 2/(1/(10745/10)) composite?
True
Let i(u) = 19*u**2 - 12*u - 8. Is i(7) composite?
False
Let m = 2292 - 1293. Let k = -632 + m. Is k a composite number?
False
Let z(p) = p**3 - p**2 + p + 4. Let y be z(0). Let d(u) = 2*u**2 + 6*u - 3. Is d(y) prime?
True
Is -2*927/(-6)*(-7)/(-3) composite?
True
Let n = -18 - -16. Let h(i) = -36*i**3 + 2*i**2 + 2*i + 3. Is h(n) a prime number?
False
Let y = 180 + 191. Is y a prime number?
False
Suppose -3*l + 65 = -55. Suppose -2*v - 3*v = l. Is (-1*2)/(v/140) a composite number?
True
Let n(c) = 32*c**2 + 3*c + 2. Let a(j) = -95*j**2 - 8*j - 5. Let o(t) = -3*a(t) - 8*n(t). Is o(2) a prime number?
False
Suppose 0 = 2*k - 3*d + 10 - 0, 2 = d. Let h be 0 + (2 + 11 - k). Let a = h + 38. Is a prime?
True
Suppose o - 6 = 4*k + 44, 0 = o - 5*k - 55. Let x = o - -17. Is x prime?
True
Let u(b) = 15*b - 2. Is u(11) a prime number?
True
Is (-12)/(-8)*(-4306)/(-3) a prime number?
True
Let z = -88 - -147. Is z composite?
False
Suppose -f = i - 0*f - 85, 255 = 3*i - f. Is i prime?
False
Let r(z) = -z**2 - 7*z - 4. Let h be r(-5). Suppose 3*j = b + 5, -b - b - h = -2*j. Is 1 + (-9)/(-3 - b) a composite number?
True
Let d = 570 + -331. Is d composite?
False
Let o(z) = 313*z**3 - 2*z**2 + z - 1. Is o(1) composite?
False
Suppose 2*f - 148 = 142. Is f a composite number?
True
Let p be (6 + (-1 - -1))*-2. Let g = 49 + p. Is g a prime number?
True
Let s(t) be the second derivative of -t**5/20 + t**4/2 + t**3/6 + 4*t**2 + t. Let w(f) = -f**3 - 5*f**2 - 5*f + 2. Let n be w(-4). Is s(n) composite?
True
Suppose 3*q + 4*r - 14 = 0, -q + 4*r = 13 + 9. Let x be 19*(-2 + 9 + q). Suppose -x = l - 258. Is l a prime number?
True
Suppose 4*r = 5*r - 3. Suppose 4*t - r*k - 349 = 0, 2*k + 171 + 5 = 2*t. Is t composite?
True
Let z(j) = 6*j**2 - 4*j - 9. Is z(-4) a composite number?
False
Is 213 - (-2 + (-4 - -6)) prime?
False
Suppose 0 = 3*v - 0*v + 18. Is -2 + 74/v*-3 a composite number?
True
Suppose 212 = -2*f + 3*f. Let j = -117 + f. Is j a composite number?
True
Let c(j) = -234*j - 1. Let l(p) = -2*p - 17. Let t be l(-8). Is c(t) composite?
False
Let w(m) = 18*m**2 + 6*m - 6. Let r be w(4). Suppose 3*p - 143 = 2*p - 3*q, 2*p = 4*q + r. Is p composite?
False
Let h(x) = -x**3 + 5*x**2 + 4*x - 5. Let g be h(5). Let a be (-1)/((g/(-27))/(-5)). Let n(p) = 3*p**2 - p + 5. Is n(a) composite?
False
Suppose 24*c - 30*c + 1266 = 0. Is c a composite number?
False
Let x(n) = 3*n**2 + 16*n + 15. Is x(-10) composite?
True
Suppose 5*j - 822 = -2*w + 2475, -3*j + 15 = 0. Suppose 67 = -3*h + w. Is h a prime number?
True
Let f = -46 - -740. Is f a composite number?
True
Suppose f = 3*d - 4847, -3*d - f = -3135 - 1708. Suppose -d = -4*r - r. Is r composite?
True
Let t = 0 + 0. Suppose -y + t = -2. Is 2*(70/4 - y) a prime number?
True
Let t(s) = -s**3 + 2*s + 3. Let c be t(3). Let m be (-50)/c + 2/9. Let h(g) = g**3 + 2*g - 2. Is h(m) composite?
False
Let c be 3/((-255)/(-254) - 1). Let x = 72 + -74. Is (c/9)/(x/(-3)) a prime number?
True
Let d(l) = -l**3 - 2*l**2 + 2*l + 33. Is d(0) prime?
False
Let z(f) be the first derivative of 7*f**3/3 - f**2 - 4*f - 4. Is z(5) composite?
True
Let r(q) = 98*q + 1. Let h be ((-1)/2)/(5/(-20)). Let l be r(h). Suppose 5*d - l = 198. Is d a composite number?
False
Let c(d) = -3*d - 7. Let n be c(-3). Is 630/8 + n/8 prime?
True
Suppose l - 13 = c, -5*c + 37 - 6 = l. Let j = l + -2. Is j a prime number?
False
Let f = -32 - -20. Suppose 3*o - 4*h - 22 = 2*o, -5*o = 5*h - 135. Let s = o + f. Is s prime?
False
Suppose -4*y - 1 = 3. Is (33/6)/(y/(-6)) a composite number?
True
Suppose 0 = -a + g + 26, 3*g + 7 = a - 19. Suppose -2*w + a = c, -2 + 6 = 2*w. Is c composite?
True
Let f be (-25)/(-3) + (-6)/18. Is (2/3)/(f/276) composite?
False
Let f be ((-1)/3)/((-2)/18). Suppose -9 = f*l - 108. Is l a prime number?
False
Suppose -5*c + 150 = -35. Is c a prime number?
True
Let p = 307 - -2354. Is p a composite number?
True
Let n be 141/21 - (-4)/14. Suppose 5*g = -n + 17. Suppose 5*z - 51 = -4*v, -3*v = g*v + z - 90. Is v prime?
True
Suppose 0*v - 2*v + 2*q = -10, 2*q = -10. Suppose v*k - 136 = -2*t - 4*k, 3*t = 3*k + 195. Suppose n = -2*n + t. Is n a composite number?
True
Suppose 5*k - 24 = -4. Suppose 334 = 5*b - t, k*b - 270 = -t - t. Is b composite?
False
Let x be (-38)/(-14) + (-8)/(-28). Suppose 0 = x*i + 3*z - 3, -1 = -4*i - z + 6. Suppose -4*c + 230 = -i*c. Is c a composite number?
True
Let a = -2 + 2. Suppose 4*p - 74 + 18 = a. Is p composite?
True
Let q be (3/6)/(2/32). Suppose -5*v + a + 16 = 0, 8*a - 3*a = -4*v + 7. Suppose -v*x - q = -119. Is x prime?
True
Suppose -4*t + 5*t - 15 = 0. Is t a composite number?
True
Let q(f) = 3*f**2 - 31*f - 5. Is q(-22) composite?
False
Suppose 2*n + 6 = 5*j, -10 = -4*j - 3*n + 4. Let x = 0 + j. Suppose -h = x*c - 67, -251 = -3*h + 5*c - c. Is h a composite number?
True
Let i(g) = 18*g - 1. Let x = 14 + -11. Let v be i(x). Suppose n - 2*n = -v. Is n a composite number?
False
Let u = -48 + 28. Is 5/u + (-682)/(-8) a composite number?
True
Suppose 4*n - 110 = -n. Is 1*-2*(-3201)/n composite?
True
Let i(c) = c**3 + 9*c**2 + 4*c - 4. Let b be i(-6). Suppose 4*z + o = 63 + b, -3*z + 90 = -5*o. Is z composite?
True
Let n be (2 - -2)/(-3 - -5). Suppose -3*y + 1025 = n*y. Suppose -y = -v - 44. Is v a prime number?
False
Suppose y = -5*y + 210. Is y composite?
True
Let s = 2 - -3. Let f = 733 + -293. Suppose s*a = -5*x + f, -x + a - 428 = -6*x. Is x a composite number?
True
Is (-1)/2 - (-510)/4 composite?
False
Let f(w) = w**3 + 10*w**2 - 11*w + 2. Let m be f(-11). Suppose m*q - 345 = -85. Suppose 5*y - 505 = q. Is y composite?
False
Let u(n) = -16*n**2 - 10*n + 4. Let s(i) = 5*i**2 + 3*i - 1. Let j(y) = 7*s(y) + 2*u(y). Is j(2) a prime number?
False
Suppose -l = -w + 2*l + 899, -2*w = -2*l - 1782. Is w a prime number?
True
Let z be (12/(-36))/((-1)/12). Let j(w) = w**3 + w**2 - 7*w + 6. Is j(z) composite?
True
Let m(y) = y**2 - 6*y - 3. Let o be m(7). Let n(a) = -1 + o - 6 - 6*a. Is n(-4) a prime number?
False
Suppose -2*b = -6*b + 508. Is b prime?
True
Let j = 1585 - 696. Is j a prime number?
False
Let v(k) = 91*k - 5. Is v(6) a composite number?
False
Let q be 2/(-7) - (-407)/77. Suppose 0 = -8*s + 3*s + 3*p + 22, 2*s = -3*p + 13. Suppose 0 = -s*y - 2*u + 933, 5*y - q*u - 1353 = -448. Is y a composite number?
True
Suppose -u - b + 1 = 3, -u + 18 = -4*b. Suppose u*j - 2*d + 3*d = 8, 3*j = -d + 11. Is j composite?
False
Let j(c) = -28*c + 3. Let a = -12 + 9. Is j(a) a prime number?
False
Suppose -x = 5*q - 30, -2*x + 2*q = 3*x - 15. Suppose 165 = x*g - 2*g. Is g a composite number?
True
Suppose 3*x = -4 + 13. Let j be (-2 + x)*(2 - 2). Is -1 - j - (-133 + 1) a composite number?
False
Let w(h) be the second derivative of 3*h**4/2 + h**3/3 - 7*h**2/2 - 2*h. Let b be w(5). Is b/4 - (-3)/(-12) a prime number?
True
Let q be 1/(14/12)*-14. Let p be 26/q + 4/24. Is ((-3)/(-9))/(p/(-690)) prime?
False
Suppose 2*k = 4*v - 16, 6*v - 38 = 3*v - 5*k. Let x(o) = -3*o - 5. Let a be x(v). Is a/(0 - 1) + 0 a prime number?
True
Suppose -6 = -5*c + 4. Let l be (2/(-6))/(c/(-18)). Is 0 + 3 + (l - -15) a composite number?
True
Is ((-3812)/8 - -3)*2/(-1) composite?
False
Let c = -3 + 22. Let v = c - -112. Is v prime?
True
Is 