-o - 205, 5*o + n - 68 = 3*h. Is h prime?
True
Suppose n - f - 115 = 73, n + f - 194 = 0. Is n a composite number?
False
Let a be 0 - 0 - 2 - -252. Suppose -y = -k + a, -k - 5*y + 271 = 15. Is k a composite number?
False
Let u(y) = y**3 + 5*y**2 + 5*y + 7. Let f be u(-4). Suppose -f*o + 4396 = o. Is o composite?
True
Let t be (-4)/6*3*-1. Suppose h - t = 7. Suppose -h*v - 57 = -12*v. Is v a composite number?
False
Let z = 1864 + -4014. Let g = z + 3037. Is g composite?
False
Suppose l + 4*y + 4 = 20, -2*l + 2*y = -2. Let p = 235 + -120. Suppose 3*j - p = -l. Is j a prime number?
True
Let j = 9 + -3. Suppose j*n - 3*n - 3*o - 468 = 0, 0 = 4*o - 12. Is n a composite number?
True
Suppose 2*m - 916 - 1096 = 0. Suppose 4*y - 5*l + l = 2004, 4*l + m = 2*y. Is y a prime number?
True
Let z(f) = f**2 - 12*f - 11. Let n be z(13). Suppose -2*i = -i - n. Suppose 2*v + i*h + h = 185, 0 = 3*h - 15. Is v composite?
True
Suppose -24*v + 21*v + 12333 = 0. Is v a composite number?
False
Let g be (-15)/(-3) + (1 - 1). Suppose 0 = -g*l + 4*k + 9290, k + 11666 = 5*l + 2376. Is l a composite number?
True
Let c = -894 + 1567. Is c composite?
False
Suppose c - 3*b = 2, 3*c = 8*c - b - 10. Is c/6*(172 + 2) prime?
False
Let s(z) = 5*z - 11*z + 0*z - 10*z - 10. Let h be s(9). Is 2*(-6)/(-4) - h prime?
True
Suppose w + 1 = 3, -3*i + 5*w = -1277. Let d = 688 - i. Is d composite?
True
Let l = -55 - -65. Suppose -1872 - 7658 = -l*o. Is o a prime number?
True
Let p(r) = 2*r**2 - 39*r + 21. Let k be p(19). Suppose -4*v + 3*g = -328, -k*v = -2*g + g - 162. Is v a prime number?
True
Let o be (1/3)/((-3)/(-45)). Let y = -839 - -1162. Suppose 4*z = -0 - 8, -z + y = o*m. Is m a prime number?
False
Suppose -3*m + 4*u = -1822, 0 = u - 4 + 2. Let q = m - 251. Is q a composite number?
False
Let b(k) = -287*k + 47. Let w be b(7). Let h = 5223 + w. Is h prime?
False
Let h(z) be the first derivative of z**6/45 + z**5/40 + z**4/4 - 4*z**3/3 + 2. Let r(s) be the third derivative of h(s). Is r(-4) a prime number?
False
Let s = -14 - -34. Let r = -15 + s. Suppose 107 + 98 = a - r*t, 3*t - 913 = -5*a. Is a a prime number?
False
Let f = 70 + 339. Is f prime?
True
Suppose 2*l = -138 - 16. Let s = -34 - l. Is s prime?
True
Is 6106*(2 + (-12)/8) a composite number?
True
Let n be (30/8)/((-7)/28). Let l be (-14 - n)/((-1)/(-58)). Suppose 2*a - l = -2*s, 2*a = -3*s - 0*a + 83. Is s composite?
True
Suppose 109 = 4*v - 3*q, 0*q = 5*v + q - 122. Suppose -12*u + 8*u + 696 = 3*k, 0 = u - k - 167. Let h = u - v. Is h prime?
False
Suppose -3*f - 3*z = -598944, 3*f + 0*f + z = 598938. Is f composite?
True
Suppose -4*f = -11*u + 15*u + 20, -4*u + 3*f + 1 = 0. Let o(j) = -347*j + 7. Is o(u) a prime number?
True
Suppose -3*c - 9 = v + 2*c, 5*c + 33 = 3*v. Suppose -v*t - 63 = -225. Let q = -20 + t. Is q composite?
False
Let s(u) = 2*u**2 - 1 + 12 + 11*u + 0*u**2. Is s(-21) prime?
False
Let j(y) = -2*y**2 - 2*y. Let m be j(-1). Suppose -3*f + 8*f + 4*l = 5001, m = -4*f + l + 4005. Suppose 2*k = f + 1421. Is k prime?
False
Suppose 12 = -3*g, -p + 6*g = -376 - 133. Is p composite?
True
Suppose 4*g + 5*f = 32, 5*g + 6*f - 2*f = 31. Let i(y) = -g - 4 + 52*y + 29*y + 2. Is i(2) a prime number?
True
Suppose -26*m = -13*m - 11167. Is m prime?
True
Let j = 174796 - 124383. Is j a prime number?
False
Let d(i) = i**3 + i**2 + i + 281. Let l(x) = x + 4. Let k be l(-4). Let g be d(k). Let h = g - 72. Is h a composite number?
True
Let x(h) = h + 1. Let k(f) = 24*f + 9. Let c(v) = k(v) - 2*x(v). Is c(13) a prime number?
True
Let c(v) = v**2 - v - 13. Let i be 2 + (-1 + 0)*-6. Let k be (i/6)/(10/75). Is c(k) a prime number?
False
Suppose 0*u = -4*u + 160972. Is u a prime number?
False
Suppose -5*z + 2*z + 3 = 3*p, -z - 5*p - 15 = 0. Let d = -7 + z. Is (-104)/d - (-1 + -2) prime?
False
Suppose 0 = 6*r - 5050 - 5936. Is r composite?
False
Is 39862/19 - (-2)/2 prime?
True
Suppose 5332 = -2*l + 36098. Is l composite?
False
Suppose 4*j + 33 = -5*k, 3*j - 6*j = 3*k + 21. Let c(i) = 4*i**2 - 1 + 6*i + 6 - 4*i + 6*i. Is c(k) a composite number?
True
Suppose -46*h + 97*h = 99093. Is h prime?
False
Suppose 0 = 2*w + v - 3*v - 30, 0 = -3*w + 4*v + 45. Is 3*(1 + 5615/w) prime?
False
Let h be (-1 - (-5 - -4)) + 6. Let s = 8630 - 5961. Is s/h - (-5)/30 composite?
True
Let g be 7/((-98)/(-12))*7. Let v(f) = 4*f**3 - 13*f**2 - 7*f + 10. Let a(y) = -9*y**3 + 26*y**2 + 15*y - 21. Let i(u) = -3*a(u) - 7*v(u). Is i(g) prime?
True
Suppose 52*q + 2264575 = 6366179. Is q composite?
False
Let p = -57 + 60. Suppose -p*o - k = 3*k - 95, -3*k + 25 = o. Is o prime?
True
Let x = 13 + -13. Is (12/(-8) - x)/(3/(-4)) a composite number?
False
Let c = -4688 - -8198. Suppose 3*p - 3*f - c = 0, 5*p - 2*f = 4033 + 1808. Is p prime?
False
Suppose -4*q = 4*l - 11832, 5*q + l - 15645 = -835. Is q composite?
False
Is (-269*12 - -7)/((-2)/2) composite?
False
Let h(m) = 6*m**3 - 3*m**2 + m. Let v(d) = d**3 + 9*d**2 - 10*d + 2. Let r be v(-10). Is h(r) a prime number?
False
Let o(b) = b**3 + 2*b**2 - 2. Suppose -85 = 3*v + 2*v. Let h = v + 19. Is o(h) composite?
True
Is -2*(0 - 7217/14) a composite number?
False
Let f(l) = 9*l**2 - 11*l + 25. Is f(-9) prime?
True
Let k be (0 + 0)/(-2)*1. Let l(d) = -41*d**3 + d**2 + 2*d + 2. Let w be l(-1). Suppose m - 7 - w = k. Is m prime?
False
Let f(y) = -279 + 4*y**3 + 2*y**2 + 5*y - 5*y**2 + 278. Is f(7) a composite number?
False
Let n(s) = 622*s + 111. Is n(5) prime?
True
Let t(f) = -3 - f**3 + 2*f**3 + 3*f + 0*f + 4*f**2. Let o be t(-3). Is (115/o)/((-8)/24) prime?
False
Suppose -2*g + 10 = 3*g - 2*u, -3*g = -2*u - 2. Let x be -46 - (-4)/((-12)/(-9)). Let y = g - x. Is y composite?
False
Let s(h) = 418*h**2 - 2*h - 1. Suppose -5*u - 2 = -3*n, 2*u - 1 = u + 2*n. Is s(u) prime?
True
Let h = 542 + 1011. Is h a prime number?
True
Suppose -33 = -5*f - 143. Let p be (1243 - 0) + 20 + f. Let o = p - 618. Is o composite?
True
Suppose -70*v = -61*v - 46773. Is v composite?
False
Suppose 0 = -5*o + 3*a + 29929, 4*a + 2988 - 20957 = -3*o. Is o prime?
True
Let l(n) = 1. Let k(c) = 19*c + 8. Let p(i) = -k(i) - 4*l(i). Is p(-10) a prime number?
False
Suppose 8*m - 5634 = -2*j + 9*m, -3*j + 2*m = -8449. Is j composite?
False
Let i be (511 - -1) + -6 + 10. Suppose -1781 + i = -5*g. Is g a composite number?
True
Let s(r) = r**3 - 2*r**2 + 2*r - 4. Let b be s(3). Let a(c) = -9*c + c**2 + 12 + c**3 + 0*c**3 + 18*c. Is a(b) composite?
True
Let z(n) = -28 - 3*n**2 + 23 + 10*n**2. Let u(p) = -p**3 + 13*p**2 - 3. Let d be u(13). Is z(d) a composite number?
True
Let v = -5105 + 8320. Is v a composite number?
True
Let v(p) = -1020*p + 91. Is v(-3) prime?
False
Let k(o) = -2*o + 3*o - 7*o + 2*o + 2. Let t be k(1). Is (-2 - -190) + 2/t a prime number?
False
Suppose -16 = -5*u - 3*u. Let o(y) = y - 3 - y**2 + 11 + 7*y + u*y**2. Is o(-17) a prime number?
False
Suppose -3*r = -4*a - 44739, -1303 = r + 3*a - 16203. Is r a composite number?
True
Let l(u) be the first derivative of 4*u**5/5 - u**4/8 + 5*u**3/6 - u**2/2 + 9. Let n(j) be the second derivative of l(j). Is n(2) prime?
True
Suppose -z - 80 = 1229. Let d = z + 2188. Is d a composite number?
True
Let t = 34 - 12. Let m(w) = -t*w + 3 + 6 + w - 3. Is m(-3) prime?
False
Suppose -10 = -w + 1. Suppose -g + 2*g = -w. Let m = g + 45. Is m a prime number?
False
Let y be ((-15)/(-4))/(9/48). Is (-4)/10 - (-60748)/y prime?
True
Let l(a) = -2*a + 25. Let y be l(12). Let k be -5*(-79 + (y - 2)). Let u = -266 + k. Is u a composite number?
True
Suppose 6*j - 8*j = -y - 59965, 4*j + 3*y - 119915 = 0. Is j composite?
True
Let i = 374 + -162. Let k = i + 141. Is k a prime number?
True
Suppose 14*r + 32204 = 18*r. Is r a composite number?
True
Let x be (-1)/(-10)*-2 + (-948)/(-15). Let f = x - -6. Is f a composite number?
True
Let z(t) = 274*t**3 - 14*t**2 + 60*t - 9. Is z(4) a prime number?
False
Let j(z) = 4*z**2 + 4*z - 5. Let f be j(-8). Suppose -4*k + 1751 = f. Suppose -3*c + k = -574. Is c prime?
False
Let m(b) = 4*b**2 + 3*b - 421. Is m(-30) a composite number?
False
Let h(c) = -c**3 + 6*c**2 - 6*c + 11. Let k be h(5). Is ((-2)/k)/(-4 - 53313/(-13329)) a composite number?
False
Let b(n) = -n**2 - 7*n + 2. Let f be b(-7). Suppose -f*o + 1387 = 445. Is o composite?
True
Suppose 44844 = 2*h + 2*h + 2*c, -5*c