7*x + 9. Is d(t) prime?
False
Let t be (21/9 - 2)*9. Is ((-4)/(-12))/(t/2313) a composite number?
False
Let v = 11 - 10. Let n(l) = 0*l - v + 2 + 5 + l**2 + 3*l. Is n(-4) composite?
True
Let g(w) = w**2 + 9*w + 3. Suppose 4*i + 36 = -3*f, 4*i - 2*f + 44 - 8 = 0. Let a be g(i). Suppose -a*t + 147 = -0*t. Is t composite?
True
Let t be (-6)/(-5)*60/18. Suppose -2*v + 2*l + 270 = -2*l, 0 = l + t. Is v composite?
False
Let t(f) = -12*f**3 - 2*f**2 + 1. Suppose 1 + 1 = -r. Is t(r) prime?
True
Suppose 1694 = -5*r - 461. Let f = 730 + r. Suppose s - 3*s = 3*v - f, -5*s = -3*v - 800. Is s a composite number?
False
Let u(d) = d - 1. Suppose -3*t = -2*t + 5*p - 2, -5*t - 3*p - 12 = 0. Let c be u(t). Let b(a) = a**3 + 6*a**2 - 2*a - 3. Is b(c) a prime number?
True
Let p = -1 - -2. Is p/(3 + 208/(-70)) prime?
False
Is 1*(-1)/(-1*3/9105) prime?
False
Suppose 0 = 2*o - o - 307. Suppose u - o = -56. Is u a composite number?
False
Let n(f) = 22*f**3 - f**2 + 1. Let k = 3 - -2. Let x(h) = -h + 6. Let u be x(k). Is n(u) prime?
False
Let z be (150/15)/((-4)/(-2)). Is 18/(-90) - (-1016)/z composite?
True
Suppose -j = -0*j - 7. Suppose 55 = 2*c - j. Is c prime?
True
Let t = -3601 + 6928. Is t a prime number?
False
Let v = 29 + -18. Is v prime?
True
Suppose 16 = 3*m + 46. Let n = m - -33. Suppose -2 + n = 3*g. Is g composite?
False
Suppose -j + 3*j - 4 = -2*d, -3*d - 36 = -4*j. Let v be 4/6 - 1342/j. Is (0 - v) + -2 + 2 composite?
False
Suppose -2*m + 20 = 2*m. Let s(q) = 6*q**2 + 5*q - 10. Let u(g) = 17*g**2 + 14*g - 29. Let w(k) = -11*s(k) + 4*u(k). Is w(m) composite?
True
Suppose 0 = t - 0*b + 5*b - 743, 4*t = -4*b + 2972. Is t a prime number?
True
Let q be (2/6)/((-2)/(-18)). Suppose b = -q*b + 252. Suppose 5*v = -2*d + 4*d - b, 4*v = -20. Is d composite?
False
Let b = 470 - 237. Is b composite?
False
Let m(t) = 19*t + 7. Is m(9) prime?
False
Let r be ((-27)/6)/((-2)/(-12)). Let w = 62 + r. Suppose -3*m + 2*m = -w. Is m prime?
False
Let i be -1*-2*(-1)/(-2). Suppose x + 0*x + i = 5*k, -4*k - 4 = 4*x. Is ((-13 - k) + -1)/(-2) a composite number?
False
Suppose 0*f - 5*f + 3*v - 997 = 0, 0 = -3*f - v - 601. Let z = 1 - f. Is z composite?
True
Let c(s) = s**2 + 5*s + 6. Let h be c(-4). Let v = 2 - h. Suppose -5*o = v, o + 4*o - 47 = -u. Is u a composite number?
False
Suppose 5*z + b + 455 = 0, 0 = -4*z + b - 64 - 300. Let l = z - -153. Is l prime?
False
Suppose -1565 - 436 = -3*m. Let y = m - 466. Suppose -2*l = 3*n - y, 0 = -3*n - n + 5*l + 268. Is n prime?
True
Let i be -11 + -5 + 1 + 3. Is i/90 - (-7174)/30 prime?
True
Suppose 4*m - 656 = 136. Suppose 3*r = m + 204. Suppose -5*s + r = 3*d, -5 = s - 0. Is d composite?
False
Suppose -2*d - 5 - 5 = 0. Let s be 244/10 + 2/d. Suppose -4*b + s = -252. Is b prime?
False
Suppose -4*q - u + 2*u = -16840, 3*q - 5*u - 12613 = 0. Is q a prime number?
True
Suppose -4 = 4*p, 5*p + 5458 + 3012 = 5*h. Is h composite?
False
Let q(m) = -m**3 - 4*m**2 - 4*m - 3. Let i = -2 + -2. Is q(i) a prime number?
True
Let w = 73 + 100. Let l = -60 + w. Is l prime?
True
Let m = -68 - -775. Is m a prime number?
False
Let u(m) = m + 2. Let c be u(0). Let s be (-2 + -12)/((-4)/c). Suppose -248 - s = -5*z. Is z a prime number?
False
Suppose -m - 6 = 5*k, -2*k = 5*m + k - 14. Suppose -3*g - 2 = m. Let v(n) = -n + 1. Is v(g) prime?
True
Let x = -4400 - -7897. Is x a composite number?
True
Suppose 2 = 3*l + 5*w, -1 = 3*l - 5*w - 23. Suppose -l*h = 20, -225 = -0*f - 4*f + h. Is f a prime number?
False
Let b be 68/(-6) + 2/6. Let p = 13 + b. Let i = p + 11. Is i a prime number?
True
Let p be 2 + 0/4 + 2. Suppose -5*t + 179 = -p*t. Is t composite?
False
Suppose p - 65 = -7. Is p a composite number?
True
Is (-1755)/(-7) + (-4)/(-14) a composite number?
False
Let o be 14/(-49) - 52/14. Is ((-9)/o)/((-9)/(-24)) a composite number?
True
Let l(c) = -111*c - 22. Is l(-28) prime?
False
Suppose -5*c - 3*b + 17 + 18 = 0, -2*c - b + 14 = 0. Let n = -3 + c. Suppose 0 = -0*m + n*m - 36. Is m a composite number?
True
Suppose 2*u = -5*q + 253 + 863, -4*q - 2757 = -5*u. Is u a prime number?
False
Let r be (-47)/((-3)/3*1). Suppose -x - r = -283. Suppose 0 = -3*k - k + x. Is k a prime number?
True
Let v(y) = 818*y - 1. Let t(n) = 409*n - 1. Let j(q) = 5*t(q) - 2*v(q). Let w be j(2). Suppose -2*d - 3*d = -w. Is d prime?
True
Let s(y) = -9*y + 6. Let t(i) = -i**3 - 9*i**2 - 5. Let d be t(-9). Is s(d) a composite number?
True
Suppose -j - 2*j - 6 = 0. Is (j/4)/((-3)/126) a composite number?
True
Let d(u) = 6*u**3 + 9*u**2 - 4*u + 9. Let h be d(6). Suppose y = 6*y - h. Suppose -3*g + y + 126 = 0. Is g a prime number?
True
Suppose -170 = 5*b - 30. Suppose 6*h = 3*h + d - 14, -3*d = 5*h. Is b/h*(-3)/(-2) composite?
True
Suppose 0*d + 2*d - 3 = -3*g, 0 = -3*g - 9. Suppose d*u - 380 = u. Let k = 113 - u. Is k a prime number?
True
Let k(w) = w + 7. Let m be k(-7). Suppose m*q + q = 114. Suppose 0 = -4*o + 146 + q. Is o a composite number?
True
Let t(w) = -w**3 + 5*w**2 + 5*w - 5. Let a be t(5). Let d = -14 + a. Suppose 0 = -d*y + 3*y + 105. Is y a composite number?
True
Let t = -6 + 20. Suppose -p + 0*p + t = 0. Is p a prime number?
False
Let c be (3 - (0 + 0)) + 27. Suppose c = 2*i - 16. Is i composite?
False
Let c(o) = 6*o**2 + 6*o + 82. Suppose u + k = 2*k - 3, 0 = u + 3*k + 7. Let s(i) = -5*i**2 - 5*i - 81. Let z(x) = u*c(x) - 5*s(x). Is z(0) composite?
True
Suppose 28 = y + 111. Let c = y + 138. Is c prime?
False
Let b(q) = 4 - 2*q - q - q**2 - 1. Let z be b(-3). Suppose z*i + i - 220 = 0. Is i composite?
True
Suppose 0 - 5 = -x. Suppose -2*y = -5*t + 68, x*t + 2*y - 6*y = 66. Is t prime?
False
Suppose -2*i + 11018 = 3*v + 2*v, -i - 8804 = -4*v. Suppose 5*p + 547 = v. Is p prime?
True
Let a be ((-8)/(-2))/(2/1). Suppose a = -c + 4. Is 14/(6/2 - c) a prime number?
False
Suppose 4 - 12 = 3*n - 5*u, -2*u = -5*n + 12. Suppose m - l - n*l - 822 = 0, 2*m + 5*l = 1569. Is m composite?
False
Suppose 13 - 1 = 3*z. Let f be (-2)/4 + 18/z. Suppose f*v + v - 224 = 3*i, 0 = -5*i - 15. Is v a composite number?
False
Suppose 0 = 5*t + 466 - 2046. Suppose 0 = -3*n + t + 635. Is n composite?
False
Let z = -19 + 284. Is z a composite number?
True
Let h(w) = 175*w + 14. Is h(5) composite?
True
Let l(p) = p**2 - 12*p + 2. Let b be l(12). Suppose 3*q - 8*q = b*d - 314, -5*d = 4*q - 258. Is q composite?
True
Let l be 2/11 - (-64)/11. Let g(y) = 8*y**2 - y - 6. Let j be g(l). Let h = j + -11. Is h a prime number?
False
Let q = -453 + 981. Let o = q + -265. Is o composite?
False
Let s(v) = -32*v**3 + v**2 + 3. Is s(-2) prime?
True
Is 4/(-6) - (-1724)/12 a composite number?
True
Let j(l) = l**3 - 7*l**2 - l + 4. Let q be j(7). Is (-134)/(-6)*(0 - q) a prime number?
True
Let w(x) = 952*x. Let f be w(2). Let o = f + -1137. Is o a composite number?
True
Let a be (40/(-12) - -4)*3. Is 1416/15 - a/5 a prime number?
False
Let i(h) = -h**2 - h + 3. Let f(r) = -r**2 + 1. Let p(u) = -4*f(u) - i(u). Is p(6) prime?
True
Suppose 4*q - 19 = -3. Suppose 1710 - 442 = q*r. Is r a composite number?
False
Suppose 2*t = -0*t + 188. Suppose -l - 2*y + 85 = 0, -t = -4*l - 3*y + 256. Suppose -2*z = -z - l. Is z a composite number?
False
Suppose 2*c + 141 = 455. Is c a composite number?
False
Let t(m) = m**3 - m + 529. Is t(0) a prime number?
False
Let i(f) = -f**3 + 6*f + 11. Is i(-6) a prime number?
True
Let t be 3 - 4*1/4. Is t + 2 + (-786)/(-2) composite?
False
Suppose -3*k + 4 = -5*z - 5, 0 = 5*z - 15. Let w(y) = y**3 - 6*y**2 - 10*y - 2. Is w(k) composite?
True
Let l be (2 - -7) + -1 - 3. Let r(c) = 6*c + 7. Is r(l) prime?
True
Let c be ((-3)/6 - 0)*-4. Suppose -2*d = 5*x - 6*d - 3273, 0 = c*d - 6. Suppose x = 4*n + w, 3*n - 298 - 206 = -3*w. Is n prime?
True
Let a(c) = c**3 - 4*c**2 + c + 2. Let w be a(3). Let x(s) = -9*s - 1. Is x(w) a composite number?
True
Let m(b) = 1 + 1 - 2*b + 3*b. Let n be m(2). Suppose -2 - 22 = -n*q + 3*f, 5*q - f - 30 = 0. Is q prime?
False
Let w(c) be the first derivative of -11*c**2/2 - 12*c - 8. Is w(-5) composite?
False
Let o be (-10)/45 - (-958)/18. Let z = o + -16. Is z a prime number?
True
Let i(k) = k - 1. Let g(v) = -11*v**3 - v**2 - 2*v + 3. Let l(z) = -g(z) - 2*i(z). Let m be l(1). Suppose 3*w = 2*w + m. Is w composite?
False
Let k(x) be the second derivative of x**4/12