posite number?
True
Let t(l) = l**2 - 3*l - 6. Let y be t(5). Is 3 - (y - 2) - -9 prime?
False
Suppose 2230 = 3*b + 715. Is b a composite number?
True
Let z = -2 + 4. Suppose z*d - 69 = -d. Is d prime?
True
Suppose -4*d - 7 = 5*c, -3*d - 22 = 2*c - 8. Let a(r) = r**3 + 5*r**2 - 8*r + 1. Let p be a(d). Let b = -6 - p. Is b a prime number?
False
Suppose 3*j = j + 2. Let p = j - 2. Is (p + (-117)/(-6))*2 a prime number?
True
Suppose -2*u + 0*u = -4. Let f be u/(-5) - (-4468)/20. Suppose -f = w - 2*w. Is w composite?
False
Let o be ((-2)/(-4))/((-9)/(-198)). Let y(g) = -g - 4*g + o + g + 3*g. Is y(5) composite?
True
Let i(x) = -x**3 + x**2 + 5*x + 2. Let a be i(-2). Let v = -340 - -494. Suppose a*p = 6*p - v. Is p composite?
True
Let j be (20/(-16))/((-2)/8). Suppose 6*o - 2 = j*o. Suppose -o*h - 26 = -3*h. Is h a composite number?
True
Suppose 2*q = 3*q - 2, 5*q - 1074 = -4*o. Let h = o + -55. Is h prime?
True
Suppose 2*r - 3*r = 0. Suppose r*n + 81 = n. Suppose 0 = -5*k + 194 + n. Is k a composite number?
True
Let g = 1850 + -811. Is g a composite number?
False
Suppose 2*s + 0*s = 8. Let v be (-30)/4*s/(-6). Suppose 0 = -v*n + 6 + 589. Is n a composite number?
True
Suppose -70 = 3*b + k - 7, -3*b - 45 = -5*k. Is (b/8)/((-3)/66) a composite number?
True
Let m = -16 - -24. Let y(i) = i**2 - 6*i + 10. Is y(m) a prime number?
False
Suppose -20 = 4*f - 8. Let c(d) = -d**3 - 2*d**2 - 2*d + 4. Let w be c(f). Suppose b = 2*b - w. Is b prime?
True
Let d(s) = 3*s + 5. Let j(w) = -w - 2. Let k(v) = 4*d(v) + 11*j(v). Let l be k(-2). Let a = 34 - l. Is a a composite number?
True
Let x = 6831 + -3736. Is x a prime number?
False
Let a(z) = -z**3 - 13*z**2 - 6*z + 33. Is a(-15) a prime number?
False
Suppose 13*a = 16*a - 393. Is a a composite number?
False
Let z(g) be the second derivative of g**5/20 - g**4/2 + g**3/2 + 3*g**2/2 + 3*g. Is z(6) a composite number?
True
Let z(i) = -i**3 - 2*i**2 + 2*i + 1. Let g be z(-3). Is 1027/g - 1/(-4) a prime number?
True
Suppose -40 = -4*b - 3*u + 183, 101 = 2*b + 5*u. Suppose 152 = -4*g - 2*p + 3*p, 4*p - 164 = 4*g. Let y = b + g. Is y a composite number?
True
Let z be ((-2)/(-6))/(2/18). Suppose 0 = z*k + 3*a + 12, 6*a = -2*k + a - 20. Suppose k = 5*c + 10, 3*c = 3*t - c - 26. Is t prime?
False
Let f = 3830 - 1917. Is f composite?
False
Let m(u) = u**2 - 4*u + 3. Let c be m(3). Suppose -3*g + 0*g + 366 = 0. Suppose 4*v = -h + 216, 3*h = 2*v - c*v - g. Is v a prime number?
False
Let d = 6 + -6. Suppose d = 5*n - 97 - 78. Suppose -5*y + 10*y - 35 = 5*z, -5*y - 3*z = -n. Is y a prime number?
True
Let f = 896 + -474. Is f prime?
False
Let r = 5 + -5. Suppose 0 = -2*k + 3*l + 71, r*k + l = -k + 33. Is k a composite number?
True
Let a(r) = r**3 + 4*r**2 + 4*r - 1. Let w be a(-3). Let h(b) = -2*b**3 - 7*b**2 - 3*b + 9. Is h(w) prime?
True
Let m = -5 - -13. Suppose 1 - m = -j. Is (101 - j)*1/2 a prime number?
True
Let b(c) = 26*c + 1. Let a(o) = 104*o + 5. Let u(r) = 2*a(r) - 9*b(r). Is u(-3) prime?
True
Let i = 175 + 146. Is i composite?
True
Let a(b) = b**3 - 10*b**2 + 11*b - 12. Let u be a(9). Suppose 2*g + 4 = u. Suppose v + g = 20. Is v prime?
True
Suppose -3*j - 3*k + 6 = -3, j = -5*k + 15. Suppose -5*f + 4*f + 2 = j. Suppose 3*z + 0*z - f*m = 187, -4*z + 5*m = -240. Is z a composite number?
True
Let a = -140 + 255. Is a a composite number?
True
Let i(y) = y**3 - 3*y**2 + 3*y - 7. Let x be i(5). Suppose 4*j - 3*j - 4*p - x = 0, 5*j - 2*p = 200. Is j prime?
False
Let a(h) be the first derivative of 3*h**3 - 2*h**2 + h + 4. Is a(-4) prime?
False
Suppose -4*d - 3 - 9 = 0, 0 = -5*a + 3*d + 979. Is a prime?
False
Let h = -73 - -36. Suppose 3*l - 3 = -0*l. Is (0 + h*l)/(-1) a composite number?
False
Let y = 250 + -133. Is (y/18)/((-1)/(-34)) composite?
True
Is (-4224)/(-80) - (-1)/5 a composite number?
False
Suppose 0 = -16*h + 17446 + 24058. Is h prime?
False
Let j(t) be the first derivative of 0*t**2 - 4/3*t**3 + 2 - 1/2*t**4 + t. Is j(-3) prime?
True
Is ((-4)/8)/(1/(-638)) a composite number?
True
Let g(a) = a + 5. Let n be g(-3). Is (2 - 3)*(0 - n) prime?
True
Let m = -7 + 12. Suppose z + 2 = 0, -m*b + z - 17 = 2*z. Is 2*(21 - 1) + b a composite number?
False
Let s(z) = -z + 3. Suppose 2*p - 5 = 1. Let l be s(p). Is l + 22 - 5/(-5) prime?
True
Suppose -3*f + 12055 = 2*f. Is f a composite number?
False
Is (-41 - 0)*217/(-7) a prime number?
False
Let z(a) = -9*a**2 + a - 3. Let n(b) = -18*b**2 + 2*b - 5. Let r(x) = 6*n(x) - 13*z(x). Is r(4) prime?
True
Let m be (-3)/3 + (-2544)/(-2). Suppose -a = -4*n - 426, -m = -0*a - 3*a + 5*n. Let l = a + -235. Is l composite?
True
Let h = 1406 - 705. Is h a composite number?
False
Let h be ((-1)/(-1))/(4/20). Suppose r - 4*r - 4*l + 35 = 0, -3*r + 40 = h*l. Suppose -r*f = 5*i - 100, -3*i - i = -20. Is f a prime number?
False
Let m be (-396)/15*(-10)/3. Let y = -40 + m. Let p = -22 + y. Is p composite?
True
Let k(n) = 107*n**2 + 3*n + 5. Is k(-3) prime?
False
Suppose 0 = 3*w + 2*w + 5. Let a(f) = -f**2 - f + 1. Let t be a(-2). Is w/(t/89*1) composite?
False
Suppose -q = 4*n - 95, -3*n - 101 = -7*n + 5*q. Suppose 3*i + n = 135. Is i a prime number?
True
Let n(l) = -l**3 - l + 1. Let x be n(-2). Let r = x - 8. Suppose r*y + 0*w + 2*w = 637, -221 = -y - 5*w. Is y composite?
False
Suppose -2*j + 4*j = 12. Suppose 0 = -r + j*r - 695. Is r composite?
False
Let m be 0/((-4)/(-6)*3). Suppose 520 = 4*p - m*p. Let g = p + -93. Is g a composite number?
False
Let n(w) = -w - 3. Let y be n(-3). Is 33 - (0 - 0 - y) a composite number?
True
Let u(r) = 23*r - 9. Is u(2) prime?
True
Let z = -99 + 164. Is z a composite number?
True
Let m(k) = k**2 + 4*k. Let f be m(-3). Let a be 1/(-1)*(f - -5). Let v(b) = -4*b**3 - b**2 - 3*b - 3. Is v(a) a composite number?
False
Let u = 6 + -3. Suppose -4*t + 88 = 5*w, 4 + 84 = 4*t - u*w. Is t prime?
False
Let s be (3*30/9)/2. Suppose -a = s*a - 690. Is a composite?
True
Let j = -335 - -31. Let q = j + 527. Is q a composite number?
False
Suppose 0 = z - 5, 4*c - 3*z + 2*z - 1215 = 0. Is c composite?
True
Let r be -4 + 2 + 1 + 6. Suppose -4*g + q + 145 = -0*q, 0 = -4*g + r*q + 133. Is g prime?
True
Let w(o) = 18*o**2 - 7*o + 20. Is w(7) a composite number?
False
Is (1 - 4)*-1 - -620 a prime number?
False
Suppose 0 = -3*f + 8*p - 3*p - 16, 2*f + 4*p = 4. Let k be (1/f)/(1/(-2)). Is (-95 + k)/(1 + -3) prime?
True
Suppose -3*v + d + 3 + 6 = 0, 6 = 2*d. Let x(u) = u**3 - 5*u**2 + 5*u. Let z be x(v). Is z/(-6) + (-745)/(-15) a prime number?
False
Suppose -r + 3*r - 8 = 0. Let c(k) = k - 1. Let g be c(r). Is 272/3 - (-1)/g composite?
True
Let b(m) = 2*m**3 - m**2 - m + 263. Is b(0) a composite number?
False
Suppose -618 - 256 = 2*a - 5*g, -g = -3*a - 1311. Is (-4)/2 - (a - 11) a prime number?
False
Suppose -q + 5*q = -n + 105, 0 = 4*q - 16. Is n a prime number?
True
Suppose -5*t + 3*m = 5*m - 4672, 0 = -5*m + 5. Suppose j = -j + t. Is j prime?
True
Suppose -4*o - 41 = -5*m - 0*o, 3*o = 4*m - 32. Suppose -4*s + m*r + 75 = 0, 4*r = -s + 3*r + 12. Is s prime?
False
Suppose 4*i = -0*l + 3*l - 17, -i - 34 = -5*l. Is l composite?
False
Let h = -75 - -142. Let n = h - -15. Is n a composite number?
True
Let q(w) = -14*w**3 + w**2 + w + 1. Let l be q(-1). Let r be (10/(-6))/(5/l). Let j = r - -18. Is j a prime number?
True
Let p = 6 + -381. Let b = -112 - p. Is b composite?
False
Suppose k + 5*k - 1572 = 0. Suppose -4*i + k + 262 = 0. Is i a composite number?
False
Let m(k) = 9*k**3 - 7*k**2 - 3*k - 5. Let w(j) = 5*j**3 - 4*j**2 - j - 3. Let g(l) = -4*m(l) + 7*w(l). Is g(-6) prime?
False
Suppose -17 = m + 5*o + 4, 4*m + 9 = -5*o. Suppose 5*g + 3*p = -0*p + 3554, m*g + 5*p = 2851. Is g a prime number?
True
Let b = -265 + 546. Suppose 4*z - 2*s - b = 3*s, -s - 1 = 0. Is z composite?
True
Suppose k = -5*d + 4795, 5*d - 3*k = 5477 - 682. Is d prime?
False
Let p = -7 + 12. Suppose -4*b - 80 = -5*q - b, -4*b = -p*q + 75. Is q a prime number?
True
Let t be -1 + 2 + 5 + 3. Suppose -t*s + 7*s + 934 = 0. Is s composite?
False
Let u be (-15)/20*24/(-9). Suppose -p = -6*p + 15. Suppose 3*d - c - 236 = 0, -u = -p*c + c. Is d a prime number?
True
Suppose 3*a + 0*a - 15 = 0, 5*q + 4*a = 1905. Is q a composite number?
True
Suppose -32 = 4*k - 8*k. Let m(j) = j**3 - 7*j**2 + 8*j - 7. Is m(k) compos