. Let o = m + -123. Is o a prime number?
False
Suppose -3*u = -3*j - 2832 - 3234, -u + 4*j + 2010 = 0. Suppose 3*a + 5*q - u = 0, 2*a - 821 = -5*q + 528. Is a prime?
True
Suppose 0 = 2*k + 5*q - 94, 0*q = 3*k + 3*q - 150. Let p be (-1 - 0) + (41 - -3). Suppose 0 = -5*x + k + p. Is x prime?
True
Let s be (-14 + (-3)/(-3))*-4. Let w(x) = -15*x + 2. Let v be w(-5). Let b = v - s. Is b composite?
True
Let r = -11 - -11. Suppose r = -4*n - 594 + 1910. Is n prime?
False
Let b(r) = r**3 + r**2 - r. Let d be b(0). Suppose -l + 69 = -d*l. Is l a prime number?
False
Suppose 4*x + 4*g = 8, 4*x - 2*g = g - 27. Let q = x - -3. Suppose q*v + v = 11. Is v a prime number?
True
Let h(o) = -5*o - 26. Let z(y) = 2*y + 9. Let t(v) = 3*h(v) + 8*z(v). Let m be t(8). Let j(x) = 10*x - 1. Is j(m) composite?
False
Suppose -3*j + 117 = -114. Let i be (3/2)/((-1)/10). Let y = j + i. Is y composite?
True
Let m = 1162 + 97. Is m a prime number?
True
Let g(k) = -k**3 - 4*k**2 + 4*k - 1. Let o be g(-5). Suppose -4*b - 2*c + 6*c + 1192 = 0, 8 = -o*c. Is (15/12)/(2/b) a prime number?
False
Suppose -5*a - z + 5 = 0, 4*a + 15 = -z + 4*z. Suppose -3*v + v = a. Suppose -p + v*p = -157. Is p a prime number?
True
Suppose 0 = -w + 5*z - 274, -5*z = -5*w - 0*w - 1290. Is (11/(-22))/(1/w) composite?
False
Let c(j) = -11 + 8*j - j**2 + 3*j**2 - j**2. Let p be c(-9). Let o = 13 + p. Is o a prime number?
True
Suppose 3*y - 4 = y. Let x be 276 + 1 + y + -1. Suppose 2*r + 3*d = -d + x, -2*r = 2*d - 288. Is r a composite number?
False
Let i(n) = 4*n**2 + 4*n - 6. Let p(j) = -j**2 + 3*j + 5. Let z be p(5). Is i(z) composite?
True
Let t(r) = 9*r**2 + r - 5. Is t(4) prime?
False
Suppose 4*o - 14 = 5*z - 37, z + 22 = -3*o. Let j = o - -11. Suppose -4*a - d + 36 = -a, -j*a + 46 = 2*d. Is a composite?
False
Suppose -2*w = -2*z + 3*w + 519, 1283 = 5*z + 2*w. Is z a prime number?
True
Let t be 4/14 + 2464/(-49). Let b = t + 181. Is b a prime number?
True
Suppose 178 = 4*y + d + 41, -5*y + 160 = -d. Is y composite?
True
Suppose -2*x + 24 = 2*x. Suppose -5*t - 5*z = -375, -2*z - x = -2. Is t prime?
False
Let m(h) = 22*h**3 - 5*h**2 + 2*h + 2. Is m(3) a prime number?
True
Let y = 9 + -15. Let u be (-16)/y + (-6)/9. Suppose r - u*r = -39. Is r a prime number?
False
Suppose 2*f + 2*f + 4 = 0. Let n = 14 + f. Is n prime?
True
Suppose 0 = -a - p + 5*p - 6, -a - 11 = -5*p. Is (0 + -1)*a/(-1) composite?
True
Let t be (-2 - (-2 + 2))*-2. Suppose -k + v = -59, -t*k = 4*v - 117 - 87. Is k a composite number?
True
Let c(n) = n**2 - 9*n + 11. Let d(m) = -m + 1. Let l(r) = c(r) - 3*d(r). Let j be l(6). Let p(y) = 2*y**2 - 9*y - 1. Is p(j) prime?
False
Suppose l - 1681 = 5*u, -5*u = 4*l - 2*l - 3332. Is l composite?
True
Let x(z) = 16*z + 3. Let l be (-6)/15 - (-17)/5. Is x(l) a composite number?
True
Suppose 0 = -20*z + 11*z + 4869. Is z a composite number?
False
Let j be 3/6 + (-362)/(-4). Suppose -16 + j = 3*d. Suppose -q - 11 = -d. Is q composite?
True
Let u(g) = -g + 4. Let w be u(7). Let l be (-2 + w)*1*1. Let i(k) = -3*k + 4. Is i(l) a prime number?
True
Suppose 870 - 237 = 3*x. Is x a prime number?
True
Suppose 4*k + 13618 = 52782. Is k a composite number?
False
Let v be 4*(0 - 2/(-4)). Suppose -v*j - 257 = -5*w, -3*j + 7*j = 16. Is w a composite number?
False
Suppose 0 = -5*m + 607 + 1068. Is m a composite number?
True
Suppose -4*l + a = -7*l + 2746, l - 912 = -a. Is l a composite number?
True
Suppose 2*c - 1137 = -c - 2*y, -3*y + 379 = c. Is c prime?
True
Suppose 4 = 2*x, 0*o = -2*o + 5*x + 460. Is o composite?
True
Let g(v) = -v - 1. Let p be g(-5). Suppose p*s - 63 = s. Is s a composite number?
True
Suppose 2*z = -0*z + 1522. Suppose 3*h - 2*h = z. Is h composite?
False
Suppose 0 = n + 6*l - l - 508, 2*n + l - 1007 = 0. Suppose 1072 = 5*v - v + 2*z, 0 = 3*z. Let c = n - v. Is c a composite number?
True
Let b(j) = -14*j + 1. Let i be b(-4). Let w = -22 + i. Is w composite?
True
Let w = 76 - 37. Is w a prime number?
False
Suppose f = 3*q - 1, -2*q + 5*q - 2*f - 2 = 0. Suppose q = -2*i + 5*t + 34 + 134, -152 = -2*i + t. Suppose -3*w + w = -i. Is w a composite number?
False
Let i = -134 - -621. Is i a composite number?
False
Let z(i) = i**3 - 1. Let n be z(0). Let o be (-812)/(-12) + n/(-3). Let h = o + -45. Is h a prime number?
True
Suppose 4*f - 6*f + 2 = 0. Let n(o) = 508*o**3 - o**2 + 1. Let y be n(f). Suppose 0 = 3*s + s - y. Is s a composite number?
False
Let v = -32 - -61. Let s = 48 - v. Is s composite?
False
Suppose 5*u + 460 = 5*w, -2*u + 54 = w - 41. Let x(o) = -o - 1. Let p be x(-3). Suppose k - w = -p*k. Is k composite?
False
Let d be 1*0/(5 - 3). Suppose -3*v - 5*j + 89 = -323, d = 4*v - 3*j - 530. Is v prime?
False
Let h(i) = 270*i + 1. Is h(2) prime?
True
Let a(r) = 31*r + 2. Let l be a(2). Suppose p - l = y - 6*y, 42 = 3*y - 3*p. Is y composite?
False
Let i = 1820 - 853. Is i prime?
True
Let b be ((3 - -1) + -1)*5. Suppose y = -4*r - 24, 3*r + 2*y - 12 = 5*r. Is (1 - b)*r/4 a composite number?
True
Let r = -392 - -226. Suppose -3*p = -4*n - 715, 6*p - 4*p + 3*n = 454. Let m = p + r. Is m prime?
True
Suppose 27*k = 37*k - 2010. Is k composite?
True
Let r(c) = 46*c - 1. Let k be r(3). Let b = -24 + k. Is b composite?
False
Let n = 35 + 11. Is n a composite number?
True
Let t be (5 - -2) + (2 - 1). Suppose 3*j + 12 = 0, j + 6 = 2*p - t. Suppose 0*d = -p*d + 155. Is d a composite number?
False
Let a(p) = 29*p**2 + 9*p + 30. Is a(-8) a prime number?
False
Suppose -3*x = -5*i - 554, 3*x + 0*i = -2*i + 547. Is x prime?
False
Suppose 0 = 61*o - 64*o + 1761. Is o a composite number?
False
Suppose 9 = 3*u - 9. Suppose -4*v - 28 = -u*v. Is v prime?
False
Let k(n) = 6 + 7 + 6*n - 4*n + 14*n. Is k(6) prime?
True
Suppose 42 - 4 = m. Suppose f - 121 = -m. Is f prime?
True
Let c(u) = -6*u**3 - 6*u + 7*u**3 + u**2 - 9*u**2 + 8. Let s be c(10). Suppose -k - s = -5*k. Is k a prime number?
True
Suppose 19 = 3*h + 5*m, 4*h + 0*m - 16 = -2*m. Suppose 3*d - 3*c - 27 = 0, 0 = -h*d - 2*d - c + 21. Let s(a) = a**2 + 3*a - 5. Is s(d) a prime number?
False
Suppose -17 = -3*h + 4. Is (-3)/h + 370/14 composite?
True
Let m = 23 - 21. Suppose 5*p + 270 = 5*n, -n + 55 = 2*p - m. Is n a composite number?
True
Suppose -2*a = -2329 - 1317. Is a composite?
False
Suppose 4*n = -n + 10. Let w(r) = -r**3 + 2*r**3 - n + 8*r**2 + 1 - 4*r. Is w(-8) composite?
False
Let v(o) = 9*o**2 + 10*o - 48. Is v(-19) a prime number?
True
Let r(l) = 6*l - 4. Let q be r(-3). Let n be -2 - (q - 0 - -2). Suppose 0*c - 3*c + n = 0. Is c prime?
False
Suppose -v = -4*n - 4, -3*v + n = -3*n - 12. Let u be v/(-18) + 2/9. Suppose 2*z - p - 92 = 0, u*z - 147 = -3*z - 3*p. Is z a prime number?
True
Suppose 7*x = 1467 + 332. Is x prime?
True
Let i(q) = 4*q**2 - 50*q + 45. Let j(w) = w**2 - 10*w + 9. Let u(v) = -2*i(v) + 11*j(v). Let y = -8 + 16. Is u(y) composite?
True
Is (359 + 35)*(-3 + 2)*-1 a composite number?
True
Let v(l) = -191*l + 3 + 2 - 5. Is v(-2) composite?
True
Let h = -2185 + 3246. Is h composite?
False
Suppose 2*n = -2*o + 8, 0 = o - 6*n + 2*n + 16. Let r be 2 - o/((-9)/3). Suppose -2*u - r*u = -148. Is u a prime number?
True
Let t(b) = -112*b**2 + b - 2. Let u(v) = v**2 - v + 1. Let c(w) = -t(w) - u(w). Let q be c(2). Suppose 0*g - 5*g = -q. Is g a composite number?
False
Let c = -435 - -1142. Is c prime?
False
Suppose -n + 2 = -y, 2*n + 24 = 7*n + 2*y. Is (n + 375)/(0 + 1) prime?
True
Suppose -6 - 2 = 2*q, q - 48 = -2*o. Is o prime?
False
Suppose -3*r = -2*r - 4. Suppose r*c = 8*c. Suppose c = 2*k - u - 69, -5*k + 5*u = u - 177. Is k a composite number?
True
Suppose -3*l + 40 = 2*l. Let f(z) = 3*z**2 - 3*z + z + 1 - 9*z**3 + l*z**3. Is f(-4) prime?
False
Suppose 4*f - 2*c - 1788 = 0, -3*f = -c - 4*c - 1355. Is f prime?
False
Suppose -5*d = -33 + 13. Suppose -5*v - 2*c = -19, v + 4 = -c - 2*c. Suppose 0 = v*k - 3*q - 64, d*k - q = 2*k + 26. Is k prime?
False
Suppose 0 = -3*y - 0*y - 3*a + 18, -2*a = 3*y - 14. Suppose y*h - 10 = -4. Is 316/8*(h - 1) a composite number?
False
Let n be (-2)/(2/4 - 0). Let s be n/14 + 116/14. Suppose -3*b - 395 = -s*b. Is b a prime number?
True
Let r be 16/(-7) - 16/(-56). Is (4/r)/((-2)/79) a prime number?
True
Let v = 336 + -500. Let z = v + 270. Is z a prime number?
False
Is 3/(-1)*586*1/(-6) prime?
Tru