 + 48587 = u*b. Is b composite?
True
Suppose -3*h - h - 16 = -2*x, -6 = 3*h. Let j(l) = -l**3 - l. Let t(a) = 8*a**3 - a**2 + 9*a - 1. Let v(s) = 5*j(s) + t(s). Is v(x) a prime number?
True
Suppose -13*p = -217999 + 23376. Is p composite?
True
Let x(h) = -202*h**3 - 18*h**2 + 10*h + 10. Is x(-6) prime?
False
Let i(x) be the third derivative of x**4/12 + 10*x**3/3 - 4*x**2. Let u be i(-10). Is -7*(u + -4)/4 prime?
True
Let p(f) = -58*f + 10. Let o be p(-4). Let m = o + -99. Is m a composite number?
True
Let b = 21231 - 14999. Suppose -3*n + 4672 = 5*c, -3*n + b = n + 4*c. Is n prime?
True
Let q(h) = 10*h**2 + 2*h - 1. Let k be q(5). Let g = k + 36. Is g a composite number?
True
Let y(t) = -t**3 + 15*t**2 + 23*t + 3. Let q be y(16). Let k = -2 + q. Is k composite?
False
Suppose -7*z + 3*z = -12. Suppose 0 = -2*h + 2*u + 9242, 2*h + z*u = 3*h - 4621. Is h composite?
False
Let k = -105 - 286. Let s = -234 - k. Is s prime?
True
Let p = -15 - -22. Suppose p*i - 4*i = 2*u - 2632, -5*u - 5*i + 6605 = 0. Is u a prime number?
True
Suppose 0 = n + 2, -1307 = 5*x - 2*n - 9866. Is x composite?
True
Let v be 0/((-4 + 0)/(-2)). Suppose 6*s - 19*s + 1261 = v. Is s a prime number?
True
Let d(t) = -4*t**3 + 17*t**2 - 9*t + 12. Let s(u) = 3*u**3 - 17*u**2 + 9*u - 13. Let n(w) = -4*d(w) - 5*s(w). Is n(-14) a prime number?
False
Let a(t) be the first derivative of 10*t**3/3 - t**2/2 - 7*t + 20. Is a(6) prime?
True
Suppose 0 = c - 0*c - 4, 3*v - 5*c = 6589. Is v composite?
False
Suppose 0 = 4*v - 36. Suppose -539 = -k - 2*r, k = v*r - 5*r + 527. Is k composite?
True
Suppose -b = -2*h - 19, 4*h + 8 + 47 = 3*b. Suppose g - b = 30. Suppose -g + 903 = 4*k. Is k prime?
False
Let x be 2 + (-723 - -1) - -2. Let b = x - -1259. Is b composite?
False
Suppose 10*k + 12057 = 11*k + 2*y, 4*k - y = 48183. Is k a composite number?
True
Let s = -1 - -6. Suppose 0 = -s*p - 2*g + 22, -3*p + 0*p + 34 = -4*g. Is 225 - (-3)/((-9)/p) prime?
True
Let y = 2588 + 2559. Is y prime?
True
Suppose 5*t + 2*l - l = 357, -l - 282 = -4*t. Let g(c) = c**3 + 8*c**2 + 7*c - 3. Let h be g(-5). Let r = t - h. Is r composite?
True
Let f(l) = l**3 + 37*l**2 + 22*l + 27. Is f(-17) a composite number?
True
Suppose 11 = 2*t + 7. Suppose t*v + 844 = 6*v. Suppose 5*g - v = a + 4999, 2*g - 2076 = 2*a. Is g composite?
True
Suppose 5*t + 4 = -1. Is (-5785)/(-26) - t/2 a prime number?
True
Suppose w - 140 = 2*o - 4*o, o + 4*w = 77. Let x = o + 80. Is x a composite number?
False
Suppose 0 = -4*b + 5*b + 1328. Let v = -609 - b. Is v a prime number?
True
Let t = 87 - 89. Is t/(2/(-747)) - (0 + 4) composite?
False
Suppose 7*d - 2*d = -540. Is 24/d - 3431/(-9) prime?
False
Let z(i) = -i**3 - 11*i**2 - 10*i + 2. Let c be z(-10). Let n = -5 - -8. Suppose c*o = n*o - 97. Is o composite?
False
Let f = 16 + -19. Is ((-106)/f)/(3 - 115/39) prime?
False
Let a(u) be the first derivative of -u**4/4 - 5*u**3/3 + 3*u**2 - 6*u - 2. Let h be a(-6). Let c = h + 20. Is c prime?
False
Suppose j = 9 - 17. Let g be ((-32)/j)/((-2)/301). Let q = 853 + g. Is q composite?
False
Let r be (-115)/(-10) + (-1)/2. Suppose 3940 = r*v - 7*v. Is v a composite number?
True
Let v(k) = -k**3 + 8*k**2 - 8*k + 10. Let i be v(7). Suppose i*r = 2*b + 2*b - 16765, 0 = -5*b - 3*r + 20990. Suppose -b = -4*l - l. Is l prime?
True
Suppose -1842 = -0*d - 3*d. Suppose 2*s - 4*s + d = 0. Is s composite?
False
Let i(k) = -4*k + 4. Let r be i(1). Suppose -623 = -2*v - r*d - 5*d, -12 = 4*d. Is v prime?
False
Let v(y) = y**3 + 12*y**2 - y - 16. Let r be v(-12). Let d(l) = 4*l + 1 - l + 2*l + 2*l**2. Is d(r) a prime number?
True
Let h(u) = -25*u + 73. Let w be h(-26). Let q = w + 244. Is q a composite number?
False
Is (-14)/(-5) + -2 + (-1153702)/(-110) composite?
True
Let r be (-2270)/(-8) - 18/(-72). Suppose 5*g = -5*c + 725, 0 = 2*c - 4*g + 3*g - r. Is c prime?
False
Let w(d) = 13*d**3 + 8*d**2 - 5*d + 1. Let o = 39 - 35. Is w(o) prime?
True
Let r = 37 - 33. Suppose -r*m + 1099 = -m + 5*v, -4*v + 357 = m. Is m prime?
True
Let n be 7617/6 - 2/(-4). Let p be 879/6*4*(-12)/(-8). Let a = n - p. Is a prime?
False
Is 1*(4 - -9)*809 a composite number?
True
Let a(w) be the third derivative of w**5/30 - w**4/24 + 7*w**3/6 + 21*w**2 - 5. Suppose 6*s = 3*s - 15. Is a(s) prime?
False
Let n be 9/(-3) + 273/1. Let k = n + -511. Let x = k + 364. Is x a composite number?
True
Suppose -5*b + 16 = -14. Let i be 0/((-18)/3*5/(-15)). Suppose i = -g + b*g - 70. Is g prime?
False
Suppose 5*j - 11 - 19 = 0. Suppose y + j = 4*y. Suppose -2*h - 4*i - 4 = y, -2*h + 4*i + 34 = 0. Is h composite?
False
Let j be (-52)/(-130) - (-1 - 37/(-5)). Is (-2325)/(-6) + 0 + j/(-4) a composite number?
False
Suppose 3 = -5*l + 28. Suppose 4*v - 26 = -10, -l*u = -2*v - 6677. Is u a composite number?
True
Let d(p) = 116*p**2 + 4*p + 2. Let b be d(3). Let v = -517 + b. Is v a composite number?
False
Suppose -3*j + 3*y - 6 = 0, -j - 3*y + 7*y = 11. Is (-299)/(-2) + 2/((-4)/j) prime?
True
Suppose -79 = -5*n - 19. Suppose -2*j - j + 4*d + 12 = 0, 3*j - n = -2*d. Let f(s) = 321*s - 7. Is f(j) a prime number?
True
Let s be -6*46/((-1)/(-6)*-2). Let z = -247 + s. Is z composite?
True
Let c(z) be the second derivative of 2*z + 0 + 43/6*z**3 + 9/2*z**2. Is c(8) a composite number?
False
Let z be (3 + -1)*4 - -3. Is 2*107 - z/(44/12) composite?
False
Suppose -4*l + 211 = -v, -3*v = -0*l + 5*l + 616. Let w be ((-1)/3)/(3/v). Suppose 2*b - y - w = 90, y = 4*b - 231. Is b prime?
True
Suppose 19 + 5 = -2*q. Let k = -30 - q. Is (-14 - -1)/(9/k) prime?
False
Let f = -27 - -29. Suppose 7*k - 4*t = f*k + 460, 0 = -t - 5. Let s = k - 2. Is s a composite number?
True
Let q = 11348 + -7584. Suppose -3*m + q = -2395. Is m prime?
True
Suppose 49 = -j + 3*i, 2*j + i = 2*i - 113. Let g = j + 237. Is g prime?
True
Let s(x) = 18*x**2 - 2*x - 7. Let k(h) = 3*h + 9. Let i be k(-6). Is s(i) prime?
False
Let q = -118 - -65. Let a = -38 - q. Let s = a + -1. Is s prime?
False
Let r(s) = -s**3 + 5*s**2 - 3. Let v(d) = d**3 - 3*d**2 - 4*d + 5. Let j be v(4). Let k be r(j). Is -21*(k - (-8)/6) prime?
False
Let a = -33920 - -51393. Is a prime?
False
Suppose -5*b = 5*g + 5, -3*g + 4*b + 4 = -0. Suppose -2*i + 4*i = g. Suppose -x + 195 - 8 = i. Is x composite?
True
Let s = -9066 + 21877. Is s prime?
False
Suppose 2*v = 5*g - 363353, -4*g = 107*v - 103*v - 290688. Is g a prime number?
True
Let j = 59015 - 33630. Is j a composite number?
True
Let u = -41719 - -76632. Is u a composite number?
False
Suppose q + 3*p - 3 = 0, 0 = -q - 0*p - 4*p + 1. Suppose -24 = -5*c - q. Suppose 174 = -c*i + 441. Is i prime?
True
Suppose 4*t + 0*t = -24. Let f be (-3 - -3)*(-3)/t. Suppose -3*i + 185 = c, -5*i + c + f*c = -311. Is i composite?
True
Suppose -17*o = -16*o - 479. Is o prime?
True
Let v(f) be the third derivative of f**4/2 + 31*f**3/6 - 8*f**2. Is v(8) a composite number?
False
Let z(m) = -m**3 + 2*m**2 - 4*m + 3. Let f be z(1). Suppose f = 2*y - 47 - 51. Is y prime?
False
Suppose 49 - 46 = -3*n. Let w(z) = 503*z**2 - 2*z. Is w(n) composite?
True
Let h be 6/(-27) + 29/9. Suppose -a + 0*a + 5 = 0. Suppose 2*d - 434 = -h*m - 0*m, -2*d - 702 = -a*m. Is m a prime number?
False
Suppose -138 - 619 = -f. Let g = 8 - 5. Is f/g + 4/6 composite?
True
Suppose 19529 = -37*y + 3423418. Is y a prime number?
True
Suppose 1128 = f + 3*f. Let c = 655 - f. Is c composite?
False
Suppose 16*p + 22 = 18*p. Let j(n) = n**2 - 9*n - 3. Is j(p) composite?
False
Let u = 56581 - 36216. Is u a prime number?
False
Let s(i) = 3*i**2 + 15*i + 19. Is s(22) prime?
True
Let b = 25178 + -8037. Is b a composite number?
True
Let j = 25 - 18. Let c(u) = 14*u**2 - 10*u + 15. Is c(j) composite?
False
Let o be 2/13 + (-635)/(-13). Let z be o/21 + (-1)/3. Is (-5)/(((-4)/z)/34) a prime number?
False
Suppose 8962 = 9*j - 9002. Let w = j - 1005. Is w a composite number?
False
Let d(t) = -t + 2. Let k be d(-14). Suppose 0 = -k*h + 13*h + 2493. Is h prime?
False
Suppose 3*g + 11*g + 42 = 0. Is (-3584)/(-3) - 1/g a composite number?
True
Let t = -4530 - -8713. Is t composite?
True
Let q be (-402)/(-4)*24/(-18). Let t = -187 - q. Let w = t - -168. Is w prime?
False
Let l be 0/((-2 - 0) + 4). Suppose 4*c + 0*c - 808 = l. Is c composite?
True
Suppose -2*s + 0*s + 3*c = -691, 5*s - 1710 = 4*c. Let