2)*38. Let g = j - -3. Is g composite?
True
Let h(s) = -s - 3. Let f be h(-7). Suppose -26 + 1230 = f*y. Is y a composite number?
True
Let r(c) = 113*c**2 - c + 1. Let j be r(3). Suppose v + 4*v = j. Is v composite?
True
Let m = -1 - -1. Suppose m*f + 45 = 3*f. Is f composite?
True
Let f(k) = k. Let l be f(3). Suppose 7*p - 12 = l*p. Suppose -o + 53 = p*h, 0 = -o - 2*o - 5*h + 151. Is o prime?
True
Suppose -245 = -4*q + 3*k, 2*k - 9 = -4*q + 261. Let i = q - 34. Is i a prime number?
True
Let l(q) be the first derivative of q**4/2 - q**3/3 + 2*q - 1. Let j = 32 - 29. Is l(j) prime?
True
Suppose -3*b = b - 20. Suppose b*u - 4*u + 2 = 0. Is (-1)/2 - 107/u prime?
True
Let y(n) be the first derivative of -n**4/4 - 10*n**3/3 - 9*n**2/2 - 5*n + 2. Let i be y(-9). Is (21/(-5))/(1/i) a prime number?
False
Let a = 376 - 161. Is a prime?
False
Let w = 3 + 5. Let v(c) = -c**3 + 9*c**2 - 12*c + 12. Let k be v(w). Is (24/k)/((-4)/10) composite?
False
Let v(m) = -m**2 + 2*m + 3. Suppose 10*p - 15 = 5*p. Let f be v(p). Suppose 0 = -f*j - j + 83. Is j prime?
True
Let b(n) = 2 + 3 + n - 6 + 2. Let j be b(-2). Is (-2 - j)*(4 + -11) prime?
True
Let w(g) be the first derivative of 4*g**3/3 - 5*g**2 + 11*g - 1. Is w(6) a prime number?
False
Suppose 4*f + 40 = -2*b + 4*b, 0 = f + 3. Is b a composite number?
True
Let l be (2/(-6))/(1/(-3)). Let m = l + 1. Suppose 122 = m*h - 60. Is h prime?
False
Let g(a) = -25*a + 1. Let i(b) = -38*b + 1. Let h(v) = -7*g(v) + 5*i(v). Let o be h(-2). Let j = 9 + o. Is j a composite number?
False
Suppose 0 = -s + 24 + 13. Is s prime?
True
Let f(a) = 9*a**3 + 2*a**2 - a - 1. Let r be 2/8 - (-26)/(-8). Let s be -2 - (-2 + r + 1). Is f(s) composite?
True
Suppose -4*q + 0*m + 10 = 2*m, -25 = 5*q - 5*m. Suppose 2*y + 43 - 287 = q. Is y a prime number?
False
Let y = -5 - -5. Is (-3)/(3 + y) - -186 composite?
True
Suppose 5*g + 0 = -20. Let t(q) = -6*q - 2. Is t(g) composite?
True
Suppose -g + 2*t + 450 = g, 5*t + 679 = 3*g. Is g a composite number?
False
Let j(p) = -16*p**3 + 4*p**2 + 3*p + 1. Let z be j(-3). Suppose 0 = -5*w + w + z. Is w composite?
True
Let i(u) = -u**3 + u + 1. Let p be i(2). Let a = p - -9. Is ((-25)/a)/(1/(-4)) prime?
False
Let q(p) = -p**3 + 5*p**2 - p + 1. Let v be q(5). Let m(h) = -13*h - 9. Is m(v) prime?
True
Let o = -91 + 129. Is o composite?
True
Let s(i) = 5*i. Let n be s(2). Is 462/n + (-40)/(-50) prime?
True
Let n(k) be the third derivative of 23*k**5/60 - k**4/12 + k**3/6 - 4*k**2. Is n(-2) a prime number?
True
Suppose p + 59 = 186. Is p prime?
True
Suppose 2*l - 7*l = -745. Is l prime?
True
Suppose 3 = p - 0*p. Suppose -2*r + 5*t + 3 = -2, r - 2*t - p = 0. Suppose 0 = -3*m + r*m - 74. Is m prime?
True
Let u be (-4036)/(-18) + 14/(-63). Let w = -145 + u. Is w composite?
False
Let u(n) = 5*n**3 - 3*n**2 + 8*n - 5. Is u(7) a prime number?
True
Let f(j) = -7 - j**2 + 0*j + 4*j + 3*j. Let d be f(7). Let g(a) = a**2. Is g(d) a composite number?
True
Let f(t) = -2*t + 4. Let i be (-43)/5 + (-4)/10. Is f(i) a prime number?
False
Let n be (-9)/(-36) + 1/(-4). Suppose n = -4*s + s + 1188. Suppose -s - 111 = -3*i. Is i prime?
False
Suppose 2*p - p - 4*t = 30, 3*t - 12 = 0. Is p a composite number?
True
Suppose 4*r + 104 = 2*m + 594, 2*r + m = 243. Is r prime?
False
Let o = 79 + -26. Is o a composite number?
False
Let y = -12 + 11. Let z(i) = 50*i + 3. Let c(w) = 1. Let g(x) = 2*c(x) - z(x). Is g(y) a prime number?
False
Let q(f) be the second derivative of -2*f + 0 - 5/2*f**2 + 5/12*f**4 + 7/6*f**3. Is q(-6) prime?
False
Is (-356)/8*1*-10 a prime number?
False
Let n be (-1)/(-2) - (-6)/(-4). Let w(b) = 78*b**2 + 2*b + 1. Is w(n) a composite number?
True
Is (-1)/4*10978/(-11)*2 a composite number?
False
Let t be (-108)/5*(-10)/3. Let l = t - -25. Let h = l + -64. Is h a composite number?
True
Suppose 2*u + u + 6 = 0, 3*u = -5*n - 21. Let a(q) = q**2 - q - 1. Let g(h) = -h**3 - 7*h**2 + 6*h + 10. Let z(j) = 6*a(j) + g(j). Is z(n) composite?
True
Suppose 0 = 5*d + t - 1502, -d + 316 = -t - 4*t. Is d a prime number?
False
Suppose -3*d = 2*d + 20, -4*d = -4*b + 32. Suppose -m - 489 = -b*m. Is m a prime number?
True
Let n(p) = -p**2 + p + 1. Let z be n(2). Let x = -1 - z. Suppose x = -0*y + y - 31. Is y composite?
False
Suppose -2*k + 4*k + 16 = -4*n, -3*n - 15 = 3*k. Is (3 - -53) + n + 2 prime?
False
Let p be 4 + 0 + -4 + 14. Suppose 5*m - 4*u = -47, -3*m + 3 = 5*u + 9. Let y = m + p. Is y a composite number?
False
Suppose -2*d + 152 = 2*u, -2*u + 4*u + 3*d = 154. Is u a prime number?
False
Suppose -4*n = -2*s + 34, -5*s - 3 = -n - 52. Is 164 - 1/(3/s) prime?
False
Let o(p) = -21*p + 2. Let a be o(2). Suppose 47 = h + 4*l, -3*l - 307 = -5*h + l. Let y = h + a. Is y composite?
False
Suppose 3*q = -2*x + 264, -2*x + 146 + 290 = 5*q. Is q composite?
True
Let m = -3 - -6. Let q = -4 + m. Is (q - -2 - 0)*19 a prime number?
True
Let q be -2*1*(-5)/2. Suppose 0 = 2*l - q*i + i - 16, 4*i + 16 = -4*l. Suppose l = z - 2*z + 46. Is z composite?
True
Let n = 8 - 10. Is (n - -6)*154/8 a composite number?
True
Suppose -5*j = -4*y - j + 260, -5*y = -j - 333. Let r = -1 + y. Let x = r - -91. Is x prime?
True
Let p(n) = -n**2 + 1. Let z be p(0). Suppose d - z = 2. Let a = 0 + d. Is a a prime number?
True
Let w(y) = -7*y**2 + 3*y - 1. Let k(q) = -q**2 + q. Let d(i) = 3*k(i) - w(i). Let l be d(-1). Suppose 5*u - 4*u + 25 = l*v, 5*v + 3*u - 45 = 0. Is v prime?
False
Let f(p) = -p**3 - 2*p**2 + 2*p - 1. Let s be f(1). Let w(i) be the first derivative of -i**4/4 - 2*i**3/3 - i**2/2 + i - 1. Is w(s) a prime number?
True
Let s be (-1)/(-4) - 7/(-4). Suppose 0 = 2*a - s*c + c - 93, -c = 3*a - 152. Is a composite?
True
Suppose 0 = 21*v - 13*v - 1128. Is v composite?
True
Suppose 0*c = 3*c + 75. Let x = 44 + c. Is x composite?
False
Let r(h) = h**3 + 5*h**2 + 2*h + 1. Let b(g) = -g**3 + 8*g**2 + 9*g + 3. Let v be b(9). Let q(k) = -k**2 + 3*k - 2. Let n be q(v). Is r(n) a composite number?
True
Suppose 0 = -3*v - z + 8, 2*v + 3*z - 12 = z. Is 470/(-6)*(-3)/v a composite number?
True
Suppose -5*q - 2*j + 1343 = 0, -4*q - 97 = 2*j - 1171. Is q composite?
False
Suppose 4*w - 28 = 4*h + 2*w, 28 = -4*h - 3*w. Let x = h - -11. Is (-1)/(-2)*(266 - x) prime?
True
Let b(n) = 5*n**3 + 3*n - 4 - 6*n**3 + 3*n**2 + 6*n**2 + 8*n. Suppose 3*a - 4*p = 24 + 3, p + 18 = 2*a. Is b(a) prime?
False
Let x(p) = 3*p**2 + p. Let z be x(-3). Let d = -4 - z. Let f = d + 41. Is f a prime number?
True
Suppose 0 = 25*q - 24*q - 21. Is q a prime number?
False
Suppose x + 4 - 1 = 0. Let v be -2 + (-5 - -1) - 1. Let j = x - v. Is j a composite number?
True
Let z(p) be the third derivative of 151*p**4/24 - p**3/6 - p**2. Let s be z(-1). Let o = 217 + s. Is o a prime number?
False
Suppose 3*l = -2*d + 9, -2*d - l - 6 = -3*l. Suppose d = -3*f - 290 - 106. Let p = 265 + f. Is p composite?
True
Suppose 0 = -0*b + b + 3*m - 49, 3*m = -3. Let w = b + -15. Is w composite?
False
Let l = 5 - 1. Suppose 2*q - l = q. Is (-1)/(-2) + 306/q composite?
True
Let x(n) = 5*n**3 + 2*n**2 + 7. Let f(g) = 2*g**3 + g**2 + 3. Let y(b) = 7*f(b) - 3*x(b). Let w be y(2). Let a = 6 + w. Is a composite?
False
Let o be (0 - 1 - -2)*4. Suppose m = 6*m, -u - 2*m = -o. Suppose -u*v + 59 = -5*p, -v - 2*v + p + 58 = 0. Is v a prime number?
False
Suppose -4*l - 2 = -14. Let n be -2 + 2/l*3. Suppose n = y + 2*y - 39. Is y prime?
True
Let x = 209 + 1152. Is x prime?
True
Let y = -5 - -4. Is (4 + -42)*y/2 a composite number?
False
Let a be (4/2)/(2/11). Let i(p) = 2*p**2 + 9. Is i(a) composite?
False
Suppose 6*h = 2*h + 4*k + 256, -h = 3*k - 84. Suppose 0 = 5*f - 264 + h. Is f a composite number?
True
Let b(t) = 3*t**2 - 7*t - 7. Let c(d) = -d**3 - 4*d**2 - 3*d. Let f be c(-3). Suppose -18 = -5*v - w - 2*w, f = -v - w + 2. Is b(v) a prime number?
True
Let n(l) = 479*l**2 - 1. Is n(1) a composite number?
True
Let h be 1/5 + (-567)/(-15). Let j = 29 - 2. Let t = j + h. Is t a prime number?
False
Let w(i) be the first derivative of -4*i - 6*i**2 - 9*i**2 + 3*i - 2. Is w(-4) prime?
False
Suppose 0*h = 2*h + 8, -3*r - 5*h = -13. Suppose 5*l = -2*c + 5, 2*c = -0*c + l + r. Suppose 44 = c*j - 51. Is j composite?
False
Suppose -3*n = -6*n + 9. Let g be 6/4*(-496)/(-6). Suppose n*x = -x + g. Is x a composite number?
False
Is