. Let n be c(6). Suppose n = 35*x - 31*x. Is x composite?
False
Let y = 61223 + -19902. Is y composite?
True
Suppose -4*s + 108 = 5*s. Suppose 0 = 42*b - 45*b + s. Suppose 0*v + 2*c = 3*v - 5121, 0 = b*c - 12. Is v prime?
True
Suppose 0 = 3*d - 3*c - 42, -2*d + 5*c - 3 + 46 = 0. Let l(k) = 13 + d + 12 - 15 - k**2 - 8*k. Is l(-8) a prime number?
True
Suppose 5*j = -5*q + 3445, -5*q - j = -4369 + 924. Let r = q + -1101. Let b = 1665 + r. Is b composite?
True
Let q = 18194 + -12127. Let w = q - 3684. Is w composite?
False
Let i = 8 - 11. Let a be (1 + (-151)/i)*(1 - 10). Is 4 + (7/(-2))/(3/a) prime?
False
Let a(s) = s**3 + 4*s**2 - 9*s + 13. Let k be a(-6). Let m(l) = -8*l + 11. Let c be m(k). Let z = -37 + c. Is z a composite number?
True
Let v be -1*1/1 + 6467250/150. Suppose 0 = -13*r + 3543 + v. Is r a composite number?
True
Let g be 2*25/(-2)*(-1)/5. Suppose -8*y + 11*y - g*s = 235, -3*s = 2*y - 182. Is y prime?
False
Suppose -36*q + 35*q + 156819 = 5*r, 3*q + 4*r - 470435 = 0. Is q a prime number?
False
Suppose 26*q + 303439 = 53*q - 470975. Is q a prime number?
False
Suppose 0 = 46*i - 39*i - 236173. Is i prime?
True
Let v(y) = 23*y**2 + 21*y - 7. Let p be v(9). Suppose 2052*r - p*r = 84567. Is r prime?
False
Let h(j) = -102*j**3 - j. Let d be h(-1). Suppose 3*o - 1474 = -d. Suppose 208 + o = 5*m. Is m prime?
False
Let v = -218217 + 580178. Is v prime?
True
Let d(q) = 5714*q - 89. Let u(r) = -1905*r + 31. Let b(l) = -6*d(l) - 17*u(l). Is b(-5) composite?
True
Let i = 115 - 34. Suppose 77*k = i*k - 7940. Is k composite?
True
Let n = 78893 + -41954. Let j = -24152 + n. Is j a composite number?
True
Let r = 426037 - -521826. Is r a prime number?
False
Suppose 5*b + 1 = -2*q + 8, -3*b - 3*q - 3 = 0. Suppose 7*m + 9 = 4*m, -b*m - 1236 = -3*s. Is s prime?
True
Let c(x) = -5844*x**3 - x**2 + 2*x - 3. Let w be c(1). Let p = -1755 - w. Is p prime?
True
Suppose 0 = 12*i - 10*i + 4. Let p be i/(-2)*(0 + 2239). Let k = -86 + p. Is k composite?
False
Let o(w) = 251*w**2 + 26*w - 215. Is o(12) prime?
True
Let w(c) = 163*c + 6. Let g = -120 + 124. Suppose 2*q - 10 = g. Is w(q) prime?
False
Let h be 1313118/48 + (-3)/(-8). Is (-1)/(6/4*(-22)/h) prime?
True
Let k(q) = 237*q**2 - 10*q + 14. Suppose -3*x - 3*z = -15, -5*x - 13*z + 12*z + 41 = 0. Is k(x) a composite number?
False
Suppose -12*h = -26*h + 26572. Is h + (72/(-6))/(-4) a prime number?
True
Let u be 1*-5*15/15. Let z be -3 - 3996/(-4) - u. Suppose 4*q - 765 - z = -2*y, -4*y + 3556 = -4*q. Is y prime?
True
Let j be (-92)/10 - 5/(-25). Let v be 56/10 + j/15. Suppose v*o = 817 + 768. Is o a composite number?
False
Suppose 81*w = 4513882 + 5148689. Is w prime?
True
Suppose -3*g = f + 3*f + 293, -g = -2*f - 159. Let w = -228 + f. Let b = 824 + w. Is b prime?
False
Let p = 216531 - 104872. Is p composite?
False
Suppose 0 = 216*b - 255*b + 37653135. Is b prime?
False
Let h = -242 + 242. Suppose 0 = 3*o, -2221 = -g + 4*o - h*o. Is g composite?
False
Suppose -2*f = -x + 2*x - 17223, 0 = f + 4. Is x a prime number?
True
Let r = -728313 - -1528276. Is r a prime number?
False
Suppose 5*d + 7 - 22 = 0. Suppose -3*z = d*z - 4482. Suppose -l + 3770 = 5*h + 2*l, h + 2*l = z. Is h prime?
True
Let z = -37 + 42. Suppose 6 = 3*b + 3*f, -2*b - 10 = 2*b - z*f. Suppose b = 8*d - 2*d - 1518. Is d a prime number?
False
Suppose 3*f = 3, -h + 4*f = 2*f + 1. Let b be (h + 0 - 2) + 345. Let t = -201 + b. Is t composite?
True
Suppose -8*o + 4*o = -12. Let p(z) = 841*z - 13. Let u be p(o). Let t = -1451 + u. Is t composite?
True
Suppose 13*t + 191 - 1114 = 0. Suppose -5*m + 4*n = -11801, n + 4718 = -69*m + t*m. Is m prime?
True
Let h = 357160 - 251682. Is h/15 - -1 - (-4)/30 composite?
True
Let k be 4/(-8)*(6/3 + -2). Suppose k = 2*h - 4, -h - 4302 + 337 = -r. Is r composite?
False
Let n = -702789 + 988726. Is n a composite number?
False
Let z = 81 - 79. Let r(u) = -345*u + 2. Let h be r(-1). Suppose -4*i = -p + 6*p - h, z*p - 2*i = 128. Is p prime?
True
Suppose 0 = -6*t + 74098 - 9268. Is t a prime number?
False
Let o(h) = -7*h + 45. Let s be o(5). Is 114 + s - 2/(-4)*6 a prime number?
True
Let f(q) = 133897*q - 10. Is f(3) a prime number?
False
Suppose -3*u = -14 - 16. Suppose -5*h = -u, 5*r + 6*h = 3*h + 11351. Is r a composite number?
False
Let y = -55 + 102. Let c = -47 + y. Suppose 3*h - h - 2206 = c. Is h a prime number?
True
Let t(f) = 19*f**3 - 2*f**2 + f - 2. Let o(k) = k**2 + 14*k + 15. Let d be o(-13). Let i be t(d). Suppose 3*n = i + 147. Is n composite?
False
Let t(y) = 1105*y**3 - 2*y**2 + 3*y - 10. Let n be t(4). Suppose -20025 = 5*s - n. Is s composite?
False
Suppose 2*w = w - 2*b + 3826, -3822 = -w + 2*b. Suppose t - 5*t + w = 0. Let p = t - 477. Is p prime?
True
Suppose 0 = -4*f - 6 + 10. Let r be 1 + f*(-1 + 2). Suppose r*a - 1706 + 396 = 0. Is a a prime number?
False
Suppose 0 = -3*f + 2*z - 33, z + 11 = -2*f - 4. Let x(i) = -5*i**3 + 9*i**2 + 6*i - 8. Let l be x(f). Let n = l + -2831. Is n composite?
False
Let n(b) = b**2 - 4*b - 18. Let s be n(-4). Let i be (-6)/(-21) - (-38)/s. Suppose -5*v = -2*v + 4*z - 910, -1204 = -4*v - i*z. Is v a prime number?
False
Let k be ((-6)/9)/((-1)/(30/(-4))). Let r(c) = 3*c**2 + 8*c - 46. Let j(s) = 2*s**2 + 5*s - 31. Let h(m) = 7*j(m) - 5*r(m). Is h(k) a composite number?
False
Let i(t) = 71*t + 14. Let r(g) = -2*g. Let w(b) = -i(b) - 6*r(b). Is w(-23) a prime number?
False
Is (-9)/(9/(-45)*-5) + 109270 a composite number?
True
Suppose -3*p - 33 = -3*j, -4*j = 17*p - 16*p - 19. Let r(w) = 4*w**2 - 29*w + 49. Is r(j) a composite number?
False
Suppose h = 2*r + 22621, 5*h + 2*r = -2*r + 113147. Is (-1)/((-2)/(-12) - h/135366) composite?
True
Let r(z) = -15*z**3 - 18*z**2 + 8*z - 15. Let p be (-15)/45*(-1 - -25). Is r(p) a composite number?
False
Suppose -h = 11*u - 8*u - 45559, 0 = u - 3*h - 15193. Is u prime?
True
Let g(t) = -12*t**3 + t**2 + t. Let o be g(-1). Let z be ((-872)/o)/(4/(-72)). Suppose z - 169 = 3*p + 4*x, -3*p + 4*x = -1123. Is p a prime number?
False
Suppose -5*n + 32 - 17 = 0, 3*l - 5*n + 44694 = 0. Let s = 25220 + l. Is s a composite number?
True
Suppose 96*r + 31*r - 16614689 = 36*r. Is r a composite number?
False
Let q(d) = 573*d - 191. Is q(36) composite?
True
Suppose 357*i - 12965969 = -22*i. Is i a composite number?
False
Let l be 3 - (1/(-2)*6 - -2). Suppose -24370 = -6*v - l*v. Is v prime?
True
Let q(x) = x**3 - 10*x**2 - 79*x + 73. Is q(48) prime?
True
Suppose 0 = -5*r + 4*w + 436, -2*w = -2*r - 3*w + 164. Suppose -3*p = -7*p - r. Is ((-402)/(-9))/((-8)/p)*4 prime?
False
Let j be (48/40)/((-6)/(-100)). Suppose -4*f - 13388 + 1127 = -5*v, 5*f + j = 0. Suppose -2*b = -v - 605. Is b composite?
True
Let c = -43 + 161. Suppose k + k = -c. Let z = 105 + k. Is z a composite number?
True
Let x = 267 + -263. Suppose x*s - 3*p - 6512 = 0, 1182 = 2*s - 5*p - 2060. Is s a prime number?
False
Let t be ((-56)/(-10))/(3/285*1). Suppose d - t = 3*n, 5*d - n - 538 = 4*d. Is d a prime number?
True
Let d(a) = 7*a - 18. Let t be d(3). Suppose t*r - 5*h - 79 = -10*h, -4*h = r - 38. Suppose 25*m = r*m + 14371. Is m prime?
True
Suppose 0 = 4*j - 2*j + 4. Let p be (22/11)/((-5)/(-2) + j). Suppose p*t = a - 1625, a + 5*t = 2*a - 1623. Is a a prime number?
False
Suppose g - 1166 = -a, -2*g + 5*g + 4*a - 3502 = 0. Suppose -3*d + g = 151. Is d a composite number?
False
Let m(i) = -19*i**2 - 6*i - 23*i - 95 + 38*i**2. Is m(-10) a prime number?
False
Let b = 239555 - 129136. Is b prime?
True
Let v(z) = 46*z + 8. Let q be v(-1). Let n be 2 - 3/(2 - q/(-16)). Let f(k) = 4*k**3 - 9*k**2 + 9. Is f(n) a composite number?
False
Suppose -2322 = -429*v + 423*v. Let g = -188 + v. Is g a composite number?
False
Let f(h) = -21*h**2 - 9*h - 33. Let o(k) = 4*k**2 + k - 1. Let x(v) = -f(v) - 4*o(v). Is x(-15) a prime number?
True
Let i(w) = 190*w**2 + 456*w - 297. Is i(-35) composite?
False
Suppose 11*u - 12*u = -4. Suppose -2*c - 1443 = -u*p + 6525, 3*c - 2*p = -11964. Let m = -2785 - c. Is m prime?
False
Let q(u) = -2721*u**3 - 10*u**2 - 20*u - 28. Is q(-3) a prime number?
False
Suppose -3*x = 5*u - 34, 0*x - x = -2*u + 7. Let p = -644 - -1613. Suppose 936 = u*v - p. Is v prime?
False
Let h(k) = -2 - 2 + 2 - k. Let t be h(-8). Suppose -t*s + 10*s = 3252. Is s a composite number?
Tru