 prime?
True
Let l(p) = 15*p**3 + p**2 + 3*p - 3. Suppose -6*b = -0*b - 12. Is l(b) a composite number?
False
Suppose 5*t - 8*t = -39. Let a(s) = s**2 - 12*s - 9. Let m be a(t). Is -13*(-68)/m - -2 prime?
True
Let m(n) = -2681*n + 144. Is m(-5) a composite number?
True
Suppose 12*f - 12631 = -5*f. Is f a composite number?
False
Let z = -16 + 22. Let d be (2 + 0)/(z/3). Is (0 - d)*(-58 + 5) prime?
True
Let h(s) = 1078*s + 309. Is h(34) a prime number?
False
Let q = 37 + -34. Let k(f) = -3*f + 6*f + 70*f**2 - f - 5. Is k(q) prime?
True
Let u(b) = 5*b - 10. Let r be u(6). Suppose -5*g - r = 0, 3*h + 397 = 6*h - g. Suppose -z + 642 = h. Is z a prime number?
False
Let c(g) = 11*g**2 + 3*g - 12. Let k be c(2). Is -40 + k + (1 - -338) composite?
False
Suppose 3*q - 9*q = -900. Is (252/10)/(6/q) + -1 prime?
False
Suppose -12218 = -5*m + 4902. Suppose 3*a - m = -73. Is a a composite number?
False
Suppose -5*i = 2*t - 231, 2*t - 5*i - 537 = -2*t. Suppose 2087 + t = 5*j. Is j a composite number?
False
Is 8565 - (-2 + 9) - -5 a composite number?
False
Suppose 5*n + 71 = -t, -2*t + 2*n - 160 = 6*n. Let u = t + 505. Is u a composite number?
False
Let c(i) = -i**3 + 7*i**2 + 18*i. Let z be c(9). Suppose -v + 8706 - 1909 = z. Is v composite?
True
Let t(m) = 644*m + 8. Let b(c) = -c - 1. Let r(h) = -10*b(h) - t(h). Let v be r(4). Is v/(-8) - 1/(-4) composite?
False
Let t = 2 - 2. Let z(b) = 11*b + 10. Let y be z(-4). Is y*(-3 + t + 2) composite?
True
Let b(c) = -6 - 12*c**2 + 20*c - 11 + 2*c**2 + c**3 + 5*c. Is b(12) prime?
True
Let j be -2 + (-3)/(-3) - -1. Let p = -92 - -98. Suppose -834 = -p*o - j*o. Is o a composite number?
False
Is (-26550)/(-7) + (-11)/(-77) composite?
False
Let w = 16177 - 7364. Is w a prime number?
False
Let n(f) = -4*f - 1. Let c be n(1). Let z(w) = -5*w**3 - 4*w**2 - 5*w + 3. Is z(c) a composite number?
True
Let m(n) = -n**2 + 34*n - 10. Let u(r) = -35*r + 11. Let t(a) = -3*m(a) - 2*u(a). Is t(15) prime?
False
Let d(v) = 2*v**3 - 5*v**2 + 13*v - 10. Let m be d(8). Let t = m - 479. Is t composite?
True
Let h = -30 - -20. Let o be (1 + -59)*5/h. Is o/3 + (-2)/(-6) prime?
False
Let q = 71 - 40. Let m(f) = f**3 - 28*f**2 - 38*f - 63. Is m(q) a composite number?
True
Let u(o) = 2069*o + 69. Is u(8) prime?
False
Let r be (-206098)/14 - 26/(-91). Is r/105*(-5 + 0) composite?
False
Let v be (-3)/(-2)*(-5 + 7). Suppose -v*l + 5 = -1. Suppose -l*m = -5*t + 408, 2*t + 0*t - 161 = 3*m. Is t composite?
True
Let r(h) be the first derivative of -h**4/4 + 6*h**3 - 4*h**2 + 17*h - 25. Is r(9) a composite number?
True
Suppose -4*t = -2*d - 30, -t = -6*t - d + 20. Suppose o - 2345 = -t*n + 3*o, -469 = -n + 3*o. Is n a prime number?
False
Suppose j + 12 = 3*k, -2*k - 2*j - 20 = -7*k. Suppose 0 = -h + k*q + 8, -3*h - 3*q - 4 = 2. Is (-1 + 0)*(h - 331) composite?
False
Let u(t) = 8607*t**2 - 5*t - 7. Is u(-1) composite?
True
Let d be (9/(-12))/(6/48). Is 70/2*(-5 - d) a prime number?
False
Suppose 2*r = 5*r - 162. Suppose 0 = -5*h + 231 + r. Is h composite?
True
Let z be 16/9 - (-8)/36. Suppose -a - 5*r + 33 = -4*a, -z*r = 6. Let f = -7 - a. Is f a prime number?
False
Suppose 2*s + 2*s + 2*w = 1286, -2*s = -w - 637. Suppose -2*g + 3*o + s = 0, 0*o - 787 = -5*g + o. Is g a prime number?
True
Let t(r) be the third derivative of -7*r**6/24 - r**5/60 - r**4/24 + 8*r**2. Is t(-2) prime?
False
Let y(b) be the first derivative of b**4/4 + b**3/3 + b**2/2 + 1. Let c(k) = -4*k**3 + 12*k**2 - 6*k + 12. Let p(q) = -c(q) - 3*y(q). Is p(15) prime?
False
Suppose 5*z - 25 = 0, 0*o + 850 = 4*o - 2*z. Let p = 426 - o. Is p composite?
False
Suppose -5*q = -3*b + 7*b - 3, -3*q = -9. Is ((-17)/4)/(b/408*2) a composite number?
True
Let n(g) = 2*g**2 - 25. Is n(16) a composite number?
False
Let l be 710 - 2 - 36/9. Suppose 3*v = 5*v - 4*f - 476, -3*v + l = 4*f. Is v*(4/1)/8 a composite number?
True
Let b(a) = 22*a**2 + 21*a + 7. Is b(-8) composite?
True
Let o(g) = -5*g. Let l be o(1). Let h be (-1 + l)/(3 - 2). Is h/27 + 8598/54 prime?
False
Let t be 3*(0 - 1) - -11. Let i(q) = -q**2 + 8*q + 1. Let g be i(t). Let h(o) = 146*o - 1. Is h(g) a composite number?
True
Suppose 0 = 8*z - 3*z + 240. Let u be ((-8)/24)/(2/z). Is u/12*2082/4 a prime number?
True
Suppose -3*r + 39133 + 11480 = -4*z, -5*r + z + 84355 = 0. Is r a composite number?
False
Let o(r) = -3*r**2 - 2 + 6*r**3 + 4*r**2 + r**2 - 27*r**3. Is o(-3) composite?
True
Let u = 7 - 11. Let h be 10/(-4)*(-8)/u. Is h*92/(4*-1) a composite number?
True
Let f(p) = -117*p - 3. Let v be f(-1). Suppose 3*b = b - v. Let l = 110 + b. Is l a composite number?
False
Let o = 226 - 201. Is o composite?
True
Let h = 2774 - -1427. Is h composite?
False
Let d(s) = -48*s - 17. Let y(v) = v + 10. Let f be y(-6). Let i be -5*(f - 0)/4. Is d(i) a composite number?
False
Let g(w) = 7*w**3 + 2*w - 1. Let r be g(1). Suppose 8447 - 2583 = r*q. Is q a composite number?
False
Let w be (24/9 - 3)*-10173. Let k = w - 1608. Is k composite?
False
Suppose 5*p = -4*b + 2*p + 7520, -p - 1887 = -b. Is b a prime number?
False
Suppose 0 = 12*w - 8*w - 4504. Is w prime?
False
Let v = -30 - -299. Is v a prime number?
True
Let m be (8*3)/((-12)/42). Let d = 246 + m. Let v = 281 - d. Is v a composite number?
True
Suppose -4*n = n. Suppose -3*d - 25 = -2*d + 5*q, 2*d - 2*q - 10 = n. Suppose d = o - 9 - 60. Is o prime?
False
Let g be (0 - 0) + (-12 - -9). Is (-416 + -2)/(g + 1) prime?
False
Let n be -17076*(2/4 + -1). Let o = n + -5662. Is o*-1*3/(-12) prime?
True
Suppose 0 = -478*u + 479*u - 1477. Is u a composite number?
True
Let n(x) = 305*x**3 - x**2 - 1. Let u be n(2). Suppose -7 = -j + 3*v, 2*v = 4*j + 6*v - 28. Suppose j*l = 12*l - u. Is l prime?
True
Let p be 18/4*44/99. Is 1 - p - (3 - 870) composite?
True
Suppose z - t = 360, -5*t + 3*t - 1436 = -4*z. Is z composite?
True
Let t be 2 + -37213 + (-2 - (3 + -4)). Is 2/(7/(t/(-8))) prime?
False
Suppose 4*s - 12 = -q - 3*q, 5*q - 15 = -4*s. Suppose x - 1868 = -q*x. Is x a prime number?
True
Suppose -10754 = -9*z + 16615. Is z a composite number?
False
Let p be 10/15 - 16/(-3). Let o(a) = -7*a**2 - 4*a**2 + p + 9 + a**3. Is o(11) composite?
True
Let h be ((-21)/(-2))/7 - (-3)/6. Suppose -f + h*f = -p + 456, 0 = -3*f - 3. Is p composite?
False
Let y = -4802 + 11889. Is y a composite number?
True
Let g be ((-7)/(-7))/(2/6). Suppose o + 43 = 2*k - 2*o, 0 = -g*k - 5*o + 17. Suppose -w + 5 - 10 = -2*d, 5*d - k = 2*w. Is w prime?
True
Let d(p) = 10*p**2 + 2*p - 10. Suppose -11*j - 75 - 2 = 0. Is d(j) a composite number?
True
Suppose u = 2*x + 561 + 546, 0 = -3*u - 2*x + 3289. Is u a composite number?
True
Let t = -6927 + 23350. Is t composite?
True
Let y(h) = 10*h + 5. Let q(i) = -i. Let k(t) = -4*q(t) - y(t). Let c be k(7). Let z = -10 - c. Is z composite?
False
Suppose -33067 = -7*w - 321. Is w a composite number?
True
Suppose 1 + 6 = -j - 3*u, -j + 4*u + 14 = 0. Suppose d - v - 334 = 2*v, -2*v = -j*d + 664. Is d composite?
False
Let j = -17 - -52. Suppose 3*q + j = -s, 2*s - 3*q = 6*s + 95. Is (83/4)/((-5)/s) composite?
False
Suppose -3*h = -4*i - 354103, -i + 183962 + 406202 = 5*h. Is h a prime number?
True
Is 40/(-9) + 4 + 26620/36 composite?
False
Suppose -t = -3*t + 2*a - 8, -16 = -2*t - 4*a. Let h be (-1)/((-3)/6) + 1. Suppose t = -5*q + h*q + 290. Is q a prime number?
False
Let o(m) = -m**3 + 11*m**2 - 4*m. Let j be o(6). Let s = 295 - j. Is s a composite number?
False
Let m(d) = 432*d**2 - d - 1. Let g be m(2). Suppose 9*w - 4*w = -g. Is (w/9 - 4)*-3 a composite number?
False
Let r = -4 - 53. Let y be -175 + -1 + 1 - 1. Let u = r - y. Is u a prime number?
False
Suppose 870 = d - 205. Suppose -3*u + d = 2*u + 5*k, -5*u - k + 1059 = 0. Is u prime?
True
Let v(r) = -r**2 - 6*r + 25523. Is v(0) a composite number?
False
Let a(f) = -f + 10. Suppose 4*v - 10 = 2*m + 16, 37 = 5*v - m. Let p be a(v). Suppose p*x = -2*x + 348. Is x composite?
True
Let y(w) = 5029*w - 34. Is y(3) a composite number?
False
Suppose 6*n = -4*t + 4*n + 12648, 5*t + n = 15813. Is t composite?
False
Let b(t) be the second derivative of -137*t**3/6 + 2*t**2 + 17*t. Is b(-3) composite?
True
Let x(s) = s**2 + 15*s + 14. Let l be x(-14). Let w be l/(6/(2 - 4)). Suppose w = 5*c + 4*q - 1469, -2*c + 591 = -5*q + 10. Is c prime?
True
Suppose 