 s + 4*a, s = -a + 439. Is s a prime number?
True
Is -14*(-55)/22*(-19562)/(-10) a composite number?
True
Let s(x) = x**3 + 8*x**2 + 8*x - 14. Let d be s(-6). Is (-2)/(-3)*14565/d a prime number?
True
Let n be (-1 + 2)/((-1)/5). Let b(a) = -a**3 - 4*a**2 + 4*a - 6. Let v be b(n). Let o(t) = 292*t**2 - t. Is o(v) prime?
True
Let z(s) = 2*s + 2. Let f be z(-2). Let r be -130*(-2)/8*f. Let x = r + 122. Is x prime?
False
Suppose h - 2 = -0*h. Is 2/(h/(-2))*(-25001)/46 prime?
True
Suppose -241*t = -234*t - 336791. Is t a prime number?
False
Let w = 28853 + -18982. Is w composite?
False
Let w(z) = -85 + z**2 + 0*z + 313 + 217 - z. Is w(0) prime?
False
Let a(v) = 6*v**2 - 43*v - 588. Is a(-25) a composite number?
True
Suppose 3*d - 7*d + 28 = 0. Let y(q) = q**2 - 8*q + 1. Let p be y(d). Is 129 + p/(4 - 1) composite?
False
Let r(c) = 53*c + 14. Let j = -16 - -34. Let d be r(j). Let m = d + -333. Is m prime?
False
Let o = -28 + 68. Suppose -5*n - o = -10*n. Is (-27 + -1)*(-46)/n a prime number?
False
Is -1 - -3 - 221502/(-58) a composite number?
False
Suppose -5*u + 0*j - 52 = 2*j, 32 = -3*u - 2*j. Let i(b) = 5*b**2 + 5*b + 17. Is i(u) a composite number?
False
Let h be -1*2*(-1 - (-6)/(-4)). Suppose -86 - 1407 = -t - 4*n, -h = 5*n. Is t prime?
False
Let r = -3062 + 5293. Is r prime?
False
Let y(r) = -6 - 7*r + 0*r + 7 - 15. Let g be y(-6). Suppose -2*m = -6*m + g. Is m a prime number?
True
Let g = -6 + 11. Suppose -f - g*r + 4 = f, 4*f - 8 = 2*r. Suppose -f*u + 98 = -12. Is u prime?
False
Suppose -20*q + 1780 = -18*q. Suppose 0 = 2*v - 2*k - q, 6*v = 3*v + k + 1335. Is v a composite number?
True
Suppose -13 = -4*j + 43. Suppose 3*f + 2 = j. Is (-4355)/(-55) - f/22 prime?
True
Let k(o) = o**3 - 10*o**2 + 7*o + 13. Let i be k(9). Is (-2)/i + (-4299)/(-15) a prime number?
False
Suppose -10*u + 7245 + 71045 = 0. Is u composite?
False
Is ((-4)/(-16))/(2/300952) a prime number?
True
Suppose -6*t + 10*t = 20. Let j = -851 - -1647. Suppose -t*n = -n - j. Is n a prime number?
True
Suppose -3*x - x - 1464 = 0. Suppose p + p = 2*q - 1024, -2*q = -3*p - 1021. Let j = x + q. Is j a composite number?
False
Let c = -57 - -120. Is (c/6)/((-4)/(-8)) a composite number?
True
Let b be (-2)/3*(-36)/24. Let r be 1/(-1) + b*-26. Let n = r + 154. Is n prime?
True
Suppose 3*g = -3*o - 3633, -g - 6*o = -2*o + 1226. Let i = -721 - g. Is i a composite number?
True
Let p = 66 + -903. Let d = p + 1226. Is d composite?
False
Suppose -2*m = 3*r - 7*r + 16, 4*r = -5*m - 12. Suppose 0 = -3*i - 5*t + 253, -r*t + 0*t + 265 = 3*i. Let b = i + -24. Is b prime?
True
Suppose -i - 3*i - 2*g = 52, 4*i + g = -54. Let w be 4/i - 51078/(-21). Let x = w - 1093. Is x prime?
False
Suppose -4872 = -5*g + 1308. Suppose d - 421 = g. Is d a prime number?
True
Let p(g) = -336*g**2 + 5*g + 2. Let y(r) = 1009*r**2 - 14*r - 5. Let o(d) = 8*p(d) + 3*y(d). Is o(-2) prime?
True
Let f(k) = 83*k + 78. Is f(25) a composite number?
False
Let k be 2 - 6/(-15)*-5. Suppose -w = 5*f - 615, k*f - 4*f = -5*w + 3191. Suppose -w = 3*r - 4*r. Is r a prime number?
False
Let q(j) = j**2 + 4. Suppose -6*u = s - 4*u + 1, 2*s - u = -17. Is q(s) a composite number?
False
Let m(w) be the first derivative of w**5/6 - w**4/24 - w**3/6 - w**2/2 + 2. Let a(z) be the second derivative of m(z). Is a(2) a composite number?
False
Let p(u) = 107*u - 35. Is p(12) a prime number?
True
Let o(z) = z**3 - 6*z**2 + 5*z + 5. Let h be o(5). Suppose 0*j - 251 = -j + 3*w, j - 251 = -h*w. Is j composite?
False
Is 167661/156 - (-14)/(-8) composite?
True
Suppose -4*l + l = -6057. Suppose 0*x + 3*x + l = 0. Let n = -470 - x. Is n composite?
True
Let n(w) be the first derivative of 227*w**2/2 + 6*w + 8. Let s be n(6). Suppose -132 = -3*r - 3*p + s, -4*p = -r + 485. Is r prime?
False
Let q = -369 - -17888. Is q a composite number?
False
Let z be (-12)/(-18) - (28715/(-3))/5. Let r = z - 728. Is r prime?
True
Let v be (-8)/(-56) - 1/7. Suppose 4*g = -v*g + 6932. Is g a composite number?
False
Let q(b) be the second derivative of -b**5/20 + b**4/3 + b**3/6 + b**2/2 + 7*b. Let k be q(3). Is (-2)/(-13) - (-1649)/k composite?
False
Suppose 3 = -j - 5*f - 6, -2*f = 2*j + 2. Let t be (-45)/15 + 7*1. Is 255 - j*(t - 0) a prime number?
True
Let g = 84 - 81. Is (3 + (-10129)/21)*g/(-2) a prime number?
True
Suppose 3*a - 159 = -39. Let i be 1*-5*(-48)/a. Suppose 8 = -4*p, -i*p = b - 3*p - 341. Is b a composite number?
False
Let a = 5 + -2. Suppose -12*f + 30285 = a*f. Is f composite?
True
Suppose 5*g - 609592 = -5*c + 57173, -4*g = -5*c - 533448. Is g composite?
True
Let k(i) = i**2 - 5*i + 3. Let j be k(5). Suppose -14*x + 1605 = x. Suppose -4*v + v + 48 = j*w, x = 5*v - 4*w. Is v a composite number?
False
Let c = 1262 + -309. Is c a prime number?
True
Let w = 23789 + -10498. Is w a prime number?
True
Let z = 10 - 10. Suppose 4*i - 791 - 1661 = z. Is i a composite number?
False
Let z(d) = -3*d**2 - 3*d - 3127. Let l(c) = c**2 + c + 1042. Let x(v) = 17*l(v) + 6*z(v). Let k be x(0). Is -3 + (k/1)/(-4) prime?
False
Let m be (-34)/5*(-735)/3. Suppose 3*u + 4*l = 1691, l = 2*u + u - m. Is u a prime number?
True
Let c = 0 + 2. Suppose -5*r = -0*r, -l - c*r = 268. Is 6/(-4)*l/6 a prime number?
True
Let m = 705 - 248. Let y = 680 - m. Is y prime?
True
Suppose -5*a = -3*c - 118, -25 = -0*a - a + 2*c. Is (-3)/12 - 525/(-12)*a prime?
False
Suppose 5*r - 4*r = 379. Suppose r = 4*s - 633. Is -2 - s/(-3 + 2) a composite number?
False
Let s = 0 + 4. Let d(p) = -4*p + 14. Let q be d(s). Is ((-6127)/22)/(1/q) composite?
False
Is -60185*((-440)/(-50) + -9) prime?
True
Suppose -3*n - 12 = 0, -20*t = -24*t - 3*n + 113824. Is t prime?
False
Is (-20)/(-25) + -1 + (-14298)/(-15) composite?
False
Let y(v) = -125*v**3 + 3*v**2 + 6*v + 3. Is y(-2) a composite number?
True
Let z(m) = -4*m**3 - 2*m**2 + 5*m - 7. Let v(b) = b**3 - b. Let t(c) = 3*v(c) + z(c). Let j be t(-3). Let u(x) = -4*x**3 - x**2 - x + 7. Is u(j) prime?
True
Let m = -110 - -97. Let c(v) = -2*v - 2*v + 2*v. Is c(m) a composite number?
True
Suppose z + 3 = 0, 57*i + 2*z = 53*i + 54350. Is i a prime number?
False
Suppose -3*y - 10*z = -8*z - 13869, 5*z = 15. Is y a composite number?
False
Let q = -149 - -154. Suppose 520 = q*x + 2*w, 2*w = -x - 3*w + 81. Is x prime?
False
Let y(c) = -c**3 + 21*c**2 - 68*c + 51. Is y(17) a composite number?
True
Let n(b) = -b**3 + 16*b**2 - 6*b - 3. Let g be n(11). Suppose t = g + 21. Let v = t - 64. Is v a composite number?
True
Is (25/5 - -2804)*(14 + -13) prime?
False
Let h be (-1)/(1/(-2)) + 1198. Suppose -2*r = -7*r + h. Suppose 0 = -4*t + r + 356. Is t prime?
True
Is (-10)/8*(-2516)/37 composite?
True
Suppose 5 - 3 = 2*v. Let s be 149*v/1 + 1. Let t = s + -97. Is t prime?
True
Suppose 5*t = -2*j, t - 4*j = -5*j. Suppose -5*z + 7 + 8 = t. Suppose o - 3 - 52 = h, 271 = 5*o - z*h. Is o composite?
False
Suppose 1236*i - 1242*i = -1902. Is i prime?
True
Suppose -31 = -5*r - 3*l, l + 4 + 15 = 2*r. Let x(h) = 2*h**3 - 6*h**2 + 6*h - 9. Is x(r) a composite number?
True
Suppose 6*m - 44 = 3*m + 2*j, 0 = 2*m - j - 29. Suppose -1113 = -11*i + m*i. Let c = 556 + i. Is c a prime number?
False
Let n(z) = 2*z**3 - 7*z**2 - 4*z + 3. Let c be n(10). Let m = 2216 - c. Is m a composite number?
False
Suppose x + 105 = -a + 855, 0 = -2*x - 5*a + 1512. Is x a composite number?
True
Suppose 3*j = 19837 - 4090. Is j a composite number?
True
Let j(q) = 2 - 3 - 5 + 8 - 111*q. Is j(-1) a prime number?
True
Suppose 3809 = 42*b - 41*b. Is b prime?
False
Let q(t) = 176*t - 7. Is q(3) composite?
False
Let p = -1000 + 1857. Let h = 4210 - p. Is h composite?
True
Let o = -6 - -19. Let t(v) = -v**3 + 13*v**2 - v + 16. Let n be t(o). Suppose -u + 3*x + 611 = 198, 0 = n*u - 3*x - 1227. Is u prime?
False
Suppose 0 = 7*i - 20*i - 6162. Let p be (116/8)/(1/50). Let m = p + i. Is m a prime number?
True
Let n(d) = d**3 - 2*d**2 + 3*d - 1. Let c be n(2). Suppose 4*o - 2*s - 155 - 57 = 0, -275 = -c*o + 5*s. Is 7*-3*o/(-9) a prime number?
False
Suppose -3*q = -16*q + 250913. Is q a composite number?
False
Let c be -2 + 38/(-5) + (-4)/10. Is (414/15)/(c/(-25)) prime?
False
Let g be (-1137)/(1 + (-45)/12 + 2). Is (-1)/2*-2 + (g - 6) composite?
False
Let r = 390 - -223. Let b = r - 402. Is b composite?
False
Let s = -467 + 24