umber?
False
Let m(k) = -k**3 + 19*k**2 - 12*k + 31. Is m(13) a composite number?
True
Let u(i) = 0 - 1 + 2 + 2*i. Let b be u(-1). Is 195/(-25)*(b - 4) a composite number?
True
Let g = -120 + 199. Is g a prime number?
True
Let s(u) = u**2 + u. Suppose 5*k - 4 = 2*z, 0*k + k = 2*z + 20. Let r be 27/z - 2/(-8). Is s(r) composite?
False
Let g = -52 + 99. Is g a composite number?
False
Let r be 1 + (-2 + 1)*-3. Suppose -5*d - 35 = 85. Is (-22)/r*d - 1 a composite number?
False
Let h(k) = 12*k + 59. Is h(11) a prime number?
True
Let x = 8 + -2. Let u = x - 3. Let y(z) = z**2 + 4*z - 2. Is y(u) composite?
False
Let x be 1/1 + -1 + 25. Let y = x + 12. Is y a prime number?
True
Suppose 10*x - 8*x = 3922. Is x a composite number?
True
Suppose -4*u - 1 = -85. Is u composite?
True
Is 2*(-4)/(-10) + (-34661)/(-55) composite?
False
Let w(a) = -3*a**2 - 2*a + 6. Let c(o) = -o. Let u(s) = 2*c(s) - w(s). Is u(-5) a prime number?
False
Suppose -d + 2*t = 12, 2*d - 6*t + 28 = -t. Is (-3)/(d + 1) + 190 prime?
True
Let h(z) = -z**3 + 10*z**2 + 2*z - 15. Let k be h(10). Suppose -2*l + 5*d + 709 = -22, 1880 = 5*l + k*d. Is l a prime number?
True
Suppose 0 = -2*m - 2*m - 8. Let r be 1/(91/45 + m). Suppose 29 + r = 2*v. Is v a composite number?
False
Suppose y + 2 = 3*p, -5*p + 5 + 25 = 5*y. Suppose 0 = 3*o + 3*j - 216, -y*j + 5 = 1. Suppose o = 4*z - 5. Is z a composite number?
False
Let q(o) = 47*o**3 - 4*o**2 - 5*o - 7. Is q(4) a prime number?
True
Let p be 1 + 3/(3/(-13)). Let o = p - -47. Is o a composite number?
True
Let v = 8 - -2. Is (-593)/(-5) + v/25 a composite number?
True
Let c(f) = f**2 + 6*f - 2. Let i be c(-6). Is 38 - ((-2)/i)/(-1) a prime number?
False
Suppose 5*k = 3*n - 2279, -4*k = 4*n + 170 - 3262. Let a = n + -509. Is a prime?
False
Is -1 - -642 - (7 - 7) a composite number?
False
Let h = -921 + 2722. Is h prime?
True
Let x = 0 + 3. Suppose 237 = x*u - 4*v, 0 = -u - 3*v - 11 + 90. Is u composite?
False
Let k = 33 - 29. Let c = 0 - -3. Suppose -c*u - 57 = -k*u. Is u a prime number?
False
Let a = 1405 - 884. Is a a composite number?
False
Suppose c - 3*c + 4 = 0, 5*c = 3*r + 1. Let w = r + 3. Suppose 0 = -n + 8 + w. Is n prime?
False
Let b(w) = 116*w**2 + 4*w - 3. Is b(2) prime?
False
Suppose 12*h - 352 - 4232 = 0. Is h a composite number?
True
Let x(w) = -39*w + 1. Is x(-4) a prime number?
True
Suppose 103 = q - 4*d, 5*q - 177 - 392 = 2*d. Is q prime?
False
Let q = -1 - -1. Let d be -7 + 6 + (-12)/(-2). Suppose d*y + 11 = -9, q = 5*r + y - 481. Is r prime?
True
Let s = 394 + -75. Is s a composite number?
True
Suppose 5*l - 4*s = 6 + 15, -4*s = 5*l - 29. Suppose 171 + 174 = l*f. Is f a prime number?
False
Suppose -y = -i - 2, 4*y + i = -y + 10. Suppose -5*p + 48 + 86 = 4*m, 5*m - 57 = -y*p. Is p a prime number?
False
Let f(s) be the second derivative of s**7/840 - s**6/360 + s**5/120 + 67*s**4/24 + 5*s**3/6 + 3*s. Let v(q) be the second derivative of f(q). Is v(0) prime?
True
Let y be (0/((-2)/(-2)))/4. Is 239/(y - (-1 - 0)) prime?
True
Let l(a) = a**2 - 6*a - 6. Let h be 4*(0 - 15/12). Let m be l(h). Suppose -1 - m = -5*k. Is k prime?
False
Let t = 360 - 161. Is t prime?
True
Let p(f) = -f - 14. Let n be p(-11). Is (-898)/(-6) + 2/n prime?
True
Let l = -567 - -886. Let q be ((-8)/6)/((-1)/(-141)). Let b = l + q. Is b composite?
False
Let p = 35 + -17. Let h = 4 + p. Is h a prime number?
False
Suppose 2*v - 2*x + 14 = 0, -v + 4*x - 16 = -0*x. Is (-176)/v*1/2 a prime number?
False
Suppose 0 = -3*o + 3*o + o. Suppose -4*f + 22 = -10. Suppose -g + 15 + f = o. Is g prime?
True
Let u be -10*((-16)/(-10))/(-4). Let b(p) = -u + 2 + 1 - 24*p. Is b(-5) composite?
True
Let t(m) = m**3 + m**2 + 115. Let l be 0/(2*(3 + -4)). Is t(l) a prime number?
False
Is (-30)/(-4) - (-3)/(-6) composite?
False
Suppose 2*l - 7*l - g + 2705 = 0, 5*g = l - 541. Is l a composite number?
False
Let z(v) = -v**3 + 6*v**2 - 4*v - 3. Let g be z(5). Suppose 3*c = 0, -4*o + 2*o = 3*c - 184. Suppose 0 = -0*s + g*s - o. Is s composite?
True
Let a(u) = 2*u - 1. Let q be a(3). Is 628*(q/(-4))/(-5) a composite number?
False
Suppose 16 + 46 = -x. Let n = x + 145. Is n a prime number?
True
Let d(w) = -w**3 + 19*w**2 + 28*w + 23. Is d(15) a composite number?
True
Let f = -727 + 1254. Is f a composite number?
True
Let p = -9 + 18. Suppose -3*y + 0*y + p = -3*f, -2*y = 4*f - 6. Suppose y*k - 443 + 176 = 0. Is k composite?
False
Let y = -5 - -9. Suppose v - 265 = -y*v. Is v composite?
False
Suppose 46 = -2*x + 3*d, -x - 15 - 13 = -4*d. Is 6/(-5)*350/x composite?
True
Suppose 5*l - 2*n = -n + 71, 0 = -l - 3*n + 11. Is l composite?
True
Let j(n) = 4*n + 100. Suppose -2*h + 5 = 3*x, 3*h + h - 40 = 4*x. Let a(q) = 9*q + 201. Let v(l) = h*j(l) - 3*a(l). Is v(0) composite?
False
Let f(a) = -a**3 - a**2 - 2*a + 129. Is f(0) prime?
False
Let g(a) = a**3 + 4*a**2 - a - 11. Is g(7) prime?
True
Let v(s) be the third derivative of s**6/120 - 3*s**5/20 + 3*s**4/8 - 3*s**3/2 + 4*s**2. Let a be v(6). Let w = a - -89. Is w a composite number?
True
Let o(c) = c**2 + 4. Let v be 1 + (1 - 2) - 7. Is o(v) prime?
True
Let b be 2/(-4) - 55/(-10). Suppose 20 = 2*i + b*s, 3*i + 4*s = 2*s + 41. Is i prime?
False
Let y(o) = 1 + 10*o**2 + 13*o - 4*o**2 + 7*o**2 - 3. Let z(u) = -6*u**2 - 6*u + 1. Let g(q) = -2*y(q) - 5*z(q). Is g(5) composite?
True
Suppose -4*k + 4198 = -2*k. Is k prime?
True
Suppose -5*i + 81 = -4*i. Suppose -13 + 49 = 3*v. Suppose v = 3*z, 280 = 5*l - 4*z + i. Is l a prime number?
True
Suppose 3*o = -o + 1172. Is o prime?
True
Suppose 3*j = j + 4, 4*s + 10 = 5*j. Let n(d) = -d**2 - d + 4. Let h be n(s). Suppose 2*b - 85 = -h*v + 9*v, -160 = -3*b + v. Is b prime?
False
Suppose -5*c + 18 = 2*b, -b + 5*c = -5*b + 26. Suppose 4*i + 2*r + 2*r + 268 = 0, 5*r = -b*i - 265. Let k = i - -155. Is k a prime number?
False
Suppose -3*p - f = -2654, f + 2658 = 3*p - 2*f. Suppose -5*x = -2*x - p. Is x a prime number?
False
Let u = 0 + 2. Let d(f) = u*f**2 + 1 - f**2 - 2*f + f. Is d(-2) composite?
False
Suppose 0*n + 2*n - 4 = 0. Let y = 21 - n. Is y composite?
False
Let f(d) = -3*d - 2 + 7 + 2*d + 3. Let j be f(8). Suppose j = 6*p - p - 385. Is p a prime number?
False
Let b = 0 - 0. Let q be 13 + -15 + (1 - -3). Suppose 370 = 4*x + 2*r, b = -q*x + r + 92 + 87. Is x a composite number?
True
Let w(n) = -552*n - 1. Let o be w(-1). Let y = o - 312. Suppose -4*m - 5*p = -193, 5*m - 2*p + 6*p - y = 0. Is m prime?
True
Let l(d) = d**2 - 4*d - 7. Let k be l(6). Suppose k*r - 3*b = 400, 2*r + r - 224 = 5*b. Is r a prime number?
True
Is 358/(-2 + 2 + 2) prime?
True
Suppose 4*m + 9 = -7. Let p(q) = 8*q - 4. Let g(f) = -1. Let j(a) = g(a) - p(a). Is j(m) a prime number?
False
Let a(w) = w**3 + w. Let b(g) = -4*g**3 - 2*g**2 + 3*g + 4. Let u(j) = 3*a(j) + b(j). Is u(-5) composite?
True
Let n = -282 + 431. Is n prime?
True
Let i = 11 + -8. Suppose 0 = -i*u - 2*u + 785. Is u composite?
False
Let m = 20 + -10. Let z be (8/m)/(4/130). Let w = z + -13. Is w composite?
False
Let c = -579 - -836. Suppose 0 = -3*l + 448 + c. Suppose -d - 4*d = -l. Is d prime?
True
Let v(x) = -x**3 - 14*x**2 + 11*x - 22. Is v(-15) prime?
False
Suppose -3*u - 20 = -4*j + 8, -8 = -u - 3*j. Let s be (-3397)/(-7) - u/(-14). Suppose -2*z = 3*z - s. Is z composite?
False
Let o(a) = -3*a - 5. Let g(d) = -2*d - 4. Let i(t) = 4*g(t) - 3*o(t). Is i(4) composite?
False
Let f = -249 - -352. Is f a prime number?
True
Suppose -24 = -6*a + 2*a. Let v(n) = n**2 - 8*n + 4. Let s be v(a). Let j(g) = 3*g**2 + 10*g + 3. Is j(s) a composite number?
True
Let l be (0 + -2)/((-4)/82). Let x = -33 - -53. Let a = l - x. Is a prime?
False
Is 126 - 7/((-28)/(-12)) a composite number?
True
Let j(a) = -8*a + 1. Let h be j(-1). Let o be (30/h)/((-4)/6). Let n = 82 + o. Is n a prime number?
False
Let n be (-105)/(-33) + (-8)/44. Suppose 3*j = 4*j. Suppose 2*r + j*r + p = 106, -n*r + 159 = -2*p. Is r a prime number?
True
Let f = 469 + -174. Is f prime?
False
Is -1 + -2 + 516 + 4 a composite number?
True
Suppose 3*j + 7 = -u, 4*u = -2*j - 4 + 16. Suppose u*r + s - 239 = r, 5*r = 5*s + 280. Is r prime?
True
Let w(p) = p**3 - p**2. Let a be w(1). Suppose a = -3*t - 0 + 6. Suppose k = -t*o + 24, 0 = 2*k - 5*o + 2*o - 13. Is k prime?
False
Let z(g) = g**3 + 8*g**2 + 5*g - 1. Let n be (-2