 5*c. Is z a composite number?
False
Is 16 + -1*2/2 composite?
True
Suppose 690 = 3*h - 567. Is h prime?
True
Let h = -1 + 4. Let u(c) = -4*c**3 - 1. Let r be u(-1). Suppose -5*f + 1087 = 2*d, 0*d - 648 = -r*f + h*d. Is f composite?
True
Let f(n) = n - 2. Let v be 2/3*(-2 + 11). Let j be f(v). Suppose -a = j*a - 2*k - 45, 0 = 3*a + 5*k + 4. Is a a composite number?
False
Let h(u) = -3*u**3 - 3*u**2 - 4*u - 7. Is h(-6) a composite number?
False
Is 10/10*(218 - 1) a composite number?
True
Suppose -3*u + 0*x - 5*x = -376, -3*u = 3*x - 378. Is u a composite number?
False
Suppose 0 = -0*f + 3*f - 69. Let l = f - -196. Is l a prime number?
False
Let f(m) = 4*m**3 + 6*m**2 - 8*m - 6. Let o(h) = 5*h**3 + 7*h**2 - 9*h - 6. Let c(n) = -4*f(n) + 3*o(n). Is c(-5) prime?
True
Suppose -754 - 1451 = -5*d. Suppose a - 3*a + 4*f = -306, -3*a - 3*f + d = 0. Is a prime?
True
Suppose 2948 = 5*x - x. Is x a composite number?
True
Suppose -4*b - 5*m - 1 = 0, 2*m + 3*m + 7 = 2*b. Suppose -3*y = -9, 5*c + 2*y = 10 + b. Suppose k - c - 13 = 0. Is k composite?
True
Let b(h) = -h**3 + 10*h**2 - 10*h + 7. Let f(y) = -y + 1. Let q be f(-7). Is b(q) composite?
True
Let m(c) = -8*c - 2. Let d be m(-3). Let a = d + 19. Is 2/4 - a/(-2) prime?
False
Suppose -240 = -7*l + 4*l. Suppose 0 = 2*f - l - 74. Is f a prime number?
False
Suppose 0 = -3*x + 4*w + 32, -2*w - 3*w - 9 = 4*x. Suppose 5*i - 61 = -3*p - 0*p, 3*i + x*p - 41 = 0. Is i prime?
True
Let d = 1 + 0. Let f be d/3 + (-952)/12. Is (-1)/(0 + 1/f) a prime number?
True
Suppose 52 = -2*g - 5*h + 151, 0 = -5*h + 5. Let c(n) = -63*n - 3. Let i be c(-2). Suppose 0 = 4*y - i + g. Is y a composite number?
False
Is (5/(-3))/(1/(-39)) a prime number?
False
Let m(j) = -2*j - 10. Let v be m(-5). Suppose v = -3*f + 4*z + 653, 3*z + 2*z = -f + 243. Is f composite?
False
Suppose -3*f - 66 + 333 = 0. Is f prime?
True
Let x(d) = -d**3 + 4*d**2 - 5. Let b be 2*(0 - -2)/1. Let u be x(b). Is (-74)/2*(4 + u) a composite number?
False
Let z(c) be the first derivative of 2*c**3 - 2*c - 2. Let l be z(-4). Suppose -2*r + 2*a = -6*r + 206, 2*r = -4*a + l. Is r prime?
True
Let m = 1 - 1. Is 1 + m - (-6 + -3) a prime number?
False
Let f(v) be the second derivative of 49*v**5/10 - v**3/3 + v**2/2 + 2*v. Is f(1) prime?
True
Suppose -3073 = -2*x - 5*x. Is x a prime number?
True
Let t = 31 - 21. Is (-2)/5 + 74/t a composite number?
False
Let g be 16/6*(-102)/(-8). Let q = 90 + g. Is 0 + q + 6/2 prime?
True
Let s = 113 - -120. Is s a composite number?
False
Let g(u) = u**3 + 5*u**2 - u. Let z be g(-5). Let n = -7 + z. Is 3/(-1 - -4) - n a composite number?
False
Let v be (80/(-12))/(4/(-30)). Is v + 0 + 3*1 a composite number?
False
Let q(v) = -2*v**2 + 4*v - 3. Let y be q(2). Let o = 2 - y. Suppose 0*x = -o*x + 215. Is x prime?
True
Let z = 1 - -1. Suppose 3*m + k = 5*m - 13, -z*m + 4*k = -28. Suppose -m*j + 55 = -3*j. Is j prime?
False
Suppose 0 = -4*f + 129 + 227. Let r = -36 + f. Is r composite?
False
Let d(z) = -180*z - 23. Is d(-9) composite?
False
Let d be 30426/30 + 2/(-10). Suppose -2*p = -5*w - d, -3*p - 4*w = -0*p - 1567. Is p prime?
False
Let z(o) = 8*o**2 + o + 2. Let u be z(-2). Is ((-6)/8)/((-8)/u) a prime number?
True
Suppose 5*x = 4*l - 0*x - 1272, 0 = -3*l + 4*x + 954. Is l/15 - 1/5 a composite number?
True
Suppose -x - 34 = -117. Is x composite?
False
Let y(w) = w**2 + 11*w - 9. Let c be y(-9). Let j(p) = 41*p - 1. Let z be j(1). Let x = z + c. Is x prime?
True
Let y(m) = m**2 - m + 1. Let n(h) = -14*h**2 + 10*h - 10. Let d(c) = n(c) + 12*y(c). Let t be d(-2). Let j = 21 + t. Is j prime?
True
Suppose 2*s - 455 - 719 = 0. Is s a composite number?
False
Suppose 0 = -y + 3*t - 2*t, 2*y - 5 = t. Suppose 68 - 523 = -y*u. Suppose 3*o - 4*j = -2*o + u, 3 = 3*j. Is o prime?
True
Let u(d) be the third derivative of 2*d**5/15 - d**4/24 + d**3/6 - 2*d**2. Let j be u(1). Let l(n) = n**2 + 2*n - 1. Is l(j) prime?
True
Suppose -5*a + 260 = 5*o, 168 = 3*o + 3*a - 6*a. Suppose 0 = -2*p + o + 94. Let n = 123 - p. Is n a prime number?
False
Suppose -y = 2*y - 129. Is y a prime number?
True
Let y = 160 - 34. Let a = y + -89. Is a a prime number?
True
Let t(k) = k**2 + 5*k + 4. Let y be t(9). Let g(o) = -2*o - 7. Let r be g(-6). Suppose -y = -r*h - 20. Is h composite?
True
Is (43/(-3))/((-4)/36) a prime number?
False
Let t(j) = -j**3 + 12*j**2 - 11*j - 1. Let r(a) = -2*a - 1. Let q be r(-5). Is t(q) a composite number?
True
Suppose -t + 4*l + 1081 = 0, -3*l - 399 = -t + 677. Is t prime?
True
Let r be 1609/(-9) + 6/(-27). Let d = r + 253. Is d composite?
True
Let y(o) be the third derivative of -o**5/24 - 7*o**4/24 + o**3/3 + 2*o**2. Let h(m) be the first derivative of y(m). Is h(-6) composite?
False
Let i(f) = 4*f**2 + 3*f - 3. Let n(g) = -g + 11. Let k be n(9). Suppose -3*p = -p - k*t - 6, 4*t - 2 = -3*p. Is i(p) a composite number?
False
Suppose 0 = 3*p - 4*p + 14. Let j be (-4)/p - 1536/14. Let r = -75 - j. Is r a prime number?
False
Let x(o) = 41*o - 9. Let n(s) = 125*s - 26. Let w(a) = -376*a + 78. Let m(c) = 7*n(c) + 2*w(c). Let b(j) = 6*m(j) - 17*x(j). Is b(4) composite?
True
Let r(j) = j**3 + j**2 + 2*j - 33. Let f be r(0). Let m be (1/2)/(1/110). Let x = m + f. Is x composite?
True
Let o(k) = -k**3 - k**2 + k + 2. Let j be o(-2). Suppose 139 = j*w - 425. Is w a prime number?
False
Let a(l) = -l. Let c be (12/(-15))/(2/10). Let d be a(c). Is (-78 - 1)/(d + -5) composite?
False
Let z(s) = -838*s - 23. Is z(-13) a composite number?
True
Let m(c) = 15*c**2 + 4 - 2 - 3*c - c + 0. Is m(4) a prime number?
False
Suppose l + 4*l - 13 = -2*u, -3*u = -2*l + 28. Let k(o) be the third derivative of -o**6/120 - o**5/20 + o**4/8 + o**3/6 - 5*o**2. Is k(u) a prime number?
False
Let h(d) = 5*d**2 - 2. Suppose 2 = -o - 1. Is h(o) composite?
False
Let r = -10 - -4. Let c(s) = s**3 + 5*s**2 + 7*s + 3. Let h be c(r). Is 2/(h/(-69) - 1) a composite number?
False
Suppose -40 - 55 = -5*g. Suppose -3*c + 4*q + 6 = 0, 5*c - q = -3*q - 16. Is g*-2*1/c a composite number?
False
Is 233 + (4 - 0/(-2)) composite?
True
Let q = 11394 - 5155. Is q a prime number?
False
Let n = 645 + -310. Suppose -p = 4*p - n. Is p prime?
True
Suppose 10759 = 5*a + 1244. Is a prime?
False
Let q(d) = d + 18. Let z be q(-13). Suppose -z*j - 2*n + 3371 = 0, 505 + 1526 = 3*j + 4*n. Is j prime?
True
Suppose -2*t + a - 13 = -0*a, 3*t = 3*a - 21. Let b(h) = -3*h + 5. Is b(t) prime?
True
Let y(v) be the second derivative of -v**2 - v + 19/6*v**3 + 0. Is y(3) a prime number?
False
Suppose 5*k + 10 = 30. Suppose o - k*b + 3*b - 144 = 0, -3*o - 2*b + 457 = 0. Is o prime?
True
Let k(r) = 5*r**2 + 7*r - 7. Let l be (7 - 10) + (0 - 3). Is k(l) a composite number?
False
Let o = 19 + 19. Is o composite?
True
Suppose -2*g + 636 = -536. Let a be g - -4 - 2*1. Suppose 5*r + 203 = a. Is r prime?
False
Suppose 2*c - 45 = -2*t + 35, 5*c = -4*t + 165. Suppose 2*y - 2*u = 110, -2*y - 4*u = -0*u - 116. Let s = y - t. Is s a composite number?
True
Let j(o) = -2*o**2 - 2*o. Let r be j(2). Let n = 25 - r. Is n a prime number?
True
Suppose 3*t + 4*f - 38 = 0, 0 = -4*t + f - 4*f + 46. Suppose 0 = -3*q - 2*w - 8, -t = -5*q + 3*w + 2. Suppose -3*s = k - 145 - 16, 3*k + 12 = q. Is s composite?
True
Let x = -524 + 897. Is x composite?
False
Is (814/4)/(4/8) a composite number?
True
Let r(w) = -w**2 - w + 257. Is r(0) prime?
True
Suppose -3*d + 0 + 15 = 0. Suppose d*g = g. Suppose 2*v = -g*m - m + 147, -4*m + 599 = -3*v. Is m prime?
True
Suppose l = -d + 203, 5*d - l = l + 987. Is d a composite number?
False
Suppose 4 = t + 2. Suppose -b = 4*h - 95, 0 = 4*h - 5*b + t*b - 115. Is h prime?
False
Let z be 7*5/((-70)/(-4)). Suppose -z*i + 619 = 197. Is i a composite number?
False
Let m = 151 - 269. Is -2*2/(8/m) a composite number?
False
Let b(o) = -2*o + 0*o - 5 - 3*o. Let m be b(6). Let q = -24 - m. Is q prime?
True
Let h(p) = 135*p**3 - 3*p**2 - 3*p - 1. Is h(2) a prime number?
True
Suppose 0 = -2*y + 77 + 537. Is y a prime number?
True
Is (-2)/9 - 29010/(-54) prime?
False
Let h = 3 + -3. Suppose h*r = 2*r - 52. Is r composite?
True
Let c(v) = -v**2 - 5*v - 2. Let q = 5 + -8. Let u be c(q). Is (-1 + u)/(6/28) a composite number?
True
Let w = 4 + -2. Let g(f) = 46*f - 3. Is g(w) a composite number?
False
Suppose -6 = -n - 2*n.