6*k - k + 5 = 0, -3*p - 4*k = 4. Suppose x - 1720 - 1288 = p. Suppose x = n + 3*n - g, 3*n + 5*g = 2233. Is n prime?
True
Let x(g) = 229*g**2 - 7*g + 1. Let n = -91 + 94. Is x(n) composite?
True
Suppose 4412 = a + 3*a. Is a - 0/(1 - 0/(-1)) composite?
False
Let q = -117 + 116. Let m(n) = -1 - 5*n**2 - 4*n**3 + 6*n**2 - 73*n**3. Is m(q) prime?
False
Suppose -2*d - 2*w = 1453 - 29873, -5*d - 2*w + 71065 = 0. Is d prime?
False
Let b(f) be the second derivative of f**3/2 - f**2/2 - 33*f. Is b(12) prime?
False
Let y(u) = -17*u**3 - 12*u**2 - 19*u - 13. Is y(-9) a composite number?
False
Suppose 3*l = -4*d + 17929, -13*d - 5*l + 8947 = -11*d. Is d composite?
True
Let q(w) = -247*w + 164. Is q(-5) composite?
False
Suppose -2785 = -2*m + 3*t, -5*t = -m - 6*t + 1380. Let l = -662 + m. Is l prime?
False
Let h(s) = 3*s**2 + 5*s - 6. Let b be h(1). Suppose 0 = -b*u - 703 + 2529. Is u composite?
True
Suppose -4*z - 2*k + 32095 = -29881, 0 = -2*z - 4*k + 30994. Is z prime?
True
Is ((-14638)/(-6))/(45/(-27) - -2) a prime number?
False
Suppose -39097 = 36*z - 384661. Is z prime?
False
Let p = -10 + 10. Is ((p - -553)/(-1))/(6 + -7) composite?
True
Suppose 6389 = 5*s + 934. Let m = 2044 - s. Is m composite?
False
Suppose -44*z - 49479 = -47*z + 4*b, b = 5*z - 82465. Is z a prime number?
True
Suppose 18 = -4*g - 42. Is (-23864)/(-120) + (-2)/g a composite number?
False
Suppose 1 = -4*v + 9. Let i be 1/v - 954/12. Let k = 128 + i. Is k prime?
False
Let q(d) = 2*d - 12. Let l be q(-17). Let i = -84 - l. Let b = -7 - i. Is b composite?
False
Let o(g) = g**2 + g - 9. Let h(b) = b**3 - 9*b**2 + b - 6. Let w be h(9). Suppose -w*z - 6 = 15. Is o(z) composite?
True
Let v(p) = 30*p**2 + 6*p + 15. Is v(13) prime?
False
Let v(m) = -5 + 4 + 29 + 2*m + 10. Let j be v(-17). Suppose 0 = -5*z + 5*t + 2515, 2*z + 3*t - 1008 = j*t. Is z a composite number?
True
Is 38/(-6)*(16 + -1777) composite?
True
Let g(p) = 95*p**2 - 17*p - 31. Is g(18) a prime number?
False
Suppose 0 = -4*x - d - 9, -4*d + 6 = -6*x + x. Let y be (-11)/(-2) + x/4. Suppose 9*l - 4*l - 621 = 3*i, 609 = y*l + 3*i. Is l a composite number?
True
Let a = -431 - 293. Let z = -421 - a. Is z a composite number?
True
Let c = 106 + -103. Suppose -2*v - c*m + 4301 = 0, 2*v - 4302 = -3*m - m. Is v prime?
False
Let c(l) = 6*l - 3. Let f be c(5). Suppose 5*r - 318 = f. Let h = r - 38. Is h a prime number?
True
Suppose l - b = 2*b - 6, -l = 5*b - 10. Let m(c) = c**2 + 709. Is m(l) composite?
False
Suppose -89120 = -18*u - 758. Is u prime?
True
Suppose 0 = 2*p - 687 - 289. Suppose -4*i + 0*i + p = 0. Is i a prime number?
False
Suppose 31*y + 88030 = 36*y. Is y a composite number?
True
Suppose 3 + 5 = b. Let s(o) = -9*o**2 + 5 + 18*o - b*o + 26*o**2 + 0 + o**3. Is s(-15) prime?
False
Is (-58)/(-261) + 41731/9 composite?
False
Suppose 2*h - 15 = 2*i + 19, -2*i = -4*h + 26. Let w = i - -21. Suppose w*n + 2859 = 3*n. Is n a composite number?
False
Let l be 2/13 + 48/26. Suppose -o = 2*v + 3*o - 4206, l*v - 4198 = -2*o. Suppose 0 = -6*f + 293 + v. Is f prime?
False
Let i = 66 - -437. Is i a prime number?
True
Let b(o) = -4*o**3 - 3*o**2 - 11*o + 35. Is b(-5) prime?
False
Let j(k) be the third derivative of 37*k**4/8 - 5*k**3/6 + 9*k**2. Let c be j(5). Suppose 3*z = -3*h + c - 202, -5*z - 4*h = -575. Is z composite?
True
Let c(v) = v + 2. Let z be c(0). Is (0 + 1)*974/z a composite number?
False
Suppose -5 = -4*j + 7. Suppose 3*h - 12 = 0, -3*g + j*h = -0*h - 165. Is g composite?
False
Let l = 4 - 10. Let v(u) = -3*u - 2. Let n(f) = -28*f - 15. Let i(c) = n(c) - 4*v(c). Is i(l) prime?
True
Suppose 5*q - 195 = -20. Let s = q - 35. Suppose s = -5*w + 4*z + 23736 - 4797, z + 11362 = 3*w. Is w composite?
True
Let j(k) = -k**3 + 15*k**2 + 18*k - 5. Let y be j(16). Let r(s) = y*s**2 + 5 - 6 - 3 + s + 5. Is r(2) a prime number?
False
Let h(p) = 10*p + 33. Let f be 22*((-2)/4 - -1). Is h(f) composite?
True
Let u = -24 + 781. Is u prime?
True
Let u(i) = 8 - 19*i + 20*i + 110. Let n = 19 - 19. Is u(n) prime?
False
Let n = 30 - 451. Let y = n + 683. Is y composite?
True
Suppose 4*s - 84 = -2*z, 4*s = 2*z - s - 111. Suppose -o + l - 5*l = z, -3*l = 0. Let f = 225 + o. Is f a composite number?
True
Is 14/56 + (-14337)/(-12) prime?
False
Is (0 - 2)/(24/(-127956)) a composite number?
False
Suppose -2*t - t + 3*j = -4785, 4*j = 3*t - 4783. Is t a composite number?
False
Let h = 113 - 247. Let c = -72 - h. Is c composite?
True
Let z(p) = p**2 + 19*p + 46. Let r be z(-17). Suppose -18*t + 2262 = -r*t. Is t composite?
True
Let m(b) = -b + 16. Let c(a) = -a + 20. Let y be c(7). Let u be m(y). Is (u/(-1))/((-3)/67) prime?
True
Let y be 322/6 - (-6)/(-9). Let s(d) = 2*d**2 + 42*d - 39. Let c be s(-22). Suppose 5*k + 4 = -j + y, 0 = -c*k - 10. Is j a prime number?
True
Suppose -15944 = -4*v - 4*r, v = 6*v - r - 19900. Is v a prime number?
False
Suppose 13*s - 25206 = 7*s. Is s composite?
False
Let y(g) = 2 + 1 + 2*g - 3. Let v be y(2). Suppose 0 = v*u - 0*u - 1036. Is u composite?
True
Let f = 18745 - 5412. Is f a composite number?
True
Let s(l) = l + 12. Let q be s(-9). Let g be (-4 + 10)*2/q. Suppose r - g*r + 4*d + 355 = 0, -464 = -4*r + 3*d. Is r prime?
True
Suppose -112 = -3*f + w + 127, 2*w = 4*f - 318. Let k be 2*19 + -1 - 0. Let v = f - k. Is v a prime number?
True
Suppose 0 = -7*b + 1181 + 863. Let s = 809 - b. Is s composite?
True
Is ((-2427656)/(-21))/14 + (-1)/3 prime?
False
Suppose 2*b + 95345 = 6*u - u, -u = -5*b - 19069. Is u composite?
False
Suppose o = -4*w - 1435, -5*w = -0*w - 3*o + 1781. Let c = 687 + w. Is c a composite number?
True
Let x(l) = l**2 - 1. Let o(g) = 13*g**3 - g**2 - 3*g + 1. Let v(h) = -o(h) - 2*x(h). Is v(-2) prime?
False
Suppose 4 - 10 = -d. Suppose -d*v = -5*v - 131. Is v a composite number?
False
Let r be (-8)/(-2) - -2*1. Let u(d) = -26*d**3 - 9*d**2 + 9*d + 25. Let a(x) = 5*x**3 + 2*x**2 - 2*x - 5. Let w(j) = 11*a(j) + 2*u(j). Is w(r) a prime number?
False
Let y(u) = 2*u**3 - 60*u**2 + 28*u + 2. Is y(40) prime?
False
Suppose -d + 5357 = 5*p, 4207 - 14876 = -2*d + 5*p. Is d a composite number?
True
Let k(a) = 28*a - 6. Let u be k(5). Let x = u - 13. Is x a prime number?
False
Suppose 3 = 3*d - 3. Suppose 35 = d*z - 33. Is z a composite number?
True
Suppose -5*s = -5*x - 20, 4*x - 13 = 8*x - 5*s. Let g be (-1899)/x + (-2)/7. Let t = -148 + g. Is t a composite number?
True
Let f = 563 + 3858. Is f a prime number?
True
Let k(s) = 13 + 0*s**2 - 4*s + 4*s**2 - 18*s. Is k(9) a composite number?
False
Let l be (183/(-6))/((-1)/156). Suppose -q = q + 3*y - 1893, 5*q - y - l = 0. Is q prime?
False
Let f(d) be the second derivative of 5*d**4/3 + d**3/6 + d**2 - 8*d. Is f(-3) composite?
False
Let p(v) = 37*v - 3 + 1 - 2 + 1. Let n be p(-3). Let s = -25 - n. Is s a composite number?
False
Suppose -2*w - 5*w - 1239 = 0. Let x = -44 - w. Is x a composite number?
True
Let z = 16 - 13. Suppose z*x - 2*q = 1, 2*q - 7 = 1. Suppose -2*f + 118 = x*h, 5*h = -4*f + 2*h + 224. Is f prime?
True
Suppose 4*x - 37156 = 4*v, -3*x - 5*v = -9*v - 27869. Is x composite?
True
Let n = -122 + 555. Suppose -5*f = -1888 + n. Is f prime?
False
Suppose p = -10*p + 14916. Let d = 2507 - p. Is d prime?
True
Let h = 19 - 14. Suppose -4*g + 980 = 5*d, -g + h*g = -2*d + 392. Let a = 323 - d. Is a prime?
True
Let u be (1349/5 - -1)*(-2 + -33). Is (-18)/8*u/(-21)*-2 composite?
True
Let d(h) be the first derivative of h**3/3 + 9*h**2 + 34*h + 18. Is d(17) a composite number?
True
Let v = 5794 + 7741. Is v prime?
False
Let v(j) = -2*j**2 + 2*j - 3. Let i(o) = -2*o**2 + 3*o - 3. Let q(a) = -3*i(a) + 2*v(a). Let t be q(-5). Suppose -2*g = 26 - t. Is g prime?
False
Suppose -406937 = -81*z + 50*z. Is z a composite number?
False
Let u(d) = -52*d - 9. Let k = 4 - -2. Let q be 11/(-2) - (-3)/k. Is u(q) a composite number?
False
Let l(u) = u**3 + 2*u**2 + 8121. Is l(0) composite?
True
Let s = 11588 - 5749. Is s prime?
True
Let f(t) = t**3 - 4*t**2 - 4*t + 5. Let k be f(5). Suppose -k*b - 1276 = -12*b. Suppose 5*u - 396 = -3*c, 7*c + u = 2*c + b. Is c composite?
False
Let k = -3413 + 4784. Suppose -s + 4*s - k = 0. Is s prime?
True
Let h = 187 - -176. Is ((-8)/12)/(-2)*h prime?
False
Is (-67140)/(-4) + (-16)/4 a composite number?
True
Suppose -5*t + 2*o = -212111