2 + z. Let v be m(-9). Let s = -60 - v. Is s prime?
False
Let o(q) be the first derivative of -q**4/4 + 7*q**3/3 - q**2 - 3*q + 3. Let j be (25/(-10))/((-2)/4). Is o(j) a prime number?
True
Let d(h) = -127*h. Is d(-5) prime?
False
Suppose -4*v = 4*v - 5608. Is v prime?
True
Let g be 13 - 10 - (1 - -2). Suppose 2*n - 2*s - 490 = g, -s = -4*n - 2*s + 990. Is n composite?
True
Is (-4)/((-60)/(-9))*-295 a prime number?
False
Suppose 5*y - 6 = 4, 3*y + 2030 = -4*m. Let i = -250 - m. Is i a prime number?
False
Let c(d) = 25*d**2 + 3*d - 3. Suppose r - 3*r = -4. Is c(r) a prime number?
True
Let c(a) = a**2 - 1. Let k be c(-1). Suppose k*w = 5*w - 10. Is w composite?
False
Let l be (-4)/(-6) - 44/12. Is 891 + (-3 - 2 - l) prime?
False
Suppose 2 = -5*z + 1657. Is z composite?
False
Let l(c) = -12*c**2 - 7*c. Let i(s) = -36*s**2 - 20*s - 1. Let v(p) = -3*i(p) + 8*l(p). Suppose 4*f = 3*z - 5*z + 18, 2*f - 4 = 4*z. Is v(f) composite?
False
Let o(k) = -k**2 - 3*k + 6. Let m be o(-5). Let v = -2 - m. Suppose 5*n - 8 = v, -3*b + 13 = -4*n. Is b a prime number?
True
Let s(d) = d**2 + 7*d - 8. Let z = -24 + 16. Let u be s(z). Suppose u = -4*r + 1 + 91. Is r prime?
True
Suppose -3*k = 5*n + 200, 0 = -3*n + 2*n - 4*k - 57. Let i = -22 - n. Let q = -8 + i. Is q prime?
True
Let y(d) = 18*d - 6. Let q be y(9). Suppose 4*c + 2*s + q = 542, 0 = 3*c + 2*s - 291. Is c a prime number?
False
Let f be (-3)/12*-2*8. Suppose -f*g = 4*u - 0*u + 16, -4*u - 2*g - 6 = 0. Is 9/(-6)*(-22)/u a prime number?
False
Let k(t) = -10*t - 3. Let i be -2*(2 - (-51)/6). Let n be 161/i - 4/(-6). Is k(n) composite?
False
Suppose -j + 2*j + 4*z + 81 = 0, 80 = -j - 3*z. Let v = j + 162. Is v composite?
True
Suppose -3*w = 9, 5*w = 2*h - 0*w - 93. Let s = 70 - h. Is s a prime number?
True
Let w(m) = -m**2 + 21*m + 15. Is w(20) a composite number?
True
Let v(a) = a**2 + 2*a - 4. Is v(5) a prime number?
True
Let l be 13*5*(-68)/85. Suppose 556 = 6*s - 2*s. Let w = l + s. Is w a prime number?
False
Suppose -3*u + 271 + 248 = 3*o, 4*o + 5*u - 693 = 0. Let q = 301 - o. Is q composite?
True
Let p = 2303 - 760. Is p a composite number?
False
Suppose t - 3*x + 5 = -16, -2*t + 2*x - 30 = 0. Is t/30 + (-1994)/(-10) a composite number?
False
Suppose -2*q - 6 = q. Let g(k) = k**2 + k + 1. Let d(t) = t**3 + 5*t**2 + 3*t. Let a(x) = q*g(x) - d(x). Is a(-7) a composite number?
True
Let j(i) = 238*i**2 - 3*i + 1. Is j(-2) a composite number?
True
Suppose 5*a + 5*m + 4 - 19 = 0, -2*a - 29 = -5*m. Let b be ((-1 + 1)/2)/a. Let g = 127 + b. Is g composite?
False
Let s be (2 - 2)/(-1 - -2). Suppose s*b = 5*b - 95. Is b a prime number?
True
Let r(y) = y**3 - 4*y**2 + 2*y - 6. Let z be r(4). Let m be 2/z*(-8 - -5). Is (-101)/m + 16/(-24) a prime number?
False
Let w be 1*2 - (-3 + -334). Let j = w - 620. Let n = 430 + j. Is n a prime number?
True
Suppose 5*g = -b - 13, 0 = 5*b + 3*g - g - 4. Suppose 2*i + 66 = 2*m, -4*i = 5*m - b*i - 193. Is m a prime number?
True
Suppose 5*x - 74 = 101. Is x prime?
False
Suppose -4*z = -890 + 114. Is z prime?
False
Suppose 37 = 4*u - 183. Is u a prime number?
False
Suppose -2*c - c + 1169 = 5*y, -697 = -3*y - 4*c. Is y a prime number?
False
Suppose -2*z - v = v - 70, -3*z - 5*v = -101. Let r be (27/12)/(6/(-16)). Let c = r + z. Is c a composite number?
False
Suppose q + 186 = 2*y, 0*y = 3*y + 3*q - 261. Suppose -350 = -b - y. Is b composite?
True
Suppose 5*h - 9 = 2*h. Suppose -h*k - 5*g = -55, -3*g - 44 = -4*k + 68. Is k composite?
True
Let s(b) = -5*b - 1. Is s(-16) a composite number?
False
Let n(y) = -86*y**2 + 3*y + 3. Let p be n(3). Let q = p + 1277. Is q a prime number?
False
Let j = 588 + -279. Is j composite?
True
Suppose 7*w = 3*w, 0 = 2*i - 4*w - 22. Let l = i + -9. Is l prime?
True
Let g be 0/((1 + 2)/3). Suppose 4*f = -g*f + 12. Suppose 27 = f*h + 6. Is h a composite number?
False
Suppose -4*q + t = 5 - 22, -5*t = -2*q + 31. Suppose -384 = -4*r - 2*w, r - 2*w - q*w = 74. Is r composite?
True
Suppose -2 - 4 = 3*h, 2*r = 5*h + 186. Suppose 0 = -f - k + 38, k + 4*k = -2*f + r. Is f a composite number?
True
Let w be (4/10)/((-2)/(-10)). Suppose -3*o = w*o - 5*b - 20, 4*o + 3*b + 19 = 0. Let r(y) = 65*y**2 + y + 1. Is r(o) composite?
True
Suppose -4*q - q = -20. Suppose 5 + q = 3*l. Suppose -l*d + 4*p + 245 = 0, -4*p - p = 4*d - 306. Is d composite?
False
Let o(q) = -q**2 + q + 5. Let l = 15 + -10. Let c be o(l). Is 12/3*c/(-4) prime?
False
Suppose 44 - 433 = 3*k - b, b - 133 = k. Let t be (1/2)/((-1)/k). Suppose -2*u - 18 = -t. Is u a prime number?
True
Let s(w) = -9*w + 3. Let c be s(-8). Let f = -24 + c. Is f a prime number?
False
Let l(s) be the second derivative of 5*s**4/12 + 2*s**3/3 - 2*s**2 + 2*s. Let a = 3 - 0. Is l(a) a prime number?
True
Let s = -7 - -3. Let y = s + 2. Is -2 + (3 + y - -22) composite?
True
Let h(p) = 32*p - 1. Is h(4) prime?
True
Suppose -2*p - 10 = -i, 5*i + 4*p + 4 - 12 = 0. Suppose -41 = -3*y + g, -g + 68 = i*y + g. Suppose -5*b - 7*a + 2*a = -50, -y = 5*a. Is b a prime number?
True
Let i = 25 - -54. Is i a composite number?
False
Suppose 0 = 5*b - 20 - 0. Suppose -2*g + 5 = -2*u - 3, -3*g = b*u + 23. Let w = u + 26. Is w a composite number?
True
Suppose 49830 = 6*q - 3*q. Is q/70 - (-2)/(-7) prime?
False
Suppose 3*f - 8 - 4 = 0. Suppose 0 = f*z - b - 139 - 63, -3*b + 108 = 2*z. Is z composite?
True
Let j(x) = -x. Let u(m) = -146*m**3 - 3*m. Let q(o) = 4*j(o) - u(o). Is q(1) composite?
True
Let s(a) = -a**3 - a**2 + 3*a - 4. Let h be s(-3). Suppose h*f - 174 = 3*f. Is f a composite number?
True
Suppose 2*n + 4 = 3*n. Suppose -3*t + n*t - 10 = 0. Is t a composite number?
True
Let q(o) = 13*o**2 + 6*o + 36. Is q(-11) a prime number?
True
Let o(v) = 2*v. Let t be o(4). Let g(w) = 8*w - 11. Is g(t) a composite number?
False
Let i = -872 - -1371. Is i composite?
False
Let t(q) = 13*q - 4. Let n be t(4). Suppose -3*s + n = 3*c, -10 = 4*c - 2*c. Is s a composite number?
True
Let q = -17 + 18. Suppose q = -i, 4*b - 3*i = -b + 2448. Is b composite?
True
Suppose -222 - 76 = -2*s. Is s prime?
True
Let u = 2 - 3. Let f(s) = -119*s. Is f(u) a composite number?
True
Suppose -2*q - 43 = 3. Is 0 - (-2 + 2 + q) prime?
True
Suppose -2*v + 3*n + 126 = 0, 0*v + 2*n = 4*v - 236. Suppose 9 = 2*o - v. Is o a composite number?
True
Let u = 1090 - 617. Is u a composite number?
True
Suppose 5*j - 121 = 264. Let w(y) = -27*y + 3. Let x be w(2). Let b = x + j. Is b a composite number?
True
Suppose 0 = -5*m - 591 + 186. Let g = -46 - m. Is g a composite number?
True
Suppose 3*i - 2*i - 7 = 0. Is 158/i - 6/(-14) composite?
False
Let t be (-6)/4 + (-21)/(-6). Let q be (t - (3 + -6)) + -1. Suppose 298 + 152 = q*j + 5*z, 113 = j + z. Is j composite?
True
Let l = -51 + 185. Suppose -4*p = -228 + 552. Let s = l + p. Is s composite?
False
Suppose 4161 = 3*v - 423. Let r = v - 895. Is r composite?
True
Suppose 0 = 3*c + 3*l - 24, -5*l + 7*l - 10 = 0. Is 186 - 2/(c - 1) a prime number?
False
Suppose 2*r + 8 = 2. Let y be -2 + r*(-1)/3. Is (1 - y)/2*7 a composite number?
False
Is -3 - (3 + 647/(-1)) prime?
True
Suppose 0*l + 528 = 4*l - 2*t, 4*t + 401 = 3*l. Is l a prime number?
True
Let x = 4559 + -1638. Is x composite?
True
Is -4*1341/(-6) - (6 - 7) prime?
False
Let z(b) = b**3 - 6*b**2 + 2*b - 7. Let w be z(6). Suppose -2*n + 0*n + 4*a + 90 = 0, -w = -a. Is n composite?
True
Suppose 0 = u - 18 - 7. Suppose -5*a + 2*d + 4050 = -a, -5*d + u = 0. Suppose 0*n = 5*n - a. Is n a composite number?
True
Let m be 3 + 0 - (14 - 196). Is (-1 + m - -1) + 0 a prime number?
False
Suppose 2*d + 3*m + 7 = -0*d, 0 = -3*d - 5*m - 11. Let w = d - -4. Suppose -695 = -7*x + w*x. Is x composite?
False
Let l = 67 + 26. Is l composite?
True
Let u(n) = 12*n - 11. Let o(y) = -y + 1. Let p(v) = -5*o(v) - u(v). Is p(-8) a composite number?
True
Suppose 10 - 4 = 2*o + 4*t, 7 = o - 2*t. Let m = o + -4. Is (-32 - 5)/(-1*m) a prime number?
True
Let b(w) = -w**2 + w - 5. Let n(q) = 5*q - 1. Let z(r) = 4*r - 1. Let i(p) = 5*n(p) - 6*z(p). Let c(d) = -b(d) - 4*i(d). Is c(9) composite?
False
Suppose 11*u + 715 = 16*u. Is u a composite number?
True
Suppose -3*g - 3 = w + 2, 0 = 2*w + 4*g + 10. Is (-44 + 1)/(4 + w) composite?
False
Let p(x) = x + 149. Suppose 2*s = -s + 18. Let m be 0/(-3*4/s). Is p(m) a composi