(12/(-25603)). Suppose 7*s + 1494 = c. Is s a prime number?
True
Let o be 1*-3 + (26 - 20). Suppose -4*q = -7*q - o. Let i(p) = -741*p - 2. Is i(q) prime?
True
Let g(w) = 5*w + 192. Let k be g(-37). Suppose -222539 = -k*v + 61542. Is v a prime number?
True
Suppose t - 9000 = -1900. Let u(x) = 2*x**2 + 2*x - 8. Let p be u(-3). Suppose 4*z + i = 5697, -3*i = -p*z - z + t. Is z composite?
False
Suppose -1 = -5*q - 21. Let c be (6 - 2)*(2 + 3 + q). Suppose 3*s = 4*s, 2*s - 596 = -c*u. Is u a prime number?
True
Suppose -4*v - 5*g = -8, 3*v = 2*v - 4*g + 2. Suppose c + 3 - 4 = -v*x, 5*x - 20 = c. Suppose -x*z + 2*z = -94. Is z composite?
True
Let q be 0 + (-340)/(-17)*(-2)/(-8). Is 2/q + (-39346)/(-10) composite?
True
Suppose -3*m - 8 + 2 = 0. Let o be (-1288 - -2)*(3/3 + m). Let i = o + -645. Is i a prime number?
True
Let n be (17/(-68))/(1/(-12)). Suppose -9291 = -3*t + o + 9073, t - n*o = 6124. Is t prime?
True
Suppose -4*r = -3*d + 74, -4*d + 14 - 91 = 5*r. Let u be 204/r + (-5 - -1). Let j(h) = 3*h**2 - 17*h - 21. Is j(u) a prime number?
True
Suppose 41*u + 13405283 - 15961591 = 16906679. Is u prime?
True
Suppose 2*f + 2*z = -2*z + 56, -3*z + 175 = 5*f. Let j = -34 + f. Suppose -2*g = -3*m + 3602 + 5339, 0 = 5*m + j*g - 14931. Is m composite?
True
Let x(s) = s**2 - 3*s + 211. Let o(l) = -2*l**2 - 5*l + 3. Let b be o(-3). Is x(b) composite?
False
Suppose 0*f = f - 2*w + 8, 4*f - 5*w + 17 = 0. Suppose 2*h - 830 = -2*l, -f*h = -3*l - 0*h + 1230. Let z = l + -65. Is z a composite number?
False
Let s(t) = 16*t**3 - 73*t**2 + 9*t + 3. Is s(8) a composite number?
True
Let g = -1880 + 12193. Is g a prime number?
True
Suppose -2*l = 5*w - 9594, -l - l - 2*w + 9606 = 0. Is l - (-5 - (4 + -3)) a composite number?
False
Suppose 0 = 8*n + 11 + 5. Let a be 567443/(-85) - 2*n/(-20). Let j = 10323 + a. Is j composite?
True
Let b(q) = 215*q**2 - 54*q + 88. Is b(15) a prime number?
True
Let m(x) = 2*x**3 - 8*x**2 - 2*x - 4. Let q be m(4). Let a(u) = -5*u - 62. Let k be a(q). Is (-59230)/(-25)*(-5)/k prime?
True
Let t(w) be the second derivative of 617*w**3/6 - 8*w**2 + w. Suppose 4*q - b - 12 = -0*q, -q - 4*b + 3 = 0. Is t(q) prime?
False
Let y = -46 - -46. Suppose y = 3*j - 0 + 15. Is (22/(-5) - -4) + (-4447)/j composite?
True
Suppose 4*s = 14*s - 6473300. Suppose -8*u + s = 30*u. Is u a prime number?
False
Suppose s - 2273886 = 242*b - 245*b, -b + 757954 = 3*s. Is b a prime number?
False
Let l(k) be the third derivative of k**6/20 + k**5/60 + k**4/4 - 10*k**3/3 - 20*k**2. Let y be l(8). Suppose -y = -2*n - 366. Is n composite?
False
Let g = 22704 + -12870. Suppose 5*m + 45284 = 2*f, -58067 = -3*f - 5*m + g. Is f a composite number?
False
Suppose v + 2*f = 31963, 7*v + 4*f = 7*v. Is v composite?
False
Suppose 4*l + 0*l + z = -26, 14 = -2*l - z. Is (-9)/l + 8910/4 a composite number?
True
Let u = -295 + 325. Suppose 18*p = u*p - 23388. Is p composite?
False
Let b(w) = -w**3 + w. Let k(a) = -4*a**3 + 4*a**2 - 2*a - 9. Let o(l) = -3*b(l) + k(l). Suppose -33*h - 7 = -32*h. Is o(h) a composite number?
True
Suppose 0 = -3*w + 5*b + 85792, -w = -262*b + 257*b - 28594. Is w a prime number?
False
Let p be (-47898)/21*(-56)/(-12). Is (-1 - 15/(-9))*p/(-8) a composite number?
False
Suppose 172*b - 18456206 = -100*b - 4507230. Is b composite?
False
Let u = 1634706 - 1133371. Is u composite?
True
Let f(n) = -18*n**2 - 19*n + 4. Let c be f(11). Let b = c - -4745. Is b a prime number?
False
Let c(j) = j**3 + 17*j**2 + 10*j - 93. Let s be c(-16). Suppose 6 = 3*r - s, 0 = -q + 4*r + 865. Is q a prime number?
True
Let t(m) = 67*m**2 + 61*m - 7. Let x be -2 + (1/(-2) - 210/(-28)). Is t(x) prime?
True
Suppose 19 + 143 = 6*l. Suppose a - l = -3*c, -5 - 6 = -2*c - 3*a. Is (614*(-5)/c)/(-1) composite?
False
Suppose -2*y + 6*y = 108. Is 18/y + (-18974)/(-6) composite?
False
Suppose 0 = 10*n - 9*n + 4*z - 1243785, -z - 1243760 = -n. Is n a composite number?
True
Let f be (-9)/(-3) - 18/6. Suppose -9*b + 0*b + 14742 = f. Suppose 2*s - b = 5*k, -s + 2*k - 801 = -2*s. Is s composite?
False
Suppose 6261639 + 1298611 = 250*o. Is o prime?
True
Suppose -2*x = -h - 3, -h + 13 = 5*x + 2*h. Is x/(-4) + (-33210)/(-12) a prime number?
True
Let c(g) = 2683*g**2 - 30*g - 264. Is c(-7) a composite number?
False
Let m(b) be the second derivative of 55*b**3/3 + b**2 + 12*b. Let l be m(1). Suppose 4*j - 141 = -w, -2*j - l = -2*w + 180. Is w composite?
True
Suppose f + 4*q = 4*f - 203133, -3*q = 5*f - 338555. Suppose 12 = 3*d, 5*s + 18388 = -2*d + f. Is s a prime number?
False
Let h be ((-40)/4 + 8)*-4. Suppose 4*t + 5983 = h*t + 5*m, -5*t - 2*m + 7483 = 0. Is t composite?
True
Suppose -43*x - 12*x = -620074 - 663681. Is x prime?
False
Let w be 325/40 + -8 + 78/16. Suppose -1753 = -w*z + 492. Is z prime?
True
Let y(v) = 810*v**2 + v + 3. Let d be y(-1). Let m = 1921 - d. Is m prime?
True
Let g be (3/6)/((-1)/28). Let x(j) be the third derivative of -23*j**4/4 + 17*j**3/6 - 440*j**2. Is x(g) prime?
True
Let c(q) = -31530*q + 4699. Is c(-11) composite?
False
Suppose 7*p = 388461 + 251668. Is p a prime number?
False
Suppose -5*d - 5*c = 20, -12*d + 16*d + 13 = -5*c. Is 15501/(-2)*(d/(-21) + -1) a composite number?
False
Let i(d) be the third derivative of 7*d**6/120 - d**5/30 - d**4/6 + 2*d**3/3 - 6*d**2 - 5*d. Let f(m) = -m - 2. Let k be f(-7). Is i(k) composite?
False
Is ((-34)/(-102))/(2/125183*3/18) composite?
False
Suppose -2*u = 2*s + 2485 - 31869, -u = 3. Is s composite?
True
Suppose j - 147 = q - 45, 0 = 2*q - 3*j + 202. Suppose -c - 709 = -3*d, -d = -3*d - 2*c + 478. Let f = q + d. Is f prime?
False
Let f = 61 + -58. Suppose 4*m = -5*w + 28, -2*w = -f*w + 4. Suppose -m*h + 1647 = 313. Is h prime?
False
Suppose 24*n = 2*n - 23*n + 19386045. Is n a prime number?
False
Suppose -2217920 = -22*o + 390642. Is o a composite number?
False
Let v = 16 + -11. Let j(k) = -11*k**2 - 5*k - 6*k**3 - v*k**3 + 20*k**2 - 4. Is j(-5) a prime number?
True
Let y be (164/(-6))/(5/2055). Let o = 8645 - 15266. Let t = o - y. Is t a composite number?
True
Suppose -153*w + 169877953 = 42803956. Is w a prime number?
True
Let u(t) be the second derivative of 103*t**4/12 + t**3/2 - 31*t**2/2 + 15*t. Let s(m) be the first derivative of u(m). Is s(18) a prime number?
False
Let u be 2/1 + (2 - -4261). Suppose -3*a + 0*a = 0, -u = -5*b - a. Is b/(4 - (2 + 1)) prime?
True
Let k(i) = i**2 - 14*i - 32. Suppose 2*c - 32 = j, 0 = -0*j + j. Let s be k(c). Suppose -178 = -h - h + n, s = 3*h - 3*n - 267. Is h a composite number?
False
Let q(y) = -18*y - 110. Let m be q(8). Let n(h) = 46*h + 3. Let f be n(-8). Let s = m - f. Is s composite?
True
Suppose 25 = 3*o - 5*a + 3*a, -o = 2*a + 5. Suppose 5*h = 3*v + 6787 - 2330, 0 = -4*h + o*v + 3576. Is h composite?
True
Let p(k) = 6*k - 19. Let y be p(5). Is y*(15/4)/(-5)*-4 prime?
False
Let b be 2/((3/10497)/((-33)/22)). Let q = 4612 - b. Is q composite?
True
Let t(v) = 2*v - 28. Let g be t(16). Let m be (-16868)/(-12) - g/6. Suppose 5772 = 11*k + m. Is k a composite number?
False
Is (-39)/(-65) - 44793070/(-175) prime?
True
Suppose 26*q - 4 = 48. Suppose q*r = -u + 1372 + 2737, -5*r - 4*u + 10277 = 0. Is r composite?
False
Let y = -492976 + 833567. Is y a prime number?
True
Let d(g) = -g**2 + 26*g - 9. Let k(i) = 7 - 8 + 5*i**2 - 6*i**2. Let a(o) = -d(o) + 2*k(o). Is a(-6) prime?
True
Is (-1)/(7 + -27056*(-69)/(-266694)) a composite number?
False
Let c(a) = 12150*a - 781. Is c(30) prime?
True
Let z be (-316)/(-2) + (-50)/10. Let d = z - 288. Is (4870/4 - 0)*(-54)/d composite?
False
Let y = -6265 + 4425. Let d = -1030 - y. Suppose -751 - d = -i. Is i prime?
False
Let t = -349304 - -558025. Is t a composite number?
False
Let t = -117 - -121. Suppose 3*j = -t*j + 6685. Suppose 609 = 4*v - j. Is v a composite number?
True
Let k = -264 + 252. Is k/(-30) + 12846*(-4)/(-40) a composite number?
True
Suppose -9*b - 16*b + 75 = 0. Suppose -11*d + 779 = b*o - 12*d, o = -3*d + 253. Is o a prime number?
False
Let r(v) = 4*v**2 - 4*v + 10. Let a be r(-7). Suppose -237*w + a*w + 3453 = 0. Is w a composite number?
False
Let b(i) = -5*i**2 - 96*i - 39. Let k be b(-31). Is ((-36)/48)/(3/k) composite?
False
Suppose -3*y + 6*y = -8*y. Suppose 3*z - 15 = -0*z + 5*w, 3*z - 4*w = 15. Suppose -2*o = -4*b + 502, 