5*k**2 - 9. Let n(d) = 2*m(d) - 9*v(d). Is n(1) prime?
True
Suppose -4*p + r + 6 = 0, 3*p + 4 = p + 4*r. Let a(n) = p + n - 2*n + 8. Is a(0) a prime number?
False
Let p(r) = 3*r**2 - 9*r + 49. Is p(-17) a composite number?
False
Let w be (-4 - -3 - -5) + 32. Suppose 0 = 5*d - 14 - w. Is d a composite number?
True
Let b = 5 + 0. Suppose 3*u + p - 7 = 0, 0 = 3*u - 0*u - p - b. Is 4/u + 130 - 1 composite?
False
Let o(r) = 20*r - 8. Let a(n) = -38*n + 7. Let d(w) = w + 1. Let t(q) = -5*a(q) - 30*d(q). Let v(p) = 25*o(p) - 3*t(p). Is v(6) prime?
False
Let l be (-2 - -3)/(-1)*-9. Let u = 13 - l. Is u prime?
False
Suppose y - 2*y - 2 = 0. Is ((-236)/16)/(y/8) prime?
True
Suppose -2011 = -8*u + 10077. Is u a prime number?
True
Suppose 4*l - 727 = -131. Suppose d + 0*d = l. Is d prime?
True
Suppose 0 = 2*f - 5*q - 10, -q - 1 = -4*f + 1. Suppose f = 2*g - 424 + 138. Is g composite?
True
Let b be (-92)/28 + (-2)/(-7). Let s(m) = 5*m**2 + 2*m - 4. Is s(b) prime?
False
Suppose 3*h + 3*c = -c + 1207, 0 = -3*h - 3*c + 1203. Is h prime?
True
Suppose -2*j = -4*b - 32, 0*b = 4*b + 20. Is ((-69)/j)/((-2)/4) composite?
False
Let z(c) = 13 + c - 1 + 3*c + c. Is z(11) a composite number?
False
Suppose -s + 115 = -j, 4*s = -2*j - 2*j + 492. Is s a prime number?
False
Suppose 0 = -6*d + 3*d + 537. Is d prime?
True
Let m(y) = y**2 - 8*y + 2. Let p be m(8). Suppose -p*v - 5*l = -519, 0*v + 1289 = 5*v + 4*l. Is v prime?
True
Let v(m) = 8*m**2 + 3*m - 1. Let l be v(-5). Is 3/(2*4/l) prime?
False
Let f(p) = -p - 1. Let g be f(5). Let s(b) be the second derivative of b**4/12 + b**3 + 2*b**2 + b. Is s(g) prime?
False
Is 1 - (360/(-4))/2 a composite number?
True
Let x = -9 + 14. Suppose 4*q + c - 8 = 5*c, -2*q - x*c + 25 = 0. Suppose 5*t + d + 2*d - 194 = 0, 0 = -q*t - 4*d + 197. Is t prime?
True
Is 882 + (0/(-4) - 4) a prime number?
False
Suppose 5*d + 721 = 6*d. Is d composite?
True
Is (-10)/(-4)*(-34936)/(-110) a composite number?
True
Let c(b) = 4*b + 3. Let m be c(5). Suppose -5*j - m = -u, 0*j = -3*u + j + 13. Is u - 1 - (-17 + 0) prime?
True
Let v = 4 - 2. Let h(k) = 1 - v - 12*k - k**2 + 0*k**2. Is h(-6) prime?
False
Let t(r) = -2*r**3 - 8*r**2 - 3. Let i(d) = d - 7. Let p be i(0). Let q be t(p). Suppose -5*v + q = -2*v. Is v a composite number?
False
Suppose 10 + 0 = 5*l. Is ((-39)/6)/(l/(-4)) a prime number?
True
Let k = 13 - -2. Let t be ((-18)/k)/((-2)/5). Suppose i = t*j + 165, 2*i - 189 = i - 3*j. Is i prime?
False
Is (2/6)/((-2)/(-318)) a prime number?
True
Let k(c) = 54*c + 1. Let b be k(5). Suppose -2*p - 8 = 0, 0 = -t - 2*p - 2*p + b. Is t composite?
True
Let v = 125 + -58. Is v prime?
True
Let h(a) be the second derivative of 13*a**4/12 - 2*a**3/3 - 3*a**2 - 2*a. Let r be h(-4). Let w = -139 + r. Is w composite?
False
Suppose 1197 = -5*l - 3773. Is (-2)/9 + l/(-18) prime?
False
Suppose -2*r - 347 = -2*d + 77, -4*d - 4*r = -824. Is d composite?
True
Is 2633/6 - (-1)/6 composite?
False
Let n = -2 - 5. Let v = n - -11. Suppose -v*x + 176 = -284. Is x a prime number?
False
Suppose -6*y + 3*y + 15 = 0. Suppose -48 + 448 = y*k. Suppose 0 = -x + k + 5. Is x a composite number?
True
Let q(w) = -2*w + 1. Let r be q(5). Is (-6)/r + (-157)/(-3) a composite number?
False
Let f = 14 - 10. Suppose -887 - 85 = -f*d. Suppose -d = -3*g - 12. Is g a prime number?
False
Is (446 + 0)*1/2 a composite number?
False
Is 195 + (-1 - 6 - -3) prime?
True
Let p(r) = 6*r - 7 - 4 - 23*r. Is p(-9) a prime number?
False
Let i be (-28)/(-16) - 2/(-8). Suppose -i*q + 0 = -4. Is 1*-67*(q + -3) composite?
False
Suppose 0 = -3*b - 3, -k + 2*k - 5*b + 90 = 0. Let a = -62 - k. Is a prime?
False
Suppose 4080 = 3*y - d, -d + 225 = y - 1139. Is y prime?
True
Suppose -5*c + 2370 = 425. Is c prime?
True
Let r = -92 - -157. Suppose 5*h - 2*p - 89 = 168, -3*p = h - r. Is h prime?
True
Let a be (0 - -3)/((-15)/(-10)). Suppose a*f + 828 = -2*f. Let m = -130 - f. Is m a prime number?
False
Let c(o) = -30*o - 19. Is c(-7) composite?
False
Let l(c) = -3*c**3 - 4*c**2 + c - 5. Let o = 5 + -9. Is l(o) composite?
True
Let x(g) = -3 + g + 0 + 2. Let k be x(3). Suppose 3 - 77 = -k*d. Is d a composite number?
False
Let a = -1724 - -4513. Is a prime?
True
Let q = 18 - -45. Let m = q + -42. Let g = -12 + m. Is g a prime number?
False
Let u(b) = -b**2 - 3*b + 4. Let g be u(-3). Suppose y + 101 = -4*a + 464, g*y - 1520 = a. Is y a prime number?
True
Suppose o + 13 = -t, -2*o - 19 - 12 = 3*t. Let h = o + 11. Suppose 0 = s - h*s + 614. Is s composite?
False
Suppose 2*v = 1 - 19. Is (2/(-2) - v) + 3 composite?
False
Let b = 124 + -5. Is b prime?
False
Let a = 693 - 440. Is a composite?
True
Suppose -x = -5*x + 412. Is x composite?
False
Suppose -2*y + 52 = -6*y. Let i = 23 + y. Is i prime?
False
Let i = 4 - 0. Suppose -i*x = -2*x - 118. Is x prime?
True
Suppose -5*q + 483 = 2*g, g - q - 1275 = -4*g. Is g prime?
False
Let a be 0 + 2 - (1 + 5). Let z(p) = 4*p**2 - 7*p - 5. Is z(a) composite?
True
Let d = -24 - -419. Is d a prime number?
False
Let x = -9284 - -13555. Is x prime?
True
Let b(l) = 2*l**3 + 9*l**2 + 15*l - 13. Is b(10) a composite number?
False
Let r(p) = p + 4. Let z be r(-8). Is ((-92)/(-16))/((-1)/z) a prime number?
True
Let f be (-2)/9 - (-80)/36. Is (1/f)/((-7)/(-770)) prime?
False
Let f(o) = o**3 + 6*o**2 + o + 8. Let g be f(-6). Suppose 4*c = g*c + 44. Is c a prime number?
False
Is ((-184)/(-12))/((-4)/(-114)) a composite number?
True
Suppose -5*l + 18 = 3. Suppose 3*x = l - 6. Is (x + 11)*87/6 a prime number?
False
Let u = 11 + -16. Let v(x) = 2 + 0 - 4*x - 3. Is v(u) prime?
True
Let s be (40/(-25))/((-4)/10). Let t be (-1 + -1)*(-18)/s. Suppose -2*h = -h - t. Is h composite?
True
Let l(c) be the third derivative of -c**4/3 + c**3/6 - 9*c**2. Let u = -1 - 2. Is l(u) a composite number?
True
Let w(l) = l**2 + 8*l - 6. Let x be w(-8). Let h(f) = f**3 + 7*f**2 + 7*f + 9. Let j be h(x). Is -1*(-2*j)/2 a composite number?
False
Let f = -265 - -378. Is f a prime number?
True
Let b(g) = -26*g. Let n be b(-4). Suppose 0 = -3*d - w - 3*w + 157, 2*d + 3*w - n = 0. Is d a prime number?
False
Suppose -5*f = -0*f - 2*t - 39, 0 = -2*f + t + 15. Suppose g + 4 = 2*s, f*g - 4*g - 1 = 3*s. Suppose -h - 104 = -s*d - 0*h, 2*d - 68 = 2*h. Is d prime?
False
Suppose -119 = 4*c - 5*c. Is c a prime number?
False
Suppose -500 = -2*s - 2*l, s + 5*l - l = 247. Is s a prime number?
True
Suppose 2*a + t + 69 = 807, -2*a - 5*t = -722. Is a a composite number?
True
Let d = -200 + 118. Let w = 317 + d. Is w a composite number?
True
Suppose -h + 843 = 4*y, 98 - 304 = -y - 5*h. Is y a prime number?
True
Let r = -9 + 7. Let z be 0*1/r*-1. Suppose -5*k - 41 + 146 = z. Is k a prime number?
False
Let q(i) be the third derivative of i**6/120 + 3*i**5/20 - i**4/24 - i**3/3 + 2*i**2. Let b = 11 + -20. Is q(b) a composite number?
False
Let w(n) = n**3 + 8*n**2 - 10*n - 7. Suppose -h - 5*j = 3*h + 26, 4*h - 2*j = -40. Let r be w(h). Is 6336/30 + r/(-10) prime?
True
Suppose -6*b + 2*b = -324. Let z = 313 - b. Suppose -z + 87 = -s + 2*y, 5*s - 3*y = 739. Is s a composite number?
False
Let g be 0 + -1 + -2 + 389. Suppose 0 = -5*v - 3*r - 480, g = -4*v - 2*r - 0*r. Let i = v + 154. Is i a prime number?
False
Suppose -3*d = -5*d - 3*v + 289, 3*d + v = 444. Is d prime?
True
Let p = 16 - -6. Suppose 4*c + m = 40, -4*m = 2*c - 3*m - p. Is c a composite number?
True
Suppose 2*s - t = -2, -4*t + 3*t - 10 = 2*s. Let d(n) = 22*n**2 - 2*n + 5. Is d(s) prime?
False
Suppose 4*s = 3*a - 2912, 5*a - 297 = 4*s + 2615. Let m = s + 2163. Suppose 0 = -2*t - 3*t + m. Is t a composite number?
True
Let t(a) be the second derivative of a**5/20 + 5*a**2 - 3*a. Is t(0) a composite number?
True
Let a(o) = -8*o**3 - 2*o**2 + o. Suppose 2 = -2*q + 2*l, 4*l - 8*l = 5*q - 13. Let w be a(q). Is (-6)/w*(-2 - -23) prime?
False
Let v(n) = 4*n**2 + 2*n - 4. Let u(l) = -4*l**2 - l + 3. Let x(r) = 5*u(r) + 6*v(r). Let o be 1*(-9 + (2 - 1)). Is x(o) composite?
False
Let n(f) = f + 8. Let r be n(-5). Let w be (-2)/r - (-1)/(-3). Is (w*(2 - -5))/(-1) a composite number?
False
Let x = 0 - 0. Suppose 4*o - 29 - 435 = x. Let b = o + -63. Is b composite?
False
Let s(v) = -v**3 - 17*v**2 - 21*v - 11. Let y be -15 - 4 - (-9)/3. Is s(y) a composite number?
True
Suppose 0 = -2*x - 2*x. Su