+ 20*g**2 + 11*g + 11*g**2 - 16. Let u be k(10). Is -3*((-32048)/u)/(-8) prime?
True
Is (-285878)/(-7 - 66/(-10)) a composite number?
True
Let o(h) = -119*h + 82. Let u be o(-5). Let l = 1920 - u. Is l a composite number?
True
Let c = -54 + 54. Suppose 2*l = -2*d + 6192, l + l + d - 6197 = c. Is l a composite number?
True
Let k(l) be the third derivative of l**6/120 - 7*l**5/60 + l**4/3 + l**3/3 + 43*l**2. Let d be k(6). Let c(o) = 16*o**2 - 28*o - 25. Is c(d) a prime number?
True
Let s be (6/(-26))/(32/(-416)). Let j = -25 + 25. Suppose 0 = 3*g - s*v - 6960, g + 0*g - 4*v - 2317 = j. Is g a prime number?
False
Suppose 5*b = -4*k + 216, k + 190 - 13 = 4*b. Suppose -152155 - 56361 = -b*j. Is j prime?
False
Let j = 5 - 102. Let u = 99 + j. Suppose -841 - 57 = -u*i. Is i a prime number?
True
Let h(n) = -41 + 34*n - 60*n + 32*n + 14*n**2 - 3*n**2. Is h(-14) composite?
True
Let r(h) = 1023*h**2 + 35*h - 11. Is r(-4) prime?
True
Let z(h) = -791*h - 1964. Is z(-59) a prime number?
False
Suppose o = 9 - 4. Suppose 4424 = -o*l + 17089. Is l prime?
False
Let i be ((-28)/21)/((-4)/18) + -6. Let p(c) = 258*c**3 + c**2 - c - 1. Let y be p(2). Suppose -7*s + 2*s + y = i. Is s a prime number?
False
Let k = 135 + -109. Suppose 5*l + 49 + k = 0. Is l/6*444/(-30) prime?
True
Let x be -3 + (-4)/((-16)/18188)*1. Let m = x - -2093. Is m a composite number?
False
Suppose 3*y + 0*y - 103 = 5*a, -a - 4*y = 16. Let x be (326/(-4))/(10/a)*14. Let g = x + -1023. Is g a prime number?
True
Let l(u) = u**3 + 5*u**2 + 2*u - 6. Let a be l(-4). Suppose 5*s + 10 = 0, -2*p + 6*p = -4*s + 2284. Suppose -a*n - p + 1835 = 0. Is n a composite number?
False
Let b be (-667)/(35/21 + -2). Suppose -2*v + 4*v = o + 4008, 0 = v + o - b. Is v composite?
False
Suppose g - 9*h = -11*h + 479, 0 = h - 2. Let o(a) = -a**2 - 6*a - 1. Let c be o(-5). Suppose -171 = -i - 5*j, -i = 2*i - c*j - g. Is i prime?
False
Let d = 33 + -132. Is (d/297)/((1/24861)/(-1)) composite?
False
Let m = -1394 - -2557. Is m a prime number?
True
Let d = 360 + -358. Suppose -2*y - d*y + 895 = v, 678 = 3*y + 3*v. Is y prime?
True
Let v(h) = h**3 - 5*h**2 + 7*h + 13. Let m be v(-6). Let u = 638 - m. Suppose -3*i = -g - u, i - 3*i + 3*g + 718 = 0. Is i prime?
True
Suppose -73*p + 150*p = 78*p - 46679. Is p prime?
True
Let b be (1/(8/6))/(498/1328). Suppose -n + 156149 = 2*n - b*i, -5*i + 260265 = 5*n. Is n prime?
True
Is (-9722)/(-2)*(-21 + -17 + 45) composite?
True
Let r(m) = m**3 + 9*m**2 + 17*m + 1. Suppose 0 = 4*p + 2*p + 24. Let h be r(p). Suppose 8*j - h*j = -2645. Is j composite?
True
Let q = -40380 + 262591. Is q composite?
True
Let b be 1*-19715*161/(-115). Suppose -3*x + 2*k = -b, 5*x - 46001 = -0*x + 3*k. Is x composite?
False
Let u(x) = -x**3 + 10*x**2 - 2*x - 5. Suppose -o + 10 = -0*o. Suppose 5*l + z + 0*z = 26, -l = 4*z + o. Is u(l) prime?
True
Suppose 29*t - 44*t + 1003515 = 0. Is t composite?
True
Let h(n) be the first derivative of -n**4/4 - 14*n**3/3 + 16*n**2 - 11*n - 21. Let w be h(-18). Suppose 1069 + w = 4*x - 2*k, -5*x = 5*k - 2200. Is x prime?
True
Let k(n) = -216*n - 71. Suppose 10*j + 3*p = 5*j - 19, -p = -2*j - 12. Is k(j) prime?
True
Suppose -7*l + 12*l + 4798 = s, 0 = -4*s + 4*l + 19176. Let g = s - 2694. Is g a prime number?
True
Suppose 3*x = m - 27436, 43876 + 10972 = 2*m + 2*x. Is m prime?
True
Let o = -236 + 269. Is -8 - (-56568)/o - (-2)/(-11) a composite number?
True
Let b be 5/(10/(-8)) + (-519)/1. Is 21 + -29 - (b + 1) a prime number?
False
Suppose x - 2 = -f, -f + 3*x - 4 = x. Let g(n) = 8*n**2 + n - 5*n + 821 + 2*n + 6*n**2 - 13*n**2. Is g(f) prime?
True
Let f be (1 - -14545)*(-46)/(-161). Suppose 2*k - f = 3*g, -2*k = -0*k - 5*g - 4152. Is k a composite number?
False
Suppose 6*i - 283370 = 80956. Is i a composite number?
True
Suppose 36*i + 43*i = 173800. Suppose 4*q - 5*n - 4389 = 0, 3*q + 172 = -5*n + 3490. Let w = i - q. Is w prime?
False
Let y be (-90 - (1 + 1))/((-2)/5). Let m = y + 1103. Suppose 5*r + 278 = m. Is r prime?
True
Let j(l) = 4*l**2 - 18*l - 49. Let k be j(-4). Suppose k*a = 83*a + 16684. Is a a prime number?
False
Let a(k) = -2*k**3 + 8*k**2 - 18*k + 3. Let c be a(5). Let h = c + 1430. Is h a prime number?
False
Let x = -1802 + 561. Let f = -542 - x. Is f a prime number?
False
Suppose 4*l + 8 = 0, -z + 489 = -2*l - 192. Suppose 253 = 2*k + z. Let r = k + 531. Is r prime?
False
Let c(v) = 651*v + 3. Let l(g) = g - 3. Let b(i) = -1. Let q(o) = -3*b(o) + l(o). Let s(z) = c(z) - 5*q(z). Is s(1) prime?
False
Suppose 2*c = -5*f + 127591, -12679 = -3*f + c + 63880. Suppose 0 = -z - 3*i + 12758, -16*z - f = -18*z - 3*i. Is z prime?
False
Let r(u) = 14*u + 103. Let t be r(-7). Suppose 7*s - 745 = 2*s. Suppose q = -q - 5*h + s, t*q - 3*h = 388. Is q a prime number?
False
Let i be (18 + -53)*((-687)/5 + -1). Let f = i + -1411. Is f a composite number?
False
Let y be 2 + (121/22)/(1/314). Let n(s) = -16*s**2 + s - 6. Let u be n(-6). Let a = u + y. Is a a prime number?
False
Let p(s) = -12537*s + 222. Let q(f) = 8358*f - 148. Let t(n) = -5*p(n) - 8*q(n). Is t(-3) a composite number?
False
Let h(x) = -x**2 - 16*x + 10. Let k be h(-16). Suppose -k*y + 13*y = 12849. Is y composite?
False
Let c = -322 + 321. Is ((-2 - c) + (-34 - -42))*307 prime?
False
Let y be 8/(-6) - (-4214)/(-147). Is (-3)/(-60)*-4 - 84816/y prime?
False
Let w(d) = -d**2 + 11*d + 16. Let o be w(11). Suppose 0 = r - v + 11, -5*r + v - o = 23. Let y(l) = -4*l**3 + 9*l**2 + 15*l + 1. Is y(r) prime?
True
Is (4508153694/(-117))/(-22) - 24/52 a prime number?
True
Let d(y) = 558*y + 2431. Is d(76) a composite number?
False
Let c = 305 - 292. Suppose 0 = c*l - 5*l - 55576. Is l a composite number?
False
Let o be ((-4585)/15)/(5/(-15)). Suppose o + 807 = 4*i. Is i a prime number?
True
Let w = -12714 - -24039. Let v = w + 3728. Is v prime?
True
Let u(p) = -p + 3. Let z be u(8). Let x(h) = 12*h**2 + 11*h + 10. Let g be x(z). Let v = g - 160. Is v prime?
False
Let u be (1/2)/(2/4). Let h be (u*7)/(((-10)/321)/10). Let g = -1160 - h. Is g prime?
True
Suppose 355*r - 239988362 = -90132567. Is r a composite number?
False
Let g = -3023 + 3417. Suppose -4*l - 2*t = -4*t - 1556, -5*l - 3*t + 1967 = 0. Let s = l + g. Is s composite?
True
Suppose 4*k - 4*g - 45484 = -g, -k = 2*g - 11382. Suppose -k - 2913 = -7*c. Is c a composite number?
True
Let g be (8/14)/((-10)/(-455)). Suppose 0 = -g*a + 33*a - 5873. Is a a prime number?
True
Suppose -175 + 241 = g. Let w be (-1 - 4)*(-139 + 2). Let p = w + g. Is p a prime number?
True
Suppose 0 = -w + 2*b + 2*b + 36, -20 = 4*b. Suppose 2120 = -8*a + w*a. Is a prime?
False
Let n(z) = -1206*z + 1423. Is n(-40) a composite number?
False
Suppose -26*z + 28*z = 746. Is z + -8 + 8 - -8 a composite number?
True
Suppose 0 = -2*h - 2*w + 5483 + 1945, -5*h - 2*w + 18582 = 0. Let n = h - 2267. Is n composite?
False
Let j(i) = -i**2 + 8*i + 4. Let u be j(8). Suppose 4*w - 16 = 3*r, -2*r - 3*r = u*w + 16. Is (-1 + 4)*(w - (-394)/3) a composite number?
False
Let h = -268 + 1412. Suppose 3*o - h = 1514. Is o prime?
False
Let l(c) = 50*c**2 + 6 + 29 + 10*c - 16. Is l(-6) a prime number?
True
Let j = -120 + 111. Is (-3)/(j/51737) + 2/(-3) composite?
True
Suppose 0 = 6*n - 0*n - 42. Let t = 16 - n. Suppose -277 = -t*y + 3242. Is y a composite number?
True
Suppose -10 = -5*b, 4*w - 5 = w + 5*b. Suppose -w*q - o = -17270, 3*q - 10390 = 7*o - 2*o. Is q composite?
True
Let i = 33297 - 21925. Suppose -10*p + 6*p + i = 0. Is p a composite number?
False
Suppose -4*k + 3 = -1, -4*p + 10812 = 4*k. Suppose 0 = -2*i - 2*v + p, -6715 = -5*i + 2*v + v. Is i prime?
False
Let s = 27350 + -13243. Suppose 0 = -6*h + s + 13439. Is h a composite number?
False
Let t(c) = 13 - 15 + 15*c**2 - 6*c + 1. Let z be -3*(-6)/(-9) - -13 - 1. Is t(z) a composite number?
False
Let z = 209495 + -41304. Is z prime?
False
Suppose -8*h - 2 = -10*h - 2*p, -2*h - 8 = 4*p. Let s = 637 - 77. Is 0 + s + h/(-18)*3 composite?
True
Let z = 12125 - -75708. Suppose z = 28*h - 21563. Is h a prime number?
True
Suppose 0 = f + 2*y - 4, -f + 13 = f - y. Suppose -f*w + 7*w - 5 = 0. Suppose 5*v - 5262 = -3*x, 3*v - w*v - 6 = 0. Is x prime?
True
Suppose 4*i + 3*q = 3 + 17, 4*i - 20 = 3*q. Suppose -36827 - 3908 = -i*m. Is m prime?
True
Suppose 0 = -178*t