 o + -22. Is a a composite number?
True
Suppose 5*b - 4*i - 8375 = 13016, 0 = -3*b - 3*i + 12840. Is b composite?
True
Let r = 3 + -2. Let i be -2 - (-5 - (1 - r)). Is 2 + (i - 4) + 58 a composite number?
False
Let k(r) = 4*r**2 + 11*r + 9. Let g = -20 + 43. Let y = -31 + g. Is k(y) composite?
True
Let r = 3 + 464. Is r a prime number?
True
Suppose -14*n - 60 = -19*n. Suppose -n*t + 5*t + 6461 = 0. Is t a prime number?
False
Let u(h) be the second derivative of -h**5/20 - 13*h**4/12 + h**3/6 - 25*h**2/2 + 15*h. Is u(-14) a prime number?
True
Suppose 10*f - 6155 = 33335. Is f prime?
False
Let p be (951/9)/((-4)/96). Is ((-4)/16)/(2/p) prime?
True
Let p(m) = m**3 - 16*m**2 - 16*m - 19. Let w be p(17). Is (388 + -9)*(w - -3) a composite number?
False
Let b(p) = -30*p**2 + 2*p. Let q be b(1). Is (41/(-2))/(2/q) composite?
True
Let b(g) be the first derivative of 2*g**3/3 + g**2/2 + 8. Let a be b(-2). Is (-2)/a*-321 - 1 a prime number?
False
Suppose 7 - 21 = 2*w. Let d(o) = -o**3 + 14*o**2 - 6*o - 17 - 13 + 2*o**3 + 16. Is d(w) composite?
True
Let b = -1 + 9. Let f(l) = l**2 - 9*l + 9. Let y be f(b). Is y/2*658/7 a prime number?
True
Let o(y) = y**2 - 7*y. Let s be o(7). Suppose p - 3*a + 3 + 11 = s, -5*p + 10 = 5*a. Is -1*p/(-4)*-66 a prime number?
False
Suppose 4*n = 5*c - 35487, -3*n + 2789 - 24080 = -3*c. Suppose 0 = 3*k + 5*w + 13199 - 2613, 0 = 2*k - 5*w + c. Is k/(-45) + (-4)/(-10) a composite number?
False
Let f(h) = 6*h + 148. Let u(q) = 9*q + 222. Let k(i) = 8*f(i) - 5*u(i). Is k(0) a composite number?
True
Suppose -34168 = -7*m + 30883. Is m a composite number?
False
Let k = 2821 - 847. Suppose -5*l + k = -1231. Is l a composite number?
False
Suppose -47*l + 1835 = -42*l - 5*p, 5*l - 4*p - 1839 = 0. Is l composite?
True
Let j(z) = -39 + 12 - 21 + 4*z**2 - 12*z - 15. Is j(14) composite?
True
Let j(i) = -25*i + 7. Let l be ((-16)/6 + 2)*15. Is j(l) a prime number?
True
Let l = -1 - 9. Let n be 6/(-15) - 2454/l. Let a = n - 84. Is a a prime number?
False
Let t(u) = -u**2 + 1321. Let q(s) = -2*s**2 + 1322. Let w(z) = -2*q(z) + 3*t(z). Is w(0) prime?
True
Suppose -c - 4*m + 12 = 0, -m + 22 = c + 4*c. Suppose 0 = -c*n + 149 + 159. Is n composite?
True
Let h = -28 - -18. Let m = -59 + -6. Is (-26)/(-1)*m/h composite?
True
Let s = 239 + -208. Is s prime?
True
Suppose 0*f = 3*f - 6, 0 = r - 5*f - 244. Suppose p = -p + r. Is p a composite number?
False
Suppose i - 6 = 2*h - 2*i, 3*h = -4*i + 25. Let n(k) = 129*k + 7. Is n(h) a composite number?
True
Let u(i) = 1685*i + 96. Is u(5) a composite number?
False
Let a(j) = -527*j**3 + 2*j**2 + 3*j + 3. Let m be a(-2). Suppose -12*y + 3*y + m = 0. Is y composite?
True
Suppose 5*o - 3*v - 3964 = 0, v - 1447 = 3*o - 3827. Is o prime?
False
Let h(z) = -z - 1. Let c be h(-1). Suppose -x - 4*w + 43 = c, 0 = w - 6*w + 15. Is x a prime number?
True
Let w(r) = 16*r**2 + 101*r - 25. Is w(-24) a prime number?
False
Let q be (-4)/8*-2 + 1. Suppose 0*d - 3*d + q = -5*m, -4 = 4*m - 3*d. Suppose 4*b - m*b = 506. Is b composite?
True
Let f(z) = 5*z. Let u be f(1). Suppose u*x + 1823 = v, 0 = -5*v + 3*v - 2*x + 3646. Is v composite?
False
Let j(h) = h**2 - 2. Let k be j(4). Suppose 41 = 5*d - k. Let y = 64 - d. Is y composite?
False
Suppose -7*r + 6 = -4*r. Suppose -3*h + 9 = -3*w, 2*w + r*w + 12 = 2*h. Suppose -j - 4*j = 5, -g - j + 36 = h. Is g a prime number?
True
Let x be 2 + -3 + 1 + 20. Is 23624/x - 2/10 prime?
True
Let t(y) = 49*y - 10. Let l(f) = -f**3 - 4*f**2 - 2*f - 4. Let m(h) = -1. Let x(b) = -l(b) + 2*m(b). Let w be x(-3). Is t(w) composite?
True
Let o(f) = 3*f**3 + 6*f**2 + 2*f + 6. Let i(q) = -q**3 + q**2 + 5. Let d be i(0). Is o(d) a composite number?
False
Let u(o) = -531*o + 830. Is u(-21) prime?
True
Suppose -o - 1310 = -6*o + g, 2*o - 532 = 2*g. Suppose 0 = 3*u - 4*u - d + 51, 2*d = -5*u + o. Is u prime?
True
Suppose 0 = 4*x - 3*v - 12511, 0 = -x - 7*v + 2*v + 3099. Suppose 5*z = -x + 8559. Is z prime?
True
Let z(k) = -790*k - 443. Is z(-24) a composite number?
False
Suppose 3*y - 3*x + 48 = 0, 8 = -y - 2*x - x. Let c be (0 - -30)/((-4)/y). Let a = c + -22. Is a composite?
False
Let u(n) = -n**2 + 7*n + 4. Let t be u(6). Suppose -t*s + 2722 = -8*s. Is s a prime number?
True
Let x be 2/(16/(-4))*524. Let t = x + 502. Suppose 3*b = -5*m + 570, -4*b = 3*m - t - 509. Is b a composite number?
True
Suppose -18*m + 19296 + 88182 = 0. Is m composite?
True
Suppose 0 = -3*f - f. Let i(m) = f*m**2 + m**2 + 3*m**2 - 1 + 3*m**2 - 2*m. Is i(-2) prime?
True
Let i(a) = -11 - 2*a + 49*a**2 + 8 - 2*a + 3*a. Is i(-4) a prime number?
False
Let v = -42605 - -72652. Is v a prime number?
True
Let i(x) = x - 22. Let o be i(11). Let a be (o/2)/((-2)/76). Suppose 388 + a = 3*v. Is v a prime number?
True
Suppose -4*v = 5*b + 9834, -2*b + 6*b + 4*v = -7864. Let y = -1231 - b. Is y a composite number?
False
Let v(d) be the first derivative of -d**4/2 - d**3/3 + d**2 + 79*d - 23. Is v(0) a prime number?
True
Let p(k) = -k**3 + k**2 - 13*k - 1. Let n(h) = h**2 - h - 1. Let a(i) = 4*n(i) - p(i). Let b be a(-6). Let j = 359 + b. Is j a prime number?
False
Let q(n) = 0 - n + 1 - 1. Let w be q(1). Is 7/((w - 0)/(-73)) a composite number?
True
Let z(w) = 2*w + 8. Let y be z(3). Is (2 + -16)*(-77)/y composite?
True
Let w(s) be the third derivative of s**6/8 - s**5/5 - s**4/8 - 5*s**3/6 - 3*s**2. Is w(6) a prime number?
False
Let b = -11 - -16. Let y = 4 + 0. Suppose b*c - y*c = 217. Is c composite?
True
Let v be 2 - (-10)/(-4)*2. Let y be -10*((-12)/(-8))/v. Suppose -104 = -3*d + y*m, 5*d = d + 5*m + 142. Is d a composite number?
True
Suppose -3*z + 2*w = 13, 2*z - 4*w - 4 = 6*z. Is z + 223 + (-2 - -5) a composite number?
False
Suppose -2*h - 29616 = -2*n + 22314, 0 = 5*n + 3*h - 129857. Is n a composite number?
False
Is (-7)/(42/36) + 9*8813 a composite number?
True
Suppose 6 + 4 = 5*t. Let b(j) = 5 + j**3 - 12 - 13*j**t + 8 + 12*j. Is b(13) a prime number?
True
Suppose 93 - 27 = 6*t. Suppose -t*z = -7*z - 2524. Is z prime?
True
Let p be (-17)/(-3 + (-190)/(-64)). Suppose h - p = 154. Is h composite?
True
Suppose 3*o + 19 = -4*c, 0 = -2*o + 2*c - 4*c - 16. Let s = 16 + o. Is 672/s + -3 + 2 a prime number?
True
Let t(r) = 2*r - 6. Let l be t(4). Suppose 0 = 2*d - l - 8. Suppose -174 = -d*h + p, 0 = 5*h + 4*p - p - 178. Is h a composite number?
True
Let x(y) = 75*y**2 - 29*y - 24. Is x(10) a composite number?
True
Let g(t) be the second derivative of -13*t**3/6 - t**2 + t. Let f be g(-10). Suppose -34 = 2*j + v - 323, -j + 5*v + f = 0. Is j composite?
True
Let i(k) = 56*k. Let u(q) = 1. Let c(y) = i(y) - u(y). Is c(15) prime?
True
Suppose 0 = -8*c + 3*c + 25, -5*c + 1362 = -o. Let w = o + 2326. Is w composite?
True
Let y = 10144 - -16713. Is y a composite number?
True
Let a be 4/18 - (-444)/(-54). Is (-1816)/a - 4/1 a composite number?
False
Let b(l) = l**2 - 4*l - 8. Let r be b(6). Suppose 2*q + 3*y = 4*q - 1846, 3*y - 3656 = -4*q. Suppose -r*s + q = -447. Is s composite?
True
Let r(j) = -272*j + 225. Is r(-52) prime?
True
Suppose 14 = -12*n + 5*n. Is 493 + n - (0/(-4) + -2) composite?
True
Let f = 879 + 559. Is f prime?
False
Suppose 3*t + t = 4*o, -5*t = -o - 4. Let l be 119 + (o - (-4 + 2)). Suppose -4*w + l + 2 = 0. Is w composite?
False
Let c(g) = -2*g**2 + 7*g - 3. Let x be c(12). Let r = x - -418. Is r a composite number?
False
Let w be (14/(-5))/(5/(-1150)). Suppose m - 187 - w = 0. Is m prime?
False
Let g be (32/24)/((-4)/(-1266)). Suppose b + b = g. Suppose -u + b = -0*u. Is u prime?
True
Let v(j) = 9*j**2 + j + 3. Suppose 0*y + 1 = y. Let i = -1 - y. Is v(i) a prime number?
True
Let t(n) be the third derivative of n**5/60 + 7*n**4/24 + 7*n**3/6 + 5*n**2. Let m be t(-6). Is 2/(-6)*(-231)/m a composite number?
True
Suppose -48*m - 172 = -47*m. Let z = -89 - m. Is z a prime number?
True
Suppose -5*k = -g - 1, -4*k + 4 = -3*g + 1. Is (k - -789) + (-4 - 0) composite?
True
Let f = 5072 - 3435. Is f a prime number?
True
Let c = -2761 - -5230. Suppose -113 = -2*z + c. Is z a composite number?
False
Suppose -5*a + 21 = 5*m - 24, -5*m + 3*a + 21 = 0. Is (2*419)/((m - 2)/2) prime?
True
Let u be (36/21)/(10/35). Suppose 4*f - 2444 = -3*b, -b = 4*f - u*b - 2444. Is f a composite number?
True
Suppose 282 = 2*f - 844. Suppose -p + 486