Let n = -44 - -90. Suppose 0*k + k = n. Suppose b = -b + k. Is b prime?
True
Let b = -3 - -5. Suppose s - 3*j = -5*j + 9, -2*j = -b*s + 24. Is s a composite number?
False
Suppose -8482 = -7*x + 8745. Is x prime?
False
Suppose -6*v = -v. Let l(g) = g**2 - g + 331. Is l(v) a composite number?
False
Let g(h) = 4*h**3 - h**2 + h. Let j be g(1). Suppose -5*a - 11 + 30 = 3*o, -a = -j*o + 56. Is o a prime number?
True
Suppose 671 = 2*w - 2*i - 1073, 4339 = 5*w + 2*i. Is w prime?
False
Let s be 7 + -2*(0 - -1). Suppose -2 + 7 = s*f. Is (-1)/f - (1 + -23) prime?
False
Let z(w) = 47*w - 48. Is z(5) a prime number?
False
Let p(d) = d**2 + 57. Let o be p(0). Suppose -5*f - o = -3*i - 4*f, -2*i = -4*f - 38. Is i prime?
True
Let f be (120/42)/(6/21). Suppose 0 = -f*q + 11*q - 326. Is q a composite number?
True
Let u be -10 + -4 + (4 - 2). Is u*(0 - (-214)/(-8)) a prime number?
False
Let x(h) be the second derivative of -h**5/20 - h**4/2 - h**3 + 3*h**2 - h. Let w be x(-6). Suppose -b + 3*b - w = 0. Is b a prime number?
False
Suppose 2*w - z - 1532 = -2*w, 4*z = -w + 383. Let p = -204 + w. Is p a prime number?
True
Suppose j - 22667 = -5*s, -3*s = -0*j + 5*j - 13609. Is s composite?
True
Let j(q) = 36*q**2 - 5*q + 5. Is j(2) a prime number?
True
Suppose -1261 = -2*r - 479. Is r composite?
True
Let a = 8 + -13. Let d be (-5)/1 + 3 + a. Is 12 + -1 + (d - -7) composite?
False
Suppose -3*y + 252 = m, -3*m + 8*m - 240 = -3*y. Is y a composite number?
True
Let p(n) = 371*n**2 + n - 1. Suppose 2*v + 16 = -3*t + 6*t, -3*t + 4*v + 26 = 0. Let w be t/((-5 - -3)*-1). Is p(w) a composite number?
True
Let u be (-192)/30 + 4/10. Let r(f) = -2*f**3 + 1 - 5*f**2 - 4 + f**3. Is r(u) a prime number?
False
Suppose 3*z + 37 = o - 1, -4*o + 75 = -5*z. Let s(u) = u**2 + u - 7. Let i(y) = 3*y**2 + 2*y - 21. Let c(p) = z*s(p) + 4*i(p). Is c(-6) a composite number?
False
Suppose -5*i + i + 412 = 0. Suppose -s + 190 = 3*l - i, -s + 5*l + 293 = 0. Is s a prime number?
True
Let f(v) = -149*v + 31. Is f(-8) a composite number?
False
Suppose -7*h + 4*h = -93. Suppose 2*u = u + h. Is u a prime number?
True
Let l(c) be the first derivative of c**3/3 + 3*c**2/2 - 5*c - 2. Is l(7) composite?
True
Let v(f) = -4*f**3 - f**2 - f - 1. Let c be v(-1). Suppose 0 = c*d + d. Suppose 0*k = -k + 2*q + 147, 5*k - 5*q - 730 = d. Is k composite?
True
Let j = 283 + 1568. Is j a prime number?
False
Suppose -4*c - 2*n = 3*n - 84, -4*n = -4*c + 84. Is c prime?
False
Let r(t) = 2*t**2 - 16*t + 13. Is r(15) a prime number?
True
Let g(f) = 2*f**3 - 7*f**2 - f + 16. Is g(9) composite?
True
Suppose -5*j + 310 = 3*i + 2*i, 5*i - 248 = -4*j. Is j a composite number?
True
Let q(f) = -f**2 - 11*f + 1. Is q(-6) a composite number?
False
Let u = -249 + 398. Is u a prime number?
True
Let d(h) = -253*h**3 + 2*h**2 + 2*h + 1. Let t be d(-1). Let a = -169 + t. Is a a composite number?
True
Let a(k) = 3*k**2 + 2*k + 17. Is a(-6) prime?
True
Suppose -8*j + 3*j - 13 = -3*v, 3*v - 5 = j. Is j/(-4) + 234/4 a prime number?
True
Suppose -i - 4 = 3*b, -4*b - 2*i + 0*i = 8. Suppose 0 = -2*z - 2, 4*x + 2*z - 9 + 3 = b. Is (x - (2 + 1))*-23 a composite number?
False
Let k be (4/(-8))/(1/(-140)). Suppose -5*u + 265 + k = 0. Is u composite?
False
Let g(r) = -r + 21. Let y be g(7). Is (-5265)/(-21) - (-4)/y composite?
False
Let h be (-932)/12 - 2/6. Let w = h + 124. Suppose 0 = -5*t - l + w, 43 = 5*t - 0*l - 2*l. Is t prime?
False
Let v = -60 - -395. Is v a composite number?
True
Let c(j) = -5*j**2 - 5*j - 2. Let d be c(-3). Let b = d - -101. Is b a composite number?
True
Suppose -15 = 4*q - 3, -2*q + 1851 = 3*l. Let k = -441 + l. Is k prime?
False
Suppose 3*o + 61 = 172. Is o composite?
False
Suppose -3*d + 0*d = -4*w + 40, -4*w + 16 = 0. Let p = d - -11. Suppose -461 = -6*g + g - 3*x, p*g - 275 = -x. Is g a prime number?
False
Suppose 1298 = 6*n - 4*n. Is n a composite number?
True
Suppose 0 = 13*z - 10750 - 14431. Is z a composite number?
True
Let i = -147 - -67. Let p = i - -139. Is p prime?
True
Let y = 346 - 244. Let o(r) = -4*r**2 + r - 3. Let u be o(4). Let d = y + u. Is d prime?
False
Let p be (-1)/(-1 - (-9)/12). Suppose -2*l - y = -219, 403 = -2*l + 6*l - 5*y. Suppose -s + 5*s = -5*f + l, 4*f = -p*s + 84. Is f a prime number?
True
Let p(w) = -w**3 - 7*w**2 - w + 10. Let z be p(-8). Suppose -b - b + 47 = -3*m, 4*b = 2*m + z. Is b a composite number?
False
Suppose -b - 3*b + 316 = 0. Is b a composite number?
False
Suppose -4*v = -3*p - v + 393, 3*p = 5*v + 393. Is p composite?
False
Let v = -12 - -17. Is (-37)/3*(-1 - v) a composite number?
True
Is (4/(-6) + 0)/((-54)/196749) a composite number?
True
Let n be 12/2*(-2)/3. Let h(d) = 4*d**2 - 4*d + 2. Let g be h(n). Suppose 0 = 5*s - 28 - g. Is s composite?
True
Let t = -29 + -31. Suppose 0 = 3*f - 34 + 145. Let j = f - t. Is j a composite number?
False
Suppose -v + 218 = 57. Is v composite?
True
Let a be 1/(618/207 - 3). Let i = a + 152. Is i prime?
True
Is 0 + 86 - (8 - 11) a prime number?
True
Suppose 0*p = -p. Let x(a) be the second derivative of -a**4/12 + a**3/6 + 55*a**2/2 + a. Is x(p) a prime number?
False
Let y = 39 + 1598. Is y composite?
False
Let z(v) = -91*v**2 - 2*v + 4. Let t be z(4). Is t/(-15) + (-2)/6 composite?
False
Suppose 4*y = -a + 22, y - 3 = a - 0*y. Suppose -2*f = -3*x - a*x, -2*f = 5*x. Suppose 5*r + 0*r - 175 = x. Is r prime?
False
Let x(h) = -7*h**3 - h**2 + h + 1. Let k = 2 - 3. Is x(k) prime?
False
Let d(g) = 2*g**2 + 5. Let z be d(8). Suppose -3*n + z + 20 = 0. Is n a composite number?
True
Suppose 5*o = -4*z - 0*z - 5, -5*z = 3*o + 3. Suppose -2*q - 2*w + 288 = z, -q - 2*w = w - 134. Is q a prime number?
True
Suppose 1276 = 5*c + 321. Is c prime?
True
Let b(j) be the third derivative of j**4/8 + 11*j**3/6 + 2*j**2. Is b(14) a prime number?
True
Suppose -3*k = -4*k. Let u = 3 - k. Suppose -u*d - 23 = -422. Is d prime?
False
Suppose 30 = 5*j - l, -4*j + 18 = -j - 5*l. Let k be 2/(j/21) - -1. Let i = 27 + k. Is i a composite number?
True
Is (14/(-3 + -4))/((-4)/818) prime?
True
Let o = -18 - -17. Is o + 7/((-28)/(-128)) composite?
False
Suppose 0 = -k + 9. Suppose -5*m + 163 = -3*w, 5*w - 11 - k = 0. Is m prime?
False
Let t(h) = 66*h + 31. Is t(13) composite?
True
Suppose -3*i + 31 = -32. Is ((-2)/(-2))/(1/i) a composite number?
True
Suppose 0 = -3*o + 3*g + 93, 2*g + 8 = -0*g. Let u = 48 - o. Is u composite?
True
Let m = -228 - -445. Let o = -644 - -1046. Let i = o - m. Is i prime?
False
Suppose 0 = -2*b - 5*a - 4, 0 = -0*b + 3*b - 5*a + 6. Let y be (-2)/8 + b/(-8). Is -2 - (2 - y - 91) a prime number?
False
Suppose -4*d + 4*a - 460 = -d, 5*a = 2*d + 302. Let p(w) = -2*w**2 - 4*w - 7. Let k be p(5). Let n = k - d. Is n a prime number?
True
Is 753/2*(-22)/(-33) a prime number?
True
Let y(z) = 23*z - 5. Let h be 4 - (-2)/4*2. Let b be y(h). Suppose 0 = -2*w, -2*n + 2*w + w = -b. Is n a composite number?
True
Let r = 4 - 2. Suppose r + 4 = -h. Let w(p) = p**3 + 8*p**2 + 2*p + 7. Is w(h) prime?
True
Suppose -6*f = 2*f - 4280. Is f a prime number?
False
Let a = 535 + -66. Is a composite?
True
Let n be (-9)/(-5) - (-2)/10. Suppose -457 = -5*b - 3*x, -3*b - n*b - 5*x = -465. Is b a prime number?
True
Let c(j) = -j**3 + 7*j**2 + 1. Let r be c(7). Let n = 4 - r. Suppose 32 = n*q - 199. Is q prime?
False
Let g be (-1 + 3)*(0 + 3). Is 21/1 - (g - 4) prime?
True
Suppose 4*q = 4*h + 4 - 0, -3*q + 5*h = 1. Suppose y = -2*o + 33 - 2, y = -q*o + 35. Is y prime?
True
Let s = 6 - 9. Let i be -6*(-1 - (-251)/s). Suppose -j - i = -5*j. Is j a prime number?
True
Suppose -y = 3*j - 16, 2*y - 12 = -5*j + 4*y. Suppose -186 = 2*z - 3*z. Suppose 2*m - m - 274 = -3*k, 2*k + j*m - z = 0. Is k a prime number?
False
Let o(c) = 2*c**2 - 11*c + 7. Let z be o(8). Suppose 2*y = -5*u + 31, -15 + z = 4*u - 2*y. Is u a prime number?
True
Suppose -7 = z + 26. Let k = 48 + z. Is k a prime number?
False
Let g be (-2)/6 - 356/12. Let y = 29 - g. Is y composite?
False
Suppose 2*v - 2*b = 1330, -2688 = -4*v - 2*b - b. Is v composite?
True
Suppose 22824 = 10*u - 8246. Is u a prime number?
False
Suppose q - 14 = 83. Is q composite?
False
Let i be 6/18 - (-22)/(-3). Let a = 11 + i. Suppose -a*v + 98 = -2*v. Is v a composite number?
True
Suppose 36 = 2*r + 2*r. Suppose r*s = 2*s + 371. Is 