-z. Suppose -5*q + n*q + 1334 = 4*i, -q = -5. Is i a prime number?
True
Suppose 3*z - 711311 = -u, 1466*u - 1468*u = 4*z - 1422606. Is u composite?
False
Let w be -2*((-25)/5 - -6)/(-1). Suppose -5*p + 2*n + 63441 = 0, -4*p + 25374 = -w*p - 2*n. Is p a composite number?
False
Let r = -111 + 97. Is 367*5*(3318/(-15))/r a prime number?
False
Let z = -197 + 201. Let i = 0 - 18. Is z + (-7464)/i + 1/3 a prime number?
True
Suppose 3*t - 3*b = 14490, -b - 8428 - 1235 = -2*t. Suppose -5*f - z + 1928 + 22216 = 0, f - t = 4*z. Is f composite?
True
Suppose 0 = -2*d - 2*d - 5*n + 58, 5*n + 26 = 3*d. Let j = -19 + 30. Suppose j*x - d*x = -853. Is x a prime number?
True
Let j(t) = -255*t**3 - 15*t**2 - 12*t + 7. Is j(-5) a prime number?
True
Suppose 28905 = 20*n - 41295. Let y = 4071 + -6182. Let x = y + n. Is x a composite number?
False
Is 1 + (-1049446)/(-6) + -1 + (-12)/18 prime?
True
Suppose 4012 + 509 = d. Let t = -2110 + d. Is t prime?
True
Let f = 8252 - 4992. Let a(k) = 83*k + 88. Let p be a(-1). Suppose -o = -p*o + f. Is o a composite number?
True
Let p(g) = -59*g + 3. Let z(w) = 29*w - 2. Let n(v) = 3*p(v) + 5*z(v). Suppose -121*d - 30 = -119*d. Is n(d) prime?
True
Suppose -17*j + 20*j - 412447 = 4*y, -2*y = 8. Is j a composite number?
False
Let c(a) = 13*a. Let y(d) = 7*d. Let b(k) = -6*c(k) + 11*y(k). Let i be b(-3). Suppose i*t = -t + 1004. Is t composite?
False
Let n(a) = 4822*a**2 + 30*a - 323. Is n(-14) prime?
True
Suppose -11 = -5*n + i, 2*n - 4*i = i - 14. Suppose 4*w + n*o = 33013, 5*o + 8245 = w + 3*o. Is w composite?
True
Suppose 80*o - 45*o = 5694605. Is o a prime number?
True
Suppose 1906 = 4*f - 67805 - 40693. Is f a composite number?
True
Let h be (2/2)/((-2)/(-8)). Is h/1 + (300780/(-12))/(-5) composite?
True
Let x be (8/2 + -2)*(1 - 0). Let v be (x + 146/(-4))*(-2028)/9. Suppose -4*k + 846 = -v. Is k a composite number?
True
Let j(m) = 5384*m**3 + m**2 + 27*m - 67. Is j(3) a prime number?
True
Let r = 58 - 54. Suppose r*p + 5*q = 1327, -4*q - 5 + 1 = 0. Suppose 3*x - p = 1026. Is x prime?
False
Let g(x) = -274*x**3 + 2*x**2 - 1. Let u(t) be the third derivative of 55*t**6/24 - t**5/30 + t**3/6 + 26*t**2. Let i(l) = 6*g(l) + 5*u(l). Is i(-2) composite?
True
Let m = -253 + 371. Suppose 116*v + 116 = m*v. Is v a composite number?
True
Let r = -2878 + 7003. Let f = r + -1492. Is f composite?
False
Suppose 0 = 5*v - 4*d - 1687403, 5*d - 654131 = -5*v + 1033344. Is v a composite number?
False
Let d = 430385 - 300382. Is d a prime number?
True
Let r(y) = 227*y**2 - 3*y + 8. Let o be r(-7). Suppose 4*g + 5586 = 2*k - 0*g, 2*g - o = -4*k. Is k a composite number?
False
Let u = 51 + -30. Let m = u - 18. Is (-7429)/(-57) + 2/m a prime number?
True
Let s(l) be the second derivative of 11*l**5/10 - 5*l**4/6 - 5*l**3/2 - 7*l**2/2 - 50*l. Is s(6) prime?
False
Suppose -110*q - 55044139 = -249*q. Is q a prime number?
True
Let t(w) = -201*w + 7. Suppose -4*n + 5*i + 3 = 0, n + 9 = 3*n - 5*i. Let z be (2 - n/(-6))*(-32)/8. Is t(z) a prime number?
True
Let a be (-2)/5 + (-37)/5*4. Let d = 30 + a. Suppose d = 5*g + 2*g - 5453. Is g prime?
False
Suppose -18*k + 18083 + 49248 + 10555 = 0. Is k a prime number?
True
Let w(q) = 1375*q**2 + 2*q + 2. Let k be w(-4). Is (k/4)/((-7)/(-2) - 3) prime?
False
Suppose -3*t = 3*w - 440 - 193, 0 = 5*w + 3*t - 1049. Suppose -4*s = -w - 1876. Is s prime?
True
Is ((-2018032)/(-40))/(46/115) prime?
True
Is 470300 - (294/(-378))/(4/(-36)) a prime number?
False
Let t be (-2 + -22)*728/(-78). Let x = t + -19. Is x composite?
True
Let m(j) = 129*j**2 + 129*j - 527. Is m(43) a composite number?
True
Let j(o) = 11658*o + 1607. Is j(20) a prime number?
False
Let g = 25 + -20. Suppose -9*i - g*z - 40138 = -10*i, 4*i - 5*z = 160627. Is i composite?
False
Suppose 14*j + 88038 - 238788 = 66404. Is j a prime number?
True
Let j = 28509 - -125084. Is j a composite number?
True
Suppose 2*v + l = -v - 11, 4*v + 5*l = -11. Is v/22 + 129451/77 prime?
False
Let s be (-2)/3 - (-9)/(27/14). Suppose s*m - 12 = 8. Suppose 0 = m*g + 2*g - 8533. Is g a composite number?
True
Let b = 311 - 307. Suppose -10122 = -i + u, -b*i + 2*u - 11913 = -52399. Is i composite?
True
Suppose 330*x - 337*x = -40726. Is x a prime number?
False
Suppose m = -0*l + 3*l - 7, 0 = m + 3*l - 11. Suppose 2*o - 14965 = -3*x, -3*x + 6*o + 14935 = m*o. Is x composite?
True
Let j(o) = -3*o**2 - 13*o + 12. Let b be j(-5). Let c be (2 - -2)*1 - b. Is (-2)/(-8)*c*452/2 prime?
True
Suppose 43*z - 38*z + 11632 = -t, 0 = -z + 3. Let f = t + 21386. Is f prime?
True
Suppose -3*y - 79 = -112. Let m be y/2*(-312)/(-6). Suppose 1532 = 4*b + 2*p + m, -5*b + 1565 = 4*p. Is b prime?
False
Let b(g) = -g**3 + 6*g**2 - 5*g. Let i be b(4). Suppose i*l - 10*l - 3680 = -5*c, 3*l = 2*c + 5501. Is l prime?
False
Suppose 0 = v - 2*v + 4*w + 11, -29 = -v - 2*w. Let l(d) = v - 7*d - 15 - 31*d + 39. Is l(-16) composite?
True
Let w = 7436 - -17501. Is w composite?
True
Suppose 0 = 4*n + q + 38, 0 = 5*n + 4*q + q + 40. Let w be (-1 + 1 + 1)*n. Let y(g) = -38*g + 9. Is y(w) prime?
True
Let f = 4201654 + -1158975. Is f composite?
True
Suppose 3*y + 7 = -5*o, 0*y - 3*y + 7 = -2*o. Let p be (y + -3)*1*(-1)/2. Is 62/((2/5)/p) a composite number?
True
Let a be 35/2*12/21. Suppose 0 = -2*r - 4*w - a, -1 = 2*r + 3*r + 2*w. Let v(f) = 1192*f**2 - 3*f + 2. Is v(r) a prime number?
False
Suppose -2*g + r - 2 = -6, -28 = -4*g - 3*r. Suppose 0*k + 10 = g*j - 2*k, -4*k - 20 = 5*j. Let o(i) = 3*i**2 + i + 835. Is o(j) composite?
True
Suppose -74500 = -3*t + 2*j, -2*t + 44646 = -3*j - 5029. Let r = t + -13971. Is r a composite number?
False
Suppose 0 = -4*n + 7*c + 3505183, 14*n - 18*n - 5*c + 3505123 = 0. Is n a composite number?
False
Let o = -104 + 92. Let h = o + 17. Suppose -5*v - 2*t = -0*v - 6801, 0 = -h*v - 3*t + 6799. Is v composite?
False
Suppose -4*r = -14*r + 220940. Let z = r - -12987. Is z a prime number?
True
Let i be 6704/3*135/(-36). Let t = 13091 + i. Is t prime?
False
Let y = -1950 + 23383. Is y a prime number?
True
Let w be 20/(-15) - (-48)/36. Suppose 30074 = 3*p - 4*n, 0 = 4*p - w*n + n - 40067. Is p a prime number?
False
Let z = 92 + -15. Let d be 1122 - (-2 - -5 - 1). Let o = d - z. Is o prime?
False
Let o(z) = z**2 + 4*z - 15. Let n be o(-7). Let m(q) = 4*q - 2. Let c be m(11). Is 8430/c + n/21 prime?
False
Suppose -15*g + 568388 = -14*g - 5*x, 6*g = -4*x + 3410566. Is g a prime number?
False
Let f(t) = 47*t**3 + 2*t**2 - 4*t + 3. Let n(w) be the second derivative of -w**5/10 + w**4/12 + w**3/6 + 6*w. Let b be n(-1). Is f(b) a composite number?
False
Let z be ((-4)/(-2)*1)/(28/168). Suppose 2*x = -3*y + 35347, -8*y + z*y + 88333 = 5*x. Is x a prime number?
True
Let h(c) = -278*c + 3. Suppose -7*r + 2*r + 90 = 0. Let v = r - 25. Is h(v) composite?
False
Let f = -171738 - -284999. Is f prime?
False
Let f be (14/4)/(3 + 21/(-6)). Let x(n) = -2*n**2 + 8*n + 15. Let p be x(f). Let m = p - -232. Is m composite?
True
Let k(y) = 39*y**2 + 496*y - 67. Is k(-30) composite?
True
Suppose -3 = f - 2*f. Let u be 19/f - (-4)/(-3). Suppose -u*i + 5536 = 3*p, -2*p - 1832 = -3*p + i. Is p a prime number?
False
Suppose 4*i - 682523 = -1511*x + 1510*x, 5*i + x = 853152. Is i composite?
True
Let x = -87472 + 206111. Is x a composite number?
True
Let z be 0 + 20185 - (-32)/8. Suppose 3*m = 9*p - 7*p + z, -2*p = -4*m + 26922. Is m composite?
False
Let r = 81 + -76. Let i = 11 - r. Suppose -3*n = -4*c - 4843, 3*n = i*n + 3*c - 4878. Is n a composite number?
False
Suppose 2*q + 15 - 39 = -4*t, -3*q = 4*t - 22. Let w be -3 + 7/(t/95). Suppose -w*i + 382 = -90*i. Is i composite?
False
Let h(t) = -t + 8. Let l be h(2). Suppose 0 = -l*k - 9608 + 52022. Is k prime?
True
Let c = 98 + -107. Is (4903 + c)/(2/1) composite?
False
Let h be (0 - 3)/15 + (-1147657)/(-35). Suppose 10*u - 16*u + h = 0. Is u prime?
False
Suppose p = -5*o + 57535, 0 = 5*o - 0*p + 3*p - 57545. Suppose 3*y = y, 2*y = -2*d + o. Is d composite?
True
Let g(b) = 6 + 2*b**2 + b**3 + 4*b**2 + 2*b**2 + b. Let l be g(-8). Let f(t) = -154*t + 9. Is f(l) prime?
True
Suppose 4*u - 2*b = 7*u - 41, -2*b = 4. Is 447 - -6*10/u a composite number?
True
Suppose -7*y = -11 - 3. Suppose -y*x + 1526 = -3*b - b, 5*x + 398 = -b. Let h = b - -1006. Is h a prime number?
Fa