x - 22. Is -3 - (b/1 + 2) a prime number?
True
Suppose -2*n = 5*i - 5*n - 26758, 12 = 3*n. Is i prime?
False
Let d(n) = 31 + 4*n + 0 - 2*n - n. Is d(-17) prime?
False
Let c(u) = -163*u**3 + u**2 - u. Let k be c(-2). Let n = k + -773. Is n a prime number?
False
Let v(k) = 17145*k + 97. Is v(2) a prime number?
False
Let d = -39 - -63. Let y = 318 - 275. Let a = y - d. Is a prime?
True
Suppose 2*n + 2*h = -10, 5*n + 4*h + 38 = 13. Let j(f) = 66*f**2 - 7*f + 8. Is j(n) a composite number?
False
Suppose 14*d + 2*d = 573808. Is d composite?
False
Suppose -5*v + 10*v = 5740. Let g = 2361 - v. Is g prime?
True
Suppose x = -4*x + 10. Suppose -n - x*n = 0. Suppose n*d = -d + 85. Is d prime?
False
Suppose -2*b - b = -6. Let y(f) = 5*f**3 + 4*f + 1. Let k be y(3). Is (k/(-8))/((-1)/b) a prime number?
True
Is 33483/7 + 64/(-224) a prime number?
True
Suppose -9*w = -5020 - 12737. Is w a prime number?
True
Let t be 8/12*2694/4. Suppose 0 = 5*l - o - 4492, -l = -2*o - 444 - t. Is l prime?
False
Suppose 36*w - 128 = 44*w. Let q(g) = -263*g + 29. Is q(w) a prime number?
False
Let u(g) = g + 0*g - 3 - 7. Let j be u(7). Let x(y) = -4*y**3 + 2*y**2 + 3*y + 2. Is x(j) a composite number?
True
Let n = 173 + -372. Let w = n - -1020. Is w composite?
False
Suppose 5*m - 11 = -k, -2*m - 3*k = -0 + 6. Suppose n + 3*n = -m*r + 53, -2*n - 2 = 0. Is r prime?
True
Suppose -n + 5*f = 7*f - 37227, 3*f = 4*n - 148853. Is n prime?
True
Let o = -19150 - -28427. Is o prime?
True
Suppose -2*k - 3*k - 31820 = 2*r, 0 = -2*k - 3*r - 12739. Let u = -4470 - k. Suppose -n - 3*n + u = 0. Is n prime?
False
Let q = 158 - 3. Let l = 85 - -167. Let x = l - q. Is x prime?
True
Let j be ((-867)/34)/(2/4). Let y(w) = -26*w + 2. Let r be y(-4). Let z = r - j. Is z a composite number?
False
Suppose 8*r = 3*r - 3*j - 29, -r = -2*j - 2. Let g be (-342)/(-8) + (-1)/r. Let s = 4 + g. Is s prime?
True
Suppose 2866 = -2*c - 4*g, c + c + 5*g + 2863 = 0. Let w = -222 - c. Is w prime?
True
Let f = -3920 + 6281. Is f prime?
False
Suppose 34*p = 15293 + 23637. Is p a composite number?
True
Suppose -4*n + 0*n + 16 = 0. Suppose -3*s + 2718 = 5*f + 377, -n*s - 459 = -f. Is f a prime number?
True
Suppose -1 = u + 5*k + 1, -k = 1. Suppose -4*i + u*n = -2688, 1330 = 2*i - 0*i + 2*n. Is i a prime number?
False
Suppose 4*s + 14966 = -2*j + 103820, 4*j + 3*s - 177728 = 0. Is j a prime number?
False
Let u(p) = 36*p**2 - 4*p + 5. Suppose 0 = -h - 4, 0 = j + 2*h - 0*h + 5. Is u(j) prime?
True
Suppose f + 23 - 25 = 0, 3*u - 2*f = 2015. Is u a composite number?
False
Let q(j) = -j + 10. Let s be q(-4). Suppose 4314 = -s*o + 11*o. Is (-13 - -12)/(2/o) a composite number?
False
Suppose 3*j = 0, 134*j - 135*j - 6743 = -q. Is q a prime number?
False
Let d be (1/(-3))/((-3)/12519). Suppose -217 - d = -4*g. Let k = g + -281. Is k prime?
False
Is ((49/4)/(-7))/((-2)/11192) a prime number?
False
Let v = 24 - 24. Suppose -3*z + 15 + 24 = v. Is z a prime number?
True
Is (12551/44 + (0 - 0))*4 composite?
True
Suppose 3*m = 4*o + 17317, -10*o - 23096 = -4*m - 6*o. Is m composite?
False
Let r = 645 - 518. Is r a composite number?
False
Let v(h) = 4*h - 29. Suppose 0 = 4*x - 2*c - 102, -3*x - 4*c = -4*x + 36. Is v(x) a prime number?
True
Is 14289/(11 + -8) - (4 + 2) prime?
False
Suppose -t + 23 + 48 = 0. Let g be 32/18 + 2/9. Is (t/g)/((-5)/(-10)) composite?
False
Let g = 7 - 7. Suppose g = -4*p + 4*c + 1212, 2*p + 8*c - 3*c = 634. Is p a prime number?
True
Let z(g) = 61*g + 105*g - 4 + 56*g. Suppose 0 = 9*u - 304 + 277. Is z(u) a prime number?
False
Let b(c) = -144*c**3 + 2*c**2. Let l be b(-2). Let t = l + -821. Is t prime?
False
Let d = -3 - -8. Suppose d*l = 3*l + 6. Suppose 0 = l*f + 4*h - 337, -2*f + 2*h = 6*h - 218. Is f prime?
False
Suppose 4 = w - 0*w. Suppose b + 6*g - 222 = 5*g, 0 = -w*b + 3*g + 895. Is b a prime number?
True
Let o(a) be the first derivative of a**4/4 + a**3/3 - a**2/2 + 631*a - 12. Is o(0) a prime number?
True
Let l = -48 - -53. Is 288 + (-10)/l + (-2)/(-2) a composite number?
True
Suppose -5*n + 57 = 4*p, -4*n + 5*p + 0*p + 62 = 0. Let b = n + 192. Is b a prime number?
False
Let s be (2/(-10) - 33/(-15)) + -3029. Let k = -1184 - s. Is k prime?
False
Suppose 3*i - 4*a = 7*i - 8188, -8216 = -4*i + 3*a. Is i composite?
True
Suppose 0 = 85*y - 91*y + 158538. Is y a composite number?
False
Let i = -13114 + 19703. Is i prime?
False
Let w = 5766 - 2747. Is w a prime number?
True
Suppose -5*a = r - 26, -5*r + 68 = 3*a + 4. Suppose 9*s + 4438 = r*s. Is s a composite number?
True
Let p(y) = 75*y**3 - 16*y**2 + 29*y + 1. Is p(4) a prime number?
False
Let t(f) be the second derivative of 11*f**5/20 - f**4/12 + f**3/6 - 21*f. Is t(1) prime?
True
Let s be (-2)/(-3)*(-9)/(-6). Let i be (-3 - -3)/s - 5. Let w(u) = -119*u - 8. Is w(i) prime?
True
Let n(j) = -j**2 + 16*j + 17. Let g be n(17). Suppose 3*y = -k + 123 + 317, -3*k + 3*y + 1284 = g. Is k a composite number?
False
Let d(h) = 2*h**3 - 4*h**2 + 4*h - 3. Let i be d(2). Let z(u) = 10 - i - 8*u - 16*u. Is z(-6) a composite number?
False
Suppose -4*h + h + 6729 = 0. Is h composite?
False
Let d(i) = i**2 + i. Let v(j) = -7*j**2 - 6*j - 289. Let y(q) = -6*d(q) - v(q). Is y(0) a prime number?
False
Let z(u) = u**2 + u - 1. Let t(q) = -4*q**2 - 6*q + 24. Let b(n) = -t(n) - 3*z(n). Is b(-12) composite?
True
Let x = 14169 + -7710. Is x a prime number?
False
Let m = 60 + 135. Suppose 2*v = -4*b + 1516, b + v - 182 = m. Is b composite?
True
Is (-92 + 99)*59702/14 composite?
False
Let m = 23898 + 35843. Is m prime?
False
Let s = -998 + 684. Is s*(-4 + (-25)/(-10)) composite?
True
Let v(z) be the second derivative of z**5/20 + 7*z**4/6 - z**3/6 + 5*z**2 - 4*z. Let x be v(-10). Suppose 3*d - d - 421 = -u, -u + x = d. Is u a prime number?
True
Suppose -13*p = -15*p + 18634. Suppose 3*b = -5*g - b + p, -5*g + 9290 = -5*b. Is g a prime number?
True
Suppose 37360 - 6924 = 28*p. Is p a composite number?
False
Suppose 0 = -2*p - 5*g + 18602, -2*g - 27953 = -3*p + 3*g. Is p a prime number?
True
Suppose 0 = -2*l - 4*x + 83150, 4*l - 76862 - 89464 = 5*x. Is l prime?
True
Suppose -4*v = -3*g + 126, -g = 3*v + 4 + 84. Is (3 + -1)*(-765)/v a composite number?
True
Let h be (-4)/(-26) - 486/117. Let y be h*((-11)/4 - -2). Suppose 0 = -4*d + 3*l + 124, 2*d - 44 - 12 = y*l. Is d composite?
True
Suppose -b + 1949 = -4*r, 2*b + 9799 = 7*b - 2*r. Suppose l + 4*c = -0*l + 671, -b = -3*l + c. Is l a prime number?
False
Suppose -126*i = -125*i - 8. Suppose -5309 = -i*d + 3483. Is d prime?
False
Suppose 3*t - 122123 = -3*s + 339919, 0 = 5*t - s - 770076. Is t composite?
True
Let b(h) = 808*h**3 - 3*h**2 + 19*h - 33. Is b(2) a composite number?
True
Let n = 9 - 8. Suppose -c - 3*k - n = 13, 3*c = k - 62. Is (5 + -2)/((-6)/c) prime?
False
Is (-8644)/(-6)*(-9 - (-855)/30) prime?
False
Let v = 145 - 147. Let x(j) be the third derivative of -187*j**4/12 - j**3/2 - j**2. Is x(v) composite?
True
Let y be 4/(-1) + (1 - 2). Let m = y - -14. Suppose -m*b + 10*b - 13 = 0. Is b composite?
False
Suppose t + 22 = -5*c, -2*t + 2*c - 3*c - 44 = 0. Is (-48747)/(-33) + 4/t prime?
False
Suppose 0 = l - 0*l + 3*j + 17, 0 = -3*l - 5*j - 31. Let q = l - -4. Suppose 0 = -q*r - 3*x + 2095, 2*r + 424 = -5*x + 2517. Is r a composite number?
False
Let v(i) = 447*i + 130. Is v(17) a composite number?
True
Let x = 15195 - 8156. Is x composite?
False
Let a = 757 - 528. Suppose 2*p - a = p - 3*v, -3*p = v - 655. Is p a prime number?
False
Let l be -3 + (-1 + 2 - 4). Is (6111/(-84))/(l/8) composite?
False
Let a(k) be the first derivative of k**4 - 5*k**3/3 + 5*k**2 - 10*k - 40. Is a(5) prime?
False
Let w(n) = 47*n**2 + 6*n + 37. Is w(-6) a prime number?
True
Let y(i) = 59 - 7 + 8 - 27*i - 2. Is y(-15) prime?
True
Let r(z) = 102*z + 3. Let d be r(-12). Let n = d + 1964. Is n a prime number?
True
Suppose 0*a + 3*m = 2*a - 294, -a + 160 = 5*m. Suppose -4*r - a = -r. Is (1 + r)*(-8)/8 a prime number?
False
Suppose -g + 5*h = -9017, -g + 3*h + 9009 = -0*g. Is g a composite number?
True
Suppose -8*x - 2*j + 6 = -4*x, -x - 6 = -2*j. Let u = 93 - x. Is u - 9/((-9)/(-4)) composite?
False
Let y(x) = 51*x**2 - 2*x + 1. Let u be (20/(-50))/(1/(-5)). Is y(u) composite?
True
Let n = 32 + -18. Is 1110/n + 30/(-105) composite?
False
Let i = 28