number?
False
Let x(m) = -m**3 + m + 2. Let r be x(2). Let t be (1 + -13)*r/(-3). Let y = 31 + t. Is y a composite number?
True
Suppose -9 = -3*c - 0*c. Suppose 2*u = -3*o + 6*u - 14, 5*o = u - 29. Is o/9 - (-107)/c prime?
False
Suppose -4*g = -2*t + 559 - 2731, -5*t = -g + 525. Is g composite?
True
Let n(k) be the third derivative of 9*k**5/20 + k**4/6 - 2*k**3/3 + k**2. Is n(3) a prime number?
True
Let v be 4*-2*338/(-8). Suppose 0 = -4*t - v + 122. Let s = t + 143. Is s prime?
True
Suppose -4*g = -y - 3679, g - 660 - 281 = -4*y. Is g a prime number?
False
Let o(v) = 6*v**2 + 4*v - 23. Is o(-10) composite?
True
Suppose -2*f + 2 + 12 = 0. Let l(q) = q**2 + q - 3. Is l(f) prime?
True
Let q be 12*1*(-6)/4. Let z = q + 31. Is z a prime number?
True
Let i(p) = -102*p**3 - 2*p**2 - 2*p + 1. Is i(-3) a prime number?
False
Let n = 29 - 56. Is ((-117)/n)/(1/93) composite?
True
Let y be (1 + 2)/((-6)/(-4)). Suppose 2*t + 61 = 2*a + 3, 0 = a - y*t - 33. Is a a prime number?
False
Let q(b) be the first derivative of 2 - 1/3*b**3 - b + 2*b**2. Is q(2) composite?
False
Let c be (-6)/5*(-50)/(-20). Is 586*3*c/(-18) a composite number?
False
Suppose -4*o + 7 = m - 5, 3*m = -5*o + 22. Suppose 498 = o*u - 16. Is u a prime number?
True
Suppose -8*i - 20 = -3*i. Let v be (i/(-6))/(6/180). Suppose 0 = -3*a - 0*s + 3*s + 9, 4*a - v = 2*s. Is a composite?
False
Is 587*(-5 + 3 - -3) a prime number?
True
Let r be -6*2/4*-1. Is (2/r)/((-20)/(-1110)) composite?
False
Suppose -2*l + 4*b = b - 96, 5*l - 233 = 4*b. Suppose -2*h - 3*h - l = 0. Let f = h - -34. Is f a composite number?
True
Let a = 0 + 2. Is ((-11)/a)/((-1)/4) a composite number?
True
Suppose -p + 2821 = -2*w, -1590 - 1224 = -p - 5*w. Is p a composite number?
False
Let n = 39 + -5. Let u = n - -33. Is u a composite number?
False
Let n(p) = p**3 + 9*p**2 + 4*p + 10. Let x be n(-10). Let z = x + 431. Is z composite?
True
Let u be (1 + -1)/(1 + 0). Let o = u - -2. Suppose -2*t + t + 13 = 3*p, o*p - 4 = 0. Is t prime?
True
Let j(p) = -5*p**3 - 3*p**2 - 1. Is j(-4) composite?
False
Suppose 1004 - 10 = 2*h. Is h composite?
True
Let f = 247 - -67. Let v = 316 - 99. Let g = f - v. Is g composite?
False
Suppose -3*v = -0*v. Let p(w) = -w**2 + w + 1. Let c be p(v). Is (0/(-1) - c)*-37 prime?
True
Let x(u) = u**3 + 11*u**2 + 13*u - 1. Let n be x(-9). Let q = -11 + n. Is q composite?
True
Let h = 9 - -3. Suppose -18 = -2*n + h. Is n a composite number?
True
Let u(f) = -9*f**3 - 11*f**2 - 8*f + 1. Let l(j) = -5*j**3 - 5*j**2 - 4*j + 1. Let w(m) = 11*l(m) - 6*u(m). Let q = 23 - 12. Is w(q) prime?
False
Is (2 + 69)/(-2 + 3) a prime number?
True
Suppose 3*u - 446 = -d, -2*u - 299 = -4*u + d. Is u a composite number?
False
Suppose 3*r - 16 - 5 = 0. Let a = -3 + r. Suppose a = f - 18. Is f prime?
False
Suppose -o = 2*i + 2, o = 3*o - 3*i - 17. Suppose u - 2 = -o, -5*w - 5*u = -1045. Is w prime?
True
Let n = -21 - -29. Suppose 4*u - 2*u + 2 = 0. Let a = n + u. Is a a prime number?
True
Suppose -4*y + 184 = -104. Is (4/(-6))/((-16)/y) a composite number?
False
Let n(t) = 18*t**2 + 5*t + 4. Let j = 8 + -12. Let f be n(j). Let a = f - 193. Is a a prime number?
True
Let y(n) = n**3 - 4*n**2 - 4*n - 3. Let l be y(5). Let s be l/7 - (-10)/14. Is 31*(-2*s)/(-2) prime?
True
Let i = 15 + -11. Suppose 3*z - 189 - 380 = -o, 0 = o + i*z - 565. Is o composite?
True
Suppose 457 + 388 = 5*i. Let b = i + -42. Is b a prime number?
True
Let b(o) = 3*o + 4. Suppose -3*w = -8 - 7. Is b(w) composite?
False
Let y(s) = s**3 - 11*s**2 - 4*s + 3. Let u be y(5). Let r = -114 - u. Let o = r - 30. Is o a composite number?
False
Let w be (-9)/1*20/(-15). Suppose 3*u = 5*u + 4*l - 8, 3*u - w = -2*l. Let v(a) = 38*a - 3. Is v(u) prime?
True
Let r(q) = -4*q + 3. Suppose -5*a + 5*b = -0*b - 25, 0 = 2*b + 6. Let z be r(a). Let l(d) = -11*d - 6. Is l(z) composite?
True
Suppose -x = -4*m - 31 + 110, -m - 3*x + 10 = 0. Is m a prime number?
True
Suppose 5*b - 1329 = 3*q, 0 = -b - 0*b + q + 265. Is b a composite number?
True
Let r(p) = p. Let n(u) = 35*u + 5. Let g(y) = -n(y) + 3*r(y). Is g(-8) a prime number?
True
Is (-2076)/8*(-40)/12 composite?
True
Let j be 3054/4*(0 + 4). Suppose -3*o + j = 4*u, -5*u = -3*u - o - 1532. Suppose 0 = -5*w + 560 + u. Is w a prime number?
False
Suppose 3*s = 5*a + 1718, -2*s - 5*a + 1523 = 336. Is s a prime number?
False
Let c(d) = -3*d - 5. Let a be c(-6). Let i = -6 + a. Is i a prime number?
True
Suppose 299 = 4*k - 2*v - 153, 4*k - 476 = -4*v. Is k prime?
False
Let q = 57 + -168. Let i = -32 - q. Is i a prime number?
True
Suppose 2*w = 7*w + 2*k - 2439, 1469 = 3*w + 4*k. Is w a prime number?
True
Let w(k) = 2*k**2 + 2*k. Let o be w(-2). Suppose 0 = -3*i - s + 332, -o*i + 3*s = -0*i - 421. Is i composite?
False
Let f be (-1)/(3 - (-64)/(-20)). Suppose d + f*w - 102 = 0, 5*w = 5*d + w - 365. Is d prime?
False
Let s be -1 + 0 + -1 + 4. Suppose s*v + 6 = -4. Let i = v + 14. Is i prime?
False
Let t(k) = 5*k - 10. Let r be t(-7). Let m be (r/(-3))/((-6)/28). Let h = -5 - m. Is h prime?
False
Suppose -8*b = -3*b - 5695. Is b a prime number?
False
Suppose 5*b + q = 19492, -4*q + 2*q = 3*b - 11691. Is b prime?
False
Let m = 1687 + -668. Is m composite?
False
Suppose -8*t - 5266 = -10*t. Is t a composite number?
False
Suppose f + 251 - 31 = 0. Let y = 111 - f. Is y prime?
True
Let p(n) = 57*n - 40. Is p(11) a prime number?
True
Let r = -286 - -965. Is r a composite number?
True
Let n = -9707 - -15216. Is n composite?
True
Let f(o) = o**3 + 8*o**2 + 6*o + 10. Is f(-6) composite?
True
Let a = -80 - -166. Suppose 0 = h - a - 37. Is h a prime number?
False
Let y(u) = -4*u + 5*u + 15 + 4*u**3 - 14 - u**2 - u**3. Let t be y(-1). Let r(v) = -20*v + 5. Is r(t) a composite number?
True
Suppose -12*n = -7*n. Suppose 0 = -3*g + 3, 2*p - 177 = -n*g + g. Is p composite?
False
Let h(k) = -3*k - 7. Let s be h(-5). Let n = 166 + s. Suppose -y - 2*y = -n. Is y a prime number?
False
Suppose 0*s + 270 = 2*j + 4*s, j - 149 = 5*s. Is j composite?
False
Let c = 97 + -226. Let w = c + 214. Is w a composite number?
True
Suppose 6*r - 2 = 5*r. Suppose -n + 3*d = -18, -4*n - 2 + 18 = r*d. Is n a prime number?
False
Let p(a) = 2*a**3 + 9*a**2 + 3*a - 8. Let q be p(-6). Is 2/(-2 + (-272)/q) a composite number?
False
Let s(h) = -3*h + 2*h + 15*h**2 + h. Let t be (-1*(-1 + 2))/1. Is s(t) prime?
False
Let w(z) = -2*z + 6. Let u(c) = 4*c. Let p be u(1). Let q be w(p). Is (-2)/4 - 47/q composite?
False
Let k = -127 + 453. Is k prime?
False
Suppose -4*z = -3*m - 2*m + 7055, -4*z - 5644 = -4*m. Is m a prime number?
False
Let p = -16838 - -43177. Is p a composite number?
False
Suppose i = 2*i - p - 6, 2*p = 4*i - 18. Suppose 179 = 5*q + a - i*a, -146 = -4*q + 3*a. Is q a composite number?
True
Suppose 4*t - t - 18 = 0. Let s(p) = -p**3 + 5*p**2 + 8*p + 1. Let w be s(t). Suppose f - w = -k, -3*f + 3 = 2*k - 38. Is f a prime number?
False
Let i = 151 + -96. Let u = i + -16. Is u a composite number?
True
Suppose 4*h - 3*h + 94 = n, -3*n + 277 = 2*h. Is n prime?
False
Suppose v - 3 = -0. Suppose v*z - 2*z = 0. Suppose z = -6*x + x + 55. Is x a prime number?
True
Let o(x) = -15*x**2 - 19*x + 17. Let y(c) = 7*c**2 + 9*c - 8. Let n(l) = -6*o(l) - 13*y(l). Let k be n(-3). Suppose 2*i - 56 = -k*i. Is i composite?
True
Let g(s) = s**3 + 6*s**2 + 5*s + 2. Let f be g(-4). Is 4/f - (-640)/14 prime?
False
Let c = -7 - -10. Suppose -c*i + 2*s = -143, s - 236 = -5*i + 2*s. Is i prime?
True
Is 0/(-2) + (-78)/(-18)*411 composite?
True
Suppose 2*w + 3*a - 505 = 0, 4*a = -2*w + 176 + 326. Is w composite?
False
Let z be (1*14)/(-2) + 2. Let r(j) = -11*j - 2. Is r(z) prime?
True
Suppose -2*j + j - 4*v + 4535 = 0, 2*j + v = 9105. Is j a composite number?
True
Suppose 1345 = 3*j + 2*j. Is j a prime number?
True
Suppose 3*p + 30 = -45. Let q = p + 61. Suppose -4*i + q + 66 = -5*j, 0 = -5*i - j + 113. Is i a composite number?
False
Let m(k) = -13*k - 21. Is m(-8) a composite number?
False
Suppose -2*h = -2 - 4. Suppose 17 = -h*q + 5. Is (-756)/(-16) + 1/q composite?
False
Suppose 3*k - 25 = -4. Let f be 2/(-7) - (-23)/k. Suppose o - f*o = -28. Is o a prime number?
False
Suppose -429 = -5*l + 2*l. Suppose b - l = -0*b. Is b a prime number?
False
Let l(a) = 3*a**2 - 12*a - 19. Is l(10) composit