
Let m(p) = -35 - p + 225 + 21. Is m(0) composite?
False
Let z = 172 + -119. Is z a prime number?
True
Suppose 561 = 3*s - 3186. Is s prime?
True
Let m(o) = 27*o - 4. Is m(7) a prime number?
False
Is 3 - (-11)/((-33)/(-54)) composite?
True
Is 2*(1 + 67/2) composite?
True
Suppose -2*a - 4*r + 58 = 0, -5*a = -2*r + 14 - 135. Is a prime?
False
Let k(x) = x**3 - 8*x**2 + 7*x + 1. Let h be k(7). Suppose 0 = 4*b + h + 7. Is (b + 0)*1 - -16 a composite number?
True
Suppose 0 = -4*b + 5*b - 145. Is b prime?
False
Let y = -8 + 14. Let x be y/21 - (-4)/(-14). Let p(d) = -d + 22. Is p(x) a composite number?
True
Suppose t = 4*j, t + 4*j + j + 9 = 0. Let c = 15 - t. Is c composite?
False
Let w = -316 + -136. Let y = w - -657. Is y composite?
True
Let m(j) = 2*j - 3. Let t be m(4). Let o(n) = n**3 - 5*n**2 + 2. Let y be o(t). Suppose -4*f = y*c - 40, f + 25 = 4*c - 2*f. Is c composite?
True
Suppose 5*z - 2685 = -0*z. Is z composite?
True
Let c(s) be the second derivative of 32*s**5/5 - s**4/6 + s**3/6 + 2*s. Is c(1) a prime number?
True
Let h(z) = 4*z + 3*z + 3 + 11. Is h(11) a composite number?
True
Suppose 7910 = 22*q - 12*q. Is q a prime number?
False
Let i(f) = 5*f**2 - f. Let w(q) = -q**3 - 6*q**2 - 5*q + 1. Let o be w(-5). Let j be i(o). Suppose -j = -m, -g - 3*m + 23 = -m. Is g prime?
False
Let o(n) be the second derivative of -11*n**3/2 + 2*n**2 + 6*n. Is o(-3) composite?
False
Let i = -26 - -65. Let n = 33 - 47. Let k = i + n. Is k prime?
False
Let o = 0 + 11. Let k = -8 + o. Suppose -k*p + 2*i + 157 = 0, -3 = -i - 2*i. Is p a prime number?
True
Suppose -5*z + 450 = 5*j, 2*z - 165 = 6*j - 3*j. Is z a composite number?
True
Suppose -4*o = -5*o - 5*f + 278, -2*o + 2*f = -592. Is o composite?
False
Let m = 3208 + -1953. Is m prime?
False
Let y be (-2)/12 - 171/(-54). Is 1/y - 880/(-24) a prime number?
True
Let u(n) = 77*n**2 - n - 1. Is u(-1) prime?
False
Is (-2936)/(-16) + (-2)/4 a prime number?
False
Let g = -95 - -492. Is g prime?
True
Let c(q) = -460*q + 5. Is c(-5) a prime number?
False
Is (-12)/54 - 2/(18/(-12251)) prime?
True
Let d be (-1)/(6/(-909))*-2. Let k = d + 1190. Is k a prime number?
True
Let a(w) = -w**3 + 5*w**2 + 7*w - 4. Let l = -1 + 6. Is a(l) a prime number?
True
Suppose -13 + 19 = t. Suppose -t*f - 4*p + 159 = -f, -4*f + 121 = -3*p. Is f a prime number?
True
Let v(c) = 4*c**2 + 12*c - 7. Let l be v(8). Suppose -3*q = 5*u - l, u + 2*q - 69 = -0*q. Is u a composite number?
True
Let l = 18 + -14. Let i be 16/6*(-9)/(-6). Suppose -i*x + l*g = -x - 113, 36 = x - g. Is x a prime number?
True
Suppose y = -y + 622. Suppose -19 - y = 3*f. Is ((-8)/(-4))/((-4)/f) a prime number?
False
Suppose 2124 = 3*f - 999. Is f composite?
True
Let o be ((-12)/(-9))/(4/6). Suppose o*b + 38 = -3*q, 0 = q - 3*b + b + 2. Let k(s) = -s**3 - 8*s**2 + 4*s + 3. Is k(q) composite?
False
Is (14/(-14))/(2/(-1838)) a composite number?
False
Let h(u) = -u - 6. Let d be h(-6). Is (d - -1) + 39 + -3 a prime number?
True
Let c(q) = q**3 - 15*q**2 + q - 8. Let b be c(15). Suppose -b*a + 3*a = 5*f - 585, 4*a - 464 = -4*f. Is f composite?
True
Suppose -7*i + 4*i = -402. Is i a prime number?
False
Suppose p + 1652 = r, 7*r - 3*p - 1642 = 6*r. Is r prime?
True
Let d(v) = 5*v**2 - 2*v - 2. Let t(h) = -h**3 - 3*h**2 + 4*h + 6. Let p be t(-4). Suppose -5*m + p + 9 = 0. Is d(m) a prime number?
True
Let k = -251 - -466. Is k a prime number?
False
Suppose -4*x + 9 = 5*n, x - 5 = -n - 4. Let z(p) = p - 3. Let a be z(n). Suppose -74 = -3*j - q - 10, 0 = 2*j - a*q - 56. Is j a composite number?
False
Let y = 11 - -32. Let o = y - 23. Suppose 4*i - 15 = m, 5*m = i + 2 - o. Is i prime?
True
Suppose -j = 4*j. Suppose j*n = 6*n - 522. Is n composite?
True
Is (231/6)/1*2 composite?
True
Let r = -11 - -6. Let h(s) = -s**2 - 7*s - 7. Is h(r) prime?
True
Let a = -139 - -398. Is a a composite number?
True
Let u be (63/(-6))/7*-114. Let k = u + -82. Is k prime?
True
Let i(f) = -7*f**3 - 3*f**2 - f - 11. Is i(-6) prime?
True
Suppose 8*i - 12*i + 16 = 0. Suppose -2*y - 3*y + 1335 = -i*g, 0 = -3*y + 2*g + 799. Is y a prime number?
True
Let b = 130 - 446. Let q be 6/(-15) + (-1093)/5. Let l = q - b. Is l a composite number?
False
Suppose 50 = -5*d - 4*l, d + 0*l + 10 = -5*l. Let h = d - -68. Is h a composite number?
True
Suppose -6307 = -5*d - 4*a, 3*d + 5*a - 2145 = 1647. Is d a prime number?
True
Let b(h) = 9*h + 1. Let v be b(4). Let n be v + -3 + 2 + -2. Suppose -l = -p + n, -2*l = -4*l + 10. Is p a prime number?
False
Let p = 522 + -210. Let m = 28 + -231. Let j = p + m. Is j a composite number?
False
Let f = -118 - -176. Is f a composite number?
True
Let s be 48*(8/(-3))/2. Let a = 191 + s. Is a prime?
True
Let k(o) = o**2 + o - 1. Let p(q) = -3*q**2 - 4*q - 31. Suppose -b + i - 4 = 0, -2*b = -4*b + i - 8. Let d(y) = b*k(y) - p(y). Is d(0) composite?
True
Let r(i) be the second derivative of i**8/6720 + i**7/630 + i**6/240 + i**4/6 + i. Let o(z) be the third derivative of r(z). Is o(-2) a prime number?
True
Suppose -5*w + 3*c + 344 + 281 = 0, -4*w + 5*c + 513 = 0. Is w composite?
True
Is ((-2)/4)/((-6)/132) a prime number?
True
Suppose -2*x = -t - 2*t - 16, -5*t + 5 = 3*x. Suppose 3*m - 5*r = 467, 0 = -x*m - r - r + 799. Is m composite?
True
Let z = -8 + 1. Let t = 4 + z. Is 130/6 + (-1)/t a composite number?
True
Suppose -3*g + 5*g - 12 = 0. Let m be ((-30)/(-4))/(g/(-56)). Let f = -35 - m. Is f prime?
False
Is (22/8)/((-19)/(-228)) a prime number?
False
Let m be 82*(0 - (-4)/(-8)). Suppose l = -3*a + 51, 3*l = -a + 86 + 91. Let k = m + l. Is k a composite number?
False
Let m(c) = c**3 + c**2 + c + 8. Let q be m(0). Suppose -3*d = -q*d + 475. Is d a composite number?
True
Let g(z) be the third derivative of z**6/120 - z**5/20 + z**4/3 + z**3/2 + 2*z**2. Let m be g(8). Suppose 4*k + 5*u = m + 146, u = 4*k - 503. Is k prime?
True
Suppose -61*y + 58*y + 2037 = 0. Is y a composite number?
True
Is ((-148)/12 - -3 - 3)*-51 a prime number?
False
Suppose -2*v + 3*o = -2386, 3*v = 2*o - 2294 + 5868. Suppose -75 = 5*s - v. Is s a composite number?
False
Let n(t) = t**3 - 7*t**2 + 7*t + 7. Suppose j - 24 = -3*j. Suppose -3*y - 18 = -j*y. Is n(y) composite?
False
Let i(f) = -2*f - 8. Let c be i(-6). Suppose 4*m = -m + c*o + 136, m + 3*o - 12 = 0. Let g = 38 - m. Is g prime?
False
Suppose 4*r - 3*s = -0*s - 41, 0 = 3*s - 9. Let v(g) = -6*g**2 - 7*g - 5. Let f(q) = -7*q**2 - 8*q - 5. Let x(j) = 5*f(j) - 6*v(j). Is x(r) a composite number?
False
Suppose -2*j = -0*j - 2*q - 10, -19 = -5*j + 3*q. Is (j/(-2))/((-1)/49) a composite number?
True
Let z be (-65)/(-26) + (-2)/4. Is 2 + z/(-2) + 378 a composite number?
False
Suppose 25 = 3*r + 2*r. Suppose 2*b + 190 = -2*d, -3*b = -r*d - 0*b - 475. Is (-2 - d)*(-2)/(-2) a prime number?
False
Let q(c) = 3*c**2 - 50*c + 29. Is q(24) prime?
True
Let a(g) = -g**3 - 9*g**2 - 9*g + 8. Let w(q) = q**3 + 4*q**2 + 3*q + 2. Let n be w(-2). Suppose n*r + 23 = -13. Is a(r) a composite number?
False
Let v be 14*(3/(-6) + 1). Let a be v/4 + (-1)/(-4). Suppose -a*j + 19 = -j. Is j composite?
False
Suppose -q + 10 + 3 = 0. Let o = 23 - q. Is o prime?
False
Let i(r) = 7*r - 1. Is i(1) prime?
False
Let k(o) = 130*o**2 - o + 1. Let b be k(1). Let d = b - 77. Is d a prime number?
True
Let v = 594 - 371. Is v a composite number?
False
Suppose 4*w - 24 = 4*t, -w - 3*t - 14 = t. Let o(d) = 9*d - 5. Is o(w) prime?
True
Let f(w) = w**2 - 8*w. Let i be f(8). Suppose i = 10*x - 14*x + 1348. Is x a composite number?
False
Let y be 214/(-6) - 4/12. Suppose -3 = 5*i + 2, -4*k - 3*i = 103. Let l = k - y. Is l prime?
True
Let h = 10952 + -6267. Is h a prime number?
False
Is (-6)/12 + (-4455)/(-6) + 3 a prime number?
False
Suppose -2*o = 3*i + 127, -2*o = i - o + 43. Let n = 94 + i. Is n composite?
False
Let d(n) = -n**2 - 11*n + 13. Let s(h) = -h**3 - h**2 + 3*h - 3. Let m(q) = q**2 - q - 4. Let o be m(3). Let w be s(o). Is d(w) a prime number?
True
Let c = 2 - 0. Suppose -c*n + 40 = 182. Let i = n + 156. Is i composite?
True
Let p = 607 + -218. Is p a prime number?
True
Let o(q) = -6*q - 6. Let f(k) = -3*k - 4. Let s(i) = 5*f(i) - 3*o(i). Let a(v) = v**2 + 3*v - 2. Let p be a(-5). Is s(p) a composite number?
True
Is 1801*5*(-5)/(-25) a prime number?
True
Let c(o) = o**2 + 11*o - 10. Le