rue
Let p = -115 - -712. Let o = p + -304. Is o a prime number?
True
Is (-2)/4*(-38264)/24*6 composite?
False
Let w be (22/4)/(1/12). Suppose 0 = -4*r + w + 82. Is r prime?
True
Let x = 23 + 18. Suppose 123 + x = 4*z. Let k = z - 18. Is k composite?
False
Suppose -2*k + 2*z + 38 = 0, 72 = 3*k - z + 23. Suppose -h - h + 15 = -5*l, -4*h = 5*l - k. Is (-77)/(l - -1 - 1) composite?
True
Let i = 51 - 27. Is 8/i + 136/6 composite?
False
Let o be (1 + -1603)*2/(-4). Let r = 11 - 7. Is (-2)/r - o/(-6) prime?
False
Suppose 4*b + b = 15. Suppose -749 = -4*a - b*t, -a = 4*a - 5*t - 910. Is a composite?
True
Let g(w) = -18*w + 1. Let a be g(-2). Suppose -2*n + 3 - 39 = 0. Let c = a + n. Is c prime?
True
Let w = 200 - 121. Is w composite?
False
Let u be (-1)/(-2) - 2/4. Suppose 2*b + 0*b - 2*l - 28 = u, 0 = 3*l + 15. Let h(n) = n**2 - 7*n + 13. Is h(b) prime?
True
Let z(p) = p**3 + 6*p**2 + p - 4. Let v(o) = o - 9. Let l be v(4). Let j be z(l). Let h = j + -1. Is h composite?
True
Suppose 5*w + 5*d = 15, 2*w = 3*w - d + 7. Let c(m) be the first derivative of -m**4/4 - m**3/3 + 2*m - 1. Is c(w) a prime number?
False
Let q be -3 + 1 + 4 + 0. Suppose q*s - 229 = 111. Let h = -121 + s. Is h prime?
False
Let f = -8 - -11. Let x = f - -56. Is x prime?
True
Suppose -3*r = -7*r + 12. Let q be (116/(-6))/((-2)/r). Let x = q + -15. Is x prime?
False
Let s(c) = 187*c - 2 + 2 + 5 - 2. Is s(4) prime?
True
Suppose 0 = -5*v - f + 5851, 5859 = 4*v + v - f. Is v composite?
False
Let f(l) = l**3 - 9*l**2 + 8*l. Let k be f(8). Let v(y) = k - 2 + 22*y**2 + 2 + 5*y - 2. Is v(3) prime?
True
Let v(n) = -n**3 + 12*n**2 + 4. Let f be v(12). Suppose -5*u + u = -3*l + 1657, -f*u + 547 = l. Is l composite?
True
Suppose 4*c = -5*v + 12 + 37, -v = -5. Suppose 4*f - 16 = j, 4*j = c*j + 2*f - 8. Suppose 22 - 5 = -g - 4*i, j = -3*g + 2*i + 19. Is g prime?
True
Let h = -3 + 8. Suppose -2*d - 10*q + h*q = -465, -3*q + 232 = d. Is d a prime number?
False
Suppose 152 = 4*k + 2*m, 3*k + m - 107 = -4*m. Is k prime?
False
Let a = -157 - -248. Let g = 0 + a. Is g composite?
True
Let g(p) be the first derivative of -p**4/4 + 5*p**3/3 - p**2/2 - 4*p - 4. Let s = -2 + 5. Is g(s) composite?
False
Suppose -r + 165 = -3*n, -5 = -n - 0. Let x = r - 108. Suppose -3 - x = -5*v. Is v a composite number?
True
Let c(d) = d**3 + 9*d**2 - 13*d + 13. Is c(-10) a composite number?
False
Is (-7195)/(-55) - 4/(-22) a prime number?
True
Let l(d) = -48*d + 1. Suppose -q - 9 = 2*q. Is l(q) a prime number?
False
Let i = -431 + 972. Is i a composite number?
False
Suppose -h - 2*h + 27 = 0. Suppose -h - 3 = -4*d + 2*j, -4*d = j - 24. Suppose -5*u + 4*b + 365 = 0, -4*b + 0*b = d*u - 405. Is u a prime number?
False
Suppose b - 44 = 5*a, -2*b + 5*b - a - 174 = 0. Suppose 0 = -3*f + 226 + b. Is f a prime number?
False
Let z = 9 + -15. Let c(a) = a**3 + 7*a**2 + 2*a + 13. Is c(z) a composite number?
False
Let p = -626 - -1638. Let l = p + -675. Is l prime?
True
Let p be -3*3/(9/4). Let l be (p/6)/(4/(-2586)). Suppose 156 = -5*a + l. Is a a composite number?
True
Let t(o) = 275*o. Let l be t(-1). Let d = l - -462. Is d composite?
True
Suppose 0 = -5*l + l + 20, -5*m + 5*l + 2560 = 0. Is m a composite number?
True
Let j(s) = 3*s - 3. Let v(q) = 6*q - 6. Let n(u) = 5*j(u) - 3*v(u). Let k be n(3). Is (-3)/k*(100 + -2) a composite number?
True
Let x(t) = -t**2 + 2*t + 4. Let r = -1 + 0. Let a(c) = -c + 1. Let y(u) = r*a(u) - x(u). Is y(4) prime?
True
Suppose -425 = 4*y - 1157. Is y composite?
True
Suppose -7*l = -5*l - 434. Is l a prime number?
False
Let b = -272 + 179. Let h = b + 167. Is h prime?
False
Suppose -2*m - 2*m = n - 461, 3*m = -4*n + 1844. Suppose -n = -5*y - 2*s, 1 = s - 2. Is y a composite number?
True
Let b be (-3)/6*2 - -3. Suppose -b*p + 2*i = -142, p + 5*i - 114 = -p. Is p prime?
True
Suppose -b - 2 = 1. Let x be (18/(-4))/(3/(-6)). Let d = b + x. Is d a composite number?
True
Let d = 3 - 1. Let h = 461 - 276. Suppose d*i - h = -3*i. Is i a composite number?
False
Let r(y) = -y**2 - y - 47. Let d be r(0). Let p = -2 + d. Let f = p + 82. Is f a prime number?
False
Is (-625 - 4)/(0 + -1) a prime number?
False
Let y(h) = -9 + 5*h + 0*h - 3*h + h. Let n be y(6). Is (-138)/n*21/(-2) a prime number?
False
Suppose -2*f + 225 = c - 897, 8 = 2*f. Is c prime?
False
Let o = 2 + -4. Let i(u) = u + 1. Let s(h) = -6*h**2 - 3*h - 1. Let j(k) = -2*i(k) - s(k). Is j(o) composite?
True
Let o = 2533 + -1736. Is o prime?
True
Let f = 2 + 935. Is f prime?
True
Let h(p) = p**2 - 6*p + 1. Let s be h(6). Is 87/s - (-4)/2 a prime number?
True
Suppose -z - 3*g + 44 = 0, 3*z - 2*g - 49 = 50. Is z composite?
True
Suppose -4*x = -x. Suppose 33 - 807 = -3*p + 4*u, x = 4*p + 2*u - 1054. Let l = p - 173. Is l composite?
False
Let o = 185 - -579. Suppose -2*h = 2*h - o. Is h prime?
True
Let a(o) = -13*o - 8. Let r(c) = -c - 1. Let b(m) = 3*a(m) - 21*r(m). Is b(-2) a prime number?
False
Let n = 3695 + -2530. Is n a prime number?
False
Suppose 3*z = 3*g - 0*g + 12, 0 = 2*z + 3*g - 8. Suppose -5*m + z*b - 7 = 3*b, -5*b = 4*m - 6. Is (-2)/4*(m - 193) composite?
False
Suppose 6*x = x. Suppose x*m - 2335 = -5*m. Is m a prime number?
True
Let d(j) = -j**3 - 7*j**2 - 10*j - 7. Let t be d(-6). Let v = -2 + 6. Let o = t + v. Is o composite?
True
Let n(b) = -b**3 + 9*b**2 - 2*b - 6. Let o be n(5). Suppose -x - 248 - o = -5*d, 0 = -5*x + 15. Is d prime?
True
Let j be 486/8 - 6/8. Is (1*-2)/((-8)/j) a prime number?
False
Suppose 5*j - 194 = 861. Is j prime?
True
Suppose -2*l - 3*l = 1005. Let j = 10 - l. Is j prime?
True
Let k(h) = 3*h**2 - 10*h + 14. Is k(6) a composite number?
True
Let m be (4/10)/((-7)/(-35)). Is 7551/18 - 1/m prime?
True
Let w(j) = 2*j**2 - 8*j - 4. Let f be w(-5). Suppose f = 2*g - 140. Is g a prime number?
True
Suppose 6*b - 3*b = -2*h + 6, -5*h = 4*b - 1. Let z = -7 + b. Is -2*((-711)/(-6))/z a prime number?
True
Let z = -2 - -2. Suppose -3*i = d - 5, 5*i + z*d - 8 = -2*d. Suppose i*x + 3 = -2*u + 49, 0 = -x + 2. Is u prime?
False
Let m(z) = -3*z**3 - 7*z**2 - z + 5. Let h(x) = x**2 - 13*x + 6. Let k be h(12). Is m(k) a prime number?
False
Let l(r) = r**3 + 9*r**2 + 4*r - 6. Let h be l(-6). Suppose h + 217 = 5*t. Is t a composite number?
False
Let n(x) = x**2 + 13*x. Suppose 0*q = 3*q + 27. Let s be n(q). Let h = 57 + s. Is h prime?
False
Suppose -5*m + p = -290, 5*p + 42 + 110 = 3*m. Is m prime?
True
Let w(q) = -q**3 - 2*q**2 - q + 11. Is w(-7) composite?
False
Suppose -2 = -3*b + 4. Is -2 - ((-128)/b + 0) a composite number?
True
Suppose -3*o = -5*p + 121, o + 6*p + 46 = 2*p. Let n be (-1 + o/10)*-40. Suppose 0 = -4*z + l + n, -2*z + 4*l + 71 = -19. Is z prime?
True
Suppose 0 = -2*t + 2350 - 552. Is t a composite number?
True
Is (-8210)/(-15)*(14/4 - 2) prime?
True
Let k(l) = 122*l - 37. Is k(9) composite?
False
Let l be (12/(-10))/((-1)/(-5)). Let d(o) = o**2 + 4*o + 2. Let s be d(l). Suppose 0 = 2*z + 2*k + k - 37, -z + 5*k - s = 0. Is z prime?
True
Let a(w) = w**2 - 8*w - 3. Let p be a(8). Is p/6 - 765/(-6) a composite number?
False
Let q = 3 + -1. Suppose 3*p - 4*p = -5*r + 210, -q*r + p + 84 = 0. Suppose -3*j = -0*j - 3*z - r, 3*j - 27 = -2*z. Is j composite?
False
Let o(p) = 11*p + 6. Suppose s + 5*q = 17, -5*s + 0*q - q = -37. Is o(s) prime?
True
Let r be -4 + 5 + 26 + 2. Let h = 8 + r. Is h a prime number?
True
Let v be ((-18)/(-4))/(6/(-8)). Let c(l) = -15*l + 4. Let w be c(v). Suppose 25 = b - w. Is b prime?
False
Let j = 106 + 61. Suppose 2*g - j = -5*s, -s + 19 + 19 = 5*g. Is s a prime number?
False
Let l = 17 + -14. Suppose -2*n + 255 = l*n. Is n prime?
False
Suppose -i - 4 = -b, -i - 4 = -4*i - b. Suppose -4*w = -3*r + 5*r - 36, 2*r - w - 26 = i. Is r a prime number?
False
Suppose 5*r - 2 = 18, 4*c + 5*r = 504. Is c composite?
True
Is 2 + (-5)/3 + 9160/24 a prime number?
False
Suppose -5*u + 2*u - t + 239 = 0, 0 = -4*u + 2*t + 302. Suppose 3*x = -0*x - u. Let p = -13 - x. Is p composite?
False
Let x(z) = 6*z**2 + 13*z + 14. Is x(-11) prime?
False
Let x(d) = 5*d**2. Let o be x(1). Suppose -27 = 4*y + 3*l, -o*l + 9 = -2*y + 28. Is (-8 + y)/(0 + -1) composite?
False
Let n(j) be the third derivative of -j**6/120 + j**5/15 + j**4/12 - j**3 - 2*j**2. Let z be n(4). Is 1/z*2 + 33 prime?
False
Let d = 166 + -83. Suppose