7 - 563982/(-45) a prime number?
False
Let a(y) = -5*y - 43. Let k be (234/(-52))/(1/2). Let r be a(k). Suppose -16775 = -5*q + r*i + 2*i, 3*q - 10033 = -4*i. Is q a prime number?
False
Suppose 5374*p = 5365*p + 1969767. Is p a prime number?
False
Let p be 45939/5 - 7/(-35). Let c = p + 1713. Is c a composite number?
True
Let w = -215121 - -432612. Is w composite?
True
Suppose -r + 30 = -3*r + v, -36 = 3*r + 3*v. Suppose 0 = -2*m - m - 3*g - 9, -5*m = -3*g + 23. Is 14208/56 + m/r a prime number?
False
Is ((-54673)/12 + 30/(-120))/(1/(-9)) composite?
True
Suppose -12 = 27*g - 31*g. Is (g/2)/(15/176470) a composite number?
True
Let c(l) = -l - 3. Let g be c(0). Let a(d) be the third derivative of -56*d**4/3 - 7*d**3/6 - 194*d**2. Is a(g) composite?
True
Let p(r) = -r**3 - 15*r**2 + 9*r - 18. Let j be p(-16). Let c = j - 89. Suppose -2*d - q + 3895 = 0, -5862 = -0*d - 3*d + c*q. Is d composite?
False
Suppose 5*g + 101 = 2*u, 2*u - 10*g + 9*g = 105. Suppose 6*b = -u*b + 1723567. Is b composite?
True
Let g be 495/(-99) + (-1 - -6). Suppose 2*y = -0*y - j + 10591, g = -2*y - 2*j + 10588. Is y prime?
True
Let u(a) = 2558*a**2 - 49*a + 2. Is u(3) a prime number?
True
Suppose -15 + 14 = -l, 5*w + 2*l - 1731297 = 0. Is w a composite number?
False
Let o(s) = 288*s - 2467. Is o(15) prime?
False
Let q(b) be the third derivative of 199*b**4/24 + 29*b**3/6 - 89*b**2. Is q(8) prime?
True
Let y(z) = -2*z**3 - 23*z**2 - 101*z - 23. Is y(-6) a composite number?
True
Suppose 4406 = 5*g - 2*r, 0 = 4*g + 2*r - 1895 - 1637. Let v be (-8)/6*18/(-4). Suppose -48 = v*d - g. Is d a prime number?
True
Let l(m) = m**3 - 5*m**2 - 4. Let n be l(3). Let c be ((-23)/(92/24))/((-12)/(-66)). Is (-4)/n - 2535/c a prime number?
False
Let l be (-24)/36 - 8/(-12). Suppose l = -2*h - h - s + 76305, -s - 76305 = -3*h. Is h composite?
True
Let n(g) = -3*g**3 - 12*g**2 - g - 13. Let k(m) = -3*m**3 - 12*m**2 - m - 13. Let f(a) = 4*k(a) - 3*n(a). Let t(b) = -5*b + 1. Let o be t(2). Is f(o) prime?
False
Suppose -21 = -2*u - 3*x, -3*u + 4*u = 2*x - 7. Suppose 5*z = 2*g + 20249, 0 = -u*g + g - 4. Is z a composite number?
False
Suppose 120*v + j = 118*v + 152763, -4*v + 305496 = -4*j. Is v composite?
False
Let o = -1886 + 3301. Is o/2 - 9/(-6)*1 prime?
True
Let j = -266 + 269. Let u(t) = t**2 + 2*t + 1. Let c be u(-3). Suppose c*r - 7557 = -j*f, -5*f - 2368 = -3*r + 3336. Is r prime?
False
Let n be 3400/(-55) + 5/(165/(-6)). Let l = n + 67. Suppose 0 = -l*g - 117 + 5962. Is g a composite number?
True
Suppose 16*w = 31*w - 12*w - 489921. Is w a composite number?
False
Let j be (-2)/(-2) + -18 + 3114. Suppose -7*i = -354 - j. Suppose -9745 = -5*u - 4*c, 2*u - 4391 + i = 3*c. Is u prime?
True
Let y(h) = h**3 + 130*h**2 + 908*h - 61. Is y(-88) composite?
True
Let v(h) = 4338*h - 2519. Is v(7) a composite number?
False
Let o = 124514 + -39321. Is o composite?
False
Is (103/(-103))/((-2)/143722) prime?
True
Let l(b) = -b**3 - 29*b**2 + 70*b + 128. Let o be l(-34). Let w be (-2)/6 - (-5686)/3. Let g = o - w. Is g prime?
False
Is (3*(-51)/12)/(2 + 827611/(-413804)) composite?
True
Suppose -4*k = 10 - 378. Suppose 0*o = -4*o - 2*s + k, -5*s + 55 = 3*o. Is (2 + o/(-20))*8 a prime number?
False
Suppose s + 2*s = 3*o - 144051, -240085 = -5*o + s. Is o prime?
True
Let i(m) = m**3 + 23*m**2 - 16*m - 1. Let q(u) = -11*u + 27. Let g be q(4). Is i(g) a prime number?
False
Let a = 204 + -208. Is (9822/(-12))/(a/24) composite?
True
Let p(q) = q**3 + 13*q**2 + 11*q - 22. Suppose 4*x = -u + 24, 3*x + x = -2*u + 40. Suppose -128 - 16 = u*j. Is p(j) a prime number?
False
Let p(v) be the third derivative of v**7/210 + v**6/72 + v**5/24 + v**4/8 - v**3/6 + 15*v**2. Let d(h) be the first derivative of p(h). Is d(7) a prime number?
False
Let a(b) = b**3 - 8*b**2 - 11*b + 22. Let l be a(9). Let y = 7 - l. Let k(t) = 22*t + 5. Is k(y) a prime number?
True
Let t(z) = -3*z + 8 + z**3 + 21*z**2 + z - 26*z**2. Let p be t(7). Suppose -2501 = -3*l - p. Is l composite?
True
Suppose -3*x - 6 = -6*x + 2*d, -10 = -5*x + 5*d. Suppose 4*z - 22 = 3*r, x*z - 2*r = 6*z - 12. Suppose -z*u + 100 = -184. Is u a composite number?
False
Let w be (-6)/(-72)*2*3*2. Suppose 7 = 4*b - w. Suppose -5*d + 1885 = 5*c, 6*c - 5*d - 1526 = b*c. Is c a prime number?
True
Let b be (23 - 21)*2/(8/(-178)). Is b*(-5)/((-25)/(-115)) prime?
False
Suppose -50*r = -219*r + 61272809. Is r a composite number?
False
Let l(c) = 4*c + 22. Let h be l(-3). Suppose 5*s = -h + 20. Suppose -s*d - 2035 = -7*d. Is d prime?
False
Let c = -7 - -4. Let n be (-43)/((-1)/(-137 - c)). Is (-15)/(-20) + n/(-8) prime?
False
Let u = 26 + -14. Let r(i) = 6 + 17 + 71*i + u*i. Is r(10) prime?
True
Suppose -4*i - 7*d - 9344 = -2*d, 4*d - 7039 = 3*i. Let r = i - -8846. Is r prime?
False
Let l(s) = 2283*s + 5. Let t be l(1). Suppose 3*x = -3*m + 6828, -3*m - 22 = x - t. Is x prime?
True
Is ((-18334860)/(-35))/6*14/(-12)*-3 a prime number?
True
Suppose -5*s + 35155 = -2*n, 2*s - 13220 = n + 841. Let h = -4326 + s. Is h a composite number?
False
Let r = -7184 - -34363. Is r prime?
True
Let r(n) = 8*n**3 - 4*n**2 - 539*n + 284. Is r(29) composite?
False
Let v(y) = y**3 - y**2 - 12*y + 10. Let k be v(4). Let a(l) = k*l + l**2 - 8*l + l**2 - 5*l. Is a(-13) a prime number?
False
Let j(w) = 175*w - 89. Let a(q) = 87*q - 45. Let t(h) = 5*a(h) - 2*j(h). Let n(i) = -i**3 + i**2 + 3*i + 2. Let b be n(-2). Is t(b) prime?
False
Let q = -1043 - -539. Let i = 985 + q. Is i a prime number?
False
Let c(w) = -14045*w**3 + w**2 + 2*w - 1. Let b be c(-2). Is (-12)/102 - b/(-51) a prime number?
True
Suppose -2*y - u = -6, 0 = -2*y - 2*y - u + 10. Let a be (1 + (-709)/3)/(y/(-3)). Suppose -6*x + 5*x = -a. Is x prime?
True
Let f be 5/10*6 - 1. Suppose f*p - 1075 = -257. Is p composite?
False
Let s(u) = -185*u - 26. Let m be s(-20). Is m/3*60/40 prime?
False
Suppose -13 = -4*g - 13. Suppose g = -3*i + 6*i - 12. Suppose -5*m + 25 = 0, i*t + 5*m = 2*t + 1967. Is t a composite number?
False
Suppose 0 = -13*a + 58488 + 16457. Suppose -a = 6*v - 45803. Is v a composite number?
False
Let z(a) = -a**2 - 9 + 0 + 2 + 5*a - 2*a**2. Let f be z(2). Let q(u) = -2*u**3 + u**2 - 14*u - 8. Is q(f) a composite number?
False
Let g(t) be the second derivative of t**5/20 - t**4/6 - 9*t**2/2 + 12*t. Let u be g(3). Suppose u = -2*x - r + 3*r + 1670, r - 4175 = -5*x. Is x prime?
False
Suppose 413*w - 390*w - 92 = 0. Suppose -3*i + 4*x = -19225 - 5556, 2*i - 16522 = 3*x. Suppose w*l + l - i = 0. Is l a prime number?
False
Let h = -22176 + 42803. Is h prime?
True
Let t(k) = -4*k + k + 28 + 23 - 52. Let f be t(-8). Suppose 0 = f*u - 22*u - 217. Is u a prime number?
False
Suppose 25*i + 4391357 + 854631 = 69*i. Is i a composite number?
False
Let q(u) be the first derivative of -u**3/3 + 1207*u + 9. Let h be -4 + -2 + -1 + 7. Is q(h) composite?
True
Let w(t) = -11635*t - 136. Is w(-9) prime?
True
Let x(s) = -928*s**3 - s**2 + 5*s + 6. Let c be x(-1). Let d = c - -433. Is d prime?
True
Let d(t) = 26*t**2 + 26*t - 31. Is d(24) composite?
False
Suppose 14*r + 4*q + 772662 = 16*r, -1158958 = -3*r - q. Is r a composite number?
True
Suppose -3*i - 5*a = -0*i - 1566, -5*a = 0. Suppose 3*n = 5*y + 1068, -2*y = 2*n - 206 - i. Is n prime?
False
Suppose 0 = -2*o - 2*o - 4*b + 44, o = -5*b + 3. Is (o - 13) + 2*(-6837)/(-6) composite?
True
Let b = 14687 + -7196. Let z be (b/(-22))/(6/(-20)). Let x = z - 762. Is x a prime number?
True
Let p be 56 + 2 + 8/((-12)/3). Let i = p + -54. Suppose -4*o + 3*a + 523 = i*a, 4*a = -o + 135. Is o a composite number?
False
Let d = -446 + 372. Is (-236245)/d*(-1 - -3) prime?
False
Suppose -176 = -f + 2*f. Let g = 558 + f. Suppose -2*q + 0*d + d = -g, 4*q = -5*d + 764. Is q a composite number?
False
Let t(l) = -42*l - 1. Let n be t(3). Suppose 9*v - 50 = 34*v. Is (7/((-21)/n))/(v/(-6)) composite?
False
Let i(j) = -12 + 19 - 2*j + 3*j**2 - 6. Let f be i(2). Is (822/4)/(-4 - f/(-2)) a prime number?
False
Let b = 119 + -103. Suppose -h + 4*w = w, -4*h - 4*w = -b. Suppose h*t + 2*i = 2487, 5*t = -0*i + 4*i + 4145. Is t composite?
False
Let j(w) = -5*w**2 - 4*w**2 + 7*w**3 - 19 + 7*w**2 + 10*w - 5*w**2. Is j(8) prime?
False
Let h(z) = 3*z + 5 + 24*z + z. Let j(a) = -75*a + 307. Let g be j(4). Is h(g) prime?
False
Let