 -i. Is i prime?
True
Let r be (-13)/(-6) + (-1)/6. Let n = 17 + r. Is n a prime number?
True
Let t = 78 + 655. Is t a prime number?
True
Let o = -82 - -57. Suppose 3*y - 74 = 4*y. Let f = o - y. Is f a composite number?
True
Let s(u) = u**3 - 4*u**2 - 5*u. Let q be s(5). Suppose q = g - 5*g + 2020. Is g a composite number?
True
Suppose 2*z - 3*a - 171 = -14, a - 169 = -2*z. Let r = 118 + z. Is r a composite number?
True
Let u(y) = -14 + y**3 - 3*y - 5*y + 13. Is u(6) prime?
True
Let s = -539 - -319. Let p = s - -325. Suppose -4*j + j + p = 0. Is j a prime number?
False
Let l(n) = -n + 3. Let k be l(0). Suppose -k*p = 2 - 59. Is p a prime number?
True
Let z(g) = -30*g**2 + 4*g - 2. Let o be z(3). Let u = -167 - o. Is u prime?
False
Let y(l) = 12*l**2 + 2*l - 1. Suppose 0 + 52 = 4*n. Suppose -3*z + 10 = 5*a - 10, 2*z = -3*a + n. Is y(a) a composite number?
False
Suppose 48 = 2*t - 5*o, t - 4*o = -0*o + 27. Is t a prime number?
True
Suppose 2*x = -x + 5*c + 402, 5*x = -2*c + 639. Is x a composite number?
True
Let j be (-24)/11 + (-4)/(-22). Is 4905/(-10)*j/3 a prime number?
False
Let d(q) = 3*q**2 + 8*q - 5. Suppose 6*l = 4*l + 16. Is d(l) prime?
True
Let l(s) = -401*s. Let n be l(-2). Suppose 5*b + 137 = n. Is (b - -1)/(-1 + 3) composite?
False
Let s(i) = -i**2 + 7*i - 3. Let t be s(6). Let l = -6 - -12. Suppose -l*j = -t*j - 18. Is j a composite number?
True
Let l(d) = -8*d**2 + 9 + 8*d**2 + 8*d + d**2 + 12*d**2. Is l(-4) a composite number?
True
Let c(n) = -232*n - 5. Is c(-3) prime?
True
Suppose -6*d + 10*d = 1028. Is d a composite number?
False
Let f(c) = -5*c - 1. Let m be f(1). Let r = 61 - m. Is r a composite number?
False
Suppose -5*h + 6*x - 3*x + 383 = 0, 0 = -3*h - 2*x + 245. Is h a composite number?
False
Suppose 4*h + 2*v = h + 5961, 2*v = h - 1979. Is h a composite number?
True
Let f = -4 - -6. Let h(n) be the first derivative of 4*n**2 - 2*n + 2. Is h(f) a prime number?
False
Is 1*8/((-24)/(-207)) a prime number?
False
Let d(r) = -r**2 + 13*r + 3. Let n be d(13). Is (115 - (1 + n)) + 4 composite?
True
Let n = 889 - 518. Is n a prime number?
False
Suppose 0 = 3*f - f - 58. Suppose 4*n + f = p, 3*p - 24 = 5*n + 77. Is p prime?
True
Let o(u) = -204*u - 35. Is o(-26) prime?
False
Suppose -4*l = 2 - 18. Suppose 5*i - 4*i = -l*a - 70, -4*i = 5*a + 93. Let x = a - -64. Is x a composite number?
False
Let q(i) = i + 1. Let v be q(3). Suppose 6 = -2*w + 5*w. Suppose -w*u = v*b - 114, -4*u = 2*b - 4*b - 208. Is u a composite number?
False
Let m = -3 + 4. Let d(j) = 3 - 4*j + m + 2 - 2*j**2 + 3*j**2. Is d(9) composite?
True
Let p = -32 - -43. Is p prime?
True
Suppose -20 = 5*t + 75. Let p = 40 + t. Is p prime?
False
Let c(p) = p**2 + 9*p + 11. Let g be c(-8). Suppose -2*b + b + 2 = 2*w, g*b - w + 15 = 0. Is (-4)/b + 5*6 prime?
True
Suppose 3*f - 93 = -c + 35, 4*f = 2*c - 226. Suppose -c = 5*s - 454. Suppose 0*x = -x + s. Is x composite?
False
Let u(s) = 792*s**2 - 3*s - 1. Is u(-1) a composite number?
True
Let j = -6 - -8. Suppose j*r + 210 = -5*k, 2*k - 372 = 5*r - r. Let o = r + 250. Is o a prime number?
False
Let p = -163 + 608. Is p a composite number?
True
Let d be -1*(-2 - -2)/(-2). Let w(p) = -7*p - 2. Let u be w(-3). Suppose -u = -g - d*g. Is g composite?
False
Suppose 5*w + 4*i = 26, -w + 5 = -2*i - 3. Suppose w*l + 1685 = 11*l. Is l prime?
True
Let g(p) = -p**3 + 12*p**2 - 14*p - 1. Let i be g(10). Let s be i + (-1 - 1 - 0). Suppose 3*a - 6*a + s = 0. Is a prime?
True
Let b(s) = 1 - 5*s - 18*s + 4*s. Is b(-6) prime?
False
Is (15/3)/5*209 composite?
True
Let x(q) = q**2 + 4*q + 6. Let f be 4/((1/1)/(-2)). Is x(f) composite?
True
Let i = 112 - -31. Is i prime?
False
Suppose -6*r + 10*r = 8. Suppose -r*n + 435 = n. Is n composite?
True
Let u(y) = 197*y**2 + 3*y - 7. Is u(2) a prime number?
True
Suppose -6 = -2*v - 3*s, 11*s - 6*s = 2*v + 10. Suppose v = 2*f - 3*f + 508. Suppose 318 = 2*q + 4*m, -3*m - 73 - f = -4*q. Is q composite?
False
Suppose 0 = i - 5*i - 224. Let z = i - -111. Is z a composite number?
True
Suppose 4*w + 4*h = 92, -5*w - 3*h = -0*w - 109. Suppose -5*p + w = c, 4*c - 4*p = 3*c - 16. Suppose -v - 63 = -r - c*v, v = -4*r + 232. Is r prime?
True
Let v(n) = 21*n**2 + 9*n - 7. Is v(13) prime?
True
Let j(h) be the second derivative of -5*h**3/6 - h**2/2 + h. Suppose 0 = 6*v - 8*v - 20. Is j(v) a composite number?
True
Let h be 6/18 + (339/(-9))/(-1). Let b be 5*(0/2 - -23). Let u = b - h. Is u prime?
False
Suppose 278 = 6*r - 2416. Is r composite?
False
Suppose 5*n - 2*a = 1319, 0 = -n - n + 3*a + 521. Let l = n + -87. Is l a prime number?
False
Let v = 7 + 4. Let h = 26 - v. Is h a prime number?
False
Suppose 0 = -5*z - 545 + 4000. Is z a prime number?
True
Let v(h) = 37*h**2 - h - 11. Is v(-5) a prime number?
True
Suppose -5*n = j - 819, -j + n + 601 + 242 = 0. Is j prime?
True
Let k = 3555 + -788. Is k composite?
False
Suppose 236 + 1101 = m. Is m a composite number?
True
Let y(r) = -3*r + 1. Let q be y(-1). Suppose -4*w + 30 = 2*k, k = -w + 21 - q. Is k a composite number?
False
Suppose 73 = -3*z + 646. Is z composite?
False
Suppose o - 4*a - 282 = 0, -5*a = -3*o - o + 1073. Suppose -99 = -u - o. Is -1*2/2*u prime?
True
Let z = -23 + -11. Let o = -1 - z. Is o composite?
True
Let s(o) be the third derivative of o**6/120 + 2*o**5/15 + o**4/6 - o**3/3 - 3*o**2. Is s(-5) prime?
True
Suppose -73 = -2*o + 445. Is o composite?
True
Suppose 5*i + 4173 = 4*b + 1050, -i = -4*b + 3143. Is b a prime number?
True
Let q = -225 + 360. Is (-3)/12 - q/(-12) prime?
True
Suppose 4*g - 1 = -3*j, -3 + 0 = -3*g. Is 1*j*(-45 + 8) prime?
True
Let c = 3 + 1. Suppose -c*m - 386 = -1662. Is (-4)/2*m/(-2) a composite number?
True
Let g = 14 - 9. Let a(n) = n**2 - 5*n - 1. Let f be a(g). Is -37*(-1 - (1 + f)) prime?
True
Let v(f) be the second derivative of -f**6/90 - f**5/40 - f**4/4 - 2*f. Let d(n) be the third derivative of v(n). Is d(-2) prime?
True
Let v = 642 - 235. Is v prime?
False
Is 3/(-12)*(-7976)/2 composite?
False
Let i = 0 + 5. Suppose 0 = m + 3*k - 13, 3*k - 14 = i*m - 61. Suppose 2*w - 44 = -4*f, -5*w + 5*f = -60 + m. Is w a composite number?
True
Let g(s) = 1 + 4 - 5*s + s**2 + 1. Let w be g(6). Suppose -3*n = -75 + w. Is n a prime number?
False
Suppose -5*u + 420 - 145 = 0. Is u a composite number?
True
Let t(k) = k**3 - k**2 - 2*k - 1. Let d be t(-1). Is (d - 3)*(-489)/12 a composite number?
False
Let l be 4/10 - (-12)/20. Suppose l = 4*s - 7. Suppose -5*k = -4*k + s*c - 49, 104 = 2*k + c. Is k a composite number?
False
Let b be ((-18)/15)/((-9)/390). Suppose -2*a + b = 2*a. Is 3*a - (-4 + 4) a prime number?
False
Suppose -12 = -0*p + 4*p. Is (-1)/p - (-856)/6 a composite number?
True
Suppose -w + 3*t + 62 + 5 = 0, t = -3*w + 241. Is w prime?
True
Suppose 0 = 6*z - 2*z - 4*v - 3468, -2*z + 1746 = v. Is z a prime number?
False
Let f(u) = -u**2 - 7*u - 6. Let g be f(-4). Let a = -325 - -461. Suppose -2*w + g*w = a. Is w prime?
False
Let c = 64 + 51. Is c composite?
True
Suppose -14 = 4*d - 2*d. Is (-2)/d - (-7095)/35 a composite number?
True
Let y be 1 - -2*9/6. Suppose y*l - 3*l = 0. Suppose 2*d + 8 = l, 2*j - 5*d + 4*d = 152. Is j a composite number?
True
Suppose 0 = -5*s + s - 5*h + 59, 49 = 5*s - 2*h. Let x be 2/(-11) + 46/s. Is (2/x)/((-3)/(-534)) a prime number?
True
Suppose i + l = -2*i, -5*i = -5*l - 20. Is (-3 - -3) + 58 + i a prime number?
True
Suppose -o = -3*o + 80. Suppose 5*x = b + 28, 3*x - 3*b - 21 = -b. Suppose 2*z + 3*u - o = z, x*z - 158 = -u. Is z composite?
False
Let y = 4 - 1. Suppose y*p - 38 = p. Is p a prime number?
True
Is ((-1964)/8)/((-3)/6) composite?
False
Let f(w) = w**3 - w**2 + w + 251. Is f(0) prime?
True
Let u(g) = -55*g**2 + 2*g. Let o be u(-2). Let n be (o/6 - -2)*-3. Suppose -z = z - n. Is z prime?
True
Suppose -2*v = -v - 2. Suppose -2*x - 4*q = -290, -v*x + 4*x - 5*q - 263 = 0. Is x a composite number?
False
Let q(a) = 25*a - 19. Is q(18) composite?
False
Suppose t - 12 = 2*x + 2*x, t + 5*x = -24. Is 158/4*t/(-2) a composite number?
False
Let d = 1048 - 667. Is d a composite number?
True
Suppose 0*a = 4*a - 20. Suppose -4 = -a*w + 1. Is 368/10 + w/5 a prime number?
True
Let s = 1550 + -807. Is s a composite number?
False
Let m(n) = -136*n**3 + n**2. Let w be m(1). Let q = 326 + w. Is 