0. Is (23 - b)/(4/10) a composite number?
True
Let d = 14 + -7. Let p(c) = -3*c - 3*c - 3*c - 7 + 3*c**2. Is p(d) composite?
True
Let c = -37 + 80. Suppose -c = -0*i - i. Is 12/16*(1 + i) composite?
True
Let k be (-3)/(-9) - 317/(-3). Let j(b) = -b - 8. Let c be j(-8). Suppose d + d - k = c. Is d a prime number?
True
Suppose -417 - 253 = -2*u + 4*w, -4*w = -3*u + 1005. Is u prime?
False
Suppose 0 = 3*q - 1691 - 364. Suppose -185 = -5*z - q. Let j = -23 - z. Is j prime?
False
Let k = 37 - 34. Let d(s) = s**3 + 7*s**2 + 6*s + 5. Let x be d(-6). Is (x/k)/(3/153) a composite number?
True
Let p = -1105 - -2012. Is p a composite number?
False
Suppose -4*y = -5 - 7. Suppose -5*x = 4*c - 20, 12 = -5*c - 0*x + y*x. Let a(v) = v**2 - v + 23. Is a(c) a prime number?
True
Let h(p) = 122*p**2 + 3*p + 2. Is h(-1) prime?
False
Suppose 0 = -4*s + 4, -2*j = s + 3*s - 906. Is j a prime number?
False
Let a = 1452 + -865. Is a prime?
True
Let f = 94 + -51. Is f a prime number?
True
Let x(r) = -r**2 + 8*r + 2. Let k be x(8). Suppose 390 = k*c - 4*l, 0*c + 4*c = -l + 762. Is c composite?
False
Suppose -263 = v + i - 659, -1592 = -4*v + 4*i. Is v composite?
False
Suppose 3*s + b = -2*b + 312, 0 = -2*s + 5*b + 187. Suppose -s = -4*n + 51. Is n a composite number?
True
Let t = 4 + 31. Is t composite?
True
Let o = 8 + -4. Suppose -o*q = 3*h - 485, 0*h + q + 816 = 5*h. Is h prime?
True
Let o(m) = 2*m**2 + 3*m + 3. Let c be 2/4*1*-4. Let h be o(c). Suppose h*g - r - 109 = 0, 3*g + 1 = 4*g + 5*r. Is g a composite number?
True
Suppose -6 = -3*r + r, -r = -4*b + 209. Suppose 0 = 3*i - b - 58. Is i prime?
True
Let s(f) = f**3 - 4*f**2 - 4*f + 7. Suppose 0 = -g - 0*g + 1. Let b be 1/g - (-1 - 4). Is s(b) a prime number?
False
Is 4*(-3)/(-4) - (-49 - 1) a composite number?
False
Let c(m) = -m**3 + m**2 + m + 1023. Let b be c(0). Suppose b = -5*z - 0*z - t, z = 5*t - 189. Let a = z - -349. Is a composite?
True
Let b = 17794 - 8555. Is b a composite number?
False
Let o(f) be the first derivative of -7*f**3/6 - 5*f**2/2 - f + 1. Let p(i) be the first derivative of o(i). Is p(-4) composite?
False
Let p be 152/6*3/2. Let m = 151 - p. Is m a prime number?
True
Suppose -7*r - 45 = -122. Is r a composite number?
False
Let l(r) = -r**2 - 22*r. Let w be l(-11). Suppose g + 22 = 71. Suppose 5*x - w = g. Is x a prime number?
False
Suppose 2*h = -2*v + 5*h + 1961, h = v - 980. Is v prime?
False
Is 12/48 - 3574/(-8) a composite number?
True
Let x(r) = -20*r**3 - 3*r**2 - r + 3. Is x(-3) composite?
True
Suppose 5*f + 42 = 187. Suppose -26 = -4*y + 3*h - 10, -2*h = 3*y - f. Is y prime?
True
Suppose 2*w - 4*p + 8*p - 6 = 0, -5*w + 4*p + 29 = 0. Suppose 793 = w*q - 3*m, -166 = -2*q + 4*m + 140. Is q a composite number?
True
Let z(f) = 33*f + 26. Is z(17) a composite number?
False
Let r(b) = 4*b + 11. Is r(6) a prime number?
False
Let k be (-4)/(3/6*-1). Is -12*((-18)/k - 1) a composite number?
True
Let q(m) = 115*m**3 - m**2 + m. Suppose -3*x - x + 4 = 0. Is q(x) a prime number?
False
Let k(c) = 2*c + 0*c + 4 - 2*c + 3*c. Is k(6) composite?
True
Suppose -5*t = -0*t - 60. Suppose 4*s + t = 0, -5*s - 43 = -j - s. Is j prime?
True
Let a be -3 - ((0 - 3) + -19). Suppose -4*q + 5*q = a. Is q prime?
True
Suppose 4*m - 2*q - 546 = 0, -2*m + 4*q + 301 = 25. Let x = 181 - -104. Let j = x - m. Is j prime?
True
Let m = 114 + 117. Let s = m - -124. Is s composite?
True
Let o = 12 + -9. Suppose -o*y + 13 = -17. Is y composite?
True
Let l = -242 + 495. Is l composite?
True
Suppose 0 = -4*n + 8*n - 128. Let y = 72 - n. Suppose 5*l - y = 25. Is l a prime number?
True
Suppose 3*y - 8*y + 295 = 0. Is y a prime number?
True
Let c(d) = d**2 - d - 5. Let h be c(-4). Suppose h = -3*z, -3*z = 4*x - 5*x + 20. Suppose 2*f - u - 3*u - 286 = 0, x*u = 2*f - 285. Is f a prime number?
False
Suppose 0 = -3*q + l + 4*l + 3556, q = 2*l + 1185. Is q composite?
False
Let j(y) = 176*y - 3. Let a be j(4). Let o = -498 + a. Is o a composite number?
True
Suppose 2*m = 4*u - 0*m - 10, 5*m = -4*u + 17. Let z(r) = r + 2. Let y be z(-5). Is 59/(((-9)/u)/y) a composite number?
False
Is (-2)/(-9) + 68136/54 + -3 a composite number?
False
Suppose -q - 3 = 3*l, -3*q + 2*l = -1 - 12. Suppose -v - 3*v + c = -155, -q*c + 81 = 2*v. Let r = v + -25. Is r a prime number?
False
Let c(r) = 158*r**2 - 3*r + 5. Is c(2) composite?
False
Let r(c) = 0*c**2 + 2*c**2 + 2*c - 6*c + 1 + c. Let u be r(2). Suppose 1222 = 4*b - u*p, 3*p + 4 - 10 = 0. Is b prime?
True
Suppose -3*i = -6*i + 6. Suppose 5*h = -i*q + 23 + 57, 0 = 4*h + q - 67. Suppose h + 3 = n. Is n prime?
False
Let g(w) = 143*w**2 + w. Is g(-1) a composite number?
True
Suppose 2*m - 152 = -2*m. Let g = 75 - m. Is g a prime number?
True
Let h(p) = -48*p**2 - p + 2. Let d(r) = -r + 3. Let s be d(5). Let m be h(s). Is (m/6)/((-2)/6) composite?
True
Let w(b) = -11*b - 4. Let v be w(-4). Is ((-4)/8)/((-2)/v) composite?
True
Let f(s) = 8*s**2 - 3*s + 9. Let l be f(-4). Is l*(-7 - -3)/(-4) prime?
True
Is (-13833)/18*(1 + -2 + -1) a composite number?
True
Suppose 3*d + 465 - 1260 = 0. Is d prime?
False
Is (18/(-36))/((-1)/2062) a prime number?
True
Let o(b) be the first derivative of -b**4/4 + b**2/2 - b - 2. Let q be o(-2). Suppose -67 = -m - 3*h, 4*h - 11 = q. Is m a prime number?
False
Let z(g) be the first derivative of 3/2*g**2 + 1 + 10/3*g**3 - g + 1/4*g**4. Is z(-9) a prime number?
True
Let p(x) = 9*x**2 + x - 6. Let o be p(5). Let m = o - 141. Is m prime?
True
Suppose -29 = -2*w - 0*h + 3*h, -3*h - 77 = -5*w. Is 131/4 + 4/w a prime number?
False
Suppose 1 - 16 = -5*j, 0 = -3*l - j + 27. Let c = l + -4. Suppose 2*t - c*t + 26 = 0. Is t composite?
False
Let q be 3*(-6)/(-9) + -2. Let b be (q/1 + -2)*-1. Suppose -5*j + p = -50, -p - 5 = -b*p. Is j a prime number?
True
Is 1 + 3 - 3 - -162 a composite number?
False
Suppose -5*n = -15845 - 1100. Is n composite?
False
Let y be 632/6 + (-2)/6. Suppose 3*q = -0 + y. Is q prime?
False
Let i = -445 + 740. Is i a composite number?
True
Suppose -4*b + 7 = 3. Let r be -1 - -2 - (0 - b). Suppose -255 = -3*y - r*y. Is y prime?
False
Suppose -j + 1 = 0, -5*b = 3*j - 7*j - 881. Is b a composite number?
True
Is 6/(-8) + 2298/24 composite?
True
Is (-269)/(-4) - (-1)/(-4) a prime number?
True
Let o(h) = h**3 + 14*h**2 + 10*h - 2. Is o(-13) a prime number?
True
Suppose -2*f + 5 = 3*f. Suppose n - f = -2*l + 8, 0 = 3*l + 3*n - 9. Suppose l*a - 21 = 3*a. Is a prime?
True
Let k = 2 - 4. Is (231 - k)*5/5 a prime number?
True
Let y = 766 + 2725. Is y prime?
True
Let l = 4 + -8. Let b(o) = -o**2 + 3*o - 1. Let k(i) = i. Let d(m) = -b(m) - 2*k(m). Is d(l) a prime number?
True
Let a(d) = d**2 + 4*d + 6. Let t be a(-4). Let b be t/(-5)*(-30)/12. Suppose f - 76 = -b*f. Is f a prime number?
True
Let c(n) = n**3 - 6*n**2 - n. Let v be c(5). Is 707/5 + 12/v a prime number?
False
Let h = -1 + 0. Is 1*h + 0 + 92 prime?
False
Let x be (6/(-5))/((-2)/5). Suppose 30 = x*r - 2*a, 2*r - 31 = -0*r + 5*a. Is (-1)/(r/(-6))*92 composite?
True
Let a(d) = 5*d**3 - 14*d**2 + 6*d - 10. Let w(s) = -s**3 + s**2. Let h(c) = -a(c) - 4*w(c). Is h(9) prime?
True
Let c = -290 - -1549. Is c a composite number?
False
Suppose 2*a = 5*a - 300. Let k = 143 - a. Is k composite?
False
Let u = 7 - 7. Suppose u*c + 1067 = 5*c - 3*y, 0 = -4*c - 3*y + 832. Is c prime?
True
Suppose 0 = -w - 0*w + 21. Is w composite?
True
Suppose 5*z - 64 = 201. Is z a composite number?
False
Let w(o) = 5*o**3 - 2*o**2 - 3*o + 3. Let u be w(5). Let z = u - 298. Is z composite?
True
Let z(d) = 19*d + 12. Is z(9) a prime number?
False
Suppose 118 = x + 5*b, -5*x + 631 = -b - 11. Suppose s = 129 + x. Is s prime?
True
Let l(a) = a**3 + 5*a**2 - 3*a + 1. Let b be l(-3). Let h = 63 + b. Is h composite?
True
Let f be (815/20)/(2/8). Suppose 3*v - f = 2*v. Is v composite?
False
Is (-1038)/4*(-16)/12 a prime number?
False
Suppose 3*t = 4*t - 2*y, -2*t = -y - 3. Let s be 4/(2/1) + t. Suppose 290 = 3*r + 5*q, -s*r + q + 383 = 4*q. Is r prime?
False
Let u(n) = 83*n**2 + n + 1. Let l = -2 + 1. Is u(l) prime?
True
Suppose 274 + 336 = -5*r. Let o = -100 - -57. Let w = o - r. Is w a prime number?
True
Let f be 18/4 - 3/(-6). Suppose -f*n - 24 = -n. Let w = n + 8. Is w composite?
False
Let n = -55 + 104. Suppose 0 = r - n - 28. Is r a prime nu