 -3*r + 247. Is r prime?
True
Let b be ((-10)/6)/(55/(-66)). Suppose b*o - 4*k = 347 + 29, 0 = -4*o - 4*k + 692. Is o a prime number?
False
Let n(a) = -a**2 - 10*a - 10. Let i be n(-9). Is i + 1 + 955 + (-1 - 1) a composite number?
False
Let u be (9/(-3))/((-1)/(-1)). Let w be u/((-3)/3) - -3. Suppose -3*i = -w - 555. Is i composite?
True
Let g be (-5828)/(-6) + (-7)/21. Let i = -180 + g. Is i a composite number?
True
Let w(p) = -p - 795. Let c be w(0). Let m = -565 - c. Suppose 4*i - m = -2. Is i composite?
True
Let b(w) = -30*w + 2. Let l(c) = c - 11. Let p be l(5). Let i = -8 - p. Is b(i) a prime number?
False
Let w = -3068 - -9489. Is w composite?
False
Let a = -3 + 7. Let t(k) = -22*k + 2*k**2 - a + k**2 + 12*k - 5. Is t(-8) a composite number?
False
Suppose 5*n - 16 = 4. Suppose 0 = 2*b + 3*t + 1, -n*t + 1 = 3*b - 2*t. Let y(w) = 102*w + 1. Is y(b) a prime number?
True
Let m = 686 + -979. Let l = -196 - m. Is l a composite number?
False
Suppose -58 = 5*r - 0*q + 2*q, 0 = -4*q - 16. Is r/(-15) + ((-2388)/(-9) - 3) prime?
True
Let s be ((-166)/8)/((-2)/24). Let t = 145 - s. Let n = 157 + t. Is n a prime number?
True
Suppose -5*w - 4*o = -152653, -30*w + o + 61056 = -28*w. Is w a prime number?
True
Suppose 3*q = 3*d + 19 - 3460, 0 = 2*d + 4*q - 2318. Is d a prime number?
True
Suppose 360262 = -26*s + 40*s. Is s a prime number?
True
Suppose 2*o + 5*r - 8 = 2, 2*o = -4*r + 10. Suppose 3*a + o = u, 3*a - a - 15 = -3*u. Suppose u*q = 3*i - 1222 + 446, -3*i + 766 = 5*q. Is i prime?
True
Let v = 147 + -68. Let s = -20 + v. Is s a composite number?
False
Let d(x) = x**2 + 8*x - 2. Let c be d(0). Let q(j) = 3 + 12*j**2 - 1 - 1. Is q(c) a prime number?
False
Let t be 6 - (0 + 2 + 0). Suppose t*p + 1042 = 6*p. Suppose v - 256 = f, -2*v = 5*f - 4*f - p. Is v prime?
False
Is 10/(-2)*-2*3338/20 a prime number?
True
Let q = -5664 + 10069. Is q prime?
False
Suppose -11*w - 106 = -13*w. Is (0 + w)/((-2)/(-26)) a prime number?
False
Let x(f) be the second derivative of f**5/20 + f**4/6 - f**3/6 - 11*f**2 + 9*f. Let w be x(0). Let u = 301 - w. Is u a composite number?
True
Let j(c) = -c**3 - 10*c**2 - 24*c - 7. Let n(a) = -a**3 - 10*a**2 - 23*a - 7. Let f(m) = -5*j(m) + 6*n(m). Is f(-13) prime?
False
Let c(x) be the first derivative of -7*x**3/3 - 3*x**2/2 + 6*x - 2. Let p be c(-6). Let l = p - -325. Is l prime?
True
Let i(x) = 287*x + 6. Let f = 27 - 22. Is i(f) a prime number?
False
Suppose -2*c + 147 = q + c, q = -4*c + 147. Let t = 334 + q. Is t a composite number?
True
Suppose 0 = -2*z - 3*t - t - 6, -4*z - 12 = -5*t. Let d = z - 0. Let h(p) = -25*p + 2. Is h(d) composite?
True
Let i = -374 - -1177. Let y = -1246 + i. Let a = -252 - y. Is a a prime number?
True
Let b(m) = m. Let a = 20 + -21. Let x(h) = -14*h - 1. Let f(c) = a*x(c) - 3*b(c). Is f(12) prime?
False
Let n(g) = g**2 - 21*g + 28. Let i be n(20). Suppose -182 + 4510 = i*j. Is j a prime number?
True
Suppose 0*p + 1 = -p, 4*g + 2*p = 14. Suppose 3*u - g*u + 3 = 0. Suppose -3 = 3*y, 4*y - 368 = -u*d - d. Is d prime?
False
Let j = -1 - -3. Let i = 192 + -187. Suppose 4*v = -j*t + 5*t - 533, 4*t = i*v + 711. Is t a composite number?
False
Let m = 80553 + -53374. Is m a prime number?
True
Let f = 424 - 442. Let y(t) = -17*t - 19. Let b(r) = -r. Let h(w) = -2*b(w) + y(w). Is h(f) a prime number?
True
Let v(j) = -j**3 + 15*j**2 - 3*j. Let q(c) = c**2 + 4*c - 2. Let f be q(-6). Suppose 5*m + 65 = f*m. Is v(m) a prime number?
False
Let l(a) = -26*a + 1. Let t be l(2). Is ((-17)/t)/(2/390) a composite number?
True
Is (-190563*10/30)/(-1) a composite number?
False
Suppose -n - 13 - 3 = 4*r, 4*n - 16 = 4*r. Suppose n = -5*w - 5*y + 1655, -3*w + y = w - 1344. Is w prime?
False
Suppose -f = -0*f + 3*u - 564, f + u - 568 = 0. Let h = f + 597. Is h prime?
False
Let m(i) = -i**3 - 4*i**2 - i + 6. Let b be m(-3). Suppose 5*j - 8378 + 261 = -2*f, b = -3*j - 4*f + 4873. Is j composite?
True
Let z = 102 - 101. Is z/(4 - (-9835)/(-2459)) prime?
True
Let r = -18 - -23. Suppose q = r, 0 = -m - 5*q + 114 + 230. Is m a prime number?
False
Let o be (-1)/2*(-5 + 1). Let w be (4/6)/((-18)/27). Is (w - o)*6609/(-9) a composite number?
False
Is (-3451)/(-3) + 92/138 a prime number?
True
Suppose -3*g - 4*p + 5549 = 0, 21*g - 2*p = 19*g + 3676. Is g prime?
False
Let o(b) = 30*b**2 - b + 4. Let v be o(5). Suppose -v + 289 = -2*z. Suppose 0 = 4*y + 26 - z. Is y a composite number?
True
Suppose -17*k - 4*s = -14*k - 28137, -2*k + 18754 = 4*s. Is k composite?
True
Let i be 8/32 + 0 + 11/4. Is 4960/15 + i/9 a prime number?
True
Suppose -3*o + 3718 + 4973 = 0. Is o a prime number?
True
Let h = 1089 + 405. Suppose 2*n + 452 = h. Is n a composite number?
False
Let s(v) = 1539*v + 49. Is s(2) a composite number?
True
Let x(u) = 114*u**2 + 3*u + 2. Let j be 2/(-6) - 2/3. Is x(j) prime?
True
Suppose -p + 0*k + 390 = k, 4*p + 3*k - 1561 = 0. Is p prime?
False
Let g = -135 + 538. Suppose -212 = -5*i - 5*s + g, -5*i + 2*s + 615 = 0. Is i prime?
False
Suppose -f - 307 = 444. Let a = f + 1058. Is a a prime number?
True
Let t(b) be the first derivative of -3*b**2 + 7*b + 332. Suppose -c - 2*i = -1 - 2, 3 = -2*c - i. Is t(c) prime?
False
Suppose -38*u + 36528 = -41*u. Let o = -6845 - u. Is o prime?
False
Is (14225 - 0/(-2)) + -143 + 137 composite?
True
Suppose 3*p = 1519 + 20. Suppose 2*w = -w + p. Suppose -l - 208 = -4*j - 5*l, 3*j - 2*l = w. Is j prime?
False
Let p be (1 + 1 - -18)*(-10)/(-25). Let n(b) = 44*b**2 - 39. Is n(p) a composite number?
False
Let n(w) = 69 - 37 - 40 + 5*w + 8*w**2. Is n(3) a prime number?
True
Let d = 2 - -10. Suppose -d*x + 18*x - 3270 = 0. Is x a prime number?
False
Let v = 194 + 710. Suppose -2*c + 2256 = -v. Suppose 0 = -3*u - u + c. Is u a prime number?
False
Is 1/9 + 11 + 2096861/117 prime?
False
Let l(o) = 11*o + 34. Let p be l(5). Let x = p + -7. Is x a composite number?
True
Let n(f) = -322*f**3 - 3*f**2 - 3*f + 3. Let d(c) = -322*c**3 - 4*c**2 - 4*c + 4. Let k(j) = -2*d(j) + 3*n(j). Is k(-1) a composite number?
True
Let j(f) be the third derivative of 11*f**4/8 - 4*f**3/3 - 10*f**2. Is j(7) prime?
True
Let q(m) = -2690*m**3 - 3*m - 2. Let l be q(-2). Is l*((-10)/(-2))/20 a composite number?
False
Suppose 10*p - 44241 + 3751 = 0. Suppose -p = -6*w + 2389. Is w a prime number?
False
Suppose 86 = -5*m - 3*b, 0 = -2*b + 10 - 4. Let d = -53 - m. Let o = d - -55. Is o a composite number?
True
Is 1/((16/128528)/(1 + 0)) prime?
False
Is (1 - 8/6)/(75/(-1250325)) prime?
True
Let k be 33/22*(22/3 + -2). Is (1074 + k)*((-6)/(-4) - 1) a prime number?
True
Is 251/2*(-5 - -1 - -6) prime?
True
Is -8105*(21/35)/(-3) composite?
False
Let m(l) = 10*l + 6*l**2 - 5*l**3 + 5*l**2 + 4*l**3 + 10 + 5*l. Let t be m(11). Let r = -84 + t. Is r composite?
True
Suppose 2*u - 16 = -2*u. Suppose 4*a - u*x + 5*x - 11 = 0, 1 = 4*a + 3*x. Suppose 5*i - v = a*v + 295, -5*v = 4*i - 200. Is i a prime number?
False
Let o be (1 + 0 + -3)*9/(-6). Suppose 0*s - 2442 = -4*s - r, -o*s = 5*r - 1823. Is s a prime number?
False
Is (-2288)/(-12) - 1/(-3) a composite number?
False
Let c = -2 - 17. Let x = c - -1. Is (-821)/(-9) + x/81 prime?
False
Suppose 32*q - 31*q = 3809. Is q composite?
True
Suppose 3*a = 4*i + 1021, i - 5*a = -2*i - 763. Let k = i + 743. Is k a prime number?
True
Is 3/1*(-4190)/(-30) a prime number?
True
Let b(x) = -562*x - 271. Is b(-5) a composite number?
False
Let n(g) = 7 + 3 - 2*g**2 + 0*g**3 + 11*g - 14*g**3. Is n(-5) prime?
False
Let v = -9 - -640. Is v prime?
True
Let f = -10745 - -15158. Let k = -7 + f. Is k prime?
False
Let v be 20/(-70) - (-116)/14. Let n = 3 + v. Let d(s) = 2*s**2 - 11*s - 8. Is d(n) prime?
True
Suppose 1552 = 4*u - 12*u. Let q be 0/(-1) - (495 + 2). Let k = u - q. Is k a composite number?
True
Suppose 3*v - 3 = 3*z, -5*v + 23 = 5*z - 4*z. Suppose 6*q + 12700 = 8*q + z*d, 0 = 5*q - 5*d - 31725. Is q composite?
True
Suppose 4*g - 2*n = 5604, -4*g + 4*n + 1365 = -4243. Let k = -143 + g. Is k a prime number?
False
Suppose v + v + 106 = 0. Let h = v - -108. Is h composite?
True
Let n = 23 + -18. Suppose -2*x = 4*y - 554, -n*x + y + 2*y + 1346 = 0. Let h = -122 + x. Is h a prime number?
True
Suppose -q = -2*k + 2227, k - 5*q + 3*q - 1121 = 0. Let h = 1878 - k. Is h composite?
True
Suppose 7*p = 11*p - 