be the first derivative of 11*m**3 + m**2/2 - 3*m + 2. Is x(h) prime?
True
Suppose -3*h + 2*a = -646189 + 136830, 4*a + 169763 = h. Is h prime?
False
Let d = -63 - -66. Suppose -2*f - 145 = -d*f. Is f a composite number?
True
Let w = -21089 + 181222. Is w prime?
False
Let k = 199910 + 9967. Is k composite?
True
Is (6/((-60)/58))/(-1*(-5)/(-722725)) composite?
True
Let d be (-10)/35 + (-74)/(-14). Suppose -316 - 1809 = -d*a. Suppose 4*i - a = -141. Is i a composite number?
False
Let i be 2806 - 1/(4/(-4)). Suppose -k - k = m - 1403, i = 4*k + 3*m. Suppose -2*y = 4*q - 1422, 2*q + k = y + 6*q. Is y a prime number?
False
Let s = 30 + -25. Suppose s*c - 310 = -0*c. Suppose -2*u - 5*t = -139, -u + 5*t = -0*u - c. Is u prime?
True
Let l be 2*-1*520/16. Let r = l - -66. Is 2 + (-3 - 0) + (r - -583) a composite number?
True
Let v = -774975 - -1686726. Is v a prime number?
False
Suppose 0 = 2*s + 2*u - 230432 + 30182, -4*s + 400540 = -6*u. Is s composite?
False
Let p(i) = 3664*i - 61. Let l be p(4). Suppose -3*m + 4*s + l = s, -3*m - 2*s + 14575 = 0. Is m composite?
False
Suppose -3*i = -0*i - 48. Suppose 4*z = i, 29*m - 2*z + 24150 = 31*m. Is m a prime number?
True
Suppose 12*r - 250302 = -r. Let d = 10805 + r. Is d composite?
False
Suppose 5*u + 673 = b, 2*u - b + 129 = -142. Let r = 133 + u. Is (12022/(-2))/(-1 - (1 + r)) a prime number?
True
Suppose -2*a + 8*a - 18 = 0. Suppose 0 = 4*p + 6*w - w - 47797, -a*p + 2*w + 35865 = 0. Is p a prime number?
True
Let o = 17217 + -5775. Suppose -2*q + 4*f + o = 0, -q - 5*f = -4608 - 1148. Is q composite?
True
Let o(y) = -10*y**3 + 35*y**2 - 16*y + 13. Let g be o(8). Let d = g + 4774. Is d a composite number?
True
Let w(y) = 28*y + 30*y - 37 - 79*y - 11*y**2 + 234*y**2. Is w(-6) composite?
False
Let o = -1006 - 507. Let n = o - -7758. Suppose 0 = 3*h - n + 110. Is h a prime number?
False
Let x = -100977 - -157534. Suppose 0 = -14*n - 9*n + x. Is n composite?
False
Is 192216/116 - 19/551 a prime number?
True
Suppose -5*x + 3*d = -61, -4*d - 17 + 9 = 0. Suppose w + 4*w = -5*v - 65, 2*v = 3*w - x. Is (-3 - v)*319 - -1 a composite number?
True
Suppose -4*u + 2*i + 3230 = 0, -4*i + 1096 = 3*u - 1299. Suppose f + 3240 = 4*g, g - u = -0*g - f. Is g composite?
False
Let g = -303097 - -606056. Is g prime?
True
Let a(b) = -13*b + 15. Let v be a(2). Let i = v - -15. Is 6/i*(-8402)/(-3) prime?
True
Suppose 73*z - 1183 = 2254590. Is z a composite number?
True
Suppose -13*g + 76 = 6*g. Suppose 3*i = -2*f + 237 + g, -f = 2*i - 120. Is f composite?
True
Let p(t) = -15 - 10*t + 76 + 138*t. Is p(17) composite?
False
Suppose -4*j + 2*t = 2, -j - j - t + 9 = 0. Let h(l) = 13*l + l**3 - 11 + 7*l**j + 19*l - 26*l. Is h(6) a composite number?
True
Let p = 238118 - 23701. Is p a composite number?
True
Suppose -4*c = 3*m - 23, 0 = -0*c - 2*c - 5*m + 29. Suppose -3*u - 365 = -r - 0*u, 2 = -c*u. Let l = 519 - r. Is l a composite number?
False
Suppose -561 = -10*o - o. Let x = o - 47. Suppose 8*t - 1676 = x*t. Is t prime?
True
Let w(c) = -9*c**3 + c**2 - 5*c - 6. Let s be w(-2). Let y = 84 - s. Suppose 0 = y*b + 4*m - 2829 + 797, -3*m + 15 = 0. Is b a prime number?
True
Let j(a) = a**3 + a**2 + 11*a + 5. Let f be j(5). Let b = 467 - f. Suppose -3*i + 1001 = i - x, -i = 2*x - b. Is i a composite number?
False
Let s = -9985 + -3322. Let c = -6852 - s. Is c composite?
True
Let w = 229036 - 143202. Suppose 0 = 201*a - 187*a - w. Is a a prime number?
True
Let d = -17230 - -36456. Suppose -18405 = -11*k + d. Is k a prime number?
False
Let m(g) = -28*g**3 + 6*g**2 + 7*g - 1. Let y be m(-1). Is 2/y - (-11276810)/689 composite?
True
Let b(u) = -67*u**3 + u**2 + 1. Let l be b(-3). Let w = -1216 + 2552. Let g = l + w. Is g prime?
False
Suppose -23*j + 5*n + 10201543 = 0, 3*j = 5*n + 138640 + 1191983. Is j a prime number?
False
Let w = 381 - 376. Suppose 0 = 5*s + w*y - 125300, 9*s - 3*y - 50105 = 7*s. Is s prime?
True
Let g(h) be the third derivative of 37*h**5/60 + 3*h**4/8 + 7*h**3/6 + 87*h**2. Is g(11) prime?
True
Let a = -99 + 121. Is 59224/(-12)*(-33)/a composite?
True
Suppose 11*g = 10*g + 47. Let l = g - 47. Suppose 2*o + 41 - 939 = l. Is o composite?
False
Suppose 3*w - 24 = 0, -4*o + 64*w + 988004 = 69*w. Is o a prime number?
False
Let g = 185 - 183. Is ((-112)/12 + 10)/(g/11283) composite?
False
Is -11 - (-8 + -15 + -9829) a prime number?
False
Let c = -419 - -60. Let a = -245 - c. Is (-13)/(-2 + a/58) prime?
False
Let d be (16/12)/(6/(19 + -1)). Suppose l - 3*w = 1237, l + d*w - 2514 = -l. Is l a prime number?
True
Let w = 220 - 406. Is (31/w)/((-2)/126708) a prime number?
True
Let t(h) = -51*h**3 + h**2 + 11*h + 5. Let r(o) = -51*o**3 + o**2 + 10*o + 5. Let x(a) = 7*r(a) - 6*t(a). Suppose 22*m = 25*m + 6. Is x(m) a composite number?
False
Suppose -2*v - 6 = p, 3*p = p. Let f = 17 + -18. Is f/v*(-5 - -884) a prime number?
True
Let r(k) = -79098*k + 6671. Is r(-5) composite?
True
Let j be 9/(-24) - 140/(-32). Let v = j + -4. Suppose -5*i + 10*i = -2*q + 610, -4*q = v. Is i a composite number?
True
Suppose 4*k - 24 = 16. Let i = k - 4. Suppose 10*s - 844 = i*s. Is s a prime number?
True
Suppose -3*b + 7087 = -13196. Is b a composite number?
False
Let k = -100 - -109. Let v(g) = 286*g - 8. Is v(k) a prime number?
False
Let y(d) = 8*d**3 + 2*d**2 + d - 2. Let o be y(1). Suppose -o*s + 1 = -8*s. Is -1 - 2950/(-6) - s/(-3) composite?
False
Let b = -9926 + 143103. Is b composite?
True
Let m(p) = 3*p + 29. Let c be m(-10). Let u be -564 - 0/(4 + c). Let r = 945 + u. Is r a prime number?
False
Let q(t) = -6*t**3 - 72*t**2 + 37*t - 253. Is q(-40) prime?
False
Suppose 5*h - 16 + 1 = 0. Suppose 3*y + 2*x - 15 = 0, x = -5*y - x + 21. Suppose -y*w + 3684 = h*w. Is w prime?
False
Suppose -7*j = -51 + 9. Is 34330/5 + -6 + j composite?
True
Let c = 1003 - 610. Suppose j = 31 + c. Suppose 6*o + 839 = 4*v + o, -j = -2*v - 2*o. Is v prime?
True
Is (-1 - -80039)/2 - 12 a composite number?
True
Suppose 0 = -2*f - 5*b + 13, -3*f + 1 + 2 = 2*b. Is 4666*f/(0 - -1 - 3) prime?
True
Suppose 4*r - 925 = 3*r. Let t be 368/(-6)*891/108. Let i = t + r. Is i a prime number?
True
Suppose 275*g - 7079260 = 255*g. Is g a composite number?
False
Let s(h) = -42*h**2 - 15*h + 90. Let k be s(-15). Let o = -5702 - k. Is o prime?
True
Let w(s) = -5*s - 45. Let f be w(-9). Suppose f = 58*o - 51*o - 40999. Is o prime?
True
Suppose 10*p - 9642 - 51494 = -6*p. Is p composite?
False
Let q = 71 - 71. Suppose -r + 379 + 5053 = q. Let k = r + -127. Is k a composite number?
True
Let n(f) = 2017*f + 2489. Is n(14) composite?
False
Let u = 1138 - 570. Let a = 1083 + u. Is a prime?
False
Let z be 57/12 + (-1)/(-4). Suppose k - 23 = -5*u, 19 = z*k - 0*u + u. Suppose -104 = -k*y + 118. Is y a composite number?
True
Let y be 1*(3 - 56/8). Is 2302*(y - -7)/3 composite?
True
Suppose 0 = -8*b - 21*b + 1470011 + 24625610. Is b a composite number?
False
Suppose 0 = -5*c + 2*n + 35, 3*c - n = n + 25. Suppose 0*i = c*i + 90. Is 4/(-6)*5373/i a prime number?
True
Let t be 467 - ((-3 - -6) + -5). Let m = 361 + -647. Let y = m + t. Is y a composite number?
True
Let j = -41935 - -94592. Is j composite?
True
Let c = 121 - 106. Suppose 0 = -c*d + 59 + 46. Let j(i) = 230*i - 25. Is j(d) composite?
True
Let a be 2 - 11*(2 + -3). Suppose -a*l - 5908 = -6*l. Is (1 + -3)*l/8 prime?
True
Let y(p) = 279*p**2 - 11*p - 109. Is y(-10) composite?
False
Suppose 0 = -10*d + 3*d - 3*d + 1134170. Is d a prime number?
True
Let r be 9 - (1 + 6/(-3)). Suppose -r*o - 11300 = -2910. Let a = -588 - o. Is a a prime number?
True
Suppose 15 = -2*s + 3*t + 2*t, 5*t - 15 = 4*s. Suppose 2*d = -s*d - 3*z - 25, -3*d + z - 10 = 0. Let n(a) = -85*a - 18. Is n(d) a composite number?
True
Is (120/(-240))/(2/(-233644)) prime?
True
Suppose -506 = -4*h + d, 4*h = -0*h - d + 510. Suppose -3389 - h = -2*s. Let p = s - 1201. Is p a prime number?
True
Let t = 17175 - 10192. Is t a composite number?
False
Let u(c) = -c**3 + 2*c**2 + 22*c + 303731. Is u(0) prime?
True
Let s = -782571 - -1113490. Is s prime?
False
Suppose 0 = 18*b - 68*b + 31775350. Is b a composite number?
False
Is 1/(-2)*-1*(146452 - 470) composite?
True
Suppose -4*l - 3*p = -1027693, -16*l + 1027668 = -12*l + 8*p. Is l composite?
True
Let b(x) = -537*x + 6603 - 6540 + 755*x