be h(-11). Let v(w) = -91*w - 5. Is v(u) prime?
True
Let x = 13 + -14. Let c(z) be the first derivative of 38*z**3/3 + z**2/2 + 1. Is c(x) composite?
False
Let g = -182 - -397. Is g composite?
True
Suppose z = 4*g - 581, 135 = -4*g + 3*z + 718. Is g composite?
True
Let i be (-4)/2 + 15/5. Is (0 + i)/(7/245) a prime number?
False
Let a = -5 - -5. Is (a + 1)/(2/30) prime?
False
Suppose 2*z = 2*a - z - 172, -358 = -4*a - z. Is a prime?
True
Let v be (-4)/(-2) + 5 + -3. Let i(h) = -h**3 + 2*h + 4. Let r be i(v). Let m = r - -75. Is m prime?
True
Let t(u) = -u**3 - 12*u**2 - 2*u - 3. Let p be t(-12). Let w(j) = -10*j - 1 + 11*j - p*j. Is w(-3) prime?
True
Suppose 25 = 4*d + d, -3*p - d + 17 = 0. Suppose -p*l = 3*m - 154, -227 = -4*m + l - 2*l. Is m prime?
False
Let k(n) = n**2 - 3*n + 1. Let u be k(2). Let v be (u - 2)/(-3)*0. Suppose 10*y - 5*y - 275 = v. Is y composite?
True
Suppose -y + 0*y + 5 = 0. Suppose k - y = -1. Let j(l) = 4*l**2 - l - 5. Is j(k) prime?
False
Suppose -6*y = -836 - 226. Is y a prime number?
False
Suppose 2*h - 14589 = -7*h. Is h a composite number?
False
Let k(x) = 3*x**2 + 6*x + 9. Let r(o) = -o**2 - 3*o - 5. Let f(z) = 4*k(z) + 7*r(z). Let y be f(3). Suppose -2*j - 3*j + y = 0. Is j composite?
False
Let t = 208 - 143. Suppose t - 20 = 3*r. Suppose -r = 4*y - 5*y. Is y a prime number?
False
Let j = -8 - -13. Let a = 99 + -45. Let h = a - j. Is h a prime number?
False
Let g(p) = -p**3 + 6*p**2 + p - 8. Let j be g(6). Let d be 1/1*(j - -3). Is 4 + -4 + 13/d a prime number?
True
Let u(o) = -o**2 + 2*o - 4. Let a be u(3). Let j be (354/(-1))/(-3) - 2. Let l = a + j. Is l prime?
True
Let s(n) = n**3 - 8*n**2 + 4*n + 5. Let c(i) = 2*i**2 + 6*i. Let v be c(-4). Is s(v) a prime number?
True
Suppose 4 + 2 = 3*n. Let w(g) = -4*g**2 - g + 7 + 8*g**n + 10*g. Is w(-6) composite?
False
Let n = 9 + -4. Suppose -787 = -n*o + 2*l, -o - l = -3*l - 151. Suppose y - 4*y + o = 0. Is y a composite number?
False
Is (-2 - 260)*(-1)/2 a prime number?
True
Let c(v) = -v**3 + 4*v**2 + 5. Let o be c(4). Suppose -w = 4*w. Suppose w = 2*n - o*n + 69. Is n a composite number?
False
Let v = 475 - -340. Is v a composite number?
True
Let s = -45 + 8. Let c = s + 60. Is c prime?
True
Suppose -2*s + 2 = -2*o, 5*o - 19 = -0*s - s. Suppose 1068 = o*u - 441. Is u composite?
False
Let c(n) = -n + 11 + 5 - 2. Is c(0) prime?
False
Let g(a) = 14*a**3 - 2*a**2 + 10*a - 35. Is g(6) a prime number?
False
Let n = 116 - -41. Is n a prime number?
True
Let g(y) = -49*y - 8. Suppose -6*q + q + 28 = -4*r, -3*r - 21 = 5*q. Let n be g(r). Suppose 3*z + 2*z = n. Is z a composite number?
False
Let w be (2/4)/((-3)/(-174)). Suppose -2*l + u - 2 + 17 = 0, 4*l = u + w. Is l composite?
False
Suppose -3*k + y + 301 = -4*y, 3*y + 6 = 0. Is k a composite number?
False
Let j be (-5 - (4 + -7))/(-1). Is 258/(-4)*j/(-3) prime?
True
Let k be (-8 - -1 - -3) + 476. Let p = k - 329. Is p a prime number?
False
Let l(u) = 6*u + 2. Let x be l(1). Suppose -374 = -3*o - 5*n, -n - n = -x. Is o composite?
True
Let j be (-2 - 0) + 1 + 4. Suppose 0*z - 4*k + 2 = -j*z, -12 = -5*z - k. Suppose -z*c + 68 = 3*v, c = -2*c + 2*v + 89. Is c a prime number?
True
Suppose -5*q = 3*j + 6 + 7, -5*j + 2*q = -30. Suppose j*p - 191 = -4*w + 5*p, 147 = 3*w - 2*p. Is w a composite number?
False
Let t(j) = -j**2 - 5*j + 6. Let z be t(-6). Suppose z = o - 23 - 4. Suppose -o = -w + 11. Is w prime?
False
Let z be 2*(27/6 + -2). Suppose 0*p = -z*p + 105. Is p a composite number?
True
Let l(y) = 2*y**2 + y - 2. Let v be l(-2). Suppose r = -v*r - 300. Let q = -13 - r. Is q composite?
False
Let n(o) be the second derivative of 8*o**3/3 + 3*o**2/2 + 2*o. Is n(4) a composite number?
False
Is 37/(-1 + 1 + 1) a prime number?
True
Let m = 32 + 171. Let b = m + -140. Suppose -4*w + b = 5*h - 190, 2*w - h - 137 = 0. Is w composite?
False
Suppose 199 = -4*g - a, 246 = -0*g - 5*g - 4*a. Let w = g - 20. Let u = w + 117. Is u a composite number?
False
Suppose 3*v - 1 = 5. Suppose -3*n + i = v*n - 236, -n - 5*i = -42. Suppose 0 = r - 44 - n. Is r prime?
False
Let k = -243 + 806. Is k prime?
True
Let h = 30 - -3. Is h composite?
True
Let c = 92 + -179. Let q = c - -158. Is q composite?
False
Suppose -3*h + 2*h + 907 = 0. Is h a composite number?
False
Suppose 2*h - 813 = -n, 10*n - 7*n - 811 = -2*h. Is h a prime number?
False
Suppose 3*s - 5*s = -50. Suppose -2*v + s = -v. Is v composite?
True
Let r(f) = -f**2 - f + 4. Let y be 2/1 - (1 - -1). Let l be r(y). Suppose l*o = 12, -22 = -j + o - 2*o. Is j a composite number?
False
Let p(w) = 3*w - 2. Suppose -2*v + 3*v - 2 = 0. Let s be p(v). Suppose -204 = -s*b + 8. Is b composite?
False
Let u(m) = -39*m**3 + 2*m**2 + 2*m + 1. Suppose 1 - 3 = 2*j. Let r be u(j). Is 7/4*r/2 a composite number?
True
Suppose -w - 2*w - 6 = 4*m, -4*w + 4*m = -20. Suppose 4*v + 109 = 2*q - v, -w*q + v + 97 = 0. Suppose 3*b + 2 = q. Is b a prime number?
False
Let m be (1 + -1)*(4 + -3). Suppose g - 5 = 2*x, 2*g + 18 = -x - 2*x. Is 55 + m*(-1)/g prime?
False
Let b = -7 + 11. Suppose 4*z + 3*f - b*f = 15, 0 = z - f. Suppose z*q - 24 = -2*v + 50, 0 = 2*v - 4. Is q prime?
False
Let c = 1521 + -454. Is c prime?
False
Let p(l) be the third derivative of l**8/1344 - l**6/360 + l**5/120 - l**4/8 + l**2. Let x(y) be the second derivative of p(y). Is x(2) prime?
True
Let o = 3 + -1. Suppose 173 = 5*q + 3*u, -2*u = -3*q + o*u + 98. Is q a composite number?
True
Suppose 2*p = 3*p - 127. Is p a prime number?
True
Suppose 4*x - 2144 = 20. Is x composite?
False
Suppose -2*w - 5*t = -207, 285 = 3*w + 2*t - 3*t. Suppose -w = -j + 3*j. Let k = -11 - j. Is k composite?
False
Let h be (5 - -1)*(-2)/(-6). Suppose h*l + 14 = 5*w, -5*w = -l - 22 + 5. Is 2/w + (-11)/(-2) prime?
False
Let c be 1 + (3 - 0 - -129). Is (-5)/1 + 3 + c a composite number?
False
Let s be 1/(1/18*2). Let i = -14 - -26. Suppose g = i + s. Is g prime?
False
Let w = 462 + -25. Is w a prime number?
False
Suppose 5*n + 1480 = 5*o, 2*n + 2*n = o - 290. Is o a composite number?
True
Let b be 4 + 160 - (-2)/(-1). Suppose -2*x = -b - 544. Is x composite?
False
Suppose -2*i = -23 - 109. Is (2 + -2 - -3) + i prime?
False
Let b(c) = c**3 - 10*c**2 - 9*c - 3. Let w be b(8). Let q be (-10)/15*(-6)/(-1). Is (-4)/(-16) + w/q a composite number?
True
Let m(a) = 137*a**3 + a**2 - 2*a - 2. Is m(2) a composite number?
True
Let b(d) = d**2 - 3*d - 2. Let i be b(4). Suppose -u - 119 = -i*u. Is u a composite number?
True
Let b be ((-18)/(-5))/((-6)/20). Let o = b - -22. Let k = o - 0. Is k composite?
True
Let f(x) = x + 11. Let k be f(0). Suppose 201 = -k*o + 14*o. Is o a composite number?
False
Suppose -3*z + 0*z = -v + 1674, -3*v - 4*z = -5009. Is v a prime number?
False
Let j(r) = r**3 - 6*r**2 + r - 4. Let a be j(6). Let x(q) = 32*q**3 - q**2 + q + 3. Is x(a) composite?
False
Suppose 0 = 3*m - 4*h + 4, 0*h - h = 2*m - 1. Suppose s - 45 - 32 = -v, m = -4*s - 16. Suppose 0 = 3*t - 60 - v. Is t prime?
True
Suppose 3*n + 5*r + 19 = 0, -5*r - 19 = 5*n - 4. Let d be (n/4)/((-3)/(-30)). Let q = d - 2. Is q a composite number?
False
Suppose 2*c - 766 = -4*q, 4*c + q = -2*q + 1547. Is c composite?
False
Suppose -3 + 1 = -n. Let b(g) = 5*g**2 + 1. Is b(n) a prime number?
False
Let j(c) = -c - 14. Let k be j(-7). Let n = 17 + k. Suppose -2*m + 0*m = -n, 4*z + m - 81 = 0. Is z composite?
False
Suppose -3*g = 4*w + 83, 0*w - 5*w = -5*g - 115. Let p = 76 + g. Is p a prime number?
False
Let l(b) = b + 2. Let q be l(2). Suppose -q*f + 5 = -11. Suppose f*r - 231 = r. Is r a composite number?
True
Let i be 6 + (0 - (-4)/(-2)). Let d(c) = 10*c - 3. Is d(i) prime?
True
Let t be 0/((-4)/(1 - 3)). Suppose t = -3*g - 3*u + 360, 5*u = -5*g + 4*g + 116. Is g composite?
True
Let r be -1*(8 - 1)*-3. Suppose 0*s - 4*s = 3*n - r, 0 = 5*s + 2*n - 21. Is s a composite number?
False
Let l(h) = h + 1. Let p(c) = -6*c - 3. Let a(j) = 4*l(j) + p(j). Let s be a(-2). Is (-2)/s - 654/(-10) prime?
False
Let y(p) = -175*p - 3. Let w be y(-3). Let m(j) = j**2 + 7*j + 5. Let a be m(-4). Is 2/a + w/14 a prime number?
True
Is (-11 + 10)/(2/(-422)) a composite number?
False
Let u(h) be the second derivative of -14*h**3/3 + 7*h**2/2 + 5*h. Is u(-7) a composite number?
True
Let b = -2846 + 3997. Is b a composite number?
