 k + x = -413, -5*p + 447 = -4*k. Is p a prime number?
False
Is (-209 + (-4)/2)/(-1) a prime number?
True
Suppose -4*u + 7*u - 21 = 0. Let c(n) = n**3 + 10*n - 3*n**2 - 5*n**2 + 1 - n. Is c(u) a prime number?
False
Let k = 711 - 502. Is k prime?
False
Is 2 - (-623 - 2 - 4) a prime number?
True
Let j(l) = 13*l - 16. Let c(t) = -12*t + 15. Let s(o) = 6*c(o) + 5*j(o). Let y be s(-10). Let r = y + -57. Is r a composite number?
False
Is (174 + 7)/(1/1) prime?
True
Let i(n) = n**2 + 10*n + 12. Suppose 3*b + 9 = 2*b. Let d be i(b). Suppose -d*x + 892 = x. Is x composite?
False
Suppose 3*g - 424 = -5*b, -b - g + 86 = -0*g. Is b a composite number?
False
Let i(f) = 2*f**3 + f**2 - f. Let n be i(1). Suppose -m - 5*q = 17, 0*m - 2*q - n = -2*m. Is 1 + m + -1 + 79 a prime number?
False
Let p(v) = 157*v**3 - 5*v**2 - 6*v - 7. Let m(n) = n**3 + n**2 + n + 1. Suppose 18 = 5*x + 48. Let j(f) = x*m(f) - p(f). Is j(-1) composite?
False
Suppose 4*r + 5*k = 5*r - 17, 5*r - 5*k = 25. Suppose -r*u - 15 = 7. Let s = 0 - u. Is s a composite number?
False
Let q(z) = 4*z**2 - z - 6. Is q(-9) composite?
True
Let h(w) = w + 3 - 4*w**2 - 4 + w + 7*w**2. Suppose 4*d - 1 = a + 1, -6 = 4*d - 5*a. Is h(d) a composite number?
True
Let w = -177 - -381. Suppose 3*k - w = -k. Is k a prime number?
False
Suppose 2*n - 3 = 3*n. Let y = 0 - n. Suppose -y*g + b + 109 = -g, -2*g - 2*b + 112 = 0. Is g a composite number?
True
Let l = 1189 + -616. Is l a prime number?
False
Let i(d) = d**3 + 12*d**2 + 5*d + 13. Is i(-9) a composite number?
False
Suppose 8 = -4*s, 6*m = 2*m + 2*s + 440. Is m a prime number?
True
Let h be 2 + (2 - -6) + -2. Is (-580)/(-16) + 6/h a composite number?
False
Suppose 4*o - 1175 - 3269 = 0. Is o prime?
False
Let x be (-2 - (-2 + 1))*-2. Suppose x*b - 59 = 311. Is b a prime number?
False
Is (-2715)/(-21) + 16/(-56) a prime number?
False
Suppose 59*k = 57*k - 326. Let q = 574 - 804. Let a = k - q. Is a composite?
False
Is 2/3*633/2 a prime number?
True
Let q(s) = -s**3 - 3*s**2 + 5*s + 3. Let x be q(-3). Is 212/(-5)*30/x prime?
False
Let h be -3 - (-1 - -8)*35. Is 8/2 + -1 - h prime?
True
Suppose 5*m + 3377 = 117. Let z = 1187 + m. Is z composite?
True
Let k(v) = v + 3. Let n(c) = c**3 - c**2 + c - 6. Let b be n(0). Let a be k(b). Is (110/((-6)/a))/1 composite?
True
Let j(c) = -10*c**3 - c**2 + 5*c + 4. Let g be j(-3). Let t = g + -119. Is t composite?
False
Let h be 10/45 - 1159/(-9). Suppose -4*w = i - 226, -3*i + 730 = 2*w - 3*w. Let b = i - h. Is b a prime number?
True
Let l = 11 - 5. Let r be (-4 + 1)*8/l. Is ((-2)/r)/(1/68) composite?
True
Let x be 94 + 1/(1/(-2)). Suppose -3*f = 2*p - 7, -6*f + 12 = 3*p - 3*f. Suppose x = p*d - d. Is d a prime number?
True
Let d(j) be the third derivative of -j**6/120 - 3*j**5/20 + 11*j**4/24 + 5*j**3/3 + j**2. Let z be d(-10). Suppose i + z*i - 3 = 0. Is i prime?
True
Let q = -555 - -892. Is q prime?
True
Let w(m) = 7*m + 12*m**2 - 2*m + 2 - 4 - m**3. Is w(12) prime?
False
Suppose 0 = o - 5*o + 2*l + 162, 2*l - 158 = -4*o. Let g = 111 - o. Is g composite?
False
Let l be (-6)/(-10) + 119/35. Is (-1 - -26)/(l/4) a prime number?
False
Suppose 147 = 2*p - 115. Let l = p - 22. Is l a composite number?
False
Is 8577/(-9)*((-1 - -2) + -2) prime?
True
Let w(v) = -v**3 - 4*v**2 + 20*v + 20. Is w(-11) composite?
False
Let v(x) = 10*x**2 + 12*x + 13. Is v(-11) a prime number?
True
Let s(j) = 2*j**2 - 2*j - 1. Let h be s(-1). Is (-692)/(-16) - h/12 a prime number?
True
Suppose -285 = -23*q + 18*q. Is q prime?
False
Suppose -2*t + 4*t = 152. Let b be t/1*(-1)/(-2). Let v = 5 + b. Is v a composite number?
False
Let s = 38 - 19. Let m = s - -34. Is m a prime number?
True
Let o(s) = -24*s - 1. Let b be ((-12)/(-5))/((-4)/20). Let h be 0 - (b/3)/(-2). Is o(h) a prime number?
True
Let f be (-108)/(-15)*(0 - -5). Is (-1236)/(-27) + 8/f a composite number?
True
Is 0/4 + 1 + 38 a composite number?
True
Suppose -10505 = -5*s + 5*j, -6*j - 6 = -3*j. Is s prime?
True
Suppose -4*d - 3*v + 17 = 4, 0 = -d + 2*v + 6. Let u = -30 + 18. Is 9/u*-1*d composite?
False
Let p = 9 + -6. Let z(u) = 4*u + p*u - 9 + u. Is z(7) a composite number?
False
Suppose r = 6 - 1. Suppose 8 = r*j - 12. Suppose -3*x + j*x - 55 = 0. Is x composite?
True
Let w(s) = -359*s - 1. Is w(-2) a prime number?
False
Let z(o) = 7*o - 1 - 3*o**2 - 4*o**2 + 3*o**3 - 1. Suppose -2*n + 4 = -6. Is z(n) prime?
True
Let o(z) = z**3 - 8*z**2 + 2. Let m be o(8). Suppose m*k = -2*k + 1868. Is k a prime number?
True
Let t(d) = 2*d**3 + 0*d - 4*d**2 - 1 + 5*d + 4*d**2 - 5*d**2. Is t(4) a composite number?
False
Suppose 2464 + 144 = 4*v. Suppose -4*p = -0*p - v. Is p composite?
False
Let h(s) = -1135*s - 2. Is h(-1) a prime number?
False
Suppose 2*j - 5*p = 6*j - 152, -2*j + 5*p + 46 = 0. Is j prime?
False
Suppose 0 = 5*n + 5*k - 10, 5*n - k - 46 = 3*k. Is (-9749)/(-7) - n/(-21) a composite number?
True
Suppose 0 = -j + 44 + 10. Let g = 121 - j. Suppose g = -4*w + 407. Is w a prime number?
False
Let p(i) = -25 + 12*i + 3*i + 19 - 3*i. Let m be p(-7). Let y = -37 - m. Is y a prime number?
True
Let t(h) = 8*h**2 + 8*h + 10. Is t(-7) a prime number?
False
Let m = -197 - -388. Is m a composite number?
False
Suppose 0*y = 3*y - 9. Suppose -y*z + 6*z = -165. Let v = -24 - z. Is v a prime number?
True
Suppose -15*m = m - 21264. Is m composite?
True
Let p = 39 - 83. Is (2 - -4)*p/(-12) a composite number?
True
Suppose -2*v - 2*b + 256 = 0, 2*b + 0 = -v + 132. Is v + 0/1 + 3 composite?
False
Let b = -7 + 12. Suppose 5*f = 10 + b. Suppose 6*a - 3*a - 2*r - 225 = 0, 86 = a + f*r. Is a composite?
True
Let m(h) = 2*h**2 + 21*h - 15. Is m(-16) prime?
False
Suppose 5*s - 19 = 3*r - 49, -5*s = 3*r. Suppose -c - 2*c = 3*u + 3, -c - r = 0. Suppose -3*f - u*t = -141, -94 + 340 = 5*f + 3*t. Is f prime?
False
Let q be (0 - 0)/(6 + -8). Let v(x) = x + 61. Let o be v(q). Let y = o + -24. Is y a composite number?
False
Let p(f) = 3*f**2 - 7. Is p(8) a composite number?
True
Let a(s) = -7 - 3*s + 4 + 0*s + 2*s**2. Let p be a(-2). Let u(w) = 8*w - 9. Is u(p) a prime number?
True
Let y = 1925 + -628. Is y prime?
True
Suppose -1 = -0*t + t. Let i be 3*(7/(-3) - t). Let a = i + 6. Is a prime?
True
Let s(g) = -g**3 + 12*g**2 - 3*g + 18. Let x be s(12). Is (x + 0)/((-2)/1) a prime number?
False
Let u be (-12)/42 - (-334)/(-7). Suppose 2*c + 1 = 7, -c = 4*a - 407. Let g = a + u. Is g composite?
False
Let h = 3 - 1. Suppose h*p + 105 = 5*z, -z + 59 = 2*z - 2*p. Is z prime?
True
Suppose -3*o - 12609 = -3*w, -5*o = -2*w - 7*o + 8398. Is w prime?
True
Suppose -g - g + 5*f = -502, -3*f = 0. Is g composite?
False
Let i(l) = 2*l**2 + 13*l - 10. Let n(h) = -3*h**2 - 26*h + 19. Let y(j) = -5*i(j) - 3*n(j). Let p be y(7). Suppose 2 + p = w. Is w a prime number?
True
Suppose -3*b = -t - 3, -2*b + t + 5 = 2*b. Let v(q) = 5*q - 4*q + b*q**2 + 0*q - 17*q**3 + 1. Is v(-2) a composite number?
True
Let m be (-8)/(-2) + -1 - 3. Suppose m = 5*z - 149 - 36. Is z a composite number?
False
Suppose -s = 2*s + 102. Let x be ((-1)/2)/(1/s). Let u = -2 + x. Is u a prime number?
False
Suppose -5*s - 49 = -1634. Is s prime?
True
Let s(d) = 3*d**3 - 3*d - 2. Is s(4) prime?
False
Suppose 3*q - 2*s + s + 18 = 0, 5*q - 2*s + 31 = 0. Let o = q - -12. Is o composite?
False
Let o = -7 + 4. Is 58/(o*(-8)/36) a prime number?
False
Let r(f) = -71*f + 10. Is r(-3) a prime number?
True
Let j(v) = 4*v**3 + 4*v**2 + v - 2. Is j(3) a composite number?
True
Suppose 0 = -3*y - 3, 3*y = o + 2*y - 180. Is o a composite number?
False
Is 2 + 5163 + 1 - 8/(-8) prime?
True
Let b = 43 - 12. Is b a composite number?
False
Let d = 7 + 3. Let o be d/(144/(-75) + 2). Suppose o = 2*l + 3*l. Is l composite?
True
Let t be -3*2/(-6)*5. Suppose 10 = t*c - 15. Suppose -c*o + o + 148 = 0. Is o a composite number?
False
Let m(f) be the second derivative of 1/3*f**4 + 1/6*f**3 - 3/2*f**2 - 2*f - 1/20*f**5 + 0. Is m(3) composite?
True
Let y(f) = -f**2 + 5*f + 8. Let c be y(6). Suppose -c*q - 165 = -5*q. Is q prime?
False
Let f = 11 - -137. Let h = 63 + f. Is h a prime number?
True
Let w be (-196 - -1)*(-2)/6. Let u = -67 - -291. Suppose -u = -3*t - w. Is t a composite number?
False
Let k(w) = -1801*w**3 + w**2 - 1. Is k(-1) prime?
True
Suppose -5*c + 138 = -137. Is c composite?
True
Supp