s + 1. Is p(n) a prime number?
True
Suppose 0 = -3*z + 12, 0*z - z = -3*i + 11. Suppose 3*u - i*j = 2236, 0*u + j + 742 = u. Is u a composite number?
True
Let f(b) = -b. Let u be f(6). Let v(j) = -2*j**3 + 7*j**2 - 6*j - 5. Let y be v(u). Suppose -6*h + y = -23. Is h a prime number?
False
Suppose -5*x + 2 + 0 = 2*m, -25 = 5*m + 5*x. Let f(i) = 21*i**2 + 7*i + 19. Is f(m) composite?
False
Suppose 4*v + 2*r - 1 + 15 = 0, -5*v = r + 10. Is (19836/8 + v)*2 a composite number?
False
Suppose -65432 = -15*g + 173083. Is g prime?
True
Let x(k) = -252*k**3 + 3*k**2 + 5*k + 1. Is x(-1) prime?
True
Suppose 0 = 4*m + m, -4*m = -2*f. Suppose 7*l - 3*l = f. Suppose -5*h = -l*h - 1655. Is h a prime number?
True
Let x be (-100)/(-8)*(-204)/(-5). Suppose x = -b + 104. Is (-15)/10*b/3 composite?
True
Suppose -74*q + 373044 = -62*q. Is q composite?
True
Let w(k) = 14*k**2 + 2*k - 9. Let g be (-4)/(-14) - 79/7. Let i = -7 - g. Is w(i) composite?
False
Suppose -8*j + 4*j - 5*f = -25, 2*j = -3*f + 13. Let h(p) = -157*p - 46. Let w(u) = 79*u + 23. Let l(a) = j*w(a) + 2*h(a). Is l(16) composite?
False
Suppose 2*g - 8*o + 7*o = 10861, -3*g + 16302 = -5*o. Is g a prime number?
False
Suppose -10*v + 15575 = -7095. Is v a prime number?
True
Suppose -4*k + 14 = -10. Is (3012/(-18))/((-4)/k) prime?
True
Suppose -2*b - 5*z - 9 = b, 4*b = -z + 5. Suppose -5*f = -b*k - 1939, -2*k + k + 3 = 0. Is f prime?
True
Is ((-4)/(-6))/((-14605)/1623 + 9) composite?
False
Let w be (-10)/5 + (2 - -1). Let b(v) = -w + 14 - 6 + 165*v - 6. Is b(2) a prime number?
True
Let g be -3 - (-12 + 2) - 2. Let v(l) = -l**3 + 5*l**2 - 6. Let t be v(g). Let y(w) = 5*w**2 + 10*w + 11. Is y(t) a composite number?
False
Let h be -4*1/(-2) + 0/(-5). Suppose 0 = 5*m + h*u - 5355, m - 2*u = -u + 1064. Is m prime?
True
Let f(w) = 86*w - 103. Is f(15) a composite number?
False
Suppose -10 = -k - 4*k. Suppose 2*z - 10 = -4*f, k*f - z = -0*f + 11. Suppose f*p - 234 = -2*w, p - 5*p - 147 = -w. Is w a composite number?
False
Let m(p) = p**3 + 5*p**2 + 5*p + 2. Let r be m(-4). Suppose -3*x + 584 = -2*y, -4*y + x - 1655 = -467. Is -1*r/((-4)/y) prime?
True
Suppose 5*o - 15 = 5. Let f = o + -4. Is (-97)/(-3 + 2 - f) prime?
True
Let r(c) = 21*c**2 + 46. Is r(6) prime?
False
Suppose -2*s - 48 = 76. Let y = s + 355. Is y prime?
True
Suppose 14*g = 3*g - 10142. Let i = -591 - g. Is i a prime number?
True
Suppose 3*j = -2*q + 1414 + 13549, 0 = 2*q + 5*j - 14969. Is q a prime number?
True
Let w(b) = 2*b**2 + 41*b**3 + 1 - 37*b**3 - b + 50*b**3. Is w(2) a composite number?
False
Let f(c) = 3321*c - 86. Is f(5) a composite number?
False
Let x(h) = 260*h**2 - 19*h + 29. Is x(2) a prime number?
True
Is 2922/(-12)*-16 - 3 prime?
False
Suppose 3*j = j - 4, 2*j = -4*y - 1972. Is 2 + y/8*-6 prime?
False
Let j(z) = -2*z**3 - 2*z**2 + 2*z. Let x be j(-2). Suppose 90 + 386 = -x*c. Let k = 222 + c. Is k composite?
False
Let o be (1 - 2)/(-2) + (-75)/6. Is ((-149)/6)/(2/o) prime?
True
Let q = 54947 + -22764. Is q a composite number?
False
Let x(l) = -22*l**3 - 24*l**2 + 4*l - 31. Is x(-11) composite?
True
Let i(k) be the first derivative of -11*k**2/2 + 8*k + 6. Let q be (-44)/8 - (-1)/(-2). Is i(q) composite?
True
Suppose a + 0 = 4*t - 11, 3*t - 9 = a. Let k(f) = 3*f**3 - 2*f**3 + 7 - t*f + 0 + 11*f**2 - f. Is k(-8) a prime number?
True
Let z be (-2 - (-3)/3)/((-5)/25). Suppose -n + 0*j + 1056 = 5*j, 4*j = z*n - 5309. Is n a prime number?
True
Let o(c) = -3*c**2 - 2*c - 1. Let h be o(-1). Let d(s) = -4*s**3 - 3*s**2 + s + 2. Let j be d(h). Suppose q = j + 107. Is q a prime number?
True
Let a = -95 + -178. Let z = a + 478. Is z prime?
False
Let j(a) = 107*a**2 + a + 1. Let k be j(1). Let u = k + -20. Is u a composite number?
False
Suppose -4*y = y - 50. Suppose -4*g - y = -6*g. Is (g + -4)*(-409)/(-1) composite?
False
Let i be (3 + -2)/(4/20). Suppose -30 = -i*y + 3*w, 0 = 5*y - w - 19 - 1. Suppose y*c + 88 = 7*c. Is c prime?
False
Let r(m) = -2*m + 1. Let s be r(1). Is (1/(-3))/(1/(-69)) + s a prime number?
False
Suppose 2*a - 1 = 3. Let i(y) = -5*y - a*y + 1 + y + 37*y**2 + 4*y. Is i(2) prime?
False
Let x be (7 - 7)/((-1)/(2/4)). Suppose -p - 3 = 0, 2*v + x*p = 4*p + 2954. Is v composite?
False
Suppose f - 3 = -s - 0, -2*f = -4*s. Is (-2722 + s)/(-3 + 0) composite?
False
Is -8*2/(-48)*16143 a prime number?
True
Suppose 889 = w + 18. Is w a prime number?
False
Suppose -g - 3348 + 1142 = 4*w, 1661 = -3*w - 4*g. Let s = w + 348. Let r = -92 - s. Is r a composite number?
True
Let n = 8754 - 3691. Is n a composite number?
True
Let d be (-3)/(2/(3 + -5)). Suppose 0 = 4*a + d*m + 12, -a + 4*m = 5 - 21. Suppose -k + 6*k - 635 = a. Is k prime?
True
Let p(l) = -230*l - 33. Is p(-20) a prime number?
True
Suppose a = 3*u + 64, -4*a + 5*u + 176 = -66. Let b = -58 - a. Let x = 5 - b. Is x prime?
False
Let n = 95 - 105. Is (8/(-10))/(n/925) composite?
True
Suppose 3*s - l - 35357 = 0, 20*s - 47144 = 16*s + 2*l. Is s a composite number?
True
Let c(a) = -a**2 + 7*a. Let h be c(6). Let r = 57 - h. Let y = 146 - r. Is y a composite number?
True
Let w be (-9)/(-6) - (-3)/6. Let h be 0/w + 3/3. Is 3/(h + 2)*185 composite?
True
Let w(c) = -6*c - 1. Let q be w(-1). Suppose -155 = -2*g + 3*b, 0 = q*g - 3*b + 4*b - 396. Is g composite?
False
Suppose 0 = 5*h - b - 9803, -30*h + 32*h - 4*b - 3914 = 0. Is h a prime number?
False
Suppose -3*t - 1 + 0 = -5*c, -8 = -4*c. Suppose 0 = -5*d - 5*v + 6410, 4*d - t*v = v + 5088. Is d prime?
True
Suppose 21*m + 4083 = 24*m. Is m composite?
False
Suppose -633 - 3082 = -4*a + 3*u, 0 = -3*a - u + 2796. Suppose 3*i - 2402 - a = 0. Is i a prime number?
False
Suppose -201*b - 232476 = -213*b. Is b a prime number?
True
Suppose -s = -10*s - 0*s. Let p(k) = -k**2 + 4*k + 1623. Is p(s) composite?
True
Let j(o) = -o**3 + 5*o**2 + 7*o. Let n(m) = -m**3 + 7*m**2 - 5*m. Let c be n(6). Let f be j(c). Is 1748/3 - (-2)/f a composite number?
True
Is (2*-2)/(((-72)/(-50532))/(-3)) prime?
False
Let a(x) be the second derivative of -x**5/20 - 5*x**4/12 - 7*x**3/3 + 9*x**2/2 - 7*x. Is a(-10) composite?
True
Let r(g) be the second derivative of 11*g**4/4 + 5*g**3/6 - 3*g**2/2 + 30*g. Suppose p + 23 = -4*w, 3*w + 5*p + 14 = -16. Is r(w) a prime number?
True
Suppose -5*g + 39 = 2*l, 55 = 5*g - 3*l + 1. Suppose -14*i = -g*i - 1245. Is i a composite number?
True
Let d be (-36)/(-3)*3/(12/191). Suppose -3*p = -36 - d. Is p composite?
True
Suppose -8*n - n + 18 = 0. Let p be 4/(4/(-18)*-3). Is ((-21)/n)/((-3)/p) composite?
True
Suppose -13*o - 48444 = -25*o. Is o a composite number?
True
Let o(z) = -z**3 - 3*z**2 + 3*z - 2. Let c(m) = m + 3. Let j be c(-7). Let i be o(j). Suppose 0*r + 2526 = i*r. Is r a composite number?
True
Let q(c) be the first derivative of 547*c**2/2 + 3*c + 48. Is q(2) a composite number?
False
Suppose -7*u + 7470 = 2*u. Is (-4 - -3)/((-2)/u) composite?
True
Let x(j) = 4*j**2 - 6. Let u = -49 - -44. Is x(u) a composite number?
True
Suppose -61 = -3*a - 7. Let n = 12 - a. Is (1455/(-9))/(2/n) composite?
True
Let p(n) = 2*n**2 + n + 2. Let c be p(-2). Suppose 2*k - k - c = 0. Is 636/k*(-2)/(-3) prime?
True
Let p(m) = -12*m - 1. Suppose -8 = 2*y - 3*y. Let k be -4 - -3*y/12. Is p(k) composite?
False
Suppose 8*o - 20 = 6*o. Suppose -2348 = 6*u - o*u. Is u a prime number?
True
Let g(b) = -4*b - 9. Let x be (18/(-27))/((-4)/(-18)). Let j(v) = v**2 + 6*v + 1. Let a be j(x). Is g(a) a prime number?
True
Let w(b) be the second derivative of 7*b**3/2 + 3*b**2/2 + 3*b. Is w(4) a composite number?
True
Is 13770 + 1 + (31 - 21) prime?
True
Suppose -27*g + 21*g + 38028 = 0. Is g prime?
False
Let g(p) = -p**2 - 3*p - 21816. Let v be g(0). Is v/(-42) - (-3)/(-7) prime?
False
Let w = 9 + -9. Suppose w = -5*o - 3 + 13. Let g = o - -8. Is g a prime number?
False
Let r(i) = i**3 + 11*i**2 - 4*i - 39. Is r(-9) a prime number?
False
Suppose 0 = -2*r + 10. Suppose 0 = 3*o + 2*i - 101, -6*o + 3*o = -r*i - 73. Suppose -5*f = -386 + o. Is f a prime number?
True
Suppose -t + 75 = -64. Let q be 24/(-36) - 304/(-6). Let r = t - q. Is r prime?
True
Let f be (12/18)/(1/3). Suppose 7467 = f*n - 3*q, -4*q + 1286 = 2*n - 6146. Is n/10 - (-10)/25 a composite number?
False
Is 2/(-11) + -1*246879/(-33) composite?
False
Is 120/48*(-261102)/(-15) a prime numbe