-31. Is n composite?
True
Let p = -10 + -5. Let x = -3 - 2. Is x/p - 274/(-6) composite?
True
Suppose -3*j - 5*i + 22 + 4 = 0, -4*j - 5*i = -28. Suppose 11*f - 5*f = 408. Suppose -12 = -4*o, 5*u - o + j*o - f = 0. Is u a composite number?
False
Let z = 8 + -13. Let m be (-60)/25 + (-2)/z. Is 26 + (1 - -1)/m prime?
False
Let w(q) = 3*q**2 + 6*q + 7. Is w(-20) composite?
False
Let z(y) = -15*y - 8. Let a be z(9). Let l = 300 + a. Is l composite?
False
Let x(q) = -11*q**3 + 5*q**2 + 4*q + 15. Is x(-8) composite?
True
Suppose 90 = z - 0*z - f, -178 = -2*z + 4*f. Is z composite?
True
Let d be 350/2*16/20. Let p = d + -13. Is p a composite number?
False
Let b be (-4 - -2)*-1 - -1. Let k(p) = p**2 + 2*p + 6. Is k(b) a prime number?
False
Let w be ((-12)/(-10))/((-2)/(-10)). Let r(p) = 3*p**2 + 2*p + 5. Let h be r(w). Suppose i = 6*i - h. Is i composite?
True
Let r(d) = 5*d**2. Let v be r(-1). Suppose 2*i = -3*c - 3*i + 307, -v*i + 416 = 4*c. Is c a composite number?
False
Let c = -23 + 0. Let z = c + 72. Let d = -18 + z. Is d a prime number?
True
Suppose 0*h + 1 = 2*s + 3*h, 5*h + 13 = 4*s. Let a(w) = -s*w - 3 + w**2 + 2*w. Is a(5) a composite number?
True
Is (974/(-4))/((-5)/10) composite?
False
Suppose -2*v - 13721 = -5*u, -5*u + 2360 = -3*v - 11364. Suppose -u + 308 = -5*c. Is c prime?
True
Let i(c) = 49*c + 7. Is i(4) prime?
False
Let w(q) = 586*q - 67. Is w(8) a prime number?
True
Suppose -5*a + 803 = -782. Is a prime?
True
Let v = -1814 - -3073. Is v prime?
True
Suppose 94 = 3*j - 3683. Is j a prime number?
True
Let f(x) = 10*x + 19. Is f(13) prime?
True
Suppose 5*s + 2*x = 7789, -5*x - 3133 = -0*s - 2*s. Is s composite?
False
Let g = -42 + 36. Let c(s) = 20*s**2 - 3*s + 2. Let p(f) = 7*f**2 - f + 1. Let u(z) = 6*c(z) - 17*p(z). Is u(g) composite?
False
Suppose -2*b = -5*b. Suppose 0 = q - b*q - 2. Suppose 2*o - 3*f = 189, 376 = q*o + 2*o - 4*f. Is o composite?
True
Let j = 5891 + -2197. Is j a composite number?
True
Suppose -y - 13 = -3*z, -1 - 12 = -4*z - 3*y. Suppose 4*i + z*w - 3*w - 632 = 0, 5*i + 2*w - 793 = 0. Is i prime?
True
Let z = 96 - -83. Is z a prime number?
True
Suppose -3 - 17 = -5*d, 3*d - 60 = -l. Let x = 125 - l. Is x a composite number?
True
Suppose 6*u = u + 755. Let n = u - 72. Is n composite?
False
Suppose 28 + 17 = 5*c. Suppose c = -0*h + 3*h. Suppose -2*d = -d - z - 69, -h*z - 6 = 0. Is d prime?
True
Let g(f) = 9*f**2 - 3*f + 8. Let c be g(-9). Suppose s + c = 5*s. Is s prime?
True
Let q(x) be the third derivative of x**6/90 + x**5/120 - x**3/3 - x**2. Let k(t) be the first derivative of q(t). Is k(-2) composite?
True
Is (1 - 7)*23610/(-60) composite?
True
Suppose -2*w + 26 = 10. Suppose 0 = t + w - 4. Let o(z) = 2*z**2 + 3*z + 6. Is o(t) a composite number?
True
Let x = -186 + 875. Is x prime?
False
Suppose l = -3*d - 2174, -866 = 4*d + 4*l + 2038. Let q be 2/(-11) - d/(-11). Let i = q - -99. Is i prime?
False
Let n be (-6)/(15/6 + -1). Let z = n + 7. Suppose -z*p = 2*p - 15. Is p a prime number?
True
Let j(s) = -3*s**2 + 2*s - 3. Let k(g) = g. Let w(a) = -j(a) + 6*k(a). Is w(-6) a composite number?
True
Let b = -12 - -10. Is (59/(-2))/(1/b) a prime number?
True
Let h be (-3)/((-1)/(-8)*-2). Suppose 3*f - 5 = 2*u, f = -3*f - 4*u + 20. Suppose b - f*b = -h. Is b a prime number?
False
Suppose 5*b - 379 = 1861. Suppose -b = l + 3*l. Let u = l + 177. Is u prime?
False
Let s(z) = -z**2 - 2*z + 2. Let n be s(-2). Let d be (-3 + 2)*n + 2. Is 35 + d + 2 + -4 composite?
True
Suppose -5*k = -2*j + 23, -2*j + 0*j = 5*k + 27. Is (j + 2)*(0 + 11) a composite number?
False
Is ((-148)/6)/((-2)/15) a prime number?
False
Let b(v) = 4*v**2 + 28*v - 19. Is b(21) a composite number?
False
Suppose h - 13 = 3. Suppose 6 = 4*b - w, -5*w + 4 = 5*b - h. Suppose 2*j - 2 - b = 0. Is j prime?
True
Let h be 25/(-9) + 4/(-18). Let a be (15/(-9) + 0)*h. Is (-4)/(-3 + a) + 121 a prime number?
False
Let l(b) = -b**2 + 74. Let u = -2 + 2. Let v be l(u). Suppose q + q = v. Is q a prime number?
True
Is 4/6 + 11452/12 composite?
True
Let a(f) be the second derivative of 3*f + 1/2*f**4 - 3/2*f**2 + 0 + 1/20*f**5 + 0*f**3. Is a(-5) composite?
True
Suppose 0 = -2*c - 21 - 3. Let s(u) = -4*u + 6 + 5*u + 10. Is s(c) a composite number?
True
Let m(l) = 21*l**2 + l - 1. Suppose -3*w - 4*n - 5 = -0*w, 0 = 5*w - 2*n + 17. Let d be m(w). Suppose o + 4*o = d. Is o a prime number?
True
Suppose 34 = -3*c + 1. Let n(x) = x**2 + 10*x - 7. Let w be n(c). Is 46/w - 1/2 a composite number?
False
Suppose -3 = -p + 91. Let s = 145 - p. Is s composite?
True
Let w be (-2)/(-3) + 26/(-3). Let j = 13 + w. Suppose -j*b + 4*f = -287, -2*b - 208 = -6*b - 4*f. Is b a composite number?
True
Suppose 0 = 3*p - 4*x - 1379 - 3306, 4*p - 6244 = 4*x. Is p prime?
True
Let x be 0 - (-1 + 3 - 2). Suppose 0*b - 5*b + 1115 = x. Is b a composite number?
False
Suppose -m - 129 = 6. Let v be (2 - 1) + -1 - m. Suppose 5*j - 260 - v = 0. Is j composite?
False
Let k be -2 + 3/(5 - 2). Let q = 13 + k. Suppose -2*l + 3*l + x = 8, -l = 5*x - q. Is l prime?
True
Let v = -4 + 4. Suppose -m + 3 = -v*m. Suppose 31 = a - m*u, a - 20 = 4*u + 11. Is a prime?
True
Is 138 + 2/4*6 a composite number?
True
Let v = 1352 + -431. Is v a prime number?
False
Let y(a) = a - 2. Let v be y(5). Suppose v*b = 34 + 221. Is b a composite number?
True
Let u(q) be the second derivative of q**5/20 + 11*q**4/12 - 3*q**3/2 - 11*q**2/2 + 4*q. Is u(-8) prime?
False
Let o(p) = -p + 13. Let m be o(9). Suppose 4*b + 8 = -0*b, -m*a - 4*b = -252. Is a a composite number?
True
Let i = 1 + -1. Is i + -3 - (2 - 39) composite?
True
Suppose 0 = -a - 145 + 616. Is a composite?
True
Suppose 5*c - c - 568 = 0. Suppose 0 = -o + c + 199. Is o prime?
False
Let w(x) = -x**2 - 4*x + 1. Let g be w(-3). Is ((-2)/g)/(6/(-372)) a prime number?
True
Is (-12795)/(-51) + 4/34 a composite number?
False
Let r be ((-64)/(-2))/(2/47). Let c = 1131 - r. Is c a prime number?
True
Let m be (-207 - -3)*13/(-2). Let k be (-12)/(-42) + m/14. Suppose -c - k = -6*c. Is c composite?
False
Let s(w) = -w**3 - 11*w**2 - 3*w - 9. Suppose 0 = -4*j - 28 - 12. Let h be s(j). Let k = 114 + h. Is k composite?
True
Let g(n) = 7*n + n + 2 - 3. Is g(4) prime?
True
Let p(l) = 99*l**2 - l + 1. Is p(3) prime?
False
Let b(n) = -n + 5*n + n - 4*n**2 - 4 + n**3. Let x be b(3). Suppose -x - 1 = -q. Is q composite?
False
Suppose 22 = 4*t - 3*q, -10 = -0*q + 5*q. Suppose 3*w = -t*l + 205, 2*l = 2*w - 125 - 7. Is w a composite number?
False
Is (2 - -1088) + (0 - 3) prime?
True
Let i = -55 - -25. Let s be 2 - ((-53 - -2) + 2). Let l = s + i. Is l a prime number?
False
Suppose 0*d - 5*d = 3*s - 58, 4*s = -3*d + 59. Is s prime?
True
Let y(i) = 2*i**2 + 16*i + 51. Is y(-10) composite?
True
Let r = -5 + 43. Is r a composite number?
True
Suppose -q = 3*q - 4348. Is q a composite number?
False
Suppose -9*x + 12 = -5*x. Suppose y + 4*y = 5*i + 370, 182 = x*y + 5*i. Is y composite?
True
Suppose 5*k = -5*u + 3930, 2*k - 5*k - 4*u = -2359. Is k composite?
True
Let w be (-34)/(-8) + (-15)/(-20). Let q(m) = 6*m**2 - 6*m - 1. Is q(w) prime?
False
Let p(c) = -c**3 - 17*c**2 - c - 4. Let y be p(-17). Is (16/(-4))/((-2)/y) composite?
True
Let j(a) = 7*a**3 + 2*a**2 - 7*a - 8. Let r(u) = -3*u**3 - u**2 + 3*u + 4. Let b(s) = 4*j(s) + 9*r(s). Is b(3) prime?
True
Let z(d) be the third derivative of -d**5/60 - 5*d**4/12 - d**3/3 - 5*d**2. Is z(-7) a prime number?
True
Suppose -4*o - z + 4 = -10, 4*o = 2*z + 8. Suppose -3*f + 3*y + 423 = 0, -2*f = o*f + 5*y - 685. Is f a composite number?
False
Suppose 0 = 5*n + 5*z - 5 + 20, -4*n + 2*z = 6. Is (-256 - (-6)/3)/n composite?
False
Suppose -12 = 2*r - 0. Let u be (6/(-4))/(r/16). Is 1/u - (-1785)/12 prime?
True
Is (2 + -6815)*5/(-15) a prime number?
False
Suppose 0 = -2*k + 2*w - 4, -7 = -5*k - 5*w + 3. Suppose -3*l + 16 = 5*j, k*l + 2 = -4*l + 5*j. Suppose -l*s = s - 27. Is s prime?
False
Let g = -6 - -11. Suppose -g*i - 20 = -565. Is i a composite number?
False
Let j(c) = c**2 - 3*c - 5. Let n(o) = -o**2 + 2*o + 3. Let a(g) = -4*j(g) - 7*n(g). Is a(4) a prime number?
False
Let x = 3497 + -814. Is x prime?
True
Let n be ((-1)/((-2)/(-12)))/(-2). Suppose -3 = -l - 5*i + 27, 5*l - 45 = -4*i. Suppose -g + l*h = -3*g + 75, -n*g - 5*h + 100 = 0. Is g prime?
False
Le