Let x = a + -838. Is x composite?
True
Let n(g) = g + 2. Let f be n(10). Suppose 5*k - f = -2. Suppose -r + 67 = 2*j, -r - r = k*j - 134. Is r a composite number?
False
Suppose 7*n = 2*n + 5685. Let i = 3104 - n. Is i prime?
False
Let h(b) = -b**2 - b + 9551. Is h(0) a composite number?
False
Suppose 2*p + 5 - 3 = -n, -p = 5*n + 10. Let k be 0/(-1 + p + 2). Suppose k*i + i = 5*d - 1266, 2*i + 1014 = 4*d. Is d composite?
True
Let h be (-515)/(-4) - 9/(-36). Suppose 0 = 6*w - h + 51. Is w composite?
False
Let v(y) = -995*y + 58. Is v(-15) a prime number?
True
Let d = -382 - -1743. Is d a composite number?
False
Let h(s) = 164*s**2 + s - 23. Let n be h(-6). Suppose 2*x - u - n = 0, -3*x + 5796 + 3018 = -u. Is x prime?
True
Let f(o) = -o**3 - o**2 + 1. Let r be f(0). Let d be -3*16/(-12) - r. Suppose 0 = d*u + u - 708. Is u a composite number?
True
Let d(n) = 78*n**2 + n - 1. Let c = -12 - -13. Let w be d(c). Let q = 380 - w. Is q composite?
True
Suppose -8124 - 6254 = -2*c. Suppose 1447 = 4*j - c. Is j a prime number?
False
Suppose 5*l = 4*v - 17061, v + 8529 = 3*v - 3*l. Is v composite?
True
Suppose 0 = -2*g + 6, 2*g - 1 = 5*u - 5. Suppose u*x + 118 = 3*x. Is x composite?
True
Let v(a) = -112*a - 1. Let f = 14 + -15. Let j(r) = -3*r**2 - r. Let c be j(f). Is v(c) composite?
False
Let n = 7 - 7. Suppose -2*m - 2*m + 28 = n. Is m a composite number?
False
Let x = 130 - 40. Let p = 469 - x. Is p composite?
False
Let a = 6279 - 4130. Is a a prime number?
False
Suppose -p - 60125 = -2*b, 5*p = -3*b + 3*p + 90177. Is b a composite number?
True
Let f(i) be the second derivative of -i**5/20 + 11*i**4/12 + i**3/3 - i**2/2 - 43*i. Is f(6) a prime number?
True
Let b(i) = -11*i**2 - 1. Suppose 5 = 2*j - 7*j. Let p be b(j). Is -669*8/p + -3 prime?
True
Let n(l) = -l**2 + 4*l + 4. Let g be n(6). Let x = -1 - g. Suppose -x*s = -9*s + 994. Is s composite?
True
Suppose 3*u = -4*g + 9 - 3, 4*u + 3*g - 8 = 0. Let o = 4 + u. Suppose -o*w + w + 345 = 0. Is w prime?
False
Suppose -v = 4*h - 1358 - 5279, 4*v - h - 26497 = 0. Suppose 0 = 10*d + 1635 - v. Is d prime?
True
Suppose -4 + 2 = -p - l, 0 = -5*p + l + 22. Suppose 0 = -3*a + 3*c + 156, -5*a - c = -p*c - 250. Is a composite?
False
Let t = -396 - -11265. Is t a composite number?
True
Let r = -1408 + 2399. Is r a composite number?
False
Suppose -11*n + 8*n + 24 = 0. Suppose -3*j = -n*j + 1655. Is j composite?
False
Suppose -98*v = -85*v - 384371. Is v composite?
False
Let w = 2621 - 854. Suppose w = 12*j - 9*j. Is j a composite number?
True
Suppose 78 = 3*m - 102. Let u be 1*(-3 - -4)*4. Suppose 0*x - m = -u*x. Is x prime?
False
Let m = 4231 + -2294. Let t = -128 - -920. Let v = m - t. Is v composite?
True
Let h = -80 - -39. Let c = 218 - h. Is c composite?
True
Is 6560 + (-2 + 6 - -4 - 5) composite?
False
Suppose 4*q + 5*q = -1197. Let b be ((-2)/1)/((-2)/(-59)). Let n = b - q. Is n a composite number?
True
Let a = -472 + 766. Suppose -3*r = 3*r - a. Suppose -r = 5*w - 704. Is w a composite number?
False
Is (-3)/((-1)/(14095/15)) prime?
True
Let o(p) = -2508*p**3 - p**2 - 8*p - 11. Is o(-2) a prime number?
False
Suppose -q + x + 4 = 0, 0 = 4*q + 5*x - 4*x - 11. Suppose -6*u + 7 = -5. Is (-3)/q*(-91 + u) a composite number?
False
Suppose 6 = -a + 4, a = -g + 189. Is g a composite number?
False
Suppose -t - 353 = -2*l, 4*l - 4*t - 968 = -268. Let q = l - -115. Is q a prime number?
True
Let m = -1 + -1. Let l be (m/(-2) + -28)*-1. Let n = 116 - l. Is n a prime number?
True
Suppose 28*h - 37*h = -3519. Is h a composite number?
True
Is ((-126)/(-27))/((-10)/(-3495)) composite?
True
Let w(o) = 10*o**3 + 2*o**2 + 5*o - 6. Let p be w(4). Let r = p + -243. Is r a prime number?
True
Let u be -57*-3*6/9. Suppose u = -0*h + 2*h. Suppose -t = -2*t + h. Is t a composite number?
True
Suppose 3*b = 6, 0*d + d - 10971 = -5*b. Is d a prime number?
False
Let u(x) = 2 - 2*x - 6 - x + 7*x**2 + 9*x**3. Is u(3) composite?
False
Let y(l) be the first derivative of -l**6/120 - l**5/60 + l**4/12 + l**3/6 - 5*l**2/2 - 10. Let x(q) be the second derivative of y(q). Is x(-9) a prime number?
True
Let h = 3 + -8. Let o be 3/(-15) + (-2931)/h. Suppose 0*a = 2*a - o. Is a prime?
True
Suppose r + 0 - 4 = 0. Suppose -2*q + 34 = 5*k, -r*k - k = 10. Is q prime?
False
Let u(c) = 3*c + 0*c - 2 - 1 - 1. Let v be u(3). Suppose -2*x - 195 = -v*x. Is x composite?
True
Suppose 3*n + 1452 = -3816. Let z = n + 3240. Suppose -z = -x - 3*x. Is x a prime number?
False
Suppose 2*y = 4*y - 382. Is y composite?
False
Let i(p) be the second derivative of -p**4/12 - 5*p**3/6 + 8*p**2 - 3*p. Let m be i(12). Is (m/(-8))/((-2)/(-28)) a composite number?
True
Suppose 2*k + o = 7 + 1, -2*k - 8 = -3*o. Suppose 5*d - 1218 = -4*h, 4*h - k*d - 1035 = 197. Is h prime?
True
Suppose -5*l + 25 = -o, 2*l - 1 - 9 = o. Suppose 3*w = 15, -3*b + l*b - 5*w = 373. Is b a prime number?
True
Let m be 2 - 63130/(-6) - 23/(-69). Suppose 5*t = -t + m. Is t a prime number?
False
Let h(i) = 18*i + 2. Let b be h(2). Let t be 12/42 + b/14. Suppose t*m - m - 754 = 0. Is m composite?
True
Suppose 2*i = 5*y - 249, -1 = i - 4*y + 116. Let d = i - -294. Is d prime?
True
Let s(m) = 2*m + 2. Let o be s(1). Is -6*(-7)/(-28) + 2122/o composite?
True
Suppose -y = 4*k + 2 - 6, k - y = 6. Suppose -5*w - k*q - 503 = 0, 4*q - 101 = w + 4. Let v = w + 186. Is v a composite number?
True
Let d = -26 - -30. Let x(s) = s**3 - 8*s**2 - 8*s - 6. Let p be x(9). Suppose d*f - 3*r = 285, r - 3*r + 201 = p*f. Is f a prime number?
False
Let x(p) be the third derivative of 2*p**2 + 0*p + 0 + 1/6*p**3 - 17/4*p**4. Is x(-5) prime?
False
Suppose 160387 = 21*n + 24160. Is n prime?
False
Let i = 20 - 15. Let d(k) = 2*k**3 + 7*k**2 - k - 4. Let o be d(i). Suppose -2*f + 3*v = -o, 3*v - 389 + 1227 = 4*f. Is f a composite number?
False
Let t = 12462 - 6343. Is t a composite number?
True
Let a be (-4)/10 + (-1632)/(-5). Let y = a - 167. Is y composite?
True
Is 17718 + 308/70 + (-6)/15 composite?
True
Is (12/((-288)/(-40)))/((-1)/(-489)) prime?
False
Let u(j) = j**2 + 6*j + 11. Let x be u(-3). Suppose i = -x*b + 75, 0 = -b + 5 - 0. Is i a prime number?
False
Let f(o) = 60*o**2 - 7*o - 5. Let j be f(-2). Suppose -5*y - j = -x, x + 2*y = 6*y + 253. Is x a composite number?
False
Let x(g) = 3*g**2 + 4*g**2 + g**2 - 2*g**2 - g + 3. Suppose 2*n - 4*n + 8 = 0. Is x(n) composite?
True
Suppose 18*g - 15*g - 1174 = -2*x, -2348 = -4*x - 2*g. Is x composite?
False
Let y be -6 - (-5 - (-3 - -1)). Let b be 2/y*(-6)/(-4). Is (b/2)/(4/(-152)) prime?
True
Let g = 9432 - 5979. Is g prime?
False
Suppose 33*s = -27457 + 115138. Is s prime?
True
Let j(a) be the second derivative of -a**3 + 0 + a + 1/2*a**2 - 1/4*a**4 + 1/20*a**5. Is j(5) a prime number?
False
Let y(f) = -12*f - 21. Let u be y(-2). Let h(a) = 11*a**2 - 2*a - 6. Is h(u) composite?
True
Let t(j) = -j**2 - 12*j - 13. Let x be t(-10). Is (-4 + x - 0) + 248 a prime number?
True
Let i(n) = n**2 - 6*n + 24. Is i(-19) composite?
False
Let r(j) = -701*j. Let p(h) = h**2 - 12*h - 14. Let v be p(13). Is r(v) prime?
True
Let o be (-4 + 754/(-5))*(5 + 0). Let f = o - -2425. Is f a composite number?
True
Let z(i) = i**3 + 8*i**2 + 6*i + 5. Let r be z(-7). Let a = r + -10. Suppose -3*n = 3*w - 432, 4*w - 2*n - 616 = a*n. Is w prime?
True
Let d(t) be the second derivative of 565*t**3/3 + 7*t**2/2 - 19*t. Is d(2) composite?
False
Suppose r - l = 18119, -4*r - 16*l + 72476 = -12*l. Is r prime?
True
Suppose -3*z + 3 = 18. Let v be (-9)/(-6)*(-80)/z. Suppose i - 317 = -v. Is i prime?
True
Let v be (-15)/3*-1 + -3. Suppose -5*y - v*c = -1655, -4*c + 1002 + 653 = 5*y. Is y prime?
True
Let s = 15 + -7. Suppose -s*q = -13*q + 9415. Is q composite?
True
Suppose 48 = 5*p + 793. Let u = -82 - p. Let y = u + -32. Is y a prime number?
False
Suppose 1697 = 4*h - 3*j, 10*j + 6 = 8*j. Is h a composite number?
True
Let t(d) = -158*d - 50. Let x be t(-11). Let i = x - 1167. Is i prime?
True
Let v = 3932 + 4286. Suppose -v = -2*m - 5*m. Is m composite?
True
Suppose 3*a + 9 = g - 2*g, 2*a = -4*g - 26. Let p(r) = -81*r - 35. Is p(g) a composite number?
True
Suppose 12 = 3*c + 4*y, -y - 16 = -4*c - 4*y. Suppose 0 = c*w - t - 1721, 10*w - 7*w - 1299 = -2*t. Suppose w = 3*i - 40. Is i composite?
False
Suppose 0*u + 4 =