12, 3*m = 5*g + 36. Suppose 2*z - m = 22. Let o(y) = -y**3 + 17*y**2 + 5*y + 28. Is o(z) prime?
True
Let a(j) = 10029*j**3 + 7*j**2 - 3*j - 5. Is a(2) a prime number?
False
Let f(a) = 161*a - 1721. Is f(30) a prime number?
True
Suppose 6*v - 3*v = -5*a - 9, -v + a + 5 = 0. Suppose -d = 3*h - 388, -v*d = -h - 792 + 37. Is d composite?
False
Is 2/(-6)*155423*(-9 - -6) a composite number?
False
Suppose d - 3*q = 14, 21 = 4*d - 8*q + 3*q. Is ((-391)/51)/(-2*d/(-1506)) composite?
True
Is 3774396/76 - (-2)/(-19) prime?
True
Let m(f) = f**3 - 5*f**2 - 6*f + 4. Let d be m(6). Suppose 4*k + d = 0, 2*l - 8*k - 6882 = -12*k. Is l a composite number?
True
Let i = 58 + -60. Let j be 8 + -5 - (-58)/i. Is 6/(-9)*j/4*69 a prime number?
False
Suppose -13*z + 4*z + 131760 = 0. Suppose 0 = 8*h - 60488 - z. Is h composite?
False
Let v = -101 + 104. Suppose 3*y = -16*j + 18*j + 15815, -5*y = -v*j - 26359. Is y a composite number?
False
Let s(b) = 1931*b - 26. Let k be s(-4). Is (-3)/(-5) - (-10)/25 - k a composite number?
True
Let n = 582 - 3235. Let z be (0 + -4)*1 + n. Let j = z + 9294. Is j a prime number?
True
Is 0 + (63280 - (-3)/(-1)) prime?
True
Let a(y) = 33*y**3 + 11*y**2 - 30*y + 88. Let m be a(7). Suppose -4*v + 46944 = 4*l, -4*v - 5*l = -m - 35203. Is v a prime number?
False
Suppose -189*n = -187*n + 16, s = 3*n + 507171. Is s a prime number?
False
Suppose -114*h + 258*h - 215364816 = 0. Is h a prime number?
False
Suppose 7*a + 28 = -7*a. Let q be 1/2*(-7 - -5). Is (q - a)*2/((-4)/(-1226)) prime?
True
Suppose -142*y + 5317770 + 6379196 = 0. Is y a composite number?
False
Let i(s) = -s**3 + 13*s**2 - 40*s + 4. Let p be i(8). Suppose r + 3*b - 7666 = 0, p*b = 4*r - 8*r + 30656. Is r prime?
False
Suppose 7*i - 13 = 15. Is i/(-16) + 2967/12 prime?
False
Suppose 134*f - 2448938 = 72*f. Is f composite?
False
Let k(q) = -q**2 + q + 8. Let j be k(4). Is (-746)/j*92/46 prime?
True
Let b(v) = -7*v**2 + 10 + 5*v**3 + 9*v - 28*v - 4*v**3 + 16. Is b(11) prime?
False
Suppose -6*u + 2*u = 2*i - 40, -3*i - 3*u + 63 = 0. Suppose -4*x = -i + 6. Suppose 2054 = 2*o + 2*k, x*o - 3089 = o - k. Is o a prime number?
True
Suppose 0 = t - 5*p - 9423, -3*t + 12121 + 16106 = 6*p. Is t prime?
True
Let k = 10046 + 118785. Is k a composite number?
False
Suppose -2*u = 3*y - 30 - 10, -4*y = 4*u - 52. Let v(d) = 458*d - 83. Is v(y) prime?
True
Let c be (-114015)/(-6) + 24/16. Let x = 26905 - c. Is x a composite number?
False
Suppose 3*g = -3*s + 271389, s - 2*s = 6. Is g a prime number?
True
Suppose -4*p + 6*x - 3*x = 60, 4*p + 28 = -5*x. Is p/(5 + -8) + 5185 a composite number?
False
Let z = -11722 - -13121. Is z composite?
False
Is (24103/(-3) + 4)*-33 + 2 + -6 composite?
False
Suppose -3*y - 4 = 8, 0 = 3*u - 3*y - 18798. Let d = u - -38507. Is d a composite number?
True
Let o(h) = -269*h + 26 + 25 - 20. Is o(-8) a composite number?
True
Let r(h) = -578*h - 177. Is r(-14) a composite number?
True
Suppose -2*a - 3*z + 9 = 0, 0 = 3*a + 10*z - 9*z - 3. Suppose a = -17*y + 2*y + 3*y. Suppose 5*l - c = 499 + 1478, y = 4*c + 8. Is l prime?
False
Suppose 12 = 4*u, 2*t - 4 - 17 = -3*u. Let h be (-80)/t + 6/(-9). Is (h/(-6) - 3) + (-10810)/(-6) a composite number?
False
Let b = 429433 + -99156. Is b composite?
True
Let a = -269850 - -437159. Is a a prime number?
True
Let u(o) = -69 + 2*o - 267*o + 14. Is u(-6) composite?
True
Let g = -27 - -3. Is 1*3/4 + (-73110)/g prime?
False
Suppose 12*a = 441674 + 233578. Is a a prime number?
False
Suppose 22*m = 26*m - 20. Suppose m*i = 10*i + 10. Is i - (-8)/5 - (-9135)/25 a composite number?
True
Let w be 3/(-3) + (-2)/(0 - -1). Let h be 48*((-625)/(-15) - w). Suppose o - 6472 = -3*b, b + o + 2*o - h = 0. Is b a composite number?
True
Let r = 60212 - -5319. Is r a composite number?
True
Suppose 0 = -0*d - 2*d + 2148. Let w = -494 + 505. Suppose w*h = 17*h - d. Is h a prime number?
True
Is (10/(-30))/((-20)/4273980) composite?
False
Let k(y) = 79 - 5*y - 5*y - 8*y. Is k(-40) a prime number?
False
Is 88439824/240 - 52/195 a prime number?
False
Suppose -15 = -983*k + 978*k. Suppose 2*a - 2*r - 17963 = -647, 3*a = -k*r + 26004. Is a composite?
False
Let w(f) = 87*f**2 - 6*f + 7. Let h be w(5). Suppose -4*s + 5*z = -5178, -34*z + 5194 = 4*s - 31*z. Let o = s + h. Is o a composite number?
False
Let c(m) = m**3 + 24*m**2 + 18*m - 73. Let y be (-13)/(78/(-18)) + (-23 - 2). Is c(y) prime?
True
Suppose -6*j = -4*j - 1584. Suppose 20 + 5 = 5*r. Suppose r*t + j = 3*y, -t - 1051 = -4*y + 4*t. Is y prime?
False
Suppose -46462 - 224968 = -10*g. Is g composite?
False
Suppose -2*g + 5*g = -5*k - 139, 3*k + 79 = -4*g. Let x = -27 - k. Suppose 3*o + 3*v - 7503 = 0, o - x*o + 2509 = -3*v. Is o a composite number?
False
Let o = 151 - 142. Suppose o*g - 21098 = 125773. Is g a prime number?
True
Let s(r) = 716*r + 1005. Is s(43) composite?
False
Let q(y) = 357*y**3 + 27*y**2 - 13*y - 129. Is q(11) prime?
False
Suppose 8*k = -4*u + 3*k + 40, -2*k + 3 = -u. Suppose -u*d + d = -9652. Is d a composite number?
True
Suppose 0 = 2*l - 11*l + 530154. Suppose 5*g + 4*f - 98115 = 0, 3*g - l = 6*f - f. Suppose w = -3*w - i + g, 5*w - 3*i = 24538. Is w composite?
True
Suppose 4*h + 5*h - 108 = 0. Let z(u) = -u**3 + 24*u**2 - 19*u + 13. Let k(p) = -3*p**3 + 71*p**2 - 57*p + 39. Let m(s) = 6*k(s) - 17*z(s). Is m(h) composite?
True
Suppose -566 = 10*c + 594. Let f = 445 + c. Is f composite?
True
Let q(r) = 523*r**2 - 74*r - 742. Is q(-11) a prime number?
False
Let y = -132351 - -888160. Is y composite?
False
Let y = -6027 + 21754. Is y a prime number?
True
Let z(v) = -v**3 + 9*v**2 - 8*v + 2. Let r be z(8). Suppose 0 = -r*w - 4*k + 12, 3*k = 3*w + 5*k - 2. Is (-27)/18 + (-695)/w composite?
True
Suppose -5*y = 17 - 52. Suppose 0*w + 10*w = 2*w. Suppose w = -y*h - 0*h + 609. Is h prime?
False
Suppose -5*q + 195089 = 3*w, -4*q + 111936 = 3*w - 44134. Is q a prime number?
True
Suppose -32 + 116 = 6*r. Suppose -r*l = -7*l - 28581. Is l prime?
False
Suppose -3*k + 308901 = -39*m + 35*m, 0 = -5*k + 3*m + 514835. Is k prime?
True
Let o = -336625 - -492948. Is o a composite number?
True
Let u = 66507 - -34900. Is u a prime number?
False
Suppose z + 4*s - 38316 = 0, -z - z = -3*s - 76621. Suppose 5*w + z = 13*w. Is w a prime number?
True
Is (1/8)/((-79)/(-30366968)) prime?
True
Let s be 16727/5 - 26/65. Let g = s - 1934. Is g composite?
True
Suppose -1786099 = -21*b + 945357 - 415345. Is b a prime number?
True
Let s(h) = 15*h**3 - 2*h**2 + h + 2. Let t be s(2). Let n(f) = -11*f**2 - 5*f + 9. Let m be n(2). Let b = t - m. Is b a prime number?
False
Let p = -11754 - -112395. Is p a composite number?
True
Let o(z) = 4*z**2 - 11. Let m(b) = -3*b**2 + b + 10. Let d(f) = -5*m(f) - 4*o(f). Let q be d(-3). Is (-9 + 136)/(q - -1) composite?
False
Let p = -66643 - -139652. Is p prime?
True
Suppose -7677*u + 7660*u + 5226667 = 0. Is u composite?
False
Let r(x) be the second derivative of -x**5/20 - 13*x**4/12 - 13*x**3/6 + 25*x**2 - 74*x. Is r(-15) prime?
False
Suppose 0 = -3*b + 18, 2*c - 21*b - 7898 = -23*b. Is c a composite number?
False
Suppose -p = -5*o - 1172, 7 = o + 8. Suppose 5*r = p + 1288. Is r a prime number?
True
Suppose -q + w + 9 = 0, -4*w = 2 + 14. Is ((-47310)/q + (-8)/(-2))/(-2) a prime number?
True
Let o(a) = 558*a**3 + 7*a**2 + 22*a - 160. Let i be o(6). Suppose 6*q = i + 14926. Is q a prime number?
True
Let k(t) = 121 + 107*t**2 - 99*t**2 + 8*t - 38. Is k(-19) prime?
True
Let f(y) = 4*y**2 + 5*y - 6. Let d be f(1). Suppose 0 = d*t + 12, 4*q - 23*t + 25*t = 9212. Is q a prime number?
False
Suppose 258518 = -2*j + 3*s + 1831042, -3*s - 3145066 = -4*j. Is j a prime number?
True
Let x be (-306)/108 + (-10)/(-12). Let s(r) = -212*r**3 + 5*r**2 + r - 8. Is s(x) a prime number?
False
Suppose -14*h = -9*h - 10. Suppose 0 = -h*a - 10, -3*a - 1523 = -2*d + 2*a. Is d a prime number?
False
Let n(q) = q**3 + 13*q + 4*q**2 - 4*q**2 - 5*q**3 - 5*q**2 - 1. Is n(-9) a composite number?
False
Suppose 0 = 4*f + 16, -f - 379298 = -4*a + 2729782. Is a prime?
True
Suppose -4*f - 117 = -5*b, -f + 31 - 34 = 0. Suppose 0 = 4*i - 3*j - 16435, 4*i - b*j - 16456 = -25*j. Is i a prime number?
True
Let s(y) = y**2 - 9*y + 12. Let u be s(8). Let q be (154/8)/7*4. Is -1 - -1469 - ((q - u) + -10) a composite number?