Suppose -v = -0*v. Suppose -4*d + 4*p - 44 = 0, d - 4*p = -v*d - 26. Is b(d) a composite number?
False
Suppose -f - 1 = 5. Is 9/(-54) + (-835)/f prime?
True
Suppose 4*p - 2*p - 52 = 0. Let s be (-3)/12 + p/8. Suppose s = 2*w + 1, 0 = 3*n - w - 68. Is n prime?
True
Let b(k) = k**3 - 4*k**2 + k - 5. Let o be b(4). Let d = o - -4. Suppose -2*a + d*w + 166 = 0, -3*a - 4*w = -363 + 80. Is a a prime number?
True
Is (1/((-16)/8984))/(2/(-4)) a composite number?
False
Let k(z) be the first derivative of -z**4/4 - 2*z**2 - 3*z - 2. Is k(-4) a prime number?
False
Let i be 2/(-8) - 366/8. Let t = 83 + i. Is t prime?
True
Suppose -x + 3*y = -0*x - 245, 4*x + 3*y - 980 = 0. Suppose 0*z - 5*z + x = 0. Is z prime?
False
Suppose 107 = -4*t + 5*x - 886, -4*t = 5*x + 1023. Let y = t - -483. Is y/(-6)*(-1 + -1) prime?
False
Suppose 0 = -2*t - 2*t + 620. Let g = t + 6. Is g a composite number?
True
Let q = 171 - -238. Is q a prime number?
True
Let i(j) = -j**2 - 3*j + 3. Let s be i(-3). Is (2 - s)/(2/(-106)) a composite number?
False
Let c be (-107)/3 + 6/(-18). Let f = -21 - c. Is f a composite number?
True
Suppose -i - 5*j - 134 = -3*j, 16 = -4*j. Let b = i - -455. Is b prime?
False
Suppose -f - 10 = -0. Let h = f + 49. Let k = 94 - h. Is k a composite number?
True
Let a(v) = 9*v**3 + v**2 - v + 2. Is a(3) a prime number?
True
Let g = -36 + 121. Suppose -2*n + g = 3*n. Suppose 5*b - 2*r - 15 - n = 0, 4*r - 2 = -b. Is b a prime number?
False
Suppose u - 3*s - 15 = 0, 3*s = 3*u + 2*u - 27. Suppose 0*d = u*d - 9. Suppose -d*o + 36 = o. Is o a composite number?
True
Is (0 + 0 - 3)/((-15)/370) composite?
True
Let a(z) = z**2 - 2*z - 1. Let s be a(2). Let i(t) = -32*t**3 - t**2 + t + 1. Is i(s) a prime number?
True
Let q(j) = -3*j + 5 + 5*j + 6*j + 0*j. Is q(6) prime?
True
Let u = -2354 - -4113. Is u composite?
False
Suppose 0 = -3*i - i + 4*z + 124, -4*z = 12. Let r = i + -3. Is r a composite number?
True
Let j = 303 - 480. Let r = j + 298. Is r composite?
True
Suppose -5*n + 1 = 2*x + 56, -43 = 2*n + 5*x. Let z be 34/4*(-7 - n). Let a = 28 - z. Is a prime?
True
Is (-4)/(-6)*-7*191805/(-190) a prime number?
False
Let l(d) = -1 + 9*d - d - 2*d. Is l(15) composite?
False
Suppose -9216 = -7*z + 4*z - 5*f, 0 = 5*f - 15. Is z a prime number?
True
Suppose -3*a = -0*a - 15. Let d(o) = 86*o - 21. Let x be d(11). Suppose 10*y - x = a*y. Is y prime?
False
Let y = -295 - -454. Is y composite?
True
Suppose -17 = 3*m + f, f + f = -4*m - 24. Let b(i) = -7*i + 0*i - 5*i + 7 - 2*i. Is b(m) a composite number?
True
Suppose 0*y - 4450 = -4*y - 2*n, -5*n = -3*y + 3370. Is y a composite number?
True
Let g(v) = 421*v - 1. Let c be g(-1). Is (9 + -10)/(2/c) a composite number?
False
Is (1284 + -5 - -4) + 0 composite?
False
Suppose -6*n - 17 = -y - 3*n, -3*y + 27 = 3*n. Let f(w) = w - 8. Is f(y) prime?
True
Let o be (-1 + 2)*1325/5. Suppose -s - 4*s + o = 0. Is s a prime number?
True
Is (-85)/(-105)*327 + 4/14 prime?
False
Let z be (-1138)/6 - 4/(-6). Let w(m) = m**3 + m**2 + 2*m + 4. Let h be w(6). Let u = z + h. Is u a composite number?
False
Suppose 0 = 5*c + p - 2585, -2*p = -5*c + 1293 + 1307. Is (7/(-14))/((-1)/c) prime?
False
Let l = -6 - -5. Let d(j) = -10*j. Is d(l) a composite number?
True
Suppose -6*f + 2*f - 18 = -p, -4*p + f + 12 = 0. Suppose -3*l + p = z - 24, 0 = -4*l + 20. Is z prime?
True
Let r(g) = g**3 - 2*g**2 - 4*g - 4. Let m be r(4). Suppose -3*b = -m - 0. Suppose -4*s = 2*x - 0*s - 102, 2*x - 118 = b*s. Is x prime?
False
Let m = 1 + -2. Let a(y) be the second derivative of -10*y**3 - y**2/2 + 2*y. Is a(m) prime?
True
Let l(y) = 2*y**2 + 3*y + 7. Let w be l(-6). Let b = 6 + w. Is b a composite number?
False
Let u(p) = 43*p**3 + 2*p**2 - 3*p + 1. Let s be u(3). Suppose z - 2*m = 229, -5*z = 6*m - 3*m - s. Is z a prime number?
True
Let r = 225 - -42. Is r prime?
False
Let z(y) = 9*y + 10. Let g be z(9). Let f = g + 64. Is f prime?
False
Let z = 9 - -28. Is z a prime number?
True
Let o(w) be the second derivative of 5*w**4/6 - w**2/2 + 2*w. Let m be o(1). Suppose -5*t + 44 = 4*i, -2*i - 2*t + m = -13. Is i a prime number?
True
Let r = 163 - 114. Is (-1 + -11)*r/(-28) a prime number?
False
Suppose k + 3802 = 2*m, 3*m = -0*m - 4*k + 5703. Is m a prime number?
True
Let i = 291 + -158. Is i composite?
True
Is -127*(-5)/(-4 - -9) a prime number?
True
Let j be (39/1 - 2)*5. Suppose 5*t - 2*o - j = 0, -2*o = t - 4*o - 45. Is t composite?
True
Let p be (-2)/6*(-4 + 1). Suppose -2 = -i - p. Let x(s) = 13*s**2 + 2*s - 1. Is x(i) a prime number?
False
Let w = -2 + 4. Suppose w*h = 0, 4*u + 0*h - 56 = -h. Suppose r = 6*r - 4*p - u, -8 = -2*r + p. Is r a prime number?
False
Let l be -3 + 5 + (-2)/(-2). Suppose i + 17 = -l*s + 4*s, -4 = -s. Let r = i + 56. Is r composite?
False
Let i be (-2)/(-6)*(3 - 60). Let o = i - -108. Is o a prime number?
True
Let i(f) = -7 + 2*f**2 + 3 + 9*f + 1. Let u(m) = -m - 4. Let b be u(4). Is i(b) prime?
True
Let q(j) = -j**3 + 4*j**2 - j - 2. Let n be q(3). Suppose n - 15 = -v. Is v composite?
False
Suppose v - 2*v + 3 = 0. Suppose -2*d - 203 = -v*t, -305 = -t - 4*t - 5*d. Is t a prime number?
False
Let k = -380 + 643. Is k composite?
False
Is -87*(7/(-14))/(3/10) a prime number?
False
Suppose 0 = -x - 17 + 5. Let h = -6 - x. Is h prime?
False
Let r(t) = 21*t**2 + 2*t + 2. Is r(-3) composite?
True
Let u(z) = z**3 - 2*z**2 + 2*z - 2. Let l be u(2). Let i(p) = p**2. Let j be i(l). Is (j/6)/(2/63) a composite number?
True
Let z be 854/21 + 4/(-6). Let k = z + 55. Is k a prime number?
False
Let a be 3/(3/6*-1). Let c = -2 - a. Suppose -c*u + 701 = 121. Is u prime?
False
Is -3*(-1828)/36*(-1 - -4) a prime number?
True
Let u(n) = n**2 - n - 2. Let v be u(-2). Suppose v*x - 712 = 1672. Suppose -3*c - c = -x. Is c prime?
True
Let o(r) = 116*r + 31. Is o(6) composite?
False
Let s(o) = o**3 - o**2 + 5*o + 1. Let g be s(5). Let y(w) = -w**3 + 13*w**2 - 22*w + 9. Let t be y(10). Let r = g - t. Is r a composite number?
False
Suppose 5*h + u = 2*u - 2123, h = -u - 421. Let t = h - -647. Is t a prime number?
True
Suppose 4*t - 1332 = 5*b - 3*b, -5*b = -4*t + 1344. Is t composite?
False
Suppose -3*g + 3*o + 6 = 0, o = 5*g - 9 - 1. Suppose 3*b - 4*n = -n + 336, -3*b = -g*n - 333. Suppose b = 4*s - 103. Is s a prime number?
True
Suppose 0 = 5*g - 586 - 389. Suppose o + 26 = 130. Let u = g - o. Is u prime?
False
Let w be 1 - 1/((-3)/9). Suppose w*m - 156 + 20 = 0. Is m a prime number?
False
Let h(l) = 3*l**3 + 11 - 2*l - 4*l**3 + 9*l**2 - 4. Is h(8) a prime number?
False
Suppose 0 = -5*f - 5, 3*f - 1490 = -4*h + f. Is h prime?
True
Suppose 0 = -6*f + 2*f + 4. Suppose -o - f = -2*o. Is (o + 6*-2)*-1 a prime number?
True
Let k be 24/(-4)*(-4)/6. Suppose -6*u + k*u + 78 = 0. Is u a prime number?
False
Let x be (-1244)/7 - 10/35. Let k = 217 - x. Is k prime?
False
Let v(q) = -2*q**2 + 2*q + 2. Let s be v(2). Let k be s/(-3) - 124/(-3). Let t = 68 - k. Is t composite?
True
Suppose 0 = 3*r - w - 8, r = -5*w + 4*w - 4. Let z = -6 - r. Let b(y) = y**3 + 9*y**2 + 4*y + 9. Is b(z) prime?
True
Is (-4 - 0)*(-32383)/52 a prime number?
False
Suppose 25*m - 28*m + 1479 = 0. Is m a prime number?
False
Suppose 4*u - 20 + 103 = -3*t, 3*u - t + 59 = 0. Let f = -32 + -41. Let y = u - f. Is y composite?
False
Let x(p) = 6*p**2 - 1. Let f be x(1). Suppose 4*n = f*n - 33. Is n composite?
True
Suppose -5*f = 8 + 2. Let m = f - -6. Is m a composite number?
True
Let x(w) = -7*w**2 + 2*w**3 + 3 + 2*w + 3*w - 1. Let d be x(4). Suppose 2*p - d = 4*c, -5*p - 5*c = -8*c - 102. Is p a composite number?
True
Let n(u) = -u**2 + 11*u - 12. Let f be n(12). Let s(k) = -2*k**3 - 2*k**2 - 3*k. Let t be s(-3). Let c = t + f. Is c a composite number?
True
Suppose 3*a + 4*u + 16 = a, -2*u - 8 = -a. Suppose y - 32 - 27 = a. Is y composite?
False
Let z(h) be the third derivative of -h**6/120 + h**5/60 + h**3/3 - 2*h**2. Let j be z(0). Suppose 0 = -j*l + 4*x + 46, -3*x + 20 = 2*x. Is l composite?
False
Suppose 1761 = 5*f - 2*x + 16, -5*x = 3*f - 1016. Is f a composite number?
False
Suppose -13610 = -0*z - 10*z. Is z a prime number?
True
Let p(w) = w**3 - 2*w**2 - 6*w - 5. Let i be p(6). Suppose 3*h - 52 = -a, -4*h - 89 = -4*a + i. Is a composite?
True
Suppose 3*j + q - 2 = 0, 2*j + 4*q + 4 = -8. Suppose -3*i =