prime?
False
Let j(o) = -4*o**3 - 6*o**2 + 5*o + 5. Is j(-6) a prime number?
False
Suppose 2*y + 3*i = 1695, -5*y - 3*i + 7*i = -4203. Is y composite?
True
Suppose -3*c - 5087 = -2*t - 8*c, -2*t + 5052 = -2*c. Is t a prime number?
True
Let x(v) = v**2 + v - 5. Let a(r) = 6*r - 1. Let h be a(-1). Let u be x(h). Suppose -5*g = 0, -u = 2*m + 4*g - 107. Is m prime?
False
Suppose 6*p - 11*p + 1460 = 5*i, -4*p + i = -1143. Is p a prime number?
False
Let v(s) = 4*s**2 + 8*s + 7. Let o be v(7). Let p = o + -174. Is p prime?
False
Is 6/(24/7)*28 a prime number?
False
Suppose 0 = -4*p - 5*o - 0*o + 106, -3*p - 5*o + 82 = 0. Let b be p/9 - 4/6. Is -1 - -30 - b/(-1) composite?
False
Let g(d) = d**2 - 4*d - 1. Let z be g(4). Let c = 6 + z. Suppose 150 = c*r + 5*y, -r + 2*r = 5*y + 6. Is r a composite number?
True
Let a = -4 + 6. Suppose 124 = a*y - 122. Suppose -y = -3*o + 306. Is o a prime number?
False
Let b = 11 - -3. Suppose -4*j + b = 2. Suppose -p + 2 = -3*g + 4, j*p = g + 10. Is p composite?
True
Suppose -1 = -j + 1. Suppose 3*t = -20 + j. Let y = t + 95. Is y a composite number?
False
Suppose 0 = -4*i + 3*j - 281, j - 69 = i - 0*j. Suppose p - 186 = -66. Let b = p + i. Is b prime?
False
Is 5/(25/384) - (-5)/25 prime?
False
Is -3 - (-4*378/4 + 2) composite?
False
Let l = 18 - 13. Let i(k) be the third derivative of k**5/15 + k**4/6 - 5*k**3/6 - k**2. Is i(l) a composite number?
True
Let o = 3 - -2. Let h be -1 + 2 - 4/4. Suppose -o*c = -h*c - 155. Is c prime?
True
Let f = -81 - -294. Is f a prime number?
False
Let r be (-1173)/6 - 4/(-8). Let h = -76 - r. Is h composite?
True
Let w be -15*(4 - 1128/20). Suppose -2*z + x + w = 0, 2*z - x = 2*x + 794. Is z a prime number?
False
Is (-2166)/(-10) - (-16)/40 a prime number?
False
Let b be (-2 - -16)/(1 + 1). Suppose 0 = b*r - 2*r + 5, 2*r = p - 39. Is p a composite number?
False
Suppose 0 = -a - 6 - 3. Is (1 + 2)*(-111)/a a composite number?
False
Suppose 4*d - d = -6. Let p = d + 6. Suppose p*n = -n + 110. Is n a prime number?
False
Suppose -k - 80 = -5*k. Is 5/k + (-950)/(-8) prime?
False
Let p = 118 + -32. Suppose -5*x = 4*v - 0*x - p, -8 = -4*x. Is v a composite number?
False
Let j(z) = -2*z**3 + z**2 + 6*z + 18. Is j(-11) composite?
True
Let w = 19 - -328. Is w a prime number?
True
Suppose -3*k + 16 = -5. Let r(i) = -i + 1. Let h be r(-3). Suppose k - 35 = -h*f. Is f a prime number?
True
Let w = 19398 + -9967. Is w a composite number?
False
Let u be (-46)/(-3) + (-6)/18. Let i = -7 + u. Let f = i + 35. Is f prime?
True
Let g(a) = 7*a**2 - a. Let o be g(-1). Suppose 4*j - 28 = -o. Suppose 445 = j*u - 0*u. Is u a composite number?
False
Let a(v) = 3*v**3 - v. Let q be a(-1). Is 64 - (q/(-2) + -4) a prime number?
True
Suppose 3*u + 278 = p - 36, 4*p = 2*u + 1296. Is p a composite number?
True
Suppose -307 = -2*f - 2*f - l, 3*f + 3*l - 228 = 0. Is f a composite number?
True
Suppose -2*m - h + 13 = 4*h, -3*m = -4*h - 8. Let y(f) = -21*f + 3. Let p(w) = -10*w + 1. Let x(s) = -5*p(s) + 2*y(s). Is x(m) a composite number?
True
Let r(p) = 12 + 119 + 78 + p - 3*p**2 + 2*p**2. Is r(0) a prime number?
False
Suppose 0 = -7*f + 2*f + 8885. Is f a prime number?
True
Let c(p) = -14*p + 23. Let t be (2/2)/((-4)/68). Let o(m) = 5*m - 8. Let f(z) = t*o(z) - 6*c(z). Is f(-6) a composite number?
True
Let l be 177/9 + 6/(-9). Let r = l + -10. Is r a composite number?
True
Let p be (3/6)/(1/(-12)). Let v(i) = -i**3 - 5*i**2 - 7*i + 6. Let s be v(p). Suppose -7 = -d + s. Is d a composite number?
True
Let y(n) = 5*n**2 + 6*n - 3. Let p be y(4). Let f = 175 - p. Is f a prime number?
False
Suppose 0*z = -4*m + 3*z - 15, 4*z = 5*m + 20. Suppose -c + 123 + 142 = m. Is c a prime number?
False
Suppose -4*g - 220 = 3*j, 0 = 2*j - 0*j - 8. Let i = -11 - g. Is i a composite number?
False
Let u(p) be the first derivative of p**4 + 2*p**3/3 - 3*p**2/2 + 6*p + 8. Is u(5) a composite number?
False
Let p be (-5)/(-20) - (-43)/4. Let g(t) = t**3 - 11*t**2 + t - 8. Let u be g(p). Suppose u*n - 4*n + 55 = 0. Is n prime?
False
Suppose o - 2*o = -10. Let m = 174 + -30. Suppose 2*v = -0*h + 5*h + m, 5*h + o = 0. Is v prime?
True
Let y(r) = -2*r**3 + r**2 - r + 2. Let a be y(3). Let z = a + 77. Is z a prime number?
True
Let s(w) = 506*w**2 - 9*w + 8. Is s(1) composite?
True
Let h = -80 + 157. Is h prime?
False
Let f = -199 - -285. Is f a prime number?
False
Suppose 4*i + 4*i = 40616. Is i a composite number?
False
Is -4 + (3 - 2) - (-2 - 156) prime?
False
Suppose -5*j - 4*d = 25, 2*j + 10 = -d - 4*d. Is (22/j)/((-2)/10) prime?
False
Suppose -404 - 26 = -2*v. Suppose 2*r - 153 = v. Is r/18 + 4/(-18) a composite number?
True
Let m be ((-15)/10)/(6/(-8)). Suppose -60 = m*h - 198. Is h prime?
False
Let v be (-1)/(-4) - (-95)/20. Suppose -150 = -3*k + t - 4*t, k - 58 = -v*t. Suppose 2*j - k = -2*m - 2*m, 19 = j + 3*m. Is j prime?
False
Let g = -78 - -187. Is g composite?
False
Suppose -54 = -3*p - 21. Is p a composite number?
False
Suppose -3*q - 3 + 0 = 5*n, -n - 7 = -q. Suppose 153 = -2*k + q*s + 53, 0 = 2*k + s + 80. Is ((-2)/4)/(3/k) a prime number?
True
Suppose 4*t + l + 12 = 4*l, -3*t - 3*l + 12 = 0. Suppose -2*m = -57 - 91. Suppose q = -t*q + m. Is q a prime number?
False
Let a = -16 + 137. Is a a prime number?
False
Let k(c) = -c**3 - 10*c**2 - 10*c - 9. Let t be k(-9). Suppose -4*x + n - 4905 = t, -3*x - n - 2737 - 940 = 0. Is 18/27 + x/(-6) a composite number?
True
Is ((-318)/(-5))/(4/10) a composite number?
True
Let g be 3/12 - (-78)/8. Suppose 4*q - g - 2 = -b, 5*b - 5*q - 10 = 0. Suppose -28 = b*n - 120. Is n a prime number?
True
Suppose 7*f - 2*f = 5*d - 35, 2*f = -5*d - 42. Let u = 42 - f. Is u a prime number?
True
Let d = 81 - -139. Suppose r - 5*r = -d. Is r a prime number?
False
Suppose -2*v + 335 = 3*v. Is v a composite number?
False
Let f = 423 - 156. Is f a prime number?
False
Suppose 5*w - 8126 = -3171. Is w a composite number?
False
Let l(r) = 3*r - 3. Let u be l(3). Is 2/3*711/u a composite number?
False
Let f(u) = 5*u. Let d be f(1). Suppose 0*c - 7 = -d*h + 4*c, -3*c = 3*h - 15. Suppose h*o + 3 - 60 = 0. Is o a composite number?
False
Let u = 142 - 48. Suppose 18 + 7 = 5*g. Let n = u - g. Is n composite?
False
Let q(k) be the second derivative of k**6/48 + k**5/24 + k**4/12 - k. Let r(t) be the third derivative of q(t). Is r(6) a prime number?
False
Suppose q + 2*z - 245 = 6*z, 0 = 3*q - 3*z - 708. Is q a composite number?
False
Suppose -2*g + 5 = -9. Let u(d) = -2*d**3 - 4*d**2 - 14*d + 7. Let m(z) = -z**3 - 5*z**2 - 13*z + 8. Let f(p) = -3*m(p) + 2*u(p). Is f(g) a prime number?
True
Let y(x) be the first derivative of 4*x**3/3 + 7*x**2/2 - 7*x - 3. Is y(6) a prime number?
True
Suppose -3*q = -0*q - 12. Suppose -4*w + 3*w = -q. Is (-2)/w - 21/(-2) a composite number?
True
Is (2/(-4))/(14/(-141092)) prime?
True
Let m be ((-57)/12)/(4/(-112)). Suppose -5*a + m = -422. Is a a prime number?
False
Let z be ((-28)/(-10))/((-2)/10). Let k(s) = -9*s**2 + 8*s - 6. Let g be k(3). Is z/g + (-950)/(-18) a prime number?
True
Let b(w) = -163*w**3 + w**2 + 2*w + 1. Is b(-1) a prime number?
True
Let y = -8 + 11. Suppose -486 = -y*r - 51. Is r a prime number?
False
Suppose 2*a + 252 = 688. Suppose -316 = -2*s + a. Is s a prime number?
False
Let g = 15 - 10. Suppose 10 = 5*l - g. Suppose -v = z + l*z - 98, z - 31 = 3*v. Is z a composite number?
True
Suppose 0 = -5*z + 6831 - 2356. Is z a prime number?
False
Suppose 0 = -2*j - 4*k + 16, -j + 3*j + k = 1. Suppose t + 14 = 4*u, 3*t + 19 = -2*t + 3*u. Is -1*(74/t - j) a prime number?
False
Let u be 2 + (2 - 4) - -6. Let d be -5*u/15*1. Is 2 + d*7/(-2) a prime number?
False
Let d(l) = -4*l**3 + l + 1. Let a be d(-1). Is -2 + (a + -3)*13 composite?
False
Suppose 4*v - 27 = -7. Suppose -3*m + 251 = -y, 2*m - 153 - 23 = v*y. Is m prime?
True
Let f = -11 + -5. Suppose 2*c = -0*c - 2. Is c - (f - (-1 + -1)) a prime number?
True
Let g = 7 + -4. Suppose -245 = -g*x - 2*x. Is x a prime number?
False
Let o(k) = k**2 - 3*k - 7. Let r be o(5). Suppose r*j - 159 = 2*z, -111 = -3*j - 3*z + 63. Is j a prime number?
False
Suppose u + 3*r + 21 = -8, -r = 4*u + 61. Let s = 74 - u. Let h = s - -73. Is h a composite number?
True
Let n = 4495 - 2546. Is n a prime number?
True
Let d(a) = -a**3 + 3*a**2 + 5*a - 