21 + 35. Is a a composite number?
True
Let n be (-4)/12 - 10/(-3). Let p = 9 - n. Is ((-94)/p)/(2/(-6)) composite?
False
Suppose -1 - 3 = -2*t. Let z = -6 + t. Is 1*z + (197 - 2) composite?
False
Let z(i) = i**2 - 6*i - 2. Let b be z(5). Let s(d) = d**2 - d - 5. Is s(b) composite?
True
Suppose -3*a - 3 = -12. Is ((-75)/10 + a)*-2 composite?
True
Suppose 94*o = 103*o - 621. Suppose -964 = -3*n + 230. Let b = n - o. Is b prime?
False
Let b(v) = v**3 - 2*v**2 - v - 1. Let q be b(3). Let d(z) = 5*z**2 + 5*z**2 + q*z - z**3 - 3*z**3 + 5*z**3 + 5. Is d(-6) composite?
True
Let z = -12 - -12. Suppose -4*p + 3*p = -2*y - 109, 4*p - 4*y - 424 = z. Let x = p + 108. Is x prime?
True
Suppose -2*a - i - 1 = -11, 2*i + 22 = 3*a. Is a + 1200 - 4*1 a prime number?
False
Let c be (-34944)/54*2 - (-4)/18. Let l = c + 2403. Is l a prime number?
True
Suppose -112*v - 5*l = -113*v + 7964, v + l = 7946. Is v prime?
True
Let x(r) be the third derivative of 43*r**6/120 - r**5/60 + r**4/4 + r**3/6 - 4*r**2 + 5*r. Is x(3) prime?
True
Let k = -11 - -4. Let j(q) = 2*q + 16. Let w be j(k). Suppose 4*s - 2*o = 3046, -o + 3*o - 1532 = -w*s. Is s a composite number?
True
Suppose -v + k = 146, -k - 2 = -0. Let r = 1430 + v. Is r a prime number?
False
Suppose -6*u - 2242 + 12136 = 0. Is u prime?
False
Suppose 4*b = 3*m + 4793, -5*b - 13*m + 10*m + 5998 = 0. Is b a composite number?
True
Let y(i) = -61*i**3 - 2*i**2 + i + 25. Is y(-3) a composite number?
True
Let v(l) = -l**3 - 142. Let a be v(0). Suppose -1000 = 5*z - 10*z. Let q = a + z. Is q prime?
False
Let m = -127 + 624. Is m prime?
False
Let q(o) = o + 6. Let j be q(-8). Let r be j/10 - 105/(-25). Suppose 3*z - 287 = -r*f + 114, -356 = -3*z + 5*f. Is z a composite number?
False
Suppose 3*j - 1 + 12 = 2*l, 0 = -5*j - 5. Suppose 2452 = l*a - 0*a. Is a a composite number?
False
Let d = -8195 + 563. Is ((-2)/(-3) + -1)/(16/d) prime?
False
Suppose -o = -4*o - 4*n + 4246, 0 = -o - n + 1415. Suppose -o = -2*p + 1968. Is p a prime number?
False
Suppose -216*b + 227*b - 77187 = 0. Is b a prime number?
False
Suppose -2*z = 13 - 19. Suppose -25 = 5*g, 2*g = -z*p - 2*g + 733. Is p a composite number?
False
Suppose -3*r - 3442 = -5*m + 4182, -5*m = -r - 7628. Let i = m + -885. Is i a composite number?
False
Suppose -2*t + 3208 = -2350. Is t a composite number?
True
Let v(p) = -12*p**2 + 1 + p - 4 + p**3 - 8. Let z be v(12). Is (z*-339 + -2)*-1 a composite number?
True
Let d(x) = -13*x - 26. Let v(z) = -7*z - 13. Let c(l) = -6*d(l) + 11*v(l). Let n be c(-14). Is 2 - -19*(-47)/n a composite number?
True
Let u = -524 + 845. Is u a prime number?
False
Let c(w) = 728*w**2 + 20*w - 77. Is c(4) a composite number?
True
Let f(t) = -360*t + 139. Is f(-11) prime?
True
Suppose j + 3 = 0, 0 = 6*k - 5*k - 3*j - 1210. Is k prime?
True
Let g = 22698 + -12565. Is g composite?
False
Let x be -3*(-1 - (-4)/12). Suppose 3*h - x - 4 = 0. Is ((-155)/20)/(h/(-8)) prime?
True
Let d(f) = 2*f - 2. Let z = 4 + 2. Let m be d(z). Is m/4*816/60 a composite number?
True
Let u(w) = -405*w - 2. Is u(-35) a composite number?
False
Let u = -5 - 3. Let a(j) = -599*j - 11. Is a(u) composite?
True
Suppose 0 = -4*i - 112 + 392. Suppose -2*a = -a - i. Let m = 125 - a. Is m a prime number?
False
Suppose 1247 = 4*n + 5*j - 0*j, 628 = 2*n + 4*j. Let y = n + 29. Is y a composite number?
False
Suppose 4*n - 3*a + 4*a - 29974 = 0, -5*n + 37469 = 2*a. Is n composite?
True
Let q = -11 + 12. Let s = q + -4. Is (-7)/((s/183)/1) a composite number?
True
Suppose 0 = -12*a + 202075 + 329057. Is a a composite number?
True
Suppose 15 = 6*k - k + 5*m, -5*m = 4*k - 15. Suppose 4*g + 1937 = 5*f, k = -f - 0*f - g + 391. Is f composite?
False
Let h(k) = -40*k**2 + 3*k + 6. Let v(t) = -t**2 + 1. Let z(w) = -h(w) + v(w). Let n be z(5). Suppose -3*d = 2*d - n. Is d a composite number?
False
Let h be 10*(-1)/(4/(-302)). Suppose r + 610 = 3*f - h, 3*f - 1365 = -3*r. Suppose 145 = -2*d + f. Is d a prime number?
False
Is ((-3)/(-3) - -4392) + 0/2 a composite number?
True
Suppose 2*n - 548 + 72 = 0. Suppose d - n = -d. Is d a composite number?
True
Let y(k) = 261*k**2 + 1. Let g be y(2). Is g/7 - (-12)/(-42) a composite number?
False
Suppose -4*u = -5*s - 5, -2*s + 18 + 13 = 5*u. Suppose u*z + 0*z = -5*y + 22425, 0 = 5*z + 3*y - 22417. Is z prime?
True
Suppose 4*y - 36 = -5*y. Is (599*-3 - y)*-1 a composite number?
False
Suppose 1 = k + 2*d, 1 = -3*k + 2*d - 4*d. Is -4 + 3 + -2 + (-932)/k a prime number?
True
Let t = 22302 - 5074. Is t/24 + (-3)/(-18) composite?
True
Let o = -5 + 6. Is o*2 + 15700/20 a composite number?
False
Suppose 15*c - 16*c + 2735 = 0. Is c a prime number?
False
Suppose h = -9*d + 5*d + 1941, -974 = -2*d - 4*h. Is d composite?
True
Let w = -22107 + 31978. Is w composite?
False
Suppose -105 - 45 = 5*n. Let p be (-2)/(-8) - n/(-24). Is (0 - p) + 580/2 a composite number?
True
Let k(t) = t**2 - 19*t + 23. Let j be k(17). Let n(a) = 3*a**2 + 11*a - 27. Is n(j) prime?
False
Suppose -47599 = 61*y - 321672. Is y composite?
False
Suppose 5*x - 52 = k, -x - 4*k = -6*x + 58. Let y = -5 + x. Suppose i + 5*a = -2*i + 332, -y*a - 25 = 0. Is i a prime number?
False
Suppose -419*d - 9944 = -427*d. Is d a prime number?
False
Let f be (7 - 11)/(2/(-7)). Suppose -u + 9 = -f. Is u prime?
True
Let n be 0 + -3 - ((-3)/1 + -6). Suppose n*w - 2*w = -2*i + 670, 5*w = -i + 341. Is i prime?
True
Let a(m) = m**2 - m - 1. Let x be a(-2). Suppose -x*l = -4*l - v, 3*l + v = 20. Suppose 2*u + f = 602, 2*f + 1229 = l*u - 294. Is u composite?
True
Let m = 9 + 2. Let k(y) = 9*y - 4 + 0*y**3 - m*y**2 + 17*y**2 - 3*y**3 + 2*y**3. Is k(7) a prime number?
False
Suppose 0 = -x + 2*s, 3*s = x + 1 - 0. Suppose -n = -x*k + n + 1512, 3*n = -3*k + 2262. Is k prime?
False
Suppose -3*b + 3*k + 18243 = -7257, -3 = -k. Is b a prime number?
False
Suppose -5*u = 2*d + 6, 3 + 3 = -2*d. Suppose -n + 220 + 31 = u. Is n prime?
True
Let f = -6256 - -12779. Is f a prime number?
False
Let y(x) = -78*x**3 + 3*x**2 + 4*x + 9. Is y(-4) composite?
True
Suppose -4*y + 42 = 10. Let p(n) = 4*n**3 - n**2 - 11*n - 3. Is p(y) prime?
False
Let u(l) = l**3 + l**2 - 2. Let d be u(-1). Let r = 221 + -141. Is r + (3 - (d + 8)) composite?
True
Let u(q) = -q + 9. Let v be u(7). Suppose -7*n = -v*n. Suppose 2*h + n*h = 118. Is h prime?
True
Let h = 22920 + 70043. Is h prime?
False
Let j(t) = -t**3 + 12*t**2 - 11*t. Let u be j(11). Let q = 4 + u. Suppose q*o + a = -a + 572, -5*o + 5*a = -715. Is o composite?
True
Let j = -1771 + 5408. Is j prime?
True
Suppose 5*p + 155 = -9*f + 4*f, f + 27 = 3*p. Is ((-5)/(f/(-3164)))/((-4)/6) a composite number?
True
Let c = 596 - 1132. Let n(l) = 5*l**3 + 7*l**2 + 7*l + 3. Let y be n(-6). Let p = c - y. Is p prime?
True
Let t = -4415 + 36744. Is t prime?
False
Let b be -98*(-4)/32 + (-1)/4. Suppose -4*n + b*n = 824. Is n a composite number?
False
Let s(p) = -5*p + 33. Let c be s(7). Is 0 + 1 + (-3)/c*2152 prime?
True
Let l(v) = -v**3 + 6*v**2 - 3*v. Let s be l(5). Let u be -8 + 3/((-15)/s). Is 2*(-3195)/u - 4 a composite number?
True
Let d = -26 - -37. Let i be 35/6 + d/66. Is (-358)/(-4) - 3/i prime?
True
Let j be 8/12*(4 + 101). Is (-14)/(-5)*j/4 a composite number?
True
Let v(r) = 0*r**3 - 6 + 7*r**2 - r - 5*r**3 + r**3. Let w be v(5). Let i = w - -523. Is i a composite number?
True
Let s(o) = -219*o + 1. Is s(-10) a prime number?
False
Let i = 2549 + 30. Is i composite?
False
Suppose 4*o - 27 - 7 = 3*r, 4*o = -3*r + 22. Suppose -8*f + 2428 = -o*f. Is f/8 + (-4)/8 prime?
False
Let t(z) = 5*z - 3. Let d be t(2). Let x(v) = 2*v**3 - 4*v**2 + 11*v - 8. Let i be x(d). Suppose -3*w + i = -4*o, 257 + 108 = 2*w + 5*o. Is w a prime number?
False
Let x be (-3)/(-6)*2*5. Suppose 999 = x*t - 56. Is t a prime number?
True
Suppose 492821 = -0*f + 23*f. Is f a prime number?
False
Suppose 3*o - k - 3304 = -1064, 0 = 2*o + k - 1485. Is o a prime number?
False
Let a be (-2)/(-4)*(-3 - -3). Suppose -m = 4*s - 6*m - 1948, a = m. Is s a composite number?
False
Let m(y) = 9*y**2 - 75*y - 647. Is m(-57) a composite number?
False
Suppose -10*u = -80404 + 4074. Is u a prime number?
False
Suppose 2*m = -3*j + 8899, 0 = 5*j + m - 15216 + 382. Suppose -3*x - 433 + j = 5*o, 4*x - 4*o - 3432 = 0. Is x prime?
True
Let q(i) = -3*i**3 - 3*i*