/(-42) + (-4)/14 prime?
True
Let x(l) = 3*l**2 - 28*l - 27. Let i be x(13). Is (-72)/(-16)*1*i/6 a composite number?
True
Let b(d) = -2*d**2 + 17*d + 6. Let q be b(-13). Let c = q + 1031. Is c a prime number?
False
Suppose -623*b = -618*b - 105. Is b a prime number?
False
Let q = -16856 + 24135. Is q composite?
True
Let v(u) = u - 5. Let p be v(5). Suppose -4 = s, -5*q + 4*s + 2623 + 4778 = p. Is q composite?
True
Let n = -37390 - -71313. Is n a prime number?
True
Suppose 0 = -2*o + 11*o - 36. Suppose v + v - 700 = 4*x, 0 = o*v - 3*x - 1390. Is v a composite number?
True
Let k = -217 + 518. Let z = 2034 - k. Is z a composite number?
False
Suppose -3*f - 2*m = -4373, -3*f + 4*m + 2926 = -f. Is f prime?
True
Suppose 3*o - 5160 = -3*o. Suppose -8*t - 2*t + o = 0. Is t prime?
False
Let k be (5*-7)/((-8)/136). Let n(r) = -2*r**3 - 15*r**2 + 3*r - 12. Let p be n(-12). Let f = p - k. Is f prime?
True
Suppose 135*j - 139*j + 120 = 0. Is (-4)/j + (-105256)/(-120) a prime number?
True
Suppose -6 - 17 = -z. Let q = z + -8. Is q a prime number?
False
Let s = 3 + -3. Suppose -2 = 2*d - 0, s = 4*y - 5*d - 25. Suppose 2620 = -t + y*t. Is t composite?
True
Is (3 + 5 + -7)*641 a composite number?
False
Let o = -1 - -1. Suppose -3*a = 6, o = -4*k + k - 2*a + 5. Suppose 0 = -k*w - 621 + 2868. Is w composite?
True
Let o(a) = a**3 + a**2 - 6*a + 2. Let c(i) = -i + 17. Let n be c(13). Is o(n) composite?
True
Suppose 0*b - 20 = -4*b. Let j(f) = 6*f**2 - 13*f - 59. Let w be j(-7). Let a = b + w. Is a composite?
False
Let p(w) = -w**3 + 9*w**2 + 11*w - 2. Let n be p(10). Let l = 81 - n. Let z = 168 - l. Is z a prime number?
False
Let g(t) = 15*t**2 + 7*t + 11. Let c = 24 - 32. Let d be g(c). Suppose -5*w + d = -0*w. Is w a prime number?
False
Let u(n) = n**3 - n**2 - 2*n + 2. Let a be u(2). Suppose -a*f = -204 - 2436. Suppose -3*x + 4*l + 778 = 0, -4*l - l = 5*x - f. Is x composite?
True
Let j(c) be the second derivative of 2979*c**5/20 - c**3/2 + c**2/2 - 16*c. Is j(1) a prime number?
False
Let l = -1 - 16. Let d(u) = u**2 + 17*u + 2. Let q be d(l). Suppose p = q*p - 113. Is p composite?
False
Let z = -49 - 259. Let s = z + 435. Is s prime?
True
Let u be -4*4/8*-136. Let b = 141 + u. Is b composite?
True
Let h = -4 - 8. Let v = 6 + h. Let q = v + 27. Is q a prime number?
False
Let g = -217588 - -361865. Is g composite?
True
Suppose -22 = -5*x - 0*l - l, -2*l = -4*x + 26. Suppose -j + 2*s = -657, 7*s - 5*s = x*j - 3325. Is j prime?
False
Suppose 72*f = -576973 + 1927045. Is f a composite number?
True
Let b = -4340 - -6159. Is b composite?
True
Let d(c) = -5*c**2 - c. Let a be d(1). Let z(o) = -53*o**3 - o**2 + 2*o - 1. Let v(m) = 106*m**3 + 2*m**2 - 4*m + 2. Let f(i) = a*v(i) - 13*z(i). Is f(1) prime?
True
Let d(o) = -o**2 - 2*o - 446. Let l(q) = -q**2 - q - 445. Let b(x) = 2*d(x) - 3*l(x). Is b(0) prime?
True
Let u(d) = -d**2 - 3*d - 3. Let k be u(-6). Let q be (222 + 0)*(-7)/k. Is -2*q/(-4) + 2 prime?
False
Suppose 10*c = 135 + 15. Suppose 0 = 4*p - c - 1853. Is p composite?
False
Suppose -2*k + 10 = 2*s, -4*k = -4*s + 9 - 5. Suppose -14466 = -8*y + k*y. Is y prime?
True
Suppose 12 = -8*j + 7*j. Is 1/j*3*2174*-2 a prime number?
True
Let z = 3635 - 1788. Is z a composite number?
False
Let x(g) = -225*g - 5. Is x(-2) a prime number?
False
Let j(u) be the second derivative of 31*u**3/2 + 5*u**2/2 + 8*u. Is j(4) prime?
False
Let c(l) = 40*l**2 - 10*l + 13. Is c(-14) composite?
False
Suppose -u - 396 = -4*j, 4*u + 212 = -j + 3*j. Let o = j - 67. Is o prime?
True
Let v(j) = 4*j - 261 + 2062 - j. Is v(0) a prime number?
True
Let a(f) = 173*f**2 + 29*f - 399. Is a(10) prime?
True
Is 2/(-8) + -1 - (-2981475)/140 prime?
False
Suppose -4*d - 2*d - 102 = 0. Let j = 9 + d. Is ((-366)/j)/((-6)/(-16)) a composite number?
True
Is 2726*(33/(-6) - -6) a prime number?
False
Suppose -u + 19 = 4*t + 3, -t = -4*u + 13. Let w be (-2)/(-5) - (-2)/(-5). Is (w - 1004/u)*-1 composite?
False
Suppose 5*b = 2*s - 13453, -3*b + 7*b + 6719 = s. Is s prime?
False
Let m(k) = 2*k**2 + 3*k + 3. Let a be m(-1). Let w = 8 - 6. Suppose w*n - t = a*t + 115, 2*t = -4*n + 206. Is n a composite number?
False
Let g(x) = -2*x**3 - 18*x**2 - 19*x + 142. Is g(-15) a prime number?
False
Suppose -4*c + 114 = -1534. Suppose 7*f = 4*v + 2*f - 412, 4*v + 3*f = c. Is v a composite number?
False
Let s(u) = -4*u - 57. Let k(i) = i + 19. Let g(a) = 8*k(a) + 3*s(a). Let t(y) = -3*y + 49. Let r be t(21). Is g(r) prime?
True
Suppose -2*d = 2*t - 3028, -4 = 4*d - 8*d. Let n = t - 576. Is n a composite number?
False
Suppose -7*j - 62437 = -36*j. Is j a composite number?
False
Suppose -254 = -5*u + 516. Is (-37)/(4 + u/(-38)) composite?
True
Let a(x) = 13*x**3 - 9*x**2 + 24*x - 17. Is a(10) a composite number?
False
Suppose 3*z + 23831 = -5263. Is z/(-8) + (-57)/(-76) composite?
False
Let d(i) = 9*i**2 - 1. Let o = 0 - 4. Is d(o) a composite number?
True
Suppose -h = -2*r - 6195, -h - 5*r - 1880 + 8068 = 0. Is h a composite number?
True
Suppose -13*x + 1656 = 11*x. Is x a composite number?
True
Suppose 2*k = 2*c - 4742, -c + 3*k = -5*c + 9484. Is c a prime number?
True
Suppose 8*d - 2 = 7*d. Suppose 1814 = d*x - 0*x. Is x a prime number?
True
Let i(z) = 50*z - 3. Let u be i(-7). Let r = -170 - u. Is r composite?
True
Is (191485/15)/(1/3) prime?
False
Let j = 92396 + -57039. Is j prime?
False
Let m(x) = 368*x**2 - 14*x + 127. Is m(9) prime?
False
Suppose -3*p + 0*p + 46651 = 5*o, 4*o = -2*p + 31102. Is p a composite number?
True
Let u = 514 - 278. Is (3 - 10)/((-4)/u) composite?
True
Suppose 3*k - 28 = -k. Let i(q) be the third derivative of -q**6/120 + 2*q**5/15 + q**3 + 3*q**2. Is i(k) a composite number?
True
Let d = -43 + -34. Let q be (42/(-8))/((-15)/40). Is q/d - 312/(-22) prime?
False
Let o = 5 - 2. Suppose 5*j - 250 = -o*y, -2*y - 260 = -5*j - 7*y. Let d = j + -32. Is d a composite number?
True
Suppose -2*y + 2690 = -3*p - p, 3*y - 2*p = 4039. Is y composite?
True
Suppose 10*w - 5*w = -v, 5*v = -w. Suppose v = 3*p + x - 14, -x + 6*x = -3*p + 34. Suppose 7 - p = s. Is s a composite number?
True
Is (-1 + 14)*(14 + 15) composite?
True
Let l(o) = 4291*o + 216. Is l(11) composite?
False
Let a be 4/2 - (2*-1 + 0). Suppose 1276 = -0*z + a*z. Is z a prime number?
False
Let q be (-3 + -13)*(-3)/(-6). Let l = -4 - q. Suppose 29 = 2*u + 3*y - 0*y, -u - 5*y + l = 0. Is u prime?
True
Suppose -3*d - 59476 = 3*i - 4*i, 59452 = i + 5*d. Is i composite?
False
Let b = -786 + 1788. Let j = b + 635. Is j composite?
False
Let z(q) be the third derivative of q**4/12 + q**3/3 + 7*q**2. Let h be z(4). Is (15/h)/(12/392) prime?
False
Is (1 - (-7)/(-9)) + (-4113175)/(-225) composite?
True
Let h = -116 - -116. Let a(i) = -6*i + 134. Let l(d) = 5*d - 133. Let g(r) = -6*a(r) - 7*l(r). Is g(h) a prime number?
True
Let v = -71 + 121. Is (-96)/(-15) + 30/v composite?
False
Suppose 12 - 45 = -11*x. Suppose -2*s + 715 = x*s. Is s a composite number?
True
Suppose 9 = -3*z - s, -3*s + 6 = -z - z. Is 10254/3*(z - (-14)/4) a prime number?
True
Let o be 6/(-12)*-4*8. Let m = -13 + o. Suppose -m*i - 806 = -j, 5*i - 2164 - 1806 = -5*j. Is j composite?
False
Let o = -242 - -849. Let m be (-25)/((6/(-8))/((-6)/(-4))). Let s = o - m. Is s a prime number?
True
Suppose -19*p = -22*p + 6. Suppose -2317 = -9*l + p*l. Is l prime?
True
Suppose -8*s + 5 = -11*s - 2*a, 4*a = -2*s + 10. Suppose -3*i + 79 + 5 = 3*m, -116 = -5*m + i. Let q = m + s. Is q composite?
False
Suppose 4*s + 315 = -345. Let g = s + 496. Is g composite?
False
Is 12*(-5)/(-160) + (-251220)/(-32) a prime number?
False
Let s = 10712 + 881. Is s a prime number?
True
Suppose -w - 4 = -5*l - 11, -3*l + 7 = 5*w. Suppose -w*y = 3*y - 20. Suppose -3*x - 19 = -y*x. Is x a composite number?
False
Let r = -27248 + 60058. Is r/70 + (-2)/(-7) a composite number?
True
Let i = -1 + 12. Is (1142/(-4))/(i/(-22)) a composite number?
False
Let q = 44082 - 29325. Is q a prime number?
False
Let j be (-4)/5*(-5 - 0). Suppose 0 = -s + j*s. Is s - (-3 - 0) - -112 composite?
True
Let y = 2633 - 1672. Let t = -428 + y. Is t prime?
False
Is 28/(-4) - (5 + -31)*1041 prime?
True
Let a be 45/(-20)*(-16)/6. Suppose 3*j = -3*d + 1908, -a*d + 5*j + 2499 = -2*d. Is d prime?
True
Let n(h) = -4*h**3 + 8*h**2 - 2*h - 55. Is n(-14)