 - 5037. Is x composite?
True
Let k(a) = -a**2 - 9*a - 6. Let o be k(-5). Let t = o - -41. Is t a composite number?
True
Suppose 5*v - 9 = 16. Let l(p) = -104*p + 3. Let q(d) = 103*d - 3. Let n(h) = -7*l(h) - 6*q(h). Is n(v) a composite number?
False
Let t(r) = 14*r**3 + 16*r**2 + 3*r + 14. Is t(5) composite?
False
Let w = -47 + 347. Let c = -4 + 2. Is (w/8 - c)*10 composite?
True
Suppose -15*v - 5 = -10*v. Let w(y) be the first derivative of 22*y**3 + y - 1. Is w(v) a prime number?
True
Let f(l) = -l**2 - 3*l + 4. Let b be f(-4). Suppose b = 5*p - 41 + 6. Suppose 471 = -4*x + p*x. Is x a composite number?
False
Let z(l) = -l + 1. Let m(k) = -4*k - 17. Let t(h) = -m(h) + 5*z(h). Let j(x) = 7*x**3 + x**2. Let p be j(1). Is t(p) a prime number?
False
Let h(d) = -d**2 - 9*d - 10. Let l be h(-7). Let s(i) = -i**3 + 3*i**2 + 4*i + 7. Is s(l) a composite number?
False
Let h(u) = u - 3. Let s be h(7). Suppose s*o = -239 - 1033. Let d = o + 577. Is d a prime number?
False
Let u(r) = 81*r**2 - 4*r + 10. Let p(n) = n + 4. Let v be p(-7). Is u(v) a composite number?
False
Let p(k) = -k**2 + 7*k + 4. Suppose -c + 17 = o + 2*o, 4*o - c = 32. Let f be p(o). Is -4*(-1)/f + 470 prime?
False
Let q(y) = -4*y**3 + 2*y**2 - 23*y + 13. Let u be q(17). Is (-2)/((-12)/9)*u/(-18) composite?
False
Let u(w) = w**2 - w - 1. Let k(b) = -b**3 - 5*b**2 + 10*b + 15. Let o(x) = -k(x) - 6*u(x). Is o(5) a prime number?
True
Let t be 3/(-5) + (-30)/(-50). Let i be (121 - 0) + t + 3. Suppose -4*c + i + 616 = 0. Is c prime?
False
Suppose -3 = -2*b + j - 2*j, -2*b + 5 = -j. Suppose b*v + 2*d = 0, -3*d + 1 = -v + 21. Suppose v*w = 2*r + 12, 3*w + 4*r - 1 = -r. Is w prime?
True
Suppose 0 = 5*m - 2*c - 8, -3*m + 2*c + 6 = 2. Suppose 2*v = -3*r + 2023, -2*r = 4*v - m*v - 1350. Is r a composite number?
False
Let y be 2 + 12/(-9)*-30. Suppose 3*n - 3*u + 83 = -2*u, 2*n + 2*u + y = 0. Let s = 65 - n. Is s a prime number?
False
Let a(u) = 14*u**2 + 18*u + 34. Let g be a(-11). Is (-1 + g/(-4))/((-4)/8) a composite number?
True
Suppose 2*h - 3*i - 4 = i, -3*i = -2*h + 5. Let b = 1 + h. Suppose -5 = -b*z, 0 = -2*f - z + 47 + 24. Is f a composite number?
True
Let a be 0 + (-6)/(24/20). Is 3515/(-38)*2/a prime?
True
Let b(v) = -331*v - 267. Is b(-20) a prime number?
True
Suppose -2*m + s = -4*m + 1041, 4*m = 4*s + 2076. Suppose -m - 333 = -n. Is n composite?
False
Let y be 33/15 - (-2)/(-10). Suppose y*n + 3*u = -2*u + 1272, 0 = 4*n - u - 2522. Is n composite?
False
Let d(i) = -i**3 + 2*i + 1. Let j be d(-2). Suppose 5*c - 7188 = c - 4*v, -3*v = j*c - 8983. Suppose -7*o + c = -3*o. Is o prime?
True
Let w = 14994 + -7733. Is w prime?
False
Let p be (-1)/((-2)/(-4)) + 533. Suppose 2*c - 3189 + p = 0. Is c composite?
True
Suppose c - 2*c = 0. Let l(x) = -x + 5. Let r be l(c). Suppose 0 = r*y - 1734 + 569. Is y composite?
False
Is -14 + 42/7 + 63655 prime?
True
Suppose u = -2*f - 3*u + 13794, u = -5*f + 34521. Suppose 0*i - 5*i = -f. Is i a composite number?
False
Suppose -10 + 50 = 4*x. Suppose x*q = 9*q. Is (0 - -9) + (q - 0) composite?
True
Let f = 54 - 55. Is (3/3)/(3/(f + 2662)) a prime number?
True
Suppose 0 = 5*w - 25, 4*a - 7*a = -2*w - 1451. Is a a prime number?
True
Suppose 5*x - 4711 = -4*q, 0 = 2*x - 5*q + 842 - 2700. Is x a composite number?
True
Let t(g) = 2*g + 2*g**3 - g - 3*g + 0*g. Let a be t(2). Is (510/a)/((-1)/(-2)) prime?
False
Suppose 64*l = 67*l - 27357. Is l prime?
False
Let p = -194 - -128. Is (-7008)/p + 4/(-22) prime?
False
Let p(f) = 11*f**2 - 17*f + 8. Suppose -5*k + 46 = -3*w, 8 = -w + k - 3*k. Let a be p(w). Suppose -36*d = -32*d - a. Is d composite?
False
Let j(g) = -g**3 + 3*g**2 + g. Let k be j(3). Suppose x = -4*r - 14, -r - 3*x - 8 = 1. Is (-2)/k - 425/r prime?
False
Is 20/50*(-365265)/(-18) composite?
False
Let q(w) be the first derivative of 22*w**3/3 + 3*w**2/2 + 3*w - 95. Let i(n) = -2*n**2 - n + 1. Let v be i(1). Is q(v) a prime number?
False
Let a(p) = -p**3 + 4*p**2 + 8*p - 18. Let y be a(5). Let r(b) = -204*b - 1. Is r(y) composite?
True
Suppose 0 = -14*a - 20*a + 276862. Is a composite?
True
Let z be 1*(1/1 + 4). Let o(i) = i**3 + 6*i**2 - 4*i - 1. Is o(z) a composite number?
True
Let h = 73565 + -49534. Is h composite?
True
Let w = 70960 - 49583. Is w a prime number?
True
Let a(v) = v**2 + 12*v + 12. Let h be a(-8). Let d(z) = -19*z - 59. Is d(h) composite?
True
Let k(q) = -q + 13. Let d be k(-10). Suppose 5*t - d = 4*t. Let o = t - 16. Is o a prime number?
True
Let m(q) = -q**3 - 16*q**2 - q - 17. Let f be m(-16). Let g(i) = 457*i**2 - 5*i - 5. Is g(f) a composite number?
False
Suppose -137*w + 140888 = -129*w. Is w composite?
True
Suppose 4*b - 100304 = 3*p, 3*p = -b - 2*p + 25053. Is b composite?
False
Let v be 4/(-3)*306/(-12). Suppose 7*l + v = 8*l. Is l prime?
False
Let w(g) = -4*g - 7. Let c(r) = 29 - 3*r - 1 + 18*r. Let z(b) = 2*c(b) + 9*w(b). Is z(-10) prime?
True
Suppose 0 = k + i + 8, 3*k - 2*k - i = 0. Let d(x) = -69*x**3 - x**2 + 3*x. Let v be d(k). Suppose -4*m - 1776 = -v. Is m prime?
True
Let z(o) be the third derivative of o**6/60 + o**5/20 + o**4/24 - 5*o**3/6 - 4*o**2. Is z(6) prime?
True
Suppose 13*n + 5*n - 697806 = 0. Is n a prime number?
True
Let m = -17995 + 28640. Is m composite?
True
Suppose c - 26880 = -5*c. Suppose -2925 = -5*s + c. Is s a composite number?
False
Suppose 3*c + 4156 = 4*x, -7*x - 2*c + 4156 = -3*x. Is x a composite number?
False
Let g be (-14)/(-21) - (-4520)/6. Suppose 2*t = -5*b + g, 4*b + 5*t = b + 460. Let r = b + -85. Is r prime?
False
Let f(k) = 208*k - 5. Let r = -6 + -1. Let y be f(r). Is y/(3 - 0)*-1 a composite number?
False
Let o = -40 - -99. Let q(y) = 10*y + 154. Let h be q(0). Let z = h - o. Is z a prime number?
False
Let w(n) = -n**2 - 7*n - 2. Let l be w(-6). Let p be (l + -6)*-2 + 5466. Suppose -14066 = -4*y - p. Is y a prime number?
False
Let t be ((-6)/(-18))/((-1)/(-6)). Let x be 93/t*30/9. Suppose -5*p + x = -0*p. Is p a composite number?
False
Let p(i) = 99*i - 2. Let u(d) = -296*d + 5. Let a(c) = -8*p(c) - 3*u(c). Let l be a(1). Let h = l + -6. Is h a prime number?
False
Let m(o) = -8*o**2 - 7*o - 5. Let z be m(-4). Suppose 3*v = 3*b - 4755, -2*v - 2*b - 3152 = 2*b. Let s = z - v. Is s a composite number?
True
Is ((-30)/(-50))/(2/1570) a prime number?
False
Is (-10)/(-85) + (-2148558)/(-34) a prime number?
False
Let w(y) = y**2 - 4*y + 4. Let s be w(4). Let c(k) = -k**2 - k - 1. Let a(f) = -42*f**2 - 2*f - 5. Let m(v) = s*c(v) - a(v). Is m(-2) prime?
True
Suppose 7*j + 4 = 11. Is (-1788 + 10)/((-2)/j) a composite number?
True
Let p(h) be the second derivative of h**4/4 + 3*h**3 - 4*h**2 + 12*h. Is p(9) prime?
True
Suppose 0 = -3*a - 18 + 30. Suppose -a*q + 40506 = 9902. Is q a composite number?
True
Let l = -5 - -7. Suppose 2*t = 2*n - 150, l*t = -3*n + 301 - 81. Is n a composite number?
True
Let t(j) = 3*j**3 - j**2 - j - 6. Let x be t(3). Is (-27)/x - (-3734)/7 prime?
False
Suppose 2*s - 3*k = 1327, 0*s - 3*k + 1357 = 2*s. Suppose -s - 1699 = -2*f + 4*a, -4*f + 4762 = 3*a. Is f a prime number?
False
Let c = 2189 - 1293. Let i = c + -19. Is i a prime number?
True
Suppose 5*t - 3 - 417 = 0. Suppose n = 5*w + 218, t = n + 5*w - 144. Is n a composite number?
False
Is 2361*8/((-120)/(-35)) prime?
False
Is 185/(-111) - 9268/(-6) a composite number?
False
Suppose -5*r - 5401 = -6*r + 5*n, -r = -2*n - 5389. Is r a composite number?
False
Suppose -11*k = -9*k - 6. Suppose -k*f + 4*q = -10941, -5*q = 5*f - 0*q - 18200. Is f prime?
True
Suppose 5*z - 12900 = -2*s + 4*z, -4*z = -8. Is s prime?
True
Suppose -4*p = 2*i - 1032, -2*i = -3*i - 4. Let q = -152 + 37. Let y = q + p. Is y composite?
True
Let j = -5 + -109. Let y = j - -327. Is y a composite number?
True
Let q be 7 + -3 + (0/(-4))/4. Let v(u) = 34*u**2 + 12*u - 5. Is v(q) a prime number?
True
Is 2303 + (-3 - 45/(-5)) prime?
True
Let d = -19398 - -28499. Is d a composite number?
True
Let q(f) = -5*f - 1. Let m(x) = 4*x + 1. Let o(d) = 4*m(d) + 3*q(d). Let j be o(4). Suppose -u = -4*w + 185, 0 = 2*w - w + j*u - 41. Is w prime?
False
Let b(o) = 2*o**3 - 8*o**2 + 4. Let z be b(4). Is (z/8 - 1)*-762 a prime number?
False
Suppose 0 = -7*c + 95435 - 30804. Is c a prime number?
False
Is ((-116)/4)/(2 - 312/152) prime?
False
Is (-10)/(-25) + 