7*o + 4*o**2 - 3*o**2 + 8 + 2*o**2 - 2*o**2. Let w be y(4). Is (-7 - w)/(3/(-467)) composite?
False
Suppose 8 = -5*w - 12, -3258 = 3*b - 3*w. Let t = 959 - b. Is t a composite number?
True
Suppose 0 = c + 3*c - 16. Let m(g) = -g**3 + 5*g**2 - 5*g + 8. Let o be m(4). Suppose c = o*s - 4, 4*t + 2*s = 320. Is t prime?
True
Suppose -4*n = -7*n - 2*v + 5187, 6 = 2*v. Is n prime?
False
Let y(q) = 2*q**2 + 2*q + 1. Let w be y(-1). Let l = w + 2. Suppose -4*p + 1872 = g, 4*g - 670 - 747 = -l*p. Is p prime?
True
Let v be (4/(-8))/(1/(-946)). Suppose -3*p + v = -2*k, -1331 + 545 = -5*p + k. Is p a prime number?
True
Let d = 29 - 34. Is 2/15*-3*d a composite number?
False
Let l(v) = 3*v**3 + 2*v**2 + v. Let n be l(-1). Let m be 24/15*(-175)/n. Suppose 0 = -u + q + m, 3*q - 62 - 86 = -u. Is u composite?
True
Let g(k) = 7*k**2 - 2*k + 1678. Let z(t) = 4*t**2 - t + 839. Let s(i) = 3*g(i) - 5*z(i). Is s(0) a composite number?
False
Let a(x) = -x**2 + 14*x + 2. Let i be a(14). Suppose -4*t + i*t + 5*b = -659, -3*t - b + 946 = 0. Is t prime?
True
Let f(z) = 8*z**2 + 4*z - 2. Let t be f(1). Suppose 12418 = 4*l + t*l. Is l composite?
False
Let s be (-1)/(8/(-96) + (-2)/(-6)). Let r(i) = -51*i**3 - 3*i**2 + 2*i - 5. Is r(s) prime?
True
Let n(j) = 70*j**2 + j + 6. Let d be n(7). Suppose -3*u = 2*q - d, -u + 4*q - 682 = -1853. Is u composite?
False
Suppose -3*m = 0, -4*o + 4*m - 22 + 6 = 0. Is o/4*(2 - 55) composite?
False
Suppose -3*o - 3*l - 20954 = -61076, -26756 = -2*o - 4*l. Suppose -15*n + o = -5*n. Is n a composite number?
True
Suppose 6 = -2*o + 4*o. Let d be (o/6)/((-4)/(-1096)). Suppose -d = -4*g + 371. Is g composite?
False
Let r be 0*(-2)/10*(-30)/12. Suppose -4*f + 16 = 0, 2*i - 2*f - 6026 = -r*f. Is i prime?
False
Suppose -32*y = -511552 - 77152. Is y a prime number?
True
Suppose 28 = -2*y - 2*i, -i + 0*i - 50 = 3*y. Is (3972/y)/(3/(-9)) a prime number?
False
Let q be -1 + 0 - (5 + -16 + -1). Suppose -q*l + 3296 = -4899. Is l a composite number?
True
Let c = 2745 + -1276. Is c composite?
True
Is 1*(-12 + 6 - -1 - -11008) composite?
False
Suppose -4*h = -3*x - 61816, -3*h + 2*x = 4*x - 46345. Is h a prime number?
True
Suppose w + 2*w - 60 = 0. Suppose -7*i + 2*i = -w. Is i/(-6) - 3496/(-24) a prime number?
False
Let f be (24/(-15))/((-2)/10). Let u be f/(-16) + 1/(-2). Is u/((-15)/(-6))*-145 composite?
True
Is 918 - -1 - (-6)/(-1) a prime number?
False
Suppose -3*c - 28 = 5*b - 4*c, -5*b - 16 = 3*c. Let l(f) = f**2 + 2*f - 3. Let m be l(b). Suppose m*i - 9*i - 1893 = 0. Is i prime?
True
Suppose -5*u = 3*q, -2*q + u = 3*u - 4. Suppose -q*z + 1723 = 3*l, -3*l = -l + 8. Is z prime?
True
Let p = -2049 - -3448. Is p composite?
False
Suppose -8 = -2*z, -5*p - z - 3*z = -14246. Is p a prime number?
False
Suppose 2*y - 696 = -2*k, -5*y = -2*k + 1022 - 2748. Suppose 4*t - 446 = 5*u, 88 = 4*t + u - y. Is t a prime number?
True
Let x(s) = 51*s - 15. Let o be x(10). Suppose 4*t = 7*t - o. Suppose -3*u + 72 = -t. Is u a composite number?
False
Suppose 0 = -11*v + 1977 + 2522. Is v composite?
False
Suppose 5*n + u = 1052, u + 414 = 2*n - 2*u. Suppose -99 = -t + n. Is (-1 - (-12)/9)*t prime?
True
Let y = 1883 - 700. Suppose 4*j = j + 2*v + 1180, 3*j = -v + y. Is j a prime number?
False
Let o be -1*(-2)/4 + (-21)/(-6). Is (-9720)/(-48) - 6/o a prime number?
False
Let o be (-116903)/(-3) + (-3)/(-9). Is o/88 + 2/11 a composite number?
False
Let c = 26 - 19. Let i = -3 + c. Suppose 5*u = i*n + 253, 5*u - n + 182 = 444. Is u composite?
False
Is 37/(-222) + (-67094)/(-12) a prime number?
True
Let y = 28800 - 11551. Is y a prime number?
False
Let w be 11/8*(24 + -12)*-254. Let u = w + 8020. Is u composite?
True
Let b = -7 + 13. Suppose 4*f = b*f - 4. Suppose f*k = -0*k + 30. Is k composite?
True
Suppose -b = -4*u - 4, -4*b + 14 + 2 = 2*u. Suppose 0 = b*l - 5*w + 4*w - 1412, 3*w + 1059 = 3*l. Is l a prime number?
True
Let w = 393 - 77. Let g = w - 126. Let l = g - -157. Is l prime?
True
Let i = 4 + -16. Is ((-69)/(-4))/(i/(-16)) a prime number?
True
Suppose -n + 2 = 0, -1 + 4 = g + 3*n. Let p be ((-261)/(-4))/(g/12). Let k = -130 - p. Is k a prime number?
True
Let x be 2/(-12) - 5/(-30). Suppose -r - 156 = a, 0*r + r - 3 = x. Let y = a + 336. Is y a composite number?
True
Suppose 2*v - 5032 = -4*m - 0*m, -2*m = -3*v - 2508. Is m a prime number?
False
Suppose 5*y + 12*n - 2920 = 9*n, 2*y = -3*n + 1159. Is y prime?
True
Let t be -2*(10/(-4) - -2). Let s(x) = x**3 + x**2. Let c be s(t). Suppose -c*k = -224 - 278. Is k composite?
False
Suppose -3*b + 5*i = -201, -5*b + 5*i - 3*i + 316 = 0. Suppose -p = -2*p + b. Suppose -p = -5*r + 53. Is r composite?
False
Suppose 0 = -9*w + 12*w - 10398. Let j = w - 5103. Let f = j - -2354. Is f composite?
True
Let o(v) = v + 6. Let k be o(0). Let l be -5 + (-1 - -4) + -3. Is (k + -1)*(-37)/l prime?
True
Let z be 3*(4/1 - 3). Suppose 0 = -r + z - 2. Is r/(-6) + (-583)/(-6) a composite number?
False
Suppose -10361 = 6*w - 65759. Is w composite?
True
Let l = 567 + -310. Is l a composite number?
False
Let l = 17 + -12. Suppose -f = i - 353, l*f + 166 = -i + 519. Is i a prime number?
True
Let k(d) = 12 + 8 - 106*d - 5. Is k(-7) a prime number?
True
Let i(c) = 3*c + 27. Let s be i(-9). Suppose -4474 = -3*a + a + k, s = 5*k. Is a prime?
True
Let a(c) = 2*c - 9. Let f be a(7). Suppose 0 = -f*n + 1064 - 3414. Is n/(-4)*(-6)/(-5) a prime number?
False
Is (-4 - 6 - -10) + 55501 composite?
False
Is (-26392)/(-16) - 4/8 prime?
False
Let i(x) = 3*x - 17. Let w be i(7). Suppose 1167 = w*v - v - 2*g, -5*v = 5*g - 1945. Is v composite?
False
Let l = -178 + 180. Let o be (-2)/5 - (-21306)/15. Suppose 2*y + 3*k = 5177 - o, -5*y - l*k = -9409. Is y prime?
False
Let z = 2120 + -1213. Is z composite?
False
Let a(g) = g**3 - g + 49. Let f(k) = -k**2 - 6*k + 5. Let d be f(-5). Suppose q + 4*q + 5 = -v, -4*q + 2*v + d = 0. Is a(q) prime?
False
Suppose 355923 = 38*x - 72679. Is x a prime number?
True
Let l(f) = 134*f - 28. Let t be l(2). Suppose 12*g + t = 2568. Is g a composite number?
True
Suppose -2*z + 200 = 5*l + 3*z, 74 = 2*l - 4*z. Let i = 73 - l. Is i prime?
False
Let j = 36175 + -23142. Is j a composite number?
False
Suppose 3*a + 5*o - 413 = 0, -2*a + o - 11 = -269. Is a a prime number?
True
Is 357/6 - 2/4 a composite number?
False
Suppose 4*o - 75817 = -3*s + 109193, -4*s = -o - 246680. Is s/90 + (-1 - 14/(-18)) a prime number?
False
Let n(k) be the second derivative of 7/4*k**4 + 0*k**3 + 0 + k**2 - 8*k. Is n(-3) prime?
True
Let b(s) = 5*s**2 - 3*s + 1. Let u(a) = a + 10. Suppose -5*l - 20 = -l. Let v be u(l). Is b(v) a prime number?
False
Let k = -394 - -402. Let d(p) be the second derivative of p**5/10 - 11*p**4/12 - p**3/3 - 5*p**2/2 - p. Is d(k) composite?
True
Suppose -4*c = -7*i + 2*i - 26, 0 = -5*i + 3*c - 22. Let d = i + 96. Is d prime?
False
Let t(v) = -v**3 - 3*v**2 + 27*v - 59. Is t(-22) a composite number?
False
Suppose 7*j - 2808 - 3583 = 0. Is j a prime number?
False
Let y(s) = s. Let o(t) = 14*t - 7. Suppose 2*a - n + 5 = 0, 5*a - 3*n = -14 + 3. Let k(h) = a*y(h) + o(h). Is k(3) a composite number?
False
Let r be (3 + -1 + 1)*149. Let h = 512 + r. Suppose -3*n - 254 = -h. Is n composite?
True
Let p(w) = 2*w - 20. Let a be p(10). Suppose -2*h - 2*h + 7076 = a. Is h composite?
True
Let l(y) = 57*y**2 - 78*y + 683. Is l(10) a prime number?
False
Suppose 0 = -85*l + 70*l + 158655. Is l composite?
True
Let g = -3 + 5. Suppose -4*t + 9*t - 2055 = 0. Suppose l = -2*z - 15 + 442, g*z + t = l. Is l a prime number?
True
Let x(j) be the second derivative of -4*j**3 - 25*j**2/2 + 10*j. Let f(p) = -23*p - 24. Let g(k) = 3*f(k) - 2*x(k). Is g(-5) composite?
False
Suppose -2*x = 0, k + 3*x = -2*k + 26409. Is k a prime number?
True
Let r(v) = v**3 - 220. Let f be r(0). Let y = 212 - f. Suppose 4*w - y = -5*t, 5*w + 0*t - 545 = -5*t. Is w prime?
True
Let n = 2220 + -1333. Is n prime?
True
Suppose 85*w - 69412 - 114783 = 0. Is w composite?
True
Is ((-21)/(-6))/((20/(-14776))/(-5)) prime?
False
Let v be ((-28)/35)/((-4)/10). Is 1465*(24/(-20))/(v/(-1)) a prime number?
False
Let c be (90/(-108))/(2/(-12)). Is 1498 + c + 12/(-3) prime?
True
Let z = 11 - 6. Suppose z = -a - 4*p, 3*p + 2*p + 1 = -3*a. Is a a composite number?
False
Let o = -12 + 16. Suppose 