= 507 - -287. Let t = 1123 - s. Is t prime?
False
Let x(y) = -y**2 + 8*y + 14. Let g be x(10). Let l(j) = j**2 + 4*j - 7. Let h be l(g). Suppose 2*t - 132 = 2*k, -3*k - 2*k + 320 = h*t. Is t a prime number?
False
Let p be 1 - 1 - 30/(-3). Is p/5 + 13*5 prime?
True
Is 6465*(24/18 + -1) a composite number?
True
Let x = 31 - 18. Is x composite?
False
Let d(i) = 55*i**2 - 16*i + 22. Is d(7) a prime number?
False
Suppose -5*j + 36 = 3*i, -j + 11 = 3*i - 1. Suppose 0 = -4*s - c + 8 + 4, 2*s - j = -3*c. Suppose s*h + 0 - 165 = 0. Is h prime?
False
Suppose -816 - 502 = -2*j. Is j prime?
True
Suppose -8 = -4*g, 2*g + 0 = -2*p + 10. Suppose -d + 2*i + 165 = 0, 0 = 4*d - p*d + i - 171. Is d prime?
False
Suppose 0 = 3*r + n - 348, 3*n - 7*n = 2*r - 242. Is r composite?
True
Is 6/27 + 5705/45 a prime number?
True
Let z(t) = 30*t**2 + t - 10. Is z(-3) composite?
False
Suppose -5*q = f - 3*f - 1589, 3*q - f = 954. Is q composite?
True
Suppose -18355 = -7*i + 2*i. Is i a composite number?
False
Let m be ((-6)/(-12))/((-2)/(-20)). Suppose -395 = -0*i - m*i. Is i composite?
False
Suppose -3*v - 2*b + 1441 = 0, -3*v + 1925 = v - b. Is v a composite number?
True
Let k be 0*2*4/(-16). Suppose -3*m + 6*m - 339 = k. Is m a prime number?
True
Let c = -54 + 91. Is c a composite number?
False
Suppose 3*t = -t + 5*f + 29425, 0 = -4*t - 5*f + 29415. Is t prime?
False
Let h(w) = -8*w. Let u be h(-1). Let z be (u/3)/(12/18). Suppose z*q = 6*q - 22. Is q composite?
False
Let f(i) be the third derivative of i**6/120 - i**5/60 + i**4/8 + 5*i**3/6 - i**2. Let l(j) = 4*j**2 + j - 1. Let w be l(1). Is f(w) a composite number?
True
Suppose 4*f - f - 9 = 0. Suppose -5*z - 32 = -l, -3*z - 58 - 74 = -f*l. Is l a composite number?
False
Suppose -2*f + 9 = -5*f. Let w(q) = -148*q + 3. Let n be w(f). Suppose 0 = -2*i - i + n. Is i a composite number?
False
Let j = -114 + 242. Suppose g + j = -3*t - 6, -2*g = -3*t - 128. Let m = -9 - t. Is m a prime number?
False
Let c(k) = 13*k + 7. Suppose 0 = -v + 3*v - 16. Is c(v) prime?
False
Let h(d) = -15*d**3 - 2*d**2 - 1. Suppose -5*m - 20 + 5 = -5*p, 0 = -2*m - 10. Is h(p) a prime number?
False
Let m = -181 - -1174. Is m prime?
False
Suppose -5*t - 2*a = -6*t + 2, -5*t - 2*a - 14 = 0. Let v be 5*(1 - t - 2). Suppose -v*f - 620 = 2*n - 7*n, 0 = 2*n + f - 233. Is n a composite number?
True
Suppose 3*z - 4*s = 3 - 4, 5*z - s = 21. Suppose -z*g - 4*w = -w - 1081, 5*g + 2*w - 1079 = 0. Let h = g + -146. Is h composite?
True
Let o = -777 - -1408. Is o prime?
True
Let z be 0 + 178 + 0 + 2. Let x be (z + 1)/(4 - 3). Suppose 2*b + 43 = x. Is b a prime number?
False
Let s(f) = f**3 + 5*f**2 + f - 4. Let l be s(-5). Let h be (-120)/l + 4/6. Suppose h + 8 = i. Is i a prime number?
False
Let z(r) = -r**3 + 4*r**2 - r - 1. Let s be z(2). Let h(f) = -f**2 + 6*f - 4. Let p be h(s). Is 30*(3 - 2) + p composite?
False
Let b(v) = -v**2 + 1. Let h(c) = 3*c. Let r(w) = -3*b(w) - h(w). Is r(-3) prime?
False
Let i(b) = -4*b**2 - 4*b - 2. Let h be i(-2). Let n = 20 + h. Is n*-1*5/(-2) a prime number?
False
Suppose 5*u - 2744 = 3*y, 5 = -4*y - 7. Is u a prime number?
True
Suppose 234 = 2*d - 4*l - 284, -4*d + l = -1050. Is d a composite number?
False
Is (-7 - -7) + 16 + 3 a prime number?
True
Suppose -15*r + 4768 + 797 = 0. Is r prime?
False
Suppose -g + 4*w = 2*w - 1, 17 = 4*g + 5*w. Suppose -g*t + 698 = 125. Is t a prime number?
True
Let i(p) = -19*p + 1. Suppose 3*t + 3*k + 8 = -19, -5*k = -5*t + 5. Is i(t) a composite number?
True
Let b be (-1 + -1)*(-3)/(-6). Let f(s) = -66*s - 1. Is f(b) composite?
True
Let b be (-200)/(((-30)/(-9))/5). Let m = b + 427. Is m prime?
True
Suppose -5*z + 15 = 4*p, 2*p + 4*z - 3*z = 3. Let v(k) = -k - 1. Let s(r) = r**3 - r**2 + 3*r + 39. Let n(c) = s(c) + 4*v(c). Is n(p) a prime number?
False
Suppose -5*y + 10 = -0*y. Suppose 2*v = -4*f + 96, -y*f - 5*v + 40 = -0*f. Is f prime?
False
Let v(o) = o**3 + 13*o**2 - o + 13. Is v(-13) prime?
False
Let j = -73 + 250. Is j composite?
True
Let t = 2 + -1. Suppose j = 5*g + 13, -t - 3 = -j - 4*g. Is 3/j*-14*-4 prime?
False
Let j(x) = 86*x - 4. Let w(o) = 129*o - 6. Let v(s) = -8*j(s) + 5*w(s). Let k be v(5). Let i = -134 - k. Is i a composite number?
False
Let d(l) = -17*l + 9. Suppose q = 5*c + 1, 0 = -3*q - c - 20 + 7. Is d(q) composite?
True
Let s = -181 + 680. Is s prime?
True
Suppose w + 3 = g, -5*g + 4*w - w + 13 = 0. Suppose -i + 2 = 3*r, g*i - 20 = 7*i. Suppose 0 = -r*a + 5*a - 9. Is a prime?
True
Let h(t) = 4199*t**2 + t - 1. Is h(-1) prime?
False
Suppose -15*w + 4*w + 77429 = 0. Is w a prime number?
True
Is 59/(3*(-4)/(-12)) a prime number?
True
Let o(l) = -2*l**3 - 6*l**2 + 6*l + 1. Is o(-5) a prime number?
True
Let t(u) = u**2 - u - 2. Let o be t(-2). Suppose 0*k - 210 = -3*k - 3*r, o*k - 285 = -5*r. Is k a composite number?
True
Let z(p) = 4*p**3 + 2*p**2 - 4*p + 1. Suppose 2*f - 5*a - 10 = 1, 3*f - 5*a = 14. Is z(f) a prime number?
False
Let j(w) = -4*w**3 + 4*w**2 + w + 7. Is j(-6) a prime number?
True
Suppose -l - 2 - 10 = 0. Let c(o) = -o**2 - 12*o + 3. Let m be c(l). Is m - (0 + -7 + -3) prime?
True
Let p = -34 + 49. Is p a composite number?
True
Let i(a) = -56*a - 1. Let h(p) = 112*p + 2. Let b(q) = 2*h(q) + 5*i(q). Let c be 2*(14/(-4) - -3) + -3. Is b(c) composite?
False
Let q(s) = s + 7. Let i be q(-4). Suppose a = 3*a - 4. Suppose -i*p = a*b + 3 - 14, p - b = 2. Is p prime?
True
Is 263*3 + (-7)/((-49)/28) a prime number?
False
Suppose 0 = 5*q + 3*l - 1592, -2*q = -4*q + 3*l + 620. Let w = q - 23. Suppose -w - 282 = -5*v. Is v composite?
True
Suppose -2*o + 32 = 5*v, -2*v - 103 = -5*o - 3*v. Is o a composite number?
True
Suppose -980 = -5*p - 5*f, 0 = -f + 3*f - 8. Let m = p - 115. Is m composite?
True
Suppose -3*o + 199 = 5*h, 3*o + 48 = -2*h + 232. Is o prime?
False
Let o(l) = -l**3 - 2*l**2 + 2*l - 4. Let x be o(-3). Let a = 4 - -1. Is 274/a - x/5 a prime number?
False
Let h(j) = j + 11. Let u be h(-10). Suppose -u = -x + 2*x. Is 6/(-2)*x + 160 a prime number?
True
Suppose -2*p + 4 = -p. Let x(m) = 3*m**3 - 5*m**2 + 4*m + 5. Is x(p) prime?
False
Suppose 975 = 3*p - 1014. Suppose -4*r + p = -r. Is r a prime number?
False
Let i(g) = g - 1. Let c(t) = 6*t**2 - 9*t + 11. Let u(k) = c(k) + 6*i(k). Is u(4) composite?
False
Suppose 5*a + 5*h = 40, 2*a + 25 = 6*a - 3*h. Suppose 2*n + 4*j - 8 = -0*n, 3*j = 5*n - a. Is (n - 4 - -3) + 34 composite?
True
Let t = 12 + -11. Let i = 4 - t. Is i composite?
False
Let o = 40 + -144. Let h = -46 - o. Is h composite?
True
Suppose -3*r - 2*r = -3245. Suppose 3*f - 4*h - r = 0, 4*h + 519 = -5*f + 1590. Is f a prime number?
False
Let n = 9 + 0. Suppose 0 = 5*c - 5*r - 35, 0*c + n = 3*c + r. Suppose 0 = -4*w - 4*s + 232, 178 + 9 = c*w - 5*s. Is w prime?
True
Let m be (6 - 10) + 5*-205. Let r = m - -1516. Is r a prime number?
True
Suppose -2*w + w = -593. Is w a prime number?
True
Let c(j) = -j**2 - j + 105. Let q be c(0). Suppose 5*f + 2*v - 111 = 0, -6*f + f = 5*v - q. Suppose -3*x + 2*x + f = 0. Is x composite?
False
Suppose 0*n = n. Suppose -l + 308 = 4*i, 3*i + 5*l - 95 - 136 = n. Is i a composite number?
True
Let c(g) be the third derivative of g**9/60480 - g**8/6720 - g**7/1680 + g**6/240 - g**5/60 - 2*g**2. Let u(n) be the third derivative of c(n). Is u(4) prime?
True
Suppose -5*l = -2*a - 7, -2*a = -l - 6 + 1. Let p be (-4)/a*(-3)/(-1). Is p*(-3)/9 - -18 composite?
False
Suppose -4*a = -10 - 14. Suppose -a = -7*b + 6*b. Is b composite?
True
Let x(u) = -u**3 + 8*u**2 - 3*u - 9. Let f be x(7). Suppose 285 = 2*d + f. Is d composite?
True
Suppose 5*c + 1697 + 288 = 0. Let l be 8/24 + 7/(-3). Is l/5 - c/5 composite?
False
Suppose 5*l - 5*r + 143 + 322 = 0, -5*l - 5*r = 475. Let i be 1/(1/(-51) - 0). Let v = i - l. Is v a composite number?
False
Suppose -3 = -a + 2. Let s = 5 - a. Suppose s = 7*y - 2*y - 565. Is y prime?
True
Suppose 0 = 5*d - 141 + 36. Is d a prime number?
False
Is ((-2)/3)/(2/(-174)) a prime number?
False
Suppose -5*r + 224 + 521 = 0. Suppose -r = -3*i + 124. Is i a composite number?
True
Suppose 2*i + 303 = -743. Is i/(-4) - (-4)/16 a prime number?
True
Suppose 5*j - 3*j = -172. Let n = 123 + j. Is n a composite number?
False
Let n = 1327 + -78. Is n a composite number?
False
Suppose -c + 2171 = 3*r - 3*c, 0 = 3*r 