5 = -301. Is t prime?
False
Let o(j) = -14*j - 3. Let k(n) = -42*n - 9. Let b(c) = 2*k(c) - 7*o(c). Is b(4) prime?
True
Suppose 22*j = 25*j - 177. Is j a prime number?
True
Suppose 4 = d - 0. Suppose -4*c + 624 = u + d*u, 4*c - 3*u - 656 = 0. Is c a prime number?
False
Let d be 3/(-12)*1*-4. Is (d/(-1))/(3/(-777)) composite?
True
Let m = 5 + -3. Suppose 2*z - m*b + 6*b = 594, -2*z + 578 = -4*b. Is z composite?
False
Suppose 5*u = 3*l - 15, -4*l - 25 = -9*l + 5*u. Suppose l*m = 82 + 703. Suppose -3*j + m + 188 = 0. Is j a prime number?
False
Let t(j) = j**2 + 6*j - 3. Let h be t(-7). Suppose 2*z + 188 = h*n, -3*n + 4*z + 24 + 107 = 0. Is n prime?
False
Suppose -3*x = x - 3804. Is x a prime number?
False
Suppose 5*r - 8 - 17 = 0. Suppose -5*v - 539 - 327 = -3*t, r*v - 1390 = -5*t. Let k = t - 141. Is k composite?
True
Let x be ((-1)/2)/(2/(-24)). Let s = 9 - x. Suppose -107 = -s*t + 34. Is t a composite number?
False
Suppose 44*t - 970 = 39*t. Is t composite?
True
Let p(u) = -u**2 + 7*u + 10. Let d be p(13). Let h = d - -121. Is h composite?
False
Suppose -5*t = 5*u - 5355, -2*u - t = -3*u + 1067. Is u a prime number?
True
Let c(p) = -p**3 + 8*p**2. Let t be c(8). Suppose 562 = 5*l - r + 75, -l - r + 95 = t. Is l a prime number?
True
Suppose 3*n - 2 = -11. Is (270/n)/(-1) - -1 composite?
True
Suppose 4*s = -n + 871, 5*n = -0*n - 4*s + 4275. Is n prime?
False
Let f(u) = 3*u**3 - u**2 + 1. Let h(q) = -7*q**3 + 2*q**2 - 1. Let g(b) = 5*f(b) + 2*h(b). Suppose -4 = -3*j - j, 3*x = -2*j + 11. Is g(x) a composite number?
True
Let i be ((-40)/(-12))/5*2370. Suppose o = 2*b - 1053, 3*b + o = 6*b - i. Is b a composite number?
True
Suppose 2 = 2*f, -2*l + 5*f + 1000 = 3*l. Let w = l + -110. Is w a composite number?
True
Suppose -4*u - 1965 = -3*f, -u + 665 = f + u. Is f a composite number?
False
Let m(j) = j + 2. Suppose -3*c = 2*c + 55. Let k be m(c). Is (37/(-3))/(1/k) composite?
True
Is (-4)/(72/(-40802)) - (-12)/54 a prime number?
True
Let h = -4772 + 9633. Is h composite?
False
Let n = -7 + 8. Let j be (n - -1) + (-4)/(-2). Suppose 42 = -r + j*r. Is r a composite number?
True
Let m be (5/4)/(2/64). Suppose -112 = -4*z + m. Is z composite?
True
Let s(o) = -o. Let z(q) = 36*q - 1. Let n(b) = -2*s(b) - z(b). Let c be n(-2). Suppose c = 4*f - 79. Is f a composite number?
False
Let j = -405 + 712. Is j a composite number?
False
Suppose -c + 17 = 3*j, 0 = 3*j - j - 10. Suppose -c + 5 = u, 5*n - 516 = 3*u. Suppose 0 = 2*i - 133 - n. Is i a composite number?
True
Let f = 9 - 6. Let d be 2*(0 + 3/f). Suppose -2*h + 412 = -d*c, 0*h + h + c = 216. Is h composite?
False
Let f = -4 - 2. Let u be (-1 + -1)/((-2)/8). Let b = u + f. Is b a prime number?
True
Let m(i) = -2*i - 3. Let z be m(-3). Suppose w - 157 = 3*u + u, -u = -z*w + 449. Is w a prime number?
True
Let f be -23*(-5 - -1*2). Let h = f - -16. Is h a prime number?
False
Let d(l) = l**2 + 1285. Is d(0) composite?
True
Suppose 3*t = -2*h - 757, -693 = 2*h + 4*t + 65. Let p = h - -628. Is p prime?
True
Let w(h) = -h**2 + 10*h - 4. Let a be w(6). Is 927/5 - 8/a a prime number?
False
Let w be ((-15)/(-6) + -2)*4. Let m(a) = 12*a - a**2 - 3 + a**3 - 3 - 6*a**w - 5. Is m(9) a prime number?
False
Suppose 3*b + b + 8 = 0. Is b*97*2/(-4) a prime number?
True
Let a be 0/((2 - 0) + -3). Is 54 + (-1 - a/3) a composite number?
False
Suppose 5*y + 5 = -0. Is y + (-1 + 0)*-14 prime?
True
Let f = 183 + -86. Is f a composite number?
False
Suppose 273 = h - 280. Is h a prime number?
False
Suppose 3*r + 2*r = 0. Suppose r = -2*c - 2*x - 2*x + 130, -364 = -5*c + 3*x. Is c composite?
False
Suppose -3*b = -p + 25, 2*b = -4*p - 2*b + 132. Is p composite?
False
Suppose -9*d + 10*d - 907 = 0. Is d composite?
False
Suppose -25*s + 26*s = 479. Is s prime?
True
Suppose 4*u + 1096 = 8556. Is u a composite number?
True
Let a(d) = d - 2. Let o be a(-4). Let k = -4 - o. Is 65/k - (-12)/8 composite?
True
Let r = 0 - -12. Let c = r - 8. Let x(t) = 21*t + 5. Is x(c) a prime number?
True
Let g be 4/12*(2 + 37). Suppose -43 = -4*h + g. Is h a prime number?
False
Suppose -2*y = -n + 20, y + 0 = 2. Is (-16)/n + (-766)/(-6) a composite number?
False
Suppose 0 = 5*q - 3*q - 4. Suppose -10 = 2*l, -q*z - 2*l = -4*z + 52. Is z a prime number?
False
Let f = -7 + 17. Suppose -3*r + f = -r. Suppose j + r*b - 26 = 0, 0*j - 3*j + 158 = -b. Is j composite?
True
Suppose 5*z + 3*k - 17323 = z, -4*z + 17317 = 5*k. Is z prime?
False
Suppose -2*p - 4*z = p + 5420, -2*p - 2*z - 3616 = 0. Is (-2)/(-5) + p/(-20) a prime number?
False
Suppose 7*f + 2195 = 12*f. Is f prime?
True
Let u(r) = -2*r + 17. Let h be u(9). Let k = 9 - h. Is k a composite number?
True
Suppose 334 = 2*n - j, 0 = 5*n + j - 2*j - 835. Is n a prime number?
True
Suppose -x = -2*x + 2*r - 20, -3*x = 5*r + 38. Let v = x - -37. Is v a prime number?
False
Let h(u) = -u + 7. Let l be h(3). Is 222/3*2/l composite?
False
Suppose -1950 = -w - 4*w. Let y = w + -167. Suppose -5*p + 6*p - y = 0. Is p a prime number?
True
Let z be 3/2 - (-3)/6. Suppose -z*p = g + 4*g - 1542, 2*p - 1542 = g. Suppose p = y + 2*y. Is y prime?
True
Is 74*6 + (8 - 9) a prime number?
True
Let z be 1/(-2)*-2 + 1. Let l(r) = -3*r**2 + 3*r**2 + 10*r**z + 13 + 9*r + r**3. Is l(-9) a prime number?
True
Suppose -16 = -4*a - 4*y, 2*a - 5*y + 1 - 16 = 0. Let m be 5/a*6/(-2). Is (m + 3)*1 + 23 prime?
True
Let i = 721 + -390. Is i prime?
True
Let v = 12 - 7. Let o(w) = v*w**2 - 5 - 4*w**2 - 1 + w. Is o(-5) a prime number?
False
Let i(l) = -58*l**3 + l**2 + 5*l + 4. Let k(g) = -57*g**3 + g**2 + 4*g + 3. Let c(y) = 4*i(y) - 5*k(y). Let b be c(-1). Let r = b + 100. Is r prime?
True
Let n(a) = a + 1. Let m be n(4). Suppose -h = v + v + 1, 0 = -v - m. Suppose -4*p - 95 = -h*p. Is p a prime number?
True
Let g(y) = 152*y + 1. Let i be g(1). Suppose -57 = 2*p - i. Suppose -3*l + p + 63 = 0. Is l composite?
False
Let a = 3 + -3. Let s(i) = -29*i - 5. Let w be s(-4). Suppose a*y - 3*y + w = 0. Is y composite?
False
Is (2 - (-20)/(-6))*399/(-14) a prime number?
False
Let i = 6 - -49. Is i prime?
False
Let b = 439 - 33. Suppose 0*o = 2*o - b. Is o a composite number?
True
Let y(u) = -u**2 - 6*u + 9. Is y(-5) a composite number?
True
Is 3 + 129 + -4 - 1 a composite number?
False
Suppose n + 5 = -75. Let z = -41 - n. Is z a prime number?
False
Is 16/(-104)*-532 + 4/26 composite?
True
Let h be 476*(15/(-4))/5. Let s = h + 201. Let n = 251 + s. Is n composite?
True
Let b be ((-3)/(-2))/((-18)/(-24)). Suppose b*z + m - 33 = -4*m, 2*z = 3*m - 7. Suppose 0*q + 2*y = -2*q + 222, z*q - y = 454. Is q composite?
False
Let z be 1646/30 + (-6)/(-45). Suppose 0 = -g + z + 102. Is g composite?
False
Suppose 3*n = -50 + 146. Suppose -2*i + n = -2*r - 82, 2*i - r - 110 = 0. Is i a composite number?
False
Let y(c) = -6*c + 22. Let d be y(18). Let k = -333 + 466. Let a = k + d. Is a a prime number?
True
Let g(r) = 6*r - 4. Let n be g(2). Suppose -n*a + 3365 = -3*a. Is a prime?
True
Let d = 22 + -43. Let a be (4 + -1)*(-14)/d. Is (a + 201/(-15))*-5 a prime number?
False
Suppose 5*k = 6 - 16. Suppose 2*f + 2*u - 16 = -0*u, 5*u = 5*f. Is k/f*(-1 + -61) a prime number?
True
Suppose -3*x + 1297 = 319. Suppose 2*p - x = -0*p. Is p prime?
True
Let p(i) = 4*i**2 - 3*i + 1. Let c be p(-4). Let o = -123 - -251. Let n = o - c. Is n a prime number?
False
Let w = -3 - -4. Let f(d) = -2 - w - d**2 + 2*d + 2*d**2. Is f(4) a prime number?
False
Suppose 0 = -15*t + 7964 + 8521. Is t a prime number?
False
Let w(p) = 226*p + 3. Is w(4) composite?
False
Suppose 3*o + 1 = -2, -2*r - o + 9 = 0. Let w = -18 - -79. Suppose -r*x + 94 = -w. Is x a prime number?
True
Let b = 11 - 15. Let t = 58 - b. Is t a prime number?
False
Let j = 404 + -147. Is j prime?
True
Suppose 2*v + 2*o = 5*v - 7, -36 = -4*v - 4*o. Let y(w) be the second derivative of 4*w**3/3 - w**2/2 - 2*w. Is y(v) prime?
False
Let a(m) = m**2 + m - 21. Is a(18) a composite number?
True
Is -2 - (-6 + 2) - (0 - 1809) a composite number?
False
Let i(d) = 4*d**3 - d**2 + 3*d + 5. Is i(4) a composite number?
False
Let v = 68 - -2. Suppose -4*q = 3*x - 7*q, -q + 4 = x. Suppose -4*n + 2*l + v = 0, -12 = -x*l - 2*l. Is n composite?
False
Let q(y) = -417*y**3 + 3*y**2 + 2*y - 2. Let p(i) = 1250*i**3 - 8*i**2 - 6*i + 5. Let k(m) = -3*p(m)