-178)/(a/(-9) + (-32)/18) prime?
True
Let u be 9/(-12) - -1 - 1082/8. Let i = 634 - u. Is i prime?
True
Suppose 3*b = -3*g - 12, -2*b + 3*b = g + 8. Suppose 24 = 2*v - 8. Let k = v - g. Is k a prime number?
False
Suppose -2*l + l + 21952 = -3*p, -l = p - 21964. Is l prime?
True
Let f(i) = i**2 - 2*i - 3. Let m be f(4). Let b(h) = 311*h + 10. Is b(m) composite?
True
Is 296 + 7 - (4 + -8) prime?
True
Suppose -4*n = 3*o - 9261 - 4523, -3*n + 5*o = -10367. Is n a composite number?
False
Suppose 0*s - 2*s = 18. Let t be (3 - s)*(-2)/(-6). Suppose 0 = -t*j - g + 3*g + 58, g + 1 = 0. Is j a prime number?
False
Let r(t) = -2*t + 1. Let n be r(-5). Suppose s = -2*s - 6, -4 = -2*p - s. Suppose -p*c = 2*f - n - 47, -136 = -5*f - 3*c. Is f a prime number?
False
Is 183/5 - (0 + (-6)/15) prime?
True
Let g(h) = 9*h**3 + 11*h**2 + 19*h + 10. Is g(9) composite?
True
Let s(i) = -i**2 - 12*i + 7. Let h be s(-12). Let p(f) = 13 + 3*f - 4 + 4 + h*f. Is p(10) a prime number?
True
Let h be 24/(-30) - (-14)/5. Let m(u) = 443*u - 9. Is m(h) composite?
False
Suppose 2*t + t = -3. Let b = t + -8. Let i(f) = -f**3 - 8*f**2 + 6*f + 4. Is i(b) composite?
False
Suppose -2*h + 588 = h. Let j = -75 + h. Is j prime?
False
Is 3/(-5) - 72176/(-10) composite?
True
Let m(f) = -113*f**2 - 2*f. Let l be m(2). Let h be 12836/16 - (-1)/(-4). Let p = l + h. Is p composite?
True
Let i(o) = 3999*o + 156. Is i(3) a composite number?
True
Suppose b + 3*k - 9 = 0, 0*b + 3*b = 3*k + 3. Suppose -46 - 49 = -b*v + 5*o, 0 = 4*v - o - 121. Is (-2)/6 - (-100)/v composite?
False
Let j = 30 - 32. Is (-1)/(-2) - 1253/j - -4 prime?
True
Let r(j) = -j + 14. Let w be r(14). Suppose -2*t + 3*d + 203 + 138 = w, 3*t - 469 = -4*d. Is t prime?
True
Let r(l) = -9*l**2 + 18*l + 43. Let w be r(-22). Let t = -3318 - w. Is t prime?
False
Suppose -11*f + 50900 + 59045 = 0. Is f a composite number?
True
Let y(p) = p**3 - 3*p**2 - 8*p - 3. Suppose 0*v + v + 5 = 0. Let c(l) = -l**3 - 6*l**2 - 8*l - 7. Let q be c(v). Is y(q) prime?
False
Suppose -3*h = u - 8458, 4*h - 13412 + 2141 = 5*u. Is h prime?
True
Suppose -g - 29 = -2*u + 2*g, 5*g = 5*u - 60. Suppose 0 = n - t - 5, 0 = -3*n + t + u + 4. Is 44/(-33) + 373/n prime?
False
Suppose f + 3*f - 21596 = 0. Suppose 0 = 3*q + 2*m - f, m = -2*q + 6*m + 3612. Is q prime?
True
Let y = -276 + 9395. Is y a prime number?
False
Suppose -22*p = -31*p + 64089. Is p composite?
False
Suppose -33681 = -19*d + 188980. Is d a composite number?
False
Is (-2 + 3)/((-69048)/(-69042) + -1) composite?
True
Is 29667 - 2 - (2 + 0) a prime number?
True
Suppose 0 = -o + 52 + 185. Suppose o = -2*g + 3*g. Suppose 0 = 3*y - 6*y + g. Is y composite?
False
Let r(c) = 2*c**2 - 2*c - 4. Let s be r(-2). Suppose 0*v + 10744 = s*v. Is v a composite number?
True
Let z(g) = -268*g - 11. Let b be z(-8). Suppose 3595 = 2*l + 3*l - 3*u, 3*l + 3*u = b. Suppose h = 4*o + 20 + 113, 3*o = 5*h - l. Is h a composite number?
True
Suppose -3*a + 37 = 5*x, -7 = -a - 4*x + 17. Suppose -267 - 305 = -a*z. Is z a composite number?
True
Let f be 4/(-5) + (-1)/5. Is ((-4895)/(-15))/(f/(-3)) a prime number?
False
Let f(y) = y**2 + 8*y - 56. Is f(-21) prime?
False
Let s(b) = -45*b - 158. Is s(-39) a composite number?
False
Is (1 + 1)*9/((-252)/(-238574)) prime?
True
Suppose 8*v - 8735 - 4377 = 0. Is v composite?
True
Suppose 0 = -4*s + 3*s - u - 8, -32 = 4*s - 4*u. Let p be (-2 + -7)*s/(-12). Is (2 - -35)*(11 + p) a prime number?
False
Let h(k) = -k**3 - 7*k**2 + 7. Let f(r) = -r**3 - 13*r**2 - r + 13. Let d(s) = 2*f(s) - 5*h(s). Is d(6) composite?
True
Let t(q) = 516*q + 5. Let l be (-4 - 0) + (13 - 8). Is t(l) a composite number?
False
Suppose 0 = 5*u - 10, 5*s + 2*u = -3*u + 5. Let t = s + 14. Suppose -98 = -3*p + t. Is p composite?
False
Suppose 3*n - s + 6*s = 6839, 4560 = 2*n + 3*s. Is n composite?
True
Let o(x) = -438*x + 341. Is o(-7) a composite number?
False
Suppose -15*i - 24440 = -104435. Is i a composite number?
False
Suppose 1795 + 5740 = 11*p. Is p prime?
False
Let k(q) = -q**3 - 21*q**2 + 25*q + 73. Let s be k(-22). Suppose s = 2*u - 21. Is u composite?
True
Is (1188229/14 - 7)*2 prime?
True
Let j(k) = k**3 + 6*k**2 - 7*k - 2. Let i be j(-7). Is (i - 0)/((-1980)/(-993) - 2) prime?
True
Let d be 996/(1/((-10)/(-15))). Suppose -5*l = k - 587 - d, l + 3*k - 239 = 0. Is l prime?
True
Let j(s) = -41456*s - 13. Is j(-1) composite?
False
Suppose 0 = 8*u + 2*u - 3560. Suppose u = 4*y - 1592. Is y composite?
False
Let u(r) = 13*r + 0 - 17 - r**2 + r**2 - r**3 - 16*r**2. Is u(-18) a composite number?
False
Let v = 41083 + -28514. Is v composite?
False
Suppose -28 - 4 = -2*g. Let p = g + -19. Let h(d) = 63*d**2 + 2*d + 2. Is h(p) composite?
False
Suppose -2*h - d + 4 = 0, 0 = -7*h + 4*h - 3*d. Suppose 786 = -9*a + 840. Suppose -h*s - 370 = -a*s. Is s a prime number?
False
Let m(g) = 5 - 25*g - 25*g + 68*g + 57*g. Is m(4) composite?
True
Suppose -296 = 14*v - 22*v. Is v a prime number?
True
Suppose -3*v + 19 = 2*v - 4*s, -3*s = -v + 6. Is (-4)/30*v - 3734/(-10) composite?
False
Let p = 16 - 17. Is 355 + p/(4/8) a composite number?
False
Suppose 0*c = -b - 3*c + 194, -2*b - c = -378. Let l = 7 - 3. Suppose -b = -l*p + 256. Is p composite?
True
Let a = 117 + -112. Suppose 3143 = 4*h + 759. Suppose -a*m = -m - h. Is m prime?
True
Let d(o) = -2*o**3 - 13*o**2 - 11*o - 2. Suppose 0 = -2*a + 37 - 55. Is d(a) a prime number?
False
Suppose -2848 = -7*q - q. Suppose -4*a = -3*a + 3*o + 17, 0 = 5*a - 2*o + 34. Is (q/a)/((-2)/4) a composite number?
False
Let o(d) = -18 + 30 - 10*d + 3*d**2 - 17 - 2*d**3. Is o(-4) a prime number?
True
Let j(x) = x - 4. Let l be 23/5 - 6/10. Let s be j(l). Suppose s = -5*a + 2*a + 174. Is a composite?
True
Suppose -2*l + 3 + 1 = 0. Let g be (11/l)/((-9)/(-18)). Suppose 7*m - g*m + 1876 = 0. Is m composite?
True
Suppose -5*p = -2*t + 5509, -10379 = -4*t - 3*p + 600. Is t a prime number?
False
Is 14 + -8 - 37196/(-1) - -5 a composite number?
True
Let k(y) = -4*y - 20. Let m be k(-6). Suppose 7*x + m*i - 39 = 2*x, -10 = -x - 3*i. Suppose -x*w + 6*w + 293 = 0. Is w a composite number?
False
Let a(k) = k**2 - 15*k - 18. Let y be a(17). Suppose 0 = f + 4, 5*p = 4*p - 4*f - y. Suppose -n = c - 6*c + 1111, -3*c - 4*n + 685 = p. Is c prime?
True
Let y = 220 + -112. Let q(h) = -h**2 - 5*h - 3. Let x be q(4). Let i = x + y. Is i a prime number?
False
Let j(d) = -d**3 - 7*d**2 - 4*d + 8. Let m be j(-12). Let t = -523 + m. Is t composite?
True
Let c be (1 + -5)/(44/(-11)). Is c/3 + 3632/12 prime?
False
Let a(f) = -8188*f - 159. Is a(-5) a composite number?
True
Let b = 52570 + -36201. Is b composite?
False
Let t(l) = -3101*l**3 + 2*l**2 - 1. Let k be t(-1). Suppose 3*x = -3*x + k. Is x a composite number?
True
Let d(f) = 53*f + 2 - 35*f + 55*f. Suppose 25 = 3*g + 4*k, 6*g = 3*g - 5*k + 29. Is d(g) prime?
False
Let n(s) be the first derivative of -s + 2*s**2 - 4 + 1/2*s**4 - 7/3*s**3. Is n(6) a composite number?
True
Suppose 2*j + 383 = -5*i + 1775, -2*i = 4*j - 2816. Is j a composite number?
True
Let q be (-1062)/(-5) - 1/((-10)/6). Suppose f - 197 = 5*k - 3*k, -3*k + 4*f - 288 = 0. Let s = k + q. Is s prime?
True
Suppose 24 + 36 = 4*i + 4*b, 9 = 3*b. Let x = i + -18. Let l(s) = -2*s + 11. Is l(x) composite?
False
Let l = -559 - -967. Let s = l + -265. Is s a composite number?
True
Let f(u) = -3*u**2 - 4*u + 3. Let d(z) = -6*z**2 - 9*z + 7. Let a(s) = 2*d(s) - 5*f(s). Is a(-2) prime?
True
Is (-177180)/(-8) + (-7)/14 prime?
True
Suppose 0 = a - d - 1521 + 580, -3*a - 4*d + 2823 = 0. Is a a prime number?
True
Suppose 2*k + 2*f + 177 = 3235, 0 = -4*f. Is k composite?
True
Let g = -6663 + 11790. Suppose g - 76 = 4*v - 5*f, -1247 = -v - 4*f. Is v a composite number?
False
Let q(t) = 5932*t + 203. Is q(20) a prime number?
True
Let g(a) = a**3 - 4*a**2 + 3*a + 4. Let h be g(3). Suppose 2*o - 5976 = -4*k, -2*o - 2994 = -2*k - 0*o. Suppose -k = -h*p - p. Is p a prime number?
False
Let o = -66 - -88. Suppose 25*u - 777 = o*u. Is u composite?
True
Let f(m) = -2*m**2 - 34*m - 40. Let h be f(-16). Let p(a) = -114*a + 39. Is p(h) a composite number?
True
Let n(b) = 6942*b**2 - 3*b + 2. Is n(1) a prime number?
False
Let f = 342 - 131. Suppose 3*c - 440 = f. Is c a prime number?
False
Let b(g) = -g**2 - 3*g + 3. Let f be b(-