392*s**3 + 4*s**2 + 7*s + 2. Is w(-1) composite?
False
Suppose 0 = -2*r + a - 0*a + 12, 3*r = -3*a + 9. Let v be (0 + 2)/(r/10). Suppose 0*m + 5*l = -v*m + 144, 35 = m + l. Is m prime?
True
Suppose 9*s = -10*s + 8*s. Suppose s = 4*t + 10*t - 38234. Is t composite?
False
Is (-12)/(936/(-63947))*6 composite?
False
Let b = -1656 + 2563. Is b composite?
False
Let q = 194 - -226. Suppose 0 = s - 2*w - 1981 + q, -4674 = -3*s - 3*w. Is s prime?
True
Suppose p - 49 = -150. Let x = 1105 - p. Suppose 0*c - 6*c + x = 0. Is c prime?
False
Let q = 8803 + -4086. Is q composite?
True
Suppose a - 18 = -a. Suppose -4*w + w + a = 0. Is (-158)/(-8)*12/w composite?
False
Suppose 12 - 15 = -k. Suppose -f + 24 = -5*m, -2*f - 2*m + 66 = k*f. Is f prime?
False
Is (-1)/(-2)*(1732 + -48) composite?
True
Let c(f) = 15*f**2 + 13*f + 6. Let q be c(-15). Suppose 3*s = q - 627. Is s prime?
True
Suppose 0 = -4*s + o + 1070 + 1767, -o + 3 = 0. Suppose 7*q + s = 12*q. Let b = q - -301. Is b prime?
True
Suppose 4*q + 4 = 5*u + 10, 2*u = 4. Let c = 14 + -9. Suppose -3*f + 333 = -3*r + 7*r, c*f + q*r - 563 = 0. Is f a composite number?
True
Let f(d) = -55*d + 46. Let g be f(-7). Suppose -w + g + 90 = 0. Is w composite?
False
Suppose -5*s + 21 = -4*y, 3*s - y - 11 = 3*y. Suppose 2*h = 683 + 4155. Suppose 0 = -4*n + s*p + 333 + h, 3*n = -p + 2045. Is n prime?
True
Let j(k) = 3106*k - 59. Is j(7) a prime number?
True
Let q(r) = r**3 + 28*r**2 + 62*r + 25. Is q(-18) a composite number?
True
Let m be 2142/(-90) + 1/(-5). Is ((-396)/m)/((-1)/(-2)) composite?
True
Suppose 0 = -5*l - 3*w - 10, 3*l - 6*w = -2*w - 6. Let x be (-3 - l)/(4/(-20)). Suppose x*a - 2*a - 4*c - 389 = 0, 637 = 5*a - c. Is a a prime number?
True
Let k be (2/(-4))/(4/48). Let v be (228/9)/((-1)/k). Let x = v + -78. Is x prime?
False
Is 1/5 - (-19720)/25 a composite number?
True
Suppose -25 = 5*h - 5*m, -5*h + 3*m = -0*h + 25. Let n(g) = -g - 5. Let c be n(h). Suppose -f + 0*f + 5*s + 233 = 0, c = -4*s - 16. Is f a prime number?
False
Suppose -4*d - 141 = -l, -3*l - l = -4. Let m be 14/d*(10 - 0). Is 26 - (-2 - m)*2 a composite number?
True
Let d(a) = -178*a + 25. Let o be d(-12). Suppose -4*h = -3 - o. Is h prime?
True
Suppose -2*z - 3 = z. Is z - 12/(-20) - (-6297)/5 composite?
False
Let s(z) = z**2 - 12*z + 1637. Is s(0) composite?
False
Let m = 28 + -20. Suppose -9*p = -m*p - 407. Is p prime?
False
Is (-26 - -27) + 0 + 20073 prime?
False
Let r = 56 + -51. Suppose -5*p - 3*z = -336 - 4096, r*z = -2*p + 1769. Is p composite?
False
Suppose 28*s - 33*s + 2870 = 0. Suppose 3*p - 2669 = s. Is p composite?
True
Is (119123/(-2) - 2)*(-232)/348 a prime number?
True
Let q(t) = 45*t + 31*t + 2*t. Let v be q(2). Suppose 3*c + y - v = 2*c, -482 = -3*c + 4*y. Is c a composite number?
True
Let a(t) = -t**3 + 4*t**2 - 4*t. Let i(r) = 2*r + 3. Let x be i(0). Let m be a(x). Let p = m - -9. Is p a composite number?
True
Is (-6999)/(-6)*(8 + 2 + -8) prime?
True
Is (-8)/(-10) - 9507771/(-455) prime?
True
Let w = 6896 + -2575. Is w composite?
True
Suppose 5276 = -171*p + 175*p. Is p composite?
False
Let b(v) = -v - 11. Let z be b(24). Is 2*((-5484)/(-30))/((-4)/z) prime?
False
Suppose 18*s - 19*s - 3*l + 2318 = 0, 3*s - 6961 = -2*l. Is s composite?
True
Suppose -5*k + 2*u - 19 = 0, -2 + 0 = 2*k + 2*u. Let x(p) = 4*p + 2. Let l be x(k). Is (-2)/l - 1628/(-10) a prime number?
True
Let z = 49 + 538. Is z a composite number?
False
Let z = -877 + 1139. Is z a prime number?
False
Suppose 2*w + 4*a + 7 - 1 = 0, -a = 4*w - 9. Suppose 0 = w*j + 3*i - 513, -3*i + 8*i - 687 = -4*j. Let y = j - -11. Is y a prime number?
True
Suppose 0 = 2*z + 20*z - 184866. Is z a prime number?
False
Suppose 0 = -2*k - 2*p + 187 + 7, -4*p = 5*k - 484. Suppose 0 = -5*h + 36 + 59. Suppose -k = -w + h. Is w a prime number?
False
Let s be (-14)/28 - (-26)/(-4). Let f = s - -9. Suppose 2*j = 4*o + 318, -f*j - 4*o + 322 = -6*o. Is j a prime number?
True
Let l(f) = 11 - 2*f**2 - 7*f + 0 + 7*f**2. Is l(6) a prime number?
True
Suppose 0 = 2*c + c + h + 51, -5*h - 15 = 0. Let t = c + -35. Is t/(-7) - (-4)/(-14) a composite number?
False
Let n(v) = 111*v - 18. Let l be n(-4). Let u = -227 - l. Is u a composite number?
True
Let q be (-78)/(-9) - (-1)/3. Suppose 5*f + q = 44. Suppose -465 = 4*a - f*a. Is a a composite number?
True
Let t(k) = -1087*k + 49. Is t(-44) prime?
False
Let r(i) = 93*i + 15. Let x be r(-9). Is -2 + x/(-2) + -2 a prime number?
False
Suppose -5*m + d + 5465 = -1493, 0 = 5*m + 2*d - 6949. Suppose 0 = -3*l + m + 370. Is l a prime number?
True
Let r = -75 - -74. Is r/4 - -706*111/24 a prime number?
False
Suppose 175648 = 37*n - 167934. Is n composite?
True
Let w = -2946 + 7049. Suppose 4*z - o - 3282 = 0, -4*o + 5*o = 5*z - w. Is z a composite number?
False
Let m be (-10*6)/(66/12 - 4). Is (-8)/m + 2434/5 a composite number?
False
Let j = -10745 + 16936. Suppose -6*s + 1375 = -j. Is s composite?
True
Let q(t) = 2*t**2 - 6*t - 57. Is q(11) a composite number?
True
Suppose 0 = -4*u + 5*j - 13, 0 = -4*u - 0*j - 2*j + 22. Let t(r) = -2*r**3 - 2*r**2 - 4*r - 1. Let p(d) = -d**3 + d**2. Let s(a) = p(a) - t(a). Is s(u) prime?
True
Let i(t) = -3*t**2 + 6*t - 9. Let l be i(3). Let s(b) = -b**2 + 10*b - 14. Let k be s(11). Let n = l - k. Is n a prime number?
True
Suppose -4*r + 3*s + 118499 = 0, 2*s + 25 = 15. Is r prime?
False
Suppose 5*o - 271 = 394. Is o a prime number?
False
Let m = -57 - -64. Suppose 0 = -m*o + o + 1722. Is o a prime number?
False
Suppose -24*z + 81729 = 3*z. Is z prime?
False
Let r(t) = t**2 + 14*t + 11. Let m be r(-13). Let b = -6 - m. Let j(o) = -4*o**3 - 3*o**2 + 3. Is j(b) composite?
False
Suppose 0 = 5*c - 2*c + 30. Let u be (-5)/(-25) - 38/c. Suppose 8*i - 84 = u*i. Is i composite?
True
Let f(i) = 3*i**3 - 53*i**2 + 29*i - 7. Is f(32) a composite number?
False
Let n(k) = 13*k - 19. Is n(6) composite?
False
Let g(t) = t**3 - 9*t**2 - 2*t - 53. Is g(11) composite?
False
Suppose 3*b - 4*b = 274. Let h be 4/(-18) - (-4708)/(-36). Let g = h - b. Is g a composite number?
True
Suppose c = 3 - 1. Suppose c*z - 6*z + 8 = 0. Suppose -4*p = -z*p - 38. Is p a prime number?
True
Suppose 0 = -3*g + 3*w + 109158, 3 = -w - 0. Is g prime?
True
Suppose 1 - 2 = -4*w - 5*z, 1 = z. Is w/(-2) - (-325)/2 composite?
False
Let f = 36 - 99. Let q = 109 + f. Suppose 0 = -5*g + q + 739. Is g composite?
False
Is -77929*((-20)/14 - 3/(-7)) a prime number?
True
Let u(s) = s**3 - 4*s**2 - 6*s + 2. Let p be u(4). Let x = -23 - p. Is x/(-4) + 819/4 a composite number?
True
Is 2 + (-1)/((-1)/12447) prime?
False
Suppose 11758 = 4*j + f, -4*j + j + 5*f + 8807 = 0. Is j a composite number?
False
Is (-6)/39 - (-538657)/13 composite?
True
Let n(p) be the third derivative of -17*p**4/24 - p**3/6 + 3*p**2. Let c be n(-1). Suppose -o = c - 55. Is o composite?
True
Suppose -3*g = 5*p - 2704, -g = -0*g - 3. Let t = -18 + p. Is t a composite number?
False
Let x(l) = -3*l + 13. Suppose -13 = -3*j + o, -2*j + o - 3 = -13. Suppose 3 + j = -r. Is x(r) composite?
False
Suppose 0*u - 4317 = -3*u. Is u a composite number?
False
Let v(p) = 3*p**3 + p. Let j be v(1). Let w be 9589/5 - j/(-20). Suppose -l - 2*l = 4*h - 1943, h + w = 3*l. Is l a prime number?
True
Let d(s) = -353*s - 1. Let g be d(2). Let v(t) = -t**3 + 25*t**2 - 30*t + 20. Let h be v(21). Let o = h + g. Is o prime?
False
Suppose -10*j = -17007 - 22063. Is j composite?
False
Suppose 3*x + 102 = -210. Let h = x + 195. Is h a prime number?
False
Let a(y) = -y**2 + 6*y - 3. Let o be a(4). Suppose -4194 = -o*t + i - 0*i, 3*i - 1664 = -2*t. Suppose t = -2*b + 4*b. Is b prime?
True
Let q = 103 - 543. Let s(y) = 229*y**3 - y - 1. Let t be s(-1). Let h = t - q. Is h a composite number?
False
Let h = 19892 + -10953. Is h a prime number?
False
Let f = 9 + -6. Let j(i) = -2*i + i**2 - 137 - 136 + 272 + 7*i**3. Is j(f) prime?
True
Suppose 33 = -5*a - q + 7, 3*a - 4*q = -11. Let z be 4/6*(-30)/a. Is 7325/55 - z/22 a composite number?
True
Suppose 91*s - 4*j = 87*s + 203112, -2*s - 2*j = -101536. Is s prime?
True
Let h = 7554 + -5219. Is h prime?
False
Suppose -22*o - 7742 = -36*o. Is o a composite number?
True
Let b = 41 - 13. Let w = b + 465. Is w a prime number?
False
Let n(h) = h**2 - 15*h + 1. Let m be n(15). Let a = -1 - 0. Is (-