p = -p + m. Is p a prime number?
True
Let y be -3 + -1*(-3 - 31). Suppose y = 4*k - 3*n, 2 + 54 = 5*k + 2*n. Is k a prime number?
False
Suppose 25 = 2*p + 3*p. Suppose -4*c + 5*u - 1823 = -5455, -2*c - p*u + 1846 = 0. Is c prime?
False
Let o(g) = -6*g**3 + 21*g**2 + 12*g + 12. Let v(r) = r**3 - r**2 + r. Let u(p) = -o(p) - 5*v(p). Let y be u(17). Is 25/4 - (-3)/y a composite number?
True
Let z(n) = -582*n - 718. Is z(-42) composite?
True
Suppose 0 = r + 4*y - 384, 0*y = -3*y + 9. Let p(g) = 292*g**2 - 1. Let m be p(-1). Suppose -4*c + m = 5*u, -5*c - 4*u + 6*u = -r. Is c composite?
True
Let s(t) be the third derivative of -t**6/120 - t**5/30 + 5*t**4/24 + 13*t**3/6 + 107*t**2 - 2. Let c(a) = a**2 - 7*a + 4. Let x be c(5). Is s(x) prime?
True
Let t = 58 - 60. Let n(u) = 384*u**2 + 5*u - 4. Is n(t) a prime number?
False
Suppose 0 = -6*s - 3*s + 28584. Let q = -1123 + s. Is q composite?
False
Suppose 7*u - 2237 = 696. Is u composite?
False
Is (-3 + 7)*3/(-24)*-19298 prime?
True
Suppose 2*u = 211 + 423. Suppose -8*s - u = -1381. Is s a composite number?
True
Let n = -4605 + 9551. Is n a composite number?
True
Let c = -5548 + 13677. Is c a composite number?
True
Let v(n) = -n**3 + 4*n**2 - 2*n + 5. Let i be v(4). Let a(t) = -t**3 - t**2 + 5*t + 3. Let r be a(i). Suppose r*d = 2*d + 376. Is d a prime number?
False
Suppose 2*u - u = 12. Let z be (-2)/3 + (-4)/u. Is (z/(-1))/(12/396) prime?
False
Let y = 13 - 9. Suppose -11*v = -y*v - 11627. Is v a prime number?
False
Suppose -123 = 4*n + 309. Let d = -211 - n. Let j = -44 - d. Is j composite?
False
Suppose -4840 = -7*t + 2*t. Suppose 4*n = -0*n - t. Let o = n + 549. Is o a composite number?
False
Is (-3)/(-72)*3 + 9135/8 composite?
True
Let m = 3540 + -14. Let n = m + -2049. Is n prime?
False
Suppose -5*q - l = -7 - 12, -4*q - 3*l + 13 = 0. Suppose q*a + 6*a - 23930 = 0. Is a prime?
True
Let n(a) be the first derivative of 9*a**2 + 19*a - 2. Suppose 0*p = 5*p - 65. Is n(p) composite?
True
Let o(a) = -a**3 + 7*a**2 - 8*a + 8. Let s be o(6). Let z be s/16 - 2/(-8). Suppose z = 3*y - 904 + 271. Is y prime?
True
Let w = -30 + 33. Suppose -5*r = 0, -4*d = -d + w*r - 42. Is d composite?
True
Let z be (2 - -6) + (1 - 3). Let q = 6 - z. Suppose -5*f + 57 + 1008 = q. Is f prime?
False
Suppose 3*p + 89 = 44. Let x(k) = -41*k + 8. Is x(p) composite?
True
Let a be -1 - 1*(-4 - 0). Suppose a*z + 0*z = 0. Suppose z = -2*w + 215 - 33. Is w composite?
True
Let r(d) = 3*d**2 + 2*d + 6. Let s be r(-3). Let t = s + 136. Is t a composite number?
False
Let j = 2340 + -1649. Is j a prime number?
True
Suppose 5*c = 2*c + 12. Suppose 0*o + x + 3 = c*o, 4*x - 20 = 0. Is o composite?
False
Let u be (-298)/(-14) + (-12)/42. Let t = -25 + u. Let o(f) = 21*f**2 - 2*f - 7. Is o(t) a composite number?
False
Let t = -12 - -8. Suppose -2*p + 8 = 2*p. Is (p/t)/((-3)/36) a prime number?
False
Let i = -1 - -3. Let b(d) = -106*d + 92*d + i*d**2 - d**2 - 10. Is b(16) prime?
False
Let s(w) = w**3 + 29*w**2 - 53*w - 50. Is s(-28) a composite number?
True
Let u(h) = 9898*h**3 - 3*h**2 + 7*h - 5. Is u(1) prime?
False
Let d(i) = i**3 - 2*i**2 + 4*i - 4. Let n be 1*4/(8/(-18)). Let c = n - -14. Is d(c) a prime number?
False
Let t(l) = -149*l - 9. Let b(v) = -v. Let x(z) = -45*z - 3. Let y(m) = -5*b(m) - x(m). Let p(d) = -6*t(d) - 17*y(d). Is p(2) prime?
False
Is (-3)/(17/((-3627358)/21)) prime?
False
Let u(y) = 33*y**2 + 24*y**2 + 12*y**2 - 21*y**2 - 10. Is u(-3) a prime number?
False
Suppose 5*k = 16*l - 12*l - 10896, -2*l + 5478 = 5*k. Is l composite?
False
Suppose -87*k - 61195 = -92*k. Is k prime?
True
Let z(n) = 2*n**2 - 12*n - 24. Let u be z(7). Let l(w) = -w**2 - 25*w - 11. Is l(u) a composite number?
False
Let g = 52 - 42. Suppose -15*b = -g*b - 16105. Is b prime?
True
Let x(s) = 2*s**2 + 3*s + 2. Let c be x(-1). Let u be (-21 + c)*(-2)/5. Suppose b - 5*p - u - 50 = 0, 0 = -2*b + p + 107. Is b prime?
True
Suppose 0 = -g + 3*g + 970. Let f = 778 + g. Is f a composite number?
False
Let b = 55 + 40. Let v = b + -58. Is v a composite number?
False
Suppose -l + 2*l + 18 = m, 51 = 4*m + 3*l. Let h be m/2*(-156)/(-10). Suppose h = 5*p - 413. Is p prime?
False
Suppose -7*o + 4*o = -96. Let s be 4 + (0/2 - (-2 - -5)). Let v = s + o. Is v a prime number?
False
Let t be 2/3*3 - 7. Is 4/(-10) + (-2937)/t a prime number?
True
Suppose c - 18352 = -5*o, 2*c - 2*o - 14678 = 22014. Is c composite?
True
Is 10/8 - 6443847/(-164) a composite number?
False
Let x(s) = 3*s**3 + 3*s**2 + 5*s - 4. Let d(f) = -4*f**3 - 3*f**2 - 5*f + 5. Let k(m) = 2*d(m) + 3*x(m). Is k(3) composite?
False
Let j(v) = 220*v - 237. Is j(28) prime?
True
Suppose -4*b + 3*n + 17 = 0, -4*b + 0*b + 2*n = -22. Is ((-2878)/(-8))/(2/b) composite?
False
Suppose -583 + 115 = 2*b. Let o = 419 + b. Is o prime?
False
Let y be 18/8*440/(-33). Let q be 6/y - (-153)/15. Let n(m) = -m**3 + 15*m**2 + 13*m - 1. Is n(q) a prime number?
False
Let l(v) = -18 + 10*v + 4 + 6 + 19*v. Suppose -5*s = -4 - 41. Is l(s) a composite number?
True
Let u = -690 + 796. Is u a prime number?
False
Let c(n) = -319*n. Suppose -3*x - 15 = 3*y, x + 4 = -4*y - 4. Is c(y) composite?
True
Let o = 29 - 13. Suppose 0 = 5*h - 26 + o. Suppose -h*j = j - 651. Is j prime?
False
Is (-2041821)/(-54) - 2/4 prime?
True
Suppose 0 = -10*o + 5*o - 255. Let z = 76 - o. Is z composite?
False
Let b = -1830 + 2683. Is b composite?
False
Suppose 0 = -5*u + 3*c + 4718, 4*u - 5*c - 2286 = 1478. Is u/8 + (-10)/40 a composite number?
True
Let f(c) be the second derivative of -31*c**3/2 + 8*c**2 - 7*c. Is f(-5) composite?
True
Suppose -4*l = -7*r + 2*r - 29, 4*r + 24 = 4*l. Let f = r - -8. Suppose -3*i + f*b + 1047 = 0, -b = 5*i - 0*i - 1733. Is i composite?
False
Let j = 17 - -30. Let g = j - -8. Is g a composite number?
True
Suppose l + 2*d - 6140 - 425 = 0, 0 = 4*l - 2*d - 26230. Is l a composite number?
True
Let l be (4 + (-65)/15)/((-1)/(-6)). Is (l/(-2) - -3) + (25 - -1370) composite?
False
Let a = -79 - 30. Let r = a + 286. Is r a prime number?
False
Let g(f) be the third derivative of 31*f**5/10 + f**4/4 + 7*f**3/6 + 10*f**2. Is g(-2) composite?
False
Suppose -8*g = -g - 938. Suppose -h + 3*h = -g. Let i = 118 - h. Is i a prime number?
False
Suppose -666731 = -26*q + 775931. Is q composite?
False
Suppose -58*h - 12620 = -68*h. Is h composite?
True
Let j(r) = 1315*r + 18. Let b be j(-4). Is 3/(-12) - b/8 a prime number?
False
Let w = -6 - -12. Suppose -2*m - 3*q + 201 = 0, 0 = q + q + w. Let k = m - 26. Is k composite?
False
Let q = 1956 + 24421. Is q a prime number?
False
Let h(j) = 2*j**2 - 6*j - 3. Let i be h(5). Let g = -13 + i. Suppose 2*o + d - 423 = 0, -g*o + 375 + 467 = -2*d. Is o prime?
True
Let w(s) = 15*s - 5. Let h be w(-1). Is (-12930)/h*(-2)/(-3) a composite number?
False
Let y(d) be the third derivative of 19*d**5/30 - 7*d**4/24 + 5*d**3/6 + 6*d**2. Is y(-4) a prime number?
True
Suppose 4*l = -g + 5, -2*g = 3*l + 2*l - 10. Suppose l = -11*c + 6440 - 489. Is c composite?
False
Let y be -3 - 1341/(-6)*2. Let h = y - 314. Suppose -t = -3 - h. Is t composite?
True
Let q be (-1)/2 - 325/(-26). Let y = q + -7. Suppose -377 = -2*i + y*h, -3*h - 58 = -i + 128. Is i composite?
True
Let w(y) = -371*y - 86. Is w(-5) a prime number?
False
Let l(b) = 3*b + 24. Let h be l(-7). Suppose -4*m + 5155 = -h*a, 2*m + 4*a = 521 + 2029. Is m prime?
False
Suppose 5*p - 659 = 1136. Suppose 5*s - 2956 = p. Let a = -250 + s. Is a composite?
True
Let c = -10963 - -23652. Is c prime?
True
Let m be -4*(3 + (-1 - 1)). Is -4 + 377 - m - 4 composite?
False
Let f = -104 + 160. Let o = f + 41. Suppose -188 = -5*m + o. Is m composite?
True
Let v = 18882 + -8749. Is v a composite number?
False
Let s(m) be the first derivative of 5*m**3/3 - 13*m**2/2 + 5*m - 1. Suppose h + c + 7 = -0*h, h + 2*c = -4. Is s(h) a composite number?
True
Suppose b + 34657 - 3056 = 4*p, 4*b - 15814 = -2*p. Is p composite?
False
Let y(g) = 4*g - 5. Let x be y(3). Suppose -6 - x = -u - 2*l, -4*u + l = -16. Suppose u*z = h - 153, -2*h = 4*z + z - 276. Is h a prime number?
False
Let z be (-6)/(-27) - (-35728)/(-72). Is ((-3)/1)/(1 + 0) - z prime?
False
Let u(f) be the third derivative of 3*f**2 - 1/10*f**5 + 7/24*f**4 + 0 + 0*f - 1/40*f**6 - 7/6*f**3. Is u(-7) prime?
False
Suppose 6*