 - 3 = 5*v. Is v*3/((-12)/(-818)) a prime number?
True
Let u(i) = -8*i**2 - 16*i. Let j be u(-9). Let s = 883 + j. Is s a composite number?
False
Suppose 0 = -5*z + 13*z - 2120. Suppose -16*q + 39 = -z. Is q a composite number?
False
Let q(d) = 115*d**2 - 13*d - 13. Let z be q(-4). Suppose z = 3*m - 8*a + 4*a, 2*a = 4. Is m a composite number?
True
Suppose -2*r = 68 - 24. Let o = r - -131. Let i = 176 - o. Is i a prime number?
True
Is (989 - -52) + (1 - 3) a prime number?
True
Let v(i) = -6 + 13 + i**2 + 0*i**2 + 16*i + 10. Let n be v(-15). Suppose -n*a - 3*b + 29 = -7, 4*b + 22 = 2*a. Is a a composite number?
True
Suppose 3*g = -3*d - 3, 0 = -g + 3*d - 3 - 2. Let t be 3 + (g - 2/(-2)). Suppose 103 = t*w - 39. Is w a composite number?
False
Suppose -2*c + 2744 = -0*c. Let b = -266 + 479. Suppose -5*k + b = -c. Is k a composite number?
False
Let v = -212 - -327. Suppose 0 = b - v + 26. Is b prime?
True
Suppose 2*t + 2*f - 1602 = 0, 5*t + 13*f = 16*f + 4021. Is t prime?
False
Let f = -29272 + 70923. Is f prime?
True
Let d be (-3)/12 + 1323/28. Suppose 471 + d = 2*f. Is f a prime number?
False
Suppose 4*i = -i + 6050. Is (i/15 + 4)/(4/6) prime?
True
Let a be (-4)/(-8)*((-15780)/4 - 1). Is a/(-3 + 0 + (-12)/(-6)) prime?
True
Suppose 1 = r - 3. Suppose -27 + 0 = -3*l. Is r*-1 - (-4338)/l composite?
True
Suppose 33*n - 591719 = 16*n. Is n a composite number?
False
Let q = -111 + -30. Let j = q + 206. Suppose -2*w = t - 20, j = t + 3*t + 3*w. Is t composite?
True
Suppose 2*k + 5*p = 20312, -3*p + 40610 = 17*k - 13*k. Is k a prime number?
True
Let u = -6 + 13. Suppose -u*v = -5*v + 16. Let m(j) = -62*j - 17. Is m(v) composite?
False
Let a(o) = -o**2 - o + 1. Let p(c) = -c**3 - 30*c**2 - 37*c + 34. Let z(q) = 5*a(q) - p(q). Is z(-23) prime?
True
Let k(u) = 8*u + 32. Let d be k(19). Let l = d - 39. Is l a composite number?
True
Let v(p) be the second derivative of 13*p**4/12 + 11*p**3/6 - 13*p**2/2 + 16*p. Is v(6) a prime number?
True
Let g(z) = 4*z + 71. Let l be g(-17). Suppose 0 = -2*h + 14 - 4, 4*p + l*h = 1883. Is p prime?
True
Let t(m) = 7 - 3*m**2 - 14*m**2 - 5 - m. Let h be t(-2). Let g = h + 101. Is g prime?
True
Let y(m) = 478*m + 69. Is y(5) a composite number?
False
Let w(n) = -2*n - 9. Let y be w(-6). Let c(f) = 33*f**2 + f - 4. Let t be c(y). Suppose 674 = 2*s - t. Is s a prime number?
False
Suppose 0 = 3*i - 0*i. Let j = i - 0. Suppose j = 5*t - 209 - 66. Is t a composite number?
True
Let x(k) = 1153*k - 139. Is x(24) a prime number?
False
Suppose 22*l - 176386 = 8*l. Let s = l - 8178. Is s a composite number?
False
Suppose -26 = 3*v + 43. Suppose -1 = -4*c + 3. Is c + -2 - -3 - v a composite number?
True
Let r = -226 - -402. Let a = r - -47. Is a a composite number?
False
Suppose -z + 2*m + 1121 = -2*m, 3*m + 4458 = 4*z. Suppose -z = 4*d - 5765. Is d a composite number?
False
Let d = -4824 + 8970. Suppose -l = -7*l + d. Is l a prime number?
True
Suppose -75*k - 8337 = -78*k - 4*u, 3*k - 8337 = 2*u. Is k composite?
True
Let u be 204/(-8)*8/6. Let x be (-14)/119 - 242/u. Is (149 - 0)*(x - 6) prime?
True
Suppose 4*z = -w - 30, -3*z - 18 = 5*w - 2*w. Let x = -41 - z. Let o = x - -176. Is o a composite number?
True
Let y be 4630/40*-1*4. Let c be 3/(-4) + y/(-4). Let i = c + -32. Is i a composite number?
False
Suppose -4*x = -b + x + 796, -5*b + 4115 = 2*x. Is b prime?
True
Suppose -2*q + 13 = 17. Let w(y) = -23*y**3 - y**2 + 2*y + 1. Is w(q) composite?
True
Let g = 9122 + 9195. Is g composite?
True
Let u = -1588 + 6935. Is u composite?
False
Suppose -13*i + 11*i + 8902 = -4*d, d = 4*i - 17776. Is i a prime number?
False
Let i(c) = -c - 2. Let u be i(-4). Suppose -127 - 611 = -u*b. Suppose d - b = -2*d. Is d a prime number?
False
Suppose -v + 4*i + 29100 = 3*v, 7*v - 50957 = -i. Is v prime?
False
Suppose -5615 - 19536 = -7*c. Is c composite?
False
Let w(g) = 44*g**2 + g + 1. Let h = -15 - -13. Let x be w(h). Suppose 0 = -2*q - 21 + x. Is q composite?
True
Suppose -35*r + 169556 = 41*r. Is r a composite number?
True
Let h = -1 + 1. Suppose h = 5*b - 87 - 38. Suppose -9*n + 8*n = -b. Is n prime?
False
Suppose 3*w = 5*x - 6, 0 = 4*w + w - 3*x - 6. Suppose -n - p = 2*n - 814, 2*n - 545 = -w*p. Is n prime?
True
Suppose -3*p + 13 - 34 = 0. Let z(b) = -b**2 - 10*b - 17. Let a be z(p). Let u(g) = -g**3 + 9*g**2 + 2*g + 5. Is u(a) a composite number?
True
Let b(y) = 3340*y**3 + 2*y**2 - 1. Is b(1) composite?
True
Let u(f) = f + 8. Let b be -3*((-3)/(-9) + 1). Let k be u(b). Is ((-2)/2)/(k/(-92)) prime?
True
Suppose -10303 = 2*u + 11027. Let l = -7466 - u. Is l prime?
False
Let y = -24774 - -35425. Is y prime?
True
Let i = 77756 - 45799. Is i a composite number?
False
Let d(w) = -w - 1. Let g be d(-15). Suppose -m = 4*c - 4, -5*c + 0*c + g = -m. Is ((-13)/c)/(13/(-182)) prime?
False
Let a = 0 - -1. Let x(m) = -1121*m**2 - m - 4. Let w(b) = -224*b**2 - 1. Let r(d) = -11*w(d) + 2*x(d). Is r(a) composite?
False
Suppose -1964 = -2*o + 3*r, -4*r + 391 = -2*o + 2357. Is o a prime number?
False
Let g(n) be the second derivative of 11*n**4/12 + 2*n**3/3 - 2*n**2 - 5*n. Is g(5) prime?
False
Let p(h) = -122*h + 2. Let l be p(-2). Suppose -1909 = -3*j - 2*n, -2*j + l = 3*n - 1030. Is j a composite number?
True
Suppose -s = -4 - 5. Let k(w) = -4*w**2 - 10*w + 17. Let o(n) = -n**2 + 1. Let h(p) = -k(p) + 3*o(p). Is h(s) prime?
True
Let v(o) = 311*o**2 - 3*o + 49. Is v(-21) composite?
True
Suppose -5*m - 640 = 1885. Let d = m + 1472. Is d composite?
False
Let b(i) = 497*i**3 - 10*i**2 + 12*i + 35. Is b(6) composite?
False
Let f(g) = 461*g**2 - 1. Let y be f(3). Let v = -2301 + y. Is v prime?
True
Let t(g) = 4*g**2 - 29*g + 171. Is t(6) a composite number?
True
Suppose 2*o = 3*n - 1066 + 294, o = -n + 249. Is n a composite number?
True
Suppose -8*i - 1998 = -26*i. Is i a composite number?
True
Suppose 0 = 9*d - 4603 - 644. Is d composite?
True
Suppose -w - 5*l = 2*w - 1876, 5*w - 3*l = 3138. Suppose -p = 4*a - 1272, w + 23 = 2*a + 4*p. Is a a composite number?
False
Let d = -69 + 162. Let w = 14 + -12. Let h = w + d. Is h prime?
False
Suppose 5*k - 9*k = -3868. Let m be -3 - 2/(-2) - -101. Suppose 4*j + m = k. Is j a composite number?
True
Let n be (-81)/54*(-76)/6. Is n - 20 - -1*878 prime?
True
Let n = 6216 + 97. Is n prime?
False
Let a = 15146 + 15825. Is a composite?
False
Is -10*11/(132/(-38886)) composite?
True
Let b = -4 - -9. Suppose 5*o = -w + 697 - 130, b*w - 2*o - 2943 = 0. Is w composite?
False
Suppose -2 = -3*v - 5. Let d(a) be the second derivative of -469*a**5/20 - a**3/6 - a**2/2 + a. Is d(v) a composite number?
True
Let c(m) = -49*m + 5. Let g be c(-5). Is (-5)/((-3)/(g + -1)) prime?
False
Let p be 1/(-2) - 30210/(-20). Suppose 4*i - 1014 = p. Is i a composite number?
False
Let w(f) = 11*f**2 + 3*f - 11. Is w(18) prime?
True
Let c = 8 - 6. Suppose 600 = c*n - 0*n. Is 0/(-2) + (n - -7) composite?
False
Suppose 3*w - 48769 = -4*m, -m - 3*w + 16124 - 3934 = 0. Is m prime?
False
Suppose -2*c = -4*o - 18, 6*o = 2*c + o - 18. Suppose 4*v + 88978 = 2*s, 2*s = 2*v - 24139 + 68625. Is c/(-15) + v/(-35) a composite number?
True
Let v(r) = 8*r**2 - 11*r + 3. Suppose 0 = 14*f - 10*f. Suppose 0 = -3*o + 15, 5*k - 4*o + 0*o - 20 = f. Is v(k) a composite number?
True
Let h be 4 - (-144 - (4 + -1)). Let d = h - 89. Is d a prime number?
False
Let y be (3 + 34/(-10))/(3/3090). Let j = -95 - y. Is j a prime number?
True
Suppose 0 - 10 = -s + 2*m, -s + 18 = -4*m. Suppose -3*w + 0*w = -3*l - 1887, -5*w + s*l + 3145 = 0. Is w prime?
False
Suppose -3*t - 3*d = 0, 3*t - 2*d + d + 20 = 0. Let j(h) = -h**3 - h**2 + h. Is j(t) prime?
False
Let o = 404 + -157. Is o prime?
False
Suppose 6*q = 3*q - 4*s + 2196, 4*s + 2956 = 4*q. Suppose 0 = 2*z + 5*n - 3805, -n + q = 2*z - 3089. Is z prime?
False
Suppose 58*y = 63*y - 20185. Is y prime?
False
Let g = 6 + -4. Suppose -z + 3521 = g*j, 5286 = j + 2*j + 3*z. Is j a composite number?
False
Suppose -c - c + 4 = 0. Suppose -c*m + 55 = q, -4*q + m + 131 + 98 = 0. Is q a prime number?
False
Let g(n) be the first derivative of 3*n**4 - 2/3*n**3 - 7 + 0*n**2 - n. Is g(2) a prime number?
False
Let x be (-3)/(-3) - (-17 - -18). Let t be 0 + 2*2*1. Suppose t*d - 260 = -x*d. Is d a composite number?
True
Let u = 23 - 22. Let k(y) = 5*y - 5