Let m(h) = -h**2 - h + 5. Let w be m(0). Suppose -12 = -w*u - 2. Suppose -191 = d - u*d. Is d composite?
False
Let u be 258/4*208/12. Suppose -a + 1112 = 5*c, -2*c + 7*c - a = u. Is c a composite number?
False
Suppose -4*k + 3*k + 99 = -2*x, 0 = -x - 1. Let t = 562 - 626. Let i = k - t. Is i prime?
False
Let t(b) = 30*b**2 - 16*b - 47. Is t(17) a composite number?
True
Suppose 231214 - 40763 = 17*s. Is s a composite number?
True
Suppose 11 = 4*p - 5. Suppose -5 = -p*n + 7. Suppose -4*y + i = -54, -3*y - n*i + 52 = 2*i. Is y composite?
True
Suppose -6*i + i + 3095 = 0. Suppose 0 = 5*h + 2*g - 5988, -i = -h - g + 581. Suppose 0 = -2*n - 2*n + h. Is n prime?
False
Let z = -2800 - -4282. Let h = 2279 - z. Is h a prime number?
True
Let s(x) = -x**3 + 9*x**2 - 10*x + 2. Let m be s(7). Let q = m + -29. Is 5/(-10)*q*-2398 composite?
True
Let r(f) = -f**3 + 23*f**2 + 21*f - 83. Is r(20) composite?
True
Let v(b) = 9*b + 5. Let s be v(14). Let p = s - 78. Is p a prime number?
True
Let d(y) = -y**3 - 8*y**2 - 11*y - 8. Let k be d(-9). Let u = 671 - k. Is u prime?
True
Let h be ((-26)/(-8))/((-8)/(-32))*-1. Is (-925)/h + 30/(-195) prime?
True
Let y = -55 + 57. Suppose y*g - 2*c = -4*c + 1360, -2*c + 3391 = 5*g. Is g a prime number?
True
Let q = 1 - 1. Let o be 316/44 + (-4)/22. Suppose c - 4*d - 127 = q, 5*d + 284 = 2*c + o*d. Is c prime?
True
Suppose -5*w + 214276 = 4*h, -2*h - 2*w + 107138 = 2*w. Is h a composite number?
False
Suppose -3*u - 39 = -3*i, -2*u + 5*i = 16 + 19. Let f(n) = -54*n - 8. Let l be f(u). Let h = l + -315. Is h composite?
True
Suppose -6*t - 278 = 46. Let p = t + 93. Is p a prime number?
False
Let k be 1/(-1) + (-826)/(-2). Let v = 933 - k. Is v a composite number?
False
Suppose 44672 = 26*h - 5222. Is h prime?
False
Let j be (-1 - 3)*12/(-16). Suppose n - 37 - 54 = 2*i, -6 = j*i. Is n composite?
True
Suppose 3*b + 5*w = 1323, -3*w - 248 - 634 = -2*b. Suppose 3*r - b = -2*i - i, -i = -3*r - 143. Is i composite?
True
Let x(a) = -5*a**3 + 31*a**2 - 37*a + 67. Let f(k) = -k**3 + 8*k**2 - 9*k + 17. Let u(i) = 9*f(i) - 2*x(i). Is u(-9) a composite number?
False
Let f(n) = n**2 - n**2 + 2*n - n**2 - 1. Let p be f(1). Suppose 5*a - 8*l + 3*l - 1055 = p, 2*a - 3*l = 424. Is a prime?
False
Let z(j) = -9*j**2 - 3*j + 7. Let p(a) = -5*a**2 - a + 4. Let f(s) = -11*p(s) + 6*z(s). Let u be f(5). Is (-18)/u*(-22)/(-3) a prime number?
True
Suppose 10*u = 7*u - 2910. Let b = 1632 + u. Is b prime?
False
Suppose 2*b - 9 = 3. Suppose -b*z + 508 = -2*z. Is z composite?
False
Suppose 17 = -5*f + 37. Suppose -m = -2*p + 278, -p + 5*m = -f*p + 417. Is p prime?
True
Let s = 442 + 83. Let d = 2553 - s. Is d/21 + (-3)/(-7) prime?
True
Let t = 2 - 0. Let f be (t + 3)/(3/3). Suppose -f*h + 1060 = 5*b, -3*b + 0*b = -h - 632. Is b a prime number?
True
Suppose 0 = -2*k - u + 7493, 2*k - u = -5*u + 7490. Is k composite?
True
Suppose 0 = 3*d + 2*t + 4, 2*t + 3 = -2*d - 1. Suppose d = 5*a + 768 - 2233. Is a a composite number?
False
Is (-1257*6/(-54))/((-5)/(-255)) composite?
True
Suppose -4*o - 1 = -17. Suppose -4*l + 4*y + 2 = -2*l, -3*l - 17 = 4*y. Is (2/o)/(l/(-36)) prime?
False
Let o be (-1 + 2)*-3 + 0. Let b = o + 0. Let t = b - -36. Is t a composite number?
True
Is (508/(-6))/(188/(-282)) a prime number?
True
Let a = -9 - -6. Let n be (1/a)/((-3)/45). Suppose 3*u - 1233 = -n*d + 2*d, 1626 = 4*u - 5*d. Is u composite?
False
Suppose -3*l - 4908 = -3*u, -12*u + 8192 = -7*u - l. Is u a prime number?
False
Suppose -4*m + 336 + 68 = 0. Let r = m + 2. Is r a prime number?
True
Is (-2 + -1 - 160)/(-1) a prime number?
True
Is (-3 - -29430) + (-6 - -10) + 0 a composite number?
True
Suppose 2*u - 17 = -5*z, -2*z - 3*u + 9 = -0*u. Suppose -2295 = 2*s + z*s. Let q = -302 - s. Is q a composite number?
False
Suppose 0 = 3*p + 2*f - 16, -4*f + 10 = -2*f. Is 2694/12*4/p composite?
False
Let j(g) = -23*g**3 - g**2 + 3*g - 23. Is j(-8) a composite number?
True
Let j(y) = 6*y**2 + 6*y + 31. Let v(x) = 17*x**2 + 18*x + 94. Let p(l) = -8*j(l) + 3*v(l). Is p(-7) a prime number?
True
Suppose 0 = 5*r - 21585 - 17870. Is r prime?
False
Let g be (1069/4 - 2)*8. Suppose g = 7*o + 71. Is o composite?
False
Let n be 36/(-15) + 2 + (-17)/(-5). Suppose -n*h + 466 = -2*h. Is h composite?
True
Let w(m) be the second derivative of m**5/60 + 3*m**4/8 + 8*m**3/3 - 2*m**2 - 4*m. Let o(t) be the first derivative of w(t). Is o(-11) a composite number?
True
Let z be ((-96)/30)/(1/(-10)). Suppose -z*r + 27*r + 13605 = 0. Is r a composite number?
True
Suppose 4*n + 20 = 0, 4*a + 3*n - 4*n - 90385 = 0. Is a a prime number?
False
Suppose -5 = 5*d + 5. Let v(f) = -4 - 20*f - 9*f + 5. Is v(d) a prime number?
True
Let q(x) = -x**3 + 8*x**2 - x + 11. Let s be q(8). Suppose -3*b + 3*p = -2733, 0 = s*p + 5 + 7. Is b a prime number?
True
Let b(s) = s**3 - 8*s**2 + 9*s - 9. Let a(t) = 3*t**2 - 3*t + 1. Let d be a(2). Let p be b(d). Suppose 3*i + 22 = v + 4*i, 2*v - 51 = p*i. Is v prime?
True
Suppose 30*r = 29*r + 7779. Is r prime?
False
Suppose 2*w - 7 = 5*d + 18, 0 = -3*w + 4*d + 20. Let p(g) = -g + w*g + 7*g + 1. Is p(9) a prime number?
False
Suppose 5*p + 14*h = 12*h + 95907, 0 = 3*p + 2*h - 57545. Is p composite?
False
Suppose 4*a = -5*k + 7*k - 25774, k + 4*a = 12893. Is k prime?
True
Let h = -1274 + -761. Let r = -1328 - h. Is r a composite number?
True
Suppose -149904 + 9980 = -4*m. Is m a composite number?
False
Let m = -597 - -360. Let d = -79 - m. Suppose -3*a + 43 = 4*q - d, 155 = 3*q - 2*a. Is q composite?
True
Suppose 2*w - 7 = d, 30 - 9 = 3*w - 5*d. Suppose 4*m - q + 190 = 0, -5*m + 6*q - 5*q - 237 = 0. Is ((-9)/3 + w)*m prime?
True
Suppose -2*u = -5*z + 5, u - z - 26 = 6*u. Let r be 3 + u + 4 - 714. Let q = r + 1065. Is q a prime number?
True
Let a(n) = 75*n + 44. Is a(17) a prime number?
True
Is -5*38143/(-140) - (-5)/(-4) composite?
False
Suppose 125 = 14*b - 1023. Is b a composite number?
True
Let s(c) be the second derivative of 3/2*c**2 + 5*c - 2/3*c**3 + 0 - 1/12*c**4 + 17/20*c**5. Is s(2) a prime number?
True
Let n(q) = -2*q**3 - 6*q**2 - 3*q + 3. Suppose 2*h + f + 3*f + 18 = 0, -h = -f + 3. Let o be n(h). Suppose 5*k + o - 488 = 0. Is k prime?
False
Let u(l) = 603*l**2 + 21*l + 65. Is u(11) a composite number?
False
Suppose a = 0, 4*a = 4*n + 3*a - 2524. Let u = 550 + n. Is u composite?
False
Let c(h) = -h**3 - 15*h**2 - 15*h + 5. Let q be c(-14). Suppose 0*w - 5*f + q = 4*w, -f - 13 = -2*w. Suppose 8*v - w*v - 178 = 0. Is v a prime number?
True
Suppose 5*i = 2*q + 3*q - 15, -3*q + 7 = -2*i. Let v = i + 0. Is -32*(-7 + v) - 1 composite?
True
Suppose -18 = 2*f - 8*f. Suppose 2 = -h + 4*x, 4*h + f*x = 13 - 2. Suppose a + 5*k = 82, -k + 185 = h*a + 2*k. Is a composite?
False
Suppose 3*b + 376 = 3*s - 47, 0 = s + 2*b - 150. Let i be s/(-16) - 4/(-1). Is -1*(-15 - (i + 3)) a prime number?
True
Let d be ((-15)/(-6))/(2/12). Let j(x) = 28*x - 1 - 109*x - d*x - 84*x. Is j(-1) a prime number?
True
Is 9149 - (-1 + 3 - 6/3) composite?
True
Let i(s) = -73*s + 48. Is i(-2) a prime number?
False
Let f(j) = j**3 + 9*j**2 - j - 4. Let v be f(-9). Let p(c) = 154*c - 5. Let o(z) = -103*z + 3. Let t(k) = v*p(k) + 8*o(k). Is t(-1) a composite number?
False
Let p be (1/4)/(1/8). Suppose -c - p*c = 0. Suppose 1 + 0 = -r, -2*o - 2*r + 26 = c. Is o a composite number?
True
Is 1 - (-4652)/(3/(3/2)) a prime number?
False
Suppose 0 = 5*t - 2224 - 3171. Is t a prime number?
False
Let v = 11475 - 4786. Is v prime?
True
Let s(n) be the first derivative of -n**7/840 - 7*n**6/180 - n**5/15 - 17*n**4/24 + n**3/3 - 2. Let d(k) be the third derivative of s(k). Is d(-14) prime?
False
Suppose 0 = 172*p - 168*p - 45208. Is p composite?
True
Suppose -3*f + 18617 = 2*g, 4*f - 17909 = g + 6932. Is f a composite number?
True
Is (-99286)/(-110)*(5 + 0) prime?
True
Let v(o) = 4*o - 38. Let z be v(10). Suppose -z*x + 3*m + 644 + 405 = 0, 521 = x - 5*m. Is x prime?
False
Let x(t) = -t**2 + 8*t - 4. Let l be x(4). Let k = l + -8. Suppose k*v = 3*v + 211. Is v prime?
True
Suppose 16*m = 4*m + 105912. Suppose -7*h + m + 6217 = 0. Is h composite?
True
Suppose 7*s - 12*s = -25. Suppose 0 = 4*n - 2*a - 1 - 25, -5*n + s*a = -40. Suppose 5*u - n*r - 715 = 0, -2*u + 4*r = -r - 289. Is u a composite number?
True
Let y(v) = 1 + 3 - 5. Let d