Is n a composite number?
True
Is ((-19)/(-3))/(4/12) composite?
False
Let x(i) = i**2 - 7*i + 2. Let n = 16 - 9. Let u be x(n). Suppose u*z + z - 99 = -5*j, 5*z + 10 = 0. Is j a composite number?
True
Is (24/9)/(14/21) + 1981 prime?
False
Suppose -4*y = -3*y. Is (y - (2 - 36))*1 a composite number?
True
Let j(n) = -4*n - 5. Suppose -9 - 3 = -3*r. Let g = -3 - r. Is j(g) a composite number?
False
Let t(s) = -2*s**3 - 10*s**2 + 8*s + 5. Is t(-7) a prime number?
False
Let h(z) = 2*z**2 - 2*z + 3. Let o be h(3). Let k = 0 + o. Is k a composite number?
True
Let y = 998 - 711. Is y a composite number?
True
Let c(w) = 21*w**2 - 10*w + 13. Is c(6) a composite number?
False
Suppose 5 = -5*h, h + 1411 = a - 1223. Is a composite?
False
Suppose 5*q + 19 = -21. Let n = -3 - q. Suppose n*u - 356 = u. Is u a composite number?
False
Suppose 5*d = -b + 150 - 23, 3*b + d = 437. Suppose 3*a = -48 + b. Is a prime?
False
Let s = 391 + -92. Suppose 0*h = 4*l + 2*h - 314, -4*l + 3*h + s = 0. Is l a prime number?
False
Suppose -5*d = -2*x - d + 3006, -5*x = -3*d - 7529. Is x composite?
True
Let s be 2/3 - 428/(-6). Suppose -3*t + 5*t - 40 = 2*v, 4*t - s = -4*v. Is t a composite number?
False
Suppose -i + 248 = 5*d, 2*i - 5*d - 511 = -0*i. Is i composite?
True
Is (1013 - 0) + (-3 - (-1 - 0)) composite?
True
Let w(t) = -2*t + 2. Suppose -4*n + 6 + 10 = 0. Let f be w(n). Let y(u) = u**3 + 7*u**2 - 8*u - 2. Is y(f) a composite number?
True
Let r(p) = -54*p**3 - 8*p**2 - 11*p + 8. Let g(y) = -18*y**3 - 3*y**2 - 4*y + 3. Let k(d) = -8*g(d) + 3*r(d). Is k(-1) a prime number?
True
Let f(m) = -m**2 - 14*m - 9. Let q(j) = j**2 + 15*j + 8. Let y be q(-14). Is f(y) composite?
True
Let p be -6*(-1)/3*289. Let g = p + -367. Is g prime?
True
Suppose 0 = 2*u - 10, 0*n + 5*n = -5*u + 920. Is n a composite number?
False
Let p = 9 - 7. Suppose p*c - 18 = 26. Is c prime?
False
Suppose 2*x - 2*l = -0*x + 144, 3*x - 211 = 2*l. Is x prime?
True
Is 0/(0 + 2) + 2179 prime?
True
Suppose 4*q - 5 = 31. Suppose v + 2*v - q = 0, -2*o + 476 = 2*v. Is o composite?
True
Suppose -a + 2*a - 672 = 0. Suppose 5*i - a = 5*y - 202, -3*i + 270 = y. Is i composite?
True
Let k be (0*1/2)/(-1). Suppose 2*c - 149 - 593 = k. Is c prime?
False
Let g(u) = u**2 - 7*u - 6. Let d be g(7). Let i = d + 9. Suppose j = -4, y + 2*j = -1 + i. Is y composite?
True
Is -309*(10/(-65) + 59/(-39)) a composite number?
True
Let p = 153 + 24. Is p a composite number?
True
Suppose -2*o = 2*x + 1 + 9, 0 = -3*o - 4*x - 20. Suppose -m + o*m = -200. Suppose 2*t = 4*g + t - m, 0 = 2*g - 3*t - 90. Is g composite?
True
Let s(y) = -y**2 - 7*y - 6. Let b be s(-5). Suppose -l + 59 = -u, -b*u - 90 + 326 = 4*l. Is l prime?
True
Suppose -2*t + 1760 = v - 366, 0 = -v + 4. Is t a prime number?
True
Suppose -2*s - 2 = -3*s. Suppose -2*w - 59 = -y + 3*w, 0 = -s*y - 5*w + 43. Is y a composite number?
True
Let b(y) = -4*y**3 - 6*y**2 + 12*y - 3. Is b(-6) composite?
True
Let y(j) = 15*j - 49. Is y(13) a composite number?
True
Let a = -9 - -1. Let m(v) = -4*v - 2 + 3 + 1 - 3*v. Is m(a) a composite number?
True
Suppose 0*y - 5*y + 4835 = 0. Is y a composite number?
False
Let c be (3/2)/((-1)/(-2)). Let n(j) = -j**3 + 5*j**2 - 2*j + 1. Let o be n(c). Suppose 3*u - 5 - o = 0. Is u a prime number?
False
Let f = 200 - 17. Is f composite?
True
Is (898/(-2))/(-4 - 6/(-2)) a composite number?
False
Let k(i) = 4 - 3*i + 27*i + 4*i. Let n be k(4). Suppose 3*t = -11 + n. Is t prime?
False
Let t be (-161)/(-35) + (-2)/(-5). Suppose 50 = -3*j + 293. Suppose t*h + 2*b = 3*b + 162, -5*b = 2*h - j. Is h a prime number?
False
Suppose 0 = 3*j + 4*y - 7, 5*j - 7*y = -4*y + 2. Is j/2 - (-1377)/18 a prime number?
False
Let n = 6 - 1. Suppose 2*p + p = -m + 60, 4*m - 172 = n*p. Let v = 67 - m. Is v prime?
True
Let s(u) = u + 1. Suppose -2*y + 3*y = 0. Let j be s(y). Let q = 8 - j. Is q composite?
False
Is (1 + (-15)/3)*(-1846)/8 prime?
False
Suppose -1687 = 11*r - 25370. Is r a prime number?
True
Let o = -70 - 97. Let c = -80 - o. Is c a composite number?
True
Let g(m) = -m - 5. Let w be g(8). Let k = 6 + w. Is k*(24/(-3) - -1) a prime number?
False
Suppose -2*o + 200 + 114 = 0. Is o a prime number?
True
Let j be (-4)/14 - (-1843)/7. Suppose 3*t + j = 5*k, k - 2*k + 57 = -5*t. Is k/6 - 4/(-12) composite?
True
Let h = 2 + 3. Suppose -5*n - h = -0. Is ((-2)/(-3))/(n/(-39)) a prime number?
False
Suppose 1243 + 3 = 2*k. Is k composite?
True
Suppose -2*y = -6, 3*y + 1 = -p + 2. Let u(r) = 6 + 3*r**2 - 11*r - 5 - 4*r**2. Is u(p) a composite number?
True
Let z = 0 - -1. Suppose 2*j - z = 13. Is j a prime number?
True
Let u be ((-624)/5)/(-4)*15. Suppose -5*h = 5, -2*f = f - 3*h - u. Is f composite?
True
Let r(a) = 11*a**2 - 9*a + 49. Is r(21) prime?
False
Is 74*((-4)/(-8) - 0) prime?
True
Suppose 0*j - 4*j = 8. Let i(a) = 7*a - 4*a**3 - 11*a**3 - a**2 - 10*a - 3. Is i(j) composite?
True
Suppose 3*w = 545 + 868. Is w a composite number?
True
Let q be (-2)/(-10) + 45/25. Let m = -1 + q. Is (m - 4) + 2*13 composite?
False
Let z = -6 - -6. Suppose z*h = -3*h + 159. Is h a composite number?
False
Suppose -5*c + 4*u = -2083, 2*c - 98 = -5*u + 755. Is c prime?
True
Suppose 3*o - 5*o = -24. Let l be -2 - (7 + -2 + -2). Let d = o + l. Is d a prime number?
True
Suppose 3*p + 435 = 2*h + h, -3*p - 578 = -4*h. Is h a composite number?
True
Suppose 3*b = 3*k + 135, 0 = -2*b + k - 3*k + 78. Is (-1)/(((-10)/b)/5) prime?
False
Let y(a) be the third derivative of -a**6/120 - 2*a**5/15 - a**4/3 - a**3/2 - 3*a**2. Let o be y(-8). Suppose 5*g - o = 124. Is g prime?
True
Let a(s) = 50*s + 13. Let c be a(4). Suppose k - c = -0*k + 2*d, 2*d = -8. Is k a composite number?
True
Let w be (-128)/(-6)*(-36)/(-16). Let s = w + -33. Is s a composite number?
True
Suppose 0*d - 4*d + 2412 = 0. Let x be 0 + -1 - (-6)/2. Is (x/6)/(3/d) a composite number?
False
Is -1042*2*(-4)/8 a composite number?
True
Let c be (3/2)/(2/(-12)). Is (-4)/6 + (-807)/c prime?
True
Is (57 - (-1)/(-1)) + (1 - 4) composite?
False
Suppose -l = 4*r - 125, -2*l - r = -3*l + 125. Suppose 0 = d - 2*d + l. Suppose 0 = -3*o + d - 50. Is o prime?
False
Suppose 0 = 5*f - 2*p - 3767, -3*f - p = 4*p - 2254. Is f prime?
False
Let c(y) = -27*y - 3. Let u(h) = -h**2. Let v be u(2). Let t be c(v). Suppose t = 4*o - o. Is o a composite number?
True
Let j = 2 + 14. Is (-3 - -6)*(j + 1) composite?
True
Suppose -4*p - 4 = 0, -b + 7 = p - 4*p. Let h(y) be the first derivative of -y**3/3 + 4*y**2 + 3*y - 5. Is h(b) prime?
True
Let c(x) = -57*x**2 + 2. Let w(n) = -19*n**2 + 1. Let b(v) = -4*c(v) + 11*w(v). Is b(-2) composite?
False
Let f(m) be the third derivative of -19*m**4/12 - m**3/6 - m**2. Let p = 3 - 4. Is f(p) prime?
True
Let d(a) = -a**3 + 4*a**2 - a + 2. Let s be d(2). Let w be (s/(-28))/(1/(-7)). Suppose 0 = -5*q + w + 33. Is q a prime number?
True
Suppose -2*k - 85 = -3*k. Let u = k - -28. Is u a prime number?
True
Suppose 5*l - 15 + 0 = 0. Suppose -l*u - u + 1420 = 0. Is u a composite number?
True
Let z = -1226 - -2047. Is z prime?
True
Let q = -66 + 103. Is q prime?
True
Suppose -444 = w - 5*w. Is w prime?
False
Let i = 5 + -13. Let m = 27 + i. Is m a prime number?
True
Let g(j) be the third derivative of j**5/30 - 7*j**4/12 - 5*j**3/6 - 4*j**2. Is g(12) composite?
True
Suppose 4*x + 128 = -0*x. Let g = x + 6. Let b = 109 + g. Is b composite?
False
Suppose -4*k + 5*k = 0. Suppose k = 5*j - j - 4. Suppose j = 3*n - 29. Is n composite?
True
Let f = -105 + 284. Is f prime?
True
Let d be (-1 + (-2)/(-2))*-1. Let j = -2 - -5. Suppose -j*c = -6, -12 = -u - d*u + c. Is u a prime number?
False
Let x(d) = -3*d. Let l be x(-1). Suppose 3*u - t - 17 = 160, -u + 59 = l*t. Is u prime?
True
Let o = 3 + 1. Let j be (-27 + 1)/(1/(-2)). Suppose -4*a + j = -r, -a + o*r + 26 = a. Is a a prime number?
True
Suppose 11*c - 15*c + 3260 = 0. Is c prime?
False
Let o(w) = 24*w**2 + 5*w + 3. Is o(-4) a composite number?
False
Suppose 18 = n - 4*n. Let u = n + 13. Let x(y) = -y**3 + 8*y**2 - 2*y. Is x(u) a composite number?
True
Is 2/(-1) - -1129 - (-12 + 16) composite?
False
Suppose 0*h - h + 4 = 0. Let v be 66*((-24)/(-9))/h. Suppose -34 = -4*w + 3*s, -5*w - 5*s + v = -16. Is w a composite number?
True
Let m = 78 - -16. Is m a prime number?
False
Let g be 6/(3*-1)