+ 1331. Is s a composite number?
False
Let m = 9 + -1. Let j(c) be the first derivative of 5*c**2/2 + 9*c - 1. Is j(m) a composite number?
True
Let u(w) = 328*w**2 + 3*w - 2. Is u(1) prime?
False
Suppose 5*v = -x, -x = 3*v - 2*x. Suppose -5*t - 12 - 3 = v. Is 25 - ((-18)/(-3) + t) a composite number?
True
Is (-1 - -3) + (1691 - 0) a prime number?
True
Is 20/(-4) - 3268/(-1) a prime number?
False
Let q(m) = 145*m**2 - 10*m - 12. Is q(5) a prime number?
False
Let z be 70/2*(-6)/(-3). Is (z/(-1))/(-1) - 3 prime?
True
Let m(u) = -10 - 4*u + 3*u - u. Let n be m(-7). Suppose -2*j + 26 = r, -15 = n*j - r - 55. Is j a composite number?
False
Let o = 4 + -3. Let x = 6 + o. Is x prime?
True
Let t(l) = -l - 2. Let r be -7 + (4 + -2 - 1). Let k be t(r). Let h(j) = -j**3 + 3*j**2 + 6*j - 1. Is h(k) composite?
False
Suppose -3*r + 2*a + 11 = 4*a, -4*r + 2*a = -10. Let w be 4 + -3 - -2*2. Suppose -r*k = 4*y - y - 33, 0 = -2*k - w*y + 10. Is k a prime number?
False
Let f(a) = a**3 + a**2 - a + 113. Is f(0) a composite number?
False
Let z = -32 + 14. Let r = z + 183. Suppose -5*v = -n - 275, 0*v - 5*n = -3*v + r. Is v composite?
True
Let k be (6/18)/(1/15). Suppose 2*d = d - 2, 0 = s - k*d - 239. Let j = -66 + s. Is j prime?
True
Suppose 3*y + h - 5*h = 10, -4*y + 5*h = -13. Suppose y*w - 432 = -0*w. Let t = w - 89. Is t a prime number?
True
Let i be (-1 + -18)/((-6)/(-30)). Suppose -120 = x + 2*x. Let b = x - i. Is b composite?
True
Let m(x) = -x + 15. Is m(-7) a prime number?
False
Suppose m - 5*r = -18, -3 + 7 = -4*m + 3*r. Let t = m + 1. Suppose 0 = t*c + 4 - 70. Is c prime?
False
Suppose -91 = 2*s - 5. Let o(l) = 2*l**3 + 2*l**2 - 4*l + 2. Let n be o(3). Let h = s + n. Is h a prime number?
True
Suppose -9*a + 4408 = -6491. Is a prime?
False
Suppose 0*w + 4*w + 16 = 0. Is (-1)/w - (-2205)/28 a composite number?
False
Suppose 4*p - 10 = -0*d + d, 2*p + 4*d = -4. Is p - 1 - (4 - 82) a composite number?
False
Suppose k = -3*k + 24. Suppose 2*u = 5*u + 6, k = 2*b + 2*u. Let p(a) = a**3 + 2*a**2 + 4. Is p(b) a composite number?
False
Let k(v) = -202*v**3 + v**2. Is k(-1) prime?
False
Suppose -z = -11 - 42. Is z prime?
True
Let m = 3 + -1. Let c = 2 + m. Suppose 0*u = c*u - 60. Is u composite?
True
Suppose 1299 = 3*w + w + c, c = -5. Is w/2 + -5 + 5 a prime number?
True
Suppose -355 = -4*o + j + 148, 2*j + 371 = 3*o. Is o a prime number?
True
Let r(a) = -a**3 + 2*a**2 + 2*a + 2. Let f be r(3). Let z be -281 + (2/2)/f. Let p = z - -401. Is p composite?
True
Let i(o) = -o**2 - 9*o + 12. Let p be i(-10). Is (10/10)/(p/422) prime?
True
Suppose 383 = -10*k + 1873. Is k a composite number?
False
Suppose 4*q + 17 = 5*i, -6*q = 3*i - q - 25. Suppose 5*u - 185 = -i*s, u = -2*u + 12. Is s prime?
False
Let o = 27 - 38. Is (0 + -3)/(1/o) a composite number?
True
Suppose -181 = m + 5*f, -3*m = -f - 4*f + 643. Is 15/10 - m/4 prime?
True
Suppose -18 = -4*b + 5*j - 5, -2*b + 2*j + 4 = 0. Is 2 + b/(-1) - -1 prime?
False
Suppose 5*r = -0*r + 15. Let o(a) = -a**3 + 3*a**2 - a + 3. Let w be o(r). Suppose w*j + 406 = 2*j. Is j prime?
False
Let k(y) = 4 - 4*y**2 + 4*y**2 + y**2 + 2*y**2 + 2*y. Is k(3) a prime number?
True
Suppose -q + 4 = -i + 3, -4*q - i - 16 = 0. Let x be (0/(0 + q))/(-1). Suppose -5*p - 167 + 712 = x. Is p composite?
False
Let j be (-174)/(-1)*40/15. Suppose 3*t = 7*t - h - j, 563 = 5*t + 3*h. Is t a composite number?
True
Is (-14)/6*(-11 + 8) a prime number?
True
Suppose -451 - 184 = -5*t. Is t a prime number?
True
Suppose 0 = b - 5*b + 252. Suppose -a - 17 = -b. Is a composite?
True
Suppose 1 = -3*f - 2. Let s be f/(-3) - (-10)/6. Suppose 159 = o + s*o. Is o a composite number?
False
Let s(w) be the second derivative of -11*w**3/2 + w**2/2 - 2*w. Suppose 0*g + 4*g + 8 = 0. Is s(g) prime?
True
Suppose 2*l + 3*h - 9 = 0, -2*h - 2*h + 12 = 3*l. Suppose r - 249 - 668 = l. Is r a prime number?
False
Suppose 2*t + 0*t = 2. Let r be t + (3 - (1 + 1)). Is (1/(1/38))/r composite?
False
Let y(f) = 2*f**2 - 7*f + 5. Let t be y(10). Suppose -3*b = p + 20 - t, 0 = -3*b - 5*p + 107. Is b a composite number?
True
Is 8/6*(-9)/(-2) composite?
True
Let w(o) = -o**2 + 2 + 4*o + 4*o - 7. Let g(p) = -p**2 + 6*p - 2. Let k be g(4). Is w(k) prime?
True
Suppose -638 = -2*h - 2*r + 398, -4*h = 3*r - 2075. Is h a prime number?
True
Let m(r) = -1678*r + 29. Is m(-5) a composite number?
False
Let w(o) = -2*o + 5. Let h be w(4). Let s be (-1*2)/(h/78). Let m = -26 + s. Is m a composite number?
True
Suppose 0 = 3*g + 3, 2*g = -2*x + 964 + 208. Suppose 5*s = -2*c + x, 5*s - 4*c - 341 - 270 = 0. Is s composite?
True
Let q be 11 + -2 + -1 + 1. Is 66/q + (-2)/6 a composite number?
False
Let k = 196 + -87. Suppose -3*s = b - k, 4*b + 76 = 2*s + 3*b. Is s prime?
True
Let i(v) = -22*v + 17. Let l(y) = -11*y + 9. Let c(n) = -3*i(n) + 5*l(n). Is c(5) a composite number?
True
Suppose 0 = -15*v + 11*v + 1984. Let m = -123 + v. Is m a prime number?
True
Let b be (-4)/(-2) + 4 + -4. Is 209 - b/3*-3 a prime number?
True
Suppose -j + 2 = -0. Suppose 0*d = -3*i - j*d - 22, -5*i - 4*d - 40 = 0. Is (-33)/(-2)*i/(-3) composite?
True
Let k be (-10)/(-35) + (-38)/(-14). Let d = -2 + 4. Suppose 5*p + u - 181 = 0, -d*u + 33 = -k*p + 152. Is p a composite number?
False
Suppose 4*w = 8*w + 124. Let x = -56 - w. Let v = 44 + x. Is v a composite number?
False
Let v = 40 + 103. Is v prime?
False
Suppose 7*p - 2 = 19. Suppose 0 = p*c - 5*c + 422. Is c prime?
True
Let s = 63 - 122. Let y = 38 - s. Suppose -4*r + y = -5*p + 6*p, -3*r = p - 72. Is r a composite number?
True
Let d be (-20)/12*(-1 + 4). Let u(q) = -7*q. Let g(h) = -3*h. Let s(r) = d*g(r) + 2*u(r). Is s(3) a prime number?
True
Suppose 3*p = 4*f + f - 4066, -2*f - p + 1633 = 0. Is f prime?
False
Is 5/1 + (-4)/2 + 250 a prime number?
False
Suppose 179 = 2*z - 203. Let j = -96 + z. Is j a prime number?
False
Let q(f) = -f**2 + 21*f - 20. Let x be q(8). Let s be 1 - 0 - -1*3. Suppose -4*w = 2*a - x, -16 + s = -3*a. Is w a prime number?
True
Suppose 0 = j - 3, 2*j + 3*j + 2605 = 4*h. Is h prime?
False
Let j(v) = 5*v**2 - 3*v + 3. Is j(9) a composite number?
True
Let l be -1 - (2811/1)/3. Let g = l + 1322. Suppose 4*c = -4*q + g, -4*c + 377 = -3*q - 0*q. Is c a composite number?
True
Let a(i) = i + 4. Let o be a(-7). Let y be o - -16*(-54)/(-4). Is 2/3*y - 3 prime?
True
Is (1 + 2565)*5/10 a composite number?
False
Suppose y = -y. Suppose y = -g + 3*g. Suppose g*o = -3*o + 138. Is o prime?
False
Let k = -30 - -161. Is k a prime number?
True
Let o(k) = 7*k**2 - 2*k - 4. Is o(5) composite?
True
Suppose -f = 2*i - 45, -4*i + 1 = -5*i. Is f a composite number?
False
Suppose 0*n + 8901 = 4*n - 5*x, -3*n + 6678 = -3*x. Is n prime?
False
Suppose 8*r = -4*q + 4*r + 8, 5*q + r = 2. Suppose a - 7 = -q. Is a a composite number?
False
Let r(k) = 15*k. Suppose 3 = t - 0. Suppose 0 = 6*j - t*j - 3. Is r(j) a composite number?
True
Let l be (-35)/(-5) + (-1 - 1). Let o = 5 - l. Suppose -69 = -3*u - 3*k, 4*u - 2*u + 5*k - 37 = o. Is u composite?
True
Let w(p) = -p**2 + 8*p. Let g be w(8). Is 155 - g - (0 + -2) a prime number?
True
Let m(o) = 12*o - 23. Is m(11) a prime number?
True
Suppose 0*s + s = -3*a + 15, 5 = a. Let d(r) = 3 - 4*r - 4 + s - 7*r**2 - r**3. Is d(-8) composite?
True
Let x = -10 + -5. Let i = x + 21. Is (-3)/(i/(-28)) + 1 composite?
True
Let m = -3 + 8. Let q(b) = b**3 - 6*b**2 + 4*b + 1. Let f be q(m). Is ((-4)/(-6))/(f/(-306)) a composite number?
True
Suppose 0 = -2*n - 108 + 1622. Is n a prime number?
True
Let j be 6/2 - 626/2. Let d = j + 86. Let m = d - -337. Is m a composite number?
False
Let x(w) = -2*w + 1. Let p be x(-1). Suppose 225 = 5*u + 4*d, 0*d - p*d = -15. Suppose -16 = -3*r + 2*o + u, -4*r - o = -87. Is r a prime number?
False
Let h(m) = -m**3 + m + 169. Let c be h(0). Suppose -l = f + 2*l - c, -4*l + 330 = 2*f. Is f a composite number?
False
Suppose w + 168 = 5*z - 72, 3*w = -3*z + 126. Is z a prime number?
True
Let t(c) = c**2 - 2*c + 4. Let v be t(-4). Suppose -5*g = -437 - v. Suppose -g = -5*y + 2. Is y composite?
False
Let v = 12 - 7. Suppose -435 = -v*x + 40. Is x a composite number?
True
Suppose -83*v + 1259 = -82*v. Is v prime?
True
Let w be (3 + -1 - 2)/2. Suppose w = -3*a - 6 - 6. Is (3 + -17)/(a/6) a composite number?
True
Suppose 