se -4*c - 27 = -5*u, 2*u - 5*c = 14 + 7. Suppose -u*r = 4*v - 190, 0*r + r - 5*v - 38 = 0. Is r prime?
False
Let m(i) = -15*i + 7. Let k(w) = 7*w - 4. Let z(y) = 7*k(y) + 4*m(y). Let c(v) = -v**3 - 5*v**2 + v. Let n be c(-5). Is z(n) prime?
False
Let s(w) = -w**2 + 3*w - 2. Let y be s(5). Is (46/3)/(y/(-18)) prime?
True
Suppose -j = 2*b + 3*b - 317, 5*j - 1665 = -5*b. Is j composite?
False
Let g = 18 + -15. Suppose -q = -g*q + 382. Is q a prime number?
True
Suppose -4*h + h = -9. Suppose 2*w + z = 5, -4*w + 22 = -2*z + 8. Suppose 2*n - 5*x - 54 = -0*n, -w*n - h*x = -60. Is n a composite number?
True
Let k(s) = s**3 - 5*s**2 + s - 2. Is k(5) a prime number?
True
Let c(j) = j**2 - 6*j + 6. Let k be c(5). Is (10/(-8))/(k/(-52)) composite?
True
Is (-3)/(9/(-1920)) - -1 composite?
False
Let b(k) be the third derivative of -1/6*k**3 - 1/12*k**5 + k**2 + 1/8*k**4 + 1/120*k**6 + 0*k + 0. Is b(5) composite?
True
Let n(k) = k**3 - 8*k**2 - k + 7. Is n(9) prime?
True
Is (-1)/((4/(-284))/1) a composite number?
False
Suppose 777 = 2*v - 5*p, v + p - 4*p - 388 = 0. Is v prime?
False
Suppose -t + 164 = h, 4*t - 5*h - 76 = 562. Let y = -56 + t. Is y composite?
True
Let s(w) = 8*w - 4. Let a be s(-3). Let j = a - -115. Is j a prime number?
False
Let d = 78 + -34. Let y = d - 21. Is y a prime number?
True
Suppose 2*q - 354 = q. Suppose 0*s - q = -2*s. Is s a composite number?
True
Let x(z) = 48*z - 1. Let v be x(1). Let t = v + -28. Is t prime?
True
Let k(o) = 8*o - 2. Let m be k(-2). Let a = -12 - m. Is (38/(-4))/((-3)/a) a composite number?
False
Let f(x) = 5*x + 4 + 0*x - 3. Let o(y) = -3*y - 1. Let b(z) = 6*f(z) + 11*o(z). Is b(-6) prime?
True
Suppose -115 = -3*p - 2*p. Suppose 2*q = 4*s - 163 + p, -5*s + 5*q = -175. Is s composite?
True
Let p(n) = n**3 + 13*n**2 - 3*n - 4. Let m be p(-7). Let f = m + -172. Is f composite?
False
Suppose d + 2057 = 5*i, i + 4*d - 409 = 5*d. Suppose 3*h = i - 91. Let w = h - 74. Is w a prime number?
False
Let u = 1 - -2. Suppose 0 = 3*o - 3*a - 441, 2*o - 288 = u*a + 2*a. Is o a prime number?
True
Let t(s) = -5*s**3 - 9*s**2 + 2*s - 2. Let q(k) = 4*k**3 + 8*k**2 - 2*k + 1. Let v(i) = 3*q(i) + 2*t(i). Is v(6) a prime number?
False
Suppose 4 = k - 1. Suppose 0*n - 385 = -k*n. Suppose -a = -0*a - n. Is a prime?
False
Let w(t) = -t**2 - 7*t + 10. Let b be w(-8). Is b - (-188 + (3 - 4)) prime?
True
Suppose -2*t - 2*f = -4*t + 318, f = 2*t - 314. Is t composite?
True
Suppose b - 4*z = 7809, 39165 = 5*b - 0*b + 4*z. Is b a composite number?
False
Suppose 0 = -2*m - m + 2*u + 24, 4*m = -u + 21. Let y = m - 2. Let d = 6 + y. Is d a composite number?
True
Let y(u) = -u**3 - u**2 - u + 49. Let d(v) = -v**3 + 3*v**2 + 6*v - 6. Let m be d(4). Suppose 0 = -3*h - m - 1, -g - 3*h - 3 = 0. Is y(g) a composite number?
True
Suppose 0 = -f + 2*f + 10. Let b = 4 - f. Suppose 5*y + b - 84 = 0. Is y a prime number?
False
Let b = 19 + -13. Suppose -95 = -b*r + r. Is r prime?
True
Suppose -6*y = -2*y + 4*k - 288, -5*y - 4*k + 355 = 0. Let w = y - 120. Let c = -34 - w. Is c prime?
True
Is (-1)/(-1)*(479 - 0/(-3)) a composite number?
False
Let s(h) = -h**3 + 7*h**2 + h - 5. Let j = 13 - 9. Is s(j) a composite number?
False
Let m = 124 - 75. Is m a prime number?
False
Let h be (-6)/(-12) - (-10)/4. Is (176/6 - 3)*h prime?
True
Suppose 710 = -5*t - 0*t. Is 3 - t*1/2 composite?
True
Let w be (3/(-2))/(3/8). Let c = -8 - w. Let k = c - -30. Is k prime?
False
Let i = 679 + -236. Is i prime?
True
Suppose -1498 = -2*c + 876. Is c a composite number?
False
Let t(r) = -r**3 + r**2 - r + 1. Let a be t(1). Suppose 3*m + 0*m - 159 = a. Is m prime?
True
Suppose -j + 12 = z + z, j = -z + 15. Is ((-6)/j)/((-1)/237) a prime number?
True
Suppose 436341 - 142327 = 14*p. Is p prime?
True
Let y(s) = -3*s**3 + 11*s**2 - 2*s - 7. Let a(f) = -f**3 + f**2 - 1. Let h(b) = -2*a(b) + y(b). Is h(5) composite?
True
Let w(b) = -88*b**3 - b**2 + 3*b + 1. Let t(m) = m**3 - m**2 + m. Let v(n) = -2*t(n) + w(n). Is v(-1) a prime number?
False
Let p(k) = -9*k**3 - 2*k**2 - 3. Is p(-4) a composite number?
False
Let y be (13 - 8)/((-2)/(-94)). Let s be 2/(-4) + (-14)/(-4). Suppose s*z = y + 212. Is z a composite number?
False
Let j(c) = c**3 - 10*c**2 - 14*c + 13. Suppose -3*z = -56 + 20. Is j(z) a composite number?
True
Let f = 548 + 291. Is f composite?
False
Suppose 0 = -11*k + 12*k - 2285. Is k a prime number?
False
Let w(b) = 14*b**2 - 17*b + 4. Let d(h) = 9*h**2 - 11*h + 3. Let y(v) = 8*d(v) - 5*w(v). Is y(-3) a composite number?
False
Let m(x) = x - 2. Let y be m(7). Suppose 0 = -5*f + 5*g + 75, -2*f + y*g + 30 = -0*f. Is f a composite number?
True
Let g(j) = j**2 - j + 2. Let q(y) = y - 1. Let w be q(3). Suppose -4 = -w*t - 0. Is g(t) a prime number?
False
Let p(l) = 4*l + 6*l + 3 - 4. Suppose 0 = -w - 3*d + 7, w - 2*w + d = -3. Is p(w) a prime number?
False
Let t(d) = -2*d + 6. Let f be t(5). Let n = f + 41. Is n composite?
False
Let v = 2 - 47. Let r = v + 75. Suppose 0*o - 3*o + r = 0. Is o composite?
True
Suppose 0 = -v + 2 - 0. Suppose -u - 189 = -2*f + v*u, -5*f - 4*u = -415. Is f a composite number?
True
Let r(u) = -2*u**2 + 6*u + 4. Let i be r(5). Let x = 41 + i. Is x prime?
False
Let c be 0*(4 - 6)/2. Suppose n - 677 = -c*n. Is n composite?
False
Suppose -2*a - 3*a + 40 = 5*i, -2*a + 5*i - 5 = 0. Suppose -5*f + 706 = v, 0*v - 702 = -a*f + 3*v. Is f composite?
True
Let j be 1*-2 + (92 - 2). Suppose -33 = w - j. Is w composite?
True
Suppose 3*r = -2*h + 55, -32 = -2*h - r + 25. Suppose u - 20 = h. Is u a composite number?
True
Let u = -151 - -522. Is u composite?
True
Let a(c) = c**2 - 4*c - 7. Let g be a(6). Suppose 4*f = g*f - 208. Suppose u - 110 = l - 3*l, 4*l - f = u. Is l composite?
False
Let r be (-2)/(((-5)/4)/5). Let x = r - 5. Suppose 3*u - 5*q = 191, -3*u = x*q + 40 - 247. Is u a prime number?
True
Suppose -3 = -3*j + 2*j. Suppose 0 = -4*x - j*i + 588, 446 = 3*x - 2*i + 3*i. Suppose -3*u - x = -2*g + 13, g = -2*u + 99. Is g a composite number?
False
Suppose 3*q + 2*q = -105. Let c = q + 9. Is -38*3/c*2 composite?
False
Let q be (2 - (2 - 0))/(-2). Suppose 2*c - 4 - 16 = q. Is c prime?
False
Let l = -1431 + 2150. Is l composite?
False
Let c(o) be the third derivative of -o**6/120 - o**4/24 - 2*o**2. Let g be c(0). Suppose g = -4*y - 58 + 246. Is y a composite number?
False
Let s = 24 - -307. Is s a composite number?
False
Suppose 0 = -8*w + 12616 + 7632. Is w composite?
False
Suppose -4*g = 20, -3*w - 3*g - 2*g = 16. Let r = w + -16. Let x(i) = -3*i + 7. Is x(r) prime?
False
Let z(a) = -8*a. Let x be z(1). Let r be (-12)/x*8/3. Suppose 43 = o - 4*l - 28, 2*o + r*l - 106 = 0. Is o composite?
False
Let a(n) be the first derivative of 128*n**3/3 - n + 6. Is a(-1) prime?
True
Let l(a) = 4*a**2 + 15*a + 10. Is l(-15) a prime number?
False
Let k be 5*(-2)/(-10)*-8. Let g(m) = -m**2 - 9*m - 9. Let y be g(k). Is (-2)/y*(-222)/(-12) a composite number?
False
Suppose 0 = b + 2*j - 1283, -5*b - 4*j = j - 6415. Is b prime?
True
Let m(c) = -c**3 + 16*c**2 - 4*c + 2. Is m(7) a composite number?
True
Suppose -9 = -5*r + 1. Suppose 4*b = -r*i + 102, -3*b = -2*i - 5*b + 106. Is i composite?
True
Let a = 20 + -28. Let v = 5 + a. Is 33 + v*2/(-6) prime?
False
Let a(l) = 10*l**2 + l + 1. Is a(2) prime?
True
Let n(u) be the second derivative of -u**5/20 + 5*u**4/6 + 5*u**3/6 + 3*u**2/2 + u. Is n(10) prime?
True
Let k(n) = n**2 - 7*n - 4. Let z be k(-9). Is z/4 - 3 - 1 a composite number?
False
Is (0 - (0 + 0)) + (-759)/(-3) a prime number?
False
Suppose -3*m + 5*y = -1537, -2*m + 1502 = -4*y + 476. Suppose -u - 233 = 59. Let f = u + m. Is f a prime number?
False
Suppose 5*n + 1 + 0 = 3*s, 5*n - 5 = 0. Suppose 0*r - 5*r = s*o - 280, -138 = -o - 2*r. Let c = -77 + o. Is c composite?
False
Suppose 4*y - 4 = -3*c, -3*y + y - 3*c - 4 = 0. Suppose -i + 5*n = -131, -5*i - y*n + 6*n + 655 = 0. Let x = i + -92. Is x a prime number?
False
Suppose y = 15 - 1. Let x = 56 - y. Let m = -7 + x. Is m prime?
False
Let f be (-6)/(-21) - (-52)/14. Suppose 0 = -3*q + f*y + 10, -8*q + 3*q + 6 = 4*y. Suppose 7*g = q*g + 75. Is g a composite number?
True
Let w(b) = 8 - 4*b**2 - b + 32*b**3 + b - 31*b**3. Is w(7) a composite number?
True
Suppose 5*p = 4*c + 9, 5*c - 9 = 11. Suppose v + 19 = -2*q, q + q =