= 5*v - f - 1674. Is v composite?
True
Suppose -4*n = 4*j - 0*j - 32, 5*n = 3*j + 16. Suppose n*m - 5 = -5*r, 2*m + 0*r + 4 = -5*r. Is (-428 + 6)/((-6)/m) prime?
True
Let i = 14123 + 120. Is i a composite number?
False
Suppose -5*v = -v + 8. Let l be v*(9/2 - 1). Is (0 + 1)*(78 + l) composite?
False
Let o be -2 - -1*(-2)/4*0. Let m(k) = k. Let h be m(-3). Is (-43)/(-2 + h/o) a prime number?
False
Let g(z) = -13*z - 47. Let w be g(-4). Let i be 1/3 - (-5)/(-15). Suppose 0*c + 3*c - 4*d - 265 = i, 0 = w*d + 20. Is c a prime number?
True
Suppose -3*d + 7*d + 96 = 0. Let g be -220*(d/(-20))/(-3). Suppose 4*r - g = 652. Is r prime?
False
Suppose -4533 = -5*n + 3*k + k, 0 = -3*n + 3*k + 2721. Suppose 4527 = 8*v - n. Is v a prime number?
False
Let q(k) = -453*k**3 - k**2 + k - 2. Let f be q(-2). Suppose 4*g + 3*y = f, g = 3*y - y + 915. Is g a composite number?
False
Let t(c) = -c**3 + 6*c**2 - 2. Let y be t(6). Let l(m) = 2*m**2 + 6*m + 1. Let i be l(y). Is (-260)/i + (-4)/(-12) a composite number?
True
Let f = 16 + -14. Suppose f*p = -2*d - 812, -2*d + d - 5*p - 402 = 0. Is -3*d*1/3 a prime number?
False
Let q(x) = -242*x**3 - 2*x**2 - x. Let d be q(-1). Let f(k) = -k**2 + 2. Let s be f(0). Suppose -3*l - t + s*t + d = 0, 2*l + 5*t = 138. Is l composite?
False
Let s = 37302 + -6433. Is s a prime number?
True
Suppose -4*v - 2*r + 338 + 500 = 0, 2*v + 3*r = 413. Is v composite?
False
Suppose 3*o - g - 392 = 0, -215 = -2*o - 5*g + 52. Suppose -49 + 885 = -11*m. Let l = m + o. Is l composite?
True
Suppose 0 = 4*u + u - 500. Suppose 0 + 2 = r. Suppose 6*b - u = r*b. Is b prime?
False
Let w(u) = -38*u - 25. Let o be (8 - 7)/((-1)/3). Is w(o) prime?
True
Let y be 1 - (6/(-15))/((-1)/(-5)). Let g(z) be the second derivative of z**5/20 - z**4/6 + z**3/3 - 2*z**2 + 2*z. Is g(y) a composite number?
False
Let c(j) = j**3 + 6*j**2 - 6*j + 33. Is c(14) prime?
False
Let a(d) = 2*d - 30. Let p = 4 - -9. Let w be a(p). Let f = 15 + w. Is f prime?
True
Let u(b) = -167*b - 162. Is u(-35) composite?
False
Let h(b) = -b + 6. Let j be h(4). Let t be 45/(-18) + j/4. Is (-5 + 6)*(-70)/t prime?
False
Let i be 2/(-1) + 233*-4. Let o = 637 + i. Is -2 - (3 + o) - 1 prime?
False
Suppose r + 1015 = 6*r - d, -2*d - 812 = -4*r. Is r composite?
True
Let g be (-4)/(4/(-5)) - 2. Let q(t) = -11*t + 6. Let k be q(g). Let j = -6 - k. Is j prime?
False
Is (-4380888)/(-88) + (-24)/(-132) composite?
False
Suppose 0 = -u - 1, -46 = -9*l + 4*l + u. Suppose -4*g - c + 2*c + l = 0, -2*g + 8 = -4*c. Suppose -2*d = 4, g*m = m - 2*d + 51. Is m composite?
True
Let q be -8*(-5)/3*(-21)/(-28). Is 83/((6/q)/3) prime?
False
Let d be 0/(-2)*18/90. Let m = 8 + -3. Suppose m*s + 0*s - 655 = d. Is s a composite number?
False
Let u(p) = 6*p**2 - 7*p + 10. Let t be u(6). Suppose 2*k = -2*k + t. Is k a composite number?
True
Let q be (8/3)/((-12)/(-18)). Suppose 6*s + q = -32. Is (4420/60)/((-2)/s) composite?
True
Suppose 4*t + 3*s = 6 + 15, -5*s = -5*t. Suppose -t*r + 199 = -2810. Is r a prime number?
False
Let i(j) = 36*j**2 - j. Let h be i(-1). Suppose -4*k = -x - h, -2*x - 3*k = x + 126. Let v = -2 - x. Is v prime?
False
Suppose 2*u - 649 = u. Let g(a) = -9*a - 36. Let p be g(-4). Suppose p*n = n - u. Is n a prime number?
False
Suppose -5*d = l - 2*d - 5525, 22134 = 4*l - 5*d. Is l prime?
True
Suppose 3*r + 3 = -3*w - 6, 4*r - 20 = 4*w. Is 277*(r + 5) - 5 a composite number?
False
Let d(u) = 0 + 5 + 4 + 5*u**2 - 8*u - 5. Let r be (2*5 + 0)/2. Is d(r) prime?
True
Suppose 15*r + 3*y = 11*r + 21068, -4*r - 5*y + 21068 = 0. Is r a composite number?
True
Let p be (1 - -1) + (-28)/2. Suppose 22*i - 25*i = -213. Let b = p + i. Is b prime?
True
Let w = 26 + -23. Suppose -7*m + 4044 = 4*b - w*m, -m - 5061 = -5*b. Suppose -t + 255 = -2*f, -t + 4*f + b = 3*t. Is t a prime number?
True
Suppose 3*x = 252 + 2382. Suppose n - 5*c = x, 2*n + 3*n - 5*c - 4350 = 0. Suppose 3*g + 2*g - 1085 = -5*u, g = -4*u + n. Is u composite?
True
Suppose 15*z - 109355 = -23690. Is z prime?
True
Let i(x) = 4*x**2 - x - 2. Let t(q) = -11*q**2 + 2*q + 5. Let n(f) = 17*i(f) + 6*t(f). Suppose w - 13 = -6. Is n(w) composite?
False
Suppose -4892 = 4*t - 5*v, -14 - 6 = -5*v. Let n = 2107 + t. Is n a prime number?
False
Let u = -46827 + 151798. Is u prime?
True
Suppose -77*o + 75*o + 18886 = -2*u, 5*u - 10 = 0. Is o prime?
False
Let l = 37 + 76. Suppose x + j - l = 156, 5*j - 811 = -3*x. Is x prime?
False
Let s(r) = 259*r**3 - r**2 + 4. Let b be s(3). Suppose 4*y + 2528 = b. Is y a composite number?
True
Let w(h) = -140*h - 11. Is w(-12) composite?
False
Is ((-2)/(-5))/((-767299)/51155 + 15) a composite number?
False
Let s = 177 + 122. Suppose s = -2*w + 3*w. Is w a prime number?
False
Let k(z) = -z**3 + 9*z**2 - 6*z - 11. Let y be k(8). Suppose -y*i - 311 = -3*l, l - 4*i - 93 = -5*i. Suppose -21 = 2*s - l. Is s prime?
False
Let o(p) be the first derivative of 55*p**3/3 + p**2/2 - p - 2. Suppose 5*l - 4*t = -11, 5*l + 2*t - 12 = 1. Is o(l) prime?
False
Let s be 10/(-45) - (-76)/18. Let m = -8 + 16. Suppose m*q - s*q = 8612. Is q a prime number?
True
Let w(m) = -644*m - 323. Is w(-5) a composite number?
False
Let x(o) = 14 + 0 - 9 - 72*o. Is x(-7) prime?
True
Suppose 4*o = 0, 0 = w + 2*o + 14 + 772. Let t = w - -1141. Is t a composite number?
True
Let p(w) = -1805*w**3 + w**2 - 3*w - 13. Is p(-2) a prime number?
True
Is ((-2239076)/(-84))/((-3)/(-9)) composite?
False
Suppose 0 = 2*h + 4*l - 2640, -2*h + l = -2726 + 86. Suppose -4*w + h = -1228. Suppose 290 = 2*i - z, 4*z + 94 + w = 5*i. Is i prime?
False
Let w = 14091 + -8110. Is w a prime number?
True
Let f(y) = 113912*y**3 - 1. Is f(1) a prime number?
False
Let f = -1 + 6. Suppose 4*d - 2788 = -4*z + f*z, 0 = -d + z + 700. Let o = d + -493. Is o a composite number?
True
Suppose r - 3 = -5*x + 2*x, 1 = x. Is 2*(-6)/4 + 616 + r prime?
True
Is (-146757)/(-24) + 15/120 prime?
False
Let z(p) = p - 88*p**3 + 0 + 4*p**2 + 114*p**3 - 1 - 6*p**2. Is z(2) a prime number?
False
Let c(w) = 39*w**2 - 3*w + 1. Let l be c(2). Suppose 0 = 4*f - 4835 + l. Is f prime?
True
Suppose 4*s + 7556 = 2*o - 6950, -16 = -4*s. Is o a prime number?
False
Suppose 4*d + f = 42 + 29, 0 = f + 5. Let b = d - 19. Suppose 0 = -3*l - 5*k + 126, 5*l = -b*l - 3*k + 194. Is l composite?
False
Let o(p) = 13*p + 1253. Is o(0) prime?
False
Let d(h) = -h**3 + 2*h**2 + 2*h + 4117. Is d(0) a prime number?
False
Let c(s) = -108*s - 19. Let h = 90 + -95. Is c(h) composite?
False
Suppose 1242402 = 31*q - 1856389. Is q prime?
True
Let m(s) = 3*s**2 + s - 16. Let y be m(-5). Suppose 2*j = 556 - y. Is j a prime number?
True
Let x = 34222 - -6235. Is x a prime number?
False
Let x(n) = -9*n + 39. Let z be x(4). Is 22786/(-3)*z/(-2) prime?
True
Suppose 0 = -19*y + 88767 + 9330. Is y composite?
True
Let z = -10462 + 17461. Is z a prime number?
False
Let h be 2*(-3 + (-9)/(-2)). Suppose 0 = -3*q + i + 8, -2*i = -3*q + h*i + 16. Suppose -6*g = -q*g - 308. Is g prime?
False
Let d(s) = -6*s + 21. Let r be d(5). Let j(a) = 9*a**2 - 2*a - 10. Is j(r) a prime number?
False
Suppose 3*x + 0*x = 423. Let n = x - -400. Is n prime?
True
Suppose -100 = -2*q + 396. Suppose 5*a = 72 + q. Let b = a - 33. Is b a composite number?
False
Let m(u) = -15*u**3 - 3*u**2 - 3*u - 1. Let f = -5 + 5. Suppose 3*r + 3 + 3 = f. Is m(r) prime?
True
Let i(d) be the third derivative of 7/24*d**4 + 0 + 4*d**2 + 1/15*d**5 - 1/3*d**3 + 0*d. Is i(-7) a prime number?
False
Let c(n) = 11*n**2 - 4*n + 2. Let p = 18 + -13. Is c(p) prime?
True
Suppose -5*j = -4*x + 3*x - 8, -2*j = -3*x + 2. Let n(s) = 5 + 6*s**2 + 15*s - s**2 - 2*s**2 + j. Is n(-10) composite?
False
Let b = -2009 - -16963. Is b prime?
False
Let c(x) = 114*x**2 + 29*x + 88. Is c(-7) prime?
True
Let y(v) = -3*v - 1. Let g be y(-1). Let q be -2 - (-2 + g) - -3. Is (q + 0 - 4) + 296 composite?
False
Suppose 4*o - 3371 = -3*n, -3*o - 3*n + 2532 = -0*o. Is o a prime number?
True
Suppose 3*q - 2482 = -5*o, -4*o = -0*q - 4*q + 3320. Is q a composite number?
False
Let a = -8 + 5. Let l(q) = -128*q - 7. Is l(a) prime?
False
Suppose 2*l = 4*w + 38598, 10*l - 5*w + 19306 = 11*l. Is l a prime number?
True
Suppose -150264 = -14*u + 175502. Is u prime?
True
Suppose 999 = 2*j - 1233. Let h = j + -595. Is h a prime number?
True
Suppos