False
Let a(w) = 2*w**2 + 0 + 13*w - 6*w + 9 - 3. Let z(d) = -d**2 + d - 5. Let g be z(0). Is a(g) prime?
False
Let x = 69 - 254. Let j be x/(-4) + 5/(-20). Is (15/6 - 2)*j composite?
False
Suppose 0 = -3*l + 24 + 18. Suppose 0*f - f + l = 0. Is f composite?
True
Suppose 4*s - 5 = l, -5*l + s = -26 - 44. Is l a composite number?
True
Suppose -r = -0*r - 48. Suppose -5*a + r = -a. Suppose 5*o - 4*o - a = -5*d, 3*o + 2*d = 101. Is o composite?
False
Suppose -u + 5*i + 854 = -77, -5*i = 2*u - 1832. Is u prime?
False
Suppose 4*k = 2*o - 298, k + 447 = 3*o - 0*k. Let l = o - -150. Is l prime?
False
Let x(m) = -5*m**3 - 35*m**2 + 43*m + 25. Let f(g) = 3*g**3 + 18*g**2 - 22*g - 13. Let d(t) = 7*f(t) + 4*x(t). Is d(13) prime?
False
Let c(a) = a + 406. Let s be c(0). Suppose 3*n - 167 - s = 0. Is n prime?
True
Suppose -3 = -d, -2*d = -5*a + 3*d + 250. Is a prime?
True
Let w be ((-8)/(-6))/((-8)/(-12)). Suppose 0 = -3*y + w*y + 97. Is y prime?
True
Let y = 241 - 157. Let l = y - 33. Is l a prime number?
False
Let p be -1 + 4 + 79 + 0. Suppose -3*o + 246 = 4*u, 0*u = -o + 3*u + p. Is o prime?
False
Suppose -2 = 2*f - 6. Suppose -f*s = 0, 3*d + s + 3*s - 87 = 0. Let x = d - 6. Is x composite?
False
Let p(v) = -835*v. Is p(-1) prime?
False
Suppose -5*w - q = 21 + 15, 0 = -3*w - 4*q - 25. Is (-1 - 0)/(w/413) prime?
True
Is 0 - ((-4)/2)/((-4)/(-194)) a composite number?
False
Suppose 667 = 4*h - 229. Let k be (-1 - -43) + (-3)/1. Suppose 5*p = h - k. Is p prime?
True
Suppose 549 = 6*h - h + 4*f, -5*h = -3*f - 542. Is h a prime number?
True
Let v = -3 + 40. Is (-14)/(-4)*(v - 3) a prime number?
False
Let i = -9 - -9. Suppose -2*c + 5 + 45 = i. Is c a prime number?
False
Suppose -f + 2 = 3*d + 5, -5 = 5*d. Let h(g) = g + 165. Let k be h(f). Suppose 3*z = 4*b + k, 192 = 4*z + 3*b + b. Is z prime?
False
Let l = 55 + 30. Is l prime?
False
Suppose 0 = 2*f - 34 - 108. Is f a prime number?
True
Let s be 97*((-1 - 0) + 2). Suppose o = 6*o + 330. Let t = s + o. Is t a composite number?
False
Suppose 5*u - 459 = 286. Is u a composite number?
False
Let h(k) = 2*k**3 - 8*k**2 - 5*k + 4. Is h(7) a prime number?
True
Suppose -5*y + 7*y - 6548 = 0. Is y a prime number?
False
Let p = -762 + 1231. Is p prime?
False
Suppose 6*p - 372 = 2*p. Suppose 3*v - p = -4*y, -y - 124 = -4*v + y. Is v composite?
False
Let c(g) = -4 + 10*g**3 + 7*g**2 + 3 - 4 + 3*g. Let n(p) = -5*p**3 - 4*p**2 - 2*p + 3. Let v(u) = 4*c(u) + 7*n(u). Is v(1) a prime number?
False
Let r be 2/(-5) - (-134)/10. Let i = r - -34. Is i prime?
True
Let t(f) = -2*f - 6. Let h be t(5). Suppose 0*i = 4*i + 4. Let n = i - h. Is n a composite number?
True
Let j(v) = 0*v - v + 9 + 13 + 15. Let i = 1 - 1. Is j(i) a prime number?
True
Let r be (-1 - (-1 - -1)) + 24. Suppose 2*v = -4*x + 76, -v + 12 - 69 = -3*x. Suppose 2*l - x = r. Is l prime?
False
Let f(b) = -8*b + 5. Let j(q) = -6*q + 3. Let t be j(2). Is f(t) a prime number?
False
Let p(x) = 50*x + 35. Is p(9) composite?
True
Let f(o) = o**3 - 5. Is f(6) a composite number?
False
Suppose 4*m - c = 12, m - 5*c = -0*c - 16. Suppose -5*l - 2*z + 241 = 0, -10 - 2 = -m*z. Is l prime?
True
Let v(x) = x**3 - 5*x**2 + x - 4. Let t be v(5). Let k be t - (1 - 1) - -142. Suppose 0 = 3*d + y - k, 4*d + 0*y - y = 186. Is d prime?
True
Let r(d) = -d**2 + d + 16. Let a be r(0). Suppose -4*n + 532 = -0*n. Let q = a + n. Is q composite?
False
Let x = 1 - 0. Let q be (1/1)/(x/1). Is q/2 - 162/(-12) a prime number?
False
Suppose -c = c - 14. Suppose 0 = b, -t = -c*b + 3*b - 257. Is t composite?
False
Suppose -4*i = -3*m - m - 4, 5*i - 7 = 3*m. Let d(q) = 9 + 6*q + 0*q**2 - q + 4*q**i - 4. Is d(-6) a prime number?
False
Suppose -5*u - 2*a = -2525, -1524 = -u - 2*u - 3*a. Is u prime?
True
Let s(o) = -95*o + 1. Let k(g) = 47*g. Let j(i) = 5*k(i) + 3*s(i). Let y be j(-6). Suppose -5*c + y = 4*a, 2*a + 2*c - 69 = 83. Is a a composite number?
True
Suppose -s = 3*s - 88. Suppose j - 2*x = s + 11, 4*j - 132 = -4*x. Is j prime?
False
Let i = -77 - 12. Suppose -59 = 3*v - 173. Let t = v - i. Is t a composite number?
False
Suppose 3*v = 4*s - 1218, -5*v - 29 = -s + 284. Let z = 280 + -486. Let l = z + s. Is l a prime number?
True
Let u(d) = d**3 - 4*d**2 + 4*d - 3. Let c be u(3). Suppose c = p - 6*p + r - 5, 0 = 3*p - 5*r - 19. Is (-1)/(p + (-531)/(-267)) composite?
False
Let u = 1 - -6. Is u prime?
True
Suppose 2*p + 7 = 3*c, 0*p - 3 = 3*p + 3*c. Let f = 5 - p. Is f a composite number?
False
Let k(z) = -3*z. Let r be k(-1). Let y be r - -4*3/6. Suppose y*n = -0*n + 155. Is n a composite number?
False
Is (-714)/(-4)*8/12 prime?
False
Is 2/13 - (3 - (-23760)/(-26)) composite?
False
Suppose -4*h = 4*i - 3972, 0*h + 5*i + 2963 = 3*h. Is h a composite number?
False
Let t = -3 + 4. Let x be (-1)/(t + (-2)/3). Is (-3)/((-2)/(-92)*x) a composite number?
True
Let d be (2/(-6))/((-5)/150). Is 366/d + 4/10 a prime number?
True
Let p(r) = -8 - 4*r + r + 7*r - r**3 + 8*r**2. Is p(7) a composite number?
True
Suppose 0 = -18*v + 7*v + 649. Is v prime?
True
Suppose 3*f = -3*h + h + 3892, 8 = 4*f. Is h a prime number?
False
Let h = 0 + 557. Is h a prime number?
True
Suppose 3*y - 35 = 2*y. Suppose 2 = g - y. Is g prime?
True
Let j = -6 - -3. Let y(f) = 2*f + 4. Let p be y(j). Is (-1)/p - 134/(-4) a composite number?
True
Let n = 4 + -7. Suppose 0 = 5*p - m - 4*m - 30, m = 0. Is -2 + 123 + p/n prime?
False
Let r be (1/2)/((-2)/(-268)). Let u = r - 34. Is u a prime number?
False
Let a(y) = -56*y + 11. Is a(-7) a prime number?
False
Is (-1 + -2)/((-15620)/(-3908) + -4) a composite number?
False
Let n = 1280 + -723. Is n prime?
True
Let r(p) = 8*p - 11. Is r(6) composite?
False
Suppose -3*u = -7*u. Let v = u - -9. Suppose -5*k + 96 = -v. Is k composite?
True
Suppose 25*x - 23*x = 3716. Is x composite?
True
Let v = -2457 - -4291. Is (v/21)/(4/6) a prime number?
True
Let y(c) be the first derivative of 21*c**4/4 - c - 5. Is y(2) composite?
False
Suppose 0 = -4*r - 3*x - 44 - 4, 0 = 3*x - 12. Let g = r + 10. Is ((-211)/g)/(7/35) a composite number?
False
Suppose 0 = b + 2*x - 5, 5*x - 12 = -b - b. Suppose -b = -5*s + 19. Let f = 10 + s. Is f composite?
True
Let a(m) = -21*m - 3. Let q(w) = -43*w - 5. Let f(z) = -7*a(z) + 4*q(z). Is f(-1) prime?
False
Suppose 0 = a - 129 - 49. Is a composite?
True
Suppose 1350 = 4*p + p. Let k = p + -121. Is k composite?
False
Is 522/4 + 1 - 6/(-4) a composite number?
True
Suppose 4*q = 5*p - 2471, p - 242 = -q + 254. Suppose -c + 6*c + p = 0. Let x = -32 - c. Is x a prime number?
True
Suppose 1 + 3 = -4*p. Let h(i) = -1478*i**3 - i**2. Is h(p) composite?
True
Let g = 1203 - 821. Is g composite?
True
Suppose -2*q + 0*f - 2*f = -886, 2 = -f. Is q prime?
False
Let b = 41 + -42. Let p(j) = -23*j - 61*j + 15*j. Is p(b) prime?
False
Let i(w) = 41*w - 3. Is i(1) a prime number?
False
Let n = 215 + 38. Let b = -144 + n. Is b a prime number?
True
Let f(x) = -204*x**3 + 4*x + 3. Let z be f(-2). Suppose z - 522 = 5*q. Suppose 0*c - c + 201 = 2*k, -q = -c + 2*k. Is c a prime number?
True
Suppose 29 = 4*i + 5*h - 217, 4*i = 5*h + 226. Is i composite?
False
Suppose 5*i - 315 - 320 = 0. Is i a composite number?
False
Suppose 0 = -2*o - 5*x - 336, 2*x + 2*x = -2*o - 338. Let w(q) = 6*q**2 - 7*q - 9. Let b be w(-7). Let f = o + b. Is f a prime number?
False
Let s = -1031 + 1528. Is s a composite number?
True
Suppose -2 = -3*p - 5. Let u(g) = -g**2 - 70*g**3 - 4 - 3 - g + 6 + 4*g**3. Is u(p) a prime number?
False
Suppose 2*y = 1 + 1. Is -257*(-2 - (-1)/y) a prime number?
True
Let m(d) = d**3 - 11*d**2 + 8*d - 3. Let v be m(10). Suppose -4*t - p + 468 = -2*p, -3*p - 460 = -4*t. Let s = v + t. Is s a prime number?
False
Let r = -7 - -4. Let v be -54 + (3/r - -1). Let f = v + 85. Is f composite?
False
Suppose -3*d + 3*h = -1017, -4*d - h - 572 = -1938. Is d a composite number?
True
Let k(z) = -z + 480. Let b be k(0). Suppose 5*c = -5*w + b, c + 4*c - 479 = -4*w. Is c prime?
False
Suppose 2*h + 3*h - 25 = 0. Let q(d) = -2*d**2 + 6*d - 3. Let a be q(h). Let y = a - -46. Is y composite?
False
Let f(k) = 4*k**3 + 6*k**2 - 5*k - 3. Suppose 0 = j + 2*j - 12. Is f(j) a prime number?
False
Is ((-656)/24)/((4/66)/(-1)) a prime number?
False
Suppose 5 = 3*j + q - 3, -4*q + 8 = 0. Is (-4)/j*(-93)/6 a composite num