+ 0*d - 3*x + 192 = k, 5*x + 288 = 3*d. Suppose 5*y + r = -277 + 727, 0 = y - r - d. Is y prime?
False
Suppose -4*k + 6 = 5*t - 6, -5*t - 2*k + 16 = 0. Suppose -s + 95 = t*s. Is s a composite number?
False
Is 2671*(3 - (-2 + 5 + -1)) composite?
False
Suppose -3*x - 500 = -n, -5*x = 4*n - 6*x - 2033. Is n composite?
False
Is 44790/45 + 1*2/(-6) composite?
True
Let a(k) = 65*k**2 - 4*k + 9. Is a(-8) composite?
False
Suppose 5 - 1200 = -5*p. Is p prime?
True
Let j = 8 + -11. Is 644/6*j/(-2) prime?
False
Let a = 8 + 1. Let o be (384/a)/(2/12). Suppose -4*j + o - 36 = 5*s, -55 = -j - 4*s. Is j a composite number?
True
Suppose -7035 = -5*u + 5*o, 1415 = -0*u + u + 3*o. Is u prime?
True
Let q(j) = -5*j**2 + 2*j - 1. Let n be -3*(-1)/(-1 - -4). Let c be q(n). Let d(o) = 2*o**2 + 3*o - 5. Is d(c) a composite number?
True
Let v(k) = k**3 + 4*k**2 + k - 2. Let n be v(-4). Let z be n/10 + 166/10. Let r = z + -2. Is r a prime number?
False
Suppose -5*b + 4*b = 3. Let p(n) = -31*n - 4. Is p(b) a prime number?
True
Suppose 0 = 5*b - 0 - 5. Let v be (-2 - -2*b)*-1. Suppose -t + 8 + 17 = v. Is t prime?
False
Let i(y) = 7*y**2 + 5*y - 6. Let n be i(4). Let r = 102 - 71. Let s = n - r. Is s a prime number?
False
Suppose 0 = 2*l - 5*w + 32, -2*l + 4 = -3*w + 40. Is (-7)/(l/162) - 1 prime?
True
Let i(m) = -m. Let y(s) = s**2. Let b be y(0). Let o be i(b). Suppose o*w - 5*w = -70. Is w prime?
False
Suppose -y + 691 = 3*q, -y + 3*y - 3*q - 1346 = 0. Is y a composite number?
True
Let t(v) = -1 - 3 - 6*v - 5. Is t(-7) composite?
True
Let c(j) = 3*j**3 + 15*j**2 - 25*j + 3. Let z(a) = 2*a**3 + 10*a**2 - 17*a + 2. Let g(m) = 5*c(m) - 7*z(m). Is g(-5) composite?
False
Suppose 3*s = 4*u + 4, 0 = 3*s - 3*u - 3. Suppose -3*h + 6*h - 177 = s. Is h composite?
False
Is ((0 - -1)*-695)/(-1) composite?
True
Let b = 10958 + -6004. Let p = b - 9913. Is p/(-15) - (-6)/15 composite?
False
Suppose v + 2 = 6. Suppose -5*r + 1892 + 234 = -v*t, 2*r + 4*t - 828 = 0. Is r prime?
False
Suppose 7*d - 82 = 275. Is d a prime number?
False
Suppose 3*s + 7587 = 3*f - 0*s, 0 = 5*f + s - 12651. Suppose 6*o - f = o. Suppose -176 = -2*l + o. Is l a composite number?
True
Let y = 88 - 37. Let s = -51 + 21. Let a = s + y. Is a a composite number?
True
Suppose -2*h - h + 18 = 3*l, 2*l - 15 = -3*h. Suppose -238 = h*j - 931. Suppose a + 2*a - j = 0. Is a a composite number?
True
Let y(u) = 2*u - 3. Let c be y(3). Is 0*(-2 + c) - -31 a prime number?
True
Let v = -138 + 193. Is v a composite number?
True
Let h(s) = -20*s**2 + s + 4. Let j be h(2). Let x = -40 - j. Is x a prime number?
False
Let t(c) be the first derivative of 4*c**3/3 + c**2/2 + 3. Let i be t(-1). Is 3 + i*76/3 composite?
False
Let i = -621 - -1600. Is i prime?
False
Suppose -m = -5*m - w + 997, -2*m + 509 = -3*w. Suppose -2*l + m = -c, 0 = 5*c - 0*c + 20. Is l a composite number?
True
Suppose 3*u + 481 - 3594 = -4*h, 4*u = 2*h + 4158. Is u a prime number?
True
Let a(i) be the second derivative of i**3/6 + 5*i**2/2 + 2*i. Let p be a(0). Suppose p*t - 41 - 254 = 0. Is t prime?
True
Is (-2)/(-8) - 8280/(-32) a composite number?
True
Let m be -2 + 1 + 2 + -1. Suppose m = i + 2*i - 153. Suppose 4*p - 3*p = i. Is p a prime number?
False
Let w be (-60)/(-14) - 8/28. Let x(s) = -s + 4. Let u be x(w). Suppose -5*b + 19 + 156 = u. Is b a composite number?
True
Let m(r) = -3*r**3 + 4*r**2 + 3*r + 1. Let c = 1 + -3. Is m(c) a prime number?
False
Let i = 353 + -106. Suppose 5*v - i = 3. Let f = v - 3. Is f composite?
False
Suppose k = -3, 0 = -w + 2*w - 2*k - 595. Is w prime?
False
Let c(a) = a**2 + 7*a - 6. Let v be c(-8). Suppose 0*t - v*t + 254 = 0. Is t a composite number?
False
Let i = 120 + -69. Let v = 70 + i. Is v prime?
False
Let b = -5 + 7. Is 61 + 1 - (-5 + b) composite?
True
Suppose 0 = -0*f + 4*f - 1688. Let n = 741 - f. Is n prime?
False
Let o(b) be the second derivative of -b**3/6 + 4*b**2 + 3*b. Let l be o(6). Suppose 0 = -a + 5*w + 102, 3*a - 2*w - l*w - 361 = 0. Is a a composite number?
False
Let d = -8 + 13. Suppose -156 = -d*c - 1. Is c composite?
False
Suppose -5*v - 202 = 4*l - 43, -4*v = -4*l + 120. Let y = 242 + v. Is y a composite number?
False
Is 14 + (-2 + 0)/(-2) a prime number?
False
Suppose 0 = 2*x + x - 5*m + 1, -1 = -3*x + 4*m. Suppose 3*u - 2*u = g + 8, 0 = 2*u - 3*g - 21. Suppose k - u*p = 2*p + 2, 5*k - x*p - 98 = 0. Is k composite?
True
Suppose -4*t + 6*t - 252 = 0. Suppose 301 = -5*q - 144. Let n = q + t. Is n a prime number?
True
Let h(k) = k**3 - 3*k**2 + 2*k - 2. Let i = 0 - -3. Let c be h(i). Suppose -66 - 10 = -c*o. Is o composite?
False
Let g(f) = 13*f - 58. Is g(21) a composite number?
True
Suppose 5*b - 2*b - 145 = -5*z, 25 = 5*b. Let v = -7 + z. Suppose 0*c = c - v. Is c a composite number?
False
Let b(w) = 2*w**3 - 2*w**2 + 4*w + 1. Let a(f) = -f**3 + f**2 - 3*f - 1. Let k(q) = -3*a(q) - 2*b(q). Let h be k(0). Is 1 + h - (6 - 101) prime?
True
Let j(v) = -v**3 - 9*v**2 - 4*v - 14. Let g be j(-12). Suppose 5*f - y = 2*f + g, -f = 5*y - 150. Is f a prime number?
False
Let m be (-2)/13 + (-74)/26. Is 1/m - (-38)/6 a prime number?
False
Let o(a) = 107*a - 22. Is o(9) a prime number?
True
Suppose 0 = -5*s - 12 + 2. Let o = 12 - s. Is o composite?
True
Let f(w) be the first derivative of 3*w**5/10 + w**3/6 - w**2/2 + 1. Let t(r) be the second derivative of f(r). Is t(1) a composite number?
False
Let k = 17 + -11. Suppose 130 = k*h - h. Suppose l - 57 = h. Is l prime?
True
Let n = 28 + 99. Is n prime?
True
Let y be (-2763)/(-39) + (-4)/(-26). Let l = -4 + y. Is l a prime number?
True
Let f(m) = m**2 + 151. Let s be f(0). Let o be s + (-2 - 1*-2). Let n = o - 74. Is n composite?
True
Let k = -9 - -12. Suppose -k*q + 0*q = -111. Is q composite?
False
Suppose f + 0*f + 1 = 0. Let i be 1*(0 - f - 1). Suppose 0 = 5*q - 2*v - 294, i = -6*q + 2*q + 2*v + 236. Is q composite?
True
Suppose 0 = 7*f - 11*f + 32. Is ((-380)/f)/(-5)*2 a prime number?
True
Let y be 171 + (5/(-5) - -5). Suppose -5*s - d + 448 = 0, 5*s + d = -3*d + 457. Suppose -k - 3*h - 34 = -s, -4*k + 3*h + y = 0. Is k prime?
False
Suppose -5 = -5*m + 15. Is (-6)/m*(-232)/4 a composite number?
True
Let z(s) = -5*s + 1. Let r(y) = -y**3 - 5*y**2 + 6*y - 2. Let v be -6 - (2/1 - 2). Let x be r(v). Is z(x) a prime number?
True
Let q(i) = i**3 - 3*i**2 + i. Let t be q(3). Suppose 123 = t*o - 138. Is o a prime number?
False
Suppose 4*m + 4*y = 36 + 84, -140 = -4*m + y. Suppose -4*f = -614 + m. Is f composite?
True
Let w = 62 + -43. Suppose 8*y + w = 9*y. Is y prime?
True
Let x be 4/14 + (-12)/(-7). Suppose -4 = -2*w, x*f - 7*f + 5*w = -165. Is f a prime number?
False
Let l(d) be the second derivative of d**4/4 - d**3/3 + 3*d**2 + d. Let c be l(7). Suppose 4*j - 369 = c. Is j a prime number?
True
Suppose 14 = 5*n - 6. Suppose 115 = n*j - 113. Is j a prime number?
False
Suppose -3*a + 0*a = h - 20, 5*h - 15 = 2*a. Suppose -5*o = 5*n - 1105, -o + 0*o + a*n = -233. Is o prime?
True
Let o be (-1)/(-4) - (-23)/4. Let b(i) = -2*i**2 + 4*i. Let l be b(o). Let h = -25 - l. Is h composite?
False
Suppose -2*t = -2*l - 4, t + 5*l - l - 2 = 0. Suppose -4*f - t*m - 78 = 0, -4*m - 51 = 3*f - m. Let q = f - -32. Is q a prime number?
False
Let a(v) = -v**3 - 10*v**2 + 7*v + 9. Let s be (-27)/2 - 3/(-2). Is a(s) prime?
False
Suppose -4*t + 5*t + 1 = 0. Let o be (7/3 - t)*-522. Is ((-2)/4)/(6/o) prime?
False
Let a(u) = 135*u**2 - 1. Is a(-1) a composite number?
True
Suppose o - 35 = -a + 105, 265 = 2*o + 5*a. Is o a composite number?
True
Let c be (48/60)/(1/740). Suppose c = u - 417. Is u composite?
False
Suppose -2*y + 417 + 101 = 0. Is y composite?
True
Suppose -5*f + f = 0. Let m be (f/(9/3))/(-1). Suppose -3*n + m*n - b = -74, 4*b + 120 = 4*n. Is n prime?
False
Suppose 220 = a + 5*h, 0*a + a = 5*h + 170. Suppose -4*g = -5*t + 16 - 49, -4*g - 4*t = 12. Suppose -5*m + g*b + a = -3*b, -4*m + 150 = -b. Is m composite?
False
Suppose -3*m + 540 + 45 = 0. Suppose 54 + 705 = -4*i + 3*o, -o - m = i. Let z = 279 + i. Is z a prime number?
False
Is (3*628/12)/(5 + -4) a composite number?
False
Let d be ((-14)/(-6) + -2)*15. Suppose 5*s - 7*p - 431 = -3*p, 0 = -5*s - d*p + 440. Is s composite?
True
Let m(y) = 9*y**3 + 5*y**2 - 8*y + 3. Is m(2) composite?
False
Let t = 14 + -10. Let b(o