4, -182 + 5895 = 2*n - h. Is n prime?
True
Suppose 3*c + 113319 = 307389. Is c/(-4)*2/(-5) prime?
True
Let c = -11 - -10. Let i be (c + 2 - -2) + 286. Is i - (-5 - (-2 + 1)) a composite number?
False
Let r = -2 + -369. Let n = r - -622. Is n prime?
True
Let l(f) = -f**2 - 11*f + 13. Let x be l(-12). Let y be (x - -3) + -2 + 2. Suppose 0*d + y*d = 44. Is d prime?
True
Let r(t) = -536*t**3 - 5*t**2 + 6*t + 22. Is r(-3) a prime number?
True
Suppose -a + 2 = -0. Let q be a/(-5) - 144/15. Is ((-48)/20)/(4/q) composite?
True
Let l(b) = -133*b**3 - 2*b**2 + 3*b + 7. Is l(-3) composite?
False
Let l(p) = -p + 2. Let f be l(0). Suppose 3*v = -5*h - 25, 2*v - 5 = -f*v + h. Suppose -2176 = -4*x + 3*q, 5*x + q - 2701 = -v*q. Is x a composite number?
False
Suppose -2*s - 8*q = -3*q - 43, 0 = -5*s + 5*q + 20. Let i be (-6)/(-2)*1308/s. Suppose 11*g + i = 15*g. Is g prime?
True
Let m(p) = p + 8. Let h be m(-8). Is 1/((h - -1)*(-3)/(-93)) composite?
False
Let w(j) = 3*j - 7*j + 11 + 5*j + 16*j**2. Let p be w(-5). Let u = -113 + p. Is u prime?
True
Let r = 21652 - 7133. Is r a composite number?
False
Let g(t) = -t**3 + 17*t**2 - 4*t - 13. Let l be g(15). Let o = 2536 - l. Is o a composite number?
True
Let h(x) = x + 581. Suppose 3*r = 5*n - 8, -4*n - n + 16 = -r. Suppose 0 = -j + 5*s, -6*j + n*j + 3*s = 0. Is h(j) prime?
False
Let w(j) = 13*j**2 + 2*j - 1. Let u(b) = -b - 3. Let a be u(-12). Suppose g + 8 = a. Is w(g) a composite number?
True
Let p(c) = -1309*c**3 + 3*c**2 - c - 3. Is p(-2) a composite number?
True
Suppose 2*l - 6*l + 4*p = -87408, 2*l = 3*p + 43707. Is l composite?
True
Let y(p) = 13*p**2 - 3*p - 15. Let x(k) be the first derivative of k**4/4 + 2*k**3/3 + 3*k**2/2 + 6. Let a be x(-2). Is y(a) prime?
False
Let u(f) = 20*f**3 + 44*f**2 - 7*f - 20. Let k(o) = -7*o**3 - 15*o**2 + 2*o + 7. Let z(x) = -17*k(x) - 6*u(x). Is z(-12) prime?
True
Let r be 2*5*8/(-1). Suppose -2*b + 54 = 4*b. Let h = b - r. Is h a prime number?
True
Suppose 4*v = -3*u + 10158 - 241, -5*u = -3*v - 16538. Is u composite?
False
Suppose 0 = 6*a - 2*a + 5264. Let j = -793 - a. Is j a prime number?
True
Let r(g) = -116*g + 3. Suppose -4*u - 7 = -3*u - 5*m, -3*u = -3*m + 9. Is r(u) composite?
True
Let l(w) = 4*w**3 + 6*w**2 + 5*w - 16. Let r be l(12). Suppose 8*s + 28 = r. Is s prime?
False
Let r be (428/(-2))/(1/1). Let w be -712*(2 - 3)/2. Let n = r + w. Is n a composite number?
True
Suppose 10 = 2*x - 7*x. Let o be ((-6)/15)/(x/50). Is (293/2)/(5/o) composite?
False
Suppose 5225 = 9*y - 4*y + 5*j, -3*j = -5*y + 5201. Suppose 0 = 3*x - 5*x + y. Is x composite?
False
Let d(k) = -k**2 - 3*k + 6. Let x be d(-5). Is x + (11 - (-3 + 3)) a composite number?
False
Let y(v) be the second derivative of 1481*v**4/3 + v**3/3 + v**2/2 - 18*v. Is y(-1) a composite number?
False
Suppose 23*m = 12*m + 727353. Is m/63 - (-8)/(-14) a prime number?
True
Let r = -18 - 0. Is (-9303)/r - (-2 + 11/6) a prime number?
False
Let a(f) = 138*f**2 + 3*f + 65. Is a(-8) a composite number?
True
Is (-2075)/(-5)*(-84)/(-60) composite?
True
Is (-1)/(18/(-55449)*(-3)/(-6)) a composite number?
True
Let c be (-618)/(-5) + 4/10. Suppose 2*a - 794 = -4*s - c, -4*a + 1354 = s. Is a a prime number?
False
Let j(v) = 30*v**2 + 7. Let b(s) = 6*s**2 + s - 1. Let c be b(1). Is j(c) a prime number?
True
Suppose 2*o = -2*o - 32. Let i = 11 + o. Suppose -d + 124 = i*d. Is d composite?
False
Let p = -7 + 13. Suppose -2*h + h = -p. Suppose 2*d - 4*r - 358 = 0, -d + 3*r = h*r - 154. Is d prime?
False
Let w(j) = -3*j**3 + j**2 - 5*j - 25. Is w(-4) prime?
False
Let h(z) = z**2 - 4*z + 3218. Is h(0) composite?
True
Suppose -5*c + 5*b = -30, 0 = 4*c - 2*c - b - 8. Suppose 5*g - a = -c*a + 1736, -3*a = -3. Is g a composite number?
False
Let k(z) = 358*z**3 + z**2 - 13. Let u be k(4). Is 3/2 - u/(-2) composite?
True
Let o(t) be the first derivative of t**4/4 + 8*t**3/3 + 2*t**2 - t + 79. Let x be (1/(-2))/(1/12). Is o(x) a composite number?
False
Suppose 9*n - 5*n - 37924 = 0. Is n prime?
False
Suppose l - 1 = -u + 4, -5*l + 25 = 0. Suppose 5*c = -7*b + 6*b + 25735, u = -2*c - b + 10294. Is c a composite number?
False
Let c = -369214 - -533133. Is c a prime number?
False
Let r(t) = 682*t**2 + 7*t - 4. Is r(-3) a composite number?
False
Let l(g) = 71*g**2 - 2*g + 46. Is l(9) composite?
False
Suppose 0 = 4*x + s - 321004, -3*x = -8*x - 2*s + 401255. Is x composite?
False
Is 2/(-15) - (-336)/(-180) - -52137 prime?
False
Let q(a) = -258*a + 5 - 6 + 18 + 2. Is q(-6) a composite number?
False
Let h be (-3)/2 - (-27)/6. Suppose 5*w - 3*b = b + 173, 0 = -b + h. Is w a composite number?
False
Let b(r) = 3*r**2 + 6*r - 24. Let k be b(12). Let t = -766 - -489. Let u = t + k. Is u a prime number?
False
Let z(q) = -62*q - 34. Let g be z(-14). Let h = 1417 - g. Is h composite?
True
Suppose -4 = -4*g + 2*g. Suppose g*l + 18 = 330. Let a = l + -87. Is a a prime number?
False
Let a(y) = -y**3 - 15*y**2 - 6*y - 9. Let d(k) = -k**3 + 5*k**2 + 4*k + 2. Let s be d(5). Let i = s - 39. Is a(i) a prime number?
False
Let a(u) = -u**3 + 3*u**2 - 4. Let t be a(2). Suppose 0 = 4*o - t*o - 536. Is o composite?
True
Suppose -3*g - 2*g = -35. Suppose 3 = -2*z + g. Suppose -2*n = 4*p - 7*p + 1251, 826 = z*p - 4*n. Is p a composite number?
False
Suppose 10*u = -4*u + 285110. Is u prime?
False
Let a(r) = 1739*r**2 + r + 1. Is a(1) prime?
True
Let h(u) = -24*u**2 + 8*u + 1. Suppose -w - 2 = i, -i + 46 = -5*w + 3*i. Let s(j) = -j**2 - j. Let x(f) = w*s(f) - h(f). Is x(-1) a prime number?
True
Let f(h) = 16*h + 35135. Is f(0) a composite number?
True
Let i(t) = -2*t**2 + 7*t. Let o be i(5). Let b = 1 + o. Is 296/10*(-35)/b a prime number?
False
Is (-44)/132 + (-115028)/(-6) a prime number?
False
Suppose 0 = -54*r + 53*r + 3. Suppose d - 1405 = -d + r*u, -4*d - 5*u + 2755 = 0. Is d composite?
True
Is (-183)/(-12)*(-13)/((-13)/164) a prime number?
False
Let t = 1191 - 563. Suppose 3*q + 19 = t. Is q composite?
True
Suppose 513*v - 376563 = 502*v. Is v a composite number?
True
Let y be 0 + 14 - (2 - 3). Suppose -2*h = -4*h, 5*u - 3*h = y. Suppose 3*m - 275 = 5*a - u*a, -2*a + 170 = 2*m. Is m composite?
False
Let i(w) = -w**3 + 11*w**2 - w + 4. Let r(g) be the first derivative of -g**3/3 - 9*g**2/2 - 5*g + 7. Let s be r(-7). Is i(s) composite?
False
Suppose -1026930 = -14*j - 16*j. Is j a composite number?
False
Let z(l) = 3*l**2 + 7*l + 3989. Is z(0) a composite number?
False
Let g = -35 + 33. Is (3/(-9) - (-508)/(-24))*g a composite number?
False
Suppose 0 = -y - 3*s - 6, 0 = 4*y + 5*s - 1 - 3. Let t(q) = 4*q**3 - 8*q**2 + 2*q - 1. Is t(y) a composite number?
False
Let f = 10165 - 872. Is f composite?
False
Suppose 0 = -9*l + 4*l + 1335. Let x = l - 44. Is x a composite number?
False
Let u(b) = b**3 - 2*b**2 - 2229. Let p(n) = n**3 - 4*n**2 + 4*n - 3. Let w be p(3). Let f be u(w). Is ((-36)/(-54))/((-2)/f) composite?
False
Let p = -6 + 10. Suppose -p*v + 3*t = -9 - 9, -3*t = v + 3. Suppose f - 28 = -v. Is f a composite number?
True
Let s(f) = 7*f**2 - 4*f**2 + 9*f**2 + 3 - 5*f + 9. Is s(-7) composite?
True
Suppose 0 = -4*v + h + 13, -3*v + h + 7 = -2*v. Let f(c) = 67*c**2 + 2*c - 3. Is f(v) a composite number?
False
Suppose 0 = 5*g - 3*c - 1046, 3*c - 205 = -g + 15. Is g prime?
True
Let d(f) be the second derivative of 31*f**4/4 - f**3/2 - 7*f**2/2 + 2*f. Is d(-3) prime?
True
Suppose 4*k + 3*y = 8957, -12*k + 2225 = -11*k - 4*y. Is k prime?
True
Let a = 94 - -2. Suppose 3*g + 5*z = -35, -g = -z - 3*z - 11. Let i = a + g. Is i a composite number?
True
Let q(l) = 10368*l**2 + 4*l + 51. Is q(5) composite?
False
Suppose -2*f = -7*f - 100. Let b = f - 7. Let h = 94 + b. Is h a prime number?
True
Let q(n) = n - 20. Let j be q(12). Is j/(-12)*12828/8 a composite number?
False
Let p(l) = 57*l + 2. Let f be p(-5). Let q = f - -966. Is q prime?
True
Suppose 7186 = 2*m + 2*x - 0*x, -14372 = -4*m - 2*x. Is m a prime number?
True
Is 21066/(-21)*(-182)/52 a prime number?
True
Let h(j) = -j**2 + 46*j - 41. Is h(22) a prime number?
True
Let l = -33 - -23. Let i(o) = -o**3 - 11*o**2 - 11*o - 11. Let u be i(l). Is 3 - u/((-1)/(-442)) a composite number?
True
Let y be (1 + -2)*(-1 - 4). Is y*264 + (-1 - 0) a composite number?
False
Suppose -4 = -g + 4*s - 21, -5*g = 5*s - 40. Suppose 