e 0 = 4*q - 12 + 4. Suppose a + q - 4 = 0. Suppose 3*r + 320 = 4*y, 4*y + a*r = 211 + 89. Is y a prime number?
False
Suppose 22170 = 10*c + 1460. Is c prime?
False
Suppose 0 = -5*x + x + 184. Is x a composite number?
True
Let c = -1473 - -2522. Is c a composite number?
False
Let t(q) = -5*q - 2. Suppose -2*v = -6*v - 4. Let r be v/(-2 - (-7)/3). Is t(r) prime?
True
Suppose 3*y + 4*j - 5931 = 0, -2*j + 211 - 6124 = -3*y. Is y composite?
False
Suppose b = -4*b + 475. Is b a prime number?
False
Suppose -2*d + 7*d = 30. Suppose -2*w = -0*w - 18. Is ((-102)/w)/((-2)/d) composite?
True
Let j(g) = -20*g + 5. Suppose -n - 2*z = 2*z - 4, 2*n + z + 6 = 0. Is j(n) a composite number?
True
Is ((-40)/6)/(6/(-9)) a prime number?
False
Let p be -1 - 5 - (1 + -2). Is (p - -4)/((-2)/22) a prime number?
True
Let k = 472 - 185. Is k a prime number?
False
Let g = -39 + 118. Is g a composite number?
False
Let l = -5 + 7. Let t be -3 + l - 1/(-1). Suppose -5*h + t*h = -245. Is h a composite number?
True
Let r be ((-4)/(-3))/((-4)/6). Is 258 - (-6)/r - -2 composite?
False
Let y(v) = -1 - v + 2 - 3. Let l be y(-6). Suppose -j - l*j = -70. Is j a composite number?
True
Let k = -40 + 10. Let u = 55 + k. Is u a prime number?
False
Let c be (-6)/21 - 2/(-7). Let u = c + 13. Is u prime?
True
Let a(v) = v**3 + 2*v**2 - 3*v - 1. Let t be a(-3). Is t + 4 + (-248)/(-2) prime?
True
Let t(z) = 2*z**3 - 4*z**2 - 3*z + 3. Let j be (-57)/(-15) - 2/(-10). Is t(j) composite?
True
Suppose t - v = 474, -2*t = 3*v - 0*v - 973. Is t composite?
False
Let o(y) = -92*y + 5. Is o(-4) composite?
False
Let f(d) = d - 8. Let s be f(9). Is 3*((-53)/(-3))/s a prime number?
True
Let i(z) = -25*z + 1. Suppose 5*f + 5*s = -15, -3*f - 14 - 3 = 5*s. Let r(p) = p - 1. Let m(a) = f*i(a) + 2*r(a). Is m(-1) composite?
True
Suppose 0 = -8*i + 5487 - 1751. Is i a composite number?
False
Is ((-6)/(-10))/((-20)/(-8300)) a prime number?
False
Let z = -5 + 10. Suppose 4*r = -z*v + 2*r + 423, 4*r = -5*v + 431. Suppose 3*g - 208 = v. Is g composite?
False
Is (30/(-40))/(2/(-1816)) prime?
False
Let a(t) = -t**3 + 8*t**2 + 5*t + 10. Let v be a(8). Let l = v + -14. Suppose l - 392 = -4*j. Is j prime?
True
Let a be -4 + (-2)/(-3)*3. Let n = a + 151. Is n a composite number?
False
Let f = -48 - -167. Is f a composite number?
True
Let x = 5 + -7. Is 1/(549/273 + x) a composite number?
True
Let l(q) = 4*q**3 + q**2 + 4*q + 7. Let o(n) = -5*n**3 - 5*n - 8. Let z(u) = -4*l(u) - 3*o(u). Let p be z(-4). Is -65*(p + -3)/3 a composite number?
True
Let q = -25 - -20. Is 669/6 + q/10 prime?
False
Suppose -665 = -19*p + 12*p. Is p prime?
False
Let a(w) = w**2 - 2*w - 1. Let s be a(3). Is 3 - (1 + s) - -51 a composite number?
True
Let d(q) = 33*q**3 - 8*q**2 + 10*q - 32. Is d(5) a prime number?
True
Suppose -4*t - 31 = -5*a, -3*t = -t + 8. Let l be 4/3 + (-1)/a. Is (5*2)/l + 0 composite?
True
Let z(q) = q + 3. Let u(x) = 2*x + 3. Let j be u(-3). Let o be z(j). Suppose -2*a - 8 + 50 = o. Is a a composite number?
True
Let g = -1 + 3. Let z be (-3)/(-2)*5*g. Suppose q - 5*j = -j + 3, z = 3*j. Is q composite?
False
Let l(p) = 4*p**3 - 5*p**2 - 3*p - 2. Let c(i) = i**3 - i**2 - i. Let j(d) = -5*c(d) + l(d). Is j(-5) a composite number?
False
Let z(a) = a + 1. Let j be z(1). Suppose u - j*v + v = 0, -5*v = 3*u - 32. Is u composite?
True
Suppose 0 = -4*o + 4*y + 4959 + 1501, 0 = -y + 4. Suppose -2*n = -7*n + 25, -o = -2*a - 5*n. Is a a composite number?
False
Let a be (-60)/(-14) + 16/(-56). Suppose 0 = a*k - 2*b, 3*b = -4*k + k. Suppose 3*d = -k*d + 141. Is d a composite number?
False
Suppose 170 = 2*k + 4*f, 0*k + 4*f = -3*k + 249. Is k a prime number?
True
Let x(p) = 1815*p**2 + p. Is x(-1) prime?
False
Suppose 5*n = 6 + 14. Let h(i) = -13*i + 3. Let l(z) = 14*z - 2. Let b(v) = 5*h(v) + 6*l(v). Is b(n) a composite number?
False
Let l be (1 - -9)/(-1 - 0). Is ((-1)/(-2))/(l/(-9740)) prime?
True
Suppose -3*n + 373 = -2*n. Is n a composite number?
False
Let f(q) = 10*q**2 + 10*q + 14. Is f(12) a composite number?
True
Let p(y) = -441*y + 14. Is p(-5) composite?
True
Let x be (0 + -1)/(3/(-9)). Suppose -5*q + 37 = x*u, -7 = -5*q + 18. Is ((-187)/u)/(3/(-12)) a prime number?
False
Let s(u) = -u**2 - 2*u + 4. Let r be s(-3). Let w be (2 - 1) + r - 5. Is (-1 - -13) + 4 + w prime?
True
Suppose -4*l = l - 1130. Is l prime?
False
Let z(f) = -3*f + 1. Let t be z(1). Is (-220)/t + 1/(-1) composite?
False
Let d be 0 + 1 - -1*32. Let t = -7 + d. Is t prime?
False
Suppose 32 = 5*u + 2*m, 4*m - 4 + 0 = 0. Suppose 0 = 3*i - u. Suppose -n - 5*l - 19 = -3*n, 3*n = i*l + 56. Is n a composite number?
True
Suppose -h = 3*d - 1553, 1031 = d + d + 5*h. Suppose x = 8*x - d. Is x composite?
True
Let m(k) = k**3 - 4*k**2 + 3*k. Let x be m(2). Is -1*(21 - x)*-1 composite?
False
Suppose -a + 2720 = 4*a. Let k = -243 + a. Is k a composite number?
True
Suppose 0 = -0*y + 5*y. Suppose -12 = -m + 4*m, y = 3*s + 5*m - 337. Is s a prime number?
False
Let z(y) = 1 + y**3 - 2 + 2*y + 2*y**2 - 5*y. Let t be z(-2). Suppose t*k - 14 = 16. Is k a prime number?
False
Let j be -9 - -11 - (-1 - -2). Is 3456/12 - -3*j composite?
True
Suppose -4*q + 4 = -0*q. Is (3/q)/3 - -20 composite?
True
Suppose -3*h + 3 + 12 = 0. Let s(z) = 37*z**2 + 11*z - 7. Is s(h) a prime number?
False
Let l(b) = b**3 + 18*b**2 - 24*b - 13. Is l(-18) composite?
False
Let r be 0 + (-816)/(0 + -3). Suppose -t + 5*g = 2*t - r, 0 = 5*t + 4*g - 441. Is t composite?
False
Let h be 6*((-246)/4)/(-3). Suppose -212 = -5*d + h. Is d composite?
False
Suppose -4*w + 560 = 4*j, -4*w + 2*j = -142 - 436. Is w a composite number?
True
Suppose -3*x + 4*x - 4 = 0. Is ((-745)/4)/(-5)*x a prime number?
True
Let z(u) = u**3 - 2*u**2 - 7*u - 9. Is z(8) prime?
False
Suppose -160 = 5*c - c. Let o = c - -59. Is o a composite number?
False
Suppose -2*w + 2635 = -b, -4629 = -5*w - 3*b + 1975. Is w composite?
False
Let z = -637 + 906. Is z prime?
True
Suppose 0 = -2*v - 4*u - 25 + 241, -5*u - 94 = -v. Suppose -m = -v - 57. Is m a prime number?
False
Suppose 0*h - 3*h + 3 = -3*t, 0 = -4*t - 2*h + 14. Let j(p) = 2*p**2 - 6*p - 4. Let n be j(4). Suppose 8*y - 4*y - 472 = -n*m, 201 = t*y - 5*m. Is y prime?
True
Let l(i) = 15*i**2 - i. Is l(2) prime?
False
Is (-12)/(-9)*(-633)/(-4) a prime number?
True
Let b(o) = -2*o + 4. Let d be b(3). Let i = d - -6. Is i prime?
False
Let u(x) = -x**3 - 4*x**2 + 6*x + 7. Let v be u(-5). Let o(f) = f**3 + 2*f - 2. Let i be o(v). Is i/(-15)*90/(-4) a composite number?
True
Let v = 4 + 14. Is v/(-3 + 6) + 1 prime?
True
Let g(o) = -2*o. Let w be g(-1). Let f(y) = w*y + 7 - 3*y**2 + 6*y**2 - 2*y**2. Is f(6) prime?
False
Let n(q) = -2*q + 2. Let z be n(0). Let j(p) = p. Let u be j(2). Suppose -v + u*b - 77 = -z*v, -3*b = -5*v + 398. Is v a prime number?
True
Suppose 5*z + 21 = -2*k - k, -18 = 4*z + 2*k. Let w be 107/2 - (-3)/z. Let y = w + 36. Is y prime?
True
Let x be (117/26)/((-2)/(-76)). Suppose -49 = -5*h - 4*w + 110, x = 5*h + w. Is h a composite number?
True
Suppose -4*o + 5*c = -21, 0*c = 4*c + 4. Suppose -4*m + 176 = o*x, m - 3*x + 6 = 30. Is m a prime number?
False
Suppose 5*p - p = 0, p = -3*f - 21. Let t(a) = 3*a**2 - a + 8. Let y(j) = -3*j**2 + j - 7. Let r(w) = f*y(w) - 6*t(w). Is r(-4) prime?
True
Let g(t) = t**3 - 9*t**2 + 10*t - 9. Let j be g(8). Let f(o) = -o**3 + 7*o**2 + o + 3. Is f(j) composite?
True
Let g(j) = j**3 - 7*j**2 - 7*j - 3. Let o be g(8). Suppose -o*r + 1366 = -239. Suppose -4*a = -r - 187. Is a a composite number?
False
Let c(g) = -19*g**2 + 4*g + 9. Let l(q) be the second derivative of -3*q**4/4 + q**3/3 + 2*q**2 - q. Let r(x) = 3*c(x) - 7*l(x). Is r(2) a composite number?
False
Suppose -2*t = 3*b, 2*b + 5*t - 1 + 12 = 0. Suppose 5*p + 1 = 4*w + b, 5*w - 4 = p. Is ((-53)/4)/(p/(-4)) a composite number?
False
Let o = 468 + 269. Is o a prime number?
False
Let p = -29 - -36. Is p prime?
True
Let r = -314 - -490. Suppose -q + 3*w + r = 0, 2*w = 2*q - w - 337. Is q a prime number?
False
Let y = 6816 - 3971. Let s be y/(-25) + 2/(-10). Is ((-4)/6)/(4/s) prime?
True
Suppose 4*y = -2*z + 1934, -2*z = -2*y - 2*y + 1946. Is y a composite number?
True
Let k be (-12)/(-2) - (1 - -1). Suppose -p + k = p. Suppose -3*n = p*x - 4, 11 = 5*n - x - 0*x. Is n a composite number?
False