Let q = y + -72. Is q a prime number?
True
Let t(u) = 14*u - 3. Let i(w) = w**3 - 4*w**2 + 4. Let s be 6/(-4)*(-24)/9. Let a be i(s). Is t(a) a composite number?
False
Suppose -11038 = -3*x + 8747. Is x composite?
True
Let l = -7 - -7. Suppose l = 3*a - 6*a + 2*c + 10, -15 = -2*a + 3*c. Suppose 2*w + f - 294 = a, 477 = 5*w - 4*f - 232. Is w a composite number?
True
Let t = -7 + 8. Is (t*-7)/((-1)/7) prime?
False
Suppose 2 = z, -2*b + 648 = 2*b + 2*z. Is b prime?
False
Suppose 5*m - 4*x + 32 = 0, 3*x - 2*x = 4*m + 19. Let o be (-1 - 1 - m) + 2. Is 3/(-6) + 18/o a prime number?
False
Suppose -5*o + 1061 - 5613 = -3*z, 3*o = 5*z - 7592. Suppose 3*i - z - 143 = 0. Is i prime?
False
Let d(b) = b**2 - b - 2. Let o be d(2). Suppose o = -5*m + 142 + 53. Suppose q + m = 110. Is q prime?
True
Is (-6 + 7)/(1/161) a prime number?
False
Suppose -5*b = -3*b - 334. Is b a composite number?
False
Suppose -4*y + 6*y = 2. Let a = y + 1. Suppose -o = -2*p - 3*o - a, 12 = -3*o. Is p a prime number?
True
Suppose -6*d + 3*d + 10911 = 0. Is d a prime number?
True
Suppose -2004 = -2*s + 6*s. Is 4 + 5/(-3)*s composite?
False
Let z(w) = 64*w - 1. Is z(3) a composite number?
False
Let m = -9 - -23. Is m a prime number?
False
Let y = 131 - 94. Is (y/(-1))/(-2 + 1) prime?
True
Suppose 766 = -2*r + 4*n, -2*r - 2*n - 647 = 107. Is r/(1/(-2)*2) a prime number?
True
Suppose 20 = 5*g - g, 5*g - 16040 = -5*r. Is r a composite number?
False
Is -1*(-1 + 90)*-1 a composite number?
False
Is 1*(-743)/(0 + -1) a prime number?
True
Let n(h) be the second derivative of h**5/20 + 2*h**4/3 + h**3/2 - h**2 - h. Is n(-3) a composite number?
True
Let d(m) = -m**3 - 5*m**2 + 3. Let l be d(-5). Suppose c + 0*c + 5*s = 129, l*c - 2*s - 319 = 0. Is c composite?
False
Let y(q) be the third derivative of 23*q**5/60 - 7*q**4/24 + q**3 - q**2. Let k be y(4). Is 6/15 - k/(-10) composite?
True
Let h = -155 - -221. Suppose 2*z - 4*z = -h. Is z prime?
False
Let k(b) = 32*b**2 + 2*b + 3. Let r be k(-2). Suppose 3*s + 80 = -r. Let m = 40 - s. Is m composite?
False
Let g(w) = -w + 3. Let j be g(3). Suppose j = 3*x - 3 - 9. Suppose 0 = 3*y - 7*y - 20, x*f + 5*y - 123 = 0. Is f prime?
True
Is (-22)/(-4)*(154 - -4) a composite number?
True
Suppose -612 - 5683 = -5*g. Is g a composite number?
False
Suppose 2*j - 127 - 95 = 0. Is j prime?
False
Let p be 4 - 3/1 - 185. Let s = p + 1233. Is s a prime number?
True
Let u = -168 + 362. Suppose 3 = -b, 5*s - 4*b + b = u. Is s prime?
True
Suppose 5*u - 72 = -2*i + 93, -5*u - 4*i + 175 = 0. Is u a composite number?
False
Let t(l) be the third derivative of l**6/120 - 2*l**5/15 + 5*l**4/24 - 2*l**3/3 - 2*l**2. Let m be t(8). Suppose -m - 21 = -3*o. Is o composite?
False
Suppose 3*o - 2 = o - 2*p, -2 = p. Let w be 4/(-5 + o) - -87. Suppose -4*a + 3*a - 4*m = -w, 2*a - 182 = 4*m. Is a a composite number?
False
Suppose 0 = t + 2*t + 4*v - 1107, 0 = v + 3. Is t composite?
False
Suppose -2*p - 3*p = -20. Suppose 2*c = 3*y + 7 - 29, -c = p*y - 11. Let n(r) = 2*r**3 + r**2 - 3. Is n(y) prime?
False
Let k(q) = -180*q - 55. Is k(-9) composite?
True
Let b(t) = -227*t + 1. Let z be b(1). Is z/(-10) + 2/5 a prime number?
True
Suppose 5*o + 0*x - 5 = -x, -4*x + 20 = o. Let p(i) = -i**2 - i + i + i + 91. Is p(o) a prime number?
False
Suppose -2*a - 5*o = -3096, -2*a - a + 5*o + 4619 = 0. Is a a prime number?
True
Let z(g) = -g**2 - 6*g + 2. Let p(o) = o**2 + 6*o - 5. Let c be p(-6). Is z(c) a prime number?
True
Suppose -5*b + 4*a - 7*a + 15 = 0, -3*b + 9 = -a. Suppose b*i - 5*w - 125 = 0, -i - w + 101 = 2*i. Is i a prime number?
False
Suppose 0 = -c - c - 10. Is (-1)/c*3*85 prime?
False
Let p(u) be the second derivative of -u**5/20 + u**4/12 - u**3/6 + 37*u**2/2 + u. Is p(0) prime?
True
Let t = 1 + -2. Is (94/t)/(1 + -3) prime?
True
Let b = -52 + 179. Is b a prime number?
True
Let t = -267 - -676. Is t a composite number?
False
Let n = -1 + 3. Let s be (5 - 2)*(2 - 1). Suppose s*t = -n*t + 115. Is t composite?
False
Suppose -q - 3*p - 5 = 0, 2*q - p = 3*p. Is (q/4)/(4/(-3272)) prime?
True
Suppose 5*c + 4*g = -20, 2*g - 36 = 4*c + 6. Is -94*-2*(-2)/c composite?
False
Let a(g) = 3*g**3 + g**2 - 4*g - 9. Let m(c) = -c**2 - c - 1. Let j(u) = a(u) - 4*m(u). Is j(3) a prime number?
False
Suppose 4*i - 90 = 438. Let u(k) = 5*k**3 + 2*k**2 - k. Let a be u(3). Suppose l = 3*v + 5*l - a, -3*v + i = -2*l. Is v prime?
False
Let a(m) = 197*m. Let l be a(1). Let w = -51 - l. Is (-1)/(-5) - w/10 a prime number?
False
Suppose 2*a + 1 = 2*b + a, 5*a - 15 = 0. Suppose -b*v + 33 + 9 = 0. Is v prime?
False
Suppose -5*d + 396 = -2*d. Let m = 247 - d. Is m composite?
True
Let z(s) = 13*s + 11. Suppose -3*n + 10 = -14. Is z(n) a prime number?
False
Let o(n) = -n + 12. Let x be o(0). Let u = x + -3. Suppose -c - u = -23. Is c composite?
True
Let f(z) = -2*z**3 - 11*z**2 - 17*z + 11. Is f(-8) prime?
True
Let u(l) = 2*l**2 - l + 2. Let k be u(1). Suppose k*y - 425 - 22 = 0. Is y prime?
True
Let a(y) = 37*y**2 + 2*y - 3. Suppose 8 = 4*i - 16. Suppose 0 = -3*q - i + 12. Is a(q) prime?
True
Let r(c) = -7*c**3 - c**2 + 13*c + 2. Is r(-4) composite?
True
Let d(j) = j**2 + 4*j + j**2 - j**2. Let n be d(-5). Is 2/(-10) - (-396)/n a prime number?
True
Let x(l) = 2*l**2 - 2*l - 5. Is x(5) composite?
True
Let a(f) = 13*f**2 + 5*f + 3. Is a(-9) prime?
False
Let c = -11 + 15. Let m = c + 13. Suppose -4*s + 43 = 3*j, 5*j = 6*j + 2*s - m. Is j a prime number?
False
Suppose 13 = -0*b + b. Is b composite?
False
Suppose 2*j + 1450 = 4*u + j, -u - 5*j + 352 = 0. Is u composite?
True
Let n = 5869 - 3310. Is n composite?
True
Let q = 76 + -17. Is q prime?
True
Let b(j) = -j**2 - 6*j. Let v be b(-5). Suppose z - t - v = 0, -4*z - 6*t + 14 = -4*t. Suppose 0 = m - z*r - 303, 8*m + 4*r - 1467 = 3*m. Is m a prime number?
False
Suppose -4*u + 3*y = 4 + 59, u + 4*y = -30. Let i be (-4 + 2)/(4/(-78)). Let v = i + u. Is v prime?
False
Suppose 4*o - 39 = -5*p, 3*o + 3*p - 39 = -2*o. Is (-127)/(o/3 + -3) a composite number?
False
Suppose 4254 - 1234 = 5*z. Let m = 1023 - z. Is m composite?
False
Let u(q) = -2*q**3 + 6*q**2 - 4. Let i be u(-6). Suppose 0 = -3*k + t + 266, 3*t - i = -5*k - 224. Is k a prime number?
False
Let j = -20 - -13. Let x = j + 10. Suppose -x*z = -31 + 1. Is z composite?
True
Let v(h) = 42*h - 1. Let q be v(-1). Let m = 36 - q. Is m a prime number?
True
Let f(g) = -2*g**3 - 4*g**2 + 4*g - 5. Is f(-6) a prime number?
False
Let j(u) = -u**2 - 4*u - 3. Let h be (-18)/3 - (-4)/2. Let c be j(h). Is 3*c/9*-35 a prime number?
False
Let b(s) = -s**3 + 5*s**2 - 5*s + 6. Let l be b(4). Suppose -3*m + l*m = -327. Suppose p = -3*c + 336, c + 2*p = 4*c - m. Is c a composite number?
True
Let y(n) = n**3 - 7*n**2 + 5*n + 8. Let k be y(6). Suppose k*s + 2 = 6. Suppose s*l = 6*l - 40. Is l a prime number?
False
Let h = -380 + 751. Is h a composite number?
True
Suppose -2*q = 3*q - 40. Suppose 4*x = 2*x + 28. Let u = x + q. Is u prime?
False
Is 3567/8 + 1/8 composite?
True
Let m = -4 + 4. Suppose 2*b - 3*n + 5*n = 226, -n - 2 = m. Is b composite?
True
Let r be (6/4)/(12/64). Let h be ((-6)/r - 0)*12. Is h/(-1)*(-13)/(-3) prime?
False
Suppose -i + 3556 = 3*i. Is i a prime number?
False
Suppose -s = -2*s + 1. Is s*-1 + (-280)/(-14) a prime number?
True
Let j = -11 + 6. Let i(c) = c**3 + 6*c**2 + 4*c - 3. Let q be i(j). Is 14*(15/q)/5 composite?
True
Is 3*-1 + 1000/2 prime?
False
Suppose -139 = -3*r + p - 25, -2*p - 33 = -r. Is r composite?
True
Suppose i - 406 = -i. Is i a composite number?
True
Let c(t) = -t - 2. Let q be c(-5). Suppose 0 = q*h - 490 + 133. Suppose 5*l + h = 6*l. Is l a composite number?
True
Suppose 2*w + 2 = -2*v, -2 = 5*w + 4*v + 1. Let l = w + -2. Is (-37)/l + 4/(-2) a prime number?
False
Suppose 0 = -3*b - 3*m - 6, -m + 5*m = 4*b - 32. Suppose -2*q + 4*n + n + 239 = 0, -b*n = -9. Is q a prime number?
True
Suppose -4*w - w + 1615 = 0. Is (-1)/(2 + w/(-161)) a composite number?
True
Let g = 407 + 35. Suppose -p - p = 5*t - 755, 3*t - p - g = 0. Is t prime?
True
Suppose 14862 = i + 5*i. Is i prime?
True
Let x be (-37)/(-4) - (-6)/(-24). Let c = x + -5. Suppose 0 = 7*k - c*k - 195. Is k prime?
False
Suppose 0 = 5*i - 2*i - 15. Let z = -600 - -1045. Suppose -i*u + z = -0*u. Is u prime?
True
Let a(n) = 13*n + 4. Le