of q**4/2 + q**3/6 - 7*q**2/2 - 26*q. Is t(c) a composite number?
True
Let d(c) = -3*c**3 - 11*c**2 + 2*c - 7. Let t be ((-112)/(-140))/((-1)/10). Is d(t) prime?
True
Let m be ((-110)/33)/((-2)/3). Suppose -2*o + p + 16502 = 0, -3*o + 24751 = -2*p - 0*p. Suppose -8*d + 10*d = m*k - o, 4*k - 6592 = -d. Is k composite?
True
Let t(s) = -2*s - 70 + s**2 - 4*s**2 + 60 - 5*s**3. Is t(-6) prime?
False
Let m(g) = -g**3 - 11*g**2 + 27*g + 16. Let j be m(-13). Let x(s) be the first derivative of 11*s**4/4 + s**2/2 + 7*s + 4. Is x(j) composite?
False
Suppose 0 = 155*x - 102*x - 3906577. Is x a composite number?
False
Let v(j) = -35*j + 148. Let m be v(4). Is -1945*(376/(-5))/m prime?
False
Let o(g) = -5*g**3 - 3*g**2 + 3*g + 1. Let z be o(1). Is -839*(z - -6 - 9) prime?
False
Let w = -700 + 1004. Let p be -2*(1 + 1) - (5 + -12) - -802. Let s = w + p. Is s a prime number?
True
Let g(v) = -v**3 + 10*v**2 - 4*v - 43. Suppose 4*d - 28 = 3*k + 10, 2*k + 2*d + 44 = 0. Is g(k) composite?
True
Let k = -11660 - 17369. Is -1 - (-14)/18 - k/261 a composite number?
True
Suppose 15 = 9*g - 4*g. Suppose -575 = -g*l + 1411. Suppose 8*w = 10*w - l. Is w a composite number?
False
Let a be (52/78)/((-2)/(-3243)). Let t = -590 + a. Is t a prime number?
True
Let w be (3 + 351*-1)*5/(-5). Suppose 2*u - 350 = -3*d, -3*d - 6*u + 3*u + w = 0. Is d composite?
True
Is (4003 - 1)*(-7 - -8) - -5 composite?
False
Suppose 0 = -3*f + 56*y - 57*y + 1523593, -2*f - y + 1015728 = 0. Is f a composite number?
True
Suppose -4*h + 20 = 0, 4*w + 698141 = -5*h + 2833114. Is w a composite number?
False
Suppose -2*x + 4*b + 29294 = 0, 22557 = 5*x + b - 50711. Is x prime?
True
Suppose -15 = 2*w - 5*w. Is 6 - (-130)/(-25) - (-61741)/w prime?
False
Let m be (-1 + 6)*15/25*1. Suppose -m*p + 27 = -0*p. Let c(n) = 11*n + 10. Is c(p) a prime number?
True
Let p be (-4)/(8/10) + 254. Let i be (3 - p/2)/((-3)/(-6)). Let v = i + 656. Is v a composite number?
True
Let g = -130 - -130. Suppose 3*t = 4*t - 2*w - 2, 8 = 4*t - w. Suppose g = r + 2, -1583 = -3*v - t*r + 1926. Is v composite?
False
Let y be ((-6)/(-8))/(-11 - (-716)/64). Let v(z) = 480*z**2 - 7*z + 9. Is v(y) a composite number?
True
Let j be 3 + 12/4 - -1493. Let q = 2842 - j. Is q prime?
False
Let v(q) = 52624*q + 103. Is v(4) composite?
False
Let u be (15/(-6) - 0)*33738/(-15). Is u/11 - (-1 - 13/(-11)) a composite number?
True
Let h(m) = -494*m + 2. Let d be h(-5). Let l = d - 1058. Let o = -273 + l. Is o prime?
False
Let m be 0/(4 - 2 - 4). Let i(p) = -p**3 + p**2 - 4*p + 4. Let g be i(m). Suppose -7789 - 13951 = -g*r. Is r composite?
True
Let m(y) = 12839*y + 2952. Is m(31) prime?
False
Let i = 146 - -7409. Is i prime?
False
Let h = 2252 - 400. Suppose g - 12*i - h = -7*i, 2*g - 3689 = -5*i. Is g prime?
True
Suppose 0 = 9*w - 1471 + 4396. Let z = w + 50. Let y = z + 592. Is y composite?
False
Let j be (-56)/24 + (-490364)/(-6). Is 2*(j/(-14))/(-5) prime?
False
Suppose 0 = 9*k + 228341 - 957305. Suppose -281*x - k = -285*x. Is x prime?
True
Let z = 37063 - -37624. Is z composite?
False
Suppose 5*c + 3*y + 2*y - 50 = 0, -y = 4*c - 28. Suppose -c*a + 5 = -5*a. Is (3 - a) + 15/3 composite?
False
Let m = 178 + -178. Suppose m = -12*a + 6*a + 6906. Is a prime?
True
Let a(w) = 32*w**2 - 12*w + 2553. Is a(-35) prime?
False
Suppose -5*i - 30 = -11*i. Suppose t - 3*t + 17443 = g, 43620 = 5*t + i*g. Suppose -11*k + t + 774 = 0. Is k prime?
True
Let x = 43756 - 25293. Is x composite?
True
Let q be (4 + 1 + -5)*(-2)/(-2). Suppose v - 4*b - 587 = q, 2*b + 1174 = 2*v + 7*b. Is v a prime number?
True
Let w = -824 - 1543. Let c = 4990 + w. Is c composite?
True
Let a be (-4 + 6/2)*0. Let x = -2 - a. Is (-3 + 2 - (x + 2)) + 446 composite?
True
Suppose -2*s = -x - 4, -12*x + 15*x - 8 = -4*s. Suppose -n = -0*n - 5. Suppose 5*q - 3449 = -3*t + s*t, n*q - 5*t - 3425 = 0. Is q a composite number?
True
Suppose -561653 = -5*u + 2*d, -20*d + 449328 = 4*u - 16*d. Is u prime?
True
Suppose 0 = -2*g + g - 3. Let d(r) = -11*r**3 + 1 - 13199*r - 13198*r + 26398*r. Is d(g) a composite number?
True
Suppose 0 = 5*v - h - 31210, v + 5*h - 1225 = 4991. Is v a composite number?
True
Let i(y) = 56*y**2 - 7*y - 54. Let t be i(-5). Suppose 3*b = -w + 2*w - 1385, -b + t = w. Is w a composite number?
True
Let k(t) = -3 + 67*t**2 - t**3 - 6*t + 60*t**2 - 132*t**2. Let c be k(-4). Suppose 0 = -2*j - 4*r + 872, 0*j + 4*r + 2250 = c*j. Is j prime?
False
Suppose 7*j - 10 = -k + 5*j, 0 = k - 3*j + 5. Suppose -101225 = -r - k*r. Is r prime?
False
Is (-479)/(((-417)/(-278))/((-1167)/2)) prime?
False
Suppose -5*f + 940 = -2055. Suppose 5*d - 3504 = -f. Suppose -z + s - 5*s = -203, 5*s = -3*z + d. Is z prime?
False
Let n(g) be the second derivative of -17*g**3/3 - 5*g**2 + 19*g. Let z be n(5). Let q = -77 - z. Is q a prime number?
True
Let d(q) = -201*q - 2. Let o be d(-2). Let f be (-353133)/2583 - (1 - (-5)/(-7)). Let i = f + o. Is i a composite number?
False
Let i = 47262 + 42965. Is i composite?
False
Let r(o) = 2*o**2 + 45*o + 489. Is r(64) composite?
True
Let o be 11/(-5) + -8 + (-213)/(-15). Let h be (1554/(-4))/(-3)*36. Suppose -10 + 0 = 5*x, 0 = o*k - 5*x - h. Is k a prime number?
True
Is (-23846)/(290/58*2/10*-2) a composite number?
False
Let x = -1216 + 4449. Suppose -5*q + u - 799 = -x, u - 1 = 0. Is q a prime number?
True
Let b = 45 - 81. Let w = b - -28. Is (-960 - w/4)*(-2)/4 a prime number?
True
Suppose -23 = 5*l - 38. Suppose 3*q + 3*c = 25908, 2*q - l*c = 2*c + 17279. Is q a prime number?
False
Let t(q) = 21*q + 106. Is t(7) a composite number?
True
Suppose -216*b = -221*b + 152130. Let l = b + -1537. Is l composite?
True
Let y = 5 - -8. Suppose 0 = 9*g - y - 14. Suppose g*z - 83 = 94. Is z a composite number?
False
Let k = 560 + -217. Is -10 + k + (3 - -1) composite?
False
Let r(p) = 6*p - 85. Let c be r(13). Is 327 - -1*(-5 - c) composite?
True
Let r = 377 - 223. Suppose -4*n - 5 = -41. Suppose -7*g - r = -n*g. Is g prime?
False
Suppose -4*j - 6*i + 10*i = -2835344, -j = -5*i - 708864. Is j prime?
False
Suppose -i = -2*p, 7*p = 2*p - 5*i. Suppose p = 5*v - 21518 + 5783. Is v a composite number?
True
Let b(h) = 117*h**2. Let x be b(4). Let d = x + -1111. Is d a prime number?
True
Let r = 746 + -739. Suppose 2*z - 2*k - 38970 = 0, 5*z = -4*k + r*k + 97427. Is z a composite number?
True
Let f = 11852 - -14817. Is f prime?
True
Suppose 0 = -4*w + 2*g + 12, 4 = 2*w - 2*g - 0. Suppose 0 = w*l, -2*t + 0*t - 3*l = -1054. Is t a prime number?
False
Let z be -1*1/6 - 46371/(-234). Let c = z - -776. Is c prime?
False
Let b(u) = u - 1. Let p(o) = -34*o + 12. Let m(w) = 5*b(w) + p(w). Let n = -65 + 54. Is m(n) prime?
False
Let p = -402 + 416. Suppose -30723 = -p*j + 87479. Is j a prime number?
True
Let w be (2 - (-15)/(-10)) + (-10)/(-4). Suppose -w*y - 2*c + 2035 = -32379, 0 = -y + 2*c + 11474. Suppose -6*u + y = 4014. Is u composite?
True
Let l(a) = 6224*a**2 + 17*a + 46. Is l(-3) composite?
True
Suppose -9*u - 39758 = -1561069 - 2638678. Is u a composite number?
False
Let s = 398 + -346. Suppose 3548 = 56*r - s*r. Is r a composite number?
False
Suppose 9 = -5*u + 5*a - 1, a = 2*u. Suppose 10*c + 15903 = 3*r + 14*c, u*c = 2*r - 10588. Is r a prime number?
True
Suppose -7*c = -2*w - 490487, 551277 - 200940 = 5*c + 4*w. Is c a prime number?
False
Let v be -9284 - 2/6*0. Let a = v - -18126. Is a composite?
True
Suppose -21 = 18*u - 183. Suppose -u*i + 7450 = -5735. Is i a prime number?
False
Let h(d) = 108*d**3 + 10*d**2 - 268*d + 2057. Is h(8) composite?
False
Let s(v) = -v**2 - 19*v - 18. Let p be s(-16). Suppose 195030 = p*w - 916620. Is w composite?
True
Suppose 0 = 4*p - 2*m + 36557 - 174509, 0 = m. Suppose 6*n = 9*n - p. Is (n/48)/(1/(-2) + 1) a composite number?
False
Suppose -8*r + 0*r + 146871 + 276897 = 0. Is r a prime number?
False
Let d = 673 - 665. Suppose -d = 4*h, -2*y - 21465 = -3*y - h. Is y prime?
True
Let w be 21978/6 + (-6)/(-3). Let o = -2110 + w. Is o prime?
False
Let j(q) = -73*q**3 - 7*q**2 + 2. Let z be j(-3). Let w(b) = 196*b - 1. Let y be w(-5). Let d = z + y. Is d a composite number?
False
Suppose 0 = 37*k + 2651448 - 3662852 - 6501927. Is k a prime number?
False
Suppose 0 = -d - 0 + 5. Suppose 4*z = z + 2*v + 10, 4*z + v = -d. Is (-5 - -6)/(z - 1) + 410 