= 5*j - 5*y - 0*y. Let d(p) = 6*p**3 - p. Is d(j) a composite number?
True
Let v(d) = -d**3 - 3*d**2 + 8*d - 5. Suppose 3*i + 0*b + 4*b - 12 = 0, 0 = -3*i + 5*b - 15. Suppose 2*j = -i*j - 12. Is v(j) composite?
True
Suppose 0*u + u - 2 = 0. Let v be ((-7)/(-4))/(u/(-8)). Let k = 4 - v. Is k a prime number?
True
Let t be 0 + -1 + 1 + 57. Is (-2 - t)/(-1 + 0) a prime number?
True
Suppose 0 = 33*o - 30*o - 777. Is o prime?
False
Let m = 2436 - -271. Is m a composite number?
False
Let z(o) = 2*o**3 - 15*o**2 - o - 9. Is z(10) a composite number?
True
Let b(m) be the third derivative of -m**4/24 + 5*m**3/6 - 3*m**2. Let g be b(-9). Is ((-34)/1)/(g/(-21)) composite?
True
Suppose 0 = 24*b - 21*b - 1221. Is b prime?
False
Suppose -4*c = 4*o - 640, c + 4*o - 95 - 62 = 0. Is c a prime number?
False
Let r(x) = -7 + 4*x**3 + 4*x**2 + 0*x + 7*x - 5*x**3. Let a be r(5). Is (-3 + 0)/a + 14 composite?
False
Suppose h + 14 = 65. Is h composite?
True
Let k(c) = -12*c**3 - 2*c**2 - 3*c - 3. Suppose -4*z + 10 = 4*x - 2, x - 13 = -3*z. Is k(x) prime?
False
Let p(l) = l**2 + 6*l - 10. Let c be p(-7). Let a be c + 1/((-3)/(-132)). Suppose 34 = 5*j - a. Is j a composite number?
True
Let s be (-2)/(-3) - (-4609)/(-33). Let a = s + 197. Is a composite?
True
Let f(h) be the second derivative of h**4/4 + h**3 - 7*h**2/2 + 4*h. Let k be f(5). Suppose -3*g + k + 475 = 0. Is g composite?
False
Let s = 53 - 40. Is s prime?
True
Let m(y) = -7*y + 3. Let t be m(4). Let k = t - -228. Is k a prime number?
False
Let m(t) = -11*t - 1. Suppose -2*y = 2 - 0. Is m(y) a composite number?
True
Let h be -20 - (4 + -2)/2. Let m = h - -34. Is m composite?
False
Let p(b) = 850*b + 3. Is p(1) composite?
False
Let v(y) = -14*y + 5. Let d be v(6). Let i = 168 + d. Is i a composite number?
False
Let h be (-23)/(2*3/(-36)). Let i = h + -81. Suppose 3*w - i = 36. Is w a prime number?
True
Let b(c) = -c - 5. Let p(m) = -4. Let y(l) = 5*b(l) - 6*p(l). Let g be y(-1). Suppose -g*o = o - 175. Is o a prime number?
False
Suppose 4*n - 6632 = r, -5*n - 1665 = -6*n + 2*r. Is n composite?
False
Let g(v) = -9*v**2 - 3*v + 8. Let o(p) = 17*p**2 + 6*p - 15. Let h(y) = 11*g(y) + 6*o(y). Is h(-4) a composite number?
True
Suppose -4*u = 5*i - 18, 2*i - 5*u = -3*u. Suppose -i*z + 1 = -5. Suppose k = -q + 39, -z*q + 3 = -3. Is k a prime number?
True
Suppose 5*t = t + z + 3, 0 = 3*t - z - 3. Let f = t + 0. Is (2 - 0) + (f - -81) prime?
True
Let i(t) = -164*t - 1. Is i(-7) a prime number?
False
Let m(d) = 22*d**2 + 4*d - 1. Is m(-6) a composite number?
True
Let y(d) = d**3 - 14*d**2 + 13*d + 4. Let x be y(13). Suppose 0 = x*z + z. Suppose -5*u + 208 - 38 = z. Is u a prime number?
False
Let b = 171 + -78. Is b prime?
False
Let d = 405 - 260. Is d a prime number?
False
Suppose 2*b + 28 - 2150 = 0. Is b prime?
True
Let w be (-5 - -1)/(-5 + 3). Suppose 0 = -z - 5*y + 110 - 13, 388 = 4*z + w*y. Is z a prime number?
True
Suppose 5*u - 350 = 2145. Is u a composite number?
False
Suppose 0*n - 2*n = -2*r + 102, -4*r + 3*n = -207. Suppose r = -0*o + o - 3*y, o = y + 52. Is o composite?
True
Suppose 0*m - a = 3*m - 2952, -m + 976 = 3*a. Is m composite?
True
Let a = -655 - -2306. Let v = a + -966. Is v composite?
True
Suppose -2*x - 10542 = -8*x. Is x a composite number?
True
Let f = -3376 + 5223. Is f prime?
True
Let r(x) = 25*x**2 - 6*x + 5. Is r(-6) composite?
False
Let v(m) = m**3 - 6*m**2 - 14*m + 10. Suppose -a + 12 = 3*y - 2*y, -4*a + 57 = 5*y. Is v(y) a composite number?
False
Let x(u) = 8*u**2 - u + 1. Let w be x(1). Let o(b) = -b**3 + 7*b**2 + 7*b - 8. Let s be o(w). Let c = 51 + s. Is c composite?
True
Let c be -1*(12 - -3)/(-3). Suppose 4*j = 2*i - 30, c*j - 2*j = -2*i + 44. Is i a composite number?
False
Let a(b) = 5*b**3 - b**2 - b + 1. Let y be a(1). Is (y/6)/((-14)/(-2919)) prime?
True
Let n be 21/(-2)*20/(-15). Suppose 0 = -5*j + 10, 2*a + 2*j - n - 100 = 0. Is a prime?
False
Suppose -u = 1 + 5. Let p = 53 + u. Is p prime?
True
Let o = 43 + -31. Suppose h - o = -3*h. Suppose -4*q = -h*q - 47. Is q a composite number?
False
Let b = -112 + 38. Is b/(6 + -3 + -5) a composite number?
False
Let k(q) = q - 2. Let u be k(0). Is 4*(101/4 + u) prime?
False
Let t = 208 - -50. Suppose -3*q - h + 383 = 0, 0 = 2*q + 2*h - 0*h - t. Is q a composite number?
False
Suppose -356*w = -358*w + 4106. Is w prime?
True
Suppose -5*t + 655 = -0*t + 5*p, 5*t - 2*p = 634. Suppose -4*f + 93 + t = 3*k, 2*k + f - 144 = 0. Is k a prime number?
True
Let o be 8/(-1) + (-2)/(-1). Is (-2)/o - 100/(-15) prime?
True
Let u be 59 + (-1 - -1) + 1. Let n = u + -29. Suppose -n = -3*z - 2*d - 6, 2*z - 6 = -4*d. Is z a prime number?
True
Let a(h) = -h**3 + 6*h**2 - 5*h. Let n be a(4). Suppose -y + 4*p = -n - 83, 0 = 5*y + 5*p - 600. Is y a prime number?
False
Let g = 562 - 332. Suppose -g = -2*s - 0*s. Is s a prime number?
False
Let t = 164 + -111. Is t a prime number?
True
Let g be 5/2 + 2/(-4). Let z(i) = -i**3 + i**2. Let u be z(1). Suppose 7*s - g*s - 110 = u. Is s prime?
False
Let f be 586/7 + (-4)/(-14). Suppose -3*k + 2*i + 15 = -i, 24 = 2*k + 5*i. Let j = k + f. Is j composite?
True
Suppose -2*f + 653 = -217. Suppose -4*r + r = -f. Is r composite?
True
Let c be (-1)/(-2) - 8/16. Is 137*((2 - -5) + c) composite?
True
Let v = 42 + -9. Suppose 2*d + v - 171 = 0. Is d composite?
True
Let w(j) = -j**2 + 7*j - 4. Let s be w(3). Suppose z + 0 - s = 0. Suppose z*q - 3*q - 17 = -2*h, 13 = 5*q - 2*h. Is q a composite number?
False
Suppose -7 = 4*c - 3*i + 12, -c + 3*i - 7 = 0. Let w = -1440 + 834. Is w/(-14) + c/14 prime?
True
Let q be (-3)/((-1068)/536 + 2). Is (0 - -2)/((-12)/q) composite?
False
Let i(g) = -g**3 + 8 - 2*g**2 + 4*g**2 + 10*g - 8*g**2. Let z be i(-7). Let k = z - -24. Is k a prime number?
True
Let b = -199 - -646. Is b prime?
False
Let z(n) = n + 1. Let d be z(-6). Let j = -5 - d. Suppose -r + 133 + 78 = j. Is r prime?
True
Suppose 0 = a + 2*a. Let g(v) = -223 + 238 - 3*v + 2*v. Is g(a) prime?
False
Let s(k) = k**3 - 6*k**2 - 22*k + 17. Is s(14) a prime number?
True
Suppose 2*u + 10 = 34. Let r = u - 7. Let c = 144 + r. Is c prime?
True
Suppose 5*k + 0*k + 2*c - 6287 = 0, -k = 5*c - 1239. Is k composite?
False
Let r(q) = 17*q + 32. Is r(6) prime?
False
Let s = 3 - 3. Let m be (s - 0 - 13)*1. Let v = 51 + m. Is v composite?
True
Let y = -2 + 4. Let m be (228/14)/(y/14). Suppose -5 = 2*c + 3, m = 2*f + 4*c. Is f prime?
False
Suppose -3*f = -r - 0*r - 17, -2*f + 8 = r. Suppose -5*p + i - 10 = 6*i, -4*p = -f*i - 28. Suppose 7*u - 425 = p*u. Is u composite?
True
Let y(d) = -d**2 - 5*d + 9. Let r be y(-6). Suppose -r*s + 395 = 2*s. Is s a composite number?
False
Let g(v) be the third derivative of -41*v**4/24 + 2*v**3/3 + 9*v**2 + 1. Suppose 0 = -4*l + b - 16, 2*l - 5*l = 2*b + 1. Is g(l) a composite number?
False
Suppose g = 4*p - p - 1, -3*p = 5*g + 23. Suppose -4*z - 40 = 4*k, 4*z + 47 = -0*k + 3*k. Let h = p - z. Is h prime?
False
Let h(t) be the second derivative of t**5/10 - t**4/2 + t**3/2 + 3*t**2/2 - 3*t. Let q = 8 - 4. Is h(q) composite?
False
Let i(q) = -q + 1. Let y be i(-4). Suppose x - 3*p + y*p - 51 = 0, -2*p = 5*x - 263. Is x composite?
False
Let u(z) = -z**2 + z + 15. Let w be u(0). Suppose -3*n = 1 - 4, x - 5*n - 59 = 0. Let f = x + w. Is f a prime number?
True
Let r(t) = 107*t**2 + 4. Is r(3) a prime number?
True
Let r(p) = p + 163. Is r(0) a prime number?
True
Suppose -n + 10936 = 2*n + h, -4*h = 3*n - 10921. Is n composite?
True
Let f(l) = -45*l - 1. Let g(p) = 91*p + 3. Let y(s) = 13*f(s) + 6*g(s). Is y(-4) a prime number?
False
Let w = -19 - -56. Is w a prime number?
True
Let b = -33 - -56. Is b composite?
False
Let q be (-2)/(-10) + 24/5. Suppose -k = -0*k + q*j - 85, 0 = 4*k - j - 256. Is k a prime number?
False
Suppose -3*g - g = -8. Suppose 77 = -d + o, -g*o = 6 - 16. Let a = -49 - d. Is a a composite number?
False
Let s(n) = n**2 - 12*n + 17. Is s(-14) a prime number?
False
Suppose 2*t = -3*t + 30. Let w be 40/t - 2/(-6). Let j = 14 - w. Is j prime?
True
Let k be ((-30)/(-8) + -3)*4. Let g(j) = 23*j**3 + 3*j**2 - 3*j - 4. Is g(k) a prime number?
False
Let u(b) = 12*b**3 - 4*b**2 - 1. Is u(5) prime?
True
Let h = -2 + 4. Suppose -2*c = h*c - 76. Is c a composite number?
False
Suppose 95 + 446 = b. Is b a composit