 + 3*r = 2*c - 3912, 2*c + 4*r - 7794 = 0. Is c a prime number?
False
Let i(f) = -4*f**2 - 13 - 8*f + 3*f**3 - 2*f**3 + f**2 - 7*f**2. Let g(n) = 3*n - 6. Let k be g(6). Is i(k) prime?
True
Let v(c) = 143*c + 37. Let z be v(7). Suppose 3*k - z - 831 = 0. Is k composite?
True
Suppose -x = -2*x - 316. Let s be (192/(-4) + 1)/(5/(-55)). Let l = x + s. Is l prime?
False
Suppose 2*z - 3*k + 2172 = -7*k, k - 3 = 0. Let x = 2015 + z. Is x composite?
True
Let c = -74668 - -106551. Is c a prime number?
True
Let h(c) be the third derivative of 7*c**5/12 + c**4/24 + 7*c**3/6 + 2*c**2. Is h(5) composite?
False
Let f(a) be the third derivative of 4*a**5/15 + a**4/12 - a**3/6 + 3*a**2. Is f(2) composite?
False
Let z be (9 - 10)*(-1 - -2)*1042. Let k = z + 1857. Is k prime?
False
Suppose 5*b = -5*u + 980, 0*b + 3*b = -5*u + 984. Let t = u + -109. Is t prime?
True
Let a = 19 - 21. Let x be 2/(a/2) + 5. Suppose 2*d - 4*i - 634 = 0, x*i - 262 - 55 = -d. Is d a prime number?
True
Let u = -25 - -23. Let v = u - -57. Is v composite?
True
Let w(c) = -c**2 - 8*c - 7. Let f be w(-7). Suppose -4479 = -5*x - 4*l, 3*x + f*l - 2677 = -5*l. Is x prime?
False
Let n be (44/(-6))/((-12)/18). Let b be 35/n + (-14)/77. Suppose -z = 3*r + 4*z - 68, -b*z = -3*r + 108. Is r composite?
False
Suppose -65*x - 7782 = -68*x. Is x a prime number?
False
Let m(x) = 3*x**3 - 4*x**2 + 2*x + 1. Let a be m(3). Let s be (-6)/14 - a/91. Let y(f) = -126*f + 1. Is y(s) a composite number?
False
Suppose y + y + 278 = 0. Suppose -2*v + 4*u = 6*u - 704, -5*v + 2*u + 1767 = 0. Let p = v + y. Is p a composite number?
True
Is 1/(-3)*(-26237 - -8) a prime number?
False
Suppose -l - 10417 = -4*n, -2*n + 2*l + 5201 = -l. Is n a prime number?
False
Let a(m) = -m**2 + 2*m. Let f be a(-1). Let q(i) = -508*i + 7. Is q(f) a composite number?
False
Let j be ((-3)/(-2))/3*6. Suppose p = 4*i - j*i + 270, -2*p + i = -536. Is ((-1)/(-2))/(7/p) a composite number?
False
Let z = 7 - 5. Suppose 0 = h + z - 5. Suppose -v + 1052 = h*v. Is v composite?
False
Suppose 14*t = 2*t + 1259316. Is t prime?
False
Let d(i) = 6*i**2 - 106*i + 99. Is d(-25) a composite number?
True
Is (220/15)/(-11) - (-23402)/6 composite?
True
Let a(l) = l**2 + l - 6. Let i be a(-3). Suppose -4*w - 107 = -5*n - i*n, -4*w = 12. Is n a prime number?
True
Suppose 2*a = -4*v + 1198, 3*v + 2*a - 360 = 539. Suppose -m - s + 7 = 0, 4*s - 2 = 5*m - 1. Suppose -m*z + 4*i = -v, -5*i = -3 + 13. Is z prime?
True
Let i(p) = -p**2 + 3*p + 5. Let j be i(0). Suppose 0 = 5*a - 4*y + j*y - 2134, 1284 = 3*a - 3*y. Is a composite?
True
Let i = 255 + -934. Let c = 1050 + i. Is c a composite number?
True
Suppose 5*f = -2*v + 11928, 9*f - 4*f = v + 11916. Let q = 3466 - f. Is q a composite number?
True
Let l be 3*-1 - 1642/2*-17. Suppose -5*y = -3*k + 6*k - l, -5*y - 2*k = -13951. Is y a composite number?
False
Suppose 0*c = 3*c - 237. Let l(k) = -4 - 1 + c*k - 549*k + 4. Is l(-1) prime?
False
Let w(l) = -10*l - 1. Let u be w(1). Let o = u + 8. Is 921*(-4)/(o - 9) a prime number?
True
Suppose -2*q - 40 = 3*q. Let i be ((-18)/q)/((-6)/1424). Is (8/12)/((-4)/i) a prime number?
True
Suppose 0 = -14*d + 3020 + 270. Is d a prime number?
False
Is (41 + -6)/7 + (24649 - -5) a composite number?
False
Let s(n) = n**3 + 11*n**2 - 6*n - 13. Let x = 2 - 2. Suppose -5*g - 45 + 0 = x. Is s(g) a prime number?
False
Suppose 3*t = 1968 + 5310. Is t a composite number?
True
Suppose 2*v = -v + 666. Suppose -2*i = -v - 190. Suppose j = i + 837. Is j a prime number?
False
Let w = -30 - -46. Let a be w/3 + 4/(-12). Suppose -18 = -a*n + 317. Is n a composite number?
False
Suppose 0 = 2*x + 2*p + 4, 3*p - 8*p = -5*x. Let c(t) = -t**2 - 31*t - 80. Let w be c(-23). Is w + -3 + -3 + x a composite number?
False
Suppose 2*s - 25554 = n, -s - 5*n + 51136 = 3*s. Let f = s - 6191. Is (-3)/15 + f/15 composite?
False
Suppose 0 = -w - 7 + 11. Suppose o + 4*n - 56 - 79 = 0, 389 = 3*o + w*n. Is o a prime number?
True
Suppose -10*s - 192 = -18*s. Is (-72)/s + (1 - -291) a prime number?
False
Suppose 2011 = -5*b - 1154. Let i = b - -409. Let j = -133 - i. Is j composite?
True
Is ((-776)/(-16))/((-20694)/(-5172) + -4) prime?
False
Let a = -1026 + 1249. Is a a composite number?
False
Let b be (-3)/(-9)*3*0. Is (-2)/(-2) + 1801 + b + -1 a composite number?
False
Suppose 3*s = -3*w + 357, -5*s + w = -4*w - 615. Suppose s = j + 5*q - 12, j = -q + 153. Is j a composite number?
True
Let w(b) = -18*b + 17. Let q(g) = -g**2 - 3*g - 4. Let f be q(-3). Is w(f) composite?
False
Let b(z) = -65*z**2 + 5*z + 9. Let m(i) = 194*i**2 - 14*i - 26. Let n(c) = -7*b(c) - 2*m(c). Is n(-6) a composite number?
True
Suppose -5*v = -920 - 2135. Is v a prime number?
False
Let a(k) = -k**2 - 7*k - 12. Let d be a(-4). Suppose 0 = 5*w + o - 5*o - 9009, -o - 1 = d. Is w prime?
True
Suppose -3 = -2*p + 5. Suppose -z = -p*q - 321, z + 3*q = 366 - 17. Is z composite?
False
Suppose 75 + 957 = -4*b. Let y = b - -549. Is y a prime number?
False
Suppose -64*j + 127076 = -60*j. Is j a composite number?
False
Let a(g) = 6*g**2 + 2*g + 3. Let w be (-324)/(-28) + (-3)/(-7). Suppose 4 = 2*x + w. Is a(x) prime?
False
Let o(f) = 2*f + 24. Let g be o(-12). Is (g + (-2103)/9)*-3 prime?
True
Suppose -2*l - 3*s + 1967 = 0, -5*l + s + 4904 = 4*s. Is l a composite number?
True
Let s be (4 - 3 - -5)*(-1)/(-2). Let o(i) = 34*i**2 - 3. Is o(s) a composite number?
True
Suppose -5*r = -0*r + 125. Let n = r - -47. Is n/(-3)*(-45)/6 composite?
True
Let k(r) be the first derivative of -r**3/3 + 17*r**2/2 - 3*r + 1. Let a(d) = 9*d**2 + 1. Let z be a(1). Is k(z) prime?
True
Suppose 0 = 3*t + p - 20828, -9*t - 4*p + 6961 = -8*t. Is t prime?
False
Let k = 462 + -119. Let a = -185 + k. Is a a composite number?
True
Let t(b) = -13722*b - 331. Is t(-7) prime?
True
Let s(u) = -29*u**2 + 6*u + 3. Let y(x) = x**2 + x - 1. Let j(p) = -s(p) - 2*y(p). Is j(-6) composite?
False
Let j = -428 + 17019. Is j a composite number?
True
Suppose 58260 = 135*l - 123*l. Is l prime?
False
Suppose y - 4 = -y. Suppose 0 = -0*u - 3*u - p + 8, y*u - 4*p = 10. Suppose -d = 5*g - 803 - 517, u*g + d = 794. Is g a composite number?
False
Suppose -j - 4*n = 2*j - 13, -4*j + n = -11. Let z = 1310 + -399. Suppose -j*q + z = -m, -309 = -q + 4*m + 2. Is q a composite number?
True
Suppose -5*u = -10 - 5. Suppose 0 = -3*i + 10*i + 2*i. Suppose u*k - 30 - 27 = i. Is k prime?
True
Suppose 0 = 2*g - 0*g. Let x(i) = -2*i + 106. Let f be x(g). Suppose 2*d - 864 + f = 0. Is d prime?
True
Let y(d) = -d**3 - 13*d**2 - 59*d + 2. Is y(-17) a prime number?
True
Is 9*1/15 - 5824/(-10) a prime number?
False
Suppose -61370 + 603505 = 11*h. Is h prime?
False
Is 0 - ((-10)/(-5))/2 - -10974 a prime number?
True
Let u be 5/3 - (-14)/42. Suppose 0 = 4*b, -u*b = -4*g + 3*b + 508. Is g composite?
False
Is -2*(18/16)/(66/(-40744)) a composite number?
True
Let w(a) = 19*a**2 + 88*a - 217. Is w(33) prime?
False
Suppose -3*l - 2885 = -4*y, 2*y = -y + 3*l + 2166. Is y composite?
False
Let g be 12/(-10)*10/(-3). Suppose -g + 12 = r. Suppose -3*v - 3*s = -r*v + 542, -2*v = s - 219. Is v a composite number?
False
Suppose -4*b - 6370 = 3*j, 5*b + 3*j + 7759 = -202. Let a = -542 - b. Is a a prime number?
True
Suppose 4*k - n = 25292, -8*k + 31615 = -3*k + 5*n. Is k prime?
True
Let f(k) be the first derivative of -k**5/20 - k**4/12 + k**3/6 + 177*k**2/2 + 10*k - 6. Let o(t) be the first derivative of f(t). Is o(0) a prime number?
False
Let g(b) = -5001*b + 16. Is g(-7) composite?
False
Let s(h) = -2924*h - 2. Let i be s(5). Is ((-1)/(-2))/(1*(-3)/i) a composite number?
False
Let d = 1639 - 611. Let t = d - 655. Is t a prime number?
True
Suppose -21 = -3*z + 2*m, -z - 4*m - 1 = -2*m. Suppose 229 - 738 = -2*r + z*f, -2*r - 2*f = -516. Is r composite?
False
Let x(w) be the second derivative of -5*w**2 + 6*w + 10/3*w**3 - 1/12*w**4 + 0. Is x(9) a prime number?
True
Let y(w) = w**3 - 6*w**2 + 7*w - 1. Let g be y(4). Let h(z) = -11*z**3 + 2*z**2 + 10*z + 26. Is h(g) a prime number?
False
Suppose 2*v + 10*m - 57026 = 0, 2*m + 12111 = 5*v - 130346. Is v a composite number?
False
Suppose 2*a - 12 = -0. Suppose -8*p - 418 = -a*p. Let k = p - -343. Is k prime?
False
Suppose 2*p - 6*p + 984 = 0. Let o(w) = -w**3 + 5*w**2 - 5*w + 8. Let m be o(7