m a composite number?
True
Let n(b) be the first derivative of -b**4/4 - 4*b - 1. Is n(-5) a composite number?
True
Let m = 17 - 14. Suppose m*i - 1254 - 84 = 3*n, 4 = -4*n. Is i prime?
False
Suppose -3*k + k = 0. Is k + -2 + 39*1 a composite number?
False
Suppose -m + 1040 = 5*d, 3*m = m - 10. Is d prime?
False
Let y(s) = -s. Let p be y(-1). Let f be p/(2/64) + 1. Is 2/(-1 - (-35)/f) a prime number?
False
Suppose -w - 7 + 124 = 0. Suppose 0 = -5*x - 10, -x - w = -5*k - 20. Is k*(-5)/(-4)*4 composite?
True
Suppose j = -j. Suppose 0 = 5*d - j*d. Suppose 2*i + 3*p + 12 = 40, d = -2*i - 2*p + 26. Is i a prime number?
True
Let w = 2021 + -610. Is w a composite number?
True
Let d(k) = k**2 - 2*k + 1. Let q = 0 - -3. Let f be d(q). Suppose 0 = -3*a - 3*o + 42, f = 5*o - 16. Is a composite?
True
Suppose 3*k - 3*f - 1648 = 2*k, -k + 1652 = -5*f. Is k a prime number?
False
Let w(o) = -o**3 + 11*o**2 + 8*o + 5. Is w(10) composite?
True
Let r be (-58)/(-6) - 4/(-12). Let q = -10 + r. Suppose 0*p - p - 3*y + 28 = q, 18 = p - 2*y. Is p composite?
True
Suppose 0 = -r + 129 + 118. Is r prime?
False
Suppose -4*i = -5*i - 2*z + 79, i + z = 82. Let f = 212 - i. Is f composite?
False
Let u = -7 - -11. Suppose 6*t = -4*v + t + u, 0 = 5*v - 4*t - 5. Is (4 - -1)/(v/7) a prime number?
False
Let f(x) = -x**3 - 5*x**2 - 3*x - 5. Let k be f(-5). Let u be (-2)/5 - 16/k. Is u/(-6) + (-104)/(-3) a composite number?
True
Let o = -1 - -3. Suppose 0*h - o*h + 4 = 0. Is h composite?
False
Suppose 2*a - a + 2*c = 171, -322 = -2*a + c. Is a a composite number?
False
Suppose 0 = -p - 1 + 5. Let o be 10/((30/117)/5). Suppose -4*k - 5*c + o = 0, -4*k + p*c + 240 = -0*k. Is k prime?
False
Suppose 2*b = 7*b - 1310. Let j = -143 + b. Is j a composite number?
True
Let d(v) = -v**3 - 6*v**2 - 7*v - 5. Suppose 7*b - 2*b = -10. Let j = b - 4. Is d(j) composite?
False
Suppose 0 = 3*x - 5*x + 10. Suppose -5*j = -0*j + 3*k - 241, x*k = 10. Is j composite?
False
Is -2 - (28006/(-57))/((-2)/(-9)) a prime number?
False
Is 16/(-24) + 232/6 composite?
True
Let c(v) = -v**3 + 12*v**2 + 9*v + 16. Let n be c(12). Suppose -9*x = -5*x - n. Is x prime?
True
Suppose -2*z - 40 = -0*n - n, 4*n = 2*z + 52. Let u(c) = 7*c - 3. Let o be u(4). Let d = z + o. Is d a composite number?
False
Let a be ((-8)/(-6))/((-14)/(-21)). Suppose -4*z + 4 = 0, a*u - 5*u - 2*z + 68 = 0. Is u prime?
False
Let k(v) = -v**2 - 2*v. Let m be k(-2). Let x(g) = -g**3 + g**2 + g + 31. Is x(m) a prime number?
True
Let c = -31 + 6. Let y(n) = -6*n**2 - 3*n + 1. Let k be y(-3). Let h = c - k. Is h composite?
False
Suppose -m + 5*m = 3972. Is m composite?
True
Let o(b) = b + 1. Let u(n) = 40*n**3 + n**2 + 3. Let q(r) = -3*o(r) + u(r). Let a(l) = 40*l**3 + l**2 - 2*l. Let k(i) = -3*a(i) + 2*q(i). Is k(-1) composite?
True
Suppose 2*k + 2*k = 2*d + 6, -2*d = -k - 3. Suppose -28 = -k*w - 7. Is w a prime number?
True
Let r(a) = -52*a + 1. Let i be r(-1). Suppose 6*h + 104 = 2*m + 5*h, -i = -m + h. Is m a composite number?
True
Let x = -456 - -1103. Is x prime?
True
Let k = 1147 - 576. Is k a prime number?
True
Let m(y) = y**2 - y - 3. Let b be m(3). Suppose b*k = 2*k + 11. Is k composite?
False
Let g = -15 + 9. Is (-134)/(-4)*(-12)/g composite?
False
Let f be -2*-1*(-66)/4. Suppose p - 4*c - 90 = 0, 0 = 4*p - 2*c - 106 - 184. Let s = p + f. Is s prime?
True
Suppose 0 = 4*i - 10*i + 11370. Is i composite?
True
Let d(u) = -2*u + 5. Let f be d(4). Is (5 - 3) + f + 70 composite?
True
Let x(q) be the third derivative of 7*q**4/6 - q**3/6 - q**2. Let u be (-5)/(-1*(4 - 3)) + -3. Is x(u) composite?
True
Let x(n) = n**3 - 2*n**2 - 5*n - 1. Let j(v) = -v**3 + v**2 + 5*v + 2. Let o(k) = -4*j(k) - 5*x(k). Let g = 14 + -9. Is o(g) composite?
False
Suppose 0 = -4*j + 5*j - 10. Is j prime?
False
Let n = -90 - -133. Is n a composite number?
False
Suppose 2*g + 268 = 4*g. Is (g/(-8))/((-1)/4) prime?
True
Let y = -1274 - -1811. Is y a prime number?
False
Let z(f) = 4*f**2 + 21*f - 14. Is z(11) prime?
True
Let d = 17 + 66. Is d a composite number?
False
Suppose 3*z - 3*b - 463 + 1810 = 0, -2*z = 5*b + 905. Let x = -245 - z. Is x a prime number?
False
Let c(f) = f. Let l(v) = -26*v + 13. Let d(h) = 3*c(h) - l(h). Is d(6) a prime number?
False
Let g(j) = 315*j - 1. Let f = -10 - -12. Is g(f) composite?
True
Let z be ((-2)/(-4))/((-3)/(-1266)). Let w = -220 - -106. Let m = z + w. Is m a composite number?
False
Let m(h) = -h**3 + 4*h**2. Let v be m(4). Suppose 2*u - 5*y - 1033 = v, -4*u + 1718 = -4*y - 330. Is u a composite number?
False
Let v(m) = m - 1. Suppose 3*k - k = -5*o + 4, k = -2*o + 1. Let j(s) = 2*s**2 + 10*s + 1. Let d(i) = k*v(i) + j(i). Is d(-7) a prime number?
True
Is ((-191)/(-4))/((-15)/(-60)) composite?
False
Suppose -a - 2*a - 2*j = -1669, -5*j = -2*a + 1081. Is a composite?
True
Suppose 347 = 5*s + 2*p, -5*s - 2*p - 2*p + 339 = 0. Is s composite?
False
Suppose 21 = 4*b + 5. Suppose 2*k - b*k = -398. Is k a composite number?
False
Let d = 1607 + 1098. Is d prime?
False
Let i = 434 + -631. Is 14/(-21) - i/3 composite?
True
Is ((-178)/12)/((-4)/24) a prime number?
True
Let q(o) = 33*o**2 + 2*o - 1. Suppose 0 = 5*y + 10 - 0. Is q(y) composite?
False
Is -2 + 3 + 83 - -2 a composite number?
True
Suppose c + 6*k - 9 = 3*k, 0 = 5*c - 4*k - 7. Suppose -53 = -2*n - c*i, n = -4*n + 4*i + 121. Suppose 2*y - n = 17. Is y a prime number?
False
Let b(d) = -d**2 - 5*d + 4. Suppose -3*g + 2*c - 15 = 0, 5*c = 3*g + c + 15. Let a be b(g). Suppose a*o + 50 = 406. Is o a composite number?
False
Suppose -4*g - 5*v - 5 = g, -v = -g + 3. Let z(t) = 0 + 55*t - g + 118*t**2 - 53*t. Is z(1) composite?
True
Let l(k) = -k**3 + 2*k**2 + k. Let u be l(-1). Suppose -2*i + 12 = u. Suppose 4*w - 8 = -4*j, i*j = 7 - 32. Is w prime?
True
Is 2 - -265 - (2 - 0) a prime number?
False
Let x(t) = t**3 + 11*t**2 + 6*t - 5. Let j = 8 + -5. Suppose 5*y + 5 = -2*w - 14, y - 4 = -j*w. Is x(y) a composite number?
True
Let o be 3 + (2 + 10 - 1). Suppose 5*y - o - 21 = 0. Is y prime?
True
Suppose 0 = 2*h - 3*x - 13, -h + 12 = -5*x + 2. Let v = 5 + h. Is v prime?
False
Suppose 86555 = -4*a + 9*a. Is a composite?
True
Let d(t) = t**3 + 6*t**2 + 3*t + 6. Let o be d(-6). Let l = o + 23. Is l a prime number?
True
Let y = -170 - -535. Let x = -90 + y. Suppose -3*f = -8*f - 3*l + x, -4*f - l = -220. Is f composite?
True
Suppose 0 - 2 = 2*f. Is f + (0 - -2) + 9 a prime number?
False
Suppose 0 = i - 3 - 2. Let v be (i - 1) + 2/2. Suppose v*z = z + 76. Is z composite?
False
Suppose 2*q = -5*w - 9 + 50, 2*q = 2*w - 8. Let j(a) = 2*a**3 - 8*a**2 - 4*a - 7. Is j(w) composite?
True
Let d be (-6)/5*(-20)/(-8). Let i be (d*(-1)/(-1))/(-1). Suppose z - 62 = -2*u, -5*z + 150 + 160 = -i*u. Is z composite?
True
Suppose -2*u - 143 = -2*h + u, -4*h + 246 = 2*u. Suppose -219 = -5*f - h. Is (-2)/(-3) - f/(-3) a prime number?
True
Let s = 874 + -425. Is s a prime number?
True
Suppose 2*i - 276 = 170. Is i a composite number?
False
Let w(y) = 57*y + 76. Is w(23) a composite number?
True
Is 4/12 + (-4072)/(-6) composite?
True
Suppose 0 = -s + 4*p + 1227, 4*s + p - 2401 = 2524. Is s a prime number?
True
Let k = 4 + -2. Suppose -k*m = -0*m - 130. Is m prime?
False
Is 734/4 + 5/(-10) composite?
True
Suppose -34 = -5*c - 9. Suppose s + 10 = 3*p, -c*s - 24 = -4. Suppose p = 2*h - 28. Is h prime?
False
Suppose -5*u = 5*g - 915, 5*g - 730 = 2*u - 6*u. Is u a composite number?
True
Let h = 33 + -60. Let o be (0 + (-174)/21)*-7. Let j = h + o. Is j composite?
False
Let m(b) = 7*b**2 - 16*b - 1. Is m(8) prime?
False
Suppose 0 = 2*m - 7 - 5. Is (-2259)/6*(-4)/m composite?
False
Let v(k) = -8*k. Let x be v(-1). Let w(u) = -9*u**2 + u**3 + 10*u**2 - 8*u**2 - x*u - 11. Is w(9) a composite number?
False
Let n(a) = a - 3. Let c be n(7). Suppose c*o - t + 13 = 0, -3*o + 1 + 3 = 2*t. Is -2*o/((-8)/(-46)) prime?
True
Let l(j) = 4*j + 13*j**2 + 0 - 2*j - 3. Is l(2) prime?
True
Suppose 0 = -4*o + y + 564, 4*o - 548 = -3*y - 0*y. Let t = 433 - o. Is t prime?
True
Suppose 0*x - 5 = -x. Suppose -96 = -x*m + 4*w + 123, 2*m - 3*w - 82 = 0. Is m composite?
False
Let o(t) = -47*t - 17. Let u(d) = d**3 + 7*d**2 + d + 1. Let x be u(-7). Is o(x) a prime number?
False
Let b be (-458)/(-14) + (-14)/(-49). Let f = 58 - b. Suppose -34 = -5*i + 3