(-2) a composite number?
True
Let j = -74 - 90. Is ((-45)/(-18))/((-2)/j) a composite number?
True
Let j = 3421 - 2424. Is j composite?
False
Is (4/16)/(3/1236) a prime number?
True
Let j(h) be the first derivative of 39*h**2 + 7*h + 1. Let a(t) = -78*t - 6. Let n(u) = -6*a(u) - 5*j(u). Is n(1) a prime number?
True
Suppose -3*h + 1751 = -4*m, -5*h + 5*m = -h - 2334. Is h a composite number?
True
Let u(t) = -36*t**2 - 3*t - 3. Let v be u(-3). Let r = 875 + v. Is r composite?
False
Let t = 287 + -102. Is t a composite number?
True
Let k = 13 + -8. Suppose -4*f + 3*f + 4*z - k = 0, z - 14 = -4*f. Suppose -14 = 2*c - 5*i, 0 = f*c - 6*c + 2*i + 1. Is c a prime number?
True
Let u(d) = 4*d - 7. Let w(h) = 9*h + 9*h - 20 - 6*h. Let g(s) = 11*u(s) - 4*w(s). Is g(-3) prime?
False
Suppose 4*l + 2*x - 622 = 0, 4 = -4*x - 0. Let q = 641 - l. Is q a composite number?
True
Let k(q) = -2*q + 3. Let b be k(-3). Let v = b - -5. Is v composite?
True
Let a(w) = 10*w - 3. Suppose -2*i - 4 = -4*f, 16 = 3*i + 2*f + 6. Let j be (i - -5)*(-3)/(-3). Is a(j) composite?
False
Is 1*(3 + 33) + 2 a composite number?
True
Is 412 + ((-26)/8 - (-17)/68) composite?
False
Suppose 1063 = 5*q - 2*f, -6*q + 4*q + 4*f = -438. Is q a prime number?
True
Let x(p) = 4*p**2 + 7*p + 9. Is x(-6) a composite number?
True
Suppose -19 = -5*c + 6. Suppose -3*l - 209 = c*w, -171 = 5*w + 2*l + 40. Let b = w - -64. Is b a composite number?
True
Let p(x) = -351*x - 13. Let q(g) = 88*g + 3. Let t(z) = -2*p(z) - 9*q(z). Is t(-1) a composite number?
False
Let d = 497 - 306. Is d a composite number?
False
Let p = -45 - 1. Let k = p + 7. Is k/(-2)*(-10)/(-3) prime?
False
Suppose 0 = 2*c + 2*c + s - 1471, 2*s - 1107 = -3*c. Is c a prime number?
True
Suppose -216 = -4*c + 488. Suppose -133 = -d - 4*a, -31 = d + a - c. Is d a composite number?
False
Let c be 3/(-2) - (-62)/(-4). Let d = c - -24. Is d prime?
True
Let h be (-9624)/(-66) + (-2)/(-11). Let y = 273 + h. Is y a prime number?
True
Let c be (-45)/5 + 2*1. Let t = -2 - c. Suppose -319 = -t*q + 4*v + 438, -v = q - 146. Is q a prime number?
True
Is (-3 + 2/4)*-74 a composite number?
True
Let r(s) = -s**3 + 2*s - 3. Suppose 3*m = -m - 16, -b - 2*m = 13. Let q be r(b). Let p = -61 + q. Is p a prime number?
False
Let k(i) = -10*i. Let u be k(-1). Suppose 4*h - u = 2*z, -1 = 5*z + h + 24. Let q(o) = o**3 + 6*o**2 - 4*o + 1. Is q(z) a prime number?
False
Let j(i) = -i**2 + i + 145. Is j(0) a prime number?
False
Let h(a) = a**2 - a - 8. Let j be h(0). Is j*(-3 - 1) - 1 a composite number?
False
Suppose -2*h + 2 = 3*w + 4, -4*w - 4 = 2*h. Let m = w - -2. Suppose m = -4*u + 3*u + 77. Is u prime?
False
Let o(q) = -8*q**3 + 2*q**2 - 6*q - 1. Is o(-3) a composite number?
False
Is (-19)/(-38)*(2 + 64) prime?
False
Let d(n) = 1 + 4*n**3 + 2*n**2 + 4*n**2 - 4*n**2 + 4*n. Is d(3) prime?
True
Suppose -23686 - 12258 = -8*r. Is r a composite number?
False
Let g be (-48)/(-18) + 2/(-3). Let c(v) = -v**3 - 6*v**2 - 6*v - 2. Let p be c(-5). Suppose g*y - 2*s + 52 = 6*y, p*y + 4*s = 34. Is y a prime number?
False
Let t = -5 - -13. Suppose -3*p + 10 = -t*p. Is (14/(-6))/(p/30) a composite number?
True
Suppose -g = 2*w - w - 10, 4*g - 4*w = 0. Suppose -657 - 958 = -g*y. Is y a composite number?
True
Suppose -3*g + 9 = 3. Suppose -g*x = -15 - 65. Let q = -9 + x. Is q a composite number?
False
Let g = 5 - 5. Suppose g*u - 24 = 3*u. Is (1 + -20)/(4/u) composite?
True
Let a(r) = -6*r**2 - 4*r + 4*r + 97*r**2. Is a(1) a prime number?
False
Let l = -9 + 9. Suppose -3*c + l*c = -5*x + 883, 0 = -3*x + 2*c + 529. Is x a composite number?
False
Suppose -2*i - 3*i + 10 = 0. Suppose 3*r + 24 = -i*l + 3*l, -4*l + 5*r = -75. Is l composite?
True
Let l be 8/36 - 637/(-9). Let d = 129 - l. Let q = d - 21. Is q a prime number?
True
Suppose 0 = -4*t + 9 + 3. Suppose 0*i = -2*i, t*k - 381 = -3*i. Is k a prime number?
True
Is (-67551)/(-77) - 4/14 a composite number?
False
Suppose 4*d + d = 25. Let n(x) = 19*x - 11. Let u(h) = -28*h + 17. Let k(g) = d*u(g) + 7*n(g). Is k(-9) composite?
False
Let f(t) = 28*t**3 - 2*t**2 + 1. Suppose 3 = l + 2. Let p be f(l). Suppose 3*x = q + p, -5*x + 25 = -q - 22. Is x a composite number?
True
Let f(j) = -j**3 - 5*j + 1. Is f(-6) a composite number?
True
Let u(q) = 5*q**2 - 32*q - 23. Let c(a) = -3*a**2 + 21*a + 15. Let i(v) = -8*c(v) - 5*u(v). Let b be i(-6). Let p(t) = 18*t - 7. Is p(b) a prime number?
False
Let j(t) = -t**3 - 4*t**2 + 10*t - 3. Let i be j(-7). Suppose 0 = -c + 3*c - i. Is c composite?
False
Suppose -6*p - 1714 - 2294 = 0. Let r = p - -1183. Is r a prime number?
False
Let l(h) = -221*h + 2. Is l(-1) a composite number?
False
Let p(u) = -u**2 + u + 17. Let o be p(0). Let h = o - 2. Is h a prime number?
False
Suppose 0 = 4*d + 4*b - 1228, -5*d + 0*b + 1535 = -3*b. Is d prime?
True
Let j(p) = -293*p + 2. Let d = 12 - 13. Is j(d) prime?
False
Suppose 2*h + 2*i = 3*i + 219, 4*i = h - 113. Let u be (-370)/6 + (-1)/3. Let v = u + h. Is v composite?
False
Suppose -9*o + 4336 = -5051. Is o composite?
True
Let g(c) = -9*c - 39. Let p(y) = -5*y - 19. Let o(m) = -4*g(m) + 9*p(m). Let d be o(12). Let w = d + 286. Is w a prime number?
True
Suppose -5*q = -15 - 5. Suppose -q*f - 4 = 8, 4*x + f = 121. Is x a composite number?
False
Let x(t) = t**3 - 5*t**2 - 9*t - 6. Let r be x(7). Let a(y) = y**3 - y + 44. Let m be a(0). Let c = m - r. Is c composite?
True
Let b be ((-4)/8)/((-2)/28). Is b*3/(3/29) composite?
True
Is (-1 - (-1454)/8)*88/33 a prime number?
False
Suppose 0 = z - 0*z - 2705. Is z prime?
False
Suppose -3*t = -3*m - 657, 2*t + t - 657 = 5*m. Let z(j) = -11*j - 13. Let c be z(12). Let r = t + c. Is r a composite number?
True
Suppose -5*l = -l. Let n = l + 2. Is -2 - (n - 63)*1 composite?
False
Suppose -4*y + 275 = 3*i, -5*i + 324 + 81 = -4*y. Is i a prime number?
False
Let v = -2 + 4. Suppose -v*l + l = -211. Is l a prime number?
True
Suppose -3*u - 5*d + 16 = -7, -4*u - 3*d = -16. Is 0 - (-48 + (2 - u)) composite?
False
Let p(k) be the first derivative of -k**4/4 - 4*k**3/3 - k + 2. Let r be p(-4). Is (r/3)/((-1)/201) a prime number?
True
Let k be (1 - 0)/((-2)/(-12)). Suppose -3*g = -k - 3, -2*l = -g - 1. Suppose -207 = l*u - 5*u. Is u composite?
True
Suppose -1 - 14 = -3*m. Suppose m*p + 4*y - 772 = p, -3*p + 5*y = -563. Is p prime?
True
Let s(v) = -v**3 + v**2 + 133. Let l = -13 + 13. Is s(l) prime?
False
Let j(t) = -1 + 0*t - 2 + 2*t + 6. Let g be j(6). Suppose 0 = -3*d - g, 0*l = -l - 2*d + 121. Is l a prime number?
True
Let v = 21 + 3. Suppose -3*r + 6 = -v. Is r prime?
False
Let h = 526 + -135. Is h prime?
False
Let x be ((-2)/(-6))/(6/5634). Let c = x + -108. Is c prime?
False
Is (2 + 1)*790 + 4/4 composite?
False
Let h = 12 + -5. Is (-108 - -1)*(-10 + h) a prime number?
False
Suppose -7*s - 4 = -9*s. Suppose -s = h - 0. Is ((-2)/4)/(h/276) composite?
True
Suppose 0 = 3*p + 2*p - 4*b - 8659, 0 = -2*b + 8. Is p composite?
True
Suppose -845 = -3*d - 4*t - 207, 5*d - 1067 = -3*t. Is d prime?
False
Let g = -5 - -5. Suppose g = -5*f + 2*y, -3*f + 4*y - 24 = -5*f. Is (f/(-6))/(2/(-222)) a prime number?
True
Suppose -i = 2*m - 28, -i - 2*m - 32 = -3*i. Let k be (-4)/(-2) - i/(-5). Suppose -2*h + k*h = 124. Is h prime?
True
Suppose -2*n - 4*b - 2 - 14 = 0, 5*n + 34 = -4*b. Is (1/2)/(n/(-228)) prime?
True
Suppose -f + 5*f - 80 = 0. Suppose -2*q + f = 3*q. Suppose 0 = -q*x + 3*v + 358, -2*x + 178 = -6*v + 4*v. Is x prime?
False
Let p = 795 - -266. Is p a composite number?
False
Suppose 6*o - 3*s - 460 = 2*o, 5*o - s = 586. Suppose -2*u + 180 = -o. Is u a composite number?
False
Let t(x) = -66*x - 19. Is t(-5) composite?
False
Let o be 1 - (1062 + -3)/(-1). Suppose o = 2*n + 2*h, 3*h + 1040 = -0*n + 2*n. Is (n/(-4))/(4/(-8)) a prime number?
True
Let s(h) = 4*h**3 - 3*h**2. Let p be s(2). Suppose -4*g + 81 = 5*x, -4*x = 2*g - x - 41. Suppose p = m - g. Is m prime?
False
Suppose -a - 3*l + 3 = 0, 0 = -a + 5*l - l + 31. Suppose -k + a = 2*k. Let x(i) = i**3 - 3*i**2 - 5*i - 4. Is x(k) a prime number?
False
Is (2/1)/((-1)/(5644/(-8))) a prime number?
False
Let m = 74 - 36. Let h = 84 - m. Is h a composite number?
True
Suppose -4*k - l + 1063 = 0, 5*l - 4 = -29. Is k a prime number?
False
Suppose 0 = -4*x - 5*a + 28943, 5*a + 28950 = 4*x + 3*a. 