m = -260 + d. Is m prime?
False
Let d = -29 + 44. Let m = d + -9. Is 15/10*932/m composite?
False
Suppose -117202 = -4*w - 13*r + 8*r, 0 = -2*r - 4. Is w a prime number?
True
Let c be (-4)/(-18) + (-47288)/414. Let v = -317 + 786. Let k = v - c. Is k prime?
False
Suppose q - 902 + 3708 = 0. Let h = q + 4322. Suppose -k + 5*k - h = 0. Is k a prime number?
True
Let j(m) = -47*m - 9. Let a be j(-7). Let z = a + -139. Suppose z = k + 18. Is k composite?
False
Let r(y) = 4*y**3 + 10*y - 5. Let b(d) = 8*d**3 + 19*d - 9. Let q(n) = 3*b(n) - 5*r(n). Let t(g) be the first derivative of q(g). Is t(-5) a composite number?
False
Is 9/(-3)*6316/(-12) a prime number?
True
Let n(u) = 221*u + 10. Let k be n(3). Let h = -224 + k. Is h a prime number?
True
Suppose -3*w + 2 = 5*b + 4, 3*w - 4*b - 7 = 0. Suppose u - 2*r = -w, -3*u + 3*r + 3 = -0. Suppose -5*h - 3 = u*f - 1655, -1657 = -5*h + 2*f. Is h prime?
True
Suppose -3*k - 516 = -2787. Is k a prime number?
True
Suppose 0 = 3*x + 5*z + 6, z = -5*x - 2*z + 6. Suppose 2*m - x = 5. Suppose 3*j = 5*v + 250, m*j + 3*v - 170 = 173. Is j a composite number?
True
Let p = 81 + -77. Suppose -2*o = -4*q - 302, 0 = q - 0*q - p. Is o a prime number?
False
Let f(o) = -1 + 0 + 228*o - 20*o + 2. Is f(1) composite?
True
Suppose 20*a = 18*a - 260. Let v = -3 - a. Is v prime?
True
Let y(f) = -f**3 - 19*f**2 + 17*f + 37. Suppose 2*p = -4*v - 90, -v + 4*p = -3*v - 60. Is y(v) a composite number?
False
Let b be 1*6 - (3 - 7). Suppose -4*u - 3*f = -268, 3*u + b = -4*f + 218. Suppose -2*g = -0*g - 5*h - u, 4*g = 3*h + 142. Is g composite?
False
Suppose 0 = 3*b - 4*b + 1116. Let j = -613 + b. Is j prime?
True
Is -1*(-1704 + 1 + -8) prime?
False
Suppose 4*h - 2*h - 6 = 0. Suppose 0 = b - 5*d - 325, 4*b - 1669 = -b + h*d. Is b composite?
True
Suppose 4*b - 2*b + 1674 = 0. Let j = -264 - b. Is j a prime number?
False
Is ((-14)/(-5))/((-118)/(-835735)) a prime number?
False
Let x(y) = -720*y + 131. Is x(-34) a prime number?
True
Suppose 4*h = 3*h + s + 1528, 0 = 3*h + 5*s - 4576. Let n = h - 913. Is n a prime number?
False
Let x = 1446 + 2011. Suppose -1 = -l, x = -2*b + 6*b - 3*l. Is b composite?
True
Let a = 5 - 1. Suppose 11*u = a*u + 4417. Is u prime?
True
Suppose 0 = 5*x + 2*a - 6*a - 40, -5*a = x + 21. Let p = 9 - x. Suppose -2*d + p*o + 633 = 2*d, 0 = -3*d - 5*o + 466. Is d a composite number?
False
Let r = -144 + 319. Let u = 854 - r. Is u a prime number?
False
Let l = -54 - -90. Let b = -32 + l. Suppose 2*z = 5*a + 154, -b*z - 3*a = -3*z - 88. Is z composite?
True
Suppose -17*z = -8326 - 29125. Is z a composite number?
False
Suppose 4*v = -x + 29981, -v - v = -3*x - 14987. Is v prime?
False
Let r(f) = 7*f**2 - 7*f - 355. Is r(42) prime?
True
Let j(m) be the second derivative of -m**3/6 + 737*m**2/2 + m. Let i be j(0). Suppose 3*q = 4*r + i, r - 3*r = -8. Is q prime?
True
Let i be -1*(-4 + 0 + 3950). Is (i/4)/(11/(-22)) a prime number?
True
Let m be 11785/15*3*6. Let a be m/24 - 12/(-16). Suppose f + a = 3*f. Is f a prime number?
False
Let s(i) = -25*i - 21. Let q be s(10). Let t = 58 - q. Is t a prime number?
False
Suppose -138*p + 125*p + 21281 = 0. Is p composite?
False
Suppose 0 = 24*m - 362496 - 6840. Is m prime?
False
Let n be -2*2 - (-11 - -7). Let p(u) = u**3 - u**2 + u + 1249. Is p(n) a composite number?
False
Let y(s) = 1300*s - 1031. Is y(25) a prime number?
True
Suppose 44*u - 5*s - 12372 = 40*u, -8 = -2*s. Is u composite?
True
Let m = 64 - 39. Suppose -2*h - i + 192 = 0, -3*h - i + 314 - m = 0. Is h a composite number?
False
Is 324/486 + (-1345)/(-3) + 0 a prime number?
True
Let c(w) = 94*w**2 - 54*w + 9. Is c(23) a composite number?
True
Suppose -4*f = -52 + 44. Suppose -4*w - 972 = 3*s, -5*w + 9 = -f*w. Let o = -9 - s. Is o a composite number?
True
Let s(b) = b**2 + 21*b + 2. Let n be s(-21). Is (573/5 - 0)/(n/10) a prime number?
False
Suppose -t = -2 - 1. Suppose t*d + 0*y = 2*y + 6023, d = -2*y + 1997. Is d composite?
True
Is 23911 - (-2 + 20)/(-3) a prime number?
True
Let d(b) = 13*b + b**2 + 6 + 2*b - 3*b. Let m be d(-11). Is (93/(-9))/(m/15) a prime number?
True
Let c be (-2 - -5 - 5) + -158. Let d = c - -747. Is d a composite number?
False
Let m(y) = y**3 - 5*y**2 - 6*y + 8. Let p be m(9). Suppose 0 = 5*v + p + 477. Let f = -6 - v. Is f composite?
True
Suppose 0 = 3*x + 2*r - 0 - 23, -3*r = -x - 7. Suppose 5*w - 1100 = x*o, 281 = -3*w - 3*o + 923. Is w a prime number?
False
Let h(g) = -g**3 - 8*g**2 + g + 9. Let j be h(-8). Suppose j + 7 = 4*l. Suppose -3*o + 0*p + p + 163 = 0, 0 = -5*o - l*p + 257. Is o a composite number?
False
Let c(i) = -i**3 - 5*i**2 - 5*i. Let p be c(-4). Suppose -p*q + 444 = 4*s - 284, 0 = -s + 3*q + 170. Is s prime?
True
Let j(l) = 699*l - 18. Is j(11) prime?
False
Let j(i) = i**3 - 6*i**2 - 6*i + 2. Let d be j(8). Is (-401718)/d*1/(-1 + -2) prime?
False
Let k(s) = -s**3 - 2*s**2 + s - 1. Let w be k(-3). Suppose -7*t = -w*t - 326. Is t composite?
False
Let x = 3 + -1. Suppose o = -2*c - 21 - 149, -5*c - 2*o - 423 = 0. Is x/8 - c/4 composite?
True
Suppose 16 + 2 = v. Let j(r) = 10*r - 36 + v + 17. Is j(6) composite?
False
Suppose 0 = -37*s - 9*s + 384974. Is s prime?
True
Suppose 1 - 25 = 3*z + 4*f, 5*z + 3*f + 29 = 0. Is z/(-12) + 3340/6 composite?
False
Suppose b + 797 = 2*d + 6*b, 0 = 4*d + 2*b - 1634. Is d a composite number?
True
Suppose 0 = -0*x + 2*x + k - 2430, -3*x - 4*k + 3640 = 0. Let j = x + -385. Is j prime?
False
Let g be ((-91)/(-21))/((-1)/(-3)). Let c = g - 14. Is (-330 - c)*(0 + -1) composite?
True
Let h(l) = l**3 + 2*l**2 - l. Let g be h(-2). Suppose -g = -0*r - r. Suppose 4*j = -2*y + 250, 1 = -r*j - 7. Is y composite?
True
Let w(k) = k**3 - k**2 - 27*k + 29. Is w(18) a composite number?
False
Let q = -6 - -121. Let r = 242 - q. Is r composite?
False
Let i(s) = 3. Let l(f) = f - 9. Let o(b) = -7*i(b) - 2*l(b). Let t be o(0). Is (-1302)/(-9) + (-1)/t prime?
False
Let x be (-1 - 0)/(9/9) + 4. Suppose x*a - 2*a - 4855 = 0. Is a a prime number?
False
Suppose -5*a = -2*a - g - 36, 33 = 3*a - 2*g. Let v(l) be the second derivative of l**4/12 + l**3/3 + 4*l**2 + 2*l. Is v(a) a composite number?
True
Let l(u) be the second derivative of -u**3/6 + 5*u**2/2 + 3*u. Let d be l(-4). Let j = d + 10. Is j a prime number?
True
Suppose 697 = -32*v + 33*v. Is v prime?
False
Let m(t) = -34*t + 27. Suppose 4*u + 67 = 5*d, 2*u + 35 = -d + 4*d. Is m(u) composite?
True
Let z(y) = 3*y**3 + 3*y**2 + 4*y + 1. Suppose -3*x - 8 + 2 = 0. Let w be (1*2)/((-1)/x). Is z(w) composite?
False
Let f(b) be the second derivative of 5/6*b**4 + 5/6*b**3 - 5*b - 2*b**2 + 0. Is f(-5) a prime number?
False
Let h(b) be the first derivative of b**4/4 + 4*b**3 - b**2 - 8*b + 1. Let z be (-9300)/1000 - (-3)/10. Is h(z) a prime number?
False
Is (-28545)/(-65) + (30/39)/(-5) a prime number?
True
Suppose -25 = -7*g + 2*g. Let u = -47 - -662. Suppose d = -4, g*m - 4*d - u = 456. Is m composite?
False
Suppose -x + 630 = -5*q - 24020, 3*x - 73970 = -5*q. Is x composite?
True
Suppose 0 = -5*v - 739 + 6344. Suppose q - v = 2814. Is q prime?
False
Suppose 3*o + 3*i = 513, 2*o - 296 = 3*i + 66. Suppose -564 = -u + o. Is u a prime number?
True
Suppose -5*g = -2*g - 9. Suppose 2*d = -2*y - 0*d + 432, 0 = -4*y + g*d + 829. Is y a prime number?
True
Let y(z) = 3*z**3 - 8*z**2 + 2*z + 18. Is y(5) composite?
True
Let j(c) = c**3 + 8*c**2 - 8*c + 11. Let k be j(-9). Suppose -a - k = -2*s, 0 = 3*a - 7*s + 4*s. Suppose 0 = a*g - 335 - 1079. Is g composite?
True
Let c = -11351 + 6480. Let b = c + 7804. Is b a prime number?
False
Let z(y) = -27*y + 10. Let f be z(-9). Suppose 3*d - f = 1004. Is d a prime number?
True
Let f(d) be the first derivative of -d**4/4 - 2*d**3/3 - 3*d**2/2 + d + 6. Let s(k) = -k**3 - 11*k**2 - k - 14. Let y be s(-11). Is f(y) composite?
False
Let z(w) = -5*w**3 + 14*w + 88. Is z(-13) a composite number?
False
Is (17 - 8)/27 - 47392/(-6) a prime number?
False
Let n(x) be the first derivative of x**2/2 - 5*x + 11. Let r be n(10). Suppose r*q = -0*u - 5*u + 7190, 3*u = 4*q + 4307. Is u a prime number?
False
Let z = 0 - 3. Let k be ((-4)/(-12))/((-1)/z). Is 3*((-440)/(-6) + k) a prime number?
True
Let b = 28 - 29. Is (99 + -1 - b) + -2 prime?
True
Let l = -3046 + 1579. Let y = l + 2578. Is y a composite nu