posite number?
True
Is (2/(-2))/(4/(-1604)) a composite number?
False
Let h(c) = -c - 6. Let q be h(-5). Is q/(-2) - 327/(-6) prime?
False
Let q be -3 - -2 - 3/(-3). Suppose 3*v - 3*h - 663 = 0, q = 2*v + 3*v - h - 1085. Let x = -149 + v. Is x composite?
False
Let d be 3/(-4)*(-12)/(-3). Let c = 37 + -19. Let q = d + c. Is q a composite number?
True
Let t(n) = -n - 7. Let q be t(-7). Let f be (-1 - -4)*(q - -1). Suppose -23 = -f*v - 4*h + 126, v - 5*h - 75 = 0. Is v a composite number?
True
Let x(i) = -i**3 - 7*i**2 - 4*i + 6. Let k be x(-6). Let w(g) = g**3 + 7*g**2 + 3*g + 4. Is w(k) a composite number?
True
Suppose 5*y + 4*d = -28 - 10, 5 = y + 5*d. Is 4/(-10) - 114/y prime?
True
Let q(h) = 44*h**2 - 3*h - 2. Let w be q(3). Suppose -2*v = 3*v - w. Is v a prime number?
False
Suppose -3*v - 2*u + 757 = 0, -4*v = 4*u - 2*u - 1008. Is v a prime number?
True
Suppose -23144 - 14280 = -16*i. Is i prime?
True
Is (-3)/((45/(-3235))/3) a prime number?
True
Suppose 5*b = f - 322, 0*f = -f + 2*b + 328. Let z = f + -474. Let m = 303 + z. Is m composite?
True
Let h = 159 + -60. Let x = -46 + h. Is x prime?
True
Let w(g) = -78*g + 5. Is w(-11) prime?
True
Let z = 5343 - 3013. Let k = z + -1653. Is k composite?
False
Let b(y) = -y**3 - 3*y**2 + 3*y - 2. Suppose 2*w + 38 + 39 = -5*i, 0 = 5*i - 2*w + 93. Let x = 12 + i. Is b(x) composite?
True
Suppose -2*z - 3*r = -0*z - 261, -4*r = -2*z + 240. Let t = -20 + z. Is t/(-4)*(-1 - 5) composite?
True
Let u(o) = o**3 - o + 110. Let t be u(0). Suppose -t - 198 = -4*b. Is b prime?
False
Let n(r) = -24*r**3 + 3*r**2 + 3*r + 1. Is n(-1) composite?
True
Let w(k) = -k**3 - 3*k**2 - 2*k + 9. Is w(-4) a composite number?
True
Let t = -7 - -94. Is t prime?
False
Let n be (0/4)/(1/1). Suppose c - 4*b - 4 - 2 = n, -5*c - 3*b = -30. Is 16 - (c - 0)/3 a composite number?
True
Suppose 3*g + g = 1996. Is g a composite number?
False
Is (-6)/18 - (-286)/3 a composite number?
True
Let u = 25 - 7. Suppose 2*v + v - u = 0. Is v prime?
False
Let q = 2 + 22. Let c = 287 - q. Is c a composite number?
False
Let f(p) = p**3 + 12*p**2 + 5. Let x be f(-12). Suppose 0 = x*o - 1527 - 508. Is o a composite number?
True
Suppose -5*i + i - 5*f + 15 = 0, -f = -5*i + 26. Let b(c) = c**3 - 4*c**2 - 4*c + 5. Is b(i) a composite number?
True
Let f(t) = -9*t**3 + 2*t**2 + t + 12. Let q be f(-5). Suppose d - q = -223. Is d prime?
False
Is 35388/135 - 4/30 composite?
True
Suppose 5*y - 6 = -1. Let o(w) = 71*w**2 - w + 1. Is o(y) composite?
False
Suppose -t = z + 2, t - 1 + 3 = z. Is t*((-159)/6 - -2) a composite number?
True
Let j(m) = 3*m**2 - 4*m - 1. Let f be j(4). Let i = f + 46. Is i a prime number?
False
Suppose 24*w = 19*w + 4945. Is w composite?
True
Suppose 0 = -12*u + 6*u + 14862. Is u prime?
True
Suppose -3*h + 4*h + 5 = 4*r, -2*h + 2*r + 2 = 0. Suppose o - 91 = 3*k, -h*o - 293 = -6*o - k. Is o a composite number?
False
Let w = -380 - -751. Is w a composite number?
True
Suppose 0 = -4*f - 2*t - 12, -t = -f - 0*t + 3. Is 3 - -157*(-2)/f prime?
True
Let i(p) = -p**2 + 5*p. Let w be i(5). Suppose -584 = -w*d - 4*d. Is d prime?
False
Let q(c) = 5*c - 22. Is q(16) prime?
False
Let f(s) = -s**3 + 3*s**2 + 5*s + 3. Let v be f(4). Suppose 0 = -2*w + v*w - 65. Is w prime?
True
Let c be (-6)/15*(4 + 1). Let p = c - -1. Let a(x) = -15*x**3 - x**2. Is a(p) a prime number?
False
Suppose 0 = x - 9 - 1. Is 2/10 - (-368)/x a prime number?
True
Let w(u) = -10*u. Let s be w(-2). Suppose -s + 74 = 3*j. Let z = 31 - j. Is z composite?
False
Let v = 50 + 89. Is v a composite number?
False
Suppose -5*k + 1018 = -2*b, -5*k - 5*b + 990 = -0*k. Let z = k + 9. Is z a prime number?
True
Suppose 5*j + 2 - 23 = 3*p, -4*p - 5*j = -7. Is -3 - (-2 - p) - -161 composite?
True
Let n(x) = x**2 - 3*x - 1. Let j be n(4). Suppose 0 = -0*z - j*z - 3915. Is z/(-35) + 2/(-7) prime?
True
Let d(p) = 11*p - 2. Let x be d(7). Suppose 2*u + 176 = -2*u. Let q = x + u. Is q composite?
False
Suppose 4*n + 28 = 2*h + h, 2*n = -8. Suppose 5*u = 5*a + 55 + 35, -h*u = -a - 75. Is u a composite number?
False
Let t(z) = 410*z**3 + 5*z**2 - 7*z + 1. Is t(1) prime?
True
Is (3 - 3) + (125 - 3) composite?
True
Suppose 2208 = -0*y + 3*y. Let a = -409 + y. Is a composite?
True
Let m be (-24)/(-9)*6/4. Suppose m*h - 1 - 15 = 0. Suppose 7 = -4*n - 3*q, 0*q + h*q + 30 = 5*n. Is n a prime number?
True
Suppose f - 3*f = i - 791, -3*f = -5*i - 1180. Is f a prime number?
False
Let o be 2/8 + (-246)/(-8). Let p = o - 17. Is p composite?
True
Let p = 59 + -86. Let g = 19 + p. Is (g + 4)*62/(-8) a composite number?
False
Let s = 2047 + -1158. Is s prime?
False
Suppose -24*u + 105284 + 26020 = 0. Is u a prime number?
True
Suppose 0*l - 4*l + 572 = 0. Is l a composite number?
True
Let i = 227 + 366. Is i a composite number?
False
Let f(v) = 256*v**2 - 2*v + 11. Is f(3) a composite number?
False
Is (-37 + 6)*(-1)/1 prime?
True
Let f = -540 - -835. Is f a composite number?
True
Let j(x) = 30*x + 3. Let d(n) = 30*n + 2. Let c(z) = -5*d(z) + 4*j(z). Let r be c(-7). Suppose 4*y - 2*g - r = 0, y - 2*y + g + 53 = 0. Is y a prime number?
True
Let f(y) = y**3 + 3*y**2 + 3. Let p = 8 - 11. Let x be f(p). Let v(c) = 8*c**2 - 4*c - 1. Is v(x) a composite number?
False
Suppose -3*k = -16 - 2. Suppose -k*n = -11*n + 70. Is n prime?
False
Let i be 0 - 5 - (-3 + 4). Let m = i - -12. Let a(v) = 2*v + 1. Is a(m) a prime number?
True
Let t(v) = 2*v + 4. Let c = 6 + -9. Let h be t(c). Is (36 - 1 - h)/1 a prime number?
True
Let x = -120 + 68. Let p = 45 - -54. Let d = p + x. Is d prime?
True
Let h(a) = 2*a - 2. Let v be h(2). Let w(m) = 5*m**v - 2*m**2 + m**2 + m**2 + 1 + 3*m. Is w(-2) a prime number?
False
Is (-4)/(-26) + 5660/52 a prime number?
True
Let h = -21 + 316. Let d = h - 168. Is d a prime number?
True
Let p(c) = -c + c**3 + 3*c + 183 + 8. Is p(0) prime?
True
Let r(f) be the second derivative of -25/6*f**3 + 7/2*f**2 - f + 0. Is r(-6) composite?
False
Let x = 3370 - 1251. Is x a prime number?
False
Let f be 2 - -204 - (-9)/(-3). Suppose -3*y = -4*r + 196 + 195, -2*r + 3*y + f = 0. Is r a prime number?
False
Is (3 - (-3 + -59)) + 4 a composite number?
True
Suppose 5*j + 40 = 3*o, 3*o + j - 10 = -0*o. Suppose 1459 + 636 = o*h. Is h a prime number?
True
Let f = 5 + -3. Let b = f + 18. Let o = 225 - b. Is o prime?
False
Suppose 84 = 3*z - 192. Let k = 219 - z. Is k a prime number?
True
Let i(j) = -23*j - 8. Let c be i(-6). Suppose 2*u - 179 = -3*x, 39 = -u - 2*x + c. Suppose 0 = -h - 2*g + u, -94 - 82 = -2*h - g. Is h prime?
True
Let o(p) = p**3 - 3*p**2 + 2*p + 3. Let a be o(3). Let y(g) be the third derivative of g**5/30 - 5*g**4/12 + 11*g**3/6 - g**2. Is y(a) a prime number?
True
Let v(a) = -13*a + 13*a - 178*a**3 + 1 - 2*a**2. Is v(-1) prime?
False
Let o = 3 + 1. Suppose -o*p + 254 + 430 = 0. Suppose -2*j + 3*m + p = 0, 0 = -4*j + 2*m + 2*m + 352. Is j prime?
False
Suppose 23 + 47 = 2*l. Suppose t = 2*t - l. Is t a prime number?
False
Let z = 778 - 105. Is z prime?
True
Suppose 0 = 2*k + 3*o - 1 - 67, -3*k + 76 = -2*o. Let x = 47 - k. Is x a composite number?
False
Let l = -6 - 0. Let c(h) = 5*h**2 - 4*h - 5. Is c(l) a prime number?
True
Suppose 55*j + 381 = 58*j. Is j a prime number?
True
Let w = 4695 + 3574. Is w prime?
True
Suppose 177 = -14*w + 17*w. Is w composite?
False
Let o(p) = 106*p - 3. Is o(1) composite?
False
Let w(f) = 2*f - 3. Let p be w(5). Let t(d) = -d**3 + 7*d**2 + 2*d - 9. Let v be t(p). Let a = v + -2. Is a prime?
True
Let k = 16358 + -10315. Is k a prime number?
True
Let b = -865 + 1494. Is b a prime number?
False
Let v be (-9)/2*4/(-6). Suppose -u + 3*b = -v*u + 3, -21 = -4*u - 3*b. Suppose u = i - 14. Is i prime?
True
Let q(l) = -l - 3. Let s be q(-5). Let a(c) = -c**2 - c**s + 3*c**2 - 7 + c. Is a(-8) prime?
False
Let f be (-80)/(-30) + 4/(-6). Suppose 5*j - 1415 = -5*v, 5*j = 4*v - f*v + 1443. Is j composite?
True
Let x(r) = r**2 - 4*r + 8. Let k be 11 - (2 + (-2 - 0)). Is x(k) a prime number?
False
Suppose 19 = -2*p - 9. Let x be (-8)/(-16)*(1 + -1). Let q = x - p. Is q composite?
True
Suppose -o + 2 = 0, 5*t - 1 = -o + 3*o. Let u(f) = f**3 + 2*f**2 - 2*f - 1. Let m be u(-3). Is (66/m)/(t/(-2)) prime?
False
Let h = 11 - 7. Suppose h*f - 118 = 38. Let t = -4 + f. Is t a prime number?
False
Let 