m**3 + 3*m**2 - 2*m. Let k be p(2). Let u(r) be the second derivative of r**4/12 + 35*r**2/2 + r. Is u(k) composite?
True
Is (-22)/(-110) + (-2 - 71248/(-10)) a composite number?
True
Let j(b) = -b**2 - 7*b + 7. Let a be j(-7). Suppose 0 = a*f - 2208 + 451. Is f a prime number?
True
Is 254 + -1 + (0 + -14)/7 prime?
True
Is 434 + (-4 - -13)/3 a prime number?
False
Let u be (-1)/(-1) + 8/4. Suppose -u*h + 0*o = -o - 435, 3*h = -2*o + 435. Is h composite?
True
Let a = -257 + 363. Is a composite?
True
Let m(r) = -r**3 + 6*r**2 + r - 5. Let x = -2 + 6. Let l be m(x). Suppose -4*f - l = -75. Is f composite?
False
Let i = 5 + -6. Let o(f) = -86*f**3 - f - 1. Is o(i) a composite number?
True
Let u = 259 + -92. Is u a composite number?
False
Suppose 4*r - 8 - 4 = 0. Suppose 3*m - 5*m = 0. Suppose m = -r*v - 22 + 79. Is v prime?
True
Suppose -2*n - 15 = 5*r, 2*r + 3 + 3 = -4*n. Let v(d) = d + 115. Is v(n) composite?
True
Let v(t) = t**3 - 3*t**2 - 8*t + 4. Let z be v(5). Suppose -2*i = -58 + z. Is i a prime number?
False
Let v(b) = 319*b + 2. Let r be v(2). Suppose -n = -4*n + 5*t + r, -2*n - 3*t + 452 = 0. Suppose -3*o - o + n = 0. Is o composite?
True
Let x(q) = 10*q - 5. Let h(t) = t**3 - 7*t**2 - 9*t + 10. Let c be h(8). Suppose 2*a + m - 2*m - 13 = 0, 4*m + 12 = -c*a. Is x(a) a composite number?
True
Suppose -1 = -w - d, 5*w - 7*d = -3*d + 14. Is 10/w + (-6)/(-6) a prime number?
False
Suppose 5*n + q = 1677, -5*q = -3*n - n + 1330. Is n a composite number?
True
Let r be 6/(-9) - (-40)/6. Is (-4)/r*84/(-8) prime?
True
Let x = 0 - 0. Suppose -2 = -x*a - a. Suppose 0 = -a*w + 8, 3*l + 0*w - 53 = -5*w. Is l prime?
True
Let h(v) = v**3 + 7*v**2 + 2*v + 1. Let o be h(-6). Suppose -n + y - 5 = 0, 3*y + o = -n - 0*y. Is n/(-40) + 11/4 prime?
True
Let g(c) = -29*c. Let u(p) = -10*p. Let o(d) = -4*g(d) + 11*u(d). Let f be o(7). Suppose -2*l - f = -4*l. Is l a prime number?
False
Suppose 0 = -p - 5*j + 39, 2*p + 3*j - 33 = 2*j. Is (-2)/p + 2956/14 prime?
True
Suppose 4*p + 8 = 0, 182 = 3*u - p - 81. Is u prime?
False
Suppose -5*l - 456 = -1411. Is l a prime number?
True
Let d = 15 + -11. Is (-187)/(-5) - d/10 a prime number?
True
Let p = 2 - -3. Suppose -3*d - 2*q + 14 = 3*q, 0 = p*d - 4*q - 11. Suppose -d*i + 78 = -i. Is i a composite number?
True
Let a(v) = v**3 + 12*v**2 + 8*v + 14. Is a(-9) a prime number?
False
Let s = 118 + -51. Is s composite?
False
Let z be 2*-1*1/2. Let g be 2 + z + 0 + 2. Suppose -2*q - g*q = -295. Is q prime?
True
Suppose -608 = -3*i + v, -2*v = 3*i + 2*v - 628. Suppose 0 = 2*t - 3*t. Suppose 4*w + t*w = i. Is w prime?
False
Let r(k) = -57*k - 2. Is r(-3) a composite number?
True
Let y(d) = -d**2 - d - 14. Let m = -3 - 2. Let l(z) = -2*z**2 - 3*z - 28. Let k(n) = m*y(n) + 2*l(n). Is k(0) prime?
False
Let l(b) = b + 6. Suppose o - 4*p + 3 = -3, -5*p = -o - 8. Suppose o*v = 1 - 7. Is l(v) composite?
False
Suppose v = -4*v - g + 5, 4*g + 30 = 5*v. Let o be -1*(v + 3)*-1. Let b(l) = -l**3 + 6*l**2 - 3*l + 4. Is b(o) a prime number?
False
Let f(q) = -q - 27. Let w be f(0). Let c = 28 - w. Is c composite?
True
Suppose q + 0*q = -1021. Let y = -646 - q. Suppose -3*v + y = 4*l, 2*v - 6*v + 3*l = -475. Is v composite?
True
Suppose -4*s + 252 + 44 = 0. Is s prime?
False
Is (1 - 0)*(-2 - -969) composite?
False
Let s be 0 + 61 + 0/(-2). Suppose -4*p - 76 = -2*q, 4*p - 85 = -2*q - p. Let c = s - q. Is c prime?
False
Let a = 2 - 2. Let i = 9 + -7. Suppose a = i*u - 0*u - 98. Is u composite?
True
Suppose 0 = 5*t - 3*w - 549, -2*t - t + 5*w = -323. Is t a composite number?
True
Let s(x) = 30*x**2 - 4*x - 6. Let v be s(-5). Let u be 1 + (-3)/(-6)*v. Let k = 616 - u. Is k composite?
False
Let m(o) = 2*o**2 + 11*o + 10. Let s(p) = p**2 - 5*p - 1. Let x be -6*2/(-8)*2. Let l be s(x). Is m(l) a prime number?
True
Suppose 3*b + z = -0*z + 1336, 2*z = -b + 437. Is b prime?
False
Let z = 7203 + -2284. Is z prime?
True
Suppose 3*z + 26320 = -2*z. Is (-2)/(-13) - z/91 a composite number?
True
Is 0 + (1760 - 6/2) a prime number?
False
Let p = -115 + 207. Let b = 6 + -3. Suppose 3*v + 2*v - p = -w, 416 = 5*w + b*v. Is w prime?
False
Let x(z) = z**3 - 3*z + 2. Let r be x(4). Suppose 86 = 4*h - r. Is h a prime number?
False
Let o(g) = 5*g - 11. Let i(k) = 2*k**2 + 7*k + 2. Let v be i(-5). Is o(v) a composite number?
True
Suppose -i - 2*k + 225 = 2*i, -3*k = 2*i - 145. Is i a prime number?
False
Let r be 2*(-3 + 2) - -1050. Suppose 0 = -4*j + r - 204. Is j prime?
True
Let z(o) = -1265*o - 2. Is z(-3) composite?
False
Is 2*(-2)/8*-514 composite?
False
Suppose -b + 13 = -0*h + 4*h, 5*b = -4*h + 17. Suppose 3*i = 5*r + 51, 0 = h*i - 4*r - 0*r - 54. Is i a prime number?
False
Let a(y) = -34*y**3 + 2*y**2 + y. Let f = -7 + 6. Is a(f) prime?
False
Suppose 1324 = 6*z - 74. Is z composite?
False
Suppose -5*k - 3*x = -6011, 0 = 5*k - x - 4586 - 1417. Is k a prime number?
True
Suppose -106 = 5*j - 7*j. Is j a composite number?
False
Let x = -40 + 192. Let b = x - 7. Is b a prime number?
False
Let u = -8 + 16. Let a be ((-24)/(-16))/((-2)/(-60)). Let o = a + u. Is o composite?
False
Suppose 5*a = 4*a + 3. Suppose 0 = 5*f + 3*n + 6, -4*f + f - a*n - 6 = 0. Suppose 3*q + f*i = 5*i + 116, -4*q + 147 = i. Is q a composite number?
False
Is (2470/(-30))/(2/(-6)) a prime number?
False
Let s be (-42)/(1 - (-1 + 4)). Let a = s - -2. Is a a prime number?
True
Let w be (4/6)/((-10)/(-435)). Let x be 2/(-2 - (-3 - -2)). Is 10/((x/w)/(-1)) prime?
False
Suppose 44 - 354 = -2*p - 2*a, 0 = 2*p - 3*a - 310. Is p composite?
True
Let v = -84 + 625. Is v prime?
True
Suppose -2*v - 2*v - 2988 = 0. Let c = 116 - v. Is c a composite number?
False
Let c(j) = -j**3 - 7*j**2 + 8*j - 2. Let p be c(-8). Is (10/15)/(p/(-1437)) a prime number?
True
Let l = 437 - 60. Is l a composite number?
True
Suppose -2*i = -i - 157. Is i a composite number?
False
Suppose -2*t - 2*s = -802, -2*t - 3*t = -2*s - 2040. Let x(i) = i - 4. Let z be x(6). Suppose -n = -z*m + t, -8 + 0 = -2*n. Is m a composite number?
True
Let z = 4 + -3. Let k(s) = 10*s**3 + 2*s**2 - 1. Is k(z) a prime number?
True
Let f(m) = -13*m**3 + m**2 + m + 1. Let x(t) = t**3 + 3*t**2 - 1. Let w be x(-3). Is f(w) composite?
True
Let o be (172/6)/((-2)/(-3)). Suppose -13 + 105 = 2*u + 3*t, u + 3*t - o = 0. Is u prime?
False
Let w(z) = 2*z - 4. Let l(m) = -m + 5. Let j(s) = -5*l(s) - 6*w(s). Is j(-5) composite?
True
Let i(o) = o**2 + 3*o - 11. Let n be i(10). Let q = n - 66. Is q prime?
True
Is 1574*3/(-24)*-4 a composite number?
False
Let n(r) = r**3 + 10*r**2 - 4*r - 2. Let g(s) = s**3 + 9*s**2 - 4*s - 3. Let u(c) = -4*g(c) + 3*n(c). Let t be u(-7). Suppose 49 = 4*w - t. Is w composite?
False
Let q(f) = -f**3 - 7*f**2 - 5*f - 2. Let o be q(-5). Let j = 97 + o. Suppose -j = i - 3*i. Is i a prime number?
False
Let h = 44 - 21. Is h a prime number?
True
Let p = 2 - -17. Is p a prime number?
True
Let h = 723 + -454. Is h composite?
False
Let b(z) = 9*z + 14. Let c = -28 + 16. Let f be b(c). Let a = 161 + f. Is a a prime number?
True
Let l(c) = 2*c**3 - 6*c**2 + 5*c + 6. Is l(5) a composite number?
False
Suppose -5537 = -17*x + 7842. Is x prime?
True
Suppose 3*a + 5*g = 3*g - 2462, -5*a = 2*g + 4106. Let o = a - -1151. Is o composite?
True
Let q(f) = 4*f**2 + 12*f - 12. Let n be q(8). Let p = -128 + n. Suppose h - p = -3*h. Is h a prime number?
True
Let h = -3 - -197. Is h composite?
True
Let q = -5 + 7. Suppose 0 = -g + q*b + 57, -1 = 4*b + 7. Is g composite?
False
Let b = 1131 - -526. Is b prime?
True
Let v = 22 - 36. Let p be (6/(-4))/((-1)/34). Let s = p - v. Is s a composite number?
True
Let f(c) = -c**3 + 5*c**2 - 5*c + 5. Let q be f(4). Is 117 + q + (-6 - -9) composite?
True
Let z(p) = -207*p + 14. Is z(-3) prime?
False
Let k = -110 + 280. Suppose 0 = y - 3, 31 - k = -2*g - 5*y. Let m = -37 + g. Is m composite?
True
Suppose -5*u - i + 6*i = -625, 0 = -u - 3*i + 133. Is u a composite number?
False
Is 472/3 + 4/(-12) composite?
False
Let i = 13 - 14. Is i + -1 + -1 - -92 a composite number?
False
Suppose -4*b + 2*b + 1370 = 0. Is b a composite number?
True
Let c(w) = 136*w**2 + 4*w + 5. Is c(-2) composite?
False
Let v(i) = i - 2*i + 3*i + 48*i**2 - 1. Let a be (-4 + 1)*(-3)/9. Is v(a) composite?
True
Suppose 2*i + 2*i = 476. Is i a composite nu