 + 1695. Is b a prime number?
True
Let b(m) = m**3 - 6*m**2 - 9*m + 6. Let l be 1/(-2) - (-60)/8. Let g be b(l). Let u = 45 + g. Is u a composite number?
False
Suppose 17 = r + 3*l, -1 - 2 = -3*l. Is r composite?
True
Let j(k) = k**3 - 12*k**2 + 11*k. Let o be j(11). Suppose o = -4*h + 463 - 2003. Is (h - 8)*2/(-6) composite?
False
Suppose -5 = h - 20. Is h a prime number?
False
Let j(a) = -a - 15. Let z be j(-9). Let d be ((-8)/z)/((-4)/(-6)). Suppose -21 = -h - d. Is h composite?
False
Let j(p) be the third derivative of 59*p**4/24 - p**2. Let b be j(3). Suppose 5*u - 3*k = -4*k + b, 0 = u + 2*k - 39. Is u composite?
True
Let r(l) = -l**3 - 5*l**2 + 10*l + 9. Let c(d) = 6*d**3 - d**2 + d + 1. Let w be c(-1). Is r(w) composite?
False
Let m(u) = u - 7. Let r be m(9). Let o be r + -4 + 6 + -2. Suppose -3*j = -o*j - 93. Is j prime?
False
Let v be (-3)/(-12) - 78/(-8). Is (-13 + -1)*(-445)/v composite?
True
Suppose 7*z + 18 = 3*z + 3*a, 4*z + 14 = a. Let g = z + 8. Suppose 0 = -g*o + o + 124. Is o prime?
True
Let z = -38 + 185. Suppose 5*a + z = -3*m, 8*a + 144 = -3*m + 4*a. Let f = m - -66. Is f a composite number?
True
Suppose 2*j + 353 = 5*n, 5*n - 466 + 106 = -5*j. Is n a prime number?
True
Let f = 72 + -46. Is f prime?
False
Is -262*((1 - (-60)/(-8)) + 3) a prime number?
False
Let k be 1 - 0 - 325/(-5). Is ((-13)/2)/((-3)/k) a prime number?
False
Is (-6)/(-9) - 7545/(-9) a composite number?
False
Let p(n) = 10*n**2 + 5*n + 5. Is p(-4) a composite number?
True
Let k = -14 + 22. Let d = 0 + k. Suppose d = 4*f + 4*r, -16 = f - 5*f + 4*r. Is f prime?
True
Let a be 1/(3/27) + 1. Is 996/a*(-5)/(-2) prime?
False
Let y be -2 + (133 - 3/(-1)). Suppose y = 2*b - 760. Suppose -b - 268 = -5*k. Is k composite?
True
Let f(x) = 5*x + 7. Let t be f(-6). Is (t/(-2) + 0)*2 composite?
False
Let v(d) = -2684*d**2 + 2*d - 2. Let k be v(1). Is (-2)/4 + k/(-8) composite?
True
Let d = -8 + 3. Let t(b) = -b + 1. Is t(d) prime?
False
Suppose 0 = -2*v - 15 + 5. Let h = -9 - v. Is (-1047)/(-27) - h/18 composite?
True
Let w(g) = 42*g**3 + g**2 + 4*g - 4. Is w(3) a prime number?
True
Suppose 58 = j - 0*j. Is j a prime number?
False
Let q be (3 + 3)*98/(-3). Let v = q - -413. Is v a composite number?
True
Suppose 16 = 5*p - 39. Suppose 4*r - p + 3 = 0. Suppose r*b - 7*b + 295 = 0. Is b composite?
False
Suppose -5*c = 3*r + 3206, -4*c - 2563 = -0*c + 3*r. Let b = c + 1145. Is b a prime number?
False
Let n(o) = -o**3 - 5*o**2 - 4*o - 4. Let l be n(-5). Is (189/(-36))/((-6)/l) a composite number?
True
Suppose 3*t + 5*o + 46 = -t, 35 = -3*t - 4*o. Let k(y) = -1 - 24*y + 4 - 4 + 6. Is k(t) a composite number?
True
Let r = 1681 + -422. Is r composite?
False
Suppose -3*k + 62 = -136. Suppose -k = -11*n + 9*n. Is n composite?
True
Suppose 0*o - 492 = -4*o. Is o - ((-3)/(-3) + -1) composite?
True
Let a(n) = n**2 - 10*n + 7. Is a(12) prime?
True
Is 6382/8 + (-110)/(-88) a composite number?
True
Let t = -3 - 3. Let w be (-2)/(-6) - 46/t. Let i(o) = o**3 - 8*o**2 + 9*o + 7. Is i(w) prime?
True
Suppose 2*g = -4 + 10. Suppose -u + 508 = g*u. Is u composite?
False
Suppose s = -0*s + 443. Is s a composite number?
False
Let j(p) = -5*p**2 + 4*p - p**2 + 4*p**2 + p**3 - 2 - 2*p. Let a be j(2). Is a/5 - (-452)/20 a composite number?
False
Let r(n) = -n**3 + 9*n**2 - 5*n - 5. Let q(s) = s**3 - 9*s**2 + 4*s + 6. Let j(l) = 3*q(l) + 4*r(l). Let u be j(7). Suppose u = -2*c + 6*c. Is c a prime number?
False
Let n(h) = 555*h**3 + 2*h**2 + h - 1. Is n(1) a prime number?
True
Let a(f) = -f**2 + 5*f - 4. Let z be a(3). Suppose -115 = -z*d + 9. Let q = d - 29. Is q prime?
False
Let t(q) = -q**2 - 8 + 8*q - 6 + 8. Let v be t(5). Let l = 4 + v. Is l a prime number?
True
Suppose -4*f - 3*y = -7, -4*f - f - 3*y = -8. Let s(b) = -f - 2 - 12*b + 7 + 1. Is s(-6) a composite number?
True
Let s(j) = 114*j**3 - 3*j**2 + j + 1. Is s(1) composite?
False
Let r = 6 - 3. Let c be (-3)/(3/139*-1). Suppose 0*j + 2*j + c = y, -r*y + j = -442. Is y composite?
False
Suppose 0 = -u + 3*t - 0*t + 37, 2*u - t - 94 = 0. Is u a prime number?
False
Is 1692/48 - (-1)/(-4) composite?
True
Suppose 2*f + 8 = -2*d, 4*f + 0*f + 7 = -d. Let y(r) = -30*r + 5. Is y(d) a prime number?
False
Suppose 2564 = 8*p - 4*p. Is p prime?
True
Suppose 5*p - 2*t + 0*t - 8 = 0, -3*p = -5*t - 20. Let v be (-1 - p/(-2)) + 3. Is (14/4)/(v/4) a prime number?
True
Let u be (-86)/(-18) - (-4)/18. Let z(t) = t**2 - 5*t + 2. Let s be z(u). Suppose s*n + 42 = 4*n. Is n composite?
True
Let f(q) be the first derivative of -q**4/4 + q**2/2 + 49*q + 4. Is f(0) a prime number?
False
Suppose 0 = 2*u - u - 4. Suppose z - 311 = -u*f, 5*f + 956 = 4*z - 204. Is z a prime number?
False
Is -1671*2*(10/4)/(-5) prime?
False
Let z(v) = -4*v - 5. Let b(c) = -5*c - 5. Let n(a) = 4*b(a) - 3*z(a). Is n(-11) prime?
True
Let m = -9 + 2. Let c = 6 + m. Is ((-5)/10)/(c/514) a composite number?
False
Suppose -1 + 4 = h. Let v(w) = 4*w**2 + w - 4. Is v(h) prime?
False
Let h = 9 + -7. Let b(l) = 8*l**2 + 2*l - 2. Is b(h) a composite number?
True
Suppose c - 5*c + 1868 = 0. Suppose 88 = -s + c. Is s composite?
False
Suppose -2*p - 2*t + 8 = 0, 4*p - 6 = t + 10. Suppose 4*o - g = 92, 63 + 29 = p*o + 3*g. Is o a composite number?
False
Let g(u) = -147*u + 2. Is g(-1) prime?
True
Let g be -1*(2 + (0 - 2)). Suppose g = 2*v + 161 - 1135. Is v a composite number?
False
Let r(s) = 156*s**2 + 96*s**2 - 66*s**2 - s. Is r(1) a composite number?
True
Suppose 3*l - 3*m - 1128 = 0, 1883 = 5*l - 2*m - 2*m. Is l a composite number?
False
Let c(p) = p**3 + 12*p**2 + 6*p - 7. Is c(-8) prime?
False
Let g(k) be the second derivative of -k**5/20 + k**4/4 + 3*k. Let x be g(2). Suppose -256 + 44 = -x*p. Is p a composite number?
False
Let o(w) = -361*w. Let r be o(-1). Suppose -5*j = -r + 26. Is j a composite number?
False
Let k(p) = p**3 - 7*p**2 - 4*p + 12. Let c be k(8). Let w = 83 + c. Is w a prime number?
True
Let m = 52 - 6. Is m prime?
False
Let x be 4/20 + (-19)/(-5). Let c be 2*x/2 + -2. Is 97/(0 - -3 - c) a prime number?
True
Let y(j) = 6*j**3 + j**2 - 3. Let c(t) = -t**3 - t. Let q(v) = 5*c(v) + y(v). Let g be q(-3). Is (94/3)/((-4)/g) prime?
True
Let r(a) = 3*a**2 + 6*a - 23. Is r(-10) composite?
True
Let d(y) be the third derivative of y**5/60 - y**4/6 + 4*y**3/3 - 3*y**2. Is d(11) composite?
True
Let x(n) = n**3 - 4*n**2 + 3*n + 1. Let q be x(5). Suppose 0 = -a + 2*i + 9, -3*i + 121 = 4*a + q. Let c = 8 + a. Is c prime?
False
Is 4/14 + (-825)/(-77) a prime number?
True
Let q(a) = -a**3 + a**2 - a + 6. Let f(k) be the second derivative of -k**4/12 - 4*k**3/3 + 3*k. Let b be f(-8). Is q(b) prime?
False
Let f be (2/(-5))/((-3)/135). Suppose -f = -0*o - 2*o. Is o a prime number?
False
Let p = -5 - -6. Let v be 0 + (3 - p) + -2. Suppose v = -5*w - 0*w + 65. Is w a composite number?
False
Let z = 29 - 25. Suppose 6*v - 4*v - 8 = 0, 284 = 4*n + z*v. Is n a prime number?
True
Is 62/2 - (-15)/(0 + 5) a composite number?
True
Let z be 1 - ((-3 - 0) + 317). Let t = z + 440. Is t a prime number?
True
Suppose 5*d + 19 = s, -1 = -d - s - 6. Let m(x) = -7*x + 3. Is m(d) a prime number?
True
Let s be (-2 - (1 - 3)) + 2. Is 2/s*(23 + -4) composite?
False
Suppose -3*s - 207 = -1086. Suppose -26 = 3*l - s. Is l a composite number?
False
Let a = -44 + 118. Is a a composite number?
True
Let g(a) = -65*a + 6. Is g(-5) a composite number?
False
Suppose 5*r + o = -590, 3*r + 354 = 3*o - 18. Suppose 0*x - 3*n + 282 = -4*x, -80 = x + 4*n. Let k = x - r. Is k prime?
True
Suppose -d + 227 = 36. Is d composite?
False
Let o(b) = -2*b**3 - 7*b**2 + b + 7. Suppose 0*h - h = -3*r + 45, 4*h = 2*r - 20. Suppose 5*l - c + r + 12 = 0, -3*c = 2*l + 1. Is o(l) composite?
True
Is (-2954)/(-7)*(-1)/(-2) a composite number?
False
Suppose 6 = -3*l - 5*x, 5*l - x - 11 - 7 = 0. Is (15/6)/(l/78) prime?
False
Let u = 9 - -1. Let f be 4/10 - (-986)/u. Suppose -5*h + 2*h = -f. Is h a prime number?
False
Let l(v) = 214*v - 9. Is l(2) a composite number?
False
Let c(s) = 2*s**2 - 4*s + 15. Is c(7) a composite number?
True
Suppose -23 - 5 = -4*m. Suppose -m*i + 2*i + 1055 = 0. Is i prime?
True
Is (-17894)/(-2) + -3 + -5 a composite number?
True
Suppose 106 - 254 = -f. Suppose -4*x + f = -2*x. Is x a prime number?
False
Let p = 578 + -180.