. Is l composite?
True
Let a = 40 + -28. Suppose a = 5*p - 2*p. Suppose 2*w - 4*m - 266 = 0, 2*m - p*m = -4*w + 514. Is w composite?
False
Let f = 12 - 10. Suppose 4*r + 12 = 0, y + r - 30 = -f*y. Let m = 50 - y. Is m a composite number?
True
Let r(m) = 30*m**2 - 7. Is r(-5) a composite number?
False
Let m be 1 - -1*(-11 + 2). Let u = 6 + m. Is (-42)/u*5/15 composite?
False
Suppose b - 527 = -5*q, -q - 5*b + 62 = -29. Is q a prime number?
False
Let l = -39 + 18. Suppose 3*p + 55 + 8 = 0. Is (-48)/l - (-6)/p a composite number?
False
Let n(f) = -f**3 + f**2 - 1. Let m(v) = -307*v**3 + 7*v**2 - 7. Let c(g) = -m(g) + 6*n(g). Is c(1) a prime number?
False
Is 4/(-18) - 2139/(-27) composite?
False
Is (56/20)/(2/1655) prime?
False
Let d(n) = 6*n + 6*n + 12*n - 3. Is d(6) a composite number?
True
Let d(q) = -q**2 + 3*q + 4. Let l be d(3). Suppose -5*o + l + 66 = 0. Is o a prime number?
False
Suppose -181*p + 183*p - 8974 = 0. Is p a composite number?
True
Let v = -415 + 796. Is v composite?
True
Let q(z) = -z**2 + z + 501. Is q(0) a prime number?
False
Let c = 4 + -4. Suppose c*u - 3*u = -705. Suppose -2*q + 0*q + 94 = -4*z, 5*q = 5*z + u. Is q a prime number?
True
Let l(y) = 14*y**2 - 2 + 6 - 1. Is l(3) a composite number?
True
Suppose -p = 2*p. Suppose p*n = -4*n + 296. Is n composite?
True
Let x(i) = -i**3 + 1. Let g(l) be the second derivative of l**5/4 - 5*l**4/12 - l**3/6 + 3*l**2/2 - l. Let f(w) = g(w) + 4*x(w). Is f(5) a composite number?
False
Let k(i) = -2*i - 9. Let v be k(-6). Suppose 0 = -v*t + 46 - 7. Is t a composite number?
False
Suppose 8685 = 5*c - 4*s, 9*c - 2*s + 1723 = 10*c. Is c prime?
True
Is 10/45 - (-73490)/18 composite?
True
Let x(z) = 3 + 61*z + 72*z - 8 - 56*z. Is x(2) a composite number?
False
Let f(z) = -7*z - 6. Let l = -15 + 4. Let y be f(l). Suppose y = 4*s - 69. Is s composite?
True
Suppose -3*n + 14 = -2*a + 685, -a + 343 = -4*n. Is a prime?
True
Let r(m) = -m**2 + m + 2. Let d be r(2). Let v(z) be the first derivative of -z**4/4 - z**3/3 - z**2/2 + 10*z - 2. Is v(d) a prime number?
False
Suppose -5*x + 48 = 11*x. Let k = 438 + -82. Suppose -c - k = -4*z, -x*z - 4*c = -337 + 70. Is z composite?
False
Suppose 2*z = -3*l - 7 - 14, -2*z = -4*l + 28. Let u = -5 - z. Let t(k) = 2*k - 5. Is t(u) composite?
True
Suppose -4*g + 2*z = -80, -3*g + z + 100 = 2*g. Is g/8*596/10 prime?
True
Suppose 7 = 4*v - p + 2, 2*v - 7 = -p. Suppose -4 = -0*q - v*q. Is q a prime number?
True
Suppose -u + 5*u = 0. Suppose 2*l - l - 4 = u. Suppose -l*h + 0*d = -d - 199, 0 = 2*h - 4*d - 110. Is h a prime number?
False
Suppose -86 = -p + 56. Is p a composite number?
True
Let f = -146 + 273. Is f composite?
False
Suppose 0 = a - 0*a - 4. Suppose 0 = a*g + 5*w + 87, g + 2*w = 3*w - 15. Let f = 7 - g. Is f prime?
False
Let a be -1 + (1 + 2)*-1. Is (-3 - a)*-1*-57 a prime number?
False
Suppose -i - 2 = 3*x, 5*i + 0*x + 3*x = -22. Let s = -8 - i. Let z = 6 + s. Is z a composite number?
False
Suppose -13*c + 3353 = -6*c. Is c a prime number?
True
Suppose -4 = -b + t - 3, 4*b + 4*t - 28 = 0. Let o(j) = 73*j + 1. Is o(b) a composite number?
False
Suppose -c - 8*t + 3*t = -29, -2*c = -4*t + 12. Let l be (4 - 7/2)*530. Suppose 4*d + d = u + 250, c*u + l = 5*d. Is d composite?
True
Suppose 0 = 4*y - 2*y - 106. Is y prime?
True
Let j(g) be the first derivative of -g**2/2 - 28*g + 2. Let m be j(0). Is (m/(-6))/(1/3) a prime number?
False
Suppose -d + 3*q = 0, 4*d - 5*q + 2 = 9. Is 37*((3 - d) + 1) prime?
True
Let s be (6*-1)/((-3)/2). Suppose -s*a - 2*g + 4*g + 570 = 0, 2*a - 270 = -4*g. Is a a prime number?
False
Let q(n) = 2*n - 8. Let p be q(7). Let l(a) = a**3 - 5*a**2 - 6*a - 6. Let c be l(p). Let d(w) = -w + 4. Is d(c) composite?
True
Let j be (-2)/(-8) - (-602)/(-8). Let n(i) = -i**3 - 5*i**2 - 4*i. Let d be n(-3). Let u = d - j. Is u a prime number?
False
Let h(u) = 4*u - 2. Let c be h(4). Let m be (-4)/c + (-60)/(-14). Suppose 201 = 3*a - 5*x + 27, -m*a + 209 = x. Is a a composite number?
False
Let s = -127 + 75. Suppose -2*x - 5*r = -287, 2*r = -0*r + 10. Let z = s + x. Is z a composite number?
False
Suppose 4*f = -82 + 294. Is f prime?
True
Suppose 2*x = 4*x - 8. Suppose x*h = 0, 0*d - 2*d - 2*h + 1270 = 0. Is d a composite number?
True
Suppose -k + 368 = 5*f, f + f + 375 = k. Is k prime?
True
Let w be (3/4)/((-1)/20). Let d be ((-4)/(-5))/((-6)/w). Suppose 0 = o - f + 1 - 72, 4*o - 276 = d*f. Is o a prime number?
True
Let z = -1240 + 4173. Is z a composite number?
True
Let i(o) = o**3 + 2*o**2 - 4*o - 3. Let u be i(-3). Suppose u = r - 85 - 1. Suppose 0 = -3*n + r + 115. Is n composite?
False
Let g(v) = -v - 1. Let c be g(-6). Suppose 0 = c*j - 313 - 322. Is j a composite number?
False
Suppose -4*z = 2*y - 218, -2*z + 94 = y + 3*z. Suppose -2*d = -3*m + y, 5*m = 2*m - 4*d + 95. Is m composite?
False
Suppose -2*f - 4*m = -1382, -18 = 2*f - 5*m - 1445. Is f prime?
True
Suppose 4*c = -5*s + 2219, 5*s + 9*c = 4*c + 2220. Let u = s - 288. Is u prime?
False
Suppose 0 = -2*s + 912 - 74. Is s a prime number?
True
Let h be -28 + 1 + -5 + 0. Is (-4760)/h + (-2)/(-8) a prime number?
True
Suppose 0 = -b - 5*k + 418, 2038 = 2*b + 3*b - k. Suppose -13 + b = 5*w. Is w a composite number?
False
Suppose -u = u. Suppose 124 = 4*a - u*a. Is a composite?
False
Suppose 10 = 5*n + 2*h + 2, -2*n = 3*h - 1. Let t(w) = n*w + 35 + w**2 + w - 4*w. Is t(0) prime?
False
Let v(r) = -r**3 + 7*r**2 - r + 9. Let x be v(7). Suppose -2*n = x*k + 52, 3*k = -5*n + 4*k - 100. Is 0 + (2 + -1 - n) prime?
False
Let b(a) = -a**3 + 3*a**2 + 4*a + 5. Let f be b(4). Let u = f - 2. Suppose -4*q + 97 = -u*q. Is q a composite number?
False
Suppose 0 = 3*k + 296 - 3161. Is k prime?
False
Let z = -251 + 410. Is z a prime number?
False
Let m be 0/(-1) - (2 + -4). Suppose 0 = -m*h + 4, -i + 2*h + 70 = 6*h. Is i composite?
True
Suppose -4*a + r - 4*r - 12 = 0, 5*r + 15 = -5*a. Let d = a + 2. Is (14/4*-4)/d a prime number?
False
Let r = -403 - -976. Is r a prime number?
False
Suppose 4*y = -3*w - 2*w + 47, 2*w - 20 = -y. Let z = 23 + 13. Let f = z + w. Is f composite?
False
Let n = 5 + -1. Suppose -66 = -2*f - n*i, 4*f - 4*i + 2*i - 122 = 0. Is f prime?
True
Suppose 2*p - p + 4*q = 21, 5*q = 2*p - 94. Is p prime?
True
Is (-10170)/(-5) + -1 + 6 prime?
True
Suppose 5*u + 6*k - 442 = 3*k, -4*u + 361 = -5*k. Is u a composite number?
False
Let j(x) = 4*x + 3. Let f(t) = -3*t - 2. Let z(u) = 8*f(u) + 5*j(u). Let v be (40/6)/5*-3. Is z(v) a composite number?
True
Let m(j) be the second derivative of -j**3/6 + j**2/2 - j. Let n be m(-2). Suppose l - 114 = 4*v - 27, n*l = 2*v + 251. Is l prime?
True
Suppose -3*b = 8*b - 1221. Is b composite?
True
Let b(n) = 1 - 5*n**2 - 21*n**3 + 2*n + 5*n**2. Let t be b(-1). Suppose 35 = w - t. Is w composite?
True
Suppose 9 = 3*q + 5*p - 5, 0 = -4*q + 3*p + 9. Suppose 0 = q*k - 66 - 423. Is k a composite number?
False
Let z = 3 - -4. Let a be 128/5 - 10/(-25). Let c = a - z. Is c prime?
True
Suppose -5099 = -p + 5*j, 0*p = -5*p + j + 25399. Is p prime?
False
Suppose 5*l - 3*v + 26 = 0, -l - 24 = 3*l - 4*v. Let h(g) = -g**2 - 5*g - 3. Let u be h(l). Is (151 - -2) + (u - -1) a composite number?
True
Let j be ((-6)/(-4))/(3/(-8)). Let v = j + 26. Is v a prime number?
False
Is (-6)/(-3)*53*(-2)/(-4) a prime number?
True
Suppose -g = -0*g - 4, 0 = -r - 2*g - 12. Let c = r - -35. Let v = 4 + c. Is v a composite number?
False
Let y = 12 + -14. Is y/3*(-444)/8 composite?
False
Suppose 3 - 11 = -2*x. Suppose 3*i - c - x*c = 490, -2*c - 658 = -4*i. Let r = i - 74. Is r a prime number?
False
Suppose -117*o = -116*o - 1349. Is o a composite number?
True
Suppose 2*h - 4 = -14. Let y = 5 + h. Suppose -3*o - 2*q + 151 + 39 = y, 3*q + 118 = 2*o. Is o a prime number?
False
Let k be -1*(5 + -1 - 2253). Let d = k + -1152. Is d a prime number?
True
Suppose 0 = 9*j - 1410 + 456. Is j a prime number?
False
Let f(t) = -t + 51. Suppose b = 3*b. Is f(b) a prime number?
False
Suppose 4*k + 168 = 4*p, 5*p + k = 91 + 89. Is p composite?
False
Is (26/(-6) + -2)*-3 composite?
False
Let k(f) = -5*f + 2*f - f - 10 - 3*f. Is k(-11) a composite number?
False
Is (2 - 1)*1055/5 a composite number?
False
Suppose 2*m = 5*l - 9092 + 2683, 5*m = 5*l - 6400. Is l prime?
True
Suppose -3*s + 1507 = 2*l - 7*l, 0