 -6*c + c - 20. Is (c - 15/(-5))*-1039 a composite number?
False
Let t(f) = -f**3 + 8*f**2 + 12*f + 3. Let g be t(9). Let q = -20 + g. Is q a composite number?
True
Suppose -3*v = 4*w - 43, -3*w - 2*v - v = -33. Suppose -419 = w*s - 11*s. Suppose s = 4*g + 5*k, -5*k + 191 + 339 = 5*g. Is g a prime number?
False
Suppose -u = -5*k + 1329, 0 = 5*k - 4 - 6. Let s be 5/((-20)/4) - u. Let n = s + -761. Is n composite?
False
Suppose -4*t + 2*d = 7*d - 3689, 3*d = 5*t - 4602. Is t a composite number?
True
Let g = -6 - 5. Let y(f) = f**3 + 13*f**2 - f + 6. Is y(g) a prime number?
False
Let u(d) = 130*d**2 + 7. Is u(3) composite?
True
Let g be (-144)/(-84) - 2/(-7). Let t(k) = -7*k**3 - 4 - 1 - 3*k**2 + 0*k**2 - 6*k + g*k. Is t(-2) a composite number?
False
Is ((-4)/6 - 13/3) + 1404 composite?
False
Let n(c) = -c**3 + c**2 + 4*c + 1. Let w be n(-2). Suppose 3521 + 564 = 3*i - z, -w*i + 4*z = -6813. Is i composite?
False
Let q be (53/4 + 1)*12. Suppose -c = 2*c + 3, -q = -u + c. Suppose -9*a + u = -4*a. Is a prime?
False
Suppose 0 = 5*k + 2*d - 52807, -5*k + 5*d + 24986 = -27814. Is k composite?
True
Let x(p) = -158*p - 113. Is x(-8) prime?
True
Let l(a) = 3*a + 1. Let z = 6 - 5. Let o be l(z). Suppose 2*d = o*c + 282, 0*c + c - 257 = -2*d. Is d a prime number?
True
Let s = -7068 + 19037. Is s composite?
False
Suppose -15*h + 15117 = -5028. Is h a composite number?
True
Suppose 45526 = 5*n + 2*l - 132157, 0 = n - 3*l - 35540. Is n a composite number?
False
Suppose -3*q - 35 - 4 = 0. Let o = q + 27. Is o/(-35) - (-1467)/5 a composite number?
False
Suppose -18925 = 39*k - 44*k. Is k prime?
False
Suppose -5*s + 4*i = -9, -3*i = -5*i + 8. Suppose -1820 = s*n - 27525. Is n a prime number?
False
Is (-26*2/8)/(6/(-8412)) a composite number?
True
Let x = -6332 - -12818. Let l = -2964 + x. Suppose 5*w + w = l. Is w a prime number?
True
Let y(w) = -2*w**2 - 8*w - 3. Let z(r) = r**2 + 8*r + 3. Let c(b) = -4*y(b) - 5*z(b). Let u be c(7). Let m = 205 + u. Is m a composite number?
False
Suppose 0 = 21*c - 24*c + 12567. Is c a composite number?
True
Let t = -1493 + -19145. Let i = t - -14402. Is (i/(-10))/((-2)/(-5)) a composite number?
False
Suppose 16275 = 2*m - 5*p, -2*m + 20807 = -p + 4520. Is (-8)/((-40)/m) - -4 a composite number?
True
Suppose -3*i = i - 4548. Suppose 11*a = 14*a - i. Is a a composite number?
False
Suppose -3*n - 15 = -3*g, -n = -3 + 1. Let i(t) = 2*t**2 - 8*t - 8. Is i(g) a composite number?
True
Let s = -21 - -18. Let m be 3 + s + (4 - 1). Suppose 3*v = n - 89, -5*n + 263 = -m*v - 134. Is n a composite number?
True
Suppose 0 = -5*q, b + 3 = 3*q + 6. Suppose 2*c + p - 4955 = -2*c, -1229 = -c + b*p. Is c a prime number?
False
Let l be (-3 - -3*5) + 4. Is (10060/l)/(-5)*-4 a composite number?
False
Suppose f + 0 = -2. Let p be (0/1)/(-6 - f). Suppose -x + 30 + 5 = p. Is x a prime number?
False
Suppose 0 = a - 18 + 14. Suppose -a*q + 2*j + 7995 = q, -3*q - 3*j + 4776 = 0. Is q a composite number?
False
Let g = 39 + -31. Is 694*g/(80/15) a composite number?
True
Suppose -4*m + 149912 = -5*j, -2*m + 4*j + 90533 = 15583. Is m prime?
True
Let z(v) = -v**2 - 2*v + 1193. Is z(0) composite?
False
Let f be (1/3)/((-1)/33). Let m = f + 18. Let u(s) = 8*s + 3. Is u(m) a prime number?
True
Suppose 35*t + 50770 = 312465. Is t composite?
False
Let o be ((-18)/(-5))/1 - (-20)/50. Suppose 2*s = -2*x + 1982, 4*x + 0*s - 3948 = o*s. Is x prime?
False
Let v be (-6)/4*6356/(-21). Suppose 3*u + 100 = v. Is u a composite number?
True
Let c(h) = h + 5. Let d be c(-2). Suppose -d*j = -5*j. Suppose j = 6*f - 3746 - 184. Is f a prime number?
False
Let v be (20/(-6))/(8/(-24)). Suppose -v*k = -15*k - 10. Is 1 - (2 + 578)/k composite?
True
Let t(h) = 39*h**2 - 6. Let p(c) = 40*c**2 - 6. Let s(z) = -2*p(z) + 3*t(z). Is s(-5) a composite number?
False
Suppose -5*t = -4*u - 482 - 71, 0 = -3*t + 4*u + 327. Is t prime?
True
Suppose w + 74 = 4*s, 3*w - 30 = 3*s - 5*s. Is (1*-1 - 1)/(s/(-981)) composite?
False
Suppose 4*o = -5*o + 72. Suppose -o*z + 17538 = -2*z. Is z prime?
False
Let i(g) = 48*g**3 - g**2 + 7*g - 2. Let t be i(3). Suppose -4*f = -5*m + 14645, f = m - 4234 + t. Is m a composite number?
True
Let a be (-12)/(-4) - 63 - 3. Let p = 240 + a. Suppose 3*f = 72 + p. Is f a composite number?
False
Let c = -47350 - -69356. Is c prime?
False
Is (-268)/(-8) + ((-52)/(-8) - 7) composite?
True
Let t(p) = 67*p**2 + p - 11. Let v be t(5). Let l = v + -946. Is l a composite number?
True
Let i be (-2)/(121/(-246) + (-3)/(-6)). Let l = i + 1289. Is l a prime number?
False
Suppose 0 = 72*v + 34*v - 497246. Is v a composite number?
False
Suppose -5*a = -u - 751, -5*a + 600 = 2*u - 148. Suppose l - a = j + 6*l, 0 = -4*l + 16. Is (j - -12)*(-10)/4 a composite number?
True
Suppose 4*z - 35576 = -5*b, 4*z - 4*b - 11928 = 23684. Is z a composite number?
True
Suppose 5*f = -3*j + 25896, -5*j + 3*f + 43179 = 5*f. Is j a composite number?
True
Suppose 0 = 2*d + 2*d + 44. Let z be (-10)/(-4) + d/(-22). Suppose 5*y - z*c = 469, -c - 1 = 3*y - 288. Is y a prime number?
False
Let y = -36 - -62. Let l = 161 + y. Is l composite?
True
Let v(j) = 11994*j**3 + 2*j**2 - j. Is v(1) prime?
False
Let b(l) = 33*l**2. Let x be b(-1). Suppose -31*p = -x*p + 374. Is p a composite number?
True
Let k = 6 + -1. Suppose -2*n = k*n - 1253. Is n a composite number?
False
Let k = -14311 + 40464. Is k composite?
False
Let n be (-2284)/(-10) - (-22)/(-55). Let t = n - -325. Is t a composite number?
True
Let j(h) = -h**3 - 17*h**2 + 43*h - 14. Is j(-23) prime?
False
Suppose 248 + 19297 = 2*t - 3*b, 5*t = 3*b + 48858. Is t composite?
True
Suppose 4*w - 16 = n, 5*n + 0*w + 4*w - 16 = 0. Suppose n*k + 74 = 2*k. Is k prime?
True
Let v(i) be the third derivative of -7/6*i**3 + 5*i**2 + 0 + 1/30*i**5 - 1/8*i**4 + 0*i + 1/120*i**6. Is v(6) a prime number?
True
Let q = 811 + 2352. Is q prime?
True
Let d(k) = -667*k + 121. Is d(-4) a prime number?
True
Suppose -2*r = o - r - 863, 4*o - 3462 = r. Suppose 16*n + o = 17*n. Is n a prime number?
False
Let b(w) be the first derivative of 22/3*w**3 - 1/2*w**2 - 5 - 3*w. Is b(-2) a prime number?
False
Suppose -j - 3 + 2 = 0. Is (-174)/9*((-39)/(-2))/j prime?
False
Suppose 170*x - 178*x = -458104. Is x a composite number?
True
Suppose -d + 16741 = -5*o + 4104, 4*o + 63185 = 5*d. Is d composite?
False
Suppose -157 + 2022 = 5*x. Let j = -170 + x. Suppose 0 = 3*r + 29 - j. Is r composite?
True
Let x(s) be the second derivative of 11*s**5/20 + s**4/12 + s**3/2 + 7*s**2/2 - 12*s. Is x(4) composite?
False
Suppose 5*t - 3*t = -314. Let d be (12/10)/(15/3400). Let i = t + d. Is i a composite number?
True
Suppose -7*g - 3*g = -20. Let a(j) = 27*j**3 + 2*j**2 - 7*j + 1. Is a(g) prime?
True
Suppose l - 5*l - 16 = 0, 0 = h + 4*l - 120. Suppose -3*t = -2*u + 2355 + h, -2*u - t + 2511 = 0. Is u a prime number?
False
Is 8/8*(3 - -13100) a composite number?
False
Let m be 15/(-5)*-2 - 4. Let k(x) be the third derivative of 5*x**6/12 - x**5/60 - x**4/6 + x**3/2 - 2*x**2. Is k(m) composite?
True
Let d(l) = 113*l**2 - 3*l - 11. Let a(h) = -170*h**2 + 4*h + 17. Let z(v) = -5*a(v) - 7*d(v). Let m be z(-4). Suppose -94 + m = 2*i. Is i prime?
True
Suppose 4*u - 13755 = -11*u. Is u a composite number?
True
Let i = -2881 + 11606. Let t = i + -6068. Is t prime?
True
Suppose -2*f + 76 = 5*d, 3*d - 4*f - 30 = -0*f. Suppose -o = -39 - d. Is o a composite number?
False
Let s = 229 - -190. Is s a composite number?
False
Let t = -668 + 267. Let y = 942 + t. Is y a prime number?
True
Let j be -2 + 10/20*(1 - -3). Suppose j = 3*s - 2*s + 5*f - 1799, -s - f = -1799. Is s a prime number?
False
Suppose 8*w = 1096 + 608. Is w composite?
True
Let k(p) = 67*p**2 - p - 99. Is k(11) composite?
True
Let h be ((-268)/(-10))/(13/(-65)). Let z = 192 + h. Suppose 2*j - 2*i = z, 2*j = 4*i - 3*i + 60. Is j composite?
False
Suppose 0 = -l - 5*l + 54. Let f = l - -5. Suppose -f*q + 17*q - 429 = 0. Is q composite?
True
Let u = 5876 + -2655. Is u a prime number?
True
Let h = 20095 + -11061. Is h composite?
True
Suppose 5*b = -5, -43*g + 2*b = -39*g - 52662. Is g composite?
True
Suppose -19452 = 12*a - 24*a. Is a prime?
True
Let k = 51 + -40. Suppose -615 = -14*p + k*p. Is p a prime number?
False
Suppose 20*s - 51 = 29. Suppose 2*d = -