b composite?
False
Suppose o - 6 - 545 = -2*d, 0 = -3*d - 5*o + 844. Suppose 2*b + f - 31 = 18, 0 = 5*b - f - 126. Suppose 2*p - b = d. Is p prime?
True
Suppose -z + 6 = 2*k, -3*k - k - 4*z = -16. Let m be (-1)/(k/(-104)*2). Suppose m = 3*r - 79. Is r composite?
True
Is 4 + -5 + -2 - -28 a composite number?
True
Let n = -19 + 42. Is n prime?
True
Let a(f) = 11*f - 8. Let o be a(6). Let t = 77 - 116. Let y = o + t. Is y a composite number?
False
Let n(p) be the third derivative of p**5/20 - p**4/24 - p**3 + 4*p**2. Is n(-5) a composite number?
True
Is (-15)/(-45) - (-710)/3 a prime number?
False
Suppose -2*t - 1047 = -2*u - u, -335 = -u - 4*t. Is u a prime number?
True
Let x = -1 - -3. Suppose -x*c = c - 12. Suppose 28 = -c*u + 152. Is u prime?
True
Suppose -2*h + 3 = -5. Suppose -d - 5*w + 5 = -8, h*d - 4*w - 148 = 0. Is d a composite number?
True
Let y(d) = 4 - 8*d**3 - 4 - 2*d**2 - d. Let c be y(-1). Let a(t) = -t**2 + 8*t - 1. Is a(c) a composite number?
True
Let a = 8 + -6. Suppose o - 3*z - 68 - 78 = 0, -4*o + 570 = a*z. Is o a composite number?
True
Let l = 135 + -53. Is l a composite number?
True
Let y = 7 + -7. Let n be -42 + (y - 0 - 3). Let a = 82 + n. Is a a composite number?
False
Let d = -41 - -29. Let y(v) = -v**3 - 11*v**2 + 11*v - 6. Is y(d) a prime number?
False
Let h(l) = -16*l. Let k be h(-3). Suppose x - 26 = -5*d, 2*d = -x - 19 + k. Is x a prime number?
True
Let b(u) = u**2 - 7*u + 4. Let k be b(5). Let r be k - -4 - (0 + -5). Is (-3)/(r/7)*-2 a composite number?
True
Let a(u) = 187*u**2 - 6*u + 6. Is a(1) a prime number?
False
Suppose 4*x + d = -d + 670, 2*x - 350 = 4*d. Suppose -h = -244 - x. Is h a prime number?
False
Let g(o) = 6*o + 6. Let d be g(9). Suppose -5 = -5*q + d. Is q prime?
True
Let k(d) = -d - 1. Let g be k(2). Let u be (-3)/12*(g + -25). Suppose 4*z - 131 + u = 0. Is z a composite number?
False
Suppose 0 = -5*w - 108 - 22. Let l = w - -40. Is l prime?
False
Suppose 9*g = 4947 + 14484. Is g composite?
True
Let s(j) = -j**2 + 2*j + 4. Let l be s(5). Let f = 12 - -11. Let u = f - l. Is u prime?
False
Let i be (4 + -4)/(1 + 0). Suppose -2*d + 0*d + 12 = i. Is d a prime number?
False
Suppose d - 2*g = g + 19, -4*d + 48 = -5*g. Suppose 2 = 2*l + 2*x, -d + 2 = -2*l - 5*x. Suppose 4*i - 52 = -l*i. Is i composite?
False
Let i(s) = -12*s + 11. Is i(-6) prime?
True
Suppose 0*t - 3*t = -99. Is t prime?
False
Suppose -19 = 2*n + v - 4*v, 4*n + 4*v = -28. Is (282/n)/(-3)*4 prime?
True
Let b(q) = 301*q**2 + 7*q + 5. Is b(4) composite?
True
Let s be 12 + -1 + (-1)/1. Let r(k) = 10 + 3 + k + s. Is r(0) composite?
False
Suppose 5*v + 3*p = -0*v + 1667, -4*p - 1340 = -4*v. Suppose 0 = -h - 3*j + 56, -5*h = -0*j - 3*j - v. Is h a composite number?
True
Let m = -11 + 28. Suppose 0 = 3*h - 3*v - v - 49, 0 = h - v - m. Is h a prime number?
True
Suppose -2*v = u - 88, -u + 174 = u + 5*v. Suppose p - u = -3*p. Is p prime?
True
Suppose 399 = j + 4*j - 2*d, -4*d + 150 = 2*j. Suppose 0*a + 4*a = 4*n - 56, 5*n - 2*a = j. Let g = n - 6. Is g prime?
True
Let r(m) = 3*m**3 + 5*m**2 + 9*m - 11. Is r(6) a composite number?
True
Let m = -116 + 205. Is m a composite number?
False
Suppose 429 = -0*j + 3*j. Is j a composite number?
True
Suppose 19 = 2*x + x - 2*n, -3*n - 26 = -4*x. Suppose 0 = -3*g - 3*w - 93 + 264, 0 = -4*g + x*w + 228. Is g a composite number?
True
Let q(p) = -p**2 - p - 13. Let a(y) = y**2 + y + 1. Let m(g) = 2*a(g) + q(g). Is m(-10) a prime number?
True
Let k be ((-14)/6)/(2/(-108)). Suppose k - 601 = -5*s. Let v = s - 60. Is v a composite number?
True
Let r = 48 - -34. Is r a composite number?
True
Let i(y) = y**3 - 4*y**2 + 2*y + 1. Let g(m) = 6*m**3 - 21*m**2 + 9*m + 5. Let f(r) = -2*g(r) + 11*i(r). Let x be f(-3). Is 1398/x*9/(-27) a prime number?
True
Suppose 4*x - 5*a + 0*a - 6 = 0, 5*a + 2 = 3*x. Suppose 3*r = x*r - 87. Is r a prime number?
False
Suppose -78 = w + 2*w. Is (6/(-4))/(1/w) a prime number?
False
Suppose -3*u + 637 = 4*u. Is u prime?
False
Suppose -4*j = 5*h - 2670, 4*h - j - 2177 = 4*j. Is h a prime number?
False
Suppose l + o + 290 = 3*l, 3*o + 290 = 2*l. Is l composite?
True
Suppose 3*k + 3*j + 3 = 0, 4*k + 0*j = -3*j + 1. Suppose k*h - 924 - 64 = 0. Is h a composite number?
True
Let v(q) = -q**2 - 3*q - 2. Let o be v(-2). Let i = 46 - -15. Suppose -2*u + o*u + 34 = -2*s, i = 3*u + 2*s. Is u composite?
False
Let n = -223 + 426. Is n a prime number?
False
Is (-656)/16*(-2 - 1) composite?
True
Suppose -5*g = -g - 3*w + 7, 4*g + 3*w - 23 = 0. Let h(c) = -c**3 - 7*c**2 + 7*c - 9. Let z be h(-8). Is 1/g*z*-22 a prime number?
True
Suppose 3*r - 1148 = -5*o, r + 3*r = -3*o + 1516. Suppose c - r = 39. Is c a composite number?
True
Let a(z) be the third derivative of -z**6/120 + 2*z**5/15 - z**4/24 + z**3/6 + z**2. Let o(w) = w**2 - w - 5. Let d be o(4). Is a(d) prime?
True
Let v(f) = 71*f**2 + 2*f - 2. Is v(-3) a prime number?
True
Let l(f) = -2*f**3 - 13*f**2 - 4*f - 13. Is l(-8) a composite number?
False
Suppose -61*q = -63*q + 142. Is q prime?
True
Let y(j) = 63*j + 1. Is y(2) a composite number?
False
Let j(i) = 26*i**2 + 2*i. Let r be j(3). Suppose 8 = -4*t, 2*v + r = -4*t + t. Is ((-17)/3)/(3/v) composite?
True
Is (2/6)/((-4)/(-1524)) composite?
False
Suppose -3*m + 4*d + 27 = d, 3*m + 2*d - 7 = 0. Let o = m + 2. Let a(l) = 2*l - 1. Is a(o) a prime number?
True
Suppose -5*i + 2*i = 4*d - 25, 5*d + 5*i - 35 = 0. Suppose q + 42 = d*o + 3*q, -3*q = -4*o + 27. Suppose -o = -2*z + 3. Is z a composite number?
True
Let c(a) = -a - 5. Let t be c(-7). Suppose -2*u - 5 = -s, -3 = -t*u - u. Suppose -3*y = -s*y - 4, -4*x + 2*y = -126. Is x a prime number?
True
Let s = -336 - -893. Is s prime?
True
Suppose -2*q = -q - 2. Let h(i) = 3*i**2 - 1 - 2 - q*i**2. Is h(4) a prime number?
True
Let v = 5477 - 3720. Let s = -996 + v. Is s prime?
True
Suppose 3*t - 2511 = -3*v, -v - 4*t = t - 829. Is v composite?
False
Let a(f) = -f**3 + 3*f**2 - 3*f + 3. Let u be a(2). Is ((-354)/(-12))/(u/2) prime?
True
Let a(s) = 3*s**2 + 2*s - 1. Let n be a(-14). Suppose 5*l = 3*l + p + 287, p - n = -4*l. Is l a composite number?
True
Let y = 219 + -92. Is y a composite number?
False
Suppose b + 3*t = 3, -2*b - t - 1 = -2. Suppose 7*y - 9*y + 42 = b. Is y a composite number?
True
Let r(x) = -x**3 - 6*x**2 + 7*x + 4. Let s be r(-7). Suppose 0 = o + 5*j + 19, 3*j + 5 = -3*o - s. Is (-4)/2*(-4 - o) a prime number?
False
Let k(d) be the first derivative of -d**4/4 - 16*d**3/3 - 9*d**2/2 + d - 3. Is k(-16) prime?
False
Suppose 7 = -f + 6*h - 4*h, 0 = -3*f + h + 4. Let q = f - 18. Let i = q - -50. Is i composite?
True
Suppose 4*i - 25 = -i. Suppose -750 = -5*x - 5*n, n + 154 = x + 4*n. Suppose s = i*s - x. Is s prime?
True
Let q = 73 - 109. Suppose -5*m + r = -411, -2*m + 4*r = -96 - 54. Let p = m + q. Is p composite?
False
Suppose o - 2*o = 2. Let d be 4/3*(-3)/o. Suppose h = d*z + 63, 5*h + 0*z + z = 326. Is h a prime number?
False
Let d(g) = -3*g + 2. Let m(c) = 2*c + 3. Let z(s) = -2*s - 3. Let j(b) = -2*m(b) - 3*z(b). Let x be j(-5). Is d(x) composite?
False
Suppose 290 = 5*l - 12065. Is l prime?
False
Suppose -f - f = -2*r - 10, 0 = -3*f + 4*r + 17. Let i be f/(-2) + 1/2. Is i/((-42)/(-45) - 1) a composite number?
True
Suppose -127*q - 381 = -130*q. Is q composite?
False
Let a(z) = z**2 + 6*z - 5. Is a(12) composite?
False
Suppose 0 = 2*i - i + 5*t + 41, 91 = -3*i + t. Let d = i - -54. Suppose o - 15 = -2*q, -4*q + d + 0 = o. Is o prime?
True
Let t(k) = -7*k - 26. Is t(-11) composite?
True
Let t(p) = -p**2 + 16*p - 9. Suppose 17 - 35 = -3*l. Is t(l) a composite number?
True
Suppose 1856 = 2*s - 4*o, 0 = 2*o - 1 - 3. Suppose 2*r = -2*r + s. Suppose 74 - r = -3*n. Is n prime?
True
Let o(m) = m + 8. Suppose k + 3 = -7. Let f be o(k). Is (-1105)/(-10) - f/4 composite?
True
Suppose -5*q = -15 - 15. Let f(u) = -6*u + 2. Let h be f(q). Let p = 48 + h. Is p prime?
False
Let s(a) = -a**3 - 4*a**2 - 2*a - 5. Suppose 0 = 6*b - 3*b + 12. Let l be s(b). Let q = 10 - l. Is q composite?
False
Let t(r) = -38*r + 6. Is t(-4) composite?
True
Let i(h) = -7*h**2 + h + 38. Let g(x) = -13*x**2 + 2*x + 75. Let t(d) = 6*g(d) - 11*i(d). Let y be t(0). Suppose -10 + y = 2*z. Is z composite?
False
Let v(t) = 372*t**2 + t. Is v(1) a prime number?
True
Let h be (