
Let z be 188/16 + 3/12. Suppose -11*b - 307 = -z*b. Is b prime?
True
Suppose 20317 = 11*f - 451. Suppose 1221 = s - f. Is s a prime number?
True
Suppose -4*q + 0*q = -4*l + 4412, -l + 2*q + 1105 = 0. Let h = l - 599. Is h a composite number?
True
Let g(s) = -s**3 - 9*s**2 + 14*s + 16. Let p be g(-10). Let l = 93 + p. Is l a prime number?
False
Let b be -1*1 - (-65)/(-5). Let z be (-6)/21 + (-2804)/b. Let q = z + 57. Is q a composite number?
False
Let c = 79 + -81. Is ((-1039)/c - 0)*(-29 - -31) a prime number?
True
Let i(s) = s**3 + 3*s**2 - s + 3. Let c be i(-3). Suppose 5*l - 3*j - 259 = 0, 0 = 5*l - j + c*j - 275. Is l a composite number?
False
Suppose 2*y + 2*h + h - 6 = 0, 0 = -y - 4*h + 8. Suppose y = m - 808 - 553. Is m composite?
False
Suppose -y = -5*i + 303591, 301339 + 2268 = 5*i + 3*y. Is i composite?
False
Let r(y) = -y**3 - 7*y**2 + 2*y - 4. Let q be r(-7). Is -6 + (-111)/q - (-185)/6 composite?
False
Let t(f) = 8 - 7*f - 3 - 5*f + 0*f. Is t(-6) prime?
False
Suppose 0 = 5*w + 2*a + 10, -4*w = -w - 3*a - 15. Suppose -3*l - 502 = -0*g - g, w = 5*g - 2*l - 2523. Is g a composite number?
True
Let t(a) = a**2 - 7*a - 3. Let h be t(8). Suppose 6*n + 2712 = 4*u + 2*n, 4*u = -h*n + 2667. Is u a prime number?
True
Let z = -1497 - -5888. Is z prime?
True
Suppose 0*y + 5*y - 75 = 0. Suppose 7*s - 3*s + 2*o - 254 = 0, 0 = -3*s - o + 189. Let b = y + s. Is b prime?
False
Let a(p) = 4*p**2 + 2*p + 1. Let r be a(-1). Is (0 - -3) + 115 + r a prime number?
False
Suppose 13 = -g + 4*j, g - 2*j = -0*j - 7. Is 122/(g + 2) + 1 a composite number?
True
Let w(u) = -u - 3. Let q be w(-6). Let i(z) be the third derivative of 13*z**5/30 - z**4/6 - z**3/6 - 5*z**2 - z. Is i(q) a composite number?
True
Let s be 3/((4 + -5)/(-9)). Let k be 6/27 - 2166/s. Let m = -1 - k. Is m composite?
False
Suppose -3*z + 1541 = -817. Suppose -y - 2*y = -z. Is y composite?
True
Let t be 948*(2/(-8) - -2). Suppose -4*s + s = -t. Is s prime?
False
Let t = -4407 + 11416. Is t a prime number?
False
Let s = 22140 + -3193. Is s a prime number?
True
Let h(z) = -3*z**3 + 11*z**2 + 8*z + 81. Is h(-14) a prime number?
True
Let m = -82 + 563. Is m prime?
False
Let q = -3 + 3. Suppose q = -m - 1 + 5, 3*s - 919 = -4*m. Is s a prime number?
False
Let g(m) = 469*m - 7. Let y be g(-2). Suppose -3*a + 7354 = 4*l, -a + 5*a - 9852 = 4*l. Let o = a + y. Is o prime?
False
Suppose -4*d + 19 = -r, r = -r - 6. Suppose -d*w + 3394 = 1046. Is w composite?
False
Is 4/(-3)*(-13875)/10 + -3 a prime number?
True
Suppose -2*d - 55*v + 57*v = -131198, -2*v = 0. Is d a composite number?
False
Let v(p) = -p**2 + 11*p + 36. Let n be v(14). Is 12/(-36) - 1076/n composite?
False
Suppose 0*j + 3*d + 10065 = 3*j, -d - 16767 = -5*j. Is j composite?
True
Let o(p) = 1171*p - 12. Let f be o(3). Suppose -3*r + f = 6*r. Is r composite?
False
Let v(h) = 584*h**2 - 27*h + 48. Is v(5) a composite number?
True
Is -5 + 5 + 1599 + 4 a prime number?
False
Let s(c) = -c**2 + 4*c + 118. Let g be s(-10). Suppose 19 = -r + 88. Let h = r - g. Is h composite?
True
Let a be 1 + -1 - (1 + 3). Let o be 2/4 + (-2)/a. Is 213*(8/(-12) + o) composite?
False
Suppose -20*h = 2*h - 938498. Is h composite?
True
Let g(j) = -255*j**3 - j**2 - 3*j + 17. Is g(-4) a composite number?
False
Let f be (-64)/((-6)/(-3)) + 3. Let y = f + 50. Suppose -5*w - 5*v = -175, -1 = -5*v - y. Is w prime?
False
Let p = 52612 + -29370. Is p composite?
True
Let q = -273 + 170. Let g = q + 484. Is g composite?
True
Suppose 0 = -2*m + 4*s + 3 + 29, 20 = 5*m + 2*s. Suppose 11*g + m*g = 1139. Is g prime?
True
Let l(r) = 12*r - 3. Let p be l(1). Let x(a) = 2*a**3 - 14*a + 8. Let m be x(p). Suppose -4*j + m + 176 = 0. Is j composite?
False
Suppose -3*w + w + 17 = b, 4*b - 26 = -w. Is 1577 + -4 + w + 0 prime?
True
Is ((-16)/4)/(36/(-182907)) a prime number?
True
Let r(c) = 3809*c**2 + 13*c + 23. Is r(-2) prime?
True
Let m(r) = 9*r**3 + 5*r**2 - 6*r + 17. Let z(i) = -17*i**3 - 10*i**2 + 13*i - 33. Let f(w) = 11*m(w) + 6*z(w). Is f(-7) a composite number?
True
Let b(f) be the third derivative of -f**4/8 - 11*f**3/6 + 6*f**2. Let p be b(-5). Suppose k - 1583 = -p*j, -9 = -4*k + 3. Is j a composite number?
True
Is (221/(-51))/((-5)/255) a composite number?
True
Is 3415/(4 + -5 + 2) + -8 prime?
True
Let f(p) be the first derivative of 5*p**3 + 9*p**2/2 - 23*p + 21. Is f(-8) a composite number?
True
Let c be ((-1006)/6)/(2/36). Is (-1 - -2) + 7/((-21)/c) composite?
True
Suppose 4 + 2 = 3*p. Suppose -4*h + 822 - p = 0. Is h a prime number?
False
Suppose -3 - 9 = -4*t, 2*f = -4*t + 22. Let d(n) = 55*n + 2. Let m be d(f). Suppose -8 = -5*h + m. Is h a prime number?
False
Let s(v) = -2*v**2 - 10 - 17*v + v**3 - 2*v**2 - 9*v**2. Let i be (-5)/((-5)/(-3)) - -18. Is s(i) a prime number?
False
Let i(v) = -109*v - 84. Is i(-11) composite?
True
Suppose -5*p + 416 = h, -p - 20 = 3*p. Suppose 3*b - h = -3*d, -2*b = -4*d - 212 - 94. Is b a composite number?
False
Is ((-1)/((-24)/5442))/(1/4) prime?
True
Let f be (-2 + 0)*570/(-12). Let y = f - -5. Let p = y + -17. Is p prime?
True
Is (-224)/(-32) - -25*279 a composite number?
True
Let a = 3892 + -2185. Is a a composite number?
True
Suppose 0*v - 14 = -2*v. Suppose 2*d - 2*o - 4 - 12 = 0, -13 = -d + 2*o. Suppose -x + 121 = -r, -v*x + 484 = -d*x + 2*r. Is x a composite number?
True
Suppose 5*h = h - 3180. Let y = h - -1352. Is y composite?
False
Let n(f) = -15*f - 2. Let c be n(-2). Suppose u - d = -73, -d - c = 2*u + 112. Is (-2)/2 - (5 + u) prime?
False
Let f = -76984 - -129859. Is 4/(-14) - f/(-63) a prime number?
True
Let y = 24 - 40. Let p be ((-6)/(-4))/(6/y). Let f(c) = -2*c**3 - 3*c**2 - c + 5. Is f(p) a composite number?
False
Suppose -261*x + 273*x - 790692 = 0. Is x a composite number?
True
Suppose d = 2*d - 350. Suppose 0 = -2*z + d + 20. Let j = 574 - z. Is j composite?
False
Let q = -2953 + 4166. Is q prime?
True
Let i = -70 - 9. Let j = i + 139. Let v = j + -37. Is v prime?
True
Suppose -x - 4 = 0, -x = 2*y - 4*y + 28. Let l(r) = 403*r + 1. Is l(y) composite?
True
Let c(j) = 419*j - 6. Let z be c(-8). Let i = z - -1852. Is (-4)/6 - i/18 prime?
True
Suppose 3*o - 657 = 2*o. Suppose 4*w - o - 1787 = 0. Let k = w - 364. Is k composite?
True
Is 10445 + 32/(-8) + 0 prime?
False
Let t(r) = 0*r + 9*r + 5*r**2 + 1 + 7*r**2. Suppose -n - 2*n - 18 = 0. Is t(n) a prime number?
True
Suppose 0 = -2*v + 4*u - 6, 3*v - u - 6 = -0*u. Suppose -3*x - 26 = -a, 4*x + 13 = -0*a - v*a. Is -12*1*x/4 a prime number?
False
Let c(i) = -i**3 + 17*i**2 + 13*i + 35. Is c(16) prime?
True
Let c(u) = 354*u**2 - 9*u + 41. Is c(4) a prime number?
True
Is (-6 - 104/(-16))*11746 prime?
False
Let w be (5 - 2)*(-1)/(5/(-5210)). Is w*1*14/28 a composite number?
True
Suppose y - 3*g = -209 + 1544, -3*g + 2652 = 2*y. Let r = y - -308. Is r a prime number?
True
Let d(l) = 1900*l - 7. Is d(2) composite?
False
Let c = 126 - 125. Let m be ((-8)/6)/2*3. Is ((-47)/m)/(c/2) a composite number?
False
Let j = 72 + -52. Suppose 0 = 27*s - j*s - 2233. Is s a prime number?
False
Is 2/(-3 - (-33)/9) + 1264 composite?
True
Let k(b) = 208*b + 12. Let s be k(6). Suppose s = 5*l + z, 0*z = 5*l - 5*z - 1230. Is l composite?
False
Suppose a + 21*j - 11107 = 16*j, 11147 = a - 5*j. Is a a composite number?
True
Suppose 6*m = 7*m - 4035. Suppose -71*k + 74*k - m = 0. Is k a prime number?
False
Let b(u) = 5*u**2 + 24 - 13 + u + 12*u**2 + 3*u**2. Is b(-8) a prime number?
True
Let x be 174/4*18 + -20 + 17. Is x - (5 - 5 - 1) composite?
True
Let t = 587 - 235. Suppose -t = -3*z + 407. Is z prime?
False
Suppose -6*l + 6423 = -141135. Is l a prime number?
True
Let s(x) be the second derivative of -917*x**6/120 + x**5/60 + x**4/12 + x**3/6 - 2*x**2 - 4*x. Let o(h) be the first derivative of s(h). Is o(-1) composite?
True
Suppose -5 = -5*j + 5*y, -4*y + 0 = -j - 2. Let i(r) = 7*r - 19. Let m be i(3). Suppose l - j*z - 79 = 23, 8 = -m*z. Is l composite?
True
Let p be 4 + ((-4)/1)/2. Suppose 2*c + 639 = y, 2*c + 1278 = p*y + c. Suppose -1085 = -4*g + y. Is g composite?
False
Suppose -4*i + k + 15287 = 0, -10*k = -11*k - 3. Is i a composite number?
False
Let p be 1*6*(-46)/4. Let r = -127 - p. Is r*(-2)/8*10 a composite number?
True
Suppose d + 2*v - 437 = 0, 3*v + 1347 = 6*d - 3*d. Is d a pri