 Suppose -971 = -3*h + 4*g, 10*g = 4*h + j*g - 1293. Is h a prime number?
True
Is (-6 + 320/(-15))*(-9822)/4*1 composite?
True
Let i(n) = 5 - 112*n + 1 + 72*n - 3*n**2 + 2*n**2. Is i(-25) a prime number?
False
Let z(r) = -37*r**2 + 124847. Is z(0) a composite number?
False
Suppose -6*b + 1617 = -3*b + 4*d, 0 = -5*b - 3*d + 2695. Let c = b + 102. Is c prime?
True
Suppose 0 = 14*r - 25*r + 235037. Is r prime?
False
Let z(r) = 1770*r**2 - 18*r + 16. Let o(a) = -5309*a**2 + 50*a - 47. Let b(k) = -3*o(k) - 8*z(k). Is b(2) prime?
True
Suppose -4*v = -5*m + 15171, m - 3036 = -0*v - v. Suppose 0*h = 2*h - g - m, 5*h + 3*g - 7615 = 0. Suppose 4*y - j = h, -830 - 674 = -4*y - 3*j. Is y composite?
False
Let z be -31 - (-2 + 5 + -1). Let j = -29 - z. Is (-1)/(-3)*708/j prime?
True
Let u(x) = 6*x**3 - 184*x**2 + 154*x - 87. Is u(47) prime?
True
Let i = 9835 - 5574. Let g = 7124 - i. Is (-3)/3*-1*g composite?
True
Suppose 476*i - 481*i = -83095. Is i/11 - 54/(-297) a composite number?
False
Suppose -3*z - 4*q + 262211 = 0, 67*z + 87397 = 68*z + 3*q. Is z a composite number?
True
Suppose 4*p = 3*w, -2*w - 5*p = 3*w. Suppose -19*f + 24*f + 40 = w. Let i = 66 + f. Is i prime?
False
Let n(s) be the second derivative of -s**5/20 + 4*s**4/3 - 7*s**3/3 - 15*s**2/2 + 19*s. Let c be n(15). Is 134 + c - (0 + 0)/4 a prime number?
False
Suppose 73*a + 3*h = 70*a + 27702, -h = 5*a - 46190. Is a composite?
False
Is (-133 - -131)*(242974/(-12) + (-8)/12) a composite number?
True
Suppose 0 = -5*m + 5*j + 373860, 68*m - 4*j - 74775 = 67*m. Is m prime?
True
Is (-1091910)/(-51) + 15 + -6 prime?
True
Suppose 2 = 3*d - 10. Let t(a) = 1462*a - 5. Let r(n) = -366*n + 1. Let u(l) = -9*r(l) - 2*t(l). Is u(d) a prime number?
True
Suppose 7*l = 2*l - 3*q + 1724911, -5*q + 1724895 = 5*l. Is l a prime number?
True
Let d(b) be the first derivative of 84*b**3 + b**2 - 14*b + 13. Let m be d(5). Suppose x = 9*x - m. Is x a composite number?
False
Suppose 37*k = 36*k + 40351. Is k a composite number?
False
Let o(y) = -y**2 - 10*y - 21. Let x be o(-7). Suppose x = -w - 2*w + 6. Suppose w*c + 3*s = 314 + 771, 4*c + 3*s - 2167 = 0. Is c a prime number?
True
Suppose -d + 194355 = u - 615021, -2*u - 3237474 = -4*d. Is d prime?
False
Let p be (-1)/((-2)/(-30)*3). Let k = p - -9. Suppose -2*c + k*c + 68 = 4*x, 5*c = 20. Is x a composite number?
False
Let u(x) = 135*x - 14. Let h(f) = -3*f - 21. Let i be h(-15). Let l = i - 15. Is u(l) a prime number?
True
Let i(j) = j**3 - 7*j**2 + 5*j + 19. Let p(x) = 2*x**3 - 11*x**2 + 8*x + 29. Let v(b) = -7*i(b) + 5*p(b). Let c be v(5). Let r = c - 131. Is r composite?
False
Is (-112)/42*-8973 + -13 composite?
True
Let c(a) = -8*a + 40. Let q be c(5). Suppose 2*g - 4035 = -i, -5*i - 4*g + 20163 = -q*i. Is i composite?
True
Suppose 0 = 611*n - 525*n - 20009018. Is n a prime number?
True
Let a = 642088 - -320609. Is a a composite number?
True
Suppose 4*b = 4*t + 240, 3*b - 196 + 46 = -3*t. Suppose 30 - 3 = i + 5*l, 5*i = -5*l + b. Suppose -i*c + 2262 = -c. Is c composite?
True
Let l be ((-16)/24)/(2/(-3))*2. Suppose 3*p = -3*n + p - 2291, 5*n = l*p - 3813. Let z = -320 - n. Is z a prime number?
True
Is -6*(3/15)/(12/(-218870)) a composite number?
True
Suppose 39*f - 40*f + v = -34398, -3*v = -5*f + 171996. Is f prime?
False
Let k = -25 + -249. Suppose -1216 = -3*v + v. Let l = k + v. Is l a prime number?
False
Let i = -3074 + -4357. Let s = -3982 - i. Is s a prime number?
True
Suppose 12 = -23*c + 26*c. Suppose -2*v + 8 = -c*v. Is (-13 + 9)*2/v + 263 prime?
False
Let c be 4/(-2)*(39/6 - -6). Let p = c + 22. Is 12085/40 - 2/(-48)*p composite?
True
Let t(w) = -397*w + 2077121. Is t(0) a composite number?
False
Let m(l) = 5*l**3 + 3*l**2 + 22*l + 1. Let r be 51/(-17) - 12/(-1). Is m(r) prime?
False
Let z = -8 - -15. Suppose -5 + z = -2*r. Is 3019 - r*(4*-1)/2 a prime number?
False
Let h(n) be the second derivative of 46*n**5/5 - n**4/3 + 2*n**3/3 + n**2/2 - 54*n. Is h(1) composite?
True
Let h(w) = 1258*w**2 + w - 1. Let m be h(-1). Suppose -7936 = -4*l - 4*g, 3*l + m = -2*g + 7211. Is l composite?
False
Let u be ((56/(-21))/(-4))/((-4)/(-42018)). Suppose 0 = -3*o - 4*y + u, -4*y - 11661 = 2*o - 7*o. Is o composite?
False
Let h be -7 + (-20)/(-4) - -5. Is (-2)/h*34674/(-4) prime?
True
Let v(n) = 6244*n - 197. Is v(9) composite?
True
Let c(l) = -2*l + 2. Let a be c(-7). Is a/(-10) - -1 - 165452/(-95) a composite number?
False
Suppose 103301 = 196*j - 16847. Let v = 64 + -36. Let h = v + j. Is h a prime number?
True
Let f be 293/(138/24 + -6). Let j = 6839 + f. Is j a prime number?
False
Let z(i) = -8 - 39*i + 10 - 42*i + 22*i. Let n be z(-11). Suppose -5*c + n + 1124 = 0. Is c a prime number?
False
Let u = 4775 - -73274. Is u a prime number?
True
Let h = 12483 - -1658. Is h composite?
True
Let s(q) = -q**3 + 4*q**2 + q - 6. Let t be s(5). Let c(d) = -181*d + 183. Is c(t) a prime number?
True
Let f be 3/(-9)*((-1242)/(-6))/(-3). Suppose -508179 = 2*j - f*j. Is j composite?
True
Suppose 5*v - 708805 = -5*p, -3*p + 5*v - 567044 = -7*p. Is p composite?
False
Let a be ((-18)/3)/(-3) + (2 - -3). Suppose -a*c + 19410 = -14407. Is c prime?
True
Suppose 0 = -8*q - 0*q - 184. Let l = -208 - q. Is (-2 - -1)*(l - 6)*7 a prime number?
False
Let t = -1058 + 26764. Is t a prime number?
False
Suppose 1570 = -y + 8245. Let d = y - 4422. Is d a prime number?
False
Let r(y) = -50*y**2 - 15. Let z be r(-3). Let s = z + 1185. Let d = s - 98. Is d a prime number?
False
Let b = -45 + 97. Suppose -53*h + 9 = -b*h. Is (-6 + h + -2)/(1/2179) a prime number?
True
Suppose -2*w - 16*j + 221610 = -14*j, w + 2*j = 110803. Is w composite?
False
Let l(d) = 6*d**2 + 191*d + 5675. Is l(166) composite?
False
Let a(n) = -5405*n**2 + 13*n - 20. Let s be a(2). Let p = 30553 + s. Is p composite?
True
Let a(q) = 1677*q + 977. Is a(26) a composite number?
False
Suppose -m - 3*n - 22 = 2*n, 14 = -2*m - 4*n. Is (1234 - -15)/(m + -2) composite?
False
Suppose 3*m + 79 - 133 = 0. Is (-1 + -1)*(10 + (-10539)/m) composite?
False
Let w be -5468*(-49)/28 - (2 - 5). Suppose 13*j - w - 2505 = 0. Is j composite?
False
Suppose 0 = -14*p + 66*p - 151996. Is p a composite number?
True
Suppose -6*y = -5*y - 1680. Suppose 0 = -z - 5*n + 436, 4*z + 7*n - 3*n = y. Suppose v = 21 + z. Is v prime?
False
Suppose -1088 + 29980 = 4*v. Is v a composite number?
True
Let a(u) be the second derivative of 1667*u**4/6 - 4*u**3/3 - u**2/2 + 7*u - 3. Is a(-3) a prime number?
True
Let x be -3 - (6 + -11) - 0. Suppose 0 = -x*n - 4 - 6, -2452 = -f + 3*n. Is f composite?
False
Let d be 26/(-3) - (-26)/39. Let i be d + (-34)/(-2) - (-8)/(-2). Let n(g) = 65*g**2 + 7*g + 19. Is n(i) composite?
True
Let y be (-1)/(-1)*(-145 - 5). Let q(c) = -c**3 + 20*c**2 + 23*c - 65. Let i be q(19). Let z = i + y. Is z a composite number?
True
Let x(v) = 8*v + 34. Let c be x(-5). Let p(n) be the third derivative of -71*n**4/24 - 7*n**3/6 - 2*n**2. Is p(c) a prime number?
True
Let f(w) = 3*w + 12066 - 10*w + 2*w + 8071 + 3*w. Is f(0) composite?
True
Let w be 2 + (-155 + 2 - 4). Let f = w + 313. Suppose 0*u + f = 4*u + 2*v, u = 3*v + 22. Is u composite?
False
Suppose -4*r = -31*r + 445311. Is r a prime number?
True
Let w(j) = 71*j**2 - 54*j - 790. Is w(-19) a prime number?
True
Let i(u) = -7*u + 14. Let w be i(2). Suppose -5*l = 5*v - 35, -2*v + 27 = 2*v + 3*l. Suppose w = v*h - 4127 + 1259. Is h a prime number?
False
Let p(j) = -9*j**3 - 24*j**2 + 105*j - 1. Is p(-28) prime?
True
Suppose -6*k + 31144 = 3*l - k, -5*l + 51932 = 2*k. Let g = l + -7251. Is g composite?
False
Suppose 762592 = 5*n - 3*q, 0 = -67*n + 62*n - 3*q + 762598. Is n prime?
True
Suppose 0 = 84*k - 7639197 + 464673. Is k prime?
True
Suppose -8*g - 2*k = -9*g + 48333, 4*k - 8 = 0. Is g a composite number?
False
Let k(u) = -408*u + 434. Let q be k(1). Suppose 12 = 4*b - 0*b. Suppose -h + 112 = b*z, -h + 5*z + 102 = -q. Is h prime?
False
Let q(y) = -2*y**3 - 42*y**2 - 38*y - 55. Is q(-27) prime?
True
Let g(i) = -41*i - 24. Suppose -7 = -12*j - 43. Let a(p) = -41*p - 24. Let t(k) = j*a(k) + 4*g(k). Is t(-17) prime?
True
Suppose -m = -5*b - 20, 2*m + 2*m - b = 23. Suppose 12 + 3 = m*s. Is 410 + s/2*-2 a composite number?
True
Is (73 + -74)/(4/(-2229932)) a composite number?
False
Suppose -5*f = 