g + x. Is g a prime number?
True
Suppose -31*b = 11*b - 1386714. Is b a composite number?
True
Suppose -5*h + 5*y + 273380 = -29550, -2*h - 4*y + 121190 = 0. Is h a composite number?
False
Is 7*196 + (-23 - -18) a prime number?
True
Let y(z) = -7*z + 2. Let l be y(3). Let s(j) = -3*j**2 + 9*j - 4. Let w be s(6). Let u = l - w. Is u composite?
True
Suppose 0 = 21*v + 13067 - 1422230. Is v prime?
True
Let m be (-1 - -1)*-1*1. Suppose d + 3*t - 897 = t, m = -4*t + 16. Is d a composite number?
True
Let h = -34118 - -55351. Is h a composite number?
True
Let n = 15 + -11. Let d(j) = 6*j - 6. Let c be d(n). Is (-2)/1 + c + -2 a composite number?
True
Let c(y) = 37*y**2 + 2*y - 2. Let u be c(2). Let i = 457 - u. Is i composite?
False
Let c = -12 - -14. Let p be -2 + 60 + (0 - c). Let u = p + 53. Is u a prime number?
True
Suppose 2*m = -0*m. Suppose -y + 229 + 139 = m. Suppose -2*j - 2*w + 364 = -7*w, 2*j - y = 3*w. Is j a prime number?
False
Suppose -y = 5*k - 19, y + 0 = -3*k + 11. Let q(d) = 4*d**3 + 6*d**2 - 5*d + 9. Is q(k) a prime number?
False
Suppose -3*i + 4 - 7 = 0, -8765 = -3*h + 2*i. Is h prime?
False
Let v(m) = 1498*m + 17. Let z be v(6). Suppose d + 4*d = z. Is d composite?
False
Let r(b) = b + 1. Let g be r(-1). Suppose g = 4*d + 2 - 6. Suppose -l = 4*a - 1 - d, 0 = -4*l - 3*a + 73. Is l a prime number?
False
Suppose -5*o + 0*u + u = -3976, 2*o - 1576 = 4*u. Suppose -4*p + k + o = 149, k = -4*p + 641. Is p a prime number?
False
Is (-108)/(-126) - (-1 + 60824/(-7)) a prime number?
False
Let r = 196 - 174. Is r prime?
False
Suppose 0 = -5*z - 4*a + 30305, 4*z - 10*a - 24270 = -8*a. Is z prime?
False
Suppose -8*a + 171334 = -234562. Is a prime?
False
Let t = -44239 - -63396. Is t a prime number?
True
Let g be (-4 + 2)*(-22)/4. Let i(w) = 3*w**2 + 11*w - 5. Is i(g) a prime number?
True
Let g = -22 + 25. Suppose 0 = 4*i - g*i - 55. Is i a composite number?
True
Let t be 2/(-4) + 15/2. Let r(f) = f**3 - 6*f**2 - 7*f. Let a be r(t). Is 19 - a/(1 + 3) prime?
True
Let c = -159 + 1978. Is c composite?
True
Suppose -18*g = -43231 - 222143. Is g composite?
True
Suppose -5137 = -0*j - 11*j. Is j composite?
False
Let n(q) be the third derivative of q**5/20 - 7*q**4/24 - 5*q**3/6 - q**2. Suppose 7*g = 5*g - 12. Is n(g) composite?
True
Let g(h) = 2*h**3 + 57*h**2 - 37*h + 65. Is g(-27) a composite number?
False
Is (-6)/(4033588/366692 - 11) prime?
True
Let q be (-2)/(-7) + (-18)/14. Is q/(-2) - 4431/(-6) composite?
False
Suppose -5*d + 30 = -5*a + 10*a, 0 = 4*a + d - 12. Suppose -a*m = -3*n - 151, -4*n - 154 = m - 3*m. Suppose -4*w = -445 - m. Is w prime?
False
Is (0 - 2)*(-9 - 56637/18) composite?
False
Suppose 5*j - 36275 = 52970. Is j composite?
True
Let k(f) = f**2 + 5*f + 4. Let j be k(-4). Suppose j = 3*g - 4*m - 185, -2*m + 4 = -4. Is g composite?
False
Let d = 10 - 18. Let c(u) = 25*u - 22. Let p(k) = 17*k - 15. Let h(q) = -5*c(q) + 7*p(q). Is h(d) a prime number?
True
Let w be (-15)/(-10)*(-4)/(-6). Let x(b) = 145*b**3 - b**2 + b. Let i be x(w). Suppose 0*d + 2*d = -2*t + 160, -3*t = -2*d + i. Is d prime?
False
Is (-2)/(-12) + 3559477/102 a composite number?
False
Let d(m) = 85*m - 1 + 4 - 1. Suppose 4*i - 24 = 5*j - 9, 4*i - 2*j - 18 = 0. Is d(i) prime?
False
Let q(c) = 5*c**3 - 2*c**2 + c + 3. Let z(w) = -w - 1. Let k be z(-6). Is q(k) a composite number?
True
Let k(g) be the third derivative of -g**6/120 - g**5/5 + g**4/2 - 13*g**3/6 + 4*g**2. Let q be 1 - -3 - 36/2. Is k(q) composite?
False
Let a(m) = -64*m + 19. Let t be a(-5). Let g = -236 + t. Is g a prime number?
True
Let u = 2 + -5. Is -3 + (-1180)/(-5 - u) composite?
False
Suppose -4*n = 4*q - q + 88, 2*q = 4*n + 68. Let f = n - -21. Suppose -2*p + 3*h = 3*p - 4778, 0 = f*p + h - 1909. Is p prime?
False
Let h(y) = -y**2 - 39*y - 97. Let j be h(-25). Let l(q) = q**3 - 3*q**2 + 6*q - 2. Let f be l(8). Let a = f - j. Is a composite?
False
Let m = -15 - -20. Suppose y - 3*q + 8 = 0, -m*q + 3 + 7 = -5*y. Let z = 250 + y. Is z prime?
True
Let n(z) = z**2 + 15*z + 31. Let l be n(-13). Suppose -r - 4*w = -4*r + 1211, 0 = l*r + 3*w - 1970. Is r prime?
True
Suppose -193 = -2*k - 2*d + 115, 2*k - 317 = d. Is k composite?
False
Is (-2*2/4)/((-6)/32682) a prime number?
False
Let n = 204 + -454. Let s = n - -807. Is s a composite number?
False
Suppose -7*b = -231143 + 23544. Is b a prime number?
False
Let f(n) = -8*n + 5. Let i be f(1). Is 59/i*((-45 - 0) + -6) a prime number?
False
Let y(u) = 10*u + 1. Let i be y(-12). Is 3*5/((-15)/i) composite?
True
Let f(s) = s**2 + 15*s - 8. Let t be f(-5). Let w be (-262 - 4 - 3)*-1. Let x = t + w. Is x a prime number?
True
Suppose -2*j + 3*j = -4*q + 10, 4*j = 5*q - 2. Suppose -q*r + r = -237. Is r composite?
True
Let b be (-9)/21 - 1025/(-7). Let s = -49 + b. Is s a prime number?
True
Let x = 12 + -5. Suppose -5*n + x + 8 = 0. Suppose 2*z + z + 3 = 0, -3679 = -4*m + n*z. Is m prime?
True
Suppose 7 = -3*k + 22. Suppose 0 = -2*u - 4, k*g - 14290 = -3*u + 16359. Is g a composite number?
False
Suppose 223 + 845 = 3*b. Suppose 14 = -3*o + b. Let d = -35 + o. Is d a prime number?
True
Let a(r) = -2*r + 17 - r + 4*r - 2. Let u be a(-10). Is u*(3 - 1) - -1 a prime number?
True
Let s(c) = 5*c**2 + c - 2. Let h be s(1). Suppose -2*y = -4*j - 6, -2*y + 3*j + 2 = -h. Suppose -82 - 89 = -y*w. Is w a composite number?
True
Let u(s) = 1968*s**2 + 3*s - 4. Is u(1) prime?
False
Let f = 6743 - -2256. Is f a composite number?
False
Let c = -14 - -17. Suppose 62 - 425 = -c*l. Is l a composite number?
True
Let w = 82 + -203. Let v = -12 + w. Let f = v + 266. Is f a composite number?
True
Let u(r) = -6*r**3 + 9*r - 14. Suppose 0 = 5*p + 3*g - 0*g - 24, 16 = 4*p + 4*g. Let z be u(p). Is z/(-6) - 5/15 a composite number?
True
Suppose 3*s - 3*r = 4089, 22*s - 19*s = -4*r + 4075. Is s a composite number?
False
Let q(k) = -128*k + 5. Let z be q(7). Let c = 188 + z. Let v = -206 - c. Is v a prime number?
False
Suppose 138363 = 13*n - 8264. Is n a prime number?
True
Suppose h = 9 - 5. Let j(x) = -x**2 + 2*x + 2. Let o be j(h). Is (o/(-9))/((-10)/(-12585)) a prime number?
True
Suppose -5531 = -3*b - n, -5*n - 819 - 998 = -b. Suppose 2*w + b = 8*w. Is w a prime number?
True
Suppose -2*q = 3*r + 59 - 1153, 5*r - 561 = -q. Is q a prime number?
True
Let a(h) = -111*h + 6. Let n be a(2). Let x = n + 373. Is x a prime number?
True
Let n(o) be the second derivative of o**6/20 - o**5/120 - 7*o**4/12 - o. Let h(s) be the third derivative of n(s). Is h(1) prime?
False
Let q(l) = 2049*l + 4. Let y = -137 - -138. Is q(y) a prime number?
True
Suppose 10*q - 677 + 2107 = 0. Let z = q + 436. Is z composite?
False
Let i = -2 - -1. Let l be i/((-2)/4 - 0). Suppose l*v + 166 = 4*v. Is v composite?
False
Suppose -4*h = -2*h - s + 2, 2*s = 2*h + 2. Let f(m) = -365*m + 6. Is f(h) a composite number?
True
Let y = 28170 - 14753. Is y composite?
False
Is -1*1/((-4 - 1)/7985) composite?
False
Let f = -18682 + 31949. Is f a composite number?
False
Suppose 0 = k, -2*k = -3*x - 6*k + 66. Let q = -6 + x. Is q/(-56) + 1045/7 a prime number?
True
Let z = -10682 - -16245. Is z prime?
True
Suppose -s = 2*b - 6*b - 585, 0 = 4*s + 2*b - 2322. Is s a prime number?
False
Suppose -47 = 3*r - 4*q, -3*r + 3*q = -30 + 78. Let p = -10 - r. Is p prime?
True
Suppose 5*h + 174 = -4*v, -h = -0*h + 3*v + 37. Suppose -4*z + 4*f + 652 = 0, 0 = -5*z + 2*z + 5*f + 493. Let x = z + h. Is x composite?
False
Suppose -7150 = -4*r + 2430. Is r a prime number?
False
Let d be (1120/(-12))/(6/(-387)). Suppose 4*x = -x + d. Suppose -2*c = 2*c - x. Is c prime?
False
Suppose 2*i + 3*v + 1 = 4*v, 0 = -i + 3*v - 3. Suppose i = -4*j - 2*j + 15216. Suppose -624 = -8*w + j. Is w prime?
False
Let v be ((-15)/(-2))/(3/(-18)). Let l = 1 - v. Is l composite?
True
Let a(y) be the third derivative of -y**5/60 - 19*y**4/24 - 5*y**3/3 - 7*y**2. Let w be (0 + 4/(-6))*18. Is a(w) a composite number?
True
Is 4153*-4*4/(-16) composite?
False
Let d(o) be the second derivative of 2*o**4 + 11*o**3/3 + 11*o**2/2 + 6*o. Is d(-9) a composite number?
True
Let z = 3 - 10. Let i(k) = -k**2 - 8*k - 7. Let d be i(z). Suppose d = x + 2*t - 25, -x - t - 103 = -4*x. Is x a prime number?
False
Let g(t) = 79*t**2 - 70*t + 26. Is g(-18) composite?
True
Suppose -8*y + 2264 = -