)/7 + (-114)/42. Let o(y) = -3*y**3 - 16*y**2 + 6*y + 13. Let g(x) = h*o(x) - 8*m(x). Is g(-6) composite?
True
Suppose -13*f = -8*f - 6270. Let b = f - 785. Is b prime?
False
Suppose -127528 = -10*q + 45382. Is q a composite number?
False
Let o = 20525 + -11868. Is o composite?
True
Let o(d) = 22*d**3 + 3*d**2 - 8*d - 16. Is o(7) a composite number?
False
Let r = -6624 + 10763. Is r a composite number?
False
Suppose 2*z = 5*r - 4, -2*r = -r - 2*z - 4. Is r/(-4) - 3 - -1136 a prime number?
False
Let x = 16 - 18. Is ((-1)/x + 0)/((-10)/(-7460)) prime?
True
Let w(t) = 375*t**2 - 5*t + 31. Is w(-6) prime?
False
Let k(y) = -2729*y + 248. Is k(-6) a composite number?
True
Let u be (-378)/(-91) - 2/13. Suppose 0 = -0*p + u*p + 12. Is (-137)/2*(-7 + p) a composite number?
True
Is (-7249)/((-1)/1)*(29 - 28) a prime number?
False
Suppose -f = -3*g + 4*f + 1908, 3*f = -g + 622. Is g a composite number?
False
Let o(j) = -84*j + 162. Let k be o(-8). Suppose 0 = -2*q - 5*z + 23, 3*q = 4*z - 0*z. Suppose q*l = 314 + k. Is l prime?
False
Let h = 3 - -7. Let o be 4722/10 - 2/h. Suppose 0 = -3*f - f + o. Is f prime?
False
Let v(w) be the first derivative of 20*w**3/3 - w**2 + 6*w - 6. Let c be v(7). Suppose 192 = 4*n - c. Is n a composite number?
True
Let f be (-2 - 1)/((-6)/50). Let b = 21 - f. Is (-970)/(-8) - b/(-16) a composite number?
True
Let p be (-2508)/(-5) + 38/95. Suppose -p = -3*o + 2*o. Is o composite?
True
Let z(y) = 3*y. Let o be z(2). Suppose 0 = -5*a + 1 - o. Let f = 120 + a. Is f prime?
False
Suppose 0 = -7*b + 10*b - 15. Suppose 4*y - 8 - 8 = 0, y = -b*s + 269. Is s a composite number?
False
Let v(p) = 15*p**2 - 137*p + 86. Is v(39) composite?
True
Let h(g) = g**3 - 2*g**2 + 5*g + 5. Let x = 4 + -1. Let j(w) = w**3 - w**2 - 3*w - 3. Let p be j(x). Is h(p) prime?
True
Let o be ((-15)/6 - -2)*(-4 + 4). Suppose -3*w - 2*p + 709 = o, w - 4*p = -3*w + 932. Is w composite?
True
Let s = 2190 + -960. Suppose -s = -5*c - 5*m, 4*c + 5*m - 519 - 460 = 0. Is c composite?
False
Let b = 53 + -26. Let d = b + -27. Suppose d = -13*s + 16*s - 285. Is s prime?
False
Let q(l) = -l**2 - 13*l - 38. Let z be q(-7). Let a(k) = 22*k**2 - 12*k + 3. Let r be a(8). Suppose -r = -z*o - o. Is o composite?
False
Let s be (-107)/(-4) - (-6)/(-8). Suppose -p + 985 = s. Is p a prime number?
False
Let g = 6232 + -2687. Suppose g - 801 = 4*c - x, 3*c + 2*x = 2047. Is c a prime number?
False
Suppose 3*z - h - 8 = 2*z, 4*z + 4*h = 0. Is (-1082)/(-1)*(1 + 2/z) composite?
True
Suppose 3*w = 3*s + 9966, -4*s - 9931 = -3*w - 8*s. Is w prime?
False
Is 4456/34 + (-9)/153 a prime number?
True
Let i(w) = -7*w**3 + 17*w**2 - 24*w + 12. Let y(a) = 3*a**3 - 8*a**2 + 12*a - 6. Let z(l) = 2*i(l) + 5*y(l). Let s be z(8). Is 1*2/4*s composite?
False
Suppose m + 4*c - 15 = 4*m, -4*c = -4*m - 16. Let t(r) = -2*r + 2. Let o be t(m). Suppose 423 = 3*s + 2*v, -4*s + 615 = o*v + 55. Is s composite?
True
Let i(y) = 47*y + 23. Let s(j) = -48*j - 22. Let q(b) = -3*i(b) - 4*s(b). Is q(12) composite?
False
Let i be (-252)/(-30)*(-10)/(-3). Let r = i + -30. Is (5862/(-4))/(3/r) composite?
False
Let o(h) = h + 21 + 5*h + h**2 + 13 - 27. Is o(-8) prime?
True
Let q = 2 + -2. Suppose -27*o + 35 = -20*o. Suppose -o*a + 6*a - 785 = q. Is a prime?
False
Let h(s) = -329*s**3 + 3*s**2 - 8*s + 3. Is h(-6) composite?
True
Suppose -3*k = 2*q - k + 2, 4*q + k - 5 = 0. Is (q + (-28)/(-12))*39 prime?
False
Let b = -37249 - -52796. Is b composite?
True
Let r(w) be the second derivative of 0 + 3*w**3 + 1/2*w**2 - w. Is r(5) composite?
True
Suppose -4*g = -7*g - 21. Let y(j) = 10*j**2 + 4*j + 17. Is y(g) composite?
False
Suppose 0 = 12*b + 7*b - 89851. Is b a composite number?
False
Suppose -858*l - 50035 = -863*l. Is l a composite number?
False
Suppose 36*w = 32*w. Suppose w*f + 2915 = 5*f. Is f composite?
True
Suppose -7 = -3*t + 20. Let v(g) = g + 10. Let i be v(-7). Suppose -i*x = -t*x + 222. Is x a prime number?
True
Suppose -19*r = -22*r + 25290. Suppose 3*t - 2373 - r = 0. Is t composite?
True
Let o be 4/(48/1731) + (-1)/4. Suppose z - o = 47. Is z composite?
False
Let d(f) = -f**2 - 7*f. Let x be d(-7). Is (2 + x)/(6/1233) prime?
False
Let g = -9104 - -18835. Is g composite?
True
Let m(v) = 2*v - 1. Let g be m(2). Suppose 5*h = -5*d + 10, -g*h - 10 = -2*d + 4. Suppose -411 = d*q - 2*t - 2033, -826 = -2*q - 4*t. Is q composite?
True
Let d = 4 - 5. Let s be -4*d/(-2) + -8. Is (-64)/s + (-4)/10 a prime number?
False
Let q(m) = 528*m + 2. Let n be q(2). Let c be (-5)/(5 + 26/(-5)). Is (-15)/c - n/(-5) prime?
True
Suppose 0*w + 5*k + 86 = 3*w, 3*k = 2*w - 57. Suppose -w = 6*p - 9. Let t(j) = -27*j - 10. Is t(p) a prime number?
True
Suppose 2*k - 3*z + 1345 = 15333, -3*k = -z - 20989. Is k prime?
True
Let x(z) = 393*z + 47. Let i(s) = 196*s + 23. Let r(v) = -11*i(v) + 6*x(v). Is r(5) prime?
True
Suppose -6*h = -2*u - 4*h, u + 16 = 5*h. Is (368 - 0) + (u - (0 - -5)) a prime number?
True
Let m(y) = -y - 3. Let q be m(-1). Is (5118/12)/(q - 5/(-2)) composite?
False
Let f = 1767 - 946. Is f a composite number?
False
Let g(a) = -6 + 4 + 321*a + 60*a. Is g(1) a prime number?
True
Suppose -2*v - 1822233 = -23*v. Is v composite?
True
Let c be 14/77 + (-238)/(-22). Suppose 25 = m + c. Is m composite?
True
Let l(j) = j**3 + 18*j**2 + 18*j + 28. Let s be l(-16). Let a = 655 - s. Is a a prime number?
False
Suppose 0 = 3*i + 12*r - 11*r - 48352, -r + 32235 = 2*i. Is i a prime number?
False
Let t be 5 + 2*(-3)/6. Suppose 0 = -h - t*h + 70. Let r = h - -39. Is r a prime number?
True
Let k(j) = 232*j - 74*j - 65*j + 258*j + 20. Is k(3) composite?
True
Let i = -419 + 184. Let q = i + 972. Is q prime?
False
Let p(x) = -8321*x - 70. Is p(-4) composite?
True
Suppose 0 = -37*t + 39*t - 68. Is t a composite number?
True
Let d = 14 - 12. Suppose 2003 - 249 = d*b. Let y = b + -132. Is y a prime number?
False
Suppose 0 = -2*i - y + 20859, 52145 = -55*i + 60*i + 2*y. Is i composite?
False
Is 3967*(1 - 0)*1 prime?
True
Let j = -6 - -6. Suppose -3*s + g - 7 = j, 4*g - 2*g - 8 = 4*s. Is s*((-213)/9 + -4) prime?
True
Let h be -1 - -1 - 154/7. Let p be 55517/121 - 4/h. Suppose -5*b - 427 = -3*w, 3*w + 3*b = -0*w + p. Is w composite?
False
Let c(s) = -887*s**3 - 4*s + 885*s**3 - 18 + 1 - 20*s**2. Is c(-13) a composite number?
False
Let h = -7 + 13. Suppose -5*g = -5*r - 735, -5*g - 2*r + 730 = -h*r. Is g composite?
True
Let n be (-9)/(-3) + -3 + 213. Suppose -s + 4*t = 2*s - n, 3*s - 5*t = 210. Suppose -z = 2*c - s, -c = -z + 3*c + 87. Is z composite?
False
Let c(t) be the second derivative of -1/20*t**5 + 1/3*t**3 + 3*t + 3/2*t**4 - 17/2*t**2 + 0. Is c(18) a prime number?
True
Let i = 4 + -9. Let y(t) = 15*t + 30. Let x(d) = -d - 1. Let a(p) = 25*x(p) + y(p). Is a(i) prime?
False
Suppose -2*f - 2*z + 26412 = 442, -3*f + 38927 = -4*z. Is f a composite number?
True
Let t(q) = 104*q + 293. Is t(42) composite?
True
Suppose 11 + 14 = 5*n. Suppose -n*f + 460 = -u, -u - 202 = -2*f + 3*u. Is f prime?
False
Let p be 6/((-18)/15)*-2. Let z(h) = 3*h**2 + h - 3. Is z(p) composite?
False
Is 0 + (5 - 5) + (6401 - -2) composite?
True
Let t(f) = -1609*f - 261. Is t(-7) a prime number?
False
Let f = -4410 - -16591. Is f composite?
True
Let q = -27 - -21. Let o be (q/15)/(1/30). Is 18/o*(-106)/3 composite?
False
Suppose 2*s = d - 7, -s - 6 = -4*d + 29. Suppose -d = 3*i, 153 = q + 2*q - 3*i. Let k = 23 + q. Is k a composite number?
False
Suppose 0 = 4*q - 4*i - 16, 0*q + 5*q = -2*i + 55. Let h = 12 - q. Suppose -h*t + 1115 = 2*t. Is t composite?
False
Let b = -1638 - -3289. Is b composite?
True
Let a be 180/22 - 2/11. Suppose 2*i - 6 = a. Is 2 + 1 + i*58 a prime number?
True
Let c be 2/1*((-30)/(-12) - 1). Suppose 0 = -2*x + m + 718, 0 = -c*x - 2*m + 816 + 254. Is x a prime number?
False
Let j be -3 + 2 - 0 - -9. Let v(q) = 2 - 4 - 17*q + j. Is v(-8) a composite number?
True
Suppose -5*z = -5*p + 3835, 0 = -2*p - 4*z + z + 1544. Is p a composite number?
False
Suppose -l = 5*k - 0 - 21, 5*k + 6*l - 1 = 0. Suppose -4*w = -3*r + 212, -3*r = -0*w + 2*w + 88. Is (-6930)/w + 2/k a prime number?
True
Let p(s) be the third derivative of 3/20*s**5 - 1/3*s**3 + 0 + 0*s - 1/8*s**4 - 7*s**2. Is p(-1) a prime number?
False
Let f(k) = 29*k + 6. Let w(t) = -t - 1. Let v(g) = -f(g