4*r**2 - r. Let u be y(b). Suppose 5*k + 189 = u*f + 14, k = 0. Is f a composite number?
True
Suppose 0 = -5*c - 10, -c + 0*c + 4 = d. Let f = d + -2. Suppose u + 276 = 5*u - 4*p, 75 = u - f*p. Is u a composite number?
False
Let r(j) = 5*j**2 + j + 1. Let f be r(-1). Suppose -4*y = 2*l - 4*l + 12, 0 = -3*y + f*l - 23. Is 1 + (-1 + -1)/y composite?
False
Let z(n) = -n**2 + 3*n - 6. Let i be z(4). Let u be 56/i - 9/(-15). Let x = -1 - u. Is x a composite number?
True
Is (128 - 1)*(-11 - -12) a prime number?
True
Suppose -13*y = -7*y - 222. Is y composite?
False
Let x(b) = b**3 + b - 8. Let q be x(0). Let y = q + 4. Let o(c) = -9*c - 5. Is o(y) composite?
False
Let i(q) be the first derivative of 2*q + 19/2*q**2 + 2. Is i(1) a composite number?
True
Let w be (-2)/4 - 6/4. Let q(v) = -v - 1. Let h be q(w). Let u(x) = 2*x + 1. Is u(h) a composite number?
False
Let c be (7/3)/(1/(-45)). Is (5/(-3))/(5/c) prime?
False
Let o be 4/(-4) + -1 + 7. Is 97*o + -4 + 6 a composite number?
False
Is ((-2)/4)/(3/(-930)) a prime number?
False
Let v(p) be the third derivative of -p**6/120 - p**5/10 + p**4/4 + p**3 + p**2. Let k be v(-6). Let w = k - -56. Is w prime?
False
Let q = 9 + -15. Is q*((-29)/3 - -2) composite?
True
Suppose p + 18 = -2*p. Let f be (2/p)/(3/(-81)). Let b = -7 + f. Is b a composite number?
False
Let q(m) = -156*m + 3. Let w be q(5). Let j be (2 + w/(-9))*3. Suppose j = f + 4*f. Is f a composite number?
False
Let m be 633/6 + (-9)/6. Let u = m - 57. Is u prime?
True
Let k(x) = -x**3 + 3*x**2 + 5*x - 3. Let p be k(3). Suppose 0 = -2*q - q + p. Is q prime?
False
Let u = 2075 + -1162. Is u composite?
True
Is 4/32*4*-2 - -588 a composite number?
False
Suppose -753 = -4*i - 245. Is i prime?
True
Suppose -3*t = -8*t - 20. Is (t - -5)/(3/447) composite?
False
Let v be ((-1990)/15)/((-1)/6). Suppose 2*d = 6*d - v. Is d a prime number?
True
Let j(b) = b**3 - 6*b**2 + 6*b + 4. Let v be j(5). Suppose 4*q - 4*n + v = 1, -2*n + 12 = 2*q. Suppose -z + 294 = 2*d, 2*z - 198 - 92 = -q*d. Is d composite?
False
Let r be (-423)/63 - (-4)/(-14). Let v(m) = -m**3 - 5*m**2 + m - 3. Let p be v(r). Suppose 5*t - p = 87. Is t a composite number?
True
Suppose 0 = 6*n - 2*n. Suppose -187 = -n*p - p. Is p prime?
False
Suppose -47 = -v + 47. Let m = 19 + v. Is m a composite number?
False
Suppose 0 = 2*m + 78 - 1648. Is m composite?
True
Suppose -z + 4*c = -231, 2*z = -2*z + c + 849. Is z a prime number?
True
Let k(y) = y + 6. Let n be k(-5). Suppose a - n - 2 = 0. Suppose 3*g = -a*j + 9, 5*j + 2*g - 15 = 5*g. Is j composite?
False
Let l(s) be the third derivative of 0 + 295/6*s**3 + 0*s - 1/24*s**4 - 3*s**2. Is l(0) composite?
True
Let z = 167 - 48. Let i = z - 84. Is i composite?
True
Let m(o) = 58*o**2 + o + 1. Is m(2) a composite number?
True
Let j(n) = 113*n - 2. Is j(3) a composite number?
False
Suppose 2*r - 233 = 333. Let w = -160 + 8. Let n = w + r. Is n a composite number?
False
Suppose 0 - 4 = -4*h. Let g = h + 1. Is 1/(-2) + 21/g a prime number?
False
Let g = 56 - 281. Let s = 81 - g. Let n = 1 + s. Is n a prime number?
True
Let i be 4 + 2 + (-6 - -1). Let m = i - -1. Suppose 0 = 4*p + 2*h - 316, 5*p - 4*h + m*h - 377 = 0. Is p prime?
False
Suppose -4*c + 5*n + 53 = 0, 26 = -c + 3*c - 2*n. Is (71 - 3) + c/4 a composite number?
False
Suppose 144 = 3*x + x. Let p be (-2)/7 + x/(-21). Is p/(-6) - 230/(-3) a composite number?
True
Let g be 4/26 - (-612)/78. Is 284/(-6)*(-12)/g composite?
False
Let k = 16 - 1. Suppose 0*x - x = -k. Is x composite?
True
Suppose 5*f + 20 = 0, a + 2*f + 10 = -0*f. Let g be (3/a)/((-4)/(-8)). Is -3*(g + (-1 - -2)) a composite number?
True
Suppose -v - 2*t = -427, 457 = 4*v - 4*t - 1311. Is v a composite number?
True
Let u = -2 + 2. Suppose -3*c + 88 + 5 = u. Is c prime?
True
Is -4*((-340)/16 - 1) prime?
True
Let u(z) = 2*z**3 + 2*z**2 + 3*z + 2. Is u(3) a prime number?
True
Let x be (192 - -1) + (-5 - -4). Suppose -4*p = 4*s - x, -2*p = -4*s + 56 + 106. Is s a prime number?
True
Suppose g + 62 = 189. Is g a prime number?
True
Let i = -230 - -1009. Is i a composite number?
True
Suppose 0 = -4*g - 10 + 26. Let h(c) = 2*c**2 - c - 1. Let v be h(-1). Suppose -2*z + 52 = g*y, -2*y + 12 = -v*z - 14. Is y a composite number?
False
Let f(k) be the third derivative of -5/24*k**4 + 0*k - 2*k**2 + 1/120*k**6 + 0 + 1/20*k**5 + 1/2*k**3. Is f(-4) prime?
True
Suppose 4*c = 2*p + 1222, 2*c = -0*p + 3*p + 605. Is c a composite number?
False
Let p = 115 + -75. Let d(w) = -19*w + 1. Let n be d(-4). Let q = n - p. Is q a composite number?
False
Suppose 4*r - 3*j + 6 - 32 = 0, -2*r + 6 = 2*j. Suppose r*f - 7*f + 174 = 0. Is f a composite number?
True
Is (-1 + -25)/((-12)/102) prime?
False
Let z = 5 - 1. Let q be 10/z*24/30. Suppose 0 = 5*x - 25, 2*f + q*x - 110 = -2*f. Is f prime?
False
Suppose a + 4*a = -5*u - 40, -a - 9 = 2*u. Let w be (-26)/a - (-4)/14. Suppose -w*j + 2 = -y - 15, -34 = -3*j + 5*y. Is j prime?
True
Let z = 242 + 447. Is z composite?
True
Suppose 3*c - 1 = 2. Let q(b) = 22*b**3 - b**2 + b - 1. Is q(c) a prime number?
False
Suppose -3*x = -1721 - 2716. Suppose -x = -l - 2*l. Is l a composite number?
True
Let y(t) = -t**2 + t. Suppose -3*p + p = 0. Let v be y(p). Let k(o) = -o + 97. Is k(v) composite?
False
Suppose d = -d - 158. Let g = d - -116. Is g composite?
False
Is 84/4 + (-1 - 1) prime?
True
Let k(r) = r + 11 + 26 + 10 - 2*r. Let g be k(0). Suppose 4*z + 4*t - 203 + g = 0, -3*t + 43 = z. Is z a prime number?
True
Let z = 8 + -5. Is z*(9 - -2) + 1 a composite number?
True
Suppose x = -k + 4, 5 = k + 4*x - 5. Suppose 0 = k*r - 179 - 531. Suppose 0 = -4*w + r - 47. Is w composite?
True
Let d = -40 + 224. Suppose 3*r = -5*u + d, u + 0*r + r = 38. Is u composite?
True
Let z be (-2)/(-10) + (-896)/(-20). Let i be 2/(-5) + (-1737)/z. Let k = -6 - i. Is k composite?
True
Suppose s - 2*r + 176 = 0, 3*r - 880 = 2*s + 3*s. Let j = -66 - s. Suppose 0 = -5*i - 5*k + j, -4*k + 41 = 5*i - 72. Is i a composite number?
True
Is (54 - 2 - 0) + 3 a composite number?
True
Let g(p) = -31*p - 10. Is g(-5) composite?
True
Let u be ((-8)/6)/((-16)/888). Let k(h) = -h - 1. Let f be k(-4). Suppose -o = -f*o + u. Is o composite?
False
Suppose 0 = -5*k - 295 + 4770. Is k composite?
True
Let b(r) = 3*r. Let s be b(4). Is 130 + 4/s*3 a prime number?
True
Let y be -4*(-8)/(-2)*1. Is (-426)/(-10) - y/40 a composite number?
False
Let m(n) = n**3 + 7*n**2 - n + 3. Suppose -2*t - 2*t = -24. Let u = -11 + t. Is m(u) a composite number?
True
Is (-4500)/(-10) + (2 - 1) a prime number?
False
Suppose 0 = -5*x + 20, -y + 4*y - 319 = 2*x. Is y composite?
False
Suppose 5*o - 4487 = 998. Is o a prime number?
True
Suppose -2*h - 879 = -5*h. Is h a composite number?
False
Let d = -422 - -2416. Is d prime?
False
Is 4/14 + 16122/21 + -1 a prime number?
False
Let o(q) = -q**2 + 6*q + 10. Let j be o(7). Let b = -19 - -174. Suppose 0 = -2*g + j*p + b, -4*p = 3*g - 2*p - 265. Is g composite?
True
Suppose 0 = 4*b + 86 - 1114. Is b composite?
False
Suppose 5*j = -h + 2352, 2*j - 1148 = 4*h - 194. Is j a prime number?
False
Let u(t) = t**3 + 10*t**2 - 7*t + 9. Is u(-10) prime?
True
Let z = 1011 + 640. Is z a prime number?
False
Suppose 0 = 4*p - 7*p + 1224. Suppose 0 = 4*g - 76 - p. Is g a composite number?
True
Let x(z) = z**3 + 11*z**2 - 6*z + 11. Is x(-11) a prime number?
False
Let f = -19 - -22. Is f a prime number?
True
Let a = 15 - 10. Suppose w + 161 = a*q, 2*q - 82 = -5*w + w. Is q a prime number?
False
Suppose 4 = 3*l - 2. Let x = l - 3. Is (-2 - (2 + 49))/x a prime number?
True
Let q(m) = -2*m**3 - m**2 + 2*m + 2. Let h be q(-2). Suppose h = -4*k + 226. Suppose 3*p = -o + 80, -2*p - 3*o + k = -4. Is p a composite number?
True
Let c = -24 - -29. Suppose -n - c*n = -2238. Is n prime?
True
Suppose 3*t - d = 309, -4*d - 309 = -3*t + d. Suppose 3*g = t + 89. Suppose 2*k - 5*a = g, k - 4*a = 11 + 18. Is k prime?
True
Let f be (-21)/(-2)*4/6. Let n(g) = 7*g + 6. Is n(f) a prime number?
False
Let g = 26 + -61. Let k = 15 - 9. Is g/(-3) - k/9 composite?
False
Suppose -4*l + 1795 = -5*c, 8*c - 3*c = -4*l + 1765. Is l a composite number?
True
Suppose 3*u = -5*c, 2*u = -0*c + 2*c. Suppose c*i = -i + 67. Is i a composite number?
False
Let i(p) = 3*p**2 + 2*p + 1. Let r be 0/((-4)/2) + 