*w - 4*z - 11945 = 0, -5*w = -2*z + z - b. Is w prime?
False
Let n(l) = -20345*l - 193. Is n(-2) a prime number?
False
Let z(p) = 674*p**3 - p + 2. Let j be z(1). Suppose -5*g + j = u - g, u + 2*g - 683 = 0. Is u composite?
False
Suppose -178*y + 11436 = -166*y. Is y a composite number?
False
Let r = -2704 + 5547. Is r a prime number?
True
Let q = 46 + -31. Suppose 2*t = q + 39. Suppose 3*l + i + 2*i = 54, 0 = -l - 4*i + t. Is l a composite number?
True
Let y = -4777 - -10004. Is y a prime number?
True
Suppose o = 3*o - 6. Let y = o + 2. Suppose -4*c + 1074 = 2*n, 0 = 5*n + y - 0. Is c prime?
True
Let t(f) = 3*f**3 - 6*f**2 - 26*f - 2. Is t(7) a prime number?
False
Let g be (-2 - 45/(-12))*4. Let f(b) = 10*b**2 - 10*b + 1. Let r(l) = -l**2 + l. Let i(o) = f(o) + 5*r(o). Is i(g) a prime number?
True
Let c be (-8)/(-5)*-3*20/(-24). Is 46 - -3 - c/(-1) prime?
True
Let a = -13206 - -30843. Is a composite?
True
Suppose 3*g + 3*h - 14 = 16, 3*g - 2*h = 30. Suppose 8*k - g*k = 2290. Let c = k + 1942. Is c prime?
True
Suppose 5*t - 3400 = -5*b, -2723 = -4*t + 9*b - 12*b. Is t composite?
False
Let i(x) = 2209*x + 4. Is i(1) a composite number?
False
Suppose -4*n - 2*n = -60. Let k = n - 7. Suppose -5*m - 231 - 1135 = -2*j, 1334 = 2*j + k*m. Is j prime?
True
Is (-1 + 1 - 12011)/(-68 - -67) a composite number?
False
Let n be -10*((0 - -2) + -3). Suppose -n*r + 7*r - 462 = 0. Let g = r + 247. Is g composite?
True
Let r(t) = t**3 - 2*t**2 + 2*t - 3. Let j be r(2). Let z be 4 - -1 - 1/j. Suppose 0*o = -2*h - z*o + 16, -1 = -h + 5*o. Is h composite?
True
Let i = -19 - -7. Let l = 199 - i. Is l prime?
True
Suppose 0 = 3*n - 7*n + 1600. Let a(b) = -2*b**2 - 12*b + 5. Let f be a(-13). Let p = n + f. Is p a prime number?
True
Let a be 2/6 - (165/9)/(-5). Suppose -a*f + 1752 = -1060. Is f composite?
True
Let p(g) = 11*g - 1. Let w be p(1). Is ((-898)/8)/(w/(-40)) prime?
True
Suppose 7027 = 7*q - 10564. Is q prime?
False
Let i = 1784 - -10575. Is i composite?
True
Let t = -40 + 56. Suppose -y = 3*m + y - 8, -5*m = 2*y - t. Suppose 0 = 2*u + u, m*w - 1772 = u. Is w composite?
False
Let f = 117 + 82. Suppose c = 480 + f. Is (c/(-1))/(0 - 1) composite?
True
Let t = -300 + 395. Is t prime?
False
Let w = 6968 - 4149. Is w a composite number?
False
Suppose -4*a + 4433 = 1393. Suppose u + a = -3*u. Let o = u + 453. Is o a prime number?
True
Suppose 601107 = -0*m + 39*m. Is m prime?
True
Is 3 - (6 - 4) - 4 - -4990 composite?
False
Suppose 2*v - 6*v - 8 = 0, 4*q = 2*v + 8. Is q/(((-2)/4)/(382/(-4))) composite?
False
Let c(j) = -56*j - 6. Let k(f) = 19*f + 2. Let n(q) = 6*c(q) + 17*k(q). Let x be n(-11). Let o = x + 5. Is o prime?
False
Let u(y) = -5*y**3 - 2*y**2 + 1. Let o be u(-1). Suppose -3*h + o = -h. Suppose -q + 122 = -5*b + 39, -106 = -h*q - 2*b. Is q prime?
False
Let m(r) = -3*r + 77. Is m(0) a prime number?
False
Let n be -3*(4/(-3))/(-1). Suppose 68 = 3*z - y, -5*y = -5*z + 2*z + 88. Is 2505/z - n/(-14) a composite number?
True
Let m(o) = -3*o**2 + 19*o - 5. Let z be m(4). Suppose -z*a + 14*a + 10791 = 0. Is a prime?
False
Let s(u) = 5*u**3 - 1 + 4*u**2 + 2 - 84*u + 81*u. Is s(3) prime?
True
Suppose -3*y = -4*x + 41128, -3*y + 75968 = 5*x + 24585. Is x a prime number?
False
Suppose u = 124 + 583. Is u composite?
True
Let g = -2 + 6. Let p be g/(-6) - (-13544)/(-24). Is 3/(6/(-4)) - p a prime number?
True
Let j be 8/(-20) + 85/25. Suppose j*m + 0*m = 3*k + 372, 5*k - 130 = -m. Let l = m + 173. Is l a composite number?
True
Suppose 0 = -a - w - 415 + 116, -917 = 3*a - w. Let h = 445 + a. Is h prime?
False
Let q = 2028 + -815. Suppose m = q - 426. Suppose -3*t - t = -d + 273, 4*t = -3*d + m. Is d composite?
True
Let y = 7135 - 4956. Is y a composite number?
False
Let u = -14 + 19. Suppose j - 3762 = -3*s, u*s - 5017 = s - j. Is s composite?
True
Let k = 1 - -2. Suppose 0 = -5*f + k*f + 102. Suppose -3*p + f = -2*p. Is p a composite number?
True
Suppose 8*l + 497 - 4513 = 0. Is l composite?
True
Let c(k) = 3*k**2 - k - 1. Let b be c(-1). Suppose b*i = 444 - 0. Let s = 207 - i. Is s a prime number?
True
Suppose j = -4*v + 23692, v + 4*j = -v + 11846. Is v composite?
False
Let j(l) be the first derivative of l**5/30 - l**4/24 + l**3/6 + 2*l**2 + 1. Let h(c) be the second derivative of j(c). Is h(-6) a composite number?
False
Let p(y) = 63*y**2 - 14*y + 23. Is p(8) composite?
False
Suppose 4*l = -7*p + 12*p + 10238, -4*l = 5*p - 10218. Is l prime?
True
Suppose 3*u + 4*g = 5122, -5*u + 5475 = 4*g - 3059. Is u composite?
True
Suppose -2*v - 620 = -5*w, 4*w - 1212 = 4*v + w. Let r = v + 799. Is r composite?
False
Let m = -3137 - -5983. Is m a composite number?
True
Let g be ((-244)/(-8) - -1)*2. Suppose g = y - 161. Suppose -5*a + n = -2*n - y, -2*n - 88 = -2*a. Is a prime?
False
Is ((-53)/2)/(14/(-12404)) composite?
True
Suppose -3*m = -o + 148, 6*o = 4*o - 2*m + 288. Is o a composite number?
True
Suppose 3*c + 4*h + 3439 + 224 = 0, 0 = -4*c - 4*h - 4884. Let i = -548 - c. Is i a prime number?
True
Suppose 3*h - 20 = -x - 7, -8 = -h - 4*x. Suppose 3*z = -h*d + 165, 0 = -2*z - 2*d + 124 - 12. Is z composite?
False
Let i(s) = 26*s**2 - 4*s**2 + 10 - 11*s**2 - 3*s**2 - s. Is i(-7) a prime number?
True
Suppose -560118 = -80*n + 5110362. Is n prime?
False
Let h = -271 + 159. Let d = h - -741. Is d a prime number?
False
Suppose r + 5*t = 65, -5*r + 0*r = -t - 273. Suppose -r*g + 177 = -52*g. Is g prime?
True
Let v(q) = -2*q**2 - 2*q - 3. Let a be v(-9). Let f = 326 + a. Is f a prime number?
True
Suppose -222 - 674 = -4*m. Let o = m - 74. Let p = 229 - o. Is p a prime number?
True
Let r = 18 - 18. Suppose -5*y + 4*j + 35203 = r, 8*y - j = 13*y - 35193. Is y prime?
True
Let w(h) = 13*h**2 + 17*h - 14. Let j be w(11). Suppose 3*t + 3*t = -j. Let q = t + 1246. Is q composite?
True
Let n = 52 + -50. Suppose -4 = -j, -2*p + 4*j + 1262 = n*j. Is p a composite number?
True
Let p = -68 - -75. Let n(v) = 10*v**2 + v - 18. Is n(p) a composite number?
False
Suppose 6*i - 21553 = 28157. Is i composite?
True
Suppose -2 = h - 4. Suppose p + 3*a = -a - 4, -h*a - 8 = 0. Suppose -2*x + p = -0*x. Is x a prime number?
False
Let n(k) = -215*k - 83. Is n(-8) composite?
False
Suppose -2*q = 0, -y + 3*q + 580 = -11179. Is y prime?
False
Suppose -f = -2*a - 3*f, -4*a = -3*f - 14. Is 220 + 2/a*3 composite?
False
Suppose -32170 = -5*g - 5*i, -7*i + 9*i + 19297 = 3*g. Is g a prime number?
False
Suppose -6*m - 6*m = 120. Is (-80782)/(-65) + (-2)/m a prime number?
False
Suppose -5*h - 39 + 134 = 0. Let i = h - -7. Suppose -4*f + 206 + i = 0. Is f prime?
False
Let y(q) = -7*q + 0*q + 0 + 3 + 0*q. Suppose 2 = -v - 15. Is y(v) prime?
False
Suppose -a + 3 = -0. Suppose -4*m + 1 = -19, 99 = -a*h - 3*m. Let b = 15 - h. Is b prime?
True
Let x = -380 + 3404. Let m = x - 2051. Is m composite?
True
Is -10 + (25940 - 9) - -2 prime?
False
Suppose -5*s + 3*d - 2*d - 10 = 0, 4*s + 29 = 5*d. Let o = -54 + 36. Is -7*(2 + s + o) prime?
False
Suppose 26526 = -9*o + 12*o. Is o a composite number?
True
Let g be (4 - (-1 + 0)) + -1. Suppose -306 = -t + n, t = g*t + 4*n - 911. Is t prime?
False
Let o be 1836/1 - (24 + -22). Suppose -o = -13*h + 2313. Is h composite?
True
Let s(r) = 1207*r**2 + r - 1. Suppose 0*u = 3*u + 2*h - 3, 4*u - 8 = -4*h. Is s(u) a prime number?
False
Let t = 21 - 21. Suppose t = -2*s - 0*s. Suppose -j = 4*a - 569, a + a + 2*j - 292 = s. Is a prime?
False
Let a = 1280 + -477. Is a composite?
True
Suppose 2*k - k = -100. Let u = -11 - k. Is u composite?
False
Let z = -6756 + 21029. Is z a prime number?
False
Let n(r) = -5*r + 52. Let j be n(9). Suppose j*x - 17059 = 19726. Is x prime?
False
Let y(j) = 77*j**3 + 16*j**2 + 7*j - 91. Is y(6) a composite number?
False
Is 25/(-10) - 32637/(-22) a prime number?
True
Suppose -3*k = -3*v + 24, -2*v - k + 5 = -11. Is (23/(-3))/(v/(-24)) prime?
True
Suppose 8*k = 162 - 18. Is 0 + -3 - (k - 470) a prime number?
True
Suppose -i - 70 = 159. Let m = -66 - i. Is m prime?
True
Let m be 2577/(-2)*32/(-48). Suppose -2*u - m = -5*g + 2*u, 0 = 5*g + u - 879. Suppose 2*k - 597 = -g. Is k a composite number?
False
Suppose 4*g - 36 = 5*o, 0 = g + 2*o - 0*o + 4. Is ((-2354)/g)/((-8)/16) a composite number?
True
Let p(h) = 3*h + 1. Let z be p(1). Let s be 3/z + (-2)/(-8). Let