 o a composite number?
False
Let v(c) be the second derivative of 205*c**3/6 + 4*c**2 + 6*c. Is v(3) prime?
False
Suppose 7*m - 1274 = -7*m. Suppose -2*k + 795 + m = 0. Is k prime?
True
Let b(v) = 953*v**2 - 8*v - 3. Is b(-4) prime?
True
Suppose -5*n - 2*n = -231. Let d = -30 + n. Suppose 99 = z - d*q, 0*z = -z + 4*q + 103. Is z a prime number?
False
Let p(s) = s**2 + 11*s + 13. Let y be p(-10). Let k(j) = 7*j**2 - 10. Let f be k(5). Suppose -h + y*a = -4 - f, -463 = -3*h - 2*a. Is h a prime number?
True
Suppose 6*z - 8*z = -6. Suppose z*h + 4*r = 1897, -3*h + 6*h - 5*r = 1888. Is h composite?
False
Let x(t) = t**3 + 6*t**2 - t - 3. Let i be x(-6). Let h be -3 - (477/i + -1). Let o = h + 252. Is o a composite number?
True
Let y be -4 - -1 - 1 - -66. Let a(w) = w**2 - 7*w - 14. Let m be a(11). Suppose -m - y = -2*u. Is u composite?
True
Let d(z) = -z + 7. Let g be d(8). Let c be 504/(-16) + g/2. Let s = 91 + c. Is s composite?
False
Let k(f) = 8*f**3 - 2*f**2 - 18*f + 19. Is k(6) composite?
False
Let q be (16/56)/(1/14). Suppose 2145 = 2*x + 3*x - 5*c, q = 4*c. Suppose -3*i = -x - 1265. Is i prime?
False
Let p(x) = -56*x + 1. Suppose 3*r - 6 = 9. Let o = -11 + r. Is p(o) a prime number?
True
Let j(x) = 232*x**3 - x**2 - x - 3. Let f(d) = -d**3 + 2*d**2 + 2*d + 1. Let m be f(-1). Is j(m) prime?
True
Let k = -5481 + 20780. Is k a composite number?
False
Let c(a) = -317*a. Is c(-1) prime?
True
Let c(x) = 5*x**2 - 11*x + 33. Is c(4) a prime number?
False
Let s = 30 - 44. Let k = 92 + 24. Is s/((8/k)/(-1)) a composite number?
True
Suppose -103*j = -96*j - 142583. Is j composite?
False
Let l be 6 - (6/5)/(8/20). Suppose l*u - u - 5*y = 1404, 0 = 3*u + 3*y - 2085. Is u a prime number?
False
Let o(t) = t**3 - 15*t**2 + 16*t - 25. Let g be o(14). Suppose -4*n + 47458 = 2*a, -2*n + g*n - 11854 = 3*a. Is n composite?
False
Let r be (9 + -158)*(3 - (1 - -1)). Suppose -3*l + 694 = 5*f, l - f - 258 = 4*f. Let v = l + r. Is v prime?
True
Let h = -2 + 7. Suppose -h*o + 101 = 41. Is o + 8/(16/4) a prime number?
False
Suppose b = 4*d + 8, 74 = -b + 5*b + 5*d. Let z(h) = -h**3 + 16*h**2 - 16*h + 17. Let y be z(15). Let g = b - y. Is g a composite number?
True
Suppose 20 = 3*c + 2*c. Let r = c - -75. Suppose 4*s - 61 = r. Is s a prime number?
False
Suppose 9*r - 4*r - 10 = 0. Let g(p) = 4*p**3 - 8*p**r - 3*p**3 - 7 + 3*p + 9*p**2. Is g(6) prime?
True
Let f(q) = 501*q + 820. Is f(29) prime?
True
Let t be 66*(3 + -1)/6. Suppose a + 0*a - t = 0. Is a prime?
False
Is 6403/(-1 - (4 + -6)) prime?
False
Suppose -911 = -4*r + 1405. Suppose 0 = 7*v - r - 4363. Suppose -4*k - v = -2*l, -l + k + 348 + 5 = 0. Is l a prime number?
True
Suppose 1 + 2 = 3*k. Let t be k/(-5) + (-118)/10. Is t/4*-43 + -2 composite?
False
Let d = 1473 - 296. Is d prime?
False
Is (-959980)/(-16) + 4*(-4)/(-64) prime?
True
Suppose 0 = -284*l + 290*l - 28734. Is l composite?
False
Let r be (1/2)/((-2)/(-12)). Suppose 2*u = r - 1, 1769 = 5*v - u. Suppose 0 = -4*i - 3*y + 1161, -i - 68 = 5*y - v. Is i a composite number?
True
Let a = 43318 + -14031. Is a composite?
False
Suppose 5*v + t = 32249, -6465 = v - 2*v - 4*t. Is v composite?
False
Suppose 2*d + 7 = -1. Let v be d/(-4) + 2 + -4. Is -4*v*(-379)/(-4) a prime number?
True
Let s = -27 - -32. Suppose t - j = 910, s*t - 2*j + 3*j = 4532. Is t a prime number?
True
Let x(w) = -93*w**3 - 3*w**2 - 2*w - 1. Let s = 48 - 49. Is x(s) a composite number?
True
Let n = 24393 + -10880. Is n a prime number?
True
Let z = -108 - -70. Let b be (z/8)/(2/(-120)). Suppose 2*t - 598 = -4*m, -b = -5*m - 5*t + 465. Is m a prime number?
True
Let c(l) = -4*l**3 - 5*l**2 + 6*l + 1719. Let q(d) = -5*d**3 - 6*d**2 + 7*d + 1719. Let r(t) = 6*c(t) - 5*q(t). Let s be r(0). Is (-1 + 0)/((-9)/s) prime?
True
Let u(g) = g**2 - g + 1. Let m(x) = 10*x**2 - 10*x - 1. Let v(y) = m(y) + 2*u(y). Is v(8) a composite number?
False
Suppose -4*n = -z - 15150, -5*n + 15154 = -n - 3*z. Is n a prime number?
False
Suppose -5*g + 80 + 0 = 0. Suppose -g*w + 13*w + 5667 = 0. Is w a prime number?
True
Is 10/(-15)*(-25422)/4 a prime number?
False
Is ((-2267742)/(-609))/((-2)/(-7)) a prime number?
True
Is (-197498)/(-22) - ((-14)/(-77) - 0) a composite number?
True
Let k be 306/(-42) - (-2)/7. Let q(x) = 199*x + 3. Let g(l) = 66*l + 1. Let o(d) = k*g(d) + 2*q(d). Is o(-2) a composite number?
False
Let f(w) = 233*w**2 + 23*w + 25. Is f(-2) composite?
False
Let q = -6922 - -10856. Is 2/(-15) - q/(-30) composite?
False
Suppose -4*w - o - 229 = 0, 0 = w - o - 31 + 87. Let y = -43 - w. Is y a composite number?
True
Let z be (1 + 2193)*(-7 + 12). Suppose 3*c + z = 13*c. Is c a composite number?
False
Let m(l) = 4*l**2 - 6*l - 1. Let g be m(-6). Let i be (9 + -1)*(50 - -6). Let s = i - g. Is s composite?
False
Let h(z) = -8*z**3 + 3*z**2 + 3*z. Let b be h(4). Let r = b + 843. Is r prime?
False
Let h = 15 + -9. Let i(v) = 35*v**2 - 11*v + 19. Is i(h) a prime number?
True
Suppose 17*p - 29485 = 12*p. Is p a prime number?
True
Let d(u) = -78*u**3 - 2*u**2 + 3*u + 4. Let i be d(-2). Suppose 2*c - 4*g - i = 0, -4*g - 1224 = -4*c - 0*c. Is c prime?
False
Suppose 0 = r + 4*r. Suppose r = -4*y + 47 - 179. Is (3/(-4))/(y/88) prime?
True
Suppose -t = -2, -2*n = n - 3*t - 18447. Suppose 4*r - y - 2*y - n = 0, -5*y = r - 1532. Is r composite?
True
Suppose -h = 3*w - 4, 1 = h + 4*w - 1. Suppose -2*a + y = 6, -3*a + y + y - h = 0. Is 6 - 9 - 192/a prime?
False
Let s(j) = 370*j**2 + 31*j + 12. Is s(-11) prime?
False
Let j(c) = c + 7. Suppose -3*u = -2*u + 4. Let a be j(u). Suppose a = -3*d, -d = r - 0*r - 214. Is r prime?
False
Let i(w) be the third derivative of -w**5/60 - 5*w**4/24 - w**3 + 5*w**2. Let d be i(-5). Let r = d + 17. Is r prime?
True
Suppose 0 = -3*y + 5*p + 52792, -2*y + 25588 = -5*p - 9605. Is y composite?
False
Suppose -44*y - 344905 = -3285645. Is y prime?
False
Is (-62 - 5)/((-4)/116) a composite number?
True
Let a(c) = -c**3 + 4*c**2 + c. Let v be a(4). Suppose v*i = p + 312, 0 = -i - p + 33 + 50. Is i prime?
True
Suppose -2*u = -2*i + 26, -2*i + 6*i = -2*u + 22. Let f be (i/(-20))/((-2)/640). Suppose 4*b - 456 + f = 0. Is b prime?
False
Suppose 21*q - 255 = 6*q. Is q/3*(0 + 0 + 9) a composite number?
True
Let g = 479 - 118. Let u = g + -141. Suppose -u = -2*l + 378. Is l composite?
True
Let u(y) = -y**2 - 6*y - 3. Let n be u(-4). Suppose 3 = i + 3*c - 5, 0 = i + n*c - 10. Suppose 68 = 2*m + i*v, -2*m = -7*m - 5*v + 185. Is m a composite number?
True
Is 2/(-3)*10/20*-16077 a composite number?
True
Suppose 129*u - 346902 = 15*u. Is u a prime number?
False
Let l = 121 + -116. Let f(o) be the third derivative of o**4/2 - 7*o**3/6 - o**2. Is f(l) a prime number?
True
Let x(w) = -w**3 + 5*w**2 + 9*w - 7. Let g be x(6). Let v = g + 200. Is v a prime number?
True
Is (45/(-10) - -5)*2 + 10966 composite?
True
Suppose 367122 + 744087 = 33*d. Is d prime?
False
Suppose -3*q + q = -3*o + 16, -3*o + 12 = 0. Let z be (-75)/10 - q/4. Is ((-278)/(-4))/(z/(-14)) a composite number?
False
Suppose -4*r = -4516 - 760. Is r a composite number?
False
Suppose -l = -4*l + a + 716, -5*l + 5*a = -1180. Let h = l + -41. Is h a composite number?
False
Suppose 4*l = 5*j - 0*j + 5586, 3*j + 6989 = 5*l. Is l composite?
False
Suppose -3*g - 9 = -2*g. Let j = 7 + g. Let v(y) = -25*y - 3. Is v(j) prime?
True
Suppose -l + 6*l - 5595 = 0. Suppose -t + l + 236 = 0. Is t prime?
False
Suppose 32*c - 342836 = -20*c. Is c a prime number?
False
Suppose 4*t = 2*s + 6, -5*t + s + 6 = -3*s. Suppose t*u = 5*l + 885, -l - 708 = 3*l + 3*u. Is 4/1*l/(-12) a composite number?
False
Suppose 5*r = h - 4*h + 36, 4*r = -5*h + 21. Let j(k) = 2*k - 15. Let z be j(r). Suppose 514 = 2*n + 3*t, 5*t = -z*n + 540 + 231. Is n composite?
False
Let k = 158 + 93. Is k a composite number?
False
Let o(s) = 2*s - 14. Suppose i = -3*u - 0*u + 26, 2*u - 5*i = -11. Let x be o(u). Suppose x = f + 3*f - 620. Is f a prime number?
False
Let c(v) = -v - 2. Let f be c(11). Let s(p) = p**2 + 5*p + 23. Is s(f) a prime number?
True
Let g be ((-8)/(-6) + -1)*-6. Let n(p) = 39*p**2 - 3*p - 4. Is n(g) composite?
True
Let w = -32 + -13. Let t = w - -98. Is t composite?
False
Let t(s) = -3*s + 40 - 5*s + 3*s + 4*s + 2*s**2. Let i be t(0). Is (-12590)/i*1*-4 composite?
False
Let c = -