site?
False
Let b(f) = -2*f**3 - 10*f**2 + 14*f - 17. Is b(-12) prime?
True
Let l(t) = -15*t**2 - 3*t + 29. Let c be l(9). Let f = c - -2196. Is f a composite number?
False
Suppose 56*p - 1835316 = 20*p. Is p prime?
False
Suppose 0 = -4*y + 5*k - 16, -4*k + 15 = -2*y + y. Suppose 315 = 4*j - 565. Is j*y + (-3)/3 composite?
True
Let f(t) = -1892*t. Let r be f(1). Suppose -2*x - 6506 = -2*q, 4*x - 847 + 10606 = 3*q. Let y = r + q. Is y a prime number?
True
Let c be 58/(51/12 - 4). Suppose 3*j = -4*d + 454, 4*d - 2*d - j - c = 0. Is d composite?
True
Let h be ((-3)/(-3))/(1/(-3)). Let l = -1 - h. Suppose 0 = -0*x - l*x + 322. Is x prime?
False
Suppose -7*n + 3*n + 708 = 0. Let p = 308 - n. Is p a prime number?
True
Let h = 0 - -2. Let s(d) = 60*d**3 - 3*d**2 + d + 1. Let t be s(h). Suppose -5*n = -0*z + 5*z - 2415, -z - 4*n + t = 0. Is z composite?
False
Suppose 3*r + 3260 = 4*r - 5*v, -5*v = -5*r + 16320. Is r a composite number?
True
Let f = 6120 - 13704. Is (f/9)/(-1) - 6/(-18) a composite number?
True
Suppose 2*q + 3*z - 32198 = -z, 3*q = z + 48290. Is q a composite number?
False
Let g = -303 - -1079. Let n = g - 473. Is n a prime number?
False
Let z = 58967 + -26976. Is z a prime number?
True
Let k = 19 - 17. Suppose -i - k = -4. Suppose -21 = -i*b - 0*d + 3*d, -b - 4*d = -27. Is b composite?
True
Let l = 19 + -20. Let o = -5 - l. Let m(c) = -2*c**3 + 3*c**2 + 3*c - 1. Is m(o) a prime number?
True
Suppose 3*l - 2*l = 0. Suppose l*p - 2*p - 4 = 0. Let j(y) = -3*y**3 + y**2 + 2*y + 2. Is j(p) a prime number?
False
Let m = -112 + 112. Is 1 - (-375 + m)*3 composite?
True
Let x(a) = 1. Let m(w) = 19*w + 6. Let l(k) = -m(k) + 6*x(k). Let i(o) = -2*o**2 + 6*o - 7. Let z be i(3). Is l(z) a prime number?
False
Suppose 2*p + 2*p = 0. Suppose p = 2*r - 0*r - 106. Is r a prime number?
True
Is 2*2/(-12)*-12813 composite?
False
Let g be (-65)/((-1*1)/(-7 - -424)). Is 1/2 - g/(-26) composite?
True
Suppose -13730 = -5*f - 3*v, -v + 0 = -5. Let b = f + -1577. Suppose -5*p + 669 + b = 0. Is p a composite number?
False
Let u = 103 + -105. Let j(c) = 262*c**2 - 5. Is j(u) a prime number?
False
Let i = -118615 - -174914. Is i a composite number?
False
Suppose 3*n - 6 = -18, 0 = -2*v + 2*n + 636. Suppose 7*r = 365 + v. Is r a composite number?
False
Let c = -473 + 1176. Is c composite?
True
Let g = 31 - 26. Suppose 0 = -g*c - 5*j + 7605, -2*c + 0*c + 5*j + 3014 = 0. Is c a composite number?
True
Suppose 3 = -4*l + 23. Suppose 14 = -t + 4*t + 4*d, l*t - 5*d = 0. Suppose 2047 = 5*n - i, -t*n - i - 3*i = -810. Is n a prime number?
True
Suppose 4*n = 44 + 68. Is 4 + n/(-4) - -422 prime?
True
Suppose 3*u - i - 21 = -7, 0 = -5*u - 5*i - 10. Is 880/5 - (0 - u) composite?
False
Suppose 15*t = 32906 + 39649. Is t a composite number?
True
Let n be ((-16)/12)/((-2)/(-36)). Let u(x) = x**2 + 8*x + 35. Is u(n) a prime number?
True
Suppose -l = l - 26. Suppose -3*a + 1172 = -q, -a + 422 - l = -4*q. Is a composite?
False
Suppose 3*b - 4*p = 25, -3*b - 2*p = -8*b + 23. Suppose b*g + 16 = 5*o, 7*o - 3*o - 3*g = 14. Is (o - 1)*(24 - -2) a prime number?
False
Let z(y) = 2*y**2 + 4*y - 2. Let w be z(8). Suppose t = -2*a + w, 0 = a + t - 10 - 71. Is a composite?
True
Let g(h) = -372*h + 71. Is g(-45) a composite number?
False
Let y(f) = 95*f - 3. Let u = -8 + 11. Suppose -u*d + 2 = -4. Is y(d) a composite number?
True
Suppose 0 = 4*s + 4*c + 8, -16 = 2*s + 5*c - 3. Suppose 3*k + 4*o + s = 0, 3*o + 5 = 2*k - 0*o. Is (-292)/(-2) - k/1 a prime number?
False
Let h = 310 + -188. Let g = h - -22. Is -2 + 1*(-3 + g) composite?
False
Let l(c) = 2*c**3 + 6*c**2 + 2. Let z be l(-3). Suppose -z*s + 2390 = 2*v, 1 = -3*s + 7. Is v a prime number?
True
Suppose -h = -6*h + 175. Suppose -3*r = -9, -7*r + h = -5*f - 2*r. Is 94 + (f + 3 - -4) a prime number?
True
Let y = -24 - -22. Let l = -15 + y. Let o = 63 + l. Is o prime?
False
Suppose 3*t - 21*n - 17704 = -26*n, 5*t - 3*n - 29518 = 0. Is t a composite number?
False
Let j be (-3)/4 - 354/(-24). Is (-8)/(-14) + 6278/j a prime number?
True
Let k = -69567 - -134482. Is k a composite number?
True
Let g(f) = f**2 - 17*f + 8. Suppose -l + 0*l = 5*w - 50, 5*l = w + 16. Let v be g(w). Let r = v - -287. Is r prime?
True
Let s(y) = -2*y - 7. Let z be s(-7). Suppose -z*d = -2*d. Suppose q - 143 + 16 = d. Is q a composite number?
False
Is (0 - 2) + -2 + (3 - -10124) a composite number?
True
Let y(q) = -354*q + 23. Let z be (-42)/(-15)*(-11 + 2 - -4). Is y(z) a prime number?
False
Let r(s) = -433*s - 4. Let k be r(-9). Suppose -5*n - i = -4890, 2*n - 3*i - k = -2*n. Is n composite?
False
Let p(h) = -h**2 - 9*h + 11. Let g be p(-11). Is (-22)/g + (953*1 - 0) composite?
True
Let q = -13832 - -19611. Is q prime?
True
Let z(p) = -p**2 + 6*p. Let g be z(3). Suppose -g*v = -7*v - 4. Suppose -4*b - 33 = -3*x + 236, b = v*x - 171. Is x prime?
True
Let k(c) = 45*c + 7. Suppose -5*v + 2*b + 2 = -3*v, -2*b = -4*v + 12. Suppose 2*m + 34 = -0*x + v*x, x - 14 = -2*m. Is k(x) a composite number?
False
Let a(v) = -11*v - 7. Let x be a(-3). Let m(w) = 10*w - 1. Let r be m(6). Let q = r - x. Is q prime?
False
Let u = 1068 + -391. Suppose 3*t = u + 34. Suppose -5*m - t = -8*m. Is m a composite number?
False
Let w be 157/1 + 2/1. Suppose 3*b - 4*g = 98, -43 = -5*b - 3*g + w. Is b a composite number?
True
Let n = 1633 - -466. Is n a prime number?
True
Let h(p) = -p**2 + 7*p + 4. Let o be h(7). Let f(w) be the first derivative of 7*w**3/3 + w**2/2 + 3*w + 6. Is f(o) prime?
False
Suppose -2*x + 10648 + 9028 = 0. Is x a composite number?
True
Let g(z) = z**2 + 5*z + 6. Let k be g(-4). Let b(c) = c**3 + c**2 - 2*c**2 + 0*c**k + 5 - 6*c + 0*c**2. Is b(6) composite?
False
Suppose -23*c + 120023 + 59354 = 0. Is c prime?
False
Let o = -5 - 3. Is (-1)/(-8) + (-7159)/o prime?
False
Let y(n) = 994*n + 2. Let x be (7 + -5)*(-1)/(-2). Let l be y(x). Suppose 5*j - 5*r + 3*r = 1695, 3*j + 3*r - l = 0. Is j a prime number?
True
Suppose 4*n - 2*g - 932 = 0, 4*n + g - 940 = -g. Let h = 120 - 227. Let j = n + h. Is j a prime number?
True
Is (-59)/(-2)*10*94/10 composite?
True
Let m(q) = -2*q + 24. Let i be m(12). Suppose i*r + 23632 = 16*r. Is r composite?
True
Let u = -25 - -5. Is (-1656)/u - 4/(-20) prime?
True
Let y(i) = -345*i**2 - 4*i + 4. Let j(v) = -346*v**2 - 5*v + 5. Let z(f) = 2*j(f) - 3*y(f). Is z(-2) prime?
False
Suppose 60*i - 43*i = 17153. Is i prime?
True
Suppose 20088 = -2*t - 2*t. Let n = t + 7730. Suppose -2*g - 2*g = -n. Is g a prime number?
True
Let o be (262/3)/(3/9). Let y = o - 147. Is y composite?
True
Suppose 60*t = 51*t + 148509. Is t a prime number?
False
Suppose -8*m + 1396 = -6*m. Let d = 991 - m. Is d a prime number?
True
Let f(o) be the first derivative of -o**2/2 + 17*o - 6. Let t be f(14). Is (0 - 1)/(t/(-195)) a prime number?
False
Is (2467215/21)/5 + 50/(-175) a prime number?
True
Let x(g) = 83*g + 2. Let b = -7 - -7. Suppose -y + 3 + b = 0. Is x(y) a composite number?
False
Suppose 2*z - 14 + 6 = 0. Suppose 9*v - z*v = 30. Let n(y) = -y**3 + 13*y**2 - 9*y + 5. Is n(v) a composite number?
True
Let d(y) = -677*y. Let z be d(-1). Let o = z - 424. Is o prime?
False
Let q be (-34)/(-6)*(43 - -8). Suppose -26 + q = g. Is g composite?
False
Let a(k) = -k**3 - 11*k**2 - 10*k + 4. Let g be a(-10). Suppose 2*f + w - 421 = -3*f, g*w + 186 = 2*f. Is f prime?
False
Let u be (3*4/30)/((-1)/(-5)). Suppose -u*t - 1042 = -2*q + 2*t, -q + t = -525. Is q prime?
False
Let h(q) = 959*q - 12. Let s be h(-3). Let z = 5498 + s. Is z composite?
False
Suppose -2*x - 3*u = -1657, -2*u = -4*x + 1290 + 1984. Is x prime?
True
Let f = 3 + 3. Suppose 5*y = 0, y + 675 = -3*i + f*y. Let x = -106 - i. Is x prime?
False
Let n(i) be the third derivative of -3*i**4/4 - 5*i**3/6 + 8*i**2. Is n(-12) a prime number?
True
Let j = 982 + -192. Suppose 4*a + j = 6*a + 4*h, -2008 = -5*a + h. Is a a prime number?
True
Let y(g) = -705*g - 13. Is y(-8) a composite number?
True
Let f(k) = 4*k**2 + 11*k + 71. Is f(-34) a composite number?
True
Let x = -90 + 161. Let j = 234 - x. Is j composite?
False
Suppose -5*s = -3*a - 174 + 1114, 4*s = -a + 285. Suppose -3*z - 5*m - a + 899 = 0, -4*z - 2*m + 806 = 0. Is z a composite number?
True
Suppose r + 6*r = 27013. Is r prime?
False
Let p(n) = -n**3 - 12*n**2 + 30*n