w) = -38*w**2 + w + 1. Let p(h) = 7*j(h) - 5*r(h). Is p(-2) a composite number?
False
Let j(n) = -n**3 - 4*n**2 - n + 3. Let q be j(-4). Suppose -3*g + 4*v = -0*g, -q = -g - v. Is g a composite number?
True
Suppose -33 = -2*n + 11. Is n a composite number?
True
Suppose -4*w = -a - 18649, -w + 5*a = -664 - 3984. Is w composite?
False
Let n be (-9)/3 - (-3 - 0). Suppose 5*x - 14 = 5*r - 59, n = 5*x + 4*r. Is -5 - x - -48*1 a composite number?
False
Suppose 0 = 4*x - 16 + 4. Suppose -k = -x*k + 4. Suppose -3 = -2*c + 5, -k*c = 2*f - 50. Is f composite?
True
Let h(b) be the first derivative of -b**4/2 + b**3/3 + 3*b**2 - 5*b + 3. Is h(-4) a composite number?
True
Suppose -2*j = -j - 3. Suppose -111 = -j*p - 2*t, 6*p - 148 = 2*p + 4*t. Is p a prime number?
True
Let p(g) = 11*g + g - 7 + 2*g. Let w be -2 - (-12)/4 - -5. Is p(w) a prime number?
False
Suppose -2*y + 4*y - 16 = 0. Let u(p) = -p**2 + 6*p + 10. Let x be u(y). Is 1 + 252/(x/(-3)) a prime number?
True
Suppose -22*t + 21*t + 877 = 0. Is t composite?
False
Suppose 3 = -4*k - 1. Let r be (k/((-3)/(-6)))/1. Is 37 + (r - 1*-2) composite?
False
Let k be (0 + 1)*(-8 + 8). Let q be -1*(k + (-321)/3). Let w = q - 22. Is w a composite number?
True
Is (1 - (-2331)/2)/((-26)/(-52)) composite?
False
Let i(q) = -7 + 4*q**3 - 4*q**3 + 0*q**3 - 3*q + 6*q**2 - q**3. Let n(x) = -x**2 + 8*x - 7. Let u be n(6). Is i(u) a prime number?
True
Suppose 0 = 5*g - 2*g - 21. Let p(z) = z**2 - 6*z - 5. Let a be p(g). Is (-2 + 1)/(a/(-74)) prime?
True
Suppose -5*b - 5*b = -3310. Is b prime?
True
Let z(h) = 2*h**2 + 11*h + 7. Let j be z(10). Is j*((-2)/2 + 2) a prime number?
True
Suppose y + 5*x + 11 = 2*y, 0 = -3*y + 2*x + 7. Let v = y + 1. Is (-1 - -23)*v/4 prime?
True
Let d(f) = 8*f**2 + 4*f + 1. Is d(3) prime?
False
Suppose 0 = -5*j + 6 + 224. Suppose -436 = -2*d + j. Let g = d - 84. Is g prime?
True
Let y(x) = -3*x**2 - 6*x + 1. Let b be y(5). Let h(f) = 54*f + 1. Let c be h(3). Let n = b + c. Is n a prime number?
True
Let j = 3096 + -1735. Is j a composite number?
False
Suppose 10 = -n + 6*n. Suppose 3*v + n*u - 98 = u, -v + u + 38 = 0. Is v composite?
True
Suppose 2*t = -10 + 4. Let k be 6/(-1) + (t - -4). Let b(d) = -d**2 - 9*d + 1. Is b(k) a composite number?
True
Let f(b) = -149*b - 5. Is f(-2) prime?
True
Suppose 0 = 4*s + 494 - 3090. Is s composite?
True
Let c(h) = h**2 - 3*h - 5. Let p be c(5). Let n be ((-42)/(-9))/(2/6). Suppose p*v = -4*u + n, -u + v = 1 - 9. Is u composite?
True
Suppose -5*i + 324 + 9383 = -2*w, 5*i = -w + 9719. Is i a prime number?
False
Let j(z) = -z**3 + z**2 + 2*z + 487. Is j(0) composite?
False
Is 3*(-1)/(-1) + 31 prime?
False
Let t(i) = -i**2 + 7*i - 6. Let v be t(6). Suppose -o - 391 = -5*o + 3*p, -3*o + 2*p + 293 = v. Is o a prime number?
True
Let c(d) = -47*d**2 - 14*d + 3. Suppose 11 + 14 = 5*p. Let o(a) = -31*a**2 - 9*a + 2. Let i(l) = p*c(l) - 8*o(l). Is i(2) prime?
False
Is 1 + -3 + 42/2 a composite number?
False
Let k(x) = -617*x - 5. Is k(-2) a composite number?
False
Let i = 8 - 6. Suppose -i*s - 3*b = -163, -3*s + b + 287 = -3*b. Is s composite?
False
Let h(a) = a**3 - 7*a**2 - 7*a - 5. Let j be h(8). Suppose 5*z = -4*o + 167, -z - j*z - 3*o + 134 = 0. Is z composite?
True
Suppose 3*b - 4*b = 6. Let y be (-16)/b + (-1)/(-3). Is 2/(-6) - (-166)/y composite?
True
Suppose -5 = 5*p - 5*r - 30, 0 = 4*r + 4. Suppose -5*k - 2*u = -9, 7*k - 2*k = -4*u + 3. Suppose -37 = -p*h + k*h. Is h a composite number?
False
Let q(k) = 102*k**2 - 6*k + 1. Let d = 21 + -15. Let r(i) = 101*i**2 - 5*i + 1. Let l(g) = d*r(g) - 5*q(g). Is l(-1) a composite number?
False
Let g(v) be the first derivative of -v**7/84 + v**6/180 + v**5/120 - v**3 - 3. Let a(r) be the third derivative of g(r). Is a(-1) prime?
True
Let o(z) = 2*z**2 - 11*z - 7. Let c be o(-10). Suppose -3*u + c = -3*x, 3*u - 133 - 178 = 5*x. Is u a composite number?
False
Suppose -477 = -3*y + 408. Is y prime?
False
Let o(m) = -2*m**3 - 9*m**2 + 7*m + 17. Is o(-8) a composite number?
False
Let z(t) = t**3 + 7*t**2 + 7*t + 1. Let a be z(-6). Let l = 10 + a. Suppose 133 = -l*d + 6*d. Is d a composite number?
True
Let v(x) = -x**3 - 4*x**2 + 10*x. Suppose 0 = 2*f + 5*c - 2, -3*c + 1 - 7 = 2*f. Let a be (-7)/((-3)/f*3). Is v(a) prime?
False
Let t be (30/(-24))/(1/(-4)). Suppose k - 2*n + 3 = -2, t*n = -4*k + 45. Suppose k*b - 39 = 226. Is b a prime number?
True
Let x(m) = -m**3 + 6*m**2 + 5*m + 3. Suppose -3*o + 2 + 10 = 0. Suppose 2*i = i + o. Is x(i) a composite number?
True
Suppose 5*m + 23 = -3*s, -2*s = 8*m - 4*m + 18. Suppose 1 + 0 = -w. Is 86/(3 + m)*w a composite number?
True
Let l(t) = t**2 + 4*t - 10. Let g be l(-8). Suppose -3*d = -5*d + g. Is d composite?
False
Suppose 16 = 4*o, 3*o - 130 = 3*h + 2*o. Is 2/(1 - (-38)/h) composite?
True
Is 2/8 + 24045/60 - 4 a prime number?
True
Let i = 626 + -266. Suppose 3*b + 2*b = i. Is (b - -2)*3/6 a prime number?
True
Let f(m) = m**3 + 4*m**2 + 3. Let z be f(-4). Let y(n) = n. Let r be y(z). Suppose r*q - 1055 = -2*q. Is q a composite number?
False
Suppose -18*v - 1847 = -19*v. Is v prime?
True
Let h = -243 + 454. Is h a composite number?
False
Is ((-24263)/(-76))/(2/8) prime?
True
Suppose -6*y + 13050 = 1212. Is y a composite number?
False
Suppose 5*l - 48 = u, 2*u - 3*l + 79 = -3. Let n(j) = -9*j**3 - 2*j**2 - j + 3. Let b be n(-2). Let t = u + b. Is t a prime number?
True
Let v(g) = 582*g**2 + 3*g - 1. Is v(2) composite?
False
Let q(x) = -2*x**3 - 7*x**2 + 3*x - 13. Is q(-6) a composite number?
False
Suppose 4*w - m + 0*m = 19648, 5*m = 2*w - 9842. Is w prime?
False
Suppose 771 = -q + 4*q. Is q a prime number?
True
Let c = -600 + 849. Is c composite?
True
Let i = 5 - 1. Suppose -i*m = 3*q - 1085, m + 4*q - 122 - 159 = 0. Is m composite?
False
Suppose 0 = 3*f - 3*c + 6, 4*f - 3*c = -2*c + 1. Let k be 3 + -2 + 1 + f. Suppose -4*p = v - 57, -v - 5*p = -k*p - 63. Is v a composite number?
True
Suppose -13*n + 5*n + 2632 = 0. Is n a composite number?
True
Let p(r) be the first derivative of 3*r**3 - 4*r - 1. Suppose s - 4*x = -11, -3*x + 4*x = 3*s + 11. Is p(s) a composite number?
True
Suppose 3*g = 3, -5*r - 4*g + 2*g + 27 = 0. Suppose -r = 4*h + 7. Let a = 16 + h. Is a a prime number?
True
Let d be -10*((-4)/(-10) + -2). Let z = 2 + d. Is z - ((-3)/1)/3 composite?
False
Let v(d) = 264*d**2 - d. Let q be v(-1). Suppose 2*o = 8 + 6. Suppose -o*p + q = -2*p. Is p a prime number?
True
Let q = 56 - 19. Suppose 3*o - 5*a = 277, q = -5*o + 3*a + 488. Is o composite?
False
Suppose -12*s + 4884 + 2088 = 0. Is s composite?
True
Let g = -59 + 103. Let l = -23 + g. Is l a composite number?
True
Suppose g + 4 = -3*g. Let f be (1 - g - 0)*19. Suppose -5*k + 3*u + 14 = -15, -5*u + f = 4*k. Is k composite?
False
Suppose -5466 = -15*y + 9*y. Is y prime?
True
Let h(j) = j**2 + 11*j - 3. Let r be h(-11). Let t be (6/r)/(-1) + -1. Is -1*(-36 + t + -2) composite?
False
Suppose 7*g + 190 = 6*g. Let v = -96 - g. Is v prime?
False
Suppose 3*c + 2*u - 22 = -0*u, -4*c = 5*u - 41. Suppose 0 = -b - c*v + 25, 4*b - 3*b - 41 = 4*v. Let l = 55 - b. Is l prime?
False
Let u(p) = 51*p**3 - 5*p**2 + 2*p + 2. Let d(g) = -77*g**3 + 8*g**2 - 3*g - 3. Let m(z) = -5*d(z) - 8*u(z). Is m(-1) a prime number?
True
Let b = 13 + -11. Suppose 2*p = 0, 0*j + b*p = -3*j + 231. Is j a composite number?
True
Let j(m) = 22*m**2 - 4 - m**2 + 2*m - 4*m. Is j(3) composite?
False
Let m be (172/8)/(1/4). Let i = m + -49. Is i prime?
True
Let d = -8 - -13. Let k = 1 - -1. Suppose d*x + 172 = 3*c, -2*c + 221 = k*c - 5*x. Is c a composite number?
True
Suppose -3*b + 4 = s, 3*s = -0*b + 2*b + 1. Let g be -62 + (s*6)/(-3). Let d = 155 + g. Is d a prime number?
False
Let x(m) be the third derivative of m**5/60 + 7*m**4/24 + m**3/3 + 2*m**2. Let d be x(-6). Is 2*((-182)/d + 0) prime?
False
Is (-30352)/(-144) + 4/18 composite?
False
Let j(x) = -1 + 5*x**3 - 3*x + 0*x + 2 + x**2. Let c be j(2). Suppose 2*h - 40 = -4*s - 0*h, 3*h + c = 5*s. Is s composite?
True
Suppose -5*h - 991 = -4836. Is h a prime number?
True
Let n be -1 + 2 + 615 + -1. Suppose 4*d = -d + n. Is d a composite number?
True
Let j = 15 + -8. Let m(q) = 3*q**2 + 9*q + 7. Is m(j) prime?
False
Let c(z) = -2*z**3 + 4*z**2 + 2*z + 1. Let n(u) = -u**3 + 5*u**2 + u + 2. Let v(g) = -3*c(g) 