uppose -3*y + 2*s + 24 = 0, 2*s - 56 = 2*y - 7*y. Let k = -2 + 1. Is k/(-2) - (-345)/y composite?
True
Let i be (-3 + 1)/(2/(-547)). Suppose 0 = -5*x - n + i, 0 = 5*x - 3*n - 250 - 289. Is x prime?
True
Suppose -4*d + 0*d = 16. Let u be 1*(-4)/2 - d. Is u + (2 - 1) + 22 a prime number?
False
Let o(j) = -j + 5. Suppose 2*q + 5*g = -13, 0 = q - 2*g + 5*g + 7. Is o(q) composite?
True
Let s(o) = 2*o**2 + 4*o**2 + 4*o**2 + 5 + 4*o + o. Let p(t) = 2*t. Let w be p(-2). Is s(w) composite?
True
Let m = -667 + 1058. Is m prime?
False
Let x(n) = 578*n + 13. Is x(2) composite?
True
Suppose 22 - 328 = -3*p. Suppose a + 13 = p. Is a a composite number?
False
Let y(l) be the third derivative of 131*l**5/60 - l**4/24 + l**3/6 + l**2. Is y(1) a composite number?
False
Suppose -2*g + 13 = -17. Is g composite?
True
Suppose -4*d + 4 = -4. Is ((-2)/6)/(d/(-222)) prime?
True
Suppose -46 = -m + 4*b, -m + 6*m - 182 = 4*b. Is m composite?
True
Let t be (-52)/6 + (-6)/(-9). Let v = 3 - t. Is v prime?
True
Suppose 2*a - 6*a + 4 = 0. Suppose 4*f + a = 5*f, 0 = 3*s + 2*f - 647. Suppose 2*j = s - 67. Is j a prime number?
False
Let j(t) = 307*t**2 - 2*t + 2. Is j(1) prime?
True
Let l be 1*(-5)/((-10)/4). Suppose 2*n - 427 - 213 = -2*y, l*y - n - 637 = 0. Is y composite?
True
Let f = -185 - -348. Is f prime?
True
Suppose k + 3*u = 246, 6*k - 5*u = 3*k + 780. Let q = k - 71. Suppose 0*n = -4*n + q. Is n composite?
True
Let k be 9/11 + (-6)/(-33). Is k*(-3 - (-368)/4) a composite number?
False
Let d(u) = 3*u**2 - 2*u + 1. Suppose 3*a - 4 = k + 4*k, 10 = k + 3*a. Let t be d(k). Suppose 4*q - 5*f - 192 = 0, q - f - 41 = t*f. Is q a composite number?
False
Let l = -3 + 2. Let s(u) = -200*u**3 - 2*u**2 + 1. Is s(l) composite?
False
Suppose 4*f - 6*d - 1260 = -2*d, 4*d + 1577 = 5*f. Is f a prime number?
True
Let m(n) be the third derivative of 541*n**6/120 - n**5/60 + n**4/24 + n**2. Is m(1) prime?
True
Let m be (-2218)/(-14) + (-3)/7. Suppose 0 = -4*l + 6*l - m. Is l a composite number?
False
Suppose 0 = -p - 2*h, 0*p = p - 5*h - 7. Suppose 3*w = p*g + 3*g - 2, -5*w + 14 = -4*g. Let m(v) = -v**2 + 11*v - 4. Is m(w) a composite number?
True
Let d(p) = -p**3 + 3*p**2 + 13*p + 8. Is d(-9) prime?
True
Let t(w) = 661*w - 1. Is t(3) prime?
False
Let u = 14 - 15. Let y(i) = -417*i - 2. Is y(u) composite?
True
Suppose 0 = -c, -2*g = -6*g - 3*c + 80. Suppose z = -a - 0 - 10, 3*a + g = -z. Is (-6 + a)/(1/(-3)) prime?
False
Let j(r) = 7 - 2*r + 6*r + 20*r. Is j(5) composite?
False
Suppose 2*r - 299 = 4*k + 143, 0 = -5*r - k + 1050. Is r composite?
False
Is 9960/18 - 1/3 a composite number?
True
Let n(u) = 6*u**2 + 4*u - 5. Let w(a) = 7*a**2 + 5*a - 5. Let z(y) = 5*n(y) - 4*w(y). Is z(-6) a composite number?
False
Let p = -11 + 11. Is (p + 77)/(4 + -3) composite?
True
Let a(g) = -5*g**3 + 13*g**2 - 5*g - 10. Let t(n) = -2*n**3 + 4*n**2 - 2*n - 3. Let h(m) = -3*a(m) + 8*t(m). Is h(-7) a prime number?
True
Let t = -59 + 156. Suppose -2*q = -3*v + t, 0*q - 3*q = 6. Is v composite?
False
Let i = 5 - 3. Is i + 155/3*3 prime?
True
Suppose -5 + 0 = -b. Suppose -b*c = -c - 188. Is c a prime number?
True
Suppose -3*a - 6 = -0. Is 20*(135/12 + a) a composite number?
True
Suppose -161 = -6*s + 5*s. Is s composite?
True
Suppose 11 = p - 2*p + 3*c, 3 = 2*p - c. Suppose r = p - 1. Suppose -4*g - 38 + 467 = 5*z, r*z + 4*g = 259. Is z a composite number?
True
Let q = -111 - -183. Let p = -58 + 21. Let i = p + q. Is i a prime number?
False
Is (-1)/(-2)*(4 - -430) a composite number?
True
Let g = 34 + -9. Let f = g + 28. Is f a composite number?
False
Let a = -641 - -1114. Is a composite?
True
Let p(z) = -z**2 - 7*z - 6. Let a = -7 - -2. Let y be p(a). Suppose 2*n - s - 4*s = 67, y*s + 159 = 5*n. Is n composite?
False
Suppose 2*y - m = 1387, 5*y + 0*y - m - 3460 = 0. Is y a composite number?
False
Suppose 2297 = -0*g + 5*g - 4*y, 3*g = -y + 1368. Is g prime?
True
Suppose -1383 = 2*r - 5*r. Suppose 5*v = 4*n + r, 2*n - 190 = -2*v - 2*n. Is v a prime number?
False
Let l(c) = -51*c**3 - c**2 + 2*c - 1. Let j be l(1). Let d be (1 - 2)*j - 0. Let w = d + -14. Is w a composite number?
False
Is (-30699)/(-63) + -1 + (-5)/(-7) a composite number?
False
Suppose -5*b + 11 = -2*t, 5*t = -2*b + 7*b - 5. Suppose -z + t = -2. Suppose -z*u = -k + 35, -5*k + 2*u + 140 = -k. Is k prime?
False
Let b = 2360 + 2283. Is b a prime number?
True
Suppose r - 1696 = -5*q, 0 = 5*q + 4*r - 253 - 1446. Suppose 2*a = -a + q. Is a a prime number?
True
Let c = -6 - -7. Is ((-159)/(-12))/(c/4) composite?
False
Let s(x) = x**2 - 3*x - 4. Let d be s(3). Let a be 6/12 + (-10)/d. Suppose a*f = 3*i - 2*i - 101, i + 4*f = 87. Is i prime?
False
Suppose 5*o - 4*o - 5*x = 2352, 9432 = 4*o + 4*x. Is o a composite number?
False
Let d(a) = 4*a**2 - 2*a + 1. Let o be d(1). Suppose o*x + 21 - 63 = 0. Is x composite?
True
Suppose 4*b = l + 10, -3*l + 2*b = -0*b. Let r(j) = 2*j + 2*j + 5*j**2 - l*j - j**3 - 2. Is r(4) composite?
True
Suppose 2*u = -3*u - 1285. Let o = -100 - u. Is o a prime number?
True
Let a(w) = w**2 + 5*w + 2. Let j be a(-5). Suppose -3*f + 159 = 2*r, -4*f = -4*r - j*f + 294. Let h = r - 16. Is h a composite number?
False
Let f(c) be the third derivative of 5*c**4/24 + c**3 + 3*c**2. Is f(9) prime?
False
Suppose 5*d + 671 = 3*j, -j - 2*d - 15 + 224 = 0. Is j composite?
True
Suppose -43*x - 7485 = -46*x. Is x a composite number?
True
Is 23 - (8 + -2 + -4) a prime number?
False
Let o = 193 + -134. Is o prime?
True
Suppose -i - 3 = -5. Suppose -i*q + 99 = q. Is q a composite number?
True
Suppose 0 = -3*a - 5*f + 126 + 1498, 3*f = -a + 544. Is a composite?
True
Let f = 50 + -23. Suppose 998 + f = -5*z. Let n = -114 - z. Is n a composite number?
True
Let s be 2 + (1 - 1) + 2. Suppose 5*k - 34 = s*k. Is k a prime number?
False
Let x be (1 + -4 - -4)*3. Suppose 127 = -x*g + 4*g. Is g a composite number?
False
Let w(v) = -148*v**3 + v**2 - 1. Let s be w(1). Let a = 217 + s. Is a a prime number?
False
Let w be ((-2)/(-4))/((-10)/(-8020)). Let i = 640 - w. Is i composite?
False
Let p be 1*(-2 + (-4)/(-2)). Suppose -4*a - 1132 = -p*a. Let z = 474 + a. Is z a composite number?
False
Let r = 19 + -10. Let a = 4 - r. Is 1/5 + (-114)/a composite?
False
Let h be (-1)/(((-10)/8)/5). Suppose h*j - 85 = d, j - 4*d + 5 = 15. Is j composite?
True
Suppose -4*f - f = -25. Let o(z) = z + 1. Is o(f) a composite number?
True
Let n = 0 + -7. Suppose -3*b - 79 - 89 = 0. Let m = n - b. Is m prime?
False
Let t(h) = h**3 - h - 420. Let d be t(0). Let v = 637 + d. Is v composite?
True
Let l = -149 + 36. Let q = -16 - l. Is q prime?
True
Let v = -499 + 722. Is v a composite number?
False
Suppose -4 = 5*f + 11. Let v be (-20)/3 - f/(-9). Let k(z) = -z**3 - 8*z**2 - 8*z - 4. Is k(v) a prime number?
True
Let u be (7 - 1)/((-15)/(-10)). Is 54/u*12/18 prime?
False
Let v(j) = -j**3 + 8*j**2 + 4*j - 9. Let q be (-162)/(-21) + 6/21. Is v(q) prime?
True
Suppose 1 + 0 = x. Suppose x - 6 = -5*a. Is (a*-2)/(4/(-178)) a prime number?
True
Let b be 1 + -1 - 82*1. Let a = -57 - b. Suppose f - a = 64. Is f a composite number?
False
Suppose -5*t = -4*h + 148, 2*h - 3*t - 2*t = 74. Is h a composite number?
False
Let v = -2 + 3. Suppose 3 + v = h. Is (-1)/4 - (-53)/h composite?
False
Let b(r) = r**3 - 3*r - 2. Let z be b(-2). Let f be 372/27 - z/18. Suppose 0 = -3*i + f + 7. Is i a composite number?
False
Let z = -694 - -1637. Is z a composite number?
True
Suppose 0 = 29*t - 23*t - 12234. Is t composite?
False
Let a = -253 - -687. Suppose -a = 2*k - 4*k. Is k a prime number?
False
Let r(g) = g**2 - 8*g - 16. Is r(-13) composite?
False
Let u(o) = 1 + 6*o + 3 - 3*o - 2*o. Let m be u(-9). Let j(v) = -v**3 - 2*v**2 + 4. Is j(m) a prime number?
True
Suppose 5*c - 45 = 95. Let l = c - 6. Is l a prime number?
False
Suppose 22 = -5*h - 4*p + 2, 5 = -h - p. Let w be 33/(-4)*(-4 + h). Suppose w = 5*u + 2*k, 0 = 5*u + 4*k - 14 - 17. Is u a composite number?
False
Let t(y) = 3*y + 7*y + 0*y + 7 + 5*y**2. Let a be t(-7). Suppose 5*j - 475 = -2*f + 474, j = -3*f + a. Is j a prime number?
True
Suppose -5*h + 4*z = -1063, 3*h + z + z - 629 = 0. Is h prime?
True
Suppose -2*n + 1 = -5*v - 10, 0 = 4*n + 2*v - 10. Let x be n/9 - 34/(-6). Is (-222)/4*x/(-9) a prime number?
True
Let s(n) = -56*n - 43. Is s