 - 2*t + 2. Is a(3) prime?
True
Let m(a) = -a**2 + 2. Let f be m(-8). Is f/(-3)*(-6)/(-4) a prime number?
True
Suppose 3*x + 2422 = 5*x. Is x a composite number?
True
Suppose -4*y - 3145 = -5*i - 10173, -3*y = 5*i - 5271. Is y composite?
True
Suppose -3*k = 6, -2*t + 2*k + 2*k = -12. Suppose 0 = -f + t*a + 55, 163 - 6 = 3*f + 2*a. Is f a prime number?
True
Let s = -434 + 729. Is s composite?
True
Is (9/3)/((-6)/(-118)) prime?
True
Let d be 8/((-4)/(-30)*-1). Let a = d - -85. Suppose -3*w + 91 = a. Is w composite?
True
Suppose -6*j - m + 1951 = -j, 0 = -j + 2*m + 399. Is j composite?
True
Suppose 5*i - 106 = -31. Suppose -2*h + 139 = -i. Suppose 0 = 6*u - 2*u - 2*y - 84, -5*y - h = -3*u. Is u a composite number?
False
Let u(l) = 8*l**2 - 2*l - 2. Let d be u(-2). Suppose 4*w - 54 = d. Is w composite?
True
Let t be (2 + 0 + 0)*1. Suppose 57 = -t*b + i + 23, 3*i = 2*b + 30. Is (12/b)/(2/(-42)) composite?
True
Suppose 3*p = -4 + 163. Suppose 4*h - p = 279. Is h a prime number?
True
Let w = -2117 + 3594. Is w a composite number?
True
Let p(d) be the third derivative of d**5/60 - 5*d**4/24 + 2*d**2. Let y be p(5). Suppose y = -k + 38. Is k prime?
False
Suppose 175 = 2*r + w, -2*w = -4*w - 6. Is r composite?
False
Suppose 0 = -3*b + 560 + 73. Is b prime?
True
Suppose -4*l + 230 = -242. Is l prime?
False
Let r(v) = -v - 7. Let u be r(-7). Let j(h) = h**3 + 6*h**2 - 4*h - 2. Let n be j(-5). Suppose 3*m + n = i - u*i, m = 2. Is i composite?
True
Let l be (-14)/6 - 2/(-6). Let w = -4 - l. Is (w - -1 - -14) + 1 prime?
False
Let m be 14/3 - (-2)/(-3). Suppose m*d - 502 = -3*o + 5*d, -4*o + 664 = 4*d. Suppose -v + 22 = j - 6, 0 = -5*j + 4*v + o. Is j a composite number?
False
Let f = 2548 - 1051. Is f a composite number?
True
Suppose -9*x = -1417 - 3596. Is x a prime number?
True
Suppose -5*h = -0*h - 15, -d = 2*h - 4505. Is d a prime number?
False
Let o = -11 - 49. Let j = 97 + o. Is j a prime number?
True
Let p(y) = y**2 + 3*y - 53. Is p(13) composite?
True
Let t = 690 - -197. Is t a composite number?
False
Let m(i) = i**2 + i + 2. Let z be (3/(-6))/((-2)/(-8)). Let h be m(z). Suppose -241 = -3*j - h*p, 48 = 2*j + 5*p - 115. Is j a prime number?
True
Let o(c) = -c**2. Let w(l) = -32*l**2 + 2*l + 1. Let z(d) = -o(d) - w(d). Is z(-1) prime?
False
Let z = -7 + 12. Is (-95)/z*(1 + -2) a composite number?
False
Let n = 0 + 81. Let g = n - 54. Is 6/g + (-1742)/(-18) a composite number?
False
Let f be -1*1/1*5. Let s = f - 1. Is (-61 + -1)*3/s prime?
True
Let x = -3 + 3. Let t(y) = 3*y**2 + 2*y - y**3 + x*y + 3*y**2. Is t(3) composite?
True
Let z = -1 - -5. Suppose 78 = z*h - 70. Is h a prime number?
True
Let z(v) be the second derivative of v**6/180 + v**5/40 + v**4/8 + v**3/6 - v. Let y(r) be the second derivative of z(r). Is y(-6) prime?
False
Is (6/5)/(2/205) prime?
False
Let s be 39/(-26)*(-5 - -1). Let u(j) = -5*j**2 - 2*j - 1. Let z be u(-5). Is (s - 3)/((-6)/z) composite?
True
Let m be ((-42)/9)/(4/(-2670)). Suppose -4*d - d - u + m = 0, 4*d + 3*u - 2492 = 0. Is d a prime number?
False
Suppose 24 = -0*i + 3*i. Suppose 2*d + 66 = i. Let w = 55 + d. Is w composite?
True
Let a = -882 - -1619. Is a composite?
True
Suppose 0 = 2*f + b - 2305, 0*b = 3*f - 3*b - 3444. Is f prime?
True
Let o(s) be the second derivative of 43*s**3/6 + 3*s**2 - 7*s. Is o(5) a prime number?
False
Let y = -45 - -556. Is y a composite number?
True
Suppose -5*d + 938 = -2*p + 3*p, 2*p = -3*d + 567. Let n be (1 - 5)*(-6 - 426/(-12)). Let z = d + n. Is z composite?
True
Suppose 0 = -s + t - 26, -2*t = -3*s - s - 94. Let q = s + 220. Is q composite?
False
Let l be 21*(1 + -1 + 1). Is (-33)/(2 - l/6) a prime number?
False
Suppose -x + 88 = -87. Let l = 332 - x. Is l composite?
False
Let c be (1 - 63)/(-1)*1. Let z be (c/(-6) + -2)*-6. Suppose j - z = -j. Is j composite?
False
Is 26/2 + 2 + 0 a composite number?
True
Suppose 0 = -j + 6*j - 415. Is j a composite number?
False
Suppose -4*d + 3298 = -2*d. Is d a prime number?
False
Let s = 132 - 77. Is s a prime number?
False
Let c(q) = 2*q**3 - 4*q**2 + 2*q - 2. Let a be c(3). Suppose -5*w - a = 3*n, 0 = -n + 3*n + w + 3. Is 1/(0 + n)*35 a prime number?
False
Let f = 235 + 144. Is f composite?
False
Let a be (3/(3 + -6))/(-1). Is a/(-2)*(1 + -467) a composite number?
False
Let m(t) be the third derivative of t**5/60 + t**4/12 + t**3/6 - t**2. Let p(o) be the first derivative of m(o). Is p(6) a composite number?
True
Let y = 1014 - 541. Is y a prime number?
False
Is -2*(-452)/16*2 a composite number?
False
Let n(g) = 253*g - 2. Is n(1) prime?
True
Suppose 107 + 203 = 5*a. Let s = -27 + a. Is s prime?
False
Let m = -54 + 92. Is m composite?
True
Suppose -4109 = -8*m + m. Is m a prime number?
True
Let z(u) = -u + 26. Is z(-11) a prime number?
True
Suppose 7 = -3*z - 5. Let k(v) = -v**2 - 7*v - 2. Let u be k(-7). Is (u/z)/(-1)*-118 a composite number?
False
Let m(p) = -p - 2 - 2 - 7 + 12*p**2 + 6*p**2. Is m(6) a prime number?
True
Let f(o) = 4*o**3 - o**2 - o + 1. Let m be f(2). Let a be -3 + (-161 - -2)/(-3). Let d = a - m. Is d a prime number?
True
Let j(u) = -6*u**2 + 5*u**2 - 3 + 12*u**2 + u + 2*u. Let g be j(2). Suppose 31 = 3*m + 2*t - 6, -3*m - 4*t + g = 0. Is m composite?
True
Let v(m) = m**3 + 2*m**2 - 2*m - 2. Suppose s = -a + 6, -2*a + 18 = -0*a + 4*s. Is v(a) prime?
True
Let i = 5 - -180. Is i prime?
False
Is 4/(-6) + (-8968)/(-24) composite?
False
Suppose -2*k + 0 = 24. Let r = -8 - k. Suppose -4*j - 8 = 0, -5*j = r*p - 0*p - 586. Is p a composite number?
False
Let g(i) = 7*i**3 + 9*i**2 - 9*i - 431. Let u(a) = -3*a**3 - 4*a**2 + 4*a + 215. Let c(k) = 4*g(k) + 9*u(k). Is c(0) prime?
True
Let w be 206/(-14) + (-2)/7. Let p = 202 + w. Is p composite?
True
Suppose -3*r + 3 = -12. Suppose 2*l + 2274 = 5*a + l, r*a + 2*l = 2262. Suppose 4*y + 2*x - a = 0, 3*y + 2*y + 5*x - 560 = 0. Is y prime?
False
Suppose 2*t + 10 = 0, -2*g + 4*t = g - 311. Is g a composite number?
False
Suppose -4 - 2 = -2*a. Suppose 0 = -a*t + 29 - 5. Let x = 1 + t. Is x prime?
False
Let n(f) be the first derivative of -f**4/2 - 2*f**3 + f**2 + f + 2. Let z be (-1)/6 - 490/84. Is n(z) prime?
False
Let a(o) = -116*o. Let k be a(-2). Suppose 7 = p - k. Is p composite?
False
Suppose 2*k - 948 = 602. Suppose -4*x - x = -k. Is x prime?
False
Suppose 2*b = 9 - 89. Is (15/(-20))/(2/b) composite?
True
Suppose -4*x + 2*d + 5918 = 0, 0*x + 4*x - 5*d = 5933. Is x a prime number?
False
Suppose -t = -2*i - 7, 5*t - 14 = 3*i + 7. Let g be 2*(5/i)/5. Is (36 - 0) + g + -2 prime?
False
Suppose -b + 4 = 5*p, -4*b = -3*p - 11 - 5. Let k = -4 + p. Is (38/k)/(1/(-2)) a composite number?
False
Let x be (-2 + 3)*3/1. Let a be 1*3/x - 290. Let o = 416 + a. Is o a composite number?
False
Let r(v) = -v + 5. Let k be 3/18*3*6. Let z be r(k). Suppose 0*t - z*t = -14. Is t prime?
True
Suppose 3*l = 2*y + 1759, 0*y - 1176 = -2*l - 2*y. Is l a composite number?
False
Suppose -4*h - h = -5*p - 2895, 0 = -3*p + 6. Is h a composite number?
True
Let s(o) = o**3 + 12*o**2 + 11*o + 13. Let c be s(-11). Suppose 25 = 2*n - c. Is n composite?
False
Let p(r) = 87*r**2 + 3*r - 5. Is p(-3) a prime number?
True
Suppose 5*v = 15 - 5. Suppose -15 - 63 = -v*z. Is z a prime number?
False
Let g = -6 - -3. Let d be ((-2)/g)/(6/9). Is (d + 1)/(2/53) a composite number?
False
Suppose -p = -6*p + 25. Suppose -b - p*k + 311 = -k, -5*k - 25 = 0. Is b prime?
True
Let l = 0 - -3. Suppose l = -4*j + 3*j. Is -1 + j/(3/(-26)) a prime number?
False
Let r be (-12)/8 - (-1)/2. Let p be -21*3*r/(-3). Is (1 - 0)/((-3)/p) prime?
True
Is -3 + 70/25 + 6596/5 a prime number?
True
Let z(t) be the first derivative of t**3/3 + 2*t**2 + 2*t + 1. Suppose -2*i + 2 - 14 = 0. Is z(i) composite?
True
Suppose 4*d - 13 = 3*d. Let r = 28 - d. Is r prime?
False
Let a(s) = -s**2 + 4*s + 3. Let w(d) = 2*d**2 - 3*d - 3. Let j(x) = -4*a(x) - 5*w(x). Let p(q) be the first derivative of j(q). Is p(-7) prime?
True
Suppose n = -n + 354. Suppose -n = -i - 56. Is i composite?
True
Let w(y) = -17*y + 22. Let b be w(7). Suppose 0 = -3*m - 2*m + 1080. Let l = m + b. Is l prime?
False
Suppose -a - 3*a + 1872 = -2*v, 4*v = 8. Is a composite?
True
Let t(r) be the first derivative of -r**7/840 - r**6/120 - r**5/120 - r**4/24 - 2*r**3/3 - 1. Let b(o) be the thi