 6*u = 5*u + 8. Is d(u) a composite number?
True
Suppose -i = -4*i + 105. Is i a prime number?
False
Is (4*3)/(-4) + 296 composite?
False
Let a = -863 + 1678. Is a prime?
False
Let m(y) = -y + 20. Let x(l) = l**3 + 11*l**2 + 12*l + 5. Let u be x(-10). Is m(u) composite?
True
Suppose 6*x = 2*x + 8. Let r(z) = 2*z**2 - 3*z + 3. Let l be r(x). Suppose t - d - 144 = 0, -119 = -t + d - l*d. Is t prime?
True
Is -2*(-4)/((-16)/(-326)) a composite number?
False
Let w be (-1)/(22/23 - 1). Suppose -w = -z - 0*z. Is z composite?
False
Suppose -2*r + 185 + 129 = 0. Is r a prime number?
True
Suppose -2*o - 5536 = -2*q, -8302 = -6*q + 3*q + o. Is q a prime number?
True
Suppose 0 = -13*h + 3*h + 390. Is h prime?
False
Let h = -16 - -20. Suppose 2*n + 2722 = h*r, -r + 1355 = r + n. Is r a composite number?
True
Let c be 52/16 - (-1)/(-4). Suppose z + 8 = c*z. Suppose -4 = -4*n, 211 = 2*m - z*n - 3. Is m prime?
True
Suppose -2*r + 432 + 94 = 0. Is r prime?
True
Let j = 258 - -5. Is j a composite number?
False
Let y be -2 - (-4 + -1 - -1). Suppose -4*s = j - 6*j - 207, 0 = 3*s - y*j - 157. Is s composite?
False
Suppose 3*l + 3*t - 3828 = 3672, 0 = -2*l + t + 5009. Is l composite?
False
Let w = 76 - 45. Is w prime?
True
Let k(u) = -3*u**2 - 4 + 8*u - u**2 - u**3 - 9*u. Let f be k(-4). Suppose f = 2*v + 3*v + 3*n - 179, -v + 33 = 2*n. Is v composite?
False
Let l be 583/9 - (-6)/27. Let i = -30 + l. Is i a composite number?
True
Let t = 7 - 2. Suppose s - c + 49 = 3*s, t*s + c = 124. Is s a composite number?
True
Suppose 0*c - c = -382. Suppose 4*t - c = 2*t. Is t a prime number?
True
Let h(g) be the third derivative of g**4/6 + g**3/6 + g**2. Let o be h(1). Suppose -r = -2, -o*c + 36 = 3*r - 605. Is c a composite number?
False
Let v(x) = x - 12. Let o be v(0). Is (o + 10)*31/(-2) a composite number?
False
Suppose -3*b - b - 5*m + 111 = 0, m = -5*b + 165. Suppose -b = -i - 0*i. Is i a prime number?
False
Suppose -4*w - 5*n + 125 = 0, 0 = 2*w + 3*n - 5*n - 76. Is w*(1 + 0 + 0) prime?
False
Suppose 2*v + v - 381 = 0. Is v a prime number?
True
Let r = -287 + 508. Is r composite?
True
Let b(t) = t**3 + 6*t**2 - 4*t + 4. Let d be b(5). Suppose 0 = 3*n - 5*v - d, 0 = -2*v + 5*v + 6. Is n prime?
True
Is -7*(-1)/(1/127) a composite number?
True
Let b = 4 - -8. Let i = -6 + b. Is i a composite number?
True
Is (-1615)/(-5) + 1 + -3 a composite number?
True
Suppose a + 327 = 2*a. Is a prime?
False
Suppose -4*a = 4, -3 = v - 4*a + 7. Is v/(-3) - (-6)/(-9) composite?
True
Suppose 4*l = 4*r + 164, l + 5*r - r - 16 = 0. Is 24/l*474/4 prime?
True
Let f = 257 - -306. Is f composite?
False
Let p(k) = 3*k**2 + 3*k + 1. Is p(-7) composite?
False
Let b(u) = -u**2 - u + 1. Let t(n) = n**3 + 2*n**2 + 3*n + 7. Let c(d) = 3*b(d) - t(d). Is c(-5) composite?
True
Suppose -706 = -2*s - 4*p, -5*s + 3*s - p = -715. Is s composite?
False
Let v(x) = 7*x**2 - 5*x - 4. Let s be v(-6). Suppose u - s = -u. Let m = -60 + u. Is m composite?
False
Let z(g) = 173*g**2 - 4*g - 2. Is z(3) a prime number?
True
Is (-7891)/(-39) - ((-8)/(-6) + -2) a prime number?
False
Let m be ((-3)/(-1) + 0)*-2. Is ((-93)/(-4))/(m/(-16)) a composite number?
True
Let k = 472 - 278. Is k a prime number?
False
Let p(k) = -32*k - 7. Is p(-3) a composite number?
False
Let h(v) = -17*v + 8. Let u be h(-4). Suppose u + 210 = 2*c. Is c prime?
False
Suppose 4*q - 3675 = -2*p - 1351, 3*q = 5*p + 1717. Is q composite?
True
Let a = -86 - -144. Let m = 281 - a. Is m a composite number?
False
Suppose 5*a + 5*n - 8 - 1542 = 0, -4*a + n + 1225 = 0. Is a a prime number?
True
Suppose -244 = -4*m + 232. Is m prime?
False
Let z(m) = 5*m**2 - 3*m + 2. Let x be z(1). Suppose u + 669 = x*u. Is u composite?
False
Let b be (24/16)/((-2)/(-4)). Suppose 106 = b*v - s, 4*v - 178 = -v + 3*s. Is v prime?
False
Suppose -253 - 159 = 2*z + 5*q, -4 = -2*q. Let n = -126 - z. Is n a prime number?
False
Let o(p) = -2*p. Let b be o(4). Let a(y) = y**3 - 7*y**2 + 4. Let w be a(7). Is (-74)/b*(0 + w) a composite number?
False
Suppose -4*m + m + 5 = -2*k, -2*m - 4*k + 30 = 0. Suppose 60 = m*h - 3*h. Suppose 0 - h = -3*f. Is f composite?
True
Suppose -3*o + 58 + 191 = 3*f, 87 = f - o. Suppose -f = -t + 129. Is t composite?
True
Suppose t = -f - t - 5, -t + 3 = -5*f. Let v(l) = 1 + 0*l + 0*l + l + l + 14*l**2. Is v(f) a prime number?
True
Suppose -3*s - 12 = 3*h, 3*s = -3*h + 5*s - 12. Let z be (-201)/(-39) - h/(-26). Is 972/10 - 1/z composite?
False
Suppose -756 = 7*z - 3*z. Let a = 308 - z. Let d = a - 348. Is d prime?
True
Let z = -140 - -60. Let c = 113 - 52. Let f = c - z. Is f composite?
True
Let n = -14 - -22. Is (-2)/8 - (-658)/n a prime number?
False
Suppose -3*o + 2954 = -3*z - 1411, 5 = -5*z. Is o prime?
False
Let h(k) = k**3 - 6*k**2 - 8*k + 9. Let i be h(7). Suppose -i*j + 124 = 8. Is j a prime number?
False
Suppose -5*p - v + 3984 = -0*p, -3*p + 2392 = -v. Is p a prime number?
True
Let g(l) = 13*l**2 + 3*l + 5. Let u(o) = 12*o**2 + 3*o + 4. Let p(s) = -6*g(s) + 7*u(s). Suppose 5*i = -4*q + 21, 2*q = 5*i - 3*q - 30. Is p(i) composite?
False
Suppose -4*s - 148 = 4*b, 0 = s + 2*b + 28 + 9. Let y = 68 + s. Is y prime?
True
Let d be 4 - (1 - -1)/(-2). Let a(u) = u**3 - 6*u**2 + 7*u - 7. Let c be a(d). Suppose -c*g - 24 = -171. Is g a prime number?
False
Let a(q) be the first derivative of -5*q**2 - 7*q + 1. Is a(-10) prime?
False
Let a(g) = g**3 + 3*g**2 - 2*g - 3. Let x be a(-3). Suppose -7*o + 492 = -x*o. Is o a composite number?
True
Let b be 0*(6/2 + -2). Let u = 3 + b. Is u a composite number?
False
Suppose -5*m = d + 44, -4*m - 32 = -m - 5*d. Let k be (0 + 2)*m/6. Is 253/k*1*-3 prime?
False
Let w = -4 + 783. Let s = -460 + w. Is s prime?
False
Let f(n) = 42*n**2. Let q be f(1). Suppose 7 - 3 = 3*i + 5*d, i + d - 2 = 0. Let h = q - i. Is h composite?
True
Suppose 2*t = -2*t + 416. Let x = t - 21. Is x prime?
True
Suppose 5*a - 1198 = -3*t, -180 = -4*t - 2*a + 1394. Is t a prime number?
False
Let r(f) = f. Let s be r(-4). Let d(c) = 3*c + 3 + c - 6*c. Is d(s) a composite number?
False
Let l(s) = -13*s. Is l(-5) a prime number?
False
Suppose -3*z - 2*z - y = -94, -3*y = 3. Suppose -4*u + 12 - 4 = 0. Is (-5 + 7)/(u/z) prime?
True
Suppose 0 = -g - 0*g - 4*f + 199, g = -2*f + 199. Is g prime?
True
Let q(x) = -580*x. Let c be q(-1). Suppose 0 = 5*l - c - 135. Is l a composite number?
True
Suppose 3*o + q - 1187 = 0, 2*q + 233 = o - 158. Is o prime?
False
Let r(n) = n**2 + 75. Suppose 4*c = 2*c. Let z be r(c). Suppose z = a + 2*a. Is a a composite number?
True
Suppose -4*h = -m - 27, 0 = 4*h + 4*m - 3*m - 29. Is (-2286)/(-14) - 2/h a prime number?
True
Let o(b) = 2*b**2 + b + 1. Is o(10) a prime number?
True
Let w be 2 - -426 - (-3 + 2). Let l = w - 295. Is l a prime number?
False
Let c be 27/18*(-4)/6. Let w(v) = v - 5. Let y be w(6). Is 19 - (-1 + y/c) prime?
False
Let b = -453 - -890. Is b composite?
True
Let s(i) = 6*i - 5. Let n(b) = -b. Let o(r) = -r**3 + r**2 - r. Let f be o(1). Let y(a) = f*s(a) - 2*n(a). Is y(-8) prime?
True
Let w = -973 + 1640. Is w a composite number?
True
Let x(d) = d**3 - d + 1. Let w(k) = 3*k**3 + 9*k**2 + 10*k + 9. Let t(o) = w(o) - 2*x(o). Let f(u) = u + 1. Let b(v) = 3*f(v) - t(v). Is b(-9) composite?
True
Suppose -v + y + 306 = -664, 3*y - 3 = 0. Is v a composite number?
False
Let a(l) be the first derivative of 22*l**2 + 13*l - 10. Is a(15) a composite number?
False
Let t be (-45)/(-3 - 0)*1. Let a(s) = 1 - t*s - 8*s - 7*s. Is a(-1) a prime number?
True
Suppose -2 = 2*t - t, 4*d - t = 38. Suppose -4*c + d = -c. Is 355/c - 6/(-9) composite?
True
Suppose -z = -5, 4*v - 4*z - 5 - 7 = 0. Suppose 0 = 4*n - 0*n - v. Is -1 - (6 + n)*-10 a composite number?
False
Let o(n) = n**3 - 10*n**2 + 6. Is o(11) prime?
True
Suppose 4*z = s + 59, 0*z - 2*s = -2*z + 28. Suppose 4*j + z + 1 = 0. Is (-105)/(-10) + (-2)/j a composite number?
False
Let f(p) = -p**3 + 3*p**2 + 3*p. Let y = 9 - 6. Let l be f(y). Suppose l - 96 = -w. Is w composite?
True
Suppose -5*i + 0*i - 3*w = -2194, -2*i = 2*w - 880. Is i/4 - (-1)/(-4) a prime number?
True
Let t be 15/(-6)*-2 + -1. Suppose 3 - 15 = -t*h. Is -3*h/((-9)/53) prime?
True
Suppose -9 = -5*s + 1. Suppose 0 = x + s + 5. Let p(f) = 2*f**2 + 5*f - 1. Is p(x) a prime number?
False
Suppose -2*g + 6 = 