 + 5*o + 1837 = -194. Is b a prime number?
True
Let c be (-5)/(-25)*(-1 + 6). Let f be 99/12 - c/4. Let s = 30 - f. Is s a composite number?
True
Suppose -5*a + 9725 = 3*t + 1198, 5120 = 3*a - 2*t. Is a a prime number?
False
Let j = 66516 - 41897. Is j a prime number?
False
Let p be 8/(-20) + (-24)/(-10). Suppose 0 = p*y + 144 - 782. Is y prime?
False
Suppose -i + 1 = -3. Suppose -u + i*w = -4*u + 4, -8 = 4*w. Suppose 1995 = 3*n - 3*o, 5*o = u*n - 0*n - 2658. Is n a prime number?
False
Let y(v) = 11*v**2 - 11*v + 17. Let w(t) = 4*t**2 - 4*t + 6. Let p(m) = 8*w(m) - 3*y(m). Let z be p(-2). Let r(l) = -28*l + 7. Is r(z) prime?
False
Is (-174223)/(-11 - -18)*(-1)/1 a prime number?
True
Let b = 30810 - 20123. Is b a composite number?
False
Let r(k) = -4*k**2 - k + 2. Let u be r(1). Is u/(-15) - (-8270)/25 a composite number?
False
Suppose 0 = 3*m + 5*r - 32, 3*m = 8*m - 4*r - 41. Let c be 7930/m - (-9)/(-81). Suppose 0 = -3*z + c + 1162. Is z a composite number?
True
Suppose 3*k + 7*d - 2*d - 18730 = 0, -5*k + 31220 = 5*d. Is k a prime number?
False
Let g = 59 + -56. Suppose g*j = -2*y + 3359, 8*y + 3355 = 3*j + 9*y. Is j prime?
True
Suppose 19*x + 4*x - 131353 = 0. Is x composite?
False
Let c(b) = -b**3 + 4*b**2 + 3*b - 5. Let w be c(4). Suppose i - 189 = -5*k, -2*k = 1 + w. Is i prime?
False
Let c(w) = -3*w**3 - 1. Let j be c(-1). Suppose -u - b = -37, j*u - 6*u = -b - 128. Suppose 42 = 3*f - u. Is f composite?
True
Is (374/(-5) - 4)/(2/(-185)) prime?
False
Let t(z) = 26*z**3 + 6*z**2 + 2*z + 2. Let w be t(-4). Let q = w - -704. Is (q/9)/(2/(-3)) prime?
False
Let z = 31762 - -5493. Is z a composite number?
True
Let k(u) = 13*u**2 - 16*u - 28. Is k(17) a prime number?
True
Suppose 0 = 38*p - 30*p - 20024. Is p prime?
True
Let o(a) = -a - 2. Let k be o(-4). Suppose k*h - 5*w = 519, -2*w = -h + 2*w + 258. Is h prime?
False
Let j = 15 + -9. Let a be (-31)/j + 6/36. Is 199 + a - (-2 - -2) composite?
True
Let p = 562 + -297. Is p a prime number?
False
Let r = 71 + -5. Suppose -3*u = -7*b + 6*b - 35, 2*b - 4*u + 70 = 0. Let l = b + r. Is l prime?
True
Let o(p) = p**3 - 2*p**2 - p - 1. Let b be o(3). Let f be (-46)/(-10) - (-2)/b. Suppose 0*t - 616 = -4*t + f*r, -435 = -3*t - 3*r. Is t a composite number?
False
Let n be -5 + 6/3 + 3. Suppose 0 = 3*d + 12, 4*g + d - 4 + n = 0. Is (-301 + 3)*g/(-4) prime?
True
Let s(a) = -797*a + 106. Let m(h) = 266*h - 35. Let d(u) = -17*m(u) - 6*s(u). Is d(8) a composite number?
False
Let j = 1016 + -235. Is j a prime number?
False
Let d(h) = -349*h**3 + 2*h**2 - h. Let v be d(1). Let r = v + 1739. Is r a prime number?
False
Let o = 21 + -12. Let v = -13 + o. Is (-634)/(-5) + v/(-20) a prime number?
True
Suppose 4*d = 2*j - 42938, 0 - 1 = d. Is j a prime number?
True
Suppose 0 = 4*c - w - 10, 4*c - 21 = -w - 7. Let x(k) = 340*k - 4. Let o be x(c). Let v = o - 627. Is v a prime number?
True
Let k(s) = 6*s**2 - 2*s - 5. Let f be 5/2 - 9/(-18). Let n be k(f). Suppose 4*y + 143 = 5*a, -a + 2*y - 6*y = -n. Is a a composite number?
False
Let m = 122574 - 68771. Is m composite?
True
Let i = -1 + 6. Suppose i*f + 8 - 28 = 0. Suppose -2*x - 1075 = -f*c + 339, -5*c + 1766 = -x. Is c a prime number?
True
Let o = -10 - -10. Let b(l) = l - 7714. Let a be b(o). Is a/(-30) + 20/(-150) composite?
False
Let r be -2 + -21 + 2 - -3. Let q be (6/r)/((-2)/12). Suppose q*x = -3*x + 235. Is x a composite number?
False
Let y(z) = z + 1. Let w be y(3). Let n = w + -2. Is (2 - 3)/(n/(-388)) a composite number?
True
Let k be (-4)/(-24) + 0 + (-22)/(-12). Let l(t) = 370*t - 3. Is l(k) a composite number?
True
Suppose -8*z = 3*z - 4257. Let i = 1036 - z. Is i prime?
False
Suppose d + 35 = 6*d. Let m be 2/7 - (-19)/d. Suppose m*o + 0*o - 633 = 0. Is o composite?
False
Suppose -4*z + 1195 = 3*s - 0*z, 0 = -4*z + 16. Let j = s + -654. Let y = 112 - j. Is y prime?
True
Suppose 3*z - 213 = -2*p + 5*p, -3*p = -2*z + 141. Suppose -c + z = -41. Let k = c - 34. Is k composite?
False
Suppose -5*q + 9094 = -4*h - 8684, -4*q - 2*h = -14212. Is q prime?
False
Suppose -248 = 3*u + 538. Let o = u + 515. Is o composite?
True
Suppose 0 = -49*c + 56*c - 50603. Is c composite?
False
Let b(s) = 6*s + 429. Let l(t) = -1. Let m(v) = 2*v + 148. Let q(i) = 5*l(i) + m(i). Let o(u) = 6*b(u) - 17*q(u). Is o(0) a composite number?
True
Let x(r) = 126*r**2 - 4*r - 1. Let g be ((-16)/22)/4 - (-35)/11. Is x(g) prime?
False
Let c(n) = 12*n + 10. Let l be c(7). Suppose 38 = -3*s + 4*s - g, -g + l = 3*s. Let m = s + 25. Is m a prime number?
False
Let x(f) = -28*f**3 - 3*f**2 - 4*f - 3. Let y(v) = v + 20. Let m be y(-6). Let i = m + -16. Is x(i) composite?
True
Let b = 13 + -16. Is 1988/4 + (-6)/b composite?
False
Let n(c) be the third derivative of c**6/120 + 4*c**5/15 + 3*c**4/8 + 7*c**3/6 + 15*c**2. Let g be 47/(-3) - 14/(-21). Is n(g) a composite number?
False
Let x(v) = -28*v + 8. Let f be x(-8). Suppose 237 = -2*s + 4*s - y, 0 = -2*s - 4*y + f. Suppose 0 = 2*p - s. Is p a prime number?
True
Let h = -773 - -1789. Let c = h + 627. Is c prime?
False
Suppose 0*l - 46 = -3*x - 4*l, -5*x + 3*l = -67. Let y(j) = 2*j**3 - 18*j**2 - 6*j + 27. Is y(x) prime?
False
Let h(s) = s + 16. Let d be h(6). Suppose 26*c - 484 = d*c. Is c composite?
True
Let d = 19 - 15. Suppose -1480 = -d*j + 5*r, -j + 4*r + 0*r = -370. Suppose -7*h + 2*h = -j. Is h a prime number?
False
Let j(i) = -i**3 + 11*i**2 - 11*i + 13. Let k be j(10). Let w(o) = -7*o**2 - 3*o - 23 - o**k + 3 + 3*o. Is w(-9) composite?
True
Let u be ((-6)/3)/(8/(-12)). Suppose 2*r + z = 1077, -u*r - 2*r - 4*z = -2685. Is r composite?
False
Let w = -2867 - -7002. Is w prime?
False
Let g be (234 + -1)*(-2 + 3). Suppose g = o - 720. Is o prime?
True
Let h be 2/(2/12*3). Is (-4 - -5)/(h/2444) prime?
False
Let j(b) = -15*b - 24. Let l(a) = 5*a + 8. Let z(y) = -2*j(y) - 7*l(y). Let w be z(7). Is -1 + -3 + 4 - w composite?
False
Let l = -7 + 11. Suppose 0*m = l*m - 1036. Is m composite?
True
Suppose n + 2*m - 2525 = -4*n, 2*m = -4*n + 2018. Suppose 34*a = 37*a - n. Is a a composite number?
True
Let u = -1 - 106. Suppose 209 = v + t - 8, 861 = 4*v - 3*t. Let s = v + u. Is s a prime number?
True
Suppose -h = -3*l - 2*h + 3576, -3588 = -3*l + 3*h. Is l prime?
True
Let d(h) = 4988*h + 31. Is d(2) composite?
False
Let h be 2 + 12/2*-1. Is 34/h*(0 + -94) composite?
True
Let b(t) = t + 4. Let y be b(10). Let q = -15 + y. Is (-2 - (q - 2)) + 88 a prime number?
True
Suppose 3*d = 0, 3*t + 3*d - 1509 = 2*d. Is t prime?
True
Let l be (-3)/(-6)*(8 - -2). Suppose -4*s = -o - 1867, 4*o - 3359 + 999 = -l*s. Is s - 2/(5 + -3) composite?
False
Let s(j) = j**2 - 7*j - 9. Suppose 4*a - 100 = -7*h + 3*h, -2*h + 98 = 4*a. Let x = a + -32. Is s(x) a prime number?
False
Let x = -377 + 691. Is x a prime number?
False
Is ((14650/(-20))/(-5))/(1/34) composite?
True
Suppose -21198 - 23034 = -24*s. Is s a composite number?
True
Let a(q) = 70*q - 14. Let g be a(-13). Let k = -617 - g. Let b = k + -176. Is b prime?
True
Let g = 9 - 7. Suppose -g*y - 4*l = -y - 33, -3*l - 227 = -4*y. Suppose -3*c + y = -16. Is c a composite number?
False
Let y(j) = -3*j - 6. Let f be y(-2). Suppose 11*c - 10*c - 2819 = f. Is c a composite number?
False
Let r be (-69)/(-6) - (-9)/(-6). Let b = 3 + r. Suppose 3*q = 106 - b. Is q a prime number?
True
Let n(f) = -1362*f - 239. Is n(-11) a composite number?
True
Let r be 166764/(-42) + 6/(-14). Let k = -1578 - r. Is k a prime number?
True
Let a(s) = 356*s**2 - 7*s - 23. Is a(-3) a composite number?
True
Let j(p) = p**2 - 17*p + 17. Let b be j(14). Let q = 25 + b. Suppose q*r + 3183 = 3*r. Is r prime?
True
Let a be -4 + (-16)/(-4) - 150/(-3). Let l = 139 - a. Is l prime?
True
Let u(h) = h**2 + 13*h - 3. Let i be u(-13). Let o = i - -6. Suppose 5*c = -o*x + 5*x + 2085, 3*x = -4*c + 1645. Is c a prime number?
False
Let p(l) = 2 + 9*l**3 - 2*l - 416*l**2 + 414*l**2 + 2. Is p(3) composite?
False
Let w = -2366 + 3462. Let p = w - 510. Is p composite?
True
Let z(h) = -4*h + 5 - 4*h**3 + 8*h + 3*h**3 - 3*h**2. Let g be z(-4). Suppose -2*n + 64 = 2*l, -g*l + 0 = n - 24. Is n composite?
True
Let w(l) = l**2 - 8*l + 12. Let j be w(6). Suppose 6*p - p - 45 = j. Suppose -m - 3048 = -p*m. Is m a composite number?
True
Suppose 4 = -13*o + 15*o. Suppose m = o