+ 2. Let c = 115 - 116. Let b be z(c). Suppose b = -3*h + 31 + 758. Is h prime?
True
Suppose -3*w + 2*r + 5 = 2*w, -w - 2*r = -13. Suppose -2*z - 26*y + 27*y + 4934 = 0, -2*z = w*y - 4934. Is z prime?
True
Suppose 0 = -0*p + 7*p + z - 454112, -3*z = 4*p - 259495. Is p composite?
True
Let d be 1874 - (-14)/(-21)*9/(-2). Suppose -t + 2*t = 3*i + d, -4*t + 7476 = 4*i. Is t a prime number?
True
Suppose 17*w = 149*w - 18614244. Is w a prime number?
False
Suppose -36958 = -4*o + i, 6*o - 2*o = 4*i + 36964. Is o composite?
False
Let j(p) = 31*p - 7. Suppose 4*z + k + 3 + 2 = 0, -9 = -3*k. Let v be 12 - (-3)/(z - 1). Is j(v) a prime number?
False
Let l(g) = 363*g**2 + 13*g + 5. Let a be l(-2). Let u = a - 544. Is u composite?
False
Suppose 993 + 735 = 6*j. Suppose -r + j = 1078. Is r/(-3) + 3/(-9) a composite number?
False
Let h(r) = -r**2 - 7*r - 9. Let f be h(-4). Suppose c - 3*c = -8, c = -f*z + 13. Suppose -z*y + 0*y = -30. Is y prime?
False
Let w be (2/3)/((-6)/5526). Let u = 1025 + w. Is -3 + 4/(12/u) a prime number?
False
Suppose -6*x - 130735 = -17*x. Is x composite?
True
Let c(j) = -j**2 + 74*j + 240. Let q be c(75). Let h = -271 - -621. Let r = h - q. Is r a prime number?
False
Let x = 601 - 608. Let m(g) = -45*g**3 - 6*g**2 - 4*g - 16. Is m(x) composite?
True
Let o = 133334 - 75193. Is o a prime number?
False
Is (34/2 + 0)*(4 - (-3698 + 11)) a prime number?
False
Let u(b) = 15 + 2 + 0 - 173*b - 5. Is u(-5) composite?
False
Let n(a) = -4*a**2 + 22*a**2 - 22 - 7*a + 24*a + 65 - a**3. Let b be n(19). Suppose -r - r + 447 = b*w, -3*r + 359 = 4*w. Is w a prime number?
True
Let i(f) = -220856*f + 5635. Is i(-4) a composite number?
True
Let j = 1 + 3. Suppose 34 = j*g + 14. Suppose -5*o - 420 + 2900 = 5*s, -2*s = g*o - 2483. Is o composite?
True
Let x = 390 + -255. Let u = x - 133. Suppose 0*c + v - 7590 = -u*c, -v = 3*c - 11383. Is c a composite number?
False
Let x(f) = 36641*f**2 - 2*f + 13. Is x(2) composite?
True
Is -430436*76/(-128) + (-18)/48 a prime number?
True
Suppose -7*z + 280 = -17*z. Is -2*z/(-42)*4971/(-4) a composite number?
False
Suppose -4*s + 12 = 2*r - 0*r, 3*r + 2 = -s. Suppose -5*v - 15843 = -q - q, v + 31731 = s*q. Is q prime?
False
Suppose 5 + 7 = -6*l. Let w be (0 - 14)/2*l. Is (-2)/w - (-102408)/84 a prime number?
False
Let h(x) = 1270*x**2 - 3*x + 441. Is h(14) a composite number?
True
Let h = 49 - 58. Let z(v) = -v**3 - 8*v**2 + 6*v - 21. Let g be z(h). Suppose -4*n + 3*c = -3622, -4*n = -g*c + c - 3618. Is n a composite number?
False
Let a(t) = 5*t + 134. Let m be a(-15). Suppose 0 = 54*d - m*d + 61995. Is d a composite number?
True
Suppose 20*l - 129956 = 940104. Is l composite?
False
Suppose -14755692 = -55*h - 4586137. Is h prime?
True
Let k(z) = -z**3 + 38*z**2 - 35*z + 13. Let u(a) = 3*a**2 - 45. Let t be u(-5). Is k(t) a composite number?
False
Let j be 0 - ((-226 - 1) + 4). Let a = 17436 - j. Is a a composite number?
True
Suppose 4*c - 5*w = -8*w - 2497, 5*c - 4*w = -3129. Let l = 998 + c. Is l composite?
False
Is (11 + 7/(49/(-9315432)))/(-5) a composite number?
False
Let j(t) = 103*t**3 - 14*t**2 - 9*t + 243. Is j(7) a composite number?
True
Let w(x) = -x**2 - 9*x - 1. Let p be w(-8). Suppose 1074 = 3*r + 8*g - p*g, 3*r - 1089 = 4*g. Is r a prime number?
True
Let p(x) = 18*x**3 + 2*x**2 - 21*x - 18. Let k(o) = -o**2 - 3. Let n(h) = -5*k(h) + p(h). Is n(5) prime?
False
Let o(z) be the third derivative of 61*z**5/20 + 11*z**4/12 + 49*z**3/6 - z**2. Is o(12) a composite number?
True
Let t(s) = 12 - 32 + 68*s - 63*s + 292*s**2. Is t(-7) prime?
False
Let c(w) = 35*w**3 - 26*w + 27*w - 3 + 5 + 2*w**2. Let h be c(-4). Let n = 7381 + h. Is n a prime number?
True
Suppose -5*p - 301 - 301 = -y, 5*y = p + 3106. Suppose -5*z + y = -13. Is z a composite number?
False
Let j = 137956 + 138909. Is j prime?
False
Let j(q) = -4557*q - 2596. Is j(-49) a composite number?
True
Is (-546)/(-455) + -517657*(-7)/5 a prime number?
True
Let y be (71507/2 - -2) + 1/(-2). Suppose -36776 - y = -9*u. Is u a composite number?
False
Suppose 0 = -2*f + 8*l - 6*l - 46, -2*l + 21 = -f. Let w(h) = -h**3 - 24*h**2 - h + 147. Is w(f) composite?
False
Let a(t) = 17*t**2 - 14*t - 39. Suppose 4*l = -2*c - 28, 2*l - 108 = 5*c - 38. Is a(c) a composite number?
True
Is ((-6)/33 - (-1325560)/88) + 8 a prime number?
False
Suppose 109594 = 4*a - 2*m - 18406, -5*m - 159985 = -5*a. Is a prime?
True
Let h be (-21160)/(-12) - 2/(-3). Let r(t) = -3*t**3 + 67*t**2 + 9*t + 90. Let c be r(23). Let v = c + h. Is v a prime number?
False
Let w(o) = -174*o - 15. Let g be w(7). Let q = -760 - -158. Let j = q - g. Is j a composite number?
False
Let s(n) = 336*n - 43. Suppose -2*p = 4*x - 8, 3*x - 6 = 3*p - 54. Is s(p) prime?
True
Let m(a) be the second derivative of 863*a**3/2 - 13*a**2/2 - a. Let p = 14391 - 14389. Is m(p) a composite number?
True
Let m = -55868 - -257053. Is m prime?
False
Let x(q) = 382*q**2 + 13*q - 41. Let f be x(-31). Suppose 0 = 35*o + 59393 - f. Is o prime?
True
Suppose 26*t = 19*t + 21. Suppose -3*m + 24 = -4*k + 3*k, -m + t*k = 0. Is (-27)/(-18)*(-958)/m*-3 a composite number?
False
Is 4/74 + 52638426/1258 a prime number?
True
Let x = -2141 + 5225. Suppose x = h + 5*m, h + 0*m - 3104 = -m. Is h a prime number?
True
Let x(d) = 2*d - 45 + 5*d + 5*d. Let s be x(4). Is s + 0 - 8*-73 prime?
True
Let n(h) = -5800*h - 1451. Is n(-7) a prime number?
False
Suppose -15 = -3*q, 0*g = -5*g + 2*q + 515. Let d = 110 - g. Is -2 + 1368 - d - (-1 + 1) a prime number?
True
Suppose -2*u - 4745245 = -25*u. Is u composite?
True
Let j(l) be the second derivative of -4*l**3/3 + 9*l**2/2 + l. Suppose 3*m + 45 + 17 = -5*z, 5*z - 2*m + 67 = 0. Is j(z) a prime number?
True
Let j = 5843 + -1841. Suppose 4*u - j = 2*u + 4*q, -2*u = -q - 3990. Suppose 1925 = 3*l - u. Is l a composite number?
True
Suppose -3*t + u + 159 + 157 = 0, 5*t + u - 532 = 0. Let o = 1277 - t. Is o prime?
True
Suppose -3*b - 3048 = d, 0 = -21*b + 16*b - 5*d - 5080. Let h(u) = -1572*u**2 - 2*u + 1. Let z be h(1). Let v = b - z. Is v prime?
True
Let l = -21734 + 106549. Is l composite?
True
Let a be (83 + -81)/((6/(-493))/(-3)). Suppose 0 = 5*i, 0 = 2*n - 2*i + 129 + 19. Let o = n + a. Is o composite?
False
Suppose 456*m = 453*m + 5955. Suppose -7*l = -42144 + m. Is l composite?
False
Let k = -275 + 276. Suppose 4*i - 3145 = 903. Is k*(-7 - -4) + i a prime number?
True
Suppose 24 = -0*n - 6*n. Let i be 2/3 - 4/(-15)*5. Is (183/i + -3)*n/(-6) a prime number?
True
Suppose 0 = -o - 5*a + 502, 0*a + 2054 = 4*o - 3*a. Let v = o - -1991. Is v composite?
False
Let g(v) = 8*v - 113. Let b be g(14). Is b*(8/(-16) - (-25850)/(-4)) a prime number?
False
Suppose 3*g = -g + 44. Suppose -v + 419 = -g. Let l = v + 103. Is l a composite number?
True
Let t(k) = 1982*k + 9. Let h be t(6). Suppose 6*u - h = 18333. Is u composite?
False
Let p = 2354 + -1558. Suppose 0 = -4*f + p + 17576. Is f a composite number?
True
Let z(l) = -329*l - 2. Let k be z(-2). Suppose s = -5*c - 294, 7*c = -2*s + 3*c - 606. Let x = k - s. Is x prime?
False
Let i be 64/10 - (-6)/10. Suppose 4*j + 9 = i*j. Suppose o + j*o = 596. Is o a prime number?
True
Suppose 179491 = 4*f - 5*v, 14*f = 13*f - 3*v + 44894. Is f composite?
False
Let k = 28168 + 5275. Is k composite?
True
Suppose -38*d + 46*d = 1141512. Is d a composite number?
True
Suppose 5*s - 151 = 4*f + 53, 5*s - 260 = 5*f. Let r = 62 + f. Is (-3)/(r/(-4)) + 8 + 281 prime?
False
Let w(s) = s**2. Let q(g) = 5*g**2 + 3*g - 4. Let i(y) = q(y) - 6*w(y). Let d be i(17). Let l = d + 405. Is l prime?
True
Suppose -2*a + 3 = -x + 5, -2*x + 2*a = 0. Let w be (x - -1)*8/2. Is (-854)/w - 6/(-4) a prime number?
False
Suppose -2*p - 35 = -7*p. Let b(k) = -2 + 2*k + p*k**2 + 10 + 10. Is b(-7) a prime number?
True
Let f = -4784 - -5425. Is f composite?
False
Suppose -23*r = -4339827 + 1327793. Is r a composite number?
True
Suppose 2*f = -3*z - 2*f + 13631, -3*f = 3*z - 13632. Suppose 0 = -u + 2*q + z, 8*q - 13646 = -3*u + 3*q. Is u prime?
True
Is (-4)/(-8)*65908 - 7 a prime number?
False
Let s(r) = 47*r**2 + 11*r - 7. Let z = -552 - -542. Is s(z) composite?
False
Let t(b) = -b**3 + 12*b**2 + 3*b + 10. Let k be t(9). Let c(u) = -4*u + 16. Let y be c(-8). Suppose 4*p + y = k. Is p a prime number?
False
