uppose -5*o - 15 = 0, -s*b + o = 4*o + 834. Let v = 49 - b. Is v prime?
False
Suppose 0 = -13*x + 22*x - 18. Suppose -3989 = -5*b - x*p, 4*b = -3*p + 758 + 2436. Is b composite?
False
Let c = 98277 - -90850. Is c a composite number?
False
Let h(m) be the second derivative of 13*m**5/20 - m**4 + 5*m**3/6 - 6*m**2 + 3*m. Let r be h(-6). Is 1/(3 - r/(-1095)) a composite number?
True
Let w = 6534 + 21674. Suppose 3385873 = 566*s - 4598123. Suppose s = i + i - x, 4*i - w = x. Is i prime?
False
Suppose 5*l + 0*l = 55. Let r(y) be the second derivative of 13*y**3/3 + 21*y**2/2 + 3*y - 8. Is r(l) prime?
True
Is (-5)/5*-6494 - -3 prime?
False
Suppose -50 = -2*z - 62. Is 37597/42*22 + 4/z a prime number?
False
Suppose 1 + 17 = 9*b. Let z be 3*((-4)/(b + 10) + 3). Suppose 13*i - z*i = 2810. Is i a prime number?
False
Suppose -93*y = -86*y - 150115. Suppose 33*c - y - 11852 = 0. Is c prime?
True
Let h(u) be the third derivative of -5*u**5/6 - 11*u**4/24 - 5*u**3/3 + 3*u**2. Let v(b) be the first derivative of h(b). Is v(-7) composite?
True
Suppose -s - 3*y = -3*s + 134967, -2*y = -4*s + 269914. Suppose 13*z = s - 4595. Is z a prime number?
False
Let a be (0 - 0)*((-51)/6)/17. Suppose 2*w + 22 - 26 = a. Suppose 2*z - 9836 = -w*z. Is z prime?
True
Let r = -2620 + 8907. Is r composite?
False
Let u(w) = -1196*w + 1. Suppose -5*m = 2*y + 21, 0 = 5*m - 8*y + 5*y + 31. Is u(m) prime?
True
Let a(i) = i**2 - 3*i - 67. Let z be a(10). Let r(y) = 97*y**3 + y**2 - 7*y + 4. Is r(z) a composite number?
True
Suppose -2 = -44*w + 43*w. Suppose -w*x + 1592 = 2*f, 0 = f + f + 2. Is x composite?
False
Let y(c) = 16 + c + 0*c + 6*c + c. Let o be y(-3). Is (-256 - 1)*(-12)/o*-2 a prime number?
False
Let g = -2 - -4. Let m(l) = 14 - 7*l + 8*l**g - 3 + 15*l. Is m(-6) a prime number?
True
Suppose -20 = -47*t + 42*t. Is t*(-46)/(-8)*(-3 + 5) a prime number?
False
Suppose -11*y - 32 = -9*y. Is 2/(y/(-3118))*4 prime?
True
Suppose -32*r + 131 + 93 = 0. Is (49/21)/r + 16436/3 a composite number?
False
Let m(x) = -2*x**3 - 24*x**2 + 39*x - 7. Suppose 0 = 9*d - 13*d - 76. Is m(d) composite?
True
Suppose h = -4*s + 1314, -2*h + 4*s + 1224 = -1428. Suppose u + h = 5*a, 3*a - 1094 = -u - 296. Is a a composite number?
True
Suppose -3*p - 1034123 + 3760802 = -0*p. Is p a prime number?
True
Let z = 439 + -436. Is (-2 + 4/z)*287901/(-18) prime?
True
Let g(f) be the first derivative of 2*f**3/3 + 5*f**2 - 15*f - 1. Suppose -7*d - 16 = -4*d + 4*y, -22 = 4*d + 5*y. Is g(d) prime?
False
Let o = -74 + 76. Let s be 78372/(-70)*(-5)/o. Suppose 3*b - s = -d, -4*b - 5638 = 4*d - 6*d. Is d prime?
False
Let x(m) = -490*m - 61. Is x(-3) composite?
False
Suppose 2*i = -3*i + 2*u + 85, 0 = 3*i - u - 51. Let w(c) = -35 + 16 + 4 + 22*c. Is w(i) prime?
True
Suppose -13 = -6*u + 41. Suppose -u*b = -8*b - 79. Suppose -2*w + b = -55. Is w prime?
True
Let q(z) = -z**3 - 2. Let x(m) = -4*m**3 - 16*m**2 + 31*m + 21. Let b(j) = 3*q(j) - x(j). Is b(-16) a composite number?
True
Let a(y) = y**3 - 8*y**2 + 12*y + 10. Let i be a(7). Let z = i - 43. Suppose d + 47 = -v + 656, -1253 = -z*d + 5*v. Is d a composite number?
True
Let h(r) be the first derivative of -5290*r**2 - 27*r + 58. Is h(-2) a composite number?
True
Suppose -2189465 = -5*k + 128340. Suppose 0 = 48*j - j - k. Is j a prime number?
False
Let w = -130757 - -305026. Is w a composite number?
True
Suppose y = 4, 4*q + y = 2*q + 8. Suppose q*b + 2319 = x, 2*x - 2*b = -5*b + 4645. Is x a composite number?
True
Let a = -23178 - -39037. Is a a prime number?
True
Let a be 5172/1*90/40. Let l = a - 6548. Is l composite?
True
Let l = 11 + -7. Let k be (12 - 12)/(-1 + l). Suppose -4*i = -i - 2*t - 1187, -3*i + 5*t + 1190 = k. Is i composite?
True
Let r be 18/27 - (-137814)/18. Let w = -1256 + r. Is w composite?
True
Suppose 2*r = -4*q - 2, -r + 4*q - 3 = 7*q. Suppose -5*o = -5*h + 1455, -o - 8 = -r*o. Is h a composite number?
True
Let a(b) = 0 + 5*b - 6*b**3 - 13 - 6*b**2 + 4*b**3. Let o be a(-9). Suppose -197 + o = 3*t. Is t composite?
False
Let z(c) = 76*c - 17. Let v(m) = 3*m**2 - 2*m - m**3 + 3*m**2 - 2*m**2 - 8 + 3*m. Let b be v(3). Is z(b) prime?
False
Let c be ((-48027)/28)/((-3)/32). Suppose 0 = -24*m + c + 56320. Is m a prime number?
True
Suppose -7*l - 2*l = 243. Let d = -22 - l. Suppose -u = -4*v - 227, -864 = u - 5*u + d*v. Is u prime?
True
Let t(w) = w**3 - 12*w**2 + 30*w - 22. Let o be t(9). Suppose o*c = -5*c + 31630. Is c composite?
False
Let b(r) = r**3 - 12*r**2 + 14*r + 269. Is b(36) a prime number?
False
Let h(l) = 305*l**3 - l - 4. Let q be h(3). Suppose 11*j = 34*j + 113183. Let n = q + j. Is n a prime number?
True
Let r be (-12)/24*(0/(-1) + 0). Suppose j + 3*p = -r*p + 1721, -4*j = 4*p - 6844. Is (-1)/4 - j/(-8) prime?
False
Let s(i) = 12*i - 169. Let c be s(17). Suppose 50428 = -7*h + c*h. Is h composite?
False
Let u be (0 - -20) + 8/2 + -2. Suppose -2*r = 17 + 9. Let f = r + u. Is f composite?
True
Let x = 984458 - 503215. Is x a composite number?
True
Let l(b) = -1857*b - 206. Let a be l(-10). Is a/(1/4 - 7/(-4)) a composite number?
True
Suppose 148298 + 45719 = 2*q - b, -3*q + 290991 = 10*b. Is q a prime number?
True
Let b(k) = 4*k**3 + 2*k**2 + 12*k + 47. Let f be b(16). Suppose 0 = 3*u - 8*u + f. Is u a composite number?
True
Suppose -15 + 54 = 13*i. Suppose 5*y - c - 22444 = 0, 0 = i*y - 0*c + 4*c - 13471. Is y a composite number?
True
Let t(j) = -j - 1. Let b(a) = 23*a - 20. Let d(s) = 2*b(s) - 6*t(s). Suppose 4*y = -o + 61, -41 = -47*y + 44*y + 4*o. Is d(y) a prime number?
False
Suppose 2*f + 6 = 2*r - 24, 3*r + 91 = -5*f. Let h = f + 22. Suppose -3*t - 3 = 0, h*i - 3*t - 1109 = t. Is i a prime number?
False
Suppose 0 = 2*t - 5*h - 782586, 0 = -62*t + 59*t + h + 1173827. Is t prime?
True
Let p be (4 + -6 - -8) + -7840. Let l(q) = 33*q + 3. Let k be l(-1). Is p/(-5) - (2 + 66/k) a composite number?
False
Let b(f) = f**3 + 40*f**2 + 15*f - 7. Suppose 8*x + 78 = -5*n + 6*x, 5*n + 76 = -4*x. Is b(n) prime?
True
Let t(v) = 1135*v**2 - 69*v + 319. Is t(5) a composite number?
False
Suppose 10 = 4*d - 6. Suppose -3*n - d*g + 13 = 0, 3*n - 4 = g + 4. Suppose 1012 = n*c + 61. Is c a prime number?
True
Let y = -39175 + 72636. Is y prime?
True
Let b(d) = -505*d**3 - 10*d**2 - 79*d + 7. Is b(-5) composite?
False
Suppose -2*t - 1536 = -3*a, 0*t = -a - 4*t + 498. Let y = a - 1266. Let m = y + 1805. Is m a prime number?
True
Suppose -52*d - 2388676 = -56*d + 4*u, 4*d = -3*u + 2388676. Is d a prime number?
True
Let f be 814/(-7) - 8/(-28). Let a = f - -149. Is a a prime number?
False
Suppose 7*d = 10*d - 108. Suppose -70 = -d*o + 41*o. Is (1724/o)/((-2)/14) a composite number?
True
Let w be (-8 + 9)/(4 + -5). Is (w + 3)*(7780/8 + -3) composite?
True
Suppose -2*n = 6*l - 3*l + 7, 2*l + n + 3 = 0. Is (-6650 - (0 - l) - 5)/(-2) prime?
False
Let d(v) = -310*v + 2791. Is d(-105) composite?
True
Let o(z) be the second derivative of z**4/12 - z**3/2 - 3*z**2/2 + 27*z. Let u be o(-2). Let p(y) = 2*y**3 - 12*y**2 + 15*y - 12. Is p(u) composite?
False
Suppose 2*o + 57419 = x, -421*o = 3*x - 423*o - 172249. Is x composite?
True
Let x(u) = 21*u + 10. Let s be x(2). Is (-1)/((-4)/18189) - 13/s prime?
True
Is 62*7043 + 194 + -175 a composite number?
True
Is (-1*2591216/24)/(3/(9/(-2))) prime?
False
Suppose 5*z - 19544 - 266611 = 0. Suppose 2*h = 4*x + 53518, 2*h + 2*x + 3713 = z. Is h composite?
False
Suppose 27*a + 19938 = 23*a + 10*a. Is a a prime number?
True
Let n(l) = -12*l - 12. Let i be n(33). Let w = 1039 + i. Is w prime?
True
Let n = -4365 + 772. Let z = 602 - n. Is z a prime number?
False
Let p(n) = 8*n - 83. Let h(r) = -3*r + 28. Let k(a) = -11*h(a) - 4*p(a). Let i be k(-20). Suppose 5442 + 826 = i*j. Is j composite?
False
Let g = 105627 + -24296. Is g prime?
True
Let x = 184052 + 47594. Is x a prime number?
False
Let g = -10691 + 42048. Is g a composite number?
False
Suppose 53*r + 2418 = 54*r - l, -12094 = -5*r + 4*l. Let b = r + -1259. Is b composite?
False
Suppose 23*l - 13*l = -245900. Let m = -6073 - l. Is m a composite number?
False
Suppose 2*j - m - 7 = 0, 4*j - 282*m + 287*m - 49 = 0. Let p = 4 + -2. Suppose 0 = -5*v - p*x + 411, v - j = 5*x + 87. Is v a composite number?
False
Let y be 1/(-1) - (-1 - 45). Let c = 42 - y. Let v(f) = -35*f**3