-6 + 18. Suppose 0*i = -4*i + s. Is i a prime number?
True
Let p(f) = f - 2. Let b be p(7). Suppose -10 = 3*h + 2*h, b*d - 73 = -h. Is d a prime number?
False
Let a(w) be the third derivative of -w**6/120 - w**5/20 + w**4/4 + w**3/2 - 2*w**2. Let d be a(-6). Suppose c - d = -2*c. Is c a prime number?
False
Let p be 2 + -2 + -2 + 5. Suppose 4*y = -4*o + 904, -p*o - 131 = -3*y + 529. Is y a prime number?
True
Let n(g) be the second derivative of 7*g**4/4 + g**3/3 + g**2/2 + 2*g. Suppose d + 1 = 2*u, -6*u = -3*u - 2*d. Is n(u) prime?
True
Let a(q) = q**3 + 13*q**2 - 7*q + 9. Let k = -21 + 11. Is a(k) a composite number?
False
Let u = -80 + 175. Suppose 4*c - u = -7. Is c a prime number?
False
Let c be 30/9*(-36)/10. Let d be c/(-9)*3/(-1). Is 97 + 2 + d + 0 prime?
False
Let s(x) = -x**3 - 3*x**2 + 5*x + 3. Let n be s(-6). Suppose 5*r + 361 = n. Is 2 - r - (1 + 2) composite?
True
Suppose 4*r + 2*p = 330, -3*r - 5*p + 251 = -0*r. Is r a composite number?
True
Let s(k) = 30*k**2 - k. Let j be s(2). Let t = j + -36. Is t composite?
True
Suppose -u + 3 = -c, 2*u + 20 = -2*u. Let m be c/(-12) + (-577)/(-3). Let w = 404 - m. Is w prime?
True
Let h = -30 + 27. Suppose o - 82 = 3*d, -34 = -2*o + 4*d + 120. Is o + -3 + (-2 - h) prime?
False
Suppose -2*s - 3 = -3*s. Is (-667 - 2)/s*-1 prime?
True
Let o be (-6)/9 + 14/3. Suppose 11 - 36 = -5*t - 3*u, 2*u + 25 = 5*t. Suppose 166 = t*j - d, -6 = j + o*d - 35. Is j a prime number?
False
Is -2*3/(-6) + 54 prime?
False
Let r(o) = -4*o. Let a be r(-1). Suppose -b - 342 = -5*l, -a*b + 0*b + 12 = 0. Is l prime?
False
Suppose -r + 2*r - 8 = 4*y, 3*y = -2*r - 17. Let p = 2 + r. Is 12 - (3 + 1*p) prime?
True
Let s(x) = x + 3 - x**2 + 0*x**2 - 3 + 163*x**3. Is s(1) prime?
True
Suppose 0*v - 24 = -2*v. Suppose v = 3*j - 30. Is j composite?
True
Suppose 3*s = -12, 3*t = 2*t - s - 4. Suppose -2 = -g - t. Suppose -4*q = -f - 247 + 66, -5*f - 77 = -g*q. Is q prime?
False
Suppose -5*o - 4 = -o. Is (66 + o)/(2 + -1) composite?
True
Suppose -t + b = 2*b - 388, -5*t - 3*b + 1942 = 0. Is t composite?
False
Let i(n) = n**3 + 11*n**2 + 6*n + 41. Is i(-9) prime?
True
Is (210 - -1)*(-1 + 2) prime?
True
Let w = 141 - 52. Is w a composite number?
False
Let q = 11 - 7. Let m be (-18)/(-5) - 2/(-5). Suppose 5*p - f - m = 13, q*f + 14 = 2*p. Is p composite?
False
Suppose -2*c + 5*v - 78 = 0, -c = -6*c + 4*v - 161. Let l = c + 64. Suppose -5*f = -a + l, -3*f = 3*a - a - 70. Is a prime?
False
Suppose 13*o = 8*o + 1475. Is o prime?
False
Suppose -13*z - 1623 = -16*z. Is z a prime number?
True
Suppose 2*g - 5*g = -2*f + 1127, -5*f + 2835 = -4*g. Is f a prime number?
True
Let m = 19 - 10. Let c = -14 + -30. Let r = m - c. Is r a prime number?
True
Let a(m) = 24*m - 1. Let d(w) = w + 10. Let n be d(-9). Let z be a(n). Is z + (2 - (3 + -1)) a composite number?
False
Suppose -4*k - 46 = -266. Is k a composite number?
True
Suppose -84 = t - 18. Let f = t + 97. Is f a prime number?
True
Suppose 8 = -0*f + 2*f. Suppose 6*a - 775 = 5*a. Suppose -w - f*w = -a. Is w composite?
True
Suppose 0 = -4*f + 2015 + 1397. Is f prime?
True
Let p be ((-903)/6)/((-2)/24). Is 6/4*p/9 a composite number?
True
Suppose -10*i + 6*i = -436. Is i composite?
False
Let p = 5 - 0. Let s(g) = g**2 + 2*g + 2. Is s(p) prime?
True
Let r be (-1148)/10 - 2/10. Let z = -62 - r. Is z composite?
False
Suppose 4*s + 2*l - 188 = 660, -16 = -4*l. Suppose j - 4*j - s = 2*m, -5*j - 350 = -3*m. Let n = j + 103. Is n prime?
False
Suppose r + 2*r - 153 = 0. Is (2 - 3/9)*r composite?
True
Let k = 1 + 0. Let a be (-498)/(1 + 2)*k. Is a/(-3) + 3/(-9) a composite number?
True
Let u be (-4)/(-10) + 4/(-10). Let m = 0 + u. Suppose -3*f + 64 = -o, m*f - 5*o = 4*f - 79. Is f prime?
False
Let c = 281 + 240. Is c a prime number?
True
Let s(v) = 16*v**2 + 5. Is s(-3) composite?
False
Suppose -10*t = -6*t - 1612. Is t a composite number?
True
Let s(m) = 2*m**2 + 10*m - 1. Let i(l) = 5*l + 2. Let b(z) = -z**2 - 1. Let o be b(-1). Let f be i(o). Is s(f) a prime number?
True
Is 1/1 + (2 - -256) composite?
True
Suppose z - n + 3 = -4*z, -12 = -4*n. Suppose 2*j + z*b - b = 188, 376 = 4*j + b. Is j*(-1)/4*-2 a composite number?
False
Suppose -y + 2*b = -b + 1, -2*b - 21 = y. Let c = 44 + y. Is c a prime number?
True
Let a = 100 + -33. Let f = a + 10. Is f prime?
False
Let d = 816 + 5569. Is d composite?
True
Let t(v) = -9*v**2. Let a be t(1). Is (2/2)/(a/(-2637)) a composite number?
False
Let x(z) = -26*z - 4. Let j(o) = -26*o - 3. Let a(t) = 3*j(t) - 2*x(t). Is a(-1) a composite number?
True
Suppose -3*z + 3*u - 12 = -0*z, 2*u - 15 = -5*z. Is -2 - (-69 + -3 + z) a composite number?
True
Let b(l) = l**3 - 6*l**2 + 2*l + 2. Is b(6) a composite number?
True
Let d be (1 - 2) + 1 + 199. Let z = 284 - d. Suppose 0*b - b + z = 0. Is b composite?
True
Suppose 0 = 2*x + 6 - 16. Is (x/3)/(4/276) a prime number?
False
Let u(z) = -116*z**3 + 3*z**2 - 3. Is u(-2) a prime number?
True
Suppose 41 = h + 2*i - 8, 2*i = -2*h + 94. Suppose -4*k = k + h. Let q = k - -44. Is q composite?
True
Suppose -5*q = 2*g + g + 2770, 0 = 2*g - 5*q + 1830. Let h be ((-1)/(-2))/((-5)/g). Suppose 0*u + h = 4*u. Is u prime?
True
Suppose -3*s + 10 = 4*l - 22, -l = -s - 1. Let j be 156/15 - 2/l. Suppose -27 = -a + j. Is a composite?
False
Let q be (14/(-4))/(6/(-12)). Let c(s) = 2*s**2 - 10*s + 7. Is c(q) prime?
False
Let j(v) = v**3 + 8*v**2 + 7*v + 7. Is j(-6) prime?
True
Let r(x) = -x**3 - 4*x**2 - x - 5. Let w be r(-4). Let u = w - -2. Is (u + 0)/2*94 a prime number?
True
Suppose 6*v - 226 = 56. Is v a composite number?
False
Let k = 48 + -31. Let d = k - -18. Let h = d - -92. Is h a prime number?
True
Suppose 0*z = -5*z. Suppose -105 = -z*c - c. Suppose 0*q + 3*q - c = 0. Is q prime?
False
Let v be 8/28 - 186/14. Let h = v - -72. Is h a prime number?
True
Let b = -66 + 47. Let t be 1*(2 + 53) + -3. Let m = t + b. Is m a composite number?
True
Let w be 2/(-3 - -1) + 1. Let k = w - -30. Suppose 5*m - 3*m - 4*d - k = 0, -3*m + 3*d = -45. Is m a composite number?
True
Let y = 11 - 7. Suppose 0 = -n + 5*k - 2, -6 = -3*n + y*k - k. Is -1 - (-63 + (-9)/n) prime?
False
Suppose -4*j = -j. Suppose v - 33 = -j*v. Is v a composite number?
True
Suppose 5*w + 11 - 126 = 0. Is w prime?
True
Suppose -s - 214 - 1124 = -i, 1340 = i - 3*s. Is i prime?
False
Let o(x) = -2*x + 1. Let s be o(1). Let i(l) = -55*l**2 + 4. Let g(z) = -56*z**2 + 5. Let j(q) = 5*g(q) - 6*i(q). Is j(s) prime?
False
Let j(p) = -394*p**3 + p**2 - p - 1. Let a be j(-1). Let f = a - 232. Is f a composite number?
False
Let n = -5 + 8. Suppose -5*x - 318 = -4*w + 121, 330 = n*w - 3*x. Suppose l - w + 2 = 0. Is l composite?
False
Let d(n) = -n**3 + n**2 + 3*n + 289. Is d(0) a prime number?
False
Suppose -2*i + 658 = 4*q, 5*q = 8*q + 12. Is i a prime number?
True
Let u(f) = 2*f. Suppose -5 = -7*d + 2*d. Let z be u(d). Suppose m + 2*m = z*p + 42, 0 = -3*m + 5*p + 42. Is m prime?
False
Let m = 2 - 4. Let n be (20/(-6))/(m/3). Suppose -4*z - 270 = -2*s - 0*z, -4*s - n*z = -566. Is s a prime number?
True
Let g = 15 + -13. Is -4 - 335/(1 - g) a composite number?
False
Suppose 5*m - 152 = 2*y, 4*y - 54 = -4*m + 62. Suppose 6*j - j - m = 0. Is j a composite number?
True
Suppose -3*m + 1363 = -386. Is m a composite number?
True
Suppose -5*y = -3*n - 638, 259 + 127 = 3*y - 5*n. Is y composite?
False
Suppose g + 0*v - 19 = -2*v, 4*v = 4*g - 28. Let x = g - 6. Suppose 3*r + 3*l - 170 = 112, -450 = -x*r - l. Is r a composite number?
False
Let y = -70 + 281. Is y a prime number?
True
Let a(c) = c**3 - c**2 + c + 90. Let o be a(0). Suppose -o = -3*r - 3*q, -2*r + q = -0*q - 69. Is r a composite number?
True
Let f(z) = -6*z**2 - z - 2. Let s be f(2). Is -38*(s/(-8))/(-7) composite?
False
Let f be (-4)/(-14) - 16/7. Is (3 + f + -68)/(-1) a prime number?
True
Let g(c) = -62*c - 1. Is g(-9) a composite number?
False
Let k(u) = 9*u - 8. Let h be k(8). Let d be (0 - 2 - 0) + h. Suppose w + w = d. Is w composite?
False
Let r = 132 - 63. Is r a composite number?
True
Let m = 92 - -71. Is m a composite number?
False
Let i be -2 - 3/((-9)/(-30)). Let u be ((-9)/i)/((-1)/4). Is (-2535)/(-12) + u/12 composite?
False
Suppose -5*n + 3*z = 9, -5*n + 6 = 3*z - 3. Suppose 2*b - 5*v - 114 = n, 0 = b + 2*v - 0*v - 39. 