 -8*q + 5*q - 729. Let i = -164 - q. Is i prime?
True
Let v(n) = -n**3 - 2*n - 1. Let k be v(-1). Suppose 5*y = k*y + 879. Is y prime?
True
Suppose -15*r = -20*r - 5575. Is (-9)/(-3) + -1 - r composite?
False
Let i = 14 + 179. Let t = i + -114. Is t a composite number?
False
Let l(w) = -20*w + 21*w**2 + 17*w - 1 + 2. Is l(2) a composite number?
False
Suppose 5*q = w + 10, -5*q + 31 - 6 = 2*w. Let m be ((-6)/4)/(q/(-8)). Suppose 4*k - 385 = r, 5*k - 5*r - 120 = m*k. Is k a prime number?
False
Let x = -8 - -4. Let a = x + 66. Is a a prime number?
False
Suppose -3*t + 2*h = -753, 2*t - 416 - 94 = 4*h. Is t prime?
False
Suppose 2*t = -0*t. Let l = 2 + t. Suppose -l*f + 0*f = -76. Is f a prime number?
False
Suppose -6689 = -2*k + 3141. Is k a prime number?
False
Let i = -5 - -15. Let s = 18 - i. Is ((-28)/(-16))/(2/s) a composite number?
False
Let n(q) = -4*q**3 - 4*q**2 - q + 5. Is n(-4) a prime number?
False
Let v(k) be the second derivative of -k**5/20 - 5*k**4/12 + k**3/6 - 7*k**2/2 + 2*k. Let c be v(-5). Is (6/c)/(1/(-14)) a prime number?
True
Suppose 2*n + 16 = -4*w, -n = 3*w - 2 + 15. Suppose -4*f - 8 = 3*g, 4*f = 2*g + 3*f - 13. Is -11*(-10)/g*n prime?
False
Let d(c) = 17*c**2 - 10*c + 12. Is d(9) composite?
True
Suppose 0*h = 2*h - 6. Is 9*h/9 + 66 a prime number?
False
Suppose -3*m = -m - 710. Is m prime?
False
Let r(f) = f**2 + f - 1. Let g be r(-3). Suppose g*m - 5*b - 9 = m, -2*m - 28 = 4*b. Let c(z) = -64*z + 1. Is c(m) prime?
True
Let w(n) = n**3 + n**2 + n + 335. Let t(d) = -d - 2. Let j be t(-2). Is w(j) prime?
False
Let s be (36/(-15))/((-2)/210). Suppose 2*r = -p + 132, -s = 2*p - 4*p - r. Suppose 3*h + 2*h - p = -3*k, -4*h + 39 = k. Is k a composite number?
False
Suppose 0 = -3*a - 676 + 4759. Is a a prime number?
True
Let f(t) = -t**3 - t**2 + 1. Let y be f(1). Let x(b) = 107*b**2 + 3*b + 2. Is x(y) prime?
False
Suppose -a + 2 = -1. Let n(x) = 3*x**2 + 4*x - 8. Let r(i) = -6*i**2 - 8*i + 17. Let f(q) = a*r(q) + 7*n(q). Is f(6) a prime number?
True
Let u(b) = b**2 - 3*b + 2. Let n be u(3). Suppose 11 = -3*r - 5*m, -r = 5*m - 15 + n. Is 4*(0 + (-69)/r) composite?
False
Is (1/(-2))/(5/(-1190)) composite?
True
Let i(v) = -4*v**3 + 5*v**3 + 3*v - 2*v**2 + 8*v**2. Let r be i(-3). Is (-4)/r - 9401/(-63) composite?
False
Suppose 89 - 27 = 2*j. Let q be 5*(-1 - (-9)/5). Let y = q + j. Is y composite?
True
Suppose -k = 3*t - 28, -k = -t + 17 - 5. Suppose 0*p = p - o - t, 5*o + 35 = 2*p. Let u = p + -3. Is u prime?
True
Let a = -7 - -11. Suppose a*y + 24 = 220. Is y prime?
False
Suppose -5*d + 940 + 2295 = 0. Is d composite?
False
Suppose 1432 = 6*q + 166. Is q a composite number?
False
Suppose 0 = -2*f - 2*l, -2*l = f + l - 4. Is (-4 + 2)*185/f a prime number?
False
Let v(n) = -n + 2. Let x be v(0). Suppose 0 = -5*y - 0*y - q, x*y - q = -7. Let g(u) = -19*u**3 - u - 1. Is g(y) composite?
False
Let z(d) = 78*d**2 - 6*d + 11. Is z(8) prime?
False
Let v(k) = -k**2 + 3*k + 3. Let w be v(3). Suppose 4*o - 204 = 2*o - 2*a, 4*o - 404 = -5*a. Suppose -w*i + i = -o. Is i prime?
True
Let k(y) = 9*y**2 + 7*y - 4. Let h be k(6). Suppose -2*v = 2*o - h, v - 4*o - 185 = -7*o. Is v a prime number?
True
Let d(m) = m**2 - 5*m - 6. Let x be d(6). Suppose 5*w + 6 + 4 = x. Is (-447)/(-12) + w/8 prime?
True
Let h(p) = -13 - p**2 + 2 + 10*p + 9. Is h(6) composite?
True
Let j(f) = 10*f**2 + 35*f + 11. Is j(-14) a composite number?
False
Let b(r) = -3*r**3 - 12*r**2 + 5*r - 19. Is b(-9) prime?
True
Let m = -1198 + 2109. Is m a composite number?
False
Let h(y) = -2*y**3 - 8*y**2 - 2*y + 6. Let l be h(-5). Let j = 193 - l. Is j composite?
False
Suppose -5*g = 4*f - 711 - 516, 5*g = -f + 318. Is f a prime number?
False
Suppose 0 = -m + 5*m - 272. Let n(s) = s**2 + 3*s - 2. Let k be n(-5). Suppose 4*j - k = m. Is j prime?
True
Let c(k) = -2*k - 3. Let u be c(-4). Suppose u*y = 2*o - 94, 3*y + 53 = o - y. Is o a prime number?
True
Let p be (0 - 5)*(-2)/5. Let r be (-10*3/(-3))/p. Suppose 4*m - 4*t - 652 = 0, 0 = -4*m - r*t + 360 + 274. Is m prime?
False
Let a be (-22)/6 + (-1)/3. Let r = a - -2. Is ((-1)/r)/(1/230) a composite number?
True
Let r(q) = 2*q**2 + 8*q + 5. Let i be r(6). Suppose 5*w + 3*g - 804 - i = 0, 4*w - 750 = g. Is w composite?
True
Let m be ((-4)/(-3))/(2/969). Let f = -170 + m. Suppose 5*b = b + f. Is b a prime number?
False
Let s = 0 + -4. Let r = s - -4. Suppose 3*m = 45 - r. Is m a prime number?
False
Let t = -61 + 166. Let d be (t/20)/((-2)/(-8)). Let v = d - 2. Is v a composite number?
False
Let f(y) = y**3 + 5. Let s be f(0). Suppose 5*a + 0*r = -4*r + 119, -3*a = s*r - 74. Suppose u + 4 = a. Is u composite?
False
Let f be ((-46)/6)/(3/(-63)). Let y(w) = w**2 + 3*w + 14. Let q be y(-11). Let v = f - q. Is v a prime number?
True
Suppose 2*v - 213 = -v. Suppose 0 = -5*i - 4*c + 387, -2*i = -3*i - 4*c + v. Is i composite?
False
Let w(c) = -c - 1. Let f be w(-1). Suppose f = -3*y - 36 + 195. Is y composite?
False
Is -1 + 56 + 3 + 1 a composite number?
False
Suppose 2*g + y - 284 = 350, 0 = -5*g + y + 1585. Is g a prime number?
True
Let s(p) = 18*p + 5. Is s(16) a composite number?
False
Suppose 2*a - 5 + 1 = 0. Suppose 5*q - 6*q - i + 62 = 0, 3*i = -a*q + 119. Is q prime?
True
Let d(v) = -v**3 + 5*v**2 + 3. Let x be d(5). Let a(g) = -38*g - 5. Let k be a(-2). Suppose -q + k = t + x*t, 0 = t + 2. Is q a prime number?
True
Let d be 2/(-2) + 27*1. Is -3 + (d - 2) + -2 composite?
False
Suppose 3*j = -4*y + 6*y + 191, 4*y = 4*j - 256. Let i be (-939)/(3*-1) - 1. Suppose -3*a = j - i. Is a prime?
True
Let y(i) = 216*i + 2. Let b be y(-2). Is 18/(-12) - b/4 prime?
False
Let z = -652 - -1139. Is z composite?
False
Let l(m) = -m**3 - 7*m**2 - 7*m - 4. Let x be l(-6). Suppose -x*c - 2*a = -12, 5*c - 2*a - 3*a + 20 = 0. Let f(d) = 35*d**3 - d**2. Is f(c) a prime number?
False
Let d(v) = 4*v**3 + 2*v**2 + 6*v - 9. Is d(5) a prime number?
True
Let d(o) be the second derivative of o**3/3 - 15*o**2/2 + 2*o. Let w be d(10). Suppose 220 = -p + w*p. Is p prime?
False
Let a(x) = -3*x + 0*x**3 + 1 + 5*x**2 + x**3 - 3*x. Is a(-5) prime?
True
Suppose -4*z - 3*g + 15 = 0, -5*z + 5*g + 4 = -6. Suppose z*q - 5 = 1. Suppose 2*k - 10 = 0, q*i - 3*k - 95 = -0*i. Is i composite?
True
Let b be -2 + (1 + -2 - -7). Let l = b + -6. Is (4 + l - -34) + 1 composite?
False
Is ((-3716)/6)/((-6)/9) a composite number?
False
Let b(x) = x**3 + 14*x**2 + 6*x + 7. Let i be b(-8). Suppose 5*p + 68 = i. Is p prime?
False
Suppose 3*j - 4633 = -4*m, -5*j - 3*m + 9119 = 1401. Is j a prime number?
True
Suppose 2*x = -17 + 655. Is x composite?
True
Let g(k) = 40*k**2 + 5*k - 2. Let j be ((-3)/5)/(5/(-25)). Is g(j) a composite number?
False
Let d(p) = -7*p**3 - p**2 - 1. Let u(c) = -c**2 - 7*c + 6. Let b be u(-8). Is d(b) a prime number?
False
Let m(i) = 3*i**3 + 7*i**2 - 3*i - 4. Let q(d) = -7*d**3 - 14*d**2 + 7*d + 7. Let v(y) = -5*m(y) - 2*q(y). Let h be v(-7). Let p = h - -24. Is p a prime number?
True
Let l(u) = 665*u**3 - 2*u**2 + 3*u + 3. Let x(n) = 332*n**3 - n**2 + n + 1. Let d(c) = 2*l(c) - 5*x(c). Is d(-1) composite?
False
Suppose 8*f - 10*f = -278. Let p = f + -28. Is p a prime number?
False
Suppose -2*i + 5*c = -19, i + 0*c - 8 = c. Is i a composite number?
False
Let k be 5*6*(-16)/(-20). Let q = k + 10. Is q composite?
True
Suppose 2*r + r - 2268 = 0. Let g be 300 - 0 - (-4 + 0). Suppose -r = -4*n + g. Is n prime?
False
Suppose n + 38 = -5*z - 2*n, 27 = -4*z + n. Let y = z - -9. Is y a prime number?
True
Suppose 7*v - 2*v - 80 = 0. Let p be (-1)/(6/(-3))*34. Let a = p + v. Is a prime?
False
Let j = -4 - -4. Suppose -2*t + 9 - 3 = 0. Is 0/t - (-83 - j) composite?
False
Let l(z) = 1. Let x(h) = -h**2 + 5*h + 3. Let m(b) = -6*l(b) - x(b). Is m(-6) prime?
False
Suppose 0 = 2*u - 2, -2*u = 3*c + u - 270. Is c composite?
False
Suppose -h = 2*o + 5 - 2, -o = 0. Let z be (-2760)/(-18) - (-1)/h. Suppose 0*a - z = -3*a. Is a a prime number?
False
Let p be (8/10)/((-1)/(-125)). Suppose -p = -4*z + 112. Is z a composite number?
False
Let j(n) = 132*n**2 + 10*n - 1. Is j(3) a prime number?
True
Suppose 6*r - 2*r = 4*g + 2644, -5 = -5*g. Is r/3*3/2 a prime number?
True
Suppose -2*c + 88 = -1206. Is c prime?
True
Let c(f) = f**3 - f**2 - f. Let t(n) = 4*n**3 - 8*n**2 - 4*n - 1. Let a(k) = 6