4*t - 20 = 0, -v + 0*t + a*t + 362 = 0. Is v composite?
False
Let v = 1914 + -819. Let n = v + -256. Is n a composite number?
False
Let n(w) = -58*w + 179. Is n(-9) composite?
False
Suppose -6*j + 16*j - 24530 = 0. Is j a prime number?
False
Let g be (-1)/2 + (-14268)/8 + -4. Is g/(-10) - (2 + -4)/10 prime?
True
Is (-1 - 2181400/(-14)) + (-18)/63 a composite number?
True
Let f(i) = 374*i**2 + 2*i - 29. Let j be f(5). Suppose -4*o + 9335 = 3*t, -o - t - j = -5*o. Is o composite?
False
Suppose 48*w - 58285 = 43*w. Is w composite?
False
Suppose 5*k - g - 84610 = 0, -k - g + 9020 + 7908 = 0. Is k prime?
False
Let j = 11668 + -7341. Is j a prime number?
True
Suppose -4*f + 50940 = 2552. Is f a prime number?
True
Suppose -3*k + 729 = 156. Let q be 2385/6*(-16)/(-20). Let y = q - k. Is y composite?
False
Let u = -164 + 166. Suppose -2*z = -a + 1, a = -5*z + 3*a - 1. Suppose z = u*t - 421. Is t prime?
True
Suppose -s = -3*g + 25990, 5*g - 16*s - 43310 = -21*s. Is g a composite number?
False
Suppose 27950 = 3*w - 4*s - 30897, 0 = -5*s - 10. Is w a prime number?
False
Let n(k) = 3*k + 6. Let o be n(0). Suppose 3*s - 15 = -b - 2*s, -3*s = 4*b - 26. Suppose 4*y + o*m - 643 = m, -m + 788 = b*y. Is y a composite number?
False
Let v = 10 - 7. Suppose 0 = -z - q - 48 + 471, 4*z = v*q + 1699. Let a = z - 282. Is a a prime number?
False
Let k(c) = 42*c - 10. Let a(m) = 2*m**2 + 3*m - 4. Let o be a(-4). Is k(o) a prime number?
False
Suppose 5*t - 12 = t. Let a be t*(1/(-1))/(-1). Is ((-142)/a)/((-6)/9) a composite number?
False
Suppose -s - 24 - 99 = 0. Suppose 3*i + 2*i = -100. Let y = i - s. Is y prime?
True
Suppose -s - 40 = -3*s. Let f = s + -6. Is f a prime number?
False
Let i be 6/4*96/(-9). Let q = -14 - i. Is ((-1246)/(-28))/(q/4) a composite number?
False
Suppose -d - 3*p + 18 = -7*p, 2*d + 4*p = -12. Suppose -15 = -y + 103. Is y + 6*d/(-4) a prime number?
False
Suppose -2*x - x - 2*m = 0, x + 5*m + 13 = 0. Suppose -28 = -x*i - 2*i. Is i a composite number?
False
Suppose -39*d + 6*d + 173778 = 0. Is d composite?
True
Let r(l) = 8*l**2 - 47*l - 7. Let o(v) = -4*v + 33. Let s be o(12). Is r(s) composite?
True
Let l(t) = t**2 - 15*t + 2. Let z be l(15). Let n(b) = 71*b**2 - 25*b**z - b + 40*b**2. Is n(1) a prime number?
False
Suppose -5*j + 1742 + 98 = -5*y, 5*y + 20 = 0. Suppose -n - 573 = j. Let u = -636 - n. Is u prime?
False
Suppose 0 = 15*b - 38430 - 66255. Is b prime?
False
Suppose -65 = -2*m - 3*m. Suppose 0 = -2*x + 3*c + 19, -1 = x + c + 2. Let r = m - x. Is r a composite number?
False
Suppose 0*h - 5*m - 6 = -h, -5*h + 5*m + 10 = 0. Let l be 3 - ((-1)/h - -1). Is (5 + -18)*(-3)/l a prime number?
True
Let k(z) = 25*z**3 + 2*z**2 - 6*z - 9. Let c(j) = 74*j**3 + 6*j**2 - 17*j - 28. Let d(f) = -2*c(f) + 7*k(f). Is d(4) prime?
True
Let m = 208 - -1831. Is m composite?
False
Suppose 27 = 4*j + 11. Suppose -b - b = -t + 262, 5*t - 1304 = j*b. Suppose -5*u - h = -t, -4*u + h = -7*u + 154. Is u prime?
True
Let o(k) = k**2 - 9*k - 6. Let i be o(10). Suppose -6651 = 7*l - i*l. Is l/(-2)*(-26)/(-39) composite?
False
Suppose 21322 = n - 3*p, 8*n + 3*p = 3*n + 106700. Is n a composite number?
True
Let a(t) = t**3 + 8*t**2 - 8*t + 9. Let x be a(-9). Suppose 0*y - y + 1469 = o, -4*y + 16 = x. Is o prime?
False
Let a(f) be the first derivative of 43*f**3/3 - 9*f**2/2 + 49*f + 33. Is a(6) a prime number?
True
Let w be ((2 + -2)/(-1))/2. Let u = 1 + 11. Suppose w*r + u = 3*r, 3*b - 1453 = 2*r. Is b composite?
False
Let f(n) = 6*n**2 - 7*n - 15. Let m(k) = k**3 - 2*k**2 - 13*k + 30. Let d be m(4). Is f(d) composite?
True
Let v(r) = -r**3 + 3*r**2 + 2*r + 5. Let g be v(-4). Suppose -5*w + 165 = -3*n, w + 7*n - 4*n = 15. Let y = g - w. Is y a composite number?
False
Suppose -17*r - 18440 = -25*r. Is r a composite number?
True
Let h(j) = 12*j**2 - 8*j + 3. Let v(q) = -q**3 - 2*q**2 + q - 1. Let u be (45/60)/(2/(-8)). Let s be v(u). Is h(s) a prime number?
True
Suppose 2*l + 4*l = 74694. Is l a prime number?
False
Is -2 + 0 - (-17 - 8) composite?
False
Let z = -36649 + 58829. Suppose -5*r = 5*k - z, -13329 = -0*k - 3*k + 4*r. Is k a prime number?
False
Let l(u) = u**3 + 9*u**2 - 10*u + 2. Let h be l(-10). Suppose 0*r = -h*r + 2*i + 16, r - 6 = 2*i. Suppose -5*y = -r*y + 425. Is y a prime number?
False
Suppose 20*s = 21*s - 3. Suppose -5*d - s*i + 22 = 0, i + 0*i + 1 = 0. Suppose -3*o = -2*y + 19, d*y - 5*o + o - 58 = 0. Is y prime?
False
Let b = 46 - 46. Suppose -u - 235 - 149 = -2*w, b = 4*w - 4*u - 772. Is w composite?
False
Suppose 3*w = -4*y + 2389, -y = 4*w - 2631 - 576. Is w a composite number?
True
Is 10/(-120)*-1828*(34 - 1) a composite number?
True
Let c = -5 - -7. Suppose i - 2*i = 2*k + 1668, c*i = 5*k - 3381. Is i/(-2) + (-1 - -1) composite?
False
Let t = 2129 - 1217. Suppose z - t + 281 = 0. Is z a prime number?
True
Let s be ((-2)/(-4))/(1/(-16)). Let y be 0*(-4)/s*-2. Suppose -5*q + 10 = y, 4*q = 7*i - 3*i - 828. Is i a prime number?
False
Let c = 3809 - 2560. Is c a prime number?
True
Let f(s) = s**2 - 2*s - 2. Let r be f(-1). Let a be ((-4)/12*-303)/r. Suppose j - 7 = -4*k + 3, -5*j - 3*k = -a. Is j a prime number?
False
Is ((-4)/(-17))/2 - (-1025420)/748 a prime number?
False
Let c(q) = -q. Let d be c(-5). Suppose -i + 6*i + 4*w - 2 = 0, 0 = -3*i + d*w + 16. Suppose 476 = i*s + 2*s. Is s a prime number?
False
Let y be (-3)/((4/(-2))/2). Let m = -4 - y. Let p = m - -10. Is p a prime number?
True
Suppose -8*h - 18203 = -84691. Is h prime?
True
Suppose -10437 = -8*b - 13*b. Is b a composite number?
True
Let l = 911 - 471. Let q = l - -113. Is q composite?
True
Suppose -16 = 4*o, -2*o = -r - 3*o + 3385. Suppose 823 = s + 2*f, -109 = 4*s + 5*f - r. Is s a prime number?
False
Let s be ((-2)/6)/((-2)/48). Let x be (-2)/(-4)*s - 2. Suppose 5*h + 446 = c + 4*h, -5*c = -x*h - 2227. Is c prime?
False
Suppose 4*i - b - b = -16, 0 = i + 2*b + 9. Let r = i - 3. Let s = 23 + r. Is s a composite number?
True
Suppose 3*b - 2520 = 4*x, -2*x + 3*b + 1890 = -5*x. Let h(n) = 2*n - 22. Let i be h(15). Is x/(-4) - 4/i a prime number?
True
Let b be 77/21 + 1/3. Let q(t) = -9*t**2 - 5*t + 2. Let g be q(b). Let u = g - -413. Is u a prime number?
True
Suppose 35 = 6*i - i. Suppose -278778 = -5*k - 3*c, 2*k - i*c = -3*c + 111506. Is (-4)/10 - k/(-75) prime?
True
Suppose -5*b = 3*s - 43904, 7*b - 9*b = -3*s - 17549. Is b composite?
False
Let w = 55669 + -7730. Is w a composite number?
False
Let i(m) = 28*m - 4*m**2 - m**3 - 5 - 35*m - 8. Suppose 4*g - 3*p = -4*p - 31, -2*g + 2*p = 18. Is i(g) composite?
True
Suppose r + 4*f = -0*r - 14, 0 = 5*r + 3*f + 19. Suppose -4*n = -8*n - 12. Is (-4)/(r/(-87)*n) prime?
False
Let b(a) be the third derivative of -a**6/120 + 11*a**5/60 + 13*a**4/12 - a**3/6 + 3*a**2. Let n be b(13). Is (-6)/(-2) - 352/n a prime number?
False
Let d(a) = 1745*a - 286. Is d(9) composite?
True
Let c(q) = 69*q + 139. Is c(22) a prime number?
True
Suppose -2*k + k - 14 = -q, 5*k + 51 = 4*q. Let a = q - -27. Is a a prime number?
False
Let f = 2034 - 1181. Is f a composite number?
False
Let s be (-8808)/(-15) + 2/(-10). Suppose -s = -5*c + 5*b + 878, 4*c = -3*b + 1158. Is c composite?
True
Suppose 3*q = 3, -5*h + 15146 + 4386 = -3*q. Is h a prime number?
True
Suppose 0 = -444*x + 443*x + 10369. Is x composite?
False
Let u(n) = 4269*n**2 + 5*n - 3. Is u(1) a composite number?
False
Let v be 1/3 + 64/6. Let w(f) = -f**2 + 13*f - 25. Let c be w(v). Is 44*((-164)/(-16) - c) a composite number?
True
Suppose 4*h + 23459 = 5*v, 14068 = 3*v + 3*h + 2*h. Is v composite?
False
Suppose 34*c = 21*c + 67847. Is c prime?
False
Is ((-103184)/(-64))/((-1)/(-4)) a composite number?
False
Suppose -b + 7*z = 8*z - 3267, -3*b + 9805 = 2*z. Is b a prime number?
True
Let f(l) = 15*l**2 + 5. Let m(n) = -16*n**2 + n - 5. Let h(r) = 7*f(r) + 6*m(r). Is h(-6) a prime number?
True
Let r(t) = 4*t**2 - 1. Let p be r(2). Is 778/(39/p - 18/30) composite?
False
Let f be (15/(-10))/((-3)/10). Suppose -4 = -h + f. Let u(g) = 2*g**2 - 14*g + 11. Is u(h) prime?
True
Let f = 17 + -18. Is f - 28/(-20) - (-32706)/10 prime?
True
Let w(h) = 5600*h + 121. Is w(3) prime?
True
Suppose -2*a = -5*l - 269, 0 = -5*a - l - 4*l + 655. Let z = a - -47. Is z composite?
False
Suppose 0*k - 2*i + 47691 = k, -2*k + 95