Let j be b(3). Let f be (-16)/j*(-1)/(-1). Suppose -f*y + 0*y = -26. Is y prime?
True
Let i(q) = q**2 + 11*q + 20. Let h be i(-9). Suppose -v = -4*b + 216, 0*b = -b - h*v + 63. Is b prime?
False
Suppose -t - 4*j - 174 = -6*t, -2*j - 172 = -5*t. Is t composite?
True
Suppose b - 4*t = 0, 4*b - t = 2*t + 39. Is (3272/b)/((-2)/(-3)) a prime number?
True
Let p = 9 - 6. Let h be (-4)/(-2) + -2 + p. Suppose -3*a + 146 = 5*s, 3*a - 78 = -h*s - 2*a. Is s a prime number?
True
Suppose 5509 = -4*i + 14481. Is i composite?
False
Let d = 6 + -2. Suppose -5*g = -5*p - 445, -d*p - 8 + 0 = 0. Is g a composite number?
True
Let r(w) = -9*w**2 + 0 + 0 + 4*w + 0*w. Let a be r(-4). Let y = -71 - a. Is y a composite number?
False
Suppose -940 = 3*x - 7*x. Is x composite?
True
Let u(w) = -w - 9. Let m be u(-7). Let v = m - -3. Let z(y) = 79*y**2. Is z(v) prime?
True
Suppose 3*l + 295 = 4*l. Is l a composite number?
True
Let q(c) = -2*c**3 - 3*c**2 + 10*c - 7. Is q(-8) prime?
False
Suppose 3*p = 4*g + 1, 5*p + 3*g - 7 = 7*g. Suppose 0 = -2*b - p*b. Suppose b*l = 5*u - 4*l - 1107, u + 3*l - 229 = 0. Is u a prime number?
True
Suppose 4*s + 3*y = 143, -y = -3*y - 6. Suppose 0 = -2*d + 4*b - 0 + s, 0 = -2*d + 2*b + 38. Is d composite?
False
Suppose -342 = -m + 334. Suppose -4*d + 4*q + m = 0, 2*d - 5*q = 3*d - 199. Let l = d + -119. Is l prime?
False
Suppose 3*p + 4*x = -x + 2116, 0 = 2*p + 4*x - 1410. Is p composite?
True
Let z(f) = 16*f**3 - 11*f**2 - 6. Let s(m) = 3*m**3 - 2*m**2 - 1. Let i(h) = 11*s(h) - 2*z(h). Let c be i(1). Suppose 4*j = c*j + 74. Is j composite?
False
Let k = -51 - -316. Is k composite?
True
Let m = -76 - -27. Suppose -4*a + 32 = 144. Let x = a - m. Is x prime?
False
Suppose 2*c - 6 = c. Let m(l) = 4*l**2 - 10*l + 7. Is m(c) a composite number?
True
Suppose 7*r - 2*r + 694 = 2*f, r + f + 143 = 0. Let i = 237 + r. Is i composite?
False
Let k = 6 - 2. Suppose -2*g - 84 = -314. Suppose -k*l + g = l. Is l a composite number?
False
Let l(i) = 2*i**3 - 6*i**2 - 4*i - 3. Is l(10) a prime number?
False
Let i = 7 - 3. Let l = 2 - i. Is (-104)/l - 2/(-2) prime?
True
Is (-211)/2*(1 - 3) a prime number?
True
Suppose -1705 = -5*a - 4*z, 0*a + 3*a + z = 1016. Is a prime?
True
Let p be 2/(-3)*(0 - 3). Suppose 0*a - 393 = -5*j - 2*a, -134 = -p*j + 5*a. Is j a prime number?
False
Suppose -3*x + 1193 = -901. Is x a composite number?
True
Suppose -8*d + 2*b = -3*d, -5*d = b. Suppose d = 4*l - 218 - 170. Is l prime?
True
Suppose -o + 336 - 118 = 0. Suppose -68 = 3*v - o. Suppose 0 = r + r - v. Is r prime?
False
Let x be 8/6 - 4/(-6). Suppose x*n - 285 = 329. Is n a prime number?
True
Suppose -r = 1 - 3. Suppose 115 = 3*p + r*p. Is p a prime number?
True
Let c(j) = -83*j**2 - 6*j. Let g(f) = -f**2 + 2*f - 3*f + 2*f. Let u(v) = -c(v) - 6*g(v). Is u(-1) composite?
False
Suppose q - 672 = 3*q. Let n = q + 497. Is n composite?
True
Suppose -4*o = 3 + 5. Let v be (-1)/o - 67/(-2). Suppose -f - v + 121 = 0. Is f a composite number?
True
Let y = 1 + 1. Suppose 0 = y*u - t - 4, 0*u + 4*u - 5*t - 14 = 0. Suppose 24 = d - u. Is d prime?
False
Suppose 3 = 3*n - 3*g + 4*g, -3*g = 3*n + 3. Let b = 12 + n. Is b a prime number?
False
Is (3035 - 8/(-2)) + -2 a prime number?
True
Let x(r) = 3*r**2 + 3*r. Let l be x(-2). Is (254/l)/((-2)/(-6)) composite?
False
Is 134*((-44)/(-8) - 4) a prime number?
False
Let c = -4 + -2. Let h = 32 - c. Is 4/2*h/4 a composite number?
False
Suppose 0*b - v = -4*b + 154, 74 = 2*b + v. Let x(l) = -l**2 - 8*l + 10. Let d be x(-7). Let z = b - d. Is z a composite number?
True
Suppose 4*k + 0 - 16 = 0. Suppose 4*u - u = -b + 154, -k*b + 649 = u. Is b prime?
True
Suppose 0*u - 441 = -3*y - 2*u, -4*y + 5*u + 565 = 0. Is y a composite number?
True
Let l = 36 + 137. Suppose -5*g + 3 = -17, -l = -5*s - 2*g. Is s prime?
False
Let i(t) be the first derivative of 19*t**5/60 + t**4/24 - t**3/6 + t**2/2 - 2. Let h(y) be the second derivative of i(y). Is h(1) a composite number?
False
Let m = -13 - 5. Let y be 16/(-9) - (-4)/m. Is (4/(-4))/(y/26) prime?
True
Let n = 476 + -331. Is n a prime number?
False
Suppose -l - 192 = l. Let z = -41 - l. Is z a composite number?
True
Let l(r) = 85*r**3 - 3*r**2 + r + 1. Let n be l(2). Suppose 0 = u + 2*h + 212, -5*h + 30 = 3*u + n. Let v = u + 337. Is v composite?
True
Let b(n) = -n**2 + 4*n + 1. Let w be b(4). Let o(c) = c + 1. Let y be o(w). Suppose -2*q - 230 = -4*l, -q + 127 = y*l + 2*q. Is l composite?
False
Suppose -8*a + 4*x = -6*a - 5818, -2*a + x + 5830 = 0. Is a a prime number?
True
Let f(i) = 4*i**3 - i**2 - 2*i + 4. Is f(3) a composite number?
False
Suppose -3*u - 49 = 6*l - 4*l, 2*u + 32 = -l. Is 12/u*(-30)/4 prime?
False
Suppose -u + 1872 = 4*z, -946 = -2*z - u - 2*u. Is z a composite number?
False
Let m(d) = -69*d**3 + d**2 + d. Let w be m(-1). Suppose 3*c + z = -z - 139, -3*c - 145 = -4*z. Let j = w + c. Is j prime?
False
Suppose 2 = 3*h - 4. Let m be (-21)/(h + 1) - -1. Let s(n) = -2*n - 2. Is s(m) a prime number?
False
Let a(p) = -p**2 + p + 65. Is a(0) prime?
False
Suppose 0 = -0*s + 2*s - 62. Is s a prime number?
True
Let q be 1*((-1 - 1) + 8). Let x be 0*(q/4 + -1). Is -1 - (-37 + 1 + x) prime?
False
Let j be ((-152)/10)/((-1)/10). Suppose 3*a = -a + j. Is a prime?
False
Suppose 15 = -w - 5*m, -3*w = -w - 2*m - 18. Suppose 6 - 21 = -w*p. Let b = 24 - p. Is b a composite number?
True
Let c(j) = j**2 - 2*j - 3. Let b = 10 - 7. Let k be c(b). Suppose 4*u - 232 + 44 = k. Is u prime?
True
Let b(w) = -8*w - 25. Is b(-10) a composite number?
True
Let f(y) = 2*y - 8. Let d be f(6). Suppose 2*b = d, -5*b + 518 = 3*j + j. Is j prime?
True
Let w(l) = l**3 + 5*l**2 - 9*l + 1. Let o be w(-7). Suppose 0*h + 4*h = 340. Let c = h - o. Is c composite?
True
Suppose 12 = -13*u + 16*u. Suppose 2*h - 2*q + 314 = 6*h, 3*h = -4*q + 223. Suppose u*j - 283 - h = 0. Is j composite?
True
Let r = 12 - -1155. Is r prime?
False
Suppose -2*u + 62 = -0*u. Is u a composite number?
False
Let h(v) = 7*v**3 + 11*v**2 + 7*v - 4. Let x(r) = r**3 + r**2 + r - 1. Let y(w) = -h(w) + 6*x(w). Let g be y(-5). Let k(u) = u**2. Is k(g) composite?
True
Let g be (24/(-20))/((-2)/60). Let z = 7 + g. Is z a composite number?
False
Let w be 14/(-4)*2*1. Let o = -6 - w. Is 12/(-20)*-95*o a composite number?
True
Let l be -3 + 2 + (6 - 2). Suppose l*r = r. Suppose 5*g = -r*g + 170. Is g prime?
False
Suppose 4*n - 22 = -o, -2*n + 0*n + 5*o = 0. Let r(z) = z**2 - 6*z - 3. Let p be r(n). Is p/6*(-84)/8 a composite number?
True
Let v(m) = -2*m + 2. Let h be v(-6). Suppose -3*q + 23 = 4*b - 5, 0 = 2*b + 5*q - h. Is b a prime number?
True
Let j(p) = -4*p**3 - 2*p - 3. Let k be -5*(0 + (-2)/(-5)). Is j(k) a prime number?
False
Let j(b) = -b**2 - 7*b - 1. Suppose -2*q - 5 = 9. Let h be j(q). Is ((89/1)/(-1))/h a prime number?
True
Suppose -f + 4 = 5*r + 29, 0 = -3*f - 5*r - 25. Suppose 0*u + u = f. Suppose u*l + 52 = 4*l. Is l composite?
False
Let i = 194 + -91. Is i a prime number?
True
Let m(x) = -170*x - 6. Let i be m(-6). Suppose -a + n = 4*a - i, -3*n + 1018 = 5*a. Is a prime?
False
Let m(w) = -2*w + 2. Let p = -4 - -2. Let j be m(p). Let l(r) = r**2 - 3*r - 8. Is l(j) a composite number?
True
Let w(x) = -2072*x - 19. Is w(-3) a prime number?
True
Suppose -2*u - 2*x = 3*x + 15, u = 3*x + 9. Suppose u*b = -5*b + 300. Suppose -2*k = 10, -4*m + k + b = -3*k. Is m composite?
True
Is 4*((-204)/(-16) - -2) a prime number?
True
Suppose -5*y - 2*l + l = -14, -5*y - 4*l = -11. Suppose -3*f = -r - 531, 4 = y*r - 5. Is f prime?
False
Suppose 0 = 2*d + 3*d. Let g = 25 + d. Suppose 2*o + g = 3*o. Is o a prime number?
False
Let r(p) = -2*p**3 - 18*p**2 - 9*p - 10. Is r(-9) composite?
False
Suppose 0 = -4*g - 2*n + 460 + 254, -900 = -5*g - n. Is g composite?
False
Suppose 8 + 13 = -x. Is 233/5 + x/35 prime?
False
Suppose 5*f + 75 = -5*v, f - 6*f - 4*v = 78. Suppose p = 5*p + 124. Let m = f - p. Is m composite?
False
Suppose -5*c + 432 = -3*f - 8, -2*f - c = 289. Let t = f + 38. Let u = -60 - t. Is u a composite number?
False
Let c(p) = 483*p + 17. Is c(4) composite?
False
Suppose 33 = 5*k + 8. Suppose -k*j + 20 = -70. Suppose -o + 37 = -j. Is o a composite number?
True
Let h(r) = 12*r**2 + r - 2. Let n(s) = s**2 - s + 3. Let p be n(0). Is h(p) a composite number?
False
Let 