 320 = -379. Is s a composite number?
False
Suppose 4*r - 5*d - 7 = -3, -2*r = -d - 8. Let q be 2*(3 + 129/r). Suppose 4*j = -q + 181. Is j prime?
False
Suppose 4*b = 5*z - 1333, 2 = -2*b - 2. Suppose 0 = 3*g - a - 3609 - z, 2591 = 2*g + a. Is g a prime number?
False
Let s = -15 + 15. Let y(d) = d**3 - d**2 + d + 83. Is y(s) prime?
True
Suppose 5*j = 5*i - 25, 4*j - 3*i = 8 - 33. Let q = j + 5. Is (-11720)/(-25) - 1/q a prime number?
False
Let a(j) = 140*j**3 + j**2 - 2*j + 1. Let q be a(1). Suppose -2*x - q - 116 = 0. Let b = x + 607. Is b composite?
False
Suppose 9 = -2*v + 5*x, 0*v + x - 11 = 5*v. Let j(q) = 4*q**2 + 3*q + 2. Let b be j(v). Is (-3)/b - (-2026)/8 prime?
False
Let i(z) = 3*z + 5. Let t be i(-2). Let w(o) = 18*o**2 + o + 2. Let a be w(t). Suppose 3*c = -5*v + 78, -a + 64 = 2*c + v. Is c a composite number?
True
Let t = -6 - -17. Suppose u - 14 - t = -3*z, 0 = 2*u - 4*z. Is (-5816)/(-40) - 4/u a prime number?
False
Suppose -4 = -4*n, -3*x = 4*n - n. Is (0 - -1)/(x/(-1811)) a prime number?
True
Suppose n - 4*n - 2*t + 1253 = 0, 0 = 4*n + 3*t - 1672. Is n prime?
False
Suppose 5*i + 61 = 3*k, k - 6*k = -4*i - 41. Let n(p) = -3*p**2 - 19*p + 21. Let u(v) = -7*v**2 - 38*v + 43. Let s(o) = 5*n(o) - 2*u(o). Is s(i) prime?
True
Suppose 5*u = -5*p + 39190, -3*u + 4*p = -0*u - 23507. Is u composite?
True
Suppose -46*s = -41*s - 207205. Is s a composite number?
True
Let z = -1499 + 3769. Let v(p) = -p**3 - 5*p**2 + 21*p - 20. Let a be v(-8). Suppose -a*s = s - z. Is s a prime number?
False
Let u(k) = -2*k**3 + 2*k**2 - k - 2. Let h = -10 + 13. Let p be (-12)/(-4) - 30/h. Is u(p) a prime number?
False
Suppose 25 = 2*b - 765. Suppose -2*s = -f + b, -4*f + 559 + 1014 = -s. Is f a composite number?
True
Let u(l) = -l**2 + l - 1. Let h(j) = 3076*j**2 - 6. Let w(g) = h(g) - 3*u(g). Is w(-1) a composite number?
False
Suppose 0 = -4*f - 3*j + 128720, -18206 = -f + j + 13981. Is f composite?
False
Suppose 2*t + t - 15 = 0. Suppose -t*q = -3*z - 2614, -22 = q - z - 546. Is q a prime number?
True
Let r = 8863 - -1034. Is r a composite number?
True
Let x = 77 - 360. Let f = 474 + x. Is f a composite number?
False
Is ((-76)/(-152))/((-1)/(-29338)) composite?
False
Suppose -a - 15 = 2*a. Let n = 6 + a. Is n + 1 + -2 + 91 prime?
False
Let w be (-11)/66 + (-19)/(-6). Suppose 3*u = 4*y - 39 + 209, -w*u = y - 160. Suppose 0 = -4*l - 3*q + u + 46, 75 = 3*l - q. Is l a composite number?
True
Is ((2 - -1) + 5446)*(-2)/(-2) composite?
False
Suppose -6*m + 17840 = 10*m. Is m a prime number?
False
Suppose -3*x = -11*x + 48. Is 596/x*165/22 prime?
False
Suppose -24*s - 19004 = -28*s. Is s a prime number?
True
Let i(k) = -k**3 + 26*k**2 - 34*k + 225. Let c be i(25). Let z(a) = 3*a**2 + 2*a - 34 + 156 - 2*a**2. Is z(c) a prime number?
False
Let p(q) be the third derivative of q**5/20 - q**4/12 + q**3/2 - 2*q**2. Let v be (6*-1)/((-42)/(-56)). Is p(v) a prime number?
True
Let z = 3489 - 1184. Is z composite?
True
Let z = 83877 + -7696. Is z composite?
True
Let y(k) = 3*k**3 + 4*k**2 - 5*k - 5. Let c = -16 + 18. Suppose -4*g + 35 = -c*b + 5*b, b + 10 = 3*g. Is y(b) a prime number?
False
Suppose -8*n + 12 = -6*n. Is 322/n + ((-32)/(-24) - 0) composite?
True
Let b(r) = 11*r + 30. Let f be b(14). Suppose 0 = -4*a + f + 180. Is a prime?
False
Suppose 3*j = -t, -28 = -2*t + j - 0*j. Suppose -t*p = p - 689. Is p a prime number?
True
Suppose v + 3*i - 442 = 0, 474 = 2*v - 4*i - 460. Is v a composite number?
False
Let j(s) = s**3 + 12*s**2 - 12*s + 24. Let i be j(-13). Let k = 620 + i. Is k composite?
False
Is 5348 + (5 - 6 - -4) prime?
True
Let p(w) = -11*w**3 - 16*w**2 - 3*w + 5. Let s(l) = -23*l**3 - 30*l**2 - 6*l + 10. Let b(n) = -11*p(n) + 6*s(n). Is b(-3) composite?
True
Suppose 2*b - 65403 = -5*z, z - 98121 = -3*b - z. Suppose c - b = -2*c. Is c composite?
False
Let o = 2080 - 693. Suppose -5*i + o + 673 = 0. Is (3 - 2)*i/4 a composite number?
False
Let s(k) = -k**3 - 15*k**2 - 15*k - 25. Let c be s(-17). Suppose -d + 202 + 199 = 0. Let y = c - d. Is y a composite number?
True
Suppose 6*d = g + d - 1135, -d = -2*g + 2306. Let t be (644/(-6))/((-9)/(-27)). Let s = g - t. Is s a composite number?
True
Let f = 10757 - 6556. Is f a composite number?
False
Let h(o) = -7940*o - 3. Is h(-2) a composite number?
False
Suppose -4*x + 26 + 70 = 0. Let i be (-5241)/(-9) - 8/x. Let h = 1835 - i. Is h composite?
True
Let z(j) = 126*j**2 + 4*j - 83. Is z(7) a prime number?
False
Let c(p) = -4*p + 18. Let d be c(4). Suppose 5 = -f, -o - f = d*o - 244. Is o a prime number?
True
Let f be -3 + (16/56 - (-7544)/7). Let l = f + 2702. Is l a composite number?
True
Suppose 2*q + 2 + 0 = 2*k, 3 = -3*q. Suppose r = -k*l - l + 14, 0 = 4*r - 3*l - 63. Is r a prime number?
False
Suppose 5*n = 8*n + 15. Let a(v) be the third derivative of -v**4/6 + 17*v**3/6 + 3*v**2. Is a(n) prime?
True
Let v(f) = f**3 - 3*f**2 + f - 7. Let y be v(3). Is (-4)/(-2)*-1106*y/16 a composite number?
True
Let s(k) = -5*k + 3. Let a be s(1). Let f = 8 + a. Is f prime?
False
Suppose -5*o = -5*a - 319015, -86*a - 191405 = -3*o - 84*a. Is o composite?
False
Let s = 1512 + 371. Is s prime?
False
Suppose 3*u + 106 = s - 1370, -3*s = -4*u - 4403. Is s prime?
False
Let w(v) = 9 - 3 + 3 - v. Let s be w(6). Suppose s = c - 54. Is c composite?
True
Suppose 54*b = 376903 + 6422507. Is b a prime number?
False
Suppose -25 = -3*h - 4*x, -2*h = 3*h + 5*x - 35. Suppose 4 = h*l - 53. Is ((-2)/6)/(l/(-7239)) a composite number?
False
Let f(g) = -9*g - 17*g**2 + 3 - 13*g - g**3 + 4*g - 2*g**2. Let o be f(-18). Suppose 4*z + o*w = -0*z + 727, 3*w = -3*z + 549. Is z a composite number?
True
Let k(u) = -61*u. Let s be k(-2). Suppose -s = -3*n + 79. Is n prime?
True
Suppose 4*s + 2*j - 9885 = s, -2*s + 6601 = 5*j. Is s a prime number?
False
Let j(c) = 2*c**2 - 19*c - 13. Let z be j(10). Let h(g) = -9*g**3 + 5*g**2 - 2*g + 4. Is h(z) a prime number?
False
Suppose -2*o + 12064 = -4*u, 6*o - 8*o - 5*u = -12091. Is o a composite number?
True
Suppose 4*l - 12 = 0, -65*s + 4*l - 182170 = -67*s. Is s prime?
True
Let g(x) = -x**3 + 24*x**2 + 24*x + 32. Let b be g(22). Suppose -b = 16*u - 20*u. Is u composite?
True
Let l(g) = g + 64*g**3 - 1 + 22*g**2 - 11*g**2 - 9*g**2. Let q = 1 - -1. Is l(q) a prime number?
True
Suppose 0 = -4*z + 8*z - 3060. Let b = z + -1272. Let g = b + 1064. Is g prime?
True
Suppose 2*n + 6 = 0, -4*n + 643 = 2*m - 7*n. Let y(c) = -19*c**2 - 4*c + 9. Let f be y(3). Let o = m + f. Is o a composite number?
True
Let a(g) = 6424*g**2 + 4*g + 1. Is a(-1) prime?
True
Let y(s) = 8*s**2 + 2*s + 3. Let n be y(-2). Suppose -n = -f + 4*i, -2 = -f - 4*i + 5. Is f a prime number?
True
Let y(c) = -1 + 11*c**2 + c - 3*c - 3*c**2. Let b be y(-2). Is 5/(-2)*(-3262)/b a prime number?
True
Suppose 40 = -7*c + 15*c. Suppose 2*y - f + 0*f - 598 = 0, -c*f + 1224 = 4*y. Is y prime?
False
Suppose 5*j + 3*o - 38 = 0, 5*j + 15 = -4*o + 54. Let l = j + 13. Is ((-239)/4)/((-5)/l) a prime number?
True
Let q(t) be the third derivative of 0*t - 9*t**2 - 1/60*t**5 - 13/12*t**4 - 4/3*t**3 + 0. Is q(-11) composite?
False
Let v = 38 + -33. Let t(n) = 1198*n - 9. Is t(v) a composite number?
False
Let q be (3/(-9))/(3/9). Let p = q - -5. Suppose 585 = p*l - 155. Is l prime?
False
Is (-7)/((-35)/67190) - 21/(-7) composite?
False
Let i(y) = 32*y**2 + 30. Let t(w) = 21*w**2 + 20. Let m(j) = -5*i(j) + 7*t(j). Let f be m(8). Let s = 1483 + f. Is s a prime number?
True
Suppose 70002 + 647653 = 17*l. Is l prime?
False
Suppose 0 = -8*h + 36 - 12. Suppose q + 2720 = 2*q - 3*r, -8202 = -h*q - 5*r. Is q a prime number?
True
Let i(d) = -6 - 3*d + 42*d**2 + 385*d**2 + d + 5. Let l be i(-1). Let p = l + -237. Is p prime?
True
Suppose 5*b + 37 = 3*r, 3*b + b = -8. Let o = r + -6. Suppose o*t + 81 - 606 = -2*h, -4*h = 12. Is t a composite number?
True
Let z(b) = -942*b + 89. Is z(-12) composite?
False
Suppose -4*m + 731 = 2483. Let w = 215 - m. Is w prime?
True
Suppose 0 = 4*v + 3*u - 9731, 14*u + 12135 = 5*v + 12*u. Is v a prime number?
False
Let k(t) = -4*t**3 - t**2 - t + 1. Let n be k(1). Let x(b) = -8*b - 8. Let j(i) = 8*i + 7. Let l(h) = -7*j(h) - 6*x(h). Is l(n) composite?
True
Suppose 0 = -71*w - 732145 + 4332058. Is w composite?
True
Let h(m) = 2*m - 13. Let s be h(