 2*s - 4*s + w = 2*j. Is j a prime number?
True
Suppose 358 = -2*h + 1210. Suppose -q + h = q. Is q prime?
False
Let w be 2640/(-102) - 2/17*1. Let b(y) = -y**3 - 25*y**2 + 10*y - 45. Is b(w) prime?
False
Let r(i) = i**3 + 13*i**2 - 15*i - 4. Let f be r(-14). Suppose 0 = -3*a + v + 742, -a + f = 3*v - 254. Is a composite?
True
Let o = -179148 - -385061. Is o prime?
True
Let h = 4 + -2. Suppose 0 = 2*q, 3*q + 0*q = h*j - 110. Is 27467/j + 4/(-10) a prime number?
True
Suppose -2*x = 3*w - 550, -3*x + 2*w + 3*w = -863. Let p = x + 728. Is p a prime number?
True
Suppose 0 = 3*l - l - 328. Suppose -4185 = -5*v - 0*q - 5*q, 0 = -5*q - 15. Suppose v = 4*o - l. Is o prime?
True
Let o be (-67 + 1)/((-27)/(-198)). Let l = -219 - o. Is l a composite number?
True
Suppose 6*j + 54690 = 8*j. Suppose -9*x + 6*x + j = 0. Is x composite?
True
Let r(j) = -j**3 + 5*j**2 - 3. Let z be r(4). Suppose 3 = -2*k + z. Suppose -435 = k*m - 8*m. Is m a prime number?
False
Let y(v) = -v**3 + 8*v**2 - 4*v - 17. Let j(l) = -2*l**3 + 7*l**2 - 4*l - 17. Let h(g) = -2*j(g) + 3*y(g). Is h(-8) a composite number?
True
Is -38*(16520/(-16) - -6) composite?
True
Suppose 10*u - 14*u - i + 130749 = 0, 5*u - 163434 = i. Is u a composite number?
False
Suppose -3*d - 1 = 11. Let q be (-78)/9*6/d. Let t = 454 + q. Is t composite?
False
Let l = -78316 + 213983. Is l a composite number?
True
Suppose -9*m = m. Suppose 2*t + m*b - b = 376, -3*t = -3*b - 567. Is t composite?
True
Let s(p) = -83*p + 6. Let b(q) = 1246*q - 89. Let v(l) = 6*b(l) + 89*s(l). Is v(5) prime?
False
Let o(c) = -c**3 - 20*c**2 + 195*c + 59. Let z be o(-27). Suppose 1744 = -2*j + 4*y - 2*y, -2*j = 2*y + 1752. Let v = z - j. Is v a prime number?
False
Is -5 + 93*144/27 a composite number?
False
Let p = 43553 - 24696. Is p prime?
False
Let s(h) be the third derivative of h**7/840 - h**6/360 - h**5/20 + h**4/6 - 4*h**2. Let o(c) be the second derivative of s(c). Is o(-5) a composite number?
False
Let a(g) = -g**2 + 20*g + 2. Let t be a(20). Suppose -t*j = -0*j - 6. Suppose -j*s = 72 - 249. Is s prime?
True
Is (-1340)/80*16/(8/(-2)) prime?
True
Suppose 16*v - 7*v - 28935 = 0. Is v prime?
False
Let g be 2 + -2 - 0/(-2). Let q be (4 - (3 - -2)) + 788. Suppose q = 5*s + d, 636 = 4*s - g*s + 4*d. Is s prime?
True
Let r = -5 - -13. Let c(g) = -g**3 + 7*g**2 + 12*g - 3. Let f be c(r). Suppose x + 9 = m, -2*x = -3*m - 0*x + f. Is m a composite number?
False
Suppose 78847 + 82092 = 17*q. Is q a composite number?
False
Let h be (-2)/(-3)*(-9 + 18). Let j be -2*h/4 - -6. Suppose -7*o + 268 = -j*o. Is o a composite number?
False
Let c(o) = -4 - 4 + 0 + 4 - 272*o. Let z be c(-3). Suppose 3*r - r + 2*m = z, 5*r = -m + 2018. Is r a prime number?
False
Let t = -7 + 14. Suppose -t*d - 5*d + 34332 = 0. Is d prime?
True
Suppose -y = -3*d - 4285 + 25082, -3*y - 12 = 0. Is d prime?
False
Let p(y) = -50*y - 5. Let b(h) = -201*h - 17. Let g(w) = 2*b(w) - 9*p(w). Let s be -1 + 11 - (-3 + 5). Is g(s) composite?
True
Suppose 5*m - 3*i - 15721 = 0, -25*m + 2*i + 6290 = -23*m. Is m a composite number?
True
Let z(l) = 77*l**2 + 3*l + 6. Let x(r) = r**2 - r + 1. Let g(k) = -3*x(k) + z(k). Is g(4) prime?
False
Let c be -5 + 57/12 - (-5781)/4. Let z = -1000 + c. Is z composite?
True
Let v(r) = 2*r**2 + 1. Let l be v(1). Let w(a) = -5 + l - 1 + 11*a - 2. Is w(9) prime?
False
Let o be 32/24*(21/6 + -2). Suppose -6*p + o*p + 2636 = 0. Is p a composite number?
False
Suppose -2*p = -3*l - 12, 2*l + 2*p + 6 = -2. Let d be l/(-5)*(-5)/(-2). Suppose 3*u = -2*s + 709, 2*s = -d*u - 2*u + 944. Is u composite?
True
Let i(o) = 3*o**3 + 2*o**2 - 38*o + 23. Is i(8) composite?
True
Suppose 43 - 13 = 6*y. Suppose 0*v + 1305 = y*s - 5*v, 0 = s + 5*v - 237. Is s composite?
False
Let r(h) = 2*h + 2. Suppose 3*q + 17 = -a, 0 = -2*q - 5*a - 10 - 10. Let k be r(q). Is 500/16 + 2/k a composite number?
False
Let j(q) = q**3 + 5*q**2 + 2*q - 5. Let b be j(-4). Suppose -b*f + 98 + 730 = 0. Let w = f + -25. Is w prime?
True
Suppose -z = -144 + 141. Suppose -6*l + 8793 = -z*l. Is l a composite number?
True
Let m = 76163 + -35260. Is m composite?
False
Suppose -542 = -x - 3*b, -x + 395 = 5*b - 137. Is x a prime number?
True
Let o = -1 + 3. Suppose -4*j - 4*h = -o*j + 26, 5*h = j + 27. Let u = j + 60. Is u a composite number?
False
Is -7 - (-230)/30 - 1262/(-6) prime?
True
Let v be (7 - (5 - -1))/(1/(-11)). Let d = v + 34. Is d prime?
True
Let t = -5206 - -8159. Is t a prime number?
True
Suppose -c - 15 = -6*c. Suppose -c*y - v = -2*v - 7, 0 = y + 2*v - 14. Suppose i + 237 = y*i. Is i a composite number?
False
Suppose 89*x - 8466 = 83*x. Let c = x + -534. Is c a composite number?
False
Let g = 35 - 23. Let k = g + -7. Suppose f = -6*l + l + 17, k*l + 5 = 0. Is f composite?
True
Suppose 0 = 157*k - 146*k - 62293. Is k a composite number?
True
Suppose 6*q + 49*q = 133925. Is q a composite number?
True
Let z(c) = c**2 - 2. Let h be z(-2). Suppose -5*d + 3*k = -d + 75, 31 = -h*d - 5*k. Let g = d + 37. Is g prime?
True
Let v(t) = -152*t - 7. Is v(-3) composite?
False
Suppose 5*q + 3*m = 97304 + 74262, 3*m + 9 = 0. Is q a prime number?
False
Let z(v) = -322*v - 3. Let h be z(-1). Let a = -98 + h. Is a prime?
False
Suppose 3*q = -2*s + 433, -6*q - 1030 = -5*s - 3*q. Suppose -r = -5*o - 82, -2*r + 0*o = -o - s. Suppose -2*c + 3*g + 83 = 0, -r = -3*c - 0*g + g. Is c prime?
False
Let z = 104333 + -48804. Is z a composite number?
False
Suppose -j + 96 = 3*j. Suppose -8*h + j = -4*h. Suppose -x - 1055 = -h*x. Is x a composite number?
False
Let o be (360/(-84))/((-1)/(-7)). Is 3183*2/o*-5 a prime number?
True
Suppose -2*r = r + 6, -2*r - 4999 = 5*l. Let c = l - -1814. Is c prime?
False
Suppose 2*i + 32 = 2. Let r(k) = -k**3 - 15*k**2 - 11*k + 14. Is r(i) composite?
False
Let j = -137 - -446. Is j composite?
True
Let l be (7076/(-12))/(2/12). Let z = l - -5297. Is z composite?
False
Suppose -98*n = -94*n - 2*x - 25692, -5*x = 2*n - 12822. Is n prime?
True
Let r(k) = -k**2 + k + 911. Suppose -o - i + 2 = 0, i = 5*o - i + 4. Is r(o) prime?
True
Let i = 54 - 50. Suppose -i*j + 1366 = 2*d - 0*j, -4*d + 3*j + 2765 = 0. Is d a composite number?
True
Is (1/(8/68))/((-2)/(-116)) a prime number?
False
Suppose 4*n = -4*t - 0 + 8, n + 2 = t. Suppose 2*u - t*k - 121 = u, -3*u - k + 349 = 0. Is (u/36)/(1/44) composite?
True
Let u = 22131 + -12892. Is u a prime number?
True
Let l be 133/(-38)*(-4 + 3 + -1). Suppose l*b = 1206 + 1391. Is b a prime number?
False
Let r be ((-96128)/(-80))/(4/30). Suppose -9*l - 3*l + r = 0. Is l a prime number?
True
Let f = -225 + 524. Is f prime?
False
Suppose -54 - 12 = -3*a. Suppose 2*w - 3*w + 17 = 4*t, t + a = 5*w. Suppose -4*p = t*p - 5537. Is p a composite number?
True
Suppose 12*s - 22 = 38. Suppose 349 = w - s*k - 79, -4*w + 1775 = k. Is w prime?
True
Let r(b) = -2*b + 15. Let a be r(6). Suppose 6 = 2*p, 8*s - 1241 = a*s - 2*p. Is s prime?
False
Suppose -2 = 4*x + 6. Let z be x/6 + (-91)/(-39). Suppose -y - y + 4*q + 230 = 0, q = z*y - 221. Is y a prime number?
True
Suppose -3*u - 4*h + 1242 = -7*h, 3*h - 15 = 0. Is u a prime number?
True
Let b be (-1)/(-4 - 5580/(-1396)). Suppose b = 7*f - 120. Is f a composite number?
False
Suppose 43*q = 27*q + 166096. Is q prime?
False
Suppose -4*m + 9 = -m. Suppose -h - 30229 = -20*h. Suppose 5*u - m*f = -0*f + h, 0 = -2*u - 3*f + 628. Is u a prime number?
True
Suppose 8*w - 5*w = 834. Let o(u) = -71*u**2 + w - u**3 + 72*u**2 + 200 - u. Is o(0) a prime number?
False
Let r(v) = 9 - v + 5*v**2 - 6*v**2 - 5*v. Let z be r(-7). Suppose -z*d + 5*p - 11 = 0, -4*d = -2*d - p - 9. Is d a prime number?
True
Let a = 25 + -22. Suppose 0*w + 3*w = -a*j - 36, 3*j - 4*w + 8 = 0. Is 1 - (-2 + j*29) composite?
True
Let s be 4/(-14) - (-342)/21. Suppose u = c + s, u - 5*u + 57 = 3*c. Suppose -4*d + u + 397 = 0. Is d composite?
False
Let q(w) = 4*w + 24. Let m be q(-6). Let c(d) = d**3 + d**2 - d + 1867. Is c(m) composite?
False
Suppose -15 = b + 2*z, 3*b + 7 + 11 = 3*z. Let w = 24 + b. Is 22165/w - 2/3 a composite number?
True
Suppose -u + 1741 = 5*w, -6*u + 2*u - w + 6888 = 0. Is u a prime number?
True
Let k(u) be the second derivative of 17*u**3/6 + 15*u. Is k(7) a prime number?
False
Let r be -2 + 7*(0 + 93). Suppose o + 2*f = 328, 2*o = f + 2*