s (o/6)/((-3)/9) a composite number?
False
Suppose 0 = -g + 2, 2*l + 2*g = 3*l + 6. Let r be ((-1)/l)/(13/130). Suppose -6*t = r*t - 31867. Is t prime?
True
Let w = -376 + 379. Suppose 0 = -2*m - 5*q + 447, m - 4*q - 239 + 9 = 0. Suppose w*t - 202 + 67 = -3*b, -4*b + m = 5*t. Is t prime?
False
Suppose 2*j - 2*c + 5*c = -11, -3*j - c = 13. Let r be 168/27 + j/18. Suppose r*v - 4102 = -v. Is v prime?
False
Let l = -31 - -80. Suppose 5*n = -2*n + l. Suppose -r = 3*z - n*z + 453, -4*r + 335 = 3*z. Is z prime?
True
Suppose -v = -4*v + 9. Suppose 17*g = 12*g + 3*t + 32300, -v*t + 6478 = g. Is g composite?
True
Let c = -62 + 62. Suppose -3*a + 3*m = -3518 - 1210, -5*a - 3*m + 7896 = c. Suppose -3*r = 3*r - a. Is r composite?
False
Suppose 2 - 42 = -8*w. Suppose 3*i - w*a + 2804 = 0, 980 = -i - 4*a + 17. Is 9/3 - (i + -1) a prime number?
True
Suppose 4*z - 5*p = 3*z + 53, 4*p + 12 = 0. Suppose -z*m + 3089 = -37*m. Is m a prime number?
True
Let n be (-65984)/(-12) + (-4)/6. Suppose 3*c + q - n = 0, -2*c - 2*q + 3657 = -3*q. Is c prime?
True
Let q = 518654 + -314523. Is q a prime number?
False
Suppose 0 = 102*v - 108*v + 5760. Suppose -5*h = 5*a - v, -5*h + 0*a + 952 = -3*a. Is h a composite number?
False
Let h = 60 + -88. Let r = -14 - h. Suppose r*y - 19*y = -1255. Is y composite?
False
Let s(f) = -16*f**3 - 3*f**2 - 3*f - 5. Let b be s(-4). Let k = 1248 - 1192. Let m = k + b. Is m prime?
True
Let n(u) = -u**2 + 3*u - 1. Let a be n(1). Let h(t) = t**2 + 2*t - 1. Let d be h(a). Suppose -7510 = -3*m + d*x - 7*x, m + 4*x - 2515 = 0. Is m composite?
True
Suppose -4*v + 3*l = -6*v + 1069, 3*v - 1578 = 4*l. Let g = v + 2081. Is g composite?
True
Suppose -31*s + 65 = -18*s. Suppose 0 = -2*k + w - 6*w - 7, -5*k + s*w + 70 = 0. Suppose 9057 + 6828 = k*j. Is j composite?
True
Suppose -17*v = -16*v - 3532. Let z = v - 1646. Suppose g + 5*q - 4*q - z = 0, -2*g + 4*q + 3790 = 0. Is g a composite number?
False
Let l(r) = -2*r**3 - 4*r**2 - 9*r - 4. Let b(p) = p**3 + 3*p**2 + 2*p + 1. Let n = 4 - 7. Let z be b(n). Is l(z) composite?
False
Let m(z) = 2326*z + 7. Let p be (-2)/(-4)*8 + (1 - 4). Is m(p) a composite number?
False
Suppose -4*h = 15*h - 365180. Suppose 3*v + 4*t = 57639, -v - 3*t = -4*t - h. Is v composite?
True
Let c(u) = u**3 - 6*u**2 + 9*u - 8. Let j be c(5). Let n(r) be the first derivative of 2*r**3/3 - 8*r**2 + r - 14. Is n(j) a prime number?
True
Suppose -250*i + 1078288 + 18834879 + 18384583 = 0. Is i composite?
False
Let s = 68680 + -26487. Is s a composite number?
False
Let m = -68899 + 119252. Is m a prime number?
False
Suppose -2*c + 6*j = 4*j - 46, 5*c - 2*j - 115 = 0. Suppose c*m - 23115 = 20470. Is m a composite number?
True
Let c(i) = -10*i**2 - 3*i + 8. Let j = 23 + -30. Let y be c(j). Let p = y - -1300. Is p a composite number?
False
Suppose -77*g = -75*g - 255022. Suppose 5*q - 3*s = g, 2 = -s - 0*s. Is q a prime number?
False
Suppose -4*r = -4*q - 69984, -6*q = 4*r - 4*q - 69990. Suppose 15018 + r = 5*g. Is g composite?
True
Let g(t) = 785*t**3 + t**2 + 65*t - 272. Is g(5) a prime number?
False
Let i = 112 + -8558. Let p = 13987 + i. Is p prime?
False
Let p(z) = 8267*z - 439. Is p(6) prime?
False
Let d(t) = -10010*t**3 - 8*t**2 - 42*t + 5. Is d(-3) prime?
True
Let s(v) = 2*v + 1 - 5 + 1 + 8*v**2 - 7*v**2. Let t be s(2). Suppose 7931 - 2916 = t*k. Is k prime?
False
Let f(o) = -2*o**3 - 34*o**2 + 20*o - 17. Is f(-33) a composite number?
False
Let b(t) = -2*t - 4. Let f be b(7). Let p(u) = 13 + 18 - 84 + 10 - u**2 - 24*u. Is p(f) prime?
False
Let f(z) = 1646*z**3 + 3*z**2 - 4*z + 5. Let a be f(2). Suppose -5*y + 42748 = -a. Is y a composite number?
True
Suppose -26712705 + 6465298 = -17*v + 3507492. Is v composite?
True
Suppose -76*i = -81*i. Suppose i = 6*g - 28026 + 3720. Is g a prime number?
True
Suppose -8*q - 9*q = -15*q. Suppose q = 23*y - 19*y - 1796. Is y composite?
False
Let x = -17065 + 30708. Is x a composite number?
True
Let v = 378562 + -190739. Is v a prime number?
True
Let l be 2/((-20)/90 + (-8)/18). Is l - (-9470)/(11 + -6) a prime number?
False
Suppose -s = 2*q + 2 - 6, 0 = 2*s. Suppose q*a = -2*j + 4 - 0, -3*j = -5*a + 34. Is (j - -7)*-79*44/(-16) prime?
False
Suppose -514 = v + 214. Let d = -711 + 414. Let q = d - v. Is q prime?
True
Let d(w) = -w**3 + 8*w**2 + 5*w + 30. Suppose -37*u + 40*u - 27 = 0. Let c be d(u). Is (-2206)/(3/c*4) composite?
False
Let f = -39110 + 217777. Is f a composite number?
True
Let p(w) = -w**3 + 15*w**2 + 34*w. Let r be p(17). Is 1064 + r - (-41 - -36) a composite number?
False
Let z(f) = 2*f**3 + 29*f**2 - 16*f + 26. Let i be z(10). Is i + (-13)/((-26)/(-18)) a prime number?
False
Is -8*1552795*(-22)/880 a prime number?
True
Let n(o) = 12*o**2 + 13*o - 134. Is n(31) a composite number?
False
Let v(i) be the second derivative of i**5/20 + i**4 + i**3/3 + 15*i**2/2 + i. Let k be v(-12). Is 6/k*5661/(-6) a composite number?
True
Let r(b) = 163*b**2 + 16*b - 220. Let x be r(30). Suppose 0 = 9*w - 66493 - x. Is w prime?
False
Let g = 169165 + 71788. Is g a composite number?
False
Suppose 0 = 4*v, 2*k - 5*v + 0*v = 2. Let q be (11/(-33))/(k/(-9)). Is (q/6*-2)/((-2)/398) composite?
False
Let o(l) = l**3 + 9*l - 8. Let x be o(10). Suppose 3*y - x = 259. Let w = -38 + y. Is w a prime number?
True
Let g(b) = -b**2 - 4. Let h be g(2). Let c be 1310/12 + h/48. Let u = c + 142. Is u prime?
True
Let y(b) = b**2 + 16*b + 68. Let q be y(-10). Suppose 0 = -3*v + 5*w + 820, 5 = 7*w - q*w. Is v prime?
False
Suppose -a - 3*a + 56 = -4*z, 28 = 2*a - 4*z. Suppose 5*d = -4 + a. Suppose 5*v - b = 3502, -d*v + 6*v + 4*b - 2816 = 0. Is v prime?
True
Suppose -5*o - 5*n + 29850 = 0, 2*o - o - 5*n = 5958. Let s be 3 + 0 + -5 + 4. Is (o/(-24))/(8/(-6))*s composite?
False
Let o(z) = -12408*z + 5149. Is o(-15) a composite number?
True
Suppose 80*i + 920671 = 229*i. Is i prime?
False
Let g(q) = 89*q + 51. Let f(v) = 45*v + 25. Let s(b) = -5*f(b) + 2*g(b). Let k = -42 + 30. Is s(k) a composite number?
False
Suppose -16 = 4*c, 3*t + 0*c = -c + 20. Let z(l) = -7 - 5*l**2 - 3*l - 4 + 8*l**2. Is z(t) a prime number?
True
Suppose -157*r - 364788 = -158*r. Suppose 13*w + r = 49*w. Is w prime?
True
Let f = -1480 + 316. Let m = f - -1951. Is m a prime number?
True
Let a(b) = -81*b + 2. Let k be a(-1). Let n(m) = -114*m + k*m + 69*m + 47. Is n(13) a prime number?
True
Suppose 4*o = 5*t + 90357 - 364035, 68428 = -o - 3*t. Is o/4*(31 - 33) prime?
True
Let i be 2/4*10/1. Suppose -v - 2 = -2*v - 2*w, i*v - w - 43 = 0. Suppose -12*d + v*d = -1164. Is d a composite number?
True
Suppose j - 6455 = 2176. Suppose -390 = 3*q - j. Is q prime?
False
Let w(g) = -8*g**3 - 17*g**2 - 9*g - 3. Let t(a) = 2*a**2 + a - 1. Let s(y) = -3*t(y) + w(y). Is s(-11) prime?
False
Let l = 17 + 5. Let y(i) = 19 - i + 5 + l - 4. Is y(-17) a prime number?
True
Let a(y) = y**2 + 22*y + 51. Let l be a(-20). Is 15658/(-4)*(l - 13) a prime number?
True
Suppose -a + 175 = 6*a. Let y be (a + (-6)/(-3))/((-2)/224). Is -1 - (-11)/13 - y/52 composite?
True
Let o(a) = 2*a**2 + 5*a - 58. Let q be o(-21). Let h = q - 438. Suppose -5*x = -3*w + 1964, x - h = w - 935. Is w composite?
False
Let c(r) be the first derivative of -4*r + 98*r**2 - 2*r - 5*r - 1. Is c(3) a prime number?
True
Let x = -39273 + 137716. Is x a composite number?
False
Let l = -1479276 + 2084983. Is l composite?
False
Suppose 2*l = 2*d + 11438, 0 = -3*l + 5*d + 11451 + 5722. Is l prime?
True
Let v(i) = 10*i - 75. Let u be v(8). Let t(n) = 397*n**2 + 12*n + 22. Is t(u) a composite number?
False
Let u = -427 + 417. Is (9 - (-42219)/(-18))*u prime?
False
Let j = -75977 - -122706. Is j a composite number?
True
Let j(l) = -13*l**3 + 8*l**2 + 3*l + 5. Let v(b) = -b**2 - 4*b + 18. Let x be v(3). Is j(x) a prime number?
True
Let a(z) = 2*z**2 - 16*z + 1. Let t be a(8). Let b be 10*t*(4 + 45/(-10)). Let j(u) = -7*u**3 - 7*u**2 - 6*u + 3. Is j(b) prime?
True
Let m = 1141603 - 728472. Is m a prime number?
False
Let r = -123 + 126. Let n(a) = 31*a**2 + 6*a - 5. Let x(z) = z**2 - z - 1. Let u(f) = n(f) + 3*x(f). Is u(r) prime?
True
Let x(r) = r**3 - 24*r**2 - 54*r + 58. Let u be x(26). Suppose 2*h = 5*z - 16941, u*z - 10169 = 3*z - h. Is z a prime number?
True
Let f be 10*(-1)/2*6/10. Let g be (-2 + 4)*-6*f/9. Is 