r - 5. Is c(-3) composite?
True
Suppose -66 = -3*b + 240. Let j = 171 - b. Is j prime?
False
Suppose 36 = r - 649. Is r composite?
True
Let v(d) be the second derivative of d**4/12 + d**2/2 + d. Is v(-6) composite?
False
Suppose z + 6 + 0 = t, 2*t - 4*z = 20. Suppose 0*u = t*u - 26. Is u prime?
True
Suppose 0 = 5*i - 4*r - 5041, -3*i + r = 6*r - 3032. Is i composite?
False
Suppose -5*s - 2*i = -5*i - 11, 3*i - 25 = -4*s. Let v be s/(-6) - (-22)/6. Suppose 2*w = -0*r + v*r + 164, -3*w + 5*r + 247 = 0. Is w a prime number?
True
Let f(q) = -q**3 - 9*q**2 + 2*q + 13. Let z be f(-10). Let x = z - -4. Is x a prime number?
True
Suppose 6*x - 3*x = 15, -2*q + 114 = -4*x. Is q a prime number?
True
Let x = -44 + 77. Suppose 0 = 4*b - x - 91. Is b composite?
False
Let y = 0 - -2. Let v be (-12)/(-10)*5/y. Suppose v*x - n - 81 - 20 = 0, 109 = 3*x + n. Is x prime?
False
Let d = -1006 - -1415. Is d a prime number?
True
Let d = 5 - -10. Suppose 0 = -2*p + p + 2*m + d, -2*p + 18 = -m. Suppose 0 = a - 5*v + 11, -3*v = 3*a - 8*v - p. Is a a composite number?
True
Let c(o) = 29*o - 11. Let p = 14 - 8. Is c(p) composite?
False
Suppose -l = 0, -2*l = -2*h + 973 - 137. Let o = h - 195. Is o a prime number?
True
Suppose -7 - 13 = -5*j. Suppose 92 = j*c + 3*k - 3, -5*k = 3*c - 63. Is c a prime number?
False
Let j = -209 - -306. Is j prime?
True
Let f(b) = b**2 + 4*b + 5. Let j be f(-4). Suppose 0 = 2*p - j*y - 13, -2*y = p - 0*y - 2. Suppose -p*q + 19 = -177. Is q a composite number?
True
Let p(a) = -42*a**3 - a**2 + 2*a - 1. Let o(n) = -42*n**3 - n**2 + 2*n - 1. Let h(m) = -3*o(m) + 2*p(m). Is h(2) composite?
False
Let x(o) be the first derivative of 26*o**2 + 2. Let c be x(2). Suppose 5*v - 3*f - c = -2*f, -3*v - f + 64 = 0. Is v prime?
False
Let c(j) be the second derivative of 13*j**4/12 - 3*j. Is c(1) prime?
True
Let b(d) be the third derivative of 0*d**3 + 0*d**4 + 0 + 13/60*d**5 + 0*d - d**2. Is b(-1) composite?
False
Suppose -i - i = -6. Let a(p) = 3*p**2 + 4. Is a(i) a prime number?
True
Let h be (-72)/(-30) - 3/(-5). Let z(y) = y + 23 + 12 + 2*y**2 - h*y**2. Is z(0) a prime number?
False
Let d = -1 - -3. Suppose t - 2 = d*t. Is (3 + t)*(0 - -67) composite?
False
Let g = 22 + -10. Suppose 2*k - 38 = 5*v, -g = 2*v - 0*k - 4*k. Is (-4)/v - 1026/(-4) composite?
False
Let z(k) = 71*k - 11. Let c(v) = -47*v + 7. Let h(o) = 8*c(o) + 5*z(o). Let l be h(-4). Suppose -4*n - n + 4*i + l = 0, 0 = 5*n + i - 110. Is n a prime number?
False
Let x(y) = 2*y - 5. Let t be x(5). Suppose t*g + 0*w - 124 = 4*w, -3*g = -4*w - 76. Suppose 2*s + 3*z - g = 2*z, s + z = 13. Is s a prime number?
True
Let t(y) = 1 + 0*y + 3*y**2 + 2 + 4*y - 1. Is t(-4) composite?
True
Suppose x + 10 = 3*y, 2*y - 3*y - 2 = 5*x. Let d be 149*(-3 + y + -1). Is (d/2)/((-5)/10) prime?
True
Is ((-25)/10)/((-2)/332) a composite number?
True
Suppose -24*n + 581 = -17*n. Is n prime?
True
Let x be 36405/(-117) + 2/13. Let m = x - -642. Is m prime?
True
Let l = 22 + -148. Let f = -31 - l. Is f a prime number?
False
Let z(j) = -4*j**3 + 11*j**2 + 4*j - 13. Let v(g) = -9*g**3 + 23*g**2 + 9*g - 26. Let a(x) = 3*v(x) - 7*z(x). Is a(9) a prime number?
False
Let g(b) be the first derivative of b**4/2 - 4*b**3/3 - b**2 + 7*b + 2. Let o be g(5). Suppose -2*z + 151 + o = 0. Is z composite?
False
Suppose 5*f = 199 + 216. Is f composite?
False
Let p = -58 + 92. Is p prime?
False
Let z(q) = -6*q**3 - 4*q**2 + 4*q - 5. Let n(a) = 5*a**3 + 3*a**2 - 3*a + 4. Let d(w) = 7*n(w) + 6*z(w). Let c be d(-4). Suppose -6*x + 196 = -c*x. Is x prime?
False
Suppose 0 = 45*c - 41*c - 2348. Is c a prime number?
True
Let q(n) = 4 + 9*n - 2*n + 2*n**2 - 1. Is q(8) composite?
True
Let w(l) = 5*l. Let q be w(-2). Let m be 4/q*(-20)/4. Suppose 4*c - 390 = -m. Is c prime?
True
Suppose 0*h = -4*h + 12. Suppose -5*z + 54 = 3*v, -8 = -h*v + 2*z + 25. Is v composite?
False
Suppose m + 1305 = 3*a - 2*m, -3*a = 5*m - 1305. Suppose 2*n + 4*p = 174, 5*n = -0*n + p + a. Is (-1)/(2/(1 - n)) a composite number?
False
Let g = -5 - -7. Let x = -2 - g. Is x + (-2)/(-1) + 13 prime?
True
Let o(z) = -z**3 - 5*z**2 + 5*z - 2. Let q be o(-8). Suppose u + u + q = 4*i, 0 = i - 5*u - 24. Suppose -i = -m + 40. Is m prime?
True
Let r(z) be the first derivative of -75*z**2/2 - z + 1. Suppose 4*x + 7 = -1. Is r(x) composite?
False
Suppose -t - 6 = -74. Suppose 0 = u - 1, -3*q + 3*u + 561 = 93. Let h = q - t. Is h prime?
True
Let y = -3 - -4. Let j = 4 - y. Is j a composite number?
False
Let r be 1*(3 - (-2 + 2)). Suppose r*o - 298 = o. Is o prime?
True
Is (-1)/(420/141 + -3) a prime number?
True
Let q(p) = -p + 2. Let s be q(0). Suppose -5*t - 168 + 48 = 3*b, -5*t + s*b = 145. Is ((-4)/6)/(6/t) a prime number?
True
Suppose 0 = j - 4*t + 14, j - 3*j + 17 = t. Is j a prime number?
False
Let r be (9/12)/((-3)/(-72)). Suppose x + 0*x = -3*d + r, -12 = -4*x. Suppose 0*v + 3*h + 68 = 2*v, -10 = d*h. Is v composite?
False
Let w(r) = -r**3 + 13*r**2 + 5*r + 13. Let s(k) = k**2 + k + 1. Let l(u) = -5*s(u) + w(u). Let z be l(8). Is ((-10)/z)/((-2)/40) a composite number?
True
Suppose -5*s = -2*x - 2*x - 5065, -4*x - 2038 = -2*s. Is s composite?
False
Let j(i) be the first derivative of 2 + 10*i**2 + 2*i + i + 6*i - 4*i. Is j(4) a composite number?
True
Suppose 0 = 5*c - 0*u + 5*u - 275, c + 3*u - 55 = 0. Is c prime?
False
Let l = 1 + -9. Let j = 31 + l. Is j a composite number?
False
Let w = -506 + 785. Suppose 24*m - 27*m = -w. Is m a composite number?
True
Suppose -2*y = -0*y + 5*z - 828, -3*z = 2*y - 832. Is y composite?
False
Let x(p) = p**2 + 12*p - 7. Let t be x(-13). Suppose -917 = -4*v + 5*y, t*v - v + 5*y = 1180. Is v a composite number?
False
Let y = 133 + -35. Is (y/(-21))/(4/(-18)) a composite number?
True
Suppose -3*l + 10 - 1 = 0. Let y = -8 + 124. Suppose l*f - y = f. Is f composite?
True
Let w(b) = 7*b - 5. Let d be w(8). Suppose 0 = 2*m + m - d. Suppose -m = -2*y + 49. Is y prime?
False
Let x(k) be the third derivative of -k**4/3 - k**3 - 3*k**2. Let s be x(-6). Suppose -5*a + 2*a = -s. Is a a prime number?
False
Suppose 1 + 41 = 2*o. Let x = o + 2. Is x prime?
True
Let d = -3 - -1. Let x = d + 37. Is x composite?
True
Suppose -4*m = m + 785. Let b = 238 + m. Suppose t - 5*t + b = 3*k, -4*k = 3*t - 59. Is t composite?
True
Let n be 1*(-260 + -4 + 1). Let o = n - -390. Is o a prime number?
True
Let n = 1 - -1. Is (n - (334 + -1))/(-1) composite?
False
Let z = -1 - 3. Let b = 9 + z. Suppose 0*k - k + 2*p = -5, -k = -b*p - 2. Is k composite?
False
Let l(d) = -d**2 + 6*d + 2. Let x be l(6). Suppose 0 = x*t + t - 9. Is t prime?
True
Let a = -101 + 1162. Is a prime?
True
Suppose -3*h = 2*h - 2*d - 12195, -4*h + d = -9753. Is h a composite number?
False
Suppose 4*f - 4*j = 3544, -4*f = -f - 2*j - 2661. Is f prime?
False
Suppose -1 + 10 = 3*j. Suppose -j*h - 130 = -a - 419, -h + 3*a = -91. Is h a prime number?
True
Suppose 88 = -4*t + 3*t. Let o = t - -139. Is o a prime number?
False
Let f = 124 - 6. Is f a composite number?
True
Let f = 4 + 7. Is f a composite number?
False
Let n(v) = -v + v + 5 - 6*v + 4*v + 25*v**2. Is n(-4) composite?
True
Let x = 25 - 16. Suppose -4*u = -55 - x. Let t = u - -5. Is t composite?
True
Let s(k) = -k**3 + k**2 - k. Let h be s(2). Is (-12)/h*1/1 a composite number?
False
Let r be -436 + 1 + 1 + -4. Is r/(-2) - (-4)/2 composite?
True
Suppose -11*b = -3*b - 6296. Is b prime?
True
Let h = 13 - 9. Suppose -5*b = 2*w + 3*w - 390, h*b = 5*w - 354. Suppose 5*o = 7*o - w. Is o a composite number?
False
Let l = 3 + 0. Suppose -v + z + 3 = 0, -z - l*z = -v. Suppose -432 = -4*o + w - 117, 5*o = -v*w + 399. Is o composite?
False
Let c = 358 - 173. Is c composite?
True
Let l(d) = -339*d**3 + 3*d**2 + d. Is l(-1) prime?
False
Let m(x) = 1. Let h(u) = -2*u**2 + 8*u + 2. Let a(c) = -h(c) - 5*m(c). Let j = 24 - 16. Is a(j) composite?
True
Let t(x) = 73*x + 1. Let g(v) = v**3 - 6*v**2 + v - 5. Let l be g(6). Let d be t(l). Let b = d + -27. Is b prime?
True
Is (2 - (-7)/(-3))*(-10073 - 4) a composite number?
False
Let k(l) = -l**3 + 7*l**2 - 5*l + 6. Let x = 6 - 0. Let r be k(x). Is 2/8 - (-249)/r prime?
False
Let q be (-19)/(-7) + 6/21. Suppose 0 = q*l - 75 - 162. Is l prime?
True
Let t(x) = -x**3 - 2*x**2 + x - 5. Let p be t(4). Let l = p + 164. Is l c