+ 0 - 3*m**3 + 2 + m. Is o(3) a composite number?
True
Let a be (-9)/12*(-4)/1. Suppose -3 = -3*z - 4*i + 26, 3*i - a = 4*z. Suppose 0 = 2*m + 2*b - b - 53, -z*m - b + 79 = 0. Is m a composite number?
True
Suppose -328 = -j - 3*j. Is j prime?
False
Let w(t) = -t - 4. Let j be w(-7). Is -1 + (0 - j - -83) a prime number?
True
Suppose -5*n + 7 = 2*u, 19 = n - 0*n - 4*u. Let q(k) = -34*k + 3*k - 5 - n*k. Is q(-4) composite?
False
Is 294 + (3/6)/((-2)/4) composite?
False
Suppose 8*s + 0*s = 4696. Is s a prime number?
True
Let v = 175 + -64. Is v prime?
False
Let p = 10 + -47. Let w(f) = -f**3 - f**2 - 2*f - 4. Let o be w(4). Let i = p - o. Is i a prime number?
False
Let k(p) = 312*p**2 + p + 3. Is k(2) a prime number?
False
Let u be 6/(-4)*(-6)/9. Is -4*(-47)/4*u a prime number?
True
Let n = 15 - 21. Let w be (-3)/n*2*5. Let c(z) = -z**2 + 13*z - 3. Is c(w) prime?
True
Suppose 8*w = -0*w + 17224. Is w a composite number?
False
Suppose -2*g + 0*v = -4*v + 58, 5*g - 3*v = -166. Let t = 7 + g. Let b = -14 - t. Is b prime?
False
Suppose 2*v = v. Suppose -6*c + v*c = -4422. Is c a prime number?
False
Suppose u + 75 = 188. Is u composite?
False
Let s(c) = -c**3 - 4*c**2 + 2*c - 5. Suppose -6*h = -h + 25. Is s(h) a prime number?
False
Let n = 14 + -12. Suppose -944 = -4*v - n*p - 2*p, v = -2*p + 239. Is v prime?
True
Let d(h) = -h - 3. Let p be d(-7). Suppose -z - p*x + 45 = -50, 2*z - 166 = -2*x. Is z composite?
False
Suppose 6*y - y = 0. Suppose y = -5*q + 139 - 44. Let i = -12 + q. Is i a prime number?
True
Let d be 10*((-5)/(-2) + -2). Let c = d + 2. Is c composite?
False
Let i = 1 + 36. Is i composite?
False
Suppose -6963 = 7*t - 10*t. Is t a prime number?
False
Suppose 5*z + l - 750 = 0, z + 5*l = 4*l + 154. Is z composite?
False
Let a(d) = -d**2 - 6*d + 4. Let v be ((-4)/10)/((-1)/(-15)). Let r be a(v). Suppose -r*p = 2*y - 131 - 5, -2*y + 66 = 2*p. Is p prime?
False
Let q be (-3)/9*-3 + 3. Let x(k) = -k + 6. Let o be x(q). Is o + 1 + 1 + 49 a prime number?
True
Let b be (0 + (-6)/(-2))*-6. Let n be (18/(-4))/(1/b). Let k = n + -44. Is k prime?
True
Let t be (0 + 2/4)*4. Suppose -d - 43 = -t*z, 0*z - 106 = -5*z + d. Is z prime?
False
Let k be (-1)/1*696/24. Let b be ((-2)/(-2))/((-2)/(-4)). Is 2*(b - 3)*k prime?
False
Suppose -2*f + 61 + 151 = 0. Is f prime?
False
Let r be (-68)/(-20) + 2/(-5). Suppose -5*f + 0 = -r*g + 6, 0 = -g - f + 2. Suppose 116 = 5*d + g*y - 167, -4*y = -2*d + 94. Is d a prime number?
False
Suppose 0 = -4*q + 4*f + 896, 2*f - 234 = -q - 2*f. Let a = q + -35. Is a prime?
True
Let w = 258 - -136. Is w composite?
True
Let u = 2431 + -1524. Is u composite?
False
Suppose 0*p - 32 = -4*p. Let x(a) = -a**3 + 3*a**2 - 10*a + 9. Let q(t) = 3*t**3 - 10*t**2 + 29*t - 27. Let l(g) = p*x(g) + 3*q(g). Is l(7) a prime number?
True
Let c = 507 - 316. Is c a prime number?
True
Let q(h) = 0 - 30*h - 3 - 2. Is q(-4) composite?
True
Let c(m) = -m**3 + m**2 - 1. Let f(a) = 3 + 7*a**3 + 1 - 8*a**2 + 3 - 3*a. Let y(t) = -6*c(t) - f(t). Is y(-3) a prime number?
False
Let j = 1979 + -1092. Is j a prime number?
True
Let f = -62 - -81. Is f composite?
False
Let c = -253 + -278. Let r = 830 + c. Is r a prime number?
False
Suppose -2*f - 3 = -a, f - 4*f = 4*a + 32. Let q = 6 + f. Suppose 18 = i - q*k + 3*k, 3*i - 59 = -4*k. Is i a composite number?
False
Let v(r) = 3*r - 14. Let i be v(6). Suppose -2*h - 299 - 867 = -i*g, -4*g + 1175 = h. Is g composite?
False
Suppose 4*q = 6*q - 8. Suppose -2*y - 5*j + 126 = y, q*y - j = 191. Is y prime?
True
Suppose -6*z = -3*z - 192. Suppose -t + s = 4*s - 7, -4*s - z = -2*t. Is t composite?
True
Is 2/(15/(-20)*(-8)/2949) a prime number?
True
Let b(a) = -12*a**3 + 2*a**2 - 3*a + 6. Is b(-5) composite?
False
Let a = -5 + 5. Suppose -3*t + 3*u + 300 = a, -5*u = t - 112 - 6. Is t composite?
False
Let g(p) = 6*p**2 - 6*p + 1. Let q be g(5). Let l = 332 - q. Is l a prime number?
True
Let m(c) = -80*c**3 - 3*c**2 - 3*c - 3. Is m(-2) composite?
False
Suppose 4*w + 6 - 22 = 0. Is 1155/13 + w/26 a composite number?
False
Let j(d) = 50*d**3 + d**2. Let v be j(1). Suppose q + v = 214. Is q a prime number?
True
Suppose t - 39 = 2*j + 18, 0 = 5*t + 3*j - 259. Is t prime?
True
Let s(r) = r**3 + 131. Is s(0) composite?
False
Let f(i) be the first derivative of 25*i**3/3 + 3*i**2/2 + i + 11. Is f(-3) prime?
False
Let l = 8769 + -4720. Is l composite?
False
Suppose 4*k = 5*k - 3594. Let w = k - 2443. Is w a composite number?
False
Let o(t) = t**2 - 5*t - 3. Let w be o(6). Suppose 0 = 3*m - w*s - 276, -5*m - s = -0*s - 454. Is m a composite number?
True
Suppose -2759 = -r - 286. Is r a composite number?
False
Let w be 0 - 2*(-3)/3. Suppose -2*t + 4 - w = -2*o, 19 = 4*t + o. Let h(d) = 3*d**3 - 5*d**2 + d + 5. Is h(t) composite?
True
Let u = -96 + 144. Let m = 101 - u. Is m a composite number?
False
Let s be (-1 - 0)/(9/(-18)). Suppose s*q = -3*p + 221, -p - 3*p = -5*q + 587. Is q prime?
False
Let z = 14 + 39. Is z a prime number?
True
Let d be ((-6)/4)/(2/8). Let w = 25 - d. Is w prime?
True
Let s(g) = 37*g**2 - 5*g + 1. Is s(2) prime?
True
Suppose -t = -4*u - 471, 3*t - 461 = -4*u + 872. Is t a prime number?
False
Suppose -8*p + 1016 = -576. Is p prime?
True
Is 24262/((-11)/(33/(-6))) a composite number?
True
Is 100/(-30)*(-1047)/2 a composite number?
True
Suppose 0 = -7*z + 10*z - 42. Is z prime?
False
Let n be (-3)/5 + (-4)/10. Let s(x) = 5*x**2 + 3*x. Let u(d) = d**2 - d - 1. Let z(b) = n*u(b) + s(b). Is z(-4) prime?
False
Suppose 0 = -2*p + 2*d - d + 5, 0 = 2*p + 2*d - 2. Suppose -4*k - 62 = -p*n, -k + 67 = 2*n - 6*k. Is n a prime number?
False
Let i be 6/4*8/3. Suppose 795 = u + i*u. Is u prime?
False
Let x = 151 + -106. Is 94/(-3)*x/(-30) a prime number?
True
Suppose -4*r - 1 = -9. Suppose r*a + 4 = 4*a. Suppose -2*b + 606 = a*s - 4*b, 5*b = -3*s + 941. Is s a prime number?
True
Let b be 2*1/(4/214). Let a = 50 + -104. Let j = a + b. Is j prime?
True
Let c(j) = j**2 + 9*j - 5. Let n be c(-10). Let d(i) be the second derivative of i**3/2 + i. Is d(n) composite?
True
Is (7 + 142)/(1/11) prime?
False
Let k(r) be the second derivative of 19*r**4/12 + 4*r**3/3 + 5*r**2/2 + 4*r. Is k(-6) prime?
True
Suppose -3*w + 5 = -10, -2*p = w - 11. Suppose a - 1412 = -p*a. Is a a composite number?
False
Let l(s) = 8*s - 3. Let r(y) = 15*y - 5. Let a(g) = 11*l(g) - 6*r(g). Let j(c) = -4*c**2 + 1. Let w be j(-1). Is a(w) a composite number?
False
Let n be 5*(28/10 + -2). Suppose 3*f - 19 = -n. Suppose -3*b - b - 2*t + 380 = 0, 3*b = f*t + 311. Is b a composite number?
False
Let h = 4474 - 629. Is h composite?
True
Let g(p) = p + 1. Let v(w) = 11*w + 3. Let x(a) = -6*g(a) + v(a). Is x(8) a composite number?
False
Suppose -3*u = -6*u + 132. Suppose u = -0*d + 2*d. Is d a prime number?
False
Let u = 436 - -57. Is u prime?
False
Is (-4)/6 + (-41)/(-3) a composite number?
False
Let i(d) = -d + 96*d**2 - 4 + 0 + 4. Is i(1) composite?
True
Suppose 0 = -5*w - 0*s + s + 798, -4 = -2*s. Suppose 5*y - w = 175. Is y composite?
False
Let n(t) = 22*t**2 + t - 1. Is n(1) composite?
True
Let i(b) = -b**3 - 2*b**2 - b - 1. Let r be i(-2). Let f = 3 + r. Suppose 5*c + 60 = f*t - 3*t, 0 = 2*t + 2*c - 60. Is t a prime number?
False
Let r(k) = 25*k**2 - 5*k - 6. Let o be r(-6). Is ((-3)/(-9))/(4/o) composite?
True
Let y(g) = 32*g + 1. Suppose 4 = d - 1. Is y(d) prime?
False
Let f(h) = h**3 + 10*h**2 - 4*h + 13. Let c = -9 - 1. Is f(c) a prime number?
True
Suppose 1 = -2*v + 9. Suppose -2*m - 5*p = m - 151, 184 = v*m - 2*p. Is m prime?
True
Let p(l) = 640*l**2 + 1. Is p(-1) composite?
False
Is (-1 + 2)*(-1055)/(-5) prime?
True
Let c(g) = g**3. Let a(x) = 9*x + 1 + 7*x**3 - 7*x**2 - 4 - 1. Let w(d) = a(d) - 6*c(d). Is w(6) a composite number?
True
Let b be ((-12)/(-15))/(2/5). Let w = -4 + b. Is (7/(-1))/(w + 1) prime?
True
Suppose -5*l = 4*f - 2175, -2*l + 4*f = -639 - 259. Is l a prime number?
True
Suppose 0*q + q - 4 = 0. Suppose -q*c = -5*c + 407. Is c a composite number?
True
Is ((-49)/(-14) - 5) + 631/2 a prime number?
False
Let x = 44 - 23. Let f = x - -68. Is f composite?
False
Let j be ((-2)/(-3))/(2/6). Suppose -w = -t, 4*t - 14 - 16 = -2*w. Let p = w + j. Is p composite?
False
Suppose -g + 5*g = 8. Let x(n) = 55*n**3 + n + 1. Is x(g) a prime number?
Tru