-1)/2). Suppose -a*i + 14 = -0*i. Is o(i) prime?
True
Let c(t) be the first derivative of t**4/4 + t**3 - t**2/2 + 2*t + 3. Let v be c(-4). Is 4/v - (-447)/5 composite?
False
Let x(u) = -u**3 + 2*u**2 + u - 4. Let w be x(-9). Suppose 5*c - 717 - w = 0. Is c a composite number?
True
Let l = 6 + -3. Is 2/2 - l*-22 composite?
False
Suppose -3*v - 5 - 11 = d, 4*v + 5*d + 25 = 0. Is (0/v + -347)*-1 composite?
False
Suppose 5*j - 479 = -d, 0*d + 2*j + 1403 = 3*d. Let w = d - 212. Is w composite?
False
Let b = 26 + -25. Suppose 0*u - b = -u, -5*p = -2*u + 22. Is (-1)/(p/2296*2) prime?
False
Suppose 39349 = 22*j - 16025. Is j a prime number?
False
Is (335085/(-20))/((-75)/100) a composite number?
True
Suppose 2*t - 4*o + 10 = 0, 0*t - 2*t - 4*o + 30 = 0. Suppose y - 10 = -y, 0 = -5*a - t*y + 6050. Is a composite?
True
Let t(o) = -10*o**2 - 2. Let j be t(-2). Let r(w) = w**3 + 6*w**2 + 2*w - 8. Let k be r(-6). Let u = k - j. Is u prime?
False
Suppose 11 = b + 3. Suppose 28 - 4 = b*j. Suppose 1337 - 386 = j*k. Is k a composite number?
False
Let v be (4/12)/(1/6). Suppose -3*g - 6*d + 3*d = -3, 5*g - 3*d - 13 = 0. Suppose -5*s + 963 = g*a, s + v*a = -0*s + 199. Is s a composite number?
False
Suppose h + 3*h - 2*p - 8 = 0, 0 = 3*h - 5*p + 8. Suppose -h = -g - 31. Let z = 38 + g. Is z prime?
True
Let b(w) = -77*w - 15. Let k(y) = -155*y - 30. Let l(t) = -5*b(t) + 3*k(t). Is l(-11) prime?
False
Let h(p) = p**2 + 4*p - 21. Let y be h(-7). Suppose 7714 = v + 4*v + 3*g, 2*v - 4*g - 3070 = y. Is v a composite number?
True
Suppose 57*c = 60*c - 18417. Is c composite?
True
Let s(k) = -8 - 413*k + 5 - 14. Is s(-12) composite?
True
Suppose 2*i = 4*y + 3786, -2*i = 2*y - 3*y - 3786. Is i a prime number?
False
Let j(k) = -k**3 - k - 225. Let l be j(0). Let t = l - -158. Let y = t + 125. Is y prime?
False
Suppose 0 = 3*q - 3*r - 36, -4*r + 6 + 9 = 5*q. Suppose 3*v + 16 = q*v. Suppose b = m - v*m + 158, 4*m = 4*b - 552. Is b a prime number?
False
Let o = 20574 - 11557. Is o prime?
False
Let z = -8 + 6. Let f be 8/(2/(3 + z)). Is 3 + (-1)/(f/(-1664)) prime?
True
Let z(v) = v**3 + 16*v**2 - 2*v - 10. Let s be z(-16). Let h = s + 9. Is h composite?
False
Let g = -1881 - -2790. Suppose 13*u = 10*u + g. Is u a prime number?
False
Let i(r) = -852*r**3 - 2*r**2 - 7*r - 4. Is i(-1) a composite number?
False
Let c = -1697 - -5490. Is c prime?
True
Let q = -342 + 402. Let j be 128 + -4 + 1 + 2. Let w = j - q. Is w prime?
True
Suppose 2*m + 3099 = 4*j + 923, 2*m = 5*j - 2719. Is j a composite number?
True
Let j(r) = 44*r + 3. Let i(k) = 43*k + 3. Let w(m) = -5*i(m) + 6*j(m). Is w(12) prime?
False
Let v(w) = 737*w + 339. Is v(20) composite?
True
Suppose -13 = -3*k - 1. Suppose 0 = -n - k*n - 620. Is -1*1*(n + -7) prime?
True
Let d = 23 - 14. Suppose -d*m + 5*m + 4604 = 0. Is m composite?
False
Suppose 622 = 4*p - 1398. Let w = -177 + p. Suppose 2*d - w = -2*d. Is d a composite number?
True
Let u(s) = s**3 - 8*s**2 + 7*s - 5. Let a be u(7). Let v(z) = 94*z + z**2 - 32*z - 28*z - 35*z - 7. Is v(a) a composite number?
False
Let h(l) = -2*l**3 - 4*l**2 + l - 1. Let t be h(-8). Let o = -288 + t. Is o a prime number?
False
Suppose -k + 17939 = -4*u, u + 0*u + 2 = 0. Suppose -12*y = -k + 5799. Is y a composite number?
True
Is (-1)/(-6 - (-108393)/18066) a composite number?
True
Suppose 5*u + 5433 = -2*q + 19552, 0 = -2*q - 2*u + 14116. Is q composite?
False
Suppose l = -2*p - 8293 + 27352, -3*p = 5*l - 95295. Is l a composite number?
True
Is (2 + (-6)/4)/(1/3314) prime?
True
Suppose 8*p + 94318 = 267926. Is p a prime number?
True
Suppose 44267 = 7*a - 116180. Is a a prime number?
True
Let x be 166/(-3) - (-8)/6. Let a = x - -80. Let s = -7 + a. Is s composite?
False
Let x be 101/((-1)/2*2). Let d be 4 + (-4 - -3) - 193. Let h = x - d. Is h prime?
True
Suppose -4*i - 1078 = -2*i + n, -4*i + 4*n = 2132. Let l = i - -1256. Is l a prime number?
True
Let r(h) = 2*h**2 + 7*h + 1. Let k be r(-6). Suppose 3*v + 0*v - 99 = -4*d, k = v + 2*d. Is v prime?
True
Let k(q) = -31*q**2 - 4*q - 5. Let v(c) = 63*c**2 + 9*c + 11. Let n(x) = -7*k(x) - 3*v(x). Is n(3) composite?
False
Let w = 1972 - 1017. Is w a prime number?
False
Suppose -6*k + 5*k + 411 = -5*u, 2*u - 439 = -k. Is k a composite number?
False
Let o be 3*1*(4 - 3). Suppose c = -4*d + 1828, o*d = -3 - 0. Suppose -423 - c = -5*u. Is u a prime number?
False
Let l(r) = 3*r**3 + r**2 + 3*r + 3. Let f be l(4). Suppose 0*p - f = -p. Is p a prime number?
True
Let k = 79667 - 47038. Is k a prime number?
False
Suppose p + 1 = 7. Suppose p*b - t = b + 5432, -t + 3 = 0. Is b a composite number?
False
Let b be (-1)/3 - 24/(-18). Let p(d) = 180*d**3 - 2*d**2 + 3*d - 2. Is p(b) a prime number?
True
Let c(n) be the third derivative of 13*n**4/6 + 25*n**3/6 + 9*n**2. Is c(12) composite?
True
Let b = -35 - -31. Is (2/b)/((-1)/1262) a composite number?
False
Let z = 3 - -43. Let y(u) = u**2 + 15*u - 13. Let t be y(-14). Let f = z + t. Is f composite?
False
Let d(x) = 43*x**2 - 20*x**2 - 2*x - 19 - 14*x**2. Is d(-6) a composite number?
False
Let g(l) = -l**2 - 20*l - 25. Let o be g(-10). Suppose o*f = 71*f + 9740. Is f composite?
True
Let u = 308 + -163. Let x(m) = 7*m**2 + 36*m + 16. Let d be x(-10). Let r = d - u. Is r a composite number?
False
Let z = -39 + -4. Let r = z - 56. Let l = 260 + r. Is l a prime number?
False
Is (6 - (5 - 12)) + 12886 a prime number?
True
Let t = 235 + -176. Is t composite?
False
Suppose -44 = 2*z + 2*k, 0*k = z - 3*k + 2. Let x(d) = -d**3 - 15*d**2 + 21*d + 2. Is x(z) a prime number?
True
Let p(o) = o**3 - 2*o**2 + 2*o - 4. Let b be p(3). Suppose -f + 1 = -3*c, f + 2*f - b = c. Suppose 0 = -f*l + 41 - 13. Is l a prime number?
True
Suppose 0 = -2*g - g + 18. Let b(v) = -2*v + 14. Let n be b(g). Suppose 0 = n*t - t - 55. Is t composite?
True
Let z = 25 + -32. Let t = z + 7. Suppose t*n + 10038 = 6*n. Is n composite?
True
Suppose 180 = 15*a - 6*a. Is (-4*5/a)/(1/(-293)) composite?
False
Suppose -3*x + 5 = -1. Let u be x/(3 + -4)*2. Is (2/(-6))/(u/3444) a composite number?
True
Suppose 0 = -30*a + 383943 + 489567. Is a composite?
True
Is 212478/546 - 2/13 composite?
False
Suppose 3*r + 3*n - 21 + 0 = 0, 0 = 2*r + n - 16. Suppose r*d - 9788 = -437. Is d prime?
True
Let t(y) = 7*y**3 + 5*y**2 + 3*y - 1. Let s be t(-1). Let u(x) be the first derivative of x**4/4 + 11*x**3/3 + 11*x**2/2 + 5*x - 1. Is u(s) a prime number?
False
Suppose -2*p - 5*b = -3*p - 12, 6 = -2*p + 4*b. Suppose -15*n + 14033 = -10*n - 2*m, -p*m = -5*n + 14032. Is n prime?
False
Is 18805 + -1*(-6)/(-3) prime?
True
Suppose -3*c + 0*v - v = -12847, -v + 8564 = 2*c. Is c prime?
True
Let a(d) = -d**3 + 12*d**2 + d - 9. Let t be a(12). Suppose 7*w = 2*w + u + 19, -t*w + 13 = u. Suppose 0 = -3*y + w*y - 67. Is y composite?
False
Suppose -48 + 36 = -4*t. Suppose t*n - 2*n - 701 = 0. Is n prime?
True
Suppose 0 = -12*r - 8307 + 32235. Is r prime?
False
Suppose 0 = -0*q + 7*q. Suppose m - 4*m + 6 = q. Suppose -64 = -3*g + a, -g - 3*a = -m*a - 28. Is g a prime number?
True
Suppose 0 = -i - 3*i + 4*r + 44, -23 = -4*i - 3*r. Let m = i + -4. Suppose 0 = -3*l - 0*o + 5*o + 91, -m*l + 3*o = -136. Is l prime?
True
Suppose 4*r + 2*i = 4348, -r - 4*i + 2174 = r. Is r prime?
True
Suppose 0 = -5*u - n + 49 + 1035, -5*u + 1064 = -4*n. Suppose 0 = -3*c + u - 15. Is c composite?
False
Let k be ((-2)/(-8))/((-3)/(-12)) + 2. Suppose -k*t + 391 = -494. Is t a prime number?
False
Suppose 2*r = r + 3205. Suppose w + l = r, 2*l + 1259 = 3*w - 8346. Is w prime?
True
Let n(m) = -m**3 - 5*m**2 + 4. Let a be n(-5). Suppose -o + 2 = -3*r, 7 - a = o - 2*r. Suppose o*d = d + 296. Is d prime?
False
Suppose -5*j = 3*z - 824, 5*z - 2*z + j - 808 = 0. Let u = 320 + -461. Let b = u + z. Is b composite?
False
Let w(x) = x**3 + 8*x**2 - 7*x - 9. Let o = -15 - -10. Let a = o + -2. Is w(a) a prime number?
True
Suppose -6*x + 84863 = -5*m, -2*x - 3*m = 2284 - 30567. Is x a prime number?
True
Suppose -v = -4*v + 4*k + 17, -4*k = v + 21. Let a(b) = 6*b - 2 + 0 - 141*b. Is a(v) a composite number?
True
Suppose k - t + 11 = -3*t, -4 = -k + 3*t. Is ((24855/(-12))/5)/(k/20) composite?
False
Suppose -3*v = 5*t - 4753, 2*t - 3*v = -3*t + 4777. Is t prime?
True
Suppose -1 = h - 3. Suppose h*y = 3*y - 322. Suppose 5*g =