se 4*y - 2*p = 3*p - 40, -4*y - 16 = p. Let w be 2/(-10) - (-369)/y. Is (w/(-4))/((-2)/(-4)) a composite number?
False
Suppose 8724 = -w + 5*w. Is w composite?
True
Let p(v) = 7*v - 12. Is p(9) a prime number?
False
Let c(y) = 1. Let u(q) = q**2 - 10*q - 6. Let g(j) = -3*c(j) - u(j). Is g(8) prime?
True
Let m(j) = -18*j + 1. Let p be m(3). Let b = p - -25. Let g = b - -41. Is g a composite number?
False
Let y(d) = -12*d + 6. Let f be y(6). Suppose 0 = -2*z - 5*o + 261, 2*z - 2*o - 3*o = 231. Let r = f + z. Is r a composite number?
True
Let j be (13*(-2 + -1))/(-1). Suppose -4*z = -149 - j. Is z a composite number?
False
Let d be -1 + -820 + (-11)/11. Is (-2)/(d/(-826) - 1) composite?
True
Suppose 5*z + 0*z - 7 = -k, 0 = -k - 2*z + 16. Suppose 0 = -3*o + 371 + k. Is o prime?
True
Suppose 410 = s - 40. Let v = -199 + s. Is v a prime number?
True
Suppose 0 = -s - 0*s + 431. Is s a prime number?
True
Let s(v) = -3*v**3 + 7*v**2 + 12*v - 23. Is s(-11) composite?
True
Let y(t) = t**3 - 5*t**2 + 5*t - 5. Let f(q) = -q + 12. Let l be f(6). Let h be y(l). Suppose h = 4*p - 63. Is p a composite number?
False
Let n be (-12)/(-3)*6/8. Suppose n*f - 3*m - 211 = m, 281 = 4*f - 5*m. Is f composite?
True
Suppose -6*i = -8*i + 5878. Is i composite?
False
Let u(w) = -w**3 + 12*w**2 + 11*w + 17. Is u(12) prime?
True
Suppose z = 2*g - 4, -6*z + 2*g + 2 = -2*z. Is 214 - (-1)/z*-6 prime?
True
Suppose 3*v + 6 = 3*c, 2*v - 2 = c - 2*c. Let i(t) = 2*t**2 - 4*t - 4 + 0*t + 20*t**c - 5*t**2. Is i(-3) composite?
True
Let t(v) = -79*v. Suppose -3*y = -2 + 5. Is t(y) a prime number?
True
Let p(f) = 2*f**3 + f**2 + 3*f + 4. Let s = -11 + 8. Let q be p(s). Let x = 75 + q. Is x prime?
False
Let q be (-40)/(-4)*2/4. Suppose 0 = -5*r + 2*n + 6, -q*n + 3 + 11 = 2*r. Suppose 2*c = 6*z - z - 315, -r*c + 10 = 0. Is z composite?
True
Suppose -3*i + 2*s = s - 1072, -1441 = -4*i - s. Let u = -216 + i. Suppose 0 = 3*a + 5*r - u, 4*a + 47 = -2*r + 233. Is a a composite number?
True
Let b = 22 + -24. Is 143 - (b + -2) - -2 prime?
True
Let c = 4 + -7. Let t(p) = 7*p**2 - p + 1. Is t(c) a composite number?
False
Let p(l) = 5*l + 2. Let z(g) = g**2 + 14*g + 5. Let b(v) = -8*p(v) + 3*z(v). Let n be b(1). Suppose -148 = -n*s - 2*t, -5*t + 3 = -17. Is s a composite number?
True
Suppose -2*o = 2*x - 1572, -4*o + 0*o - 2*x + 3146 = 0. Is o prime?
True
Let f = 106 + 177. Let h = f - 106. Is h prime?
False
Let k(b) be the second derivative of b**4/3 + 2*b**3/3 - 5*b**2/2 - b. Is k(5) composite?
True
Let r be (1 + -169)*(-20)/15. Let l = r + -159. Is l a composite number?
True
Let o(r) = -r**3 - 2*r**2 + 5*r + 3. Let a be o(-3). Is 16 + 1 + a + 1 a prime number?
False
Let r = 2 - 1. Is r/(-5) - (-872)/10 composite?
True
Suppose 4*c - 4 = 0, -1 = -3*z - 2*c + 13. Suppose -3*t - 2*w = 0, -z*t - 4*w = -6 + 2. Is t/(-7) - (-645)/21 a prime number?
True
Suppose 0 = 2*a + 5 - 25. Suppose a = 3*r - 2. Suppose 3*f = -3*b + 588, -3*f - r*b + 173 + 420 = 0. Is f composite?
False
Suppose -5*o + 425 = -5*r, 3*o + 3*r = 7*o - 338. Is o a composite number?
False
Suppose r = -4*a + 18, 0*r + 3*r + 5*a - 26 = 0. Suppose r*q + 0*q - 4 = 0. Is q composite?
False
Let z(k) be the first derivative of k**4/4 + 2*k**3 - 4*k**2 - 5*k - 4. Let b be z(-7). Is (-5 - -1)/b + 24 a prime number?
False
Suppose 4*s = x + 1010, 2*s + x = 7*s - 1263. Is s a prime number?
False
Let d(t) = -t. Let c be d(-4). Suppose 0 = -c*j + 3*r + 43, -2*j = r + 3*r - 38. Let w = j - -70. Is w a prime number?
True
Let b(a) be the first derivative of 59*a**2/2 + a - 4. Is b(2) composite?
True
Let u(p) = 2*p**2 + 7*p + 6. Let m be u(-4). Suppose g - 25 = m. Is (0 - g)*(-2 - -1) prime?
False
Suppose -2*y - 2*y = 20, y = 2*x - 5. Suppose x = -4*f - 0*f - 172. Let z = f - -65. Is z a prime number?
False
Suppose 3*s = 4 + 629. Is s composite?
False
Suppose -2*n + n = -46. Is n a prime number?
False
Let j(r) = r**2 + r + 2. Let m be j(-2). Suppose -2*x + 2 = -4*k + 3*x, 2*x = m. Suppose -428 = -k*b + 6. Is b a prime number?
False
Let h be 116/14 - 2/7. Let r(z) = z**3 - 9*z**2 + 8*z + 3. Is r(h) prime?
True
Let d be 4/2 + 3*-6. Is ((-20)/(-16))/((-2)/d) prime?
False
Suppose 6*q - 2*q = 2*l + 4324, -5411 = -5*q + 4*l. Is q prime?
False
Let f = -8 + 14. Let q = -50 - f. Let d = q + 111. Is d a prime number?
False
Suppose 4*v = -2 + 10. Suppose v*u = -0*u + 492. Let t = u - 85. Is t a prime number?
False
Let s(h) = h**3 + 6*h**2 + 5. Let t be s(-6). Let w = -25 - -25. Suppose -2*z = 2*i - 136, 10*i - t*i - 5 = w. Is z composite?
False
Let k(a) = -a**3 - 6*a**2 + 5*a - 5. Suppose -3 = 2*q + 11. Let y be k(q). Is (-560)/(-12) - (-3)/y composite?
False
Let t(k) = -k**2 + 2*k + 5. Let g be t(4). Let n be (-1 - g)/(4/8). Suppose 18 + 10 = n*f. Is f a prime number?
True
Suppose 0 = 3*r - 0*r + 21. Let g(z) = -23*z - 2. Is g(r) a prime number?
False
Suppose -5*u = 10, -8 = -2*d + 2*u - 0*u. Suppose m = -d*p + 10, -5*m + m + 4 = -4*p. Is p/(-3)*(0 - 119) prime?
False
Let m = 3424 + -2207. Is m a prime number?
True
Let d be (-2 - (-3 + -2))/1. Suppose -z = -2*o - 41, -58 - 57 = -d*z + 2*o. Is z prime?
True
Let z = 204 + -143. Let t(o) = o**2 + 2*o - 1. Let i be t(1). Suppose 9 = i*k - z. Is k a composite number?
True
Suppose -5*d + 3*g = -0*d - 916, -179 = -d + 2*g. Is d composite?
True
Let x = 2 - -1. Let a(g) = -6*g**2 + 4 - g**3 + x*g**3 + g**2 + 3*g. Is a(3) a composite number?
True
Suppose -g + 2*k = -69, 2*k = 2*g + 17 - 159. Suppose g = 3*r + 5*y, 0*y = -4*r + 3*y + 78. Is r composite?
True
Suppose 0*h - 65 = -h. Suppose 0 = -y + 4*f - 19, -3*y + 8*f - 4*f = h. Is y*(-4 + -2)/3 prime?
False
Let y(s) = s**2 - s - 4. Let j be y(-3). Is (j/(-6))/((-6)/153) a prime number?
False
Let v be (2/4)/((-1)/172). Let b = v + 217. Is b a composite number?
False
Let h(z) be the first derivative of -22*z**2 - 9*z + 1. Let s(j) = 22*j + 5. Let n(f) = 6*h(f) + 11*s(f). Is n(-4) composite?
False
Is ((-3375)/(-20) - -2)*4 a composite number?
False
Let o = -12 - -9. Is o - 0/3 - -190 prime?
False
Suppose -5*y + 737 = -118. Let i = y - 114. Suppose 13 = 2*t - i. Is t composite?
True
Let b = 34 + -23. Is b a prime number?
True
Let d(c) = -433*c + 28. Is d(-3) a composite number?
False
Let x(l) = -3 - 54*l**3 + 6 + 50*l**3 - 2*l**2 + 4*l. Is x(-4) a prime number?
True
Let x = 66 - -19. Is x a composite number?
True
Suppose -5*g - a = -784, 4*a - 8*a - 318 = -2*g. Let y = g - 74. Is y composite?
False
Let z = -3 - -6. Let m = 6 - z. Suppose h + h - m*x = 26, -x - 4 = 0. Is h composite?
False
Let d(x) = -2*x - 6. Suppose 5*i + 8 = -3*g - 18, 3*g + 22 = -4*i. Let o be d(i). Let c(t) = 8*t - 3. Is c(o) composite?
False
Is (13/(-65))/((-2)/39430) prime?
True
Is 2/3 - 2630/(-6) a composite number?
False
Let c(m) = 79*m + 14. Is c(3) a prime number?
True
Let f(y) = -y**3 + 8*y**2 + 6*y + 8. Let d be f(8). Let s = 217 - d. Is s composite?
True
Suppose -5*g = -k + 10, -5*k - 16 = -5*g + 14. Let x be (0 + -2)/(-2)*1. Is x/3 + k/(-6) a prime number?
True
Suppose 7 + 2 = -3*h, -5*v + 5563 = 4*h. Is v a composite number?
True
Suppose 83 = s - 0*s + 2*t, t + 332 = 4*s. Suppose 2*z - 2*b - 431 = -3*z, -z + 2*b + s = 0. Is z a prime number?
False
Let x be -1 - (1 + -1 + -1). Suppose x*f - 5*p + 40 = f, f = 2*p + 12. Suppose 2*g = -4*w + 40, w + 2*g + f = 3*w. Is w prime?
False
Let z(y) be the first derivative of y**2/2 - 1. Let t be z(2). Is (t + -3)*-1 - -34 composite?
True
Let n(w) = 2*w**2 + 16*w + 11. Is n(-11) composite?
True
Let m be (-6)/(-3 - -1) + 255. Suppose 71 = w - m. Is w prime?
False
Is (-6)/((-10)/(-5)) + 266 a prime number?
True
Let o be (-13)/(-3) + (-2)/(-3). Let l = 6 - o. Is l*69 - (-4 - -6) composite?
False
Suppose -2 = 2*g, g - 5 = -l - 2. Suppose l*y = 9*y - 275. Is y prime?
False
Suppose -5 - 3 = -2*n, 0 = 3*j - 3*n + 6. Suppose -y - j*y = -b - 318, 4*y = -3*b + 424. Is y prime?
False
Suppose 2*u - 12 = -3*u + h, -2*h - 14 = -5*u. Is u/(((-2)/23)/(-1)) composite?
False
Let d(t) = -25*t + 13. Is d(-6) prime?
True
Suppose -3*l - 12 = 0, -1259 = -4*i + i + 5*l. Suppose -2*u - 123 = -i. Is u a composite number?
True
Let t(h) = h**3 - 2*h**2 - 7*h + 3. Let o be t(5). Let j = 73 - o. Suppose 3*l = -9 + j. Is l a composite number?
False
Let h be (-6)/(-2*1)*1. Suppose -i - 5