ime number?
True
Suppose 5*f + 20 = 2*s, 2*s - 4*s + 4 = 3*f. Let j(v) = 23*v - 6. Let a(q) = 12*q - 3. Let k(w) = 9*a(w) - 4*j(w). Is k(s) prime?
False
Let r(d) = d**3 - 5*d**2 - 4*d + 1. Let a be r(7). Suppose 4*j - a = -4*w + j, 3*w + 2*j - 52 = 0. Is w a prime number?
False
Suppose o = 4*o - 4*h - 117, -h + 78 = 2*o. Is o prime?
False
Let i(u) = -19*u + 21. Is i(-10) a composite number?
False
Suppose -2*i + 964 = 3*b, 4*b - 970 = b - 5*i. Suppose -2*v + 2*z - 4*z + 604 = 0, -v + 5*z = -b. Is v composite?
True
Let k = 3459 + -1406. Is k a composite number?
False
Suppose -3*a + 9 = c - 6, 0 = -a - 5*c + 5. Suppose m = -3*p - m + 28, 0 = -p - a*m + 5. Is p a composite number?
True
Suppose 0 = -h - 120 + 6. Let y(d) = 6*d**2 + 8*d + 1. Let q be y(-6). Let m = q + h. Is m composite?
True
Let b = 2451 - 1364. Is b composite?
False
Let h(d) = 2*d**3 - 6*d**2 + 4*d + 7. Is h(5) prime?
True
Let b(y) = 108*y - 1. Let r be b(-8). Is r/(-25) - (-6)/(-10) a prime number?
False
Suppose -25 = -5*l + 2*v, 0*l + 5*l = 3*v + 25. Suppose -4*f + 160 = -4*o, 0 = f - l*f + o + 151. Suppose 4*s - 97 = -f. Is s composite?
True
Let y be (-3 - -5)*(-1)/2. Let s(x) = -4*x**3 - 2*x**2 + 1. Let c be s(y). Let w = 22 - c. Is w a composite number?
False
Let x(i) be the third derivative of -i**6/120 - i**5/20 + i**4/8 + 5*i**3/6 + i**2. Let j be 2/(-6) + 22/(-6). Is x(j) prime?
False
Let c(s) = 6*s**2 + s**2 - 6 - 3*s**2 - 5*s. Is c(5) composite?
True
Suppose 10 = p + 4. Let i(q) = -q**2 + 10*q - 9. Is i(p) composite?
True
Let l(i) = i**2 - 2*i - 5. Suppose 0 = n + n - 8. Let r be l(n). Is (-952)/(-12) - 1/r a composite number?
False
Is (-587)/((3 - (-1 + 3))*-1) composite?
False
Let f = 869 - 51. Is f composite?
True
Is 0/((-16)/(-4)) - -251 composite?
False
Suppose 4*b + 5*h + 16 = 3*b, 3*b - 2*h - 3 = 0. Is 21/b*354/(-18) prime?
False
Let v(d) = 186*d + 5. Is v(4) composite?
True
Suppose -8 + 0 = -4*g. Let q be 0/(3 - (g + -1)). Suppose 4*b - 3*s - 6 = -q, -4*s + 17 = 3*b. Is b a prime number?
True
Let t(s) = 2*s**2 - 12*s + 15. Is t(-10) a composite number?
True
Let x be (5/(-2))/((-3)/6). Suppose c - 49 = 3*o, 0 = x*c - 0*c + 4*o - 169. Suppose -9 = -2*n + c. Is n prime?
True
Let n be 327/2 - (-2)/(-4). Suppose -4*j + 2*u = -236, 0*j - 5*u = -3*j + n. Let f = j + -14. Is f a composite number?
False
Let a be 2/6 - 2/6. Let p(j) = 4*j + 6 + j**2 + a*j**2 - 3. Is p(-4) a composite number?
False
Let w(f) = 8*f - 2. Let s be w(2). Let i = s - 9. Suppose -2*l + 186 = 5*t - i, -3*l + 3*t = -276. Is l a prime number?
False
Let i(s) = s**2 - 7*s + 13. Suppose -4*f + 5*l = -55, -3*f + 7*l = 3*l - 42. Is i(f) a prime number?
True
Let q(k) = -k**3 + 3*k**2 - 2*k + 3. Suppose 3*i = i - 12. Let w be q(i). Suppose -w = 3*n - 6*n. Is n a prime number?
True
Is -2266*((-3)/(-2) + -2) composite?
True
Let t(p) = p**2 + p - 1. Let a(g) = -4*g**2 + 6*g + 13. Let w(j) = -a(j) - 2*t(j). Is w(8) a prime number?
True
Let o(p) = 2*p**2. Let q(l) = -l - 2. Let s be q(-3). Let t be o(s). Is (-372)/(-8) + 1/t a prime number?
True
Suppose -l + 60 + 148 = 0. Suppose d - l = 5*f, 4*d + 5*f = 6*d - 431. Is d prime?
True
Let c(q) = 3*q**2 - 5*q - 4. Let b be c(4). Suppose 0 = k - 13 - b. Let l = k + -14. Is l prime?
True
Suppose 940 + 46 = 2*w. Is w a composite number?
True
Let r(y) = 80*y**3 + y**2 + 4*y - 3. Is r(2) a prime number?
False
Suppose 5*l + 1065 = f - 479, 2*l = 2*f - 3112. Is f a composite number?
False
Let r be -1*(-4)/(8/6). Suppose -r*d - 7*p + 51 = -2*p, -p = 2*d - 27. Is (174/(-4))/((-9)/d) prime?
False
Let z = 373 - 140. Is z prime?
True
Let l(w) = -28*w - 7. Let t be (2/3)/(9/(-81)). Is l(t) prime?
False
Let r = 16 - 11. Suppose 5*p + 23 = -8*i + r*i, -2*i = -2*p - 6. Is 8 - -1*1/i a composite number?
False
Let h = 9 + -7. Suppose 7*n - 684 = 3*n - 4*j, -5*n = h*j - 870. Let z = n - -15. Is z prime?
True
Let g(z) be the third derivative of z**6/120 + z**5/60 + z**4/24 + 47*z**3/6 + 2*z**2. Is g(0) a composite number?
False
Let t(j) = 101*j - 1. Let m(f) = 102*f - 1. Let l(o) = 4*m(o) - 3*t(o). Let r be ((-32)/12)/((-4)/6). Is l(r) prime?
True
Let l(n) = -n**3 + n**2 + 1. Let p = 17 + -2. Suppose 3*s = 6*s - p, -2*w - 2*s + 4 = 0. Is l(w) composite?
False
Let u = 4 - 2. Suppose -l = 3*f - 8*f + u, 4*f + 4 = -2*l. Let q(d) = -3*d**3 - 2. Is q(l) a prime number?
False
Suppose 5 = -7*k + 2*k. Let l(y) = -37*y + 148. Let j(r) = -1. Let o(u) = 148*j(u) + l(u). Is o(k) composite?
False
Let n be -13 + 16 + -4 + 1. Let a be (-1)/((-2)/130 + 0). Let q = a - n. Is q a composite number?
True
Suppose 0 = 4*z + 775 - 3539. Let p be 2/7 - z/(-7). Suppose 2*m - 5*y = 6*m - 123, -2*m + 5*y = -p. Is m a composite number?
False
Let n(h) = 166*h**3 + 2*h**2 - 1. Let q be n(1). Suppose -5*g + q = -108. Is g prime?
False
Let p(s) = s**3 - s + 3. Let i be p(0). Let z(o) = 33*o**2 + 3*o. Let l be z(i). Let c = -175 + l. Is c a prime number?
True
Suppose 0 = 4*d - 300 - 208. Let b = 186 - d. Is b prime?
True
Let r = -78 + 193. Is r composite?
True
Let y be (-256)/(-10) + (-6)/(-15). Let g be 2 - y*2/4. Let j = g + 88. Is j a composite number?
True
Let u(l) = l**3 - l + 2. Let f be u(0). Is 326/(2 - (f + -2)) prime?
True
Suppose 0 = 9*g - 5*g - 16, g = 4*t - 10440. Is t prime?
False
Suppose 8 = 5*w + c - 1, -2*w + 5*c + 9 = 0. Suppose w*a - 7 = 3. Let l(d) = d**2 - 3*d + 4. Is l(a) a composite number?
True
Let w = 16 + -14. Suppose -5*p = y - 325, w*y = -p + 6*p - 325. Is p a composite number?
True
Suppose 0 = -3*p + 8*p + 5, 5*n - 3*p = 23. Suppose 4*x - 3*x = n. Suppose x*r - 8 = -c, -3*r + c = 4*c + 3. Is r a composite number?
False
Let o(j) = j + 6. Let b be o(-4). Suppose -b*v = 2*v. Let p(n) = n + 33. Is p(v) a composite number?
True
Let v = 8 + -5. Suppose a + o = 31, -2*a + v*o + 88 = 6. Let r = 86 - a. Is r a composite number?
True
Let z(k) = k**2 - 6*k - 8. Let y be z(8). Suppose -8*l + 4*l - y = 0. Is (46/(-6))/(l/6) a composite number?
False
Is (-12)/21 - (-747)/21 a composite number?
True
Suppose 0 = -17*a + 14*a + 1329. Is a composite?
False
Suppose 4*w = -4*m - 5 + 17, 0 = -5*m - 2*w + 15. Suppose -59 = -m*k - 2. Is k prime?
True
Suppose -p + 4*p = -30. Let c(f) = 16*f**2 + 12*f + 1. Is c(p) prime?
True
Is ((-5012)/6)/(50/15 - 4) prime?
False
Let f(j) = -2*j**3 + j**2 - 29*j + 27. Let b(d) = -d**3 + d**2 - 14*d + 13. Let p(y) = -9*b(y) + 4*f(y). Is p(6) prime?
False
Let h be (-3)/(1 + -4) - -20. Let v = h + 10. Is v a prime number?
True
Suppose 3*y = 5*x + 15, -5*y - x + 25 + 28 = 0. Let o = 0 - -4. Suppose -y = -a - 2*l, o*a - 2*l - 24 = 16. Is a prime?
False
Let m(b) = b**3 + b + 1. Let w be m(0). Let p be (-6 - -8) + w + 0. Let c(d) = 14*d**2 - 4*d - 1. Is c(p) prime?
True
Let v = 2472 + -737. Is v prime?
False
Suppose y = -27 + 124. Is y a prime number?
True
Suppose 5 = -p, a = -4*a + 4*p + 205. Is a a prime number?
True
Suppose 4*c + 1 - 5 = 0. Let n(k) = 19*k + 1. Let v be n(c). Is 624/v + 1/(-5) a composite number?
False
Let r(b) = -b**3 + 4*b**2 + 7*b - 5. Let a be r(5). Suppose a*c + 32 = 2. Is 56 - c/(-4)*2 composite?
False
Let r = 219 + -116. Is r a composite number?
False
Let n(p) = 11*p. Let u be n(5). Let t = u - 29. Is t composite?
True
Suppose -137 = -3*l + 208. Suppose -5*a - 2*u + 479 = 0, 4*u - 261 = -4*a + l. Is a prime?
True
Let a = -87 - -37. Let i = a + 12. Is i/(-6) + 10/15 a prime number?
True
Let z be 27/(-2)*(-42)/9. Is z - (0 - (-2 - -1)) prime?
False
Let u = 2 - 2. Suppose u*f = -f + 7. Suppose 185 = f*v - 2*v. Is v a prime number?
True
Suppose 3*m + 731 = 5*w, -2*m + 727 = 5*w - 3*m. Is w composite?
True
Let p(d) = d**2 - d. Let o be p(0). Suppose 5*w - 1502 = -m, -3*w - 4*m + 1031 - 140 = o. Is w a composite number?
True
Let j(v) = 7*v**2 + 7*v - 1. Is j(-4) a composite number?
False
Let c(b) = 2*b**2 + 7*b - 3. Let k be c(10). Let p = k - 190. Is p a prime number?
False
Let j(o) = 3*o**2 + 5*o + 1. Let c be j(5). Suppose -2*n - 2*m = 2*n - 102, -3*m = 4*n - c. Is n composite?
True
Let a(n) = n**3 - 7*n**2 + 6*n + 3. Let h be a(6). Let d = h + -3. Suppose 2*l + d*l = 6. Is l prime?
True
Suppose 4*s - 3*w = 465, -4*s - w + 5*w = -460. Suppose -q = -5*u + s + 265, 2*q + 308 = 4*u. Is u a composite number?
True
Suppose 6 = l - 0. Suppose 2*f = l*f - 56. Is f