 Is h a prime number?
True
Suppose 20*v - 5*o + 67811 = 26*v, 33898 = 3*v - 5*o. Is v a prime number?
False
Let c = -995159 + 1467432. Is c a composite number?
False
Let o be 1*(-2802 - 1) + -5 + 0. Let b = -907 - o. Is b a prime number?
True
Let w = 166359 - 86380. Is w prime?
True
Let o(v) = -9538*v - 8. Let b be o(10). Suppose 8*s - 4*s = 2*i + 24, i + 28 = 4*s. Is (-2)/s + b/(-48) prime?
True
Let g be -22 + 22 + 1/(1/(-30)). Let u be 1/((-6)/8*(-20)/g). Is (u + (-1831)/(-4))*2*2 composite?
False
Let w = -57267 + 81422. Is w prime?
False
Let m be (4 + -6 - 0) + 3956. Suppose 3*k = 5*d - m, 3*d = d. Let h = k + 2071. Is h a prime number?
False
Let f(m) = -75*m**3 + 5*m**2 - 2*m + 10. Let z be f(-6). Suppose 2*a = -2, 3*a - 49267 - z = -2*n. Suppose 0*q = -4*g - 3*q + n, -4*g + 32836 = -q. Is g prime?
True
Let r = -33 + 37. Suppose -7537 = -3*x + r*v + 25310, 0 = -2*x - 5*v + 21921. Let m = x + -7692. Is m composite?
True
Suppose 2*j = 4*p - 18530, -3*j + 7*j - 4 = 0. Is p prime?
False
Let c(h) = h + 4. Let o be c(5). Let p(f) = 38*f - 42. Let q be p(o). Let u = q + 199. Is u prime?
True
Is (4009/(-2))/(27/(-54)) a prime number?
False
Suppose -10*j + 25*j = -157*j + 1548. Let q = -393 + 605. Is (0/(-3) - j)*q/(-12) composite?
True
Let n be ((1/4)/(3/(-36)))/(-1). Suppose -n*b = -2784 - 963. Is b prime?
True
Suppose -4*h - 5*z = -40, 2*h = h + 5*z - 15. Suppose -4*u + 10121 = n, -h*n + 0*n = 2*u - 50641. Is n composite?
True
Suppose -26263935 = -193*j + 19548668. Is j composite?
True
Suppose 2*s + 16815 = 13*p - 8*p, -4*s = -20. Suppose p = 7*r - 4692. Is r prime?
True
Let a = -226710 + 352805. Is a composite?
True
Suppose 0 = -2*h + 2*c + 18, -3*c + 32 + 13 = 3*h. Suppose -5 + h = r. Suppose -4*b + r*b - 2103 = 0. Is b prime?
True
Suppose 0 = 42*a + 40*a - 2775044. Is a prime?
False
Suppose -617 + 649 = 4*w. Suppose -4*c + 61006 = -3*j, 7*j - 3*j - w = 0. Is c prime?
False
Let m(l) = l**3 + 4*l**2 + l. Let t be 20/(-12) + 1 - 4/3. Let a be m(t). Suppose u = b + a, -3*u - 4*b + 21 = -25. Is u a prime number?
False
Let y be (-18065)/2*(2 + 18/15). Let m = -17791 - y. Is m a prime number?
True
Suppose -74*c + 105*c - 2653879 = 0. Is c composite?
True
Suppose 3*o + 14 = b, -4*o = 3*b - 0*b - 16. Suppose -2782 = -b*v + 14250. Suppose 3*s - 1590 = -3*f, -7*f = -3*f + s - v. Is f prime?
False
Let f = 45 - 46. Let q(g) = 43 - 80*g**3 - 45 + 3*g**2 - g**2 - 2*g - 3*g**2. Is q(f) a composite number?
False
Let o be -2 + 0 + 22*-1. Let x be 0 - ((-15282)/(-8) + 6/o). Let g = 4431 + x. Is g a composite number?
False
Let q(k) be the third derivative of -337*k**4/4 + 97*k**3/6 - 8*k**2 + 4. Is q(-3) a prime number?
True
Is (4912098/36)/(10/8*2/15) a prime number?
True
Let y = 38 + -6. Let q(s) = 100*s - y*s - 28*s - 29*s - 8. Is q(9) a composite number?
True
Suppose 0 = 2*c - 4*b + 334, -c - 5*b + 25 = 171. Let n = 740 + -1640. Let w = c - n. Is w a prime number?
True
Let c(w) = -2*w**3 + 27*w**2 + 21*w + 51. Let q(u) = u**3 - 26*u**2 - 20*u - 50. Let f(h) = -2*c(h) - 3*q(h). Is f(-19) a prime number?
True
Suppose 0 = 4*s + 1 + 3, 2*j = 4*s. Let v be (j*(-1)/(-3))/(4/(-30)). Suppose -4*q - 587 = -v*q. Is q prime?
True
Let a(r) = 661*r + 23. Let z be ((-50)/40)/((-2)/32). Let y be a(z). Suppose y = 8*g - 3645. Is g a prime number?
True
Let j(d) = -d**2 + 16*d + 103. Let t be j(21). Is 11013/t*16/(-8) composite?
True
Let y(o) = 4*o - 11. Let l(x) = 13*x**3 - 2*x**2 - x + 2. Let j be l(1). Is y(j) a prime number?
True
Suppose 88*j - 5668 = -2*n + 90*j, -4*n - j + 11351 = 0. Is n a composite number?
False
Let w = 721 + -428. Let i = -7 - -8. Is ((-16)/(-16))/(i/w) a composite number?
False
Let w = 22 + -19. Let x = -44 - -48. Suppose w*r + 3*j - 1479 = 0, 2*r - x*r + 2*j = -978. Is r a composite number?
False
Is 1/(14 - (-33004368)/(-2357456)) prime?
True
Is 2/16 + (88463970/1008 - (-5)/1) composite?
False
Let s(m) = 279*m**2 - 35*m + 1757. Is s(-63) a prime number?
False
Let t = -1366 + 2095. Suppose -2*f + 317 + t = 2*r, -2*r + 1031 = -f. Let b = r + -259. Is b prime?
False
Let t be 10/(-25) + (-2)/(-5). Suppose -24 + t = -6*x. Suppose 2*d + 2*i + 4314 = x*d, 5*d + i - 10761 = 0. Is d prime?
True
Let r(y) = -10*y - 6. Suppose -2*p - 5*k = 29, 2*p + k + 12 - 3 = 0. Let m be r(p). Is 36486/42 + ((-10)/m - -1) prime?
False
Suppose -7*s + 30 = -s. Suppose 0 = 3*z + j - 7 - 6, 14 = -2*z + s*j. Let i(a) = 132*a + 1. Is i(z) a prime number?
True
Let c(i) = 18*i**2 - 5*i + 2. Let f be c(16). Let u = f + -137. Is u a prime number?
False
Suppose -5*b + 139 = 54. Suppose b - 2 = 5*y + 5*o, -2*o = -3*y - 6. Suppose -3*g = -y*g - 3831. Is g a composite number?
False
Let o be 14/(-42) + (-64856)/(-6). Is (o/(-36))/(1/(-4)) composite?
False
Suppose 6*y - 5 = -3*k + y, 12 = -4*k - 2*y. Let j(s) = 45*s**2 + 10*s - 2. Is j(k) a composite number?
True
Let s(g) = -g**3 + 27*g**2 + 5*g + 24. Let p(t) = -t**2 + 14*t - 12. Let k be p(11). Let j be s(k). Let h = -406 + j. Is h a prime number?
False
Suppose 0 = 62*i - 70*i + 64. Suppose 3 = -3*v, i*v = 3*h + 7*v - 65884. Is h a prime number?
True
Let s(n) = -41*n**2 + 3*n + 10. Let l(b) = -40*b**2 + 2*b + 9. Let q(k) = -6*l(k) + 5*s(k). Let f be q(6). Let p = -583 + f. Is p composite?
False
Let p(q) = -560*q + 18. Suppose -13*z + 6*z = 35. Is p(z) a prime number?
False
Let t(v) = -2*v - 35. Let n be t(-20). Suppose -n*j + 2*f + 3511 = -f, -2095 = -3*j - 4*f. Suppose -491 - j = -8*d. Is d prime?
True
Suppose 284*d + 2535045 = -265*d + 564*d. Is d prime?
True
Suppose -6*l + 9 = -3*l. Let p(f) = 2*f**2 - 4*f + 13*f**3 + 7*f**2 - 6 + 2*f**2 - l*f**2. Is p(5) prime?
False
Let y be (0 - 14)/((-2)/108). Let u = -1186 + y. Is u/8*-71 + (-18)/(-24) a composite number?
True
Let m(q) = 3*q**2 - 4*q - 3. Let p be m(3). Let i = p + -11. Is 0/(i + 3) - -543 a prime number?
False
Let y be 3/2*(-360)/(-270). Is y/(-2)*(-25555 - (11 + -5)) composite?
False
Let i(q) = 160*q**2 - 7*q + 4. Let r(p) = p**2 + 4*p + 6. Suppose -3*b + 3 - 12 = 0. Let m be r(b). Is i(m) composite?
False
Suppose 6*j - j - 5*k - 11555 = 0, 5*k = -j + 2311. Suppose 1429*p + 3*a = 1433*p - 34, 3*p = -2*a. Suppose -j = -p*h + 2017. Is h a prime number?
False
Let b(l) be the second derivative of -l**5/10 - 5*l**4/6 - 4*l**3/3 - 31*l**2/2 - 4*l - 7. Is b(-13) prime?
True
Let v = 1118 - 583. Let h = v + -348. Is h composite?
True
Let p(u) = -3432*u + 23. Let y be p(-2). Suppose -2*m + y = -41747. Is m prime?
True
Is ((4 - 2)/2)/(((-72)/9)/(-509272)) prime?
True
Is ((-2)/(-5))/((-1)/(26504295/(-10) - 13)) composite?
False
Let f be -3*(-2)/(-3) + 1. Let u(v) = 11*v**3 + v**2 + 3*v + 1. Let d be u(f). Is d/18 + (0 - 4006/(-6)) a prime number?
False
Is (-27)/(432/(-154048)) - -9*1 composite?
True
Let l be ((-3606)/12)/((-660)/(-664) + -1). Suppose -10967 = -10*v + l. Is v a prime number?
False
Let o(g) = -5*g**3 - 60*g**2 + 30*g - 79. Let l(n) = -n**3 - 12*n**2 + 6*n - 16. Let h(a) = -11*l(a) + 2*o(a). Is h(-11) a prime number?
False
Is -309742*((-3)/18 + -2 - (-185)/111) a prime number?
True
Suppose 19*s - 21*s + 412874 = 4*k, -5*s + 5*k + 1032200 = 0. Is s prime?
False
Let q = -149 + 147. Is ((-284277)/42)/(9/6 + q) composite?
False
Suppose 2*s - 146 = 3*u, u = 3*u - s + 96. Let c(i) = 11*i**2 - 11*i + 111. Is c(u) a prime number?
True
Let t = -118 - -373. Suppose t = -28*z + 33*z. Is z a prime number?
False
Let w = 56697 - -90214. Is w a composite number?
True
Suppose o + i = 196947, -197*o + 194*o + i + 590849 = 0. Is o a composite number?
True
Suppose -2*c + 2*b = -8306 - 1650, 0 = -3*c + 5*b + 14938. Suppose -d = 6*l - 4*l - 991, -5*d = 3*l - c. Is d a prime number?
True
Let p(j) = 114*j**2 - 34*j - 23. Let q be p(-10). Is (2 - (7 - 6))*q a composite number?
False
Let m = -7 - -6. Is 54068/(-7)*m/4 prime?
True
Let i be -986 + (-5)/10*6. Let k = -657 - i. Let d = k - -161. Is d prime?
False
Suppose -4*b - j + 22 = 0, 2*b + 3*j + 5 - 21 = 0. Suppose -5*u + 1034 = -3*u + 4*m, 0 = b*u - 3*m - 2585. Is u prime?
False
Suppose -46164 = t + 4*t - 362159. Is t a composite number?
False
Is 2/(-7) + ((-145557)/42)/((-11)/22) prime?
False
Let u be (44/11)/(-2 + (-25)/(-12)). Suppose 0 = -3*r + 189 + u. Is r/((-2)/(-4)*1) + -3 a composite number?
True
Let s(v) = -5*v - 6. Let g be s(-2). 