er?
False
Let y(b) = -7*b**2 + b - 2. Let h be y(1). Let f(d) = 2*d**2 + 11*d + 12. Let k be f(h). Suppose -4*x - 201 = -3*m, -k = 2*m - x - 191. Is m composite?
False
Let x(s) = s**2 + 3 + s + 3*s + 2*s - 8*s. Let m be x(9). Suppose -6*r + 9*r - m = 0. Is r prime?
False
Let v(z) = -2481*z + 38. Is v(-5) prime?
False
Let t(m) be the second derivative of 5*m**3/2 + 2*m**2 + 2*m. Let o(s) = s**3 - 5*s**2 - s + 10. Let v be o(5). Is t(v) prime?
True
Let p(y) = -4*y**2 + 14*y - 14. Let n(a) = -3*a**2 + 13*a - 14. Let o(d) = -3*n(d) + 2*p(d). Suppose -5*q + 5*v + 85 = 0, 4*v = 4*q + 9*v - 50. Is o(q) prime?
False
Let a = 22 - -10. Suppose a + 106 = 3*t. Is t/3*3/2 prime?
True
Let d = 37269 - 18206. Is d prime?
False
Let h be (2 + -4*2)*-1. Suppose 2*c - 196 = h*c. Let x = c + 102. Is x a composite number?
False
Is ((-76)/(-10))/(-1 - (-13167)/13165) a prime number?
False
Is (-303)/202 + (239835/(-2))/(-3) prime?
True
Let i = 17 - 15. Suppose 195 = i*d - d. Suppose y - d = -2*y. Is y a prime number?
False
Suppose 0 = 3*l - 2 - 4, 0 = -5*r + 5*l + 13275. Is r a prime number?
True
Let a(b) = 3*b**3 + 15*b**2 - 30*b + 21. Is a(15) a composite number?
True
Let a be 2/(-1) + (-2628)/6. Let n = -217 - a. Is n composite?
False
Let q(x) be the second derivative of 3*x**4/8 - 4*x**3/3 + x**2 - 2*x. Let o(a) be the first derivative of q(a). Is o(15) composite?
False
Let x(g) = g**2 - 5*g - 5. Let v(c) = -c**3 + 8*c**2 + 11*c - 13. Let i be v(9). Let r be x(i). Is -3 + ((-6650)/r)/5 a prime number?
True
Suppose 3*p - 12 = 3*f, -3*p = -4*f - 23 + 7. Let c be p - -3 - (8 + -5). Suppose c = -4*z - 3*y + 59, -2*z + 3*z - 2*y = 12. Is z prime?
False
Let w(s) = -20*s + 2309. Is w(0) composite?
False
Is (3 + (-43017)/9)*(-6)/4 a composite number?
True
Is (-27)/6*(-13)/((-78)/(-5596)) composite?
True
Suppose -2*x + 302152 = -s - 33063, 0 = -4*x + 4*s + 670440. Is x a prime number?
False
Let j(b) = -380*b - 18. Let o be j(3). Let t = o + 2641. Is t composite?
False
Let p = -2107 - -3278. Is p composite?
False
Is 20243/9 + 10/(-45) a prime number?
False
Let d be -3 - (-3 - 4/(-2)). Let o be (-1)/((-1)/156) + d. Let q = o + -27. Is q a composite number?
False
Suppose -2*a + 3 = -5. Suppose 4*z + 2927 = 5*t, -3202 = -a*t + z - 856. Is t prime?
True
Let s(p) = p - 1. Let m(k) = -k**2 + 9*k + 8. Let b(v) = m(v) - 5*s(v). Let w(y) = y**2 - 5*y - 13. Let q(h) = -5*b(h) - 4*w(h). Is q(-10) composite?
True
Let c be 1*8/((-2)/(-1)). Suppose -1 = 5*s + 3*g, 4*s - 8 = c*g - 2*g. Is 893 - 1*(5 - s) a prime number?
False
Let n be 40/32 - (-6)/8. Suppose 3*c = 2*x - 415, 0 = 4*x - 5*c + n*c - 821. Is x a prime number?
False
Let m(i) = -i**2 - 11*i + 4. Let p be m(-7). Let w be (p/48)/((-4)/(-30)). Suppose -w*u = -2*u - 1227. Is u prime?
True
Suppose 2*s = -g - 2*s + 84509, 5*s = 0. Is g composite?
False
Let c be 5/((-2)/(-10) - (-24)/(-20)). Let q(f) = -46*f + 19. Is q(c) a composite number?
True
Let j(u) = 2*u**3 + 4*u**2 + 5*u + 6. Let r be j(-4). Suppose 0*d = -f + d - 46, d = 1. Let s = f - r. Is s a prime number?
False
Let r be (6/24 - (-12102)/8)*5. Suppose 7567 = 3*n - 4*u + 2*u, -3*n + u = -r. Is n prime?
True
Suppose -12*o + 10*o = 4*p - 4982, 0 = -3*p - o + 3734. Is p a composite number?
True
Suppose 18*p = -f + 14*p + 6403, -2*p = 2*f - 12812. Is f a composite number?
True
Let a(g) = -g**2 - 35*g - 43. Is a(-29) prime?
True
Suppose -35749 = -3*f - 2*u + 6*u, 5*f - 59620 = -u. Is f a composite number?
False
Is (-212043)/(-27) - 20/45 a composite number?
False
Let l(t) = -46*t**3 + t**2 - 2*t + 3. Let c = 10 - 12. Is l(c) a composite number?
False
Let o(h) = 44*h**2 - 5*h + 298. Is o(11) a composite number?
True
Let a = -1484 + 5281. Is a a prime number?
True
Suppose -9*h - h = -29770. Is h composite?
True
Let w = -664 - -1097. Suppose 0*j - 876 = -2*j - 4*a, -j + w = 3*a. Let h = j + -170. Is h a composite number?
True
Let b = -76 - -215. Suppose -12*l + 11*l + b = 0. Is l composite?
False
Let d = 56606 - 20889. Suppose -3*o - d = -20*o. Is o a prime number?
False
Let s(l) = -l + 1. Let j be s(1). Is j + 2 + 326/2 + -6 a composite number?
True
Suppose -4*q + 20644 - 6860 = 4*r, -r + 5*q + 3464 = 0. Is r prime?
True
Let p = -1948 - -4001. Is p prime?
True
Suppose 10*t - 5*t = 3*s + 65608, -5*t = -4*s - 65609. Is t prime?
True
Suppose -5*j - 471 = -4061. Let a = j - 425. Is a composite?
False
Suppose -v + 31*n + 6433 = 29*n, 5*v = -5*n + 32195. Is v a composite number?
True
Suppose 5*f + 5*c = 440, 2*c + 180 = 2*f + 3*c. Suppose -i = 3*s - f, 3*i - 246 = -3*s - 0*s. Is i prime?
False
Let l be 10 - 7 - (-204 - 4/2). Suppose 14 = s - l. Is s a prime number?
True
Suppose 2*n = 8 + 50. Let x(g) = -6*g + 74. Let b be x(12). Suppose 0 = b*j + n - 135. Is j prime?
True
Let p(u) = u**3 - 8*u**2 + 7*u + 9. Let a(b) = -2*b - 2. Let j be a(-3). Let k be j/(-18) + (-202)/(-18). Is p(k) composite?
False
Let n be (3 + -2)*(11 + -6). Suppose 4*y + 771 = n*s - 300, -2*y - 641 = -3*s. Is s prime?
True
Let d be 1 + 350 + (-2)/(-1). Let y(j) = -2*j**2 - 58*j - 59. Let n be y(-28). Is (-3 + (d - n))*1 prime?
True
Suppose 15 = -7*k + 2*k, -119 = 4*l + k. Let i = l + -61. Let g = i + 141. Is g a prime number?
False
Suppose -11*w = -58*w + 1120903. Is w a composite number?
True
Suppose 14*f = 298569 - 122183. Is f composite?
True
Let t(d) = 18*d + 3. Let w(r) = 7*r + 2. Let f be w(1). Let c(n) = 35*n + 5. Let o(x) = f*t(x) - 4*c(x). Is o(11) a composite number?
True
Is (-31027 + 5)*(-11)/22 a prime number?
True
Suppose -l - 4*l + 10 = 0. Let o(d) = 154*d - 3. Is o(l) a prime number?
False
Let p = 450 + -88. Let n be 249/2*(-2 + 4). Let k = p - n. Is k prime?
True
Suppose 6 - 4 = n. Suppose -4*d - 3*s + 871 = 0, n*s = 2*d - s - 413. Is d a prime number?
False
Let j be (38/(-95))/((-2)/3090). Suppose -2*c = g - 838, -639 = -3*c + 4*g + j. Is c a composite number?
False
Let p(x) = 1208*x + 33. Is p(2) a prime number?
False
Suppose 0 = -a - 5, -3*w - a + 2318 + 2282 = 0. Is w prime?
False
Let f = -12716 - -18723. Is f a composite number?
False
Suppose 19*h - 14*h + 10 = 0. Let l(z) = -334*z**3 + 2*z**2 - 2*z - 1. Is l(h) prime?
True
Suppose -5*s - b = -59146, 0 = 2*s - 0*b - b - 23657. Is s a prime number?
False
Let s = -18 + 21. Suppose -s - 1 = -4*d. Is d/(4/(2*1246)) prime?
False
Suppose 0 = 2*h - 3*v - 22596, 5*h - v + 4*v = 56511. Is h a composite number?
True
Suppose -38*m = 3*l - 37*m - 162846, -3*l + 162852 = -m. Is l a prime number?
False
Let r(g) be the second derivative of 1/6*g**4 - 11*g + 0 + 9/2*g**2 + 3*g**3. Is r(-14) a composite number?
False
Let h(r) = 6*r + 51. Let s be h(-7). Suppose s*g - 7727 = 3496. Is g a prime number?
False
Suppose 5*i = 2*a + 479462, -4*i - 4*a + 6*a + 383568 = 0. Is i a composite number?
True
Let a(x) = x**3 - 27*x**2 - 2*x - 35. Is a(30) prime?
False
Let n(o) = o**2 + 14*o + 9. Let c be n(-12). Let v = c - -19. Suppose 157 = 2*a + 5*b, 5*a + 2*b - 349 = v*b. Is a a prime number?
True
Let f(r) = -r**2 - 9*r - 3. Let b be f(-8). Suppose -b*l = -2*l. Suppose 0 = -3*i - l*i + 66. Is i prime?
False
Suppose -25*r = -12663 - 118862. Is r a prime number?
True
Let j(g) = -3*g**2 + 5*g + 6. Let r be j(-6). Let w = r + 851. Is w prime?
True
Let y(j) = 150*j + 41 - 2*j**2 - 186*j + 4*j**2. Is y(-29) prime?
True
Let s = 259 + -80. Suppose 2086 + s = 5*b. Suppose -2*c + 377 = -3*g - 533, c - g = b. Is c a prime number?
True
Suppose 3*o = 5*o. Is -131*(o + 1 + -2) a prime number?
True
Suppose -u + 11632 = 3*k, -23214 = -2*u + 12*k - 8*k. Is u prime?
True
Let y be 1*1*12/3. Suppose -1097 + 85 = -y*b. Is b a composite number?
True
Let y(j) = -5*j**2 - j**2 + 1 + 2*j**2 + 3*j**2 - 5*j. Let q be y(-4). Let d(v) = 23*v**2 - 3*v - 3. Is d(q) composite?
False
Let p(h) = h**3 + 16*h**2 + 12*h + 11. Let c be p(-11). Let q be (-1)/((4/(-226))/2). Suppose y = -q + c. Is y a prime number?
False
Let a(z) = z**2 + 8*z + 70. Is a(39) a prime number?
False
Suppose 6*l - 4 = 4*l. Suppose -2*t + 92 = l*t. Suppose -530 = -t*x + 21*x. Is x prime?
False
Let j = 15 + -13. Suppose -y + 257 = 5*m - 5*y, -j*m + 102 = -2*y. Is m a prime number?
True
Let q be 91/2*(-72)/(-14). Is (-8)/6*q/(-12) a prime number?
False
Let q = 2051 + -716. Let x be (8/12)/((4/6)/2). Suppose 0 = -5*t - x*g - 3*g + 