Let v(n) be the second derivative of -17*n**3/6 + 2*n**2 + 2*n. Let d(m) = 1. Let b(u) = 5*d(u) - v(u). Is b(4) composite?
True
Let d be -1 - (-84 + 2/(-2)). Suppose -8*j = -9*j + 5. Suppose d = -q + j*q. Is q prime?
False
Is 5 + (-6)/3 - -464 a prime number?
True
Let q be 4/(3/180*3). Suppose -g + q - 29 = 0. Is g a composite number?
True
Let r = 131 - 72. Is r a prime number?
True
Let d = -59 - -146. Is d a prime number?
False
Let n(g) = -11*g - 16. Let l = -4 + 5. Let v(x) = -x - 1. Let k(t) = l*n(t) - 5*v(t). Is k(-8) a composite number?
False
Suppose 4*i + 45 = -m + 2*m, 5*m + 5*i - 275 = 0. Is m prime?
True
Let u be (-21)/(-49) - 526/(-14). Suppose 0 = b + 2*a - 201 + u, -5*b - 3*a = -794. Suppose -4*h + 119 = -b. Is h a composite number?
True
Let n be 2/1 - 1 - -185. Suppose 2*r = -2*x + n, -4*x + x + 5*r + 247 = 0. Is x composite?
False
Let j = -386 - -679. Is j prime?
True
Suppose 0 = 3*i + 3*m - 9, 0 = -3*i + 4*m + m + 25. Suppose i*a - 465 - 1780 = 0. Is a a prime number?
True
Is 1/((-1)/(-354 - (-3)/(-3))) composite?
True
Let b = 1302 + 2051. Is b prime?
False
Let n(q) = q**2 + 3*q - 11. Is n(-10) composite?
False
Suppose 4*l - 2*l = 0. Suppose l = v + 20 - 87. Is v a composite number?
False
Let k(q) be the third derivative of 11*q**4/24 + 2*q**3/3 - 2*q**2. Suppose -5*x = -18 + 3. Is k(x) a prime number?
True
Let z(i) = i**2 + 79. Let r be ((-12)/9)/4*-9. Suppose 5*j - 25 = 5*f, -5*j + 11 + 14 = -r*f. Is z(f) composite?
False
Let i(y) = -33*y + 24. Let h be i(-4). Let w = -549 + 770. Let t = w - h. Is t composite?
True
Let p be -1 + 44 + (-3 - -5). Is (28/(-6))/((-30)/p) composite?
False
Let i(l) be the first derivative of -3*l**2/2 - 5*l + 3. Is i(-8) prime?
True
Suppose 5*i - 13310 = -2*h + 26875, 0 = 3*i + 4*h - 24125. Is i prime?
False
Let z(k) = k**3 - 8*k**2 + 4*k + 2. Is z(9) composite?
True
Let a(w) = -87*w**3 + 3*w**2 - 5. Is a(-2) a composite number?
True
Suppose -3*l + 471 = -4*v, 0 = -l - 3*v + 8*v + 157. Is l prime?
True
Let n = -268 + 523. Let o be (n/(-10))/(2/8). Let z = 171 + o. Is z a prime number?
False
Suppose -4*v - 9 + 25 = 0. Suppose -15 = -3*j, 4*n + v*j = 121 + 111. Is n composite?
False
Let o be 2*1 + (8 - 10). Suppose 2*g - w - 17 - 31 = 0, o = 2*w - 8. Is g a composite number?
True
Suppose -3*i = 15, 21 = 3*q - i - 2*i. Suppose -q*d = -5*d + 987. Is d a prime number?
False
Let n(h) = -2*h - 5. Let d be n(-13). Is (d/4)/(4/16) prime?
False
Suppose -8 = 4*i - 4*d, i - 3*d + d + 6 = 0. Suppose i*x = 6*x - 220. Is x a prime number?
False
Suppose 4*i = -5*r + 2*r + 19, 3*r - 4*i - 11 = 0. Let j(x) = 5*x + 7*x**2 - x**2 + 0*x**3 + 2 - 6*x - x**3. Is j(r) composite?
True
Suppose 0*a - 36 = 2*a. Let z = a - -12. Is (-1410)/z - (3 - 1) prime?
True
Suppose -12*n + 2595 = -7*n. Is n a composite number?
True
Let z(p) = 3*p**3 + 3*p**2 + p - 1. Let w be z(3). Let g = w + 32. Is g prime?
False
Let o(q) be the second derivative of 3*q**3 - q**2/2 + q. Suppose 15 = 4*h + h. Is o(h) a composite number?
False
Let p = 911 + -608. Is p composite?
True
Is (-11)/(33/(-1560)) - -1 a composite number?
False
Let k be 0 + 1 - -2*1. Let d(c) = -125*c**3 + c + 1. Let q be d(-1). Suppose -r = y - 2*y + 35, k*y + 2*r = q. Is y a prime number?
False
Suppose g = -2*g. Suppose g = 3*h + h - 28. Is h a prime number?
True
Let r(w) = w - 1. Let g be r(8). Suppose -g - 5 = -3*z. Suppose 5*q - 90 = -f, 2*f - 28 = 2*q - z*q. Is q a composite number?
False
Let z = 16 + -9. Suppose 5*q - 15 = -3*y, 4*q = -3*y + 8 + z. Suppose 0 = 3*b + u - 5*u - 239, -2*b - 2*u + 178 = q. Is b prime?
False
Suppose p = 2*p - 139. Suppose 2*r - 1 - p = 5*n, 0 = -4*n. Is 1/(2/r) + 2 prime?
True
Suppose -4*o = -5*o + 12. Suppose 0 = -2*w - 4*a + 14, -4*a + o = 3*w - 7*a. Suppose 77 = 3*p - 2*k, 3*k + 131 = w*p - k. Is p prime?
True
Let c = 13 - 18. Let g = c + 3. Is 366/12 + (-1)/g a composite number?
False
Let v(j) = 339*j**2 + 2*j - 2. Is v(1) composite?
True
Is 2/2 + (-606)/(-3) prime?
False
Suppose j - 2*j = -4*c - 368, 3*j + 3*c = 1104. Suppose 5*r = r + j. Suppose x = -3*x + r. Is x a composite number?
False
Suppose 2*r + 4*p + 1254 = 4*r, 621 = r - 5*p. Is r a composite number?
False
Let g(v) = 4*v**3 + v**2 - 2*v + 1. Is g(4) prime?
False
Let l = 5 - 2. Suppose -7*t + 2*t + a = -485, -t = l*a - 97. Is t prime?
True
Let k(t) = -t**3 - 9*t**2 - 5*t + 4. Let w be k(-9). Let o = w + -18. Is o a prime number?
True
Let s = 4 - -5. Suppose -3*o = -s, -3*p + o = -0*p - 342. Is p a composite number?
True
Suppose -372 = -4*g - o - 127, 170 = 3*g - 2*o. Let z be 69/2*6/(-9). Let i = g + z. Is i composite?
False
Suppose 4*n - 2*n - 4 = 0. Let t(r) = 109*r - 6. Let h(k) = -22*k + 1. Let j(y) = n*t(y) + 11*h(y). Is j(-2) composite?
False
Suppose b = -4*b + 25. Let a(i) = 2*i**2 - 7. Is a(b) composite?
False
Let b(v) = v - 5. Let x be b(10). Suppose -l + 1 = -x*t, -3*l + 19 = -t - 12. Is l a composite number?
False
Suppose -3*q - 12 = -2*c, -5*c + 2 + 2 = -q. Is (-1 - q) + 386 + 0 composite?
False
Let z = -7 - -12. Suppose 0 = 4*h + 6*u - u - 12, -z*h + 15 = -u. Suppose 0 = c + 2*f - 6*f - 47, -4*f = -h*c + 117. Is c a prime number?
False
Let x(o) = -7*o + 6. Let n be x(-7). Suppose -j = n - 246. Is j composite?
False
Let a = -2 - -6. Suppose -49 - 3 = -a*r. Is r prime?
True
Let h = 4 + -2. Suppose -h*j = -v + 5*v, -5*v - 15 = 5*j. Let q = 9 - j. Is q composite?
True
Let k = -1663 + 2433. Suppose -f - k = f. Let b = -224 - f. Is b a prime number?
False
Is ((-94)/8)/(4/(-112)) a composite number?
True
Is 44*(-6)/((-120)/145) a prime number?
False
Let l = 3453 + -2180. Is l a prime number?
False
Suppose 3*m = -170 - 343. Let w = m - -354. Is w composite?
True
Let u = -23 - -47. Suppose u = i - 53. Is i a composite number?
True
Suppose a - 45 = j + 30, j = 5. Let b = a + -57. Is b prime?
True
Let x(o) be the third derivative of -o**4/6 - o**3/6 - o**2. Let s be 104/(-12) + 2/3. Is x(s) composite?
False
Let r(p) = -p**3 - p**2 + 38. Is r(0) a prime number?
False
Suppose 10*d - 11*d = -3359. Is d composite?
False
Let i = -2 + 6. Let l(z) = 16*z**3 + 3*z**2 + z + 2. Let v be l(3). Suppose -4*t - p + v = 0, p + p - 468 = -i*t. Is t a prime number?
False
Let o(d) = 284*d**3 + d**2 - 2*d + 8. Is o(3) prime?
False
Let l be (-2)/3 + (-66)/(-18). Suppose -l*w = -4*w + 57. Is w prime?
False
Suppose 0*o + 3*d = 4*o - 823, -5*o + 1027 = -2*d. Let m = 294 - o. Is m composite?
False
Suppose -2*k = -6*k + 6772. Is k prime?
True
Let p be -3*((3 - 2) + -2). Let n(g) = -g**3 + 4*g**2 - 4*g + 1. Let j be n(p). Is (1/j)/(2/(-212)) prime?
True
Let c(j) = -3*j. Let k be c(-2). Let l = k + -1. Suppose -l*w + 3*r = -12 - 70, 5*w = r + 74. Is w a prime number?
False
Let k be 20/3*30/4. Suppose 3*w = 2*a - 4*a + k, 0 = 3*w. Is a a prime number?
False
Let u(z) = z**3 - 3*z**2 + 2*z - 3. Let k be u(3). Suppose -k*q + 8*q - 10 = 0. Suppose -h = -q - 4. Is h composite?
True
Suppose 10 = 2*y + 3*y + 4*g, 3*g = 5*y - 10. Suppose b + 27 = -y*b. Is 4/6 - 1083/b a composite number?
True
Suppose 2*g + 2 = d + 12, -5*d = -5*g + 25. Suppose d*r - 2 = -r. Is (-4)/6*(-21)/r composite?
False
Let v(f) = 59*f + 7. Is v(8) a prime number?
True
Let b(y) = -3*y**2 - y. Let p be b(1). Let a be (-6)/27 - p/18. Suppose -57 = -3*w - a. Is w composite?
False
Let d be (5/2)/(1/(-2)). Let b = 6 + 9. Is 162/b + (-1)/d composite?
False
Suppose -2*p + 0 - 2 = 0. Is (0 - p)/(6/348) prime?
False
Let g(c) = c**2 + 16 + c**3 - 13 + 3*c**2 - 5*c. Suppose 0 = -v - 2 - 2. Is g(v) a prime number?
True
Let r(b) = -7*b - 2*b - 9*b + 7. Let i be r(-5). Is i*1 - (0 - 0) prime?
True
Let l(f) = -2*f + 27. Is l(-16) composite?
False
Suppose 3*r - 2238 = -2*f + 3815, 15 = -5*r. Is f a prime number?
False
Let s(x) = -x**3 + 4*x**2 + 5*x + 4. Let m be s(5). Suppose 0 = -m*k - k + 165. Is k a composite number?
True
Let h(o) = 4*o**2 + 10*o + 1. Let l be h(-7). Suppose 0 = -r + 2*r - l. Is r composite?
False
Let i(p) = -3*p**3 + 7*p**2 + 5*p - 4. Is i(-5) a prime number?
True
Let a = -3180 + 4981. Is a a prime number?
True
Suppose -2180 = -4*b - 544. Is b composite?
False
Suppose -3*f - f + c + 23 = 0, 15 = 3*c. Suppose -3*p = -f - 2. Let h(x) = 3*x**3 - 4*x**2 + 4*x - 4. Is h(p) prime?
True
Let r(c) = c**2 + 27*c - 26. Is r(16) a composite nu