-y = 3*x - 2276. Suppose 0 = 2*p + 4*g + g - x, g + 985 = 4*p. Is p composite?
True
Let b(f) be the second derivative of 17*f**4/6 - 4*f**3/3 + 5*f**2/2 - 27*f. Is b(-6) a prime number?
True
Suppose -4*d + 0 = -4*a + 12, 5*a + 5*d = 5. Let t(y) = 6*y + y**3 - 13 + 8*y - 5*y**a - y. Is t(12) a prime number?
True
Suppose 4*m + 27 = 3*n, -4*m + m = -n + 14. Suppose l - 73 = -y - 3*y, -3*y = -n*l + 365. Suppose l = 3*u - 2*w, -51 = -5*u + 5*w + 79. Is u a composite number?
True
Suppose 0 = -7*n - 1159 + 25302. Is n prime?
True
Let j(b) = b**3 + 12*b**2 + 22*b + 22. Let g be j(-10). Suppose 1173 = 2*s - k, -2*k + 4*k - g = 0. Is s a prime number?
True
Let g(o) = -57*o**2 + 9*o + 2. Let u be g(-4). Let f = -255 - u. Is f a prime number?
True
Suppose 6*s - 3*s = 5*o + 6, 2*s - 4 = -4*o. Is (-1)/(-2)*(o - 306)/(-3) a composite number?
True
Suppose k - 127 - 246 = 0. Suppose -2*i - 2*i + 3*t = -504, -3*i + k = -t. Is i a prime number?
False
Let i(s) be the third derivative of 59*s**5/10 - s**4/12 - s**3/6 + 104*s**2. Let g(y) = y - 4. Let q be g(3). Is i(q) prime?
False
Suppose -g - 3*u = -6116, -3*g + 0*u = -2*u - 18370. Is g a prime number?
False
Suppose y - 4*o = 12991, 38934 = -17*y + 20*y + o. Is y prime?
True
Let o = -17 - -12. Let k(x) be the second derivative of x**4/4 + 5*x**3/6 + 3*x**2/2 + 32*x. Is k(o) a composite number?
False
Suppose -4*x + 6*x - 12 = 0. Suppose -z = -x*z + 185. Is z a prime number?
True
Suppose -380*k = -368*k - 80868. Is k prime?
False
Let f(p) = 565*p. Let m be f(1). Suppose o = 3*d + m, 261 - 78 = -d + 3*o. Let h = d - -283. Is h a prime number?
False
Suppose 5746 = 4*l - 9570. Is l a prime number?
False
Is 2730/135 + -20 + (-54115)/(-9) composite?
True
Let p be 456/10 + 6/15. Suppose -l - 29 = w, 4*w + 55 + p = l. Is (w/6)/(1/(-9)) prime?
False
Suppose 7*g = 26471 - 5947. Suppose 2015 = 3*y - g. Is y a prime number?
False
Suppose 4*x + 0*w - 3*w + 4363 = 0, 2*x + 2189 = -w. Let m = -552 - x. Is m a prime number?
True
Suppose 103598 = 25*b - 3*b. Is b a composite number?
True
Suppose 5 = 5*j, -3*j + 8*j = -2*z + 15. Suppose 0 = -2*w + g + 248 + 169, z = g. Is w composite?
False
Let z(y) = -9*y**2 + 5*y - 101. Let v(q) = 4*q**2 - 2*q + 51. Let d(j) = 7*v(j) + 3*z(j). Let b be d(0). Let h = 103 - b. Is h a composite number?
True
Let d(m) = 18*m + 7. Let w = 0 + -2. Let t = w + 8. Is d(t) composite?
True
Let m = -482 + 871. Is m prime?
True
Let k = -22 - -40. Is k/3*(-74)/(-4) a prime number?
False
Let i(m) = -2*m**3 - 10*m**2 - 34*m + 12. Is i(-7) prime?
False
Suppose -4*c - 21 + 62 = -5*m, 3*c = 4*m + 32. Suppose 5*b - 35543 = c*f, -2*b = -3*f + 2*f - 14219. Is b a composite number?
True
Let u(z) = 13*z**2 + 6*z + 13. Suppose -m - 18 = 4*k, 15 = -3*m - 0*k + k. Is u(m) a composite number?
True
Let p(r) = 9*r - 8. Let s be (3 - -9 - 0) + 1. Is p(s) a composite number?
False
Let v(s) = -s**3 - 3*s**2 + 3. Let r be v(-3). Suppose r*z + 8 = -z. Let n(x) = 4*x**2 - 3*x - 1. Is n(z) composite?
True
Suppose 4*d - 2*w = -5*w + 17, -3*d + 4*w = -19. Suppose -2*s + 0*s - 18 = -3*n, d*n + 2*s - 30 = 0. Is 1782/n + -1 + -3 a prime number?
True
Is 1*((-12)/20 - 77214/(-15)) composite?
False
Let m(l) = 264*l**2 + 3*l + 7. Suppose -2*o = 4*z + 4, 0 = 2*o - 3*z + 2*z + 4. Is m(o) a composite number?
True
Let q = 23 - 13. Let o be (128/72 - 2) + 32/(-18). Is (-65)/q*4/o a composite number?
False
Let t = 1753 - 966. Is t composite?
False
Let r = -311 - -504. Suppose -2*o + 6 = -2. Suppose -r = -o*t + 139. Is t a prime number?
True
Let w(f) = 12*f**2 - 15*f - 40. Is w(-9) prime?
False
Is 5/(-15)*9*(-6937)/3 composite?
True
Let s = -251 + 362. Let t be 2/(-4)*(-7 - -3). Suppose -t*v + s = v. Is v composite?
False
Suppose 0 = 67*p - 55*p - 16788. Is p a prime number?
True
Suppose 4*y - 190 = 2*a, -5*y + 275 = 7*a - 2*a. Suppose -2*g - k + 48 = -6*k, 4*k = -g + y. Is g prime?
False
Let w(v) = 37*v**2 - 42*v + 113. Is w(26) a prime number?
False
Is (4/16)/(10/161960) a prime number?
True
Suppose -4*d + 1108 = -0*d. Let u = -148 + d. Is u composite?
True
Let s(l) = 18*l**2 - 4*l + 1. Let a be s(-3). Suppose 4*h = 5*c - a, -2*h + c - 6*c = 65. Is 10/h - 885/(-4) a composite number?
True
Let k = 191 - -102. Is k a composite number?
False
Suppose 4*s - 1 - 15 = 0. Suppose -s*x - 4 = 2*k, -2*x - 4*k - 5 = -3. Is ((-1257)/6)/(x/2) a composite number?
False
Let n be -2*(-6)/(-20)*-5. Suppose 0 = -n*z - z + 2852. Is z prime?
False
Let i = -56 - -47. Let r(k) = 7 - 3*k + k**2 - 6 + 6. Is r(i) a prime number?
False
Suppose 26*j - 27*j + 1154 = 0. Is j a composite number?
True
Let z(j) be the first derivative of -147*j**2/2 + 11*j + 3. Is z(-10) a prime number?
True
Suppose -25973 = -g + 2010. Is g a prime number?
True
Let c(x) = 38*x + 4. Suppose 4*t = -a - 0*a + 8, 3*t = 2*a + 6. Let v be c(t). Suppose 0 = -p + 111 + v. Is p prime?
True
Let y(w) = 12*w**2 - 78*w + 109. Is y(-54) composite?
False
Let c(u) = 104*u - 11. Let p = 39 - 33. Is c(p) a composite number?
False
Let f(r) = 14*r**2 - 14*r - 25. Is f(13) prime?
False
Let v = 61 - 59. Suppose -5*k + 7703 = -f, k - 6*f + v*f - 1533 = 0. Is k a composite number?
True
Let g(w) = 2163*w - 8. Is g(3) prime?
True
Let w(d) = -884*d**3 + 2*d**2 + 4*d - 5. Is w(-2) composite?
True
Let y be 4/(-3)*(-30)/20. Suppose -4*d + 498 = y*b, 0 = -5*b + d - 2*d + 1245. Is b a prime number?
False
Suppose 42*n - 30*n - 45132 = 0. Is n a prime number?
True
Let m = -3 + -3. Let y(g) = -246*g + 5. Is y(m) a composite number?
False
Suppose 0 = -5*t + t + 8. Suppose 9*y - 2037 = t*y. Is y a prime number?
False
Let u = -22 - -27. Suppose -u*r = -973 - 1387. Let x = -215 + r. Is x prime?
True
Suppose 2 = o - 0. Suppose -5*m + 3*y - 13 = -86, 5*m + o*y - 68 = 0. Let w = m - -65. Is w prime?
True
Let l be (12/(-8))/(3/16). Let n(r) = -r + 1. Let c(x) = -x + 19. Let a(z) = -c(z) + 4*n(z). Is a(l) composite?
True
Suppose f - 3*t = 9186, f - 8075 = -5*t + 1087. Suppose 6*u = u + 2*x + f, 4*u + x = 7339. Is u composite?
True
Let m(i) = -12*i - 1. Let c = 4 - 4. Suppose c = -2*v - 3*v + 5, -11 = 3*k - 2*v. Is m(k) a prime number?
False
Suppose -h + 45297 = -3*c, 0 = -2*h + 4*c + 38853 + 51745. Is h composite?
True
Let t(o) = o - 3. Let a be t(5). Suppose 7*x - 3335 = a*x. Is x a prime number?
False
Suppose 64*z = 65*z + 4. Is (z/2)/1 + 7843/31 a composite number?
False
Suppose 2*z - 5*o - 24 = 0, 0 = -z - 3*z - 3*o - 4. Let s(a) = 3*a - 15*a + 5 + 4*a**2 - z*a**2. Is s(-6) prime?
True
Suppose v = 3*r, -4*v + v = -r. Suppose 45 = 3*t - v. Is (-2)/15 - (-2657)/t prime?
False
Let u be (-20)/(-15)*(-3)/2. Is (((-1772)/3)/u)/(12/18) composite?
False
Let j(s) = 19*s - 64. Is j(7) composite?
True
Let y = 34 - 16. Is (y/(-12))/((-2)/1228) a composite number?
True
Let w(o) = 4*o**2 + 103*o + 617. Is w(-78) a prime number?
False
Let f(v) = 106*v + 1. Let z be ((-4)/6)/(12/(-126)). Is f(z) composite?
False
Let q(l) be the second derivative of -l**4/2 + l**3 + 5*l**2 + 5*l. Let y be q(7). Is (y/(-6))/((-7)/(-21)) prime?
False
Let h(q) = 9*q + 1439. Is h(0) prime?
True
Let s(p) = -77*p - 487*p - 1703 + 1726. Is s(-8) composite?
True
Let n(j) = -279*j - 64. Is n(-9) a composite number?
False
Suppose 3*m + 11 = -3*f - 13, 34 = -5*f - 3*m. Let w = 6 + f. Is 5/3*15*w a composite number?
True
Let a be 9/3 + (-6)/24*4. Let k(q) = 2 + 1 + 57*q - 4. Is k(a) prime?
True
Suppose 0 = -3*s + 4*a + 22, 5*s + 6*a = 2*a - 6. Suppose -s*m + 4*f = -818, -4*m - f = 334 - 1970. Is m composite?
False
Suppose 5*o - 4 = -c - 0*o, o = -c - 12. Let y = -40 + c. Let r = -33 - y. Is r a prime number?
True
Suppose -n - 14 = -5*f, 4*n + 9 - 3 = -5*f. Suppose f*a - 2740 = -0*a. Suppose -a = -3*x + 757. Is x a prime number?
True
Let x(s) = -4*s - 1. Let n be x(1). Let j = 1 + n. Is 3/(-12)*j - -68 prime?
False
Let h(s) = 644*s**3 + 4*s**2 + s - 3. Is h(4) a composite number?
False
Suppose -5*j + 3*c = -16, -2*j - 4 = -5*c + 1. Suppose m = 7*o - 2*o - 29, 0 = -4*o - j*m. Suppose q + 86 = 2*a - 3*q, q = o. Is a composite?
False
Let i(c) = -c**3 + c**2 + 1. Let r be (-5)/(-3) - 1/(-3). Let y be i(r). Is 1/((9/(-318))/y) prime?
False
Suppose h = 4281 + 3334. Is h prime?
False
Let f = 304 + -74. Let x be 6*(0 + 2/1). Is x/36 - f/(-3) a prime number?
False
Let x = -5521 - -10