 derivative of -k**4/8 - 17*k**3/6 + 4*k**2. Is o(-18) a composite number?
False
Suppose -8*t + 6*t = -4246. Is t prime?
False
Let g(r) = 7*r + 16. Let q be g(7). Let m = 534 - q. Is m composite?
True
Suppose 1 = 2*g + 9. Let m(u) be the first derivative of -u**4/4 + u**3 - u**2/2 + 3*u + 4. Is m(g) a prime number?
False
Is (7 - 2)/1*809 composite?
True
Suppose -5*a - m + 6 = 0, 0 = 2*a - 8*m + 3*m - 24. Suppose 2*k + 4 = -a*k. Is 1*57 + 3 + k prime?
True
Suppose 0*a + 48 = -4*a. Let l = a + 144. Let o = -77 + l. Is o prime?
False
Let l = 39 + 118. Is l a composite number?
False
Let p = -5 + 5. Suppose -4*a + 4*j + 40 = p, -j + 49 = 4*a - 2*j. Is a a composite number?
False
Suppose 2*y - t - 584 = 0, 2*t - 4*t = -2*y + 582. Is y prime?
True
Let v(h) = h**2 + h. Let c be v(-2). Suppose 3*s = 4*w - 370, -c*w - s = 2*w - 362. Is w prime?
False
Suppose -5*v + 4*h + 573 = 0, v - 3*h = 28 + 80. Suppose 2*a - o - v = 4, 4*o = 5*a - 307. Is a a prime number?
True
Let d = -371 - -678. Is d a composite number?
False
Let x(z) = -z**2 + 7*z + 7. Let i be x(7). Suppose -v + i = 2*c - 3, -4*c + 2*v + 4 = 0. Suppose c = -3*n, -d = -n - 20 - 64. Is d a composite number?
False
Is (-6)/1*207/(-18) a prime number?
False
Suppose -2 - 13 = -3*a. Suppose -a*x + x - 11 = l, 0 = l + x - 1. Suppose 2*t = 5*y + 6*t - 169, -168 = -l*y - 3*t. Is y composite?
True
Let m(a) = 3*a**3 + 7*a**2 - 3*a - 8. Let b be m(9). Suppose 2714 = 4*u - 2*w, 4*u - w + 4*w = b. Is u prime?
False
Let y(d) be the first derivative of d**5/60 - d**4/6 - 4*d**3/3 - 3*d**2/2 - 2. Let w(q) be the second derivative of y(q). Is w(9) prime?
True
Suppose 4*a + 2*b - 6*b = 6532, 0 = 4*a + 4*b - 6564. Is a prime?
True
Suppose -4*r + 50 = r. Let a = r - 3. Is a prime?
True
Suppose -9*o + 11*o = 74. Is o composite?
False
Let z be 12*(1 + -2)/(-3). Suppose -z*j + 3*h + 313 = 0, -j + 4*h = -2*j + 83. Is j prime?
True
Let q(c) = c**3 - c**2 + c + 293. Is q(0) a composite number?
False
Suppose 3*n + d + 4*d - 1 = 0, -4*n - 2*d = -6. Let l be 2/7 + 236/7. Suppose -l = -k - 5*f, n*k + k + 5*f = 72. Is k a prime number?
True
Suppose 3*s = 2*l + 4, -s + l = -2*s - 2. Let t = 2 - s. Suppose -2*w + 75 = 5*q, -t*w + 51 = 3*q + 6. Is q a composite number?
True
Let i = -85 + 515. Is 2/7 + i/14 composite?
False
Suppose 0 = -2*j + 6*j - 12. Suppose -6 = -d - 9. Is (d/(-5))/(j/75) a prime number?
False
Let q(u) = u**3 - 8*u**2 + 8*u - 5. Let t be q(7). Suppose -t*o + 1 + 5 = 0. Suppose 18 + 36 = 4*n - 5*d, d + 35 = o*n. Is n composite?
False
Let v = 1069 + 732. Is v a prime number?
True
Let c(t) = -221*t + 2. Is c(-1) a prime number?
True
Let b(k) = 30*k - 23. Is b(19) a composite number?
False
Suppose 0 = 3*d, 5*h + d - 5*d = 1335. Let m = h - 161. Is m prime?
False
Let h = 2 + 0. Suppose 0 = -h*a + 9 - 3. Suppose 2*q = 4*y - 224, -q - 1 = -a. Is y a composite number?
True
Let n = -9 - -16. Suppose 0 = -5*v + n + 3. Suppose -5*t + 21 = 2*h, 3*h + 7*t = v*t + 34. Is h a composite number?
False
Suppose -2*a = d - 73, -49 - 39 = -d - 5*a. Suppose -5*i - 8 = 22. Let k = d - i. Is k composite?
True
Suppose -3*c + 3*q = -4*c - 30, -4*q - 5 = -c. Let o be (10/c)/((-4)/(-42)). Let a(k) = -k**3 - 4*k**2 + 5*k + 9. Is a(o) composite?
True
Suppose -75 + 266 = -4*s - q, -s - 46 = 2*q. Let p = s + 103. Is p prime?
False
Let z = 91 + 218. Is z prime?
False
Is ((-1)/2)/((-5)/1180) a composite number?
True
Suppose r + 5 - 7 = 0. Let v(j) = 4*j**2 + j. Let m be v(-1). Suppose m*l - 66 = -r*k - 3, 5*k = -l + 8. Is l a composite number?
False
Let a(n) = 346*n + 2. Let t be a(-7). Is 12/42 + t/(-7) a prime number?
False
Suppose 5*k - 497 = 158. Is k composite?
False
Let o be (1 - 2/(-4))*2. Suppose -28 = -o*l + 83. Is l a composite number?
False
Suppose -l - 4*i = -5*l + 792, i + 974 = 5*l. Is l prime?
False
Let d(t) = t**3 + 2 - 1 + 61*t**3. Let f be d(1). Suppose -b = 4*l - 21 - 36, -5*l = 4*b - f. Is l a prime number?
False
Let t = 6 - 4. Suppose 2*u + 0*u - 74 = 0. Suppose -t*v + u = -15. Is v prime?
False
Suppose -4*x + x = -1308. Let a be 4/6 - x/6. Let i = 5 - a. Is i a composite number?
True
Let l(d) = d**3 - 10*d**2 + 11*d - 13. Is l(10) prime?
True
Let a = -177 - -326. Suppose 2*j = -y - y + 164, -j - a = -2*y. Is y a prime number?
False
Let d(f) = 346*f - 5. Suppose 3*m - 20 = -2*m. Is d(m) a composite number?
True
Let j = -9 + 16. Let w be 12/j + (-2)/(-7). Suppose -6*p = -w*p - 132. Is p composite?
True
Suppose 3*d + 2*q - 1439 = 0, -4*q + 0 - 8 = 0. Is d a prime number?
False
Let n = 1141 - 633. Is (n/(-8))/(1/(-2)) composite?
False
Suppose 0 = 4*i - b - 33 - 24, -2*b = -3*i + 39. Is i a composite number?
True
Let a(z) = z - 1. Let u be a(4). Suppose -b - 127 = u*k - 16, -4*k - 555 = 5*b. Is 2/(-8) - b/12 a composite number?
True
Let v = 895 + -578. Is v composite?
False
Suppose -5*y = -2*y - 5*n - 864, -4*n = -4*y + 1160. Is y prime?
True
Let m = 177 + -86. Suppose -a = -22 - m. Is a a prime number?
True
Suppose 0 = -5*r - 2*j + j + 930, 195 = r + 2*j. Is r prime?
False
Let f(g) = g**3 - 6*g**2 + 8*g - 1. Suppose -3*b = 5*o - 17, -2*b = o - 2 - 0. Suppose a + 18 = o*a. Is f(a) a composite number?
False
Let q = 7 - 4. Suppose 3*u - 98 = -q*n + 2*n, 0 = 5*n - 5*u - 510. Suppose 0 = c - 4, -4*c + n = 2*h - 93. Is h prime?
True
Suppose 0*a = 2*a - 28. Suppose -3*b = -2*i - a, 0*b + 5*i = b - 22. Is (-9)/(-1) - (1 - b) a composite number?
True
Let r(j) = -9*j + 7. Let x(v) = v - 3. Suppose -4*q + 2*y - 16 = 0, -3*q = 3*y + 30 - 9. Let m be x(q). Is r(m) a prime number?
True
Let q(f) = 88*f**2 + 2*f - 1. Suppose -1 = -3*w + 2*w. Is q(w) composite?
False
Let u = 13 + -11. Suppose u*i = 4*i - 282. Is i composite?
True
Suppose -164 - 229 = -q - 3*d, 5*q = d + 1901. Let b = 542 - q. Suppose -4*w + 149 + b = 2*m, 5*m - 3*w - 788 = 0. Is m composite?
False
Suppose -866 = -3*r + 76. Is r composite?
True
Let c(j) = 2*j**3 - 10*j**2 + 9*j + 11. Let a(m) = m**3 + m - 1. Let h(x) = -a(x) + c(x). Let o be h(9). Is 2/o - 80/(-6) a composite number?
True
Let b(z) = -z**2 + 0*z + 4 + 1 - z + 8. Is b(0) a composite number?
False
Let c = -674 + 3279. Is c prime?
False
Suppose -f + 239 = -4*u, -2*f = 5*u - 376 - 141. Is f a prime number?
True
Let f(m) = 3*m**3 + 2*m**2 - 2*m + 1. Let b be f(1). Suppose 3*c + 885 = b*o + 4*c, -2*o - 5*c = -465. Suppose 2*d = o + 202. Is d a prime number?
True
Let x(r) be the second derivative of r**5/20 + r**4/2 + 3*r**2 - 2*r. Is x(-5) a prime number?
True
Is 1657/3 - 8/(-12) composite?
True
Let g(a) = -2*a**2 - 4*a - 3. Let j be g(-3). Is (-2)/6 - 282/j a composite number?
False
Suppose -2*r + 177 = 3*x, -x - 80 = -2*r + 109. Is r composite?
True
Suppose 0 = 3*j + 2*j + 125. Let u = -17 - j. Let n(p) = 3*p - 9. Is n(u) composite?
True
Suppose -2*i + 5*i = -5*l - 16, 0 = -4*l - 8. Let d be 2 + 1 - (-4)/i. Is d + 0 - (-41 - 1) a composite number?
False
Let g = -1073 + 3171. Is g composite?
True
Let x = 0 - -3. Suppose -3*c - 3*j + 9 = 0, 5*c - j - 30 = -x. Is 2/c + 228/5 a prime number?
False
Let m(t) = -t**2 + 4*t - 5. Let x be m(2). Let f = 20 + x. Is f prime?
True
Let r = 11 + -7. Let m be 42/r*(7 + -1). Suppose -6*u - m = -9*u. Is u prime?
False
Suppose -3*p + 16 = 4*d, -4 = 2*p - 4*p + 4*d. Suppose -8 = -p*h + 8. Suppose 2*j + 3 = h*o - 29, 2*j = 5*o - 41. Is o a prime number?
False
Let x(k) = k**2 + k - 1. Suppose -2*l = -s + 4*s - 61, 4*s = 4*l - 132. Let p be 6/4*l/12. Is x(p) a prime number?
True
Suppose 4*c + 16 = -4*k, -3*c = -2*c + 3*k. Let h(m) = m**3 - 7*m**2 + 9*m - 2 + 15*m**2 + 5. Is h(c) a composite number?
True
Let i = 711 - 394. Is i prime?
True
Let w be (-3)/((1 - -2)/(-3)). Suppose 4*s = -0*s - w*v + 478, 5*s + 5*v - 600 = 0. Suppose -r + s = r. Is r a composite number?
False
Let a(y) be the third derivative of y**4/24 + y**3/6 + y**2. Let u be a(3). Suppose -s - 2*l + 4*l = -65, u*l + 331 = 5*s. Is s a composite number?
False
Let l = 4 + 209. Is l composite?
True
Suppose 3*m = 143 - 41. Suppose -2*p = -m - 4. Is p a prime number?
True
Let m = -45 + 1552. Is m a prime number?
False
Suppose h + 5*q + 107 = 283, 3*h = 5*q + 588. Is h a prime number?
True
Let o(x) = 15*x. Let z(g) = g - 1. Let q(i) = o(i) + 3*z(i). Is q(4) prime?
False
Let d(g) = g**3 + 7*g**2 - g + 1. Let o be d(-5). Is o +