
Let b(j) be the first derivative of j**4/4 - j**3 + 5*j**2/2 + 4*j + 2. Let y be 4 - (-2 - (-7 + 4)). Is b(y) a composite number?
False
Let a(u) = -13428*u - 649. Is a(-15) composite?
False
Let c = -493261 + 767560. Is c composite?
True
Let a = -6701 - -67614. Is a composite?
False
Suppose 13*j + 3380 = -8918. Let r = j + 1665. Is r composite?
False
Let q = 105 - 95. Suppose -14*f + q = -4*f. Is -1 + 911 + -4 + f composite?
False
Suppose -182*d + 3951740 + 4267729 = -1310233. Is d prime?
True
Let m(s) = 5*s**2 + 14*s - 102. Suppose -5*v - 112 = -3*n, 4*v - 6*v + 4*n = 56. Is m(v) prime?
False
Let u(c) = -71*c + 13. Let d(v) = 31 - 22 - 3*v + 6*v. Let t be d(-7). Is u(t) prime?
False
Is (-3 + (-135)/(-40))/((-30)/3480940)*-4 composite?
False
Suppose -15*k + 14*k - 64 = 0. Let n = k + -407. Is n/((2 - 1)/(1*-1)) a prime number?
False
Let a = -235 - -264. Let h(u) = 7*u**2 - 63*u - 71. Is h(a) composite?
False
Let l = -105 + 80. Is 10551/15 + 10/l prime?
False
Let r(v) = -2*v - 97. Let u be r(-33). Let t = u - -396. Is t prime?
False
Let a(x) = 3223*x**2 - 102*x - 3. Is a(-2) composite?
False
Let l = 106231 - -13986. Is l a composite number?
True
Let j(v) = -21*v - 18*v - 127*v - 8 - 35. Is j(-12) a composite number?
False
Let t be (-1 + 11/5)*(-55)/(-33). Suppose -4*b = 3*w - 8722, w - 3652 = -t*b + 708. Is b composite?
False
Suppose 0 = -8*q + 25598 + 2186. Suppose 0 = 2*w + 713 - q. Suppose 8*o - w = -364. Is o composite?
False
Let u = 77402 + 20141. Is u a prime number?
False
Let x = -27641 + 48941. Suppose 15*f - 11*f = -4*w + x, -5329 = -w - 3*f. Is w composite?
False
Let a(z) = -77*z**2 + 1. Let i be a(1). Let x be (-167)/4 + (-3)/12. Let n = x - i. Is n prime?
False
Let v(x) = -3*x**3 - 9*x**2 - 7*x - 6. Suppose -2*b + 23 = g, 5*b = 2*g - 4*g + 58. Let t be -6*(-2)/18 - 92/b. Is v(t) composite?
False
Is ((-125232314)/1603)/(2/(-7)) a composite number?
False
Let x = 103 - 205. Suppose -4*r - 158 + 55 = g, r + 298 = -3*g. Let j = g - x. Is j prime?
True
Suppose -12*t + 19*t - 224 = 0. Suppose -p - 10 = -t. Is p a composite number?
True
Suppose 0*c - 4*c + 1765 = n, 5*c + 8725 = 5*n. Suppose -2*z = 3*y - 4*y - 16, -4*y = 5*z - 66. Suppose z*o = -119 + n. Is o a prime number?
True
Let c(x) = 189*x - 72. Let t be c(-13). Let b = t - -5012. Is b a prime number?
False
Let x = 84146 + 9820. Suppose -150*z + 144*z = -x. Is z prime?
True
Let z(m) = -m**3 + 68*m**2 + 803*m - 135. Is z(68) a composite number?
False
Is 40/350*-5 - (656968/(-7) + -1) a prime number?
False
Suppose 9*i + 93 = 237. Let j(y) = 298*y - 27. Is j(i) a prime number?
False
Let b = -28 - -31. Suppose 3*s - 29 = 5*v + 2*s, -b = v - 3*s. Is ((-4996)/v)/((-6)/(-9)) composite?
False
Let b be (27 + -26)/(1/(-7)). Let c(s) = -8*s**3 - 9*s**2 - 15*s + 3. Is c(b) composite?
False
Let n be (-6 - -7)*3 - -4. Is ((-446)/(-4))/(26/(-4) + n) a prime number?
True
Let p(l) = l**2 + 8*l + 12. Let r be p(-7). Suppose -k - 19 = 3*x - 43, k = r*x - 32. Let i(h) = h**3 - 6*h**2 + 7*h - 11. Is i(x) a composite number?
True
Let r be (-3 + -2)/5 - -4. Let g be ((-2)/r)/(3/(-18)). Suppose 4*v - 867 = -5*c, -5*v + c + 1100 = g*c. Is v a prime number?
True
Let h be 1*-4 + 16/(3 + 1). Suppose 5*j + 3*y - 142553 = -h*j, -j = -5*y - 28533. Is j composite?
False
Is 6/9 + 63 + -61 + (-211406)/(-6) a composite number?
True
Suppose 0 = -3*m + 10*m - 42. Suppose 0 = -5*h - 3*b + 629, m = -2*b + 2. Is h composite?
False
Suppose -8*s = -s + 84. Let k be (-10 - s) + -2 + 0. Is 2 + (-7364)/(k + -4) composite?
True
Let i(t) = 8399*t + 1289. Is i(27) a prime number?
False
Is (1*(-229668)/(-16))/(81/108) composite?
False
Let m(k) = 7*k + 23. Let z be m(6). Let d = -24 + z. Let w = d - 30. Is w a composite number?
False
Suppose 69 + 66368 = w. Is w composite?
True
Let r(i) be the first derivative of -i**3/3 - 13*i**2/2 + 33*i + 1. Suppose 58 + 12 = 3*g - 8*g. Is r(g) a prime number?
True
Let k be -105*(-6)/27*3. Let q = k + -68. Is ((-2 + 4)/q*-1117)/(-1) a prime number?
True
Suppose 0 = -4*z - 3*z. Suppose z = 24*o - 20*o - 6572. Is o prime?
False
Suppose -3*u - 9 = 0, a - 9 - 3 = 3*u. Let i(m) = -59*m**2 - 3*m + 1. Let v be i(a). Is -1 + (-3 - -2)*v composite?
True
Suppose 4*z - 81518 = -5*u + 21872, -25855 = -z - 5*u. Suppose -32*i - 2*w - z = -33*i, -4*w + 129197 = 5*i. Is i prime?
True
Let a(c) = -c**3 + 24*c**2 + 39*c - 12. Let y be a(28). Let z = 3879 + y. Is z a prime number?
True
Let j(p) = -p**3 - 4*p**2 + 3. Let w be j(-4). Suppose w*t = 5*l, 0*l + l = -t. Suppose 4*k - 2549 - 6687 = t. Is k prime?
True
Let h(s) = -8*s + 32. Let d be h(5). Let j(z) = 2*z**2 - 4*z - 10. Let u be j(d). Let m = u + 727. Is m a prime number?
True
Let n = 59 + -50. Let i(v) = 2*v**2 - 18*v - 1. Let j be i(n). Is 2 - -173*-9*(j + 0) composite?
False
Suppose 80*y - 12 = 74*y. Suppose y*f = -f + b + 7003, 0 = -3*b - 12. Is f composite?
False
Let j(c) = c**3 + 6*c**2 - 8*c + 2. Let q be j(-7). Is 12/(-18) + 107115/q composite?
True
Let a(h) = 162*h - 11. Let j = 579 + -564. Is a(j) prime?
False
Suppose t + 1 = 2*g + 8, 3*t + 2*g - 29 = 0. Suppose 0*u - t = -3*u. Suppose -u*w - 20 = -y, y + 0*y = 2*w + 21. Is y a composite number?
False
Suppose -27 = -16*g + 15*g. Suppose 0 = 4*b - g + 7, r - 11025 = -2*b. Is r prime?
False
Suppose 0 = 33*p - 11*p - 66. Suppose 0 = p*f + f - 35212. Is f prime?
True
Let f(q) = -1797*q**3 + 3*q**2 + 9*q - 1. Is f(-2) a composite number?
False
Let q = 71 - 64. Suppose 0 = -2*x - 5*u + 85, -3*x = -q*x - 2*u + 194. Is 5*((4 - 2) + 10320/x) composite?
True
Is (3*1/6)/(-8 + 803571/100446) composite?
False
Let j be (-3)/6*-16 + -5. Suppose -5*f + 3*g + 1956 + 3755 = 0, j*f - 3415 = -4*g. Is f a composite number?
True
Let n(k) = 117*k**2 + k + 9. Let a be n(-4). Let w = -412 + a. Suppose -4*i = m - w, 0*m = -i + m + 360. Is i a composite number?
True
Let g be 1 + 3 - (-21 + 1). Suppose -5*m = 2*h + 10, 0 = -5*h - 1 - g. Suppose m = -0*j - 6*j + 1074. Is j composite?
False
Let d = -68 - -40. Let x = d - -26. Let u(n) = -24*n**3 + 2*n**2 - 3*n - 3. Is u(x) a prime number?
False
Let y(h) = -h**3 - h. Let i(f) = -3*f**3 + 5*f**2 - 6*f + 6. Let s(x) = i(x) - 2*y(x). Let v be s(2). Let j(o) = 51*o + 27. Is j(v) a prime number?
False
Suppose -1212768 = -15*l + 1465617. Is l composite?
False
Suppose -15*x - 5060 = -19*x. Let m = 1924 - x. Is m prime?
True
Let k(w) = -5731*w + 5. Suppose -25 = 5*r - 0*r, 2*n + 29 = -5*r. Is k(n) prime?
True
Let x = -294 + 150. Let w = 341 - x. Suppose d - 4*d = 0, w = 5*h - d. Is h a prime number?
True
Let p = 10195 + 91032. Is p a composite number?
True
Let f(z) = 12*z**2 + 11*z - 22. Is f(-7) a prime number?
False
Let p be 450318/(2 + 4) + -5. Suppose 39*b - p = 15*b. Is b composite?
True
Suppose 176635 = 4*y - r, 5*r - 81724 - 227394 = -7*y. Is y prime?
True
Suppose 546*m - 116606090 = 18*m + 288571078. Is m prime?
True
Let h(v) be the second derivative of v**5/20 + 2*v**4/3 - v**3/3 - 4*v**2 - 9*v. Let j(z) = -z**2 + 2*z + 1. Let x be j(-2). Is h(x) prime?
False
Let h be 6/(-27) - 14754/(-54). Let k be (-4)/(-26) + 777/h. Suppose 2*z - q = 471, 4*z - k*q = 385 + 554. Is z a prime number?
False
Suppose -5*u + 2*r = r + 2935, -587 = u - r. Let g = -230 - u. Suppose -10*i = -7*i - g. Is i prime?
False
Let z(q) = -q**3 - 10*q**2 - 22*q + 28. Let u be z(-16). Suppose 0 = -d + u + 1355. Is d a prime number?
True
Suppose 2*x = -2*f + 23936, 0 = 3*f + 2*x + 4093 - 39992. Is f composite?
True
Let u(y) = -66*y + 6. Let w be u(5). Let i(d) = 18*d - 137. Let r be i(-30). Let l = w - r. Is l prime?
True
Suppose -9*k + 12*k - 1587 = 0. Suppose 3*w - k = 584. Is w composite?
True
Suppose -4*m - 149 = u, 0 = 2*m - m + 4*u + 56. Let g be (-1)/(-2)*-3 + 18/m. Is (-8)/g*(0 - (-771)/12) prime?
True
Suppose -2*l + 10816 = -3*r + 4*r, 4*r = 0. Is (-37)/(-185) - l/(-10) a prime number?
True
Suppose -22 = -4*b - 46, w + b - 50273 = 0. Is w prime?
False
Let f(d) be the second derivative of 3*d**5/20 + 5*d**4/6 - d**3/6 + 5*d**2 + d. Let r be f(-7). Is 2*(-3)/6 - r prime?
True
Is ((-90)/(-12))/(-5) - (100575/(-6) - -2) prime?
True
Suppose 48681 = 3*o - 3*l, -8335 = -4*o + 3*l + 56577. Suppose -4*g + 2*m + 17570 = 0, -4*g + o + 1342 = m. Is g prime?
False
Suppose -12*p + 15317 = -178639. Is p prime?
Fal