76 = b. Is s composite?
False
Let d = 13 - 19. Is (-2 - d) + 478 + -1 a composite number?
True
Suppose 0 = 4*n - 12, 4*s + 3*n + n - 6568 = 0. Is s prime?
False
Let d = -9 + 5. Let u be 5/((-15)/24)*d. Suppose -34 = -3*k + u. Is k composite?
True
Suppose -8229 = 5*h - 3*w - 24469, 4*w = 20. Is h a prime number?
True
Let j = 10 + -10. Suppose j*n = 6*n - 1974. Is n a prime number?
False
Let y(i) = i**3 + 4*i**2 + 2*i + 3. Let c(s) = s**3 + 4*s**2 + 3*s + 3. Let b(g) = -5*c(g) + 6*y(g). Is b(4) a composite number?
True
Let j be (-6)/10 + 177/(-5). Let u = -57 + j. Let b = -46 - u. Is b composite?
False
Let b(u) = 6 + 4*u + 0*u + 10*u**2 + u - 2. Is b(-3) prime?
True
Let p be 2*(3 - -3 - 1). Let c(a) = a**3 + 7*a**2 - 8*a + 5. Let o be c(-8). Is (37/2)/(o/p) prime?
True
Let j = -55 + 86. Is j a composite number?
False
Let n(f) = f + 185. Is n(0) a prime number?
False
Suppose -3*m + 8*m = 5880. Let g = m + -677. Is g a prime number?
True
Let p(k) = -22*k + 9. Is p(-14) a composite number?
False
Let d(w) = 57*w**3 - w**2 + 6*w + 7. Let t(h) = 28*h**3 + 3*h + 3. Let i(z) = 3*d(z) - 7*t(z). Is i(-2) a prime number?
False
Let t = 1 - -4. Suppose -t*h + 66 + 49 = 0. Let k = -16 + h. Is k a prime number?
True
Let x = -2 - -7. Let h be (-2)/(-2)*40*1. Is h/x + (0 - 1) prime?
True
Let z(x) be the third derivative of x**6/30 + x**4/8 - x**3/2 + x**2. Let w = 8 - 6. Is z(w) composite?
True
Suppose -19 = -3*t - 7. Let b be t + (-2)/(4/(-2)). Suppose i + 40 = b*i. Is i a prime number?
False
Let g(t) = -5*t**3 - 6*t**2 - 6*t - 6. Is g(-5) a prime number?
True
Suppose -5*h = 3*v - 49, 2*v - 4*h + 44 = 5*v. Suppose -v = 4*i + 5*r - 3, i + 3*r = -3. Suppose -3*o + 132 = -3*b, 5*o - 270 = -i*b - 5*b. Is o composite?
True
Let j(c) = 3*c**2 - 5*c + 1. Let s be j(-6). Suppose 0 = -o - s + 342. Is o composite?
True
Let u = 1288 + 699. Is u composite?
False
Let a be 2*(2/(-2) + 5). Let j = -8 + a. Suppose j*s + 2*s - 398 = 0. Is s composite?
False
Let g = 142 + 115. Is g prime?
True
Let g(i) = i. Let r be g(3). Suppose -2*z + 0*z + 529 = -r*n, -4*n = 4*z - 1048. Is z prime?
True
Suppose -5*j = -631 - 769. Suppose -4*h + 924 = j. Is h a composite number?
True
Let j be 2 + 1 + -1 + 0. Let r(d) = 4*d + 1. Let w be r(1). Suppose w*l - 585 = -4*k - k, 0 = l - j. Is k prime?
False
Is (-132)/(-15)*15/6 a composite number?
True
Let g(v) = -6*v**2 - 11*v. Let a(f) = 5*f**2 + 11*f - 1. Let n(p) = 7*a(p) + 6*g(p). Let o be n(7). Suppose -5*z + o = -94. Is z prime?
True
Let t be (-4)/6 + (-87)/(-9). Suppose 0 = -5*j - 5*z + 30, 5*j - 9 = -z + 5. Is 313/9 + j/t prime?
False
Let w be 794/3*9/6. Suppose z = -0*z + w. Is z a prime number?
True
Suppose 5*a - 2*n - 157 = 0, 7*n + 46 = 2*a + 2*n. Let m = -113 - a. Let w = -49 - m. Is w prime?
True
Suppose -3*s + 4*u - 2*u + 187 = 0, 0 = -4*u - 20. Is s prime?
True
Let c(p) = 14*p + 8. Let z be c(7). Suppose s = -s + z. Is s composite?
False
Suppose 3*w + 266 + 79 = 0. Let i = -38 - w. Is i a prime number?
False
Let h = -23 + -5. Let j = 20 + h. Let v = 5 - j. Is v composite?
False
Is 655/30 + 2/12 prime?
False
Let o(h) = -5*h**2 - 13*h + 18. Let q be ((-28)/6)/(10/15). Let z(b) = -3*b**2 - 7*b + 9. Let j(f) = q*z(f) + 4*o(f). Is j(-13) a prime number?
False
Suppose 4*x + 44 = 5*x. Suppose -4*z + x = -104. Is z a prime number?
True
Let x(l) = 18*l**3 - l**2 + 5*l - 5. Is x(2) prime?
False
Suppose -3*i = -w + 262, 2*i - 178 = 2*w - 714. Let s = w - 116. Suppose -d - 2*d = 0, 0 = -5*j - 5*d + s. Is j composite?
False
Suppose -5*a = 15, 0 = -0*w - 3*w - 3*a + 1884. Is w composite?
False
Let b = -613 - -1098. Is b composite?
True
Is 3/1*231/(-18)*-2 a prime number?
False
Suppose -4*i - 36 + 13 = 5*j, -2*i + 5*j = -11. Is 91/2*(i + 4) prime?
False
Let c = 8029 + -4806. Is c a composite number?
True
Let m(z) = 56*z - 1. Suppose 3*p + 2*g - 3 - 11 = 0, 5*g - 24 = -2*p. Suppose -4*d + 2 = -p*d. Is m(d) a prime number?
False
Let p = -64 - -38. Let w = -13 - p. Is w prime?
True
Suppose -19 = 4*y + t - 4*t, 0 = -2*y - 3*t + 13. Let b(g) = 59*g**3 + g**2. Let s be b(y). Let r = s + 105. Is r a composite number?
False
Is ((-2)/2)/((-5)/8795) prime?
True
Suppose -8*n + 20 = -3*n. Suppose -n*u = 3*q - 65, 4*u - 23 + 4 = -q. Is q a composite number?
False
Let b be 6 - -2 - (0 - -2). Let s = -6 + b. Is (2 - s) + -3 - -110 a prime number?
True
Suppose 3*t - t + 30 = 0. Is 1/5 - 192/t composite?
False
Let z(w) = 102*w + 3. Let k be z(4). Suppose -p + 1186 = 5*l - 911, -k = -l + 4*p. Is l a composite number?
False
Let h(y) be the first derivative of -y**4/4 + 7*y**3/3 - 3*y**2 + 2*y - 4. Is h(5) prime?
False
Let c(g) be the third derivative of -85*g**4/24 - g**3/2 + 10*g**2. Is c(-4) a prime number?
True
Suppose -3*g + 784 = 121. Is g composite?
True
Let c be -3 - (-5)/((-10)/(-4096)). Suppose -145 = -2*r + c. Suppose -2*m + r = m. Is m a prime number?
False
Let j(f) = 106*f**2 - 4*f + 1. Is j(4) prime?
False
Let d = 260 + -450. Let a = -116 - d. Is a prime?
False
Suppose -3*d - 13 = -1, 4*r - 5*d = 1696. Is r a prime number?
True
Let h(f) = f**3 + 8*f**2 + 2*f + 12. Let t be (-4)/18 + (-140)/18. Let y be h(t). Is ((-10)/15)/(y/18) composite?
False
Suppose 5*r = 115 + 230. Suppose 0*z = -z + r. Is z prime?
False
Let w(g) = 20*g**2 - 9*g - 4. Is w(7) composite?
True
Let o(w) = 2*w**2 - 5*w - 13. Let m(v) = -v**2 + 7*v - 8. Let s be m(7). Is o(s) a composite number?
True
Let v(s) = -12*s + 2*s**3 - 10*s**2 + 13 - 2*s**3 - s**3. Let i be v(-9). Let p = 61 - i. Is p a composite number?
True
Let f = -222 + 703. Is f a composite number?
True
Let q(l) = -l + 3. Is q(0) composite?
False
Is (-2 + (2178/4)/3)*2 a composite number?
False
Suppose -11*p = -10*p - 199. Is p prime?
True
Let a = -413 + 1046. Is a a composite number?
True
Suppose 4*q - 440 = 4*b, -4*q - 3*b + 47 + 379 = 0. Is q - (-1 + 0/(-1)) a prime number?
True
Suppose -2*p + 0*p = 4*q + 4, 4*q + 6 = -p. Let h = 0 - p. Is -5*(h - (-41)/(-5)) composite?
True
Suppose 5*t - 5*d = 35, -t + 11 + 8 = -5*d. Let c = t - 2. Is (-225)/(-6) - c/4 composite?
False
Let s(q) = -q**2 - q - 1. Let o = 5 - 10. Let r(n) = -2*n**2 + 5*n + 1. Let i(g) = o*s(g) - r(g). Is i(3) a prime number?
True
Let k(z) = 26*z - 1. Let p(y) be the first derivative of -y**4/4 + 7*y**3/3 + 9*y - 1. Let l be p(7). Is k(l) composite?
False
Let b be 9/6*934/3. Suppose -3*i - 4*l = -b, -3*i + 8*i - l - 740 = 0. Is i prime?
True
Let j = -32 - -53. Suppose -4*g + 103 + j = 0. Is g a composite number?
False
Suppose 4*l - h = -0*h + 21, 3*l - 16 = h. Suppose -l*w + 5 + 15 = 0. Is ((-16)/20)/(w/(-370)) prime?
False
Suppose 15 - 136 = -w. Is w a prime number?
False
Let o = -5 + 7. Let g(f) = -2 + 0 - 1 + 4 + f + 27*f**2. Is g(o) a prime number?
False
Let j(n) = -6*n + 14. Let h(u) = 2*u - 5. Let d(v) = 17*h(v) + 6*j(v). Let g be d(-1). Is g/(-3) + 340/3 composite?
False
Let c(b) = b**2 - 1. Let i(d) = -d**3 - 4*d**2 + 5*d - 9. Let f(t) = c(t) - i(t). Let x be f(-6). Suppose -4*q + 140 = -x*l - 6, 0 = q + 3*l - 26. Is q prime?
False
Let b = 2 - -2. Let j(t) = -4*t**3 + t**2 + 2*t + 1. Let v be j(-4). Suppose -b*z - z = -v. Is z a composite number?
False
Suppose -8*g - 603 = -11*g. Is g composite?
True
Let j(x) = 2*x**2 + 11*x + 12. Let d be j(10). Is (-1)/(2/d*-1) prime?
False
Let i be (-8*9 - 2)/1. Let o = i - -104. Let g = o - 17. Is g a prime number?
True
Is (2051 + -20)*(-2)/(-6) prime?
True
Let r = -1 - -2. Let v(h) = 337*h**3 + h - 1. Is v(r) prime?
True
Let u(h) = -23*h + 4. Suppose -2*t + 2*v = -4*t - 12, -3*t = 5*v + 26. Let i = t - 3. Is u(i) prime?
False
Let h(c) = 10*c + 1. Let u be h(1). Suppose -2*x = -u - 11. Is x prime?
True
Let r = -10 - -13. Let m be (-3)/6*6 + r. Is (54 - m) + (-3)/3 a prime number?
True
Let u be (5 - -1) + (-4)/(-2). Is (158/u)/(2/8) composite?
False
Suppose 0 = -4*g - 3*l - 39, -4*l - 66 = 5*g - 18. Let w = -58 - -92. Let j = g + w. Is j prime?
False
Is (-2 - 549/2)*-2 a composite number?
True
Let h = 905 + -378. Is h a composite number?
True
Suppose -w - 16 - 24 = 0. Let n be (4/(-10))/((-2)/w). Is 2/n - 285/(-20) a prime number?
False
Suppose 6*s - i = s + 729, 2*i = -s + 137. Is s composite?
True
Let u = 0 + -5. Let c = -1 - u. Is 59 - (3 - c)/(-1) a prime number?
False
Let a be -6 + 7 - (1 - 0). Suppose -y