?
True
Suppose b - 45 = -2*b. Is (-18)/b*10955/(-14) prime?
False
Let u = 10 - 8. Suppose -z - 6 = -u*z. Suppose r = 40 - z. Is r composite?
True
Suppose 3*k = 15, 0*k = 2*f - 4*k + 14. Suppose -4*n = -f*n - 6. Is n composite?
True
Let w(k) = -2*k - 4. Let q be w(-3). Suppose 4*v + 12 = -3*f, -2*v - q = -5*f + 4. Suppose x + x - 66 = f. Is x composite?
True
Let x(h) = -34*h**3 + 2*h**2 + 3*h + 10. Is x(-3) composite?
False
Is (0 - (-4)/12)/(6/22626) a composite number?
True
Suppose -4*t = 5*z + 1 + 1, 5*t = 5*z - 25. Let h = 9 + t. Is h a composite number?
True
Let a(i) = 2*i + i + 0*i - 2*i. Let q be a(0). Suppose -3*x + q = -6. Is x composite?
False
Suppose 0 = -4*k + 7*k - 879. Is k a composite number?
False
Let c = -409 + 818. Is c composite?
False
Let v = -238 - -705. Is v a prime number?
True
Suppose -c + 0 = -51. Is c composite?
True
Let h = 318 + 125. Is h a composite number?
False
Let b(g) = -g**2 - 7*g - 6. Let h be b(-5). Suppose r + 4 = -3*s, -2*r + r = -5*s + h. Is (s + 14)*(0 - -1) a prime number?
False
Let a(p) = 19*p - 12. Let n(q) = 10*q - 6. Let x(h) = -3*a(h) + 5*n(h). Is x(-7) prime?
False
Suppose -2*m + 630 = -142. Is m prime?
False
Is 1499/3 + (-4)/6 composite?
False
Suppose 5*y + 3*z = 7*z + 7965, 3*y - z = 4772. Is y composite?
True
Suppose 0 = -3*d - 2 + 14. Let r = 1297 + -774. Suppose d*k - 5*b - r = 0, -4*k + b + 100 = -411. Is k a composite number?
False
Let a = 5 - 7. Let j be 0 + (a + 2)/(-1). Suppose 10*c - 25 = 5*c, -b - 4*c + 27 = j. Is b a prime number?
True
Suppose -4*c = -c + 6. Is 1002/15 - c/10 prime?
True
Suppose -986 = -3*b + 505. Is b a prime number?
False
Let n(i) = -i**3 - 6*i**2 - 6*i - 2. Let b be n(-5). Is (-6)/b + 1 - -58 composite?
True
Let x(h) be the second derivative of -h**4/12 - h**3/6 + 2*h**2 - h. Let u be x(0). Suppose 664 = 5*l - t, -u*l + 5*l - 3*t - 130 = 0. Is l prime?
False
Let q be 5505/10*2/3. Let o = q - 246. Is o a composite number?
True
Let z = 755 - 384. Is z a prime number?
False
Suppose i - 4 = -4*j + 13, 3*i - 19 = -4*j. Let g be 0/(-1)*(-2)/j. Suppose g = 3*w - 2*w - 133. Is w composite?
True
Let i be (6*19 + 2)*2. Suppose 0 = 4*q - 2 - 2, -q = -o + i. Is o prime?
True
Suppose -4*b + 2*b = -212. Is b a composite number?
True
Suppose -5*r + 31 = -3*f, 3 + 9 = 4*f. Suppose -3*z + r*z - 980 = 0. Suppose 3*b - 98 = -2*w - 0*b, -z = -4*w - b. Is w composite?
True
Is 4*1*(-862)/(-8) composite?
False
Let z = 347 + -99. Let q = z + -159. Is q prime?
True
Let m = -19 + 135. Is 1 - 2 - m/(-2) a prime number?
False
Suppose -a = -22 - 13. Let s be 2 - (0 + 2 + -10). Is (-26)/(-7) + s/a a composite number?
True
Suppose 337 = 5*q - 218. Is q composite?
True
Let h be 16/(66/21 - 3). Suppose 0 = 3*g - 3*z - h + 22, 0 = 4*g + 5*z - 129. Is g prime?
True
Let a = 9 + -7. Suppose 4*t - 310 = -a*v, 4*v - 3*t - 324 = 2*v. Is v prime?
False
Let d = -6 + 43. Is d prime?
True
Let x(f) = f**3 - 7*f**2 - 9*f + 10. Is x(9) composite?
True
Let i = -2073 + 3632. Is i composite?
False
Let r = -682 + 2053. Is r composite?
True
Suppose -5*k = -2*k - 69. Let p be 1*-2 - (-2 - 2). Let b = k - p. Is b composite?
True
Let d(y) = -6*y**3 - 11*y**2 + 11*y. Let v(f) = -7*f**3 - 12*f**2 + 12*f - 1. Let u(x) = -6*d(x) + 5*v(x). Let c = -2 + -4. Is u(c) a prime number?
True
Let s(u) = 14*u + 7. Let v(m) = -m**2 + 6*m - 4. Let b be v(3). Is s(b) composite?
True
Let x(g) be the first derivative of g**4/6 - g**3/2 + g**2/2 - 1. Let u(z) be the second derivative of x(z). Is u(3) a prime number?
False
Suppose 0*d - 108 = -2*d. Let o = d + -31. Is o composite?
False
Is (-32)/48 - (-358)/6 a composite number?
False
Let y = 26 + -4. Let z = -11 + y. Is z composite?
False
Let t(g) = 28*g**2 + 2*g + 1. Is t(3) prime?
False
Suppose 3*y - 6458 = 7003. Is y a prime number?
False
Suppose -5*d = -s - 4, 2*d - 4 = s + d. Let w(p) = -p**2 - 6*p - 5. Let v be w(s). Suppose 4 = 5*z + 19, -v*z = x - 56. Is x composite?
True
Let f be (-27)/(-5) - (-2)/(-5). Is 2/f - 336/(-10) a prime number?
False
Is (7 - 3)*(-2)/(-16)*1502 prime?
True
Let k(n) = 126*n**2 - n + 2. Is k(1) prime?
True
Let l(w) = -19*w**3 - 3*w**2 + 2*w - 2. Is l(-3) prime?
False
Let j(h) = 18*h**2 - 7. Is j(-6) a prime number?
True
Let x = -148 + 555. Is x a composite number?
True
Let p(u) = u**3 + 4*u**2 + 2*u + 4. Let y be p(-4). Let z(t) = -t**2 - 2*t - 2. Let m be z(y). Let w = 35 + m. Is w a prime number?
False
Suppose w - 2*w = 4. Suppose 5*q + 4 = 14. Is 1/w*q*-8 composite?
True
Let u(s) = s**3 - s**2 - 5*s + 2. Let y be u(3). Suppose -274 = -q - 3*l + 187, y*l + 477 = q. Is q composite?
False
Let x(y) = y**2 - 2*y - 2. Let d(k) be the second derivative of -k**5/20 - k**4/4 + 2*k**3/3 + 3*k**2 + 2*k. Let a be d(-4). Is x(a) prime?
False
Let w = 14 + -14. Suppose w = -2*j - 2*p + 4*p, 3*p = 12. Is j prime?
False
Suppose 40 = 4*v - 4*q, v = 5*q + 1 + 1. Suppose t - 55 = v. Is t a prime number?
True
Suppose 0 = -8*x + 3*x. Is -1 + 294 - x/(-1) a composite number?
False
Suppose -2*u - 4 = -6*u. Let p = u + -1. Suppose 0*n - n + 75 = -4*k, p = n + 4*k - 83. Is n prime?
True
Suppose d - 292 = 5*g, -4*d + 9*d - 1540 = 5*g. Let h = 954 - 335. Let q = h - d. Is q composite?
False
Suppose 0 = 4*u - 5*u + 4. Let a be (-2)/((-12)/(-5))*-6. Suppose 4*f - 144 = -a*q, -2*q + 167 = 5*f + u. Is f prime?
True
Suppose 0 = -7*c + 4*c + 2703. Is c a prime number?
False
Let g be (291/(-9))/((-2)/(-18)). Let r = -21 - g. Suppose t = -3*v - 0*v + r, 0 = -2*v - 5*t + 193. Is v a composite number?
False
Suppose 6*i + 520 = 2890. Is i a prime number?
False
Suppose 3*t + t + 3*p = 323, -2*t + 4*p = -178. Is t composite?
False
Let x be -1 + (-1)/(1/(-2)). Let o(w) = 7*w**3 - w. Let b be o(x). Suppose -4*s + 3*g = -206, -2*g - g = -b. Is s a composite number?
False
Let z(v) = -5*v**2 + 4*v - 1. Let q be z(5). Let a = -9 - q. Is a a prime number?
True
Let x(a) = a**2 + 2*a - 1. Let i be x(-3). Suppose -4*v - y = -31, -2*y = i*v + 3*y + 7. Is v a prime number?
False
Let g be 0 - (-2 + 1 - -13). Let r = g - -21. Is r/(-6) + 49/2 a composite number?
False
Suppose k - 622 = -k + 4*d, 0 = 3*d + 6. Is k composite?
False
Let t(b) = -b**3 + 3*b**2 + 3*b - 4. Let w be t(3). Let c be (-4)/w*(-530)/4. Suppose c = 2*s - 0*s. Is s composite?
False
Let v = 118 + -513. Let q = -250 - v. Is q a prime number?
False
Is (-4382)/(-5) - 12/(-20) a prime number?
True
Is 24157/87 - (-2)/(-3) prime?
True
Let z(l) = l**3 - 5*l**2 + 4*l - 2. Let s be z(4). Is (s/4)/((-2)/140) a composite number?
True
Let w = 1813 + -94. Is 1/(-2) - w/(-18) composite?
True
Suppose -7 = 2*k - 5*v, -4*k + 6*v - v = -1. Suppose 0 = 3*z + 4*t - 271, 0 = -k*z + 2*t + 3*t + 320. Is z a composite number?
True
Suppose 4 + 4 = -m. Let g be (4 + -8)*42/m. Let f = g + 32. Is f a prime number?
True
Let c = 9 - 5. Suppose 2*x = c*h - 96, x - 4 = 3*x. Is h prime?
True
Suppose 0 = 2*a + 3*a - 15. Suppose 6 = l - a. Is l prime?
False
Let x(n) = n**2 - 8*n**2 + n**3 - 17*n + 6*n + 13. Is x(10) a composite number?
True
Let p(j) = -j**3 - j**2 + 5. Let c be p(0). Suppose 0 = -r + c*b - 3, 6*r + b - 9 = 2*r. Is r composite?
False
Let c(x) = 3*x**2 + 18*x - 11. Is c(14) a prime number?
True
Let y = 259 - -32. Is y composite?
True
Suppose 27 - 11 = 4*x. Suppose x*h - s - 7 = 0, -5*s - 19 + 6 = 2*h. Suppose n - r - 15 - h = 0, 2*n + 3*r - 47 = 0. Is n prime?
True
Suppose -387 = -3*h + 3*v, -639 = -5*h + 2*v + v. Suppose -3*a + 179 = x, -a - h = -3*a - 4*x. Is a prime?
True
Let l(u) = 6*u + 2. Let n be l(-1). Is -3*n/(-8)*-14 prime?
False
Let f(s) = -s**2 - 9*s + 2. Let a be f(-9). Suppose 18 = -a*h + 5*h. Suppose 5*v - 5*r + 15 = 0, -4*r - 10 = -h*r. Is v composite?
False
Let s(q) = 5*q**2 + 12. Is s(-7) composite?
False
Is 7800/169 + 2/(-13) composite?
True
Let d = 113 + -100. Is d composite?
False
Let b(v) = 213*v - 2. Is b(13) a composite number?
False
Suppose -40 - 3124 = -4*h. Is h a prime number?
False
Let r(w) = -112*w**3 - w. Is r(-1) a composite number?
False
Suppose -3*v + 407 = -4*y - 19, 3*v - 399 = -5*y. Suppose 4*q = -4*l + 304, 2*q = -3*l + v + 11. Is q composite?
False
Let t be (4 + 1)/(1 + 0). Suppose -93 = t*r - 8*r. Is r composite?
False
Suppose 95 = -3*m + 2*m. Let h = 120 - m. Is h composite?
True
Let l(c) = 4 - 2*c + 9 + c. Suppose 