2 = 5*f - 122. Let h be 4/f - 6961/(-11). Suppose -2*z + h = z. Is z composite?
False
Let c(d) = d + 14. Let f be c(-11). Is 232/f - 2/6 a prime number?
False
Suppose -4*y = -6*r + 3*r + 60, 5*r = -2*y + 100. Suppose -3 + 15 = 3*x + o, o - r = -5*x. Suppose -z = -v - 32 - 5, -x*v - 74 = -2*z. Is z a prime number?
True
Suppose -399 = -4*z - 3*q + 51, 4*q = -5*z + 563. Is z prime?
False
Let b(h) be the third derivative of h**5/12 + h**4/6 + h**3/2 + 4*h**2. Let c be b(-5). Suppose t - 3*s - 19 = -7*s, -3*t + 5*s = -c. Is t prime?
True
Suppose 0 = 2*u + 4*d - d - 655, -d - 659 = -2*u. Is u composite?
True
Let i be 0 + 4 + (0 - -2). Let u(k) = 13*k + 1. Is u(i) composite?
False
Suppose 8*f + 6*f - 7798 = 0. Is f a prime number?
True
Suppose -3*q + 24 = -q. Let j(b) = -b**3 - 4*b**2 - 3*b + 1. Let x be j(-3). Let m = x + q. Is m a composite number?
False
Let f(k) = -k - 7. Let a be f(-4). Let o = 12 + a. Is o composite?
True
Suppose 3*r + 2*r = 1315. Suppose l + l - z = r, -405 = -3*l - 2*z. Is l prime?
False
Suppose -2*u + 18 = 2*s, -3*u - 16 - 20 = -4*s. Let t(c) = c**2 - 8*c + 1. Is t(s) a composite number?
True
Let q(y) = 83*y**2 - 2*y - 2. Is q(-1) prime?
True
Suppose -4*b - 2 - 2 = 2*j, 5*j - b - 12 = 0. Suppose -j*a + 31 + 163 = 0. Is a a composite number?
False
Let b(i) = -121*i**3 + 4*i - 1. Is b(-2) a prime number?
False
Let s = 956 + -453. Is s a prime number?
True
Let p = -2 - -4. Let i be 0/p*(-1)/(-2). Suppose i = 3*c + 5*z + 14 - 134, c + 2*z = 41. Is c a composite number?
True
Let b(s) = -s**2 + 3*s + 7. Let v be b(6). Let c = v + 15. Suppose 5*q - 5*h = 105, 2*q - 6*q - c*h = -92. Is q a prime number?
False
Let u be (12 + 4/(-2))*1. Let x = 12 + u. Is -1 - (2 + -2 - x) a prime number?
False
Suppose 0 = -4*x + 15 + 1. Suppose -f = x*h - 227, 3*h - 670 = -3*f + 2*h. Is f composite?
False
Suppose 5*u - 522 = 83. Is u a prime number?
False
Suppose 3*n - 20 = -n. Suppose -5*s + n*x + 425 = 0, -4*s = -3*x - 293 - 50. Let l = -33 + s. Is l prime?
False
Let u(j) = -46*j**2 + 6*j + 4. Let c be u(-6). Is (c/(-20))/(4/10) composite?
False
Let b be ((-30)/(-50))/((-2)/(-1310)). Suppose -b = -v - 100. Is v composite?
False
Let c(a) = -6*a**3 - 6*a**2. Let y be ((-25)/10)/((-1)/(-2)). Let g be c(y). Suppose h + w = -3*h + 815, 3*h - 3*w - g = 0. Is h a prime number?
False
Let r(n) = -n**2 - 6*n + 7. Let z be r(-5). Suppose -2*y + 4 - z = 0, -3*d + y + 13 = 0. Suppose -d - 43 = -h. Is h a composite number?
True
Suppose v + 665 = 3*c + 2*c, -3*c - 4*v + 376 = 0. Suppose 5*w + 41 = h, -4*h - 2*w + c = -6*w. Suppose -t + 6 + h = 0. Is t a prime number?
True
Let a(p) = 3*p - 7. Let f be a(-9). Suppose 2*t = 2*s + 2, 0 = s + 5*t - 33 + 4. Is f/s*(0 + -4) composite?
True
Let f be (2 - -1)/(1 + 0). Suppose -765 = -f*g + x - 0*x, 5*x + 1285 = 5*g. Is g a composite number?
True
Let k = -330 - -209. Suppose 2*m + 20 = -68. Let i = m - k. Is i prime?
False
Suppose 0 = -2*i + 78 + 40. Suppose -2*n = -6, -3*n - 139 - i = -3*p. Is p a composite number?
True
Suppose 2*a - 6 = 4*w, -3*a + 0*w + 2*w + 5 = 0. Let g(m) = 40*m - 2. Is g(a) a prime number?
False
Suppose -4*t = -3*t + 2*u, -u = -t. Let i(j) = j**3 + 5*j**2 + 6*j + 1. Let o be i(-3). Is (1 - t)/o*59 a composite number?
False
Let x(p) = -p. Let t(o) = -11*o + 1. Let y(v) = t(v) - 5*x(v). Let u = 99 - 103. Is y(u) a composite number?
True
Let r(a) = -21*a - 10. Is r(-4) a composite number?
True
Suppose 2 = 2*p, -4*p - 12890 = -5*j + p. Is j prime?
True
Let o = -7 - -11. Suppose -o*b = -4 - 4. Is b prime?
True
Let i(o) = 41*o + 1. Suppose 3*j + 2*j = 25. Let s be i(j). Let d = 351 - s. Is d a prime number?
False
Let x be (-4578)/(-30) + (-2)/(-5). Let p = x - 106. Is p a prime number?
True
Let n = -30 + 10. Let w = -12 - n. Let c = w + 15. Is c composite?
False
Let n be 2*(-3 - (1 - 3)). Let q(m) = 15*m**2 + m. Is q(n) a prime number?
False
Let x = 1540 - -1399. Is x a composite number?
False
Let k(d) = d**3 - 10*d**2 + 9*d + 2. Let a be k(9). Suppose a*t + 0*t - 5*z - 50 = 0, t - 25 = z. Is t a composite number?
True
Let i = -16 - -983. Is i a composite number?
False
Let k(l) = 84*l**2 + 2*l + 1. Is k(2) prime?
False
Let b(m) = -65*m - 8. Is b(-6) a composite number?
True
Suppose 6*z = z - 45. Let y(d) = -d**3 - 9*d**2 + d + 11. Let w be y(z). Suppose 108 + 206 = w*o. Is o a prime number?
True
Suppose -2*f + 2321 = -525. Is f a composite number?
False
Let k(v) = -v**2 + 5*v**3 + 4 - 2*v + 2*v**3 + 5*v**2. Is k(3) prime?
True
Let r(o) = -o**2 + 10*o - 11. Let t be r(8). Suppose 496 = t*h + 101. Is h composite?
False
Let k(h) be the third derivative of -19*h**6/120 + h**5/30 + h**4/12 + h**3/6 - 7*h**2. Is k(-2) composite?
False
Suppose 0 = -2*h + 4*u + 2002, 3*h + 4*u - 6*u = 2995. Is h composite?
False
Suppose -n = 3 - 11. Suppose 4*o = -4*i + 4 - n, -2*i - 4*o = 4. Suppose -3*k + 388 + 11 = i. Is k a prime number?
False
Let f be 6/(-21) - 2118/(-14). Suppose -3*a - 2*i + f = 0, -4*a - i + 336 = 128. Is a a prime number?
True
Let n = -415 + 978. Is n a composite number?
False
Let j(f) = -f + 3. Let b be j(5). Suppose i = -0*i + 5. Let x = i + b. Is x composite?
False
Suppose p = -2*p + 141. Let q = 212 + p. Is q a prime number?
False
Suppose 3*a - 156 = -0*a. Is a + 1/(-2 + 3) composite?
False
Suppose -5*l + 20 = -k, 5*k - 4 = -l - 0*l. Suppose 12 = 4*y - l*u, 2*y = 3*y - 5*u - 15. Suppose 0 = -y*q - q + 6. Is q a prime number?
False
Let c = -94 - -164. Let o be 3*(2 + (-41)/3). Let q = o + c. Is q a composite number?
True
Let s be ((-8)/(-2))/(3 - 1). Suppose -1 - 9 = -s*m. Let u = 12 - m. Is u a composite number?
False
Let m = 136 - -90. Is m a prime number?
False
Suppose 2*j = -j + 12. Suppose -2*m + j*z + 11 = m, -2*m + 6 = -2*z. Let b = m - -6. Is b composite?
False
Suppose -2*a + 3*z + 407 = 0, 5*z + 799 = 4*a + 4*z. Is a composite?
False
Suppose 0 = -11*b + 7*b + 32. Suppose 152 = b*f - 4*f. Is f prime?
False
Let b = -15 + 10. Is ((-6)/b)/((-2)/(-15)) prime?
False
Let t(k) be the third derivative of 19*k**4/8 - 5*k**3/3 + 9*k**2. Is t(3) composite?
True
Let s = 444 + -289. Is s a composite number?
True
Let j be 1*0*(1 + 0). Suppose -o - 2*i - 100 = -3*o, j = 2*i - 6. Is o composite?
False
Let n(r) = 30*r**2 + r - 10. Is n(5) composite?
True
Let d = 211 + -26. Is d a prime number?
False
Let w = 701 + 16. Is w a composite number?
True
Let z be 0/2 - (-1 - 2). Let y(m) = -2*m**z + 2*m**3 - 2 - 9*m - 5*m**2 + m**3. Is y(7) composite?
True
Suppose 8 = -2*c, -4*y - 2 = 4*c + 6. Let d = y - 2. Suppose 3*m = d, -3*k + 4*m - 175 = -8*k. Is k a prime number?
False
Suppose 0 = u + 2*q - 1, 0 = 3*u + q - 0 - 13. Suppose -2*h - 20 = -u*d, 3*d - 4*d + 27 = -5*h. Suppose 3*m + d*m - 45 = 0. Is m composite?
True
Let x(v) = v**3 - 6*v**2 + v + 7. Let m be x(5). Let w = 32 + m. Is w composite?
False
Suppose 2*f = 35 + 27. Is f composite?
False
Suppose p + 2*c - 11 = 0, 3*p + 5*c = 4*c + 23. Let o(b) = -b**2 + 7*b + 6. Is o(p) a composite number?
True
Let f = -1785 + 155. Suppose 5*h = -2*s + 73, -4*s - 61 - 18 = -5*h. Is (f/h)/(2/(-3)) a composite number?
False
Let w(n) = 6*n**2 - 3*n - 1. Let d be w(-5). Suppose 45 + d = t. Is t a composite number?
True
Let b = -330 - -827. Suppose -4*w + y + b = 0, 20 = -4*y - 0. Is w composite?
True
Let s = 296 - 432. Let h be (-2)/(-7) + s/(-14). Suppose -b + h = b, 4*b = -q + 133. Is q composite?
False
Let p(s) = -3*s**2 + 4*s - 11. Let i be p(5). Let b = -33 - i. Is b a composite number?
True
Let z = -4 - -6. Suppose p - 915 = -z*p + 4*l, -2*l = -p + 303. Is p a prime number?
False
Let z(f) be the third derivative of 0*f - 1/6*f**3 + 19/10*f**5 + 0 + 0*f**4 - f**2. Is z(1) a prime number?
True
Let d = 5 + -5. Suppose 3*l = l - 4*w + 2, d = -3*l - 5*w + 3. Is -2 + 0 + 15 + l composite?
True
Let a be (0/1)/(1 + 0). Suppose 70 = 2*h - 8. Suppose a = -g - 4, -2*g + h = -p + 2*p. Is p a prime number?
True
Let k be (3/2)/((-6)/(-8)). Suppose -3*y = -2*f + 13, k*f + f + 3*y - 57 = 0. Is f composite?
True
Let j(w) be the first derivative of -2*w**2 - 7*w + 2. Is j(-7) a composite number?
True
Let n = 1 - 1. Suppose 4*h - 56 = -n*h. Is h a prime number?
False
Let t(c) = 13*c + 446 - 446. Let q = 2 - 0. Is t(q) composite?
True
Let a be (-10)/(-25) + (-2)/5. Let l be (a + -10)*(-57