er?
True
Suppose -3939 = -7*s + 56156. Suppose 20*o = 25*o - s. Is o composite?
True
Let z(r) = -7*r**3 + 12*r**2 + 10*r - 18. Let w(l) = 6*l**3 - 11*l**2 - 9*l + 17. Let k = -20 - -24. Let b(o) = k*z(o) + 5*w(o). Is b(6) composite?
False
Is 6312 - (2/(-6))/((-14)/(-42)) a composite number?
True
Let b(s) = s**3 - 8*s**2 + 5*s + 16. Let h be b(7). Let z(y) = -4 - 1 + y**2 + h - y. Is z(14) prime?
True
Let g(i) = 15*i - 88. Let z be g(16). Suppose 2*w = -2*w + z. Is w prime?
False
Let b = 6789 - -718. Is b composite?
False
Let x = 1215 - 623. Let v = x - 341. Is v composite?
False
Let r be (-3 - -3)/3*1/(-1). Suppose 3*z - 1012 - 407 = r. Is z a prime number?
False
Let k(x) = 4*x**2 - 13*x + 8. Let a be k(10). Suppose -5*m + 1233 - a = 0. Is m a prime number?
True
Let g = 497 + 240. Suppose 75 - g = -x. Is x prime?
False
Let r(s) = -69*s + 168*s**2 + 69*s - 1. Is r(-1) a prime number?
True
Let k(t) be the third derivative of -79*t**4/12 - 3*t**3 + 2*t**2. Is k(-4) a prime number?
False
Is 1/(-1)*(-20 - 3881) a prime number?
False
Let j(p) = -3 - 256*p + 10 - 79*p + 2. Is j(-2) composite?
True
Suppose 0 = -64*m + 82*m - 2700990. Is m composite?
True
Let u = -28671 + 40558. Is u composite?
False
Let i(g) = -27 - 18 - 7*g**2 + 2*g**3 + 32 + 15*g. Is i(12) composite?
True
Let w be (-5 - -1)*(-15)/12. Suppose 8*y - 1742 = -w*y. Is y a prime number?
False
Let j = 12 - 7. Suppose 4*m + j*w + 252 = 2049, -3*w + 2243 = 5*m. Let v = 941 - m. Is v composite?
True
Let l(b) = 132*b - 19 + 258*b - 64*b. Is l(3) a composite number?
True
Let f be (-41)/(-2*(-3)/(-42)). Suppose b = -2*b + 9, -f = -2*y + b. Is y a prime number?
False
Suppose 15 = -y + j, 0 = 4*y - 3*j + 8*j + 96. Let k = y + 19. Is k - (-3 - 1 - 231) prime?
False
Let s(c) = 24*c**2 + 6*c + 1. Let h be s(9). Let v = h + -1212. Is v a composite number?
False
Suppose -14*w = -3184 - 876. Suppose 5*j + 2*u + 10 = 33, -3*j - 5*u + 29 = 0. Suppose j*n + 100 = x, n - w = -5*x + 2*x. Is x a composite number?
False
Let p be 18130/8 - (-3)/(-12). Suppose -4*x = -450 - p. Is x composite?
True
Suppose -6*k + 5 = -5*k. Suppose 2*x + k*q - 37 = -2*x, -2*x + 5*q = 19. Suppose -4*d = -3*v - 889, d - 85 - 141 = -x*v. Is d a prime number?
True
Suppose 1570 = 2*x + c - 2*c, 4*x - 3140 = c. Suppose -26*v = -21*v - x. Is v a prime number?
True
Let v = -198906 + 306385. Is v a prime number?
False
Suppose -4*j + 8 = -4, -3*z + 5*j + 3 = 0. Is 97*z/(-2)*42/(-18) prime?
False
Let z(k) = k**3 - 7*k**2 + 3*k - 17. Let m be z(8). Suppose 2*q = m + 5. Is q a prime number?
False
Let i = -42 + 53. Let b = i - -288. Is b a composite number?
True
Let d(i) = -i**3 + 16*i**2 - 14*i - 5. Let v(y) = 4*y**2 - 5*y + 5. Let h be v(2). Is d(h) prime?
False
Suppose 9*c - 12 = 6. Suppose 4889 + 14841 = c*o. Is o a prime number?
False
Suppose -4*u = -121 - 2691. Is u a composite number?
True
Is 291/(-6*(-1)/10) a composite number?
True
Let t(f) = 16*f**3 + 4*f**2 - 17*f + 4. Is t(5) prime?
False
Let z(i) = 5*i. Suppose 8 = -2*n - 2*k, 2*k - 7 + 19 = 2*n. Let y be z(n). Suppose 0 = -y*d + 5606 + 249. Is d composite?
False
Let x(k) be the second derivative of 255*k**3/2 + 7*k**2/2 + 5*k. Let a be x(-3). Is a/(-9) + (-2)/9 a composite number?
True
Let x(r) = 2*r**3 + 3*r**2 + 2*r**2 - r - 7*r**2 - r**3 - 1. Let b be x(-2). Let g(z) = -13*z + 22. Is g(b) a composite number?
True
Is (-1)/9 + ((-561760)/18)/(-8) prime?
False
Let w = 145487 + -39544. Is w composite?
False
Let t(r) = 57*r + 4. Is t(19) a prime number?
True
Let w(i) = -145*i**3 + i**2 + i + 1. Is w(-2) a composite number?
False
Let y(z) = 115*z + 109. Is y(16) a prime number?
True
Suppose 0 = 9*a - 20536 - 40421. Is a prime?
False
Suppose 0 = p + 2*y - 1517, -5*p = -y - 8173 + 577. Suppose 546 = 2*n - 4*s, -5*n + 4*s = -p + 166. Is n composite?
False
Let l be (5 + (-1104)/30)/((-2)/10). Let c be (4762/(-8))/(1/(-4)). Suppose -4*h + l = -c. Is h prime?
False
Let n(z) = 7666*z**3. Let d be n(-1). Is (-11)/88 + d/(-16) prime?
True
Let g(v) = -132*v + 145. Is g(-47) prime?
False
Let q = 19407 + -13483. Suppose 0*y + q = 4*y. Is y prime?
True
Suppose 2*p = -2, -g + 6*g - 5*p = 10270. Is g composite?
False
Let t(f) = 4626*f**2 - 4*f - 9. Is t(-2) a prime number?
True
Let o = -55 + 78. Let h = o + -20. Suppose -z + 8 = -h*z, 5*r - z = 3419. Is r composite?
False
Suppose -a + 1 = -0*a. Suppose -3*p = -4*j - a, -3*j - 5*p = -8 - 13. Suppose 0 = j*i + t - 430, 5*t = i + 3*t - 210. Is i composite?
True
Suppose -3*k = -x - 10, -x = -4*k - 8 + 23. Suppose -2*p - 3*p + 3*j = -940, 598 = 3*p + k*j. Is p a composite number?
False
Let s = -557 - -1606. Is s prime?
True
Let y be 6174/36*4/2. Suppose 4*h - y = 37. Is h a composite number?
True
Let o be (-2 - (-87)/6)*2. Let w be 12/15*o/10. Is (-237)/(w*3/(-4)) a prime number?
False
Let k be 3/(-2)*(11 - 15). Suppose d = -3*o + k - 16, 20 = 2*d - 4*o. Suppose 0*w + w + d*x = 441, -5*x = 2*w - 877. Is w a composite number?
True
Is (-4 + (-191)/(-2))*(-894)/(-9) prime?
False
Suppose 165*d - 160*d = 50285. Is d composite?
True
Suppose -4*s + 4*a + 1808 + 408 = 0, -a = -2*s + 1112. Let q = -287 + s. Is q a composite number?
False
Let h(g) = -247*g**2 + 3. Let t be h(2). Let r be 6958/5 + 6/15. Let y = t + r. Is y a composite number?
True
Let s = -111 - -115. Suppose 2*w + 3*c - 3091 = -2*w, s*w - c - 3071 = 0. Is w a composite number?
False
Suppose 28710 = 2*k + 3*w, 0 = -3*w + 15 - 3. Is k a prime number?
False
Let v = 5596 + -1697. Is v composite?
True
Let t(z) = z + 3. Let i be t(-3). Suppose i = 2*k - 2*b - 162, 0 = -5*k - 4*b + 2*b + 426. Let m = 181 - k. Is m prime?
True
Suppose -21*h + 31899 = -18*h. Suppose h = 10*u - 16437. Is u a prime number?
True
Let p(l) = -307*l + 50. Is p(-3) a prime number?
True
Let u(o) = 3*o - 5. Let j be u(3). Suppose 6*c - 2*c = 4*q + 8, -12 = -5*c + j*q. Suppose 446 = c*f + 106. Is f composite?
True
Suppose -3*y - 13 = 5*v - 0*y, 5*y + 5 = 0. Let b(a) = 4*a + 4. Let g be b(v). Is 468 + (g - (0 - 3)) prime?
True
Let h = 82425 - 50548. Is h prime?
False
Suppose -2997 = -5*u - 502. Suppose -4*s + 2*s = -5*a - u, 5 = a. Is s a composite number?
True
Let k = -35386 + 53237. Is k composite?
False
Suppose z + 16 = 2*f - 0*z, -z = -4. Let j(y) = -y**3 + 9*y**2 + 2*y - 8. Let p be j(f). Let g = 150 + p. Is g a prime number?
False
Suppose o = 13 - 9. Suppose 3*h + o*t = 5*h - 598, 1495 = 5*h + 2*t. Is h a prime number?
False
Suppose z + 0*z - 2*o = -447, 909 = -2*z - o. Let h = z - -1730. Is h prime?
True
Let w = -42 - -46. Suppose -2*v + w*a - 7*a = -3049, 3*v - 4574 = -5*a. Is v a composite number?
False
Let t(w) = w**3 + 17*w**2 - 18*w + 5. Let x be t(-18). Is (x/5)/((-2)/(-298)) a composite number?
False
Let o(k) = 3*k**2 + 4*k - 3 + 5*k**3 + k**2 - 6*k**2. Let j = 2 + 0. Is o(j) a composite number?
False
Let t be (44/(-24) + 1)*-6. Suppose -1022 = -t*z + 143. Is z a prime number?
True
Suppose 1358 = 3*x - 2*x. Suppose 2*h = -2*n + x, 1358 = 2*n - 0*h - 3*h. Is n a prime number?
False
Let i(m) = m**3 - 9*m**2 + 10*m - 23. Let k be i(8). Let t(j) = 38*j**2 + 7*j - 12. Is t(k) a prime number?
True
Let a be 9036/42 - (-1)/(-7). Let h = -72 + a. Let m = h + -69. Is m a prime number?
False
Let k(f) be the second derivative of -f**3/3 - 3*f**2/2 + 5*f. Let g be k(-4). Suppose g*w = 2*c - 383, 5*w - 12 = 3. Is c prime?
True
Is (-3)/((-6)/(-22))*2/(-1) a prime number?
False
Let d(i) = 145*i + 98. Let q(m) = -218*m - 147. Let g(o) = -8*d(o) - 5*q(o). Is g(-5) a prime number?
False
Let t be 0 - (1 + -1 - 3). Let x(a) = a**2 + 17*a + 64. Let c be x(-13). Suppose -5*f + c = -t. Is f composite?
False
Suppose 84*g - 86*g + 181174 = 0. Is g a prime number?
False
Let r(y) = -y**2 - 3*y + 8. Let b be r(-7). Let n(c) = -19*c + 15. Is n(b) composite?
True
Let q(m) = -49*m**2 + 5*m + 5. Let o(s) = -24*s**2 + 3*s + 3. Let j(v) = 7*o(v) - 4*q(v). Suppose f = 1 - 3. Is j(f) composite?
True
Suppose 2*y + 5 = 3*i + y, y - 19 = -5*i. Suppose q - i*q + 230 = 0. Is q a composite number?
True
Is ((-46263)/7)/(5/(-5)) prime?
False
Let d(m) = -m**2 + 2*m + 4703. Is d(0) composite?
False
Suppose 7*w - 6*w + 145 = 0. Let g = -18 - w. Is g composite?
False
Suppose -3*c - 3 = 2*u - 2, -5*u + c + 23 = 0. Suppose 472 = u*f - v, -297 - 183 = -4*f - v. Is 