*j = 2*v + 8, 2*v + 3*v + 20 = -4*j. Let k be 12*(2 + j)/2. Suppose -2 = -2*y + k. Is y prime?
True
Let h be (3/6 - 0)*6. Suppose -2*u + 4*m = 58, -h*m + 75 = -3*u - 0*m. Is (-288)/u + 2/7 a prime number?
False
Let l be ((-2)/4)/(2/(-68)). Let j be 8/(-12) - l/(-3). Suppose -q = 2, -j*x + 403 + 54 = -q. Is x composite?
True
Suppose 5*h = 3*m + 1198, 3*h + 0*m - 3*m - 720 = 0. Is h a composite number?
False
Let r(u) = u - 2. Let a(i) = i**3 + 3*i**2 + i + 3. Let n be a(-3). Let y be r(n). Let c(p) = -10*p + 1. Is c(y) composite?
True
Let a(l) = 43 + 20 - 15 + 61 + l**2. Is a(0) composite?
False
Is 254 - -6*(-1)/2 a composite number?
False
Suppose -q + 4*q - 2*j = 5189, 3*q - 5183 = 5*j. Is q prime?
False
Let x(z) = z**3 - 24*z**2 - 14*z + 24. Is x(25) composite?
True
Suppose -6 = -g - 2. Let j be (-3)/(3/(-32)) - 1. Suppose g*b - 3*b = j. Is b a composite number?
False
Let o(c) = c**2 - c + 1. Let i(z) = z**3 - 3*z**2 - 2*z - 3. Let r(l) = i(l) + 2*o(l). Let b be r(3). Let j = b + 8. Is j a composite number?
False
Suppose -1223 = -3*h + 175. Is h prime?
False
Let f(v) = 7*v - 4. Let j = -2 - -7. Is f(j) a composite number?
False
Let q = 4038 - 131. Is q a prime number?
True
Let l = -119 + 1630. Is l composite?
False
Suppose c - 2*c = 9. Let l(b) = -b**3 - 6*b**2 + 6*b + 10. Is l(c) a composite number?
False
Suppose -4*c + 12 = -4. Is c/(-12) + (-22)/(-3) composite?
False
Let h = 203 + -89. Suppose 0 = 2*u - h - 4. Is u a prime number?
True
Let u(h) = 4*h**2 - 3*h + 9. Suppose -15 + 45 = 5*n. Let y be u(n). Is (1 - y)*4/(-8) a prime number?
True
Let w be (-371)/(-77) - 4/(-22). Suppose -2*a - w*m = -248, 4*a + 0*m = -m + 478. Is a composite?
True
Suppose -8*x + 11647 = -19129. Is x a prime number?
True
Suppose 2*h + 0*h + 2*q = 2930, q = 0. Is h prime?
False
Let v = 8 - 2. Is 3/v*-13*-2 composite?
False
Suppose 0 = 8*t - 11*t + 195. Is t prime?
False
Let q(w) = -10*w**2 + 5*w + 1. Let x(o) = -o**2 - o. Let g(z) = -q(z) - 2*x(z). Let y be 2/(-1*(-3)/(-3)). Is g(y) a prime number?
True
Let t(g) = 3*g**2 - g + 1. Let u be t(1). Let y be 1 + -1 + -3 + 5. Suppose -q = y*q + v - 489, 3*q = u*v + 489. Is q a prime number?
True
Is (19567/(-51))/(1/(-3)) a composite number?
False
Let q be 3/(3/4)*-1. Let k(m) = m**3 + 3*m**2 - 4. Let l be k(q). Let c = 35 + l. Is c a composite number?
True
Let k(u) = -u - 9. Let o be k(0). Let c(s) = s**2 + 9*s + 5. Let f be c(o). Suppose 5*i - n = 4*n + 550, -f*n - 90 = -i. Is i prime?
False
Suppose 0*d - 2 = d. Let o = d + 7. Suppose 4*v + 25 = o*v. Is v prime?
False
Let m be 3 + (2 - 2/2). Let p(g) = 4*g**2 + 5*g - 5. Is p(m) composite?
False
Let s = 2 - 1. Suppose s = 4*u + 5. Is (-67)/u + 1 + 1 a prime number?
False
Suppose 3*m - 6 = -l, -m = 5*l + 12 - 0. Suppose -m*h - 3*b = -366, 4*b - 142 - 473 = -5*h. Is h prime?
True
Let f = -1667 + 2438. Is f prime?
False
Let t be (-1)/(1 + (-1)/2). Suppose 8 - 10 = -2*x. Is (38/(-4))/(x/t) prime?
True
Let q(v) = -v**2 + 9*v - 5. Let p be q(8). Suppose -p*g + 46 + 17 = 0. Is g a prime number?
False
Suppose -1 = -l - 2. Let s be (-87)/(-6) - l/(-2). Is 1100/s + (-6)/(-14) a prime number?
True
Let g(j) = -j**3 - 7*j**2 + 8*j + 4. Let v be g(-8). Is 8 + (-3)/((-6)/v) prime?
False
Let l be (1 - 3) + 6 + -1. Suppose -4 = l*z - 73. Is z composite?
False
Suppose -5*x + 7*x = 116. Is x composite?
True
Suppose -2*o + 26 = -4*x, -3*x - 9 = o + 3. Suppose -h + 1558 = o*p, -2*p = 3*p - h - 2610. Is p prime?
True
Let w be -1*(3 + -1 + -2). Suppose 132 = 4*f - w*f. Is f a composite number?
True
Let l be 3/(-15) + 48/15. Suppose 0 = -3*g, -68 + 335 = l*s + g. Is s composite?
False
Let l(z) = z**2 - 2*z - 1. Is l(-3) a prime number?
False
Let j(r) = r**3 - 7*r**2 + 8*r + 3. Let g(c) = c**3 - 11*c**2 + 11*c - 7. Let i be g(10). Suppose -4*w + 6 = -i*w. Is j(w) composite?
True
Suppose 5*t + 0 + 10 = 0. Let c be 1/t - (-22)/4. Suppose 4*h - j - 97 = 0, j = -h + 13 + c. Is h composite?
False
Let m(v) = -9*v - 7. Let b be m(7). Let i = 123 + b. Is i composite?
False
Suppose 66 - 440 = -2*p. Is p composite?
True
Let s(q) = -q**3 - 7*q**2 + 8*q + 6. Is s(-8) prime?
False
Let r = -915 + 1364. Is r a prime number?
True
Let n(v) = -v**3 - 4*v**2 + 5*v. Let f be n(-5). Suppose x + 4*x - 750 = 0. Suppose -2*o + x = -4*g, 5*o + f*g - 383 = 2*g. Is o composite?
True
Suppose 5*p - 7 = -2, -f = -2*p - 9. Let w = f - -20. Is w prime?
True
Suppose -32 = -k + 365. Is k prime?
True
Let k(b) = 17*b**3 - 3*b**2 + 3*b - 3. Is k(2) prime?
True
Let r(u) = 20*u**2 - 1. Is r(-2) composite?
False
Let u be (1 + 131/3)*3. Let c = u + -55. Is c prime?
True
Let g(y) = 2*y**2 + 11*y + 4. Let m be 7*3/(-6)*2. Is g(m) a prime number?
False
Suppose 5*f = 4*k + 20, k = -3*f + 4*k + 12. Suppose -f*c - 4*t = -413 - 411, 4*c - 818 = -2*t. Is c a composite number?
True
Let i(w) = w - 5. Let k be i(7). Let f(o) = 196*o**2 + 2*o. Let s be f(k). Is 3/(-5) - s/(-5) prime?
True
Let o(p) = 21*p**2 + 9*p - 1. Is o(-5) prime?
True
Suppose -2*j - 311 = 153. Let b(a) = 2*a - 3. Let o be b(11). Let i = o - j. Is i a prime number?
True
Suppose -w + 16 + 83 = 0. Suppose -j = -4*j + w. Is j composite?
True
Let a(m) = 17*m**2 - 2*m - 1. Let n be a(-3). Suppose 158 + n = 4*u. Is u a composite number?
False
Is 302 + 3 + 0 + 2 a composite number?
False
Let j(m) = 7*m**2 - 6*m - 3. Let i(u) = -2*u**2 + 2*u + 1. Let s(c) = -8*i(c) - 3*j(c). Let p(h) be the first derivative of s(h). Is p(-2) prime?
False
Suppose -2*k + 3*k = 0. Suppose -25 = -5*j + q, -5*j + 4*q + 57 - 17 = k. Is j prime?
False
Suppose -2*y + 0*y = 2*b - 6, y + 2*b - 4 = 0. Suppose -3*c = y*c - 635. Is c prime?
True
Suppose -8*z = -6*z - 4222. Is z a composite number?
False
Let u = 470 - 253. Is u a prime number?
False
Let u(z) = z**2 - 4*z - 1. Let x be u(3). Is (-366)/x - (-3)/(-6) prime?
False
Let k(j) = -j. Let t be k(-2). Suppose -3*i - 1049 = -5*z, 2*z - t*i - 418 = -0*i. Is z prime?
True
Let a = 5 + -3. Let o = a - 2. Suppose 5*j - 2*y - 463 = o, 3*y = -j - 3*j + 352. Is j composite?
True
Suppose -5*p = 0, 3*d + d + 2*p - 16 = 0. Suppose g - d*g = -201. Is g prime?
True
Suppose 4*u = 5*d - 568, -u + 5*d + 0*d - 142 = 0. Let k = u + 200. Is k a prime number?
False
Let x(y) = y**3 - 5*y**2 - 6. Suppose 4*q = q + 15. Let d be x(q). Is d/3*(-2 - 0) composite?
True
Let k(b) = -3*b + 1471. Is k(0) a prime number?
True
Let y = 615 - 308. Is y a composite number?
False
Let j be 4 + -3 + (0 - 1). Let p be 22 - 2 - (-1 - j). Suppose -m = -0*m - p. Is m a composite number?
True
Let j be 895*(9/5 + -1). Let h = j + -434. Is (-1)/4 - h/(-8) a prime number?
False
Suppose 3*x = 15, -4*z + 2*x + 252 = 6*x. Is z composite?
True
Let x = 326 + -147. Is x a prime number?
True
Suppose 0 = -b + 6*b - 4505. Is b a prime number?
False
Let s(o) = 12*o**2 + 8*o + 6. Let i be s(8). Suppose -4*d + i = -3*m, 5*d - 3*m - 1094 = -45. Is d prime?
True
Is 2229 - -16 - (-3 + -1) a prime number?
False
Let i = 183 + -286. Let h = i + 186. Is h composite?
False
Let t(f) = -71*f + 8. Let b be t(4). Let z = b + 577. Is z composite?
True
Suppose 0 = 3*x - 2*x - 5. Suppose -2*k - 277 = -3*b, x*k - 3*k + 366 = 4*b. Is b a prime number?
True
Let y = 26 + -8. Suppose 3*p - 69 = -2*x, -p + y = -0*p - x. Is p composite?
True
Let l = 9 - 9. Suppose j + 5 = l, 45 = 5*v - 3*j - 500. Is v a composite number?
True
Suppose 0 = -8*y + y + 21371. Is y a prime number?
False
Let p(i) = 187*i**2 + 7*i - 3. Let r(w) = -125*w**2 - 5*w + 2. Let a(b) = 5*p(b) + 7*r(b). Is a(-2) a prime number?
True
Suppose 2*m + 3*l - 722 = 0, 3*m - l - 706 = m. Is m composite?
True
Let d be 6 + -3 - 4 - -1. Suppose -2*y - 113 = -p + 54, d = 2*y + 6. Is p composite?
True
Suppose 4*w + 9 - 25 = 0. Suppose -w*d + 164 = 8. Is d a prime number?
False
Let y(p) = -20*p**2 + 2*p + 1. Let d be y(-1). Suppose 7*r + 294 = 4*r. Let u = d - r. Is u prime?
False
Is ((-862)/4)/((-3)/30) composite?
True
Let g(f) = -f - 1. Let r be g(-3). Suppose r*u = 1 + 3. Suppose 235 = 4*x - 2*x - 5*s, -4*x = u*s - 458. Is x a prime number?
False
Let w(k) = 5*k**2 + 10*k + 9. Let g(s) = s**2 + 1. Let c(y) = -2*g(y) + w(y). Is c(-6) a prime number?
False
Suppose 3*p + 5*w = 851, -4*w = 5*p - 1153 - 274. Is p prime?
False
Let u be -2 - 9/(-3)*1. Let g be ((-258)/9)/(u/(-6)). Let o