Suppose -j = -3*d + 6520, 4*j + 556 + 5967 = 3*d. Is d composite?
True
Let w(x) = x**3 + 7*x**2 + 4. Let j be w(-7). Suppose 0*q - 2*q = -j. Suppose 3*r - c - 107 = -2*c, q*r = 3*c + 86. Is r composite?
False
Let q be (-27)/(-5) - (-6)/(-15). Suppose q*p - p = 2*n - 142, 3*n - 213 = 3*p. Is n prime?
True
Let f(s) = s**3 - 3*s + 1. Let l be f(2). Let c = -10 + l. Let m = 33 + c. Is m prime?
False
Let p = -3838 - -5517. Is p composite?
True
Let t = -232 + 627. Is t a prime number?
False
Let c = 7 + -16. Let l = c - -106. Is l a prime number?
True
Let a(y) be the second derivative of 22*y**3 - y**2/2 + 7*y. Is a(1) a prime number?
True
Let h(k) = -2*k**2 - k + 1. Let n = 11 - 10. Let w be h(n). Is (4 - -64)*w/(-4) prime?
False
Suppose -5*k - o - 3*o = 7, 0 = -2*o - 6. Let a(q) = 5*q - k + q**2 + 3*q + 0*q + 5. Is a(-11) prime?
True
Suppose -4695 = -4*b - 863. Is b prime?
False
Suppose y - 1 + 6 = 0, -5*v + 65 = y. Let n = v + -7. Is n a composite number?
False
Let w(z) = 61*z + 8. Suppose -2*q = -4*j + 28, -11 = -3*j - 0*q + 4*q. Is w(j) a composite number?
False
Suppose -523 = -t - 5*n, -5*t + t + 5*n = -2142. Is t composite?
True
Suppose 0 = 2*t - 4*t + 106. Is t prime?
True
Let b be (-6)/(-8) - 11/4. Is (-406)/(-3 - b - 1) composite?
True
Let x be -2*5*4/(-8). Suppose -111 = -x*y + 179. Is y composite?
True
Let a = -58 + 325. Is a composite?
True
Let z be 228/36 + 4/6. Let f(s) = s**3 - 6*s**2 - s - 7. Is f(z) prime?
False
Suppose 9501 = 5*a + 2096. Is a a composite number?
False
Let h(f) = f**3 - 1 - 3*f + 3*f**2 - 5*f**2 + 0*f**2 - f**2. Let l be h(3). Is (-444)/(-5) + (-2)/l a prime number?
True
Suppose -3657 = -11*h + 4472. Is h a composite number?
False
Let u be (-12)/(-1*(-2)/(-46)). Let r = u + 359. Is r a prime number?
False
Is (-4090 - (0 - 1))*(-4)/12 a prime number?
False
Let d = 825 + -490. Is d prime?
False
Let p = 1498 + -990. Is p/10 + (-3)/(-15) a composite number?
True
Let t(u) = u**2 - u - 2. Let p be t(3). Is (737/(-22))/((-2)/p) prime?
True
Suppose 0 = -0*a - 4*a. Suppose -3*c - t + 337 = a, 0 = -5*c - 4*t + 886 - 329. Is c prime?
True
Let d(i) = 474*i**3 - 2*i**2 + 6*i - 9. Is d(2) a prime number?
False
Suppose -2*t + 5*t = 3*j + 12, -t + 5*j + 20 = 0. Let z be (-2457)/14*(-2 + t). Let h = z + -202. Is h composite?
False
Let y be -1*2 + (3 - -260). Let b = y - 146. Is b prime?
False
Let p(c) = -126*c + 1. Is p(-1) composite?
False
Is ((-6)/(-5))/(2/635) a prime number?
False
Let y(m) = -26*m - 9. Let f(g) = 78*g + 26. Let n(s) = -6*f(s) - 17*y(s). Is n(-5) prime?
True
Suppose 4*x + 2 = 2*h - 4, 0 = 3*x + 12. Let w(s) = s**2 + 3*s - 4. Is w(h) prime?
False
Suppose -11*k - 5 = -10*k. Is 6/15 - 383/k a composite number?
True
Let y(s) = -s**3 - 2*s**2 + 5*s + 3. Let t be y(-3). Suppose -7*u + 4*u = -6. Is 2/t*(-531)/u a composite number?
True
Suppose 0*h = 2*h - 6. Suppose n - 3*n + h*j = 5, -4*n - 2*j - 2 = 0. Let l(c) = -126*c**3 + 2*c**2 - 1. Is l(n) a composite number?
False
Let z(t) = 920*t + 14. Is z(4) prime?
False
Suppose -3 = -2*h + 5. Suppose h*v = -y + 21 - 8, -3*v + 3*y = -6. Suppose 0 = k + 5*d - 16, -k - v*k + 4*d = -88. Is k a composite number?
True
Let h = -1 + 3. Suppose 5*s + h*d = 15, -d - 9 = -4*s - 2*d. Is s/(((-3)/23)/(-3)) composite?
False
Let q(v) be the third derivative of -v**6/120 - 7*v**5/120 + v**4/8 - 3*v**2. Let h(d) be the second derivative of q(d). Is h(-5) composite?
False
Let z(u) = 56*u - 2. Is z(3) composite?
True
Let z(f) be the second derivative of f**4/6 + 7*f**3/6 + 2*f**2 + f. Is z(-6) composite?
True
Suppose -4*q + 41 = t, 2*t - 5*q = 15 + 2. Let a = t + -11. Is a a prime number?
False
Let a(u) = u + 5. Let n be a(-6). Let c(o) = -3*o - 1. Let m be c(n). Suppose -4*l + 226 = -m*r, 2*r + 1 = -5. Is l composite?
True
Let o = 1 + -1. Let a = 3 - o. Suppose -3*r = -a*k + 186, k + 0*k - 2*r = 59. Is k composite?
True
Suppose 0 = -2*h + 6, 0 = -n + 4*h - 151. Is (n/2)/((-2)/4) prime?
True
Let h(w) = 7*w**2 + 3*w - 1. Is h(12) a prime number?
False
Let b be (-2 + 2 + 1)*1. Let r(q) = 22*q + 2 - 1 + 14*q. Is r(b) a composite number?
False
Suppose 3*n = -2*n. Let s = n - 3. Is 134/s*-6 + 1 prime?
True
Let j(y) = -5*y - 3. Let s(a) = -10*a - 7. Let c(h) = 5*j(h) - 2*s(h). Is c(-8) prime?
False
Let v(k) = k**2 - 3*k - 1. Let p be v(3). Let j(o) = 10*o. Let u be j(p). Let q = -7 - u. Is q a prime number?
True
Suppose 3*h + 11 = 4*a + 2*h, -3*h = 4*a - 15. Suppose -3*d = a*j + 2*j - 578, 0 = 5*j - 2*d - 573. Is j a prime number?
False
Let y be ((-3)/(-2))/(3/(-4)). Let x = 6 + -2. Is (-15)/12*y*x prime?
False
Suppose 628 = -k + 5*k. Is k composite?
False
Let d(t) = -3*t**3 + 19*t**2 + 4*t - 7. Suppose -12 = 3*x + 3. Let o(i) = i**3 - 9*i**2 - 2*i + 3. Let u(r) = x*o(r) - 2*d(r). Is u(-6) a composite number?
False
Suppose -4*v = -3*r - 55, -3*r = r + 20. Suppose -3*i + v = -32. Is i composite?
True
Suppose 2*l + 858 = 8*l. Is l composite?
True
Is (191/2)/(2/4) prime?
True
Suppose -4*k = y - 3387 + 614, 2*y = -5*k + 5534. Is y a prime number?
False
Is (-2)/20 - 479206/(-260) a prime number?
False
Let r(w) = -9*w**2 + 1 - 5*w + 0*w + 86*w**2 + 4*w. Is r(1) a prime number?
False
Is -443*(-4 - 6/(-2)) prime?
True
Let c = 5 + -9. Let s be ((-16)/(-2))/(c/6). Let h = -1 - s. Is h a prime number?
True
Suppose -y - 20 = 3*y. Let d(n) = -13*n + 5. Let t be d(y). Suppose t + 78 = 4*q. Is q a composite number?
False
Suppose 4*v - 8815 = -v. Is v a composite number?
True
Let b be 54/(-21)*(-7 + 0). Let i = 56 - b. Is i a composite number?
True
Suppose 108 - 24 = -4*l. Let q = 170 - l. Is q prime?
True
Let u(n) = -n**2 - 11*n - 3. Let h be 6/33 - 90/11. Let d be u(h). Suppose 4*t - d = 3*t. Is t prime?
False
Suppose 3*h + 3236 = 2*j + 5*h, 4*j + 5*h = 6469. Is j a composite number?
False
Let k = 46 - 16. Suppose -w + k = w. Is w composite?
True
Let h be (1 + (2 - 8))*-1. Suppose -4*x - 4*f - 10 = -2*f, h = 4*x - 3*f. Is (-4)/6*-45 - x a composite number?
False
Suppose -785 + 2820 = 3*m + 4*k, m = -k + 677. Is m prime?
True
Let h(d) be the third derivative of -19*d**4/12 - d**3/6 - 4*d**2. Is h(-1) prime?
True
Suppose -4*t = -3*f - 2*f + 112, f + t = 26. Let p = 95 + f. Is p a prime number?
False
Let w be -1024*(1 + 1 - 3). Suppose -5*t = -t - w. Let d = -137 + t. Is d a composite number?
True
Suppose 24 = 2*b + 20. Is b a prime number?
True
Suppose 87 + 323 = g. Suppose -4*c + g = -b + 3*b, 4*b - 5*c = 859. Is b a composite number?
False
Suppose 0*j = j. Suppose j = 3*g - 0*g - 57. Is g a prime number?
True
Suppose 4*v = 3*v + 3. Suppose -4*k + 3*z + 72 = -2*z, k = v*z + 11. Let q = k + -9. Is q composite?
True
Suppose 4*x + c - 13 = -0*c, 0 = 4*c - 4. Suppose -5 = -x*r + 1. Suppose -15 = -r*z - 5, -5*s + 5*z = -160. Is s composite?
False
Let w(s) = -s + 12. Let k be w(10). Suppose -2*t + 5*f - 152 = 0, k*t + 4*f + 28 = -106. Is t*(-4 + (2 - -1)) a prime number?
True
Let y be 6/(-3) - 6/2. Let o(x) = 8*x + 7. Let a be o(y). Let v = 56 + a. Is v prime?
True
Suppose 3517 = 5*x + y, 9 = 4*y + 1. Let t = x + -480. Is t a prime number?
True
Let x be ((-2)/6)/(2/(-12)). Is (1 - x)/(2/(-158)) a composite number?
False
Suppose -15 = -3*r - 3*p - 3, -5*p + 28 = -3*r. Let n be (1/1 + r)/(-2). Suppose n = 5*v - 25, -5*g + 10*g - 2*v - 415 = 0. Is g prime?
False
Let b = -845 + 1800. Is b composite?
True
Is (-2 - -2 - (-6 + 6)) + 254 prime?
False
Let v = 3 + -5. Let k be v/(-4)*(103 - -3). Let q = -34 + k. Is q prime?
True
Let d = 946 + -529. Suppose 245 = 3*x - 0*x + 5*i, -4*i + d = 5*x. Is x composite?
True
Suppose -i + 669 = 3*t, -4*t + 2*t + 5*i = -429. Let a = t + -2. Suppose 0 = 2*s - 6*s + a. Is s a composite number?
True
Suppose 0 = 5*y - 6786 - 2079. Is (-1 - y)*(-7)/14 prime?
True
Let p be 18/4*12 + 1. Suppose 3*t - 107 = -z, 4*t - p - 113 = 5*z. Is t a prime number?
True
Let z = -1 + 4. Suppose -376 = z*u + u. Let o = u + 131. Is o a composite number?
False
Suppose -q + 5*g = -620, 0 = 3*q - 2*q + 3*g - 612. Let m = q + -1134. Is (-4)/18 + m/(-27) composite?
False
Let p = -111 + 232. Is p a prime number?
False
Let r = 254 + -160. Suppose t - r = -t. Suppose -141 = -3*x - n - 2*n, -x + t = 4*n. Is x a prime number?
True
Let b(u) = 292*u + 1. Is b(1) composite?
False
Let u(a) = 21*a**2 + a + 9. Is u(3) a compo