er?
True
Let l(c) = 7*c**3 + 11*c**2 + c. Let w(i) = -i**3 - i**2 - i - 1. Let d(h) = -l(h) - 6*w(h). Let m be d(-6). Let j(r) = 7*r - 7. Is j(m) a composite number?
True
Let d(c) = 13*c + 1. Let u be (3 - (-2 + 4))*6. Suppose -5*s = h - 16, -4*s + 5*h + 12 = -u*s. Is d(s) a prime number?
True
Let h(l) = -l - 3. Let o be h(-7). Suppose 0 = -3*f + 6, 0 = -4*p + f - o*f + 314. Is p prime?
False
Let z(h) = -3*h**3 - 6*h**2 + 2*h - 7. Let k(n) = -n**3 + n - 1. Let u(x) = -4*k(x) + z(x). Is u(10) a prime number?
False
Let d(u) = 12*u + 29. Is d(11) prime?
False
Let k(s) = s**3 - 11*s**2 - 5*s - 4. Let d be k(12). Suppose -d = -3*m + 187. Is m a prime number?
True
Let i(d) = 4*d**3 + d**2 + 3*d + 37. Let o(u) = 11*u**3 + 3*u**2 + 8*u + 111. Let s(m) = -8*i(m) + 3*o(m). Is s(0) composite?
False
Let z = 76 + -9. Is z a prime number?
True
Suppose 4 = 2*y - 4. Suppose -3*r - 10 = -y*w, -5*w + 3 - 2 = 2*r. Is (1/r)/((-8)/368) a prime number?
True
Suppose 163 = 3*k + 4. Is k a prime number?
True
Suppose 2*h = a + 107, 2*a = -0*a - 5*h - 205. Let k be ((-74)/6)/(7/a). Suppose -4*x - x = -k. Is x prime?
True
Suppose 6*z = 5*z + 660. Let i = z - 281. Is i composite?
False
Let v = 542 - 118. Let l = -17 + v. Is l a prime number?
False
Let o = 3 - -12. Let s = 36 - o. Is s a prime number?
False
Suppose 0 = 5*d - 32 - 88. Suppose r - 57 = -d. Is r prime?
False
Let r(u) = 7*u - 1. Let v be r(6). Suppose 5*w - 116 + v = 0. Is w a prime number?
False
Suppose 3*x + 687 + 15 = 0. Let h = x - -336. Suppose 3*y = 3*u + h, -4*y + 58 = 5*u - 105. Is y a composite number?
False
Let c(b) = b**2 - 1. Let s be c(1). Is (-3)/1*-11 + s composite?
True
Suppose -3*c + 7 = 1. Suppose -884 = -2*j - c*j. Is j composite?
True
Let k(m) = m**2 + m + 4. Let r be k(-3). Suppose -7*z = -r*z + 357. Is z composite?
True
Suppose 2*s - 2063 + 609 = 0. Is s prime?
True
Let t = 183 + 322. Is t composite?
True
Let h(c) = -c**3 + 4*c**2 - 2*c. Let d be h(4). Suppose 21 = -t - 0*t. Let i = d - t. Is i a prime number?
True
Is 1*1235 + -1 + (-8)/(-2) a composite number?
True
Suppose w - 5308 = -2*r, -3*w + w = -2*r + 5302. Is r prime?
False
Is 66/((-6)/(-3)) + 2 composite?
True
Suppose 5*d - 5048 = -3*d. Is d composite?
False
Let b = 45 + -12. Is b prime?
False
Let l(z) = z**3 + 4*z**2 + 2. Let x be l(-3). Let u = 16 - x. Suppose -19 = -u*d + 4*d. Is d prime?
True
Suppose 3*b - 215 = 2734. Is b a prime number?
True
Is 44/2*174/12 a composite number?
True
Let w be (6 - 5)/(1/3). Suppose w*t - 71 = 67. Suppose 150 = 4*b + t. Is b prime?
False
Let i = -2 + 2. Suppose 3*y = -y + d + 207, 2*y + 5*d - 109 = i. Suppose -2*g = m - 13, -3*m - 4*g = m - y. Is m a prime number?
True
Suppose 4*j + 4*a = -j + 619, 3*a + 520 = 4*j. Is j composite?
False
Let x(f) = f**2 + 7*f + 6. Let v be x(-5). Let w be v + 1 - (8 + -6). Let l(s) = -s**3 - 4*s**2 + 3*s - 3. Is l(w) composite?
False
Let n(s) be the first derivative of 503*s**3/3 - s**2/2 - 1. Let b be n(1). Suppose -2*p + 3*f + b = 0, 0 = -0*f - 2*f. Is p prime?
True
Let o be (-1)/(-3) - 483/(-9). Let c = o - 35. Is c a composite number?
False
Let y = 108 - -63. Suppose -i + 255 = 2*g, 5*g - i + y = 819. Is g prime?
False
Suppose -o - 4 = -2*o. Let y = 4 - o. Suppose 4*k - 812 = -y*k. Is k a prime number?
False
Suppose 0 = 4*b - b + 3, -5*u + 30 = -5*b. Suppose 2*c - 2 + 10 = -m, u*m - 5*c - 35 = 0. Suppose -m*a + 18 = -2. Is a prime?
False
Let f(p) = 237*p**2. Is f(1) composite?
True
Is 7*419*(-2 + 6 + -3) prime?
False
Let k(c) = 17*c + 4 - 5 - 3. Is k(9) prime?
True
Let b(q) be the third derivative of -q**6/120 + 2*q**5/15 + q**3/3 - 8*q**2. Is b(7) a prime number?
False
Let m(s) = -s**2 + 10*s - 10. Let l be m(8). Suppose -2379 + 159 = -5*j. Suppose l*g = g + 4*r + 449, -5*g + j = r. Is g a composite number?
False
Suppose -2*h = 3*x - 21, 3*h - 4 = -0*x + x. Let k be 1/((-1)/(-6)*h). Is 3/(-12)*k*-62 composite?
False
Let w(c) = 10*c**3 + 2*c - 1. Let i be (-4 + 3)/1 + 1. Suppose i*p + p = 2. Is w(p) composite?
False
Let h(d) = 68*d**3 - d**2 - d + 1. Is h(1) composite?
False
Let p = 76 - -1. Is p a prime number?
False
Suppose -4 = z + 3*d, 0 + 10 = -5*d. Suppose 0 = 4*r + 4*m - 144, 3*r - 2*m - z*m = 101. Is r a composite number?
True
Let d(u) be the third derivative of u**5/30 + u**4/3 + 7*u**3/6 - u**2. Let y = -23 + 17. Is d(y) a composite number?
False
Suppose 0 = 4*m - 580 - 16. Is m prime?
True
Let g be 86/4 + (-3)/(-2). Suppose -g = -3*z + 52. Suppose -c = -2*i - z, 0*c + 36 = 2*c + 3*i. Is c prime?
False
Let k be (-96)/8 - (0 - 1). Let s = k - -16. Suppose -4*u + s*u = 74. Is u a composite number?
True
Is (778/(-3))/((-20)/30) a prime number?
True
Suppose l - g - 263 = 2*g, 0 = -5*g. Is l a composite number?
False
Is 1/(-2) - 973/(-14) a prime number?
False
Let n(s) = -5*s**3 + 8*s**2 - 19*s + 3. Let h(o) = 2*o**3 - 4*o**2 + 9*o - 2. Let x(l) = 7*h(l) + 3*n(l). Let f(m) = -m - 3. Let p be f(3). Is x(p) composite?
False
Let h(l) = 4*l - 1. Let w(y) = -2*y - 1. Let t(d) = -2*d + 1. Let f be t(2). Let g be w(f). Is h(g) composite?
False
Suppose 0*h - h = 0. Let j = h - 4. Let k(i) = -31*i - 5. Is k(j) composite?
True
Let m be -4 - -2 - 42/1. Let s = 25 + m. Let f = 33 + s. Is f a prime number?
False
Suppose -6*d = -d + 20. Let m(l) = l**3 + 2*l**2 + 5*l - 16. Let w be m(-7). Is w/2*1/d prime?
True
Let p = 0 - -4. Suppose 0 = -3*a - 5*t + 613, -p*t = -7*a + 2*a + 997. Is a prime?
False
Suppose -30 = 5*k - 220. Suppose -3*r = -349 - k. Is r a composite number?
True
Suppose -b + 350 = b + 2*d, 4*b - 3*d = 714. Suppose 4*a - b = -5*y, -2*y + 6*y - 3*a - 154 = 0. Is y a composite number?
False
Let r = 1 + -1. Suppose 0 = g - 5*d - 222, -g + 5*g + 2*d - 822 = 0. Suppose r - g = -3*p. Is p a prime number?
False
Let b = 22 + -35. Suppose -4*a + 6 = -p - 9*a, 3*p + 18 = -2*a. Let q = p - b. Is q prime?
True
Let n be (1*-4 + 3)*6. Let i(h) = 6*h**2 - 7*h - 7. Let g be i(n). Let s = -140 + g. Is s a composite number?
True
Let l(x) = -75*x - 2. Is l(-16) prime?
False
Suppose -j - 4*y - 816 = -3209, 0 = -3*j + 5*y + 7264. Is j prime?
False
Suppose 15 = 4*p - p. Suppose 0 = -w + 6*w - 4*a - 635, p*a + 127 = w. Is w a prime number?
True
Let r(f) = f**3 - 2*f**2 + 2*f + 1. Let z be r(2). Suppose 3*x - 2*x - z = -4*k, 0 = 2*x - 5*k - 75. Is x a composite number?
True
Let z(q) = 20*q**2 + 2*q + 1. Let g(o) = -o**2 + 9*o + 8. Let j be g(10). Is z(j) prime?
False
Is (-25805)/(-55) - (-4)/(-22) prime?
False
Is 1/(5/(-10515)*-3) composite?
False
Let f = -1427 + 2240. Is f composite?
True
Let q be -1*(0 + 1 - 0). Suppose 130 = 8*c - 46. Is (c/(-55))/(q/145) a composite number?
True
Suppose 2*h + 0*h = 0, 0 = 5*q - 4*h - 385. Is q a composite number?
True
Suppose 0 = 2*c + 6, 0 = 2*v - c + 190 - 953. Let t(x) = -153*x**3 - x**2. Let g be t(-1). Suppose 4*q = g + v. Is q a prime number?
False
Let y(d) = 18*d**3 + 4*d**2 - 6*d - 1. Is y(3) composite?
False
Suppose -5*l + c + 55 = 0, 4*l + 2*c - 44 = -0*c. Is l a prime number?
True
Let u(x) = -x**3 - 7*x**2 - 8*x - 8. Let v be u(-6). Suppose n + 987 = v*n. Is n a prime number?
False
Let p(i) = i**3 + 7*i**2 + 2*i + 5. Let o be p(-7). Is (-47)/(-2) - o/6 a composite number?
True
Suppose -4*b + 1 - 5 = 0. Let o be 131 - (b + 2)*-3. Let t = o - 85. Is t prime?
False
Let m(o) = 1156*o + 5. Is m(2) a prime number?
False
Suppose 3*t - 3*i - 414 = -0*t, -5*t - 3*i = -730. Is t a prime number?
False
Suppose -8 = 2*z - 6*z. Let u be (z/(-3))/((-1)/(-177)). Let h = 0 - u. Is h composite?
True
Suppose -7*y = -12*y + 95. Is y composite?
False
Let b = 187 + -274. Let m = -6 - -10. Let p = m - b. Is p composite?
True
Let t = -231 + 538. Is t composite?
False
Suppose -3411 = -3*r - 2*u, 3*r - 3*u = -0*r + 3396. Is r composite?
True
Let p(j) = 25*j**2 - j - 7. Is p(-3) prime?
False
Suppose 3*h = -0*h + 669. Is h prime?
True
Let z(b) = 4*b**3 - 5*b**2 + b - 2. Let v(w) = w**3 + 5*w**2 - 6*w + 4. Let m be v(-6). Is z(m) prime?
False
Let x = 12 - 1. Let n be 76/(-10) - 36/90. Let h = n + x. Is h prime?
True
Suppose 0 = -3*l + 3*g + 1404, 9*l - 4*l + 2*g - 2375 = 0. Is l composite?
True
Suppose -7 = -4*x + 5. Suppose 2*z - 415 = -x*z. Is z a composite number?
False
Is -1*(1 + 2) + 310 composite?
False
Is 7 + 800 - (-1 + -1) composite?
False
Let