e -x*m = -m - g. Is m prime?
True
Let n(d) = 6*d**2 + d + 13. Let y = -27 - -19. Is n(y) composite?
False
Suppose -4*t = 8, 0*n + n - 3 = 5*t. Let j(l) = l**2 - 11*l - 15. Is j(n) prime?
False
Suppose 0*i = -2*i. Let b be i - (2 - 3)*2. Suppose -3*x + 41 = -j, -5*x = -b*j + 5*j - 73. Is x composite?
True
Let z = 55 + -37. Suppose -16*g + z*g = 106. Is g prime?
True
Suppose 3*q - 6836 = -q. Suppose 3*h + 1176 = 3*j, 4*j + h - q = -156. Is j a prime number?
True
Suppose -r - 2*x + 28 = 2*r, -5*x = -10. Let q = -4 + r. Suppose q*i - 525 = -81. Is i a prime number?
False
Suppose 10 = -3*z + t, -3*z - 4*t - 45 = -10. Let s be 4*2/(-4) - z. Suppose -4*j + s*j = -647. Is j prime?
True
Suppose -5*b = -2*y + 49 - 10, -y + 2*b = -17. Is (y + 3)/(4/274) a prime number?
False
Let m(j) = -6874*j**3 - 7*j**2 - 10*j - 11. Is m(-2) a composite number?
False
Let t(k) = 3*k**2 - k - 33. Let r(g) = -2*g**2 + 9. Let u be r(0). Is t(u) a composite number?
True
Let y(o) = o - 1 + 3 - 3. Is y(4) composite?
False
Is (-16014)/(-5) + (-26)/(-130) a prime number?
True
Let i(n) = -n**3 + 4*n**2 - 6*n - 6. Let x = 30 - 34. Is i(x) prime?
False
Suppose 3*r + 0*r = 6. Suppose -5*c = -p + 93, 0*c + r*c + 331 = 3*p. Is p prime?
True
Suppose -2*k + 80 = 2*k. Let g be ((-4)/(16/k))/(-1). Suppose -210 + 55 = -g*h. Is h a composite number?
False
Suppose -20 = 10*b - 14*b. Suppose f = -b*s + 55, -2*s + 16 + 6 = 2*f. Is s composite?
False
Is 18/30 - 2460912/(-30) a prime number?
True
Let w(t) = -t**3 + t + 53. Suppose 4*u + 2 - 6 = 0. Let h be 0/(u/(-1)*-2). Is w(h) a composite number?
False
Suppose -48*v + 22*v + 68458 = 0. Is v composite?
False
Is 7/3 + (-4461962)/(-489) prime?
True
Let q(v) = 3*v - 2. Let h be q(-2). Let l be (h/5)/((-2)/270). Suppose 2*i = 3*k + k - l, -2*k + 114 = -4*i. Is k composite?
False
Let s(j) = -2*j - 14. Let l be s(-11). Let g(h) = l*h - 3 + 5 - 3 + 0. Is g(9) prime?
True
Let m = -339 - -560. Is m composite?
True
Let b = -126234 + 185285. Is b a prime number?
True
Suppose 4*f - f - 4*a = -812, -4*a + 20 = 0. Let t = 43 - f. Is t a composite number?
False
Suppose 0 = -2*t + 5*x + 1613, -19*t + 3*x + 3205 = -15*t. Is t a composite number?
True
Suppose 4*d - 11984 = 5292. Is d a prime number?
False
Let v = 3966 + -1606. Suppose 4*s + 4*p - 2348 = 2*p, -4*s = -4*p - v. Suppose -2*w - s = -2*l, -3*l + 6*w = w - 884. Is l a composite number?
False
Let q(r) = -3*r**3 - 15*r**2 - 22*r + 89. Is q(-12) composite?
True
Suppose -4*z - 3*w + 3 = -0*z, 0 = 4*z + 5*w - 5. Suppose -m - 562 = -2017. Suppose 4*q = -z*q, -3*t - 4*q = -m. Is t prime?
False
Suppose u - 2650 + 877 = -5*k, -k + 369 = 5*u. Let l = k - 163. Is l composite?
False
Let c(r) = r**2 + 5*r + 4. Let u be c(-5). Let h(p) = 8*p**2 - p + 7. Let d be h(-5). Suppose 0*q + d = u*q. Is q composite?
False
Let v(q) be the second derivative of 5*q**4/12 + 7*q**3/6 + 7*q**2/2 - 7*q. Let g be v(7). Suppose 4*l - g = 2239. Is l prime?
False
Let v = -9 - -9. Suppose -q = -v*q - 1137. Suppose 2*u + u = q. Is u a prime number?
True
Let m = 433 + 324. Is m a prime number?
True
Suppose -24*v - 4 = -26*v. Is ((v - 4) + 1)*(-2 + -647) composite?
True
Let i be ((-36)/(-12))/((-1)/(-2)). Suppose c - 5*c - 8 = 4*d, -3*c = d + i. Suppose d = -j - 0 + 13. Is j prime?
True
Is 669*(4 + (-796)/(-12)) prime?
False
Let h = -2935 - -5984. Is h a prime number?
True
Suppose 0 = -l - 5*k - 9 - 13, -l - 6 = -3*k. Let r = -7 - l. Suppose -r*n + 84 = d, 3*n + 177 = 2*d + 4*n. Is d composite?
False
Suppose 5 = -2*s - 5*p, -26 = 4*s + 5*p - 1. Let o = s + 4. Let u(k) = -k**3 + 3*k**2 + 6*k + 3. Is u(o) a prime number?
False
Let c(w) = 7*w**3 + 7*w**2 - 33*w - 22. Is c(9) composite?
False
Suppose 39*t - 43*t = -2588. Is t prime?
True
Suppose 0 = -l + 3, 806 = 3*y - l - 1222. Is y a composite number?
False
Let d(o) = -38*o + 12. Let i be d(6). Let b = i - -425. Is b a prime number?
False
Let o = -1568 + 3177. Suppose u + 0*j = -3*j + o, 2*j = 5*u - 8113. Is u a prime number?
True
Let b = -49 + 54. Is (-4918)/((4 - b)*2) a prime number?
True
Let s(r) = 29*r - 3. Let y be s(-21). Let z = -421 - y. Is z composite?
False
Let c = -159 - -130. Suppose 0 = -5*v + 234 + 106. Let d = v + c. Is d composite?
True
Suppose 24027 = 69*z - 66*z. Is z a composite number?
False
Suppose 0 = -i - 5*k + 14412, i - 3*k = -2*i + 43326. Is i a composite number?
False
Is (29/((-783)/7758))/((-2)/9) composite?
True
Is (51988/8 + 2)*(-4)/(-2) prime?
True
Suppose -6*v + 2*x = -7*v + 2141, -4*x = 12. Is v composite?
True
Suppose 0 = -2*i - 3*l + 5*l + 83276, -2*l + 6 = 0. Is i prime?
True
Is 5/(-1) + (-21)/((-126)/123468) a prime number?
False
Let a be 2*(-3 + (7 - 3)). Suppose a*n = -2*n + 1224. Suppose -4*v + 1150 - n = 0. Is v prime?
True
Let x(u) = u**2 + 8*u + 9. Let b be x(-7). Suppose b*t + 1111 = 5*p + 154, -t = -5*p + 956. Is p a prime number?
True
Suppose -81*t + 586657 = -28*t. Is t a prime number?
True
Let n = 763 + -170. Let k = n + -348. Let a = k + -156. Is a composite?
False
Let r(g) = 2363*g**3 - 1238*g**3 + 4*g - 2 + 0*g - g**2. Is r(1) a composite number?
True
Let y(t) = 26*t**2 - 2*t - 281. Is y(-24) a prime number?
False
Suppose 0 = 2*k - 2*u - 0*u - 18982, 5*k - 4*u - 47455 = 0. Is k a prime number?
True
Suppose -39 + 50 = u. Suppose -2*i + u = -287. Is i composite?
False
Let x(z) be the second derivative of z**4/12 - 11*z**3/6 - 5*z**2 + 3*z. Let d be x(12). Is (-3 + 21/2)*d composite?
True
Let d = -332 + 4935. Is d a composite number?
False
Let c = -63150 + 143863. Is c prime?
True
Let g(k) = 10*k**2 + 13*k + 4. Let s be g(-12). Suppose -3*f + 1944 = 4*w - s, 3*w - 2424 = 2*f. Suppose 4*u = -0*u + w. Is u a prime number?
False
Let s = -18 + 15. Let j be (1/s)/((-12)/144). Suppose -437 = -2*a + 3*x, -2*x + 5*x + 859 = j*a. Is a composite?
False
Let h be 0/((-4)/(-12)*3). Let r(u) = -7*u + h - 11*u + 1 - 7*u. Is r(-10) composite?
False
Let d(h) = 828*h**2 + 4*h + 15. Let t(j) = -414*j**2 - 2*j - 8. Let b(x) = 3*d(x) + 5*t(x). Is b(-2) prime?
True
Is (-13057 - 0)*(-12 + 5)/7 prime?
False
Let i(f) = -f**3 + 55. Let r be 3/6*(3 + -3). Is i(r) a composite number?
True
Let u(g) be the third derivative of g**5/10 + 5*g**4/24 + g**3 - 31*g**2. Is u(5) a composite number?
False
Suppose -26144 = 11*b - 163215. Is b a prime number?
False
Suppose -5*g + 1464 = 3*w - 2875, 0 = 3*g + 4*w - 2610. Suppose 2*l = 4*h - g, 2*l - 234 = -h - l. Suppose -4*k = 12, -2*k - h = -5*n - 38. Is n composite?
True
Suppose -10*k + 21*k = 111243. Is k a composite number?
True
Suppose 0 = 4*f - 20, -1440 + 5527 = 4*b - f. Suppose 0 = 5*x + 5*c - 475, 0*c + 291 = 3*x + 5*c. Suppose 5*j - b = x. Is j a composite number?
False
Is (-1)/(-2)*-34*(-2638)/2 prime?
False
Suppose 0 = -4*v + 2*h + 246, 4*v + v = h + 306. Suppose -v = -2*q + 9. Is q a composite number?
True
Is 9677/((-3 + 9)/12) composite?
True
Suppose 4*q = 2585 - 541. Suppose q = k + 2*p, 430 = -3*k + p + 1984. Is k a composite number?
True
Let c = -3781 + 6716. Suppose 5*i + n = 3*n + c, 0 = 2*n. Is i prime?
True
Let d(m) = 90*m**3 - 3*m**2 + 3*m - 1. Is d(3) a composite number?
False
Let t(w) = 8*w**2 - 10*w + 28. Let d be t(16). Suppose -10*y = -14*y + d. Is y a prime number?
True
Let b = -6 + 8. Let n(y) = -1 - b*y + 184*y**3 + 0 - 194*y**3 - y**2. Is n(-4) composite?
False
Suppose -5*r + r = -8. Let f(l) = 85*l**2 - 3*l + 3. Is f(r) a prime number?
True
Let m be 22/4 + 1/(-2). Let b be 8/3 - 2/3. Suppose 0 = m*c - 4 - 1, 0 = z - b*c - 55. Is z composite?
True
Let w be (26/6)/((-2)/(-6)). Is 4/26 - (-15533)/w a composite number?
True
Let j(o) = 95*o**2 - 12*o + 130. Is j(-15) a prime number?
False
Let y = -1638 - -3977. Let d = -1432 + y. Is d prime?
True
Let w = -29090 + 49003. Is w composite?
False
Suppose z - 18 = 4*q - 0*z, 5 = q - 5*z. Let h(x) = x + 44*x**2 + 5 - 2 - 43*x**2. Is h(q) composite?
False
Let n be (-2 - -2)/(4/2). Let m(k) = -k + 1. Let z be m(n). Is (-3)/z + 56 + 2 a prime number?
False
Suppose 0 = 24*r - 268039 + 2671. Is r a composite number?
False
Suppose 2*d = 3*d. Let y be (2 - d) + (-4)/4. Let g(k) = 50*k**2 - k. Is g(y) a composite number?
True
Let b(d) = 220*d**2 - 37*d - 4. Is b(5) composite?
True
Suppose -25*j + 4*d = -30*j + 26507, -2*j + 10583 = -5*d. Is j composite?
True
Suppose