 + 4*r + 3. Let i be o(-3). Let z be ((-6)/i)/((-2)/162). Let n = 1 + z. Is n a composite number?
True
Suppose -5*f + 2*a + 7685 = 0, 2*f - 1916 = 5*a + 1179. Is f prime?
False
Let d(h) = -205*h + 52. Is d(-3) a prime number?
False
Let j(y) = y**2 + 5*y + 2. Let q be j(-2). Is 1/q*-38*2 prime?
True
Is 937/7 + (-7)/(-49) a prime number?
False
Let q(r) = -73*r - 10. Let l be q(-5). Suppose 4*o + 810 = -14. Let y = o + l. Is y prime?
True
Let z be 12761/(-21) + 1/(-3). Let g = 344 + z. Is (-2)/5 + g/(-10) composite?
True
Let b = 13 + -27. Let c be (b/21)/(2/9). Let k(a) = a**2 - 2*a - 4. Is k(c) composite?
False
Let c(q) = q. Let d be c(8). Suppose 9*y + 115 = d*y. Is ((-3)/(-3) - y) + -1 prime?
False
Suppose r - 462 = -3*i + 2999, 3457 = r + 2*i. Is r prime?
True
Suppose -2*i = 2*n - 16, 0 = -2*n - i + 3*i. Suppose u - 1880 = -n*u. Is u/40 - 2/5 composite?
True
Let d = -206 - -387. Is d a composite number?
False
Let n(g) = g**2 - 10*g + 14. Let h be n(12). Is h + 0/(-4 + 3) a composite number?
True
Suppose -l - l - 12 = 0. Let n = l - -11. Suppose -5*o = 2*v - 642 + 87, -4*o + 411 = -n*v. Is o a composite number?
False
Let h = -7 + 41. Suppose m - 81 = h. Is m prime?
False
Let g(q) = q**2 - q. Let t be g(6). Suppose t + 5 = -5*x. Is 1998/14 + (-2)/x a prime number?
False
Let i be 7/(-2)*(-4)/7. Let q(k) = 34*k**2 - 5*k + 5. Is q(i) prime?
True
Suppose -4*b = 3*v - 367, -5*b + 3*v + 244 = -208. Is b a prime number?
False
Let b = 395 - 238. Is b a prime number?
True
Let l(u) = 183*u**3 + 2*u**2 - 1. Let o be l(-1). Let r(t) = 74*t**2 + t + 7. Let m be r(-2). Let b = o + m. Is b a prime number?
False
Let g(k) = -1 - 1 + 3 + 3 - 9*k. Is g(-7) prime?
True
Suppose 0 = 5*s - 3*t - 153, -4*t = -6*s + 2*s + 116. Is s composite?
True
Let m(n) = -n**3 - 5*n**2 + 7*n + 4. Let a be 7/(-3*(-3)/(-9)). Is m(a) a composite number?
False
Let b(i) = -i**2 - 18*i - 4. Let z(n) = -3*n + 1. Let u be z(1). Let w be (u/2)/((-3)/(-27)). Is b(w) a composite number?
True
Let l = 1382 + -561. Is l a prime number?
True
Let d(j) be the third derivative of -2*j**2 - 5/6*j**3 + 0*j + 0 + 1/12*j**4. Is d(7) a composite number?
True
Suppose k + 5*i = -8, 0 = 4*k - 4*i - 16. Suppose 3*f + 4*x - 419 = 0, k*x + 507 = 4*f - 3*x. Is f prime?
False
Let s = 18 + -12. Suppose 3*u - s*u = 0. Suppose -2*x - 2*x + 340 = u. Is x composite?
True
Let w(c) = -c**2 - 5*c + 5. Let u = -2 + -3. Let z be w(u). Suppose -235 = -z*x + 320. Is x prime?
False
Suppose -4 = 5*c + 16. Let p(l) = -6*l**3 - 4*l**2 - 3*l - 1. Is p(c) prime?
True
Let m(h) = h**3 + 13*h**2 + 7*h + 5. Let q(o) = -o**2 - 3*o + 8. Let b be q(-6). Is m(b) composite?
True
Let z(m) = 2*m - 10. Let y be z(7). Suppose -2*r = -2*p + r + 80, -y*r + 177 = 5*p. Is p a prime number?
True
Let v be (-1 + 6)*16/10. Is (-2)/(v/(-47))*4 composite?
False
Let i = -2 + 5. Suppose -2*t + 390 = 4*z - 636, -772 = -i*z + t. Is z a prime number?
True
Is (-364)/(-6)*(-15)/(-10) a prime number?
False
Let h = 2 - -3. Suppose -h*m - r + 21 = 0, -5*m - 2*r + 4*r + 18 = 0. Suppose 0 = -l - o - 4*o + 444, -m*o = 2*l - 858. Is l a composite number?
False
Suppose s - 31 = 2. Suppose -3*m + s + 3 = 0. Suppose -m = -3*h - h. Is h prime?
True
Is (4/(-16))/(3/(-115356)) a composite number?
False
Let x = 19 - 13. Suppose 9 = -5*g - x. Is g/2*(-1570)/15 a composite number?
False
Is (-1)/((-3)/(-1205))*-3 a composite number?
True
Suppose -9*w + 3815 = -5*w - s, 3*w - 5*s = 2874. Is w a composite number?
False
Let u(d) be the first derivative of 5*d**3/3 - 2*d**2 + 4*d + 2. Let o be u(3). Suppose c + o = 2*c. Is c a composite number?
False
Let q(m) = 13*m**2 - 8*m + 4. Is q(3) a prime number?
True
Suppose -3*j + 0*j + 5*i + 19248 = 0, -9 = -3*i. Is j prime?
True
Suppose 4*y - 3 = y. Let b(l) = 377*l**3 + l - 1. Is b(y) prime?
False
Suppose 5*k - 9 = 3*q - 2, -5*q - k + 35 = 0. Suppose b = -b + q. Suppose 0 = -0*u - b*u + 291. Is u prime?
True
Let y be (-2 + 0)/(3/(-12)). Let b(q) = -4 + 5*q + 0 - 2*q + y*q**2 + 0*q. Is b(3) prime?
False
Suppose -5*p + 121 = -109. Is p a composite number?
True
Let b be 6/(-3) + 4 + 2. Suppose 26 = 4*z + 5*x - 4*x, -28 = -b*z - 2*x. Is 23/7 + z/(-21) composite?
False
Let c = 73 + -52. Let p be 6/c - 15/(-21). Let n(w) = 32*w**3 + 1. Is n(p) prime?
False
Let m(y) be the first derivative of -y**4/2 - 2*y**3/3 - y**2 - 7*y + 1. Suppose 2*p + 15 = -p. Is m(p) composite?
True
Let g(j) = -j**3 - j**2 + 1. Let k be g(-2). Suppose 0 = -6*t + 4*t - k*u + 75, 2*u = -2*t + 72. Is t prime?
False
Suppose -o - 4*l - 4 - 2 = 0, 2*l = -2*o - 6. Let a = -4 - o. Is -1 + 14 - (a - -1) a prime number?
False
Let v = 17 - 24. Let z(r) = r**3 + 10*r**2 + r + 5. Is z(v) composite?
True
Suppose -14 = 2*n - 240. Let b = -54 + n. Is b composite?
False
Suppose 11*p - 7672 = 3*p. Is p a composite number?
True
Let u(s) = -2*s + 2. Let g be u(-4). Is 6/g - (-814)/10 prime?
False
Let t = 465 + 92. Is t composite?
False
Let d(y) = -1. Let t(u) = 2*u**3 - 3*u**2 - 2*u. Let s(r) = -d(r) + t(r). Let v be s(3). Suppose -3*l = -5*h - 0*l + 82, -2*l = -h + v. Is h prime?
False
Let m be 20922/9 - 4/6. Let x = -1351 + m. Is x a composite number?
True
Let y(t) = -35*t**3 + t - 1. Let w be y(1). Let m = 70 + w. Is m prime?
False
Is (-11632)/(-40) - (-2)/10 prime?
False
Suppose -5*f + 22205 = -3*u, 4*f + 2*u = u + 17764. Is f a prime number?
True
Suppose -25 = 3*l - 7. Let w = 13 + l. Is w a composite number?
False
Let h(u) = 21*u**3 - 3*u**2 + 2. Let r be h(2). Let z = r + 47. Is z a prime number?
False
Suppose x + 4*o - 5 = -o, 3*x - 2*o - 66 = 0. Suppose -5*v + 2*k - 63 = 0, 0*v - 11 = v - 2*k. Let r = x + v. Is r prime?
True
Let d(z) = z**3 + 28*z**2 - 24*z - 22. Is d(-25) composite?
True
Suppose -p + 0*p = -x - 84, 2*x - 78 = -p. Is p composite?
True
Let v(k) = -k**3 - 9*k**2 - k - 9. Let j be v(-9). Suppose -5*i + 14 = -b, j = 7*b - 2*b - 5. Is 47 - (9/i + -3) a prime number?
True
Let y(w) be the second derivative of w**3/6 + 11*w**2/2 + 5*w. Is y(8) prime?
True
Suppose -7*v + 4975 = -2*v. Is v a prime number?
False
Let p = 7 + 15. Suppose 0 = -3*k + 67 - p. Is k composite?
True
Suppose 0 = 3*x - 8 + 2. Suppose -18 = -x*z - 0. Is (0/1)/(-2) + z composite?
True
Suppose -q = -2*q + 3. Suppose -2*v - q*v + 555 = 0. Is v composite?
True
Let j(r) = 160*r**2 - 2*r - 1. Is j(6) composite?
True
Suppose 6 = -7*t + 4*t. Let x = t + 16. Suppose h - x = -h. Is h a composite number?
False
Suppose -y + 99 + 40 = 0. Is y a prime number?
True
Is (27/(-6) + 3)/((-2)/628) prime?
False
Let a = -365 - -1578. Is a a prime number?
True
Let h = 1832 - -485. Is h prime?
False
Is 6/4 + (-2246)/(-4) prime?
True
Let x(j) = 2*j**2 - 2*j - 2. Let u be x(2). Let d be (28/(-35))/(u/(-5)). Suppose -3*s + 10 = v, -d*s + 15 - 40 = -v. Is v composite?
False
Suppose 2*f - 389 = -4*m + 1951, 2360 = 4*m - 3*f. Is m a prime number?
True
Let h = 1991 - 560. Suppose 0*o - 3*o = -h. Is 2/3*o/6 prime?
True
Let g(q) be the third derivative of -q**4/24 + q**3 - q**2. Let r be g(3). Suppose 0 = r*j + 12, -3*j = t + 1 - 12. Is t prime?
True
Let m = -14 + 23. Let g(v) = 0*v + v**3 + 14*v**2 + 7 - 3*v - 2*v**3 - 2*v**2. Is g(m) a prime number?
True
Suppose -2*u + 2*v = -4820, u - 3025 + 617 = 3*v. Is u prime?
True
Suppose -4*y - 71 = -1039. Let a = y + -151. Is a a prime number?
False
Suppose -19 + 4 = -5*s. Suppose 3*n - 2*w - 13 = 2*w, -s*w = 12. Let v(b) = 98*b**2 - 1. Is v(n) a composite number?
False
Let g(d) = 59*d + 36. Is g(5) a composite number?
False
Let x = 76 - 45. Is x composite?
False
Suppose 0 = 4*v + v - 1895. Is v prime?
True
Suppose -5*f + 2*f = 0. Suppose -5*r - 3*k + 302 = f, r + 6 = 3*k + 52. Is r a prime number?
False
Suppose 318 + 1537 = -5*g. Let y = -244 - g. Is y a composite number?
False
Suppose -2*j + 5378 = -3192. Is j a composite number?
True
Suppose -x = 5*b - 164, -x + 6*x - 5*b = 910. Is x prime?
True
Let n = 5 + 1. Is 2/n*(202 + -1) composite?
False
Suppose -4*l = -c + 3, -c - 15 = -4*l - 6*c. Suppose -2*x - 3*x - u = -485, l = -4*x - 3*u + 388. Is x a prime number?
True
Let i(d) = 5*d - 3. Let f be i(-9). Let k = -4 - f. Suppose 0 = -2*m + k + 114. Is m a prime number?
True
Let k = 0 + 4. Suppose -k*x + 862 = -2*h, 2*h = h + 3. Is x a composite number?
True
Let j = 4 + -12. Let o = j