*q - 19. Let v = -13 - -1. Is g(v) a prime number?
True
Is (-2 + (-146)/6)*(-19 + 16) a prime number?
True
Suppose -15 = 3*a - 5*r, 0 = -5*a - 0*a - 2*r + 6. Suppose -3*f + 8*f - 5755 = a. Is f prime?
True
Suppose -2*g + 1036 = -2*x, g + 3*g = -x + 2047. Suppose -g = 3*d - 1590. Is d a prime number?
True
Suppose 5*j = 3*n + 63929, 2*j + 63925 = 7*j - 5*n. Is j prime?
False
Let t = 287 + 162. Let h = 1006 - t. Is h prime?
True
Let p(r) = 127*r + 8. Let b be 92/14 - (-9)/21. Let w be p(b). Suppose w = -2*z + 5*z. Is z prime?
False
Suppose -k = 1, 3*k = -2*f + 6 + 1. Suppose x - f*v - 87 = 9, -2*x = -3*v - 178. Is x a prime number?
False
Is -2*(7 + -4) - -14149 a composite number?
False
Let n(k) = -2*k**2 + 5*k + 2. Let p be n(13). Let y = 597 + p. Is y prime?
False
Suppose 4*x + 8*s = 9*s + 45049, 0 = 2*x - 5*s - 22547. Is x composite?
False
Suppose -18*q + 249464 - 3566 = 0. Is q a composite number?
True
Suppose -19*t = -10853 + 3006. Is t composite?
True
Suppose -2*z + 18 = 4*y, 5*y + 0*y - 15 = -z. Let c(o) = -o + 6. Let t be c(y). Suppose t*l + v - 51 = 0, -28 = -5*l - 4*v + 22. Is l a prime number?
False
Suppose 0 = -3*t - f + 524 + 880, f + 1398 = 3*t. Is t a prime number?
True
Let i(l) = 113*l - 207. Is i(30) prime?
False
Suppose -4*c + 372725 = 3*t, 4*t - 621195 = -t - 4*c. Is t composite?
True
Suppose -q = 4*v - 13479, 18*q - 21*q - 16836 = -5*v. Is v composite?
True
Suppose 52*l - 7766 = 41*l. Is l a composite number?
True
Let j = 644 + 311. Is j a prime number?
False
Let h be (2730/8*-1)/((-4)/(-16)). Let v = 2738 + h. Is v composite?
False
Let k(r) be the second derivative of r**4/12 + r**3/2 - 15*r**2/2 - 11*r. Is k(-17) composite?
False
Suppose b + t = 6*t - 23, 0 = -5*b - 4*t + 30. Let d(s) = -280*s - 12. Let a be d(-7). Suppose a = b*n + 2*n. Is n prime?
True
Let t(x) = -x**2 + 6*x - 4. Let b be t(4). Let p = -1 + b. Is p/(2*12/176) composite?
True
Let m(z) = -z - 9. Let f be m(-13). Suppose -2*h + 33 = f*q - 25, -3*q = 12. Is h a composite number?
False
Let t be 9 + -3 - 3 - 8. Let z(k) = 11*k**2 + 4*k + 6. Let d be z(t). Suppose 0 = 3*y - 4*f - d + 70, -4*f = 4*y - 292. Is y prime?
False
Suppose -3*p = 4*c - 22321, 2*c + 3*p - 9123 = 2036. Is c prime?
True
Let t = 3203 + -5068. Let k = 3454 + t. Is k prime?
False
Suppose 2*f + 5*a = -5394 + 23680, 0 = 5*a. Is f a composite number?
True
Suppose 0 = -3*y - 3*q + 12246, 2*q - 2174 - 1911 = -y. Is y a composite number?
False
Let l = -58 + 87. Let s be 10/(-40) + l/4. Let d(i) = -i**2 + 12*i. Is d(s) prime?
False
Let t(v) = v + 2. Let a be t(2). Suppose 2*q = 4*q + a, -26 = -5*n + 3*q. Is (-1)/(-4) - (-579)/n a composite number?
True
Let i(p) = -p**3 - 4*p**2 - 3*p + 7. Let a(v) = 2*v + 3*v**2 + v**3 + v - 10*v - 9*v**2 - 6. Let d be a(7). Is i(d) a prime number?
True
Let u = -3630 - -6348. Suppose -4*g + 6*g - u = -d, 3*g - 4103 = 5*d. Is g prime?
True
Let v(x) = -9*x**3 - 48*x**2 + 71*x + 27. Is v(-20) a composite number?
False
Let s = -12750 - -23119. Is s prime?
True
Suppose i = -1, -2*b - 4*i + 38891 = -59491. Is b prime?
True
Let o be (4/(-6))/(9/(-54)). Let h(i) = 6*i**3 - 3*i**2 + 2*i + 3. Is h(o) composite?
False
Let t = -3 + 5. Suppose 0 = 2*f - 3*m + 4*m - 1, t*m + 7 = 5*f. Is 24/40*35*f a composite number?
True
Let f = -12 - -33. Let r = f + 16. Let h = r - -96. Is h a prime number?
False
Let r(j) = -j**3 - 5*j**2 + j - 2. Let z(d) be the second derivative of -d**4/12 - 4*d**3/3 - 7*d**2/2 + 3*d. Let o be z(-8). Is r(o) a prime number?
True
Is 9739/3 - (-23)/((-414)/(-12)) composite?
True
Let t = 10 - 8. Let g be (4 - 3)*t*1. Let j(q) = 38*q**3 + 2*q**2 - 4*q + 3. Is j(g) composite?
False
Suppose 3*k - 15 = -2*k. Suppose -4*q + 226 = k*n - 1993, 0 = -4*q + 3*n + 2237. Is q a prime number?
True
Suppose 0 = 9*x - 647 + 215. Suppose -516 - x = -6*q. Is q a prime number?
False
Suppose -5*z - 27988 = -2*c + 107962, 2*c - 4*z - 135954 = 0. Is c a prime number?
False
Let u = 17 - 4. Suppose u*q - 649 = 2*q. Is q composite?
False
Let d(u) be the first derivative of -u**3/3 - 7*u**2 - 3*u - 2. Let h be d(-10). Suppose f + 5*q = h, 0 = 3*f + 5*q - 2 - 129. Is f prime?
True
Suppose 5*p + 9 = h, 0 = 2*h + 8*p - 3*p - 3. Suppose 10 = h*b + b. Suppose -b*a = -3*d + 633, a + a + 1055 = 5*d. Is d a composite number?
False
Let o(r) = 14*r - 10. Let g be o(12). Suppose -53 + g = 5*d. Suppose d = -5*f + 6*f. Is f composite?
True
Let y(d) = d**3 + 8*d**2 - 17*d - 7. Let l(f) = -f**3 - 15*f**2 + 33*f + 14. Let n(p) = -3*l(p) - 5*y(p). Is n(-6) a composite number?
True
Let d(j) = 2 - 4 - 2 - 2*j - 3*j + 634*j**2. Is d(-1) prime?
False
Let b = -3776 + 8013. Is b prime?
False
Suppose -2*v + 921 = 4*b - 347, 0 = -3*v - 3*b + 1890. Suppose 5*m = 5, 0*w = w - 5*m - v. Is w a prime number?
True
Let z be 2 - -2*(-36)/(-8). Let k = 12 - z. Is (41 - (-1)/k) + 4 a composite number?
True
Let p(f) = 22*f**2 - 19*f - 17. Is p(10) a composite number?
False
Let b = 15876 - 7685. Is b composite?
False
Let y = -352 + -125. Let r = -254 - y. Is r prime?
True
Let q(f) = -f**3 + 8*f**2 - 4*f - 2. Let o be q(-4). Suppose -o - 302 = -4*y. Is y composite?
False
Is 1188 + (-24)/3 + 1 a composite number?
False
Let s = 27 - -8. Suppose 0 = -5*i - x - 4*x + s, i + 3*x = 15. Suppose -3*y = i*o - 261, -3*o = -2*o - 3*y - 71. Is o prime?
True
Suppose 17*g - 83457 = -10*g. Is g composite?
True
Let a = 76 + 43. Let p be (-63)/14*14 - -3. Let t = a + p. Is t composite?
False
Suppose 0 = -2*c + 5*t + 7, 4*c - 3*t = -t + 6. Let a(m) = 174*m - 1 - c + 1. Is a(4) a prime number?
False
Suppose -3*s + 2*l = -2*l - 38, -4 = s + 2*l. Suppose 3340 = -2*d + s*d. Is d a prime number?
False
Let a be (-2)/(-6) - (-8)/3. Let x be (0 + -2)*30/(-12). Suppose 4*v = -x*b + a*b + 24, v = -3*b + 11. Is b a composite number?
False
Suppose 18 = -7*k + 9*k. Suppose -k*q + 16613 = -26128. Is q prime?
False
Let c(g) = -3*g - 58. Let x be c(-20). Is (x - (-826)/6)*3 a composite number?
False
Let a(g) = -g**2 + 7*g + 1. Let q be a(7). Is 1*(0 - 1139)/(q/(-1)) a composite number?
True
Suppose 20*m + 36858 = 287278. Is m a prime number?
False
Let r = 2789 - -3674. Is r a prime number?
False
Let w(j) = 71*j**2 - 2*j - 3. Let l be w(4). Let r be (2 - 0/(-4)) + l. Suppose s + 1514 = 4*g, -3*s - r = -3*g + 2*s. Is g composite?
False
Is 2 - -7377*(1 + 4) a prime number?
True
Let g = 4924 + 292. Let h = g + -3577. Is h composite?
True
Suppose -4*o = -0*o - 3144. Is o + (3 + -5 - -3) prime?
True
Let u(s) = -s**3 + 6*s**2 + 5*s + 17. Is u(-6) a composite number?
False
Let h(a) be the third derivative of 63*a**4/4 - a**3/2 + 38*a**2. Is h(2) composite?
True
Let c be 6391/5 + 6/105*14. Suppose -5*q = -3*q - 5834. Suppose -4*h = -q - c. Is h a composite number?
False
Let j(t) = 39*t**2 + 8. Let h be j(11). Suppose 4*d + 2344 = r + r, h = 4*r + 5*d. Suppose 0 = -2*i - 4*k + 826, -5*i + 3243 - r = 2*k. Is i a composite number?
True
Suppose 0 = k - 5*i - 9 - 22, 5*k - 4*i - 50 = 0. Suppose 2*y = 5*y - k. Suppose -510 + 120 = -y*o - 3*f, 418 = 2*o - 4*f. Is o composite?
True
Let b(u) = -u**2 + 11*u + 123953. Is b(0) composite?
False
Suppose z - 47 = -3*f, -4*f - 4 = -0*f. Let t be (-1)/(-3)*(1 + z). Let b(v) = 2*v + 12. Is b(t) prime?
False
Let u(q) = q**3 + 20*q**2 - q - 6. Is u(-20) prime?
False
Let m = 70390 - 44081. Is m prime?
True
Let c = -93 - -321. Suppose -3*v = -8*v - 5*b + 720, 2*b = 4*v - 606. Let j = c - v. Is j a composite number?
False
Suppose 3*d = -3*z, 2*d = 4*d + z - 3. Let x be (3 + -2)*(d + -3). Let b(f) = f**2 - f + 331. Is b(x) a composite number?
False
Is ((-65)/(-20))/13 - 7862/(-8) composite?
False
Let z = 37 - 1. Let c(w) = -w + 4. Let s be c(-4). Is s/(-36) - (-1196)/z a composite number?
True
Suppose -f - k + 201 = -6*f, 0 = 3*k - 3. Let c = 64 + f. Let d = c - 13. Is d composite?
False
Let c be (0 - 5/(-15))*3 - -2. Suppose 0 = -2*j - 5*n + 2494, c*j - 2*n + n - 3741 = 0. Is j a composite number?
True
Suppose 25*m = 197 + 578. Is m a composite number?
False
Suppose -3*s + 2*z = -8*s + 10515, -4*s = -4*z - 8384. Is s prime?
False
Suppose -30*t = -25*t - 3*l - 48250, 2*l = 2*t - 19304. Is t composite?
True
Let v = 757 + 4230. Is v prime?
True
Let r(x) = 6*x. Let g be r(-6). Let o be (g/(-24))/((-1)/2). Let l(s) = 12*s**2 - 5. Is l(o) a