= -3288, -2*o - 4*f = -k. Is o prime?
True
Suppose -i - i = -932. Suppose 3*s - 23 = i. Is s prime?
True
Let f(d) = 30*d - 19. Suppose -j + 5*u + 9 = -8, -5*j + 5*u + 45 = 0. Is f(j) a composite number?
False
Suppose -5*o + 2 = -3*o. Let d(n) = 615*n - 4. Is d(o) a prime number?
False
Let u be 4/(-26) - 108/(-26). Is 8/(-4)*-224 + (u - 3) composite?
False
Suppose 2*r + 3*b + 2 = 11, -3*b + 12 = r. Is ((-215)/10)/(r/66) prime?
False
Let z = 153442 + -90597. Is z prime?
False
Let h be 47 + 0/(2 + 2). Let c = h - 10. Is c composite?
False
Suppose 5*m - 6*p - 3357 = -3*p, -3*m - 2*p = -1999. Suppose 0*h = -3*h + m. Is h a composite number?
False
Let z(n) = -n - 4*n**2 + n**3 - 82 - 3*n**2 + 7*n**2. Let r be z(0). Is (-20)/16*r*2 composite?
True
Suppose -10*x - 7430841 = -109*x. Is x a prime number?
False
Let i be (4/(-5))/(22/(-385)). Let r be 3662/(-14) + 8/i. Let y = 1148 + r. Is y a composite number?
False
Let i(q) = 165*q - 1. Suppose -4*l = 3*k - 66, -25 = -l - 0*l - 5*k. Let o = -13 + l. Is i(o) composite?
True
Suppose -4*q - 5*u - 1 = 24, q + u + 5 = 0. Suppose q = -4*f + 3*f + 7940. Is 9/(-15) + f/25 a prime number?
True
Let i(a) = -a**3 - 11*a**2 - 18*a + 9. Let y be (-9)/((-18)/8) - 16. Let h be y + 3 + -4 + 0. Is i(h) a prime number?
False
Suppose 0 = x - 2. Suppose 4*t = -u + 11, 7*u - 21 = -3*t + x*u. Suppose -t*h + 232 = -22. Is h a prime number?
True
Is (-870399)/(-405) + -1 + (-26)/(-30) prime?
False
Suppose 17 = 2*i + 5*v, 4*v + 18 = 5*i - 41. Let y(l) = 338*l - 3. Is y(i) a composite number?
True
Let a(v) = -v**3 - 12*v**2 - 19*v - 14. Suppose 39 = -16*y + 13*y. Let p be a(y). Is (-21)/(-2)*p/9 a composite number?
True
Let d(i) = i**3 + 30*i**2 + 6*i + 1. Suppose 6*s + 11*s = -204. Is d(s) a composite number?
False
Let l be -32 - 3/(3 + -4). Let c(b) = b**2 + 10*b + 5. Let u be c(-6). Let o = u - l. Is o prime?
False
Suppose 5*t - 13647 = 21343. Suppose -4*p + t = 2494. Suppose 3*h + 3*f + 2200 = 7*h, -2*h - 5*f + p = 0. Is h a composite number?
True
Suppose j + 68048 = 3*v, v = 30*j - 35*j + 22656. Is v composite?
True
Let q(h) = 4*h**3 - 12*h**2 + 3*h + 20. Let j be q(5). Let y be (3 + 1)/(2/73). Let s = j - y. Is s composite?
False
Suppose -i = 3*z - 9637, 2*i - z - 9669 = 9633. Is i a composite number?
False
Let t = -380 - -1467. Is t a prime number?
True
Suppose 0 = -2*s - 3*z + 1071, -4*s - 5*z = -0*s - 2143. Is s a composite number?
True
Let x(d) = -d**3 + 12*d**2 - 13*d + 9. Let z be x(11). Is (-3564)/z + -5 - (-4)/(-26) prime?
True
Suppose -2*c - 16 = -4*o + 2*o, -c + 4 = 0. Suppose -o = -x + 53. Is x prime?
False
Let r(z) = 1471*z**2 + 17*z + 11. Is r(8) prime?
True
Let c(t) = -t**3 - 5*t**2 - t + 9. Let h be c(-3). Let b(y) = -95*y - 13. Is b(h) prime?
True
Suppose 3*x + 10 - 22 = 0. Suppose -x*m = -334 + 66. Is m a composite number?
False
Let p = 363 - -1946. Is p composite?
False
Let i be (-12)/(-30) - 19268/(-5). Suppose -i = 3*j - 4*y, -4*j = -3*j - 4*y + 1282. Is j/(-8) + (-5)/(-20) composite?
True
Suppose 5*o = -d, 4 = 4*o + 3*d + 15. Let t(c) = -68*c + 52. Let i(f) = 69*f - 42. Let a(w) = 5*i(w) + 4*t(w). Is a(o) a composite number?
False
Suppose 0 = 12*f - 1248 - 3816. Is f a prime number?
False
Let w(y) = -3*y**3 - 6*y**2 - 2. Let c(d) = -2*d**3 - 7*d**2 - 2. Let x(p) = -4*c(p) + 3*w(p). Is x(7) a prime number?
True
Let o = 24 - -2. Let n = 30 - o. Is n a prime number?
False
Is (-5*(-4)/40)/(1/18302) prime?
True
Let z(b) = -2*b - 18. Let h be z(-9). Suppose -3*p + 2*p + 4*a + 679 = h, 2*p + 4*a = 1358. Is p composite?
True
Suppose -77*d = -74*d + 3. Is 1563 - (30/(-105))/(d/14) a composite number?
False
Let d = 1489 - 786. Let a = d - 490. Is a prime?
False
Suppose -p + 4573 + 261 = 0. Is p prime?
False
Let l be (-26)/(-91) - (-3533)/7. Suppose -3*k + 4*a = -3951, -k + 4*a = k - 2630. Suppose k = 2*h - l. Is h composite?
True
Suppose -9*p + 2*p = -441. Is 0 + 3202/7 + (-27)/p a composite number?
False
Suppose o + 2*f = 3219, -2*o - 2*f = -f - 6435. Suppose -2*w - 798 = -u + 3*w, 5*w = -4*u + o. Is u a composite number?
True
Let d be ((-1)/2)/(7/(-12530)). Let s = d + -588. Is s a prime number?
True
Let o be (1 - (-69 + -2)) + 3. Suppose -o = -3*n + 273. Let c = -61 + n. Is c composite?
True
Let w(n) = 11*n**2 - 5*n + 2. Let p be w(1). Suppose 3*u + 2*t + 419 = p*u, -u = -3*t - 89. Is u composite?
False
Let u be (-2)/12 - (-13)/6. Suppose 4*j - u*k - 22 = 0, 3*j - k = -j + 19. Suppose -2*c - 3*c - 2*i = -185, -j*i = -2*c + 98. Is c a composite number?
True
Suppose -3*d + 4 = -14. Suppose -74 = -d*s + 4*s. Is s composite?
False
Let z be (126/(-15))/(1/10). Let j = -39 - z. Suppose j = 4*t - 167. Is t a prime number?
True
Let j(g) = -g + 3. Let k be j(2). Let v = k - -186. Is v a composite number?
True
Suppose -5*a - 4213 = 4017. Let u = a - -2443. Is u a prime number?
True
Let f(c) = 75*c**2 + c. Let r be f(-1). Is (6 - 1)*r/10 a prime number?
True
Suppose 0 = -7*z - 7*z - 14. Is z/(-4) + 4060/16 a composite number?
True
Let d be (-3 - 8/(-2)) + 5. Let r(a) = 2*a**3 - 8*a**2 + 4*a - 9. Is r(d) prime?
False
Suppose -7*o - 52 = -2103. Is o composite?
False
Is ((-2)/4)/(2/(-35444)) a composite number?
False
Let i = 12 - 12. Suppose t - 267 = -i*t. Suppose b = 4*b - t. Is b prime?
True
Let z(i) = -7 + 10*i**3 - 2 - 11*i**3 - 15*i**2 + 8*i. Is z(-16) a prime number?
False
Let t(r) = 2753*r**2 - 15*r + 21. Is t(2) prime?
True
Suppose 0 = 4*q + 5*b - 2540, -5*q - 3*b + 3175 = 2*b. Suppose -6*y + 1591 = -q. Is y a prime number?
False
Let y be (-4)/(-10)*(-2 + 17). Let o(p) = -3*p + 41. Let v be o(11). Is y/8 + 1298/v composite?
False
Let g be 34/8 - (-3)/(-12). Suppose 3*l = g*l - 291. Is l/2 + (-2)/4 composite?
True
Let u = 1828 - 1287. Is u a prime number?
True
Let z(j) = 14375*j**2 - 6*j + 15. Is z(2) prime?
True
Let b = 298020 - 148925. Is b composite?
True
Let y = -11 - -6. Let a(k) = -408*k + 26. Let w(l) = 102*l - 7. Let z(b) = -2*a(b) - 9*w(b). Is z(y) prime?
True
Suppose -30543 = -5*w + 5*z + 56552, -4*w = -2*z - 69676. Is w a prime number?
True
Let z = -53 - -83. Let h = 149 + z. Is h composite?
False
Let l = 7 - 19. Let r = -10 - l. Is 86 + (0 - r - 1) prime?
True
Is 8/6 + (1241982/27)/14 a composite number?
True
Suppose r - 2*r = -3*v - 13, 3*v = -5*r + 11. Let i be 158*38/r + 2. Suppose 5*w - 2*w - i = 0. Is w composite?
True
Let z = 16 + -27. Let d be (-1 - 0)/(z/44). Suppose -2*r + d*b + 1169 = 5*b, 0 = 5*r + 2*b - 2925. Is r a composite number?
False
Let o(f) = 3*f**2 + 20*f - 9. Is o(-20) a prime number?
False
Suppose -9833 = -3*b - 2*d, 91 = -3*d + 76. Is b prime?
False
Let j = 942 + 1487. Is j composite?
True
Suppose -9 = -4*h - 57. Is ((-18)/h)/(-3) - (-2238)/4 a composite number?
True
Let k(u) = -37*u**3 + u**2 + 12*u + 7. Is k(-3) a composite number?
True
Let v(c) = -437*c**3 - 5*c**2 - 10*c - 5. Is v(-2) a prime number?
True
Let k(s) = -1049*s - 2. Let n be k(-2). Suppose 0 = 13*o + n - 13627. Is o a prime number?
True
Let o = 2683 - 1236. Suppose f = -3*m + o, -3*m + 1042 + 421 = 5*f. Is m a prime number?
False
Let d = 9505 + -4776. Is d a composite number?
False
Suppose -n + 2311 = 4*c, 4559 = 5*c + n + 1671. Suppose -2*z + 7 + 3 = 0. Suppose z*r - c - 18 = 0. Is r a composite number?
True
Let p = 441 + -32. Is p a prime number?
True
Suppose -y + 4*y = 2*j - 1769, 2*y - 867 = -j. Let o(z) = -16*z**3 - 3*z**2 + 3*z + 3. Let p be o(-3). Let n = j - p. Is n a composite number?
True
Suppose 10192 = 8*w + 1576. Is w composite?
True
Let y(i) be the first derivative of 2*i**3 + i**2 + i + 4. Let c be y(-1). Suppose -b - 174 = -2*q, 408 + 53 = c*q + 4*b. Is q composite?
False
Suppose -3*v + 3*j + 2*j - 562 = 0, -v - 4*j = 159. Let m = v - -306. Is m a prime number?
True
Suppose 2720 = 5*a + 4*w - w, 2720 = 5*a + w. Is (-15)/(4 - -1) + a a composite number?
False
Let j(o) = -o - 6. Let l be j(-9). Suppose -75 = l*b - 324. Is b prime?
True
Let a = 244 - 231. Is a a composite number?
False
Suppose 0 = -39*u + 153771 + 52890. Is u prime?
False
Let o(q) = -6*q - 2. Let d be o(-1). Suppose -251 = -b - d*y, 0*b - 4*b = -2*y - 1058. Is b a prime number?
True
Let c = -1730 + 6121. Is c prime?
True
Suppose -5*k + 9654 = -4*t + 38775, 4*t - 29117 = k. Is t prime?
False
Suppose -1631 = -g - 3*j, 5*g - 3083 - 5