25 = 0, 0 = -n + x + 2 + 1. Suppose n = y + 10. Is s(y) a composite number?
True
Suppose 0 = -2*b + 4*q + 14406, -2930 = b - 5*q - 10139. Is b a composite number?
True
Let v(h) = -h - 2. Let x be v(-5). Suppose 4*n - 32 = -x*s, -n = -s - 0*s + 6. Let d(w) = 32*w + 1. Is d(s) a composite number?
False
Let o be 4 - (-2 + 1)*-3. Let k(f) = 4*f**3 - 2*f + 1. Let q be k(o). Suppose -q*y = -843 - 108. Is y composite?
False
Let p = -2863 - -4093. Suppose 3*a - p = -405. Let s = 138 + a. Is s prime?
False
Let n be (-3 + (-10)/(-4))*-40. Is 2/((n/995)/2) a prime number?
True
Suppose 4*s + 604 = 2*c, c - 5*c + 1196 = -4*s. Suppose -10*y = -4486 + c. Is y composite?
False
Suppose 5*x - 7 = 3. Suppose x*m - 2*g - 324 = 0, 0 = 5*m + 3*g - 567 - 227. Suppose -u = 5*r - 93, 2*u - 4 - m = r. Is u a prime number?
True
Let z = -6838 + 20939. Is z a prime number?
False
Suppose 0 = 3*y - 4*v + 17, 0 = -2*v + 3*v - 2. Let r be 8/(-24) - 13/y. Suppose 0 = 6*s - r*s + 2*l - 260, -4*s = l - 511. Is s prime?
True
Let b = 5766 - 8780. Let m = -1879 - b. Is m composite?
True
Let v be 225*10 - (-2)/(-2). Suppose 4*p - 1788 = -4*k, 7*k - 2*p - v = 2*k. Is k composite?
False
Let b be (-4)/(-14) - (-400)/(-28). Let u = 16 + b. Is (-333)/(-6) - 1/u a composite number?
True
Let k(q) = -15*q**3 + 9*q - 3. Let m(r) = -7*r**3 + 4*r - 1. Let c(j) = -2*k(j) + 5*m(j). Suppose -6*d = 1 + 11. Is c(d) a composite number?
False
Let u be ((-14)/49)/(2/(-14)). Suppose -s + c + 10 = -4, -u*s = -3*c - 32. Let d(v) = 2*v**2 + 2*v + 3. Is d(s) composite?
False
Let c(r) = 1345*r - 2. Let g be c(2). Suppose -3*f + 2*q = -g, 0*q = 2*f + 4*q - 1808. Suppose -5*i + f = -997. Is i prime?
True
Suppose 6*w = 10*w - 5*r - 106489, 3*r - 79860 = -3*w. Is w a prime number?
False
Let v(t) = 819*t**2 - t + 11. Is v(-4) composite?
True
Suppose -25600 - 16332 = -4*t. Is t a composite number?
True
Suppose -6*i + 2*i - 384 = 0. Let q = -247 - -24. Let p = i - q. Is p a composite number?
False
Let l = 1413 - -298. Is l a composite number?
True
Let g = 19864 - -22473. Is g a composite number?
False
Let t be -6*(1180/15)/(-2). Is (t/8)/(1/2) a composite number?
False
Let n = -12 + 8. Let a be (4 - 4)*n/(-4). Suppose 2*y + a*q - 665 = 3*q, 2*q + 1679 = 5*y. Is y a composite number?
False
Suppose -5*m - 3 = 5*c + 2, 0 = -2*c - 3*m. Let g = 458 + -152. Is (g/(-3))/c + 3 prime?
True
Suppose k + 4*k - 24411 = -4*r, 0 = 4*r + 4*k - 24416. Is r composite?
True
Let n(m) = -103*m + 24889. Is n(0) prime?
True
Let h(k) be the second derivative of 7*k**3/2 + 7*k**2/2 + k - 67. Let u be (-9)/(-2)*24/9. Is h(u) composite?
True
Let d = 40 - 43. Let o be -2 + (-4)/6*d. Suppose o*k - 46 = -k. Is k a prime number?
False
Suppose 2*a + 1215 = -2*s - 10181, 3*a - 5*s + 17078 = 0. Is (a/(-112))/(4/14) prime?
False
Let z be 1/2 + 2/4. Is (-3)/(z + -4) - -330 a prime number?
True
Let i(n) be the first derivative of -n**4/4 + 14*n**3/3 - 6*n**2 - 17*n - 20. Is i(12) a composite number?
False
Let u be -3 - -1 - 8/(-2). Suppose -6 = u*y - y. Is (-78)/4*4/y prime?
True
Suppose 210 + 142 = 4*f. Let k = 190 - f. Let v = 205 + k. Is v a prime number?
True
Suppose 2*w = 2*m - 10, -w + 2 = m + 7. Suppose 3*z + 3*i - 324 = m, 0*i + 221 = 2*z + i. Is z a prime number?
True
Suppose 4*w = -2*q - 0*q + 16, 20 = 3*q + 4*w. Is 2/8 - (-7939)/q prime?
False
Let t = -22 - -74. Suppose -3*k - t = -22. Is (-2)/k + (-888)/(-10) composite?
False
Suppose 0 = -2*p - p - k - 4, -3*p = 2*k + 8. Let v be 5*(2 - 16/10). Suppose -g + v*g - 149 = p. Is g composite?
False
Is (-47392)/(-24)*(-3)/(-4) a composite number?
False
Let k be (-2)/(-3) - (-12)/9. Suppose n + k*n = 357. Suppose -2*x + 4*j + n = -7, 5*x + j = 260. Is x a composite number?
False
Let v = 11 + -5. Let s(l) = 15*l - 42. Let h(x) = 7*x - 21. Let q(i) = v*s(i) - 13*h(i). Is q(6) a composite number?
True
Let i be ((-1)/4)/((-14)/364)*-14. Is 725/65 - (-14)/i a composite number?
False
Suppose 2*y + y - 39 = -5*j, 5*j - 4*y = 18. Is (j - 1184/(-12))*(-3)/(-2) a composite number?
False
Is 29*((-5520)/(-18) + (-5)/(-15)) a composite number?
True
Let n(i) be the third derivative of i**6/120 + 3*i**5/20 - 7*i**4/24 + 23*i**3/6 - 12*i**2 - 2*i. Is n(6) a composite number?
False
Let c(g) = 236*g**2 + 17*g + 26. Is c(-4) prime?
False
Suppose 5*q + 4*a - a - 9 = 0, 5*a + 19 = 3*q. Suppose -2*h - 240 = -q*r, -r - 294 - 306 = 5*h. Let n = h + 171. Is n a composite number?
True
Let o(f) = -887*f + 799. Is o(-14) composite?
False
Let h = -1879 + 5042. Is h a prime number?
True
Let b be 1/2*8 - 3. Is 3/(3/761*b) prime?
True
Let v(u) = -76*u + 16 + 19 + 77*u + 1. Is v(7) prime?
True
Let r(k) = 22471*k - 2. Is r(1) a prime number?
True
Suppose 3*g + 26 + 4 = 0. Is 6807/5 + 14/g + 1 prime?
True
Let k(o) = 80*o**2 + 8*o - 75. Is k(7) a composite number?
True
Suppose -3*d - 5*m = 2*d - 105, -2*m + 59 = 3*d. Suppose -3*h = -v - d, -v + 2 + 5 = h. Suppose -f + 2*f = h. Is f a prime number?
False
Let b = -422 + 216. Is b/(-10) + (-12)/(-30) prime?
False
Let l be ((-86)/(-6))/((-1)/45). Let f = 342 - 1406. Let w = l - f. Is w a prime number?
True
Is (4/(-10))/(46/(-420785)) composite?
False
Suppose 18*x + 40 = 22*x. Let h(u) = -u - 7 + 7 + 3*u**2 + 11. Is h(x) composite?
True
Suppose 0 = -d - 2*d + 51. Let g = -2 + 8. Suppose -q = g - d. Is q prime?
True
Let x = 12101 + 10296. Is x a composite number?
False
Let x(w) = 41*w**2 - 4*w + 6. Let h(v) = -v - 1. Let f(p) = -2*h(p) + x(p). Let k be f(-6). Is (-6)/18 - k/(-6) composite?
True
Suppose 18*a - 755316 = -18*a. Is a composite?
False
Let w = 0 + 3. Suppose -7*d = -5*l - w*d + 725, 3*l = 2*d + 433. Is l a prime number?
False
Let a be -1*82*2/(-4). Let w(n) = -3*n**2 - 6 + 4*n - a*n**3 + 5 - 5*n + 0. Is w(-2) composite?
False
Let n(d) = 13*d + 3. Let j be n(3). Let b(c) = -18*c + 49. Let a be b(4). Let r = j + a. Is r a composite number?
False
Let d(i) = 8*i**3 - i**2 - 3*i + 3. Let y(m) = 4*m + 2. Let n be y(-8). Let u be 12/n + 24/10. Is d(u) prime?
False
Suppose -f + 0*f + o = -6808, 2*o + 6 = 0. Is f composite?
True
Suppose 0 = -5*d - 5*c + 6531 - 2261, -5*d = -c - 4252. Is d a composite number?
True
Is -7 - 0 - (1 - 6529) prime?
True
Is (280/30 + -9)/((-1)/(-2697)) a composite number?
True
Let a = -27783 - -53932. Is a composite?
True
Suppose 119401 = 4*w - 3*m, -3*w + 3*m + 96343 = 6793. Is w prime?
True
Let n(p) = p**2 - p + 0 + 4*p + 4*p - 15. Let u(l) = 5*l**2 + 36*l - 75. Let y(k) = 11*n(k) - 2*u(k). Is y(6) a composite number?
True
Let c(w) = 38*w**3 + 3*w**2 - 2*w - 26. Is c(5) prime?
True
Is (((-6896)/(-20))/(-2))/((-8)/380) prime?
False
Let l(q) be the third derivative of q**5/30 + q**4/24 + q**3/3 + 20*q**2. Let d(b) = -b**3 + 5*b**2 - 2*b - 5. Let s be d(4). Is l(s) a composite number?
False
Let a(i) = 10*i**2 - 18*i + 14. Let y be a(14). Suppose -y - 1267 = -7*z. Is z a prime number?
False
Let v be -98 + (1 - -2 - -1). Let l = -19 - v. Let c = 166 - l. Is c a composite number?
True
Suppose 3*n = 5*i + 2 - 6, -4 = -2*i. Suppose n*m + 2*r = -2*r + 446, 0 = -4*r. Is m prime?
True
Let c be (-4)/6 - (-12)/(-18)*5. Is c + (-52)/(-14) + 21573/21 composite?
True
Suppose -3*r = -9*r + 12. Suppose 5*i + r*u + u = 3190, 1908 = 3*i + 3*u. Is i a prime number?
True
Let k = 23 - 26. Let w be 16/(-12)*k/(-2). Is (0 - -142)/(w/(-3)) a prime number?
False
Let z = 291 + 1705. Let q = 3393 - z. Is q a composite number?
True
Suppose -4*o + 222 = -406. Is o prime?
True
Let t be (-5)/3 - (-8)/(-24). Let v be 1415 + (6 + -4)/t. Suppose 0 = -h + 3*h - v. Is h composite?
True
Let j(i) = -3*i + 33. Let y be j(10). Suppose 0 = 2*u + 5*c - 710, -1079 = -3*u - y*c - c. Is u a composite number?
True
Let k = -151 + 89. Let a = 130 + k. Suppose 0 = 2*v - 3*p - 145, 3*v - 4*p - a = 149. Is v prime?
True
Suppose -5*z - 18 - 9 = -4*l, 3*l = 3*z + 18. Suppose 4*s = s - l*a + 6, 0 = -3*s + a + 18. Is (184/20)/(1/s) a prime number?
False
Let g be 462/35 + 2/(-10). Suppose -4445 = -g*a + 8*a. Is a a composite number?
True
Suppose 4*b - b - 7525 = -f, -4*f = 3*b - 30118. Is f a composite number?
True
Let z(l) = -l**3 - 8*l**2 + 2. Let u be z(-7). Let k = 73 + u. Is k a composite number?
True
Suppose m - 3 = -0. Suppose -1263 = -a + 3*f + f, a - m*f = 1262. Is a a composite number?
False
Let z(