 16 = -z. Suppose s*d = -2*d + 10. Is ((-2)/d)/(1/(-95)) a prime number?
False
Let f(x) = 16*x**2 - 6*x + 1. Is f(-3) composite?
False
Let y(s) be the third derivative of -s**4/12 - 2*s**3/3 + 3*s**2. Let m be y(-3). Suppose 0 = -m*w - w + 387. Is w a composite number?
True
Let i(l) = -l**3 + l**2 - 4*l - 1. Let k be i(-5). Suppose -4*d = -6*d. Suppose d = 4*s - 339 - k. Is s prime?
True
Suppose -10*i + 11*i = -32. Let a be 47*(2 - 4)/2. Let m = i - a. Is m a prime number?
False
Is ((-10)/(-2))/((-2)/(-118)) a composite number?
True
Suppose 0 = 4*n + 18*n - 6974. Is n a prime number?
True
Let c(z) = -40*z - 3. Let l(h) = -h**2 + 7*h + 4. Suppose -m = 1 - 9. Let k be l(m). Is c(k) composite?
False
Let s = 21 - 15. Let c(r) = 5*r**2 - 4*r + 26. Let h(m) = m**2 - m + 5. Let n(a) = -2*c(a) + 11*h(a). Is n(s) a prime number?
False
Let k be (-9 - -1)*13/2. Let l = -15 - k. Is l composite?
False
Let w(v) = 9*v**2 + 17*v - 25. Is w(6) a composite number?
False
Suppose -2*z = 2*z - 8424. Suppose -4*c = -c + 6, -2*c = 5*j - z. Suppose b = 3*b - j. Is b a composite number?
False
Let l = -2684 - -5293. Is l prime?
True
Let k(s) = -2*s**2 - 2*s + 8. Let p(d) = -3*d**2 - 3*d + 15. Let q(h) = -5*k(h) + 3*p(h). Let f = 4 - 9. Is q(f) composite?
True
Let y(j) = 6*j**2 - 3*j - 5. Suppose -40 = -2*x + 7*x. Is y(x) composite?
True
Let h = -24 + 26. Suppose -h*t + 789 = t. Is t a composite number?
False
Let z(m) = 9*m - 1. Let q(b) = b. Let r(v) = -4*q(v) + z(v). Is r(8) prime?
False
Suppose -t = -d + 5*d - 369, -2*d = 5*t - 1935. Is t a prime number?
True
Let c = -164 - -457. Is c a prime number?
True
Suppose 0 = 4*m - 3*m - 5. Suppose 2*n = -0*n - 10. Is n + m - 163*-1 a composite number?
False
Let h(m) = -4*m - 21. Is h(-6) a composite number?
False
Suppose 3*d + 163 = 4*d. Is d a composite number?
False
Suppose -2*n + 1637 = 5*h, -2*h = -0*n + 2*n - 650. Is h prime?
False
Let n(k) = k**3 - 8*k**2 + 8*k - 5. Let l be ((-1)/(-3))/(3/63). Let y be n(l). Suppose 0 = -y*b - 4*t + 206, -4*b + 39 = -4*t - 313. Is b prime?
False
Let s = -3 - -61. Is s a prime number?
False
Let z(p) = p**3 - 4*p**2 - 5*p - 4. Let j be z(5). Let m(d) = -94*d + 6. Is m(j) composite?
True
Suppose -4*u + 2686 - 162 = 5*t, 5*t = 0. Is u prime?
True
Suppose -2*g + 154 - 12 = 0. Suppose 4*p = -o + g, -2*o - 25 = 3*o. Is p prime?
True
Let z(j) = 139*j + 5. Is z(3) a prime number?
False
Let p be 9/(-6)*(-16)/6. Suppose 7*g + 4*v + 79 = 4*g, v = -p*g - 127. Let s = g + 118. Is s a prime number?
False
Suppose -q = 2*q - 24. Let a = 11 - q. Suppose 3*c + 2*c + 74 = 2*r, 3*r + a*c - 111 = 0. Is r composite?
False
Suppose 3*n + 3*h = n + 3, -3*h = -3. Suppose n = -0*g - 3*g - 186. Let q = g - -115. Is q prime?
True
Suppose 0 = 3*w + 4*y - 1115, -y = 2*w + 2*w - 1504. Is w prime?
False
Let l be 3 - -2*(-4)/8. Suppose 658 = l*w - 0*w. Is w prime?
False
Let f(i) = 2*i - 4. Let j be f(3). Suppose 0 = 7*q - j*q. Suppose 2*x - 37 - 29 = q. Is x a prime number?
False
Suppose -5*k + 97 = 4*f, -2*f = -3*k - 7*f + 66. Suppose -5*m + k = 5*d - 8, -2*d = 10. Is m a composite number?
True
Let x(h) = 6*h**2 - 11*h + 4. Is x(7) a prime number?
False
Suppose 2*m - 5*m = 3. Let i = m - -6. Suppose -i*z + 74 = -3*z. Is z a prime number?
True
Let t = 5 - -12. Is (-13 + 18)/(1/t) prime?
False
Suppose 0 = 2*d + 12313 - 1203. Is (-1)/6 + d/(-30) composite?
True
Let g = 41 + -11. Let t = g - -3. Is t a prime number?
False
Let m be (-1238)/(-10) + 3/15. Suppose 6 = 2*d, 2*d + d - m = -5*t. Suppose t = -5*u + 3, p = -2*u + 15. Is p composite?
False
Suppose 4*y - 212 = -0*y. Let u = y + -16. Suppose 25 + u = t. Is t composite?
True
Let y be -9*((-8)/2)/2. Suppose -2*o = o - y. Suppose -180 = -5*c + m - o*m, -c = -4*m - 26. Is c a composite number?
True
Let k(n) = 4*n**2 + 5*n - 4. Let g be k(3). Suppose -5*z + 4*p + g + 47 = 0, -3*z + 2*p + 58 = 0. Is z prime?
False
Suppose 3*n + 705 = 3*b - 2*n, 4*b - 3*n = 940. Is b prime?
False
Suppose -6*v + 1905 = -3*v + p, -2*p = 0. Is v a composite number?
True
Suppose -1 = -2*v + 11. Suppose v*a - k = a + 60, 2*a = 5*k + 47. Is a a composite number?
False
Suppose -a - 2*a = -1563. Is a a composite number?
False
Suppose 173 = 4*k - 263. Is (k/5)/((-2)/(-10)) a composite number?
False
Let p(b) = -b**2 + 29*b + 3. Is p(22) composite?
False
Let d(w) = w - 1. Let c be d(-5). Is (-125)/(-4) + c/24 prime?
True
Suppose -2*v = -8 - 0. Suppose -v*f - 4*h - 23 = -3*h, 0 = 5*f + 4*h + 15. Is (-6 - -12)/((-2)/f) prime?
False
Let b(x) = -x**3 - 7*x**2 - 8*x - 9. Let t be b(-6). Suppose -2*l + 5*o = -79, t = o + 4. Is l a prime number?
True
Suppose -2*z + 572 = 2*z. Is z prime?
False
Let u(w) = -14*w**2 - 1. Let t be u(1). Let q = t - -22. Suppose -q*k = -2*k - 805. Is k a prime number?
False
Let d = -20 - -32. Suppose 0 = -2*o + 6*s - s + 301, d = -4*s. Is o a composite number?
True
Suppose -3*x + 16 = -2*g + x, 0 = 2*x - 2. Let k(d) = -d**3 + d**2 - 6*d + 4. Let m be k(g). Suppose -2*h + m + 154 = 0. Is h a prime number?
True
Let y be 2 + -1 - (-2 - -3). Let f = 0 + y. Suppose -o + 2*o - 53 = f. Is o composite?
False
Let d be 1/(-3) + 130/3. Let a = d - -87. Let k = -63 + a. Is k a prime number?
True
Suppose 3*d - 2883 - 2658 = 0. Is d a composite number?
False
Suppose -a + 12 = 3*a. Let b(s) = -a*s + s**2 + 0*s - 3*s. Is b(-5) a composite number?
True
Let b(f) = 9*f**2 - 2. Is b(-3) composite?
False
Let p(h) = -1. Let b(v) = v**2 - 5. Let l(n) = b(n) - 5*p(n). Let z be l(-2). Suppose -i - 159 = -z*i. Is i a composite number?
False
Suppose -y + 3*p + 751 - 213 = 0, 4*y + 4*p = 2168. Is y composite?
False
Let q(w) = -w**3 + 12*w**2 - 7*w - 9. Suppose 11 = -2*z + 3*z. Is q(z) a prime number?
False
Let n = 47 - 22. Is n a composite number?
True
Suppose 3*w + 894 = 3*t, 2*w + 1672 = 4*t + 478. Is t composite?
True
Let l be (-5)/(-3) - 1/(-3). Suppose -58 = -l*h + 4*q, -2*h + 7*q + 62 = 4*q. Is h a prime number?
True
Suppose 3*s - 1 = 14, 0 = -3*f + 3*s + 78. Is (16/8)/(2/f) prime?
True
Let t = 38 + -18. Suppose 0 = -0*j - 2*j + t. Is j a composite number?
True
Let y(r) = -r**3 - 2*r**2 - r - 1. Let i(q) = q - 13. Let t be i(7). Is y(t) prime?
True
Suppose -2*c = 2*s - 332, -866 = -4*s - s + 4*c. Let z = s - -203. Is z a composite number?
False
Let u(n) = n + 8. Let s be u(-8). Let l be (-10)/(-6) - (-3)/9. Suppose s = l*b - 8, -b - 90 = -2*t - 0*t. Is t prime?
True
Suppose -2*o = 5*r + 70, -2*o + 2 = -3*r - 24. Let a be r/15*15/2. Is 471/9 + (-4)/a composite?
False
Let o(q) = -27*q + 5. Let a be o(-14). Let h = a - 256. Is h a composite number?
False
Suppose 0 = -3*r + 5*t - 2, -3*t = r - 4*t - 2. Suppose u - r*u = -1655. Is u prime?
True
Is (10 + -11)*-1*19 a composite number?
False
Let i(k) = k**2 + k. Let m(p) = 10*p**3 + 6*p**2 + 7*p + 1. Let y be (-9)/12 + (-2)/8. Let b(u) = y*m(u) + 5*i(u). Is b(-2) composite?
False
Suppose -25*b + 27*b - 788 = 0. Is b a composite number?
True
Let x(c) = -544*c - 11. Is x(-3) composite?
False
Let t(j) = -j**2 + j - 4. Let v be t(3). Suppose 0 = -4*o - o + 225. Let u = v + o. Is u a prime number?
False
Suppose 3*x + 52387 = 4*d, 4*d - 2*x - 24784 = 27598. Is d a composite number?
False
Let h(q) = q**2 + q - 1. Let m be h(-3). Suppose 9*w - 24 = m*w. Is w a prime number?
False
Suppose 2*v - 12 = -2*v. Let u = v + 0. Suppose a - 132 = -u*a. Is a prime?
False
Let d(a) = 98*a**3 + a**2. Suppose -4 = -2*m - 2. Let k be d(m). Suppose -k = -2*h - h. Is h a composite number?
True
Let q(x) = 311*x - 14. Is q(5) a composite number?
True
Let f(q) = -3*q + 5. Let d(w) = 8*w - 16. Let m(u) = -4*d(u) - 11*f(u). Let y be m(-7). Suppose p - 55 = y. Is p a composite number?
True
Let g(x) = 368*x + 15. Is g(8) a composite number?
True
Let b = -296 - -673. Is b composite?
True
Let i(s) = s**3 + 13*s**2 + 18*s + 21. Is i(-11) a prime number?
False
Suppose 0 = 40*x - 37*x - 237. Is x prime?
True
Let g(m) = m**3 + m**2 - m + 1. Let d(l) = 15*l**3 + 4*l**2 - 5*l + 5. Let i(q) = -d(q) + 4*g(q). Is i(-2) a prime number?
False
Suppose 3*c - 297 = -0*c + 2*i, -2*i + 479 = 5*c. Is c prime?
True
Is ((3 - 3) + 23)*11 prime?
False
Suppose -s - 4*s + 760 = 0. Suppose 18 = 2*c - s. Suppose 0 = 3*x + 22 - c. Is x a prime number?
False
Suppose 0*a + a - 641 = -2*u, 606 = a - 5*u. Is a compos