5*k(j) - 2*w(j). Let x(o) = -o**2 + 7*o + 8. Let d(c) = 6*t(c) + x(c). Is d(0) composite?
True
Suppose -5*k - 3*m = -58, 3*k - 48 = -k - 2*m. Is ((-6)/15)/(k/(-665)) prime?
True
Let c(q) = -5*q**3 + 5*q**2 - q - 14. Is c(-9) composite?
True
Suppose 18*a = 15*a - 33. Is 1/(-2)*30404/a a prime number?
False
Let w(b) = 11*b - 6. Let j be w(3). Let d = 32 - j. Suppose 8*r = d*r + 1191. Is r a prime number?
True
Let c(d) = d + 14. Let m be c(-7). Suppose -m*r = -3304 - 4123. Is r prime?
True
Let h(g) = 71*g + 21. Let c be h(11). Suppose 5*f - j = 1004, 4*j + c = 4*f + 2*j. Is f prime?
False
Suppose 2*q - 5*r = 21, -5*q + 12 = -3*q - 2*r. Let w(o) = 417*o - 32. Is w(q) composite?
True
Let k = 54465 - 25768. Is k a prime number?
True
Let c be 7 - 0 - 1*3. Suppose 0 = -c*q + 16. Suppose -q*z + 3*z + 216 = -5*h, 3*z - h - 634 = 0. Is z a composite number?
False
Suppose 4*n - 19 = -19. Suppose -a + 3*y + 1101 + 170 = n, -5*a = 2*y - 6389. Is a composite?
False
Is (3 + -12 + 10)*31697 prime?
False
Let t(p) = 9*p**2 + 5*p + 1. Let y(h) = -h**2 + 10*h - 11. Let f be y(7). Is t(f) a prime number?
False
Suppose 11*o = 61 + 566. Is o composite?
True
Let k = -1846 - -8235. Is k prime?
True
Let c be 1*3 + (10 - -9). Let u = c - 3. Let h = 12 + u. Is h prime?
True
Let c = -14434 + 23296. Is 1/((-3)/c*-2) composite?
True
Suppose 0 = -h + 3*m - 1568, 0 = 5*h - 3*m - 1644 + 9496. Let k = 2968 + h. Is k composite?
True
Let d(w) = 655*w**2 + 1. Let q be d(1). Let a be (q - 0)*(-1 - 0). Let j = -445 - a. Is j prime?
True
Let z(g) be the third derivative of g**6/90 - g**5/20 - g**4/8 + g**3/3 - 6*g**2. Let n(i) be the first derivative of z(i). Is n(5) a composite number?
False
Suppose 2*i - 7 = -17, 4*r = -i + 5343. Is r prime?
False
Let u be 0 - 4 - 4 - 0. Let v(s) = -22*s - 8. Let m be v(u). Suppose r + 113 = 3*q, 4*q + 0*q - m = -3*r. Is q a composite number?
True
Suppose 0 = -11*s + 2322 + 21955. Is s a prime number?
True
Suppose -6*x - 724 + 142 = 0. Let r = x - -308. Is r composite?
False
Let k be (-2)/(-8) + (-305)/20. Is ((k/9)/5)/(1/(-3291)) a prime number?
True
Let q(n) = n - 11 - 323*n**3 + 346*n**3 + 2*n. Is q(4) composite?
True
Let z be (2 + -2 + 1)*1. Is -2 - (-5 + z) - -113 composite?
True
Let c = -74 + 47. Let n = 458 - c. Is n composite?
True
Let c = 10930 - -32119. Is c a composite number?
False
Suppose y + 0 = 4. Let c = -6 + y. Is 262 - (c - -5) - 0 composite?
True
Let k be (5/7 - 10/(-35))*2175. Let n = 4088 - k. Is n composite?
False
Let r(k) = -23*k**3 - 3*k**2 + 21*k + 46. Is r(-5) prime?
True
Let u be 9/(9/(-4)) - 2. Let k(r) = -119*r + 4. Let h be k(u). Suppose l + l - h = 0. Is l prime?
True
Suppose m = 2*m + 1. Let i(u) = -18*u - 19. Let y be i(3). Is 3 + (m + -1)*y composite?
False
Let t be (4/2)/((-5)/20). Let a(m) = 2*m**3 - 27*m - m**3 + 29*m + 7 + 10*m**2. Is a(t) a composite number?
True
Let b be 6/(-9) + 56/21. Let y be b/(-6) - (-55)/(-15). Is y/(-14) - (-771)/21 prime?
True
Let t = -2976 - -5425. Is t a composite number?
True
Let l(h) be the first derivative of 148*h**3/3 + h**2/2 + 2*h + 2. Let r be 125/35 + (-12)/21. Is l(r) prime?
False
Let h(n) = n**2 + 30*n - 25. Let z be h(-22). Suppose -1 - 1 = 2*i. Is 1/(i/z*3) prime?
True
Let f be (-2)/15 + (-6647)/(-15). Let b = f - 178. Is (-2)/((-540)/b - -2) composite?
False
Let z(i) = 178*i**2 - 13*i + 101. Is z(-14) prime?
True
Let i be ((-12)/(-9))/(8/24). Suppose i*u = 10*u - 318. Is u prime?
True
Suppose 5*r + 9 = -4*y, -2*y - 4 + 0 = 2*r. Let h be 6 + -1*(y - -3). Suppose 5*k + 5055 = 5*f, 0 = h*f - 0*k - k - 4038. Is f a composite number?
False
Suppose 0*y = 3*y - 9. Suppose 5*x + 2*n - 1965 = 0, -y*x = 3*n - 1240 + 52. Is x a prime number?
False
Suppose -10*z = -9*z + 16. Is (-4)/(z/4)*1853 prime?
False
Is (-60)/(-270) + (-278978)/(-18) a prime number?
False
Let a(r) = -r**3 + r**2 + 2*r + 3691. Is a(0) a composite number?
False
Let r(i) = -58*i - 505. Is r(-21) a composite number?
True
Suppose 3 + 1 = t. Suppose -t*x - 258 = -3238. Is x a composite number?
True
Let i(t) be the third derivative of 19*t**4/2 - 7*t**3/6 + 9*t**2. Is i(6) prime?
True
Let l be (-54226)/(-8) + -2*1/8. Suppose -l = -3*a - 4*o, -3*a - 5*o = -5648 - 1131. Is a composite?
True
Let l be 42/28*16/6. Let u be (-12)/(-8) + 490/l. Let a = -47 + u. Is a a composite number?
True
Suppose 21*a - 170403 - 4128 = 0. Is a a composite number?
False
Let h = 52 - 24. Let p = h - -31. Is p prime?
True
Let r(l) = -1264*l - 3. Let p be r(-1). Is -5 - -3 - p/(-1) composite?
False
Let q(y) = -2855*y**3 + 3*y + 2. Let a be q(-1). Is 6*a/9 + 1/3 a prime number?
False
Suppose 6*v - 540 = 2*v. Suppose -10*a + v = -255. Is a a composite number?
True
Suppose 0 = 4*q - 24869 + 2457. Is q composite?
True
Let u(p) = p + 13. Let n be u(-11). Suppose 0*a + 4 = n*a. Is (-5)/a*1090/(-25) composite?
False
Let x(q) = -5*q - 6 + 1 + 1 + 3. Let g be x(-1). Suppose 5*f - g*s = 1123, 5*f - 1484 = -2*s - 373. Is f a prime number?
True
Suppose 7*g + 15930 = 90739. Is g composite?
False
Let x be 1382 + -2 - 3 - -2. Let n = -748 + x. Is n a prime number?
True
Let f(a) = -53*a + 13. Let h be f(-16). Suppose -2*c = 4*q - 722, -2*c + h = -5*q + 148. Is c prime?
True
Let c(m) = 117*m**3 + 3*m**2 - 2*m. Let j be c(2). Suppose -5*i - j = -294. Let q = i - -209. Is q a composite number?
False
Let w(g) = -2*g**3 - g + 2. Let y be w(2). Let v be (-48 - y)*(-10)/1. Suppose -x - 633 = -5*r, -5*x - 51 = -3*r + v. Is r a prime number?
True
Let a(i) = -i**3 + 7*i**2 + 8*i + 3. Let g be a(8). Suppose -g*c + 175 = 2*c. Is c composite?
True
Let j(i) = -131*i + 67. Is j(-26) a prime number?
False
Suppose -9*k = -15*k + 2346. Is k prime?
False
Let f be 7/15*3 - (-9)/15. Suppose -3*v = -4*b - 2039, -5*b = -v + f*v - 648. Is v composite?
False
Let o be (10*-168)/(-3) - -1. Suppose -a = -5*b + 559, 0*a = -5*b - a + o. Let v = b - 74. Is v composite?
True
Let l(t) = -29*t**3 + t**2 - 2 - 23*t**3 + 2*t + 1. Is l(-2) a composite number?
True
Let w = -48 - -52. Is 151*(3 - 0) - w prime?
True
Suppose -2*b + 654 = -4*i - 5*b, 4*b - 503 = 3*i. Is 3/12 + i/(-12) a prime number?
False
Let h(q) = q**2 - 12*q - 127. Let l be h(-7). Let f be (-388)/(-2) - -1*1. Let p = l + f. Is p a prime number?
False
Let t be (-2 - -1) + 5 + -1. Suppose -x + t*y = 77 - 552, y + 970 = 2*x. Is x composite?
False
Let p(b) be the third derivative of b**6/120 + 13*b**5/60 - b**4/12 - 7*b**3/6 + 6*b**2. Suppose -3*a - 4*q = 14 + 10, 0 = 3*q. Is p(a) prime?
False
Is (186/(-4) + (-15)/30)*-47 prime?
False
Suppose -15*a = -20*a + 10075. Suppose 3 = -3*b + 2*h + 19, 7 = b - h. Suppose b*z - 7*z = -a. Is z a prime number?
False
Suppose -6*t + 5*t = 0. Let i(j) = -j**3 + j**2 - 2*j + 2. Let q be i(t). Suppose -l - 319 = -4*m, q*l + 129 = -4*m + 439. Is m a prime number?
True
Let k = 7650 - 2374. Suppose 0*s - 1754 = -s - 3*f, -k = -3*s + 5*f. Is s a prime number?
False
Let o(d) = -1638*d + 7. Is o(-4) prime?
False
Suppose -4*q + 4894 - 1126 = 0. Let l = 2009 - q. Is l prime?
False
Suppose -120*w = -128*w + 84176. Is w composite?
True
Suppose 2*g - 19 + 1 = 0. Suppose 4*x - g - 3 = 0. Suppose j - 5*q - 124 = 0, -5*q - 471 = -x*j - 49. Is j composite?
False
Suppose -x = -5*w + 10887, 7*w + 10883 = 12*w + x. Is w prime?
False
Let l = -140 - -134. Let m(r) = 766*r**3 + r - 1. Let n be m(1). Is n/4 - l/(-12) a prime number?
True
Is (-19 + 20)/((-6)/(-120534)) composite?
False
Let a = 6 - 42. Is 6/a - 19670/(-12) a composite number?
True
Suppose 0 = -0*w + w + 46. Is w*2/(-4) - 4 prime?
True
Let n = 9706 - -19045. Is n a prime number?
True
Let m(a) = -a + 1825. Let s be m(0). Suppose 3*g = -2*g + s. Suppose 0 = f - g + 72. Is f a composite number?
False
Is (-3)/6 + (-4)/(-16)*7798 prime?
True
Suppose -3 + 2 = p. Is (p/1)/(14730/4911 + -3) a prime number?
True
Let b be (4*-6)/((-13)/31018). Is ((-1)/3)/((-16)/b) prime?
True
Let h(o) = 665*o - 8. Let d be h(18). Suppose n + 1 = 0, 0 = -5*z - n - 2*n + d. Is z prime?
True
Suppose -13*h = -42290 - 131325. Is h a prime number?
False
Let p be -1*(8 + 1*-1). Let q be (2/(-4))/((-12)/72) - 5. Is ((-7)/p)/(q/(-530)) a composite number?
True
Let z be 1 + -4 - (3 + -6). Suppose z = 3*o - 2*r - 8, -5*r + 2 = o + 5. Suppose -2*j + 2*x = 4*x - 230, -x - 224 = -o*j. Is j 