 f a composite number?
False
Let n(k) = -k**3 - 2*k**2 + 2*k - 1. Let s be n(-3). Is s*435/6*1 composite?
True
Let b(v) = 55*v. Let o be b(2). Let j = 0 + 3. Suppose 0 = -j*y + y + o. Is y a prime number?
False
Let o = -24 - -25. Let m(c) = 53*c**3 - c**2 + 1. Is m(o) a composite number?
False
Let k = -2353 - -3468. Is k a composite number?
True
Is (755 + 7 + -13)*2/2 prime?
False
Suppose -5*d + 2*p = -p, 4*d = -3*p. Suppose s + 3*s - 188 = d. Is s composite?
False
Let a = -1733 + 2622. Is a a composite number?
True
Let m = 40 + 40. Let n = 129 - m. Let f = -26 + n. Is f composite?
False
Suppose -5*h + 130 = 3*t - h, 5*t + 5*h = 215. Suppose 2*d + 3 = -4*y - 3, -3*d = 3. Is 0 - (-2 - t - y) composite?
False
Let l(c) = c - 3. Let h be l(2). Let x be 3*(h + 1 - 1). Is (-1)/3 - 103/x a prime number?
False
Let i(w) be the first derivative of -23*w**6/120 + w**5/60 - w**3/6 + 3*w**2/2 + 3. Let k(b) be the second derivative of i(b). Is k(-1) a composite number?
False
Let c(i) = 325*i - 9. Is c(2) a prime number?
True
Let r = 376 - -367. Is r prime?
True
Suppose -n + 3*n - 22 = -4*g, -2*g + 5*n - 19 = 0. Let d(q) = 7*q**2 - 2*q - 2. Is d(g) prime?
False
Suppose -2*y - 1 = -5. Suppose m - 247 = -3*w, -55 - 107 = -2*w + y*m. Is w a prime number?
False
Suppose 2*q - 12 = -6*s + s, 2*s = -3*q + 7. Suppose -17 + 247 = s*r. Is r a composite number?
True
Let w = 16 + 1. Let o = w + 60. Is o composite?
True
Suppose 5*v + 3*f = 2351, -v = 3*v - 5*f - 1866. Is v prime?
False
Let v(g) be the first derivative of g**3/3 + 5*g**2/2 + g - 2. Is v(4) a composite number?
False
Let t = -5 - -4. Let n(w) = -20*w + 1. Is n(t) a prime number?
False
Suppose 2*k - 8 = 3*k. Let h(b) = 4*b**2 + 7*b + 11. Is h(k) composite?
False
Suppose 5*p = 16 - 6, -3*k - 4*p = -185. Is k a composite number?
False
Suppose -8 = -4*d + 2*d. Suppose -841 = -d*k + 643. Is k a prime number?
False
Let t(m) = m**2 - 1. Let z be t(2). Suppose -3*j + 10 = -q, -3*q = 14 - 2. Suppose 0 = j*x, x - 52 = -z*b - b. Is b a composite number?
False
Let x(b) = 168*b + 1. Let q be (-20)/(-15) + 2/3. Is x(q) a prime number?
True
Let v(p) = -1 + p**2 - 3*p + 0*p + p. Let g = -11 + 7. Is v(g) prime?
True
Let d(c) = -18*c + 5. Let b(g) = -35*g + 9. Let p(n) = 6*b(n) - 11*d(n). Is p(-3) a prime number?
False
Is (-4)/18 + 4/((-144)/(-260)) prime?
True
Let p = -25 - -58. Is p a prime number?
False
Let x = 60 + -99. Let p = 65 + x. Is p a prime number?
False
Let j(q) = -q - 3. Let d be j(-10). Suppose 0 = -2*x + d*x - 65. Is x composite?
False
Let u = 78 - 158. Let d = -29 - u. Is d composite?
True
Suppose -232 = -3*j + 989. Is j composite?
True
Suppose 8*f = 5*f - 6. Is 0/(0 - f) - -161 composite?
True
Suppose v + 6 = 2*o, -2*o - 3*o - v = -15. Suppose -4*q = 3*j + 171, o*j - q = 5*j + 114. Let z = -31 - j. Is z prime?
False
Suppose -3*t - 803 + 3524 = 0. Is t composite?
False
Let h = -325 + 704. Is h composite?
False
Suppose 2*t - 11 = 33. Let b be (t - 1)/(3 - 2). Suppose -2*m = -2*q + 46, m = -2*q + q + b. Is q a composite number?
True
Let j be ((-5)/2)/(8/(-32)). Suppose -101 = -h + j. Is h prime?
False
Let j = -9 - -12. Let o = j + 10. Is o composite?
False
Let c(a) = a**2 - 10*a - 2. Let u be c(-8). Let d = u - -67. Is d composite?
True
Suppose 10*a = 7*a + 15. Suppose -2*j + 6*x + 250 = 2*x, a*j = -x + 636. Is j composite?
False
Let p(s) = s**3 - 5*s**2 + 3*s - 7. Let j be p(5). Let d = -6 + j. Suppose -8 = d*n - 82. Is n a composite number?
False
Let o(w) = -2*w + 12. Let u be o(9). Let p(q) = q + 6. Let g be p(u). Suppose -1 = -b, g = 5*r - 0*r + 2*b - 37. Is r a composite number?
False
Let r be 6286/63 - (-4)/18. Let h = r - 21. Is h composite?
False
Suppose z - 384 = -q - 109, -2*q = -8. Is z a prime number?
True
Suppose 3*t - 4*r - 6471 = 0, -t - r = 3*r - 2141. Is t prime?
True
Let z(n) = -n**3 + n**2 + n + 1. Let v be z(2). Let m be (12/(-16))/(v/(-12)). Is (15/4)/(m/(-36)) prime?
False
Let c(p) = -146*p - 49. Is c(-18) composite?
False
Let q = -411 + 596. Is q a composite number?
True
Suppose 0 = -13*l + 15*l - 1238. Is l a prime number?
True
Suppose -5*g - 5*p + 775 = 0, -2*p + 605 = 4*g - p. Is (-4)/(-14) - g/(-14) prime?
True
Let q be (4/(-6))/(1/(-18)). Let w be (-4)/(-6) + q/9. Suppose -3*j + w*j - 4*c + 47 = 0, j - 45 = -5*c. Is j a prime number?
False
Suppose 3*h - 2*h + 86 = 0. Let c = 177 + h. Is c a composite number?
True
Suppose 0*b = -3*b - 2*r + 8, 0 = b + 5*r + 6. Suppose -b - 74 = -3*z. Suppose z = 2*g + 4. Is g a prime number?
True
Let g = -7 + 12. Let x = g - 8. Is (-2 - x/1)*15 composite?
True
Suppose 0 = -5*c + 4*c + 5. Suppose -2*o - 136 = -4*j, 3*j + c*o - 51 = 64. Is j prime?
False
Suppose -a - 4*y = 3, -5*a - 15 = 8*y - 3*y. Is a/(1/74*-2) prime?
False
Let h(f) be the second derivative of 53*f**3/3 - f**2/2 + 2*f. Let s be h(1). Suppose -4*u + u = -s. Is u a composite number?
True
Let r(a) = 11*a + 62. Is r(25) composite?
False
Let v(h) = 11*h**2 + 3. Let m be v(-3). Suppose 8 = 4*f, 2*f - 7*f = -4*b + m. Suppose -5*x + x = -b. Is x prime?
True
Suppose m - 2*m + 27 = -d, 3*m - 9 = 0. Let z be (-1)/(-4) - 1794/d. Is (4/(-6))/((-2)/z) composite?
True
Suppose -4*m = -2*m + 8, 4*m + 581 = b. Is b composite?
True
Suppose -4*z + 2*b + 24 = 0, -5*z + 0*b = -4*b - 30. Let c(x) = x**3 - 6*x**2 - x + 6. Let v be c(z). Let r(a) = -a**3 - a**2 + 19. Is r(v) composite?
False
Let c = 32 + -7. Is 188/10 + 5/c a composite number?
False
Suppose -12 = 4*x - 0*x. Let a be -18 - (2 + 0 + x). Let z = -4 - a. Is z prime?
True
Suppose -2*r = -143 - 227. Is r a prime number?
False
Let r(m) = m**2 - m - 17. Let k = -2 + 18. Is r(k) a prime number?
True
Let z be (4/(-8))/((-1)/(-2)). Let a = z + 3. Is -226*a/(-4) + -2 prime?
False
Let s = -4200 - -6353. Is s prime?
True
Suppose -y + 647 = 3*h - 1220, 0 = -5*y + 3*h + 9299. Is y a prime number?
True
Let m = 5 - 3. Suppose -k = -4*b - 69, -172 + 34 = -m*k - 2*b. Is k a composite number?
True
Suppose -6 = -w - 2*w. Let i(z) = 5*z**2 - 4 + 1 - 5*z + 2*z + 3*z**w. Is i(4) a composite number?
False
Is 6778/(-3)*((-36)/8 - -3) prime?
True
Let m = -20 - -109. Is m prime?
True
Suppose b - 156 - 397 = 0. Is b a prime number?
False
Let m = 11 - 0. Is m composite?
False
Let l = 16 - 6. Is l composite?
True
Let x(d) = 44*d - 5. Is x(6) prime?
False
Is 4/(48/524)*3 composite?
False
Let s = 63 - 3. Suppose -38 = -2*o - 5*i, -7*o + s = -2*o - 5*i. Is o a prime number?
False
Let w = 305 + -94. Is w a prime number?
True
Let p = 3 - -2. Let x = -7 - -12. Suppose -v - v + x*b = -135, -3*v + 190 = -p*b. Is v composite?
True
Suppose -2*z - 4 = -28. Let f be 75/2*8/z. Suppose -f - 17 = -2*v. Is v a prime number?
False
Let g(b) = -b**3 + 5*b**2 + 4*b - 7. Let o be g(5). Suppose -2*p - 335 = -5*r, -p - 77 = -r - o. Is r a prime number?
False
Let g = -5 - -9. Suppose 5*k + 6 + g = 0. Is (-164)/(-5) + k/(-10) a composite number?
True
Let r = -5 - -40. Is r a prime number?
False
Suppose -l = 5 - 4. Let z = 6 - l. Suppose 2*v = -1 + z. Is v a prime number?
True
Let w be ((-1)/(-2))/(10/520). Suppose -w = -4*v + 2. Is v prime?
True
Let a = -15 - -84. Suppose 2*d + 3*b - 31 - a = 0, 5*b + 178 = 4*d. Is d a prime number?
True
Let k(o) be the third derivative of -7*o**5/60 + o**4/6 - o**3/2 - 2*o**2. Let z be k(4). Let a = -46 - z. Is a a prime number?
True
Let x(t) = 10*t**2 + 4*t. Let s be x(-5). Let u = 49 - 30. Let z = s - u. Is z prime?
True
Let h(n) = -n - 1. Let a(i) = -i - 6. Let m(t) = 3*a(t) - 15*h(t). Let j be m(4). Suppose 2*u = j + 17. Is u prime?
True
Suppose -3*t - 5*p = -893, 566 = 2*t + 3*p - 7*p. Is t a composite number?
True
Suppose -4*x - 2224 = 5*o, 0*x - x = -4. Let z(u) = u - 4. Let m be z(5). Is m/5 + o/(-35) composite?
False
Let z(d) = 378*d**2 - d. Is z(-1) prime?
True
Let i(a) = -23*a - 10. Let n be i(-11). Suppose -2*c = -n + 53. Is c prime?
False
Let p be (6/(-6))/(2/(-6)). Suppose -r - p*r + 332 = 0. Is r prime?
True
Let q be (3/3)/(-2 + 1). Let z(y) = -25*y**3 + 2*y + 2. Let i(p) = -125*p**3 + 11*p + 11. Let k(m) = -2*i(m) + 11*z(m). Is k(q) composite?
True
Is (1401/12)/((-5)/(-20)) a prime number?
True
Let b = -996 - -1449. Is b prime?
False
Suppose 10*k - 12*k + 70 = 0. Is k a composite number?
True
Let w be (-3 + -1)/(2/(-23)). Suppose -j - w = z, 