2*b - 4*x + 14454 = 0. Is b a prime number?
True
Let i(z) = -75*z**3 + 9*z**2 + 7*z + 2. Let w be i(-5). Let v = w + -5380. Is v prime?
False
Suppose 0*l = 2*l + x - 44935, 3*l - 67392 = -5*x. Is l a composite number?
False
Let z(h) = 3*h**2 + 5 + 12*h + 13*h**2 + 0*h**2. Let o be z(5). Suppose 4*u - 5*l - 280 = o, -3*u + 554 = l. Is u a composite number?
True
Let q = -206 + 164. Is 3 + 138789/q*(-8)/6 prime?
True
Let o(n) = -17*n**2 - 52*n + 27. Let t be o(37). Is (-68)/(-6)*t/(-20) composite?
True
Let v = -21 + 15. Is (13241/(-6))/(1/v) a prime number?
True
Suppose m = 2*i + 91755, 4*m + 5*i = 309473 + 57495. Is m composite?
True
Let w(l) = -l**3 - 15*l**2 - 14*l - 2. Let a be w(-14). Let h(t) = -191*t**3 - 3*t**2 + 1. Is h(a) composite?
True
Suppose 1722 = -r - 3197. Let d = r + 7918. Is d composite?
False
Is (4 - 1)/(2 - 7731186/3865602) a composite number?
True
Let q(n) = 62*n**2 - 21*n + 227. Is q(18) a prime number?
True
Let z = 47527 + -27737. Let f = -13011 + z. Is f composite?
False
Let n(v) = -3*v**2 - 42*v + 18. Let b(t) = 3*t**2 + 43*t - 20. Let u(p) = -4*b(p) - 5*n(p). Is u(13) a prime number?
True
Let l = 898 + -419. Is l prime?
True
Suppose -62 = -5*q + 4*n, -3*q + 4*n + 11 = -23. Let p = q + -14. Suppose -4*x - 13 - 3 = p, 0 = -3*o + 4*x + 7525. Is o a composite number?
False
Suppose 5*a = 9*a - 32. Suppose a = -4*r + u + 3, 0 = r - u - 1. Is r + (-2735)/(-5) + (-4)/1 composite?
False
Let p be 9 + -5 + 3/(-6)*-8986. Suppose -p = t - 4*t. Is t prime?
True
Suppose -2*n + 110 + 390 = 0. Suppose -15*c + 830 = -310. Suppose l - n = c. Is l composite?
True
Suppose 4504 = 6*w - 84226 - 66604. Is w composite?
False
Suppose 33*c - 2303353 = -17*c + 3663897. Is c a composite number?
True
Let u = 23341 + -1200. Is u composite?
True
Suppose 0 = -5*h + 9 + 16. Suppose -2020 = 5*f + h*m, m + 1206 = -3*f - 0*f. Let o = 654 + f. Is o a prime number?
False
Suppose 19*f - 82159 = 18*f. Suppose 21*k - f = -2170. Is k prime?
False
Let n(t) = -t**3 - 8*t**2 + 9*t + 5. Let m be n(-9). Suppose f = m*f - 10232. Let l = f - 1027. Is l prime?
True
Suppose 35*r - 190983 = 22*r. Suppose 3*d - 9490 = o, -4*d + r = -2*o + 2037. Is d prime?
True
Let b(a) = 712*a - 180. Let x(m) = -m - 1. Let d(f) = b(f) - 5*x(f). Is d(6) a prime number?
True
Suppose -11*i + 150 = 4*i. Is i/25*(-12 + -3) + 4727 a composite number?
False
Let j be (-25)/5 - (-36)/4. Let m(n) = 12*n**3 + 5*n**2 + 6*n - 9. Is m(j) a prime number?
True
Let f(u) = 289*u - 296. Let s be f(14). Suppose 0 = -2*a - z + 2497, -a = 2*a + 3*z - s. Is a prime?
False
Suppose u - 1 = 4. Suppose u*l + 50 = 5*k, 3*k - 2*k + 5 = -2*l. Suppose -3*s + k*s = 2*t + 374, -5*s + 947 = -2*t. Is s composite?
False
Suppose 191*n - 2843003 - 3425374 + 902996 = 0. Is n a prime number?
False
Suppose 34*u = -121*u + 10*u + 133545. Is u a composite number?
True
Let z(l) = 744*l + 129. Let i be z(4). Suppose -11*s - i = -38*s. Is s composite?
True
Is -12*(-857724)/48*1 + -2 + 10 composite?
False
Let a be 1432 - (2 - (-3 - -5)). Let i = 2085 - a. Suppose 4*m - i - 1871 = 0. Is m prime?
True
Let l(r) = -10 + 64*r**2 + 11*r + 14 + 8 + 54*r**2. Let t be l(8). Is (2/4)/(t/(-2552) - -3) prime?
False
Is (-1)/7 + 30815/(-175)*-655 - -1 a composite number?
False
Let q(l) = -39*l + 4. Suppose 5*m - 10 = 4*d + 9, 0 = -2*d + 3*m - 11. Let v be ((-1)/2)/(d/(-4)). Is q(v) a prime number?
False
Let y(f) = 261*f**2 - 22*f - 39. Let a be y(-12). Suppose b - a = -8*b. Is b a prime number?
True
Suppose -4*w = -13 - 3. Suppose -4*v = -4*f, 3*v = 4*f + 3 - 0. Is 194/f*(-6)/w prime?
True
Suppose -3057 = -26*i + 27*i. Let d = 574 - i. Is d a composite number?
False
Let i(m) = -m**3 - 17*m**2 + 2*m + 42. Let u be i(-17). Suppose b - 15 = 10*f - u*f, 0 = b - 5*f - 24. Suppose -b*n - 2*n = -31889. Is n composite?
True
Let n = -96 + 216. Suppose 0 = 4*x + k + 20, -3*x + 4*k - 4 = 2*k. Is x*5/n - 1075/(-6) composite?
False
Suppose -3*r + 17199 = 2*a, -73*a + 28649 = 5*r - 75*a. Is r a composite number?
True
Let j = -267 - -270. Suppose -5*d = j*q - 5296 - 343, -5*d = 2*q - 5636. Is d a composite number?
True
Let o be 1233/45 + 3/5. Suppose -o*i + 3514 = -21*i. Is i a composite number?
True
Let h = -168167 + 346920. Is h prime?
True
Suppose -339 = -5*u - 89. Let z(k) = u*k + 2 + k**2 - 2*k**2 - 65*k. Is z(-11) prime?
False
Suppose -n + 3015002 = 3*v, -871418 = 4*v - 2*n - 4891394. Is v a prime number?
False
Let v = 9001 - 4544. Suppose 2*c + 7*z - 6*z = v, -5*c + 2*z = -11147. Is c composite?
True
Let r = -112 - -124. Suppose r*q - 16*q = -3*g + 3581, q = -5*g + 5999. Is g a prime number?
False
Suppose -32861649 = -96*z - 6005054 + 2279693. Is z a composite number?
True
Let p(q) = -2*q**3 - 11*q**3 + 14*q**3 - 5*q**2 + 2*q + 14. Let b be p(4). Is b/(-4) - 562/(-4) prime?
True
Let h(a) = 15*a**2 + a. Let k be h(-1). Let s be (-15)/((-105)/14)*(-69)/(-2). Let y = s + k. Is y a prime number?
True
Suppose 50882246 = 402*l + 6923144. Is l prime?
False
Let j = 660069 + -424376. Is j a composite number?
True
Suppose -94*p - 3*i + 905200 = -90*p, -2*p + 452586 = -2*i. Is p prime?
False
Suppose 0*n - r = 2*n - 12, 4*n - 22 = -r. Suppose -n*p + 2*v + 9901 = 0, 4*p - 5*v + 2668 = 10582. Is p composite?
True
Let v = 73 - 71. Let j(u) = 26*u**3 + 5 + u**2 + u**2 - 4*u**2. Is j(v) a prime number?
False
Suppose 3*n - 163 = -37*b + 33*b, -3*n + b + 143 = 0. Suppose 266 = 9*l - n. Is l a prime number?
False
Let i = 1155 + -628. Let j = 1014 - i. Is j prime?
True
Suppose 15*f - 5*l = 18*f - 6175, -5*l = -5*f + 10265. Suppose x - 16 = -x - 4*n, 4*n = 5*x - 26. Suppose u - x*u = -f. Is u prime?
False
Suppose -5*m - 4*t + 7*t + 49 = 0, -2*t + 34 = 5*m. Is -2 + 16 + 1 + 32/m composite?
False
Suppose -2*n = -5*g - 5918 + 26519, -2*g = n - 8244. Let m = g - 2052. Is m a composite number?
False
Let n = -160 + 335. Suppose -5*u + g + 1050 = 0, 3*u - 2*g = 448 + n. Suppose 0 = 7*x - 1457 + u. Is x a composite number?
True
Let l(o) = 6134*o + 595. Is l(93) a composite number?
True
Let f(p) = 1775*p**2 - 41*p - 223. Is f(-6) a composite number?
True
Suppose -g + 40361 = 3*p, 3*p + 2 = 20. Is g prime?
True
Let u(b) = -44*b**3 + 53*b**2 + 10*b - 7. Is u(-12) composite?
False
Suppose -4*u - 4 = 2*i - 42, -2*i + 5*u + 11 = 0. Let z(b) = 19*b - 25. Let k be z(i). Suppose 0 = -3*s - 0*s + k. Is s a prime number?
False
Let k(m) = 1. Let z(u) = 109*u - 27. Let j(a) = a**3 + 7*a**2 - 9*a - 7. Let x be j(-8). Let o(l) = x*z(l) - 6*k(l). Is o(10) a prime number?
False
Let n be (-11 - -3)/(-4 - -6) + 18. Suppose 18*t = n*t + 111380. Is t prime?
False
Suppose 0 = -2*s - 0*s + 2, -5*t + 24329 = 4*s. Suppose -12*p = -3499 - t. Is p composite?
True
Let x = 1053918 - 645359. Is x a composite number?
True
Is 233136533/644 - (-2)/(-8) a composite number?
True
Let p(u) = 2*u**2 - 27*u + 92. Let o = 383 - 358. Is p(o) a composite number?
True
Suppose 20 = 5*q + 4*y, -4*q + 2*y + 18 = 2. Let x be 618/(-20)*q*(-15)/2. Let u = x - 548. Is u a prime number?
True
Let j(q) = 7*q**2 - 13*q + 8. Suppose 4*w = 4*k - 116, -4*w = -3*k - 2*k + 146. Suppose -16 = -4*n, 5*a - n = -6*n - k. Is j(a) a prime number?
False
Let w(u) = 405*u**2 + 327*u + 4679. Is w(-14) composite?
False
Let u = 693 - 294. Suppose -3*f = 3*r + r + 761, -f - 191 = r. Let y = u + r. Is y composite?
False
Suppose 7*x + 1077813 = 40*x. Suppose 5*z - 9632 = -2*f + x, -4*z + 3*f = -33816. Is z a composite number?
True
Let v(t) = 80*t**2 - 175*t + 4991. Is v(74) a composite number?
False
Let a(r) = -469*r**3 + r**2 + 2*r + 1. Let d = 39 - 37. Let b be ((-1)/d)/((-9)/(-18)). Is a(b) a composite number?
True
Suppose 0 = j - 0 + 6. Is (-32588)/j - 11/33 prime?
True
Let d be 0 + -41 - (-15 + 13). Let s = d + 45. Suppose 2*m = -5*w + 7725, 0 = 5*w + m - s*m - 7690. Is w prime?
True
Let n be 18/36*-4*1. Let p(b) = 5*b + 8. Let t be p(n). Is t*(0/1 + (-724)/8) prime?
True
Suppose 0 = 80*h - 34*h - 14681498. Is h a prime number?
False
Suppose 0 = 83*o - 85*o - 16, -4*h = -2*o - 1548860. Is h prime?
False
Suppose -3 - 3 = 3*w. Let b(v) = 2*v. Let m(r) = 785*r - 1. Let p(t) = -5*b(t) - m(t). Is p(w) a prime number?
False
Suppose -2*h - 17 = i, -i - 8 = 2*h - 3*i. Let q be (-2)/h + 6/(-63)*3. Suppose q = 3*d - 5*d + 314. Is d prime?
True
Let f(a) = -a*