= 23*g - 3. Let p be v(3). Suppose p = -5*l + 251. Suppose 0*o - l = -o. Is o prime?
True
Let h(i) = -79*i - 1. Suppose 0*f - 5*f = 10. Is h(f) composite?
False
Let q(u) = 49*u**2 - 4*u + 3. Is q(2) prime?
True
Suppose h + 4 = 2*o - 4*h, -2*h + 32 = -5*o. Let b(t) = t**2 + 2*t + 7. Is b(o) composite?
True
Suppose -9*p + 3*p + 12 = 0. Suppose 5*d + 56 = 4*k + 15, 3*k - 37 = 5*d. Suppose -k*i + 5*m + 807 = 0, -2*m + 6*m + 402 = p*i. Is i prime?
False
Let a = -5 + 8. Suppose 3*o - 12 = -0*o + y, a*o = -y + 6. Suppose 27 = o*i + 6. Is i composite?
False
Suppose 2*p = -4, 4*p + 0*p = -4*s - 8. Suppose s = -j - 26 + 205. Is j a prime number?
True
Let x(c) = c - 4. Let m be x(5). Let a(z) = 260*z**2 - z. Let i be a(m). Suppose -4*y - 3*b + 365 = 0, -4*y = b - 100 - i. Is y a prime number?
True
Let n(k) = -k**3 - 9*k**2 + 12*k + 9. Is n(-14) a prime number?
True
Suppose 7 = -4*l + 15. Suppose l*u + 3*g = -2*u + 1379, -5*g + 25 = 0. Is u prime?
False
Let z be (3 + -2)/((-4)/(-2464)). Let t = -299 + z. Is t prime?
True
Let c(p) = p**2 - p. Let w be c(-1). Let z(d) = 3*d**2 + d. Is z(w) a prime number?
False
Let m = -3 - -8. Suppose 2*q + 4 = -2*c + 20, -m*q + 20 = c. Suppose c*u - 211 = 184. Is u composite?
False
Let v(s) = s**3 - 7*s**2 + 5*s + 6. Let l be v(6). Let k be -40 - l/(0 - -1). Let u = 98 + k. Is u a prime number?
False
Let v(a) = -9*a**3 + 1. Let l be v(1). Let q(i) = -i**3 - 6*i**2 + 10*i - 11. Let k be q(l). Suppose k = 3*w - 41. Is w prime?
False
Suppose -335 = -2*p + 525. Suppose 2*m - p = -5*c - m, -5*c + 465 = -4*m. Is c composite?
False
Let b = -2 - -42. Suppose -2*h + b = -94. Is h prime?
True
Let v = 7 - 4. Let a be ((-6)/(-4))/v*1624. Suppose -x - 3*x = -a. Is x composite?
True
Let w(d) = -d - 5. Let k be w(-6). Let j(q) = q**2 + 6*q - 6. Let v be j(-6). Let o = k - v. Is o a composite number?
False
Let w = 1934 - 760. Is w composite?
True
Let q(z) = -65*z - 3. Is q(-2) prime?
True
Suppose 45 = 5*d + 4*g - 2*g, -4*d + 43 = 3*g. Suppose 2*v = m + 29, 2*v + 83 = -3*m + d*v. Is (-1774)/(-14) + (-6)/m a prime number?
True
Let a = -19 - -34. Let v = 4 + a. Is v a prime number?
True
Is (493/4)/((-1)/(-4)) prime?
False
Let q = 111 + 128. Let g(w) = 127*w - 1. Let b be g(1). Let t = q - b. Is t prime?
True
Let u = 61 + 303. Suppose 0*w = 3*w + 2*a - 368, 3*w - u = -4*a. Let h = 257 - w. Is h composite?
True
Let s = -10 - -3. Let h = s - -2. Is h*1/2*-10 a prime number?
False
Let a(v) = -18*v**2 + 4. Let x be a(4). Let d = x - -415. Is d a composite number?
False
Let d = -6 - -10. Suppose 0*k - 12 = -d*k. Suppose k*b = -0*b + 21. Is b prime?
True
Let r(c) = -16*c**3 + 2*c**2 - 3*c - 3. Let p(d) = d**3 + 9*d**2 + 8*d - 2. Let i be p(-8). Is r(i) a composite number?
False
Suppose -5*s + 11 = 3*g, 0 = -2*g - 2*s + 3*s + 3. Suppose -4 = -g*w + 6, -4*w + 231 = v. Is v composite?
False
Let p(o) = -o**2 - 8*o + 1. Suppose -5*x = 20, -3 = 3*g - 5*x + 1. Let m be p(g). Let z(f) = 35*f**3. Is z(m) a prime number?
False
Suppose -4*d + 159 = -n, -n - 467 = 2*n - 2*d. Let g = 222 + n. Is g composite?
False
Let n = -1568 - -2331. Is n a prime number?
False
Let s = 5 - 0. Suppose 0 = s*r + 2*a - 17, -2*r + 7 = 5*a - 4. Suppose r*d = 7*d - 28. Is d composite?
False
Let g = 107 - 24. Is g composite?
False
Suppose 12*o + 1975 = 17*o. Is o a composite number?
True
Let y be 26 - (-2)/(1/1). Is -3 + 2 + -1 + y prime?
False
Let k(n) = n**3 - 8*n**2 - 5*n - 1. Is k(10) prime?
True
Suppose 0 = -u + 2*u - 3*m - 17, u - m - 7 = 0. Suppose -36 = -u*o + 550. Is o composite?
False
Let n = -27 - -45. Suppose -y = y - n. Is 3/y - 236/(-3) a prime number?
True
Let w(r) = r**2 - 6*r - 3. Let x = 18 + -11. Let h be w(x). Is (7 - h) + 0/(-1) a composite number?
False
Suppose -256 + 21 = -p. Is p prime?
False
Suppose 5*q = 3*v + 401, 0 = q - 5*q + v + 318. Is q composite?
False
Let p = 1097 - 406. Is p a composite number?
False
Let d = 852 - 143. Is d a prime number?
True
Suppose 2*s + 524 = -0*s. Is (s/(-4))/(3/12) a composite number?
True
Let f be (20/16)/((-2)/(-32)). Suppose 0 = 4*b - y + 261, f = 2*y + 2*y. Let a = b - -110. Is a a composite number?
True
Suppose 4*w + 454 = 2*l, -5*l + 6*l + 4*w = 215. Is l a composite number?
False
Suppose -5*y = -v + 1506, 2*v + 3*v = -2*y + 7557. Is v prime?
True
Suppose 2*y - 2*l - 1536 = -164, -3*l + 1387 = 2*y. Is y a prime number?
False
Let w = -60 - -263. Is w composite?
True
Suppose -4*w = -5*n - 308, 5*n - 268 = -3*w - w. Let f = w + 77. Is f a composite number?
False
Let u(f) = 3*f**2 - 3*f + 4. Let p be u(5). Let b = p - 39. Is b prime?
False
Let c(u) = u**2 - 9*u + 10. Let m be c(8). Suppose s = m*s + 1. Is 1 - (2*s + 1) a composite number?
False
Is (-80)/(-2) + (-4 - -1) composite?
False
Let n be 2/(-7) - (-16)/7. Let a(d) = 3 - d + 1 + 15 + n. Is a(0) prime?
False
Suppose 3*t = -t + 12. Suppose 0 = 4*b + t*o - 1066, 2*b - 5*o = 5*b - 805. Suppose -k = -6*k + b. Is k a prime number?
True
Let j be 12/(-9) + (-13794)/(-18). Suppose -5*z + 0*t + 5*t = -j, z - 147 = 4*t. Is z a composite number?
True
Suppose -745 = 2*v - 7*v. Is v prime?
True
Let t(g) = g**3 - 18*g**2 + 25*g + 5. Is t(19) a prime number?
False
Let p(d) = -d**2 + 8*d + 11. Let f be p(9). Suppose -f*l - 169 = -3*u + 390, -5*u - 2*l + 937 = 0. Is u prime?
False
Let f(p) = p**2 - 9*p + 13. Let j be f(13). Let l = j + 68. Is l composite?
True
Let u be (-1)/4 - (-85)/20. Suppose y = u*t - 137, -t + 2*y + 109 = 2*t. Is t prime?
False
Let v(n) = -n**3 + 28*n**2 - 27*n + 23. Is v(26) prime?
True
Let l(u) be the first derivative of 5*u**4/4 - u**3/3 + u**2/2 - 2*u + 2. Is l(3) a composite number?
False
Let s(q) = -q + 5. Let y be s(6). Let v(d) = 77*d - 1. Let n be v(y). Let c = n + 137. Is c a composite number?
False
Suppose o + 4 = 4*o - r, 4*o + r - 10 = 0. Let i = 19 + o. Is i a prime number?
False
Let u(t) = -6*t**2 - t - 1. Let k(h) = 3*h**2 + h. Let d be k(1). Let m(v) = -7*v**2 - v - 2. Let y(r) = d*m(r) - 5*u(r). Is y(-4) a prime number?
False
Suppose 10*a - 14*a = -7116. Is a composite?
True
Let n = 62 - 28. Is n a prime number?
False
Let s = -436 + 671. Is s prime?
False
Let b(i) = 2*i**2 + 6*i - 10. Let h(c) = -4*c**2 - 11*c + 20. Let g(n) = -5*b(n) - 3*h(n). Suppose -4*a + 3*a = -7. Is g(a) a composite number?
False
Let g be 0 - (-1)/(-2)*2. Is (41 - 1) + 3/g a composite number?
False
Suppose 0 = 5*u - 93 - 92. Suppose 3*b = u + 29. Is b a composite number?
True
Is (-7)/(-1)*(12/2 + 61) prime?
False
Let n(b) = 181*b - 4. Is n(1) composite?
True
Let j = 6 - 2. Suppose -j*m + 3*m + 57 = 0. Is m a composite number?
True
Let f = 6 + -29. Let o = 162 + f. Is o a prime number?
True
Let j(p) = 2*p + 12*p**2 + 0 - 6*p + 8*p + 3. Is j(4) a prime number?
True
Is ((-9)/(-18))/((-2)/(-3628)) composite?
False
Suppose b - 13 + 60 = 0. Let w = b + 119. Suppose 5*m - 547 = -w. Is m a composite number?
True
Let x(m) = m - m + m**2 + m**3 + 74 + 0*m**3. Is x(0) composite?
True
Is 38*((-21)/(-2) + -4) a prime number?
False
Let n(w) = w**3 - w**2 - 1. Let l = -1 - -3. Let c be 2 - (l + 0 + -2). Is n(c) composite?
False
Suppose -2*n - 9 = -3*n - 4*m, 4*n + 4*m - 24 = 0. Suppose -4*h - 2*j = h, 0 = 4*h - n*j. Suppose 0 = 2*f - h*f - 12. Is f a prime number?
False
Let h(j) be the second derivative of -j**5/20 + 3*j**4/4 - 5*j**3/3 + 5*j**2/2 + 23*j. Let r = 8 - 1. Is h(r) composite?
True
Let y be 3 + -6 - (21 - 4). Let z = -1 - y. Is z a composite number?
False
Let y = 3265 + -932. Is y prime?
True
Let w = 1863 - 508. Is w composite?
True
Let p(o) = -3 + 5 + o + 3*o**2 - o**3 - 3 + o. Let t be p(6). Is (t/3)/((-5)/15) a composite number?
False
Let d = 617 + -406. Is d a prime number?
True
Suppose 4*f - 16 = -4. Suppose 12 = -3*k + f*y, -2*y = 4*k + 2*y. Is k/6 + 2552/24 a composite number?
True
Suppose 168 = 3*h + h. Let q(k) = -9*k + 1. Let r be q(-7). Let o = r - h. Is o prime?
False
Let c(s) = -8*s - 9*s + 3 - 36*s. Let f be c(2). Let j = 46 - f. Is j a prime number?
True
Suppose -3*h - 12 = 0, 5*b = -h + 2*h - 726. Let u = b - -101. Let j = u - -82. Is j prime?
True
Is 2 - (1/2 + (-2633)/2) a composite number?
True
Suppose 5*s - 11 = -5*t - 46, 15 = -5*t. Let b(p) = p**3 + 5*p**2 + 3*p - 1. Let z be b(s). Let a(d) = d**3 - 3*d - 3. Is a(z) a composite number?
True
Let k(