osite number?
True
Is 3/((-105)/(-56)) + (-1427)/(-5) a composite number?
True
Suppose -21 = 3*a, -2*z + 2*a + 3806 + 74014 = 0. Is z prime?
True
Let n be 6/(-4) + (-7)/(-2). Suppose 5*o - n - 13 = 0. Suppose 2*z - 3*q - 1105 = z, -q = -o*z + 3347. Is z prime?
True
Let x = -1 + 3. Let j be 22/44 + 1/x. Is (-4 + 1979)/5*j prime?
False
Let p = -235338 - -423587. Is p a composite number?
False
Suppose 4*a = 5*m - 6*m + 2623, -3*a + 4*m = -1991. Let k = 136 + a. Is k composite?
True
Let y = 4693 - 4472. Is y composite?
True
Let a = 5025 - 8311. Let u = a + 7848. Is u a prime number?
False
Suppose 0 = v - 4*l - 378423, 5*v = 3*l - 22*l + 1892193. Is v a composite number?
True
Let g(r) = 339*r**2 + 4*r + 16. Let k be g(-4). Suppose k = 5*s - 3401. Suppose -5*p + s = -t, p + 5*t - 353 = -0*p. Is p a prime number?
True
Suppose 0*u + u + 4*o = -1291, -2*o + 6499 = -5*u. Let v(c) = 4*c**3 + 11*c**2 - 21*c - 16. Let b be v(-9). Let f = u - b. Is f a composite number?
True
Let o = 694 + -439. Suppose o = v - 2534. Is v a composite number?
False
Let p = 66 - 64. Is 1660 + ((-6)/(-10))/(p/(-10)) composite?
False
Let v(d) be the third derivative of d**4 + 17519*d**3/6 + 261*d**2. Is v(0) a composite number?
False
Let z = -150915 - -288722. Is z composite?
True
Let s(j) = -j**3 - 27*j**2 - 50*j - 14. Let m be s(-19). Let b = m + 4849. Is b a composite number?
False
Suppose 48*h - 57*h = -4707. Let w be (-4804)/(-6) - 6/(-18). Suppose 4*r - h = w. Is r a prime number?
True
Suppose 1446*i - 1450*i = 4*l - 3768436, -942129 = -l + 4*i. Is l a prime number?
True
Is (-4 - 1)/20*0 + 151703 prime?
True
Suppose 2*w + 217 = 3*z, 4*z - 107 - 154 = -3*w. Is z a composite number?
True
Suppose -6390 - 6410 = 2*p. Let x = -4463 - p. Is x a prime number?
False
Suppose -14 + 4 = -2*n + 2*a, 25 = -2*n - 5*a. Let r be 4834/14 - n - 30/105. Let g = r + 242. Is g prime?
True
Let u = 202 - 194. Suppose u*b = -3*b + 184921. Is b composite?
False
Let p(m) = m**3 + 9*m**2 + 11*m + 32. Let x be p(-8). Suppose 7*w + x = 8. Suppose 2*a - 10143 + 2257 = w. Is a a composite number?
False
Let g(k) = k**2 - 6*k - 18. Let y be g(8). Let n be (y/2)/(6/(-30)). Is n/10 - 762/(-4) composite?
False
Suppose -k - 12 = -g, 3*g - 3*k = -4*k + 24. Suppose -7247*w + 16 = -7243*w. Suppose -g*c + 6245 = -w*c. Is c prime?
True
Let p(l) = 2*l**2 + 3*l + 9. Let v(n) = -12*n + 8. Let r(m) = 11*m - 7. Let d(z) = -6*r(z) - 5*v(z). Let s be d(2). Is p(s) a composite number?
False
Let k = -302 - -504. Let r = k - -21. Is r a prime number?
True
Let a(j) = -8*j**3 + 32*j**2 + 332*j + 99. Is a(-41) prime?
False
Let v(a) = 7324 - 7324 + 76*a. Let g be v(-14). Is ((-11)/((-44)/g))/(-2) a prime number?
False
Let i(x) = -2748*x + 95. Is i(-18) a composite number?
False
Is -1 - 48447*(-10 + 9) a prime number?
False
Let t(i) = i**3 - 4*i**2 - i - 4. Let k be t(4). Let o be (-18 - k)*2/(-10). Let c(r) = 67*r**3 - 3*r**2 - 5*r + 3. Is c(o) prime?
False
Suppose 3*s - 20432 = 33*i - 38*i, 5*i - s = 20436. Is i composite?
True
Let o(j) = -10 - 107 - 40*j - 91 + 47. Is o(-39) composite?
False
Let q(r) = -9*r**3 + 2*r - 5. Let y be q(3). Let v = -1078 - y. Let u = 1005 - v. Is u a composite number?
True
Is 60968 + 13/(143/(-77)) a composite number?
False
Let m(c) = 580*c**2 + 136*c - 27. Is m(13) a prime number?
True
Suppose -4*q = 9 - 21. Suppose q*r = c - 2426, -15*r - 12040 = -5*c - 18*r. Is c prime?
True
Suppose 2*y - 5*w = 4*y + 319, -2*w = 4*y + 646. Let p = -287 + 442. Let l = p - y. Is l composite?
False
Suppose 162 = -8*t - 438. Let w = 68 + t. Let y(l) = -25*l + 28. Is y(w) a composite number?
True
Suppose -4*b = 20 - 36. Let i(y) = 3 + 15*y + y**2 - 35 - b. Is i(-22) a composite number?
True
Let f = 16 + -13. Let c(w) = w**3 - f*w**2 - 2965*w + 11 + 2949*w + 14*w**2. Is c(-9) a composite number?
False
Suppose i = 3*v - 1718, 10*i - 6*i - 1136 = -2*v. Suppose -42*h + 38*h + v = 0. Is h a composite number?
True
Is (18 - (40 - 19))/((-3)/494317) composite?
False
Suppose -3242257 = -100*f - 169*f. Is f prime?
False
Suppose 3*f = 5*p - 1035911, 5*p - 263*f - 1035915 = -258*f. Is p prime?
False
Let m(n) = -40*n**2 + 8*n - 9. Let s(g) = -79*g**2 + 16*g - 17. Let z(o) = -9*m(o) + 4*s(o). Let r be (155/(-35) - -5)/(1/7). Is z(r) prime?
False
Suppose 0 = 3*j + 7 + 5. Suppose -11*r + 1967976 = r. Is j/(-26) + r/234 a composite number?
False
Suppose -4*c + 13*s + 2228608 = 15*s, 5*s - 2228602 = -4*c. Is c a prime number?
True
Let a(q) = 943*q + 365. Let p(w) = 5. Let h(z) = -a(z) + 3*p(z). Is h(-33) a composite number?
True
Let w = -717 - -250. Suppose 2031 = 5*c + 6271. Let n = w - c. Is n a prime number?
False
Suppose -1164 = -2*h - 6*c + 10*c, 0 = -3*c + 3. Let p = 2433 + h. Is p prime?
False
Let t be 131 + (2/3)/(6/27). Let o = 577 + t. Let i = o + 8. Is i a composite number?
False
Let x(i) = -29*i - 6. Let o be x(7). Let v(w) = 46*w + 1678. Let y be v(-25). Let g = o + y. Is g a composite number?
True
Let p(x) = 60*x**3 + x**2 + 1. Suppose -d = 2*g - 9, d - 12 = -g + 3*d. Suppose 3*v = 5*n - 16, 3*v - g = n - 14. Is p(n) a prime number?
False
Let m(v) = 95142*v**2 + 12*v + 61. Is m(-4) a prime number?
False
Let g = 53389 - -13858. Is g composite?
False
Let m = -159442 - -380063. Is m prime?
False
Let h(z) = -105*z + 58. Let i(p) = -35*p + 19. Let u(w) = -3*h(w) + 8*i(w). Let x(v) = v + 1. Let q(a) = u(a) - x(a). Is q(10) composite?
False
Let o = 120081 - 32326. Is o a composite number?
True
Is 37035 + (6/(-21))/(((-24)/8)/42) composite?
False
Let s(w) = 12*w**2 - 41*w + 43. Is s(24) prime?
False
Is 33 + 4791 + 7*1 composite?
False
Suppose 8*t - 2616 = 3704. Suppose d + t = -5*b, 0*b + 3835 = -5*d - 2*b. Let p = d - -1306. Is p composite?
False
Suppose 5*w - 34427 = -i, 0*i - 27532 = -4*w - 4*i. Suppose 2*p - w = -988. Let v = -1612 + p. Is v composite?
True
Let m = -61 - -85. Is ((-5277)/(-4))/(-5 - (-138)/m) composite?
False
Let m be -8 + (-20)/(-4) + -1 + 19. Let d(j) = j**3 - 8*j**2 - 23*j + 17. Is d(m) a prime number?
False
Suppose 4*p - 9 = j, -4*p - 2*j - j + 21 = 0. Let t be (p + 58)/(747/(-375) - -2). Let v = -1090 + t. Is v prime?
False
Suppose -12 = 2*j - 6*j. Suppose 4*l + 7 = c, -l = -6*l + j*c. Is 350*4 + l/3 composite?
False
Let t(i) = 7 - 11*i + 49*i**2 - 18*i + 106*i**2 + 187*i**2. Let z be t(5). Suppose -d - 88 = -5*r - 2191, -4*r + z = 4*d. Is d prime?
False
Is (-250365)/3*(-6)/30 a composite number?
False
Suppose 22*c - 14653848 = 181*c - 55617495. Is c a prime number?
False
Suppose 0 = -2*j - 4*h - 6, -7*j + 2*j = -4*h - 13. Let n be (j/2)/(8/(-96)). Let g(t) = 26*t**2 - 13. Is g(n) a prime number?
False
Let t = 499 + -495. Suppose o + t*u - 325 = 0, 4*o + 2*u - 1282 = 4*u. Is o prime?
False
Suppose 12 = -i - 7*h + 3*h, 3*h = i + 5. Let u(w) = -12*w**3 - 3*w**2 - 7*w - 27. Is u(i) prime?
True
Suppose 4*y + z + 2004 = 0, 2*z + 2502 = -y - 4*y. Is (46/(-4))/(1/y) a composite number?
True
Let u = -36 - -36. Suppose -5 = r + 5*x, 4*r - x + 5 - 27 = 0. Suppose u = 5*c - i - 690, -r*c - 2*i + 365 + 340 = 0. Is c a prime number?
True
Let g be ((-195)/26)/(1767/1770 - 1). Suppose 5*d - 1572 + 8967 = 5*s, 3*s - g = -3*d. Is s composite?
True
Suppose 5*g = -2*z + 1253591, 3*z - 442089 - 560774 = -4*g. Is g prime?
True
Let j = 1970 + -1283. Let i = j + -377. Suppose 0 = 3*c - 179 - i. Is c prime?
True
Let q = -23695 + 14444. Let x = q - -13672. Is x a prime number?
True
Let d = 18511 + -12752. Let u = d - 3990. Is u a prime number?
False
Let b = 8506 - -23437. Is b a composite number?
True
Let l = -609162 + 1644265. Is l a composite number?
True
Let w = 3344 + -2024. Suppose -w - 4524 = -2*b + h, -4*b - 5*h + 11674 = 0. Is b prime?
False
Let r(g) be the first derivative of -165*g**2/2 + 5*g - 20. Let f be r(5). Let i = f + 1959. Is i composite?
True
Let n(a) = 367*a**3 + 11*a**2 - 76*a - 1. Is n(7) a composite number?
False
Suppose i - 1 = z + 1, i = 4. Suppose 8 = z*p - 4*w - 0, -3*p + 5*w + 8 = 0. Is ((-73256)/20)/(p/10) a prime number?
True
Suppose -2*u - 897 - 1205 = -2*m, -2108 = 2*u + 4*m. Let f = 56 - u. Suppose -2*l + o = -1024, -2*l - o + f = 88. Is l a prime number?
False
Let w(s) = s**3 + 33*s**2 - 65*s + 58. Let f be 4 + (5*5/25 - 38). Is w(f) a prime number?
True
Let o(g) = -5*g**3 + 75*g**2 - 4*g