. Is a composite?
True
Suppose i - 78 + 11 = 0. Is i a prime number?
True
Suppose 4*g + 2*v - 4826 = 0, g + 3*g - 4*v - 4808 = 0. Is g prime?
False
Suppose 5*h + 4*g = 6, h + 5*g - 6*g + 6 = 0. Let o(b) = 10*b. Let z be o(h). Let q = z - -133. Is q prime?
True
Let l be -1 - (-2 + (-80)/2). Suppose -c + b - 4*b = -43, c = -2*b + l. Is c composite?
False
Let o be 4/(2 + -1 + -2). Let q = o - -4. Suppose q = -r + 3 + 16. Is r composite?
False
Let i = 2 - 0. Suppose -u = -3*n + 64, -i*u - 2 = n - 7*u. Is n composite?
False
Let v = -9 + 6. Let s(j) be the second derivative of j**5/20 + j**4/3 + j**3/6 - 3*j**2/2 - 2*j. Is s(v) a composite number?
False
Suppose -u + 45 = -k - 94, 3*k = 2*u - 413. Let o = k + 76. Let g = o - -112. Is g composite?
False
Let j(k) = 6*k**2 - 6*k - 5. Is j(8) a prime number?
True
Let n = 365 - 208. Is n a composite number?
False
Suppose -3*g + 2*g + 26 = 0. Suppose 3*n + 26 = 4*w, 0 = 2*w - 5*w - n + g. Suppose w = -r + 31. Is r a composite number?
False
Is (-2 + -769)/(6/(-22)) a prime number?
False
Suppose 0*s = 4*z + s - 13, 2*z - s + 1 = 0. Suppose z*c = -3*c + 2195. Is c prime?
True
Suppose 5*j = -3*t + 90, -9 = 6*j - 3*j. Is t a prime number?
False
Let p be (6/2)/((-1)/7). Let y = 12 + p. Let m(c) = -6*c - 7. Is m(y) composite?
False
Let j = 74 - 31. Let u = 80 + j. Is u composite?
True
Let x be (-2 - -15) + -1 + 0. Let v(w) = 2*w - 11. Let b be v(11). Suppose 0 = s - x - b. Is s a composite number?
False
Is 4835*(-2 + (-36)/(-15)) prime?
False
Let k = 550 - 251. Suppose -4*d + 4*j = 632, -2*j = -d + 2*j - 164. Let u = d + k. Is u a prime number?
False
Let b(m) = 3*m**2 - 2*m + 13. Let k(z) = -z**2 + z. Let c(l) = b(l) + k(l). Is c(-10) a composite number?
False
Let f(z) = -170*z + 5. Is f(-3) prime?
False
Let d(f) = -3 - 76*f**3 + 0 + 4 - f. Is d(-2) prime?
False
Let j(g) = 12*g**2 - 6*g + 1. Is j(-5) prime?
True
Let j(o) = 3*o - 21. Let g be j(9). Is (4/g)/(3/423) a prime number?
False
Let r(k) = 7 - 3*k**3 + 0*k - 5*k**2 - 2*k**2 + k - 2*k. Is r(-6) composite?
False
Suppose -a + 1281 = -h, a + 0*h - 2*h = 1285. Is a prime?
True
Let a = -5 - -5. Suppose -v - 15 = j, 4*j - 5*v = -a*j - 51. Let l = 17 - j. Is l a prime number?
True
Let p(j) = 16*j + 15. Suppose -4*z + 4*v = -36, -4*z + 42 = -2*z + 4*v. Is p(z) a composite number?
False
Suppose -4*f + 7*f - 3 = 0. Let a = f - -1. Suppose -2*v = a*v - 148. Is v a prime number?
True
Suppose -3*h - 2*w = -4*w - 5915, -h + 1975 = w. Is h prime?
True
Let s(d) = -142*d + 5. Is s(-12) a prime number?
True
Let j(r) = -5*r**2 + 6*r + 79. Let w(v) = 14*v**2 - 17*v - 238. Let a(x) = -17*j(x) - 6*w(x). Is a(0) prime?
False
Suppose 0 = 3*d + 5*b - 40, -d + 0*b - 2*b + 15 = 0. Suppose -d*y = -0*y - 15. Suppose h + 2*l - 55 = -0*l, y*h - 5*l - 154 = 0. Is h a prime number?
True
Suppose -5*p - 13 = r, 7*p + 30 = 2*r + 3*p. Let d(s) = 18*s - 5. Is d(r) a composite number?
True
Let k = 530 + -307. Is k prime?
True
Suppose -40 = -3*f - f - 2*s, -2*f + 3*s = -36. Suppose -f = -5*k + 3. Suppose k*j + 2*g = g + 14, -g + 6 = j. Is j prime?
False
Suppose 17*m + m = 16506. Is m prime?
False
Let i be (-28)/21 - 1/(-3). Let z(y) = -67*y + 1. Let n be z(i). Let k = n + -21. Is k composite?
False
Let x(g) = -6*g + 2. Let q be x(-3). Suppose 3*n + q = 7*n. Suppose 0 = -n*u + 8 + 417. Is u prime?
False
Suppose 2*q = -5*p - 173, -5*p + 2*q - 142 = -p. Let a = p - -88. Is a prime?
True
Is -1 - (-675 + 5/5 + 0) a prime number?
True
Suppose 4*v + 3 = 5*s, -5*v + 2*s + s + 6 = 0. Let z be (-1)/(-3)*v*2. Is -399*(-1 - z)/9 prime?
False
Let n = 91 + -30. Suppose g - 1 - n = 0. Is g a composite number?
True
Let r(y) = -y + 3. Let q be r(4). Is (-7 - -5) + (114 - q) composite?
False
Suppose d - 436 = -3*d. Is d a composite number?
False
Let r(w) be the first derivative of 2*w**3/3 + w**2 - 3*w - 3. Is r(2) a prime number?
False
Let c = 1196 + -851. Suppose 0 = 3*f - 4*m - c, f - 4*m = 2*f - 99. Let t = -24 + f. Is t composite?
True
Let h = 424 - 131. Is h a composite number?
False
Suppose 4*v - v = 9. Suppose -v*s + 488 + 85 = 0. Is s composite?
False
Is (-3)/((-3)/(-4)) - -261 a prime number?
True
Let c(q) = -q**3 - 19*q**2 - 25*q - 24. Is c(-21) composite?
True
Let s(d) = d - 7. Let a be s(9). Suppose 0 = -3*t - a*t + 615. Is t a prime number?
False
Suppose 0*o + 5 = 5*a - 5*o, 0 = 3*a + 3*o - 15. Suppose 0 = 2*j + 10, 2*b + 13 = -3*j - 6. Is -194*((-5)/b - a) a composite number?
False
Suppose -l - n + 1 = -6, 2*n + 40 = 4*l. Let x be (-26)/6 + 3/l. Is 102/30 + x/10 prime?
True
Let k = 4 - 1. Suppose -213 = -3*g + 2*p, -k*g = 6*p - 4*p - 213. Is g prime?
True
Let d be (3 - 2)/((-1)/(-21)). Suppose -r = -14 - d. Is r a prime number?
False
Let z(i) be the third derivative of -i**6/60 - 2*i**5/15 + i**4/12 + 7*i**3/6 - 4*i**2. Is z(-6) composite?
False
Let u(l) = -l**3 - 7*l**2 + l + 3. Let f be u(-7). Let i(h) be the first derivative of -6*h**2 + 5*h + 4. Is i(f) composite?
False
Suppose 63 = 5*s + 8. Is s prime?
True
Let i(q) = q**2 - 5*q + 5. Let j be i(4). Let m(u) = 26*u**3 + u - 1. Let d be m(j). Suppose 2*k - d = -6. Is k prime?
False
Let x = 2303 - 832. Is x a prime number?
True
Suppose z + 5*k + 0*k - 763 = 0, 759 = z + 3*k. Is z a composite number?
True
Suppose 3*w = -r - 184, -w + 2*w - 2*r + 73 = 0. Let i = 30 + w. Let f = i - -80. Is f composite?
False
Let l = 366 + -81. Suppose 4*f - l + 25 = 0. Is f composite?
True
Suppose 94 = 6*o - 128. Is o a prime number?
True
Let r be -1 + 717 - (1 + -3). Let w = -417 + r. Suppose 2*u - 167 = 3*q, -4*u - 2*q - 3*q + w = 0. Is u composite?
False
Let y = 9 + -5. Suppose y*q + 16 = -148. Let p = q - -108. Is p composite?
False
Let q be 7 + 0 + -2 + 2. Let a = 46 + q. Is a composite?
False
Suppose -5*g - 494 + 104 = 0. Let j = g + 205. Is j prime?
True
Is -973*1*(4/4)/(-1) prime?
False
Suppose 2*x - 3*x = 4. Let v be 51/12 + 1/x. Is v/6*(-93)/(-2) prime?
True
Let f(c) = c**2 - 6*c + 12. Let a be f(6). Is (-7074)/a*4/(-6) a prime number?
False
Let a be -2 - (0 + -5*2). Suppose -3*z = -2*m + 4*m - a, -z + 4 = m. Suppose -m*w = -w - 78. Is w a prime number?
False
Suppose 36 + 63 = 3*m. Is m a prime number?
False
Let p(o) = 390*o - 8. Let d be p(8). Suppose a - 3*t - 296 = 497, -3*t = 4*a - d. Is a a composite number?
True
Let x(m) = 17*m**2 + 5*m + 5. Let q be x(-4). Suppose 5*a = 6*a - q. Is a a prime number?
True
Let s(p) = -2*p**3 - 10*p**2 - 5*p + 6. Let k be (2/6)/(8/(-168)). Is s(k) a prime number?
False
Suppose -n + 6*q - q = -94, -182 = -2*n + 4*q. Let p = n + 24. Is p composite?
False
Suppose 0 = -5*c + 15 - 0. Is 141 - 2/c*-3 a composite number?
True
Let l(p) = -19*p**2 - 8*p - 4. Let j(x) = -9*x**2 - 4*x - 2. Let n(i) = -5*j(i) + 2*l(i). Is n(-5) prime?
True
Let z(t) = 56*t**2 + t + 7. Let d be z(3). Let a = 725 - d. Is a composite?
False
Let w(l) = -21*l + 2. Is w(-3) composite?
True
Let f = 390 - 275. Is f composite?
True
Let a = 1542 + -859. Is a prime?
True
Suppose 4*r - 8359 + 359 = 0. Suppose -j - r = -5*v, -j + 800 = 2*v + 4*j. Suppose v = 5*a - 315. Is a a prime number?
False
Let b = -1 - 1. Let c be 1*b + -179 + -2. Let d = c + 310. Is d prime?
True
Let a(r) = 49*r - 34. Is a(5) a prime number?
True
Let m(z) = -41*z - 10. Is m(-3) composite?
False
Let o be -2*((-1 - 0) + -1). Let h = -3 - -7. Suppose -127 = -h*m - 4*v + 117, -v = o*m - 238. Is m composite?
False
Let q(r) be the first derivative of 3*r**2/2 + 10*r + 3. Is q(8) composite?
True
Let m(z) = -2 + 4*z + 3 - 50*z. Is m(-1) prime?
True
Suppose 0 = 2*u - 3*f - 4987, -4*u + 12005 = -5*f + 2030. Is u a composite number?
True
Let y(s) = s**2 - 11*s + 7. Let h be y(11). Let p(g) = 8*g - 3. Is p(h) composite?
False
Let r(c) = 28*c - 5. Suppose 3*d = -d + 4. Let y(p) = -1. Let n(f) = d*r(f) - 4*y(f). Is n(3) a prime number?
True
Suppose -f + 2*y + 643 = -y, 3*f - 1913 = 5*y. Is f a prime number?
True
Suppose n - 2 - 25 = 0. Let v = n - 7. Suppose -v = 7*r - 9*r. Is r a composite number?
True
Suppose 7 - 1 = 3*y. Suppose -31 = -2*l - 2*g + 133, 5*g - 161 = -y*l. Is l composite?
False
Suppose 20 = 4*w, -24 = -g - 2*g - 3*w. Suppose d = 3 + g. Is (8/d)/(4/18) a composite number?
True
Let z = -20 + 27. Is z a composite number?
False
Suppose 3*b + j = 0, -j = -3*b + j. Suppose 0*s - 4*s + 