6, j - r = 5*x. Let k = j - 310. Is k a prime number?
False
Let f(m) be the third derivative of -163*m**4/12 - 32*m**3/3 + 20*m**2. Is f(-7) composite?
True
Suppose d = -u + 66338, -164*d + 167*d = u - 66334. Is u composite?
False
Suppose 0 = -3*i - 5*g + 892257, 2*g - 28 + 16 = 0. Is i a prime number?
False
Let u(r) = -7*r**2 - 41*r - 75. Let j(d) = -4*d**2 - 20*d - 37. Let i(y) = 5*j(y) - 3*u(y). Is i(-29) prime?
False
Let m = 7697 - 5428. Let r = m - 446. Is r a prime number?
True
Let o(b) = 1133*b**3 + 36*b**2 + 6*b - 13. Is o(4) prime?
False
Let d(h) = -3*h - 43. Let p be d(-15). Suppose 3*f = -r + 5541, -r - 1444 = -p*f + 2250. Is f prime?
True
Let b(d) = 70*d - 8. Let a(w) = 1261*w - 143. Let i(z) = 5*a(z) - 91*b(z). Let t(c) = 193*c - 38. Let n(r) = 17*i(r) + 6*t(r). Is n(1) composite?
True
Let y = 54096 - -27260. Suppose -y = -3*u + 5*g + 737, 3*u = -5*g + 82073. Is u a composite number?
False
Let p = -96899 + 187658. Is p a composite number?
True
Let r(p) = p**3 + p**2 - 2*p - 4. Let k be r(-2). Let w(g) = -61*g**3 + 18*g**2 - 3. Is w(k) a prime number?
False
Let q = 546 - 558. Is (-522496)/(-65) - 2/(40/q) a composite number?
False
Let i be (-5)/4 + (-2)/(-8). Let v(w) = 217*w**2 + 1. Let t be v(i). Suppose -k = 3*n - t, 0*k - 3*n = -2*k + 391. Is k composite?
True
Let x be (-56)/(-26) - 4/26. Suppose -x*o = o - 3585. Let y = -140 + o. Is y prime?
False
Let o = 179 - 10. Let z = -12 + o. Is z a composite number?
False
Let i = -32 + 37. Suppose -5 = -2*q + 3, -i*d - 4033 = -2*q. Let h = 1514 + d. Is h composite?
False
Let z = 392 + -2227. Let s = 3196 + z. Is s a composite number?
False
Let k = 771 - 766. Suppose -4*b = -3*s - 289271, -k*b - 12*s = -13*s - 361586. Is b composite?
True
Suppose 2*v - 3 = -3*d - 2*d, 14 = 3*v - 2*d. Suppose v*i + 266 - 7162 = 0. Suppose -l + i = 469. Is l prime?
False
Suppose -4*v + 2593 + 6862 = 3*h, -5*h + 15797 = -3*v. Suppose 13*c = 8*c + x + h, 5*x + 10 = 0. Is c a prime number?
True
Let r = 14 + -18. Let d(u) = -26*u**3 + 2*u**2 + u + 3. Let x be d(r). Let h = x + -218. Is h a composite number?
True
Suppose 14*h - 48 = 2*h. Suppose -h + 2 = -i, u - 2*i = 1399. Is u a composite number?
True
Let u(h) be the third derivative of -283*h**6/120 - h**5/30 + h**4/6 + 2*h**3/3 - 11*h**2. Let t be u(-2). Suppose -39*m + 43*m = t. Is m a composite number?
False
Let v(l) = 337723*l**2 + 514*l - 516. Is v(1) a prime number?
True
Let i = -4 - -7. Suppose -w = -2*v + i, 15 = 3*w + 2*w. Suppose 0 = -m + 5*m + r - 13376, 0 = -5*m - v*r + 16727. Is m composite?
False
Let x = 4550 + 881. Is x a composite number?
False
Let m = 1181 + -2265. Let h = 2509 - m. Is h prime?
True
Let y be (-3)/(-6) + 6*(-1)/(-4). Suppose -3*g + 64 = -z, y*g + 89 = -z - 0*g. Let w = 122 + z. Is w a prime number?
True
Let i(a) = a**2 + 25*a + 22. Let n be i(-24). Let r(b) = -4*b. Let o be r(n). Is (529 + 1)*(-2)/o*-2 composite?
True
Is -1 + (-9)/(-7) - (22 - 8334543/49) a prime number?
False
Let a(p) = p**3 - 7*p**2 - 8*p + 4. Let c be a(8). Let k(d) = 171*d - 11. Is k(c) prime?
True
Let u = -41908 + 70089. Is u composite?
False
Let u be 0/(11/(66/(-12))). Suppose -63*j + 48*j + 157755 = u. Is j prime?
False
Let u(y) = -3*y + 21. Let q be u(6). Suppose -q*t = -8*t + 20. Suppose -3*j + t*f = -6497, -2*j + 4*f = 2*f - 4328. Is j composite?
True
Suppose -66*g + 68*g - 12 = 0. Let n = -1182 + 1800. Suppose -g*r + 528 = -n. Is r composite?
False
Suppose 2*z - c = 6, 0 = 2*z - 5*z + 2*c + 9. Suppose 21 = -2*m - j, z*j - 17 = -m + 8*j. Let t(v) = -v**3 - 2*v**2 - 2*v + 7. Is t(m) composite?
True
Is (3 - 5 - 46305)*(-308)/44 a prime number?
False
Suppose -4*j + 31852 = -c, 0 = j - 0*j + 5*c - 7984. Let z(h) = 5*h - 195. Let u be z(39). Suppose 9*b - 1585 - j = u. Is b composite?
False
Let v(x) be the third derivative of -x**8/1680 - x**7/315 - x**6/72 - x**5/24 + 5*x**4/8 - x**2. Let i(w) be the second derivative of v(w). Is i(-6) composite?
False
Suppose 5792398 = 18*t + 64*t. Is t prime?
True
Suppose 0*p = -p + 5. Suppose -3*l + p*h + 384 = 0, 2*l + 2*h = 182 + 74. Let i = 319 - l. Is i a prime number?
True
Let i = -6 - -8. Suppose 11 = 3*d - 5*b, 4 = 2*d - 4*b - 4. Is (-6 + 1)*(-79)/d*i composite?
True
Suppose 3*d - 2381 = -2*s, 4*d - 2386 = -3*s + s. Let b = -509 + s. Is b composite?
True
Let h(i) = 2*i**2 - 20*i + 12. Let l be h(9). Is (-3)/((-84)/(-24878))*l*1 a prime number?
False
Suppose 0 = 7*k + 11310 - 50377. Is k composite?
False
Suppose -67 = -9*v - 4. Suppose -v + 13 = -2*l. Is (-2018)/(-6) + (-2)/l a prime number?
True
Suppose -295*c - 10 = -300*c. Suppose 0*g = -c*g + 2*q + 7564, q + 15143 = 4*g. Is g prime?
False
Is 1926605/30 - 145/(-174) a prime number?
False
Suppose 3*g - 741989 - 624201 = -5*t, -3*t + 819728 = -g. Is t a prime number?
False
Suppose 9328777 = 37*o - 14*o. Is o a composite number?
False
Is (-119093728)/(-256) + 7/(-8) prime?
True
Let s(c) = c**2 + 5*c + 4. Let q be s(-3). Suppose -d - 11 = -2*f, -f + 33 = 2*d + 3*d. Is (q/f)/((-7)/23212) composite?
False
Let u(g) = -1689*g - 106. Let o = -68 + 63. Is u(o) a prime number?
False
Is (28229*(-16)/(-32) - 14)/((-2)/(-44)) prime?
False
Suppose -p - 5*n = -291041, -2*p - 81*n = -78*n - 582110. Is p prime?
False
Let v(l) be the first derivative of 7*l**4/4 + l**3/3 + 2*l**2 + 35*l + 108. Is v(8) a composite number?
True
Suppose 9*j - 14*j = 0. Suppose j = -3*b + 4*b + t + 75, 298 = -4*b - 2*t. Let z = 687 + b. Is z composite?
False
Let a(f) = -5*f + 17. Let n(h) = -7*h + 17. Let c(q) = 3*a(q) - 2*n(q). Let m be c(12). Suppose 5*j - 2*v = -0*v + 7001, 2*j = m*v + 2813. Is j a prime number?
True
Let m(u) = -2*u**3 - 25*u**2 + 13*u - 18. Let g be m(-18). Let j = -1579 + g. Is j a prime number?
True
Let l = -33161 + 52963. Is l prime?
False
Suppose 0 = l - 4527 - 110470. Is l composite?
False
Suppose 5*f + 24 - 23 = -w, 2*w + 2 = -4*f. Suppose 5*t - 2*t + n - 64677 = f, 4*n = 4*t - 86236. Is t a prime number?
True
Let o(d) = -332*d**3 - 4*d**2 + 41*d + 12. Is o(-5) a prime number?
False
Let x(f) = 46*f - 29. Let q be x(7). Let d = 442 - q. Is d composite?
False
Suppose -5*c + 1 = 3*n, -4*n + 0*n + 20 = 2*c. Is (-8)/24*(-4 + n + -1896) composite?
False
Is 122428 + (8 + (-6 - 6))/2 + 3 a composite number?
True
Let z = -1994 - -3991. Suppose 0 = -5*v + z + 248. Is v a prime number?
True
Let y be ((-2)/4 - -2)/((-36)/168). Is (-629)/(-2) + 78/12 + y a prime number?
False
Let g = 23664 - -28575. Let c = 73328 - g. Is c a composite number?
False
Suppose -2*b + 44 = 2*b - 4*p, 4*p = -4*b + 52. Is ((-21)/b)/(3/(-276) - 0) composite?
True
Suppose 0 = -n - 2*f - 7, -2*n + f = n - 14. Suppose -2*w = -4*u - 18, 7*u + n*w = 4*u - 9. Is 2 - (-1754 + (-4)/u - 2) a composite number?
True
Suppose -2*c + 16521 = -10*d + 11*d, -3 = -3*c. Is d a prime number?
True
Let j(l) = 67*l - 1. Let h be j(-1). Let n be h/(-16) - 2/8. Suppose n*v = -3*v + 3129. Is v a composite number?
True
Let v(a) = -20*a**3 + 5*a**2 + 2*a + 4. Let j(u) = -21*u**3 + 4*u**2 + u + 3. Let g(c) = 3*j(c) - 2*v(c). Let x be 2/(-1)*(-8)/(-4). Is g(x) prime?
False
Suppose 3*a = -2*v + 358126, -5*a = 189*v - 188*v - 179077. Is v a composite number?
False
Let v(d) = 2*d**2 + 24*d + 74. Let w be v(-8). Let f(p) = 896*p - 233. Is f(w) a composite number?
True
Let y(v) = 2*v + 68. Let n be y(-15). Suppose -34*s - 9748 = -n*s. Is s prime?
True
Suppose 6*z - 4002 = 3*z + 4*i, -3*i = 0. Let c = 120 - -15. Suppose 133*o = c*o - z. Is o a composite number?
True
Let r(f) = 95*f**2 + 7*f - 257. Is r(-25) a composite number?
False
Let h be ((-54)/(-42))/(110/35 - 3). Is 669 - h/(27/6) a prime number?
False
Let z(s) = s**2 + 6*s + 6. Let x be z(-5). Suppose x = u - 6. Suppose 4499 - 201 = u*c. Is c a prime number?
False
Let o = -153 + 222. Suppose o*b = 83*b - 186326. Is b prime?
True
Suppose s - 21962 = -b, -b - 65882 = -140*s + 137*s. Is s composite?
False
Let j be (13/(-3))/((-2730)/342 - -8). Let s = j - -470. Is s prime?
True
Suppose -6*x = -140 + 524. Let p = x + 6497. Is p composite?
True
Let l(n) = 7936*n - 80. Let h be l(18). Suppose 4*s + w = h, 2*s + 15*w = 17*w + 71394. Is s a composite number?
True
Let h be (5/(-10))/(-3*3/(-36)). Let g be (-6)/2*-2 - h/(-1). Is 59 - ((-2)/11 - g/(-22)) composite?
False
Let a(k) = 11*k**2 +