22*t. Is t a composite number?
False
Let f(s) = 8 + 4*s + s**2 + 0 + 7*s - 4*s. Let t be f(-6). Suppose m + t*q = 4*q + 67, 131 = 2*m - q. Is m a composite number?
True
Let v(b) = -6975*b + 1550. Let a(f) = f + 1. Let m(r) = 1550*a(r) - v(r). Let p be m(1). Suppose -2*y + 5*j + 2724 = 0, j = 5*y - p + 1738. Is y composite?
True
Let q(l) = l**3 - l + 2. Let c be q(0). Suppose -5*y + c*y = 6. Is (5 + y)*(-3378)/(-18) composite?
False
Let g(f) = -213*f - 8. Let x be g(-4). Suppose 3*m = 7*m - x. Is m composite?
False
Suppose 0 = -5*w - i + 85298, -4*w - 4*i + 26430 = -41818. Is w prime?
False
Suppose 6144 = 2*t + 5*c, 8619 - 2479 = 2*t + 3*c. Suppose 4*b - b = -5*h + 4620, 0 = -2*b + h + t. Is b prime?
False
Let v = 43968 + 1861. Is v composite?
True
Let w be (-2 - 3) + 4 + 4. Suppose -m + 6*p + 8 = p, w*m = -3*p - 12. Is (-7)/((2 - m)/(-4)) composite?
False
Let h be (666/15)/(4/10). Suppose 75 = 3*t + 4*s - 51, h = 3*t - s. Let y = 45 + t. Is y prime?
True
Let w be 1 - (-2)/1 - -115. Let c = w + -70. Is 6 + c + (0 - -1) prime?
False
Suppose -2*x = -2*r + 296, -6*r + 5*x = -2*r - 595. Is r a prime number?
False
Let a(s) = -7*s**2 + 9*s. Let b be a(9). Let d = 1075 - b. Is d composite?
True
Let g(m) = 548*m**3 + 1. Let p be g(-1). Let u = p + 972. Suppose 5*f = -40 + u. Is f a prime number?
False
Let g(m) = 15*m**2 - 3*m + 83. Is g(8) a prime number?
True
Suppose -2*z = -w + 9597, 10*z - 15*z = 3*w - 28736. Is w prime?
True
Let t(y) = 56*y**3 + 5*y**2 - 7*y + 17. Is t(4) a prime number?
False
Let f(k) = k**3 + k**2 - k + 6139. Suppose 2 = -r - 2*m - 4, -15 = 2*r + 5*m. Is f(r) a composite number?
True
Suppose -h + 4*r = 2768, h + 2*r + 2750 = -0*h. Let b = -1563 - h. Is b a composite number?
False
Let u = -8 - -5. Let a be u - -2 - (1 - 133). Suppose -5*y - 3*s = -a - 159, -2*y + 4*s = -116. Is y composite?
True
Suppose 0 = -26*s + 24*s + 1846. Is s prime?
False
Let r(b) = -b + 6. Let f be r(4). Suppose -3502 + 1418 = f*a. Is a/(-5 + 6 + -3) a composite number?
False
Suppose -4*i = -5*y + i + 5, 3*i + 1 = 5*y. Is 287 - -5 - y/1 a prime number?
True
Let u(j) = -j**3 + 12*j**2 + 22*j - 10. Let c be u(9). Let f = c + -142. Is f a composite number?
True
Let m(u) = 11200*u + 5. Is m(2) composite?
True
Let j be (-27)/6*(-1 + 7). Let t = 114 - 68. Let r = t + j. Is r a composite number?
False
Is 2/((-102)/(-1711719)) + 8/(-68) composite?
False
Suppose 2*h = -3*l + 121, -6 = -h + 2*l + 44. Suppose j - 3*i = -24, -5*j - h - 46 = 3*i. Let z = 74 + j. Is z composite?
False
Let q(i) = 361*i**3 + 3*i**2 + 3*i - 5. Is q(2) composite?
True
Suppose 4*g - 24 = 7*g. Let m(v) = -v - 3. Let k be m(g). Suppose q = k*q - 812. Is q prime?
False
Let t = -6 - -11. Suppose -2*p = r + 2, 2 + 12 = -2*p + t*r. Is p/8 - (-2219)/28 a composite number?
False
Let w(n) = 37*n**2 - 35*n + 23. Is w(-16) prime?
False
Let l(k) = 1987*k - 131. Is l(4) a composite number?
False
Suppose 0 = -16*q - 20759 + 143463. Is q composite?
False
Is 1/(-12) - 556136/(-96) a prime number?
False
Suppose 4*n - 205 = 3*g, 0 = 4*g + 3 - 7. Let d = 142 + n. Suppose 0 = -0*r - r, -2*u + d = -3*r. Is u a composite number?
False
Let a be (-6)/9*12/(-2). Suppose -v - a*j = -22, 4*v + 0*j - 114 = -3*j. Suppose v = -2*i + 196. Is i prime?
True
Let q(f) = f**2 + 4*f - 5. Let z be q(-5). Suppose z = -4*u - 5*w + w + 6924, 8 = -2*w. Suppose 5*d + 4*y = u, -3*d + 0*y = 3*y - 1041. Is d a prime number?
True
Is 3857 + (-2 - (-49)/7) a prime number?
False
Let d be (13 - 14)*1/2*0. Suppose -48 = 4*x - 7*x + 3*o, -3*x + 4*o + 51 = d. Is x composite?
False
Suppose -4563 = -j + 4*p, -2*p + 588 + 13171 = 3*j. Is j a composite number?
False
Suppose -9952 + 871 = -3*r. Is r a prime number?
False
Suppose -11*n + 12*n = 15634. Is n a composite number?
True
Is (-833542)/(-14) - (156/42 - 4) a prime number?
True
Let z(v) = -v**3 + 12*v**2 - 11*v + 3. Let a be z(11). Suppose -j - 32 = a*j. Is 6/8 + (-290)/j composite?
False
Suppose 7*y + 8 = 8*y. Is y/16 - (-522)/4 composite?
False
Let x(d) = 81*d**3 - 3*d**2 + 4*d - 3. Let q(a) = 3*a + 15. Let s(o) = o + 8. Let f(r) = -2*q(r) + 5*s(r). Let t be f(8). Is x(t) prime?
True
Suppose 0 = 174*n - 197*n + 132227. Is n a composite number?
False
Is 892658/152 + 1/4 a prime number?
False
Let x = -14 + 15. Suppose -5*b - 4*z + 19 = 0, 5*b - 3*z = x + 11. Suppose -b*g = 2*g - 815. Is g a composite number?
False
Let d = 22797 + -14372. Suppose -8*y + 3*y - 2*f = -d, 3*f + 15 = 0. Is y a prime number?
False
Let b = -1372 + 2169. Is b a prime number?
True
Let i(x) = x**3 + 7*x**2 - 3*x + 1. Let q be i(-5). Suppose 2*p = 4*p - q. Is p prime?
False
Let q(o) = -o**2 - 10*o + 16. Let s be q(-11). Suppose -274 = -h + z, s*h + 2*z = 916 + 419. Is h composite?
False
Let d be (9/(-6))/(6/(-16)). Let f(q) = 4*q**3 - 14*q**2 + 2*q + 6. Let g be f(5). Suppose 0*k + d*i + g = 2*k, k - 79 = 4*i. Is k composite?
True
Let n(m) = -m. Let i be n(-1). Suppose v - 10 = 3*w - 16, w = -2*v - 5. Is (-6 - v - -214)/i a composite number?
False
Let n(y) = -y**3 + y**2 + y - 1. Let p(s) = s**2 + 8*s + 12. Let a be p(-6). Let f be n(a). Let m(u) = -487*u. Is m(f) a composite number?
False
Suppose 16 = 2*d + 10. Is 166/1 - (0/(-3) + d) a prime number?
True
Is ((-42866)/4)/((-7)/14) a prime number?
True
Let d = 2 + -9. Is (2 - -17)*(d + 4 - -44) prime?
False
Suppose -4*w = 36*o - 37*o - 46313, -57889 = -5*w + 2*o. Is w prime?
True
Suppose 4*x = -3*q - 8826, -2*q - 6613 = 3*x - 3*q. Let s = -1486 - x. Is s composite?
False
Suppose 146565 = 3*q - 3*a, 3*a = 4*q + 6*a - 195392. Is q a prime number?
False
Let k(t) = t**3 + t + 287. Let l(s) be the second derivative of s**5/20 + s**4/3 - s**3/2 + 5*s**2 - 5*s. Let n be l(-5). Is k(n) composite?
True
Is (1318/6)/(89/1335) a composite number?
True
Let t(j) = 15*j**3 + j**2 - 5*j - 3. Suppose 0 = 3*w + w + 3*v - 13, -2*w - 4*v = -4. Is t(w) prime?
True
Let j(b) = -2160*b - 151. Is j(-6) prime?
True
Let l(k) = 4*k + 3. Let t be l(10). Let y = -4 + t. Is y a prime number?
False
Is (4 + (-20)/6)*(-12414)/(-4) composite?
False
Suppose -2*m + 4*d + 6124 = -0*m, 0 = 3*d - 3. Let f = m + -1927. Is f a composite number?
True
Let i be ((-1557)/(-2))/((-18)/(-168)). Let c = i - 4503. Is c/11 - (-20)/(-110) prime?
True
Let a(j) = -19*j + 72 - 17 + 8*j - 17*j. Is a(-13) a prime number?
True
Suppose -4*v = -113 - 211. Suppose 5*u + 3*a - 6*a - 19 = 0, -4*a = -3*u + 18. Is u*(v/(-6))/(-9) composite?
False
Let y(v) = v - 37 - 39 + 76. Suppose -5*h = 5*p - 59 - 6, 5*p = 4*h - 34. Is y(h) a prime number?
True
Suppose 3*s = b + 4, 3*b - 7*b - 16 = 3*s. Suppose -4*w = 4*k - s*k - 368, -3*w + 2*k = -291. Is w a composite number?
True
Suppose 0 = -4*k - 5*k + 36. Suppose 0 = c - 2, k*c - 3*c = -3*v + 6953. Is v prime?
False
Let s(y) = -y + 44. Let d be s(0). Let j(z) = z**3 - 32*z**2 + 89*z + 47. Let o be j(29). Let l = o + d. Is l prime?
True
Let c(n) = -3*n**2 - 15*n + 8. Let x be c(-6). Let q = 2 + 0. Is ((-27)/45)/(q/x) a composite number?
False
Let w = -1877 - -3124. Is w prime?
False
Let a be -1*(-3 + 3)/1. Is (12/8 - a)*458 composite?
True
Let c = -2549 + 4255. Is c a prime number?
False
Let w(p) = 28*p + 1. Let g be w(1). Let q(y) = -22*y**2 + 3*y - 2. Let x be q(2). Let d = g - x. Is d prime?
True
Suppose 5*r = -i + 809, 73 = -2*r - i + 399. Is r a prime number?
False
Let l(o) = -o**3 - o**2 - 3. Let w be l(-3). Let u = 120 - w. Let z = 156 - u. Is z prime?
False
Suppose 4*h = -5*x + 7341, -2*x = 3*h - 2*h - 1839. Is h a composite number?
True
Let d be (-36)/9 + 6 + 2. Suppose d*f + 0*f - 140 = 0. Is f prime?
False
Suppose -12 = -3*j + 4*j. Is (-4)/(-6) + (4 - 580/j) a prime number?
True
Let c(g) = -3*g**3 - 36*g**2 + 49*g + 65. Let k(u) = 2*u**3 + 24*u**2 - 33*u - 43. Let v(d) = -5*c(d) - 7*k(d). Is v(11) a composite number?
True
Let d(i) = 2*i**3 - 4*i**2 + 9*i - 14. Let m(v) = -3*v - 16. Let u be m(-7). Let c be d(u). Let y = c + -94. Is y prime?
False
Let a(n) = -2*n + 9. Let f be a(7). Let y be 3/15 - 3474/f. Suppose y = 6*l - l. Is l prime?
True
Let m(p) = 4*p**2 - p - 6. Suppose 24*s - 15 = 21*s. Is m(s) a composite number?
False
Let y(w) = 2*w**2 + 0*w**2 + 2*w - 5*w - 10*w**3 - 3. Let t be (4/(-3))/((-2)/(-3)). Is y(t) a composite number?
True
Let z(w) = -w + 10. Let a(x) = 10*