2*u - 6275 = -5*g, 0 = 5*g + 4*u - u - 6275. Is g a prime number?
False
Let p be -463 - (-2)/(-6)*15. Let j = 730 + p. Is j composite?
True
Let h(j) = -8*j**2 - j - 6. Let f(k) = k**2 + 1. Let i(g) = -5*f(g) - h(g). Let t be i(-1). Suppose t*y - 156 = -3*a, -3*a = -5*y - 0*a + 284. Is y prime?
False
Is (-2881 - -2)/((-10)/30) a composite number?
True
Let d(o) be the first derivative of -7 + 1/4*o**4 - 7/2*o**2 - 6*o + 3*o**3. Is d(-7) a prime number?
False
Let b = -10 + 15. Suppose -b*u - 499 = -f, -2*f + 130 = u - 890. Is f a composite number?
False
Let a = 122391 - 29840. Is a a prime number?
True
Suppose -r + 9513 = -i + 3*i, -3*i = -4*r + 38041. Is r composite?
False
Let j(r) = 4*r**2 - 9*r + 6. Let f(m) be the second derivative of 7*m**4/12 - 3*m**3 + 13*m**2/2 + 12*m. Let c(t) = 3*f(t) - 5*j(t). Is c(-14) a prime number?
True
Let r = 17 + -14. Suppose -s = r*f - 872, 0*f + 3*f - 1759 = -2*s. Is s composite?
False
Suppose -21 = -2*k + 13. Let l = k - 15. Suppose -l*j - 325 = -1231. Is j a composite number?
True
Suppose 2*q - 20 = -2*q. Let o(f) = f**2 - 4*f - 5. Let t be o(q). Suppose 2*i + 4*i - 2826 = t. Is i a prime number?
False
Suppose -2*o = -4*o + 3*j + 375, -4*j = -o + 200. Let v be (o/48)/(1/36). Suppose -v = -3*k + 258. Is k a composite number?
False
Let i be 248/3 - (-1)/3. Let t = 0 - -2. Suppose 3*g - i = 5*y, -5*g + 3*y - t*y + 131 = 0. Is g composite?
True
Let r(t) = 541*t**3 + 24*t**2 - 3*t - 15. Is r(4) a composite number?
False
Let y(u) = 29*u**2 + 8*u - 41. Let w(z) = 10*z**2 + 3*z - 14. Suppose -4*b = -17 - 7. Let p(h) = b*y(h) - 17*w(h). Is p(7) prime?
True
Let f(v) = -v**3 + 12*v**2 + 28*v - 103. Let z be f(13). Let w be (-7*3)/(2/(-38)). Let h = z + w. Is h composite?
False
Suppose -3*t - 22 - 5 = -3*l, 0 = -l + 5*t + 1. Let f(y) = -41941*y**3 - 2*y**2 + 1. Let j be f(-1). Is j/44 + (-2)/l a prime number?
True
Suppose -s - 4*w + 1225 = -3022, 3*w + 4282 = s. Is s a prime number?
False
Let g = 13 - 14. Let l = g - -1. Suppose l = 4*v - 67 - 65. Is v prime?
False
Let g(j) = -j**2 + j - 365. Let x be g(0). Let d = x + 996. Is d composite?
False
Suppose 0 = 7*u - 3*u - 16. Suppose 2*g - 1261 = 1649. Is u/1*g/20 prime?
False
Let f(g) be the third derivative of 3/2*g**3 + 0*g + 0 + 7/12*g**4 - 5*g**2. Is f(5) composite?
False
Let k(j) = -j**3 - 37*j**2 - 35*j - 158. Is k(-37) composite?
True
Let o(i) = i**3 + 13*i**2 - 10*i - 10. Let s be o(-9). Suppose -6*l + 562 = -s. Is l a composite number?
True
Let w(c) = 142*c**3 - 9*c**2 + 24*c + 37. Is w(6) composite?
False
Let o(r) = -2910*r + 17. Is o(-1) composite?
False
Let r = 7625 + -914. Is r prime?
False
Let n(w) be the first derivative of 8 + 1/2*w**2 + 2/3*w**3 - w + 3/2*w**4. Is n(2) prime?
False
Let t(j) = -2*j - 1. Let g(c) = 2*c + 1. Let a(k) = -7*g(k) - 6*t(k). Let d be a(-4). Suppose -d*m - 134 = -9*m. Is m composite?
False
Let x(u) = -70*u + 26. Let m(j) = 35*j - 13. Let s(a) = 9*m(a) + 4*x(a). Is s(4) composite?
False
Let g(y) = -3*y + 1. Let t(f) = -15*f + 6. Let r(o) = 21*g(o) - 4*t(o). Let s be r(-3). Is (75/s)/5*22 composite?
True
Let u = -2062 + 5835. Suppose 4*y - u = 3051. Is y prime?
False
Let i = 123 - -920. Is i prime?
False
Let r be ((-670)/70 - (-4)/7) + 4. Let j(t) = -19*t**3 - 4*t**2 - 5*t + 17. Is j(r) composite?
True
Suppose -582 = -2*f - f. Let r = 715 - f. Is r prime?
True
Suppose -8 = 4*v + 4*l + l, 0 = v + 5*l + 17. Suppose -h - 1 = 0, 0*u + v*h + 197 = u. Is u a composite number?
True
Is 2*(-12394)/(-3)*(-21)/(-28) a prime number?
True
Let t be (8/(-40))/((-1)/25). Suppose 0*y + t*y = 3275. Is y prime?
False
Suppose -t - t = -m - 26, 2*m = -4*t + 52. Is 55525/13 - ((-89)/t + 7) prime?
True
Suppose -2*j + 0*j = 5*o + 6, -4 = 2*j + 4*o. Suppose 5*l - j*v - 8435 = 0, -3*l - 3*v + 5040 = -0*l. Is l prime?
False
Let f(j) = -20*j + 2. Let p be (6/7)/(2/(-14)). Let u = p - -5. Is f(u) composite?
True
Let d be 0 + 1 - (-9 - -2). Suppose 0 = 3*w + w - d. Is w a prime number?
True
Let p(i) = 9*i**2 + 130*i - 13. Is p(-36) a composite number?
False
Suppose -3*q + 168439 = 5*t, 3*q + 166*t - 167*t - 168409 = 0. Is q a composite number?
True
Let z(c) = -4*c**2 + 17*c + 1. Let p be z(4). Suppose -p*q - 3*i + 773 = 0, 0*q - q = -5*i - 177. Is q composite?
False
Let u(h) = 8*h**2 - 33*h - 5. Is u(-12) composite?
False
Let m be (-906)/(-8) - 7/28. Let a = -75 + m. Is a composite?
True
Let q be -82 - ((-1)/(-1) - 2). Let c = -36 - q. Is 3*c - (3 + -1) prime?
False
Let q = 58222 - 39441. Is q a composite number?
True
Let x(v) be the first derivative of -20*v**2 - 59*v + 3. Let r(i) = 10*i + 15. Let l(k) = 9*r(k) + 2*x(k). Is l(14) prime?
True
Suppose -25*f + 453766 + 249784 = 0. Is f prime?
False
Let p be (-10)/(-4) + (54/(-12))/(-3). Suppose p*x - 2*m - 336 = 0, 193 = 2*x - 3*m + 17. Is x a composite number?
True
Let q(w) = w**2 - 3*w - 1. Let b be q(3). Let r(t) = 464*t**2 + 2*t + 1. Is r(b) a prime number?
True
Suppose -7*m + 2*h = -2*m + 14, -6 = -m - 4*h. Is 1*632 - -3*m/(-2) a prime number?
False
Let l(k) = -k**2 - 17*k - 11. Let y be l(-17). Let x(u) = -47*u - 12. Is x(y) prime?
False
Let r be ((-25)/15)/((-3)/9). Suppose 0 = -2*w - r + 195. Suppose 0 = s - 4*y - w, 117 - 295 = -2*s + 2*y. Is s prime?
False
Let v(l) = -4*l**2 - 8. Let b(q) = -5*q**2 + q - 9. Let k(h) = -5*b(h) + 6*v(h). Suppose 0 = t + 14 - 9. Is k(t) composite?
False
Let c be -1 - -1 - (-1 + 10). Let v be 0*((-15)/c + -2). Suppose v = 5*b, -5*b = -5*t + 4*t + 79. Is t prime?
True
Suppose 7 = -2*g + 3*b, g + 5*b - 1 = -g. Let z be 461 + (g - -1) - -1. Let m = z - 300. Is m prime?
False
Let u = -693 - -693. Let k(x) = 2*x - 1. Let i be k(3). Suppose -i*q - q + 2346 = u. Is q a composite number?
True
Is 0/(-368) + (0 - -93463*1) composite?
False
Suppose 4*b + 12 + 0 = 0. Let f = 673 - 671. Is (b/1 + f)*-223 prime?
True
Let g = 27641 - 15073. Suppose -5*q - 2*i + g = -22411, -4*q = -4*i - 27972. Is q composite?
True
Let m(t) = -t**3 + t**2 - t + 10. Let f be m(0). Let y = f + 1. Let o = 48 - y. Is o a prime number?
True
Suppose -p + 4*v + 28 = 3*v, -4*v + 38 = p. Suppose 20 = 5*g, 5*h - 2*g + 7*g - p = 0. Suppose 2*n = 5*i + 291, h*i - 340 = -3*n + 49. Is n a composite number?
True
Let z(d) = -20*d**2 - 10*d + 3. Let g(m) = -19*m**2 - 11*m + 2. Let l(c) = 4*g(c) - 5*z(c). Is l(-6) a composite number?
False
Let w be ((-17)/3)/((-8)/288). Suppose -5*q + 166 = -w. Is q prime?
False
Suppose -718 = -3*m - 1867. Let c be 8/12*(-2 - m). Is (1 - -2)/(6/c) a prime number?
True
Suppose 0 = u - 4*c, -u - 14 = -2*u - 3*c. Is -2*3262/(-16) - 6/u a composite number?
True
Let z = -2 - 14. Let h = z - -31. Is 5/(h/423) + 4 a composite number?
True
Let v(j) = 1964*j**2 + 326*j + 7. Is v(-6) prime?
False
Let h be ((-3)/(-4))/((-24)/(-64)). Suppose -h*j = 0, 5*b - j - 2*j - 4835 = 0. Is b a composite number?
False
Let y be (2/8)/((-2)/(-24)). Suppose 25 = 2*x - 7*x, -2*b + 119 = y*x. Is b a prime number?
True
Suppose 103*s - 92*s - 138941 = 0. Is s a composite number?
True
Let c be ((-5045)/10)/((-4)/(-8)). Let i = 1592 + c. Is i composite?
True
Let x(m) = 2*m**2 + m - 1. Let j = -7 + 5. Let q be x(j). Suppose -b + 23 = -2*s - 74, 0 = q*b - 4*s - 467. Is b prime?
False
Suppose 0 = p - 14. Suppose -p*z = -11*z - 633. Is z composite?
False
Let n be (-3)/((-1)/((-8)/6)). Let o be 2/n + 129/6. Suppose -3*x - o = -4*x. Is x a prime number?
False
Let n(q) = q**3 - 10*q**2 - 12*q + 30. Let c be n(12). Let a = c - 89. Is a a composite number?
True
Suppose 4*k = -0*v - 3*v - 37, 5*k - 5*v = -20. Let g(w) = 4*w - 7. Let q be g(k). Let c = q + 328. Is c a prime number?
True
Let d(m) = 151*m**2 + 2*m + 4. Let w be 2/(-5) + 65/(-25). Is d(w) composite?
True
Let w(h) = h**3 + h**2. Let q(r) = -r**3 - r**2 + 5*r + 10. Let n(l) = -q(l) - 3*w(l). Is n(-7) a composite number?
False
Suppose -8 = 2*x + 2*x. Is x/2 + 1 + 335 a composite number?
True
Let q(n) = -n**2 - 6*n - 3. Let i be q(-5). Is ((-11186)/28)/(i/(-4)) a composite number?
True
Suppose 11*j + 58*j = 3315657. Is j prime?
False
Suppose 2*r - 2*o - 542 = 0, 3*r + 541 = 5*r - o. Let a = -124 + r. Is a a composite number?
True
Suppose 0 = -24*n - 26266 + 160522. Is n a composite number?
True
Is 1079676/144 + 10/8 a composite number?
False
Let j be (-2)/6*(-6 + -783