= y. Is n a composite number?
True
Suppose -5*k = 4*h + h, -3*h = k + 2. Let a be k + -1 - (-4 + 2). Suppose -2*o + 170 = 2*b, o = a*o + 5*b - 69. Is o prime?
True
Let j be 4/20*0 + (-1 - -5). Suppose 1562 = j*f + 2*s, f - 388 = -0*f - 3*s. Is f composite?
True
Suppose 6*i - 3*i = 3*h + 15, -5*i = 3*h - 25. Suppose 4*x - 18209 = -i*w - 0*w, 0 = 4*w + 3*x - 14567. Is w prime?
False
Let d = -18 - -5. Let k = -15 - d. Is 228/20 + k/5 prime?
True
Suppose -124889 = -f - 2*m + 6*m, 3*f + 4*m = 374651. Is f prime?
False
Let p = 10 - 6. Let z(u) = 41*u**2 - 4*u - 7. Let r be z(p). Let n = r + -430. Is n a prime number?
False
Let h(x) = 1425*x - 7. Let k be h(3). Suppose -3*l + k = l. Is l a composite number?
True
Suppose 2*u = -u. Suppose -4*k - y + 5 = -u, -3*y + 15 = -5*k. Suppose k = -3*v - 2*v + 110. Is v composite?
True
Suppose -11 + 5 = -2*b. Is (-7)/(3/(-171)*b) composite?
True
Let k(v) = v**3 + 12*v**2 - 3*v + 32. Is k(-9) a composite number?
True
Let j = 291 - -529. Let a be (3/6)/(2/j). Suppose f - 36 = 5*c + a, 0 = -5*f - 3*c + 1261. Is f a composite number?
False
Let y be (-10)/(-3)*(-24)/20. Let i(q) = q**3 + 3*q**2 - 4*q. Let s be i(y). Suppose -5*f - 15 = s, 0*p + 117 = p - 2*f. Is p a prime number?
False
Suppose 3*y + 46 = 2*h - y, 19 = h + 2*y. Is h a composite number?
True
Let z = -29 + 41. Suppose 6*o - 2*o = z. Is (o + 3)*47/3 a composite number?
True
Suppose -2*c + 194 = -3*b, -c - 2*c - 3*b = -261. Suppose -3*i = 47 + c. Let w = 37 - i. Is w a composite number?
False
Let o(w) = -576*w - 727. Is o(-57) prime?
False
Let v be 4/(-24) + 57/18. Suppose 0 = w + 4*l + 1428, 2*w - 2*l + v*l + 2891 = 0. Let k = w + 2029. Is k a prime number?
False
Suppose -o + 4*h - 83 = 4*o, -5*h - 50 = 4*o. Let g = -17 - o. Let t(x) = 10*x**2 + x - 1. Is t(g) a composite number?
False
Is (-29178)/12*((-16)/4 + 2) prime?
False
Is 284952/132 + -1*3/(-11) composite?
True
Suppose 2*n - 490 = 2*d + 1104, -3*d - 3188 = -4*n. Is n prime?
True
Suppose 4 = -2*r + 3*z + 14, -5*z = 5*r. Is 5444/16*4*(-1 + r) a prime number?
True
Suppose 5*l + 2*w = 11157, 3*w = 5*l + 5638 - 16790. Is l prime?
False
Suppose -138*w = -134*w - 3692. Is w a composite number?
True
Let d be ((-3 - -7) + -5)*13. Let g = d - -11. Is g/(-3) + (-11788)/(-12) prime?
True
Suppose 2*c - 9*c + 761061 = 0. Is c a composite number?
True
Let j be 303/(-2) + (-1)/(-2). Let v = -31 - j. Is -3*(1 - v/9) a prime number?
True
Let g = 21574 + -9972. Is g a composite number?
True
Suppose 73*t - 77*t = 3800. Let h = t - -2193. Is h a prime number?
False
Suppose -4*b - 2*h = 284 + 242, -10 = 2*h. Let j = b + 458. Is j a composite number?
True
Let u = 2 - -23. Suppose 0*d + u = 5*d. Suppose -3*c + 208 = -d. Is c a composite number?
False
Let z be (2 - (-359)/2)/((-2)/(-4)). Suppose -158 = -q + z. Is q a composite number?
False
Suppose -q + 9 = -4*q - 3*h, 0 = -4*h - 20. Suppose 2*z + 2*f = -2*z + 8, -q*z = -f - 12. Suppose 368 = g + s + z*s, 3*s - 362 = -g. Is g prime?
True
Suppose -5*y - m = 346, 0 = 2*y - 3*m - m + 156. Let f be (-84)/y + (-8)/(-10). Suppose 0 = -f*p + 147 + 377. Is p a composite number?
True
Suppose 0 = 4*x - 7*x. Suppose x*m - 3*m + 590 = 4*z, -2*z = -4*m - 306. Is z prime?
True
Suppose 0 = -0*h - 4*h - 20, 3*g + 3*h - 5226 = 0. Let t = -968 + g. Is t a prime number?
False
Let x = 0 - -17. Let d(y) = y**3 - 14*y**2 + 19*y + 3. Is d(x) composite?
False
Let z(c) = c**3 + 12*c**2 - 10*c + 6. Let k(m) = 8*m**3 - 3*m**2 - 4*m - 2. Let y be k(-1). Is z(y) prime?
False
Let s(f) = 17*f**2 + f. Let r be s(-2). Is r/(-22) + 194*1 a prime number?
True
Let l = -3845 - -12866. Let g = l - 3454. Is g a prime number?
False
Suppose 227*u + 363446 = 250*u. Is u a composite number?
True
Is 8*916 + 6/2 a composite number?
False
Is 347/2*(51 + 23) - 0 a prime number?
False
Let x(o) = 10*o**2 - 15*o + 17. Let l(n) = -n**3 + 18*n**2 - 20*n + 41. Let f be l(17). Is x(f) a prime number?
False
Let l = 400 - -1485. Let d = l + -672. Is d prime?
True
Suppose 0 = -63*h + 55*h + 158776. Is h a composite number?
True
Let x(n) = -5182*n - 15. Is x(-1) prime?
True
Suppose 0 = -5*p - 24 - 1. Let v = 8 + p. Is v + -2 + -1 + 33 a prime number?
False
Let x(k) = -12830*k - 929. Is x(-9) a composite number?
True
Let p(w) = w**3 + 9*w**2 + 8*w + 2. Let f be p(-8). Suppose 5*j - 1002 - 435 = -z, 5*z - 584 = -f*j. Is j + (3 - (-1 - -4)) composite?
True
Let q(b) = 2*b + 2. Let o(k) = -k. Let m(s) = 6*o(s) - q(s). Let l be m(-3). Suppose 0 = -3*y + 35 + l. Is y prime?
True
Suppose -3*j = -4*j - 542. Let i = j - -833. Is i prime?
False
Let b be ((-27)/(-4))/(9/24). Suppose -b*d + 13*d + 1535 = 0. Is d prime?
True
Let u be (-6)/(-4)*4/3. Suppose -5 = -m + 4*b, -5*m - b + u*b = 13. Is (-512)/(-14) + m/(-7) a composite number?
False
Is 754426/20 + -12 + 468/40 a composite number?
True
Let b(f) = f**3 - 3*f**2 - f + 2. Let g(q) = -q**2 + 3*q + 2. Let r be g(3). Let c be b(r). Is 12/c + 48 + 1 composite?
True
Is (-5)/25 - 3812/(-10) composite?
True
Let r be 5*2 - (-6)/(-6). Is 3504/r - 4/12 a prime number?
True
Let c be (-15)/((-4)/(-4)) + -2. Let y = -8 - c. Is y prime?
False
Suppose 3*p = -d - 6, -5*d - 7 = -3*d + p. Is (-15)/40 + 3763/8 + d composite?
False
Let d = 15 - 12. Let t be 14/8*216/d. Suppose 3*a - t = 105. Is a prime?
False
Suppose 0 = 4*n - 2*v - 2206, -v + 1 + 4 = 0. Is -1 + (n - 1/(-1)) a composite number?
True
Let r(m) be the third derivative of m**5/20 + m**4/24 - 3*m**3/2 - 4*m**2. Is r(8) prime?
True
Suppose -4*o + 429539 + 70709 = 2*j, -o = -2*j - 125067. Is o prime?
True
Let d(w) = 245*w**2 - 22*w - 26. Is d(-9) a composite number?
True
Let s(x) = -3*x - 2. Let j be s(-2). Suppose -2*r + j*r = -5*l + 18, 5*r = -l + 22. Let t(a) = 190*a - 1. Is t(l) prime?
True
Let c = -3650 - -7351. Suppose -5*t + c = -2*b, 2971 = -4*t + 8*t - 5*b. Is t prime?
True
Suppose p + 4*p = 0. Suppose p = 3*h + 3*h - 5610. Suppose 0 = -k + h + 542. Is k a prime number?
False
Let m be (-2 - -2)/(0 - 1). Suppose 3 + m = j. Suppose -5*p = j*s - s - 471, -2*s = 2*p - 468. Is s prime?
True
Suppose -5*p - 505 = -2*l, 3*p + 511 = 2*l + 4*p. Let q(x) = 9*x**2 + 3. Let s be q(3). Suppose -3*v + l = -s. Is v prime?
True
Let n be -43 - ((-15)/5)/1. Let q be (n/16)/(2/(-4)). Suppose 0 = 4*i - 3*c - 203, 4*i - q*c - 163 - 34 = 0. Is i a prime number?
True
Let t = 3698 - 666. Is (-1)/(-3) - t/(-12) composite?
True
Suppose 0 = -g + 4*x + 18877, 41 - 66 = -5*x. Is g a prime number?
False
Let u(t) = 1414*t + 7. Let v(r) = -1415*r - 5. Let m(i) = -2*u(i) - 3*v(i). Is m(1) composite?
True
Suppose 2*a - 3*n + 12 = 0, 2*n + 8 = 4*n. Suppose 5*y - 1099 + 164 = a. Is y prime?
False
Let k = 3 - -7. Suppose -k*w = -2216 + 106. Is w composite?
False
Suppose 3*r = -3*u - 3, 0 = -u + 3*u - r - 10. Suppose -q + 2*p + 69 = 0, -6*p - u = -3*p. Is q a composite number?
False
Let d be (20 - (-9)/3) + -2. Suppose d*b + 646 = 23*b. Is b composite?
True
Let c = -2801 + 7733. Suppose 4*u + 2056 - c = 0. Is u a prime number?
True
Let j = -4 - -7. Let v(t) = 23*t**2 + 4. Is v(j) composite?
False
Is (5596/6)/(8/12) a composite number?
False
Suppose 4*v - 3*v = -27. Is v/(-36) + (-3730)/(-8) a composite number?
False
Let i(z) = 8*z**2 - 11*z + 2. Let d(x) = -17*x**2 + 21*x - 5. Let n(h) = 2*d(h) + 5*i(h). Let q be n(10). Let a = 681 - q. Is a prime?
True
Let q be -3*-8*92/(-24). Let x = 311 + q. Is x composite?
True
Is -1 + -1 - (-44168)/8 composite?
False
Let f = -93 + 97. Suppose -511 = -2*k - 2*l + 279, f*k - 1580 = 2*l. Is k a prime number?
False
Let p(d) = 16*d**2 + d + 17. Is p(-6) prime?
True
Let w = 54 - 47. Is 498/(-18)*(-2 - w) a prime number?
False
Suppose 0 = -v - 5*x + 72, 4*v + 2*x - 256 = -2*x. Suppose a - 47 = v. Is a prime?
True
Let l = -123 - -125. Is (8996/(-8))/(l/(-4)) + 0 prime?
False
Suppose -86*l + 87*l = 0. Is (-1 - l)*(-5 + 10*-36) composite?
True
Suppose 23*x + 2258 - 106517 = 0. Is x a composite number?
True
Suppose -5*c - 5*g = -g - 68763, -27510 = -2*c - 4*g. Is c a prime number?
True
Let l(p) = 90*p**2 + 26*p - 113. Is l(9) a composite number?
False
Let n(y) = -5*y - 25*y - 2 - 1. Let u = 5 - 8. Is n(u) a composite number?
True
Suppose 5*x - x = 5*k - 2603, -4*x = 8. Let t be k/12 - (-4)/(-16). Suppose -d + t + 144 = 0. Is d a composite numb