 (-23)/(-1) + 1 + q prime?
True
Let m(c) = -c + 21. Let b be m(11). Let d be b/(-4)*(-16)/20. Suppose -d*k + 551 = l, k = -7*l + 2*l + 2755. Is l a composite number?
True
Let q(a) = a**2 + 10*a - 8. Suppose 2*j + 7*y = 2*y - 47, -3*j + y = 28. Let d be q(j). Suppose 1012 = d*v + 307. Is v a composite number?
True
Suppose 26*j - 19329 = 23*j. Is j a composite number?
True
Suppose t = 3*i + 21, 70 - 7 = 5*t - i. Is 929/((t/(-3))/(-4)) prime?
True
Let g(w) = -261*w**3 - 36*w**2 + 3*w + 39. Is g(-8) a composite number?
True
Let b(q) = -18949*q. Let g be b(-1). Let c be g/6 - 8/48. Suppose 646 = u + 5*a, 5*u = -a - 0*a + c. Is u prime?
True
Let s = -88431 + 142616. Is s prime?
False
Suppose 0 = 5*k + n - 15, -4*k = k - 3*n + 5. Suppose -2*r + 0*r = -j + 1343, -k*j = -2*r - 2686. Is j prime?
False
Let u(a) = 5*a**2 - 53*a - 45. Is u(-26) a prime number?
False
Let q be -4*3/(-12) + 1. Suppose -q*k - 4 = 0, l - k + 0*k = -28. Is (-686)/l + 2/15 composite?
False
Let x = 32 + -867. Let l = -542 - x. Is l prime?
True
Let x(i) = -i**2 + 4*i + 6. Let z be x(5). Let t(j) = -47*j + 122*j + 179*j + 1 + 376*j. Is t(z) a composite number?
False
Let b = 7 + -15. Is (1238/b)/(6/(-24)) prime?
True
Suppose 4*c - 9322 = -5*n, -21*c = -24*c - n + 6997. Is c a prime number?
True
Suppose -6 = -6*p + 6. Suppose -4 = p*f - 80. Is f composite?
True
Suppose a - 3 = 0, -18 = -3*m - 0*m - 4*a. Let p be 12/66 - (-5)/(55/7038). Suppose 4*v - m*t - 1286 = 0, 2*v + 3*t - 5*t = p. Is v composite?
True
Let a(k) = k**2 - 8*k + 5. Let v be a(7). Let u(n) = n + 2. Let s be u(v). Let c(y) = -y**2 + 503. Is c(s) a composite number?
False
Let r(q) = 3*q + 2. Let z be r(6). Let a be 4/z - 549/(-5). Suppose a - 1 = i. Is i a prime number?
True
Suppose 3*r = x + 40550, -8*x + 9*x - 27035 = -2*r. Is r a composite number?
True
Let i = -3546 + 5879. Is i a prime number?
True
Suppose -p + 12 = 3*p. Let f be (-2 + 1 - -3) + 5. Suppose -p*h - 1412 = -f*h. Is h a composite number?
False
Suppose -2*x - 3*a + 90 = 0, 3*x - a = 2*a + 135. Is ((-10)/x + (-11)/(-9))*673 a composite number?
False
Let u(h) = h - 11. Let r be u(16). Suppose -864 = -r*y - b, 4*y + 2*b - 704 + 8 = 0. Suppose -14*d - y = -16*d. Is d prime?
False
Let m(w) = -639*w + 50. Is m(-11) composite?
False
Let y(v) = -2058*v - 5. Is y(-1) prime?
True
Let f be (2 - -2 - 3)*4. Let y(r) = -4*r**2 + 13*r - 8. Let x(n) = -13*n**2 + 38*n - 23. Let d(z) = -3*x(z) + 8*y(z). Is d(f) a composite number?
True
Is ((-500)/(-8) + 8)*6/9 prime?
True
Suppose p = 3*p + 4*l - 3606, 4*l + 7188 = 4*p. Suppose 2*o - 2*f = 4239 + p, 3*f - 3031 = -o. Is o composite?
True
Let h(u) = -3 + 2 - 1184*u - 237*u. Let v be h(1). Let d = 2056 + v. Is d composite?
True
Let j(u) = u**2 - 6*u + 8. Let g be j(5). Let x be (1 + -7)*(-6 + 5). Let l = g + x. Is l a composite number?
True
Let c(m) be the first derivative of m**3/3 + 2*m**2 - 17*m + 2. Let v be c(5). Suppose -2*x + 3*f = -611, 0 = x - f - 278 - v. Is x composite?
False
Let p(i) = 2*i**2 + i + 1. Let r be p(-1). Let k(m) = 3*m - 4. Let o be k(3). Suppose r*u = 3*s + 49, -31 = -0*u - u - o*s. Is u composite?
True
Suppose j = -c + 71 + 25, 0 = 3*c + j - 278. Suppose -94*k + c*k = -4683. Is k prime?
False
Let j(g) = -103*g + 12. Let q = 24 + -34. Is j(q) prime?
False
Let r = -35787 + 94064. Is r composite?
True
Suppose -3*c = -8*c + 15. Let q(s) = -2*s + s**c + 1 - 5 - 2*s**3. Is q(-5) prime?
True
Let p(h) = 7*h**2 + 2*h - 2. Let v(b) = 5*b**3 - b**2 - b. Suppose -5*d = 2*f - 13, 0 = -4*f + 2*f - 3*d + 7. Let y be v(f). Is p(y) composite?
False
Let o be (-1)/2*(-6 + 8) + 184. Let l = -92 + o. Is l a composite number?
True
Let q(m) = 67*m - 15. Let n(z) = 34*z - 7. Let r(c) = -5*n(c) + 2*q(c). Let k be r(16). Let p = 990 + k. Is p prime?
True
Suppose 53*m - 739460 - 56229 = 0. Is m composite?
False
Is 11/11 + 0 + (-17820)/(-6) a composite number?
False
Let c(v) = 287*v - 388. Is c(21) a composite number?
False
Let r = -3128 + 9045. Is r prime?
False
Let b(n) be the first derivative of 157*n + 1/2*n**2 - 2 + 1/3*n**3. Is b(0) prime?
True
Let t(l) be the first derivative of -7*l**2/2 + 26*l - 13. Is t(-15) a composite number?
False
Let k(j) = j**2 + 3*j + 691. Suppose -2*d + 0*d = 6*d. Is k(d) a prime number?
True
Suppose -11*j + 5*h = -9*j - 8324, 16648 = 4*j + h. Is j composite?
True
Let b = 4324 + -213. Is b prime?
True
Let x(l) = -3 - l + 8*l + 1 + 0. Let z be x(-1). Let i(s) = 2*s**2 + 13*s + 13. Is i(z) a prime number?
False
Let k(j) = -j**3 - 5*j**2 - 3*j + 4. Let h be k(-4). Suppose h = -4*a + 1317 + 2207. Let c = -624 + a. Is c a prime number?
True
Suppose 4*p = -0*p + 5*v - 293, -388 = 5*p + v. Let i = -231 - p. Let l = -57 - i. Is l a composite number?
False
Suppose 2*o - o + 12 = 3*x, 0 = 2*o - 4*x + 16. Suppose 3*q - 2*j + 28 = o, 2*j = 2*q + 22 - 6. Let a(k) = -k**3 - 11*k**2 + 3*k - 2. Is a(q) prime?
False
Is 12/22 - (-16321700)/748 prime?
True
Let i(p) = -1619*p - 135. Is i(-20) a prime number?
False
Let u(a) = 2*a - 14. Let r be u(13). Let l = -10 + r. Suppose -f = l*f - 1497. Is f composite?
False
Let h(p) = 3*p**2 - 1. Let x be h(-1). Let g be (2 - x)/3*1. Suppose -3*l + 145 = 5*v, 3*l - 161 = -g*l - v. Is l prime?
False
Let v = 29596 + -11639. Is v composite?
False
Suppose -5920 = -c - 5*z, -2*c - 11819 = -4*c - 3*z. Suppose -2*f - c = -7*f. Is f composite?
False
Let o(f) = -f**2 - 20*f + 16. Let s be o(-21). Let j(u) = 9*u**2 - 11*u - 29. Is j(s) a composite number?
False
Suppose 2*j = 4*z + 71146, -4*j - z + 35582 = -3*j. Is j prime?
False
Is 6/20 + 0 + (-2320686)/(-180) composite?
False
Suppose 3*a - 8*a + 5*n + 65445 = 0, -3*a + 2*n = -39271. Is a prime?
True
Suppose 0 = 2*l - 0*l. Suppose l = j - w - 735 - 2, -4*j = w - 2963. Suppose -5*a + j = 5*d, -2*d - 3*d + 4*a + 713 = 0. Is d prime?
False
Suppose -11*r + 31*r - 29180 = 0. Is r a prime number?
True
Is (1 - -5368) + 9 + 3 a prime number?
True
Let i = 18855 - 10660. Suppose 19*u - 8*u - i = 0. Is u a prime number?
False
Let a(f) = -6*f**3 + 61*f**2 + 27*f - 7. Is a(-27) a composite number?
False
Let f(h) = 2*h + 2. Let l be f(0). Is (-2783)/(-22) + 1/l a prime number?
True
Let c = -24334 - -36053. Is c a prime number?
True
Let a = -958 + 1797. Is a a composite number?
False
Let x = 23727 + -9676. Is x a composite number?
False
Let a(x) be the second derivative of 41*x**3/3 - 9*x**2/2 - 7*x. Is a(8) prime?
True
Suppose 32*a - 5*a - 160677 = 0. Is a a prime number?
False
Let q be (6 + 0)/(1 + 1). Suppose 55 = m + 4*g - 8*g, -207 = -5*m + q*g. Is m composite?
True
Let n(t) = 134*t + 129. Is n(7) a composite number?
True
Let h be (-5 - -1) + (-2)/((-10)/45). Suppose 9*x - 2030 = -h*x. Is x prime?
False
Let t(p) = 2*p**3 - 13*p**2 + 7*p + 21. Is t(10) a prime number?
False
Let x(y) = -2*y**3 - 3*y**2 + 5*y - 10. Let w be (15/6)/((-3)/(-6)). Let j be x(w). Let l = 449 + j. Is l a prime number?
True
Suppose -u = -1133 - 1020. Is u prime?
True
Let f(i) = 24*i**3 - 9*i**2 + 23*i + 9. Is f(7) composite?
True
Suppose -i = 3*r + 31555, 0*i = 4*r - 2*i + 42070. Is -3 + (-76)/(-28) + r/(-14) composite?
False
Let y = 724 - 721. Let n = -1 + 2. Is 4/(n + y) - -34 a prime number?
False
Suppose -5*i - 17063 = -2*d, -51601 = -4*d + 2*i - 17451. Is d a composite number?
False
Let b = -30 + -146. Let n = 1143 + b. Is n a composite number?
False
Let j be (-5 - -1) + -2 + 182. Suppose -5 - 1 = -2*n. Is n/6*(2 + j) a composite number?
False
Let d(i) = -2*i**2 + 4*i + 1. Let r be d(3). Let n be 677/r + (-6)/(-15). Let j = 292 + n. Is j a composite number?
False
Let q be 3/2*(-20)/(-15). Suppose 0 = -q*v + 10, -2*x + 4*v + 64 = -6*x. Is 8/14 + (-387)/x a prime number?
True
Suppose t - 2*t = 0. Let s = -4 - -6. Suppose -5*i - p + 0*p + 225 = t, 3*i - 148 = s*p. Is i a prime number?
False
Let q = -46 + 22. Let h(f) = -f**3 - 25*f**2 - 30*f - 1. Is h(q) a composite number?
True
Let v = -3 - -10. Suppose -v*l = -3*l - 220. Is l a composite number?
True
Let u(i) = -122*i - 5. Let l be u(-5). Suppose 120*r - 114*r + 1368 = 0. Let v = r + l. Is v prime?
False
Suppose 0 = -5*a - 3*s + 10642, 0 = -4*a + 5*s + 4418 + 4103. Is a a prime number?
True
Let l(a) = a**2 - 17*a + 2. Let w be l(17). Is w/2*(198 + 8) a prime number?
False
Suppose v = 129 + 12684. Is v a compos