 + 92. Suppose 0 = 5*p + 5, -3*p = 5*z - p - b. Suppose 0 = -z*k - 7 - 8, 0 = c + 5*k - 22. Is c prime?
True
Let r(v) = 32*v - 3. Let o be r(-4). Let u = -78 - o. Suppose -2*a + 3*k - 62 + 157 = 0, -a - 4*k + u = 0. Is a prime?
False
Let b be (-1 + 0/(-1))*-6. Suppose 2*a - 60 = -2*i, i - b = a + 4*a. Is i a prime number?
False
Let g(t) = 16*t**2 + 5*t + 4. Is g(3) composite?
False
Let f = -397 - -816. Is f composite?
False
Suppose 0*b = -2*b + 4*x + 16, -12 = 3*x. Suppose b*r - 157 = -r. Is r composite?
False
Let w(i) = 13*i - 2 - 2*i - 3*i. Let a be w(4). Suppose -2*z + a = -0*z. Is z composite?
True
Suppose -5*m = -3*p - 29, 15 - 36 = -3*m + 3*p. Suppose 0*v + m*v = 0. Suppose v = -2*c + 11 + 1. Is c a prime number?
False
Let x(r) = -2 - 6*r**2 + 1 - 6*r + 0*r**3 + r**3. Is x(7) a prime number?
False
Suppose o = 4*o + 39. Let g = o + 3. Is (-6)/(-15) + (-2586)/g a composite number?
True
Suppose -l = -4*d + 20, -3*l - 7 + 2 = -d. Suppose 2*w + 5*q - 191 = l, 4*w + 2*q - 161 - 181 = 0. Is w a composite number?
False
Suppose -4*t = 565 - 7185. Is t a composite number?
True
Suppose -5*u - 2631 = -8*u. Is u a prime number?
True
Suppose 3*k = 5*k + 942. Let s = -4 - k. Is s a composite number?
False
Suppose 4*n - 1236 = -w, -w + 300 = n - 3*w. Suppose 1980 = -4*s + n. Is s/(-6) - 2/3 prime?
False
Let v = -1 - -3. Suppose -v*f = f. Suppose f = -3*n, -17 = -a + 5*n + 18. Is a prime?
False
Let t(n) = -2*n - 11. Let k be t(-8). Suppose -6*l + 3*l = 5*x - 1701, -k*x + 2*l = -1691. Is (-1)/((6/x)/(-2)) a composite number?
False
Suppose -5*n + 2*b + 884 = 241, 3*n - 393 = 3*b. Is n a prime number?
True
Let i = 284 - 127. Is i a prime number?
True
Let k = -224 - -493. Is k a prime number?
True
Suppose 0 = -5*t + 10. Suppose -t*w + 16 = -5*z + 2, -3*w = -5*z - 21. Is w a prime number?
True
Let a be 0*(-2)/6 + 0. Suppose -2*r + r + 353 = a. Is r a prime number?
True
Suppose 0 = 4*l - 12, 2*l = -q - 0*l + 121. Is q a prime number?
False
Suppose -3*d - v + 670 = 0, -1237 + 344 = -4*d - v. Is d a prime number?
True
Let r(f) = 10*f**3 - 9*f**2 - 6*f + 10. Let p(a) = 2*a**3 - 2*a**2 - a + 2. Let u(h) = 11*p(h) - 2*r(h). Let j be u(2). Is (-15)/6*j/(-1) a prime number?
False
Suppose 5*y + 3*u = -166, 0 = 3*y - 0*y - 2*u + 92. Is (40/y)/((-2)/56) a prime number?
False
Suppose 3*k + 3*s - 2718 = 0, -1822 = -4*k + 2*k - 4*s. Is k prime?
False
Suppose j - 63557 = -12*j. Is j a composite number?
False
Let b = 7 - 4. Suppose b*a - 6 = a. Suppose -405 = -a*q - 66. Is q a composite number?
False
Let w = 249 + 337. Is w a composite number?
True
Suppose -2*k = 5*y - 317, 1110 = 5*k - 5*y + 300. Is k a prime number?
False
Let k = -2 - -5. Suppose 136 = b + k*b. Suppose b = 4*n - 58. Is n composite?
False
Suppose 285 = 3*j + 2*j. Is j composite?
True
Suppose -3*t - 6 = -3*a, 0 = a + 5*t - 11 - 3. Suppose 2*z - 40 = -2*s, -a*s + 59 + 14 = -3*z. Is s composite?
False
Let w(g) = g**2 - 2*g. Let o be w(3). Let q(f) = 0*f**3 + 3*f**2 - o*f - f**3 - 7 + 4*f**2. Is q(6) a prime number?
True
Let n(f) = 14*f**2 + 3*f - 3. Suppose -4*b - 8 = -6*b. Suppose b*g = 15 - 7. Is n(g) a composite number?
False
Let x be 31 - (0 + (-3)/(-3)). Suppose -3*s + 184 = g, -x = 3*g + s - 550. Let w = g + -105. Is w prime?
True
Let s(m) = 2*m**2 + 4*m + 2. Let o be s(-2). Suppose 0*x = 2*x + 3*j - 409, x + o*j = 205. Is x a prime number?
False
Let v(r) = -19*r + 9. Suppose 3*d - d = -16. Is v(d) prime?
False
Suppose 2*k = -3*d + d + 5032, 3*k - 2506 = -d. Is d prime?
True
Suppose 0 = -0*i - 3*i - 3. Let r(u) = -218*u + 1. Is r(i) a prime number?
False
Let f = -902 + 2581. Is f a composite number?
True
Suppose 4*d = 5*l - 184, -2*d = 3*l + 3*d - 103. Suppose -4 = -3*n - 2*q, -5*n - 4 = -3*q - l. Suppose -n*u + 3*t + 11 = -20, t = -1. Is u prime?
True
Suppose -2*q + 39 = 3*g, 2*q - g + 0*g = 27. Suppose 0*f = 3*f - q. Suppose z - f*a = -0*z + 57, -5*z - a = -181. Is z prime?
True
Let p = -101 + 243. Is p a composite number?
True
Let t = -332 + 475. Is t composite?
True
Let c = 184 - -7. Is c composite?
False
Suppose -5*x + 1646 = 3*h, -4*h + 0*h + 981 = 3*x. Is x composite?
False
Let r(s) = 21*s**2 - 1. Is r(2) a prime number?
True
Suppose -2*f = -i - 1814, 2721 = 6*f - 3*f + 3*i. Is f a composite number?
False
Let z(r) = -103*r - 5. Is z(-6) a composite number?
False
Let k be -3*(9/(-3) + 98). Let i = k + 434. Is i composite?
False
Let a(d) = d**2 + 6*d - 3. Let t be a(-5). Let q = 62 - -5. Let z = t + q. Is z composite?
False
Let c(w) = 2*w**2 - 9*w - 9. Is c(11) a prime number?
False
Suppose 3*s + 280 = 8*s. Let w = -1 + s. Is w a prime number?
False
Let m(k) = 2*k - 8. Let j be m(6). Suppose h - 335 = -j*h. Is h prime?
True
Suppose b - 195 = -4*v + 146, 3*v + 2*b = 262. Suppose -4*p = -p - v. Let k = 15 + p. Is k composite?
False
Let t(y) = 3*y**2 - 6*y + 4*y + y. Let j be t(-2). Suppose 5*g = 141 + j. Is g a prime number?
True
Let o(y) = -y**2 - 11*y + 21. Is o(-9) composite?
True
Let d(b) = -26*b - 1. Is d(-9) prime?
True
Let d(x) = 1145*x**2 + x - 1. Is d(1) prime?
False
Let a = 8 - 5. Let s be (a - 4) + 1 + -249. Is (6 + -3)*s/(-9) composite?
False
Suppose 0 = -7*x + 1252 + 666. Is x a composite number?
True
Let h(r) = -r + 7. Let v be h(3). Is v/18 + 669/27 a prime number?
False
Let v be (-2967)/(-6) - 3/(-2). Suppose -4*p = -v - 316. Is p composite?
True
Let i = -3 - -4. Let d(u) = 8*u + 1 - 2 + 28*u. Is d(i) composite?
True
Let o(t) = 25*t - 13. Is o(12) prime?
False
Let g(r) = r**3 - 6*r**2 + 2*r - 9. Let x be g(6). Is (2/x)/((-4)/(-42)) composite?
False
Suppose 2*n + 8*f = 5*f + 674, -1635 = -5*n + 5*f. Is n composite?
False
Let q be (-6)/9 + 120/(-9). Suppose -3*z - 153 = -0*z. Let b = q - z. Is b a prime number?
True
Let t(o) = -61*o**2 - 2*o. Let r be t(-3). Let q be r/(2 - -1) + 0. Let x = 302 + q. Is x composite?
True
Suppose 3 - 7 = y. Let j(r) = -12*r + 5. Is j(y) a prime number?
True
Suppose 0 = -2*n + 5*w + 3788, -3*n - 2*w + w + 5665 = 0. Is n a composite number?
False
Let x(k) = -k. Let w be x(-5). Let d(l) = 33*l + 2. Let o(s) = 17*s + 1. Let j(m) = w*o(m) - 2*d(m). Is j(4) prime?
False
Let x(k) = k**3 + k**2 - 4*k - 2. Let t be x(-2). Suppose -s - b + 353 = -3*b, -t*b = -4*s + 1394. Is s a prime number?
True
Suppose 0*h = -4*h + 1056. Suppose 4*n - 964 - h = 0. Is n a prime number?
True
Let w = -200 - -2149. Is w a prime number?
True
Suppose 0*v + 4*v = q - 5, 3*v = -2*q + 10. Suppose 2*n + 0*n + q*m = 376, -3*m - 726 = -4*n. Is n prime?
False
Let z(k) = 10*k - 1. Let u be z(1). Let t(o) be the first derivative of 4*o**3/3 - 2*o**2 + 5*o - 2. Is t(u) a prime number?
True
Suppose -5*r + r + 16 = 0. Let v(b) = -2*b**2 - 8*b + 11. Let t(j) = 4*j**2 + 16*j - 21. Let q(a) = r*t(a) + 7*v(a). Is q(-7) a composite number?
True
Let r(t) = t**3 + 3*t**2 - 5*t - 1. Let v be r(-4). Suppose -4*i + 332 = 3*d - 2*d, -v*i + 3*d = -249. Is i a prime number?
True
Let v = 6 - 0. Suppose 63 = -v*o + 3*o - 2*u, -3*o = 5*u + 54. Let a = -8 - o. Is a a prime number?
False
Suppose -3*h - 4*x = -0*x - 1097, 2*x = 5*h - 1863. Is h a composite number?
True
Suppose 5*j - 136 = 3*d + 129, 0 = 3*d. Is j a composite number?
False
Suppose 3*b + z = 242, -98 = -b - 3*z + 7*z. Is b composite?
True
Let g(i) be the second derivative of -4*i**3/3 + 3*i**2/2 - i. Let d = 5 + -9. Is g(d) a prime number?
False
Suppose -4*j + 1193 = -h, -h - 4*h = j - 314. Is j a prime number?
False
Suppose -4 = -2*b, -h + 0*h = -4*b - 479. Is h prime?
True
Suppose 2*p + 2*t = -3*t + 1531, 748 = p - t. Is p composite?
True
Let i(v) = -2*v + 2. Let c be i(1). Let g = -44 - -131. Suppose c = -h + 4*k + 63, k - g = -h - k. Is h composite?
False
Suppose -2*y = 4*b - 20140, -2*y - 647 = -3*b + 14444. Is b a prime number?
False
Suppose 3*v - 5826 = -3*v. Is v prime?
True
Let r(t) = -29*t**3 + 2*t**2 + 5*t + 3. Is r(-2) a composite number?
False
Let v = -489 + 271. Let l = v + 307. Is l a composite number?
False
Let i(j) = 6*j**2 + 3*j + 1. Is i(-6) prime?
True
Suppose 6*f - 3*f + 627 = 0. Let i(a) = -6*a**2 - 5*a + 1. Let r be i(-5). Let q = r - f. Is q a prime number?
False
Suppose -5*h + 15 + 35 = 0. Let t be 448/h - 1/(-5). Suppose v + 5 + 4 = d, -5*d - v = -t. Is d a composite number?
True
Let m(y) = -y**3 + 3*y**2 - 8*y - 9. Is m(