+ 5*r - 515 = 0. Suppose -k + 2*k + r = 0. Let m = -10 - k. Is m composite?
True
Let f be (-170)/50 + 4/10. Let u be f + (3 - (-1105 + -2)). Suppose 0*c - 1853 = -5*c - 3*p, -3*p + u = 3*c. Is c prime?
True
Let m(o) = 32 + 8*o - 10*o**2 + 2*o**3 + 25 + 26 - 85. Suppose 2*c - 3*f = 18 - 2, -16 = -2*c - 4*f. Is m(c) composite?
True
Let a be (-104)/(-6) - (-6)/9. Let i = -51 + a. Is ((-28)/(-6))/(-2)*i composite?
True
Let a be ((-12303 + 1)/1)/(14 - 13). Is a/(-16) + 1/8 prime?
True
Suppose -k + 2*r + 1693 = 0, -44*r + 47*r = 0. Is k composite?
False
Let d(o) = 109*o - 4. Let p be 1 + (-5)/((-10)/6). Let n = 7 - p. Is d(n) prime?
False
Let r(v) be the second derivative of v**4/12 - 4*v**3/3 - 19*v**2/2 + 6*v. Is r(16) a composite number?
False
Let d(q) be the second derivative of q**7/280 - q**6/72 + q**5/30 + q**4/8 - 5*q**3/6 - 3*q. Let g(l) be the second derivative of d(l). Is g(7) composite?
True
Let l be 171/12 - 3/12. Let q = l - 12. Is (-4 - -3)*(q + -129) prime?
True
Let t be 3 - (1 - -2 - 12). Let x be t*((-2)/3 - -1). Suppose -i = 2, -x*i = -3*v - 5*i + 127. Is v a prime number?
True
Let p = 52 + -53. Is (p + -1)*(-398)/4 + 2 composite?
True
Let b = -847 - -2131. Let k = b + -377. Is k composite?
False
Let c(a) = 3*a**2 + 4*a + 2. Let m be c(-2). Let y(x) = x - 1. Let b be y(m). Suppose b*q = 475 - 50. Is q prime?
False
Suppose y - 1100 = t + 156, 5*y - 6282 = 3*t. Is 3/(18/y)*(1 + 1) a composite number?
False
Suppose 3*k - 1228 = k. Let s = 24 + -27. Is (-1 - s)/(4/k) prime?
True
Let s = -2 + -3. Is (s - -3) + (-1 - -1090) a composite number?
False
Let k(h) = -342*h - 331. Is k(-11) composite?
True
Suppose 55*z + 347231 = 78*z. Is z prime?
False
Suppose 10 = s + 4*i + 28, -s + 2*i + 12 = 0. Let w(n) = 4*n**2 - 2 + 2*n**2 - s*n + 37*n**2. Is w(2) a composite number?
True
Suppose 0 = -266*d + 268*d - 28570. Is d composite?
True
Let k(b) = -3*b - 2. Let d be k(-1). Is ((-586)/4)/(((-3)/18)/d) composite?
True
Let r(u) = u**3 - 19*u**2 - 20*u + 2. Let l be r(20). Suppose -769 = -f + 5*o, -2*f + o = l*o - 1593. Is f composite?
True
Let v(r) = -71*r**3 - 9*r**2 - 6*r + 3. Is v(-7) a prime number?
True
Let i = -2966 + 8155. Is i composite?
False
Let x(f) = 65*f. Let r(p) = -p + 16. Let q be r(12). Let s be x(q). Let l = s - -99. Is l prime?
True
Suppose q = -11 + 6, 4*t - 3*q - 59707 = 0. Is t a prime number?
True
Let v(c) be the first derivative of c**4/4 + c**3/3 - c**2/2 + 4*c + 4. Let s(n) = 2*n - 5. Let k be s(5). Is v(k) a prime number?
True
Let y = -13244 - -18541. Is y composite?
False
Let y(f) = -515*f + 36. Is y(-1) a prime number?
False
Let d(v) = 30*v - 54. Let j(b) = -b - 1. Let m(u) = -d(u) - 5*j(u). Is m(-26) a composite number?
False
Let v(b) = 46*b**2 - 40*b**2 - 3 - 2. Is v(-8) a composite number?
False
Let v(f) = -f**3 - 2*f - 2. Let n(l) = l**3 + 3*l + 1. Let s(c) = -3*n(c) - 4*v(c). Let t be s(0). Suppose -3*q - 9 = 0, t*h + 2*q - 260 = -3*q. Is h composite?
True
Suppose -3*s - 5*i = -154757, 154769 = 4*s - s - i. Is s composite?
True
Suppose 46*d - 41*d = 2665. Is d prime?
False
Suppose 25*a - 20*a = -3*m + 404198, -5*m = 2*a - 673695. Is m a prime number?
True
Suppose 5*v = 948 + 407. Is v a prime number?
True
Let b(v) = -1550*v - 13. Is b(-1) composite?
True
Let b(o) be the first derivative of 499*o**5/60 + o**4/12 - o**3/3 - 3*o**2/2 - 10. Let u(c) be the second derivative of b(c). Is u(1) composite?
False
Let s(c) = 3*c**2 + 3*c + c**3 - 5*c**2 + 2*c + 7 - 4*c**2. Let d(q) = 2*q**3 - 2*q**2 - q. Let n be d(2). Is s(n) prime?
True
Let t(d) = -d**3 - d**2 + d + 2. Let n(f) = -f - 6. Let a be n(-6). Let u be t(a). Suppose u*x - 13 = 13. Is x prime?
True
Suppose 3*m - 2*m = 10. Is 2934/m - (6/15 - 0) prime?
True
Let o(s) = 1603*s + 24. Is o(5) a prime number?
True
Let r(i) = 3*i**2 - 8*i - 5*i**2 + 4*i**2 + 9. Let x be r(8). Let s = -30 + x. Is s composite?
False
Let n = -38 - 100. Let u = n - -1609. Is u prime?
True
Let r(a) = -2*a**3 - 6*a**2 - 3*a + 5. Let g be 5*-6*4/30. Let j be r(g). Suppose -3*z + j = 3*c - 20, 0 = -3*z - 2*c + 65. Is z a composite number?
False
Let j(q) = -56*q - 26. Let d(z) = -37*z - 17. Let u(f) = 8*d(f) - 5*j(f). Is u(-4) prime?
False
Let a(w) = -w - 8. Let o be a(5). Let i = 45 - o. Suppose -507 - i = -p. Is p a prime number?
False
Suppose -8 = -4*n, -5*a + 3*n - 1250 - 8016 = 0. Let x = a - -3951. Is x a composite number?
False
Suppose -19*k = -14260 - 17223. Is k a prime number?
True
Suppose 2*l - 258 = 4*k, l + 2*k - 116 = 9. Suppose v - 3*v + 254 = -x, l = v - 4*x. Is v a prime number?
True
Let n(d) = 2*d**2 - d + 321. Suppose -w + 3*w = 3*w. Is n(w) prime?
False
Suppose 2*f - 3*q = 843 + 462, 3*f + 4*q - 1966 = 0. Suppose -8*n = -9*n + f. Let c = 29 + n. Is c a composite number?
False
Let q(t) = 10*t - 25. Let p = 26 + -16. Let y be q(p). Is y/6 - (-2)/4 prime?
True
Let c(j) be the first derivative of 11*j**3 + j**2/2 - 3*j + 12. Is c(2) a composite number?
False
Let f(i) = -i**3 + 9*i**2 - 13*i + 11. Let n be f(8). Let g = -20 - n. Let o = g + 169. Is o composite?
True
Suppose 1 = -b + 3. Suppose s + 260 = 4*w - 0*w, b*w = 5*s + 130. Suppose 5*j + w = 160. Is j prime?
True
Let x be -1*3*(-1 + 3). Let p = 6 + x. Suppose 0 = -p*m - m + 293. Is m a prime number?
True
Suppose 3*p = -4*o - 939, o - p = p - 221. Let w = 646 - o. Is w a prime number?
True
Let q(x) = -3*x**3 + 2*x + 1. Let o = -9 + 16. Let j = o + -8. Is q(j) prime?
True
Is 2/(-8) + 4330/8 a prime number?
True
Let p(i) = -i**2 + 10*i + 9. Let o(s) = 2*s + 3. Let q be o(-4). Let d be q*(-4 - 12/(-4)). Is p(d) a composite number?
True
Let g = -31 + 34. Suppose -v + 2*m = -128, 3*v - g*m = 205 + 188. Is v a prime number?
False
Suppose 2*q + q = 150. Suppose 215 + q = 5*m. Is m prime?
True
Suppose -4*i = i - 120. Let f = -711 + -34. Let l = i - f. Is l a prime number?
True
Suppose -g - 20 = 3*k + 3*g, -5*k = 2*g + 10. Suppose 5 = f + 6*l - 2*l, 3*l - 25 = -5*f. Suppose k = -6*z + f*z + 469. Is z composite?
True
Let g be 3 - -2*6828/8. Suppose 1365 + g = -5*m. Is (-3)/6 - m/2 a prime number?
True
Suppose b = 3, 3*b = -4*w + 2*b + 11. Suppose 4*t + 92 = -2*h, 5*h - 130 = w*t + 3*t. Is 12/t*(-590)/1 a prime number?
False
Suppose r + 4*h = 3969, -r = -4*r + 3*h + 11982. Is r a prime number?
True
Let s(o) be the first derivative of -o**4/12 - o**3/3 - o**2 + 2. Let j(a) be the second derivative of s(a). Is j(-4) prime?
False
Suppose -20*g + 118168 = -118212. Is g a composite number?
True
Let d = -2057 + 15706. Is d composite?
False
Let k(w) = -w**3 - 19*w**2 + 21*w + 27. Let y be k(-20). Suppose -9*f + 154 = -y*f. Is f a composite number?
True
Suppose -r = 4*r + 10. Let l be 1/r + (-18)/(-4). Suppose -m = -l*m + 153. Is m a prime number?
False
Let q(i) = 4*i**3 - 4*i**2 - 1. Let k(b) = -8*b**3 + 7*b**2 + b + 2. Let z(l) = -4*k(l) - 7*q(l). Is z(3) composite?
True
Let g = 5 - 3. Let q be 7/((-42)/(-24))*1/2. Suppose 3*m + 883 = q*f - 0*f, -1786 = -4*f + g*m. Is f prime?
True
Suppose z = -3*m + 200, -236 = 3*z + 2*m - 843. Suppose 4*r + z = l, -1 - 3 = -2*r. Is l composite?
False
Suppose 4*y = 3*q + 165, 5*q = 5*y - 187 - 93. Let j = 324 + q. Suppose -3*g + j = 2*g. Is g prime?
True
Let a = -20499 - -35328. Is a a prime number?
False
Let z = -6771 - -9880. Is z a prime number?
True
Let z = 95068 - 54491. Is z a prime number?
True
Let v(h) = 12*h**3 + 2*h**2 - 1. Let t = 4 + 4. Suppose 4*d + t = 8*d. Is v(d) composite?
False
Suppose -37 = -4*h + 5*z, -3*h + 11 = -3*z - 13. Suppose -2*u + u = -h*i + 58, i = -4*u + 28. Is 2550/i - 1/2 a prime number?
True
Let g(a) = 40*a**2 + 46*a + 11. Is g(18) a composite number?
False
Let p(l) = -l**3 - 7*l**2 - 4*l + 8. Let v be p(-6). Let n be -18*(0 - (v + 3)). Is 12/n*129/(-2) composite?
False
Let l(s) = 4*s**3 + 7*s**2 - 13*s - 21. Let h(w) = 7*w**3 + 15*w**2 - 25*w - 40. Let v(p) = -6*h(p) + 11*l(p). Suppose -10 = -2*u + u. Is v(u) composite?
True
Let s = -1706 + -2545. Let o = -1608 - s. Is o composite?
True
Suppose 0 = -w - 3*x + 7*x + 60, -5*w + x = -205. Is 4/(-10) - (-936)/w a prime number?
True
Suppose 31*q - 4827 = -d + 27*q, -4*d = 4*q - 19356. Is d prime?
False
Suppose 2*a = 6*a. Suppose a = 3*o + 4*l - 207 - 276, -5*l - 299 = -2*o. Is o a prime number?
True
Let y = 497 - 335. Suppose 