
True
Suppose 3*c = 2*a + 15, 0*a - 4*c = -a - 5. Let u(i) = 11*i + 10. Let y be u(a). Let z = 250 - y. Is z composite?
True
Suppose 0 = 6*y - 17 + 95. Let g = y + 90. Is g prime?
False
Let l = 9 + -5. Suppose 4*n = -n - d + 3581, 0 = 2*n - l*d - 1450. Is n a composite number?
True
Suppose -2*y - 11 = -3. Let t be ((-3)/y)/((-1)/(-4)). Suppose -382 = t*m - 5*m. Is m a prime number?
True
Suppose -5*q + 5*n = -1741 - 874, -1032 = -2*q - 5*n. Is q composite?
False
Suppose -p - 1402 = -2*n + 3*p, -p - 3 = 0. Let w(v) = v - 5. Let x be w(7). Suppose 3*l = x*g - 194 - 99, -5*l + n = 5*g. Is g a prime number?
False
Suppose -3*w + 5*v + 25739 = 0, 4*w - 31304 = -5*v + 2968. Is w a composite number?
False
Suppose 0 = f + k - 792, 0*k = -2*f + k + 1569. Is f composite?
False
Suppose 9*c - 8*c - 3 = 0. Suppose 4*a - 557 = -p, 5*a - c*p - 534 = 158. Is a composite?
False
Suppose 0 = 40*k + 43*k - 262529. Is k a prime number?
True
Let j = 13132 + -8903. Let t = j + -2026. Is t a prime number?
True
Let n be (-2 + 4)/(1/(-2)). Let s = 3 - n. Suppose -3*k = -s*k + 380. Is k a prime number?
False
Let f(z) = -z**2 + 10*z + 11. Let a be f(11). Suppose r - 3*k + 3 = -a*r, -2*k = 2*r - 2. Suppose 0 = -5*m - 2*g + 1939, r = -2*g - 2 - 4. Is m a prime number?
True
Let a = -25612 + 95123. Is a prime?
False
Let d(s) = 3*s**2 + 22*s + 1. Suppose -5*v + 108 = 4*v. Is d(v) a composite number?
True
Let f(n) = n**3 + 5*n**2 + n + 8. Let x be f(-5). Suppose 3*k = 5*t - 6108 + 1201, -x*k + 1946 = 2*t. Is t a prime number?
False
Let d(j) = j**2 - 5*j + 3. Let q be (-1)/(-1) - 12/(-3). Let b be d(q). Suppose 110 = 2*h + b*i, -222 = -4*h + 3*i - 8*i. Is h a composite number?
True
Let u(h) = -h + 2. Let y be u(1). Suppose -20 = -3*n + y. Suppose -4*z + 542 = 5*l, 3*l - 4*z = n*l - 436. Is l a composite number?
True
Is ((-43266)/(10 + -8))/((-2)/2) a composite number?
True
Let h = -5625 + 17162. Is h a composite number?
True
Let t(k) = k**3 - 7*k**2 + 9*k - 11. Let q be t(6). Suppose 2*g = -3*h + 1343, -5*g + 3369 = 3*h - q*h. Is g composite?
False
Let x(z) = -4*z + 9. Let j(i) = 5*i - 10. Let o(v) = 2*j(v) + 3*x(v). Let t be o(3). Is (t - (376 - 2))*-1 composite?
False
Is (-1905)/(-6)*(-6 - -8) composite?
True
Let k(n) = -11*n + 8 + 13*n**2 + 5*n + 0. Is k(-9) a prime number?
False
Is 1/((-4)/(-14) + 21843/(-76671)) composite?
False
Suppose 218198 + 200758 = 12*o. Is o prime?
True
Suppose 0 = 188*u - 167*u - 2165961. Is u a composite number?
False
Let l = 9752 - 5266. Is l a prime number?
False
Suppose 21*u - 10518 = 59643. Is u composite?
True
Suppose -2*t - 2*t + 12 = 0. Let g(q) = 12*q**3 - 15*q**2 + 46*q + 11. Let s be g(5). Suppose t*f = s + 833. Is f composite?
False
Let t(r) = -3*r**3 - 44*r**2 + 17*r - 49. Is t(-19) composite?
True
Suppose -4*g = 5*o - 99217, -3*o + 27000 + 32529 = 2*g. Is o a composite number?
False
Is 2/(-4) + ((-7746)/(-12) - 4) composite?
False
Suppose 0 = 3*h - 5*h + 8. Suppose n - 341 = 4*c, 0*c - 3*c = h*n - 1345. Suppose -8 - n = -3*s. Is s composite?
True
Suppose -1075 = -12*h + 2609. Is h a prime number?
True
Suppose -39785 = -18*b - 15179. Is b a prime number?
True
Suppose -5*u + 5 = 0, 0 = 3*t - 6*t + 2*u + 1891. Suppose -3*p + 373 = 2*r, -5*p + 119 = -3*r + t. Is r a composite number?
False
Let t(j) = -2*j**3 - 8*j**2 + 5. Let s = 6 - 0. Suppose -2*u + 3*u + s = 0. Is t(u) a composite number?
False
Let g be (((-18)/4)/(-1))/(30/40). Is 446 - 9*(20/g + -3) a prime number?
True
Let u be (-5)/((-20)/(-12)) + 6. Suppose 0 = -2*r - u*r + 2935. Is r composite?
False
Suppose -4*s = 4*n - 14568, -5*n - s + 17893 + 297 = 0. Is n prime?
True
Suppose 12*h - 105646 = 192374. Is h a prime number?
False
Let j(k) = -k**3 - k**2 + 8*k + 15681. Is j(0) a composite number?
True
Suppose 5*y + 5*f - 55765 = 67685, -5*y + 3*f + 123458 = 0. Is y prime?
True
Let u(f) = -f**2 - 9*f - 8. Let s be u(7). Let h = 277 + s. Is h a composite number?
False
Let g be 21/(-14)*(-507 + 1). Suppose 405 = 4*y - g. Is y composite?
True
Suppose 0 = 20*a - 57655 - 31045. Is a composite?
True
Suppose 0 = -50*n + 1357651 + 342199. Is n prime?
True
Suppose 5*g - 995 = 2*l, 5*l = -4*g - g + 995. Let m(i) = -25*i + 8. Let u be m(2). Let z = g + u. Is z prime?
True
Let b be (-5 - -3)/(922/306 + -3). Let s = b - -358. Is s prime?
False
Let t = -170 + 1231. Is t prime?
True
Let a(q) = 2*q**2 - 14*q + 29. Is a(16) a prime number?
True
Suppose 3*k = -3*n - 2532, 5*k + 110 + 742 = -n. Let f = 1308 + n. Is f a prime number?
False
Let t(n) = -3*n**3 - n. Let c be t(1). Let b(a) = a - 1 - 8*a - 4. Is b(c) composite?
False
Suppose -4*h - 953 = -5. Let u = h + 484. Is u a prime number?
False
Suppose 3*h = -149 + 44. Let g = 70 + h. Suppose g + 35 = 5*x. Is x prime?
False
Suppose -195015 = -176*s + 171*s. Is s a prime number?
False
Is -2 + 42068 + -12 + (-49)/(-7) a prime number?
True
Suppose 4*v = 4*s - 17580, 2*s + 3*s = -2*v + 21947. Is s a prime number?
True
Suppose -71042 + 8992 = -10*a. Suppose 29*l - a = 24*l. Is l a composite number?
True
Let d(x) = 66*x**2 - 4. Let q be d(-5). Let b be -4 + 3/2*q. Suppose j + b = n + 4*n, -n - 5*j = -493. Is n a composite number?
True
Suppose -3*c + 7*c = -8. Let n be ((-564)/(-20))/(c/(-10)). Suppose 2*o - o - n = 0. Is o a prime number?
False
Let y be (17316/(-16) - -4)*-8. Suppose 2*u - y = -5*m, 4*u - 1 = -9. Let h = -1091 + m. Is h composite?
True
Let o(v) be the third derivative of -v**5/60 + 5*v**4/6 + 19*v**3/6 - 12*v**2 - 19*v. Let w = 32 + -16. Is o(w) a composite number?
False
Suppose 2*m - 24 = -4*i, -3*m = -1 - 5. Suppose 0 = -4*c - 0*j + j + 28, 5*j = i*c - 50. Is (382/c)/((-11)/(-165)) prime?
False
Let r be 6/2 + 1 - 2. Suppose -r*g + 1397 = -g. Is g prime?
False
Suppose -81484 - 40091 = -15*n. Is n composite?
True
Let j(g) = g**2 + 2*g - 2. Suppose -6*v + 2*v = -2*f - 20, -5*v + 22 = -f. Let b be j(f). Is (0 + -43)*2/b a composite number?
False
Let b be (-9)/(-6)*(-30)/(-9). Suppose -18 = -b*f - 8. Is f/(6/(-9)) - -22 a prime number?
True
Let m(x) = 26*x - 3. Let q(z) = 53*z - 6. Let d(f) = -11*m(f) + 6*q(f). Suppose 5*l - 63 = -23. Is d(l) composite?
True
Suppose -5*z + 57329 = -2*m, -5*m = 3*z - 17889 - 16527. Is z a prime number?
True
Let a = -328 + 719. Let z = a + -128. Is z prime?
True
Is 0 + (921 + -1 - 1) prime?
True
Suppose j = -3*z + 6*j + 5406, j = -4*z + 7185. Is z a composite number?
True
Is (-25)/((-175)/(-84)) - -13171 a composite number?
False
Let m(d) be the first derivative of -d**2 + 9*d + 3. Let r be m(4). Is (0 + r)/(1/31) a prime number?
True
Suppose 3*o + d - 15 + 2 = 0, 0 = o + 2*d - 1. Let s(l) be the third derivative of 3*l**4/8 + 2*l**3/3 + l**2. Is s(o) composite?
True
Suppose 4*m + 3*s - 20847 = 0, 8*m - 4*m = -4*s + 20844. Is ((-12)/18)/((-4)/m) composite?
True
Let t be 9/(((-21)/(-178))/7). Let b(i) = -i**3 + i**2 + 4*i - 1. Let q be b(3). Let u = q + t. Is u a composite number?
True
Let h(l) = -1 - 209*l - 236*l + 0 + 10. Let t(i) = 222*i - 4. Let d(f) = -3*h(f) - 7*t(f). Is d(-4) prime?
True
Let r(f) = -f**3 - 16*f**2 + 48*f + 22. Is r(-21) a prime number?
False
Suppose 0 = -7*s - 1684 - 5078. Let z = s + 1507. Is z a composite number?
False
Suppose 2*t + z = -2*z - 47, -3*z = -3*t - 93. Is (-3658)/(-14) - -2 - (-8)/t composite?
False
Suppose 187455 = 5*x + 5*o, 3*x = x - 4*o + 74978. Is x composite?
False
Suppose 0 = -14*u - 6422 + 36648. Is u composite?
True
Let f = 84 - 82. Suppose f*x = -4*t + 3168 - 918, -1127 = -2*t + x. Is t prime?
True
Let n(t) be the third derivative of -17*t**6/120 - t**5/20 - t**4/12 + 5*t**3/6 + 7*t**2. Is n(-3) a prime number?
True
Suppose -10*v + 5*v + 8745 = 0. Let b = v - 1012. Is b a composite number?
True
Let v = 7146 - 3355. Is v a composite number?
True
Suppose 0 = -2*j - 4, -n - 3*j = -5*j - 9. Let x(l) be the second derivative of 7*l**3/3 + 9*l**2/2 + 3*l. Is x(n) prime?
True
Let k(g) = -g**3 + 8*g**2 - 13*g - 4. Let t be k(4). Let a(h) = 5 - 4 + 2 + 49*h. Is a(t) a composite number?
True
Let z(a) = -a**2 + 16*a + 4. Suppose s + 27 = 5*x - 3*s, 5*x - 41 = -3*s. Is z(x) a composite number?
False
Suppose 2*g = 6*g - 2*w - 42350, -4*g + 42362 = 2*w. Is g prime?
True
Let r be ((-4878)/(-3))/3*-2. Let g be -3 + 5 + r/(-4). Let b = 452 - g. Is b a prime number?
True
Let 