e 6*i = -4*y + 3*i + u, 0 = -4*i + 12. Is y a prime number?
True
Let z(y) = 4*y**2 - y. Let k be z(1). Let d = 10 + k. Suppose -g - d = -140. Is g a composite number?
False
Let h = -793 + 27. Let n = 211 - h. Is n a composite number?
False
Let c(m) = -2*m. Let g be c(6). Let d(r) = -3*r - 1. Let o be d(g). Is (-14)/o + 2514/10 prime?
True
Let o = 2537 - -692. Is o prime?
True
Let b(h) = h**3 - 3*h**2 + 2. Let z(n) = 2*n - 4. Let u be z(3). Let f be b(u). Is (6/(-3))/(f/259) a composite number?
True
Let s be (-4)/(-22) + 2842/(-22). Let h = s + 426. Let m = h + -130. Is m a prime number?
True
Suppose -3*o + 0*n + n = -5, 0 = 4*o - 3*n - 10. Is (-2)/(-4) - (o - 5545/10) a prime number?
False
Let j(i) = -i**3 + 2*i**2 + 4*i. Let s(m) = m**2 - 3*m - 1. Let f be s(4). Let h be j(f). Is (-2 - (-2 + h)) + 296 composite?
False
Let h = 2484 - -413. Is h prime?
True
Let x be 26118 - (6 - 4)*(-2)/(-4). Is 4/(-18) + x/117 a composite number?
False
Is 8 - 4 - (-3553)/1 prime?
True
Let w(v) = -3*v - 3. Let t be w(-2). Let q be -3 - -17 - (-16 + 24). Suppose -q = -t*h, -5*s + 337 = h - 0*h. Is s prime?
True
Let i(z) = 25*z**3 - 8*z**2 + 21*z - 13. Is i(4) a prime number?
True
Let x be ((-5)/(-15))/(1/3)*1. Is (x*278)/((-25)/(-15) + -1) composite?
True
Let c be (-3)/(-5) + (1 - (-3)/(-5)). Is (c*-3 - 16354/(-51))*3 prime?
True
Let l = -2421 - -3880. Is l a composite number?
False
Let n be (8/(-20))/(3/(-45)). Is (4/n)/((-12)/(-41994)) prime?
True
Let z(j) = j**2 - 11*j + 9. Let r be z(6). Is 1054/5 + r/(-105) composite?
False
Let b(t) be the second derivative of -t**5/20 + 5*t**4/6 + 5*t**3/6 - t**2/2 - 54*t. Suppose -w + 5 = -0*w. Is b(w) prime?
True
Let w be -4415*4/(-8)*2. Suppose 0 = -5*r + 4*d + w, 3*r + d - 1779 = r. Is r a composite number?
False
Suppose 0 = 18*s - 177 - 3. Suppose 6*r + s*r - 15536 = 0. Is r prime?
True
Let n(t) = t**3 + 3*t**2 + 4. Let g be n(-3). Suppose 1484 = r + 3*r - g*l, 8 = 4*l. Is r composite?
False
Suppose -22*m + 363848 = -14*m. Is m a composite number?
False
Let y(g) = 2*g**2 - 14*g - 10. Let c(k) = k + 1. Let u(a) = 5*c(a) + y(a). Let l be u(5). Suppose -p - p + 1486 = l. Is p prime?
True
Let x = -1102 + 1823. Is x prime?
False
Let s(o) = -o + 1. Let u be s(-2). Suppose 2*y = t + 104, 0 = 2*y + u*t - 8*t - 96. Is y composite?
False
Let n = 49 - -1698. Is n composite?
False
Suppose -7*u + 5*u + 5*h + 34134 = 0, -2*h + 68220 = 4*u. Is u a prime number?
False
Let o(m) = m**2 + m + 1. Let b be o(3). Let s(k) = 3*k - 7. Let d be s(b). Let c = -22 + d. Is c a prime number?
False
Let m(w) = -8*w**2 - 5*w - 5. Let g be m(-2). Let n be 4/(-10) - g/5. Suppose 3*h - 5*h - 495 = -p, n*h = -2*p + 954. Is p a composite number?
False
Let f(a) = 167*a - 436. Is f(31) composite?
True
Let k = 14874 + -8201. Is k composite?
False
Let u(a) = 2*a - 6. Let k be u(6). Suppose -o + k*o = 530. Is o prime?
False
Let y(u) = u**3 - 3*u**2 - 4*u. Let b be y(4). Suppose -2*l - 5*o + 1261 = b, -l - 1271 = -3*l + 5*o. Is l a composite number?
True
Let f = 46541 + -20474. Is f a prime number?
False
Let t be 3 - 1 - (-6 + 4). Suppose 5 = -t*h + 3*h. Is h + 5 - 1*-139 a prime number?
True
Let o = -6 - 9. Let x = o - -10. Let i(j) = 4*j**2 - j + 8. Is i(x) composite?
False
Let j be 8/(-12) - (-17)/3. Suppose 334 + 91 = j*l. Is l a composite number?
True
Suppose -5*y + 69030 = 5*y. Suppose 3*p + d = -2*p + y, -d = 2. Is p a composite number?
False
Suppose -2*w = -4 - 16. Is (929*1)/(-9 + w) prime?
True
Let h be (-153)/(-15)*-2*-5. Suppose -102 = 2*c - 3*g, 3*c - 2*g = c - h. Let s = c + 88. Is s a composite number?
False
Let h(i) = i**2 + 14*i + 5213. Is h(0) a prime number?
False
Let p(t) = 2*t - 28. Let n be p(16). Let y = 539 + -149. Suppose n*c - y = -2*c. Is c a prime number?
False
Let g(t) = 4*t**3 + 2*t**2 - t. Let q be g(1). Suppose -2*a = -q*a + 24. Suppose 4*i + 2260 = a*i. Is i a prime number?
False
Let f(v) = 12*v**2 - 8*v - 38. Let n be f(12). Let r = n + -717. Is r a composite number?
False
Suppose 2*h = -4*l - 48, -4*h + 5*l - 34 + 3 = 0. Suppose -12*x + 565 + 1799 = 0. Let z = x - h. Is z a composite number?
False
Suppose 3*f - 31 = -5*k, 0*k + 19 = 2*f + 3*k. Is (0 - f/(-3))/((-2)/(-1893)) a composite number?
False
Suppose -2*f = -4*b + 20, -3*b + 2*b - 5*f + 5 = 0. Suppose t - 4*n - 2429 = -2*t, 3*t = b*n + 2425. Is t prime?
False
Let x(j) = j - 10. Let b be x(7). Is 485 - (b + -1) - 2 prime?
True
Let o = 3 - -1. Suppose -o*a = a - 1540. Let z = -37 + a. Is z composite?
False
Let b = -13 + 17. Let v be 18/b - (-5)/10. Suppose 2*a = 3*i + 212, -i - 514 = -v*a + 16. Is a a composite number?
True
Let v = 74315 - 43160. Suppose -5*r - 5*a = -v, r + 6223 = 2*r - a. Is r prime?
False
Let a(v) = -1374*v**3 - 3*v**2 + 4*v + 7. Is a(-2) prime?
True
Let q be (-5)/2*(-5 - (-91)/35). Is (-4533)/(-5) + q/15 composite?
False
Let i be 241 + 6/3 + -3. Let s = -418 + i. Let a = -36 - s. Is a prime?
False
Suppose 5*s + 15 = -5*v, 2*v - 3*s - 24 = s. Suppose -7*m = -v*m - 655. Is m a composite number?
False
Let u(x) = -2423*x + 58. Is u(-3) a prime number?
False
Suppose -5*y + 9*u - 4*u = -10, 3*y + 2*u + 4 = 0. Suppose y = 8*f - 10*f + 42. Let s = f - -88. Is s composite?
False
Suppose -5*p + 7*p = 79942. Is p composite?
False
Let t(s) = s**2 + 13*s - 11. Let y be t(-14). Suppose -y*c + 9*c - 1266 = 0. Is c composite?
False
Let n = -4687 + 8328. Is n a composite number?
True
Let w(p) = p + 11. Let v be w(-7). Suppose f + 3*f - 820 = -4*l, 0 = 3*f - v*l - 622. Suppose 0 = -3*o + z + f, o + o + 3*z - 141 = 0. Is o a composite number?
True
Let p be (-6)/(-12) - (-110)/(-4). Is p/(-63) - (-20298)/21 a prime number?
True
Is (9151/(0 + -1))/((-3)/3) composite?
False
Let b(m) = 1384*m**2 - 3*m + 11. Let a(v) = -2076*v**2 + 5*v - 16. Let o(p) = -5*a(p) - 7*b(p). Is o(1) a composite number?
False
Suppose -4790 = -4*z + 5*q, -4*q + 1142 = z - 45. Let u = 15 - 12. Suppose u*i + 2*i = z. Is i composite?
False
Let g = -84 + 82. Is ((-3508)/10)/g*5 - 0 prime?
True
Let y = -15 - -7. Let i = y - -14. Suppose i*h + 466 = 2*v + 2*h, 4*v - 4*h = 912. Is v prime?
True
Let s = 97 - -166. Is s a prime number?
True
Is 102/(-17) + 12/4 + 1360 a composite number?
True
Suppose 29*l - 897 = 26*l. Suppose 5*i + 4*q - 1211 = 0, -5*i - 5*q = -1514 + l. Is i composite?
False
Let s(f) be the second derivative of 19*f**4/12 + 11*f**3/6 + 11*f**2/2 + 12*f. Is s(-10) prime?
True
Is ((-9938)/10*5)/(-1) a prime number?
True
Suppose -506087 = -42*j - 54881. Is j composite?
True
Suppose -5*p - 56 = -7*p. Suppose p*n + 2149 = 29*n. Is n composite?
True
Let w(f) = -7*f**3 + 5*f**2 - 9*f - 4. Let k(o) = -6*o**3 + 4*o**2 - 8*o - 3. Let a(m) = -5*k(m) + 4*w(m). Is a(7) a prime number?
False
Suppose 5*b - 10*b = -25. Suppose 7*c - b*c = 1358. Is c prime?
False
Let i = 32130 + -17161. Is i composite?
False
Let t be 1/3 + (-10)/(-6). Let g be (4 - 4) + 8/t. Suppose -g*n - 137 + 525 = 0. Is n a prime number?
True
Suppose 4*a - 4*h - 15 = -3*h, -4*a + 21 = -3*h. Suppose -n - 2*i + 149 = 0, 0 = 2*n - 0*i + a*i - 298. Is n a composite number?
False
Suppose -4*t - 32 = 4*c - 0*t, 3 = t. Let h be (c/11)/((-2)/(-372)). Let b = -115 - h. Is b prime?
True
Let x be 9/6 + (-11)/(-2). Suppose 737 = 5*t - 4*m, 2*t - 4*m = -x*m + 304. Is t prime?
True
Suppose -40884 = -12*g + 116088. Is g a composite number?
True
Let q(c) = -45*c**3 - 3*c**2 + 4*c. Let b be q(-5). Suppose -5*z + b + 4660 = 0. Is z a prime number?
False
Suppose 0 = -t + 4, -5*w + 3*t = -21643. Is w composite?
True
Let y(l) = -l + 19. Let w be y(15). Suppose 3*x = -w*q + 603, 0 = -0*x - 2*x - q + 402. Is x a composite number?
True
Let p be (-1 - -2)/(3/(-948)). Let l be (p/(-8))/(2/(-52)). Let x = -698 - l. Is x a composite number?
True
Let p = 126 - 121. Suppose p*y - 9676 + 1976 = -c, 4*c = -5*y + 30845. Is c a prime number?
False
Let q = 3743 - 2656. Is q a composite number?
False
Let r(i) be the second derivative of 23/3*i**3 + 0 + 1/2*i**2 + 7*i. Is r(3) a composite number?
False
Let r be 2/(-11) + (-92)/(-22). Let k be ((-6)/r)/(1/102). Let x = 734 - k. Is x a composite number?
False
Suppose 0 + 7 = 3*q + 2*v, 3*v + 18 = 5*q. Suppose -2*s - q*s = -10. Is -1*(s - (19 - -2)) a prime number?
True
Let z(s) = -48*s**3 + 2*s**2 + s + 9. Is z(-4) co