5 = 6893133. Is b prime?
True
Let t(g) = -2441*g + 569. Is t(-22) a prime number?
False
Let o(r) = 33939*r + 606. Is o(3) prime?
False
Suppose 1 = -8*b + 17. Suppose b*t + 525 = 3*p, 3*t - 5*p = -2*t - 1305. Let v = t - -587. Is v a composite number?
True
Suppose 2*h = 4*s - 20, 0 = 3*s - h + 2*h - 10. Suppose s*w = w - 4*y + 15612, 0 = -2*w - y + 10413. Let q = w - 2977. Is q a composite number?
True
Suppose 4*o - 8*o = -2*o. Suppose 1 + 10 = p + 2*j, 4*j = 5*p - 13. Suppose 4*t - 179 = -h, -p*h + t = -o*t - 937. Is h composite?
True
Let i(m) = m**3 + 21*m**2 + 18*m + 23. Let s be i(-15). Suppose -2*q + s = 341. Is q a composite number?
True
Let h(j) = 11*j + 79. Let w be h(-7). Suppose w*b - 4611 = 5*o, o + 8276 = 5*b - 3194. Is b a composite number?
False
Suppose 2*p + 43 - 21 = 0. Let n = p + 61. Let w = n + -29. Is w composite?
True
Suppose 5*d + 24*i - 38307 = 26*i, 4*i - 30640 = -4*d. Is d a composite number?
True
Let q(v) = 6*v + 32. Let i be q(-4). Suppose -d = i*d - 26091. Is d composite?
True
Suppose 3750535 = 254*t - 99*t. Is t a composite number?
False
Let i(k) = 524*k**2 + k + 3. Let q be i(5). Suppose -q = -279*f + 275*f. Is f prime?
False
Let v = -61 + 34. Is 6115 + (-9)/(v/12) composite?
True
Suppose -233*v - 2204684275 = -334*v - 684*v. Is v prime?
False
Suppose 16*x - 19*x - 32559 = 0. Let d = x - -21180. Is d a prime number?
False
Let h(p) = 4*p + 4. Let t(x) = -1. Let o(q) = h(q) + 6*t(q). Let v be o(1). Suppose 0 = v*c - 4*a - 750, 4*c - 3*a - 1512 = -a. Is c composite?
False
Let b(r) = 327*r + 11945. Is b(0) a composite number?
True
Suppose -24*y - 343416 = -40*y + 796312. Is y prime?
True
Suppose f - 3 + 0 = -3*x, 4*x = f - 3. Suppose -2*g = 5*w - 427 - 520, w + f = 0. Is g prime?
False
Let w(c) = 39*c**3 + 13 - 13*c**3 - 7*c + 5*c**3 - 3*c**2. Is w(4) prime?
False
Let v be (11 - (-36)/(-6))*-1. Is v/2 + (-80521)/(-14) a composite number?
False
Let h = 1 + 11. Let w(g) be the second derivative of 73*g**3/6 - 5*g**2/2 - 5*g + 1. Is w(h) a prime number?
False
Let v = 14 + -12. Suppose 0 = v*k + 4*n + 584 + 3016, -n = 5*k + 8973. Let j = -677 - k. Is j a composite number?
False
Let w(d) = 16*d + 5. Let x(g) = -35*g**3 - g**2 - g. Let u be x(-1). Let a = u - 27. Is w(a) a composite number?
True
Let k(p) = 20 - 13 + p + 2*p**3 + 11*p**2 + 14. Is k(8) prime?
False
Let o be 42/(-12) + 1*(-4)/8. Let t(z) = -5 + 9*z**2 - 4*z + 6*z + 2*z. Is t(o) prime?
False
Let p = 234946 + 9955. Is p composite?
False
Is -23 + (2 - -15969) + -1 + -4 composite?
True
Let l = 2996198 + -2022697. Is l prime?
False
Let i(j) = 30*j**2 - 39*j - 254. Let f(w) = 6*w**2 - 8*w - 50. Let h(q) = 11*f(q) - 2*i(q). Is h(-8) composite?
True
Let n(s) = 21*s**2 - 13*s - 3. Let c = -7 - -22. Suppose 3*k + 0*k + c = 0. Is n(k) a composite number?
False
Let l(j) = 12366*j**2 - 22*j + 23. Is l(1) prime?
False
Let r = -6381 - -27262. Suppose 1146 = -5*u + r. Is u a composite number?
False
Let n(f) = -264*f + 38. Let s(o) = 791*o - 113. Let m(d) = 8*n(d) + 3*s(d). Let i be m(17). Suppose -4*b + 858 + i = 0. Is b prime?
False
Let s(v) = -354*v**3 + 5*v**2 - 20*v - 11. Is s(-6) a prime number?
True
Let w(l) = 6*l - 243. Let t be w(42). Is 192981/t - 58/(-87) a prime number?
False
Suppose 0 = 5*p + 45*z - 44*z - 1023269, 2*p + 2*z - 409314 = 0. Is p a composite number?
True
Is 380414 - (2/(-10))/(36/540) prime?
True
Let g = 31 - 75. Let j = 36 + g. Let p = j + 61. Is p prime?
True
Let g(s) = 63*s**2 + 2*s + 7. Suppose 0 = -m + 2 - 7. Let c be g(m). Suppose -2*l + c = 3*q, -4*l + 3*q = -0*l - 3162. Is l prime?
False
Is 4 - (9/(-12)*-21)/(90/(-393480)) composite?
False
Is 4*(538288/64 - -15) a prime number?
True
Suppose 0*m + 2*m = -b - 3, -5*m = 20. Let t(h) be the second derivative of 2*h**5/5 + h**3/6 - h**2 - 5*h + 6. Is t(b) a prime number?
False
Suppose -3*u - 4*z + 6*z = -606077, -2*z - 1010119 = -5*u. Is u a prime number?
True
Let m(z) = -38928*z + 5209. Is m(-43) a prime number?
True
Let u(d) = 600*d**2 + 40*d - 11. Is u(-8) prime?
True
Suppose -69 = -3*f - 0*f. Let v = f + 802. Let x = v + -358. Is x composite?
False
Suppose 5*g = -4*v + 3, 0*v = -3*v - 3*g + 3. Suppose -17065 = -d - v*z, 64712 = 5*d + 2*z - 20581. Is d composite?
True
Suppose 0 = -5*a + 20, 4*h + 2*a - 2632 = -a. Suppose 2*q + h = 3*q. Let f = 984 + q. Is f prime?
False
Suppose 0 = b + f, -7*b + 3*f = -4*b. Suppose b*t + t - 982 = -2*k, k + 4965 = 5*t. Let c = 1831 - t. Is c prime?
True
Let t(y) = -551*y**2 + 31*y - 105. Let q be t(3). Let r = -3316 - q. Is r composite?
True
Let n be (-1*(-2)/4)/((-163)/(-652)). Is (n/6)/((-12)/(-36)) + 1138 a composite number?
True
Is (-1063869)/(-10) + 12/120 prime?
False
Let u = 96 + -100. Is (662/u)/((-4)/8) a prime number?
True
Let z(f) = -929*f - 9. Let w(s) = -s. Let a(k) = -6*w(k) - z(k). Is a(4) a prime number?
False
Let a(m) = 23*m**2 - 47*m + 7. Let z(o) = -35*o + 25. Let y be z(1). Is a(y) a composite number?
False
Suppose 26*b - 49*b = -10*b - 1886222. Is b composite?
True
Let j(k) = -3*k**3 - 78*k**2 + 12*k + 226. Is j(-33) a composite number?
False
Let z(q) = -q**2 - 4*q + 5. Let g be z(2). Let f(m) = -1045*m - 20. Let a be f(g). Suppose -3*v - y = v - a, 4*v - 7307 = -5*y. Is v a composite number?
False
Suppose 0 = -13*g + 9*g - 7612. Let f = g + 6246. Is f a composite number?
True
Suppose a + 94890 = v, 225038 = 5*v - a - 249408. Is v composite?
False
Suppose 33733*n - 33711*n = 8480054. Is n composite?
True
Let k(a) be the third derivative of 127*a**4/24 - 163*a**3/6 + 8*a**2. Is k(8) composite?
False
Suppose -18*l - 22*l + 892840 = 0. Suppose 36*c - 90611 = l. Is c a prime number?
True
Let o be 36/10*(-90)/(-54). Is ((-106)/o)/(14/(-42)) a composite number?
False
Suppose 4*p = 148*p - 2449584. Is p prime?
True
Suppose 5*j = -9 + 19, -j - 3942139 = -3*q. Is q a composite number?
True
Suppose -3*l + 383941 = 9*s - 13*s, -4*l - 3*s + 511963 = 0. Is l composite?
True
Let b(f) be the first derivative of 11863*f**3/3 + f**2/2 + f + 68. Is b(-1) composite?
False
Suppose -5*w + 235 = -5*g, 236 = 4*w + 3*g + 83. Let o = -34 + w. Suppose 0 = -o*t - 5576 + 19056. Is t a prime number?
False
Suppose -3*z + 71304 = 3*a, 5*z - a = -4*a + 118830. Let l = z - 15896. Is l a prime number?
True
Suppose 103*d = 62*d + 7421663 + 1622076. Is d a prime number?
True
Suppose -z = -25*j + 29*j - 7, 5*j = 0. Let g(p) = 19*p**2 + 22. Is g(z) a prime number?
True
Let x be -13730*(-58)/28 + 2/7. Let g = 47810 - x. Is g composite?
True
Let y(n) = 4*n - 7. Let o be y(3). Let i(a) = -6 - o*a + 2 + 147*a. Is i(3) a prime number?
False
Suppose -5*z = g - 3*g + 163568, 2*z + 3*g + 65412 = 0. Let q = -16343 - z. Is q composite?
False
Suppose 0 = 5*p + 2*k - 4*k + 18, -3*p + 4*k - 22 = 0. Is -14*(-2469)/12 - (-3)/p prime?
True
Let g(q) = -5*q**2 + 8*q**2 + 17 - 3*q - 6*q**2. Let n be g(9). Let f = 330 - n. Is f a prime number?
False
Let s(w) be the second derivative of -w**4/12 - w**3/6 - 10*w. Let f(x) = 6*x**2 - 12*x + 13. Let g(i) = f(i) + 3*s(i). Is g(11) composite?
False
Suppose -76*b + 238157 + 352439 = 0. Is b composite?
True
Let b = 19 + -19. Suppose -6*n = s - 2*n - 2934, 14734 = 5*s + 4*n. Suppose 0 = y - 3*v - 1477, -2*y + 4*v + s = -b*y. Is y a prime number?
True
Let k(l) = 2686*l - 1067. Is k(6) a composite number?
True
Let g = 807 - 1622. Let i = -268 - g. Suppose 0 = t + 4*b - 533, 2*t = t + 3*b + i. Is t prime?
True
Suppose -16*n = -60082510 + 506940 + 1796610. Is n a prime number?
False
Suppose 33*d + 3 = 34*d. Suppose d*m + 0*m = -k + 20983, -3*k = 2*m - 13984. Is m a composite number?
True
Suppose 6 = 2*r - i, 0 = -4*r - i - 0*i + 12. Let x be 8 - (4 - r)*3. Suppose 0 = 3*s - 3*m - 279, -214 = 3*s - x*s - 5*m. Is s a prime number?
True
Let n(m) = m - 1. Let v(x) = -18 + 8*x + 8*x + 4*x + x. Let y(p) = 2*n(p) - v(p). Is y(-5) a composite number?
True
Let f = -7 - -11. Suppose 4*o + f = 6*o. Suppose 5*u - 2 = -12, -5447 = -3*x - o*u. Is x a prime number?
False
Let y be (-184)/6*(7 + (-138)/3). Suppose -11*d - y + 11019 = 0. Is d a prime number?
False
Suppose -11*t + 459636 = -80123. Is t a prime number?
True
Let b be (-28)/(-4)*-1 - -101692. Suppose 7*d + 8*d - b = 0. Is d prime?
True
Suppose -2*h = 4*m - 342874, 31*m - 36*m = -5*h - 428630. Is m a composite n