 = k*v - g. Is v a prime number?
False
Let c(q) = q**3 + 0*q**3 + 11*q**2 + 0*q**3 - 8*q**2 - 5*q. Let t be c(-4). Suppose 3*g - 148 = -4*v, 0*g - 185 = -5*v - t*g. Is v composite?
False
Suppose 4*r + 5*c - 6 = 3*c, 3*c + 3 = 0. Suppose 2*y = h - 1091, -h = y - r*y - 1095. Is h a composite number?
True
Suppose 2*l + 4 - 10 = 0. Is (3/(-6))/(l/(-354)) composite?
False
Let y = 232 - 74. Is y composite?
True
Suppose -z - 2 + 3 = 0. Let r = 3 - z. Suppose 0*m + 2*u - 98 = -4*m, 0 = -3*m + r*u + 84. Is m a composite number?
True
Let l(g) be the first derivative of g**6/40 + g**5/60 - g**4/6 + 4*g**3/3 + 2. Let p(t) be the third derivative of l(t). Is p(-5) prime?
True
Let u be (-24)/14 + 6/(-21). Let f be 112/3 - u/(-6). Let i = f + 0. Is i prime?
True
Suppose 3*n - 10 - 2 = 0. Let m be n/(-14) - 15/21. Is (-1 + m)/((-2)/7) a composite number?
False
Let l(f) = -3*f + 38*f**2 + 41*f**2 + 4*f + 1 + 0. Is l(-1) a prime number?
True
Let l(z) = 138*z**2 - 3*z - 5. Is l(4) prime?
False
Let q = 20 - 35. Let j be 2/13 + 30/(-26). Is (q/9 - j)*-9 a composite number?
True
Let c(r) = -7*r**3 + 6*r**2 + 7. Is c(-6) a prime number?
False
Let h be 3*-2*4/(-4). Is (20/h)/((-16)/(-696)) composite?
True
Let m(s) = 3521*s + 3. Is m(2) composite?
True
Suppose -4*t = -3*n - t - 9, 0 = -4*n + 5*t - 17. Let b be ((-12)/30)/(n/40). Is 890/8 + 2/b composite?
True
Suppose -2*r - 5*t + 1275 = 3*r, -4*r + 2*t = -1032. Is r a prime number?
True
Let q(m) = 90*m + 1. Let r = 5 - 2. Suppose -r = -0*h - 3*h. Is q(h) a composite number?
True
Suppose 5*y + 20 = -0*y. Let z(d) = -1 - 3*d**2 + d**3 + d - 3*d**3 + 2*d. Is z(y) prime?
True
Suppose -4*l - 7 - 13 = 0. Let z(n) = 0*n**3 + 0*n**3 - 1 - 4*n**3 - 4*n**2 + 3*n**3 + n. Is z(l) prime?
True
Let r(w) = -w**2 - 4*w - 1. Suppose -2*i - 4 = -s - 4*i, 3*s - 5*i + 21 = 0. Let l be r(s). Suppose 3*q + q + 12 = 0, l*n = -3*q + 228. Is n a composite number?
False
Suppose -179 = j - 2232. Is j a prime number?
True
Let t be ((-2)/(-4))/((-2)/(-4)). Suppose 0 = 4*o - 4*m - 36, 3*o + 3*m - t = 14. Is o composite?
False
Suppose 2*p + 3*p = -20. Let h = p + 0. Is (h/(-6))/((-2)/(-93)) composite?
False
Let m = 47 - -6. Is m prime?
True
Suppose r + 2 = 5. Is -2 - (r + 108)/(-3) composite?
True
Let x = -4 - -6. Let t be (-3 + 1 - x)*-8. Suppose -7 + t = y. Is y prime?
False
Suppose 2*d + 303 = -d. Let x(c) = -c**3 + c**2 - 5*c + 3. Let z be x(-5). Let r = z + d. Is r composite?
True
Suppose -9*j + 42 = -3*j. Is j prime?
True
Let b = -4 + 3. Let x = 4 + b. Suppose n - x*l = 43, 4*n + 0*n + 2*l - 228 = 0. Is n a composite number?
True
Let h(t) = 17*t + 5. Is h(8) a composite number?
True
Suppose -a = -3*a + 4. Suppose 4*d + 3*c - 178 = 0, 3*d - 107 = -a*c + 27. Is (3 - -1)*d/4 a prime number?
False
Suppose -2*u + 229 = -145. Let w = 366 - u. Is w a prime number?
True
Is 4/(-16)*-1954*(1 - -1) prime?
True
Let o(r) = -24*r - 26. Is o(-8) composite?
True
Let r(a) = -215*a + 4. Is r(-3) prime?
False
Let n = 7 + -2. Suppose 200 = n*j - 15. Is j a prime number?
True
Suppose 2 = 10*d - 9*d. Let b(l) = 29*l - 3 + 2 - 3*l. Is b(d) composite?
True
Suppose -6*d + d = 60. Is ((-2)/(-3))/(d/(-990)) prime?
False
Suppose -2*j = 2*i - 904, 4*i - 5*i = -3. Is j composite?
False
Suppose 5*f - 2*a = 11657, 3*f - 2*a = 4*f - 2341. Is f prime?
True
Suppose 3 = -4*w + 5*l - 2, -30 = -4*w - 2*l. Suppose w*j - 190 = -5*a, j = -j - a + 75. Is j prime?
True
Let w(i) = 25*i**2 + 2*i - 2. Suppose -2*x + 5*l + 8 = -x, -3*l = -5*x - 4. Is w(x) composite?
True
Suppose -f = -4 + 2. Let o be 96 + f*(-2)/(-4). Let n = -66 + o. Is n prime?
True
Suppose -14 = 6*n - 4*n. Let k(x) = 9*x + 8. Let t(a) = a + 1. Let p(s) = -k(s) + 3*t(s). Is p(n) a prime number?
True
Suppose 3*i = f + 167, -5*i + 223 = -i - f. Let n be (-1)/(2/492*-2). Let l = n - i. Is l prime?
True
Let d be 1/(-6) - 13/(-6). Let z(l) = 15*l**3 - 2*l**2 + 1. Let s be z(d). Suppose 0 = 4*t + 2*c - 88, 5*t + 0*c - s = -c. Is t a composite number?
False
Suppose -3*c + p = -c, 0 = 3*c - 4*p. Suppose 2*n + 1 - 11 = c. Suppose t - 309 = -g, 3*g + g = n*t + 1218. Is g prime?
True
Suppose 0 = 7*i - 4947 - 4258. Is i composite?
True
Let p(m) = m**3 - 6*m**2 - 4*m - 8. Let a be (14/6 - 2)*15. Suppose 3*c = i + i + 11, -20 = -a*c + 3*i. Is p(c) a prime number?
True
Let w = 2 + -8. Let y = w - -9. Suppose 5*n - 5*j = 60, y*n + j + 15 = 47. Is n composite?
False
Let c = 8 + -6. Suppose 4*l = -c*f + 6, f + f - 4 = -5*l. Suppose -f = p - 62. Is p composite?
True
Suppose 4*x - 1605 = x. Is x a composite number?
True
Let a(i) = 18*i - 12. Let x(l) = -19*l + 11. Let m(r) = 6*a(r) + 7*x(r). Let b be m(-4). Suppose g - 4*g = -b. Is g a composite number?
True
Suppose 17142 = -5*t - 5*w + 1807, -4*w + 3092 = -t. Is (-9)/45 - t/10 a prime number?
True
Let f be (-1)/(-2 - (-358)/180). Suppose 2*k = -2*k + 36. Suppose 3*r - f = 3*j + k, -j - 107 = -3*r. Is r composite?
False
Let r(c) = -8*c**3 - 3*c**2 - 3*c - 1. Is r(-2) composite?
True
Let d(r) = -r**2 - 7*r + 2. Let g be d(-7). Let o(f) = 0*f**3 + 5 - 7*f**g - 2*f**3 + 7*f + 3*f**3. Is o(6) prime?
True
Suppose -19*j = -16*j - p - 755, 1245 = 5*j + 5*p. Is j a composite number?
False
Let r = 5 - 1. Suppose -t - c = -6, -5*t + 0*c + r*c - 6 = 0. Suppose 60 = t*v + 2*v. Is v a composite number?
True
Let c(u) = -u**3 - 12*u**2 + 4*u - 25. Is c(-14) a composite number?
False
Suppose 4*v = -t + 4*t + 898, -t = 5*v - 1113. Is v a prime number?
True
Suppose -4*x = 3*r - 13, 8*r - 2*x = 4*r - 12. Let f be (2 + -2)/r - 0. Suppose s - 2 = -f. Is s a composite number?
False
Suppose -j = -2*u + u - 7, 4*j + 2*u - 16 = 0. Suppose -w + 0*w + 9 = 0. Suppose p = -2*d + 159, -3*p + 431 = -j*d + w. Is p a prime number?
True
Let w(l) be the first derivative of l**2/2 + 13*l - 5. Let o(f) = f**2 + f - 2. Let i be o(-2). Is w(i) a prime number?
True
Let b = -127 - -222. Is b composite?
True
Suppose 15916 = 4*r - 9672. Is r prime?
True
Suppose n - 2 = 2. Let k be (n - 0/3)*206. Let q = k - 561. Is q a prime number?
True
Let m(a) = a**3 - 3*a**2 + 3*a + 2*a**2 - 3*a**2 - 2. Let u be m(3). Let o(q) = -9*q - 3. Is o(u) prime?
False
Let y(s) be the third derivative of -s**6/120 + s**5/60 - s**3/6 + 4*s**2. Is y(-3) composite?
True
Suppose 2*a - 2*f - 14 = 0, -5*f + 2*f = -a + 13. Let k(b) = 38*b - 3. Is k(a) composite?
False
Let w = 22 + -16. Is w a prime number?
False
Let z = -58 + 143. Is z a prime number?
False
Suppose 0 = -w + 932 + 1167. Is w a composite number?
False
Suppose 0 = -d + 82 + 81. Is d a composite number?
False
Let f = 6 - 1. Suppose -60 = 4*c - f*c. Is 1/(1 - c/63) a prime number?
False
Suppose 2*b - 28 = 6*b. Let u(h) = -h**3 - 5*h**2 + 3*h - 10. Is u(b) prime?
True
Let u(h) be the first derivative of -19*h**5/60 - h**4/24 - 2*h**3/3 + 2. Let l(w) be the third derivative of u(w). Is l(-1) a prime number?
True
Let m(n) = 6*n + 4. Let c be m(2). Let y = 69 - c. Is y prime?
True
Let p be (1/(-2))/((-5)/280). Let m be (-3)/6*-4*p. Let q = m - 33. Is q a composite number?
False
Suppose -823 - 362 = -3*p. Is p a composite number?
True
Let v(g) = 9*g**2 + 5. Suppose 3*j - 2*j + 13 = -2*t, -2*t = -2*j - 2. Is v(t) prime?
True
Suppose 3*c + m = 5274, 3*c - 5292 = 4*m + m. Is c composite?
False
Suppose -7*m + 2*m = -y - 1496, 0 = -y - 1. Is m prime?
False
Let j(b) = 28*b**2 + 2*b - 1. Let w be j(1). Let d be (-2 + 0)/((-4)/2). Suppose 4*f - w = -d. Is f prime?
True
Suppose -3*i = 2*i - 485. Is i prime?
True
Let r(a) = -5*a + 1. Let h be r(2). Is (-10)/(-5) - (h - 0) a prime number?
True
Let s(g) = g**3 - g**2 - 4*g + 85. Is s(0) a prime number?
False
Let f(j) = 12*j**3 - j**2 + 2*j - 2. Let w be f(2). Let r be -6*(-2 - (-8)/6). Suppose 102 = r*l - w. Is l composite?
True
Let m(s) = 98*s**3 - s. Let x be m(1). Suppose -c + x + 432 = 3*f, -c = f - 537. Is c a prime number?
True
Suppose -2*y - 3*y + 635 = 0. Is y a composite number?
False
Let k(a) = -a**2 - 5*a - 5. Let q be k(-4). Let c = 21 + q. Let i = c - -17. Is i composite?
False
Suppose 0 = 2*x - 0*x - 2*q + 22, -2*x - 4*q + 2 = 0. Let g = 21 + x. Is g a prime number?
False
Let x(y) = -26*y - 1. Suppose -4*u + 3*t = -0*t + 25, -11 = 2*u - t. Is x(u) composite?
False
Let l(x) = -x**3 - 6*x**2 + 12*x + 4. Let a(j) = -10*j**3 + 1. Let q be a(1). Is l(q)