x**3 + 2*x**2 - x. Let s be a(1). Let i be z(s). Is (i - -70)/((-12)/(-8)) composite?
True
Suppose -y = -0*y + 5, -t = -y - 7732. Is t composite?
False
Let u(q) be the second derivative of q**5/20 + q**4/2 - 4*q**3/3 - 7*q**2/2 - 9*q. Let t be u(-7). Is t/(0 + 4) + 445 prime?
False
Is 1/4 + (-10941)/(-28) a prime number?
False
Is 8/32*-4 + 1044 composite?
True
Suppose 4*h = 7*h - 921. Let c = h - 176. Is c a prime number?
True
Is ((-7 - -949) + 11)*(2 - 1) composite?
False
Let u = 13 - 16. Let n = 6 + u. Suppose 4*d + r - 189 = 0, n*d + 3*r + 2*r - 146 = 0. Is d prime?
True
Is 11830/208 + (-2)/(-16) composite?
True
Let n be 192*(-96)/30*(-6 - -1). Let d = -1689 + n. Is d prime?
False
Suppose 2*d + 2*d = -3*f + 20, f = -2*d + 8. Suppose -d*t - 159 = -x, 5*t - 96 = -5*x + 729. Is x prime?
True
Let r be 2/10 + 8/(-40). Suppose -5*t = b - 2, -b = -3*t + 6 - r. Let w(d) = -364*d + 7. Is w(b) composite?
True
Let n be 1760 - 0 - (0 - -2). Suppose 215 = -m + n. Is m a prime number?
True
Let j be 346038/121 + (-4)/(-22). Suppose 5*k - k - j = 0. Suppose -3*q = 2*q - k. Is q composite?
True
Let o = 44 + 249. Is o a prime number?
True
Suppose -18 = 2*c + 4*c. Is (1354*c/5)/((-4)/10) prime?
False
Is 15/125*5*(-4253050)/(-30) prime?
True
Let j(g) = -195*g + 104. Is j(-7) prime?
False
Let w = -8 + 17. Let u(i) = -2*i + 7*i**2 - w + 0*i + i**3 - 2*i. Is u(-7) a composite number?
False
Suppose 3*a - 6*a - 3*s - 3 = 0, -3 = -s. Is (78170/(-40))/(1/a) a prime number?
True
Suppose 62290 = 7*y - 34107. Is y composite?
True
Let h(q) = q + 3. Let t be h(5). Let p(g) = 8*g**2 - 9*g. Let b be p(t). Suppose 5*o - 5*l - b = 0, -3*l = 2*o - 3*o + 86. Is o a composite number?
False
Let n(v) = -1245*v**3 - v**2 + v + 2. Let u be n(-1). Let b = -746 + u. Is b composite?
False
Let w(t) = -5444*t - 485. Is w(-5) prime?
False
Let t(r) = 187*r**3 + 6*r**2 - 15*r + 9. Is t(5) a prime number?
True
Let t(p) = p**3 + p**2 - 5. Let f be t(0). Let k(g) = -g - 3. Let o be k(f). Suppose 5*r - o*q = 5849, 4*q + 4846 = 5*r - 1007. Is r a prime number?
False
Is -2*2/(-30) + 1571079/45 a prime number?
True
Suppose -6*n = -3*n - 6. Suppose -2*u = n*u. Suppose 3*m - 1947 = y + 4*y, u = m - 5*y - 649. Is m prime?
False
Suppose 0 = -2*c + 486 + 348. Suppose -4*z + 5*v + 2056 = 0, -c = 4*z - v - 2489. Is z a composite number?
True
Let c(p) = 9*p**2 + 55*p + 685. Is c(56) a composite number?
True
Let r(s) = -s**3 + 21*s**2 - 55*s - 42. Is r(17) a prime number?
True
Let q = 36554 - 22411. Is q prime?
True
Let s = -9833 - -16984. Is s composite?
False
Suppose 194870 + 588728 = 38*j. Is j prime?
False
Let l be (-2)/(-20)*-8*(-5)/2. Suppose -4*n + 1154 = l*o, -n - 4*n = -5*o + 2840. Is o composite?
False
Let w = -415 + 2889. Is w composite?
True
Let m be (40/(-30))/(4/(-15)). Suppose -183 - 202 = -j. Suppose -2*t = 3*l - 4*l - 169, -5*l + j = m*t. Is t a composite number?
True
Suppose 3*y - 7 = 5. Suppose 5*h - y*c - 661 = 0, 0 = -4*c + 3 + 1. Is (0 + -2)/((-2)/h) prime?
False
Let f(n) = -n - 1. Let c(s) = 3*s + 4. Let m(u) = -c(u) - 6*f(u). Let h be m(1). Suppose 4*l = -8, 3*i - h*l + 0*l = 184. Is i composite?
True
Suppose 5*u = -4*r + 9268, -r - 5*u + 2317 = -0*r. Is r a composite number?
True
Let j(a) = 18*a + 13 + 6 - 23. Let s be j(7). Let l = s - 36. Is l composite?
True
Let c(t) = t**3 - t**2 + t - 12. Let z be c(3). Is (-87)/4*(-1524)/z a composite number?
True
Suppose 2*z + 2*x = 780, 5*z + x - 1977 = 5*x. Let g = z + 922. Is g a composite number?
True
Let v = 100 - 103. Is -3 - (-11 - v)*1634/4 composite?
True
Let t(l) = 26*l**3 + l**2 + l. Let r be t(2). Suppose 4*h = -s + 369, 4*s = -s + 2*h + 1889. Let w = s - r. Is w a prime number?
True
Suppose -30102 - 7103 = -l + b, 4*l - 148796 = -2*b. Is l a composite number?
False
Suppose -25*o + 8523 = -22*o. Is o composite?
True
Let r be (1 - (6 - 4))*-2. Suppose -u + 0*z + 2*z = -70, r*u + 2*z = 122. Let y = -5 + u. Is y a composite number?
False
Suppose -8 = 15*t + 37. Is 9834/4 - t/6 prime?
True
Let v be 18/2 + (-6)/(-3). Let h = v - 6. Suppose 3*o + 5*t - 2*t = 867, 1473 = h*o - 2*t. Is o a composite number?
False
Let f be (7 - 3)*9/(-12) - -5336. Suppose 4*r = -r - 3*k + f, 4284 = 4*r - 2*k. Is r composite?
False
Let n(z) = 0*z + 5*z + 4*z - 25 + 8*z. Is n(10) a composite number?
True
Suppose -59936 = -16*u + 103632. Is u prime?
True
Suppose 79340 = 4*n - 5*j, 3*n + 2*j = -j + 59505. Is n a composite number?
True
Let b = 7 - 7. Suppose b = j - 0*j - 23. Let z = j + 36. Is z a prime number?
True
Suppose 13*u = -7*u + 352460. Is u a composite number?
False
Let j(k) = 1640*k + 221. Is j(15) composite?
False
Let p(h) = 11*h**2 + 3*h + 6. Let f(z) = -56*z**2 - 16*z - 31. Let w(v) = -2*f(v) - 11*p(v). Let l(o) be the first derivative of w(o). Is l(-2) a prime number?
False
Suppose 2*g - 3*n = -6 - 3, 3*g + 15 = 5*n. Suppose 0 = 2*r - 4*r + 4*m + 24, -2*m - 10 = g. Suppose 0 = -q - 5, 5*q = -4*l + r*q + 357. Is l composite?
True
Let k(j) = 12*j**2 - 2*j + 5. Suppose 1 = -3*x + 4*m, -5*x - 3*m = -0*m + 21. Is k(x) composite?
True
Let a(r) = 5*r + 6. Let v be a(0). Is 1438/v*((-1 - 3) + 7) prime?
True
Let p(j) = 6*j**2 + 9*j + 2. Let c(m) = m**2 - m + 6. Let h be c(-7). Suppose -2*k - 38 = 4*d, 3*k + 20 = 5*d + h. Is p(d) a composite number?
True
Suppose 2*w + 3*w + t - 52 = 0, 0 = 2*t - 4. Let a be ((-796)/w)/((-1)/(-5)). Let d = -277 - a. Is d a composite number?
True
Let i be (-3)/12 + (-3759)/(-12). Let q = i + -611. Is (q/2*2)/(-2) composite?
False
Let r(o) = -o - 2. Let k(z) = -z**3 - 8*z**2 - z - 11. Let d be k(-8). Let m be r(d). Is (-1160)/(-12) + m/3 a prime number?
True
Let b be (-18)/(1 + 3/6). Let s be (-9)/(-12) - (-8721)/b. Let k = 1205 + s. Is k a composite number?
False
Let a(z) be the second derivative of -z**6/80 - 7*z**5/120 - 7*z**4/12 - z. Let w(c) be the third derivative of a(c). Is w(-5) a composite number?
True
Suppose 0 = 9*v - 8*v - 2*s - 51451, 0 = 2*v + 4*s - 102894. Is v composite?
False
Let g(y) = -3*y**2 - 145*y - 15. Is g(-19) a composite number?
False
Suppose -27*q - 9268 = -23*q. Is 4*(q/4)/(-7) prime?
True
Let w(j) = -5*j - 34. Let h be w(-15). Let v(c) = -3*c + 2. Let d be v(2). Let u = d + h. Is u prime?
True
Suppose 4*s - x - 12 = 0, 2*x + 12 = 5*s - 0. Let m be 3494/12 - s/24. Suppose -2*b + m = 101. Is b a composite number?
True
Let t be (-46*(-3)/(-9))/((-3)/153). Let a = 211 + t. Is a composite?
True
Let k = -10658 - -16273. Is k a prime number?
False
Let r(u) = 190*u**3 - u**2 - 1. Is r(4) a prime number?
True
Let c(i) = -536*i - 189. Is c(-10) a composite number?
False
Suppose -1253 = -5*m - 5*k + 58907, -2*m + 2*k = -24052. Is m composite?
True
Let z be -6 + 2 + -29 + 2. Let r = z + 30. Is (r - -54)/((-5)/(-25)) composite?
True
Suppose 6*s - s = 675. Suppose 0 = 4*d - h - s - 853, 0 = 3*d + 5*h - 764. Let v = d - 99. Is v a prime number?
True
Suppose -4*f + 226 = 22. Is f composite?
True
Let o(m) = -m**3 + 12*m**2 + 4*m + 7. Suppose 3*b + 2*y = 24, 2*y + 0*y + 36 = 3*b. Is o(b) a prime number?
False
Suppose -6*k = -k - 25. Suppose -k*p - j + 4*j = 3, -3 = -3*p - 3*j. Suppose -3*h + 318 = -4*v - 239, p = 4*h + 4*v - 780. Is h a prime number?
True
Suppose -21*k = 7*k - 1401316. Is k a composite number?
False
Suppose -3668 = 2*j - 3*n - 15356, 0 = -3*j + 5*n + 17534. Is j/6*2/2 a composite number?
True
Suppose 146*d - 143*d = 68199. Is d a prime number?
False
Let p(c) = 5*c**3 - 7*c**2 + 3*c + 10. Let l(k) = -6*k**3 + 7*k**2 - 2*k - 10. Let t(a) = 6*l(a) + 7*p(a). Suppose 3 = 5*n + 43. Is t(n) composite?
False
Let f be 2840/((-5)/(-1)) + -3. Suppose r - f = 832. Is r prime?
False
Suppose -4*q = 5*h + 889 - 4781, 958 = q + 5*h. Let w = 2249 + q. Is w prime?
False
Suppose 4*n + 47*j - 52*j - 53957 = 0, -4*n + 2*j + 53942 = 0. Is n a prime number?
False
Suppose -5*q + 0*w + 4*w + 14889 = 0, -11908 = -4*q + 4*w. Is q composite?
True
Suppose 3*k = 4*k + 3*d - 413, 2*d + 1261 = 3*k. Is (5 + 1 + -3)*k prime?
False
Let q(c) = c**3 + 4*c**2 - c - 1. Let a be q(-4). Suppose 0 = a*x - 4*x + f + 85, -f = 3*x - 251. Suppose 0 = -4*b + 8, 2*b = 3*k - 86 - x. Is k prime?
False
Suppose 0 = 5*b - c + 195 - 8072, -5*c + 7865 = 5*b. Let l = b - 1084. Is l composite?
False
Let d(y) = 558*y**2 - 7*y - 22. Is d(-3) a com