 649007*b - 2009. Is m(2) a composite number?
True
Let p = 259815 - 170316. Is p prime?
False
Let p(n) = 3*n**3 - 2*n**2 + 3*n + 1. Let h be p(-3). Suppose -3*x - 5*f - 1590 = 0, -31*f = -30*f + 6. Let d = h - x. Is d composite?
True
Let h(p) = p**3 + 63*p**2 - 2*p - 3. Let a be h(-30). Suppose -5*x + c - 6*c + 29765 = 0, -c = 5*x - a. Is x composite?
True
Let j(x) = 474*x**2 - 571*x + 4. Is j(5) composite?
False
Suppose 2*t - 1927 - 2399 = 2*g, 4*g - 5*t = -8650. Let m = 72 - g. Is m composite?
False
Suppose -248*l - 1113438 = -286*l. Is l a composite number?
True
Let i = 11499 - -20992. Is i a composite number?
False
Suppose 2*r - 3*d - 15 = 0, 4*d + 3 = r - 12. Suppose -3*u + 4*q - 3*q + 6715 = 0, 2*q = r*u - 6719. Is u a prime number?
True
Let k(f) be the first derivative of 653*f**4/4 - f**2/2 + 11. Let u be k(1). Suppose -w - w = -u. Is w a prime number?
False
Is ((-38)/(-285) - (-6350294)/120) + 2/(-8) prime?
True
Suppose -16127 = -5*f - 3332. Let v be 30*15*(-2)/(-3). Let d = v + f. Is d a prime number?
False
Let p(x) = 132*x**2 + 13*x - 67. Is p(-24) a prime number?
True
Let t be (-11)/33 - (-29)/(-3). Let n be 8/t + 112/(-35). Is 3 + (-2720)/(-4) + n a prime number?
False
Let s = 31842 + -2905. Is s a composite number?
True
Suppose 23*o - 20*o - 15 = 0. Suppose d - 20017 = -6*t + t, 2*d - 40064 = o*t. Is d prime?
False
Suppose 21 = -8*t + 1157. Suppose -t = -j - 0*j. Is j a composite number?
True
Let b(c) = 825*c**2 - 81*c - 2107. Is b(-24) a prime number?
True
Let c(p) = p**2 - 2*p - 30. Let k be c(-6). Suppose -k*y + 8*y + 19430 = 0. Is y prime?
False
Let s = 2388109 + -1624926. Is s composite?
False
Suppose 0 = 5*z + u + 1, -3*u - 4 = u. Let k(y) = y**3 + 7369. Is k(z) a composite number?
False
Suppose 8*d - 11*d - 141 = 0. Let y = d + 39. Is (1582/4)/((-4)/y) composite?
True
Is 54/9 + 2269/(-3)*-717 a composite number?
True
Suppose -5*p + 3*s + 203239 = -3*p, -3*p - s = -304886. Is p composite?
False
Let h(m) be the second derivative of m**5 - 2*m**4/3 - 7*m**3/6 - 6*m**2 - 9*m. Is h(7) composite?
True
Let n(o) = 4*o**2 - 5*o - 152. Suppose 3*s - 9 = 0, -3*i + 4*s + 0*s = -69. Is n(i) prime?
False
Suppose 3*o + f = -26 - 42, -2*o = f + 47. Let u = -19 - o. Let c(b) = 50*b**3 + 2*b - 1. Is c(u) a prime number?
False
Let z = -483342 + 1068101. Is z a composite number?
True
Let g = -6480 + 14143. Is g a composite number?
True
Let x be 4/(-18) + (-453900)/(-135). Let m = x + -967. Is m a composite number?
True
Let m(z) = -z**3 + 15*z**2 - 9*z + 13. Let f(x) = 6*x**3 - 2*x**2 + 2*x - 2. Let l be f(2). Let u be 7*(l/24 + (-1)/(-4)). Is m(u) prime?
True
Let o(p) = 2762*p**3 + 4*p**2 - 5. Let r(w) = 14 - 11*w**2 - 1127*w**3 + 5*w**2 - 5*w**2 - 7159*w**3. Let s(u) = -11*o(u) - 4*r(u). Is s(1) a prime number?
False
Suppose 0 = 4*u - 2*q - 264, -3*u + 21 = 2*q - 184. Let h = 144 + u. Suppose -5*k + 2*o - 4*o = -575, 3*o = 2*k - h. Is k composite?
False
Let s = 241039 + -156410. Is s a composite number?
False
Let a(l) = 181471*l - 9093. Is a(4) a prime number?
False
Let k(p) = 2*p + 37. Let z be k(-6). Let n = 30 - z. Suppose 0 = -n*y - 2*h + 265, 44 = y - 4*h - 9. Is y a prime number?
True
Let l = 3178 - -5745. Is l a prime number?
True
Let p(j) = -j**2 + 9*j + 1. Let f(k) = 8*k. Let g(y) = 4*f(y) - 5*p(y). Is g(-9) a prime number?
False
Suppose -2*z - 12420 = -4*l, -443*l + 6222 = -441*l - 4*z. Is l a composite number?
True
Let v(t) = 86*t + 19. Let f be (-4)/18 - (1 + (-1518)/27). Suppose 47 = 6*g - f. Is v(g) a composite number?
False
Let l(g) = -g**3 - 2*g**2 + g - 3. Let s be l(-3). Suppose 0 = 4*o - s*o - 436. Suppose 4*p - 1912 = o. Is p prime?
True
Let w(f) = -f**3 + 20*f**2 - 95*f + 57. Let x be w(13). Let s be (-17)/(-2) + (-2)/(-4). Suppose -218 = -x*l - 4*o, -l + o = -s - 40. Is l prime?
False
Let g(j) = 2*j**2 - 38*j - 44. Let q be g(20). Is q + 2 + 0 - (-2441 + -20) composite?
False
Let q(t) = -171*t - 76. Let i(g) = -57*g - 25. Let j(d) = 11*i(d) - 4*q(d). Let u(m) = 58*m + 28. Let o(x) = -3*j(x) + 2*u(x). Is o(-26) composite?
False
Suppose 4*d + 19 = b + 7*d, -2*d = -10. Suppose -2*l + b*s = -2794, -5*s - 32 = -47. Is l a prime number?
False
Let s(u) = 1484*u**2 + 108*u + 335. Is s(-3) composite?
False
Let v(t) = -2*t**2 - 10*t + 4. Let i be v(-8). Let j be (43*1)/((-4)/i). Let g = j + -270. Is g prime?
False
Let m(b) = 4*b**3 + 26*b**2 - 16*b. Let o be m(-7). Suppose -22586 = -o*k + 24440. Is k prime?
True
Suppose -w + 5*a = -9785 + 1016, 4*w + 5*a - 35126 = 0. Is w a prime number?
True
Suppose 0 = 81*j - 79*j + 4*d - 119054, 5*j - 3*d - 297661 = 0. Is j a composite number?
True
Let a(g) = 9*g**2 + g - 10. Let k(v) = -10*v**2 - 2*v + 9. Let h(i) = -6*a(i) - 5*k(i). Let r be h(5). Let u = r + 872. Is u a composite number?
True
Suppose -8*v + 67 - 19 = 0. Suppose 3*k + 24 = v*k. Is (-4 + 0)/k*-334 composite?
False
Suppose 0 = x - 79 - 289. Suppose 342 + x = 5*v. Let h = 677 - v. Is h a prime number?
False
Let h = 748956 + -329975. Is h a prime number?
True
Let o = 96761 + -56190. Is o composite?
True
Suppose -4*f - 10 = -2*n, -5*f - 6 = -2*f. Suppose -n + 4 = -3*z, -4*v - 4*z + 4600 = 0. Is v composite?
False
Suppose 344*o - 272*o - 55368216 = 0. Is o composite?
False
Let u(n) = 2*n**3 - 103*n**2 + 30*n + 268. Is u(61) composite?
False
Let p(d) = -d**3 - 4*d**2 + 11*d - 37. Let r be p(-7). Let q = -4 + 8. Is (r/q)/(3/12) prime?
False
Let s be 2259/12 + 6/8. Suppose 2*k - 174 = -k. Let y = s - k. Is y a prime number?
True
Let a = -70913 + 43456. Let t = -14292 - a. Is t a prime number?
False
Suppose 1 = 2*a - 7. Suppose 10 = -2*t + a*j, 2*j + 1 - 2 = 5*t. Is (2*(-3777)/(-18))/(t/3) composite?
False
Suppose -15 - 6 = -3*y + 4*t, -4*t = -y + 15. Let k be (1/y)/(1/1047). Let m = 640 - k. Is m a prime number?
False
Let h = 57 - 63. Let q be 2 - 20/h*-3. Is ((-6)/q)/(-6 + (-8548)/(-1424)) a composite number?
True
Let o = 38 - 38. Suppose 1512 = 2*u - o*u. Suppose 2*w = -4*k - w + 754, -4*k = 4*w - u. Is k prime?
False
Is ((-3)/(-9))/((-5 - 5)/(-4657830)) prime?
False
Let x be (-3)/(1/(6 + 0)). Let b = 25 + x. Suppose -b*l + 108 + 25 = 0. Is l a prime number?
True
Is (4662385/910)/((-2)/(-92)) composite?
True
Let a(c) = 8*c**3 - 38*c**2 - 19*c - 29. Is a(18) composite?
True
Let i = -121 + 136. Let b be ((-21)/9)/(5/i*-1). Suppose 4*k = b*k - 5385. Is k prime?
False
Suppose 5*v + 40*u - 45*u = 4103910, -4*u - 4103905 = -5*v. Is v prime?
False
Suppose 0 = 42*s - 151808 - 257398. Is s composite?
False
Let a = 469370 - 333667. Is a prime?
False
Suppose 0 = -9*g - 2059 + 448. Let t be 13 - 12 - (1 + g). Let y = t + -24. Is y composite?
True
Suppose 43 = 4*s + 27. Suppose 5*g = -m + 1274 + 5357, 4 = s*m. Is (g - (1 + 1))*3/12 composite?
False
Suppose 85 = 5*r + 5*v, 5*r = 2*r + v + 31. Suppose -4*a = 2*a - r. Suppose 434 - 8 = a*x. Is x prime?
False
Let g be 1/(-2) - (-50)/4. Let x(d) = -67*d - 39*d - 3*d - g*d + 3. Is x(-4) composite?
False
Let w = -51 + 53. Suppose -4*y = w*g, -2*y + 0 = -5*g - 12. Is g + 0 - 6168/(-8) composite?
False
Is (-13598300)/(-6 - 13) - (-3 - -10) composite?
True
Suppose 3*g - 22590 = -2*x - 7423, -4*g = -5*x + 37929. Suppose -7796 - x = -9*v. Is v a composite number?
False
Suppose -9*a - 295948 + 1264794 = -1438285. Is a a prime number?
False
Suppose -5*k + 605 + 70 = 0. Let b = k + -129. Suppose -b*s = -4*s - 1406. Is s composite?
True
Let q = -274 + 512. Suppose -687 = -a - q. Is a composite?
False
Suppose -4*o + 514637 = p - 179988, -3*o = -5*p - 520986. Is o composite?
True
Let o(r) = -21159*r - 7030. Is o(-3) composite?
True
Let q be 6/(-252)*6 - 367204/14. Let s = 2282 - q. Is s a prime number?
False
Let s(x) = x + 1. Let y be s(3). Let i be 0 + -1*(-4 - (-4)/4). Suppose b - 5426 = -y*b + 3*u, -i*b + 3252 = -3*u. Is b prime?
True
Let q(k) = 10*k**3 - 7*k + 12. Let d be q(4). Suppose p = 2819 - d. Is p a composite number?
True
Let b(f) = -132*f**2 + 18*f - 61. Let m(u) = 133*u**2 - 18*u + 60. Let r(c) = 2*b(c) + 3*m(c). Is r(3) a prime number?
False
Is (-1)/((-4)/40) - (-380096 - 11) a composite number?
False
Suppose -4*i = -2*c - 175422, 0 = -3*i - c + 158187 - 26633. Is i a prime number?
True
Suppose 2*p - 34*z - 505606 = -35*z, z = -p + 252803. Is p a composite number?
True
Let b = 127141 + 4152. 