. Is v composite?
True
Suppose -262*d = -275*d + 529594. Is d composite?
True
Let t(f) = -f - 4. Let y be t(-7). Suppose -8*x + y*x = -1470. Suppose 0 = 3*j - 3*h - 630, 4*h = 5*j - 755 - x. Is j a prime number?
False
Let s(t) = -200*t - 37. Let n be s(-9). Let j = n + -252. Is j composite?
False
Suppose 4*k - 2*f - 16 = 0, -4*f - 14 = -3*k - 2. Suppose 9*v - 6*v + 6793 = 2*y, -y + k*v + 3409 = 0. Is y a prime number?
True
Let z = -32 + 31. Is z/(-3) + (-6060)/(-18) a prime number?
True
Let w(z) = 2*z - 18. Let m be w(9). Suppose -a + 1151 = -m*a. Is a a prime number?
True
Let j(h) = h**3 - 2*h - 1. Let x be j(2). Suppose x*b - 248 = -b. Suppose b = -10*p + 11*p. Is p composite?
True
Is 411 + -406 + (-98456 + 0)/(-2) a prime number?
False
Let t = 297 + -288. Is t a prime number?
False
Let y(b) = 414*b**2 + 7*b + 9. Let o = 14 - 16. Is y(o) composite?
True
Suppose -4*x = -2*x - 5*b - 17, 5*x - 5*b = 20. Suppose h = -x, -w - 2*w - 2*h - 2 = 0. Suppose -2*y = 2*p + 2*p - 418, 3*y + 4*p - 629 = w. Is y prime?
True
Suppose -6351 = -6*d + 1017. Suppose -b + 5*b - 2*r = d, -622 = -2*b + 3*r. Suppose 3*o = -2*a + 752 + 163, -o = -a - b. Is o a prime number?
False
Let a(w) = -23*w**3 + 2*w - 1. Is a(-3) prime?
False
Let o = -559 + 395. Let b = o + 379. Suppose -s - 4*s = -b. Is s a composite number?
False
Let i = -4607 - -10773. Is i a prime number?
False
Suppose -3*k + 5904 = -5595. Is k a composite number?
False
Let v = -5551 + 12590. Is v prime?
True
Let w(p) = -13*p + 257. Is w(0) a prime number?
True
Let y(b) = b**3 + 6*b**2 + 4*b - 2. Let m be y(-5). Suppose 0 = -m*x + 10 + 5. Is 3/x - (-13804)/35 prime?
False
Suppose -11 = l - 19. Suppose o + l*b - 4079 = 4*b, o - 5*b - 4088 = 0. Suppose -7*g + 4*g + o = 0. Is g a prime number?
True
Let b = -47996 - -105729. Is b a prime number?
False
Let b be (-2)/3*33/(-11). Suppose -5*h = b*o - 1893, 0 = -o - 0*o - 5*h + 959. Suppose -29*w + o = -27*w. Is w a prime number?
True
Suppose -5*s = -2*x + 47003, x + 2*s = 18759 + 4729. Let k = -9941 + x. Is k prime?
True
Suppose 0 = y - 4*o - 26801, 2*y + 3*o - 33239 = 20363. Is y prime?
True
Suppose 4*z = 9 + 7. Suppose -z*x - 3 + 19 = 0. Suppose x*i + 0*i = 104. Is i a prime number?
False
Let j be 11 + -10 + (0 - -1). Suppose 2*h - 476 = -j*h. Is h prime?
False
Let w(o) = o**3 + o - 1. Let u(f) = 2*f - 15. Let v be u(8). Let r(s) = s**3 - 9*s**2 + 9*s + 5. Let a(j) = v*r(j) - 3*w(j). Is a(-9) a prime number?
True
Suppose 3*f - 4*f - 3 = 0. Let u = f - 9. Let l = 827 - u. Is l composite?
False
Let q(x) = -128*x - 1. Let l be q(-1). Suppose -2*p = 3*z - l, p + 4*z = 8*z + 47. Is p a prime number?
True
Let n = -56476 - -95019. Is n a prime number?
True
Suppose 5 + 4 = 3*p. Let y(b) = b**3 - 4*b**2 + 8*b - 6. Let j be y(2). Suppose -j*n + 47 + 39 = p*a, -3*a + 4*n + 62 = 0. Is a composite?
True
Let b(c) = 3*c**3 + 7*c**2 - 4*c - 4. Let n be b(5). Let g = n + -348. Is g composite?
True
Suppose -3*v = 2*p - 10, 0 = -3*v + 5*v + 2*p - 6. Suppose q = -5*o + 30, 9*o - v*o = 25. Suppose -w - 790 = 2*k - 7*k, k - q*w - 134 = 0. Is k composite?
True
Is (-469510)/(-24) + 43/516 a prime number?
False
Let n(a) = a**3 + 10*a**2 - a - 5. Let r be n(-10). Let z = 7 - r. Suppose 2*o - 2111 = -3*j, 0 = z*j - 0*o + 4*o - 1394. Is j a composite number?
True
Let a be 5/((-4)/(-20*1)). Let q be 5/(a/(-5)) - -13. Let h(s) = s**3 - 9*s**2 + s - 13. Is h(q) composite?
False
Let h(y) = 682*y + 1. Suppose 7 = 10*u - 3. Is h(u) composite?
False
Let f(r) = 1097*r + 29. Suppose -2 = b - 6. Is f(b) a prime number?
False
Suppose -5*p + 1668 = -1642. Suppose 16 = -76*o + 80*o. Suppose -4*q + p = o*u - 530, 5*q = -3*u + 1490. Is q a composite number?
True
Let a be (-33)/6 + (-3)/(-6). Let l(p) = 15*p**2 + 4*p + 4. Let c be l(a). Let t = c - 172. Is t prime?
False
Let q(n) be the first derivative of 3*n**4/2 - 2*n**3/3 + n**2/2 - 8. Let g be q(1). Suppose -866 + 201 = -g*s. Is s composite?
True
Let x(n) = n**3 + 6*n**2 + 4. Let s be x(-6). Suppose -f - s*f - 10 = -5*w, 4*w = f + 20. Suppose -2*z - 3*j + 242 = -w*j, -3*j + 12 = 0. Is z composite?
False
Let b be ((-1839)/2)/(6/(-12)). Let x = -499 + b. Suppose 3*u - 1707 = -5*j, -2*j = 2*j - 4*u - x. Is j composite?
True
Let j(o) be the first derivative of -o**3/3 - 16*o**2 - o + 9. Is j(-18) prime?
True
Suppose 2*t - 165 = 2*h + 3*t, -5 = -5*t. Let r = 128 - h. Is r composite?
False
Let g(l) = 6*l**2 + 2 + 8*l - 3*l**2 - 2*l**2 + 0*l**2. Let o be g(-8). Suppose 4*h - o*s = 228, 0 = s + s + 8. Is h a composite number?
True
Is (1/3)/((-2)/526)*-3 a composite number?
False
Let u(y) be the third derivative of -y**6/40 + y**5/30 + y**4/6 + y**3/3 + 10*y**2. Let r(v) = -v**3 + 6*v**2 - 3. Let l be r(6). Is u(l) prime?
True
Suppose -19*l = 91 - 2333. Let w = 2031 + l. Is w a composite number?
True
Suppose -6*z - 25 = 95. Is (-4)/(z/1495) + -4 a prime number?
False
Let m(h) = 8*h - 12. Let w be m(4). Suppose 0 = 2*l - 5*f - 90 - 356, 0 = 5*f - w. Is l composite?
False
Let t = 4 + -19. Let g be t/(-2)*(-16)/(-24). Suppose g*j - 928 = k - 0*k, -k = 4*j - 737. Is j a composite number?
True
Suppose 29*j - 1604281 = -2*j. Is j composite?
True
Let h(u) = -u**3 - 6*u**2 + u - 4. Is h(-17) composite?
True
Let v = 6 - 1. Suppose -v*r - 18 = z + 29, 2*z - 32 = 4*r. Is ((-6)/r)/((-2)/(-111)) a prime number?
True
Is 59918/5 - 123/205 prime?
False
Is (-2 - -15)*37 - 2 composite?
False
Let p(g) = -2*g**3 - 27*g**2 - 36*g + 25. Is p(-18) composite?
True
Let m = -1896 - -3797. Is m composite?
False
Suppose 16 = -2*j - b, 8 = -0*j - j + 5*b. Is 651/11 + -1*j/(-44) a prime number?
True
Suppose 20 = -5*a + 5*z, -3*a - 5*z + 30 - 10 = 0. Suppose a = 5*j - 154 - 1921. Is j composite?
True
Let m(o) = -3*o**3 - 22*o**2 - 7*o + 127. Is m(-15) a prime number?
True
Let i = 144 + -92. Let t = 124 - i. Let h = t + 139. Is h composite?
False
Is (2 - 0)*7890 + (-26)/(-26) a prime number?
False
Let c = -5488 - -13466. Is c a prime number?
False
Let z = 2786 + -1709. Is z composite?
True
Is 45768/21 + 5/(245/(-21)) composite?
False
Suppose 6*l - 15 + 141 = 0. Let j = 28 + l. Is j a prime number?
True
Let d = 78 + -45. Let w = d + 41. Is w a composite number?
True
Let d(z) be the first derivative of -195*z**2/2 + 8*z - 21. Is d(-1) a prime number?
False
Let r = 235 + -594. Let l = 494 - r. Is l composite?
False
Let v be 439 - (2 + (-9)/3). Suppose 211 = 3*r - v. Is r prime?
False
Let g be (-2)/(-3) - 17/3. Let b(m) = -2*m**3 - 10*m**2 - 7*m + 9. Let i(z) = z**3 + 5*z**2 + 3*z - 4. Let v(r) = 3*b(r) + 5*i(r). Is v(g) a prime number?
True
Let h(m) be the second derivative of -61*m**3/3 - 5*m**2 + 2*m. Let s be h(-4). Let q = -267 + s. Is q a composite number?
False
Let u = -2501 + 6318. Is u a composite number?
True
Let f be (15 + -13)/(-1*1). Is f + 157 + -3 - 3 composite?
False
Let y be 4/(-18) - 8/(-36). Suppose y = -w + 96 + 343. Is w a prime number?
True
Suppose 0 = 2*p + 6, -3*p - 220 = 3*a - 1558. Is a a prime number?
True
Suppose -3042 - 1158 = -j. Suppose j = 4*z + z. Let n = z + -545. Is n a prime number?
False
Let d = 508 + 1887. Is d a prime number?
False
Suppose -2*c = -3*c + 12. Suppose -5*f + c = 2. Suppose -2*m - 4*i + 116 = i, -f*m + 116 = -3*i. Is m composite?
True
Let v be (112/(-32))/(((-2)/8)/1). Suppose 9*u - v*u = -1895. Is u prime?
True
Let j(d) = -6*d**3 - 1. Let t be j(-1). Let m(p) = -11 + t*p**2 - 4*p**2 + 4*p + 2*p - 5*p. Is m(9) prime?
True
Let a(f) = -964*f - 55. Is a(-17) composite?
False
Suppose -2*v + v = 0. Suppose -5*z + 15 + v = 0. Suppose p = 5, -z*j + 3*p + 488 = 4*p. Is j a composite number?
True
Is (0 + 1)*0/(-33) + 22339 a prime number?
False
Let g(w) be the second derivative of -w**5/2 - w**4/12 - w**3/2 - w**2 - 2*w. Let k be g(-2). Suppose 0 = -3*o + k + 73. Is o a composite number?
True
Let f(q) = q**3 - 20*q**2 - q + 26. Let p be f(20). Let m(n) = n**3 - 3*n**2 - n - 5. Is m(p) a composite number?
False
Let t(n) = 3*n + 1. Let p be t(1). Is 3291/15 - p/10 a prime number?
False
Let u be (4/(-3))/(8/(-24)). Suppose -u*c + 287 = i, 0 = -2*c - c + 5*i + 198. Is c a composite number?
False
Let u(w) = 46*w - 49. Is u(21) prime?
False
Suppose -3*y = 2*w - 21636, 48608 - 16143 = 3*w - y. Is w a composite number?
True
Suppose 203*t = 220*t - 226423. 