*(-7)/112 + (-54399)/(-12) prime?
False
Let u(p) = 17*p**3 + p + 2. Let y be u(-1). Is (-24)/y*(-254)/(-3) a composite number?
False
Let c = 6 + -2. Suppose c = -0*b + 2*b. Suppose -40 = -2*u - b. Is u prime?
True
Let v(t) be the first derivative of -701*t**4/4 - t**3/3 - t**2/2 + 1. Let x be v(-1). Suppose -2*p = -x + 175. Is p a prime number?
True
Let u = 16 + -16. Suppose l + 4*d - 1047 = u, -4*l + 2*l + 2082 = 5*d. Is l composite?
False
Suppose -3*c - 8429 = -h, 0 = -c + 5*h - 3016 + 197. Let i = 8780 + c. Is i prime?
False
Let c(r) = r**3 + 6*r**2. Let o be c(-6). Let z be 21*1 + o/(-5). Suppose -y = -106 - z. Is y a prime number?
True
Let u(l) = l**3 - 5*l**2 + 4*l. Let s be u(4). Suppose 6*n - 2*n + 296 = s. Let y = n + 187. Is y a composite number?
False
Let x(j) = -13*j + 140. Let f(i) = -4*i + 47. Let v(o) = 7*f(o) - 2*x(o). Is v(0) a composite number?
True
Let v(g) = g**3 + 13*g**2 - 8*g + 10. Let h(c) = -21*c + 4. Let z be h(-2). Suppose -5*i + 6 = z. Is v(i) a prime number?
False
Suppose 5*x + 3*c - 313 = 0, 2*c - 1 = x - 61. Let k be (-3)/6*6 + 118. Suppose 0 = -i + x + k. Is i a prime number?
False
Let h(q) = q + 12. Let z be h(-8). Suppose z*s - 5*f = 34, 29 = 4*s - 3*f - 1. Is 2*9/s - -94 composite?
False
Let j = 1032 + -586. Suppose j = -9*q + 11*q. Is q prime?
True
Let v be 12843/33 + 10/(-55). Suppose 11*d - 10 = 6*d, -5*w + 3*d = -v. Is w a composite number?
False
Let n = 31584 + -6193. Is n a composite number?
False
Suppose -5*c = -c + 124. Let d = c - -36. Suppose 4*u = -s + 936 - 93, d*s + 427 = 2*u. Is u composite?
False
Let g be 25/8 - (-2)/(-16). Suppose 0 = 3*m + g, 4*r - 1573 = 2*r + 3*m. Suppose -t + r = -0*t. Is t a composite number?
True
Suppose 14*z - 330462 = 47496. Is z a composite number?
True
Let v = -137 + 193. Let b(k) = 2*k**2 + 8*k + 19. Let z be b(-4). Suppose -o + v = z. Is o a composite number?
False
Suppose -2*u + 7*u + n = 27, 2*u + 3*n = 16. Suppose -7*r - u*r + 49308 = 0. Is r composite?
True
Suppose 6892 = 5*q - 1843. Let u = -1092 + q. Is u composite?
True
Suppose b = m - 9012, b + 16966 = -4*m + 53039. Is m composite?
True
Let f(a) = -a - a**2 - 66*a**3 - 220*a**3 - 64 + 65. Is f(-1) prime?
False
Suppose 6*y + 142 - 64018 = 0. Is y a composite number?
True
Suppose 4*f - 3*t - 13516 = -2281, 2805 = f - 2*t. Let v = f - 1874. Is v a prime number?
True
Suppose -4 = -u, u + u + 8 = 4*o. Suppose o*s + 766 = -1378. Let c = -377 - s. Is c composite?
True
Is (1*(1 + -4583))/(-2) prime?
False
Let y(i) be the first derivative of 79*i**2 - 5*i - 8. Is y(2) composite?
False
Let m = 20054 + -12537. Is m a prime number?
True
Let j be 3/5 + 2352/(-70). Is ((-44)/j)/(4/894) composite?
True
Suppose -5*q - 4*m + 93153 = -8493, 4*q = 2*m + 81296. Is q composite?
True
Suppose 0 = -3*o - 4*w + 13755, 51*w = 46*w - 15. Is o composite?
True
Let c(t) = -24*t - 127. Is c(-21) composite?
True
Suppose 0 = 4*z - 4*t - 52, 7*t = 2*z + 2*t - 14. Let c be (z - 1)/(-2 + 4). Is 2 - -6*380/c a prime number?
False
Let r(o) = -35*o**3 - 2*o + 5. Let b be r(-3). Suppose -b - 519 = -5*g. Is g prime?
False
Is 16*13/(-364) - 121150/(-14) prime?
False
Suppose 2*d + 37 - 41 = 0. Suppose -5*w + 13727 = -4*k, 2*w + 0*k = -d*k + 5480. Is w a composite number?
True
Suppose 13 + 5 = -6*y. Let h = y - -38. Is h composite?
True
Let h be -355*(624/(-20))/(-3). Let x = -2157 - h. Is x composite?
True
Let b = 7237 + -3294. Is b prime?
True
Let t = -504 - -2939. Let c = t - 703. Suppose 0 = -7*s + c + 7095. Is s prime?
False
Let m(v) = v**2 - 1. Let r(a) = 10*a**2 - 8*a + 2. Let f(o) = -8*m(o) + r(o). Let n be f(-8). Let i = n - 75. Is i a composite number?
False
Suppose -18 = -16*u + 14. Suppose -5*k + u*z + 2085 = 0, z - 2085 = -0*k - 5*k. Is k a composite number?
True
Let d = 10023 - 6848. Suppose 9865 = 16*b - d. Is b a composite number?
True
Let f(v) = -2*v**2 + 15*v - 13. Let i be f(6). Is (i/(-2))/((-2)/508) prime?
False
Let p(r) = -15*r**2 + 10*r - 5. Let y be p(5). Let l = -139 - y. Is l composite?
False
Let v = -168 - -311. Is v prime?
False
Suppose 2*r = 4*v, -6 = -0*r + 3*r. Suppose -3*m = -4*m + 2*k - 218, 652 = -3*m + 5*k. Is (1*m + 3)/v prime?
True
Suppose -w = 3*o - 8, 0*w - o + 8 = -w. Let a be (0 - 6)/(-2 - w). Is 6/(-9)*-1059 + a a composite number?
True
Suppose 4 = 3*r - 8. Suppose -r = 2*t - 386. Is t a composite number?
False
Let j(i) = 2*i**2 + i - 11. Suppose 38 = -2*k - k - 2*p, 2*k - 3*p + 21 = 0. Is j(k) a composite number?
True
Let s = 18 - 0. Let p be 23/(-3) - (-12)/s. Is (-327)/p + 8/28 a composite number?
False
Let t be 28/(-6)*(-8 - 4). Is 233*1 - 1 - (t - 57) prime?
True
Suppose 4*h = 3*c + 405, -c = -2*c - 2*h - 145. Let g = c + 228. Is g composite?
False
Suppose -13*m + 2324 + 16799 = 0. Is m prime?
True
Let y = -614 - -2014. Suppose h - 3*b = 562, -301 = 2*h - b - y. Is h composite?
False
Let j be 2/((-4)/(-34)) - 0. Let z = 20 - j. Suppose t - 491 = -z*q, 0 = -4*q + 2*q + 3*t + 320. Is q a composite number?
False
Suppose 8*n - 4406 = 6*n. Is n prime?
True
Suppose -20 = -4*n + 2*g + 2*g, 3*g = -4*n + 13. Suppose 3*t - 3179 = -n*x, 3173 = -6*x + 10*x + 5*t. Is x a composite number?
False
Suppose 2*y + 2827 = 3*i, 3*i = 2*y - 5*y + 2802. Suppose 7*k = b + 12*k - i, -2*k = -4. Is b a composite number?
False
Suppose 8*l - 13449 = 26399. Is l prime?
False
Suppose -4*j + 2 = -2*j, -4*t - 3*j = -1007. Is t prime?
True
Suppose 10294 + 54296 = 6*z. Is z prime?
False
Suppose 5*w + 23*w - 118412 = 0. Is w a prime number?
True
Let b be (-18 - -16)*-1*1. Is 9090/b + 0 - (-96)/48 composite?
False
Suppose 0 = -b + 12557 + 4386. Is b a prime number?
True
Let s = 21 - 19. Suppose s*h = -3*h + 45. Is 3/h - 266/(-3) a prime number?
True
Let n = -117 + 308. Is n a prime number?
True
Let p(g) = -g**2 + 10*g. Let h be p(11). Let k = -6 - h. Suppose -k*y + 828 = -257. Is y a prime number?
False
Let s(t) = -t + 4. Suppose 10 = 3*p - 8. Let q be s(p). Let c = q - -87. Is c a composite number?
True
Let b(l) = l**3 + 60*l**2 - 128*l - 114. Is b(-47) a prime number?
False
Suppose 4*c + 2*z = 2946, 3089 - 852 = 3*c - 4*z. Suppose -259 = -2*y + c. Is y prime?
True
Let v(u) = -u**2 + 9*u + 15. Let o be v(10). Suppose -o*t = -667 - 58. Is t composite?
True
Suppose -g + 6*o + 27222 = o, 3*g + 5*o - 81646 = 0. Is g composite?
True
Let m = -5 - -4. Is (-10381)/(-28) + m/(-4) a composite number?
True
Let q = 42 + 40. Let d be q - (-2 - (0 - -1)). Suppose d - 27 = s. Is s a composite number?
True
Let n = -369 - -2060. Is n a composite number?
True
Suppose 2*g + s - 1 = -0, -5*g - 2*s = -5. Suppose -d + 5*n = -0*n - 253, -g*n + 849 = 3*d. Is d prime?
False
Let n(c) = 98*c**2 + 9 - 4*c + 15*c - 78*c**2 + 5*c. Is n(-6) a prime number?
False
Is 156/(-15) + 10 + (-74187)/(-5) a composite number?
True
Suppose -24195 + 6690 = -3*b. Suppose -1667 = 8*w - b. Is w prime?
True
Let q(g) be the third derivative of 107*g**5/15 - g**4/12 - g**3/2 - 6*g**2. Is q(-1) composite?
True
Let o(y) = y**2 + 9*y + 7. Let k(c) be the third derivative of c**5/15 + 9*c**4/8 + 7*c**3/2 - 4*c**2. Let d(f) = 6*k(f) - 17*o(f). Is d(-6) a prime number?
False
Let x be (-6)/(4 - (-11)/(-2)). Suppose -x*c = -2758 + 234. Is c prime?
True
Let d = -15 + 47. Suppose -3*m - 1762 + 5606 = 2*c, c = -2*m + 1924. Suppose -2*w - 3*p + d = -926, -4*w + 3*p = -c. Is w prime?
True
Suppose g - 2999 = -2*m + 9584, -2*g = 2*m - 25166. Is g a composite number?
False
Let j be 6/((-12)/(-2906))*4/2. Suppose 0*n + o = 2*n - 1933, -3*n + j = 5*o. Is n prime?
True
Let j = 55 + -32. Let i(l) = 33*l + 28. Is i(j) a prime number?
True
Is 6/((-78)/53813)*-13 prime?
True
Is (1/(-5) - 0) + (-48796)/(-55) prime?
True
Let v = 25 - 15. Suppose v*r = 4*r + 4062. Is r a prime number?
True
Let b(n) = 11856*n + 45. Is b(2) a prime number?
False
Let a(h) = 24*h**2 - h - 30. Let y be (12 - 9)/((-1)/3). Is a(y) prime?
False
Suppose 12402 = 3*x + 2*t + 3*t, -2*x + 8284 = -2*t. Is x prime?
True
Let q(f) = -3*f - 6 - 10 + 5*f**2 + 21 - 18*f**3. Is q(-5) a prime number?
False
Suppose 5*d + 4*u = -402636, -5*u = -d - 43468 - 37036. Is (-2)/(-9) + d/(-36) a prime number?
True
Suppose -2*t + b = -798, t = -4*t + 4*b + 1992. Suppose -y - 149 = -t. Is y prime?
True
Let a = 1316 - 219. Is a a composite number?
False
Let r(