 - 4. Let n be l(-4). Let m = n + -10. Is m a prime number?
False
Suppose 2563 = -8*k + 9*k. Is k a composite number?
True
Let c = 383 + -220. Is c composite?
False
Suppose 3*m + 413 = 4*m. Is m a composite number?
True
Is -7 + 131 + (2 - -1) a composite number?
False
Let u(a) = a**3 - 4*a**2 + 2. Let l be u(4). Suppose -2*o + l = -2, 4*n + 5*o = 230. Is n a prime number?
False
Let l = -1 - -3. Is (l/(-6))/(3/(-27)) prime?
True
Let q = -157 - -306. Is q a prime number?
True
Let d be (0 - 2)/((-5)/30). Suppose -d = -3*m, -4*b - m = 3*m - 1500. Is b a prime number?
False
Let u be 311/2 + (-3)/6. Let g = 388 - u. Is g composite?
False
Let b be (5 + 1 + 2)/2. Suppose b*t = 3*t + 157. Is t prime?
True
Suppose 5*z + 0*z - 60 = 0. Is (-354)/4*(-8)/z a prime number?
True
Suppose -4*l - 5*l = -1062. Is l composite?
True
Let n be (3/(-6))/(2/(-92)). Suppose -q + n = -36. Is q composite?
False
Let l(h) = 3*h**2 - 4*h**2 + 0*h**2 + 5. Let j be l(5). Let w = 41 + j. Is w a prime number?
False
Suppose 4*l + 2*o - 16 = 0, 0 = 3*o + 1 + 5. Suppose 43 + 14 = -3*r - l*k, -3*k - 9 = 0. Is (-2)/7 - 312/r a prime number?
False
Suppose 17 = 2*b + 3*j, 2*j + 21 = -4*b + 7*j. Let n be (-3)/(b/(-2) + 1). Is -28*(-2 - 9/n) prime?
False
Suppose -2*m - 875 = -5*n, 5*m + 195 + 134 = 2*n. Is n a composite number?
True
Let x = 5 - -7. Let c(r) = -9*r - 12*r + x*r - 20*r. Is c(-5) a composite number?
True
Is 956/2 + 8/8 composite?
False
Let b(s) = 14*s**2 - 4*s + 6. Let c be b(-5). Suppose -6*d + 2*d = -c. Is d a prime number?
False
Suppose 5*n - 20 = 2*f, 3*n = 3*f - 2*f + 11. Suppose l - 4*v + v = -6, -2*v = -n*l. Is l a composite number?
False
Let p = -2 + 9. Is p a composite number?
False
Suppose 0 = -2*w - 2 - 2. Let p be ((-226)/(-4))/(1/w). Let l = p + 210. Is l prime?
True
Suppose -n - 84 = 4*i, -n - n = 2*i + 150. Let l = 110 + n. Is l composite?
True
Let t = -15 - -9. Is (-477)/t + (-1)/2 composite?
False
Let l(k) = 19*k**3 + k**2 - 1. Let t be l(-1). Let j = -6 - t. Is j a prime number?
True
Let g(w) = 162*w**2 + 3. Let o(r) = 163*r**2 + 4. Let q(s) = 5*g(s) - 4*o(s). Is q(1) a prime number?
True
Suppose -4*u + 15 = -5. Suppose -5*v + 15 = u*o, -4*o + 5*v - 2*v + 19 = 0. Suppose 4*q = w - 35, -o*w + 63 + 1 = 3*q. Is w a prime number?
True
Suppose -2*b + 680 = 2*b. Suppose -2*s = -4*s + b. Is s a composite number?
True
Let h(w) = -2 - 14*w - 6 + 5. Let r(i) = -i - 1. Let v be r(3). Is h(v) prime?
True
Let m = -31 + 57. Let x = m - -5. Is x a prime number?
True
Let d = 0 + 0. Is 1/(1/37 - d) composite?
False
Suppose 0 = 3*l - l + 2*u - 372, -5*l + 5*u + 920 = 0. Is l composite?
True
Let d = -4 + 4. Suppose d = -t - 4*j + 10 + 5, 2*j + 6 = 4*t. Let r(w) = -w**2 + 8*w - 2. Is r(t) a composite number?
False
Let y = -5 + 7. Suppose 3*s = 5*j + s - 2332, -2*j - y*s + 944 = 0. Is (-3)/(-15) + j/10 a composite number?
False
Let j(l) = 3*l**2 + 8*l - 16. Is j(-5) a composite number?
False
Let u be (1 - 4)/(2/(-6)). Let l(h) = h**2 - 2*h + 6. Is l(u) a composite number?
True
Let l(n) = -5 + n**3 + n**3 + 2*n**3 - 5*n**3 - 2*n**2 - 7*n. Is l(-4) a prime number?
False
Let o(c) = -420*c**2 + 1. Let b be o(1). Let l = b + 630. Is l prime?
True
Let d be (-1 + 0)*(-3)/1. Suppose 0*f = 3*f + 3*s - 171, d*s - 118 = -2*f. Is f a prime number?
True
Suppose -6*k = 2*c - 2*k - 22, 12 = 3*k. Let m(z) = -z + 3*z - 1 + 4*z**3 + 0*z**c. Is m(2) prime?
False
Let n = 529 - -166. Suppose -h = 4*h - n. Is h a composite number?
False
Suppose 5*i + 439 = -151. Let s = -59 - i. Is s a prime number?
True
Suppose -381 = -5*m + 289. Let t = m - 96. Is t prime?
False
Suppose -q + 42 + 59 = 0. Suppose 0 = 3*s - 0*s + u - 97, 3*s + 2*u - q = 0. Is s composite?
False
Let h = 9 + 28. Suppose -3*z = -2*z - h. Is z a composite number?
False
Suppose 5*q + 13*q = 8946. Is q prime?
False
Suppose -y + 19 = 3*d, -3*y + 0*y = -12. Suppose d*s - 2*z - 3*z - 120 = 0, 3*z = 4*s - 95. Is s composite?
False
Let h(u) = 10*u + 18 - 4*u + 30*u - 1. Is h(9) a prime number?
False
Let b be 0 - (-4 - -2) - 5. Let o be (6 + -2)*b/(-2). Suppose -2*m + 36 = m + 3*k, 0 = 3*k + o. Is m composite?
True
Let l = 35 - 49. Let a = 5 - l. Is a prime?
True
Let k(w) = 0 - 1 + 163*w + 2. Is k(2) a prime number?
False
Let v = -1916 + 4855. Is v a composite number?
False
Suppose z - 6 = -z. Let k be (1/z)/(6/1206). Suppose 8 = -h + k. Is h prime?
True
Let i(f) = 3*f**2 - 5*f + 3. Suppose -3*w + 0*w = -6. Suppose -w = -b + 1. Is i(b) prime?
False
Suppose -3*f - 974 = 2*t, 2*f + 246 + 414 = 4*t. Is f/(6/(-3)) + -2 a prime number?
False
Let z(l) = l**3 - l - 9. Let b(y) = 3*y**3 - 3*y - 19. Let w(j) = -2*b(j) + 5*z(j). Is w(-5) a prime number?
True
Suppose -27 = -5*k + 4*c, 6*k - 2*k + 4*c = 0. Suppose -27 = -k*h + 36. Is h a prime number?
False
Let g = -425 - -1303. Is g a prime number?
False
Suppose 975 = o - 2. Is o a composite number?
False
Let p(o) = -o**3 + 2*o**2 - 1. Let w(m) = -m + 4. Let a be w(3). Let j be p(a). Suppose j*c - 2*c - 3*s + 74 = 0, 5*s = c - 11. Is c composite?
False
Let f(i) = i**3 + 13*i**2 - 9*i + 14. Is f(-11) a composite number?
True
Let i = -67 + 150. Is i composite?
False
Let z = -1 - -1. Suppose z*t = 4*t. Is t - (1 - -34)*-1 a prime number?
False
Is (-3 + 379)/4 + 3 a prime number?
True
Suppose 3*k + 239 = -0*m + 2*m, k - 3*m = -68. Let y = k - -148. Is y a composite number?
True
Suppose -1090 = -2*i + 264. Is i composite?
False
Suppose 18 + 14 = y. Let v = y + 25. Is v a prime number?
False
Let y be ((-15)/(-20))/((-1)/4). Let g be y/(-1)*23*1. Suppose 2*f - 101 = g. Is f a prime number?
False
Let d(t) = 43*t**2 + 9*t - 21. Is d(7) composite?
True
Suppose 5*d - p - p = -278, 2*d - p + 112 = 0. Let x = -33 - d. Is x composite?
True
Suppose 0 = 2*w + 5*a - a - 8, 2*a - 4 = 0. Is w - 435/3*-1 a prime number?
False
Suppose 4*m - 5*o = -275 + 2796, 0 = -o - 1. Is m composite?
True
Let i(r) = -r**3 + 4*r**2 - 3*r. Let q be i(2). Suppose -q*j + 13 = -j. Is j a composite number?
False
Let i(s) = 5*s**3 + s**2 - 1. Let p be i(-1). Let q = -3 - p. Is q - (-3)/((-9)/(-21)) composite?
True
Let b be (-26)/117 + 29/9. Let o(s) = 5*s**2 + 3*s - 3. Is o(b) composite?
True
Let c be (2 - 1)/(1/(-5)). Let m = 7 + c. Suppose -b + 3*n + 84 = 2*n, 0 = m*b - n - 169. Is b prime?
False
Let s(q) be the first derivative of -q**2/2 + 5*q + 1. Let d be s(-6). Is 1*d*5 + 0 a composite number?
True
Let p(f) = 2*f + 2. Let g be p(-3). Let d = 7 + g. Let y(t) = 4*t**3 + t**2 + 4. Is y(d) prime?
False
Let d = 12 + -10. Suppose 56 = 4*b - 2*b. Suppose -b - 106 = -d*v. Is v a composite number?
False
Suppose -t - 3*n = -55, 0 = -0*t - 3*t + 4*n + 152. Let d = t + -31. Is d prime?
False
Let t be (-1)/(2/4) - 183. Let g be t/3 - (-2)/(-6). Let m = g + 109. Is m prime?
True
Let p(a) = -a**3 + 5*a**2 - a. Suppose 5*j - j = n + 12, 2*n - 5*j + 12 = 0. Let k be p(n). Suppose -k = -4*q, -347 = -0*g - 5*g - 4*q. Is g a prime number?
True
Let r(g) be the second derivative of g**3/2 - 2*g**2 - g. Let a be r(3). Suppose q + 0*d = d + 14, -a*d + 70 = 5*q. Is q prime?
False
Suppose -3*h - 4 = -4*h. Suppose -h = -x - 2. Is 8/(-12)*(-39)/x a composite number?
False
Let g(k) = -k**3 + 23*k**2 - 3*k - 10. Is g(7) composite?
True
Let y = 7 + -4. Suppose -y*g + 0*g = -147. Is g a composite number?
True
Let p(k) = -k - 3. Let c be p(-8). Let r(n) = n**3 - n**2. Let y be r(c). Let a = y + -45. Is a composite?
True
Let g(y) = -7*y**3 + y**2 - y - 1. Let n(j) = 4*j**3 - j**2 + j. Let r(u) = 3*g(u) + 5*n(u). Let s be r(-4). Suppose s = m - 10. Is m prime?
True
Let z = -1 + 13. Suppose -i + 0*k = 5*k + z, -3 = k. Suppose 3*h - 407 = -5*o, h = i*o - 125 - 108. Is o prime?
True
Let s = 1036 + -537. Is s prime?
True
Suppose -4*f - 4*p = -3064, 0 = 2*p - 10 + 4. Suppose 2*c - 211 - f = 0. Is c composite?
False
Let g(c) = c**3 + 8*c**2 - 10*c - 2. Let d be g(-7). Suppose 0 = 3*m + d - 318. Is m prime?
True
Let r(j) = j**3 + j. Let z be r(1). Suppose 6 = -z*f + 3*m, -2*m + m = 3*f + 9. Is (86/(-3))/(2/f) a composite number?
False
Suppose 0 = -2*u - 5 + 9. Is 78 + u*4/8 a prime number?
True
Suppose 212 = n - 109. Is n prime?
False
Is (0 + 2)*((-1086)/(-4) + -1) prime?
True
Let k(j) be the third derivative of -5*j**4/4 + 11*j**3/6 - 4*j**2. Is k(-5) composite?
True
Let d 