(o) = 3*o**3 + o - 2. Let x be b(2). Is 3 - 78/x - 17/(-4) composite?
True
Suppose 2*n = -5*i - 6, i - 12 = 4*n - 2*i. Let d be ((-9)/(-6))/(n/(-6)). Suppose -r + 9436 = d*r. Is r prime?
False
Let p(z) = -z**2 + 6*z - 3. Let q be p(3). Suppose b = q*b. Suppose 2366 = w + 2*w + 5*m, -2*w - m + 1589 = b. Is w a prime number?
True
Suppose -2*f + 5*f - 15 = 0. Let d(m) = 8*m**2 + 3*m - 2. Let u be d(f). Let h = 304 - u. Is h composite?
True
Let h = -1407 + 18400. Is h a composite number?
False
Suppose 0 = -p + 3*p - 46. Suppose -j + 3*j - 2*l = 10, -4*j + 5*l = -p. Suppose -6*q + 564 = -j*q. Is q composite?
True
Let c = -6 - -56. Suppose -c = -5*p - 15. Suppose -3*y = -2*z - 923, 4*z + 15 = p*z. Is y a prime number?
True
Let u = 11478 - 3969. Is u a prime number?
False
Is -24*8/(-16) + 17245 prime?
True
Let y(z) = -z**2 - z - 1423. Let n be y(0). Suppose 3*v + 3*p - 6411 = 0, -3*p + 12037 - 3494 = 4*v. Let h = v + n. Is h prime?
True
Let a(h) = -375*h + 104. Is a(-11) prime?
True
Suppose -4*w = -6*w + 3*y - 7, 11 = -3*w + 5*y. Is (-10174)/(-4) + w - (-9)/6 a prime number?
True
Suppose -2*s + 572 = -386. Is s prime?
True
Let h be (36/60)/((-2)/(-10)). Suppose -u + 2126 = -g, -5*u + 4*g - h*g = -10630. Suppose -2*q + u = 3*q + 4*y, -2*y + 1696 = 4*q. Is q composite?
True
Suppose -5*n + 5*y = -36285, 3*n + 3*y + 4143 = 25938. Is n a composite number?
True
Is 3/2 + (-50972)/(-8) composite?
False
Let g be (1 - 4)/(-13 - -12). Suppose 2*j + 16608 = 4*u + 6*j, -12462 = -3*u + g*j. Is u prime?
True
Let v be ((-35)/(-10) + -5)*(-640 - -2). Suppose -4*g + v = -g. Is g a prime number?
False
Let s be (18/7)/((-12)/56). Let k = s - -14. Suppose -2591 = g - 6*g - 4*q, 0 = -k*q + 8. Is g composite?
True
Is 6/27 - (-208468)/36 composite?
False
Suppose 4*o + 95541 = g, 4*g - 107465 = 5*o + 274754. Is g prime?
True
Let x(h) = 190*h**2 - 27*h + 13. Let z be x(8). Is z/15 + 12/(-90) a prime number?
True
Let s be 21/(-3*(-4)/(-6492)). Is (3*1)/((-7)/s*9) a prime number?
True
Let b(d) = 189*d + 127. Is b(26) composite?
True
Suppose 20*m - 31*m + 538417 = 0. Is m composite?
False
Let h(t) = t**2 - 5*t - 4. Let k be h(6). Let v(m) = 26*m**3 - 2*m**2 + 3*m - 3. Is v(k) a prime number?
False
Suppose -301822 = -42*a - 107068. Is a composite?
False
Suppose 3*d - 5*b - 21 = 0, 5 = -5*d - 3*b - 2*b. Suppose -d*r = g - 1727, -3*r = 4*g - r - 6890. Is g a composite number?
False
Let l(z) = -1252*z + 5. Let d be l(-5). Suppose d = 5*j + 1750. Let p = 1456 - j. Is p a composite number?
True
Let l be 5/((-20)/8)*2. Is 13700/28 + -8 - l/(-14) a composite number?
True
Suppose -2*k = -k - 5. Let n(d) = 48*d**2 - 10*d + 13. Is n(k) a composite number?
False
Suppose 26609 + 46729 = 6*m. Is m composite?
True
Suppose 4*o + 0*n - 2707 = -3*n, 3*n - 1361 = -2*o. Suppose -77 + o = 4*t. Is t composite?
False
Let z(h) = 3*h + 7 - h + h - 4*h. Let u be z(3). Suppose 692 = u*l - 200. Is l a prime number?
True
Suppose 9*m + 8*m = 55267. Is m composite?
False
Let x be (-288)/40*(-20)/(-6). Let u(i) = -20*i + 43. Is u(x) prime?
True
Let s = -2568 + 4292. Let h = -513 + s. Is h composite?
True
Is (-5 - -85508)*9/27 composite?
True
Let o be (20/(-6))/((-1)/(-9)). Let s = o - -37. Suppose -s*r + 444 = -3*r. Is r a prime number?
False
Is (-2)/15 - 21986481/(-495) prime?
True
Suppose h - 4*g + 1837 = 0, 5*h + 2*g + 9164 = g. Let m be (8/6)/((-26)/h). Suppose -o + 12 = -m. Is o a prime number?
False
Let r = -217 + 339. Let s = 283 - r. Is s composite?
True
Suppose -453*h + 470*h = 143939. Is h a composite number?
False
Let l(c) = c**2 + 3*c + 5. Let p be l(-2). Suppose -6 = -3*m, -p*y + 613 = -m - 471. Suppose -i + y = -5*k, 2*k - 1196 = -2*i - 424. Is i composite?
True
Let n(f) = 3*f**2 - 2*f + 2. Let g be n(2). Let i be -10 + g + (1 - -1). Suppose 0*m - 290 = -i*m. Is m composite?
True
Let o be 2*(-2 + 4)*-2. Let d(t) = 7*t**2 - 4*t + 7. Let b be d(o). Suppose r - b + 110 = 0. Is r a prime number?
False
Let x(y) = 4*y**2 + 2*y + 35. Is x(-24) a composite number?
True
Suppose 0 = -4*n + 3*w + 4742 - 1123, 2698 = 3*n + w. Is n prime?
False
Let k = -5 + 7. Let i be (36/(-2))/((-1377)/(-126) - 11). Suppose 5*m - i = -k*s + 175, -3*m = 5*s - 241. Is m composite?
True
Let m be (106/8)/1 + (-3)/12. Suppose m*c - 2421 = 4*c. Is c a composite number?
False
Let t(k) = -k**2 - 15*k + 18. Let w be t(-17). Let j(x) = -7*x - 23. Is j(w) prime?
True
Is 1/2*(74 + 3824) a prime number?
True
Let s = -107 + 110. Suppose -2*b = b - 3*l - 3516, 3*b = -s*l + 3510. Is b composite?
False
Let v(c) be the first derivative of -c**4/4 + 3*c**3 + 11*c**2/2 - 8*c + 2. Let d be v(10). Is d - (-127 + 0 - -2) a composite number?
False
Let j(u) be the first derivative of -u**5/60 - 7*u**4/24 - u**3/2 - u**2 + 3. Let w(b) be the second derivative of j(b). Is w(-4) a composite number?
True
Suppose -9*t + 8*t + 19 = 0. Let x = t - 11. Is (-2097)/(-6)*x/12 prime?
True
Let y be (132/8)/(9/168). Let z = y + 105. Is z a composite number?
True
Let n = 13596 + -3970. Is n a prime number?
False
Let t be 4 + (-2)/((-2)/(-3)). Is (t/(-1))/((-13)/21073) a prime number?
True
Let c = 7810 - 5477. Is c composite?
False
Suppose 7*j = 3*j + 640. Suppose 2*g = -j + 12. Is g/4*8/(-4) a prime number?
True
Let r = 3651 - 1872. Is r a prime number?
False
Let f(g) = 123*g**3 + 20*g**2 - 3*g - 1. Is f(3) prime?
True
Suppose -a + 12 = 11*c - 7*c, 3 = 2*a + c. Suppose -3*k - 3*n + 99 = 0, -2*k + 82 = -2*n - a*n. Is k a prime number?
True
Suppose -6*p + 12 = -4*p. Let s(b) = 7*b - 9. Is s(p) prime?
False
Is 567/(-54)*27894/(-9) composite?
True
Suppose 8*n - 5*n - 6744 = 0. Let m = 3191 - n. Is m composite?
True
Let c(y) be the second derivative of -7*y**5/10 + y**4/2 - y**2/2 + 27*y. Is c(-4) composite?
False
Let m(u) = u**2 - 2*u + 3. Let s = 49 - 39. Is m(s) composite?
False
Let z be -1 + -4 - -3 - 0. Let b be (-16 - z)*(-2 + -49). Suppose 4 - b = -5*p. Is p prime?
False
Suppose 4 = 2*u + 4*z, -8*z - 6 = -3*u - 3*z. Suppose u*t = -0*t + 1262. Is t a composite number?
False
Let h(b) be the first derivative of -77*b**2/2 + 33*b - 32. Is h(-8) a composite number?
True
Let h be ((-188)/(-5))/(2/30). Let z = 1353 - h. Is z a prime number?
False
Let g = 256 - -949. Let c(k) = 77*k**2 + 2*k + 1. Let d be c(-1). Suppose 0 = 5*n + 15, -2*i + n = -g + d. Is i composite?
False
Suppose 4*m - 9*m - g = -31561, 2*m - 12646 = 5*g. Is m a composite number?
True
Suppose 39*n = 46*n - 8197. Is n prime?
True
Suppose 5*u - 2*u + 4*b - 1874 = 0, -b - 4 = 0. Is (u + -1)/((0 - -1)/1) a prime number?
False
Is (-75606)/(-18) - 6/(-9) a composite number?
False
Let o(r) = -886*r + 331. Is o(-6) a prime number?
True
Suppose -9 = n - 14. Suppose n*y = y + 1636. Is y a composite number?
False
Let f = -1486 + 722. Let z = f - -1233. Is z composite?
True
Let i be (-2)/13 - 619724/(-91). Is (-24)/(-42) - i/(-14) a composite number?
False
Suppose q = 3*q - 8. Suppose 723 = 5*w + 4*k, q*w + 4*k - 98 = 482. Is w a composite number?
True
Let k(o) = 46*o**2 - 129*o**2 + 44*o**2 + 38*o**2 - 5 - 7*o. Suppose -a + 3 = 6. Is k(a) prime?
True
Suppose 0 = 2*g - 4*f - 2, -4*g + 1 + 7 = -4*f. Suppose 2*r + 2*t + 288 - 1432 = 0, 4*t + 1723 = g*r. Suppose 8*p - 11*p = -r. Is p prime?
True
Let c be 88/(-33) + (-2)/(-3). Is 294 - (c - 1)*(2 + -3) a composite number?
True
Let t be (1/3)/(1/(-33)). Let j = 11 + t. Is (j - -1)/((-6)/(-894)) a composite number?
False
Let m = -770 - -1149. Let t = m + -200. Is t composite?
False
Let x = 552 - 3. Let f = 917 - x. Let l = 619 - f. Is l a composite number?
False
Let i(b) = 11*b**2 + 13*b + 1. Is i(-2) a composite number?
False
Let m = -14 + 16. Suppose 0 = -2*t - m*t + 20, -3*s + 5*t = -182. Is s composite?
True
Let g be 6*(-4)/(-8) - -12. Let f be (20/g)/(1/3). Suppose n = f*n - 549. Is n composite?
True
Is 14 + (-17613)/(-9) - (1 + 4) prime?
False
Suppose -109*o + 115*o = 133482. Is o prime?
True
Let f = 10 - 1. Let d = -16 + f. Let r(x) = x**2 + 4. Is r(d) prime?
True
Suppose -5*y - 3523 = -4*o, -4*y + 2577 = 4*o - 919. Let h = o - 620. Is h a composite number?
False
Is 6/(-15) - 38634/(-10) prime?
True
Let b(d) = 1. Let m(p) = -43*p - 18. Let i(w) = b(w) + m(w). Is i(-12) prime?
True
Let r = -17 + 10. Let d = -7 - r. Suppose u - 383 + 132 = d. Is u a prime nu