 c(5) prime?
True
Let h(t) = -1711*t - 263. Is h(-22) composite?
False
Let p(a) = 5*a**3 - 77*a + 43. Is p(22) a composite number?
True
Let m = -578 - -265. Let q = m + 208. Is 4 - (q + 0/(-4)) composite?
False
Suppose -1169*s - 52456 = -1165*s. Let i = 23797 - s. Is i prime?
False
Let u(t) = 2200*t + 76. Let f be u(10). Suppose 51*w = f + 192175. Is w a composite number?
False
Let b(u) = -8*u**2 + 3*u**3 + 2*u**2 - 2 + u + 7*u**2. Let k be b(1). Suppose 0 = -k*w - 4*j + 2543, 0*w + 5*j - 1686 = -2*w. Is w a composite number?
False
Let q(i) = 17*i**3 - 9*i**2 + 36*i + 9. Is q(14) prime?
False
Let f(w) = -w**3 - w + 84586. Let v be f(0). Is v/3 - (-10)/(-30) a prime number?
False
Let q(r) = 655*r**2 + 6*r - 6. Is q(-7) prime?
False
Let r(a) = 13*a**3 + 12*a**2 + 4*a - 36. Is r(7) a prime number?
True
Let x(i) = i**3 - 9*i**2 - 8*i - 11. Let t be x(10). Suppose 35 = t*w + 8. Is w/(0 - 15/(-1465)) composite?
False
Let n = 523271 + -352258. Is n a prime number?
False
Let y = 267 - 253. Suppose 23*k = y*k + 3555. Is k composite?
True
Suppose -3*x = 5*s - 61, -2*s + s + 29 = 2*x. Is 2 + 3434 + (-7 - x/(-3)) a prime number?
True
Let t be (-15*8)/(24/32). Let h = 157 - t. Is h a prime number?
True
Let n(h) = 7*h**2 - 71 + 21 + 14*h**2 + 23*h + h**3 + 27. Is n(-16) a prime number?
False
Let v(g) = 1027*g + 75. Let u be v(12). Suppose -11*x - 4688 = -u. Is x prime?
True
Suppose -38853 = 2*u - 181283. Let p = u + -48668. Is p prime?
False
Let w be -12 + 26 + -18 - -1*22. Suppose 3*s - 3*n = 474, -3*s + 2*n + 631 = 152. Let j = s - w. Is j a composite number?
True
Suppose 28*x + 408880 = 48*x. Let h = -11031 + x. Is h composite?
False
Suppose -4*b - 24 = -2*t - 6, -3*t + 17 = -4*b. Let p(g) = 262*g - 646. Let c be p(15). Is (0 - b/2)*c/10 a composite number?
False
Let n(w) = 601*w**2 - 4*w - 5. Let q(y) = y**3 + 4*y**2 - 34*y - 18. Let o be q(-8). Is n(o) a composite number?
True
Suppose -106*t - 94*t = -182*t - 407394. Is t composite?
True
Let q be 9*((-25)/15 + 1). Let g be (q/5)/(2/(-5)). Is 4/((-48)/(-14919)) + g/(-12) prime?
False
Suppose -b = -2*b + 794. Suppose 267 = -s + b. Is s prime?
False
Suppose -65804 - 857742 = -26*q. Is q a prime number?
True
Suppose s = 4*o - 3 - 7, 0 = o - s - 1. Suppose -5*n + 17 = -5*h - o, -h = 4*n - 21. Suppose -5*c - 3*p + 2461 = -p, -n*p = -15. Is c a composite number?
False
Let f(c) = -c**3 - 3*c**2 + 14*c - 20. Let h be f(-6). Suppose -i = t - 2370, h*t - i + 4741 = 6*t. Is t a composite number?
False
Let n(j) = -2682*j - 5. Let l be n(-5). Suppose -p + l = -6*a + 2*a, p + 5*a = 13396. Is (-2 - (-5)/2) + p/18 prime?
False
Let b(d) be the second derivative of 7643*d**5/20 - d**4/12 - d**3/3 + d**2 + 52*d. Is b(1) prime?
False
Suppose 29 + 36 = 13*y. Suppose 3*h + y*h = 19704. Let m = h + -1340. Is m composite?
False
Suppose 57*k = -17*k + 6367554 - 175900. Is k a composite number?
True
Let v be (-12)/3 + -2 + 12725. Suppose -v = -47*b + 18912. Is b prime?
True
Is (342 - 347)*(0 - 122527) a composite number?
True
Suppose -3*d = -a - 2, 6*d - 2*a = 2*d + 6. Suppose 7*w = 8*w. Is ((w - d) + 1)/(34/11951) a prime number?
False
Suppose -2*g = g - 90. Let f be -6*(-3)/g + (-51)/(-15). Suppose f*n + 5*k - 5914 = 3*k, 0 = 4*n - 3*k - 5939. Is n composite?
False
Suppose -5*m - 4*r + 6058 = 0, 4*m - 2*r - 1028 = 3834. Is m a composite number?
True
Let l = 15 - 9. Let s be (-612)/(l/8*8/(-24)). Suppose 2*w + w + 3*h = s, -2*h - 801 = -w. Is w prime?
True
Let w be (7 - 22)*(-4)/(-6). Let q(j) = -28*j**2 - 11*j + 24. Let h(k) = 27*k**2 + 12*k - 25. Let n(d) = -3*h(d) - 4*q(d). Is n(w) prime?
True
Let m(l) = l**3 - 2*l**2 + 2*l + 4. Let z be m(0). Let a(s) = 602*s**2 - 14*s + 11. Is a(z) prime?
True
Suppose -z + 34 = -0*z. Suppose 5*d - z = -9. Suppose -1684 = -d*m + 921. Is m a prime number?
True
Let x = -7681 + 42042. Is x a composite number?
False
Is 15138 - 44 - (-26)/2 a prime number?
True
Let a(q) = -17*q**2 + 3*q + 9*q**2 + 3*q**3 + q - 4. Let t be ((-33)/(-2))/11*(-20)/(-6). Is a(t) a composite number?
False
Let d be (28/(-5))/(161/(-35) + 5). Is (12/30)/(d/(-716695)) prime?
True
Let h be 12*(-3 + (-40)/(-15)). Let k be (-12)/2*h/(-12). Is ((-647)/k)/((-14)/(-28)) prime?
True
Suppose 12*q = 55*q - 389451. Let r = q + -3760. Is r a prime number?
True
Let r be (-2 - -14*(-9)/(-36))*(-6)/(-9). Let w(n) = -n**2 + n + 5. Let q be w(4). Is (3358 + q)/(2 + r) a prime number?
True
Suppose -3*s + 3*y = -49 + 22, -5*y = 2*s - 4. Suppose -n + 3*v = n - 5424, -4*v = -4*n + 10848. Suppose s*u - n = -u. Is u a prime number?
False
Let z(l) = 2*l**2 + 11*l + 13307. Let p be (0/(-2))/((4 - -1) + -3). Is z(p) a composite number?
True
Let s be (3/(6/7))/(1/(-2)). Let r be 46/14 - (-2)/s. Suppose 4*a - 5*b - 925 = 0, 0 = -a + r*b - 0*b + 226. Is a a composite number?
True
Let x(d) = 778*d**2 + 17*d + 16. Let f be x(-1). Suppose -z - 5*a + a + f = 0, -4*z = 4*a - 3144. Is z prime?
False
Suppose 4*k + 9*s - 40 = 4*s, -3*s + 2 = -2*k. Is -3 - (-4 - 4145 - k) composite?
True
Let y = -550 - -618. Suppose -y*q + 74111 = -66*q - b, 4*b = 5*q - 185279. Is q prime?
False
Let r(m) = -m**2 + 10*m + 18. Let g be r(9). Suppose 0 = 32*k - g*k - 15085. Is k prime?
False
Suppose 2*c + 8 = 0, 0 = -4*a + 9*c - 14*c + 536192. Is a prime?
True
Let f = -18582 + 37484. Let a = -8967 + f. Is a composite?
True
Let q(l) = -7002*l + 9343. Is q(-17) prime?
True
Suppose 3*a - 293 + 305 = 0. Is (-14)/7 - a - -3747 a composite number?
True
Suppose -27*l + 6521522 = 11*l - 0*l. Is l a composite number?
True
Suppose 1649045 = 10*l + 453340 - 706485. Is l composite?
True
Let d = 108991 + -16958. Is d composite?
False
Let k = 124 - 115. Let t be (6/(-4)*-2 + 160)*13. Suppose t = k*p + 4*p. Is p a prime number?
True
Suppose -2*d = 92*d + 39*d - 17064033. Is d prime?
False
Suppose -50293 - 254594 = -3*g - 3*z, g - 5*z = 101617. Is g a prime number?
True
Let a(b) = -b**2 - 1. Let p(d) = -4*d**2 + 3. Let n(k) = 2*a(k) + p(k). Let v be n(-1). Let w(j) = -29*j + 12. Is w(v) a prime number?
True
Suppose 23*l - 147879 = 102131. Suppose -l = 464*x - 474*x. Is x a composite number?
False
Suppose -87*j = -193455 - 1847478. Is j prime?
True
Let x = -477 - -480. Suppose -5*l - 69279 = -x*n, -4*l = 3*n - n - 46186. Is n composite?
True
Let k = 409 - 407. Suppose 8 = -2*h, -2*v + 1 = 5*h + 5. Is (k/v)/((-1)/(-1868)) composite?
False
Let v be 2/(-5)*-5 - 7. Let j = 9 + v. Suppose -5*p - 4*o - 513 = -2844, j*p + o = 1867. Is p composite?
False
Suppose 0 = -131*h + 3263885 + 3060402. Is h prime?
False
Let s(f) = 2*f**3 - 5*f**2 - 14*f - 4. Let k be (-8)/(-14) + 352/(-77). Let v be 0 + k + (-22)/(-2). Is s(v) prime?
False
Let h be (-1)/(3/7 - 336/441). Suppose h*o - 36685 = -4*r, 5*r - o - 45857 = -5*o. Is r a prime number?
False
Let f = 28882 - 16739. Let v = f + -6985. Is v composite?
True
Let u(i) = 25 - 8*i - 3*i + 3*i + i**2 - 4*i. Let t be u(20). Let h = t + -96. Is h prime?
True
Suppose 4*v - 126152 = -3*s - 19390, -2*v = -3*s + 106774. Suppose -3*i + i = -5*x - 14255, -3*x - s = -5*i. Is i a composite number?
True
Suppose -5*x = -766 + 711. Suppose 10*z + 8135 = x*z. Is z prime?
False
Let n = -1258 + 5647. Suppose -39*d = -18*d - n. Is d a prime number?
False
Let g(x) = 143*x**2 - 12*x + 161. Let j(w) = 71*w**2 - 6*w + 80. Let k(t) = -4*g(t) + 9*j(t). Is k(-17) prime?
True
Suppose -11910 = 326*n - 336*n. Suppose -2*g - f + 2384 = 0, -2*g = -3*g - f + n. Is g prime?
True
Suppose 18*l - 384 + 222 = 0. Let g(s) be the second derivative of 7*s**4/3 + s**3/2 + 19*s**2 + 3*s. Is g(l) a prime number?
True
Let n(l) = 10*l**3 + 16*l**2 - 5*l + 36. Let g(b) = 8*b**3 + 17*b**2 - 6*b + 37. Let r(d) = -6*g(d) + 5*n(d). Is r(15) prime?
False
Let u = 19112 + -8823. Is u a composite number?
False
Suppose 3*f - 4*k = -2*f - 12458, -9961 = 4*f - 5*k. Let t = f - -7547. Is t prime?
False
Suppose 0 = 289*n - 211356 - 5312862 + 119051. Is n a composite number?
True
Suppose -20 = -4*k, 104*f = 101*f + k + 630466. Is f a composite number?
False
Let d = 30 - 28. Suppose 0 = -g + d*h + 1, -22 = -0*g + 3*g - h. Is 12632/20 + g/15 composite?
False
Let k(y) = -15*y - 25. Let d be k(-2). Suppose 3*r - 5*r = -4. Suppose 0 = -d*h - 3*b + 3050, 6*h - 2437 = r*h - 3*b. Is h prime?
True
Suppose -3*f - 79369 = -4*