be j(0). Suppose d + 0 = k. Suppose -z = k*z - 78. Is z a prime number?
False
Suppose 0 = a + 2*a - 996. Suppose -6*t + 2*t = -a. Is t prime?
True
Let j(o) = 21*o**2 - 8*o + 6. Is j(5) composite?
False
Let l = 1 + 15. Suppose 0 = n + 4*q - 4 - 14, 0 = 4*q - l. Suppose -n*b + 148 = 2*b. Is b a prime number?
True
Suppose -3*t - u = -11, -2*t + 6 + 1 = u. Suppose 2*o - t*l - 8 = 0, 4*l - 66 = -4*o + 2*l. Is o composite?
True
Suppose c + 34 = 4*c - 5*p, 4*c - 3*p = 27. Suppose -4*v - v + 898 = l, 0 = c*v + l - 540. Is v a prime number?
True
Suppose -4*u - 4*x - 4 = 0, -5*u + x = 2*x - 15. Suppose 3*n = 5*z - 110, -3*z - u*n + 20 + 46 = 0. Is z prime?
False
Let x = -85 - -127. Let b = 1 + 3. Suppose b*y - x = 90. Is y prime?
False
Let a be ((-8)/(-4) - 3)*93. Suppose w - 3*i = -2*i + 1, 5 = -w - 5*i. Let c = w - a. Is c prime?
False
Suppose 3 = 3*o, 4*t - 1 - 2 = -3*o. Suppose 3*z = 87 - 21. Suppose -p + d + 7 = t, -p - 4*d = -2*p + z. Is p a composite number?
False
Suppose 9*v - 745 = 4*v. Is v a prime number?
True
Suppose 4*x - 3359 = -5*v, -840 = -x - 0*x - v. Is x a composite number?
True
Let d(p) = 12*p**2 - 13*p. Is d(-7) prime?
False
Suppose 9*z = -z + 1630. Is z a prime number?
True
Suppose -2*r - 18 = r. Let u be 3056/(-6) - (-4)/r. Is 6/(-33) - u/22 prime?
True
Suppose 2*l - 4*l - 5*u = -58, -2*l = -u - 58. Suppose -t + 280 = l. Is t a composite number?
False
Let f(v) = 15*v**3 - 4*v**2 - 2*v + 10. Is f(3) a prime number?
True
Let v(p) = p**3 + p**2 + 4*p + 4. Let k = -5 - -9. Let i be v(k). Suppose -6*y = -2*y - i. Is y prime?
False
Let c(z) = z - 7. Let m = 7 + 0. Let g be c(m). Suppose -q = -n + 27, -3*n + g*n - q + 97 = 0. Is n a composite number?
False
Let n(s) be the third derivative of -1/12*s**4 - 2*s**2 + 1/5*s**5 + 0 + 0*s + 1/2*s**3. Is n(-4) a composite number?
True
Let j = 11 + -13. Is 1/(j/3)*-14 a composite number?
True
Let n = 662 + -397. Is n composite?
True
Let l = 2 - 6. Let s(b) = -2*b**3 - b**2 + 3*b - 2. Let p be s(l). Let t = p + -31. Is t prime?
True
Let j(n) = -n**2 - 10*n - 3. Let a be (2/4)/((-2)/24). Is j(a) a composite number?
True
Let f(s) = 1 + 10*s**2 + 8*s**3 + 8*s**2 - 19*s**2. Let a be f(1). Suppose -2*d = 2*i - 16, -i = -5*d + a + 50. Is d composite?
False
Let x = -9 + 9. Let g = -2 + x. Is (-1)/g*79*2 a composite number?
False
Suppose -1 - 1 = -2*p. Suppose p = h - 2. Suppose c + h*c = 204. Is c a prime number?
False
Let b(s) = -s**3 - 4*s**2 + 7*s + 3. Let x be b(-5). Let a = -9 - x. Is (-10)/15*381/a a composite number?
False
Suppose -45*l = -47*l + 1930. Is l prime?
False
Suppose -2*z + 5 = 1. Let h = -2 - -3. Is z/1 + h + 1 prime?
False
Let a = 493 - 345. Suppose 7*h - 5*h = a. Is h a composite number?
True
Let c(h) = h + 10. Let s be c(-6). Suppose s + 0 = b. Suppose -b*y + 175 = y. Is y a prime number?
False
Let q(h) be the third derivative of 1/6*h**3 + 2*h**2 + 0 + 1/3*h**4 + 0*h. Is q(1) a composite number?
True
Suppose p + 43 = 4*l, 2*l = -3*l - 3*p + 41. Is l composite?
True
Let j be ((-62)/(-4))/(6/12). Let f = j + 0. Suppose t - 46 = f. Is t a prime number?
False
Let v be (-5 - -6)*59/1. Suppose 2*g + v = h, -h - 4*g = -25 - 58. Is h a composite number?
False
Is (2/(-10))/(5/(-925)) prime?
True
Is (-28)/8*(-8)/2 a composite number?
True
Suppose -868 = -4*k + 496. Suppose 4*n - 5*l - k = 0, -2*n - 178 = -4*n + 4*l. Is n composite?
False
Suppose -4*z + 3460 = -0*z. Is z composite?
True
Suppose -2*n + 269 = 4*j - 57, -2*j = 2*n - 322. Suppose -4*r + n = -65. Let u = r - 13. Is u a prime number?
True
Let k be 4/(-8)*(0 + -2). Is (-20)/(k/(3/(-6))) a prime number?
False
Let c(g) = -7*g - 10*g - 3*g**2 + 10 + 5*g. Let n(i) = -i**2 - 6*i + 5. Let p(o) = -4*c(o) + 9*n(o). Is p(6) prime?
False
Suppose -3*g - g = 3*i - 401, -g - 4 = 0. Is i a composite number?
False
Suppose -t + 2*t + 5*h - 450 = 0, 0 = 2*t + h - 918. Suppose 5*z - z = t. Is z composite?
True
Suppose -2*g = 2*g - 1264. Suppose 2*y - 2*v - g = 0, 0 = 2*y - 0*y - 3*v - 315. Suppose -5*c + 16 = -y. Is c composite?
True
Let s(c) = -2*c - 6. Let u be s(-11). Let p be -2 - (1 - (u - 2)). Suppose -5*q - 3*n + 2*n = -p, q - 5*n - 23 = 0. Is q a prime number?
True
Let y(g) = 23*g + 4. Is y(9) a prime number?
True
Suppose 3*s = 0, 5*q - 12*s - 70 = -7*s. Is q composite?
True
Let b = -682 + 1659. Is b composite?
False
Let y(w) = -w**2 - w - 1. Let n(j) = 4*j**2 - j - 3. Let s(i) = -n(i) - y(i). Let g be s(3). Let p = g + 54. Is p prime?
True
Let g = -38 - -12. Let i = g + 8. Is (-2)/9 - 1390/i prime?
False
Let a(s) = -s**2 + 3*s + 7 + 2*s**2 - 6*s**2 + s**3. Let l be a(5). Is (-5)/((-15)/9) + l a prime number?
False
Suppose 213 = 2*h - 3*g, 4*h + 2*g = -2*g + 476. Let j = 1 + h. Is j composite?
True
Let a(i) = i**3 - 2*i**2 - i - 1. Let w be a(2). Let p be 12 - w/(-6)*0. Suppose -34 = -r - p. Is r a prime number?
False
Suppose 0 = 4*k - 534 - 2478. Is k composite?
True
Let b = 6 + -4. Let k = b + 2. Is (-2)/((16/(-170))/k) composite?
True
Let i(r) = r + 4. Let n be i(-7). Let q = n - -3. Is (q - 62)*1/(-2) prime?
True
Let y = -5 + 7. Suppose -2*i - y*i + 104 = 0. Is i prime?
False
Suppose 0 = 2*u - 7*u + 485. Is u prime?
True
Suppose 3*i + 49 = -5*x + i, 0 = -5*x - 3*i - 46. Let w = -7 - x. Is ((-83)/2)/((-2)/w) prime?
True
Is 4/(-30) - 4/(240/(-93668)) a prime number?
False
Let k be (3/(-2))/((-15)/20). Let d(t) = 20*t**k + 5 + 0 + 6*t - 18*t**2. Is d(5) prime?
False
Suppose -v = 4*x - x - 5, 4*v = x + 20. Suppose -3*b = 2*b, v*b = -5*r + 935. Is r a composite number?
True
Suppose -3*x - 2*x + 295 = 0. Is x prime?
True
Let z(n) = -n**3 - 13*n**2 - 15*n + 1. Let g be (1 - 7)/((-2)/(-4)). Is z(g) composite?
False
Suppose 7*m - 3*m = -8. Let s be (2/(-1))/(m + 0). Is (s - 0)*1*67 a composite number?
False
Let f = -113 + 252. Is f a composite number?
False
Suppose 260 = 4*v - 8*v. Let d = -46 - v. Is d composite?
False
Suppose 196 = 4*c - 156. Let o = c + 9. Is o composite?
False
Is (3/6)/((-1)/(-194)) composite?
False
Suppose -3*b - 1303 = 4*f - 4364, 2*b = -2*f + 1528. Is f a prime number?
True
Let c = 14 - 10. Suppose 4*u - c*t - 216 = 0, -6 = 4*t + 6. Is u a composite number?
True
Let h = -2 - -4. Suppose 53 = h*z - z. Is z composite?
False
Let o = 12 + -4. Suppose 4*d - 2*p = -2 - o, -2*d + 2*p = 6. Let x(k) = -5*k - 1. Is x(d) a prime number?
False
Let w = 1349 + -2073. Is -1 + (w/(-4) - -1) composite?
False
Let x = -3 + 4. Suppose -4*h + 0*y + 3*y = -7, 4*h + 3*y = x. Is (12 + h)*(2 + 1) prime?
False
Is (6/(-15))/((-2)/815) a prime number?
True
Let x(o) = 6*o - 5. Suppose 5*w + 0 - 25 = -5*p, -5*p + w = -19. Is x(p) a composite number?
False
Let t(p) = -p**2 - 2*p. Let c be t(-2). Let g be -1 - (-1 - (c + -2)). Is (g/4)/(2/(-76)) prime?
True
Suppose -67 = -3*f + 2*p, -f + 20 = -7*p + 4*p. Is f composite?
False
Let z = -179 - -108. Let c be -5 + 5 - 1*z. Let g = -24 + c. Is g composite?
False
Let h(c) = 32*c**2 - 4*c**2 + 0*c**2 - 1 + 2*c + 5*c**2. Is h(-2) prime?
True
Let g(z) = 4*z**2 - 3*z - 2. Let v(c) = c - 4. Let f be v(-3). Is g(f) composite?
True
Let l(u) = 0 + 2 + 5*u**2 - 3*u**2 + 3*u - 1. Let z be l(-2). Suppose -z*a = -26 - 205. Is a prime?
False
Suppose 0 = -4*u + 2*n + 5690, 7*u - 9*u + 2*n + 2844 = 0. Is u a prime number?
True
Suppose -3*p = 1 + 11. Let x(b) = -4*b**2 + 3*b - 1. Let m(r) = -7*r**2 + 5*r - 1. Let a(k) = -3*m(k) + 5*x(k). Is a(p) a prime number?
False
Suppose 0*g - 28 = -2*g. Let x = g + -10. Suppose 2*q + 0*q - 95 = -5*a, -x*a = 5*q - 76. Is a a prime number?
True
Suppose -24*f = -15*f - 30627. Is f prime?
False
Let s(m) = 554*m - 5. Is s(2) composite?
False
Let g(t) = 78*t + 19. Is g(5) a composite number?
False
Suppose -5*y + 5 = -3*m + 4, 2*m = y - 3. Is y - (-59*32)/4 a composite number?
True
Let h(v) = 64*v - 5. Let u be -1*5/((-15)/27). Is h(u) composite?
False
Suppose 4*c - 25 = 603. Is c a prime number?
True
Let i(h) = 54*h - 1. Is i(9) a prime number?
False
Suppose 0 = r - 4*z + 6 + 6, -5*r = 3*z - 32. Suppose h + 0*h - r*w - 645 = 0, h - 621 = -2*w. Is h a prime number?
False
Let v(i) be the third derivative of -5*i**4/8 - 2*i**3/3 - i**2. Is v(-5) prime?
True
Suppose -4*o + 5 + 7 = 0. Let l(v) = v**2 - 5*v. Let i be l(o). Let q(h) = -h**2 - 9*h - 8. Is q(i) a composite number?
True
Let x = 5 + 