False
Let k(v) = -2*v + 1. Let n be k(-2). Let u = -2 + n. Suppose 142 = u*z + r, -4*z + z = 2*r - 137. Is z a composite number?
True
Let s(y) = -y + 34. Let o = -10 - -10. Is s(o) composite?
True
Let x = -9 - -14. Is 39 - x - 3*-1 composite?
False
Is 39/1 - (-1 + 3) a composite number?
False
Let u(n) = -234*n - 8. Is u(-3) a composite number?
True
Suppose 2*c + 542 + 182 = 4*z, 0 = -z + 2*c + 184. Is (z + (-2)/1)/1 prime?
False
Suppose -z - 7*x = -2*x - 10, -5*x - 30 = -3*z. Let k = 117 + z. Is k a composite number?
False
Let i(z) = -z**2 - 7*z + 9. Let v be i(-7). Let g = v - 7. Is 6/g + (-56)/(-2) prime?
True
Let b = -87 + 218. Is b a prime number?
True
Suppose 5*v + b - 221 = 0, -4 = -3*v + 4*b + 147. Let h = 1 + 1. Suppose h*m = -m + v. Is m composite?
True
Let k(r) = r**3 - 7*r**2 + 12*r - 7. Is k(9) prime?
True
Suppose 5*u - 9 = -r, -r - 4*u = 1 - 9. Suppose -30 + r = -s. Is s a prime number?
False
Let i(t) = t**2 - 11*t - 6. Let m be i(13). Let q = 8 + m. Suppose -90 = -b + q. Is b composite?
True
Let z(h) = h**3 - h + 8. Let b be z(0). Suppose 4*c - 4*d - 227 = -c, 0 = -d + 2. Let g = b + c. Is g prime?
False
Suppose 212 = a + 3*d, d + 621 = 3*a + 5*d. Is a a composite number?
True
Is -3*(412/(-3) + 1) prime?
True
Is 8/8*(3 + 1752/3) prime?
True
Let q(l) = l + 3. Let y = -6 + 10. Suppose y*f = -0*f + 16. Is q(f) composite?
False
Let f(m) = m**2 + 3*m + 5. Let g be f(6). Is -1 + (-1 - -2) + g a prime number?
True
Let f(b) = 2*b**2 - 3. Let c be f(-10). Suppose -4*s + 1377 = c. Is s a prime number?
False
Is 120 - 4/(-2) - 1 a prime number?
False
Suppose -q = 4*s + 12, 0 = -3*q + s - 8 + 24. Suppose -367 - 261 = -q*t. Is t composite?
False
Let f = 273 + -184. Let g = 8 + f. Is -1 + 2 + -1 + g composite?
False
Suppose -2*b - 2*j = -6*j - 1818, -3*b + 2718 = 3*j. Is b composite?
False
Let g(l) = l**3 + 2*l**2 - l + 4. Let v be g(-3). Let t(o) = 15*o**2 + 4*o + 3. Is t(v) composite?
True
Let o(q) = 30*q - 11. Is o(9) composite?
True
Suppose -178 + 940 = 3*t. Is t a composite number?
True
Suppose 29 = 5*u - 746. Suppose -2*h = 3*h - u. Is h a composite number?
False
Let w = -4 + 6. Let i be 16/(-6)*(-39)/w. Suppose 157 - i = 5*c. Is c a composite number?
True
Is (1009/2)/((-3)/18*-3) a composite number?
False
Suppose 0 = 4*p - 209 - 451. Suppose 6*d - p = d. Is d a prime number?
False
Suppose -5*h - 3*j - 2 + 37 = 0, -2*h + 23 = 3*j. Suppose 6 = -u + h*p, -3*u + p + 4*p = -17. Is u a prime number?
False
Let m = 411 - 110. Is m a prime number?
False
Suppose 2*a + 585 = 7*a + 5*w, 3*w + 244 = 2*a. Is a composite?
True
Let o = -89 + 42. Is -11 + 14 - (o + 1) prime?
False
Let p = 493 + 1342. Is p a composite number?
True
Let l = 4 - 1. Suppose 1339 = 3*j + 4*n, 3 = l*n - 0. Suppose -7*q = 5*h - 2*q - j, 0 = -2*h - 5*q + 184. Is h a prime number?
False
Let h(i) = -i**2 + 8*i + 1. Let j be h(6). Let y be (-3 - -1)*12*-1. Suppose -b + y + j = 0. Is b prime?
True
Suppose -3*a - 2*a + 5*k = -30, 3*k + 20 = 4*a. Let f(q) = -2*q - 6 + 1 - a*q. Is f(-6) prime?
True
Let g(i) = -i**3 + 7*i**2 + 9*i - 4. Let k be (-24)/(-10)*(-20)/(-6). Let x be g(k). Suppose 5*l = -2*h + 257, 4*h + 0 = -x*l + 208. Is l a prime number?
False
Let s = -29 - -7. Let q = s - -36. Is q composite?
True
Suppose m + m - 8 = -2*b, 4*m - 7 = -3*b. Is 16/6*b/4 prime?
False
Suppose -8*o = -4*o - 28. Let x(w) = o - 8*w - 3*w**3 + 0*w**3 + 2*w**3 + 8*w**2. Is x(6) a composite number?
False
Let v(n) = 4*n. Let q be v(-1). Let p(h) = 2*h**2 + 3*h - 1. Is p(q) prime?
True
Let b(a) = 15*a**2 + 2*a + 1. Let d be b(-4). Let n = -114 + d. Is n composite?
True
Let h(t) = -12*t**2 + 7*t**2 - 5 + 7*t**2. Is h(6) a composite number?
False
Suppose -2*o + 0*o + 8 = 0, 0 = -5*j - 3*o - 23. Let a = -2 - j. Suppose -5*x - v - 3*v = -279, 0 = a*x + 2*v - 277. Is x composite?
True
Let s = -98 + 639. Is s composite?
False
Let f(p) = p + 1. Let u(h) = 7*h + 12. Let m(c) = -6*f(c) + u(c). Let s(g) = g**2 + 7*g - 13. Let y be s(-9). Is m(y) a composite number?
False
Let v(p) be the first derivative of 22*p**4 - p**3/3 - p**2/2 + p - 1. Is v(1) prime?
False
Is 16947/45 - 2/(-5) a prime number?
False
Let s = -1041 - -2128. Is s a composite number?
False
Suppose 2*s + 4*i + 0*i - 50 = 0, 2*s - 3*i - 22 = 0. Is (-2 - s)/((-1)/1) prime?
True
Suppose 3*n = 927 + 1815. Is n composite?
True
Let l = 143 + -86. Is l prime?
False
Suppose -y - 83 = -482. Let u = -267 + y. Suppose q + 3*q = u. Is q a composite number?
True
Suppose -k + 534 = 2*k. Is k composite?
True
Let a be 1/(((-6)/(-2))/9). Suppose x = -a*x - 16. Let z(u) = -u**3 + u**2 - 2*u + 3. Is z(x) composite?
True
Suppose -5*u - 3*g + 830 = -5*g, -3*g + 332 = 2*u. Is u a composite number?
True
Suppose 4*t + t = -10. Is 1 + -2 - 44/t a composite number?
True
Suppose -2*q - q + 2705 = -4*m, q - 915 = -2*m. Is q prime?
True
Suppose 3*v = 3, v = 2*p - 3*v - 1458. Suppose p + 54 = 5*y. Is y a composite number?
False
Suppose -4*n + 2 = -3*v, 6*n - 8 = v + n. Suppose -2*q - z + 49 = 0, v*z - z - 26 = -q. Is q a prime number?
True
Let s be (3/6 + 1)*2. Suppose -s*x + 0*x + 447 = 0. Is x prime?
True
Let p(x) = -4*x**3 - 3*x**2 - 16*x - 13. Is p(-10) composite?
False
Let o = 1823 + 108. Is o a prime number?
True
Let o be 12/(-42) + 891/7. Suppose 4*l = 85 + o. Is l composite?
False
Let r be 6/10*(6 - 1). Suppose 5*a = r*a + 118. Is a a prime number?
True
Let a = 8 - -29. Is a a composite number?
False
Suppose 0*b - 2*b = 5*i - 705, 3*b - 423 = -3*i. Is i a composite number?
True
Suppose -2*y - i + 1130 = 2*i, y = 5*i + 591. Is y a prime number?
True
Let n = -1931 + 3088. Is n a composite number?
True
Suppose 6*y - 129 = 5*y. Is y prime?
False
Suppose 0 = -10*z + 14*z - 748. Is z a composite number?
True
Let v(s) be the third derivative of s**5/5 + s**3/2 + 5*s**2. Is v(-3) composite?
True
Suppose 2*b - 10 = 4*q + 8, 0 = -2*b - q + 3. Suppose -3*u - 4*j + 7 = -8, b*u = 5*j - 12. Is ((-6)/(-12))/(u/222) composite?
True
Let l be 4/(-10) + (-54)/(-10). Suppose -3*h = -h + 5*u + 21, 2*u = -l*h. Suppose 4*c = h*c + 78. Is c composite?
True
Let k = 1 + -1. Let i(f) = -7*f**2 + 6*f + 27. Let j(w) = -8*w**2 + 7*w + 28. Let q(o) = 7*i(o) - 6*j(o). Is q(k) prime?
False
Let c(l) = 467*l**2 + l + 1. Is c(-1) composite?
False
Suppose -5*o = 3*l + 27, 0 = 3*o + 2*o - 2*l + 32. Let u = -3 - o. Is u prime?
True
Let r = -18 + 13. Let w = -60 - r. Let n = -36 - w. Is n a prime number?
True
Let q(z) = z**3 - 8*z**2 + 7*z - 1. Let n be q(7). Is (-1)/n*(164 - -15) a composite number?
False
Let j(s) = 3*s**3 - 2*s**2 - 5*s + 29. Is j(8) a prime number?
False
Is 1/3*5442/2 a prime number?
True
Let h be ((-20)/2)/(2/(-1)). Suppose -212 = -3*r + h*b, -r + 140 = r - 4*b. Is r prime?
False
Let m = -21 - 14. Let g = m + 66. Is g prime?
True
Let m(q) = 5*q**3 + q**2 - q - 2. Let d be m(2). Suppose -4*l - 2*i - 68 = 0, -l - 3*i + 8 = 25. Let r = l + d. Is r composite?
False
Suppose 0 = -5*i + 525 + 560. Is i prime?
False
Suppose 3*n - 217 = 230. Let a = n - 82. Is a a prime number?
True
Suppose 3*p - 3 + 6 = 0. Let o be 3/3 - p - -2. Suppose -r - r = -10, -54 = -2*n + o*r. Is n a composite number?
False
Let h be (1 + -1 + 1)*109. Let f be (-1)/(((-44)/120)/11). Let z = h - f. Is z prime?
True
Suppose -4*i = k - 543, -2*k = -0*k + 2*i - 1110. Is k a composite number?
True
Let q = -26 - -47. Suppose -q = 4*d + v, 17 = -4*d + v + 2*v. Let y = 4 - d. Is y prime?
False
Let c = 894 + -499. Suppose -5*v + c = -0*v. Is v a composite number?
False
Let i be 1 - 1*(-2 - -19). Is (-12)/(-16)*i/(-6) composite?
False
Let n = -110 - -204. Suppose -n = -5*r - 3*g, 0 = 3*r - 2*g - 75 + 11. Let l = r - 13. Is l a prime number?
True
Let w(a) = a**3 - 6*a**2 + 7*a + 5. Is w(19) a prime number?
True
Let b(n) = 2*n**2 + 29*n + 68. Is b(26) a prime number?
False
Let j(f) be the first derivative of 19*f**5/60 - f**4/12 - 5*f**3/6 + f**2 - 2. Let o(p) be the second derivative of j(p). Is o(-4) a prime number?
True
Let t(p) be the first derivative of -117*p**2/2 + p - 6. Is t(-2) composite?
True
Let y(h) = -868*h - 25. Is y(-3) composite?
False
Let u = 86 + -178. Let m = u - -143. Is m a prime number?
False
Suppose 2*h + 4*b = -0*b - 136, -70 = h + 4*b. Let c be ((-10)/15)/(4/h). Let z = 8 + c. Is z composite?
False
Let 