posite number?
True
Suppose 4*t + 1415 - 7531 = 0. Let c = t - 388. Is c a composite number?
True
Let x(c) = -4880*c**3 - 3*c - 6. Let k be x(-2). Let i = -20157 + k. Is i prime?
False
Let x = -111 + 96. Let b(t) = -481*t - 82. Is b(x) a composite number?
True
Suppose 0 = 2*g - 15*d + 14*d - 4221, -4*d + 10559 = 5*g. Suppose k - 2*n - 842 = -k, -n = 5*k - g. Is k a prime number?
False
Let n(y) = y**3 + 13*y**2 + 17*y - 52. Let i be n(-11). Suppose c - 5*p = 742, i*p - 2280 = 29*c - 32*c. Is c prime?
True
Let h = 3377788 + -1895189. Is h composite?
False
Is (-19)/(609/87 + 5972/(-853)) composite?
True
Suppose 3*v - 215 = -v - 5*j, -5*v + 280 = 4*j. Is 3598*-5*(-6)/v prime?
False
Suppose 1016*o - 1057*o = -31363729. Is o a composite number?
False
Suppose -154 = 13*v - 2*v. Is 0 + v/(-49) + (-15657)/(-7) composite?
False
Suppose 9*t - 67265 = 20800. Suppose t = 11*w - 4361. Is w prime?
False
Let c(j) = -22941*j - 2005. Is c(-78) composite?
False
Let s be 2/(-8) - (-52)/16. Let y(f) = -3*f**s - 10*f**2 + 4*f**3 - 386*f - 28 + 366*f. Is y(15) prime?
True
Let w = 8730 - 1580. Let q(l) = 2*l**2 - 5*l + 2. Let j be q(3). Suppose 0 = -j*m + 5515 + w. Is m a composite number?
True
Suppose 326*a - 323*a = -1899. Let i = 3110 + -2032. Let j = i + a. Is j a composite number?
True
Suppose 5*k + 2256 - 11326 = 0. Let h(g) = -962*g - 1. Let d be h(4). Let n = k - d. Is n a composite number?
True
Let m(g) = 7*g + 10. Let z be m(9). Let o(y) = -z*y - 47*y + 40*y - 9 - 36*y. Is o(-10) prime?
True
Let n(r) = -3 - r**3 + 11 + 5 - 16*r - 5*r**2. Is n(-18) a prime number?
True
Let p(b) = 5*b**2 + 29*b + 55. Suppose 0 = -d + 2*k + 29, 0*k - 34 = -d + 3*k. Is p(d) a composite number?
False
Suppose 23*i = -34*i - 43*i + 39440300. Is i a composite number?
True
Suppose 4*y = 5*k - 29849, 4*k - 20*y = -15*y + 23872. Let v = -2702 + k. Is v a composite number?
False
Let w be 3928/(-24)*-33 + -7. Suppose 6*z - w = 39468. Is z a prime number?
True
Let a(w) = -9*w + 27*w - 16*w**2 - 59 - 12*w + 2*w**3. Is a(13) a composite number?
False
Suppose -2*f = -9*y + 4687014 + 2724935, f = -y + 823556. Is y a prime number?
False
Let b be (-4)/(-2 - -6) - -15. Let n(w) = 17 - 6 - 19*w - b. Is n(-8) a prime number?
True
Suppose -30842 = 107*h - 121*h. Suppose 5*i = 20658 - h. Is i composite?
False
Let j(y) be the second derivative of y**6/120 + y**5/5 + y**4/12 - y**3 + 16*y**2 - 14*y. Let i(n) be the first derivative of j(n). Is i(-5) a prime number?
False
Suppose -3*d - 53 + 167 = 0. Let m = d + 49. Is m composite?
True
Suppose 9 = 9*o - 18. Suppose -g - 4*g + o*h = -7841, -2*h = 4*g - 6264. Is g composite?
False
Let w be 14/(-7) + -1 + -32. Let l = w + 29. Is (-39)/26*2524/l a prime number?
True
Let o = -1260 + 798. Let c = o - -9205. Is c composite?
True
Suppose 0 = 28*w - 22 - 34. Suppose w*p = 4*z + 68258, 4*p + 91188 = 2*z + 227686. Is p a composite number?
False
Suppose -3*t + 10*t - 21 = 0. Suppose -5*q + 5041 = -3*l, -t*q - 1491 = -3*l - 4518. Is q a composite number?
True
Let v(t) = 769*t - 60. Let o be v(-3). Let p = o - -12232. Is p a prime number?
False
Let p(o) be the first derivative of 13209*o**2/2 + 14*o - 129. Is p(1) a composite number?
True
Suppose -11*n = 12855 - 4627. Let u = 2523 - n. Is u a composite number?
False
Let a be -10*(-5 - 45/(-10)). Let v be (-2 + 2)/(a/5 + 1). Suppose 2*c + 38 - 392 = v. Is c a composite number?
True
Let s be (3*(-8)/(-36))/((-6)/(-9)). Let c be s*7393/1 + 1. Suppose -2*w - 4*o + 3706 = 0, 0*w - 4*w - 2*o = -c. Is w a composite number?
False
Let a be 11/((-12)/(-8)*(-3)/(-9)). Suppose -a*b + 31*b = 79749. Is b a prime number?
True
Suppose 102*k + 555002 - 5166252 = 1495184. Is k a prime number?
False
Suppose -2*k = 12*k + 104*k - 1339418. Is k a composite number?
False
Let f(z) = -167 - 193*z + 8 + 61. Is f(-9) composite?
True
Suppose -459252 = -3*p - 5*h, 3*p - 459252 = -4*h + h. Suppose 16*w = 4*w + p. Is w a composite number?
False
Let w(l) = 3*l**3 + 41*l**2 + 311*l + 4. Is w(45) composite?
False
Let c(x) = x**2 + 12*x + 31. Let h be c(-9). Let d(z) = -h*z**2 - 7*z**2 + 1178 + z**3 + 12*z**2 + 293. Is d(0) a composite number?
False
Suppose 0*t = -5*t + 3115. Suppose 0 = -14*z + 7945 - t. Is z composite?
False
Let x = 4061 + -1808. Let i = -1412 + x. Let j = i - 12. Is j a composite number?
False
Let t = 381283 + 24634. Is t a prime number?
True
Let a(x) = 138*x**2 + 18*x + 125. Is a(-6) a composite number?
True
Let c(j) = 37*j + 3. Let x be c(5). Suppose 4*g = 2344 + x. Suppose r - g = -3*t, 4*t - r - 844 = -2*r. Is t a prime number?
True
Let n(y) = 8*y**2 - 7*y + y**2 + 13 - 8*y**2. Let s be n(7). Suppose s*o - 17487 = 12842. Is o composite?
False
Let x = 1266931 - 410220. Is x prime?
True
Suppose -85*i + 29*i + 47342542 = -30*i. Is i a composite number?
True
Let x(s) = -1204*s - 6297. Is x(-20) a composite number?
False
Let b(o) = -5*o**3 - 17*o**2 + 11*o - 26. Let w(s) = -9*s**3 - 35*s**2 + 23*s - 51. Let c(j) = 7*b(j) - 4*w(j). Is c(9) a composite number?
True
Let j be 15/(-20) + 1 + (-6)/(-8). Is 1 + j - 2 - (5 - 558) a prime number?
False
Let j be 5222/3 + -3 + (-20)/(-6). Let i = -13 + 14. Suppose f - j = w, -w - 3 + i = 0. Is f a composite number?
True
Suppose -291856 = -2*n + 5*w, n - 11*w = -10*w + 145919. Is n prime?
False
Let o(a) = -a**2 - 18*a + 118. Let k be o(-23). Suppose -5*m - 747 = -f, k*f + 0*m = m + 2213. Is f prime?
False
Let r(j) = -2*j + 20. Let w be r(9). Suppose -w = o, 2*l + 3*l - 4*o = 23. Suppose 385 = l*n - 368. Is n prime?
True
Let u(j) = -314*j + 669029. Is u(0) a composite number?
False
Let n be (-13 + -14)/((-3)/4). Let m = n - 39. Is (m - (3 - 5)) + 6*186 composite?
True
Let a(t) = 14*t**3 - 9*t**2 + 12*t + 51. Let g(j) = 17*j**3 - 9*j**2 + 13*j + 54. Let l(s) = -6*a(s) + 5*g(s). Suppose -23 = -5*r + 32. Is l(r) composite?
True
Suppose -5*z - 126 = -q, -4*z + 2*z - 48 = 2*q. Let d be (-1 - z/3)*(20 + -5). Let x = 333 - d. Is x prime?
True
Is (-508)/(-889) + 3056990/14 a prime number?
True
Suppose 6*t - 3*t + 1130 = -5*g, 0 = -4*g - t - 897. Let x(n) = 42*n + 204. Let p be x(-13). Let z = g - p. Is z prime?
False
Let j be 6 + -2 + 3 + 15. Suppose -30*x = -j*x - 80488. Is x a prime number?
True
Suppose 12 = -y - 3*d, 4*d + 13 = -3*y - 3. Suppose 14*c - 3*a - 2030 = 12*c, 2*c + a - 2014 = y. Is c prime?
True
Let q(c) = 246*c**3 + 7*c**2 + 3*c - 51. Is q(7) a prime number?
True
Let u(f) = -11278*f - 12429. Is u(-111) a prime number?
False
Suppose 4*u = -4*q + 218420, 2*u - 3*u + 54623 = -2*q. Is u composite?
True
Suppose 5*c = -2*g + 707, 2*c + 2*c - 567 = -3*g. Let p(x) = x**3 - 3*x**2 - 23*x + 306. Let i be p(0). Let k = i + c. Is k composite?
True
Suppose n - 28 = -5*y - 1, -5*y + 25 = 0. Suppose -n*d - 10*d = -105348. Is d composite?
False
Let j(t) = 739*t**3 - 18*t**2 - 21*t + 35. Is j(11) prime?
False
Suppose -2*k = -5*b - 71062, 40*b - 38*b + 71050 = 2*k. Is k a composite number?
False
Let m(t) = 2*t**3 - 8*t**2 + t + 13. Suppose 3*a = -98 + 101. Let q be -4 + a/3 + 116/12. Is m(q) a prime number?
True
Let k(r) = -17722*r + 347. Is k(-3) composite?
True
Let n(k) = 2129*k**2 + 5*k - 5. Let r = -211 - -212. Is n(r) prime?
True
Let b(d) = -31*d**3 + 14*d**2 + 187*d + 2193. Is b(-14) a prime number?
True
Suppose -3*w + 2995 - 523 = -5*n, 0 = -2*n + w - 989. Suppose 3*v - 296 = -1172. Let x = v - n. Is x a composite number?
True
Let h = 159 + -89. Is ((-70)/h)/(-2 + (-43610)/(-21806)) a composite number?
False
Let y be 5/20 + 15/4. Let w(b) = -1142*b - 78. Let r be w(-7). Suppose -r = -8*d + y*d. Is d a composite number?
False
Suppose -c = -2*p + 4, -4*c - 16 + 21 = -p. Let y(n) = -n**2 + 5*n - 4. Let o be y(5). Is ((112/(-12))/o)/(c/1542) composite?
True
Let n = 146 + -148. Is (-296)/(-12)*n/8*-222 composite?
True
Let g(u) = u**2 - 8*u + 17. Suppose -4 = -4*q - 3*d + 16, -25 = -5*q - 5*d. Let h be g(q). Is 1/((-2086)/(-6195) + h/(-6)) a composite number?
True
Suppose -2*v = -0*v - 684. Let b = 1136 + v. Is b prime?
False
Let l(z) = 156*z + 2. Suppose -4*x + 74 = 26. Suppose 17*g = x*g + 10. Is l(g) a composite number?
True
Let o be 1 + 14 - 1 - -5. Suppose o*b = 43776 + 283613. Is b prime?
True
Let j = 338445 - 58934. Is j a composite number?
False
Suppose 2*j + 4 = 8. Let y = 11 - j. Let i