ppose -2*z + k - 5*k + 2 = 0, -4*z + 13 = -k. Suppose 91 = 4*o - 69. Suppose z*j - o = 71. Is j a composite number?
False
Let o = -9 - -13. Suppose u = -o*u + 20. Is (-2)/(-1 + 2/u) composite?
True
Suppose -3*g - 2*t + t = -605, 5*g - 997 = 4*t. Suppose 3*j - 6*j + g = 0. Is j a prime number?
True
Suppose -1516 = t - 5*t. Is t a prime number?
True
Let w(s) = -s**3 + 2*s**2 + 6*s + 3. Let z be w(5). Let b = z - 131. Let t = b - -288. Is t composite?
True
Let u(s) = s**3 - 8*s**2 - 8*s - 5. Let f be u(9). Suppose t - f*o = -8*o + 15, 0 = 2*t - 4*o - 30. Is t a prime number?
False
Suppose -99 = -x + 83. Suppose 5 - 22 = -3*t - 2*o, 2*t + 4*o - 22 = 0. Suppose -x = l - t*l. Is l a prime number?
False
Suppose 0*i - 3*i + 99 = 0. Suppose -2*t + i = -31. Suppose 3*u - 2*o - t = 0, 5*u + 9 - 54 = -5*o. Is u a prime number?
False
Let t = 45 + 50. Let h be (4/3)/((-3)/54). Let z = t + h. Is z a composite number?
False
Suppose -23 = 4*m + 13. Let d = 28 + m. Is d a prime number?
True
Is (-2885)/(-10) + 1/2 a composite number?
True
Let t(f) = f. Let q be t(6). Is (10/(-8))/(q/(-2472)) composite?
True
Let q = -1277 + 2030. Suppose 0*h - 251 = -h - 3*o, 3*h = -4*o + q. Is h composite?
False
Let j = 191 + -124. Is j prime?
True
Let h be (-55)/3 + 2/(-3). Let k = h + 84. Is k a prime number?
False
Let c be (-32)/12*(-18)/(-8). Let w be ((-3)/c)/(1/(-4)). Is w/(2/(-53) + 0) composite?
False
Let t be (-1)/2 - 8/(-16). Let z(s) = s**2 - s + 293. Is z(t) prime?
True
Let u(i) = i**3 + 7*i**2 + 5*i + 1. Let n = -13 + 6. Let o be u(n). Let g = 57 + o. Is g a composite number?
False
Suppose 4*k - 3*k = -3*i + 226, i = -3*k + 694. Is k + -6*(-2)/4 prime?
False
Let n(h) = -3 + 3 - 1 + h. Let a be n(0). Let l(c) = -37*c. Is l(a) a composite number?
False
Let j(k) = -15*k**3 + k**2 + 2*k + 1. Suppose 2*u - 5*d - 2 = -u, 3 = -5*u + 2*d. Is j(u) prime?
False
Let o = 71 + -5. Suppose 5*m + 6*m = 0. Suppose 0 = 3*n + 4*h - o, 119 = 4*n - m*n - 5*h. Is n a prime number?
False
Let l be -5*((-36)/(-10) - 4). Suppose 292 = 2*s + l*s + 4*r, -3*s - 2*r = -217. Is s composite?
False
Let b(a) be the third derivative of -a**6/360 + a**5/120 - a**4/24 - 2*a**2. Let n(f) be the second derivative of b(f). Is n(-7) a composite number?
True
Let s(h) = -h**3 - h**2 + h + 23. Let y = 11 - 11. Is s(y) a composite number?
False
Suppose -6*z = -17*z + 6985. Is z a composite number?
True
Let c be (10/6)/((-1)/(-3)). Suppose -5*i + 70 = b, -c*b + 272 + 55 = 2*i. Is b composite?
True
Is (-4)/30 + (-298936)/(-120) prime?
False
Let g = 1 - 1. Is -1 + 34 + g + 2 composite?
True
Suppose 0 = -n - 5*r - 1, -3 = -0*n + 3*n - 3*r. Let g be (n*2)/((-4)/30). Let k = g + -11. Is k a prime number?
False
Let f(c) be the first derivative of c**6/10 + c**5/60 - c**4/24 + c**3/3 + 4. Let d(j) be the third derivative of f(j). Is d(1) a prime number?
True
Is (-24958)/(-2) - (5/5 - 1) prime?
True
Let c = -1490 - -2167. Is c a prime number?
True
Let f be 2*1 - (11 + -2). Let m(b) = -8*b - 1. Is m(f) a composite number?
True
Let m = 162 + -67. Let l = m - -2. Is l a prime number?
True
Suppose 0 = -3*z + 6*z. Let q = -32 - -32. Suppose -c + z*c + 55 = q. Is c prime?
False
Let o = 1670 - -177. Is o a prime number?
True
Let s(i) = 2*i + 2. Let u be s(-3). Is (158/u)/(5/(-30)) a prime number?
False
Suppose 0 = x + x - 8, -6 = j - 3*x. Let r = -24 + j. Is (0 + 1/(-2))*r a composite number?
True
Suppose -3*h - 3*t - 12 = 0, 4*h + 4*t + 15 = -h. Suppose -3*x - h = -10. Suppose -n - 2*z = x*n - 632, -4*n = -z - 626. Is n a prime number?
True
Let h(r) = 13*r**2 + 6*r - 9. Is h(4) a composite number?
False
Is 8800/15 - 1/(-3) prime?
True
Suppose 0 = -2*u - 5*k + 39, -2*k + 145 = 5*u + k. Is u/5 - 8/20 a prime number?
False
Let f = 2167 + -1272. Is f prime?
False
Suppose 0*m = 2*m - 4. Suppose 172 = m*f - 250. Is f composite?
False
Let f(g) = 21*g**2 - g - 4 + 2 + 4*g**2 + 0*g. Let l be f(-3). Suppose -t - l = -3*t. Is t a composite number?
False
Let b(y) = 5*y**2 - y. Let s be (-6)/9 - (-2)/(-6). Let h be b(s). Suppose -5*i + 273 = 4*d, 4 = -d + h. Is i prime?
True
Suppose -3*v - 2*l + 528 = l, -3*l = -4*v + 711. Is v composite?
True
Suppose -2*t = 3*t - 2770. Is t prime?
False
Let t(o) = -4 + 3 - 1 + 2*o + 3. Let r be t(-5). Let u(h) = h**2 + 7*h - 3. Is u(r) prime?
False
Let z = 406 + -199. Suppose -z = -4*u + 629. Is u a prime number?
False
Let u = -12 + 17. Suppose -265 = u*r - 10*r. Is r prime?
True
Suppose -73 + 4 = -k. Is k prime?
False
Let j be (-6)/7*147/(-7). Let i be 4/j - (-848)/(-9). Is (-6)/(-3) + -1 - i composite?
True
Let h be (-1)/(-3) + 38/(-6). Is (-16)/h*(-207)/(-12) a composite number?
True
Let h = -767 + 2274. Is h a prime number?
False
Suppose -2*t + 3*z = -5*t + 573, 0 = -5*z + 20. Is t prime?
False
Let b(h) = -h**2 + 14*h - 8. Suppose v + 2*m - 14 = 0, -4*v - v - 3*m = -56. Let n be b(v). Is 4/6 + n/6 prime?
False
Suppose -2211 = -4*f - 287. Is f composite?
True
Suppose 18*n = 21*n - 2229. Is n a composite number?
False
Suppose -30 = -2*j - 0*j. Let i be j/(-10)*(-400)/(-6). Let h = -49 - i. Is h composite?
True
Let o(s) = 4*s**2 + 12*s - 5. Is o(-9) a prime number?
True
Let j(k) = -k**3 + 2*k**2 + k - 2. Let a be j(2). Suppose a*y + 4*y = 424. Is y composite?
True
Suppose 4*j + 2*h = 8*j - 3542, 0 = -5*j + 2*h + 4429. Is j a prime number?
True
Suppose a = -0*a - k - 10, 4*a + 10 = 2*k. Is (-924)/(-30) - 1/a a composite number?
False
Let y = -16 - -19. Suppose 4*m - y*m - 65 = 0. Is m a prime number?
False
Let w be (-462)/10 + (-1)/(-5). Let r = -33 - w. Is r composite?
False
Let t be (1 + -2)*-2 + 10. Suppose -23 - 33 = -4*l. Let r = l + t. Is r a composite number?
True
Let a(s) = 10*s**2 + 2*s + 1. Let m be a(-1). Let p(x) = -m*x - 5 - 5*x**2 + 4*x**2 + 3*x. Is p(-4) a prime number?
True
Suppose 0 = -5*t - 3 - 27. Let h be (2/t)/((-3)/18). Is 11 + 1/(-2)*h a prime number?
False
Suppose -4*i + 3*s = 103, i + 0*i = 4*s - 29. Is 65/(-2)*20/i composite?
True
Let t be 3 - 5 - 11*-5. Let k = 84 - t. Is k a prime number?
True
Suppose 3*r + 5*z = -r + 639, 5*z - 317 = -2*r. Is r a composite number?
True
Suppose -7 = 5*o - 2. Is 262/(o - -3 - 0) prime?
True
Suppose 6 = -0*w + 2*w - y, -3*w - 5*y = 17. Is (w*-7)/(0 - 1) prime?
True
Let y(g) = -g**2 + 7*g - 6. Let s be y(4). Is 76 + s + 0 + 1 prime?
True
Suppose -3*f = -f + 20. Let z = f + 41. Is z a composite number?
False
Let c be 30/8 - 1/(-4). Suppose c*y = 0, -2*d = d - y + 45. Is (d/(-12))/(1/12) prime?
False
Let w be (2 + 3*-1)*0. Let x = 6 - w. Suppose x*u + 5*k - 270 = u, 4*k + 224 = 4*u. Is u a prime number?
False
Let r be ((-5528)/(-16))/((-1)/(-2)). Let p = r - 434. Is p prime?
True
Suppose 0 = -h - h + 8. Let r(b) = 5*b**2 - 3*b - 5. Let l(t) = -t**2 + t. Let k(s) = h*l(s) + r(s). Is k(4) a prime number?
False
Suppose q - 51 = -3*f - f, 4 = -4*q. Let t = 2 + f. Is t a prime number?
False
Suppose 4*z - 198 = 38. Is z a composite number?
False
Suppose -5*q = 5*h - 3*h - 357, 5*q + 759 = 4*h. Let w = -37 + h. Is w a composite number?
False
Let n(l) = 0*l + 30*l - 3 + l. Is n(4) a composite number?
True
Suppose 2*x - d - 1507 = 0, 2*x = 3*x + 5*d - 726. Is x a prime number?
True
Let u be (0/2)/(1 - 2). Suppose u*i - 4*i = -812. Is i a composite number?
True
Suppose 33 = 2*s + s. Let j = s + 23. Is j a prime number?
False
Let t = -23 - -46. Let c = -13 - -53. Suppose -3*m + t = -c. Is m prime?
False
Suppose 141 = 5*w - 84. Let h = w - 19. Is h a prime number?
False
Suppose -5*a - i = 44, 4*a - i + 32 + 5 = 0. Let n be (2 - 3)/((-3)/a). Is (1/n)/(4/(-1956)) a composite number?
False
Let c(n) = 113*n**2 + n + 1. Is c(-1) prime?
True
Let t = -1392 - -1995. Is t/6*(-2)/(-3) a composite number?
False
Let t = -7 - -8. Is 1*(t - -1 - -72) prime?
False
Let r(w) = -w + 0 + 7 + 0 + 0. Is r(-6) a prime number?
True
Let t = 10 + -18. Is t/12 - 467/(-3) prime?
False
Suppose 2*b - 3*g - 609 = 0, -b + g = -56 - 246. Suppose 4*t = 5*r + 208, 3*r + 0*r = -5*t + b. Is t composite?
True
Suppose 5*a + 2*g + 2*g = -8, -10 = 5*g. Suppose -x = -l + 3*x + 29, -4*x - 4 = a. Is l composite?
True
Suppose 5*g + q - 1291 = 0, 4*g + 0*q - 1040 = q. Is g prime?
False
Let q = -1489 - -2868. Is q prime?
False
Let g(m) = -m**3 - 5*m**2 + 3*m - 11. Is g(-6) prime?
True
Is 4/(-16) - 