 -5*c - 3*y. Is c composite?
True
Is ((-18)/(-12))/(3/262) a composite number?
False
Suppose 3*y + 297 = 3*d, 5*d + 0*d - 2*y - 489 = 0. Is d a composite number?
False
Let m = -1 - -1. Suppose 4*i - 2*f + m*f - 14 = 0, -5 = 2*i - 5*f. Suppose 3*x = -4*r + 87, -8*x + 3*x = -i. Is r prime?
False
Let z(p) = 33*p - 4. Is z(9) a composite number?
False
Suppose -2*j + 4 = -0*j. Is j*1*57/6 composite?
False
Let r(n) = 4*n - 3. Is r(13) a composite number?
True
Suppose -2*t - 16 = -854. Is t prime?
True
Let j(z) = -z**3 - 12*z**2 + 5*z + 2. Let o be j(-6). Is 2/(-11) + o/(-11) prime?
False
Let w(l) = 3*l**2 + 11*l + 4. Let o(q) = -q**3 - 5*q**2 - 3*q + 2. Let f be o(-3). Is w(f) a composite number?
True
Let r = 15 - 9. Is ((-9)/r)/3*-50 a prime number?
False
Suppose 6 = y + 2*z - 9, 4*y = -3*z + 35. Suppose 0 = -3*g, y*c - 561 = -3*g + 214. Is c a prime number?
False
Suppose -2*y - 66 = 74. Let t = y + 189. Is t composite?
True
Suppose 0 = -d + 6*d + 4*p + 3, 5 = -5*d - 5*p. Let x be d + (-70)/(3/(-3)). Let y = 138 + x. Is y composite?
True
Let n = -3426 + 5761. Is n composite?
True
Suppose 5*k - 4*y = -5 - 0, -k = 5*y - 28. Suppose 0 = -5*w + k*w + 158. Is w a prime number?
True
Let q = 134 + 227. Let j = 715 + -495. Let v = q - j. Is v prime?
False
Let g = -58 + 104. Let t(f) = -2 + 3 + g*f**2 - 9*f**2 - f. Is t(1) a prime number?
True
Let a(q) = 3*q - 13. Is a(9) prime?
False
Let l(y) = y + 1. Let z(u) = -17*u**2 + 2*u + 10. Let q(w) = 5*l(w) - z(w). Is q(3) prime?
True
Let r(m) = -m**3 - 6*m**2 - 2. Let n be r(-6). Is (-2)/(n + 1) + 23 a composite number?
True
Let f(x) be the first derivative of -3*x**4/4 + x**3/3 + 3*x**2/2 + x + 3. Is f(-2) composite?
False
Suppose 3*x = -3*h - h + 2059, 5*h + 5*x = 2570. Is h a prime number?
False
Let q(f) = -108*f - 7. Is q(-6) prime?
True
Suppose 3*a = 2*c - 7 + 25, 0 = -2*a - 2*c + 12. Let m(d) = d**2 - 3*d + 2. Let h be m(2). Suppose h = x - a*x + 1255. Is x a prime number?
True
Is 6/(-12)*2*-15 prime?
False
Let n = 1040 - 633. Is n a composite number?
True
Let q be 20/(-8)*182*-1. Suppose q = m + 4*m. Is m prime?
False
Let w(r) = r. Let k be w(4). Let b = k + -14. Let n(y) = y**2 + 5*y - 11. Is n(b) a prime number?
False
Suppose 0 = -4*m - 5*x + 3505 + 3498, 2*m + 2*x - 3504 = 0. Is m a composite number?
True
Let w(a) = 2*a**2 - 2*a - 5*a**3 - 6*a**3 + 1 + 5*a. Is w(-2) a prime number?
False
Let z = -2 - -4. Let q be -3 + (5 - z) - -2. Suppose -q*h + 0*h + 14 = 0. Is h a composite number?
False
Suppose -4*c - 6 = -6*n + 4*n, 0 = 3*c - 4*n - 3. Is c/((-6)/(-29))*-14 a prime number?
False
Is (421 + -3 + 1)/1 a composite number?
False
Suppose 0 = -3*n - 4*i + 24, -3*n + 15 + 0 = i. Let f(u) = u**2 - 2*u - 2. Is f(n) prime?
False
Let g be (5*-7)/(-1 + 0). Suppose 0 = -3*w + g - 2. Is w composite?
False
Suppose 0 = 2*i - 0*i + 62. Suppose -36 = -u + 4*u. Let x = u - i. Is x prime?
True
Suppose -4*d - 1588 = -2*y + 1118, 2*y - 2716 = 2*d. Is y a prime number?
False
Let l(s) = s**3 + 12*s**2 - 13*s + 11. Let b be l(-13). Suppose -b*g + 4*g = -1043. Is g composite?
False
Suppose t - 1678 = -13*h + 8*h, 5*t - 4*h - 8535 = 0. Is t prime?
False
Let u(z) = -15*z + 6 + 3*z**2 + 5 + 5*z. Is u(8) composite?
True
Let m be 0 - -38 - (-2 - -3). Let j = m + 15. Suppose 2*r = 5*l + j, -2*r - 2*r + 94 = -5*l. Is r composite?
True
Let m(n) = -4*n**3 + n**2 - 1 + n**2 - n**2 - n. Let o be m(-1). Suppose 2*h - p = o*h - 142, p + 201 = 4*h. Is h a prime number?
False
Suppose 0*d - 80 = -8*d. Is d prime?
False
Suppose -1026 = -5*a + 109. Suppose -2*r + 595 = 5*b, -2*b + a = 4*r - r. Is b composite?
True
Is 7/28 - ((-36286)/8 - -1) prime?
False
Let m = 666 + -326. Suppose -4*u + 3*d + m = 0, u + 80 = 2*u - 2*d. Suppose 6*v - 2*v = u. Is v a composite number?
True
Let q(i) be the second derivative of i**4/6 - 2*i**2 - 6*i. Is q(7) a prime number?
False
Is 25228/36 + 10/45 prime?
True
Let i = 0 - -32. Let a = i - 13. Is a prime?
True
Suppose 0 = -4*f - f + 20. Let u(o) = -o**2 + 5*o - 2. Let y be u(f). Suppose -y*b = -2, 0*x - 3*x - 2*b = -113. Is x a composite number?
False
Let m(r) be the second derivative of -11*r**3 + 2*r**2 + r. Let c be m(-4). Is (c/16)/((-2)/(-8)) composite?
False
Let z be 172 + (-3 - -5) + 1. Let q = z + -108. Is q a composite number?
False
Suppose 5*f = 8 - 3. Let g(b) = 191*b. Is g(f) a composite number?
False
Suppose 0 = -5*w + 3*z + z + 27529, 0 = 5*w - 3*z - 27533. Is w prime?
False
Suppose 876 = 5*g + 26. Suppose o = -o + g. Is o prime?
False
Let b(p) = -p**3 - 2*p**2 + p + 3. Is b(-8) composite?
False
Is (27400/(-60))/(2/(-3)) prime?
False
Suppose -3 = -l - 0*l. Suppose 125 - 386 = -l*g. Is g composite?
True
Is 8715/7 + 4 - (-2 - -2) prime?
True
Suppose -i = 5*w - 0*i - 4540, 3*w = -4*i + 2741. Is w prime?
True
Suppose z - 6 + 2 = 0. Suppose -z = -k - 2*o, 3*o = -k + 2*o + 5. Suppose -t - 30 = -k*t. Is t composite?
True
Let g(f) = -f**2 + 7*f + 4. Let m be g(7). Suppose 0*x - m*x + 12 = 0. Suppose x*t - 43 = 2*t. Is t composite?
False
Suppose 4*g - 2791 - 3069 = 0. Is g composite?
True
Let k(i) = -2*i**3 + 5*i**2 + 3*i - 1. Let n(s) = -3*s**3 + 5*s**2 + 3*s. Let p(g) = 4*k(g) - 3*n(g). Let a be p(-3). Is (3 - a)*23/(-2) prime?
True
Suppose 0*u + 2*u + 86 = 0. Let x(l) = -l**3 + 7*l**2 + l + 5. Let q be x(7). Let j = q - u. Is j a prime number?
False
Let x = 7 + -3. Suppose -10*g + 12*g = 188. Is (-21)/14 + g/x prime?
False
Let h(l) = 2*l + 5. Let s(j) = j**3 + 4*j**2 - 6*j + 3. Let m be s(-5). Is h(m) a composite number?
True
Let i = 12717 + -2852. Is i a composite number?
True
Suppose 324 = 3*n - 3*r, n + 3*r = r + 123. Is n a prime number?
True
Suppose 0 = 4*b - 8101 + 905. Is b a composite number?
True
Suppose 0 = -2*x + 7*x - 20. Let z = x + -6. Is -2 + z*1 + 23 composite?
False
Let j(m) = -m**3 - 7*m**2 + 13*m - 7. Let w = -4 + -6. Is j(w) composite?
False
Let j = 2 - 0. Let d be 1 + 2 + (j - 2). Suppose 0 = -0*o - d*o + 921. Is o a composite number?
False
Let q(x) = -x**3 - 4*x**2 - 8*x. Is q(-7) a composite number?
True
Suppose 0*w - 12652 = -4*w. Is w prime?
True
Suppose 3*i + 715 = 5*q - 195, 5 = q. Let k = i - -197. Is (-12)/8*k/3 a prime number?
False
Suppose -2*h = 2*h - 656. Let f(c) = 63*c + 3. Let m be f(4). Let j = m - h. Is j a composite number?
True
Let h(p) = 5*p**3 + 4*p**2 + 2. Is h(5) composite?
False
Suppose -57 = -4*f - v, -3*v = 7*f - 2*f - 73. Let d = 27 - f. Is d a composite number?
False
Let q be (-1)/((15/(-9))/5). Suppose 0 = q*k - t - 53 - 51, 178 = 5*k + 3*t. Is k composite?
True
Suppose -632 = -3*w - 2*z, -5*w - z + 0*z + 1044 = 0. Suppose -5*m = -3*f - 171 - 52, 5*f = -4*m + w. Is m a composite number?
False
Let j = 69 - -240. Is j a prime number?
False
Let s = -1553 - -2182. Is s a composite number?
True
Suppose 114*y - 103160 = 106*y. Is y a prime number?
False
Suppose -2*l + 592 = 14. Suppose -3*u = -s - l, 2*s + 396 = 4*u - 2*s. Is u a prime number?
False
Is (-1 - (-2)/6)/((-12)/79578) prime?
True
Suppose 0 = -4*v + 16975 - 5115. Is v a composite number?
True
Let u(d) = 12*d**2 + 2*d + 7. Is u(6) composite?
True
Suppose 2*q = -4*s - 3*q + 1671, -5*s + 2096 = -q. Is s a composite number?
False
Let j(x) = 3077*x + 26. Is j(3) a prime number?
True
Let m be ((-3)/(-2))/(3/6). Suppose -2*j = -d + 41, m*d - 4*d + 41 = 5*j. Let a = d + -4. Is a a composite number?
False
Let y be (-47640)/(-36) + (-4)/(-6). Let w = y + -853. Is w a prime number?
False
Let x = -146 - -309. Is x a prime number?
True
Is 3/3 + (-294)/((-4)/4) a composite number?
True
Let m(f) = f - 1. Let l be m(-6). Let j = l - -12. Suppose j*t = t + 124. Is t a prime number?
True
Suppose -3*l + 4*z + 182 = 5*z, 0 = -l + 4*z + 39. Suppose 0 = 2*a - l - 89. Is a prime?
False
Suppose -4*u - 3*r - 12 = 3, 3*u = -3*r - 15. Suppose u*x + 2*x + 16 = 0. Let a(l) = l**2 + 9*l + 11. Is a(x) a prime number?
True
Is (15/(-21) - -1) + 21486/14 a composite number?
True
Let v = -939 + 1356. Is v a composite number?
True
Let b(k) = 149*k - 3. Let y be b(2). Let m = y - 164. Is m a prime number?
True
Let j(u) = -10*u + 9. Suppose 0 = -2*w + 4*i - 28, -6*w + 2*w - 4*i - 56 = 0. Is j(w) composite?
False
Let v be ((-3)/(-2))/((-2)/(-4)). Suppose 0 = -2*k + 3*k - 4. Suppose v*i - 136 = -7*t + 2*t, k*i = -4*t + 168. Is i comp