, -5*t + o = 6*o - 212090. Is t prime?
False
Let n = 384 - 212. Let r = 545 - n. Is r prime?
True
Let u(k) be the first derivative of 105*k**4/2 - k**3 + k**2 - 15. Is u(1) a prime number?
False
Suppose 0 = -3*w + w + 8. Suppose 3*c - 4079 = -w*y, 7*c = 2*c + 5. Suppose -3*k - 2*s = -y, -k + 3*s = 2*k - 999. Is k composite?
False
Suppose -2*r + 50823 = 5*t, -10*r + 14*r + 2*t = 101606. Is r composite?
True
Let n(i) = -i + 15. Let u be n(0). Suppose -5*j + 15 = -u. Is (92/j)/(8/132) a composite number?
True
Suppose 0 = 6*r - 3*r + 90. Let i = r - -188. Is -2*(-2)/8*i composite?
False
Is (16 - -81336)*(-2)/(-16) composite?
False
Suppose u + 3*u = -4*q + 5384, -5 = q. Is u prime?
False
Let k be (-3 - 60/(-4))/1. Let i = 9 - k. Let m(h) = -13*h**3 + h**2 - 7*h - 2. Is m(i) a prime number?
True
Let x = 2519 + -1738. Is x a composite number?
True
Let o(q) be the first derivative of -3*q**4/2 - 2*q**3/3 - q**2 - q - 4. Let y be o(-1). Suppose i + 212 = y*i. Is i composite?
False
Suppose 1 = -3*y + 5*x + 2, 0 = -4*y + 5*x + 3. Suppose -5*w - 6389 = -0*c - c, -12778 = -y*c + 2*w. Is c a composite number?
False
Let h be 1/(2/(-24)*3). Is (190/(-15) - -4)/(h/42) a composite number?
True
Suppose -156*d + 9025 = -155*d + b, 9033 = d - b. Is d prime?
True
Let t(p) = -9*p**2 - 8*p + 18. Let v be t(4). Let s(x) = -x**3 + 8*x**2 + 7*x - 5. Let h be s(8). Let d = h - v. Is d a prime number?
False
Suppose 0*b + 4*p + 12 = 5*b, 0 = -4*b - p - 3. Let y be (2 + 0)*15/6. Suppose b = 2*i + 4*u - 94, y*i - u + 0*u = 279. Is i composite?
True
Suppose -4801 = -8*s + 27391. Suppose -2*v = 426 - s. Is v a composite number?
True
Suppose 2*s = 5*s - 9. Is (2 - 14)*s/((-12)/47) a prime number?
False
Suppose -10*u = -2778 - 5092. Is u a composite number?
False
Let a(s) = -6*s**2 - 18*s + 13. Let q(t) = 12*t**2 + 36*t - 26. Let z(p) = 5*a(p) + 3*q(p). Is z(12) prime?
False
Suppose 3*y - 3 = -5*i - 6, -3*y - 3 = 4*i. Suppose i = -2*n - 4*q + 2*q, -8 = 2*q. Suppose -n*r = 2*a - 1184, -r + 52 = -5*a - 266. Is r prime?
False
Let g(w) be the third derivative of -w**6/120 + 13*w**5/60 - 7*w**4/12 - 5*w**3/6 - w**2. Is g(10) a prime number?
False
Let l(r) = 2*r. Let t be l(4). Let h be -3 + t/(-6)*-1068. Let u = h + -532. Is u a prime number?
False
Let g be ((-9)/(-12))/(1/(-4)). Is 320 + g/3 + -2 composite?
False
Is (24357/3)/(9 + (-24)/3) a prime number?
False
Let t be 2/((12/9)/2). Let i(d) = -d + 4. Let x be i(t). Is 3 - 1 - (-87)/x a prime number?
True
Let i(v) = 524*v - 3. Let c be i(9). Let q = -2560 + c. Is q a composite number?
False
Suppose 38*d - 2 = 37*d. Suppose -2*x + 1508 = d*x. Is x prime?
False
Is (-12)/84 - 552696/(-28) a composite number?
False
Suppose 2*k + 5*j = 4*k + 4, 0 = 5*j. Is 33475/26 + 3/k a composite number?
True
Let g = 15239 + -7936. Is g a composite number?
True
Suppose 8*c - 13*c = -48835. Is c a composite number?
False
Let l(y) = 8*y + 11. Let q be l(-12). Let j = q - -648. Is j a prime number?
True
Is (6*-8782)/(-4) + 0 prime?
False
Let c(l) = 2*l**3 - 30*l**2 - 55*l + 68. Is c(27) a prime number?
False
Let v(f) = 2*f**3 - f**2 + 2*f. Let o be (4/12)/(1/15). Is v(o) composite?
True
Let u = -5415 + 1001. Is (-6)/(-8) + 21/(-24)*u prime?
True
Let j(n) = 49*n**2 - 5*n + 7. Is j(-6) a prime number?
True
Let n(f) = 1. Let m(c) = -112*c - 5. Let s(v) = -m(v) - 4*n(v). Is s(4) a prime number?
True
Let r(j) = j**3 + 11*j**2 + 9*j + 6. Let f be r(-10). Let i = f + -12. Suppose 5*o - i*p - 1175 = -0*o, 0 = -o - 5*p + 235. Is o composite?
True
Let z(t) = 2*t**2 + 1. Let l be z(1). Suppose 0*h - l*h = 0. Suppose -5*u + 15 = h, -q + 14 = -3*u - 34. Is q a composite number?
True
Let l = 26 + 20. Let t = l + 1126. Suppose t = 4*d - 0*d. Is d a composite number?
False
Let o(v) = v**2 + v. Let h be o(1). Suppose -t = -h*t + 98. Suppose 0 = -4*z, x - z = -5 + t. Is x a composite number?
True
Suppose 3*y - 13028 = -4*r + 24216, 5*y - 46555 = -5*r. Is r a prime number?
True
Let g(y) be the first derivative of -11*y**4/4 - 2*y**3/3 + y**2 - 4*y - 4. Is g(-3) a composite number?
False
Suppose f + 574 = -0*f - 4*r, 4*f + 5*r + 2318 = 0. Let m = 1001 + f. Is m a composite number?
False
Suppose 3*n - 6*n - q + 508 = 0, 4*n - 682 = q. Let v = -1 + 4. Suppose n = -k + v*k. Is k composite?
True
Suppose -112*s + 2098243 = -105*s. Is s a prime number?
True
Let l(m) = -m**3 + 10*m**2 - 4*m - 1. Let u be (-5)/(-2)*(-6)/(-15). Let d be 4*u*(-1)/(-1). Is l(d) a prime number?
True
Let a be (-12)/(-2)*(-5)/(-10). Suppose 0 = -4*s + 5*z + 452, 0*z = 4*s + a*z - 452. Is s a composite number?
False
Suppose 50 = 5*g - 540. Suppose 2*s - 1 = 11. Is (s/3)/(4/g) prime?
True
Let q be 4/(-4)*1*-1 + 4. Suppose -4*m + q*j + 0*j + 366 = 0, -2*j - 182 = -2*m. Is m prime?
True
Suppose z - 1 = 0, 0*z + 2*z = k. Let c(m) = -2 + m**k + 0 + 5*m**2 + 2*m - 7*m. Is c(-3) prime?
True
Is 3/(2520/(-844) - -3) a prime number?
True
Let s(p) = p**3 - 5*p**2 + 12*p - 12. Let v be s(8). Let l = 499 - v. Is l a composite number?
False
Suppose 14*o + 196 = 10*o. Suppose -5*t + t = -4*a + 816, -a = 5*t - 216. Let v = a + o. Is v a prime number?
True
Let i(d) = 4*d**2 - 2*d + 1. Let t be i(1). Suppose 257 = t*m - 1996. Is m prime?
True
Let h = 1502 + -751. Suppose 9*q = 10*q - h. Is q prime?
True
Is (-4)/(-34) - 182907186/(-2278) prime?
False
Let w(a) = 3*a - 14. Let j be w(6). Suppose 2*y = -0*y + j. Suppose -4*d + 2*s + 233 = 3*s, -2 = -y*s. Is d prime?
False
Let x(s) = 6*s**3 - 8*s**2 - 5*s + 7. Let z be x(3). Let n = -3 + z. Is n composite?
False
Suppose 15*m - 16*m = 4. Let r be (20 - 10)/(-2 - m). Suppose -r*k = -2*c - 3167, 2*k - 6*c - 1250 = -c. Is k a prime number?
False
Let z = 11871 + -6358. Is z prime?
False
Suppose -8*m - 85238 = -54*m. Is m prime?
False
Suppose -3*v - 3*t = -212244, 2*t + 212269 = 90*v - 87*v. Is v a prime number?
True
Let o be 0/(4*5/20). Suppose 1642 = u + 5*x, o*x = 3*u + 3*x - 4914. Is u a composite number?
False
Suppose -y - 1202 = -5*r + 3*y, 2*y + 6 = 0. Let t = 107 - r. Is (1 - 6)/(1/t) prime?
False
Let q(w) = -w**3 - 26*w**2 + 55*w - 26. Let x be q(-28). Is (-1 - 1)/x - -642 a prime number?
True
Let d be 19/(-6) + (-4 + 2)/(-12). Let i = -11 + 61. Let g = i - d. Is g a prime number?
True
Let t be (-12)/(-18)*(-474)/4. Is (0 - 3)*t/3 composite?
False
Let h be -2 + (62/(-4))/((-2)/4). Suppose 2476 = 31*z - h*z. Is z a prime number?
False
Let o(z) = 5*z**2 + z - 3. Let u be o(-5). Let r = -958 - -1672. Suppose u = -3*f + r. Is f prime?
True
Suppose 2*s - 1899 = -4*h + 1883, 0 = 5*h. Let v be 7/((-28)/12) - (-14)/2. Suppose -6*k + 2*g + s = -k, v*k - 3*g = 1510. Is k a composite number?
False
Let i(v) = 6*v + 1. Suppose 12 = 4*b + 8. Let c be i(b). Suppose -2*s - 2*n - c = -147, 0 = -4*s + 3*n + 259. Is s prime?
True
Is ((-6)/6)/(3/(-4569)) a composite number?
False
Suppose -3*y + 104 = y - 2*h, 0 = y - h - 28. Let c = y + -38. Is (0 + c)*(-187)/22 composite?
True
Let s = 714 + -1323. Let x = s + 998. Is x a composite number?
False
Let m(l) = l**3 - 9*l**2 + 14*l - 15. Let o(d) = d**3 - 11*d**2 + 2*d - 13. Suppose 0 = s - 4*v + 9, -25 = -2*v - 3*v. Let z be o(s). Is m(z) prime?
False
Let f be 5/(1/2*-2). Let p(t) = -11*t**2 + t - 6. Let m be p(f). Let r = m + 585. Is r prime?
False
Let i(a) = 2*a**2 - a + 13. Let p = -61 - -75. Is i(p) a prime number?
False
Let p be 0 + 6/(3 + 0). Suppose -p*c + 503 = 97. Is c composite?
True
Let z(b) = -9*b**3 - 57*b**2 - 53*b - 28. Is z(-13) composite?
True
Suppose u - h - 38 = h, 12 = -3*h. Suppose 31*f - 743 = u*f. Is f composite?
False
Let f(s) = 7263*s**2 - 6*s - 5. Is f(-2) composite?
False
Let x = 162 - -16. Is x a prime number?
False
Suppose -42*r - 75889 = -53*r. Is r prime?
True
Is (-801)/6*47318/(-177) a composite number?
True
Is 30/45*(3 + (-25983)/(-2)) prime?
True
Suppose -6*r = -802 + 106. Suppose 5*i - 5 = 0, 2*i = -3*w - r + 589. Is w prime?
True
Suppose 8156 = 4*a + 5*n, -2*a = a + n - 6117. Is a composite?
False
Let b = -1636 + 3728. Suppose 0 = -4*x - 5*k + 2088, -3*x + 7*x - b = -4*k. Is x prime?
False
Suppose 0 = -5*i - 3*l + 293773, -8*l = -3*i - 12*l + 176255. Is i a composite number?
False
Suppose 227253 - 878643 = -30*x. Is x composite?
False
Let f = -332 + 4590. Is f prime?
False
Let x = 9 - 5. Let q be (114/3)/(1