se q = 6 + k. Is q prime?
True
Let s(q) = -429*q. Suppose r + 5 - 1 = 0. Let f be s(r). Is 1/(f/(-573) + 3) composite?
False
Let b be 2914/12 + 2/12. Let z = 129 - b. Let a = -81 - z. Is a prime?
False
Let n(u) = 98*u**3 - 2*u + 1. Is n(1) a composite number?
False
Suppose 1 = -n - 3. Let g(m) = -m**2 - 5*m + 1. Let k be g(n). Suppose -k*x = 10, -c = -5*x - 17 - 12. Is c prime?
True
Let r = 0 - -71. Is r a composite number?
False
Let w(u) = -u + 6. Let z be w(0). Suppose a = z*a. Suppose -3*b + 318 - 33 = a. Is b a prime number?
False
Is ((-9429)/(-42))/((-2)/(-4)) prime?
True
Suppose 6 = 3*s - 4*n + 2, 3*s = -5*n - 5. Suppose s = 2*j - 0 + 2. Let i(h) = -37*h**3 - h - 1. Is i(j) composite?
False
Suppose -15 = -3*g, 2*c - 20 = -3*c - 2*g. Is 194*(15/6 - c) composite?
False
Let r(y) = -7*y**3 + 3*y**2 + 2. Let n = -3 + -1. Let d be r(n). Suppose -3*k = -4*t + 514, 10*k - d = -4*t + 5*k. Is t prime?
True
Let i(p) = 314*p**2. Let m be i(-1). Let y = -13 + m. Is y composite?
True
Let h(q) = -4*q - 2. Let v be h(-10). Suppose 0 = y + 3 - v. Suppose y = 3*p + 2*p. Is p a composite number?
False
Is 2/(3 + -1) + 306 composite?
False
Let o be (-354)/(-12) + 6/4. Suppose 101 - o = 2*b. Is b a composite number?
True
Let o = -195 + 434. Is o composite?
False
Suppose -406 = -24*n + 22*n. Is n a prime number?
False
Suppose 2*m + 3*n + 2523 = 10100, -5*n - 11394 = -3*m. Is m composite?
False
Suppose 2*g = 2*p - 4*p + 3368, 2*g = -p + 3373. Is g prime?
False
Suppose -2*k = -6*k + 6088. Let c = -771 + k. Is c a composite number?
False
Suppose 4813 = -5*w + 353. Is (-9)/45 - w/10 a composite number?
False
Let h = 3 - -2. Suppose 4*b = -4*v - 0*v + 216, h*v = 3*b - 170. Is b prime?
False
Let o = -2025 - -3016. Is o a composite number?
False
Let g = -29 - -18. Let v = 1 - g. Suppose -s + v = 3*s - 4*j, 3*j = 2*s - 6. Is s composite?
False
Let f be (-4)/(-6) - 195/9. Let p = f - -36. Is p prime?
False
Let n = 4608 + -2105. Is n a prime number?
True
Let s = -475 + 742. Let x = s + 64. Is x a composite number?
False
Let t(j) = j**2 - 2*j - 2. Let h(u) = u. Let r be h(-3). Let c be t(r). Suppose -c - 22 = -a. Is a a composite number?
True
Let l be ((-6)/4)/((-9)/156). Let s be (4/8)/(1/l). Let j = 34 - s. Is j a prime number?
False
Is 6/10 + (-4684)/(-10) prime?
False
Suppose 8 + 4 = 4*r. Suppose 13 = 5*y + r. Is 21/y - 3/(-6) composite?
False
Let a(i) = -i**3 + 6*i**2 - 4*i. Let d be a(5). Suppose 5*l + 5 = -d. Is (l/(-3))/((-8)/(-84)) a composite number?
False
Let s = 204 + 95. Is s a prime number?
False
Suppose -1110 = -4*u - 2*u. Is u a prime number?
False
Let i(b) = b - 4. Let p be i(5). Let c(x) = 2*x - 15*x**2 + 2 + 12*x**2 + 25*x**2 - p. Is c(3) composite?
True
Let o(g) = 3*g**2 + 23*g + 11. Let h(a) = -a**2 - a. Let b(p) = -2*h(p) - o(p). Is b(-15) prime?
True
Let r(m) = -m**3 + 10*m**2 - 7*m + 5. Let c = -55 + 34. Let h be (c/(-14))/((-6)/(-28)). Is r(h) prime?
True
Let p = 54 + -127. Let v = 336 - p. Is v a prime number?
True
Is (-2)/(-11) - 7410/(-22) composite?
False
Let w(m) = -m + 4. Let q be w(0). Let g be (1/1)/(q/28). Suppose -5*h + 6*h - g = 0. Is h a prime number?
True
Let p = 3 - -3. Is p prime?
False
Let p(i) = 143*i + 2. Is p(1) prime?
False
Let m(u) = -u**2 + 2*u. Let v be m(2). Suppose 2*x - 5*x + 993 = v. Is x a prime number?
True
Let g = 107 + -18. Is g a composite number?
False
Let b be 3*((-130)/(-3) + 0). Suppose b = -4*s - 2*k, s - k + 27 + 7 = 0. Let i = 86 + s. Is i a composite number?
False
Suppose 4*b + 121 = 4*y - 227, -6 = 3*y. Let r be -1 - (-1 - 162 - -2). Let d = b + r. Is d composite?
False
Suppose 0 = -5*s + 2*s + 15. Let h be s/((-75)/48)*5. Let c = h - -31. Is c a prime number?
False
Let d(v) be the third derivative of -v**6/40 + v**5/15 - v**4/12 - v**3/6 - 2*v**2. Let j be d(2). Let n = 28 + j. Is n a composite number?
True
Let b(p) = -p**2 - 5*p - 1. Let m be b(-4). Suppose 5*l - 9 = 2*u + 1, 4*l - 8 = 3*u. Suppose u*q + 3 = x - 2*q, -x + 5*q = -m. Is x composite?
False
Let o(a) = 25*a**2 + 4*a + 1. Is o(-6) a prime number?
True
Suppose 0 = 3*c - 2*h - 1333, 2*c + h = 2*h + 888. Is c a composite number?
False
Let n(j) = 133*j - 4. Is n(3) a composite number?
True
Suppose 3*h + 1152 = 2*g + 254, 2*h = -g + 442. Is g a composite number?
True
Suppose -30 = -5*s + 20. Suppose -7*i - 231 = -s*i. Is i composite?
True
Suppose -3 - 13 = 4*d. Is 22*(1 + d/(-8)) a prime number?
False
Suppose 4*f = -4*j + 478 + 46, 5*f - 3*j = 623. Is f prime?
True
Let s(p) = 200*p + 1. Is s(9) prime?
True
Let n = 1050 - 561. Is n composite?
True
Let k be 5/(10/(-4)) + 2. Suppose w - 2*l - 167 = k, -25 = 2*w - 3*l - 357. Is w prime?
True
Let q(g) = 213*g - 16. Is q(5) a prime number?
True
Suppose 3*n = n + 146. Let o = 128 - n. Is o prime?
False
Suppose 0 = 3*m - k - 1265 - 1048, -2*k = -3*m + 2313. Let t(v) = v**2 - v. Let w be t(2). Suppose m = c + w*c. Is c a composite number?
False
Is ((-51)/12)/((-1)/12) a composite number?
True
Let l(v) = 20*v**2 + v - 15. Let p(a) = -7*a**2 + 5. Let x(b) = 6*l(b) + 17*p(b). Let s be x(-6). Is (1/2)/(s/(-60)) a prime number?
False
Let l be 0/(-1) + 60*1. Suppose -5*s = -l - 15. Is s prime?
False
Suppose -5*a - 635 = 5*m, 0*m - a = -3*m - 401. Let x = m - -221. Is x prime?
True
Let i(s) = -s**3 - 13*s**2 - 2*s - 11. Let l be i(-13). Suppose 0 = -4*r + r - 3*q + l, -r + 5*q = -17. Is r composite?
False
Is 0 + (302 - -4 - -1) a composite number?
False
Suppose 0*v + 2*v = 10. Let x(q) = -q - 6. Let b be x(-6). Suppose b = v*a - 7 - 8. Is a a composite number?
False
Suppose -9*r = -4*r - 55. Let l = 68 + r. Is l a prime number?
True
Suppose 5*m + 5*a + 7 = -3, -4 = -3*m - a. Suppose m*c = c. Suppose c = -4*r - 3*t - t + 312, -4*t - 399 = -5*r. Is r a composite number?
False
Let a = 18 - 11. Let w = a - -46. Is w a composite number?
False
Suppose 5*l + 3*f - 2629 - 10278 = 0, 5170 = 2*l + 3*f. Is l prime?
True
Suppose -4*w - 2 = -2*w. Let r be ((-4)/w - 1) + 61. Suppose 3*j - 425 = r. Is j prime?
True
Let k = 158 - -165. Is k a composite number?
True
Suppose -16 = x - 139. Let k = x + -70. Is k a prime number?
True
Let o = -1 - -4. Suppose -o*m + 4 = -2*m. Is (-88)/(-14) + m/(-14) a composite number?
True
Let l(d) = 53*d**2 - 4*d - 3. Let n be l(-2). Let q = -1 - -4. Suppose -140 = -q*y + n. Is y a prime number?
False
Let b = -5 + 1. Let j = b - -6. Is (-185)/10*-1*j prime?
True
Suppose -q - o = -85, 0*o = -5*q + 5*o + 395. Let l = 117 + q. Is l prime?
True
Let s be (6/(-4))/(6/(-60)). Suppose i + 3 = -2*r + 3*r, 0 = i - 5*r + s. Suppose 2*n - 31 = u - 0*u, i = -4*n - 5*u + 41. Is n prime?
False
Let p = 7 + -7. Suppose p = 2*h - 265 - 93. Is h composite?
False
Suppose 3*s - 4128 - 1629 = 0. Is s a prime number?
False
Let i(r) = -r**2 - 3*r - 3. Let s be i(-2). Is (s + 1 - -37) + 0 a prime number?
True
Suppose 0*t = t - 4. Let i(h) = 1 + 4*h**2 - h**2 + h**2. Is i(t) prime?
False
Let r(u) be the second derivative of u**7/840 + u**6/45 - u**5/60 - 3*u**4/8 - u**3/6 - 3*u. Let b(v) be the second derivative of r(v). Is b(-8) a prime number?
True
Let o be 21/3 - (4 + -3). Is o/(-21) + (-1670)/(-14) a composite number?
True
Let d(q) = -2*q. Let v = -4 - -6. Suppose -v*l = l - 3*o, 3*o = l - 10. Is d(l) prime?
False
Suppose -29 = 6*c - 155. Is c composite?
True
Suppose 0 = 4*l - 1327 + 323. Is l a composite number?
False
Suppose 3*m = 4*b + 7*m - 132, -4*m = -2*b + 78. Let p be (22/(-8))/(4/(-96)). Let i = p - b. Is i a prime number?
True
Let n = 15 + -7. Suppose n = 2*g - 0*g. Suppose b - o = 12, 2*o - g = -2*o. Is b a composite number?
False
Suppose -11 = z + 3*m, -4*z - 3*m + 6*m = -1. Let f = -31 - -17. Is (f/4)/(z/12) a composite number?
True
Let u = -340 + 616. Suppose m = 5*m - u. Is m composite?
True
Suppose -2*o = -793 - 553. Is o composite?
False
Let u = 71 + -37. Is u composite?
True
Suppose 14 = 3*t - 2*c, 3*c = 4*t - 25 + 5. Let n be (-38)/(-14) + t/7. Let w(z) = 22*z - 1. Is w(n) a prime number?
False
Let j be (11 + -3 + 0)*-28. Let z = -139 - j. Is z prime?
False
Let o(x) = -4435*x**3 - x**2. Let u be o(-1). Suppose -5*j + v = -u, -5*v + 1779 = 2*j - 0*v. Is j a composite number?
False
Let i be 2/(-8) + 2/8. Suppose i = 4*w - 959 - 93. Is w prime?
True
Let x(c) = 3*c**2 - 4*c + 3. Let l be (1 + 3/(-1))