(-9) prime?
True
Let a be (-136)/32 + (-2)/(-8). Is (-1 - 45)*26/a prime?
False
Let s = 35 + -39. Is 38668/44 + s/(-22) a prime number?
False
Let s be (242 + 6)*3/(-3). Let m = -133 - s. Is m a prime number?
False
Suppose -7*u + 3*u = 0. Suppose -44 = 2*s + 4*t, u*t - 3*t = 2*s + 43. Let w = 57 + s. Is w prime?
True
Is 11 - -7314 - 2*2/(-2) a prime number?
False
Is (29 - 26)*(-31983)/(-9) composite?
True
Suppose 2*r - 3*c - 13 = r, -2*r + 5*c = -22. Is (-1 + (1 - r))*(-1841)/7 prime?
True
Suppose 4*h - 1 - 7 = 5*p, 3*p + 15 = -h. Let v be p/(-3 + 1 + 1). Suppose 0 = -0*i - v*i + 124. Is i a composite number?
False
Let g(u) = -u + 407. Suppose -6*n + 80 = -2*n. Suppose -n = -5*p - 5*i, -3*p - 5*i + 20 = -p. Is g(p) a prime number?
False
Let p = 2004 - 1119. Is (20/(-30))/((-2)/p) prime?
False
Suppose 4*j = -4*w - w + 20768, w - 20784 = -4*j. Is j a prime number?
True
Suppose 5*g = -3*f + 2979 + 844, -5*f + 5*g = -6345. Is f a prime number?
False
Let o(c) = -c**2. Let r(z) = 14*z**2 + 10*z - 13. Let h(d) = -4*o(d) + r(d). Is h(6) a prime number?
False
Let x(z) = -7*z**2 - 3*z - 13. Let j(k) = -2*k**2 - k. Let l(b) = 6*j(b) - 3*x(b). Is l(-15) a prime number?
False
Suppose 5*o + y = -0*o + 436, 0 = 4*o - y - 356. Let s be 0/(-2)*(-2)/(-2). Suppose 4*l + 0*l - o = s. Is l prime?
False
Let l(i) = -13*i**2 - 11*i + 11. Let q(s) = s**2 + s - 1. Let w(v) = -l(v) - 6*q(v). Is w(4) a prime number?
True
Suppose -3*q + t = -5*q + 760, q - 381 = -t. Is q composite?
False
Let z(b) be the third derivative of -b**4/24 - 4*b**3/3 + 6*b**2. Let j be z(-8). Suppose -4*d + 136 + 228 = j. Is d a composite number?
True
Suppose -3*y = 2*y - 3*d - 2405, 5 = -d. Is (1 + y)*(-23 - -24) a prime number?
True
Let f(c) be the second derivative of -11*c**5/60 - 11*c**4/24 - c**3 - 8*c. Let g(x) be the second derivative of f(x). Is g(-6) prime?
False
Let s = -26 - -35. Suppose 0 = 3*c, -s + 93 = 2*w - 3*c. Let h = w - 27. Is h composite?
True
Suppose -2*h - 8 = -0*h. Let t be h/5 - (-29)/5. Suppose -2*g - 3*n = -722 - 452, -2*n = -t*g + 2897. Is g a composite number?
True
Is ((-33)/(-22))/(3/2810) composite?
True
Let a(l) = l - 1. Let w be a(0). Let s be ((-29)/1)/(w/4). Is 8 + -5 - (-2 - s) composite?
True
Suppose -8*j = -281123 + 1243. Is j a prime number?
False
Suppose -5*a + 8*a + 595 = 2*f, 0 = 2*a - 2. Is f prime?
False
Let v(q) = 106*q**3 + 4*q**2 + 5*q + 0*q**2 - 2*q**2 - 1. Let s be v(3). Suppose 3*n - a = -2*n + s, 0 = -n + 4*a + 575. Is n a composite number?
True
Suppose -84*r + 115514 = -70*r. Is r composite?
True
Let u = -8951 - -13146. Is u a prime number?
False
Suppose -d + 1196 = 4*y, 0 = -5*d + 3*y + 6238 - 235. Suppose 4*v = -v + d. Suppose -5*h - v = -2*c - 3*h, -4*h + 555 = 5*c. Is c composite?
True
Let c(o) be the second derivative of 157*o**4/24 + o**3/2 + 2*o**2 - 4*o. Let n(h) be the first derivative of c(h). Is n(4) a composite number?
False
Let i(d) be the second derivative of 23*d**6/360 + 7*d**5/120 + 5*d**4/12 - 7*d. Let m(k) be the third derivative of i(k). Is m(3) a prime number?
False
Suppose 6*m - 4086 - 1092 = 0. Is m prime?
True
Suppose -6686 = 7*k + 2407. Let r = k - -1882. Is r a composite number?
True
Is 2944 + -1 + (-17 - -13) a prime number?
True
Suppose 3*j + 2*n - 104017 = 11206, 0 = 2*n - 8. Is j a composite number?
True
Let t(o) = 12*o**2 + 2*o + 1. Let h(w) = w**3 + 14*w**2 - 2. Let k be h(-14). Let d be t(k). Let b = d + -23. Is b a composite number?
True
Suppose 0 = 5*l + 5 - 40. Suppose -3*t + 16 = -h, l*t - 20 = 2*t + 5*h. Let i(v) = v**3 - v**2 - 5*v - 1. Is i(t) prime?
True
Let f = -4908 + 19015. Is f a prime number?
True
Let d(b) = -b**3 - 2*b**2 - 4. Let a be d(-3). Suppose 0 = -a*r + 265 + 220. Is r a prime number?
True
Let s(t) be the third derivative of -113*t**6/720 - 7*t**5/120 + t**4/12 - t**2. Let w(r) be the second derivative of s(r). Is w(-4) a prime number?
False
Let y(c) = -c**3 + 4*c**2 - 10*c + 4. Let s be y(5). Let w = s + 124. Is w a prime number?
True
Suppose 10*i - 18 = 102. Suppose i*j + 8444 = 61448. Is j composite?
True
Let p(g) = g**3 + 3*g**2 - 11*g + 7. Let i be p(7). Suppose 2*n - 2*s = 2*s - 478, -2*s = -10. Let x = n + i. Is x composite?
False
Suppose -37 - 63 = -4*g. Suppose 0 = g*j - 21*j - 2876. Is j a composite number?
False
Let l(c) = -c**3 - 4*c**2 - 3*c + 2. Suppose -6 = 3*r + 3. Let g be l(r). Let s = g - -12. Is s a prime number?
False
Suppose -11679 = 20*o - 17*o. Is 7/(-28) + o/(-4) a composite number?
True
Let g = 11 - 8. Let c be 1*6 + -6 + g. Suppose -2 = -m, -4*m - 275 = -c*y - 61. Is y a prime number?
False
Let t(o) = -30*o**3 + 8*o**2 + 3*o + 1. Let k be t(-5). Suppose -5415 - k = -9*u. Is u a prime number?
True
Let a be 14/(-21) - 98/(-3). Let v = 47 + a. Is v composite?
False
Suppose 0*q + 2*q = -w + 2513, -3*q + w + 3782 = 0. Is q composite?
False
Let b(g) = 159*g**2 - 3*g + 67. Is b(-11) a composite number?
True
Let p = 1607 + -1114. Is p a prime number?
False
Suppose 304 + 139 = t. Is t composite?
False
Suppose 0 = -4*a - 3*q + 25147, a - 7*q + 3*q = 6301. Is a a composite number?
True
Suppose 14*y + 1296 - 11026 = 0. Let r = 2644 - y. Is r composite?
False
Let f = 37070 - 19287. Is f composite?
False
Let c = 2277 - 334. Is c a prime number?
False
Let l(z) = -6*z - 114. Let p(x) = 5*x + 113. Let f(v) = 4*l(v) + 5*p(v). Let r be f(0). Suppose o - 270 - r = 0. Is o prime?
True
Is 6609/(-15)*20/8*-2 a prime number?
True
Let s(c) = 273*c**2 - 7*c - 5. Is s(-4) a prime number?
True
Let i(v) = v**3 + 2*v**2 + v + 85. Let g(x) = x + 5. Let b be 27/(-5) - (-10)/25. Let y be g(b). Is i(y) a prime number?
False
Let a be 88/2*4/(-8). Let o be 6/33 - 13944/a. Suppose 0 = -3*j + j + 4*x + o, -4*x = 20. Is j composite?
False
Let j = 155 + -150. Suppose -18266 + 2131 = -j*k. Is k a prime number?
False
Is -5 - ((-894402)/(-36))/(3/(-4)) a composite number?
True
Let p = -11859 - -29062. Is p prime?
True
Suppose s - 2*s + 3*p + 1595 = 0, -6 = 2*p. Suppose -4*y = -4*t - 1580, t + s = 4*y - 0*y. Is y composite?
False
Suppose 8 = -4*r - 3*n, 16 + 24 = -4*r + 5*n. Let c(g) = -g**2 - 8. Let p(o) = -o + 9. Let j(t) = r*p(t) - 6*c(t). Is j(-4) composite?
False
Let d = 7127 + -3924. Is d a composite number?
False
Suppose w + 25 = 6*w. Suppose w*u - 502 = -x, 2*x + 615 = 4*u + 1577. Is x composite?
False
Let o(i) be the second derivative of 5*i**4/2 - i**3/6 + i. Let n be o(2). Let b = n + 139. Is b a composite number?
False
Let c(v) = 11*v**2 - 11*v - 33. Let g be c(-7). Let j = -246 + g. Is j prime?
True
Let s be (3*83/(-6))/((-1)/22). Suppose 9*j = 6*j - 2*q + s, 4*q = 5*j - 1551. Is j prime?
True
Suppose -3*q - 7 + 64 = 0. Let r = 34 + q. Is r prime?
True
Let q(x) = 15*x**3 - 6*x**2 - 16*x - 6. Is q(5) prime?
False
Let i(g) = g**3 + 10*g**2 + 2*g + 16. Let b(q) = -q**3 - 11*q**2 - 3*q - 17. Let r(t) = 3*b(t) + 2*i(t). Is r(-13) prime?
False
Let w(k) be the first derivative of k**6/360 + k**5/40 + k**4/8 + k**3/3 + 3. Let u(q) be the third derivative of w(q). Is u(13) a prime number?
True
Let l(x) = -2*x + 12. Let m be l(-9). Let j = 32 - m. Suppose -2*i + j + 50 = 0. Is i a composite number?
True
Let v = -296 + 534. Let m = -17 + v. Suppose 58 = -n + m. Is n a prime number?
True
Let v(s) = 190*s - 3. Suppose -5*c - 3*i + i = -66, -38 = -2*c + 5*i. Suppose p = c - 10. Is v(p) composite?
False
Suppose 4*r = -2*w + 6*w - 908, -207 = -w - 4*r. Is w a prime number?
True
Is 417503/(-82)*(-2 + 0) prime?
False
Let y(h) be the third derivative of -5*h**6/24 + h**5/20 - h**3/6 + 5*h**2. Let w = 19 - 21. Is y(w) composite?
False
Let a be 1/(-3) - (-1144)/3. Suppose r - a = 252. Is r a composite number?
True
Let n(l) = 3868*l**2 - 14*l + 7. Is n(2) prime?
True
Let l(h) = 44*h**2 - 11*h - 10. Let d be l(-7). Suppose 2*u - 5*o - 976 = 503, 3*u = 3*o + d. Suppose -4*s - 3*a + 734 = 0, 3*s + a = 7*s - u. Is s prime?
False
Let n = -579 + 865. Let p(y) = -22*y + 5. Let w be p(-7). Let z = n - w. Is z prime?
True
Is 372/2 + (-4 + -5 - -14) prime?
True
Suppose -641 = -j - 5*c + 1475, -j = 4*c - 2113. Is j a composite number?
True
Let z(d) = d**3 - 3*d**2 + 2*d + 2. Let w be z(2). Let r(x) be the second derivative of 7*x**5/20 + x**4/6 - 2*x**3/3 + x**2 - 2*x. Is r(w) a composite number?
True
Is ((4/10)/((-50)/(-2