 Suppose 2*g - 4*p = 3*g - x, -4*g + 291 = -5*p. Is g composite?
False
Let f = 26525 + -15724. Is f a prime number?
False
Let g be (1/4)/(1/40*2). Suppose 0 = -g*p - 130 + 4625. Is p composite?
True
Suppose -w = -4*p - 10, -w - 2 = 2*w + 4*p. Let c = 0 + w. Suppose 2*d - 7*a + c*a - 584 = 0, 0 = -3*d + 4*a + 869. Is d prime?
False
Let s(d) = 3*d**2 - 2*d - 2. Let t be s(2). Let f(j) = 2*j + 5. Let u(h) = -h + 1. Let m(o) = f(o) - 4*u(o). Is m(t) a composite number?
False
Suppose -4200 = -5*i + 5*s, 3*i = s + 2307 + 205. Suppose 559 = 2*o + x, -x + 2*x - i = -3*o. Is o a composite number?
False
Suppose -4*y + 25 = -55. Suppose -18*v + y*v - 4 = 0. Suppose v*f - 1551 = -f. Is f composite?
True
Suppose -9*a = 2*u - 7*a - 2368, -u + 4*a = -1199. Is u composite?
False
Let s(v) = 68*v**2 - 1. Is s(-4) prime?
True
Suppose 5*f - 2510 = 3*f. Let b be (1/(-2))/((-1)/8). Suppose -4*l + f = 5*m - l, 0 = b*l. Is m composite?
False
Is (-51655)/25*(-5 + 0) composite?
False
Let x = 0 + 4. Let d be (11/2)/(2/x). Let i(b) = 6*b + 11. Is i(d) prime?
False
Suppose -3*i = -5*i - 5*q + 135, 5*q - 25 = 0. Is 8356/10 - 33/i a composite number?
True
Let d = 5807 - 3180. Is d prime?
False
Suppose 0 = 4*j + 2*h - 55844, -j + 11612 = -h - 2355. Is j a prime number?
True
Let x(m) = 1 + 45*m - 6 - 1 - 1. Is x(6) prime?
True
Let y = 2906 - 1980. Suppose -5*k + y = -2319. Is k prime?
False
Is 100715*16/(-240)*(0 + -3) prime?
True
Suppose -8*b + 7*b + 8 = 0. Suppose 5*c + 381 = b*c. Is c prime?
True
Let w(h) = 265*h + 6. Let q be w(4). Suppose 2*j = -2*d + 1754, -q = -5*j + 4*d + 3319. Is j prime?
True
Let i(d) = d**2 - 11*d - 4. Let o be i(11). Let u = 4 + o. Suppose 3*z - 4*v - 49 = u, 3*z - 51 + 1 = 5*v. Is z prime?
False
Let u(v) = 5*v**2 + 12*v - 10. Suppose 2*a - 32 + 81 = -5*x, 5*x + 3*a + 51 = 0. Is u(x) composite?
True
Let a(t) = t**3 + 16*t**2 - 7*t + 34. Let s be a(-16). Suppose 710 = 5*i + j, -i - j = -0*j - s. Is i prime?
False
Suppose a - 17969 = 3*t, 25928 - 79811 = -3*a + 3*t. Is a a prime number?
True
Let a(q) = q**2 - 13*q - 3. Let b be (-11 + 3)*(-3 + 2). Let g(m) = -m**3 + 8*m**2 + 3*m - 10. Let d be g(b). Is a(d) a prime number?
True
Suppose -2*h = -z - 50172, 4*z = -4*h + 8*h - 100340. Is h composite?
False
Let k be ((-3)/6)/(3/(-12)). Suppose k*r = 3*r - 41. Suppose -r = -c - 4. Is c a prime number?
True
Let j(p) = 5*p + 6. Let m be j(10). Suppose -2*g = 2*h - 0*g - m, -3*h + 2*g = -104. Let x = h - -5. Is x prime?
True
Is (-2)/(-10)*1655/1 prime?
True
Let k be 25/15*12/10. Suppose 5*w + 4*h = 642 + 123, -3*w = k*h - 461. Is w prime?
True
Let g(r) = -r**3 - r**2 + 2*r - 2. Let z be g(2). Let w = 15 + z. Is w - 5 - (-416 - -1) a composite number?
True
Let l be (-54)/15*(-290)/(-3). Is ((-18)/54)/(2/l) a composite number?
True
Let v(j) = 4228*j**2 + 4*j - 3. Let q be v(1). Suppose 0 = -7*g + 188 + q. Is g composite?
False
Let j(o) = 2*o**2 - 2*o - 3. Let n(s) = -s**3 - 9*s**2 - 7*s + 5. Let q be n(-8). Let t be (q + -2)*(-8)/(-4). Is j(t) a prime number?
False
Let a(o) = -181*o + 13. Let p be 5/(25/10)*-3. Is a(p) composite?
True
Let h(f) = -2*f + 1. Suppose -2*o + 4*r - 6 = -o, r - 11 = 5*o. Let d be h(o). Suppose 4*j - j - 69 = -3*s, -s - 115 = -d*j. Is j prime?
True
Let s = -85 + 173. Let b = 126 - s. Is b composite?
True
Suppose -5*u + 0*u + 15 = 0. Suppose -h = x + 9, -2*h + u*x = -h - 3. Let p(g) = 6*g**2 - 13*g - 7. Is p(h) prime?
False
Let x(k) = -k**3 + 16*k**2 + 14*k - 20. Let o be x(16). Suppose 5 = -5*g, -c = 3*g - 4*g - o. Is c a prime number?
False
Let q = 36 - 22. Suppose 3*j = 1 + q. Suppose 0*v - j*v = -995. Is v prime?
True
Suppose -3*z = -3*s - 61776, -5*s = 5*z - 6*s - 102964. Is z prime?
True
Let s(d) be the second derivative of d**6/40 - 7*d**5/120 - d**4/24 + 4*d**3/3 + 3*d. Let g(o) be the second derivative of s(o). Is g(-9) composite?
True
Let t(f) = 77*f**2 + 11*f + 31. Is t(-4) prime?
False
Suppose 2*q + 0*q - 2 = 0. Let n = 5 - q. Suppose 0 = 4*r - 5*z - 101, n*r - 44 = 3*r + 5*z. Is r a prime number?
True
Suppose -24426 = -2*n - 9220. Is n prime?
True
Let o(t) = -735 + 722 + 7*t - 4*t + t + 29*t**2. Is o(6) composite?
True
Let b = 282 - -1411. Is b composite?
False
Let h(m) = -4*m**2 - 3*m + 7. Let w be h(5). Let x = 41 - w. Is x composite?
False
Let i(p) = 176*p**3 - 3*p**2 - 6*p + 21. Is i(4) a composite number?
False
Let d(y) = -56*y**3 + 13*y**2 - 21*y - 4. Is d(-6) prime?
False
Let i(l) = 91*l**3 + 4*l**2 - 2*l + 2. Let x be i(4). Suppose -2*p + 8627 = -j, 2*p - 2749 = 5*j + x. Is p a composite number?
True
Is (-34)/3*(-9)/2 a composite number?
True
Let u = 15 - 11. Suppose u*w = 3*q - 771, -q + 0*w + 268 = -5*w. Is q a composite number?
True
Let r(a) = -a + 1. Let s(m) = 65*m - 14. Let x(j) = 5*r(j) - s(j). Is x(-4) a composite number?
True
Let i be 10/8*8/(-20)*-10. Suppose 2*c = 4*p - 1518, i*p + 2*c - 1897 = 4*c. Is p composite?
False
Let t = -487 - -1746. Is t a composite number?
False
Let u(j) = -151*j**3 - 3*j**2 + j - 4. Let z be u(-3). Let d = z + -2644. Is d prime?
True
Is (-20)/(6 - -4) + 14997 prime?
False
Let i(g) = 16*g**2 - 19*g - 10. Is i(33) prime?
True
Let p = 18 + -16. Let j = 6 - p. Suppose -3*z = -j*z + 127. Is z prime?
True
Is (-67 - 2)*29/(-3) prime?
False
Let g = 36 + -32. Suppose 3*z + 3*l = 89 - 20, -g*z - l = -86. Is z composite?
True
Let g(o) = -606*o**3 + 11*o**2 + 13*o. Let i(a) = -303*a**3 + 5*a**2 + 6*a. Let n(q) = -4*g(q) + 9*i(q). Let p be n(-1). Let t = p - 139. Is t composite?
False
Let z = 19161 - 10536. Let h be (-4)/26 - z/(-39). Suppose 4*r = 5*k - 789, 2*k - 97 = 4*r + h. Is k a composite number?
False
Is 6/8 - (37140/(-16) - -3) a composite number?
True
Let b = -16713 + 23710. Is b a composite number?
False
Suppose 15 - 17 = 2*y. Is y + 21 - (-3 - 0) composite?
False
Is ((5 + 1)/6)/((-3)/(-15783)) a prime number?
True
Let b(t) = -2 + 9*t - 3 + t**2 - 7*t + 1. Let n be b(-4). Suppose 5*h - 159 = -2*q, 0 = -2*h + n*h - 3*q - 56. Is h composite?
False
Is (-7 - 140/(-14))*36871/3 a composite number?
False
Let g = 3308 - 1888. Let d = -467 + g. Is d a composite number?
False
Let o(a) = -6*a**3 - 2*a**2 + 4*a + 5. Let w be o(-4). Let b = -40 - -674. Let t = b - w. Is t composite?
False
Suppose 24*g + 27924 = 36*g. Is g a composite number?
True
Suppose 3*b = g + 2633, -b = -3*b - 5*g + 1744. Is b composite?
False
Suppose q + 4*t = 109 - 4, -5*q + 487 = t. Is q composite?
False
Let d = -709 + 9822. Is d a composite number?
True
Let h = 58 + -53. Suppose n - 1861 = -3*k, 0 = -h*n - 2*k + k + 9305. Is n prime?
True
Let x be (2 - 6)*(4 - 11/4). Let b(g) = -2 + 5*g - 21*g - 1. Is b(x) prime?
False
Suppose 2*z + 37 = -4*k + 3*z, 2*k + 41 = 5*z. Let b(c) = -21*c**3 - 10*c**2 - 8*c - 25. Is b(k) composite?
False
Suppose 44*v - 1028073 = 4528555. Is v a composite number?
True
Let w = -1320 + 2461. Is w prime?
False
Let n = 94 + -15. Is n a prime number?
True
Let p = 5435 - -4572. Is p a prime number?
True
Let w(b) = -b**3 - 12*b**2 - 10*b + 13. Let m be w(-11). Suppose 5*l = -m*j + 3, 5*j + 1 = -4. Is l + (2 - 4) - -786 a prime number?
False
Let r(z) be the first derivative of -8/3*z**3 - 7 - 1/2*z**2 - 11*z - 1/4*z**4. Is r(-9) a prime number?
True
Let g = -1829 - -2866. Suppose -u - g = -3*c + u, 2*u + 343 = c. Is c a composite number?
False
Suppose 5*y = 3*o - 230, 0*y + 206 = 3*o + y. Suppose 0 = 3*b + 2*b - o. Is (-2)/((b/141)/(-7)) a prime number?
False
Suppose 11*h + 5*d + 10978 = 14*h, -4*d = -2*h + 7318. Is h composite?
True
Let n(q) = -q**3 + 2*q**2 + 4*q + 3491. Is n(0) prime?
True
Is (-6 - -494 - 6) + -5 + 2 composite?
False
Is 35022/(-117)*(-3)/2 a composite number?
False
Suppose -5 = d + 100. Let p = 80 - d. Is p a prime number?
False
Suppose 1075 = o - 4*z, 4*o + 2429 = 2*z + 6701. Is o a prime number?
False
Let m(y) = 23*y + 139. Is m(24) prime?
True
Let f be (-8)/10*20/(-8). Let q be 12/8 - (-327)/f. Suppose 4*o - 3*x = 1019, -1154 = -4*o - 3*x - q. Is o a prime number?
True
Let m = 22 - 45. Let j = m - -16. Let u(g) = -13*g - 2. Is u(j) a prime number?
True
Suppose -5*a - 1114 - 5566 = 0. Is a/(-6) + 12/36 prime?
True
Suppose 6*w - 2*w = 4*v + 42860, -4*v = -8. Is w a composite number?
True
Suppose 0 = 4*r - r - 2274. Suppose -u = u - r. Is u a prime number?
True
Let y(v) =