 -6*k + 4169 = 23. Let h = 345 + k. Let v = h + -729. Is v prime?
True
Suppose 2*g + 1570 = -748. Let l = 1749 + g. Let d = -201 + l. Is d a prime number?
True
Let y(s) = s + 2. Let b be y(6). Suppose -8*h = -12*h + b. Suppose -789 = -5*n + h*n. Is n a composite number?
False
Let i = -26 - -22. Is 150 - (0 + i)/(-4) composite?
False
Let g(t) = 44*t**2 - 13. Let q(y) = 4*y - 31. Let z be q(9). Is g(z) composite?
False
Let a(c) = c**3 + 12*c**2 + 2*c + 16. Suppose -2*o - 8 = 4*z, -9 = -o + 3*z - 33. Let q be a(o). Is (-1652)/(-4) - q/(-2) a composite number?
False
Suppose 8 = -0*w + 4*w. Suppose -2205 = -y + 2*t, -w*y = -0*y + 2*t - 4404. Is y a composite number?
False
Let p = 76 + -79. Is 1399/(3*p/(-9)) a prime number?
True
Suppose 12*g - 17*g + 15 = 0. Suppose g*h + 28 - 2047 = 0. Is h composite?
False
Let s(l) = -7*l**3 + 3*l**2 + 8. Let i be s(-6). Suppose -i = -36*o + 32*o. Is o prime?
False
Suppose -4*n = -4167 - 3941. Is n a prime number?
True
Suppose 42*w = 32*w + 99010. Is w a prime number?
True
Let o be (-2 - 14/(-4))*2. Suppose -3*t = p - 851, 5*p = o*t - 583 - 256. Suppose v + 4*s = t, -2*v + s + 531 = 2*s. Is v prime?
True
Let u = 8977 - 4124. Is u a composite number?
True
Suppose 0 = -2*w + 7 + 3. Suppose -4*h = l + 14, -5*l - w*h - 12 + 2 = 0. Suppose 0 = -4*d - m + 1977, l*d = -d - 3*m + 1494. Is d composite?
True
Let q be (-4)/(-18) + 11/(495/80). Suppose 0*m = -4*m + 4*w + 3344, 4*m = -q*w + 3374. Is m composite?
True
Suppose -10137 = -4*p - 2*b + 13115, p + 5*b - 5795 = 0. Is p a composite number?
True
Suppose 4*z - 2*y - 734 = 0, 2*z - 201 = z + 4*y. Suppose 2*x + 5*n - 174 = 0, -5*x + 212 + z = 2*n. Is x a composite number?
True
Let g be 88/14 - ((-10)/(-35) - 0). Suppose -531 - 123 = -g*i. Is i a composite number?
False
Let u = 1482 + -670. Suppose -3*s = -7 + 1. Suppose 0 = -s*l + u + 470. Is l prime?
True
Let f(p) = -41*p**3 + 6*p**2 + 23*p + 55. Is f(-8) prime?
True
Suppose 0*s + 224640 = 4*s + 4*w, -5*w - 168472 = -3*s. Is s prime?
False
Suppose -2*k = -3 + 7, 5*n - 3*k = 16. Let s(t) = -t**2 - 30*t - 57. Let x be s(-27). Suppose -4*z + 2*j + 3*j = -38, -n*j + x = 4*z. Is z prime?
True
Let x be ((-75)/(-2))/((68/(-48))/(-17)). Let b = x - 287. Is b prime?
True
Let i be 226/(-5)*25/(-10). Suppose -5*v + 6647 = -3053. Let l = v + i. Is l a prime number?
True
Suppose -31*f = -26*f - 11015. Is f prime?
True
Let f(r) = -r**2 - r. Let c be f(0). Suppose c = -5*w + 37 - 7. Suppose 0 = 4*t - 3*k - 223, w*t - 219 = 2*t - k. Is t a composite number?
True
Let g = -1961 + 7168. Is g a prime number?
False
Let k = 7978 - 2452. Is k/22 + (-12)/66 prime?
True
Suppose d + 4660 = 3*d + 3*v, v - 4 = 0. Suppose 11*t = 7*t + d. Is t a prime number?
False
Let j = -19 + 19. Suppose j = 2*d - 3*d + 116. Let o = 17 + d. Is o a composite number?
True
Suppose 558*a - 19995 = 543*a. Is a composite?
True
Let w = -2206 + 3720. Let m = -675 + w. Is m a prime number?
True
Suppose -5*n + 55 - 40 = 0. Is -1 + 2137 - ((3 - n) + -2) prime?
False
Let s = 10451 + -6462. Is s prime?
True
Let s(o) = 3812*o + 177. Is s(7) composite?
False
Suppose t + 2638 = -4*w - 0*w, 2*w + 5288 = -2*t. Let a = t + 3905. Is a prime?
True
Suppose 11*t - 45576 + 9661 = 0. Is t composite?
True
Suppose 2*u = u + d + 4191, 12541 = 3*u + 5*d. Is u a composite number?
True
Let y be (6/(-8))/(12/(-16)). Let d(l) = 26*l**3 - l**2. Let f be d(y). Suppose 2*u - 8*a = -4*a + 8, 0 = 5*a - f. Is u composite?
True
Let d(v) be the first derivative of 7*v**3/3 - v**2 - 12*v + 4. Is d(7) a composite number?
False
Let b(w) = 107*w + 128. Is b(19) a prime number?
True
Let v(n) = 3*n - 7. Let j be v(3). Is j - 4/(16/(-1068)) prime?
True
Suppose -3*a = -15, 5*b = -4*a + 38 + 47. Let d = -10 + b. Suppose d*n + 2*r - 679 = 0, -2*r + 4*r = 10. Is n a prime number?
True
Let v be (-2)/((-24)/60*5/(-14)). Is (-7298)/v - (-42)/(-147) a prime number?
True
Suppose -h + 2155 = 2*m, 8*h - 6455 = 5*h + 4*m. Is h a composite number?
False
Let m be (-2)/(-6) + 4/6. Is 3899*((-2)/m + 3) a composite number?
True
Let p(y) = -y**3 + y**2 - y + 1. Let r(d) = -d**3 - 3*d**2. Let q be r(-3). Let o be p(q). Is 379 - (2 - o) - -1 a prime number?
True
Is (-13 - -14)*(-1 - (-33744)/2) a prime number?
True
Let q(p) be the third derivative of -p**4/24 + 7*p**3/3 - 9*p**2. Let i be q(15). Is ((-68)/(-6))/(i/(-3)) a composite number?
True
Let q(o) be the first derivative of -o**2/2 + 61*o - 15. Is q(15) a composite number?
True
Suppose -27 = -r - 0*r. Suppose 4 = -4*v, s - r = -v + 5*v. Suppose q = -5*c + s, -q = q + c - 10. Is q a composite number?
False
Suppose -n - n + 12 = 0. Let z = -4 + n. Is z + 1 + 28*1 prime?
True
Suppose 118246 = 21*c - 63677. Is c a prime number?
True
Let i(x) = -x. Let u be i(-2). Let s be 0/(u*1/(-2)). Suppose s*t + 2*t - 134 = 0. Is t prime?
True
Suppose 5*f - 4 = 36. Let j(w) = -f*w + 15 + 12*w + 6*w. Is j(13) composite?
True
Suppose -2*x + 20216 = 4*b - 5*x, b - 4*x - 5067 = 0. Is b composite?
False
Let q(z) = z**3 - 16*z**2 - 10*z - 46. Is q(21) prime?
True
Suppose -4*j = -47 - 41. Suppose 2*w = 7*w + 3*q - 26, 4*w + 2*q - j = 0. Suppose 692 = w*b - 5*b. Is b prime?
False
Let c(n) = n - 1. Let o(s) = -7*s + 11. Let f(x) = -x + 1. Let v(t) = 4*f(t) - o(t). Let i(q) = -2*c(q) + v(q). Is i(16) a prime number?
True
Suppose 0 = -s + 3 + 1. Suppose 0 = m + w, s*m = m - 4*w + 5. Let j(i) = -i**3 - 3*i**2 - 2*i - 1. Is j(m) a prime number?
True
Suppose g = g + g. Let m(c) = 5*c**2 + 2*c - 1. Let q be m(-3). Suppose g = 3*y - 100 - q. Is y prime?
False
Is ((-156440)/(-8) + 8)/1 composite?
True
Let b = 7052 - -5991. Is b a composite number?
False
Suppose 5*w + 2*t = 94415, 5*w + 19*t - 94415 = 22*t. Is w a prime number?
False
Let c = 8998 - 1343. Is c a composite number?
True
Suppose -4*l - 66 = -7*t + 2*t, 4*t - 4*l - 56 = 0. Let z be (32/t)/(6/2700). Suppose 5*v - 5*g - z = 0, g + 120 = 4*v - 1029. Is v composite?
True
Suppose -3*t + 3*h - 27 = 0, t - 3*t = -4*h + 18. Let b = 14 + t. Suppose 0 = 5*k + 2*p - 1297, b*k + 471 - 1762 = 4*p. Is k prime?
False
Suppose -3*u - 49*a + 47*a = -21549, 0 = 5*u - a - 35915. Is u a composite number?
True
Let d(p) = -2*p - 4. Let r be d(-4). Let l(u) = -u**3 - u + 3. Let w be l(r). Is (-5145)/w - 2/13 a composite number?
False
Let q be 8/6 + 8/12. Suppose -q*g + 661 = 3*h, -4*g + 1105 = 5*h - 0*g. Is h prime?
False
Suppose 0 = -v - 8 - 5. Let b(a) be the third derivative of -11*a**4/8 - 5*a**3/3 + 10*a**2. Is b(v) composite?
False
Let v(n) be the third derivative of 16*n**4/3 + 23*n**3/6 + 33*n**2. Is v(3) prime?
False
Suppose 0 = 10*s - 6*s - 4*w - 719672, -899563 = -5*s - 4*w. Is s prime?
False
Let i(j) = 27*j**2 + 17*j - 93. Is i(13) a prime number?
True
Let p(d) = d**3 - 6*d - 4 + 7*d**2 + 12*d + 7. Is p(-5) a prime number?
True
Let f = 118 - 262. Let u be -4 + 1 - 53*(-1 - 3). Let v = f + u. Is v composite?
True
Let h(x) = -66*x**2 - 12*x + 24. Let a be h(10). Is 2/(a/1676 + 4) prime?
True
Suppose -b = -5, 3*b = -3*a - 2*b + 127. Let w be 4/(((-7)/(-12))/(-7)*-2). Let v = w + a. Is v prime?
False
Let r = -62 - -69. Let g(v) = 31*v**2 + 7*v - 31. Is g(r) a prime number?
False
Suppose -4*z = r - 57603, -5700 = -z + 2*r + 8703. Is z prime?
True
Suppose 0 = 4*q - 3*q - 4. Suppose -q*p + 8 + 0 = 4*s, 3*p + 4 = 2*s. Is 0 + s - (-3 - 14) a composite number?
False
Suppose 5*l + 0*l - 3*z - 13 = 0, l + 15 = 5*z. Let f(q) = 438*q - 11. Is f(l) prime?
True
Let s(g) = g**2 + 11*g + 4. Let i be s(-11). Suppose x = 3*r + 1736, 7*x - 2*x - 8625 = i*r. Is x prime?
True
Is (4 - ((-1 - 1) + -20050)) + -5 prime?
True
Suppose -4*a + 493 = -523. Let k = a + -46. Suppose -3*l + k = 4*r, -r - l + 50 = -1. Is r a composite number?
True
Is (-6607 + 160)*(0 - 2)/6 prime?
False
Let g = -1191 - -2900. Is g a composite number?
False
Let c = -87 + 90. Is (-77970)/(-45) + 1/c a composite number?
False
Let i(p) = 913*p**2 + 14*p + 4. Is i(-3) a composite number?
False
Let n(d) = 22*d**3 - 4*d + 5. Is n(4) prime?
False
Suppose 5*o + 42 = 37, 0 = -3*v - 4*o + 39689. Is v prime?
False
Let d(r) = r**3 - 3*r + 3. Let j be d(2). Suppose 2*v = u - j, -5*u + 25 = -v + 5*v. Suppose 3*q - u*f - 951 = -q, f - 718 = -3*q. Is q composite?
False
Let r(u) be the third derivative of -2747*u**4/24 + 13