 - (1 - -1). Suppose -5*n = -2*n - s. Is n*(1 + -2)*-59 a composite number?
False
Suppose 2*a - 628 = -182. Is a composite?
False
Suppose 2*w - 254 = 434. Suppose 0*t + 4*t = w. Is t a composite number?
True
Suppose t + 21 = 2*t. Is t a prime number?
False
Let r(l) = 2*l - 3. Let w = 9 - 1. Is r(w) composite?
False
Let d(q) = -q - 5. Let w be d(-9). Suppose 0 = 5*j - w*j - 2*u - 23, 4*j - 5*u = 80. Is j a prime number?
False
Let j(l) = l + 1. Let y(p) = 19*p + 3. Let n(b) = -4*j(b) + y(b). Is n(1) a prime number?
False
Let o be ((-44)/(-8))/((-2)/28). Let c = o + 116. Let y = 262 + c. Is y prime?
False
Let r = 315 + 836. Is r prime?
True
Let u(x) = 3*x - 2. Is u(4) composite?
True
Let o be 2/9 + 742/63. Suppose -o = -n + 9. Suppose 3*y = -0*y + n. Is y a composite number?
False
Suppose -4*q - 2*b = 878, -1483 = 5*q + 4*b - 384. Let u = -100 - q. Is u a composite number?
True
Suppose -14*m + 15*m - 87 = 0. Is m composite?
True
Let y(r) = -r - 1. Let v be y(-4). Is v/(-3)*(-158)/2 prime?
True
Let a = 27 + 8. Is a*(1 + 0/2) prime?
False
Is (-2694)/4*(-98)/21 prime?
False
Suppose -3*d = d - 12. Suppose 4*l = d*l + 3*s + 320, -2*s = -l + 323. Is l a prime number?
False
Is (-1)/((8/130)/(-4)) prime?
False
Suppose 0 = -2*d + 292 + 990. Is d a prime number?
True
Let p = -9962 + 6812. Is p/(-28) + (-6)/4 a composite number?
True
Suppose 3*y - 3 = 9. Suppose 0 = -j + y*m + 179, 215 - 1144 = -5*j + 3*m. Is j prime?
False
Suppose -4*k + 2 + 14 = 0. Let i(c) = c**3 - 2*c**2 - c + 84. Let d be i(0). Suppose -k*p + 3*j + d = 0, -6*j - 105 = -5*p - 2*j. Is p a prime number?
False
Let p(t) = -t**3 + t**2 + t + 1. Is p(-2) a composite number?
False
Let g(t) = t - 48. Let p be g(0). Let f = 9 - p. Is f composite?
True
Let u(d) = -d + 363. Let i be u(0). Suppose -6*t + i = -423. Is t a prime number?
True
Suppose 7*l - 310 = 2*l. Is l prime?
False
Let c(r) be the first derivative of r**4/4 + 2*r**3 + 4*r**2 + 5*r + 1. Let s be c(-5). Is (-4)/s - 126/(-10) prime?
True
Is (-15)/6*(-1688)/20 composite?
False
Let l(m) = -m + 2. Let b be l(-3). Suppose -f + b*f = 1780. Is f composite?
True
Is (445 - -2 - 3) + 4 + -3 prime?
False
Let q(w) = -7*w**3 - 49*w**3 - 55*w + 55*w - 1. Is q(-1) prime?
False
Suppose -8*r + 1624 = -0*r. Is r a composite number?
True
Let w(v) = v**2 - 2*v + 2. Let z be w(2). Suppose 0 = z*r + 23 - 85. Is r prime?
True
Let l = -3 + 10. Suppose 0 = 2*a - l - 3. Suppose -85 = -5*m + a*q - 0*q, 2*m + 4*q = 46. Is m composite?
False
Suppose 0*s + 4 = s. Suppose -5*q = -2*z + s - 3, 3*z - 8 = q. Suppose -z*o = -6*o + 153. Is o a composite number?
True
Let f(l) = -l**2 + 6*l + 1. Let b be f(6). Is 56/2*b/2 a composite number?
True
Suppose -3*g = g + 352. Let h = 89 - g. Is (-2 + 1)*h/(-3) a prime number?
True
Suppose -c = -2*c + 4. Suppose -c*z = -11 - 17. Suppose -42 = -z*d + 4*d. Is d composite?
True
Let c(j) = 17*j + 5 + 8*j + 0 - 7*j. Is c(4) prime?
False
Suppose 2*n - 8 = 6*n. Is (n/3)/((-20)/2910) prime?
True
Is 2954/5 - (-6)/30 composite?
True
Let c(v) = 2*v**2 - 5*v - 5. Suppose h - 1 - 4 = 0, -5*n = 4*h - 50. Is c(n) a composite number?
False
Suppose -4*y + 0*s + s + 17 = 0, 0 = y + 2*s + 7. Let h = y - -30. Is h a prime number?
False
Suppose 2*x + 2*l - 442 = 0, -3*x + 465 + 198 = -4*l. Suppose -2*a - 2*d + x = -1, 5*d = -2*a + 222. Is a prime?
False
Let z = -1 - 30. Is (z/3)/((-10)/150) a prime number?
False
Let c(n) = -n**3 - 9*n**2 + 3. Let h be c(-9). Let k(l) = 18*l - 1. Is k(h) a composite number?
False
Let u = -4 + 6. Suppose 0 = 5*h - u*h - 711. Is h composite?
True
Let o(s) be the third derivative of s**5/30 + s**4/2 + 17*s**3/6 + 3*s**2. Is o(12) composite?
False
Suppose 4*f = 1369 + 739. Let t = f + -310. Is t prime?
False
Let c be -6*1/(-4)*2. Suppose 0 = c*j - 454 - 3122. Suppose 3*l + 331 = j. Is l composite?
True
Suppose 2*u - 28 = 16. Is u prime?
False
Let p(n) be the third derivative of n**5/60 - 13*n**4/24 - n**3/6 - 4*n**2. Is p(14) prime?
True
Suppose -3*l = -t - 4, -4*l = -5*t - l + 4. Suppose d = -t*d + 93. Is d composite?
False
Is (161/2)/((-4)/(-8)) composite?
True
Let n(u) = 4*u**2 + 5*u + 13. Is n(-6) a prime number?
True
Suppose a + 4*y + 15 = 0, 0 = -5*a - 3*y + y - 21. Let j = 10 + a. Is j prime?
True
Is 15/(-6)*2328/(-30) prime?
False
Suppose 4*z = 6*z + 3*q - 3, 2 = -4*z + 2*q. Suppose 2*r - 3 - 9 = z. Suppose -275 = p - r*p. Is p composite?
True
Let n be 2/1 - (3 + -12). Suppose 0*y = y - n. Let h = y + -8. Is h prime?
True
Let x(w) = -w**2 - 8*w + 2. Let q be x(-7). Let n(u) = -u**2 + 10*u - 4. Let l be n(q). Suppose 90 = 5*t + l*m, t = -2*m - m + 26. Is t composite?
True
Suppose 5*b - 1596 = 2719. Is b a prime number?
True
Let t(f) = f - 63. Let a be t(0). Let x = -32 - a. Let m = x + -18. Is m prime?
True
Let h(v) = -v**2 - 11*v - 8. Let o be h(-10). Suppose 0 = -6*g + o*g + 1172. Is g composite?
False
Let q = -4462 - -3105. Let v = q - -2557. Let r = -827 + v. Is r a composite number?
False
Let x(w) = -30*w + 7. Is x(-3) composite?
False
Let q be (-1565)/15 + (-2)/(-6). Let l = -27 - q. Is l prime?
False
Is 381/18 - -1 - 4/24 a composite number?
True
Suppose 4*t = 6*t - 106. Is t a prime number?
True
Suppose 0 = -3*m - 137 + 5156. Is m a composite number?
True
Let t be -2 - (-1 + 0) - 0. Let p(w) = 107*w**2 - 1. Is p(t) a composite number?
True
Let n(b) = 63*b - 3. Let a be n(6). Suppose 5*h = 235 + a. Is h composite?
True
Let v = -5 + 6. Let r be (-362)/((0 - 2)*v). Let f = -128 + r. Is f prime?
True
Let a(k) = 30 + 114 + 16 + k**2 + k + 63. Is a(0) a composite number?
False
Let c = 1147 + -698. Is c prime?
True
Let h be ((-7)/(-7))/(1/(-3)). Let n be (0 + h)/(2/(-254)). Suppose -z - n = -4*z. Is z a prime number?
True
Suppose 2*c - 1 + 11 = 0. Let d(g) = 3*g + 4. Let m be d(c). Let y = 64 + m. Is y prime?
True
Let i(h) = -h + 8. Let a be (6 - 0/(-3))*-1. Is i(a) composite?
True
Let q(z) = z**2 + 8*z - 10. Is q(5) a prime number?
False
Suppose 456 = 3*q + q. Let o = -35 + q. Is o a prime number?
True
Let q be 1/(-2 + 1) - -29. Let f be (6/(-7))/((-4)/28). Is (q/(-6))/((-4)/f) prime?
True
Suppose 6 = 3*p - 0*p. Let q(z) = -4*z**3 + z + 1. Let r be q(-1). Suppose -p*a + r*j - 2*j = -24, 0 = -a - j + 18. Is a prime?
False
Let w be 3/9 - 22/(-6). Let d(r) = w*r + 2 - r - r. Is d(10) composite?
True
Let r(v) = 46*v**2 + 5*v + 0 - 20*v**2 + 8 - 4*v. Let h be r(-8). Suppose h = 3*g + 131. Is g a composite number?
True
Suppose 5*i = -0*i + 10. Let b = 0 + i. Suppose -b*o + 226 = 4*l, -36 = -2*l + 3*o + 89. Is l prime?
False
Let q = 161 - -48. Is q prime?
False
Let m = 2 + 1. Suppose -4*g + m*g = 2*i + 182, -5*g + 10 = 0. Let u = 23 - i. Is u a prime number?
False
Suppose 4*y - 471 = y. Is y a composite number?
False
Let x be (3 + 1)/2 - -115. Let p = -20 + x. Is p a prime number?
True
Let l(g) = -4*g**3 + 14*g**2 + 6*g + 3. Let k(f) = 5*f**3 - 15*f**2 - 7*f - 2. Let y(v) = -3*k(v) - 4*l(v). Is y(13) a prime number?
True
Let j = 5018 + -2847. Is j a composite number?
True
Let n(o) = o**2 - o - 2. Let c be n(3). Let a(d) = 4*d**3 - d**2 - 4*d - 1. Is a(c) prime?
True
Let a = -4553 - -7234. Is a composite?
True
Suppose 3*b - y = -4*y + 3, -4*b = -2*y + 26. Is (-1)/(b + 3) + 126 composite?
False
Suppose -b = 2*b - 9. Suppose -5*r + 2*g + 84 = 0, b = r - 5*g - 0. Suppose -2 = 4*a - r. Is a prime?
False
Let l = 1138 - -1015. Is l composite?
False
Let c(l) = 2*l**3 - 10*l**2 - 3*l + 10. Let u be c(7). Let r = 412 - u. Suppose 0 = 4*s - 281 - r. Is s a prime number?
True
Suppose 3*t - 54 = 114. Let y be t/(-12)*9/(-2). Suppose 2*n = -5*i + 3*n + 116, -i - 2*n = -y. Is i composite?
False
Let d(o) = 169*o + 3. Is d(4) a composite number?
True
Let g be 145/(-5)*(-2 + -2). Suppose 5*z = -6 + g. Is z a composite number?
True
Let r be (-2)/(-7) + 201/7. Let s = 56 + -37. Let v = r - s. Is v prime?
False
Suppose l + 4 = 2*q - 1, -4*q = -4*l - 20. Let b(n) = q*n + 4 + 4*n**2 + 1 + 5*n - 3. Is b(-3) prime?
True
Suppose -3*z + 3*t = -12, -z + 3*t + 12 = 2. Let k be (-3*z)/(1/(-1)). Suppose k*d = -2*h - 1, h + 3*d - 4*d = 12. Is h prime?
True
Let h = -327 + 482. Is h a prime number?
False
Let u(w) = 5*w**2 + w - 23. Is u(6) prime?
True
Suppose 5*j + 5*b - 3*b = 18, 2*b - 14 = -4*j. Let k be 0*(-3 - (-10)/j). Suppose 5*i + 3*o + k*