 2. Is c prime?
True
Suppose -4 - 2 = -2*a. Let g(h) = -58*h + 7. Let x(v) = -v - 1. Let p(b) = -g(b) - 6*x(b). Is p(a) prime?
True
Let k(i) = 15*i**2 - i + 1. Let p be k(1). Suppose p = -4*s - s. Is 2 - (-3)/(s/(-49)) composite?
True
Suppose 5*n - 5*z - 356511 = -8*z, -3*n + z + 213915 = 0. Let b be (-8)/(-20) - n/(-15). Suppose 5*w = 1541 + b. Is w a prime number?
True
Suppose 34*o = 38*o + 464. Let p = o + 243. Is p a prime number?
True
Suppose -3*g - 10 = -2*d - 0*d, -2*g + 6 = 5*d. Suppose -4*m = -d*m. Is m/(2 - 3) - -415 prime?
False
Suppose 3*t - 52999 = 4*g, 7*t = 2*t + 4*g + 88329. Is t composite?
True
Let g be 238/(-22) - 12/66. Let v = 11 + g. Suppose 3*t = 5*f - 2*t - 3205, -2*f - 3*t + 1282 = v. Is f composite?
False
Let a(s) = -646*s**2 + 9*s - 32. Let f be a(3). Let u = f + 9460. Is u prime?
False
Suppose 15*d - 39864 - 26451 = 0. Is d prime?
True
Suppose -3*j = -2618 - 1432. Suppose j = 5*i - 4735. Is i a prime number?
True
Suppose 2*k - 6 = -0. Is k/((-3)/53)*-17 composite?
True
Let v(s) = 137*s - 15. Suppose 5*g = 3*r + 25, -5*r - 7 = -0*g - 4*g. Is v(g) prime?
False
Is 1 - 10 - (-1808 + -30) composite?
True
Let z(i) = 13*i**3 + 10*i**2 + 27*i + 15. Is z(10) a prime number?
False
Is (-2 + 10/8)/((-33)/1951444) a composite number?
False
Let f(q) = -8*q**3 + 3*q**2 + 3*q + 5. Let t be f(-4). Let j = t + -362. Is j prime?
True
Let z be (35/(-2))/7*2. Let h be (14/(-6))/(5/(-315)). Let g = h + z. Is g a prime number?
False
Suppose 4*n - 9 = -5*i, -i - 12 = -2*n + 3. Suppose -a + 0*a - n = 0. Is 537 + (-3)/a*-4 composite?
True
Let p = 12 - 8. Let z(b) = b**3 + 12*b**2 - 16*b - 2. Let f be z(-13). Suppose p*i = -f + 125. Is i a composite number?
True
Let r(y) = 2*y**2 + 2*y - 1. Let o be r(1). Suppose c - o*c = -42. Is c a composite number?
True
Let f = -13 + 14. Suppose 4 = -n - 4*k - 0*k, -k - f = 2*n. Suppose -10*t + 11*t - 21 = n. Is t composite?
True
Let s = -22 - -27. Suppose -3*p = -s*i + 2*i + 1965, 3*i + 3283 = -5*p. Let r = 231 - p. Is r a prime number?
True
Let q be 1555*1*(-8)/(360/(-27)). Suppose 5*a = 8*a - q. Is a a prime number?
True
Let x = 8 + -2. Let h(z) be the third derivative of 7*z**5/60 + z**4/24 - 5*z**3/6 - z**2 + 19*z. Is h(x) prime?
False
Suppose -2*j = 4*u + 4, -3*u + u = -2*j - 10. Let f be -6 - (-3)/u - -4. Is f*508/(8/2) prime?
True
Let u(h) = 464*h + 45. Let r be u(3). Let t be 0 + 1 + 1/(-1). Suppose v - 4*v + r = t. Is v a prime number?
True
Let w(z) = 96*z**2 + 9*z - 4. Is w(3) prime?
True
Is ((-5860)/(-30))/(5/((-210)/(-4))) composite?
True
Let k(y) = -5*y - 16. Let f be k(-7). Let r = 16 - f. Is (-1562)/r - (-3)/9 a composite number?
False
Let n(h) = -h**2 + 3*h + 2. Let m be n(4). Let y be ((-344)/8)/(m/(-6)). Is -3*2/(-3) - y composite?
False
Suppose -10*c = -30526 + 10136. Is c prime?
True
Is (-15)/(-60) - 917528/(-32) prime?
False
Let t(r) = 9*r**2 + 20*r - 21. Let n(i) = 5*i**2 + 10*i - 11. Let z(g) = -11*n(g) + 6*t(g). Let c be z(9). Suppose 0 = w - c*w + 273. Is w a composite number?
True
Let o be 3*3/18*-2. Let z(i) = -447*i**3 + 2*i**2 - 2. Is z(o) prime?
False
Suppose 36592 = 5*a + s, -11*s + 9*s = 2*a - 14632. Is a a composite number?
True
Let r(j) = j**2 - 2*j - 5. Let k be r(5). Suppose -3*d - 4 + k = 0. Suppose d*n + 8 = 0, -2*b + 1010 = -6*n + 2*n. Is b composite?
True
Let b = 71 + -69. Suppose 0 = -3*w + 5*z + 1994, -b*z = 4*w + w - 3375. Is w a prime number?
True
Let o = 29315 + -19824. Is o prime?
True
Suppose 3*g - 5 = -47. Let s be (g - -14)/(0 + -1). Suppose -6*k + 152 = -2*k + j, s = k + 5*j - 57. Is k a composite number?
False
Suppose 2*h = 4*h - 3*z - 10543, -4*h + 21097 = 5*z. Is h composite?
False
Let f(g) = -217*g + 7. Let i be f(4). Is (i/(-6))/(2/4) composite?
True
Let h(y) = -15*y**2 + 10*y + 6. Let f be h(-8). Let i = f + 1837. Is i a prime number?
False
Is (-9)/(-21) - 7026*(-274)/21 a composite number?
False
Let t(x) = -x + 5. Let n be t(0). Is 2/(n/(1975/2)) prime?
False
Suppose 0*j - 2*b - 875 = -j, 0 = -3*j - b + 2618. Let n = -574 + j. Is n prime?
False
Let w(y) = -y**3 - 3*y**2 - y - 5. Suppose 4 = -2*m + 4*k - 0, 0 = m + 5*k - 19. Let i be (-1)/m - (-75)/(-20). Is w(i) prime?
False
Suppose 9*v - 159253 + 18142 = 0. Is v a composite number?
False
Let b(i) = 137*i**2 - 4*i - 4. Let d be b(5). Suppose 4*k - 8485 = -5*r, 3*r - d = r - 3*k. Is r a prime number?
True
Let o(y) = 29*y**3 + 4*y**2 - 2*y + 6. Let a be o(3). Suppose 2*p - 479 = a. Is p composite?
True
Suppose 0 = -2*y + y + 1204. Let t = y + -87. Is t a prime number?
True
Suppose -b - b = 2, 0 = 2*o - 4*b - 540. Let l = o + -132. Let t = l + -90. Is t a prime number?
False
Let k(q) = 25*q**3 + 8*q - 28. Is k(5) a prime number?
True
Let w = 74 - 43. Let u be (-5)/(3*15/(-18)). Suppose u*s - w = s. Is s composite?
False
Let a(t) = -1. Let v(d) = -d**2 - d - 11. Let s(x) = -3*a(x) - v(x). Let z be s(0). Is 4/z - (-5984)/28 a composite number?
True
Let f = -15 - -13. Let w be (-4 + -4 + -2)/f. Suppose 0 = -w*h + 25, 5*m = -h - 4*h + 495. Is m prime?
False
Let a = 46 - 46. Suppose -5*g + 2*s + 3484 = a, -3*g + 5*s = 2*g - 3475. Is g prime?
False
Let z be 7*(-5 + (-74)/(-14)). Is 5/((-20)/(-1754))*z prime?
True
Suppose 2*s + 1240 = -0*s. Let m = s + 1329. Is m prime?
True
Suppose -3*o + 13264 = -p, 0 = -p + 1 - 2. Is o a composite number?
False
Suppose 25*p - 151120 - 42730 = 0. Is p prime?
False
Let a(r) = 19*r**2 + 9*r - 14. Let q be a(6). Suppose 531 = 9*d - 6*d + 3*p, -4*p - q = -4*d. Is d a prime number?
True
Let r(n) = -181*n - 212. Is r(-21) prime?
False
Is 4/(6 + 665406/(-110907)) composite?
False
Suppose -4*c - 1393 + 8417 = 0. Suppose 22*h = 20*h + c. Suppose -8*p + 554 = -h. Is p prime?
True
Suppose -3*t = -4*f - 13217, -5*t - 11*f + 22005 = -13*f. Is t a composite number?
True
Let l(d) = -13*d**2 - 4. Let z be l(2). Is 28/z - 783/(-2) a composite number?
True
Let q = 2039 + -502. Is q prime?
False
Is 134/(-871) + (-67058)/(-26) a prime number?
True
Let z(h) = -6*h + 28. Let k(l) = -2*l + 9. Let v(w) = 8*k(w) - 3*z(w). Let t be v(8). Suppose 1167 = t*d + 155. Is d composite?
True
Let n be 4/5 + 390/325. Let w(p) = p**3 + 2*p**2 - 5*p - 2. Let z be w(-3). Suppose -97 = -z*l + n*x - 3*x, -x + 122 = 5*l. Is l prime?
False
Let u be -2 - 8/(-2) - 3. Let r be (-2)/2 + u + 2. Suppose r = 3*b - 143 - 238. Is b a composite number?
False
Let r(p) = 86*p - 45. Let t(y) = -86*y + 47. Let c(n) = -3*r(n) - 2*t(n). Is c(-6) composite?
False
Is 3/(2 - (-9965)/(-4985)) a prime number?
False
Let h = 15 - -1. Suppose -2*y - h = -4*y. Is (-298)/y*(-2 + -2) a composite number?
False
Suppose 4*t + 3*a - 21950 + 1546 = 0, 3*a = -3*t + 15303. Let w = t - 3636. Is w a composite number?
True
Let h be (-1 - 1022/(-8)) + (-21)/28. Suppose 0 = -4*d - 2*f + h, -66 = -2*d - 0*d - 4*f. Is d composite?
False
Is (3/2)/((-9861901)/(-986188) + -10) composite?
True
Let r = -61 + 65. Is 1962/r + 5/10 composite?
False
Let o(h) = 12*h**2 - 12*h - 5. Suppose 31 = -3*d - 5*t + t, -2*t - 23 = 3*d. Is o(d) prime?
False
Let n = 76 - 42. Suppose -8 = -2*f + n. Suppose f*d = 16*d + 1465. Is d composite?
False
Let t be (-1)/(36/(-32) + 1). Suppose -4*y + 4 = -t. Suppose 5*f + 2*n = 799, -3 - y = 2*n. Is f prime?
False
Is 36/(-81) + 1702646/18 a composite number?
True
Let q = 3556 + -2052. Let y = q - 767. Is y a prime number?
False
Let j(o) = -o**3 - 17*o**2 + 202*o - 6. Is j(-35) prime?
False
Let o = 2256 - 1241. Suppose o + 4754 = 9*h. Is h composite?
False
Let o(g) = -g**2 - 11*g. Let d be o(-11). Suppose 3*n + 41 - 146 = 0. Suppose -3*f = d, 4*x + x - n = 4*f. Is x prime?
True
Suppose -4*l - 2 = -18. Is 1 + 0 + (l*-2)/(-1) a prime number?
False
Let r be (-8)/(-32) - 294/(-8). Let s = 116 - r. Is s a prime number?
True
Suppose 0 = -3*x + 6*r - r + 5419, -25 = 5*r. Suppose 4*o - x = 3*s - 23, -4*s + 1350 = 3*o. Is o a composite number?
True
Let o(r) = 2236*r**2 + 2*r - 1. Let s(u) = -2235*u**2 - 2*u + 1. Let b(v) = -5*o(v) - 6*s(v). Is b(1) prime?
False
Let b(p) = -181*p - 22. Let l(g) = -g**2 + 3*g - 7. Let f be l(4). Is b(f) prime?
False
Let p = -32 - -729. Suppose 56*q + p = 57*q. Is q a composite number?
True
Let n = -1554 + 4839. Let d = n - 740. Is d composite?
True
Suppose 4*h + 6 = 2*v, -4*h - 16 = 4*v + 20. Let f = h + 19. Let