 o be l(-2). Let k be (o/15)/(2/828). Suppose 3*b + b = k. Is b prime?
False
Let f = -487 - -216. Let y = 404 + f. Is y prime?
False
Let m = -369 + 676. Is m a composite number?
False
Suppose -4*x + 5*m + 0*m + 3457 = 0, 5*x + 3*m = 4312. Is x a composite number?
False
Suppose 0 = 2*s + 2*s. Let c(g) = g**3 - 10*g**2 + 10*g - 6. Let q be c(9). Suppose -q*i - 71 + 320 = s. Is i a prime number?
True
Suppose 0 = 3*i + 5*b - 3186, -3*b = -5*i - 6*b + 5294. Is i prime?
False
Let u = -2863 + 4076. Is u a prime number?
True
Let c = 7 + 2. Let l(q) = -q**3 + 9*q**2 + 2*q + 13. Let a be l(c). Suppose -a = -n - 2*t, 0 = -n + t + 15 + 19. Is n prime?
False
Let a = -2439 + 5254. Is a a prime number?
False
Let v(h) = h**2 - 5*h + 7. Let r(c) = c**2 - 6. Let x(a) = -a**2 + 5. Let s(u) = -3*r(u) - 4*x(u). Let f be s(-3). Is v(f) a prime number?
False
Let s = -43 - -77. Is s a prime number?
False
Let a be 301/(-3) - (-2)/(-3). Let h = a + 286. Is h prime?
False
Let v(l) = l**3 + 9*l**2 + 8*l + 3. Let c be (-40)/6*(-6)/(-5). Let q be v(c). Suppose -q*b = -3*x + 48, 2*x + x = b + 42. Is x a composite number?
False
Let h be 12*((-14)/6 - -3). Let k(t) = -71*t - 4. Let r(d) = -47*d - 3. Let c(m) = h*r(m) - 5*k(m). Is c(-6) composite?
True
Suppose -p - 3*p = 0. Suppose 5*d - 1604 - 821 = p. Suppose -5*g = -d - 80. Is g composite?
False
Let q be (-6)/9*1311/(-2). Suppose 358 = 3*f - q. Is f a composite number?
True
Let h = 4 - -493. Is h composite?
True
Let j(d) = d**3 - 5*d**2 - 7*d + 4. Let p be j(6). Let t be (-66)/(-14) + p/(-7). Suppose 5*o - 601 + 180 = -n, -3*o - t*n = -235. Is o a prime number?
False
Suppose 4 = -5*n - 6. Is 13 + (-1 + 1)/n composite?
False
Let h = -1568 + 2215. Is h a composite number?
False
Is 22 + (-3 - (-1 - 5)) a prime number?
False
Let m(s) = -s**2 - 5*s - 4. Let b be m(-3). Is 0 - (-1 - 416) - b prime?
False
Suppose -4*u = -y - 512, 100 = u - 3*y - 39. Is u prime?
True
Suppose -120 = -0*a - 5*a. Is 16/a - (-758)/6 composite?
False
Let k be -24*((-4)/3)/2. Let i = -11 + k. Suppose 56 - i = f. Is f composite?
True
Suppose 0 = -c + 3, -4*y - 3289 = 4*c - 7*c. Let z = -521 - y. Is z a prime number?
False
Let f(a) = -397*a - 49. Is f(-6) a composite number?
False
Is 176/(-24)*(-1 + -2) composite?
True
Suppose 0 = -4*w + 532 + 256. Suppose -76 = -3*p - 496. Let x = w + p. Is x a composite number?
True
Suppose 5*y + b - 583 - 19 = 0, 3*y + 5*b = 348. Is y prime?
False
Let r = 6 - 3. Suppose -7*s = -r*s - 3180. Suppose -q - q - 3*c = -322, 5*q + 5*c - s = 0. Is q a composite number?
True
Let i = -29 - -19. Is (-4)/i*(6 + 4) a prime number?
False
Let x(f) = -24*f**3 - 2*f**2 - 2*f - 1. Suppose 20 = 7*d - 3*d. Let k = -7 + d. Is x(k) composite?
True
Suppose 3*f + 116 = 5*f. Is f prime?
False
Let a = -182 - -399. Is a composite?
True
Suppose -4*n + 9 = -n. Let g = 86 + -2. Suppose -n*u = u - g. Is u composite?
True
Let k(p) = -7*p + 44. Is k(-15) a prime number?
True
Suppose 0*h = -2*h + 3848. Suppose 3*l - h = -l. Is l prime?
False
Let d(w) = -10*w**2 - w**3 + 2*w**3 + 12*w - 8 + 3. Is d(10) prime?
False
Let w be (0 - -2)/((-2)/(-18)). Suppose -k + 0 = 3*l - w, -4*k = 3*l - 63. Is k a composite number?
True
Suppose 6*d = 12*d - 204. Is d a composite number?
True
Let p(x) = -31*x + 1. Is p(-3) a composite number?
True
Let q be (-6)/10 + (-36)/(-10). Suppose 0 = -2*j - q*y + 320, 0 = -5*j - 0*y - 2*y + 811. Is j prime?
True
Let p(m) = -3 + 0*m**2 - 4*m + 5*m - m**2. Let w be p(7). Let h = w - -102. Is h a prime number?
False
Suppose -3*b + 3*m + 210 = 0, -234 - 53 = -4*b - 3*m. Is b a prime number?
True
Let c(l) = l**3 + 4*l**2 - 8*l - 3. Let f be c(-5). Let m be (-8)/10*(-10)/4. Let t = m + f. Is t composite?
True
Suppose -2*w + w = 0. Suppose b + b = w. Suppose b = -5*u + 68 + 2. Is u a prime number?
False
Let l(k) = k. Let v be l(5). Suppose -4*q + 50 = -0*m + 5*m, 0 = 3*q + v*m - 40. Is (q/(-8))/(2/(-104)) a composite number?
True
Let a = 19 + -10. Is a composite?
True
Suppose -3284 = 23*d - 27*d. Is d a prime number?
True
Suppose -3*j + 0*j - 4*i = -6, 2*i = -j. Suppose m - 2696 = -4*r + j*m, 2*m = -r + 661. Is r composite?
True
Suppose -o - 1 = -3*m - 0*o, -3*o - 3 = -2*m. Suppose -5*h - 5*t + 350 = 0, -h + t = -m*t - 72. Let r = h - 28. Is r prime?
True
Let l = 63 - -138. Let b be (-20)/(-40) + (-225)/2. Let p = b + l. Is p a prime number?
True
Let q = -1008 - -1739. Is q prime?
False
Suppose 0 = 4*j - 0*r - 4*r + 52, -26 = 2*j - 3*r. Let i = j - -92. Is i composite?
False
Let x = 8 - 4. Is 4/(-6)*(-1146)/x a composite number?
False
Suppose 0 = -f + 8 + 2. Is f a prime number?
False
Suppose -170 = 5*a + 35. Let k = 36 - a. Is k composite?
True
Let o be -14*((-4)/(-7))/(-2). Suppose 2*f - 848 = -2*f. Suppose -o*m = -0*m - f. Is m a composite number?
False
Suppose -5*c = -0*c - 50. Let r = c + 60. Suppose f - r = -f. Is f a composite number?
True
Let y = -1 + 5. Suppose 0 = -3*f + 2 + y. Let q(v) = 4*v**2 - 2*v + 3. Is q(f) a composite number?
True
Suppose 4*h - 2616 = 4*d, 5*d - 1328 = -2*h + 3*d. Is h composite?
False
Let y be (-1)/(-2 - -1)*-5. Let j(b) = 56*b - 7. Let i be j(-1). Let c = y - i. Is c composite?
True
Let b = -549 + 1598. Is b composite?
False
Let k = -197 - -276. Let w = 112 + k. Is w a prime number?
True
Let b = -3 - -50. Is b a composite number?
False
Suppose 4*k - 22 = -2. Suppose -k*z = -2*z. Suppose z = -5*i + 91 - 16. Is i prime?
False
Let f(c) = 2*c**3 - 10*c**2 + 9*c - 5. Is f(6) a composite number?
True
Suppose -65 = -b + 50. Is b a composite number?
True
Let q = -13 + 18. Suppose -3*l = q*g - 0*l + 177, 0 = l - 1. Let t = g + 93. Is t prime?
False
Suppose 4*k + 9 = -5*u, 2*u + 30 = 3*k + 2*k. Suppose -228 = -k*f + 4*s, 4*s - 48 = -4*f + 188. Is f prime?
False
Suppose -4*m - 3*t = 293, 1 = -3*t - 8. Let q = 400 + m. Is q a prime number?
False
Suppose 0 = 5*k - 15, 4*c - 5*k - 6 = 11. Suppose -m + 11 + c = 0. Is m a prime number?
True
Let x = -69 - -248. Is x prime?
True
Suppose -2*o - o - 4*i + 824 = 0, -o + 273 = 3*i. Suppose 0 = -n - 3*n + o. Suppose z = 2*z - n. Is z composite?
True
Suppose 0*s - 5*s = -16060. Suppose s = 4*f - 4*u, -4*f - 5*u = f - 3985. Suppose -5*d = -f - 90. Is d a prime number?
False
Let u = -655 - -1173. Suppose -f + 137 = -y + 3*y, 4*f + 2*y = u. Is f composite?
False
Let p = 471 + -260. Is p a prime number?
True
Suppose 5*s = 2*f - 28, 7*s + 28 = 2*f + 4*s. Is -1*f*(-46)/4 composite?
True
Suppose -4*n + 0*n + 370 = 5*f, 0 = -5*n - f + 473. Is n composite?
True
Let z(n) = -n**3 - n**2. Let f be z(-2). Suppose -4*i = f*b - 140, b - 2*i - 35 = -i. Is b a prime number?
False
Let s(k) = -11*k**3 + 4*k**2 + 4*k + 14. Is s(-5) prime?
False
Let t = 209 - 122. Is t composite?
True
Suppose -12 = -2*j - j. Let l = j - 1. Suppose 3*g - o - 71 = 0, -2*g - 8*o + 70 = -l*o. Is g a prime number?
False
Let v = 3727 - 2640. Is v a composite number?
False
Let o(r) = -r**2 + 3*r**2 - 2*r - r**2 - r**3 + 3*r**2 - 2. Let u be o(2). Is -2 + u - (-1 - 38) prime?
False
Suppose n = 2*w - 18246, 45593 = 2*w + 3*w + 3*n. Is w prime?
False
Suppose 3*b = 4*b - 262. Suppose -4*z - 807 = 5*o, 3*o + 3*z + b + 224 = 0. Let j = -90 - o. Is j a composite number?
True
Let b(f) be the first derivative of -3*f**2/2 - 2*f - 3. Let n be b(-2). Let u = n + 0. Is u a prime number?
False
Let d(v) = -v - 13. Let f be d(-10). Is f/(968/974 + -1) a prime number?
True
Let w(j) = 2*j - 8. Let c be w(6). Suppose -2*i + c = -i. Is i a composite number?
True
Let j be (15/(-25))/(1/(-5)). Suppose j*l = -l + 104. Is l a prime number?
False
Suppose m - 2 = -0, -130 = 5*c + 5*m. Let b = 83 + c. Is b composite?
True
Let g be -2 + 10*(-3)/(-6). Suppose -44 - 70 = -g*o. Is o composite?
True
Let n = -2 + 3. Let f be 1*n/(-1) - -6. Suppose 5*x = -5*d + 290, 96 + 184 = f*d + 3*x. Is d a composite number?
False
Let b be 2/(-7) - 383/7. Let m = 138 + b. Suppose m = -5*w + 418. Is w a prime number?
True
Let v(x) be the first derivative of 1/4*x**4 + 2 - 5/3*x**3 + 3/2*x**2 - 7*x. Is v(6) a prime number?
True
Let m = 107 + 200. Is m prime?
True
Suppose -4*d = 41 + 15. Let n = -1 - d. Is n composite?
False
Suppose -3*d + 2*d - 2*q + 30 = 0, -5*d + 174 = 4*q. Is d a prime number?
False
Let p be 3 - (2 - (-1 - -2)). Let r(t) = 20*t - 45*t - 41*t - 