s d(-6) a prime number?
True
Suppose 0 = -5*c - v + 3, c = -2*v + 7 - 1. Suppose j = 3*o + o - 795, o + 5*j - 204 = c. Is o composite?
False
Suppose 5*q + 2*f - 201 - 990 = 0, -q = -2*f - 243. Let o = -157 + q. Suppose -k + 231 - o = 0. Is k a prime number?
True
Let m(r) be the first derivative of 3*r**3 - 3*r**2/2 - 13*r + 34. Is m(-8) a prime number?
True
Let b = -86 + 853. Is b a prime number?
False
Let s(k) = 18541*k + 443. Is s(12) a prime number?
False
Let n(w) = 8*w**2 - w + 2. Suppose -69 = -5*j - 9. Suppose 0 = -4*a - 0*a - j. Is n(a) composite?
True
Let t = 14655 + -7341. Suppose 0 = h - 7*h + t. Is h composite?
True
Is (0 + 2 - 3)*(-2162 - -13) composite?
True
Suppose -53434 = -5*t - l, 25*t = 30*t + 4*l - 53431. Is t a prime number?
True
Let d(n) = -n**3 - 16*n**2 + 74*n - 168. Is d(-43) prime?
True
Suppose -5*x + 27 = a, -3*a + 2*x = -x - 63. Is a/55 + (-793)/(-5) prime?
False
Let a be 5/((-5)/(-8)) - 3. Suppose a*w - 2*m = 654 + 535, 4*m = 4*w - 944. Is w prime?
True
Suppose -3 - 1 = -2*j, -3*p - j + 707 = 0. Let q(x) = 2*x**3 - 2*x**2 + 2*x + 4. Let z be q(-2). Let i = p + z. Is i prime?
True
Let c be -19*(0 - 7)/1. Suppose -c = 4*m - 697. Is m a prime number?
False
Let n(u) = 5*u**3 - 65*u**2 + 47*u - 5. Let j(x) = -3*x**3 + 43*x**2 - 31*x + 3. Let m(q) = 8*j(q) + 5*n(q). Is m(-18) a prime number?
True
Let q = -514 - 7341. Let z = q - -14834. Is z a prime number?
False
Let q be (-3 + 2)/(1/10). Let x = 11 + q. Is 4/x*149/4 a prime number?
True
Suppose l - 5*n - 22 = 0, -40 = -3*l + n + n. Suppose 0*z = -z + 3. Is (233/z)/(4/l) a composite number?
False
Suppose -5*r = -6*r + 2*c + 2669, -13310 = -5*r + 3*c. Is r a prime number?
True
Let b(d) = 340*d**2 + 2*d - 1. Let c be (-3)/(-3)*(-1)/(-1). Let q be -2 + 4 - 1/c. Is b(q) prime?
False
Is (-28 - -17)*3457*-1 prime?
False
Suppose -3*q - 13 - 11 = 3*c, -2*q = -c + 1. Let s(i) = 78*i**2 - i - 4. Is s(q) a composite number?
False
Let l(k) = 2*k - 9. Suppose 3*c + 3*y = 9, -2*y + 12 = -5*c + 55. Let v be l(c). Suppose 2*z - 85 = -v*a + 2, 3*a - 65 = 2*z. Is a composite?
False
Suppose 4*l - 6*l - 4 = 0. Let m be 900 + (2 + -4 - l). Let y = -151 + m. Is y prime?
False
Let k be (4 - (7 + -7))*731/4. Suppose -7*f + 1152 + k = 0. Is f a prime number?
True
Suppose 4*h + 314 = 1362. Let w = -185 + h. Is w prime?
False
Let s = 55 - 46. Suppose 3*n = -3*c + 3972, -c - 6*n = -s*n - 1304. Is c a composite number?
False
Let j = -11 + 15. Suppose 0 = -j*y - 40 - 96. Let c = y + 91. Is c prime?
False
Let w(m) = -808*m - 65. Is w(-6) a composite number?
False
Suppose 0*d = 5*d + 3*n + 55, 3*n = 4*d + 44. Let l(v) = -v**2 - 18*v - 24. Is l(d) a prime number?
True
Let u = -1694 - -3789. Is u prime?
False
Is (3 - 5)*(-6275)/10 a composite number?
True
Suppose -14080 = -4*q + 11884. Is q prime?
True
Let y(s) be the third derivative of -11*s**2 + 0*s - 13/6*s**3 + 1/120*s**6 + 4/15*s**5 + 0 - 1/6*s**4. Is y(-16) composite?
True
Let p(c) be the third derivative of c**4/8 - 7*c**3/6 + 7*c**2. Let k be p(4). Suppose -g - 220 = -k*g. Is g prime?
False
Suppose 5*f - 8 = 4*s, 4*s - 6*s + 4*f - 10 = 0. Is (6/(-4))/(s/(-790)) composite?
True
Suppose -4*m + 4*z - 6 = 26, -5*m + z = 48. Let r(i) = -2*i**3 - 14*i**2 + 10*i + 5. Is r(m) a composite number?
True
Let u(p) be the third derivative of p**6/60 - p**5/12 + p**4/12 - 2*p**3 - 2*p**2 - 33*p. Is u(5) a composite number?
True
Suppose -3*u - 162*x + 159*x + 165312 = 0, -2*u = -x - 110205. Is u prime?
True
Let a(q) be the third derivative of -q**6/60 - 4*q**5/15 + q**4/3 + 7*q**3/6 + q**2. Let p be a(-12). Suppose 3*j = 2*w + p, 2 = -3*w + 5. Is j composite?
True
Let c(q) = -q**3 - 2*q**2 - 6*q + 2. Let d be c(6). Let i = 898 + d. Suppose -68 = 4*y - i. Is y a prime number?
True
Let v(x) = x + 20. Let q be v(-10). Is 18867/15 - -5 - (-2)/q a prime number?
False
Let g(m) = 1753*m**2 + 26*m - 1. Is g(3) composite?
True
Suppose -7*k + 3*k = -428. Suppose -k = -c + 5*h, 4*c + 314 - 842 = -5*h. Is c prime?
True
Suppose 19*l = 6*l + 13. Is 1/(-3)*l - (-147560)/51 prime?
False
Let r(d) = 7*d**2 + 30*d + 7. Is r(-14) a prime number?
False
Let m = 9493 + -496. Is m composite?
True
Let p = 4198 - 2960. Suppose r = -161 + p. Is r prime?
False
Suppose 36 = -l + 4*l. Suppose 3*p + 21 + l = -5*d, 5*d + 31 = -p. Is ((-9)/d)/((-6)/(-136)) a prime number?
False
Let m = -6 + 10. Suppose m*q - 7*q + 3 = 0. Is (-1004)/(-4) - (-1 - q) composite?
True
Suppose 24864 = g - 3*x, -3*g - 7*x = -3*x - 74579. Is g composite?
True
Let d = 6060 + -4101. Let b = d - 1238. Is b prime?
False
Suppose -4*q = -2*q - 4. Let s be (3/q)/(1/42). Let p = s - -94. Is p prime?
True
Let y(v) = 136*v**2 - 40*v + 109. Is y(3) composite?
False
Suppose 0*j + 6 = 3*j. Let c(i) = -91*i**3 - 1 - 15*i**3 + j*i**2 - 26*i**3. Is c(-1) composite?
True
Suppose 25*y = 18414 - 2039. Is y composite?
True
Let d = -21956 - -33745. Is d prime?
True
Let s(u) = -5*u**3 - 34*u**2 - 12*u + 2. Is s(-15) a composite number?
True
Let w(k) = -k - 6. Let x be w(-10). Let q be 39/9 + x/6. Suppose 4*n + 4*d - 678 = q*d, 4*n - 4*d = 684. Is n a prime number?
False
Let w(c) = -c**3 + 51*c**2 - 29*c - 38. Is w(49) a composite number?
False
Let t be 10904/18 + 2/9. Let m(z) = 9*z**2 + 18*z - 16. Let i be m(-7). Let d = t - i. Is d a composite number?
False
Let z(x) = 54*x**3 - x**2. Let m(d) be the first derivative of d**2/2 - 7*d + 3. Let a be m(8). Is z(a) composite?
False
Let j(l) = l**3 + l**2 - 6*l - 93. Let v(w) = 2*w + 3. Let c(n) = -j(n) - 2*v(n). Let x(h) = h - 2. Let o be x(2). Is c(o) composite?
True
Let d(m) = 53*m**2 - 7*m + 1. Let i(y) = -y**2 + 5*y + 5. Let v be i(5). Let u be 6/(-30) + (-14)/v. Is d(u) a prime number?
True
Let k(b) = 11*b**3 + 13*b**2 + b + 18. Let n be k(-10). Let p = 15399 + n. Is p a prime number?
False
Let t be (1109*3/(-6))/((-1)/(-2)). Let o = -120 - t. Is o a prime number?
False
Let q(y) = -537*y**3 - 31*y**2 - 145*y - 19. Is q(-6) a prime number?
True
Let t(b) = -20*b**2 + 9*b - 22. Let u(r) = r**2 - r - 1. Let i(s) = -t(s) - 6*u(s). Is i(9) a composite number?
True
Let p be (-1)/(-4) - 31/(-4). Suppose -5*f + p = -2. Is 1*(160 - (-1 - f)) a composite number?
False
Suppose -941*u = -945*u + 4196. Is u prime?
True
Is (1522/(-5))/((-6)/15) composite?
False
Let b be 115/4 - (-13)/52. Let q = b + -33. Is (1/q)/((-2)/7096) a composite number?
False
Let k(r) = -2*r**3 - 5*r**2 - 6*r - 2. Let m be k(-2). Is 2 - m - -4 - (-1199 + -2) a prime number?
True
Suppose -2*t - 4461 = -5*t. Suppose 3*y - t = 4*r, -4*y + 2*y + 978 = 4*r. Is y composite?
True
Is ((-1335962)/(-102))/(1/3) composite?
False
Let y = 17495 - 9426. Is y a prime number?
True
Is 3*89*(-291)/(-9) a prime number?
False
Let w(a) = 48*a**2 - 35*a - 31. Is w(14) a prime number?
True
Suppose -19*l + 15*l = -12620. Is l a composite number?
True
Suppose -i + 5*b = -29, -b + 40 = 4*i - 2*b. Let y be 6/9 + 30/i. Suppose -y*o + 87 = n - 9*o, -5*n + 5*o = -395. Is n a prime number?
False
Is ((-12)/(-9))/2*(-115863)/(-22) composite?
False
Let m be (-708)/((-44)/16 - -3). Let p = -7143 - m. Is (-2)/7 - p/21 prime?
False
Let s be 2 - ((-1896)/1 + -4). Let z = -991 + s. Is z composite?
False
Let a(m) = -4*m - 10. Let w be a(-16). Let o = w + -36. Suppose 19*g - 259 = o*g. Is g composite?
True
Suppose 32*z - 1284 = 23068. Is z composite?
False
Suppose 0 = 4*r + 8, 1 = -a + 3*r + 3. Let y(c) = -c**3 - 5*c - 1. Let f be y(a). Let n = -16 + f. Is n composite?
False
Let r(s) = -s - 4. Let j be r(-4). Suppose -4*z + z + 519 = j. Suppose 2*t + 2*g = -g + z, t = g + 94. Is t composite?
True
Let m = -1796 - -3745. Is m a composite number?
False
Let l(i) be the second derivative of -i**5/20 - 5*i**4/12 - i**3/3 - 7*i**2/2 + i. Let j be l(-5). Suppose b + 318 = j*b. Is b a composite number?
True
Suppose -5*w - 112 = -1117. Is w a prime number?
False
Let r = -261 - -875. Is (r/3)/(58/87) a composite number?
False
Let o(t) = -436*t**3 - 3*t**2 + 8*t - 5. Let i be o(2). Let c = -1528 - i. Is c a prime number?
False
Suppose 12 - 9 = j. Suppose g = 3*g + j*n - 472, 2*n - 4 = 0. Is g prime?
True
Let t(j) = -269*j - 156. Is t(-7) a prime number?
False
Suppose l = -n - 3*l - 10, 2*n - 32 = 5*l. Let o(f) = -2*f**2 + 16*f - 15. Is o(n) composite?
True
Suppose 0 = 2*j + 2*