(2 + 1) - p. Is b/(-2*1/(-22)) a composite number?
False
Let n(s) = s**3 - 3*s + 5. Let p be n(3). Suppose -z - p = -136. Is z prime?
True
Let r(p) be the third derivative of -p**4/24 - p**3/3 - 2*p**2. Let i be r(-6). Is 160/28 + i/14 a composite number?
True
Let g = 5 - 2. Let z = g + 0. Suppose -z*u + 7*u = 844. Is u a composite number?
False
Let g(n) = -n**2 + 5*n + 5. Let v be g(4). Suppose v*k = 4*k - 50. Let t = -3 - k. Is t prime?
True
Let o = 178 - -69. Is o prime?
False
Let m = -478 + 817. Is m prime?
False
Let i be 5*(29/5 - 1). Suppose 0 = 6*w - 2*w + h - i, 0 = -3*h. Is w prime?
False
Let v(g) = g**2 - g - 2. Let p be v(3). Is ((-19)/p)/(10/(-40)) prime?
True
Let u = -9 - -7. Let t be 3 + 0 + (-2 - u). Suppose -t*r + 43 = 4*w, 0 = -w - r - 3*r + 1. Is w composite?
False
Suppose 0 = s - 276 + 23. Suppose -880 = 6*r - r. Let d = s + r. Is d prime?
False
Let v = 775 - 524. Is v composite?
False
Suppose -f - 2384 = -5*f. Suppose 0 = 3*d + d - f. Is d a prime number?
True
Let v(q) = 12*q**2 - 6*q + 10. Is v(-6) composite?
True
Is (1 - -2)/1 - 16478/(-7) prime?
True
Let b = 8 + 197. Is b composite?
True
Let m(p) = p**2 + 11*p - 1. Is m(-16) composite?
False
Let a(o) = 32*o**3 - 6*o**2 + 9*o + 12. Is a(5) composite?
False
Suppose 4*t - 2*z = -7*z + 439, -z - 585 = -5*t. Is (-5 + t)*26/6 a prime number?
False
Let v be (-3)/(6/2) + 18. Suppose i - 6 = v. Suppose 15 = p - i. Is p a composite number?
True
Suppose 4*l + 272 + 112 = 0. Let s = l + 361. Is s composite?
True
Is -2 - (-4)/((-10)/5) - -7613 composite?
True
Suppose 5*r - g + 43 = 0, 2*r + 4*g - 1 = -5. Let i = r + -9. Let o = 96 + i. Is o a prime number?
True
Is (-3)/(-4) + (-2030)/(-56) a composite number?
False
Let u(b) = -29*b - 4. Let a be u(-2). Let h = 1 + a. Is h prime?
False
Let a = 906 - 599. Is a a prime number?
True
Let b(m) = -m**3 + 7*m**2 + 5*m - 5. Let w be b(-7). Let z = -383 + w. Is z composite?
False
Suppose z - 1370 = -z. Is z a prime number?
False
Suppose 0*n + 12 = x - 5*n, 4 = -2*n. Suppose -2 + 48 = x*q. Is q composite?
False
Is (-6)/(-27) - (58422/(-27) + 5) a prime number?
False
Let f(q) be the first derivative of q**3/3 + q**2/2 + 29*q - 2. Let l be f(0). Let c = -10 + l. Is c a prime number?
True
Is (2 - 3) + 2610/5 composite?
False
Let b(l) = 4*l. Let i be b(5). Suppose 0 = -4*k - 5*g + 31 + i, -k + g = -24. Is k a composite number?
False
Let m = 11 - 8. Suppose -2*z = -m*q - 6, 5 = -4*z + 17. Suppose -34 + 124 = 3*x + 3*t, q = -t - 5. Is x prime?
False
Suppose 309 = 3*o - 2*o. Is o composite?
True
Let v(n) = 5*n**2 + 6*n + 6. Suppose -2*h + 3*w = -1, -2*w + 42 = 5*h + 11. Is v(h) prime?
False
Let v(o) = o**2 + o - 187. Let r be v(0). Let h be (-133 - -1) + 1 + -1. Let n = h - r. Is n prime?
False
Suppose -6 = 3*d - 5*a - 1, 2*a = 2. Suppose d = -2*p + z + 4*z + 391, z = 3*p - 554. Is p prime?
False
Suppose 0 = 4*y + i - 20, -3*y - i = -4*i. Suppose 0 = 4*g + y*j - 232, 4*j - 2*j = 3*g - 169. Is g composite?
True
Suppose 0 = -5*z - b + 26 + 7, 4*b + 8 = 0. Let t be (231/2)/(z/(-14)). Let m = 392 + t. Is m a prime number?
False
Is ((-1285)/10)/((-1)/2) a prime number?
True
Suppose 0*z + z = -4, 3*p - 2*z = 17. Is (-12)/4*(-106)/p composite?
True
Is ((-94)/(-8))/((-3)/(-24)) a composite number?
True
Suppose 0*t - t = -5, -2*t = -3*u - 4. Suppose -u*y + 159 = y. Is y a composite number?
False
Let b be 160/(((-28)/(-8))/7). Suppose 4*w = 4*o + b, -7*w = -2*w + o - 418. Is w a composite number?
False
Let b = 3 + 1. Suppose -b*c + 196 = -72. Is c prime?
True
Suppose -6*y + 2238 = -0*y. Is y composite?
False
Suppose 0 = -2*k + 5*z + 431, -2*k - 2*k - 3*z + 901 = 0. Let f = 40 + -38. Suppose f*t = t + k. Is t a prime number?
True
Let s be 1145/3 - 2/(-6). Suppose q - 3*q = -s. Is q composite?
False
Let d(p) = -36*p**3 - 2*p**2 - 2*p - 1. Let l = 0 - 1. Is d(l) composite?
True
Suppose i + 180 = 1283. Is i composite?
False
Suppose 3*u - 5 = 2*u. Suppose 223 = -u*v + 723. Let i = 165 - v. Is i prime?
False
Suppose u = -u + 590. Is u prime?
False
Let h(i) be the third derivative of -4*i**2 + 3/8*i**4 - 1/6*i**3 + 0 + 0*i. Is h(6) prime?
True
Let k(b) = b**2 + b + 3. Is k(7) composite?
False
Let k(a) = 10*a + 8. Let p be k(-7). Let z = p + 109. Is z a composite number?
False
Suppose 0 = -0*g + 2*g - 282. Is g composite?
True
Suppose 4*n - 44 = -4*w - 0*w, 0 = w - 4*n - 16. Let k(b) = 19*b - 13. Let g(x) = -57*x + 40. Let t(d) = -4*g(d) - 11*k(d). Is t(w) prime?
True
Let h(a) = a**3 + 3*a**2 - 4*a - 2. Let z be h(-4). Let j = 42 + z. Suppose -5*i - 5 = -j. Is i a composite number?
False
Suppose 6*d = 2*w + d - 26, 0 = -w + 4*d + 19. Suppose 0*z + z + w*x - 71 = 0, 5*z - x = 291. Is z prime?
True
Let m(x) = 21*x**3 - 2*x**2 - 8*x + 2. Is m(3) a composite number?
True
Is ((-1889)/(-1))/(2/2)*1 a prime number?
True
Let a(x) = 19*x - 4. Let r(u) = 38*u - 7. Let n(z) = 5*a(z) - 2*r(z). Is n(5) a prime number?
True
Suppose -3*t + 30 = 4*i, -16 = -3*i - 2*t + 3*t. Let n be 20/i - 2/(-3). Suppose z = -3*r + r + 240, -n = -2*z. Is r composite?
True
Let k(m) = 6*m - 3. Let d(x) = -x**2 + x + 1. Let h(v) = -2*d(v) + k(v). Let b(p) = -p**3 + p**2 - 4. Let s be b(0). Is h(s) composite?
False
Let x(y) = -y**3 + 4*y**2 - 3*y + 4. Let a be x(3). Suppose -a*l + 52 = -0. Is l a composite number?
False
Let k be (-3 + 2)*(-4 + 0). Suppose 2*d = z + 609, d + 2 - 289 = k*z. Is d prime?
True
Let q(b) = -b**2 - 5*b + 4. Let o be q(-5). Suppose 3 = t - o. Is t a prime number?
True
Suppose 4*g = -f - 1, -f + 2*g + 3 = -2. Suppose f*c = 4*m - 302, 0 = 5*m - 2*c + c - 383. Is m a prime number?
False
Suppose -3*r = -3*k - 4 - 2, 3*r - 6 = 2*k. Suppose -4*q = -5*j - 376, -2*q + 4*j = -k*q - 182. Suppose -o - 34 = -q. Is o composite?
True
Let v(z) = -1 + 0*z - 2 + z. Let k be v(8). Suppose -4*x + 60 = s, 6*x - k*x - 3*s = 15. Is x a prime number?
False
Let k(h) = 2 + h - 4 + 4 + h**2. Let l = 2 - 6. Is k(l) composite?
True
Suppose -z + 25 + 0 = 0. Is z a prime number?
False
Let q be (3/(-6))/(4/(-88)). Let d(f) = f**3 - 9*f**2 - 10*f - 5. Is d(q) a prime number?
True
Let g(i) = -i. Let m be g(-2). Suppose -1 = -m*r + 3. Is 154/4 + 1/r a prime number?
False
Let v be 20/(-12)*(1 - 10). Let u = v - 8. Let n = u - -4. Is n a composite number?
False
Suppose -2*m - y + 17 = 0, 0*y - 2*y = -4*m + 30. Is -34*(-1)/(m/28) a prime number?
False
Let u(i) = -i**3 + 15*i**2 - 17*i - 8. Is u(13) prime?
True
Suppose -2*x + 5*o + 1315 = 3*x, -5*x = -o - 1315. Is x a prime number?
True
Suppose 0 = -3*u + 2*f - 8 + 3, -5*u - 2*f = -13. Let p = u - 2. Is 23/(-2*p/10) a prime number?
False
Suppose -p + 12 + 0 = 0. Let a be p/(-4) - (115 - 3). Let u = -60 - a. Is u a prime number?
False
Let y = 524 - 273. Is y prime?
True
Suppose 5*d - 2884 + 209 = 0. Is d a prime number?
False
Let v be (-1)/((-100)/(-33) + -3). Let z = v - -56. Is z a prime number?
True
Let x(n) = -2*n**3 + 2*n**2 - 2*n - 1. Let o be 28/(-8) + (-1)/2. Is x(o) prime?
True
Let j = 1 - -1. Let u be 154/2 - 0/j. Suppose -i = 4*d - u, 0*i + d = -4*i + 308. Is i composite?
True
Let c(q) = 8*q - 3. Let u be 4 - 1 - (-3 - -3). Is c(u) composite?
True
Let j(s) = -1184*s - 3. Is j(-1) a prime number?
True
Suppose -2*f + 0*f = -4. Let a be 1/(f/(-70) - 0). Let w = 2 - a. Is w prime?
True
Let l = 10 - -27. Let v = l - -39. Is v/12*3/1 a composite number?
False
Let b = -111 + 74. Let r = 126 + b. Is r prime?
True
Suppose -n + f + 95 = 5*f, -f + 285 = 3*n. Is n a composite number?
True
Suppose 0 = 13*w - 18*w + 470. Is w prime?
False
Suppose -4*v = 0, 2*l - 20 = -2*v - 0*v. Is l composite?
True
Suppose -27*i + 362 = -26*i. Is i a prime number?
False
Suppose -3*u = -u. Let j be (u/(-3))/(3 - 4). Suppose j*f + 4*f - 56 = 0. Is f a prime number?
False
Suppose -3*t - 8 = 1. Let g = t + 8. Suppose 0 = 3*l - g - 154. Is l a prime number?
True
Suppose 0 = 3*f + 4*l + 32 + 13, -26 = f + 5*l. Let x(o) = o**2 + 8*o - 7. Let c be x(f). Suppose -u - 7 = -t + c, -5*t = -2*u - 159. Is t composite?
False
Suppose -20 = 3*q + q. Let g(a) = 58*a + 4. Let c(d) = d + 1. Let z(i) = q*c(i) + g(i). Is z(4) a prime number?
True
Suppose -6*p = -2*p - 3812. Is p a composite number?
False
Suppose -u = 9 - 34. Let r = 106 - u. Is -3*(-4)/(-6) + r a prime number?
True
Let u(p) = -2*p**2 + 