2/(-11) - l/(-220)). Suppose -5*w = 4*p - 3*p - 1010, -797 = -h*w - 3*p. Is w composite?
True
Suppose 0*k + 4 = 4*k. Let m be (k + 2215)*(1 + -2 - 4). Let q = m - -16169. Is q composite?
True
Let h = -25962 - -181769. Is h a composite number?
True
Suppose -118*b + 10572806 - 1936381 = 57*b. Is b prime?
False
Let k(y) = -3*y + 20. Let g be k(6). Suppose -g*r + 3*r - 640 = 0. Suppose -3*w + 3*h = -594, -3*h = -5*w + 356 + r. Is w prime?
False
Is ((-2)/(-4))/((-27)/(-97254)) a prime number?
True
Let s(j) = 5906*j**3 - 3*j**2 - 3*j - 12. Let f be s(-3). Is (f/(-16))/(1 + 1/(-4)) prime?
True
Let b be (-233 - 1) + (-2 - 2). Let a be b/(-10) - (-10)/50. Suppose a*f + 1833 = 27*f. Is f a composite number?
True
Let o be 4/6*1083/(-38). Let g(n) = -n**3 - 4*n**2 - 22*n - 42. Is g(o) a prime number?
True
Let d be (3 + 0)*(-121)/(-3). Suppose -23*b - 1326 = -40*b. Let l = d - b. Is l prime?
True
Suppose 95*c + 3635 - 704640 = 0. Is c a composite number?
True
Is 1559151*-16*6/(-864) a prime number?
False
Suppose 14*g + 5*g - 28*g = 0. Suppose -12959 = -5*z + 2*c + 9706, -3*z - c + 13588 = g. Is z a composite number?
True
Let x(h) = -5*h**2 + 100*h + 5. Let r be x(29). Suppose -5*i - 2276 = -i. Let v = i - r. Is v prime?
False
Let x(q) = -q**2 - 6*q + 5. Let p be x(-6). Let w be p/(-3) - (-265)/(-3). Let b = w - -239. Is b composite?
False
Let z(r) = 2 + 2*r + 5*r - 4*r**2 + 5*r**3 + 7*r**2 - 10*r. Let y be z(2). Is 267/(-2)*(-224)/y a composite number?
True
Let b(t) = 2512*t**2 - 3*t - 2. Suppose q - 3*y - 11 = 0, 0 = 2*q - y - y - 6. Let i be b(q). Let g = -352 + i. Is g composite?
False
Let i = 296530 + -167259. Is i a composite number?
True
Suppose 5*k + 9 = -26, -t + 4*k = -351549. Is t a composite number?
True
Suppose 2*m + 4*w = 5094, -5*m + 11853 = -w - 871. Let o = m + -1668. Is o composite?
False
Let l(z) = -15*z**3 + 16*z**2 + 53*z + 19. Is l(-11) a composite number?
True
Suppose 0 = 4*j + 5*d - 558, 0*j + 146 = j - 2*d. Let z = -312 + j. Let l = 803 + z. Is l prime?
False
Let n(t) = t**2 - 8*t + 1. Let i be n(8). Suppose 0 = -2*w, 2*w + i = -z + 4. Suppose -227 - 136 = -z*a. Is a composite?
True
Let g(u) be the first derivative of -2*u**3/3 - 4*u**2 - 11*u - 5. Let l be g(-2). Is (21/15)/(l/(-1695)) a composite number?
True
Suppose 5*d = 3*t + 1764579 + 2088760, -d + 770661 = -4*t. Is d composite?
False
Let l(q) = -5*q + 7. Let d be l(3). Let n(s) be the first derivative of 4*s**3 - s**2/2 - 18*s - 28. Is n(d) composite?
True
Let p(j) = j**3 - 6*j**2 + 764*j + 34. Is p(25) composite?
True
Suppose 13*u - 1786384 = -396827. Is u prime?
False
Let p(a) = 93*a**2 + 57*a + 1639. Is p(-52) prime?
True
Let w(m) = 9529*m**2 + 36*m + 480. Is w(-13) a prime number?
False
Let z = 114221 - 38352. Is z a composite number?
False
Let s = 180457 - -99634. Is s prime?
False
Let w(l) = 36*l**2 - 27*l - 80. Is w(55) prime?
False
Let m be (1 - -3) + 17496/9. Suppose 3*p = -5*i + 6*p + 5302, 0 = 2*i - 4*p - 2118. Let f = m - i. Is f composite?
False
Is 4/(-30) - (-20762069)/555 a prime number?
True
Let d(c) = 440*c**2 - 9*c + 1. Let g be d(3). Suppose b - g = -b. Is b prime?
False
Let h(p) = p + 63*p**2 - 4*p - 13 - 59*p**2. Is h(-6) a prime number?
True
Let t(r) = 533*r**2 + 3*r + 2. Let h be t(-2). Let m(s) = 49*s**2 - 6*s + 12. Let v be m(-3). Let i = h - v. Is i composite?
False
Let q = 2 + 53. Let z(f) = 290*f**2 - 5*f - 142*f**2 - 147*f**2 + q. Is z(-24) a composite number?
False
Let o be (-104)/40 + 14/(-35). Suppose 0*u = 3*u - 27. Is 37*(-3)/u*o prime?
True
Is 33/(-1232)*-16 - ((-1262066)/14 - 1) a prime number?
True
Let q = -382 - -379. Is (-1 + 0/q)/(16/(-157648)) prime?
False
Is 2782362/99 - 3/(27/15) prime?
False
Suppose -8*u = -187960 + 69456. Is u a prime number?
True
Let v = 13507 - -3194. Let y = v + -9522. Is y a prime number?
False
Let j = -625555 - -954542. Is j a prime number?
False
Suppose 0 = 24*d - 20412 - 138444. Is d a composite number?
False
Suppose -7*o + 3*o + 64 = 0. Suppose -3*u - o = -u. Is (-3132)/u + 1/(-2) a composite number?
True
Let o(t) = 14*t**2 + 1. Suppose -z = 4*z + w - 12, -2*w = 2*z. Suppose 5*i + z = 18. Is o(i) composite?
False
Is ((-64287)/(-54))/((-7)/(-238)) a prime number?
False
Let l(w) = 293*w**2 + 7*w - 1. Let q(x) = -x**3 - 18*x**2 - 47*x - 24. Let c be q(-15). Is l(c) a composite number?
False
Let i(x) = -x**3 - x + 4. Suppose 0*r + r = -3*r. Let s be i(r). Is ((-815)/(-10))/(3 - 10/s) composite?
False
Let h(l) = 137776*l**3 - 9*l**2 + 10. Is h(1) composite?
False
Let v(q) be the second derivative of 16/3*q**3 - 1/2*q**2 - 14*q + 0. Is v(7) composite?
False
Let i(j) = j**3 + 15*j**2 - 16*j + 12. Let r be i(-16). Suppose 2*g = 3*g + 4*f + 1285, -3*f - r = 0. Let h = -586 - g. Is h a composite number?
False
Suppose a + 13511 + 17033 = 2*z, -4*a = 2*z + 122126. Let k be 1/(-6) - a/36. Let b = k - -267. Is b composite?
True
Let a(k) = -28720*k + 3055. Is a(-7) a composite number?
True
Let h(k) = -3*k**3 + k**2 + k. Let a be h(0). Suppose 4*y + 599 = 2387. Suppose 2*w - y = 5*s, a = -2*w + 3*s - 168 + 605. Is w prime?
True
Let m be (22/6 - 4)/((-2)/60). Suppose 13*v - m*v = 11379. Is v prime?
True
Let f be (5 + (-2084)/(-8))*8/(-6). Let i = 565 + f. Is i prime?
True
Let k(a) be the second derivative of a**5/20 + a**4/4 - a**3/6 + 5*a**2/2 - 8*a. Let t be k(-19). Is (-1)/(t/(-1918) - 3) a prime number?
False
Let k(r) = -126 + 15*r - 3*r**3 + 8*r**2 + 2*r**3 + 120. Let m be k(8). Let t = m - -137. Is t a composite number?
False
Suppose -3*m = -6*x + 381471, 4*x + 4*m + 107769 - 362065 = 0. Is x a prime number?
True
Let l(r) = 34426*r + 1199. Is l(3) composite?
True
Let y = -264 + 267. Is (5/y + -2 + 0)*-921 prime?
True
Suppose 8090 + 2972 = 4*j + 2*p, -5*j = -2*p - 13823. Suppose 4*s = 5*l + j, -2*l = -2*s - 5*l + 1355. Is s composite?
True
Let w = 1143748 - -1033951. Is w a composite number?
False
Let m be 921/(3 + (-56)/21). Let x = -1220 + m. Is x a prime number?
True
Suppose -32*c + 3*x = -37*c + 33383, -c = 2*x - 6685. Is c composite?
False
Let t(l) = 2*l**3 + 253*l**2 - 123*l + 520. Let s be t(-127). Let a(g) = g + 8. Let m be a(-5). Suppose m*d + 8793 = s*d. Is d composite?
False
Let v = 316879 - -25768. Is v a prime number?
True
Let m = 845 + -2123. Let i(u) = 936*u - 1. Let v be i(2). Let n = m + v. Is n composite?
False
Let b = 38671 + 34836. Suppose 2*x + 45759 - 9006 = z, -2*z + b = -3*x. Is z composite?
True
Suppose -4*i = w - 22153, -5*i + 2*w = -w - 27687. Suppose -3*k - 4*q + 4169 = 0, -k + 5*q + i = 3*k. Suppose 0 = -4*x + 241 + k. Is x composite?
True
Suppose -62*c + 1024262 - 220523 = -4997663. Is c a composite number?
True
Suppose 531*y - 529*y + 223451 = 3*v, 74495 = v + 5*y. Is v a prime number?
False
Is -11*27/(-198)*(2177/3 - 1) a composite number?
False
Let d(j) = 21048*j - 87. Is d(5) a composite number?
True
Let n = 57742 - -38609. Is n a composite number?
True
Is ((-1372)/10 + -16)*(1 + 434/(-4)) prime?
False
Let a(v) = 8*v - 13. Let r be a(2). Suppose -p - w + 2962 = 0, r*w = 2*p - 0*w - 5939. Is p a composite number?
True
Let k = 647172 - 421007. Is k composite?
True
Let g = -429 - -431. Suppose -46660 = -5*c - 5*r, g*c + 2928 - 21587 = -3*r. Is c a composite number?
False
Suppose 4*n - 3*n = 5. Let j be 11653/n + 2/5. Is ((-2)/(-3))/(6/j) composite?
True
Suppose 5*s + 4*j - 966419 - 1384590 = 0, -j + 2351006 = 5*s. Is s a composite number?
False
Let n(z) = 497*z**2 + 8*z + 145. Is n(20) composite?
True
Let l(d) = -185*d**3 + 2*d**2 + 3*d + 1. Suppose -5*q + 28 = -q + 4*y, -4*y = -2*q + 8. Let w(r) = r**3 - 5*r**2 - 7*r + 5. Let o be w(q). Is l(o) composite?
True
Suppose 5*d = 8*d - 12. Suppose d*i + 4*f - 9 = -1, 5*i = 5*f + 40. Suppose 0 = -2*z - i*q + 13978, 3*z - 2*q = -2*z + 35003. Is z a composite number?
True
Let b be (-75 - -9)/((-3)/(-196)). Let d = -273 - b. Is d prime?
False
Is 211301 - ((-1 + 0)*1)/(12/(-36)) composite?
True
Let g = 934 - 264. Let t(k) = 3*k + 6. Let i be t(-2). Suppose -2*o + g + 264 = i. Is o a prime number?
True
Suppose 0 = a - 483 - 429. Suppose -2718 = -3*w - 3*i, 15*w + a = 16*w - 5*i. Is w prime?
True
Let d = -31781 + 17941. Let m = -299 + 290. Is 10/45 + d/m a composite number?
True
Let y be (14/10)/((-14)/(-70)). Suppose 18227 = -y*t + 18*t. Is t a