*b + 562. Let w = t - n. Is w composite?
True
Suppose 3*b + 397 = -d - 231, -d = 2*b + 419. Let x = 377 - b. Suppose -3*t + t + x = 0. Is t a composite number?
False
Let k(c) = 5018*c**2 - 31*c + 92. Is k(3) composite?
False
Let p(h) = 78*h**2 + 3*h - 2. Let m be p(1). Suppose 21*u + m = 20*u. Is (u/(-4))/((-1)/(-4)) composite?
False
Let i(p) = p**2 - 2*p - 20. Let a be i(6). Let g = 4841 + -3256. Suppose a*y = -y + g. Is y a composite number?
False
Let m(j) = 98*j - 11. Let y(u) = u - 1. Let g(b) = m(b) + 2*y(b). Is g(6) composite?
False
Let x(j) = 2*j**3 - 10 - 3*j**3 + 9*j + j**3 - 8*j**2 + j**3. Is x(8) prime?
False
Let r = -7 + 11. Suppose -r*j - 95 = 17. Is (-2)/((-16)/j)*-10 prime?
False
Let u = -539 - -2340. Is u composite?
False
Let a be ((-4)/3)/(10/(-30)). Is (74/a)/((-8)/(-16)) composite?
False
Let v(q) = 676*q**2 + 12*q - 7. Is v(2) composite?
True
Suppose 5*d = 15, 2*d - 24939 = 5*s - 77068. Is s composite?
False
Suppose 0 = -k - 2*k - 9, h - 23 = 3*k. Suppose -7702 = h*j - 30396. Is j prime?
True
Is (-4)/((-16)/7098) + (-3)/6 a prime number?
False
Let h(n) = -54*n**3 - 2*n**2 - 6*n + 5. Is h(-6) a prime number?
True
Let h = 12 - 9. Suppose 0 = 3*z + d - 6*d - 1166, 4*z - h*d = 1573. Is z composite?
False
Suppose -8734 = -138*a + 136*a. Is a composite?
True
Suppose 0*g = 4*g - 8612. Is g a prime number?
True
Let j(p) = p + 1. Let q(y) = -4*y**2 - 11*y + 30. Let s(o) = 4*j(o) - q(o). Is s(11) a composite number?
True
Let b(f) be the second derivative of -3*f**5/8 - f**4/4 + 5*f**3/6 + 2*f. Let k(v) be the second derivative of b(v). Is k(-3) prime?
False
Let o(p) = 226*p - 2. Let t be o(2). Suppose 0 = 2*w + 2*d - t + 156, 5*d = 5*w - 715. Is w a composite number?
True
Suppose 0 = -3*h + 20 - 8. Suppose -5*d + 2*m = h*m - 3759, -2*d + 2*m = -1498. Is d a composite number?
False
Let w be -3 - (4/(-2) + -1). Suppose w = 2*x - 4*z - 76, -3*x + 3*z = x - 137. Suppose 2*g - x - 42 = 0. Is g composite?
False
Suppose -n - 18 = -o + 2*o, -o - 10 = 3*n. Let l = -177 + o. Let w = 348 + l. Is w composite?
False
Suppose 47*t + 2*y = 46*t + 9865, -5*t - 4*y + 49325 = 0. Is t a composite number?
True
Let j = -920 + 1414. Let q = -133 + j. Let k = 770 - q. Is k a composite number?
False
Let o be 691/11 - (-18)/99. Let f = o + -28. Is f composite?
True
Let t be (6/2)/(-7*(-6)/11564). Let o = t - 569. Is o a composite number?
False
Suppose -128 = -0*n + 4*n. Let o be (n/10)/(1/(-410)). Let m = -909 + o. Is m a composite number?
True
Suppose 589 = g + 2*n, 7*n = -2*g + 4*n + 1177. Let v = g + -192. Is v a composite number?
True
Let f be ((-5)/5)/(1/(-1174)). Suppose -5*z - f = -7*z. Is z a composite number?
False
Let z(g) be the third derivative of 41*g**4/12 - 5*g**2. Let a be z(3). Let j = a + -167. Is j composite?
False
Suppose a - 8 = -3*a. Suppose 0 = -a*l - 3*k + 239, -468 = 4*l - 8*l + 4*k. Suppose p + 21 = l. Is p a prime number?
True
Let c be (3*3)/(-1 - -2). Let r = c - 24. Is 211*3*(-5)/r a prime number?
True
Suppose 6*w = 3*w. Let y(z) = 12*z**3 - 11*z**3 - z + 0*z**3 + 6 - z**2. Is y(w) prime?
False
Let c be (-122)/(1/4*-2). Suppose 2*t = -i + 84, c - 41 = 2*i - 3*t. Suppose x = i + 35. Is x a composite number?
True
Suppose 18 = -3*o + 27. Suppose 3*j + 4*k = 3645, 3*j - o*k = -1724 + 5390. Is j a composite number?
True
Suppose -730 = -4*v + 5*w, -3*v - 200 = -4*w - 748. Let s be (-3)/(3 + 0)*v. Let l = s - -343. Is l composite?
False
Let d(t) = 39*t**2 + 29*t - 17. Is d(-9) composite?
True
Suppose -9 = -5*c + 1. Let q(z) = 3 + 2*z + 334*z**c - z - 1. Is q(-1) a prime number?
False
Let s(i) = 6*i**3 + 5*i**2 - 14*i - 29. Is s(8) a prime number?
True
Let l be (-8)/(-28) + 78/21. Is l + (102 + -1)*3 prime?
True
Let q(a) = -68*a + 14. Let s(t) = -34*t + 7. Let b(h) = 6*q(h) - 11*s(h). Suppose -3*z - 22 = j - 7*z, -4*j - 32 = -2*z. Is b(j) prime?
True
Suppose 115*z - 118*z = -116643. Is z a prime number?
False
Let u(k) = 30*k - 26. Let c be u(-8). Let r = c - -589. Is r a prime number?
False
Is 8072/32*((-4)/(-2) - -2) prime?
True
Suppose 2*f - 3471 = -5*k + 6*k, 3*k = 3*f - 5214. Is f prime?
True
Let v be (4*2/4)/2. Let r(g) = g + 204*g**3 - 2 - 2*g**2 + 1 + 8*g**3 + g**2. Is r(v) a composite number?
False
Let t = -69 - -105. Let c = t + -37. Is 25209/54 - c/6 a composite number?
False
Suppose 0*u = 4*u - 3272. Let j = u - 405. Is j prime?
False
Let p = 705 - 247. Suppose 3*v + p = y, 0 = y + 2*y + 4*v - 1322. Is y a prime number?
False
Let s be (-232)/(-48) + 1/6. Suppose 0 = 2*w - 4*h + 254, 0 = -s*w - 2*h - 805 + 146. Let y = w - -186. Is y composite?
True
Let u = 25974 - -412. Let s = u - 15831. Is s composite?
True
Let j be (-207)/(-72) + (-2)/(-16). Suppose 4*w + 84 = w + j*h, h = -5*w - 116. Is (-1)/(-3) - 2176/w a prime number?
False
Let q(p) = 121*p**2 - 5*p + 41. Is q(14) a composite number?
False
Let s = -121 - 11. Let d(i) = 23*i + 1. Let g be d(26). Let b = g + s. Is b prime?
True
Let p be (24/14)/(((-12)/21)/(-4)). Suppose -p*w + 6742 = -10*w. Is w a composite number?
False
Let q = -75034 - -218981. Is q prime?
True
Suppose -1572873 = -56*d + 605695. Is d prime?
True
Let t be (-468)/(-4) + 7 + -4. Suppose -1018 = -2*p - 4*g, 3*p + 2*g = 1395 + t. Is p composite?
False
Suppose -3*r + v + 48 = -8*r, 4*r + 24 = 4*v. Let n be ((-6)/2)/3 - -13. Let f = r + n. Is f a prime number?
True
Let d be (6/18)/((-1)/3). Let b(c) = -2204*c**3 - c**2 + 2*c + 2. Is b(d) composite?
False
Let g = -639 - 866. Let s = 2724 + g. Is s composite?
True
Let d = 14 + 0. Is 385/d*(-6)/(-5) a composite number?
True
Let o be (8/6)/((-4)/822). Let i = o - -465. Is i a composite number?
False
Let h be 3/2*8/(-6). Let i be 1*15/60*(-3 - 1). Is (-321 - h)/(-2 - i) a composite number?
True
Suppose 4*k + 2*k = 12. Let b be ((-5)/5)/(k/284). Let u = 91 - b. Is u composite?
False
Suppose -3*v - 2 - 1 = 0. Is ((-3)/6)/(v/1982) composite?
False
Let n(b) = 6560*b + 1. Is n(2) a composite number?
False
Let v(w) = w**3 - 12*w**2 + 10*w + 14. Let x be v(11). Suppose -x*k = -8*k - 140. Is ((-2761)/44)/(1/k) a prime number?
False
Suppose 4*g = 2*c + 1556, -5*g = c + 181 - 2119. Let o = 7 - 5. Suppose o*t = g + 126. Is t composite?
False
Let o(u) = 2*u + 13. Let g be o(-7). Let d be g + (-3)/(6/(-34)). Let l = d - 6. Is l composite?
True
Is 2/6 - 48346/(-69) prime?
True
Let k(g) = g**2 - 11*g - 8. Let b be k(12). Suppose b*u - 18 = 874. Is u a composite number?
False
Let b(h) be the first derivative of h**3/3 - h**2/2 - h - 33. Let l = 4 - 8. Is b(l) prime?
True
Let q = 17554 + -6924. Let s = 24586 - q. Is (-4)/22 + s/44 a composite number?
False
Is (-57)/(-95) + (-44)/(-10) - -22286 prime?
True
Let o be (-1)/5 + 172986/55. Let g = -1868 + o. Is g prime?
True
Is (-60790)/6*(-60)/100 a prime number?
True
Suppose 3*l = 4*l + 195. Let z = 498 + l. Is z a prime number?
False
Let y(l) = l**3 + 9*l**2 - 2*l - 13. Let c be y(-9). Suppose 20 = 2*a - 5*q, 0 = -c*a + q - 5*q + 17. Suppose 1916 = a*s - 3069. Is s a composite number?
False
Suppose 12 = -4*q + 20. Is q/(-5) - (-2502)/30 prime?
True
Let j = 359 + -66. Is j a prime number?
True
Let y(l) be the second derivative of -1/2*l**4 + 0 + 0*l**3 - 9/2*l**2 + 3*l + 1/5*l**5. Is y(7) a prime number?
True
Suppose -4*d = -3 - 21. Let v be (-2)/3 - (-22)/d. Is v/(-6)*-337*2 a prime number?
True
Suppose 3*y + 12 = 0, 5*l - 3*y - 55079 = 68. Is l a prime number?
True
Suppose 14773 = c + 10*c. Is c prime?
False
Let s be 2/(-7) + (-72)/42. Is (-4)/(-2 + s) + 252 prime?
False
Suppose 9 = a + 4*w, 2*a + 0*w + 2*w = 0. Is 1160 - 6*a/(-18) composite?
True
Let y = 39136 + -18795. Is y a prime number?
True
Suppose -2*j = d - 32 + 9, -2*d + 45 = 5*j. Let l be (-10)/d + (-6868)/(-20). Suppose 1840 = 5*y - 5*x, -2*x + l = 5*y - 1532. Is y a prime number?
True
Let j(f) = -f - 1. Let h(r) = -37*r - 2. Let g(o) = h(o) - 4*j(o). Let c be (-2)/(-2 + 0 - -4). Is g(c) prime?
False
Let m(n) = -n**2 - 5*n - 1. Let y(f) = -f**3 - 5*f**2 + 6*f - 5. Let k be y(-6). Let x be m(k). Is 36*1 - 3/x prime?
False
Suppose 10620 = 3*g - 12306. Is g a composite number?
True
Let f = -15 - -16. Is (251/(-3))/(f/(-9)) a composite number?
True
Let i(y) = 27*y**3 - 14*y**2 - 12*y + 6. Is i(7) a prime number?
False
Suppose -3*g = -3*u + 1422, -4*g - 2195 = -3*u - 772. L