1 = 2*g. Suppose 1 = -2*r + y, -5*r + 2*y = -h*y + 5. Suppose 2*i - 7*i + 3455 = r. Is i prime?
True
Let f = 429730 + -172269. Is f a composite number?
True
Suppose 5*t = -5*n, -n - 4 = 2*t - 0*t. Suppose n*b - 38 + 10 = 0. Suppose -b*s = -10*s + 4971. Is s a prime number?
True
Suppose 2*t - 2*c + 8 = 5*t, 2*t - 2 = 2*c. Let r be t/(-8) + (-15)/(-12). Let j(n) = 249*n + 2. Is j(r) prime?
True
Suppose 4453041 = 3*f + 3*p, p + 2968700 = -1038*f + 1040*f. Is f prime?
False
Suppose -89*h + 946984 = -1640335. Is h a prime number?
False
Let s be 62 + (2 + 1 - (4 - -5)). Suppose s*t - 10671 = 53*t. Is t composite?
False
Let f(a) = 24*a**2 - 44*a - 277. Is f(26) a prime number?
False
Suppose 4*v - 5*v - 167 = 0. Let w = 402 + -124. Let r = w + v. Is r composite?
True
Let q be (-2)/(-8)*-19 - (-2)/(-8). Let h = q - -7. Suppose -2*p + 1004 = h*p. Is p a prime number?
True
Let p(y) = -38*y**2 + 2*y + 5. Let r(g) = -39*g**2 + 3*g + 5. Let l(v) = -3*p(v) + 2*r(v). Let f = -126 - -129. Is l(f) composite?
True
Let z = -174 - -210. Suppose 0 = 7*w - z*w + 76647. Is w composite?
True
Suppose -5*g - 6 = -8*g. Suppose g*q + 16 - 136 = -4*x, -147 = -5*x - 4*q. Let t = x - -96. Is t composite?
False
Let y(w) = w**2 + 16*w - 81. Let s be y(12). Let b = -42 + s. Is b prime?
False
Let b = 197758 - -136881. Is b a composite number?
True
Let q = -42940 + 70991. Is q composite?
False
Let i(l) = 8*l + 52. Let q be i(-6). Suppose -2*f - q = 0, 6*w - 2*w - 4*f - 6580 = 0. Is w a composite number?
True
Let u = -69 - -69. Suppose u = -r - 3*o + 1977 + 343, 0 = r + 4*o - 2317. Is r prime?
False
Let j = 22 + -1. Suppose 5*s - j = -2*c, 2*c - c = 3. Suppose z + 1712 = 3*z + s*p, z = 3*p + 874. Is z prime?
False
Suppose 0 = -7*h - 17*h - 48. Is (-113386)/(-18) + h/9 composite?
False
Let w = -96347 - -262465. Is w a composite number?
True
Let g = -7568 - -19971. Is g a prime number?
False
Let r(o) = 3820*o**2 - 12*o + 10. Let l be r(-3). Is l/6 - (16/6 - 2) a composite number?
False
Let f(h) = 36597*h**2 - 733*h + 3691. Is f(5) a composite number?
False
Let q(d) be the third derivative of -d**6/120 - 11*d**5/60 + 17*d**4/24 + 7*d**3/3 - 3360*d**2. Let a(f) = 16*f - 1. Let u be a(-1). Is q(u) a prime number?
True
Let t(n) = 6*n**2 - 210*n - 127. Is t(39) a composite number?
False
Let o = 238147 + -43034. Is o a prime number?
False
Suppose 3*g - 7939 = 2*a, 5*g - 20*a + 19*a = 13220. Is g a composite number?
True
Suppose -5*l = -195*u + 196*u - 210704, u - l = 210710. Is u a prime number?
True
Let l(q) be the third derivative of -q**5/30 - 5*q**4/12 + 5*q**3/3 - 16*q**2. Let d be l(-5). Suppose 10983 = d*p + 3113. Is p a composite number?
False
Suppose -2*o - 5*f + 1 = 0, o + 19 = -0*o + 4*f. Let t be (-12)/(((-105)/(-10))/o). Suppose 4*s = t*s - 1228. Is s a composite number?
False
Suppose -21*x + 26*x - 19140 = 0. Suppose 2*z + 2*n + n = 7653, -z - n = -x. Is z prime?
False
Let g(p) = -p**3 + 6*p**2 - 2*p + 1. Let z be g(4). Suppose -3 = 24*d - z*d. Suppose 4276 = a + d*a. Is a prime?
True
Let x(f) = -64*f**2 - 28*f + 384. Let v(d) = -31*d**2 - 15*d + 193. Let w(k) = -5*v(k) + 2*x(k). Is w(13) composite?
True
Suppose 4*o + 5*a - 22 = 2*a, -o - 6 = -5*a. Suppose -o*w - 153205 = -17*w. Is w a prime number?
False
Let n be (36/24)/(1/2). Is 2*1*(161487/18)/n prime?
True
Let y(f) = -92*f**2 + 1. Let n be y(1). Let i be 14/n + (-3031)/(-13). Suppose 3*b + 441 = 2*k + 4*b, 0 = -k + 2*b + i. Is k a composite number?
False
Let n = -587524 + 1287701. Is n a composite number?
True
Let j(c) = 347*c**2 - 7*c + 10. Let q be j(2). Suppose 4*w = 541 + 395. Let i = w + q. Is i a composite number?
True
Let x = -5 - -5. Let h(r) be the third derivative of r**4/24 + 107*r**3/3 + 2*r**2. Is h(x) a prime number?
False
Suppose 4*b + 4*x - 2*x = 18, 23 = -b + 5*x. Suppose b*m + 2*l + l = 10, -2*l = -4. Is ((-154)/33)/(m/(-1011)) a prime number?
False
Suppose -y - 10*x + 5*x + 91 = 0, 2*y - 4*x - 154 = 0. Suppose -978 = -83*m + y*m. Is m a composite number?
True
Suppose -5*s + 3*l = -45, s + 22 = 2*s + 2*l. Suppose 26*d = 25*d + s. Let r(k) = 14*k + 81. Is r(d) prime?
False
Let y be 4859 - (0 + (2 - 2))*-1. Suppose 5*w - y = 3*a - 5*a, 0 = -5*a + 2*w + 12191. Is a a composite number?
False
Suppose 2 = 22*h - 21*h. Let f be 5/h - 10/20. Suppose 0 - 3 = 3*g, -1187 = -f*c + 5*g. Is c a prime number?
False
Let j(c) = 3*c - 17. Let q be (-55)/(-5) + (-4)/1. Let u be j(q). Suppose 1064 = u*n - g, 0*g - 12 = -3*g. Is n prime?
False
Let m(y) = 13223*y**2 + 45*y - 115. Is m(3) a composite number?
False
Suppose 127056 = 140*g - 137*g. Suppose -4*t + 2*z + g = 0, 8781 = -4*t + z + 51135. Is t a composite number?
False
Let k(t) = 941*t**3 + 6*t**2 - 14*t + 20. Is k(3) composite?
False
Let n(h) = 4*h**3 + 3*h**2 - 3*h + 24733. Is n(0) a composite number?
False
Let c(t) = t**3 + 6*t**2 - 3*t + 5. Let q be c(-6). Let l = -20 + q. Suppose 3534 = 3*r + l*f, -2*f = r + 3*f - 1182. Is r prime?
False
Let v = -2705 + 5380. Suppose j + 2*l = 529, 10*l - 15*l = -5*j + v. Is j prime?
False
Suppose -2*m = 3*k - 21, -5*m + 39 = -2*k + 5*k. Is m/24 - (-64569)/12 a prime number?
True
Suppose -93 = -4*h + 1295. Let a = h + -180. Is a a prime number?
True
Let n(l) = -l**3 - l**2 - l + 1. Let w(t) = 145*t**3 + 7*t**2 + 9*t - 1. Let m(f) = -6*n(f) - w(f). Is m(-4) composite?
False
Suppose -5*i = 2*n - 78, 7 = -3*n + 19. Is (8 - i - -47)*71 composite?
True
Suppose -5*f = -2*q + 1907792, -63*q + f - 2861739 = -66*q. Is q composite?
True
Suppose -7*r = 12*r + 171. Is (-1)/(((-27)/(-2553))/r) a composite number?
True
Let b be -6 + (-64)/(-24) + (-16)/6. Let q(t) = t**3 + 2*t**2 - 4*t - 1. Let f be q(-3). Is (-4)/b*633/f prime?
True
Suppose 3*h + 3*z = -480 - 2178, -3*h - z - 2658 = 0. Let y = h - -6615. Is y prime?
False
Let a(u) = -22*u - 7. Suppose -6*d - 160 = -2*d. Let t = d + 35. Is a(t) composite?
False
Let p(o) = 23*o + 10. Suppose 0 + 27 = 3*y. Suppose y = 2*l - 13. Is p(l) a prime number?
True
Let t be (-7 - -6) + 2 - (-4 - -2). Suppose 23487 = -0*l + t*l. Is l a composite number?
False
Let k(a) = -65578*a + 6859. Is k(-16) composite?
True
Let t(j) = -j**3 - 11*j**2 - 15*j + 25. Let x be t(-9). Is (-116*(-13785)/120)/((-1)/x) composite?
True
Let i(f) = -50711*f + 65. Is i(-6) a composite number?
False
Let d = -3863 + 11256. Suppose 0 = -2*u + 2929 + d. Is u a composite number?
True
Suppose 0 = -2147*q + 2155*q - 90488. Is q a prime number?
True
Suppose 3*w = 5*v + 397247, 0 = -5*w + 5*v + 361566 + 300499. Is w a composite number?
False
Let d(x) = -6*x**3 - 4*x**2 - 3*x - 1. Let z be d(-1). Suppose z*f + 2607 = 7*f. Is f a prime number?
False
Suppose -3*d = 5*f - 7733 - 84, 5*d - 13049 = 2*f. Is d prime?
True
Let q(j) = -2*j - 33. Let x be q(-17). Is 4/(-5) + x + 4884/30 composite?
False
Let p = -40794 + 27146. Let d = 6197 - p. Suppose -3737 = -13*b + d. Is b a prime number?
False
Let q = -115605 - -228203. Is q a composite number?
True
Let z be -2 - ((-64)/96)/(1/18). Suppose z*w = 15*w - 3505. Is w composite?
False
Suppose -3*n + 2*p = 9, 2*p = -3*n - 0*p - 9. Let b = 43 + -44. Is 6 + n - 652*(0 + b) a prime number?
False
Suppose 157*v - 73887970 = -763493. Is v composite?
False
Let a(h) be the first derivative of 255*h**2/2 + 106*h + 53. Is a(13) a prime number?
False
Let j = 17970 + -11777. Is j composite?
True
Let d(y) be the second derivative of 161*y**3/6 + y**2 + 99*y. Let c = 17 + -12. Is d(c) composite?
True
Let s(x) = 1 + 87*x - 37*x + 77*x**2 - 24*x. Is s(-8) composite?
False
Suppose 0 = -23*m - 56 - 13. Let n(c) = -13*c**3 - 2*c**2 - 5*c - 11. Is n(m) composite?
False
Suppose 4*j + 3*g - 6499 = 0, -718*j + 1626 = -717*j + g. Is j a composite number?
False
Let n(y) = 176*y + 29447. Is n(0) prime?
False
Let b(x) = 62*x - 131. Suppose 0 = 4*m + 5*p - 104, 0 = 5*m - 6*p + 7*p - 109. Is b(m) a prime number?
True
Suppose -o + 2*b + 27966 = -131533, -3*o + 4*b + 478491 = 0. Is o a composite number?
True
Let w(o) be the first derivative of 181*o**4/4 - 5*o**3/3 + 9*o**2/2 - 8*o - 92. Is w(3) prime?
True
Let i(p) be the second derivative of -43*p**3/3 + 29*p**2/2 - 34*p. Is i(-10) prime?
False
Let q(k) = -679*k - 3. Let h(o) = 680*o + 3. Let v(b) = -3*h(b) - 2*q(b). Suppose 4*g = -2 - 6. Is v(g) a composite number?
False
