site?
True
Suppose 16 = 4*d - 0*d. Suppose 4*l + 1 = -3*x + 12, -5*l = d*x - 13. Suppose j - 46 = -2*n, n - l*j + 2 = 3. Is n prime?
False
Suppose 0 = -3*t + 5*t - 4, 0 = 5*j + 5*t - 23375. Is j prime?
True
Suppose -2*l + 2 + 0 = 0. Is ((-58)/l)/((-4)/10) composite?
True
Let y = -87 - -323. Let d = y + -73. Is d prime?
True
Let o = 7 - 10. Let n(g) = g + 5. Let w be n(o). Suppose -w*l - 4*t = -62, -t - 62 = -l - l. Is l a prime number?
True
Suppose 30 = -3*q + q. Let i be (q/(-10))/((-1)/(-134)). Suppose 0*r + 3*r - i = 0. Is r prime?
True
Suppose 5*t + 5*q + 5 = 0, -3*t - q = 1 - 0. Is 1*(19 + t/(-3)) a composite number?
False
Suppose 0 = -3*f - f. Suppose -3*t + 15 = -f*t. Suppose -115 = -t*c - 0*z - 3*z, -4*c + 92 = -z. Is c a composite number?
False
Let v = -930 - -1769. Is v composite?
False
Let i(p) = 5*p**2 - p + 1. Let f be i(1). Suppose -152 - 33 = -f*s. Is s a composite number?
False
Let x(c) = -c + 1. Let t be x(-3). Let g be -4*50/(-4) + 0. Suppose -g = -0*l - l + 5*r, 2*l - 142 = -t*r. Is l composite?
True
Suppose -6603 = -3*d - 2*p, d - p = 4*p + 2218. Is d prime?
True
Let k be (-872)/10*5/(-2). Let i = k + -57. Is i a composite number?
True
Let f(o) be the first derivative of o**4/4 + 8*o**3/3 + 5*o**2/2 + 5*o - 1. Is f(-7) a prime number?
True
Suppose -204 = 3*p - 7*p. Is p a prime number?
False
Suppose 5*n - 10 = -0. Suppose -n*d = -94 - 48. Suppose -2*x - 5 + d = 0. Is x a prime number?
False
Suppose 4*o + o = -5*c + 1505, -3*c = 4*o - 908. Suppose -3*n + 180 = 2*l, 0 = -5*n - 3*l + l + c. Is n a prime number?
False
Let f = -6 + 8. Let x(s) be the second derivative of 3*s**5/20 + s**4/6 - s**3/2 + s. Is x(f) prime?
False
Suppose -4*r = 2*r. Suppose d - 823 = -5*u, 0 = -2*u + 7*u - 2*d - 829. Suppose -3*c = -r*c - u. Is c a prime number?
False
Let h(r) = 7*r - 5. Let y be h(4). Let i = -6 + 15. Let f = y - i. Is f prime?
False
Let i = 7557 + -1108. Is i a prime number?
True
Let z be 4/(-3 + -1)*3. Is z*(-3)/18*382 a composite number?
False
Let q(p) = 3*p**2 + 2*p + 1. Let u be q(-2). Let n be (-6)/u + 26/(-6). Let y(m) = m**2. Is y(n) composite?
True
Let w = -6 + 11. Let y(v) = 21*v + 1. Let z be y(w). Suppose -j - z = -3*j. Is j a composite number?
False
Let t(v) = -3*v - 1. Let p(y) = 5*y + 2. Let d(c) = 6*p(c) + 13*t(c). Let r = -8 - -2. Is d(r) a composite number?
False
Let t = -28 + 26. Let n(z) = -62*z + 3. Is n(t) a prime number?
True
Let k(d) = d**2 - 6*d - 6. Let i be k(7). Is i/(-6) - 139/(-6) a composite number?
False
Let q(w) = -w**2 - w + 1. Let k(v) = -4*v**2 - 11*v - 3. Let l(a) = k(a) - 5*q(a). Let g be l(6). Let o(z) = z**2 + 4*z + 3. Is o(g) a prime number?
False
Let r(s) = 6*s**2 + 3*s + 2. Let y = -15 + 22. Is r(y) composite?
False
Let z(y) = 20*y**2 + 91*y**2 + 0 + 1 + 79*y**2. Is z(1) a prime number?
True
Let l(q) = -83*q + 3 - 3. Let v be l(-1). Suppose 4*p - v = -k, 62 + 20 = k + 3*p. Is k prime?
True
Let l(z) be the second derivative of -z**3 - 16*z - 1 + 19*z + 1 - z**2. Is l(-4) a composite number?
True
Let m(q) = -10*q + 19. Is m(-6) a composite number?
False
Suppose w - 46 = 5*r, -4*r - 13 = -w + 23. Is ((-5)/r)/((-4)/(-1640)) composite?
True
Let m be 1371/15 - (-6)/10. Suppose 3*v - 73 = m. Is v a prime number?
False
Suppose -4 + 1 = u, -u - 3 = -4*z. Suppose 2*i - b = 7*i - 1318, z = 3*i - 5*b - 774. Is i a prime number?
True
Suppose -4471 = -5*q - 1236. Is q composite?
False
Let m(v) = -7*v**3 + 4*v**2 + 5*v - 1. Is m(-4) prime?
True
Let h(j) = -6*j**3 - 2*j**2 + 5*j + 2. Is h(-3) a prime number?
True
Let a(c) = 3*c - 4. Let b be a(3). Suppose -406 = -b*z + 464. Suppose -j = -4*j + z. Is j a composite number?
True
Is (-1907)/(-5) - 72/(-120) prime?
False
Let m(t) = -20*t + 7. Suppose 5*y = 3*c - 21, 0 = y - 2*y - 3*c - 15. Is m(y) composite?
False
Suppose -5*m + 3*j + 11 = 4*j, j = 1. Let s = m - 10. Is 1*(-1 - s)*3 composite?
True
Suppose 7*n - 4*n - 18 = 0. Suppose f + 2*x - 55 = 0, -x = 2*x - n. Is f a composite number?
True
Let n be ((-12)/(-15))/((-6)/(-15)). Suppose -2*i = 3*d - 187, n*i + 0*i - d = 175. Is i composite?
False
Let p = -1 + -1. Suppose -5*a + 0 + 8 = -2*q, 0 = 2*a - 4. Is (p/2)/(q/(-33)) a composite number?
True
Let x = 850 - 363. Suppose -2*j - 392 = -4*b + 2*j, -x = -5*b + 4*j. Is b prime?
False
Let g(f) = -f - 9. Let r be g(-11). Suppose -3 = -r*j + 1. Suppose 181 = j*w + a, w - 41 = -5*a + 45. Is w composite?
True
Suppose j + 3*k - 634 = 0, -3*k - 295 = -2*j + 964. Is j a prime number?
True
Suppose -5 = 5*q, -4*b = -3*b - q + 49. Let k = -20 - b. Let o = k - -85. Is o prime?
False
Let n(u) = 64*u**2 - 5*u - 17. Is n(-6) a prime number?
False
Suppose 0 = 2*s + 2, 2*j + 0*s = 2*s + 8. Suppose -6*z + 159 = -j*z. Is z prime?
True
Suppose w + 9 = -0*w. Let b(t) = t**2 - 9*t + 7. Let x(y) = y**2 - 1. Let n(c) = b(c) - 2*x(c). Is n(w) a composite number?
True
Let l(g) = 6*g + 2. Let a be l(-3). Suppose -4*c = c + 15, 0 = -4*p - 3*c + 131. Let r = p + a. Is r a composite number?
False
Suppose 7*v - 2*v + 2*f = 3507, f - 1 = 0. Is v a prime number?
True
Let o be 2/4*(-6)/3. Let j = 170 - 116. Let k = j - o. Is k composite?
True
Let b(a) = 51*a + 5. Is b(8) prime?
False
Let u be 4/22 + 1918/(-22). Let o = u + 200. Is o a composite number?
False
Let g be (-6)/(-3 + (-9)/(-2)). Let k(w) = 3*w**2 + 4*w + 2. Is k(g) a prime number?
False
Let o be (-1 - (-6)/3)*3. Suppose o*x - 15 = -3. Suppose 6 - 210 = -x*z. Is z a prime number?
False
Is 3/(6/13)*142 prime?
False
Let o be 3/(-12) + 2490/(-24). Let z = -19 - o. Is z a composite number?
True
Suppose -2*f = -2*l + 6, 4*l + 4*f - 42 = -l. Suppose -r + 4*y + 425 = l*y, 2*r = 4*y + 826. Is r a composite number?
False
Suppose 5 = q, 15 = 3*y + 2*q + q. Suppose y*c + 4*c = 0. Is 1 + 37 - (1 + c) a composite number?
False
Let m = 80 - -20. Let l = m + -230. Let v = l + 183. Is v composite?
False
Let d(w) be the second derivative of -w**4/12 - 7*w**3/6 - 5*w**2/2 + w. Let o be d(-4). Suppose 0 = -4*p - 1 - o, 16 = 2*g - p. Is g prime?
True
Let i(w) = -28*w + 11. Let c(k) = -k**3 - 5*k**2 + 7*k. Let t be c(-6). Is i(t) a prime number?
True
Suppose 2*d - 1105 = 153. Is d a composite number?
True
Is (-3)/(-1) + 262/2 a prime number?
False
Suppose 0 = -2*r + 65 + 873. Is r a prime number?
False
Suppose 0*i = -4*i + 2*v - 14, 17 = -4*i + 5*v. Let u be i/(-6) + (-1)/(-2). Is u/(-4) - 269/(-4) prime?
True
Let t = 1626 + -787. Is t a composite number?
False
Let o = 78 + 13. Is o prime?
False
Suppose i + 0 + 5 = z, 0 = z - 4*i - 11. Suppose 263 = z*y - m, 2*y + 5*m - 238 = -40. Is y a prime number?
True
Suppose 5 = 3*o - 8*o. Is (0 + -191)/o + 0 composite?
False
Let g = -185 - -333. Suppose -z - g = -3*z. Is z composite?
True
Suppose 3*x = 3 + 6. Suppose -20 = -6*y + y. Suppose -s + x*f = s - 268, 0 = 5*s - y*f - 663. Is s a prime number?
True
Suppose -1407 = -5*y - 362. Suppose x - 2 + 4 = 0, -3*l + 4*x + 14 = 0. Is y/9 - l/9 a composite number?
False
Let x be 0/7 - (-5 - -1). Let v = x - 2. Suppose -3*q = -v*o + 5, -5*o + 6*q - 2*q + 23 = 0. Is o a prime number?
True
Let r = -204 - -367. Is r prime?
True
Suppose -66 - 569 = -5*h. Is h prime?
True
Let c be (-50)/(-1*(0 + 1)). Let v = c + 68. Is v prime?
False
Let a = -354 + 548. Suppose a = -4*l + 6*l. Is l a composite number?
False
Let q(d) = 25*d + 2. Let t(n) = -50*n - 3. Let j(h) = 11*q(h) + 6*t(h). Let m be j(-3). Suppose 0*o - o + m = 0. Is o composite?
False
Let v(l) = -l**2 - 6*l + 6. Let m be v(-6). Let n(b) = 16*b**2 + 7. Is n(m) prime?
False
Let u = -13 + 17. Suppose 5*o + 7*d - 4*d = 1964, 0 = -3*o + u*d + 1161. Is o composite?
True
Let b be 3 + -2 + 139*4. Let g = -300 + b. Let c = g - 178. Is c a prime number?
True
Let i(q) = -29*q - 4. Suppose 6*m + 24 = 2*m. Let u be ((-10)/m)/(9/(-27)). Is i(u) a composite number?
True
Let d = 9 - -7. Let t = d - -17. Is t prime?
False
Let u = 186 - 128. Is u a composite number?
True
Let u = 12 + -5. Is 954/42 + 2/u prime?
True
Let k = -2108 + 3169. Is k a prime number?
True
Suppose -o = -4 - 0. Is (o/(-10))/((-4)/40) a composite number?
True
Let y = 559 - 372. Is y composite?
True
Suppose 5*t = -2*u - 31, -30 = 3*u + 2*u + 3*t. Let n be (-2)/(u*(-2)/12). Is (-1)/(-2) - 50/n composite?
False
Suppose 0 = -4*v - 16, -u + 4*v + 5 = 3*v. Is u/(1/(57/