 + 3. Let s be k(25). Suppose -s*a + 2*p + 74 = 11, 5*p = a - 34. Is a prime?
True
Suppose -65*n - 15*n + 177680 = 0. Suppose h - 5*v + 23 = 0, 5*h + 2*v - 5*v + 5 = 0. Suppose h*y = -715 + n. Is y prime?
False
Is 8 - (34*-177 - 3) a composite number?
False
Let k = 748 + -745. Is (k/(-9))/((-19)/551589) composite?
False
Let j = -95436 - -135043. Is j composite?
False
Let g = 133706 - -1391. Is g prime?
False
Let t be (-280362)/10 - (-20)/100. Let r = -15774 - t. Is r a composite number?
True
Let d = -11932 - -36511. Let z = d + 1804. Is z a composite number?
True
Let y(x) = -88711*x + 78. Is y(-1) prime?
True
Let t(n) = 6*n - 3. Let r be t(2). Let a(z) = -z + 14. Let y be a(r). Suppose 0 = -w + y*h - 148 + 375, -h = -4*w + 870. Is w a composite number?
True
Suppose n + 7*n - 14552 = 0. Suppose -4*r + 196 = 5*q - 7*q, -q = 0. Suppose 10*z + r = n. Is z composite?
True
Suppose 12*o - 4*j - 94670 = 10*o, j = 2*o - 94688. Is o a composite number?
True
Let k = 106 - 103. Let q be (938/(-4))/(3/(-6)). Suppose k*l - 473 = -w, -3*l - w + q = -2*w. Is l a prime number?
True
Let f = -23 + 31. Is ((-78376)/(-3))/f*3 a prime number?
False
Let w(u) = u**3 - 15*u**2 - 15*u - 11. Let y be w(16). Let b = -158 + 466. Suppose -3*g + y*g = -2*c + b, -4*c + 606 = 2*g. Is c a prime number?
True
Let o(s) = s**3 + 19*s**2 + 2. Let y be o(-19). Suppose y*h + 70 = 74. Suppose -h*j - 1350 + 4624 = 0. Is j prime?
True
Let w = -27 + 27. Suppose 0*h = 3*h + 3*y, 2*h + 3*y + 2 = w. Suppose c - 3*g - 1117 = 0, -5*g - 222 = h*c - 2434. Is c prime?
False
Let j(o) = 16321*o**2 - 534*o + 2656. Is j(5) prime?
True
Suppose -13*d + 27 = 1. Suppose 5*g = d*j - 4, -5*j - 32 = -3*g + g. Is 1400 - ((j - -5) + 6) prime?
False
Is (-6)/(1 + 5)*-7073*(-1)/(-1) composite?
True
Suppose 41*h + 42*h = 66*h + 1524713. Is h prime?
True
Let o be (-9747)/5 - 14/(-35). Let l = o + 20. Let n = -1058 - l. Is n a composite number?
True
Suppose 11*r - 28158 = 186925. Is r a composite number?
False
Suppose -106*f + 113*f = 0. Suppose 15*h - 19*h = 4*z - 3612, f = 2*z - h - 1818. Is z a composite number?
False
Let v(k) = 9654*k**3 + 19*k**2 - 36*k + 11. Is v(4) a composite number?
True
Let g(s) = -12*s - 9. Let u be g(-1). Suppose -n + 272 = -u*w - 69, w = -5*n + 1673. Is n prime?
False
Let p = 150 + -147. Let w(u) = 3 + 4*u**3 + 18*u**3 + 6*u - 2 + 2*u**2. Is w(p) a prime number?
True
Let a(c) = -c**3 + 13*c**2 + 2*c - 3. Suppose -2*p + 24 + 2 = 0. Let w be a(p). Suppose -j = -371 - w. Is j a composite number?
True
Suppose -14 = 2*j, 14*n - 868176 = 12*n + 2*j. Is n a composite number?
False
Let g be 4/(-16)*-2 - 317309/(-2). Suppose -11*h + g = 10*h. Is h a prime number?
False
Let c(h) = 407*h - 17. Let d = -47 + 190. Let j = -138 + d. Is c(j) a prime number?
False
Let a = -24 + 85. Let b = a - 60. Is (-6860 - 1)/(b/(1/(-3))) prime?
True
Let g = -17006 + 30757. Is g a composite number?
False
Suppose 0 = 2*w + 18709 + 46249. Let g = w + 140580. Is g a composite number?
True
Let r(y) = y**2 + 7*y - 14. Let z be r(-9). Suppose d - 2*d + z*p = -18, 0 = -2*d - p. Suppose -k - 10 = -3*k, 0 = d*l - 5*k - 1333. Is l a composite number?
True
Is (-24659)/((-6)/8 + 3/(-96)*8) a prime number?
True
Let q(u) = u**2 + 5*u. Let t be q(-5). Suppose 1376*i + 232 = 1384*i. Suppose -4*p + i + 287 = t. Is p a prime number?
True
Suppose -4*g = 305 - 233. Suppose -3*v = -5*v + 154. Let p = v + g. Is p a composite number?
False
Suppose 0 = -8*n + 3*n + 35. Let t = 8556 - 1826. Suppose -t = 2*o - n*o. Is o prime?
False
Let l = 50 - 43. Is 71 + 1662 - (-1 + l) a composite number?
True
Suppose 11*d - 7*d = 12. Suppose d*k - 9 = 0, -2*b - 5*k = -k - 28166. Is b composite?
True
Let n = 7910 + 11040. Let q = -9439 + n. Is q prime?
True
Let a(q) = q**2 - 7*q + 4. Let t be 2/6 - (-69)/9. Let y be a(t). Is (-2 - y/(-9)) + (-2769)/(-9) prime?
True
Suppose 0*p - 4 = -p. Suppose -p - 8 = 4*l. Let y(t) = -99*t + 10. Is y(l) prime?
True
Let m = -1275599 + 1902736. Is m a prime number?
False
Suppose 0 = 23*s - s - 204754. Is s a prime number?
False
Let y be 12391 - 8/((-24)/(-9)). Let h = -6278 + y. Suppose h + 3471 = 13*c. Is c a composite number?
True
Let y = -18889 + 27222. Let c = -5754 + y. Is c prime?
True
Suppose -4*a + 1236 - 11032 = 0. Let t = -140 - a. Is t a prime number?
True
Suppose 576415 = 47*v + 64635 - 482317. Is v a composite number?
True
Let i = -2667 - -5293. Suppose 3*c = -5*b + 4715 + i, 9788 = 4*c - 3*b. Is c prime?
True
Suppose 1303986 = -1985*z + 1991*z. Is z prime?
False
Suppose 21 + 4 = t. Let j be (170/t)/(1/120). Is (3/(-2))/((-36)/j) composite?
True
Let j(h) = -h**2 + 8*h - 8. Let a be j(7). Is ((-6067)/3)/(a*4/12) composite?
False
Let c(u) = u**2 + 12*u + 21. Let l be c(-9). Let h(s) = 2*s**2 + 10*s - 5. Let k be h(l). Suppose -k*n = 6*n - 20657. Is n prime?
False
Let m be ((1416/1)/(3/(-36)))/(-1). Let f = m - 11309. Is f prime?
True
Suppose 32*b - 22*b + 80 = 0. Is (-4)/6 + ((-4016)/6)/b prime?
True
Let n = 24045 - 12028. Is n a composite number?
True
Let z(t) = 15*t + 347. Let i be z(-19). Suppose 126 = 3*y + 3*w, 2*y = y + 3*w + i. Is y prime?
True
Let s(j) = 3*j**2 - 5*j - 7. Let n be s(3). Suppose n*c - 2*k = -k - 10, 2*c = k - 4. Is (3/c)/((-30)/3580) a composite number?
False
Suppose 8*g + 4*g = -5*g. Suppose -8*s - 802 + 16586 = g. Is s a prime number?
True
Let o(d) = 12*d - 62. Let l be o(7). Is (-4839 - l)/(1 - 2) a prime number?
True
Let m(r) = 38*r**2 + 35*r + 1707. Is m(-26) composite?
True
Let c(h) = -2*h**3 + 2*h**2 + 4. Let w = -141 - -141. Let r be c(w). Suppose 0 = 5*k + 3*o - 32593, r*o + 3572 = k - 2965. Is k composite?
False
Suppose -6*c = 5*o - 2883878, -8*c = -9*c + 3*o + 480677. Is c a composite number?
True
Suppose -4*o + 20 = 0, 2*r - 22*o + 2399 = -19*o. Let v be (6/8)/(2/3544). Let q = v - r. Is q prime?
True
Let d be (2 - 3)*(-1 + -1). Let y(a) = 11*a**2 + 12*a**d + 10 + 2 - 3 + a. Is y(-3) composite?
True
Let z be -1*2/(2 + 0). Let q(c) be the third derivative of -313*c**4/6 - c**3/2 + 273*c**2. Is q(z) a composite number?
False
Let u = 18 + -15. Suppose u*i = -2*c + 383, 5*c - 2*i = -7*i + 950. Is c a prime number?
False
Let g = -78 + 85. Suppose -1431 = g*b + 2321. Is (b/12)/(2/(-69)) a composite number?
True
Let x be (-3383)/((5/(-2))/(-5)). Let g = -8350 + 18001. Let m = g + x. Is m a prime number?
False
Let q = -62 - 8. Let u = q - -64. Let r(m) = -22*m - 43. Is r(u) a composite number?
False
Suppose 3*y = -5*l + 124398, -59*l + 57*l + 124389 = 3*y. Is y a prime number?
False
Let q be -1 + 0 + (5 - 1). Suppose -11484 = -q*t - t. Let y = -1982 + t. Is y composite?
True
Let a(v) = 13*v**2 + 74*v**2 - 37 + 42*v**2 + 3*v. Is a(5) composite?
False
Suppose r - 5*r - 13 = c, -5*c + 11 = r. Suppose 0 = -c*z - z + f + 3205, -3*f - 3 = 0. Suppose -5*q + 1724 = -z. Is q composite?
True
Let t(s) = -10301*s - 13005. Is t(-4) prime?
False
Suppose -14*z = 238122 - 866260. Is z composite?
False
Suppose 8*x - 327 = 13657. Let d = x - 1114. Is d a prime number?
False
Suppose -326 = -b + 796. Suppose z - 3 = 14. Suppose -11*d + z*d - b = 0. Is d a composite number?
True
Suppose 35*d - 726345 = 958870. Is d a composite number?
True
Let p(z) = 442*z + 3. Let w be (-237)/(-33) + 6/(-33). Let g(y) = -1327*y - 8. Let r(b) = w*p(b) + 2*g(b). Is r(1) prime?
False
Is ((-1635924)/22)/(-5 + (-477)/(-99)) composite?
True
Suppose a + 3 = 0, -208 = -2*s + 2*a - 542. Let w = s + 1407. Is w a prime number?
True
Let x(w) = w**2 - 13*w + 2. Let n be x(13). Suppose n*v - 7821 = -7*v. Is v a prime number?
False
Let u(q) = -q**2 - 8*q - 4. Let y be u(-9). Let t(r) = r**2 + 12*r + 11. Let p be t(y). Let g(o) = o**2 - 10*o + 37. Is g(p) a prime number?
True
Let y(b) = -33*b**2 - 43*b - 43. Let m(g) = 27*g**2 + 42*g + 44. Let l(z) = -6*m(z) - 5*y(z). Is l(27) composite?
True
Let g(j) = -1223*j - 98. Let p = -878 - -869. Is g(p) a composite number?
False
Let r be (370409 - 2) + (-24)/(2 + 6). Suppose 34*z - r = -2*z. Is z a prime number?
True
Suppose 135*a - 134*a - 155460 = -5*s, 0 = -2*a + 2*s + 310908. Is a a composite number?
True
Suppose 12 = -4*y + 3*c, 0*y - c = -2*y - 4. Suppose y = 14*x - 1283 - 803. Is x a prime number?
True
Let c be (-173004)/22 + 0 - (-18)/(-99). Is (c/6)/2*90/(-12) composite?
True
