?
True
Suppose -7*b + 4*b = 12. Let d(x) = -x**2 - 4*x + 5. Let z be d(b). Suppose 3*r - z*m + 403 - 3335 = 0, -3*r - 2*m + 2939 = 0. Is r a composite number?
True
Suppose -4*i = 5 - 21. Suppose 0*p - i*p = -2*q - 838, 4*q + 199 = p. Is p a prime number?
True
Let w(y) = -6 + 3*y**2 + 11*y**2 - 5*y + 2*y**2 - 9. Is w(7) a prime number?
False
Let n be 27/(1 - 2)*-24. Suppose 0 = -2*l - l + n. Suppose -4*d = 5*o - 207, 4*d + o = 5*o + l. Is d composite?
False
Let x(z) = -2*z + 7. Let d be x(-19). Suppose -10 = -m + d. Is m composite?
True
Let b be (0 - -2)/(-1)*(-10)/4. Suppose 6*f = -b*f + 7733. Is f prime?
False
Let l(y) = -6*y + 3935. Is l(0) a composite number?
True
Let y(n) = 40*n**2 + 5*n + 13. Let f be y(-4). Suppose -4*o = r - f, -o - 6*r + 144 = -r. Is o a composite number?
True
Suppose 14*v - 191843 = 373295. Is v a prime number?
False
Let q(r) = 862*r - 25. Let j be q(5). Suppose -5*k - 5*l = -l - j, -2*l = 2*k - 1716. Is k a prime number?
True
Suppose 309 + 201 = l. Let a = 1 + 318. Let j = l - a. Is j a prime number?
True
Let o = 36236 - 14365. Is o prime?
True
Suppose 0 = 2*y + 2, 4*x + y = 6*x - 157. Suppose 5*l - 4*q = 9, 5*q = -l - 13 + 38. Let z = x + l. Is z composite?
False
Is 45/(-18)*3246/(-5) composite?
True
Let o(n) = 1 + 3 - 2 + 11*n - 6. Let y be o(2). Is 7436/y + (-6)/54 prime?
False
Let z = 22168 + -7145. Is z composite?
True
Is (256490/(-4))/1*(-358)/895 prime?
False
Suppose 2*g = 4*g. Suppose -2*l - 2116 = -2*s, -5*l - 19 + 4 = g. Is s prime?
False
Let u be 2/(-7) - 210/(-49). Suppose -u*j + 2*k = k - 1608, -5*j = -4*k - 1999. Is j a prime number?
False
Let p(r) be the third derivative of r**6/40 - r**5/5 + r**4/12 - 2*r**3/3 - 31*r**2. Is p(9) composite?
False
Suppose m - 4*m = -3. Suppose -5*x - 2*c = -31, -2*x + 2*c - m = -19. Suppose x*f - 670 = 2*f. Is f prime?
False
Let i(b) = -69*b**3 - 11*b + 4. Let z(t) = -68*t**3 - 10*t + 5. Let n(g) = 2*i(g) - 3*z(g). Is n(3) prime?
False
Suppose -3*n = d - 221, 309 - 751 = -2*d + 3*n. Is d a prime number?
False
Let y(z) = z + 1. Suppose -2*l - l = -3. Let f be y(l). Suppose -869 = -m - k, f*m - 4*k - 651 = 1063. Is m prime?
False
Let r(x) = x**3 + 17*x**2 + 11*x + 8. Let p(z) = -5*z - 4. Let d be p(1). Is r(d) composite?
False
Let s(v) = v**2 + 3*v + 3. Let z be s(-4). Suppose -3*r - 6283 = -z*j + 2*j, -4*j + 5048 = 3*r. Is j a composite number?
False
Let u = 5128 - -5359. Is u a prime number?
True
Let s be ((-3)/6)/(1/(-12)). Is (s/8)/(-4 + 41796/10448) a composite number?
True
Suppose 5*b + 5 = -j + 3*j, -4*b - 4 = 5*j. Suppose 5*q + r = 4386, 4387 = 5*q + 2*r - j*r. Is q composite?
False
Let s be 12/66 - 48/22. Is (-4 - -1)/(-3) - 380/s composite?
False
Let p(f) = 111*f + 8. Let n be p(2). Suppose 0*v = -2*v + n. Is v a composite number?
True
Let c = -92 - -90. Let a(i) be the third derivative of -29*i**6/40 - i**5/15 - i**4/6 - i**3/2 + i**2. Is a(c) a prime number?
False
Suppose 0 = 2*t + 4, 0*s + 4*t = -4*s + 37532. Suppose -1159 = 9*g - s. Is g prime?
False
Let k = 4309 - 2130. Is k a composite number?
False
Let j(q) = 9*q + 8*q**2 - 6 + 10 - 8. Is j(-9) a prime number?
True
Let b = 13511 + -7808. Is b prime?
False
Suppose 91 + 13 = r. Let l be (r + 12/(-4))*1. Suppose -5*z - l = -2056. Is z a composite number?
True
Suppose -3*a = 2*a - 15, -33 = -2*v - 5*a. Is 3/(v/3) - -466 prime?
True
Is (254/(-4))/((-16)/2336) a composite number?
True
Let z(n) = -8*n - 6. Let a be z(-1). Suppose 0 = a*u + 3*u - 3425. Is u a prime number?
False
Let y = -8 - -26. Is 16792/72 + (-4)/y composite?
False
Let u be (-294)/(-24) - 2/8. Is (u/24)/((-2)/(-716)) composite?
False
Suppose -8*c = -c. Suppose c = -0*i + 2*i - 1954. Is i a prime number?
True
Is (-2)/(38/(-597909)) - 10/(-95) composite?
False
Let d = 15336 + -5875. Is d composite?
False
Let h(l) be the first derivative of l**4 - l**3 - l**2/2 - 9*l - 28. Is h(5) composite?
True
Let o(z) = -20*z - 11. Suppose -5*d + 12*d - 28 = 0. Suppose 22 = 2*h - 4*h - d*c, 5*c + 5 = 0. Is o(h) prime?
False
Suppose -t = u - 8, -u - 3*t = -4*u + 12. Suppose -u*q + 3961 = 175. Is q a composite number?
False
Let y = -40221 + 67540. Is y composite?
True
Let f be 638/77 + 2/(-7). Suppose 0 = -3*i - i + f. Is (i + (-10)/4)*-314 prime?
True
Let b be (1 + -1554)*(-1)/(-1). Let x = 2340 + b. Is x a prime number?
True
Let i = -13 - -11. Is 139*(3/6 + (-1)/i) composite?
False
Let u(v) = -2*v - 2. Let p be u(-5). Let a be (0/(-4) - 2) + p. Is (a/9)/(4/534) composite?
False
Let c = 692 + -220. Let d = 1023 - c. Is d a composite number?
True
Suppose 28 = 2*d - g, 5*g + 26 = 4*d - 42. Suppose -2*x + 539 = x - 4*r, -d = -3*r. Is x a composite number?
True
Let o(b) = 1854*b + 499. Is o(24) composite?
True
Suppose -5*b = -2*k + 747, 372 = k + b - 3*b. Is (-8)/(-20) - k/(-10) composite?
False
Let f be 3/((-3)/45*-9). Suppose -4981 = -3*c - f*z, 4*z - 7*z + 3320 = 2*c. Is c prime?
True
Let y = 13 + -9. Suppose 0 = y*n + 2*w + 6, -n - 2*w - 18 = -7*w. Is 5712/36 + (-1)/n a composite number?
True
Suppose -4*j - 8 = 4*h, 0*h + 4*j = -h - 14. Let b(z) = -2*z + 3. Let n be b(0). Suppose -n = -3*i, -3*k - 5*i + 606 = -h*i. Is k composite?
True
Let j(v) = -v**3 - 10*v**2 - 9*v - 19. Is j(-18) a composite number?
True
Let d(z) = -10*z**3 + 17*z + 8. Let u be d(-14). Suppose -u = 15*q - 21*q. Is q a composite number?
True
Let l(m) = -4*m + 6861. Is l(0) composite?
True
Suppose -6*o + 2*o = -4*r + 360, -328 = -4*r - 4*o. Let v = 18 + 1. Let n = r - v. Is n a composite number?
False
Suppose -15082 = -3*p + 15989. Is p composite?
False
Let z(j) = j**2 + 10*j + 42. Let y be z(-11). Suppose -7*f = -8*f + y. Is f a prime number?
True
Let o(v) = 34*v - 10. Let a be (-4 - -3)/((-2)/(-6)). Let c(d) = d + 1. Let m(t) = a*c(t) - o(t). Is m(-3) a prime number?
False
Is 10*8/20*100898/8 composite?
True
Suppose 3*y - 5*z = -2*z + 15, 2*y - 3*z = 5. Is (y/25)/((-2)/(-6085)) a prime number?
True
Let y(b) = -32*b - 7. Suppose -f + c = 8, -2*f - 10 = -3*c + 7. Is y(f) a prime number?
False
Let w(z) = z**3 - z**2 + z. Let j be w(0). Suppose -356 = -j*h - 4*h. Is h prime?
True
Let c(h) = -9*h**3 - 3*h**2 + 2*h + 13. Is c(-3) prime?
True
Suppose -2*q - 4*h + 6*h = -1002, 2*q - 5*h = 990. Is q composite?
True
Let p be (-12 - 0)*1/(-3). Suppose 2*f - 7*f - 5*l = -405, l = p*f - 344. Is f a composite number?
True
Let a(m) = 10981*m - 8. Is a(1) prime?
True
Suppose 8*m - 2*f = 3*m + 30805, -18514 = -3*m - 5*f. Is m a composite number?
False
Let r(w) = -4*w**3 + 11*w**2 + 4*w + 9. Is r(-14) composite?
True
Suppose 0 = -26*x - 2*x + 147308. Is x a composite number?
False
Suppose f + 0*f = 1139. Is f prime?
False
Let r be (-4)/2 + 269*-1. Let d = -347 - -781. Let c = r + d. Is c prime?
True
Is ((-172)/16 - -10) + 158894/8 composite?
False
Let z(h) = h**3 - 6*h**2 + 5*h + 2. Let t be z(5). Suppose -6 = -t*b + g + g, 0 = b + g - 13. Is (-6)/4 + 564/b prime?
False
Let t(w) = -w + 2. Let g be t(2). Suppose g = -4*u - 535 - 2421. Let h = -288 - u. Is h composite?
True
Suppose -4*v - 15252 = -8*v. Suppose -5*j + 2*j + v = d, 4*d + 3798 = 3*j. Suppose -j = -0*r - 5*r + 3*p, 0 = 3*r + 4*p - 733. Is r a prime number?
True
Let p be 0*((1 - -1) + -3). Suppose p*j = 3*j. Suppose j = 4*k + x - 512, x = -5*k + 209 + 432. Is k composite?
True
Let i(q) be the second derivative of 2*q**5/5 - 3*q**4/4 + 7*q**3/6 - 19*q**2/2 - 44*q. Is i(7) a prime number?
True
Let c(q) be the first derivative of 22*q**3 + q**2 - 5*q - 12. Is c(-4) prime?
False
Let v = -18 + 18. Let h(z) be the third derivative of -z**5/60 + z**4/24 + 89*z**3/6 - 3*z**2. Is h(v) composite?
False
Suppose -4 - 1 = d, 0 = 3*b + 2*d - 398. Suppose -i + 527 = b. Is i a composite number?
True
Let c = -14 - -110. Suppose -f + 2 = 0, -4*f + 2 = 2*b - 4*b. Suppose -4*z - b*a = -c, -z = -3*z + 5*a + 22. Is z a composite number?
True
Let y(k) = 15*k - 25. Let m be y(-12). Is m*((-1 - -2) + -2) composite?
True
Let f(q) = -q**2 + 20. Let h be f(-4). Suppose 4 + 5 = 3*u, -h*u - 1182 = -2*i. Is i a prime number?
False
Suppose l + 3*l = 3*p - 8, 3*l + 6 = 2*p. Is 0/8 - (l + 0 - 189) a prime number?
True
Let d be (-9 - -4)/((-2)/34). Suppose -z + d + 215 = 0. Suppose 4*k + 5*h = 222, -5*k + 2*h + 3*h + z = 0. Is k a prime number?
False
Let n = 29 + -29. Is (152 -