 66*r**3 + 2*r**2 - r - 3. Let j(h) = -65*h**3 - 2*h**2 + h + 3. Let z(b) = -5*j(b) - 4*u(b). Let f be z(2). Is 5 + -7 + 2 + f a prime number?
True
Suppose -26*l + 3 = -25*l. Suppose 0 = l*n - 388 - 413. Let c = 1354 + n. Is c prime?
True
Suppose 17*s - 68 = 13*s. Suppose -11 = -4*t + s. Suppose 749 = t*b - 714. Is b composite?
True
Suppose -34825 = -18*g + 59243. Suppose 10*r = 40356 - g. Is r prime?
False
Suppose -224*t + 229*t - 20 = 0, t - 214728 = -4*k. Is k a composite number?
False
Let i(r) = -5*r - 6. Let t(w) = -3*w - 4. Let q(l) = 5*i(l) - 8*t(l). Let y be q(-3). Is (y/((-15)/(-207)))/3 a composite number?
False
Let z = 4361 + 2586. Is z a prime number?
True
Suppose 0 = -2*n + 3*d + 1992, 5*n = 5*d + 904 + 4076. Let a = -598 + n. Let h = 2835 - a. Is h a prime number?
True
Suppose 0 = 3*x - 7*x + 36. Suppose -x*h + 376 = -10*h. Let m = h - -713. Is m prime?
True
Let o = 19873 + -8616. Is o prime?
True
Let h(q) = -q**3 + 5*q**2 - 2*q + 102461. Is h(0) composite?
False
Let z be -1 - ((-4 - 6) + 3). Is z - -4778 - (2 - (2 + -3)) composite?
True
Suppose -3*y - 2*y + 10 = 0. Let a(x) = 0*x - x**3 + 2*x**2 + 119 - x - 115 + 2*x**y. Is a(3) composite?
True
Is 1120814/16 - ((-27)/(-8))/(-27) a prime number?
True
Is ((-4)/8 + 4)/(-8 - 87669855/(-10958730)) composite?
True
Suppose -s = m + 1, s - 4*s + 2*m + 22 = 0. Let a be 373/(-1)*(-3 + s). Let c = 2706 - a. Is c prime?
True
Let y(h) = h**3 + 7*h**2 - 2*h - 15. Let z be y(-7). Is (5/10)/(z/(-634)) a composite number?
False
Let v(d) = -d**3 + 7*d**2 - 3*d + 14. Let a be v(8). Let r = 74 + a. Suppose -4*z - 20 = r, g + z + 0*z - 692 = 0. Is g prime?
False
Let m(r) = -r + 19. Let h be m(16). Suppose 0 = -3*l + h*y + 13 - 1, -3*l = 4*y - 19. Suppose 546 = 3*o + l*x, 0 = -0*x + 5*x + 15. Is o a composite number?
True
Let s(c) = 1794*c + 152. Is s(31) prime?
False
Suppose 3*x = 5*y + 249885, 333191 = 4*x - 2*y - y. Suppose 27*s - 45679 - x = 0. Is s a composite number?
True
Let b = 742811 + -529902. Is b composite?
False
Suppose 61*i - 56*i = -2*s + 1924603, -i - 3*s = -384931. Is i a prime number?
True
Suppose t - 2*w - 8 = 0, 2*t = 6*t - 2*w - 14. Let f = 2 - -3. Suppose -283 = -f*r - s + 383, 142 = r - t*s. Is r a composite number?
True
Let w(y) = -2*y**3 - 16*y**2 + 3*y + 2. Let k be w(-8). Is 100/(-55) + 2 - 42478/k composite?
False
Let s(v) = 13084*v**2 + 18*v + 381. Is s(-7) a prime number?
True
Suppose 2*b - 17*g + 23*g - 283840 = 0, 5*b = 2*g + 709617. Is b a composite number?
True
Let s = -576493 - -1451798. Is s composite?
True
Let x = -13061 + 21067. Let r = x + 3956. Is r a prime number?
False
Suppose 0 = -166*a + 162*a + 36. Suppose a = -3*u, 0 = -4*s - 0*u + 5*u + 23. Suppose 2*m + 10324 = 4*g, 0*g - 3*m + 5146 = s*g. Is g composite?
False
Let q be 3 + 0 + (-6 - -8). Suppose -659 = -4*o + 5*h, 0 = -q*o + 2*o - 4*h + 533. Suppose -3*f - o = 5*c - 1123, 2*c + 2*f = 380. Is c prime?
True
Let r be 6/(-33) + (-52)/(-44). Let x be 37234*r - (-3 - (6 - 5)). Is (-1)/(36/(-8)) + x/18 a prime number?
True
Let j = 167 - 163. Suppose -j*p + 6*p + 4*x = 1502, x = -4*p + 2976. Is p a composite number?
False
Let a = -142118 + 384575. Is a prime?
False
Let p(u) = u**2 - 7*u + 1. Let i be p(-7). Let a = i - 101. Is ((-379)/a)/((-6)/(-12)) composite?
False
Let m(l) = 23*l + 3. Let i be m(-1). Let t(o) = -o**3 - 19*o**2 + 20*o + 21. Let q be t(i). Let z(y) = y**3 - 16*y**2 + 18*y - 20. Is z(q) a prime number?
False
Let k(g) = 4128*g + 69. Is k(1) prime?
False
Suppose -6*g + 5*t = -2*g + 8516, 3*g - 3*t = -6390. Let d = -599 - g. Is d a prime number?
False
Let h(x) = 474*x**3 - 11*x**2 + 34*x - 21. Let f(d) = 236*d**3 - 6*d**2 + 18*d - 11. Let g(l) = -11*f(l) + 6*h(l). Is g(3) prime?
True
Let h = -213 + 211. Is (4/(h/(-1)))/(4/2174) prime?
True
Let k = 4317 - 347. Let b = 5725 - k. Suppose 8*v - b = 1293. Is v a composite number?
True
Let d = -130 - -120. Let i = 59 - d. Is i a prime number?
False
Let j = 269 - 253. Let t(f) = -f**3 + 21*f**2 - 37*f + 21. Is t(j) a prime number?
True
Let j be ((-307)/(-2))/(1*3/(-6)). Let l = j - -626. Is l composite?
True
Let l(p) = 218*p**3 + 2*p**2 - 2*p. Let k be l(1). Let w(s) = 39*s**2 + 3*s + 3. Let y be w(5). Let j = k + y. Is j composite?
True
Suppose 0 = 4*n - 2*i - 23490, -3*i + 10 = -i. Let x = 6082 + n. Is x prime?
False
Suppose -5*l + 2*s + 26 = 0, -4*l = -3*l + s - 1. Suppose 30912 + 3933 = l*g - 5*d, 0 = 2*g + 3*d - 17395. Is g a composite number?
True
Let y = 2227734 - 1204163. Is y prime?
True
Suppose 2019 = 6*h + 795. Let p = h - 49. Suppose 7*t - 426 - p = 0. Is t composite?
False
Let z be (102408/(-30))/((-2)/5). Suppose -3*b - 1558 - 2710 = -v, -2*v + z = -4*b. Is v a composite number?
True
Let q(a) = -160*a + 1. Let u be (-32)/(-6) - 5/15. Suppose l = -4*i - 14, -15 + 5 = -u*l. Is q(i) a composite number?
False
Suppose 0 = -5*a + 3*p - 9, 4*p = -5*a - p - 25. Let f be a/(-1)*(-10)/(-6). Is (-1)/f - 891/(-5) a composite number?
True
Let w(j) = 4*j**2 + 16*j + 4. Let p be w(-18). Suppose 11*q - 6611 = -p. Is q composite?
False
Is 47685288/(-798)*(10/(-8) + 1) composite?
False
Let r(f) = -f**2 - 22*f + 31. Let v be r(-19). Let b = 91 - v. Suppose -922 = -5*m - t + 5672, 0 = b*m - t - 3958. Is m prime?
True
Suppose 16 = 2*k + 5*y, 3*k + 7*y - 24 = 2*y. Suppose 42979 = -6*f + 114859. Suppose -4*o - f = -k*o. Is o a composite number?
True
Let h(v) be the first derivative of -v**4/2 - 8*v**2 - 19*v + 189. Is h(-11) composite?
False
Suppose 38*x - 37*x = 5, 2*l = -4*x + 42874. Is l composite?
True
Let b = 22 + -7. Suppose -3*s = -2*v - b, v + 5 = -s + 2*s. Suppose -y + 66 = -4*h, 2*h - 572 = -s*y - 132. Is y composite?
True
Let g(a) be the first derivative of -a**3 - 32*a + 4. Let v be g(10). Let r = v + 713. Is r composite?
True
Let o(p) = 4*p - 1. Let k be o(1). Suppose -52155 = -0*w - k*w. Is (-3)/12 - w/(-20) composite?
True
Let t(n) = -7*n**2 - 4*n - 9. Let f be t(-3). Let v = 69 + f. Suppose -23241 + 8355 = -v*l. Is l composite?
True
Let h be (-1)/((1/(-2231))/1). Let n(p) = -38*p - 325. Let o be n(-8). Is h/3 - (-14)/o prime?
True
Suppose -4*c - 2*c + 90 = 0. Suppose c*y - 8 = 17*y. Is (-4480)/(-50) + y/(-10) - -3 composite?
True
Let b(i) = -702*i**3 + 61*i**2 + 11*i + 55. Is b(-6) a composite number?
False
Is (0*(-5)/15 - -7) + 12042 a prime number?
True
Suppose 2*n = -4*u + 9 + 17, 0 = -n + 5*u - 8. Is -7231*(n - 13) - -7 a composite number?
True
Suppose 27*h + 204 = 15*h. Is h/(-2)*(97 + -3) prime?
False
Let g(i) = -4*i**3 + 18*i**2 + 7*i + 32. Let t be g(-13). Suppose -3663 + t = 4*a. Is a a prime number?
True
Suppose 5*m = 2*w + 3000, -18*m - 3*w = -23*m + 3005. Let f = m + -275. Is f a prime number?
False
Let g be (-144)/(-30) - 4/5. Let f(o) = -9*o**3 + o**2 - 9. Let u be f(g). Let r = u + 924. Is r a prime number?
False
Is (-430552)/16*(-5 - -3) a composite number?
False
Suppose -3*p = 2*k + 721 - 8774, -k + 4025 = 3*p. Let s = k - 1402. Suppose 2*q - 3506 = -4*g, 5*g - 2*g = -5*q + s. Is g a prime number?
True
Suppose 5*y = 4*l - 250218, 6*l - 4*y - 187665 = 3*l. Is l a prime number?
False
Let w be (-1)/2*(0/3 - 8202). Let b = 8710 - w. Is b a composite number?
True
Is (-4)/(-6) + 7/(-15) + (-670852632)/(-1415) a composite number?
False
Let u = 106 + -93. Let f be (-28)/(-182) - (-24)/u. Suppose 3*y = j + 990, -2*y - f*y + 1319 = -j. Is y a composite number?
True
Suppose -i + 33 = 5*t, -14*i + 13*i + 33 = 3*t. Suppose -i*r - 43813 = -40*r. Is r a prime number?
False
Let a = -49 - -51. Suppose 4*o - 1389 = 3*j, a*o - 692 = -0*o + 2*j. Let h = o + -160. Is h prime?
True
Let k(v) = -18*v + 4655. Is k(102) a composite number?
False
Suppose -66*z + 2980609 = -29*z. Is z a prime number?
True
Let u = -10036 - -15789. Is u a prime number?
False
Let z(v) = 1. Let x = -44 + 50. Let k(a) = 193*a + 15. Let c(g) = x*z(g) - k(g). Is c(-2) prime?
False
Suppose 3*k + 3404 - 12191 = -c, 2*k = -4*c + 35178. Let t = c + -4249. Is t prime?
True
Suppose 2*x + 518812 = 3*p - 15611, -5*x = -3*p + 534423. Is p composite?
False
Suppose -9648 + 2268 = -2*s. Let f = s - 2179. Is f prime?
True
Let f be 1466/34 - 27/(3213/14). Suppose -4*g - 5*c = -718, 2*c + 130 + f = g. Is g composite?
True
Let m(l) = -52*l - 60. Let v be m(-9). Suppose 14123 = 5*x + v. Is x 