 - 2*h + 508. Is h composite?
False
Suppose -4*g = -2*l - 0 - 18, 4*g + 2*l - 14 = 0. Let y(i) = 2*i**3 - 5*i**2 - i + 1. Let s be y(7). Suppose -a - g*a = -s. Is a prime?
False
Let c = 1543 - 584. Let y = c - 372. Is y prime?
True
Suppose -2*a + 318 = a. Is a a composite number?
True
Let a = 15 + 54. Is a prime?
False
Let n = -6 - -8. Suppose 34 + 44 = t - l, 0 = n*t + l - 153. Is t a composite number?
True
Let q = 7 + -3. Suppose 4*h + 1212 = 4*w, q*w = 3*h - 6*h + 1226. Suppose 28 = f + 3*a, -a + 85 - w = -5*f. Is f a composite number?
False
Suppose 0*d = 5*d - 3*r - 38, -3*d + 2*r + 22 = 0. Let x(l) = 4*l - 5. Is x(d) a composite number?
True
Suppose 2*l - 3*y + 25 - 4 = 0, 4*l - 3*y + 39 = 0. Let x(a) = 2*a**2 + 10*a + 7. Is x(l) prime?
True
Let p(m) = -2*m - 1. Let x be p(-9). Suppose 25 + x = g. Suppose -3*l + g = -l. Is l prime?
False
Let k(o) = 27*o - 5. Is k(6) a prime number?
True
Suppose -798 = -3*s - 3*c, -4*c - c = -15. Is s composite?
False
Let s(n) be the first derivative of -n**3/3 + 9*n**2/2 + 3*n - 2. Is s(5) a prime number?
True
Suppose -3*k = -k - 8. Suppose -6*b = -2*b. Suppose -k*c + 3*c = b, -j + c = -77. Is j a prime number?
False
Is ((-745)/10)/(1/(-14)) composite?
True
Let u(n) = 4*n + 6 - n**2 + 1 - 4 + 0. Suppose -7*p = -2*p - 20. Is u(p) a prime number?
True
Let u = 42 + -138. Let d = u + 190. Is d composite?
True
Let y(l) = l**3 - 6*l**2 - 6*l - 5. Let v be y(7). Let n = v + 11. Is n/2*(-1 - -3) a prime number?
True
Let a be (1*-1)/(5/(-10)). Suppose 5*b = a + 13. Suppose -b*f + 2 = -103. Is f a prime number?
False
Let q(n) = 7*n - 26. Let f(c) = -6*c + 26. Let j(r) = 6*f(r) + 5*q(r). Is j(0) prime?
False
Let k be (1386 - 1)*(-2)/5. Is (-1)/(-5) + k/(-5) prime?
False
Let u(c) = c**2 + 2*c - 5. Suppose -3*y = 9 + 3. Let t be u(y). Suppose -33 = -t*l + 24. Is l composite?
False
Let d = 104 + 227. Is d composite?
False
Suppose 0 = -2*s - 4*d + 20, s - d + 3 = 4. Suppose 249 = 5*i + s. Is i prime?
False
Let q be 3*(1 + 33/(-9)). Is 5/40 + (-1015)/q a composite number?
False
Let q(p) = -p**3 - 4*p**2 - 5*p - 4. Let i be q(-3). Suppose -20 = 4*w, i*w = 4*f - 15 - 3. Suppose f*l = o - 67, o + 4*l + 5 - 72 = 0. Is o prime?
True
Suppose 3*z = 3*v - 343 - 2060, -2*z - 8 = 0. Is v a prime number?
True
Is (153 - 11)/(2/3) prime?
False
Suppose h = 3*k - 189, -2*k + h = 2*k - 251. Suppose -5*u + k = -33. Is u prime?
True
Let m be (1/1)/((-1)/17). Let n(w) = w**3 + 6*w**2 + 4*w - 6. Let h be n(-6). Let s = m - h. Is s a prime number?
True
Let f = 166 + 279. Is f a composite number?
True
Let a(y) be the first derivative of 8*y**3/3 - 5*y**2/2 + 3*y + 3. Let n be a(3). Suppose 131 + n = i. Is i prime?
True
Is ((-62)/(-8))/((-3)/(-60)) a prime number?
False
Let n = -6 - 0. Let m be 2 + (80 - 2) + -2. Is m/(-4)*n/9 prime?
True
Let g(v) = 239*v**3 - 1 + v**2 + 0 + 0*v**2 + v - 2*v**2. Let f be g(1). Suppose o - 2*o - 94 = -2*z, -5*z = -4*o - f. Is z prime?
False
Is 15111/7 + 2/7 composite?
True
Let t(d) = d**3 - 5*d**2 - 5*d + 4. Let m(p) = -p**3 + 5*p**2 + 6*p - 3. Let h(c) = 3*m(c) + 2*t(c). Let j be (2*1)/(-2)*-6. Is h(j) prime?
True
Suppose o = -5*a - 2*o - 43, -5*a + 2*o = 38. Is a*2*2/(-8) a prime number?
False
Let o = 1678 - 1159. Is o a prime number?
False
Let t = -1 - 5. Let i be 8/t*3/(-2). Suppose d - 2*b - 32 = -4*b, -2*b - 82 = -i*d. Is d prime?
False
Let l(t) = -t**2 - 10*t - 3. Let p = -3 + 6. Suppose -p = r + 1. Is l(r) prime?
False
Suppose s - 3825 = 5*g, 0 = 4*g - 0*g - 3*s + 3049. Let o = -513 - g. Is o a composite number?
True
Is 1/(-4 + 5109/1277) a prime number?
True
Suppose 260 = 5*t - 0*t. Let s = 7 + -17. Is t/5 - (-4)/s a prime number?
False
Let n = 4 + 2. Let l(b) = -b**3 + b**2 - b. Let q(t) = 3*t**3 + 2*t**2 + t + 5. Let k(z) = -4*l(z) - q(z). Is k(n) composite?
False
Suppose -5*b = -0*b - 2100. Suppose -b = -3*w - 2*w. Let h = w + 57. Is h a prime number?
False
Let f(g) = g**2 + g - 3. Let c be f(-5). Let i be ((-2)/4)/(2/28). Let h = i + c. Is h a prime number?
False
Is (-1 - -4)*(-3820)/(-12) a composite number?
True
Suppose -3*a - 329 = -2*k, 3*k - 496 = -0*k + 5*a. Is k composite?
False
Let l be 152/3 - (-1)/3. Suppose 5*y + 48 = 2*u, 0 = 4*u - u + 3*y - l. Is u composite?
False
Let f = -152 + 594. Suppose 5*w = 2*w - 5*v + f, -5*w + 5*v = -750. Is w a composite number?
False
Is 26/130 + ((-5719)/(-5) - -1) composite?
True
Suppose 91 = 4*j + 3*w, 2*w = 2*j - 32 + 4. Let k = 113 - j. Suppose -k = -0*d - d. Is d a composite number?
True
Is (-3)/4 + (-4472)/(-32) composite?
False
Let m = -20 - -42. Suppose -m - 13 = -f. Is f composite?
True
Let t = 330 + -161. Is t a composite number?
True
Is ((-4)/(-6))/(8/2604) composite?
True
Suppose 3*d - 4 = -10, -4*y + 3*d = -26. Let n(k) = k**2 - 3*k - 5. Let o(q) = q - 1. Let m(g) = -n(g) + 2*o(g). Is m(y) a composite number?
False
Let x(r) = 1151*r + 36. Is x(5) a composite number?
False
Let a(u) be the first derivative of -2 - 2*u - 23/2*u**2. Is a(-3) a prime number?
True
Suppose 6*n = n + 230. Suppose n + 88 = 2*t. Is t prime?
True
Suppose -f + 0*f = -8. Let i = -6 + f. Is i*(-110)/16*-4 composite?
True
Let w(x) = x**3 - x**2 - 3*x + 2. Let u be w(2). Suppose u = 3*q + 218 - 821. Is q a prime number?
False
Suppose -27 = -d + 47. Is d composite?
True
Let q(p) = 117*p**3 + 2*p**2 + 3*p + 3. Is q(2) composite?
False
Suppose -2780 + 794 = -6*r. Is r prime?
True
Let k(r) be the second derivative of r**7/1260 + r**6/180 - r**5/40 + r**4/12 + r. Let q(f) be the third derivative of k(f). Is q(-4) composite?
False
Suppose -s + 5*j = 19, 4*s + j - 8 = -0*s. Let r(x) = 6*x + 1. Is r(s) prime?
True
Suppose 6*h + 1133 = 14519. Is h prime?
False
Suppose b = -3*b. Suppose 8 = 5*z + 2*n, z + z + n - 3 = b. Suppose z*s - 74 = 2*t, 37 = s - 0*t + t. Is s a prime number?
True
Let x(o) = o**3 - 4*o**2 - 5*o + 5. Let v be x(5). Let w be (-1 - -1) + (-2)/(-1). Let g = w + v. Is g prime?
True
Let t(k) = -k**3 - 25*k**2 + 33*k + 56. Is t(-27) a composite number?
True
Suppose -4*t - t = 3*p - 271, -157 = -3*t + p. Is 0 - t*-5 - 2 prime?
True
Let j = 2132 + -1101. Is j prime?
True
Suppose -4*f = -4*h - 12, -4*f + 2 + 2 = 4*h. Let y be 8/28 + 94/14. Is (h + y)/(6/33) a prime number?
False
Let x(i) be the first derivative of 37*i**7/840 - i**6/360 + i**4/24 - i**3/3 - 1. Let r(t) be the third derivative of x(t). Is r(1) composite?
False
Let m(s) = -34*s + 1. Is m(-1) composite?
True
Let i be (-2 - -3)*-1 + 11. Suppose c + 4*u + 3 = 0, -i + 1 = 3*c - u. Let j = c + 37. Is j a composite number?
True
Let h(c) = -163*c + 1. Let q be h(-2). Let j be q/9 + 3/(-9). Suppose -2*s + 110 = j. Is s a prime number?
True
Is (-3 - 0)/3 - -4722 composite?
False
Suppose 5*x = 2*h - 20, 4*h - 5*x - 27 = 3. Let j(c) = -c**2 + 5*c + 7. Let z be j(h). Suppose z = 5*f - 63. Is f prime?
False
Let w(k) = 22*k + 13. Is w(6) prime?
False
Let n be (5/(-3))/(1/(-3)). Suppose n*d - 4*d - 113 = 0. Is d a prime number?
True
Suppose 133 + 314 = 3*k. Is k a prime number?
True
Let u be 2 + -15 - (1 - 4). Let f = 17 + u. Suppose 5*k = 2*y + 33, -3*k + 25 = -3*y + f. Is k a prime number?
True
Suppose 5*h - 613 = 3*c + 1045, 660 = 2*h + 2*c. Is h a composite number?
False
Let d(c) = -c**3 - 11*c**2 - 10*c + 5. Let b be d(-8). Let a = -60 - b. Is a prime?
True
Suppose 2148 + 366 = 6*z. Is z a composite number?
False
Let f(t) = -t**3 - 5*t**2 + 5*t - 2. Let s be f(-6). Suppose n + 12 = s*n. Suppose -3*u = -n*y - 285, -5*u + 265 = -2*y - 196. Is u a prime number?
False
Suppose g + 0*g = 92. Is g/(-6)*(-12)/8 composite?
False
Let m(n) = 9*n - 1. Let k(d) = -19*d + 3. Let c(s) = 6*k(s) + 11*m(s). Is c(-10) composite?
False
Let s(n) = 3*n**2 - 7*n - 15. Is s(-10) a prime number?
False
Let s(i) be the first derivative of i**2/2 + 8*i + 3. Let h be s(-8). Suppose l = -2*l - 3*p + 192, h = -p - 3. Is l prime?
True
Let m(a) = 30*a - 3. Let w(y) = -59*y + 7. Let j(x) = -5*m(x) - 2*w(x). Is j(-1) prime?
False
Is (18/(-12))/(6/(-2348)) a composite number?
False
Suppose 0 = 2*c - 4*v + 10, -3*v + 6 = 4*c - 7. Is (-194)/(-2) - (c - 1) composite?
False
Let u = -5 - -8. Suppose -2*t = u*t - 785. Is t a prime number?
True
Suppose c - 2*y = 2*c - 47, 2*y + 27 = c. Is c a composite number?
False
Suppose 6*z - 5030 = z + 5*n, n + 3 = 0.