 be z(o). Suppose -3*i - m + 95 = 0, 0*i + 3*m = -2*i + x. Is i a composite number?
True
Let y = 141 + -22. Is y a prime number?
False
Let m(q) = q**2 - 16*q + 18. Let p be m(15). Suppose p*x - 14 = 7. Is x a prime number?
True
Suppose -4*s + 2*s - 4*m = 60, 5*s + 150 = -5*m. Let j = s + 64. Is j composite?
True
Suppose -8 = 2*f + 4*d, -2*f = -3*d - 0*d + 8. Suppose -2*n = 468 + 250. Is 3/(-4) + n/f composite?
False
Suppose -l = -2*l + 4. Suppose d = -1 + l. Is d composite?
False
Suppose -5*n = -6*n + 587. Is n composite?
False
Suppose 110 = 6*m - 88. Suppose -4*c + 3*c = -m. Is c a composite number?
True
Let t = 2098 + -843. Is t a prime number?
False
Is (3 - (6 - 8))*251/5 a composite number?
False
Let t(q) = q**2 - 5*q + 2. Let i be t(10). Suppose -6*l + i = -2*l. Is l composite?
False
Let v = -70 - -147. Is v prime?
False
Let p(i) = -i**3 + 7*i**2 - 5*i + 5. Let w be p(5). Let u = w - -35. Is u prime?
False
Let a = -2 + 3. Suppose -3*f - a = -4. Is 1 + (-16*f)/(-2) prime?
False
Let q = -4 + -4. Let x be 1/2 + (-340)/q. Suppose -c + 5*z + 1 = 0, -3*c = -2*z - 3*z - x. Is c composite?
True
Let v(n) = -n - 4 - 3*n + 2*n**2 + 0*n. Let u be v(5). Let g = u + -13. Is g prime?
True
Let k = 6 - 3. Suppose -2*y + k = -3. Suppose 0 = -0*f + y*f - 195. Is f a prime number?
False
Suppose l - d - 435 = 0, -d - 1040 = -4*l + 688. Is l a prime number?
True
Let w be (-1730)/4*20/(-25). Let x = w + -197. Is x prime?
True
Suppose 4*w = 4*k - 7036, 3*k - 3*w - w - 5277 = 0. Is k a composite number?
False
Let n = 418 + -215. Suppose -n + 12 = -y. Is y composite?
False
Suppose -3*g + 6*g - 12981 = 0. Is g prime?
True
Let o(b) be the third derivative of 7*b**5/60 + b**4/8 + b**3/6 + 2*b**2. Is o(-2) composite?
False
Let c(f) = -526*f**3 + 3*f**2 + 4*f + 1. Is c(-1) a composite number?
True
Let f = -906 + 1577. Let i = f + -463. Suppose 0 = -4*x + i + 28. Is x composite?
False
Is (-2)/6 + (-22668)/(-18) a prime number?
True
Let a be 1 + 1/1*2. Suppose -a*r - 2 = 13. Let b = 12 + r. Is b a prime number?
True
Let p be 1 - (17 - 1)/(-4). Suppose 4*n - 58 - 265 = p*g, 0 = -4*g + 20. Is n a composite number?
True
Let i(m) = m**2 + 9*m + 10. Let k = 6 - 15. Let s be i(k). Suppose 8 = 2*r + 2*r + 3*z, 5*r - z = s. Is r prime?
True
Suppose 3*n - 60 = -4*r - n, 65 = 4*r + 5*n. Is (-12)/r*105/(-6) a prime number?
False
Let r(v) = 64*v**2 + 1. Suppose -9 = 4*c - m, -3 = 3*c + m + 2*m. Is r(c) a prime number?
True
Let o be ((-4)/(-10))/((-3)/(-15)). Suppose -o*s + 268 = -682. Suppose 0 = 3*n - 8*n + s. Is n composite?
True
Let i = -3 - -1. Let u = 27 + i. Is u a prime number?
False
Suppose -2*m - m - 159 = 0. Let a = m + 90. Is a composite?
False
Let q = -14 + 4. Let y = q + 22. Suppose -2*g - 2*g = -y. Is g prime?
True
Let r be (32/(-6))/((-2)/9). Suppose p + 0*p = -a + 27, -3 = -3*a. Suppose 2*q = p + r. Is q composite?
True
Let h be (-2 + -1)/3 + 6. Suppose h*s - 375 = 10. Is s composite?
True
Let s = 16 + -18. Is (-1475)/(-7) + s/(-7) prime?
True
Let r = -2 + 16. Let y(x) = x**3 - 12*x**2 + 14*x - 5. Is y(r) prime?
False
Suppose f + 2564 = 5*f. Is f a composite number?
False
Let k(o) = o**2 - 9*o + 5. Let r(m) = -4*m - 3. Let s be r(-3). Let b be k(s). Let j(w) = w**3 - 2*w**2 + 2*w + 4. Is j(b) composite?
False
Suppose 8*x + 1478 = 9*x. Is x prime?
False
Suppose 0 = -4*d - d. Let n(a) be the first derivative of a**4/4 + a**3/3 + a**2/2 + 35*a + 1. Is n(d) composite?
True
Let i be (-3 - -21) + (1 - 2). Let w = 124 - i. Let v = -58 + w. Is v a composite number?
True
Suppose 5*p = 156 + 2789. Is p a prime number?
False
Suppose 3 = -4*h + 11. Suppose -5*i = -t - 3*t - 2353, h*i + t = 936. Is i prime?
False
Let w = 1364 + -777. Is w a prime number?
True
Is ((-11526)/30 + -3 + 1)*-5 prime?
True
Let h = -10 - -7. Let b be 1/h*0 - -3. Suppose -b*u = -2*c - 180, 228 = 5*u - 3*c - 71. Is u a prime number?
False
Let u = 5667 - 3396. Is u a composite number?
True
Suppose -2*t + 140 = -2*n, -2*t + 2*n = -7*t + 343. Is t prime?
False
Let z(j) = -j**2 - 26*j + 12. Let q be z(-11). Let m = q + -118. Is m a prime number?
True
Let a = 182 - 114. Let c = -22 + a. Is c a prime number?
False
Let p(y) = -y - 1. Let z = -10 - -6. Let w be p(z). Suppose -5*f + 77 = -m - 103, 0 = 5*f - w*m - 190. Is f a prime number?
False
Is 911/(1/((-3)/9))*-3 composite?
False
Let h(x) = 39*x + 5. Is h(6) prime?
True
Let c(i) = 3*i**3 - i**2 + 4*i - 1. Is c(3) a prime number?
True
Let n(d) = 4*d**3 - 8*d**2 - d - 2. Is n(5) composite?
False
Let p(d) = -45*d + 10. Let i(c) = -15*c + 3. Let a(s) = -21*i(s) + 6*p(s). Is a(2) composite?
True
Let t = -589 - -838. Suppose -3*n + 384 + t = 0. Is n a prime number?
True
Suppose 2*j + 3*j + 1490 = 0. Let q be j/(-4) - 2/4. Let f = q - 31. Is f composite?
False
Let q = -3 - 3. Let y(s) = s**2 - 9*s - 7. Is y(q) a prime number?
True
Let u = 145 + 66. Is u a composite number?
False
Suppose -5*n - 25 - 10 = 0. Let l(x) = x**3 + 9*x**2 + 5*x + 4. Is l(n) composite?
False
Suppose -2*o - 2*o = h - 241, 2*h + 5*o = 476. Is h a composite number?
False
Suppose 0 = 4*z + 5*l - 347, 0 = 3*z + l - 155 - 97. Is z a composite number?
False
Let p = -8 + 31. Is p prime?
True
Let g(h) = 12*h - 1. Is g(7) composite?
False
Suppose -u + 758 = u. Is u composite?
False
Let r be 7082/11 - 4/(-22). Suppose x + 3*x = r. Is x a composite number?
True
Is 3/((-580)/586 + (-4)/(-4)) prime?
True
Suppose -26 = 5*j - 2*m + 36, 3*j + m = -35. Is (-389)/(-4) + 3/j prime?
True
Let r be 1 - -46*171/6. Suppose r = 4*y + 5*u - 1212, -2*y + 1262 = 5*u. Is y prime?
True
Suppose -3*d - 4152 = -6*d. Suppose d = 3*p + p. Let l = p - 203. Is l prime?
False
Let x = 353 - 788. Let y = x - -622. Is y a composite number?
True
Let d(f) = -3*f**2 + 1. Let r be d(1). Is (-1)/(r/5)*142 prime?
False
Let p = 4 + -6. Let k(r) = r**2 + 3*r + 4. Let i be k(-4). Is p*(-2)/(i/42) a prime number?
False
Let x(g) = g - 4. Let o be x(5). Let b = 1 - o. Suppose b*z - 5*z + 2*i + 165 = 0, -5*z + 165 = -i. Is z a composite number?
True
Let y = 10 + -5. Let r = 15 - y. Is r a composite number?
True
Let j(f) = -117*f + 1. Let l be j(1). Let s = 10 - 7. Is l/(-6) + s/(-9) a prime number?
True
Let g be 36/45*(19 - -1). Let k = -4 + g. Let w = k - 5. Is w a prime number?
True
Let z(m) be the second derivative of m**3/3 - 4*m**2 + m. Let k be z(7). Suppose -b - 65 = -k*b. Is b a prime number?
True
Is 397/(-2)*1*-6 a prime number?
False
Let c(a) = 7*a**3 - 7*a + 3. Let x(q) = 13*q**3 - 15*q + 7. Let y be 8/12*(7 - 1). Let k(s) = y*x(s) - 9*c(s). Is k(-2) composite?
False
Let m = -20 + 24. Is -4 + m + 51 - -2 composite?
False
Let i(m) = -11*m + 7. Let u be i(9). Let j = u + 129. Is j composite?
False
Let i = 112 + -8. Let w = 227 + i. Is w a composite number?
False
Let c = -4 - -6. Let s be ((-1)/c)/((-1)/92). Let r = s + 9. Is r composite?
True
Let g(c) = 171*c**3 - 2*c**2 + 1. Let t be g(-1). Is 7*(-2)/8*t a prime number?
False
Suppose -4*x - 3*p = -20, -2*x + 22 = 3*p + 6. Let n(t) = -16 + 51 + 0*t**x - t**2 + t. Is n(0) prime?
False
Suppose 0 = 3*t - 6*t + 6. Suppose 10 - t = 4*h. Suppose -3*k + 60 = -5*p - 1352, k + h*p - 467 = 0. Is k composite?
True
Suppose 4 = g + 2*z - 5, -3*g - 3*z + 36 = 0. Is g a composite number?
True
Let b(d) = 78*d**2 + 11. Is b(4) prime?
True
Suppose 3*q - 12080 = -5*v, 3*v + 2*q = 5*q + 7272. Is v composite?
True
Let c be (-18)/(3 + (-22)/6). Let o = c + -89. Let k = 393 + o. Is k a prime number?
True
Let h(j) = -48*j. Let t be h(-2). Let i = -37 + t. Is i prime?
True
Suppose -2*r + 817 = -1305. Is r composite?
False
Is (3/(48/3356))/((-3)/(-12)) a prime number?
True
Suppose 2*y + 4*f = -18, 2*y + y - 4*f - 23 = 0. Is 0 - (y - 80)/1 a composite number?
False
Let h(o) = -114*o**2 - o + 3. Let f be h(2). Let c = f + 646. Is c prime?
True
Suppose 0*i = -v - 2*i + 465, v = 3*i + 470. Let o = v + -276. Let s = o + -72. Is s prime?
False
Let z(k) be the third derivative of k**4/24 - k**3/2 - 2*k**2. Suppose -2*m - 2*v = -10, 4*m = 3*v + v + 60. Is z(m) a composite number?
False
Is (-6)/(-2)*285/9 prime?
False
Let a(d) = 81*d + 35. Is a(6) a prime number?
True
Is (-1*1574)/(0 + -2) a composite number?
False
Let b be 40/(-6)*(-3 - -6). Let l be ((-9)/6)/((-2)/b). Is 2 + (-2 - 0) - l a composite number?
True
Let