*2 + 45*g - 29. Is h(y) a composite number?
True
Let x(f) = f + 1. Let n(r) = 660*r - 111. Let b(h) = -n(h) - 2*x(h). Is b(-5) a composite number?
True
Suppose 2*k - 724 = 5*j, -4*k + 523 = -3*j - 953. Let t = -80 + -25. Let l = k + t. Is l composite?
True
Is (6/8)/(-3)*(-1469208)/102 a prime number?
False
Suppose -95*w = -94*w - 84053. Is w a prime number?
True
Let l be 0/(2/6*3). Is 4/24*6*(179 + l) prime?
True
Suppose -x - 503246 = -5*n, 3*n = -x + 3*x + 301949. Is n composite?
False
Let d(o) = 8*o - 7*o + o - 4. Let v be d(3). Is 4*(v - (-5805)/12) a composite number?
True
Let h = -50637 - -208638. Is h a composite number?
True
Let y = -134 - -137. Suppose 0 = -3*p + 5*w + 1242, 0*p + w = -y*p + 1224. Is p a prime number?
True
Let k(b) = 12*b**3 + 3*b - 1. Suppose 295 + 1 = 4*u. Let i = -70 + u. Is k(i) prime?
False
Suppose -102 = -12*s + 18. Is 6/s - (-283230)/75 a prime number?
False
Let n(p) = -7*p**3 - p**2 + 18*p - 63. Is n(-38) composite?
True
Let l(j) = -2*j + 2735. Let w(n) = -2*n - 31. Let z be w(-14). Let t(y) = -4*y + 5470. Let r(a) = z*t(a) + 7*l(a). Is r(0) prime?
False
Suppose 0 = -u - l + 3, -3*u + 5*l = 2*l + 21. Is 15834 + 17 + (1 - u) prime?
False
Suppose d + d = 62. Let q = d + -8. Is (q - 24)/((-1)/1561) a composite number?
True
Let n(f) = -f**3 - 5*f**2 - 2*f - 1. Let g be n(4). Let v = g + 366. Is v composite?
True
Let l be (11 - 6) + (2/5)/((-18)/45). Let a = 12 + -8. Suppose 4*n = a*s - 2332, 4*s = -l*n + 1244 + 1112. Is s composite?
True
Suppose -88 = -4*d + 5*j, 19*j = 3*d + 16*j - 63. Let p(l) = 44*l**2 + 79*l - 8. Is p(d) a prime number?
True
Let j = -2972 - -1601. Let p = 4 - -2538. Let s = p + j. Is s a composite number?
False
Let t(h) = -271*h + 16447. Is t(0) composite?
False
Suppose -5*h = k + k - 35008, 0 = k - 3*h - 17526. Suppose 0 = 5*j - 10, -3*j + 4*j = 4*i - k. Is i a prime number?
False
Let f(a) be the first derivative of -a**4/4 + 6*a**3 - 8*a**2 - 14*a - 22. Let q be f(17). Suppose g = q, 328 = u - g + 4*g. Is u a prime number?
False
Let w(m) = 8252*m**2 - 2*m - 39. Is w(-4) composite?
False
Let q be (-27)/12*(-8)/3. Let h(p) = 18*p**2 - 12*p - 9. Let w be h(4). Suppose q*y - 3*y = w. Is y composite?
True
Suppose -3*p - 63 + 27 = 0. Is p + 10 + 788 + 1*3 a prime number?
False
Suppose 0 = -5*m + 7*m - 8. Suppose -3*r + 2*j - j + 21 = 0, -12 = -3*r + m*j. Suppose -5369 = -r*v - 673. Is v a prime number?
True
Let i(x) = -123*x + 112. Let t be -36 - (-6 + 2) - (-7 + 2). Is i(t) composite?
False
Let w be (-1)/2*(1 - 7). Suppose 3*q + 2239 = 5*c, -w*q = -10 + 4. Is c a prime number?
True
Suppose -9*y + 15 = -12. Suppose -y*x + 6544 = -2777. Is x a prime number?
False
Let g(z) = -55*z**2 + 179*z + 189. Let a(y) = 11*y**2 - 36*y - 38. Let o(p) = 11*a(p) + 2*g(p). Is o(19) a prime number?
True
Let u(y) = 192*y**3 - 12*y**2 + 21*y + 7. Is u(2) prime?
False
Suppose 0 = -w - 4*q + 244559, 20*q - 6 = 22*q. Is w prime?
False
Let j(y) = -y**3 + 12*y + 23. Let s be j(-2). Is 5760 - (0/(3 - s) + 2) a composite number?
True
Let t(f) = -28*f. Let r be t(-1). Suppose 0 = -33*j + r*j + 35. Suppose 12*s - j*s - 6155 = 0. Is s a prime number?
True
Is (-4272)/(-1 - 1) + (-483)/69 composite?
False
Let p = 282 + -279. Suppose 3*s - 451 - 578 = -p*z, -2*s = -z - 680. Is s a prime number?
False
Suppose -5*r - 323 = -6*r. Suppose 0 = -100*f + 96*f + 5316. Suppose -2*p - r + f = 0. Is p a prime number?
True
Suppose 3*z - 2*l = 0, 2*z = 7*z - 5*l. Suppose 7*y - 4552 + 1115 = z. Is y a prime number?
True
Suppose -2*d - d = -699. Let a = d + 162. Suppose -2*x + 4*o - a = -1805, o + 3534 = 5*x. Is x prime?
False
Let o be 4 + (1640*895)/8. Suppose 30*s + o = 827489. Is s a prime number?
True
Suppose -633 = -5*t - 23. Let i = t - -371. Is i prime?
False
Suppose -3*i - 13 + 19 = 0. Suppose -i*k + 5079 = k. Is k composite?
False
Suppose 10*n = -4 + 44. Suppose -246 = n*z - 5*t, t - 5 = -3. Is (56/8)/((-1)/z) prime?
False
Let w(d) = -2*d**2 - 8*d + 6. Let u be w(-8). Let v = 58 + u. Is 5 + 585 + -3 + v a composite number?
False
Suppose -4*o - 3*k - 2*k + 1930 = 0, -o + 488 = 4*k. Suppose -11*i - o = i. Is 3881/3 + (2 - i/(-15)) composite?
True
Let l be 348 - (0 + -3)/(-3). Suppose 7*v - l = 556. Is v prime?
False
Let o(g) = 5*g**3 + g**2 + 6*g - 4. Let c(r) = r**3 - r**2 + r. Let x(n) = 4*c(n) - o(n). Let a(l) = 2*l**3 + 3*l**2 + l + 1. Let d be a(-2). Is x(d) prime?
False
Let q(x) be the first derivative of 107*x**2/2 - 12*x + 23. Is q(5) a prime number?
True
Let s = 475002 - -1045819. Is s prime?
True
Let b(r) = -3*r - 5. Let l be b(-2). Let j be l/3 - (-120)/18. Is (-271)/(j + -3 - 5) composite?
False
Suppose -39*j + 19 = -20*j. Is 10298 + j - (-10)/(-2) prime?
False
Suppose 3*k + 6*d - 3*d - 691902 = 0, 3*k - 691867 = 2*d. Is k a prime number?
False
Let g = -16376 - -38605. Is g composite?
False
Let n(v) = -13026*v**2 - 35*v. Let s(c) = 6512*c**2 + 19*c. Let k(r) = -6*n(r) - 11*s(r). Is k(-1) composite?
True
Let h be (-129)/(1 + 386/(-76) + 4). Suppose 0 = -p - 3*q + 1853, -p + q = -h - 211. Is p a composite number?
False
Suppose 37*p - 6956861 = 2950. Is p a composite number?
True
Suppose -12*l + 30*l - 1500894 = 0. Is l a composite number?
False
Let n(w) = -2*w - 16. Let x be n(-8). Suppose x = -18*g + 13*g + 16300. Let z = g - 1611. Is z composite?
True
Suppose 0 = 11*o - 16580 - 27772. Suppose 8*k - 10*k + v + o = 0, k + 2*v - 2021 = 0. Is k prime?
True
Let m = -219 + 219. Suppose 5*x - 20 = m, -5*a + 905 = -4*x - x. Is a composite?
True
Suppose -5*s - 125 = g, 5*s + 5*g = -137 + 32. Let d be (-2)/(-13) - (-30)/s. Let v(j) = 381*j**2 - j - 1. Is v(d) composite?
True
Let q(k) = 1838*k**3 - 2*k**2 + 1. Let c be q(1). Suppose 3*w - 2*a = 2*a + 5515, w - 2*a = c. Is w composite?
True
Suppose 13*b - 14680 = -2*m + 17*b, -m + 7334 = -4*b. Let l = m + -3977. Is l a composite number?
True
Suppose -g = -q + 295393, 0 = 3*g + 38 - 62. Is q a composite number?
True
Suppose 6*x = -3*x - 36. Let k(v) = v**2 + 2*v - 2. Let p be k(x). Is (p - 2)*(-2302)/8*-1 prime?
True
Let p(g) = g**3 - 8*g**2 - 5*g - 31. Let k be p(9). Suppose -164 = -k*r + 641. Is r prime?
False
Suppose 18*o = 5*h + 15*o - 90, -10 = 2*o. Is h/3 + -6 + (-1 - -941) a prime number?
False
Let z = 138 - 135. Suppose -z*b = -6*b + 3531. Is b prime?
False
Let a = -88 + 91. Let u = -1009 - -2091. Suppose -j - u = -a*j. Is j a prime number?
True
Let b = 275007 + 66164. Is b prime?
True
Suppose -2*u + 33 = -51. Is 283200/u + (-3 - 22/(-7)) a composite number?
True
Let u(o) = -o**3 + 3*o**2 - o + 2. Let t be u(0). Suppose 645 = t*f - 401. Is f composite?
False
Let u(v) = v**3 - 5*v**2 + 7*v - 9. Let f be u(4). Let t(r) = 9 - 2*r**3 + 3 + 9*r + f*r**3 - 11. Is t(9) prime?
True
Let r = 302 + -223. Suppose -r*l + 70*l = -9891. Is l a composite number?
True
Suppose 2*s - 175 - 87 = 0. Suppose 10*w = s + 1999. Is w prime?
False
Let c be ((-36)/6 - -21) + 0. Is (-271)/((2 + -5)/c) a composite number?
True
Let g = -439 - -444. Suppose -g*q = -566 - 1499. Is q a prime number?
False
Let r(f) = 53740*f - 377. Is r(32) a prime number?
False
Let n = -83 - -68. Let d be (-24)/9*n/10. Suppose -2*g + 118 = d*v, 2*v + 156 + 60 = 4*g. Is g composite?
True
Suppose -42*y + 39785 = -1711. Suppose -994*t + 24726 = -y*t. Is t a composite number?
True
Let o = -283621 - -952472. Is o a composite number?
False
Suppose -85*k = 162*k - 29397446. Is k a composite number?
True
Suppose 27 = -3*m - m + 5*w, 5*w - 6 = -3*m. Let r = -76 + 78. Is ((-3)/(-3) - 492)/(r + m) a composite number?
False
Let t = 497 - 201. Is ((-93)/(-124))/(6/t) a composite number?
False
Suppose -19 - 11 = 5*p, 2*o - 4*p - 34038 = 0. Is o prime?
False
Suppose -787647 - 1884693 = -60*x. Is x prime?
False
Let h(p) be the third derivative of p**5/20 - 11*p**4/24 - 5*p**3/6 - 12*p**2. Let i be h(5). Suppose 5866 = -s + i*s. Is s a composite number?
False
Suppose 86*q - 95*q = 17892. Let j = 7969 + q. Is j prime?
True
Let o(u) = -21956*u**3 - u**2 - 2*u. Let g be o(-1). Suppose 13*q - 10*q - g = -k, 3*q - 4*k = 21942. Is q a prime number?
False
Suppose 4*v + 20 = -k - k, -3*k + v - 30 = 0. Let g be (-51950)/15*12/k. Suppose -g = -4*d - 2*p, -3*d + d - 5*p = -2078. Is d a prime number?
True
Is 7 - 3 - 11094536/(-2 - 6) prime?
True
Let u(a) 