
Let h(c) = 4*c**2 + 9. Let x be h(-9). Is 7/((-7)/2) + x prime?
True
Let i = 109 - -142. Is i a composite number?
False
Suppose 5*m = 14 + 6. Suppose 0 = m*y - b - 3*b - 472, 0 = -y + 2*b + 115. Is y composite?
True
Let x = 487 - 188. Is x a prime number?
False
Suppose 5*o + 0*i - 1291 = -i, 3*o = 3*i + 789. Is o a composite number?
True
Suppose -2*w + 6*w = -24. Let z(l) = -l**3 - 7*l**2 - 7*l - 1. Let g be z(w). Suppose -2*n + 153 = -h, -3*n - 3*h - 143 = -g*n. Is n a composite number?
False
Suppose -2*h + 0*h + 4*g = 76, 0 = -2*g + 6. Let a = h + 135. Suppose -3*i + a = -8. Is i a composite number?
False
Suppose -5*h + 2 + 3 = 0. Suppose -4*a = 16, 5*a + 9 = 4*r + h. Is (23/r)/(1/(-3)) composite?
False
Let x = -79 - -116. Let v = x + 14. Is v composite?
True
Let k be (3/2)/((-12)/176). Let g = k - -44. Suppose 2*z - g = -0. Is z composite?
False
Let t be ((-2)/(-3))/(6/(-99)). Let k = 88 + t. Is k a prime number?
False
Let m = 12 - 16. Is m/4 + 114/1 a prime number?
True
Suppose 0 = -2*p + 112 + 612. Is p a prime number?
False
Let g(b) = -b**3 - 3*b**2 - 3*b + 1. Let h be g(4). Let t = h + 174. Let n = t - 36. Is n composite?
True
Let u(k) = 6*k**2 + 0 + 3 - 1 - 2*k + 0. Is u(2) composite?
True
Let s be -22*1/4*2. Let i = 11 - s. Is i prime?
False
Let n = 1213 - 650. Is n prime?
True
Let r = 7 - 13. Let c be 2/(-4)*(r - 0). Suppose -w + 52 = c*w. Is w a composite number?
False
Let x(i) be the first derivative of -7*i**2/2 + 3*i + 1. Suppose -5*r + 6*r + 6 = -o, 5*r - 2*o + 16 = 0. Is x(r) composite?
False
Suppose -o - 8 = -2*d + 2, -5*d - 2 = -o. Let j be (-32)/o - 8/(-36). Is (j/3)/((-4)/(-222)) prime?
True
Let d be (-4)/((-3*2)/3). Is d - (-867)/3 - -2 prime?
True
Let n = 307 + -467. Let x = -83 - n. Is x a prime number?
False
Is 290 + (-7)/((-14)/12) + -3 a composite number?
False
Let k(v) = -68*v - 3. Is k(-2) a composite number?
True
Let g = 796 - 465. Is g a composite number?
False
Let u be -3 - (-1 + -31) - 3. Let p = -12 + u. Is p a composite number?
True
Let h = -52 + 55. Let k(o) be the second derivative of 3*o**5/10 - o**4/3 + o**2/2 - o. Is k(h) a composite number?
False
Let w = -1 - -2. Let g be (10/5)/(w - 0). Let l = g + 33. Is l a prime number?
False
Suppose -5*h + 8465 = 5*d, 2073 = 4*d + 5*h - 4697. Suppose -2*b + d = b. Suppose v - b = -4*v. Is v composite?
False
Suppose 9719 = 5*l + 3814. Is l a prime number?
True
Let j = -185 + 438. Is j a composite number?
True
Suppose -a + 5*w = 142, -3*a - 5*w - 350 = -w. Is a/(-4) + (-1)/(-2) a prime number?
True
Let i(s) = s**3 - 8*s**2 + s - 5. Let f be i(8). Suppose d - 52 = -f*d. Is d composite?
False
Suppose -5*g + 3*g = -158. Is g a prime number?
True
Suppose 5*f - 3*f = 3*x - 389, 2*x - 4*f = 254. Is x a composite number?
False
Let n(w) = 9*w**3 - 7*w**2 + 6*w - 1. Is n(4) prime?
True
Let k(g) = -g**2 + g. Let x be k(2). Let l = x - -6. Suppose 3*c = -4*y + 29 + 33, -2*c + 60 = l*y. Is y a composite number?
True
Suppose -2*y + h = -202, -4*h - 505 = -5*y + h. Suppose 3*i = n + y, 70 = 5*i - 3*i - 2*n. Is i prime?
False
Let k(g) = g**2 + 13*g + 6. Let o be k(-13). Let x = o + -3. Is x*((-110)/(-6) - -1) prime?
False
Suppose 0 = 4*x - 176 + 44. Let f = x + -18. Is f a prime number?
False
Let c(a) be the first derivative of 11*a**2 + 7*a + 2. Let f = -26 + 33. Is c(f) a composite number?
True
Let l = 3026 - 1923. Is l a prime number?
True
Let y be (9/4)/(2/(-8)). Suppose 0 = 3*j - 2*z + z + 57, 2*j + 52 = -4*z. Is (-3)/y - j/3 prime?
True
Suppose 34 - 194 = 2*q. Let i = 41 - q. Is i composite?
True
Let o = -20 - -17. Let y(f) = -f**3 + 4*f**2 - f + 1. Is y(o) a prime number?
True
Let y = 5 - 1. Let d be (-2)/y*0/2. Suppose 4*b - 4*f - 45 = -b, -b - 5*f + 38 = d. Is b composite?
False
Suppose -25*h + 2692 = -21*h. Is h prime?
True
Suppose 2*s - 374 - 240 = 0. Is s a prime number?
True
Suppose d = -3 - 0. Let q be 3 - d/(-1) - -2. Suppose q*v = 4*v - 254. Is v a prime number?
True
Let v(t) = -2*t - 3. Let h(p) = -p**2 - 5*p - 6. Let m(d) = -4*h(d) + 9*v(d). Let l be m(-4). Suppose -2*c + l = -c. Is c prime?
True
Let b(h) = h**3 - 4*h**2 + 3*h. Let y be b(3). Suppose 0*f + f + 6 = y. Is (f/(-9))/(4/462) a composite number?
True
Let h be (-17)/(-3) - 8/12. Suppose 5*m = -z - 3*z + 10, h*z - 35 = 5*m. Is 115 - (0/(-3))/m a prime number?
False
Let t(l) be the third derivative of 13*l**4/4 - l**3/6 + 8*l**2. Is t(3) composite?
False
Is (-16)/(-4)*(-3)/(24/(-1082)) a prime number?
True
Suppose 4*o = y - 0*o - 11, 0 = -3*o - 6. Suppose -k - 798 = y*l - 2*k, -545 = 2*l - 5*k. Let w = l + 392. Is w a prime number?
True
Suppose 5*r - 256 - 3939 = 0. Is r a prime number?
True
Let z(c) = 3*c**3 - c**2 + 1. Let m be z(1). Suppose 0*s - 126 = -4*k - 2*s, -5*s = -5*k + 195. Let n = k + m. Is n a prime number?
True
Let v = 73 - -38. Let z be (-8)/(-12) - (-6)/(-9). Suppose z = -k + v + 4. Is k a composite number?
True
Let c(a) be the first derivative of 47*a**2/2 + 2*a + 3. Is c(3) prime?
False
Let m(x) = -x**3 + 7*x**2 - 2*x + 8. Let f be m(6). Let g be f/(-6)*(0 - 3). Suppose -2*w + 2*b + 8 = 0, 5*b = 4*w + 3*b - g. Is w a prime number?
False
Let i(u) = -u**2 - 15*u + 15. Is i(-11) prime?
True
Suppose -2*z - 3379 = -5*x, 4*z + 2040 = 3*x + 7*z. Is x a prime number?
True
Suppose -5*x + 0*x + 1425 = 0. Suppose -2*z = z - x. Is z composite?
True
Let z be (0/(-2))/(4/2). Suppose z = 2*r + 2*r - 364. Is r a prime number?
False
Suppose 0 = -2*n + 7*n. Suppose -p - 3*o + 1456 = 4*p, -4*p + 3*o + 1181 = n. Is p a composite number?
False
Let w(a) = 138*a**3 + 4*a**2 - a - 3. Is w(2) a composite number?
True
Let d(g) = 10*g**2 + 6*g + 2. Let r be d(-6). Suppose 4*a = -r + 2314. Is a composite?
True
Let j(m) = 6*m**2 - 7*m + 3. Is j(6) a prime number?
False
Let d be (-1 - -2)/(2/8). Let u(x) = -x**3 + 6*x**2 + 3. Is u(d) composite?
True
Let z(w) = -905*w**3 - 2*w. Is z(-1) composite?
False
Suppose 0 = 5*o - 4*o - 6. Suppose -h - q + 15 = 3*q, o = -2*h + q. Is (-29 - h)*(-6)/8 prime?
False
Suppose 2*v - 4 = l, -7*v + 10 = -2*v - 2*l. Suppose -4*y + 10 - v = 0. Suppose 0 = -5*r - 2*d + 6*d + 169, -y*d + 8 = 0. Is r composite?
False
Suppose -18*i = -13*i - 4385. Is i a prime number?
True
Suppose -7*g - 1887 = -10*g. Is g prime?
False
Let x be (2 + -3 - 1) + 4. Let u = 0 + -31. Let m = x - u. Is m a prime number?
False
Let y(p) = 112*p**3 - 3*p**2 + 5*p - 7. Is y(2) prime?
True
Let m(z) = 2*z**3 - 4*z**2 + 6*z + 2. Let c be m(5). Suppose -c = -3*i + 145. Is 2/4 + i/2 prime?
False
Suppose -3*a + 0*a = 0. Suppose -k - 5*g + 37 = a, -30 - 44 = -2*k + 5*g. Is k a prime number?
True
Let t(m) = -m**2 + 4*m - 4. Let d be t(4). Is 115 + 1/(2/d) a composite number?
False
Let o = 3 + -3. Suppose w - 5*k + 15 = 0, -4*w + o*k + 5*k = 15. Is (w + 3/6)*46 prime?
True
Suppose 2*w - 10 = -4*q, -4 = -4*w - 0. Suppose 815 = 5*a + q*c, 2*c + 815 = 3*a + 2*a. Is a a composite number?
False
Suppose k + 311 = 5*a, 5*a - a - 272 = -5*k. Suppose 4 = m + 4*i - a, 3*m - 208 = -5*i. Is m a prime number?
True
Let c(r) = 2*r**2 - 4*r + 7. Suppose 0 = -2*l + 14 - 2. Is c(l) prime?
False
Let x(d) = -d - 6. Let i be x(-16). Is (-3174)/(-10) - 4/i prime?
True
Let g(p) = 2 - 3 - 2*p**3 + 16*p**3. Suppose -5 = w - u - 3, 5*u = -w + 16. Is g(w) composite?
False
Suppose -3*y - 46 = 4*u - 0*y, 5*u = -5*y - 60. Let a(o) = 0*o - 7 - 9*o + 10*o**2 + o**3 - 4. Is a(u) composite?
False
Let l = -26 - -24. Let x(t) = -45*t**3 + t**2 + 2*t - 1. Is x(l) prime?
True
Let x = -102 + 229. Is x prime?
True
Let l be -3*(2656/6)/(-4). Let i = -75 + l. Is i a prime number?
True
Let f = -226 + 747. Is f prime?
True
Let g(s) = -3*s - 8. Let h(x) = x + 3. Let n(l) = 4*g(l) + 11*h(l). Let d be n(2). Is 12/(-14)*7/d a composite number?
True
Let z(r) = r**3 - 6*r**2 + 2. Let a be z(6). Suppose -y = a*n - 142, -2*n + y + 130 = -y. Is n a prime number?
False
Let h be 18/12*8/3. Let g(r) = 2*r**3 + 1. Let t be g(1). Suppose 2*i = -5*x + h*i + 122, -x - t*i = -38. Is x a prime number?
False
Is -3 - -314 - (-5 + 9) a prime number?
True
Suppose -j - 5*t = -14, -4*j + 2*t = 3*t + 1. Let a(n) = -n**2. Let r(d) = -9*d**2 - 8*d + 5. Let q(o) = j*r(o) + 3*a(o). Is q(-6) prime?
True
Suppose -m = 4*m - 380. Let k = m + -23. Is k a prime number?
True
Let z(j) = j + 24. Let o(i