Let f(c) = 2*c**2 + 8*c + 4. Let v be f(-5). Let s = v + -11. Is s prime?
True
Let m = -13 + 35. Is m a composite number?
True
Suppose 0 = -4*f - 2*s + 936, 5*s - 460 = -5*f + 3*f. Suppose f = 5*r - 5*t, -3*r = -4*t + 74 - 218. Suppose -2*o = -6*o + r. Is o composite?
False
Suppose 4*l - 8 = -4*d - 40, 2*l = 5*d + 5. Let m = d - -2. Let n(b) = 84*b**2 - 2*b - 1. Is n(m) prime?
False
Let a(i) = i**3 - 9*i**2 + 3*i - 8. Suppose -2*u + 332 = 2*u. Let z be (-2)/9 + u/9. Is a(z) a prime number?
True
Let d(y) = 10*y + 17. Is d(11) a composite number?
False
Let z(s) = 0*s + 3*s - s + 1 + 2*s**2 - 3. Is z(4) a prime number?
False
Let b(c) = c**2 - 3*c + 1. Let y be b(2). Let t = y + 2. Let f = 12 - t. Is f prime?
True
Let k(a) = 4*a**2 - a + 4. Let t be k(5). Let g be (2/(-3))/((-3)/t). Suppose w = 3*l - 6*l + g, 4*w - 55 = -l. Is w composite?
False
Suppose -p + 851 = -338. Is p a composite number?
True
Is (4 - 147/6)*-14 prime?
False
Suppose -2*x - 221 = -1047. Is x a prime number?
False
Suppose -5*i = -411 - 189. Let g = i + -86. Is g a prime number?
False
Let w(d) be the third derivative of -d**4/6 + 3*d**3/2 + 2*d**2. Let h(g) = -4*g + 10. Let b(s) = -4*h(s) + 5*w(s). Is b(-12) a composite number?
False
Suppose 4*n + 19952 = -7*w + 3*w, 3*n = -w - 14966. Let p = -3016 - n. Is p prime?
True
Suppose 6*z = 5*z + 509. Is z a prime number?
True
Let k be (-8)/(11/6 + -2). Let w = -22 + k. Is w prime?
False
Suppose 34 + 44 = 2*y. Is y prime?
False
Suppose 3*g = 8*g + 25. Let p be 5/(g/(-78))*1. Suppose -4*l = 3*y - p - 263, 549 = 5*y - 3*l. Is y composite?
True
Let b = -5 + 10. Suppose -l + 28 = b*d - 10*d, -d - 5 = 0. Suppose 0 = -2*i - j + 63 - l, -i + 4*j = -39. Is i a composite number?
False
Suppose -7 + 15 = 4*o. Suppose -p - o*p = -399. Is p composite?
True
Let n(j) = -j**3 - 2*j**2 + 3*j + 4. Let d be n(-7). Suppose -5*s - v = -d, 5*s - 3*v - 240 = 2*v. Suppose 0*z = 2*z - s. Is z a prime number?
True
Suppose -4*t = o + 1, 2*o = -5*t + 1 - 0. Suppose o*v - 6*v + 102 = -3*h, -4*h + 86 = 2*v. Is v composite?
False
Suppose -k = 3*k - 132. Suppose -22 - k = -o. Is o a prime number?
False
Let a(f) = 56*f**2 - f + 1. Is a(2) a prime number?
True
Let g be (-2 - -1) + -15 + -2. Let l = g + 65. Is l a prime number?
True
Let h(v) = 21*v**2 - 4*v - 11. Is h(6) a composite number?
True
Let w = 3 + -8. Let a(o) = -o**2 - 8*o + 2. Let k be a(w). Suppose -2 = -n + k. Is n composite?
False
Suppose -p = 3*p - 64. Let f = 54 + p. Suppose -h = h - f. Is h composite?
True
Let p(l) = l**2 - 6*l + 5. Let y = 3 + 3. Let o be p(y). Suppose o*k = 20, 5*k = -4*z + 73 + 23. Is z a composite number?
False
Let y be (-24)/10*25/(-5). Let u be 52/y + 4/6. Suppose u*d = -6 + 1081. Is d composite?
True
Suppose 0 = -2*h + 4*m + 188, -m + 376 = 4*h - 3*m. Is h a prime number?
False
Let s = -7 - -11. Suppose -s*b + 309 = -b. Is b a composite number?
False
Let x(f) = f**2 - 23*f - 1. Is x(-14) a composite number?
True
Let r = 411 - 80. Is r prime?
True
Let s(f) be the third derivative of 0*f - 2*f**2 - 1/6*f**3 - 1/12*f**4 + 1/30*f**5 + 0. Is s(-5) a composite number?
False
Let d = -6 - -9. Suppose v + d = 4*x, -2*v - 2*x + 7 = 3. Is (-89)/(v - 6/3) composite?
False
Suppose -3*f = -9 - 9. Let b be (f/15 + 0)*-5. Is 1475/30 - b/(-12) prime?
False
Let g(j) be the first derivative of -j**4/4 - j**3 + j**2 - 4*j - 3. Let w be g(-4). Suppose -5*x - 2*b = -93, -w*x - 3*b + 6*b = -79. Is x prime?
True
Suppose 3 + 0 = q. Suppose 0 = -q*n + 48 + 27. Is n a prime number?
False
Suppose 2*v + 2*v + 3*a + 1500 = 0, 5*v + 5*a = -1880. Let f = v - -255. Let o = f - -194. Is o a composite number?
True
Suppose d + 2 = 0, k + 2*k = -4*d + 67. Is k prime?
False
Suppose 0*c + 469 = 7*c. Is c a composite number?
False
Suppose -g = -h - 2*g - 8, 5*h = 2*g - 12. Is 194*3/(-24)*h a prime number?
True
Let x = 2 - -1. Suppose x*w + 2*w = -3*p - 7, 0 = -4*p + 2*w + 34. Let v = p + -3. Is v a composite number?
False
Let h = -1646 - -3237. Is h composite?
True
Suppose 1 + 6 = k. Suppose -k*x - 5*v = -2*x - 360, 2*x - 132 = -5*v. Is x/3 - (-8)/12 prime?
False
Let y(l) = -l**2 + 7*l + 3. Suppose -2*p = 3 - 17. Is y(p) prime?
True
Suppose 3*h - 69 = 624. Let r be (-102)/(-27) + 8/36. Suppose -h = -5*j - x, 0 = -4*j + 2*j + r*x + 88. Is j prime?
False
Let t be 3/3 - 45 - -1. Is t*3/(-2 - 1) a prime number?
True
Suppose 5*i + 4*c = 1159, -3*i = 3*c - 318 - 375. Is i prime?
False
Let j = -1 - -13. Is ((-44)/j)/((-3)/9) composite?
False
Let j = 15 - 3. Suppose j*f = 8*f + 1484. Is f a prime number?
False
Let z = -1848 - -3689. Is z a prime number?
False
Suppose 5*a = -2*u + 135, -u - 306 = -5*u + 2*a. Let o = 140 - u. Is o prime?
False
Let x = 6 - 10. Let w = x - -8. Let m(h) = 6*h**2 - 6*h + 5. Is m(w) prime?
False
Let q be 2/8 - (-19)/4. Let w be (8/q)/(2/5). Suppose -3*p - 3*y = -57, -2*y = w*p - y - 76. Is p a composite number?
False
Suppose 0 = -5*p - 86 - 94. Let y = 113 - p. Is y a composite number?
False
Let k = 365 + -260. Let g = -28 + k. Is g composite?
True
Is (-1149)/(-6) - (-2)/(-4) composite?
False
Suppose -w = -5*k + 714, 2*k - 276 = -0*k - 2*w. Is k composite?
True
Let z = -351 + 6304. Is z composite?
False
Let h = 101 + -18. Is h prime?
True
Suppose -4*i - 41 = -269. Let r = 28 + i. Is r a composite number?
True
Let n(g) = 5*g**2. Let f be n(1). Suppose b - 5*d = -0*b + 87, -395 = -5*b + f*d. Is b a prime number?
False
Let y be (-4)/8*0/(-3). Suppose 5*o + 138 = 4*t - y*t, 2*t - o = 72. Is t a composite number?
False
Let l(i) = -i**3 + 5*i**2 - 3*i - 1. Let c be l(4). Suppose 17 = -c*w + 302. Is w prime?
False
Suppose -19*l = -18*l - 381. Is l prime?
False
Is (-9)/2*(-34)/3 prime?
False
Let b = -197 - -490. Is b a composite number?
False
Suppose 2*c + 340 = 4*t, t - 5*c = -4*t + 420. Is t - (-3 - (-6)/1) a composite number?
False
Let b(n) = 4*n**2 - 5*n - 5. Let y(h) = 4*h**3 - h - 1. Let k be y(-1). Is b(k) composite?
False
Let c(t) = 0 - 3 + t**3 + 9*t + 5*t**2 - 8*t. Suppose j + 5 - 13 = -4*h, -3 = -3*j - 5*h. Is c(j) prime?
False
Suppose 4*c - 9 = -2*q + c, -2*q - 4*c = -4. Let t be 2*6*3/q. Suppose -105 = -5*h - 8*k + t*k, 5*k = 10. Is h prime?
True
Is (-1786)/(-12) + (-1)/(-6) a prime number?
True
Let a(f) = -f**3 - 18*f**2 - 17*f + 1. Let g(x) = x**3 + 17*x**2 + 16*x. Let t(u) = 5*a(u) + 6*g(u). Is t(-10) a composite number?
True
Let b be 6/15 + (-298)/(-5). Let q = b + -37. Is q a prime number?
True
Suppose -6 = -3*c + 9. Is (c - 7) + 13*1 prime?
True
Is 556 + (3 - 0) + -6 a prime number?
False
Let h = 8 - 7. Let q = h + 3. Suppose 2*i + 0*m + 3*m - 174 = 0, -q*i + 5*m = -392. Is i a prime number?
False
Let p = -1 - -6. Suppose -p*q + q = -736. Is ((-2)/(-4))/(4/q) prime?
True
Suppose 0 = -3*r + 236 + 163. Is r a composite number?
True
Let w = -10 - 2. Let z be (w/4)/(3/(-4)). Let d(h) = 4*h**2 + 5*h - 5. Is d(z) prime?
True
Let c(q) = 32*q + 10. Let d(r) = -r - 1. Let s(u) = -c(u) - 12*d(u). Let b be s(2). Let g = -23 - b. Is g a composite number?
True
Suppose 4 = 4*g - 4. Suppose g*n - 68 = 2*x, -x = -7*n + 2*n + 158. Is n a composite number?
False
Suppose 5*w = w + 2792. Let s = -361 + w. Is s composite?
False
Let n(o) = -o**3 + 4*o**2 - 7*o + 1. Let a(r) = 2*r**3 - 4*r**2 + 8*r - 2. Let h(y) = -2*a(y) - 3*n(y). Let d be h(-5). Is (d/(-2))/(3/(-156)) prime?
False
Let u = 915 - 388. Is u composite?
True
Let j be 1/(-2) - (-22)/4. Is 3/15 + 744/j a composite number?
False
Suppose 0 = -3*f - 4 + 19. Suppose -5*g + f*q - 10 = 0, g = -2*g + q. Is (-31)/(0 - (g + 0)) a composite number?
False
Suppose -5*b + 1063 - 108 = 0. Is b a composite number?
False
Let c be (2/4)/((-3)/(-18)). Suppose -4*q - 3*u + 319 = 0, -c*q = 2*u + u - 240. Is q composite?
False
Let p = 232 - 105. Suppose -x = -p + 42. Is x prime?
False
Suppose 0 = 4*m - 51 - 141. Suppose 388 = 2*f + 64. Suppose -3*i = m - f. Is i composite?
True
Suppose 3489 = x + 2*x. Is x a prime number?
True
Suppose -3*x + 54 = -b - 11, b = -5*x + 111. Is x/4 - 15/(-10) composite?
False
Let l be (-1 - -1) + -2 + 1. Let z be l/(-3)*(88 + -1). Suppose 3*k = 2*b - z, 2*b + 3*k - 10 = b. Is b composite?
False
Let y = -17 - -66. Is y composite?
True
Suppose 4*n - h - 629 = 0, n - 2*h = -5*h + 154. Is n a prime number?
True
Suppose -2*a = 5*j - 98, 2*