 0 = -4*t + 3*v + 125. Is t composite?
True
Suppose -41 - 12 = -h. Is h composite?
False
Let j(a) = a + 69. Is j(0) a prime number?
False
Suppose s + k - 44 = 0, 5*s - 356 + 128 = -k. Suppose -2*u - s = -4*m, -m + 4*u - 2 = 8*u. Is m prime?
False
Let i be -1 - (15/(-3) - -1). Suppose -5*y + u + 52 = -77, -i*y = 3*u - 63. Is y composite?
True
Let x = 4 + -1. Let c(g) = 3*g - 3*g**2 + 2 + 18*g**x - 2*g - 17*g**3. Is c(4) a prime number?
False
Suppose 3*r + 613 = -2*c, -3*r - 134 - 478 = 3*c. Let s = r - -288. Is s composite?
False
Let w = -7 - -11. Suppose 219 = w*a + 23. Is a a prime number?
False
Let w(p) = -3*p**2 + 30*p + 20. Let z(s) = 2*s**2 - 20*s - 13. Let k(r) = 5*w(r) + 8*z(r). Let n = 0 + -7. Is k(n) a prime number?
False
Is ((-1)/1)/(2/(-586)) prime?
True
Suppose -2*y - 66 = -552. Suppose 312 + y = 3*j. Is j prime?
False
Is 3/15 - 5244/(-5) a prime number?
True
Let b = 90 + -53. Is b a composite number?
False
Let b(s) = s**3 - 6*s**2 - 2*s + 8. Let m be b(6). Is (-1 + -1)/(3 + m) prime?
True
Suppose -v = -2*v + 70. Let a = -4 + 6. Suppose a*t - 4*t = -v. Is t a prime number?
False
Let j(d) = 36*d. Let h be j(5). Let w = -122 + h. Is w prime?
False
Is (298/(-4))/((-4)/8) composite?
False
Let u(v) = 156*v**2 - 4*v - 17. Is u(-3) a prime number?
True
Let p(z) = -z**3 - 5*z**2 + 11*z - 6. Let f(w) = 3*w**3 + 14*w**2 - 34*w + 17. Let k = -25 + 18. Let t(u) = k*p(u) - 2*f(u). Is t(-7) composite?
False
Suppose 0*r - 3*r + 174 = 0. Is r prime?
False
Let r = 521 + -362. Is r composite?
True
Let x(l) = -142*l - 9. Is x(-10) prime?
False
Is (-2)/5 - (-1914)/10 a composite number?
False
Let k(t) = -3*t**3 - 2*t**2 - 2*t - 1. Let u be k(-1). Let d(b) = 4*b**2 + b**u - b - b**2 - 3 - b**2. Is d(-5) a prime number?
False
Let x = 1181 + 528. Is x prime?
True
Is 90 - (-2 + -1)*-1 a prime number?
False
Suppose 3*p = -2*p + 555. Is p a composite number?
True
Let f(c) = c**2 - 7*c + 8. Let s be f(6). Suppose 3*a = -n - 38, s*n + 3*a + 39 = -43. Is n/(-6)*105/10 composite?
True
Let z(b) be the third derivative of -b**6/8 - b**5/60 + b**3/3 - 4*b**2. Is z(-2) composite?
True
Let t(o) = 16*o**2 + o. Let q(d) = -d**3 - d**2 + d. Let k be q(-2). Let g be t(k). Suppose 0 = -2*i - i + g. Is i composite?
True
Suppose 6*t + 48 = -0*t. Is t/(-8) + -1 + 907 a prime number?
True
Suppose -58 - 61 = -t. Is t composite?
True
Let y(g) = -g**3 + 27*g**2 + 29*g + 14. Is y(27) composite?
False
Suppose 1 = m - 0. Let v be (-2)/(3/(-132)*m). Suppose -3*c + 68 = x, 5*x + 0*x = -3*c + v. Is c composite?
True
Let w(k) = k**3 + 8*k**2 + 4*k + 7. Let p be w(-5). Let j be (p/(-4))/((-4)/(-8)). Let t = j + 110. Is t a prime number?
True
Let b be 271/(-3) + 4/(-6). Let f = b + 158. Is f composite?
False
Suppose 0 = -r + 3*u + 45, -r - 4*u = -1 - 23. Let c be 12/10 + 2/(-10). Is -1 + c + 1 + r a composite number?
False
Let l(y) = -211*y - 85. Is l(-6) a composite number?
False
Suppose 61 = -5*m - 4. Let o = m - -126. Is o a prime number?
True
Is 71 - (0 - -1) - 1 composite?
True
Suppose 15 = 2*q + 5*r + 2, 0 = 4*r - 12. Is (-2)/((-4)/(-634))*q a prime number?
True
Let g(d) = -7*d - 1. Let a be g(1). Let b = 4 + a. Is b*(-2 + (-21)/6) a prime number?
False
Let s = 36 + 136. Suppose 0 = -b - s - 112. Is ((-2)/(-2))/((-4)/b) prime?
True
Let l(p) = p**3 - 11*p**2 + 11*p - 17. Is l(12) a composite number?
True
Suppose -3*c - 7*c + 8350 = 0. Is c a prime number?
False
Let a(n) = 3*n**2 + 6*n - 1. Let s be a(-8). Let j = -90 + s. Is j a prime number?
True
Let v = -8 - -2. Let k be ((-4)/5)/(v/15). Is ((-46)/k)/(0 - 1) a prime number?
True
Suppose 157 = -3*k + 553. Suppose -k = -4*i - 0. Is i a prime number?
False
Let h be 66/10 + 4/10. Let c = 5 - h. Is -1 + (-14)/(1*c) prime?
False
Suppose y - 12249 = -8*y. Is y a composite number?
False
Suppose -f = -3*f + 998. Is f a prime number?
True
Let i be -2*(-2 - (-471)/(-6)). Let f = i + -78. Is f a composite number?
False
Suppose 0 = 3*y - 4*k + 5, -4*y + 4*k = 5*k - 25. Suppose 0 = -2*q - 6 + 18. Suppose y*b - 24 = q. Is b composite?
True
Let b be ((-2)/4)/1*2. Is 10*b/(-2) + 2 a prime number?
True
Suppose -17162 - 3796 = -14*m. Is m composite?
True
Let s = -271 + 867. Suppose 0 = -5*c, -u + c + s = 4*c. Suppose -3*a + u = a. Is a prime?
True
Let x(r) = 2*r**3 - 3*r**2 + 5*r - 4. Let g be (7 - 3)*(-3)/(-4). Let y be x(g). Suppose 0 = -d + y + 17. Is d a prime number?
False
Let s = -46 - -189. Is s prime?
False
Suppose -10 = -0*w + w. Let o = -6 - w. Suppose 4*x + 805 = 5*z - x, -o*x = z - 171. Is z prime?
True
Let m(y) = -2430*y**3 + y. Is m(-1) composite?
True
Is 1799/(-21)*(-2 + -1) prime?
True
Suppose -3*v - v = 2*t - 10, 5*v = 4*t - 33. Is (-2)/t + (-17580)/(-84) composite?
True
Suppose -4 = 4*q - 5*m, -5*m + 7 + 5 = -2*q. Suppose -q*d - 606 = 558. Is (d/(-6))/(1/2) a composite number?
False
Let t = -524 - -1155. Is t prime?
True
Let y(s) = 16*s**2 - s - 1. Suppose -t + 2*x - 3 = 0, x + 5 = -3*t + 3*x. Let r be y(t). Suppose 3*m - 373 + r = 0. Is m prime?
False
Suppose -13801 = -5*t - 1536. Is t prime?
False
Is -26*(-4 + (-6)/4) composite?
True
Let z(r) = 2*r + 0 - r + 2. Let n be z(-3). Is n - -3 - (1 - 46) composite?
False
Is (-6)/(-14) + (3 - (-5258)/14) a prime number?
True
Is 8/(-16)*2*(-191)/1 prime?
True
Suppose 12 = 2*t + 2*t. Suppose 2*v = 3*w - t*v - 288, 0 = 2*v + 6. Is w a prime number?
False
Let a(x) = 4*x**2 - 5*x + 4. Is a(2) a composite number?
True
Let f(z) = 0*z - z + 53*z**3 + 390*z**3. Let b be f(1). Suppose -2*v + b = -5*s, -4*v = -2*s + 6*s - 828. Is v prime?
True
Let m(c) = c - 2. Let q be m(5). Suppose -q*r + 7*r - 80 = -w, -r + 4*w + 20 = 0. Suppose -56 = -4*x + r. Is x prime?
True
Let g(d) = -d**2 + 5*d + 2. Let p be g(5). Let q(m) = 2*m**3 + 2*m**2 - 3*m. Let z be q(p). Suppose -4 = -2*k + z. Is k a composite number?
False
Let l be (-358)/(-3) + 5/(-15). Suppose 0 = -4*o + 5*o - 4, -4*o = -j + 115. Suppose -2*u = b - l, -2*u = b - 3*u - j. Is b a composite number?
False
Suppose s - 13 = 54. Is s a composite number?
False
Let w(d) = -d**3 - 2*d**2 - 8*d + 7. Let r be w(-7). Suppose -r = 2*z - 6*z. Is z a composite number?
True
Let d be (-2)/12 + (-5)/(-30). Suppose -3*c + 2*b = 4*b - 8, d = -2*c + 4*b - 16. Let g = 21 + c. Is g composite?
True
Let h(i) = -i + 10. Let v be h(5). Suppose -1436 = -v*d - j - 0*j, -2*j - 1146 = -4*d. Is d prime?
False
Suppose y - 163 = l - 5*l, 2*l = 5*y - 727. Suppose -u + y = 8. Is u a prime number?
True
Suppose 0 = 3*k - 2*x + 3*x - 4705, -4*k = 4*x - 6284. Is k a composite number?
False
Suppose 7*g + 2*m - 714 = 5*g, -4*m = -16. Is g composite?
False
Suppose 3*u = -6, -2*t + 361 = 4*u - 129. Suppose 4*a - 859 = 3*g, 3*a - t - 374 = -2*g. Is a a prime number?
True
Let n(a) = a - 5. Let k be n(9). Suppose 0 = -2*q + 22 - k. Is q/(-3) + 6 - -34 a composite number?
False
Suppose -800 - 245 = -b. Let z = b + -674. Is z a composite number?
True
Suppose 5*l + c - 17157 = -c, 4*l + 5*c = 13729. Is l composite?
True
Let j = 501 + 218. Is j a prime number?
True
Suppose 0*v + v - 24 = 0. Suppose -j = -v + 2. Is j composite?
True
Let h = 2280 - 1409. Is h a prime number?
False
Suppose 54 + 10 = 2*f. Suppose 5*q = -2*z + 69, -2*z - q + f = -41. Is z a prime number?
True
Suppose 0 = 4*f + f - 15. Suppose -464 + 1724 = 2*w + o, 1899 = 3*w - f*o. Is w a composite number?
False
Suppose 2*y = y + 2. Let k = -51 + y. Let r = 70 + k. Is r composite?
True
Is 6673/(-2 + (-15)/(-5)) a prime number?
True
Suppose -2*b + 6*m + 354 = 2*m, 0 = -3*b + 5*m + 530. Suppose 4*j - 3*j = 0. Suppose -5*k + 0*k + b = j. Is k composite?
True
Suppose 2*b = -3*u + 7675, b - 5*b - 10220 = -4*u. Is u a composite number?
False
Suppose 0 = 2*k + x - 1147 - 1626, 2755 = 2*k - 5*x. Is k prime?
False
Suppose -6*w = -828 - 1626. Is w composite?
False
Suppose -a + 12 = 3*a. Suppose 1 + 5 = -3*v + 3*c, -a*c + 12 = 0. Is 3*v - (-1 - -1) prime?
False
Let m = -2 - -6. Suppose -m*q = -4 - 24. Let x(o) = 3*o - 6. Is x(q) prime?
False
Let y(o) = o**2 + o + 1. Let z(r) = 2*r**3 + 3*r**2 + 2*r + 2. Let t(g) = -3*y(g) + z(g). Is t(2) a composite number?
False
Suppose 2887 = 6*o + 625. Is o a composite number?
True
Let j be -2 + -1 - 18/(-2). Let q(k) = -16*k + 2 - 4 + j + 1. Is q(-8) prime?
False
Let y be (-3156)/(-10) + 4/10. Suppose