Suppose f + 9 = -2*f. Is -1 + 381 + (-2 - f) prime?
False
Suppose -4*h - 4*m = -2800, 4*h + 241 = m + 3046. Is h a prime number?
True
Let u = 726 + 365. Suppose u = 4*v - 3177. Is v a prime number?
False
Let b(c) = 20*c**2 + 4*c**2 - c**3 - 11 + 0*c**2 - 32*c. Is b(22) a composite number?
True
Let k = 23 - -113. Suppose 1258 = 2*b - k. Is b a prime number?
False
Let x(l) be the first derivative of l**5/10 - l**4/6 + l**3/2 + 7*l**2/2 - 5. Let d(b) be the second derivative of x(b). Is d(2) prime?
True
Let o = -3967 - -8612. Is o prime?
False
Let g(c) = 84*c**3 - c**2 + c - 1. Let v(o) = o**3 + 11*o**2 + 10*o + 1. Let z be v(-10). Is g(z) composite?
False
Suppose 5*y + 4*u - 3462 = 3*y, -2 = 2*u. Is y a composite number?
False
Is ((-685)/20)/((-3)/228) a prime number?
False
Suppose 4*m - 15 = -5*p + 10, 2*p + 13 = 3*m. Suppose -813 - 539 = -2*b - 3*l, -b = -m*l - 663. Is b a composite number?
False
Let o = 4013 - 2411. Let v = -1083 + o. Is v a prime number?
False
Let j = 1154 + -997. Is j prime?
True
Let b(s) = -4*s - 11*s**2 - 2*s + 2 - s**2 - 35*s**2. Let d be b(3). Let c = d + 1146. Is c prime?
False
Let j be (-8)/(-10)*-3*115. Suppose -834*s = -827*s - 3983. Let n = j + s. Is n composite?
False
Let l(n) = -263*n + 25. Is l(-8) composite?
False
Suppose x = -z + 38283, -3*x + 76568 = -4*z + 6*z. Is z a composite number?
False
Is (-5)/(5 + 0)*54854/(-2) composite?
False
Suppose 4*p - 11*v = -12*v + 64073, -2*v = -2*p + 32034. Is p a composite number?
True
Suppose -5*c = -2*c - 9. Let y(w) = -3*w + 3 - 7 + w + w**2 - c*w. Is y(7) a prime number?
False
Suppose -5*h + h + 832 = 0. Let f = -79 + h. Is f prime?
False
Let g = -52 + 60. Let m(a) = -a - 16. Let r(q) = q + 1. Let d(h) = -m(h) - 2*r(h). Is d(g) prime?
False
Suppose 0 = -4*z + 786 + 3206. Suppose 10*h - 10 - 30 = 0. Suppose -h*d = -2*d - z. Is d a composite number?
False
Let a = 41 + -15. Let v = 44 - a. Suppose 5*p - 2*x - v - 369 = 0, -p + 79 = -2*x. Is p a prime number?
False
Let g = 189 - -4138. Is g a prime number?
True
Let b be -1 - 3/1*-1. Let n be 0/(b + 0) + -43. Let u = n + 74. Is u prime?
True
Suppose -9*u = -11*u + 16. Let h(y) be the third derivative of y**6/60 - y**5/15 + 5*y**4/24 - 11*y**3/6 + y**2. Is h(u) prime?
True
Let a(g) = -g**2 - 10*g + 6. Let z be a(-9). Suppose 105 + z = 3*k. Suppose 2*d - o = 21, -5*d + 4*o + k = -d. Is d a prime number?
True
Let f be 1 - -4 - (-1 + 0). Let i(x) = 6 + 4*x**3 + 7*x**3 - 2 - 7*x - 10*x**3. Is i(f) a composite number?
True
Suppose 51325 = 13*w + 12*w. Is w a composite number?
False
Let b(z) be the third derivative of -5*z**4/3 - 3*z**3/2 + 3*z**2 - 7*z. Is b(-5) composite?
False
Let a(x) = -3669*x + 1. Let c be a(-3). Suppose 10780 = 4*n - 3*z, -z - c + 236 = -4*n. Suppose 8*t = 4*t + n. Is t a prime number?
True
Let u(j) = j**2 - j - 1. Let y(x) = -55*x**2 - 9*x + 58. Let t(o) = -3*u(o) - y(o). Is t(9) a composite number?
True
Let y(c) be the second derivative of 0*c**4 + 0 + 0*c**2 - c + 1/6*c**3 - 4*c**5. Is y(-1) composite?
False
Let y = -18 + 84. Suppose -y = -0*m - 3*m. Let c = m - 15. Is c prime?
True
Suppose 3*x - 40015 - 22992 = 4*l, -l = x - 21000. Is x composite?
False
Let j = -10273 + 14500. Is j composite?
True
Let s(x) be the third derivative of x**5/60 - 3*x**4/8 + 5*x**3/6 + 12*x**2. Let j be s(9). Is (-635)/5*(4 - j) a prime number?
True
Let o(i) = i**3 - 28*i**2 + 56*i + 68. Is o(43) a prime number?
True
Let n(t) = -t**2 + 13*t + 9. Is n(7) composite?
True
Let y = 3179 - -8047. Let j = y - 7567. Is j prime?
True
Let q(o) = o**2 + 2. Suppose -m - d = 2*m + 15, 3*m = 3*d - 3. Let k be q(m). Let u = 41 + k. Is u a prime number?
True
Suppose -24*t + 27*t = 21933. Is t a composite number?
True
Let d(f) = 2*f**2 + 6*f + 6. Let h be d(-3). Let r(k) = h*k - 10 - 8 + 5. Is r(6) composite?
False
Suppose 0 = -2*m + 5*i + 23, 2*m + 2*i - i - 5 = 0. Is 2822 + (-11)/m + (-2)/8 a composite number?
False
Let l(d) = -d**3 + 16*d**2 + d - 12. Suppose 0*c - 2*c + 31 = -m, 5 = 5*m. Let j be l(c). Is 1/4*j - -1170 composite?
False
Is (-14)/4 + (-2)/(-4) + 2084 a composite number?
False
Let o = 5 - 5. Suppose o = -4*y + 8. Suppose -306 = -y*v + 4*s, 3*v + 3*s - 36 = 450. Is v a composite number?
True
Suppose -652 = 4*j - 8*j. Suppose c - j = -3*n + n, n + 169 = c. Suppose 3*d - 106 = 4*z, -d = -6*d - 3*z + c. Is d composite?
True
Suppose -3*q - 5*o = -141378, 0*o - 94271 = -2*q + 3*o. Is q composite?
True
Suppose 0 = -4*s - 12 + 16. Let r be (8 - 157)/(s/(-3)). Is r/(-6)*4/(-2) a composite number?
False
Let t = -107 + 109. Suppose -t*i - 3*g + 6796 = 0, -2*i + 2*g = -5799 - 997. Is i composite?
True
Suppose 2*c = -3*q + 1562, 0 = -c + 11*q - 7*q + 781. Is c composite?
True
Suppose 4*z - z - 5*t - 16 = 0, 4*z = -4*t. Is (-7 - -4) + 720 + z a composite number?
False
Let m = 5237 + -8578. Let v = 4972 + m. Is v a prime number?
False
Suppose 0 = 52*o - 42*o - 397930. Is o composite?
True
Suppose 5*d - 80805 - 16987 = -4*x, 4*x = -d + 97776. Is x composite?
False
Let m(z) = -15*z**2 + 6*z - 1. Let d be m(5). Let i = -87 - d. Is i a prime number?
False
Is (-3 + 1)*5/(10/(-853)) a prime number?
True
Suppose -20*s + 16*s - 8907 = -c, 2*c + 3*s = 17803. Is c prime?
False
Let o = 705 + -2501. Is (4/(-8))/(2/o) a prime number?
True
Suppose 0 = -4*y - 5 - 15. Is ((-21876)/30)/(2/y) composite?
False
Suppose 0 = 2*m - 454 - 132. Let p be (-116)/(-3 - (-11)/3). Let o = p + m. Is o a composite number?
True
Let s be 20/(-6)*(-9)/6. Suppose -3*w + 1777 = -3*v - 2177, 2*v - 6569 = -s*w. Is w a composite number?
True
Suppose 5*t - 8 = g, -t + 17 - 5 = 5*g. Suppose -t*q + 13 = -0*q + h, 5*q = -3*h + 35. Suppose -k = -q*k + 201. Is k a prime number?
True
Let z(t) = -t**3 - 4*t + 4*t + 4*t**2 + 4*t + t**2 - 5. Let q be z(4). Suppose 2*p = o - q, 4*o - 57 = 3*o - 4*p. Is o prime?
True
Is (449/(-3))/(5/(-30)*2) prime?
True
Let n = 9644 + -6705. Is n a prime number?
True
Suppose 0 = 4*i - 11*j + 8*j - 91432, 2*j - 68591 = -3*i. Suppose 3*a = i - 7810. Is a prime?
False
Suppose -6*c - 10532 = -167378. Is c a composite number?
False
Suppose 3493 = 6*f - 13*f. Is 0 - ((f - 2) + 2) a prime number?
True
Suppose -a = 539 + 684. Let t = 2058 + a. Is t a prime number?
False
Let d be ((-6)/(-8))/((-4)/(-16)). Suppose -3*u = d*h - 4*u - 3639, -4*h = -2*u - 4852. Is h a prime number?
True
Let f = 23607 + -914. Is f composite?
True
Let q = 40583 + -6420. Is q a prime number?
False
Is 9/30 + 878643/90 a prime number?
False
Suppose 3*n + 28 = 4*k, -3*k + 0*k - 3*n = 0. Suppose -5*a - 512 = -4*f, 3*a - 2*a = k*f - 528. Suppose -4*t + 140 = -4*s, 3*t + 7*s - f = 3*s. Is t composite?
True
Let o = 996 + -587. Suppose g + 0*g - o = 0. Is g composite?
False
Let j(a) = 3*a**2 - 4*a + 2. Let h = 22 + -23. Let s be 5*((-2)/1 - h). Is j(s) a composite number?
False
Let l(j) = -j**3 - 5*j**2 - 6*j - 6. Let z be l(-4). Suppose -5*g - 4*t = -4701, 2*g + g - 2803 = z*t. Is g prime?
True
Let i(j) = j + 7. Let a be i(-5). Suppose -a*n - x = -4*x + 11, -4*x = -2*n - 16. Suppose f + 5*z = z + 163, -f - n*z + 159 = 0. Is f prime?
False
Let u(r) = 94*r - 535. Is u(32) a prime number?
True
Let v = 12089 - 7576. Is v a composite number?
False
Suppose 3*w = 5*d + 7, 0 = -d + 2*d - 4*w + 15. Let v = -1 - d. Is (4/v)/((-10)/170) prime?
False
Let g = 4478 - 2427. Is g a composite number?
True
Let v = -8676 + 16387. Suppose 6*x = -v + 25825. Is x a composite number?
False
Suppose -2*u - 242 = 3*x, 8*x - 4*x - 484 = 4*u. Let a be (1/1 - -2)/(3/(-68)). Let t = a - u. Is t prime?
True
Is -10 + 8 + (28515 - 0) prime?
True
Let c(t) = 707*t**2 - t - 8. Let v be c(-2). Suppose -o + 3*f = o - 5664, v = o + f. Suppose -1020 = 6*p - o. Is p a composite number?
True
Let a(q) = 10*q**3 - 2*q**2 - 3*q + 6. Let k be a(3). Let r = k - 134. Is r composite?
True
Let o = 435 + -401. Is o a composite number?
True
Let l = 39106 - -21639. Is l prime?
False
Let x(k) = -2*k + 38. Let t be x(17). Suppose -3*p + a = -4*p + 235, -p + t*a = -235. Is p composite?
True
Suppose l - 20684 = -2*s - 6221, l + 3*s = 14459. Is l prime?
False
Let i(k) = -226*k**3 - k. Let p be i(-1). Suppose b = p + 516. Is b prime?
True
Suppose -12*i + 7*i = -2*y - 3591, -2*y = -4. Is i a composite number?
False
Suppose 0 = r - 8404 - 10051. Is r