 -8*w + s = -5*w. Is w composite?
False
Suppose -6*y + 2*y + 3812 = 0. Suppose -2*f + y = 4*r + 155, -4*r = 3*f - 1187. Is f prime?
True
Let s be 57/9 - (-1)/(-3). Suppose -3*p + s*p = 4*i + 1, i + 1 = p. Suppose -2*f + 3*h = -323, -3*f - p*h + 465 = -h. Is f prime?
True
Let j(x) = -5*x + 2309. Is j(0) composite?
False
Let q(w) = 2413*w + 249. Is q(4) a composite number?
False
Suppose -13 - 11 = -4*p. Let r(g) = 295 + g**2 + 0*g**2 + p*g - 5*g. Is r(0) prime?
False
Let m be -9 - -1 - (-5 - -2). Let o = 1 - m. Suppose 595 = -c + o*c. Is c a prime number?
False
Let s(i) = 120*i**2 + 2*i + 7. Let t be s(-3). Suppose t = 3*a - 3002. Is a composite?
False
Let q = -14 - -4. Let y = 12 + q. Suppose y*i + 3 = 3*i, -3*i = 2*v - 527. Is v composite?
True
Suppose 1 = -4*t + 17. Suppose t*m - 24 = -4*h, 0 = -m - 5*h + 14. Suppose 0 = 2*g + 3*g - m*v - 4049, g - v = 810. Is g composite?
False
Let l be (-1)/(-1)*-1 + 3. Suppose -108 = f + l*f. Is (-107)/(-3*(-4)/f) a composite number?
True
Suppose -4*f - 8*f = -48. Suppose -5*a = -f*b + 5736, b + 5*a - 101 = 1358. Is b a prime number?
True
Let y = 4293 - 2793. Suppose -4*r + 1720 = -y. Suppose -5*t = -0*t - r. Is t composite?
True
Let w be (-4)/6*(-42)/(-28). Let a(z) = -509*z**3. Is a(w) prime?
True
Let a(m) = 25573*m**3 - 4*m**2 + 3*m + 1. Is a(1) a prime number?
False
Let n(x) = 1519*x**2 - 6*x - 3. Let r be n(-2). Suppose 5*m - r = -1290. Is m a prime number?
False
Let g = 10 + -16. Let m be (-30)/4*g/9. Let b(j) = 7*j**2 - 3*j - 3. Is b(m) composite?
False
Suppose 18*s - 874128 = 2*s. Is s prime?
False
Suppose -33*k = -39*k + 38526. Is k prime?
True
Is -4 + 14090/5 - -5 a prime number?
True
Let x = -12 - -16. Suppose -5*f = 4*m - 0*m - 471, 385 = x*f - 5*m. Suppose -2*s - 455 = -5*d, 2*d = -s + f + 96. Is d prime?
False
Suppose d = -m - 3, -2*d = -m - 2 + 5. Let r(a) = 161*a**2 - a + 1. Is r(m) a composite number?
False
Let z be 1 + -2 + 3 + 1. Let i(f) = -f**3 + 3*f - 3 - 3 - f**2 + 4*f**z - 4*f**3. Is i(-5) a composite number?
False
Suppose 8*r = 5*r + 52860. Let v = r + -11477. Is v prime?
True
Let c = 36 + -7. Let u(j) = j**3 - 11*j**2 - 9*j - 3. Let t be u(11). Let p = c - t. Is p composite?
False
Let l(f) = -f**2 - 11*f - 25. Let h be l(-6). Suppose 0 = -2*y - 6, -h*p = -4*y - y - 10520. Is p a composite number?
True
Let a = 22166 + -13363. Is a prime?
True
Suppose x + 9 = t - 4*t, 4*t + 12 = 5*x. Suppose 12*j = 7*j. Suppose 0 = -4*n - c + 506, j = 5*n - x*n + c - 633. Is n a prime number?
True
Let c = -297 - 147. Let m = 775 + c. Is m a composite number?
False
Suppose -4*t - 2*l + 451 = -1557, -5*l = -5*t + 2510. Is t*((-14)/(-28) - (0 + 0)) composite?
False
Suppose 5*p - 8*p = 4*g - 72125, -4*p = 5*g - 90155. Is g composite?
True
Let w(n) = 86*n**3 - 2*n**2 + 9*n - 16. Is w(5) a prime number?
True
Let f be (-8)/(-12) - (-170)/15. Suppose -4*n - 4*w + f = -n, -n = -2*w + 6. Suppose r - 2*l - 290 = n, 3*l + 584 = 6*r - 4*r. Is r a prime number?
False
Suppose -5*z - 3523 - 106 = -w, 3*z = w - 3637. Is w composite?
True
Is 1 - 5 - (-5 + 663*-6) prime?
False
Let d = -2214 - -3335. Is d composite?
True
Suppose 2*r - 2 = r. Suppose 2 = 7*a - 5. Is 0 + r + (a - -208) a composite number?
False
Let y(i) = 6*i - 3. Let h be y(1). Suppose -2*u + 1334 = 4*n, 2*u = -u + h*n + 2010. Is u composite?
True
Suppose 3*h - w = 1438, w - 611 - 825 = -3*h. Is h prime?
True
Suppose 2*t - y - 34 = 0, -3*y = -0*t + t - 24. Suppose 0 = t*b - 20*b + 3982. Is b a prime number?
False
Let l be (10 + -8)*(-3)/1. Let v be (-4)/((-8)/l)*-1. Suppose 36 = -v*h + 141. Is h composite?
True
Let p(l) = l**3 + 24*l**2 - 4*l - 38. Let s be p(-24). Suppose -s + 505 = 3*y. Is y composite?
False
Suppose -3*z = -2*i - 3, -4*i + i - 1 = -z. Is (2 + 1 - -8)/z a composite number?
False
Let q = -1323 - -2432. Is q prime?
True
Let p = 20 - 20. Suppose -2*u - 2037 = -5*k, p*u - u + 2049 = 5*k. Is k a prime number?
True
Let z(b) = 7325*b - 29. Is z(2) a composite number?
False
Suppose 2*b - 3 = -b. Let d = -65 + 54. Is (b - 2)*(-104 + d) prime?
False
Let m(l) = 22*l**2 - 52*l**2 - 23 - 13*l + 19*l**2 + 22*l**2. Is m(-5) composite?
False
Let v(m) = -m**2 - 10*m - 3. Let z be v(-10). Is ((-838)/(-4))/(z/(-6)) composite?
False
Let n(r) be the third derivative of r**4/24 - r**3/2 + 10*r**2. Let l be n(2). Let c(q) = -265*q**3 + q**2 - 1. Is c(l) a composite number?
True
Let v(r) = 42*r**3 - 2*r**2 + 1. Let i be v(-1). Let y = -52 - -201. Let s = i + y. Is s prime?
False
Let r be 3/(-3)*(-14 - -1). Suppose 0 = -4*p - 1 + r. Is 14*p*(-82)/(-12) prime?
False
Suppose 5*m + 4*z - 3185 = 0, -25*m - 4*z + 2552 = -21*m. Is m a prime number?
False
Let a(u) = 5*u + 1. Let l be a(1). Let s(b) = b - 1. Let g be s(l). Is g + 45 + 0 + 1 prime?
False
Let k(a) = a**2 + 4*a + 35018. Let m be k(0). Is m/26 + (0 - (-6)/39) a composite number?
True
Suppose 2*x - 17 = 13. Suppose 2*r - x = -1. Suppose -4*y = -r*y + 1581. Is y composite?
True
Suppose -3*r + 660 + 898 = t, -3*r = -t + 1528. Is t a composite number?
False
Suppose -4*n - n = 5*f - 30, f - 5*n - 24 = 0. Suppose 0 = -f*b - 2396 + 7409. Is b a prime number?
True
Let h = 21 + -11. Let w(v) = v**3 - 8*v**2 - 12*v + 11. Is w(h) composite?
True
Suppose 0 = 1231*k - 1235*k + 26732. Is k a prime number?
False
Let l be (-5)/(-2)*20/25. Suppose 0 = -l*x + 146 - 26. Suppose 0 = -0*v + 4*v - 2*i - 238, v - x = i. Is v prime?
True
Let x = 781 - -3840. Is x prime?
True
Let d be (-3)/(5934/29720 + (-1)/5). Suppose 0 = 4*h - d - 5104. Is h a composite number?
True
Let k(z) = 7173*z - 8. Is k(1) prime?
False
Let k = -97 + 186. Is k*(1 + -1 - -3) prime?
False
Let t be 1809/12 - 3/4. Suppose -x + 69 = -2*j, 2*x - t = 4*j + 4*x. Let m = 113 + j. Is m prime?
False
Let g(p) = -p**3 - 12*p**2 - 6*p - 5. Let f be g(-11). Is f/10*223/(-6) composite?
False
Suppose -2*o - 4*s + 56918 = 0, 2*o + s = -2594 + 59503. Is o a prime number?
False
Suppose 4*m + 0*m = -2*l - 158, 5*m = -5. Let v = -26 - l. Is v a composite number?
True
Let k be 1/(-1 - 6/(-4)). Let s be k/(-10) - 32/(-10). Suppose 0 = -5*l - s*z + 334, 0*l - 3*z = -2*l + 121. Is l a composite number?
True
Suppose -5 = 4*x - 2*n + 13, -5*x - 25 = -5*n. Is x/(-8)*-1642*1/(-1) a prime number?
True
Suppose -85729 + 322510 = 9*d. Is d prime?
True
Let g = -4541 - -17574. Is g prime?
True
Let v(c) = 1044*c + 5. Is v(57) prime?
True
Let v = -51 - -63. Suppose -v = -3*r, -2*r + 13754 - 4076 = 5*p. Is p prime?
False
Let i = 2189 + 2474. Is i a composite number?
False
Let i = -6 - -8. Let c(k) = -2*k**2 - 1. Let b be c(i). Is 2 + (b + 2)/(-1) a composite number?
True
Let j = 10824 + -6806. Suppose 0 = u - 2, 0 = 2*x + u + j + 3076. Is -2*(-1 - x/(-8)) prime?
False
Let c be (-2604)/5 - 4/20. Let u = c + 1024. Is u a prime number?
True
Let f = 4537 - -3216. Is f a composite number?
False
Suppose -5*n - 49 + 9 = 0. Let m(f) be the second derivative of -f**5/20 - 3*f**4/4 - 11*f**3/6 - 5*f**2/2 + 7*f. Is m(n) composite?
False
Let v(y) = y**3 + 11*y**2 + 1. Suppose 0 = 4*a + 5*c - 0 - 9, 2*a = -c + 9. Let g be ((-60)/40)/(1/a). Is v(g) composite?
False
Suppose 16 - 64 = 4*h. Let m = -58 - -105. Let x = h + m. Is x prime?
False
Let d = -162 + 163. Let w be 2/(-4) + (-97)/(-2). Let f = w - d. Is f prime?
True
Let s(n) = -1549*n + 3. Let t = -77 + 49. Let b be (t/35)/((-4)/(-10)). Is s(b) composite?
True
Let q(c) = -3*c + 20. Let p be q(8). Is p/((-24)/9)*446 a prime number?
False
Suppose -20 = 3*k - 5*w, w + 0*w + 4 = -k. Let o = 20 + k. Is 5/o*339/1 composite?
False
Let u = -6846 - 3841. Let t = -7482 - u. Is t composite?
True
Let n = -1203 - -1786. Suppose -5*o + 3 = -12. Suppose -o*v + n = 46. Is v a prime number?
True
Let y(p) = p**3 - 14*p**2 - 42*p - 34. Is y(17) prime?
False
Let y(b) be the first derivative of 17*b**3/3 - b**2 - 4*b - 66. Let q = -2 - -5. Is y(q) a composite number?
True
Suppose -o - 17 = -4*v, -4*o + 19 - 70 = v. Let a be -2 + 0 + (1 - o). Suppose -307 = -p + a. Is p prime?
False
Let g = -2761 + 5663. Is g prime?
False
Suppose -742 = -3*v + 4337. Is v a composite number?
False
Let i(h) be the second derivative of 529*h**5/20 - h**4/6 - h**3/3 - 3*h**2/2 - 7*h. Let n be i(-2). Is ((-2)/3)/(18/n) a composite number?
False
Suppose -f + 5*g + 172 = -3*f, 241 = -3*f + g.