4*z + 1087. Is z a composite number?
False
Suppose 3*a - 12749 = -2*u, 0 = -3*a - u + 1775 + 10973. Is a prime?
False
Suppose -165 = 3*b + 2*b. Is (78/(-8))/(b/88) a composite number?
True
Let b(r) = r**3 - 15*r**2 + 15*r + 12. Is b(19) a composite number?
False
Let d be 4 + (2 - 6 - -6). Suppose 0 = -4*j + d*j - 3386. Is j a composite number?
False
Let l = -18 + 33. Is l/(-75) + (-7872)/(-10) a composite number?
False
Let n = 666 + -375. Is n composite?
True
Suppose -48 = -r - 2*l + l, -r + 5*l = -54. Is r prime?
False
Let i = 198 - -359. Is i a prime number?
True
Suppose 0*f - 12 = -4*f. Let k(g) = -5*g**3 - g**2 + 2*g - 4. Let j be k(-6). Suppose a - j = -f*a. Is a composite?
False
Let v be 27/18 + 1/2. Let q(r) = -r - 2*r + 55 + v*r. Is q(0) a composite number?
True
Is (1 - 2)*619*(9 - 10) a composite number?
False
Let d = -3 - -3. Suppose -x - 1 = 1, d = 3*h - 5*x - 19. Is h a prime number?
True
Suppose 0 = -3*y - 42 - 12. Is ((-6)/y)/(2/114) prime?
True
Let u be 34*-5*2/(-4). Suppose v - u = -4*c, -3*v = c - 3*c - 241. Is v + -4 - (1 + -1) composite?
True
Suppose 5*m = 5, 211 = 3*l - 5*m + 3*m. Is l composite?
False
Suppose 0 = 6*r - 2*r - 112. Suppose 0 = -5*u - r + 293. Is u a prime number?
True
Let g = 437 + -310. Is g composite?
False
Let b(c) = 68*c**2 + c. Let h be b(1). Suppose 18 = -p + 2*a, -2*a - 69 = 3*p - 7. Let y = h + p. Is y a prime number?
False
Let b(z) = 2*z - 5. Let q be b(4). Let g be 236/2 - (q - 2). Suppose 4*m = -2*y - y + 117, 3*y - m = g. Is y prime?
False
Suppose -4 - 11 = 3*u. Let t = u + 8. Suppose 3*p - 60 = t*b, -5*b + 37 = 2*p - 4*b. Is p a prime number?
True
Let s be (0 - 0) + -3 + -133. Let i = s - -285. Is i prime?
True
Suppose 2*f = -3*f + 20. Is f/14 + (-760)/(-35) a prime number?
False
Suppose 14*y - 6 = 11*y. Suppose y*r = -10, -2*l + 0*l + 435 = -5*r. Is l prime?
False
Let j(y) = -25*y + 13. Is j(-6) composite?
False
Let u be -7 - 1 - (-5 + 1). Is 10/40 - 187/u a prime number?
True
Suppose -3*k - 1 + 4 = 0. Let i = 158 - k. Is i a composite number?
False
Suppose -4*d = -5*a - 3*d + 76, 2*d + 47 = 3*a. Let p be -4*(a/6)/(-5). Is p*1*(-230)/(-4) prime?
False
Suppose -m + 2*m = 59. Is m prime?
True
Let y(f) = 5*f**2 - f - 1. Let i be (-3)/((45/6)/(-5)). Let g be y(i). Let l = g + -8. Is l a prime number?
False
Let t(b) = b**3 + b**2 + b. Let q(s) = -115*s**3 - 3*s**2 - s + 1. Let v(k) = -q(k) - t(k). Is v(1) a prime number?
False
Let b(j) = j**3 - 9*j**2 + 9*j - 3. Suppose -4 - 36 = -5*q. Let y be b(q). Is (-2)/y - 748/(-20) prime?
True
Let f be (118/(-5))/(3/(-15)). Suppose -5*k + 2*w = -1067, -326 = -k - 5*w - f. Is k a composite number?
True
Let c(s) = -s**3 + 14*s**2 - 5*s - 9. Is c(7) a composite number?
True
Let l(b) be the first derivative of 2 - 9*b + 11/2*b**2. Is l(6) prime?
False
Let f = -12 + 20. Suppose 711 = -5*b + f*b. Is b a composite number?
True
Suppose 6230 = 9*i + i. Is i a prime number?
False
Let b(l) = 6*l**2 + 7*l + 8. Is b(9) a prime number?
True
Suppose 36*v + 4765 = 41*v. Is v a prime number?
True
Let y = -8 - -5. Let j be 1/((y + 2)*-1). Is 36*j + 6/(-2) a prime number?
False
Let v be -4 + 4 + (0 - 167). Let u = -89 - v. Let t = 115 - u. Is t a composite number?
False
Let c = 2307 + -1017. Suppose 4*s + s = -k + c, 4*s - 5*k - 1003 = 0. Is s composite?
False
Let h = 18 + 17. Is h composite?
True
Let y(s) = s + 1 - 8 + 7 + 22*s**2. Is y(1) prime?
True
Let k = -9 - -15. Let y = -1 + k. Let f(g) = g**3 - g**2 - 5*g + 2. Is f(y) a prime number?
False
Suppose 4*t + 52 = -5*z, -z - z - 5*t - 14 = 0. Is ((-4)/(z/141))/1 composite?
False
Is 335*(-3)/(-15)*3 a prime number?
False
Let j = 388 + 225. Is j prime?
True
Let x(q) = -q**3 - 4*q**2 + 5*q + 4. Let r be x(-5). Suppose 0 = 3*v, r*s = 4*v + v + 212. Is s prime?
True
Let x = 4 - 1. Suppose -s = 3*s - 1904. Suppose -m + s = x*m. Is m prime?
False
Suppose -683 = -3*y - 2*q, -5*y - 3*q + 1138 = -0*y. Let a = y + -136. Is a a composite number?
True
Let a(k) = -43*k**3 - k**2 - 2*k - 1. Let d(p) = -p**2 - 4*p + 4. Let s be d(-5). Is a(s) a prime number?
True
Let q(h) = 8*h**2 - 3*h - 8. Let m be q(8). Suppose m = 2*j + w + w, 5*w + 1150 = 5*j. Is j prime?
False
Let a be 1/1 - (-2 + -7). Suppose 0 = -5*m + 2*v - a - 22, -5*m - 4*v - 26 = 0. Is (1 + 63/m)*-2 composite?
False
Suppose 4*x + 3*p = -p + 500, -3*x = p - 379. Is x composite?
False
Suppose -2 + 0 = 2*h. Let f(g) = 33*g**2 - g. Is f(h) composite?
True
Let x = 874 + -317. Is x a prime number?
True
Let o(p) = 63*p**2 + 1. Suppose 0 = 2*b + l - 3*l - 4, -5 = -2*b + 3*l. Let k be o(b). Let g = -33 + k. Is g a prime number?
True
Is 3878/8 - 3/(-12) composite?
True
Let k be (-328)/(-3) - (-4)/6. Is k/6 + (-6)/(-9) a composite number?
False
Let p(j) = j**3 + 5*j**2 - j - 1. Let f be p(-5). Suppose 3*w = i + 268, -3*w + f*i + 272 = 5*i. Suppose -m - m = -2, -w = -y + m. Is y prime?
False
Suppose 5*w - 341 = 84. Is w prime?
False
Let r(t) be the second derivative of 49*t**4/12 - 2*t**3/3 + 3*t**2/2 + t. Let d be r(2). Suppose 0*q = -q + d. Is q composite?
False
Let w(u) = -u**2 + u + 1. Let y be w(-1). Let j = 0 + y. Is (-2)/4*38/j composite?
False
Suppose -5*k + 3*k + 406 = 0. Is k composite?
True
Let k be (-238)/6*(15 + -12). Is (-224)/k - (-2)/17 a prime number?
True
Let m(s) = s - 2. Let d be m(7). Suppose 325 = d*a - 75. Suppose 3*n + 5*q - 28 = 76, 2*n - 2*q - a = 0. Is n composite?
True
Let m(k) = 127*k - 1. Let w be m(1). Let g = 253 - w. Is g a prime number?
True
Let p = 6929 - 4684. Is p composite?
True
Suppose 2*b = 3*l + 400, 7*b - l = 3*b + 810. Is b composite?
True
Let p(q) = 18*q + 1. Suppose 5*d + 5*v = 0, -3*d = d + 2*v + 6. Let w be 2/d*63/(-14). Is p(w) composite?
True
Is (-2008)/(-6) + 2/(-3) composite?
True
Suppose 7 = 5*m + 22. Let i be 2*m/(6/(-74)). Suppose -2*h + 32 = -i. Is h a prime number?
True
Suppose -5*i = -25 - 25. Suppose -10 = -3*b - 2*u + 3*u, 0 = 4*b - 5*u - 6. Suppose b*x - i = -x. Is x prime?
True
Let p = 177 + -88. Is p composite?
False
Let y = -497 - -886. Is y a composite number?
False
Let h = -58 - -93. Suppose 0 = -0*x - 5*x - h. Is x/((-81)/39 - -2) prime?
False
Let y(a) = a**3 + 9*a**2 - 5. Let b be y(-7). Let n = -54 + b. Is n composite?
True
Let s(x) = 8*x**2 + 6*x + 7. Is s(5) a prime number?
False
Suppose 4*d - 6*d + 530 = 0. Is d composite?
True
Let a be (-3)/12 + (-21)/(-4). Is (-149 - a)*(-1)/2 a composite number?
True
Let f = 756 + -347. Is f a composite number?
False
Is (95/10)/(((-6)/116)/(-3)) prime?
False
Let k(f) = f**3 + 7*f**2 + 7*f + 2. Let z be k(-5). Let p = z - -4. Is p composite?
True
Let q(p) = -5*p. Let w be q(-2). Let x be 5*(354/w - -3). Suppose 5*o + 37 = x. Is o a composite number?
False
Let g(n) = -4*n**2 - 9*n + 2. Let k(y) = -3*y**2 - 9*y + 3. Let b(s) = 4*g(s) - 5*k(s). Let c be b(7). Is 7/(c/36) - 3 a composite number?
True
Let i(s) = s**2 + s - 2. Let m be i(-2). Let d = 3 - m. Suppose 42 = -0*x + d*x. Is x a composite number?
True
Let j(s) = 2*s**2 - 5*s + 5. Let r be j(7). Let o = r - 47. Is o prime?
False
Let v(s) = 9*s - 2. Suppose 2*z = -0*z + 10. Is v(z) a composite number?
False
Let q = -10 - -3. Let l(d) = -27*d + 8. Let c be l(q). Let p = -114 + c. Is p prime?
True
Let a be 1871/7 + 18/(-63). Suppose -a = 2*f - 5*f. Is f composite?
False
Let o be ((-12)/(-9))/((-1)/3). Let m be ((-3)/5)/(o/20). Suppose b = -y + 62, -m*b = y - 38 - 18. Is y composite?
True
Is 2/(-6) + (-5861)/6*-4 prime?
True
Suppose g - 6 = -2*g. Suppose 4*p - 41 = 2*p + 5*q, -4*q - 4 = 0. Suppose 20 + p = g*a. Is a a prime number?
True
Let p be (0 - 3)*(-724)/6. Suppose -4*b = -26 - p. Is b a composite number?
False
Let r = -263 + 722. Suppose 0 = n + 5*h - 153, n + 2*n - r = -4*h. Suppose -4*v = -n - 163. Is v a composite number?
False
Let w(n) = n**3 - 5*n**2 + n - 1. Let v be w(5). Suppose v*d - 2*q = 5*d - 3, 4*d - 2*q - 2 = 0. Is (-2)/(1 + d)*-163 a composite number?
False
Let p(r) = 27*r**2 - 5*r - 3. Let t be p(-2). Is 26/117 - t/(-9) composite?
False
Suppose -27 = 5*j + 3. Let n be (-21)/j + 3/6. Suppose -y + 130 = n*y. Is y a composite number?
True
Suppose -y + 59 = -11. Suppose -z + y = z. Is z prime?
False
Let n = 3 + -3. Suppose 0 = -n*m - 3*m - 3*w + 345, 0 = 5*m + 2*w - 587. Is m a composite number?
True
Let r(f) = -