 s composite?
True
Suppose 81*k = 89*k - 4408. Is k a prime number?
False
Let i(p) be the second derivative of -53*p**3/6 - 3*p**2 + 90*p. Suppose w = -4*z - 9 - 6, 3*z - 2*w = -25. Is i(z) composite?
True
Let c(d) = 252*d - 1. Let q = 12 + -11. Is c(q) prime?
True
Let t = 12161 + -6042. Is t a composite number?
True
Is ((-381354)/(-4))/(48/32) prime?
True
Suppose 3*b = 3*s - 0*s - 12, 2*b - 5*s = -2. Is (-2)/(-6) + (-1072)/b a composite number?
False
Let f(z) = z**3 - 28*z**2 + 6*z + 32. Let k(w) = 2*w**3 - 56*w**2 + 12*w + 64. Let n(s) = 5*f(s) - 3*k(s). Is n(25) composite?
False
Let f(r) = -3*r + 119. Let w(j) be the second derivative of 2*j**3/3 - 119*j**2/2 - 4*j. Let v(s) = 3*f(s) + 2*w(s). Is v(0) a composite number?
True
Let q be (-382)/(-8) + (1 - (-12)/(-16)). Let i = 423 + q. Is i a composite number?
True
Let c(z) = -3286*z - 23. Is c(-1) a prime number?
False
Suppose 0 = -0*d - 5*d + 20. Let c(i) = -6 - 2*i + 2 + 155*i**2 + d. Is c(-1) prime?
True
Let b = 22 - 21. Suppose -4*v + 17 = -5*q + b, -v + 4 = -2*q. Suppose q = 2*x + x - 1143. Is x prime?
False
Suppose -39*u = -63*u + 123384. Is u a composite number?
True
Let x be 198/11*4/(-6). Let t = -10 - x. Suppose -2*k + 5*i = -392, 4*i = t*k - 130 - 260. Is k a prime number?
True
Suppose 4*i + 5*r + 9 = 0, -r - 3*r = 5*i. Let m be ((-4)/10)/(i/(-20)). Suppose 5*a - 285 = m*a. Is a a prime number?
False
Is (-2)/(-7) + 1406/(-266) + 1323 prime?
False
Let q be (-4)/18 - 16289/(-117). Suppose -2*k = -q + 39. Is 4/(-3 - 1) + k composite?
True
Let f = -89 - -89. Suppose -3*v + 8*v - 19945 = f. Is v a prime number?
True
Let o be (-4)/(-14) + ((-32)/14 - -1). Is 57*1/(2 + o) a composite number?
True
Suppose -2*y + 2*q + 19 - 1 = 0, 0 = 2*y + 3*q + 7. Let l = y - 5. Is 0 + 3 + 415 - l composite?
False
Suppose -t + 40199 = 4*a, -a + 120564 = 8*t - 5*t. Is t prime?
False
Let h(l) = -3*l - 2. Let n(j) = -j**2 + j + 2. Let k be n(0). Let f be h(k). Let a(v) = -17*v - 5. Is a(f) a prime number?
True
Let v(l) = -2*l**3 + 19*l**2 + 25*l - 7. Let s(h) = -h**3 + 9*h**2 + 13*h - 4. Let z(q) = -5*s(q) + 3*v(q). Is z(12) a composite number?
True
Let v be 2/8 - (-385)/44. Suppose 4*f - 3619 - v = 0. Is f a composite number?
False
Let g = -313 - -1426. Let b = 1816 - g. Is b composite?
True
Let o(v) = -538*v - 25. Is o(-6) composite?
False
Let t(n) = -568*n - 565. Is t(-6) a composite number?
False
Let y(x) = -x - 10. Let q be y(-11). Is (751 - 6 - -6) + q + -1 a composite number?
False
Suppose -4*i - 21 = -5*x, -3*x + 24 = -4*i + x. Let j = i + 7. Is (-1524)/(-30)*(-5)/j a prime number?
True
Let u be (-2139)/(-9) - 4/12*2. Suppose 4*n - 5*c - 1109 = -u, 3*n - c - 665 = 0. Is n prime?
True
Let z = -9 + 21. Suppose 3*j + 0*j - z = 0, -3*m = 2*j - 365. Is m a prime number?
False
Let r(s) = -26*s + 258. Is r(-16) a prime number?
False
Let h(g) = 119*g**2 + 4*g - 2. Let m = 59 + -56. Is h(m) composite?
True
Let u = -949 - -419. Let s(r) = r - 1. Let g be s(3). Is (g/(-4))/(5/u) prime?
True
Let h(g) = 39*g - 1. Let a = 36 + -35. Is h(a) a composite number?
True
Let a(h) = 53*h - 23. Let c be a(11). Suppose 4*k - c = -v, 187 + 234 = 3*k + v. Is k a prime number?
True
Suppose -4*k + k - 102 = 0. Let j = k + 28. Is (-7)/(2 + 14/j) a prime number?
False
Let s = -275 - -1454. Suppose 0*r - s = 3*r + 4*z, 2*z = 2*r + 772. Let j = -244 - r. Is j a prime number?
False
Is 83798/(-22)*(-2 + 1) composite?
True
Let y = -1065 + 2024. Is y a prime number?
False
Suppose 0 = -12*c + 10923 + 4065. Is c a composite number?
False
Suppose -4*n = -5*v + 4505 + 173920, 5*n + 35706 = v. Is v prime?
False
Let j = 13387 - 3030. Is j prime?
True
Is (-566)/(-4)*10 + 2 + -8 a prime number?
True
Is 13/(312/139362) - 1/(-4) a composite number?
False
Let k = -2 - -7. Suppose -k*l - 3*l + 752 = 0. Is l prime?
False
Let b = 295 + 78. Let v = 2076 - b. Is v a prime number?
False
Let h(w) = -83*w**3 + 9*w**2 - 14*w - 27. Is h(-7) a composite number?
True
Let u(t) = -t**3 - 4*t**2 + 3*t + 17. Is u(-10) a composite number?
False
Let z be 2/(2*1/(-3)). Let x(l) = -216*l - 7. Is x(z) a composite number?
False
Let n(z) = z**3 - 6*z**2 - 6*z - 4. Let a be n(7). Suppose 2*v = -2*v + a*j + 19, 23 = 5*v - 3*j. Suppose -8*q + 628 = -v*q. Is q prime?
True
Suppose -18*v + 21421960 = 38*v. Is v a prime number?
False
Is ((-2406)/10 - 12/30)*-2 composite?
True
Suppose -2*j - x + 10690 = 0, 0*j + 5*x = -5*j + 26725. Is j a composite number?
True
Let i(q) = -15*q + 6. Let o(w) = -1. Let p(m) = i(m) - o(m). Is p(-12) a composite number?
True
Let j = 23872 - 11381. Is j prime?
True
Let u = -36 - -89. Let x be (-21)/(6/(-64)*2). Let b = x - u. Is b composite?
False
Let i(b) = b**3 - 3*b**2 + 2*b. Let j be i(2). Suppose j = 2*q - 1559 + 17. Is q a composite number?
True
Let m(h) = -10*h + 7. Let t be (-210)/(-25) + (-4)/10. Suppose -t = -2*z, -4*o - 5*z - 4 = -2*o. Is m(o) composite?
False
Suppose -2*v = -2851 - 1651. Is v a composite number?
False
Suppose 5*p = -79 + 19. Let q be 3/12 - 45/p. Suppose -2477 = -q*v - 417. Is v composite?
True
Suppose -y = 4*y + 5770. Let z = y - -2023. Is z a prime number?
False
Suppose 27 - 7 = 5*w. Let c be w - (-1)/(1/(-3)). Is c/3*(-11 - -158) prime?
False
Let y(j) = 805*j**2 - 29*j - 43. Is y(-13) a prime number?
True
Suppose 757 = 34*o - 33*o. Is o a prime number?
True
Let b = 5 - 1. Suppose p + 7*l = 5*l + 2151, -b*p + 5*l + 8617 = 0. Is p prime?
True
Suppose -4*u + 4*o - 4616 = -1576, 0 = 5*u - o + 3792. Let l = u + 1081. Is l a composite number?
True
Suppose 7073 = -3*n + 41204. Is n a prime number?
False
Let r be 20680/165*(-9)/4. Suppose 1293 = 4*v - v. Let p = v + r. Is p composite?
False
Let a(p) = -p**3 - 6*p**2 + 6*p - 5. Let i be a(-7). Suppose f + 199 = i*f. Is f a composite number?
False
Let c(b) = -8*b**3 + 5*b + 10. Let x be c(-4). Suppose 10*j + x = 12*j. Is j prime?
True
Let z be (3/12)/1 + (-17)/4. Suppose -4*o - 3*v = -0*v - 60, 2*v = 0. Let s = z + o. Is s prime?
True
Let k be 95 - (6/3 - -1). Suppose -6*v - k = -8*v. Is v a composite number?
True
Let s be 7*(393/21 + -3). Suppose -3*p = 5*a - 2070, 0*p - 1242 = -3*a + 3*p. Suppose -2*g = -2*u - 512, 0 = 2*g + 2*u - s - a. Is g prime?
False
Suppose 0*s - 3*s - 29 = -2*j, -4*s = 5*j - 38. Let z be 4/10 - (-4896)/j. Suppose z - 30 = 4*a. Is a a composite number?
True
Suppose -3*n = -x - 65237, 0 = 4*n - 4*x - 45124 - 41864. Is n composite?
True
Let a(o) = o**3 + o**2 - 4*o - 1. Let r be a(-3). Let h = 7 + r. Suppose h = 5*z - f - 2345, -z = -0*z + 5*f - 469. Is z composite?
True
Let w(x) = -14*x**3 + 2*x**2 - x - 2. Suppose 5*h = -2*l - 19 - 6, -2 = 4*h - 2*l. Is w(h) composite?
False
Is (-1042)/(-10)*(2 - 6 - -9) a composite number?
False
Let p(u) = 2*u**2 - 12*u + 70. Is p(-18) composite?
True
Suppose 2*c + 3*b = 286 + 467, -3*c + 4*b + 1155 = 0. Let t(g) = -g**3 + 9*g**2 - 13*g - 2. Let u be t(7). Suppose -c = 2*d - u*d. Is d a prime number?
True
Let h(t) = 22*t**2 - 15*t + 13. Is h(-18) a composite number?
False
Suppose 4*u - 2*k = 36598, 4*u = 3*k - 8*k + 36591. Is u a composite number?
True
Let l(t) = 14*t**2 + 7*t - 4. Suppose -m + 6*m + 35 = 0. Is l(m) a composite number?
True
Let r be ((-345)/10 + -1)*22. Let l = 1098 + r. Is l prime?
True
Suppose r - 4*r - 19 = -5*a, 0 = a + 4*r - 13. Suppose -52 = -2*b - 2*q, 3*q + 144 + 2 = a*b. Is 2286/14 - 8/b a composite number?
False
Let v(t) = 20*t - 5. Let m be ((-2)/5)/(3/(-75)). Suppose -4*q = 2*n - q - 4, -5*n + 5*q = -m. Is v(n) a prime number?
False
Let t = -12 + -2. Let m be 103*t/(0 - -2). Let g = m - -1274. Is g composite?
True
Let d = 4275 + 695. Suppose -3*f - 2*f = -d. Suppose -4*t + f = 150. Is t composite?
False
Let z(q) be the second derivative of 35*q**4/4 + q**3/3 + 7*q**2/2 + 43*q. Is z(-4) composite?
True
Suppose 4*l = 5*y + 35, 3*l - 23 = -l + y. Suppose 5*j = 3*u - 809, -2*u - l*j - 184 = -765. Is u composite?
True
Let v be 2/(-10) - (-62)/10. Suppose v*n - 815 = n. Is n a composite number?
False
Let o(z) = -z**2 - 5*z - 11. Let w be o(-4). Let v(x) = -4 - 3*x**3 + 1 + x**3 - 10*x**2 + 6 - 10*x. Is v(w) composite?
False
Suppose -60 = 4*l - 2*n, 3*l + l + 60 = -4*n. Let j be (65 - 0) + 19 + l. Let v = j - 20. Is v prime?
False
Suppose -25035 = 12*b - 80343. Is b a composite number?
Tru