mposite?
True
Let q(x) = 146*x**2 + 10*x + 11. Let r be q(-6). Suppose -r = -3*p + 4891. Suppose -101 = 5*a - p. Is a composite?
False
Let d = -34 + 80. Is 4971/(-2)*d/(-69) a composite number?
False
Let s be -3*(-4)/(-12) - -13. Is (2 + 2358/s)/((-2)/(-4)) prime?
True
Suppose -29 = 3*b + 5*q, -4*b + 4*q - 31 = 3*q. Let x(z) = 9*z**2 + 12*z - 1. Is x(b) composite?
False
Let q be (64 - -6)*(-2)/5. Let p = 39 + q. Is p a prime number?
True
Let l be 5/10*8 + -1. Suppose 0 = -z - d + l*d + 1975, -d - 7893 = -4*z. Is z a prime number?
True
Is (13/4)/((-42)/(-32088)) prime?
False
Suppose 5*u + 458 = -5*f + 26483, -5*f = -2*u - 26039. Is f composite?
True
Suppose -6*x = -5*x + 2. Let y(t) = -141*t. Let f be y(x). Suppose -4*z + f = 5*m - 407, -5*m + 697 = 2*z. Is m a composite number?
True
Let k = -394 - -399. Let g be 6/(-4)*(-4)/2. Suppose -2*u = g*w - 953, -337 - 1268 = -5*w + k*u. Is w a composite number?
True
Let q = -7 + 7. Suppose 0 = -q*a - 3*a + 12. Suppose -42 = -3*c + f, -2*f - 1 = a*c - 47. Is c composite?
False
Suppose -3*r + 4*q + 1277 = -1163, 5*q = -r + 845. Suppose -2*l + r = 214. Is l composite?
True
Let s = 148 - 162. Let a(r) be the first derivative of -18*r**2 - 7*r + 2. Is a(s) prime?
False
Suppose -4*g + g + 3*a + 21 = 0, 3*g - 4*a - 21 = 0. Suppose 8*z - g*z = 869. Is z composite?
True
Let h(r) be the first derivative of -38*r**2 - 3*r - 1. Let a be (0 + 2)/2 - (-6 + 9). Is h(a) composite?
False
Suppose -s - u + 2 = -9, -2*s + 6 = -2*u. Is 15130/s + 6/(-14) composite?
False
Let a be 301*((-80)/35 + 4). Suppose a = 6*k - 1998. Is k a composite number?
False
Let j(v) = 44*v**2 + 0*v**2 + 5 - 4*v**2 + 4*v. Is j(-4) a composite number?
True
Let g = -19478 - -31869. Is g a prime number?
True
Let t(d) = 13*d**2 - d - 5*d**2 + 7 - d**3 + 10*d. Let s be t(9). Suppose 3*r = 4*n + 237, s*n - 3*n = 0. Is r composite?
False
Suppose -y = q - 6*y - 888, -q = -2*y - 900. Let s = 1919 + q. Is s a composite number?
True
Let y = -8474 + 13939. Is y a prime number?
False
Let o(v) = 213*v**2 - v + 3. Is o(-8) a composite number?
True
Let y = 4 - -1. Suppose -4*h = b + 69, -y*b = -21 + 6. Is h/27 - 239/(-3) a composite number?
False
Suppose -25 = 5*a, 0 = -4*s + 3*s - 4*a - 18. Is ((64/(-12))/8)/(s/(-66)) a composite number?
True
Suppose 4*b = -2*v + 3*b + 15, -21 = -v - 5*b. Is 4*(-201)/(-6)*v/6 prime?
False
Let r = 4095 + -2122. Is r composite?
False
Suppose 2*q - 36 = -2*q. Let d be (-12)/q + 88/(-6). Let k = d - -27. Is k a prime number?
True
Let u be (-4 - 4 - 0)*12/(-16). Suppose 3*f = 4*z + 330, z = -u*f + 11*f - 533. Is f composite?
True
Let t(p) = -p**3 + p**2 - 2*p + 2. Let f be t(0). Is 48 - 0 - (f - 3) prime?
False
Let w(a) = a**2 - 5*a + 3. Let v be w(4). Is v + 164 + (2 + -2)/3 prime?
True
Suppose -9*f + 1353 = -9636. Suppose 0 = 3*z + 2*m - f, -4*z = -3*z + m - 406. Is z a prime number?
True
Let z be 3*(2/(-4) - (-33085)/78). Suppose z = 6*r - 67. Is r a prime number?
True
Is -3*7/((-147)/30877) prime?
False
Let t = 46 - 42. Is 653 - t - 6/3 a prime number?
True
Is ((-56109)/15)/((-6)/30) a prime number?
False
Let h = 78 + 220. Is h prime?
False
Suppose 3*q - 9 = -3*d + 6, -9 = -3*q + 3*d. Suppose 3*g + 5347 = q*c + 8*g, 3*c + 3*g - 4014 = 0. Is c a prime number?
False
Let f(l) be the third derivative of -217*l**4/24 - 9*l**3/2 - 22*l**2. Is f(-8) a prime number?
True
Let b = 324 - 17. Let o = b - 43. Suppose -m - m = -5*d - o, -m + 121 = 3*d. Is m a prime number?
True
Suppose 18*l - 12546 - 20988 = 0. Let i = -1012 + l. Is i a prime number?
False
Suppose 5*i = -5*d + 3515, 2*i - 3509 = -d - 4*d. Is d composite?
False
Let p = 23055 - 7240. Is p a composite number?
True
Let k = -9 - -15. Let d = 15 + -4. Suppose -k*f + d = -2*h - f, 3*h - 36 = -3*f. Is h a composite number?
False
Let h(d) = -d**3 + 2*d**2 + 6. Let n be h(-5). Let s be ((-4)/1)/((-2)/n). Suppose s + 283 = 3*x. Is x prime?
False
Let v be 4 - 2/(2 - 0). Let b(y) = 14*y**2 + 3*y - 6. Let m be b(v). Suppose u = 944 - m. Is u a prime number?
False
Suppose -40*t - 156810 = -55*t. Is t a prime number?
False
Suppose -745 = 5*k - 2*c + 966, 8 = -4*c. Let m = k + 951. Let h = m + -409. Is h composite?
False
Is 2 + 1411 + (-12)/3 composite?
False
Let j(z) = 7*z - 6. Let k be j(2). Suppose -k*r = -6*r - 662. Is r prime?
True
Is (2/(-2))/(15/(-11355)) a prime number?
True
Let s = -4867 - -12366. Is s a prime number?
True
Let w(a) = -5*a - 2. Let d be w(-2). Suppose -5*u = -u - d. Let b = u + 147. Is b prime?
True
Let b(t) = 5*t + 4. Let u be b(-2). Let g be (u/(-2))/((-15)/10). Is (427 - 17)*g/(-4) a prime number?
False
Let a = 10960 - 7139. Is a a composite number?
False
Suppose -4*j + 5*r = -7 - 8, 3*r = -3*j + 18. Suppose -i = -2*m + j*m - 529, 0 = -2*i + 2*m + 1090. Is i a prime number?
True
Let n = 24 - 20. Suppose n*d = -0*b + 4*b - 552, 3*b + 4*d - 449 = 0. Is b composite?
True
Let r = -10 - -4. Let b be ((-9)/r - 2)*-6. Is (251/b)/((-3)/(-9)) a prime number?
True
Let z = 31 - 27. Suppose -2*b = -3*c + 4*c - 177, -4*c = -z*b + 336. Is b prime?
False
Suppose 0 = -4*m + 5*u + 32, 0*u - 4*u - 16 = -2*m. Let n(f) = f**2 - 11*f + 20. Let t be n(m). Is 0 - (t + 3 + -138) composite?
False
Suppose 25 = 5*w, -3*u + 2*w + 4996 = -u. Is u a composite number?
False
Suppose -5*q + 0*m - 17 = -4*m, 0 = 3*q - 2*m + 11. Let f be q/((-5)/59) - -2. Suppose -a + f = -856. Is a prime?
False
Let m(f) = 2*f**2 + 4*f + 8. Let d(c) = 3*c**2 + 9*c + 15. Let q(t) = -3*d(t) + 5*m(t). Let k be q(8). Is (k/(-6))/(2/(-452)) a composite number?
False
Let p(m) = -2*m**2 + 15*m - 12. Let c be p(11). Let g = c + 212. Is g/11 - (-4)/(-22) composite?
False
Let q be ((-183)/4)/(14/(-112)). Let u be 1*(-7)/((-21)/369). Suppose 0 = 3*z - q - u. Is z a composite number?
False
Suppose 0*x + 16 = 4*x, -3*x - 15249 = -3*h. Is h a composite number?
False
Suppose 0 = -4*i - i - 10, 2*j = i + 22. Let x = -6 + j. Suppose 4*m + x*h = 2488, 3*m + 2*h = 3*h + 1870. Is m a composite number?
True
Suppose -2 = -p - 15. Let b = -10 - p. Suppose -m + 899 = -b*i, 5*m = m + 5*i + 3568. Is m composite?
False
Let c(r) = -r**3 - 12*r**2 + 18*r - 3. Let s be c(-9). Let v = 745 + s. Is v composite?
False
Let q = -38290 + 119633. Is q a prime number?
True
Is (29010/(-20) - 6)*8/(-6) prime?
False
Suppose 20718 = 14*x + 4*x. Is x prime?
True
Let y be -2 + 5911 + (3 - (-4)/(-1)). Let b = 5 + -2. Suppose y = z + b*z. Is z a prime number?
False
Let f be (-55)/15 + (-2)/6. Is (2/(-4))/(f/664) prime?
True
Let z = 2397 - 1393. Suppose z = -41*a + 45*a. Is a a composite number?
False
Let m(w) = 19448*w**3 - 2*w**2 - 8*w + 9. Is m(1) a prime number?
True
Suppose -4*u = -2*d + 98954, -5*d = -4*d + u - 49474. Suppose 11*m = 6*m + d. Is m a composite number?
True
Let r = -10 - -13. Suppose -4*q + 11 = r. Suppose -q*y + 79 = -5*z - 245, 3*y - z - 473 = 0. Is y a prime number?
True
Let u = -226 + 437. Is u composite?
False
Let p(n) = -n + 8. Let a be p(7). Suppose -a = c + s, -5*c - s - 4 = 3*s. Suppose c = -21*o + 24*o - 93. Is o a composite number?
False
Let c(y) = 11403*y + 143. Is c(4) composite?
True
Let d(y) = 2*y**2 - 12. Let h be d(3). Is (398/6)/(2/h) composite?
False
Suppose -3*c - 2*k + 2551 = 0, c + 3*k - 809 = 32. Is c composite?
False
Suppose 0 = -9*k + 14*k - 9115. Is k a prime number?
True
Let n be 2404/2 - 0 - -2. Suppose 908 = -3*h + 4*w, -h + 5*h - 2*w + n = 0. Is h/(-8)*(-4)/(-6) a composite number?
True
Suppose -2895 = 2*p + 5*a + 130, -a = -3*p - 4529. Let o = 3581 + -1262. Let k = o + p. Is k a composite number?
False
Suppose 13*f - 1284 = 12*f. Suppose -f = -5*u - u. Is u composite?
True
Let w(o) = o**2 + 2*o - 1. Let r be w(2). Let k = -4 + r. Suppose 2*b = -2*l + k*b + 286, -3*b + 552 = 4*l. Is l a composite number?
True
Suppose -28 = -21*d + 17*d. Suppose 3*l - 1232 = -4*h, l - 1240 = -d*h + 3*h. Is h composite?
False
Suppose 4*f - 58 = -22. Is 163 + -3 - f/(-6)*-2 composite?
False
Suppose 0 = -g - 3*b + 39008, -5*g + 0*g = 5*b - 194990. Is g a composite number?
False
Let g(j) = -6*j**2 - 14*j + 4. Let c(k) = 17*k**2 + 42*k - 13. Suppose 5*i - 24 = 2*i. Let z(m) = i*g(m) + 3*c(m). Is z(6) prime?
False
Suppose -5*p = -2*g - 2*g + 22738, -4*g - 5*p = -22758. Let r = g - 1858. Is r a composite number?
True
Let l(j) = -j**