= 2*p + 10*r, -3*p = r - 3082. Is p prime?
False
Let g be (1493/3)/((-4)/(-12)). Let p = -287 + g. Suppose -5*s = s - p. Is s prime?
False
Let c(s) = -30*s**2 - 5*s + 4. Let d be c(3). Suppose 672 = 26*z - 30*z. Let o = z - d. Is o prime?
True
Suppose 0 = -65*a + 62*a + 4317. Is a prime?
True
Let k = 8093 - 441. Suppose 7*v = -1513 + k. Is v composite?
False
Let t be (4 + 2)*-1*(-1)/(-2). Suppose -5*i = 2*z - 417, -2*i = -z + 2*z - 209. Is (t - z/2)*-2 composite?
True
Let o(g) = -2*g**3 + 2*g**2 - 24*g - 217. Is o(-15) prime?
False
Suppose 0 = -9*u + 52008 + 42285. Is u prime?
True
Suppose -1350 = 6*x + 9*x. Is (-9)/(x/(-4)) + 23488/20 a composite number?
True
Let s = 1483 - 932. Is s prime?
False
Let b be 36/(-8)*2/(-3). Suppose y = -3*y, 3*u - b*y - 9 = 0. Is 28*2 - (u + -2) prime?
False
Let q = 14673 + -5926. Is q composite?
False
Suppose -4 = 2*u - 6. Let z(c) = u - 1 - 97*c + 1 + 23*c. Is z(-9) a composite number?
True
Let h be 84/(-8) + 1/(-2). Let d(z) = z**2 + 7*z - 31. Is d(h) prime?
True
Is (-357509 + (2 - -1))/(1 - 3) prime?
True
Let b = -2411 + 3809. Is 3/12*0 + 1 + b prime?
True
Let n(x) = -4*x - 3. Let j be n(-1). Is -1*(-15175)/(j + 4) a composite number?
True
Is 2437/2*(4 - (-126)/7) a prime number?
False
Suppose -2*t - 1988 = -4*t - 4*z, -2*t + 2*z = -1988. Let n = t - 359. Is n prime?
False
Let z(t) = 433*t**2 + 7*t - 19. Is z(4) a composite number?
True
Let n = 797 + -442. Suppose n = r - 144. Is r a composite number?
False
Is (19563/4)/(9/72*6) composite?
False
Is (-2*53577/(-72))/(2/8) composite?
False
Let s(h) = -523*h**3 - 2*h**2 + 60*h + 190. Is s(-3) prime?
False
Let s be 6 + (16/4 - 6). Suppose -2*b - 250 = -n, -s*n + 9*n - 2*b = 1266. Is n composite?
True
Suppose 48*u - 41*u = 38843. Is u composite?
True
Suppose -5*r - 2*m + 26 = 2*m, 4*r - 22 = -2*m. Is 86/1*33/r a composite number?
True
Is -4 + (4 - 6/2) + 1504 prime?
False
Let g(b) = 519*b**2 + 38*b - 4. Is g(3) a prime number?
False
Suppose 93471 = -28*c + 35*c. Is c composite?
True
Let x(w) = 120*w - 14. Let s(a) = -1. Let z(g) = 3*s(g) - x(g). Is z(-28) a prime number?
True
Suppose 0 = -2*m - 4*f + 64630, 10*m - 3*m - 226217 = -2*f. Is m a composite number?
True
Suppose 0 = 5*w - 16*w + 83611. Is w composite?
True
Suppose 2*j - 3*p - 12 = -p, 0 = 4*p + 8. Suppose q + 951 = j*q. Is q prime?
True
Let w(d) = 3532*d - 449. Is w(28) prime?
False
Suppose 6*y = 3*y + 4815. Suppose -6*t + 3*t = -y. Is t a prime number?
False
Let j = 275 + -166. Suppose -j = -y + 39. Suppose 0 = -0*f + 2*f - y. Is f prime?
False
Let c = 6 - -25. Let i = c + -25. Suppose 0*s = i*s - 2238. Is s a prime number?
True
Let l = -1225 - -13448. Is l prime?
False
Suppose -f + 715 = 4*x + 119, -3*x = f - 448. Let s = x + -43. Suppose s = l - 146. Is l a prime number?
True
Is (-3)/(-6) - ((-39036)/8 - 3) prime?
False
Let q(p) be the first derivative of 49*p**2/2 - 25*p - 4. Is q(6) prime?
True
Let p = 38 - 38. Suppose -3*y = -p*y - 1671. Is y composite?
False
Suppose 1 + 3 = -4*s. Let v be 4*s/(-4) - -12. Let c(m) = -m**3 + 14*m**2 - 5*m - 18. Is c(v) a composite number?
True
Let z = 224 + -181. Is z a composite number?
False
Let j(b) = -3 + 33*b + b**2 - 65*b + 31*b. Let n be j(3). Suppose -2*k - n*p = -967, -5*p - 1 = 4. Is k prime?
False
Let a = 9 - 6. Let q be 3*(9/18 - (-3)/18). Suppose -q*s + a*s = 211. Is s a composite number?
False
Suppose -4*c + 33 = c - 3*x, -5*c - 5*x + 65 = 0. Suppose 0 = p - 4*p + c. Suppose 2*o - s - 302 = 0, 554 = p*o - 2*s + 99. Is o prime?
True
Let g be ((-15)/(-12))/(4/16). Let m(n) = -n**3 + 9*n**2 + 2*n - 7. Let l be m(5). Suppose 5*x - 270 = -g*b, b = -b + 3*x + l. Is b a prime number?
True
Let v be (48/(-20))/(92367/46185 - 2). Is (v/(-60))/(1/(-5)) prime?
True
Let x(t) = 235*t + 111. Is x(10) prime?
False
Let z = 40 + -38. Suppose -z*p + 3*y - 404 + 1078 = 0, y - 327 = -p. Is p composite?
False
Suppose 3*v + 3 = -4*r - 0, -4*r + 3*v + 27 = 0. Suppose 0 = h + r*h. Suppose h = i - 6*i + 955. Is i composite?
False
Let k = 31 - 26. Suppose -f + 379 = -0*f + 3*o, 3*o = -k*f + 1871. Is f a prime number?
True
Let x be (-8)/(-20) - 116956/(-10). Suppose -x = 5*l - 3*l. Is l/(-20) + (-3)/(-5) prime?
True
Suppose 10*v - 7*v - 17 = -2*w, -3*w = 3*v - 21. Suppose -4*y + 264 = 4*i - 60, 5*y - v*i = 421. Is y a composite number?
False
Let c be (-920)/(-72) + 2/9. Let v = c + -10. Suppose -v*w = -326 + 104. Is w composite?
True
Suppose t - 2 = -2*k - 1, 2*t - 20 = 5*k. Suppose -v - h = 2*v + 288, t*h = -v - 110. Let s = 616 + v. Is s a composite number?
False
Let n be (1/(15/(-264)))/(8/(-580)). Let t(v) = 378*v + 1. Let p be t(-2). Let y = p + n. Is y a prime number?
True
Suppose -o - 2*o = -24. Let t(w) = w**2 - 4*w + 11. Is t(o) a prime number?
True
Let t(o) = o**3 - 3*o**2 + 5. Let f be t(3). Suppose 9465 = -f*c + 10*c. Is c a prime number?
False
Let g(q) = -q**3 - 8*q**2 - q + 19. Let n be g(-11). Let u = -136 + n. Is u a composite number?
False
Let h = -12684 + 18713. Is h a composite number?
False
Suppose 10*s - 18 = 2. Suppose -s*m - m = -1497. Is m composite?
False
Is ((-9)/(-4) - 2)/(1/31364) prime?
True
Let u(m) = 2*m - 4*m + 0 + 3. Let o be u(5). Is 2/o + (-2169)/(-21) a prime number?
True
Suppose z - 3*z + 4*x = 1498, 3775 = -5*z + 4*x. Let h = z - -1262. Is h composite?
False
Let s = 1476 - 115. Is s prime?
True
Suppose -63*u + 113909 = -97330. Is u a prime number?
False
Let x(m) = 2020*m**3 + 3*m**2 + m - 3. Is x(1) a prime number?
False
Let p be (-8)/6 - 55825/15. Let z = -424 - p. Is z prime?
True
Let x be 2/(32/(-20))*-24. Let w = 23 - x. Let i(b) = b**2 - 10*b - 6. Is i(w) composite?
False
Let h(p) = 3*p**2 - 11*p + 31. Is h(-18) a composite number?
False
Let o(v) be the first derivative of -5*v**2 + 3*v + 5. Let u be o(-6). Is u/(-14)*(-58)/3 composite?
True
Suppose -2*r + 12 = -4. Let h be (-1)/(0 + (-4)/r). Suppose -x = -3*b - 776, -h*b = -2*x - 6*b + 1502. Is x a composite number?
False
Let i(a) = -a**2 + 4*a - 2. Let g be i(1). Is 268 + -15 - (g + -5) prime?
True
Is 1470/(-36)*-68 + 1/3 a composite number?
False
Suppose -2*y + o = -1423, 2848 = 7*y - 3*y - 4*o. Suppose 3*a = y + 162. Is a a composite number?
True
Suppose -6*q + 83 = -193. Is q composite?
True
Let g(p) = 238*p**2 - 1. Is g(-1) a composite number?
True
Suppose -5*v - 4*n + 21571 + 8670 = 0, 5*n - 12093 = -2*v. Is v composite?
True
Let p(d) = 348*d**2 + 22*d - 107. Is p(13) composite?
False
Let j(c) = 134*c**2 - c - 35. Is j(10) a composite number?
True
Suppose -5*t = -k - 4*k + 20, 4*t = -4*k - 16. Suppose k = -0*o + 4*o. Suppose o*m + m + 3*j = 46, 213 = 5*m - 2*j. Is m a composite number?
False
Suppose -w - 112 = -9*w. Suppose w*h - 159 = 11*h. Is h composite?
False
Let f = -31368 + 54827. Is f composite?
False
Let l = -263 + -248. Let n = 115 + l. Is 1 + 7/((-7)/n) a composite number?
False
Let b = 15 + -7. Suppose 2969 + 1487 = b*x. Is x prime?
True
Suppose -4*f + 21 = -7. Suppose -f*u - 6 = -9*u. Suppose 4*r - 351 = -q, 3*r - u*q + 6*q = 252. Is r a composite number?
False
Suppose -123*m + 129*m - 12 = 0. Let w be (7/(-4))/(1/(-4)). Suppose z = -n + 21 + w, -3*z + 99 = -m*n. Is z prime?
True
Suppose 52*l = 54*l - 2638. Is l a prime number?
True
Let d(b) = b**2 + 2*b + 1. Let v be d(-3). Suppose 2*c - 6 = 4*f, 0 = -c - v*f - 0*f + 3. Let m(l) = 68*l + 7. Is m(c) composite?
False
Suppose -5*y + 15741 = -4*k, 0 = -4*y + 7*y + 4*k - 9451. Is y composite?
True
Let s(p) = 2*p**2 - 37*p - 229. Is s(35) composite?
True
Suppose 3*b - 6*s = -4*s + 46495, 8 = -4*s. Is b composite?
False
Suppose 5*h = 5*i + 865, h - i - 157 = -4*i. Let w = h - -85. Is w composite?
True
Is (-7)/(63/7767)*-2 a composite number?
True
Suppose -5*u - 4*c - 13 + 2 = 0, 4*u = 5*c - 17. Is (u + (10530/(-4))/9)*-2 composite?
True
Let j = -9 + 8. Let c be 5 + j + (-6)/3. Is 0 - c*(-3)/2 composite?
False
Let w = 374 + 2820. Let h = 2736 + -4537. Let l = w + h. Is l a composite number?
True
Suppose 0 = -z + w + 44846, -z + 45422 = -5*w + 564. Is z a prime number?
True
Let i(z) be the first derivative of 2*z**3 - 2*z**2 - z - 2. Let r be i(4). Is r/(-2)*6/(-3) a prime number?
True
Suppose -50 = 2*i - 7*i. Suppose -2 = -3*y + i. Is (38/y)/((-7)/(-14)) composite?
False
Let t = 11726 - 3785. Is t prime?
False
Let s be 