 -43*x - 2. Is c(s) a composite number?
False
Let a = -29 - 2. Let b = a + -39. Let n = b + 101. Is n prime?
True
Let k(b) = 94*b - 2. Let h = 1 + 1. Let n be k(h). Let t = n + -121. Is t a composite number?
True
Suppose t + 1053 = 5*l + 2*t, 0 = -5*l - 4*t + 1047. Is l prime?
True
Let u = 1888 - 1091. Is u composite?
False
Suppose 4*z - 5*q + 3 = 0, 5 = -2*z - 3*q + 2*q. Let s be 36/z + 2 + 2. Is (-4)/s + 309/21 a prime number?
False
Let h = -55 + 25. Is ((-1190)/h)/(1/3) composite?
True
Let y be (-184)/10 - (-2)/5. Let x be y/(-4)*16/12. Is (-3)/x*7*-6 prime?
False
Let v be 3/(-2*1/6). Is (21/v)/(4/(-60)) composite?
True
Let l = -19 - -21. Let k(x) = 59*x - 5. Let t be k(4). Suppose 0 = v + l*v - t. Is v a composite number?
True
Let c = 716 - -2483. Is c prime?
False
Let v be -1*499*(-2)/2. Is v + 0 + (-1 - -1) a composite number?
False
Suppose -4*y - y + 140 = 0. Suppose -y = -p - 78. Is 34/(5/(p/(-4))) composite?
True
Let p = 32 + -21. Let r = p + 42. Is r a composite number?
False
Let p be 10/8 - (-3)/(-12). Let n(b) = -2*b**3 - 5*b**2 - 2*b + 3. Let g be n(-4). Suppose k - 2 = 4*f + p, g = 5*k + 2*f. Is k prime?
True
Is 4/((-12)/447)*-1 a composite number?
False
Suppose -7*x = -13*x + 1266. Is x prime?
True
Suppose 0 = 5*j + 2*l - 3*l - 23, 0 = -3*j + 2*l + 11. Suppose 3*k - 71 = -2*y + 345, -j*k + 834 = 4*y. Is y a prime number?
True
Is ((-1)/(-2) + 0)*(10095 + -5) composite?
True
Suppose 6*c - 6689 = c + 4*n, 3*n = -2*c + 2671. Is c composite?
True
Let r = 2364 - 1009. Is r composite?
True
Suppose -3*r = 5*t - 8668, 5*r = 3*t + 25 - 5219. Is t prime?
True
Suppose 9*s + 1774 = 11*s. Is s prime?
True
Suppose 3*x + 9 = 0, 0 = -f - 4*x - 25 + 126. Is f composite?
False
Is (-2*11/(-4))/((-9)/(-342)) a prime number?
False
Let j(s) = 11*s**3 + 2*s**2 + 2*s - 2. Let p be j(2). Let t be 1/(-3) + p/6. Is (-27)/(-4) - (-4)/t a prime number?
True
Let d(r) = 14*r**2 - 5*r - 2. Let l = -4 - -1. Let p be d(l). Suppose -5*c = 2*i - p, 2*i - c - 59 = 98. Is i prime?
False
Let o(r) = r**2 + 8*r + 4. Let u be o(-6). Let h be (u/3)/(6/(-9)). Suppose -229 = 4*q + 5*z - 700, -h*q = 4*z - 472. Is q a prime number?
False
Let a(x) = 582*x - 1. Let m(h) = h + 18. Let u be m(-17). Is a(u) composite?
True
Let v(h) be the second derivative of 0 - 1/12*h**4 + 2*h + 11/6*h**3 - 9/2*h**2. Is v(7) a prime number?
True
Suppose 3*l + 144 = l. Let m be 4/14 + l/(-42). Suppose 0 = m*c - 154 + 44. Is c a prime number?
False
Suppose -2*o + 2*d = -672, -3*d - 526 = -4*o + 813. Is o a composite number?
False
Let d(u) = u + 23. Suppose -3*c = i, 0 = -3*i + 2*c - 7*c. Let h be d(i). Let o = h + -12. Is o a prime number?
True
Suppose 25 - 5 = 4*q. Let u = 3 + 2. Suppose 38 = 2*r - 3*z, -u*z + 13 + 32 = q*r. Is r prime?
True
Suppose 4*x - k + 7 = 2*k, 5 = k. Suppose -x*a + 0*a = -4. Suppose -2*h = -5*n + a*h + 89, -4*h = -16. Is n composite?
True
Suppose -9*a = -5*a - 3260. Is a a prime number?
False
Suppose -3*d - 129 = -2*w - w, -4*d - 125 = -3*w. Let x = w + -28. Is x prime?
True
Is 7 - 6 - (-36 - 0) a prime number?
True
Let j(g) = -994*g - 3. Is j(-1) prime?
True
Suppose -6*r + 2*r + 20 = 0. Let t be (1 - 1*-2) + -1. Let f = r + t. Is f prime?
True
Let k be (-18)/14 - 8/(-28). Let q = -1 + k. Is q/2*-1 - -190 a composite number?
False
Is 2/(-9) - 1967/(-63) composite?
False
Suppose 13*q - 5445 - 2134 = 0. Is q a prime number?
False
Suppose -j = 5*l + 22, 4*l - j + 8 = 3*j. Let s be (-3 + (-10)/l)*0. Is (-93 + s)*1/(-3) prime?
True
Let x = 227 - -924. Is x composite?
False
Suppose -2*l = -4*u + 2*l - 620, 3*u + 449 = -l. Is (-6)/(-4) + u/(-2) a prime number?
False
Let b = 460 - -239. Is b a composite number?
True
Let v = -574 - -2925. Is v a prime number?
True
Let j(o) = o**2 + 2*o - 5 + 0 + o**2. Is j(-5) a prime number?
False
Suppose 4*z = -4*r + 4340, -3263 = -3*r - 2*z - 3*z. Is r composite?
True
Suppose 3*u - 4*u = 75. Suppose -4*v = -4*g + 24, -4*v = 4*g + 8 + 48. Let i = v - u. Is i prime?
False
Let b = 3 + -3. Let l = 0 - b. Suppose 2*o + o - m - 100 = 0, l = -4*o - 3*m + 129. Is o composite?
True
Suppose -745 + 3101 = 4*y. Is y prime?
False
Suppose 3*c = 2*c + 67. Let t be (-1*c)/(0 - -1). Let a = t - -116. Is a a composite number?
True
Let i be 99/18 - 1/2. Let w(n) be the third derivative of n**6/120 - n**5/60 - n**4/3 + 7*n**3/6 + n**2. Is w(i) a prime number?
True
Suppose 0 = 4*n - 6*n. Suppose 0 = 4*a - 2*q - 452, n = -2*a + 2*q + 170 + 60. Is a composite?
True
Let k be -913*1*(-1)/1. Suppose -5*z - 128 = -k. Is z prime?
True
Let s(i) = i**2 + 8*i + 8. Let z be s(-7). Let v be -35*1 + z + -1. Let o = -2 - v. Is o a composite number?
True
Let l(c) = -c**2 + c + 23. Let m = -7 + 13. Suppose -5*s = -m*s. Is l(s) a prime number?
True
Let v = -534 - -1895. Is v a composite number?
False
Let r be ((-195)/(-2))/((-1)/(-2)). Suppose -3*x + 8*x + r = 5*z, -5*x = 5. Is z composite?
True
Let z = -11 + 30. Is z composite?
False
Suppose 5*u - 11 = 2*y, 3*y + y - 4*u = -16. Let w = 3 - 6. Is (-31)/y - w/(-9) a prime number?
False
Let p(y) = 154*y - 5. Let j be p(10). Suppose 2*q - j = -5*h, -4*h + 2*h + 4*q + 614 = 0. Is h composite?
False
Let f be -4 + 1/2*6. Let l(v) = v**2 + 2*v - 2. Let z be l(-4). Is 3/(z/76) + f a prime number?
True
Let a = 7 + 40. Suppose 0 = 4*k - 112 - 20. Let t = a - k. Is t a composite number?
True
Let u = 378 - 47. Is u composite?
False
Let i = -258 - -449. Is i prime?
True
Let p(v) = v**2 - 3*v + 2. Suppose 3*c + 0 = 2*u + 8, 4*u = -4. Let h be p(c). Is (1 - h) + 0 - -84 prime?
False
Let l(h) = -h**2 + 7*h + 10. Let q be l(8). Suppose q*p = p + 7. Suppose -u + 4 + p = 0. Is u a prime number?
True
Let z = 4 + 1. Let o(g) = 3*g**2 + g**3 - 3*g - 9 - z*g**2 - 4*g**2. Is o(7) composite?
False
Is 16/(-4) + (1299*15)/3 prime?
True
Let t = 857 + -475. Suppose -2*w + 1948 = 4*d - t, -2*w - 575 = -d. Is d composite?
True
Let j be 510/21 - (-2)/(-7). Suppose b - 39 = -4*u, 0 = b - 2*b - u + j. Is b a composite number?
False
Suppose -4*k - k + 364 = 3*b, 656 = 5*b - 4*k. Suppose -4*h + 0*h + b = 0. Suppose -f + h + 6 = 0. Is f prime?
False
Suppose 3*t = -2*v + 188, 3*v = -4*t + 5*v + 232. Is 2 + t - 0 - 3 prime?
True
Suppose -4 = -2*d - y, -8 = 3*d + 3*y + 2*y. Suppose 4*w = 3*z + 142, -d*w - 47 = -5*w - 5*z. Is w a prime number?
True
Let j be (-2)/((2 - 4) + 4). Let d = -2 + j. Let g(y) = -47*y + 2. Is g(d) prime?
False
Let h = -1087 + 1964. Is h composite?
False
Suppose 3*z - 3*c = -c + 1335, 4*c = -2*z + 890. Is z prime?
False
Suppose 0 = k + 14 + 21. Let z = k - -50. Let i = 34 - z. Is i composite?
False
Let o(t) = -4*t - 1. Let m be o(-7). Suppose -m - 47 = -a. Is a a composite number?
True
Let j be (-410)/(-4) - 5/(-10). Suppose -4*v + j = 11. Suppose 4*z = 2*i + 94, -v = -z - 2*i + 8. Is z a prime number?
False
Let p be 2 - 6*(-1)/2. Suppose p*q = 9*q - 452. Is q a composite number?
False
Let l be (1 + -4 - -3) + 6. Let t = -4 + l. Is t a prime number?
True
Let h(q) be the first derivative of -5*q**2 + 14*q - 5. Is h(-6) a prime number?
False
Suppose -5*c = -709 - 1086. Is c prime?
True
Let r(p) = -p**3 - 6*p**2 + p + 8. Let j be r(-6). Is (1 - (-197 - j)) + 3 a prime number?
False
Let y(g) = 56*g**2 - 6*g - 1. Is y(-4) composite?
False
Suppose -v = -0*c - 4*c + 6, -3*c + 5 = -v. Is (0 - c)/(-1) + 20 composite?
True
Suppose -14*h = -13*h - 233. Is h a composite number?
False
Suppose -w + 329 = 4*u, -w + 305 = -2*u - 2*u. Is w a composite number?
False
Let k be 3/(-3*(-4)/16). Suppose 3*w - 84 = -4*u + 5*w, -k*u - 2*w = -100. Is u prime?
True
Suppose 0*g - g = -59. Let r = -10 - -12. Suppose 2*v + r*w = 38, -3*v + v = -5*w - g. Is v composite?
True
Let m = 1059 - -3110. Is m a composite number?
True
Suppose 4*r - 2 = 2*t - 74, 4*r + 72 = 4*t. Let k be (5/2)/((-9)/r). Suppose 27 = 4*i + 3*l, k*l = -3*i - 0*l + 12. Is i a prime number?
False
Suppose 8*x - 11192 = -0*x. Is x prime?
True
Suppose 2*i = -35 + 5. Is 28*-3*i/36 composite?
True
Let o = 9 + -13. Let h(p) = -16*p + 1. Is h(o) a composite number?
True
Let m = 5 - 1. Suppose -m*w = -w - 6. Is ((-196)/(-8))/(w/4) a prime number?
False
Suppose -4*g + 1004 = -672. Is g a prime number?
True
Suppose -28*x + 25*x + 4869 = 0. Is x prime?
False
Suppose -5*a + 8 = -2. Suppose -a = -z - j, -2 = -5*z - j