Let b = -19857 + 32812. Is b a composite number?
True
Suppose 0 = 2*c - 3*y + 8, 0 = -c + 6*c + 2*y + 1. Let o be 585/27 + c/(-3). Is (o - 1) + 2/1 prime?
True
Suppose -j - 2*v - 14 = -3*j, 3*v = 2*j - 18. Suppose -o - 12 = j*o. Is (-4768)/48*o/2 composite?
False
Let r = 11758 - -1275. Is r a prime number?
True
Suppose -4*o - 1745 = -5*g + o, 0 = 4*o + 8. Is g a composite number?
False
Let r(v) = -412*v - 1299. Is r(-67) a composite number?
True
Let f = 15 + 0. Suppose -12 = -c - 6*r + 2*r, 3*c + 5*r = f. Suppose c*y + 4*y - 532 = 0. Is y a prime number?
False
Let i(k) = -k**3 + 9*k**2 + 10*k. Let a(c) = c**2 + c + 1. Let q(x) = -5*a(x) + i(x). Suppose -5*u - h = -24, -5 - 3 = -5*u + 3*h. Is q(u) prime?
False
Let y = -18 - -22. Suppose -s - b + 0 = y, 2 = s - 2*b. Is (-2066)/(-4) - 1/s a prime number?
False
Let s(v) = v**2 + 28*v + 33. Let j be s(-27). Let k(q) = 6*q**2 - 7*q + 11. Is k(j) composite?
True
Suppose g = 4*y + 14, 0*g - 10 = -2*g + 2*y. Is -2*g*(-12664)/32 a composite number?
False
Suppose -4*y + 121337 = -g, -5*y - 2*g + 30341 = -4*y. Is y a prime number?
False
Let k be 1/1 - 16/(-8). Suppose 5*h - k*q - 127 = 0, -4*h - 6*q + 108 = -2*q. Is h prime?
False
Suppose -6*a + a - 10 = 0. Let v be 26*1/(a/(-10)). Is 1 + v - 0/(-1) prime?
True
Suppose 25*q = 20*q + 12975. Suppose 5*i - 2*x = q + 3476, -2*i - 5*x = -2411. Is i a composite number?
False
Suppose -4*l + 8 + 4 = 0, 2*o + 5*l - 31333 = 0. Is o prime?
False
Suppose 7*v - 4*v - 18 = 4*x, 3*v - x - 9 = 0. Let c = v - -12. Is (3/(-4))/(c/(-392)) composite?
True
Let w(c) = -c**2 + 8*c - 11. Let q be w(8). Let s = q - -11. Is s - (-307 - 0/4) a composite number?
False
Suppose 0*s + 15 = -5*s. Let v be 1 + 2/(-2) - s. Suppose -8*j - 3*q = -3*j - 235, -188 = -4*j - v*q. Is j a prime number?
True
Let n = 34 - 91. Is (n/12 + 5)*(10081 - -3) a prime number?
True
Let j be 4 + (1/(-1))/1. Suppose 4*y = -11 + 19. Suppose 5*o = -y*s + 75, -j*o + 6 = -9. Is s a prime number?
False
Let k be -1 - -119 - (1 - 2). Let n be 12/(-9) + 5/(60/76). Suppose -5*f - l + k = 0, 2 = -n*l + 22. Is f a composite number?
False
Suppose a - 8 = 4*i + 4*a, -3*a = -3*i + 15. Let r(p) = -p**2 - 4*p - 4. Let b(u) = 1. Let y(w) = i*b(w) - r(w). Is y(-8) prime?
True
Let c = -3597 + 5750. Suppose 7*d - c = 4000. Is d a composite number?
True
Let q(d) = d**3 - 6*d**2 - 2*d + 3. Let w be q(6). Let x = 12 + w. Suppose x = -0*v + v. Is v a prime number?
True
Suppose -48*h - 3340 = -52*h. Is h prime?
False
Let a(l) = 8*l - 5. Let h be a(15). Suppose 3*w - h = 647. Is w composite?
True
Suppose 4*k - 3*k - 3*o + 1691 = 0, -5*o - 1731 = k. Let n = -699 - k. Is n a composite number?
True
Let l = 14 + -25. Let u = l + 13. Suppose u*v + 85 = a + 2*a, 30 = 2*a + 4*v. Is a composite?
True
Suppose 9*z - 125875 - 584 = 0. Is z composite?
False
Let h(d) be the second derivative of d**5/20 - 13*d**4/12 - 25*d**3/6 - 33*d**2/2 - 15*d. Is h(18) prime?
False
Suppose -19*o = 3*w - 23*o - 156883, -3*o = 4*w - 209169. Is w a prime number?
False
Let y be (9/12)/(3/(-24)). Let l(r) = 18*r**2 + 4*r + 7. Is l(y) composite?
False
Let c(h) = h**2 - 14*h + 26. Let q be c(12). Suppose 0 = u + q*j - 853, -4*u + 3467 = -0*j - 3*j. Is u prime?
True
Suppose 0 = f - 3*u - 16, u + 3 - 19 = -5*f. Suppose 4*o = 5*a - 535, 2*o = -f*a + 626 - 172. Is a composite?
True
Let i(s) be the third derivative of -s**7/280 + s**6/72 - 7*s**5/120 - s**3/3 + 5*s**2. Let v(d) be the first derivative of i(d). Is v(-5) a prime number?
False
Let q = 37 + -35. Suppose 0 = q*g - g - 635. Is g a prime number?
False
Let o = 6379 - 4218. Is o a composite number?
False
Let o(t) = 228*t**2 + 6*t - 13. Let p be o(3). Let s = p + -346. Is s a prime number?
False
Let d(s) = 10*s**2 + 31*s - 53. Let m be d(-24). Let t = -3314 + m. Is t composite?
True
Let s(t) = 199*t**2 + 25*t + 21. Let h be s(-16). Is ((-1)/(-5) - 0)/(3/h) a prime number?
True
Suppose -h = o - 2916, -3*h - o = -1681 - 7061. Is h composite?
True
Let v(f) = -f**2 - 10*f + 14. Let g be v(-7). Suppose 2*i = 5*i - 12. Suppose i*b - 185 = g. Is b composite?
True
Suppose c + 267 = 4*c. Suppose -4*b = 2*r - 1398, 5*b + 2*r - 1656 - c = 0. Is b prime?
True
Let m(q) = -6*q**2 - 11*q - 13. Let l be m(-12). Is (-1)/(((-20)/l)/(-4)) composite?
False
Let h(v) = -v**2 + 16*v - 20. Let g be h(14). Let z be 22/g + 2/8. Suppose z*r + a - 19 = 0, -2*r - 3*r = 2*a - 32. Is r a composite number?
True
Suppose 4*q - 6*v - 881 = -9*v, 3*v = q - 209. Suppose o - 5*n = 2*o - 33, -3*o = 3*n - 39. Suppose -5*f - o*a + 1035 = -4*a, -3*a + q = f. Is f prime?
False
Let i = -76 + 73. Is 56121/13*(-1)/i a prime number?
True
Suppose -5*n - 2*f - f = -15, 3*f - 15 = -3*n. Suppose -3*u - 3*s + 777 = -0*u, n = -u + s + 259. Is u prime?
False
Let o = 203372 + -121633. Is o a prime number?
False
Suppose 51138 - 7237 = 11*d. Is d a prime number?
False
Suppose 40 = -4*z - 2*u - 28, -87 = 5*z + 2*u. Let a = z + 24. Suppose -2*v - a*b + 15 = -7, 2*v + 3*b = 22. Is v composite?
False
Let d(i) = -i**3 - 5*i**2 - 7*i - 14. Let x be d(-4). Is 3 + -6 - 96/(x + -2) composite?
True
Let l = -8 - -10. Suppose -3 = -l*h - 7, 3*h = -2*n - 34. Is (-4)/(-14) + (-3090)/n a composite number?
True
Suppose -p + 23 = -13. Let y be (p/8)/(1/(-2)). Let q = 94 + y. Is q a composite number?
True
Let o(i) = 1 + 0 - 40*i - 34*i - 32*i. Is o(-10) composite?
False
Let i(k) = 4*k + 49. Let f be i(-11). Is 110/44*(-1042)/f*-1 a composite number?
False
Let v be 12/102 - (4722/(-34) + 1). Is v/(-18) - -7 - 2591/(-3) a prime number?
True
Suppose 5*x = 5*q - 19765 - 306295, 0 = x + 4. Is q/60 + 2/10 prime?
True
Suppose 9078 = b + 2921. Is b prime?
False
Let q = -73 - -19. Is (-13671)/q + (7/(-6))/7 prime?
False
Let d = -868 + 1541. Suppose 21*y - d - 2456 = 0. Is y composite?
False
Let h(v) = v**3 + 9*v**2 - v - 18. Let k be h(-9). Let p be (114/k)/((-2)/(-180)). Is -1 - -1 - (-1 + p) composite?
True
Let x(m) be the first derivative of -m**4/4 + m**3 - 3*m**2 - 7*m - 9. Is x(-5) prime?
True
Suppose -9*h = -8*h. Suppose h = -5*y - 4*t + 2469, -3*t = -2*y + 541 + 442. Is y composite?
True
Suppose c + 3*r - 4368 = 0, -4*c - 9*r + 17465 = -4*r. Let f = 6226 - c. Is f composite?
False
Let o = -357 + 521. Let n = 17 + o. Let h = n + -102. Is h a composite number?
False
Let m(w) = -w**3 + 9*w**2 - 7*w - 6. Let i be m(8). Let f(r) = 26*r**3 + 2*r**2 - 4*r + 3. Is f(i) composite?
False
Suppose 3*r = 5*d + 19802, 0 = 3*r - 2*d + 3*d - 19796. Is r prime?
True
Suppose r = -j - 0 - 3, -2*r + j = 21. Let w be 81/36 + 2/r. Suppose -c + 0 = -1, 5*c = -w*o + 697. Is o prime?
False
Suppose 5*i - 5*k - 34460 = 0, -2*i + 3*k + 1512 = -12277. Is i composite?
True
Let k be 8/6*(-108)/(-8). Suppose -16*o + k*o = 2598. Is o prime?
False
Let w(x) = 6*x**2 + 5. Let h be (-190)/19*6/(-10). Suppose r = -r - h. Is w(r) composite?
False
Let h = 45219 - 26478. Is h a composite number?
True
Let t(v) = v**2 + 6. Let w be t(5). Let m = w - 1. Let z = 55 - m. Is z composite?
True
Suppose 3*s - 316019 = -5*n, -4*s - 126408 = -2*n - 5*s. Is n a prime number?
False
Suppose -5*t = -45*t + 92680. Is t a prime number?
False
Let o = 9152 + -5991. Suppose -6*r = -o - 661. Is 0/(-3) + r + -2 prime?
False
Let c(d) = 576*d - 79. Is c(11) a composite number?
False
Let s(p) = 7*p**2 + 2. Let l be s(-7). Suppose -5*g + l = 5*r, -g - 3*g = -2*r - 282. Suppose 4*q - 70 - g = 0. Is q prime?
False
Let j = -26 + 22. Let m = -8947 + -1113. Is 2/10*m/j composite?
False
Let a(i) = -i**2 + 3. Let u = 4 - 4. Let z be a(u). Suppose z*c - 34 = 95. Is c prime?
True
Let x = 719 + -283. Suppose 5*n + 3*m + x = 5696, n + 4*m - 1035 = 0. Is n a prime number?
False
Suppose -46458 - 16115 = -7*g. Is g a prime number?
False
Let f(c) be the third derivative of c**5/15 + 7*c**4/24 + c**3/6 + 5*c**2. Let s be f(-6). Suppose -5*l = 5*n - 95, -2*l - n = 3*l - s. Is l a composite number?
True
Let l(u) = -15*u**2 - 22*u + 23. Let v(j) = -8*j**2 - 11*j + 12. Let m(t) = 4*l(t) - 7*v(t). Let w(x) be the first derivative of m(x). Is w(-13) composite?
True
Suppose 0 = 25*m - 27*m + 4894. Is m a composite number?
False
Let x be (-32)/(-240) + 214/(-30). Let b(t) = 19*t**2 + 7*t + 6. Let q be b(x). Let n = -491 + q. Is n composite?
False
Let a = -36 + -104. Let f be