e -3*d = -d + s. Let z(h) = -110*h - 1. Is z(d) a composite number?
False
Let h(j) = 35*j - 3. Let t be h(3). Suppose 0 = 7*i - 4*i - t. Is i a prime number?
False
Let z(h) = 3*h**2 - 9*h + 1. Let i be 1*(4 - 0/3). Let j = 10 - i. Is z(j) prime?
False
Let v(z) = 37*z**2 + z - 1. Is v(-2) a prime number?
False
Suppose -6*t + 2*t = -876. Is t prime?
False
Let y = 11 - 3. Let x(s) be the first derivative of -s**4/4 + 7*s**3/3 + 11*s**2/2 - 10*s - 9. Is x(y) prime?
False
Suppose -131 = n - 373. Suppose -3*i + 0*i + n = 5*v, -2*i + 5*v + 128 = 0. Is i a composite number?
True
Let t(z) = -z**3 + 15*z**2 - 8*z + 15. Is t(13) composite?
True
Let s = 20 - 19. Is (s + -2)/(7/(-5327)) a composite number?
False
Suppose -3*c + 12 = -3. Suppose c*h = 3*j - 37, -22 = -2*j + 6*h - 2*h. Let u = j - -34. Is u a prime number?
True
Suppose 2*x = -g - 11, 5*g - 2*x - 2 = -45. Let c = g + 18. Suppose 3*t - c = 0, 0 = r + r - t - 175. Is r a prime number?
True
Let b(w) = 10*w**3 - w**2 + 1. Is b(2) composite?
True
Suppose 0 = 4*i, -2*z = -i + 2*i. Is (-2 + z)/(2/(-21)) composite?
True
Let j = 750 - 451. Is j composite?
True
Is 3/(-6)*-2 + 436 a composite number?
True
Suppose 0 = -2*v - 2*b - b - 26, 17 = -3*v + b. Let n(a) = -a**3 - 7*a**2 - 5*a - 1. Is n(v) a composite number?
True
Let o be 1/4 + 590/8. Suppose 3*r = c - o, -r + 257 = 3*c + 15. Suppose 4*d + 13 = -5*v + 131, -4*v = -4*d - c. Is v composite?
True
Suppose 0 = -5*x + 6 + 9. Suppose 0 = x*j + 6 - 651. Suppose -u = i - 43, -5*u + 0*i - i + j = 0. Is u a composite number?
False
Let z(i) = i**3 - 3*i**2 - 2*i + 3. Let b be z(4). Suppose -6*d - 4865 = -b*d. Is d a composite number?
True
Let a = 263 - 129. Is a a prime number?
False
Let u = -21 - -15. Let r be 93/18 - (-1)/u. Suppose -387 = -r*t + g, -4*t + 302 = 4*g - g. Is t composite?
True
Suppose -2*o + 1502 = 4*j, 355 = -5*o - 5*j + 4110. Is o prime?
True
Suppose 3*o - o - 5*w = 1437, -o + 714 = -w. Is ((-2)/(-6))/(3/o) a composite number?
False
Let u(h) = -h**3 - 6*h**2 - 4*h + 2. Let m be u(-6). Let k = m + -169. Let l = -90 - k. Is l a prime number?
True
Let r be (-3)/2*16/(-12). Suppose -r*d - 17 = -63. Is d a prime number?
True
Suppose -957 = -2*m - 211. Is m prime?
True
Suppose 0 = -2*t + t - 233. Let f = 718 + t. Is f a prime number?
False
Let q be (-15)/(-2*6/16). Let j = q - 5. Is j a composite number?
True
Let n = -3 - -6. Suppose 0 = 2*j - n*j - 9. Is 1/(-1 - 10/j) prime?
False
Suppose 0 = -3*d + 2*d + 5*y - 13, 4*y = 8. Let x(v) be the third derivative of -v**4/4 + v**3/2 - v**2. Is x(d) composite?
True
Suppose -4*n + 3*n + 31 = 0. Suppose 0 = x - 2*x + n. Is x prime?
True
Suppose -1008 = -2*l - 4*n, -l + 484 = -3*n - 40. Suppose 0 = 4*o - k - 0*k - l, 3*k = 2*o - 266. Is o a composite number?
False
Let y(h) = h**3 + 3*h**2 + 7*h - 11. Is y(8) prime?
False
Let c be (-1)/2 + (-82)/4. Let w = 16 - 18. Is (c/6)/(1/w) composite?
False
Let g be -3*6/9 + 181. Let z = -184 - -90. Let m = g + z. Is m a composite number?
True
Let p = -6 + 6. Suppose p = -4*f + 7 + 69. Is f a prime number?
True
Is -4 - -133*(-2 - -49) prime?
True
Let j(w) = -28*w + 21. Let a(l) = 9*l - 7. Let c(t) = 7*a(t) + 2*j(t). Let g = -1 - -7. Is c(g) a prime number?
False
Let s(o) = 12*o**3 + 6*o**2 - o - 1. Let w be s(-5). Let x = -915 - w. Is x prime?
True
Let n be 6/(0 - 3/(-26)). Suppose 3*i = 11 + n. Is i prime?
False
Let i = 224 - -489. Is i a composite number?
True
Suppose 4*m + 4 = 2*m. Let f(l) be the second derivative of -3*l**5/4 + l**4/12 + l**3/6 + l. Is f(m) prime?
False
Suppose -4*z - z + 15 = 0. Let u(b) = 2*b**3 + 3*b**2 + 5*b - 3. Is u(z) a prime number?
False
Suppose 4*i - 11 = -5*u, -5*u - i = -10 - 4. Let w(n) = 6*n**3 + 2*n**2 + 3*n - 4. Is w(u) a prime number?
False
Suppose -3*v - 16 = 2*z, 6*v + 11 = 5*v + 5*z. Is v/18 + (-4328)/(-6) prime?
False
Suppose 40*o - 3166 = 38*o. Is o a composite number?
False
Suppose 0 = 5*h - 10, 121 = c - 0*h - 3*h. Is c composite?
False
Let w(c) = 783*c - 5. Is w(1) a composite number?
True
Suppose -2*j + x + 312 = -133, j + 2*x - 225 = 0. Is j a composite number?
False
Suppose 3*o = o - 38. Is (-2 + 4)*o/(-2) a prime number?
True
Suppose -3*n - 134 = -2057. Is n prime?
True
Let v be (-2)/(-5)*(1 + 4). Let j be (-13)/v*(1 + -3). Suppose j = 5*i - 22. Is i a prime number?
True
Suppose 3*x + 8 = 5*x. Suppose -4*s + 6*n + 145 = n, x*n - 101 = -3*s. Is s prime?
False
Suppose v - 638 = -0*u - 3*u, 5*v - 4*u - 3209 = 0. Is v prime?
True
Let n be (1*-2)/((-1)/2). Suppose 2*q + 0 = n. Suppose 383 = 4*s + v, 5*s - v + q*v - 478 = 0. Is s prime?
False
Suppose 0 = 3*p + p - 972. Let x = 52 - p. Let o = x - -354. Is o composite?
False
Suppose 2*d + 0*d = 10. Suppose 5*k = -3*w + 905, d*w - k - 1949 = -422. Is w a composite number?
True
Suppose 12*y - 11*y - 329 = 0. Is y prime?
False
Suppose z = 93 + 38. Suppose 15 = 3*t, 4*f - 3*t - z = 2*t. Is f a prime number?
False
Suppose -f + y + 99 = -13, -334 = -3*f + y. Is f a composite number?
True
Suppose 4*y - 3000 = -412. Is y prime?
True
Let r(y) be the third derivative of y**6/240 + y**5/40 - y**4/24 + y**2. Let k(f) be the second derivative of r(f). Is k(4) prime?
False
Let s(f) = f**2 + 4*f - 1. Let u be s(-8). Suppose 2*d = d + u. Is d a prime number?
True
Let i be 1 + (-93)/(0 - 1). Suppose 164 = -2*p - 2*p. Let r = i + p. Is r composite?
False
Let x be (-2)/2 - (-2 + 1). Suppose -o = -2*k + 110, 3*k + 3*o - 147 = -x*k. Is k composite?
False
Is (-44418)/(-14) + 5 + 165/(-35) a composite number?
True
Suppose -5*p + p = -92. Suppose -l + 14 = -p. Is l composite?
False
Suppose 7*b = 2*b + 105. Suppose 3*w + 2*n + n = 15, 0 = -5*w - n + b. Let y = 27 + w. Is y a composite number?
False
Let m be (6/4)/(1/54). Suppose -2*q + 5*d + 39 = q, -3*d = -5*q + m. Let y = 77 + q. Is y a prime number?
False
Let s(j) be the second derivative of j**6/240 - j**5/40 - j**4/6 + 2*j. Let u(k) be the third derivative of s(k). Is u(4) prime?
False
Suppose 4*y = -2*c + 306, 2*y - 7 = -3. Is c a prime number?
True
Suppose 2*v + 0*v = 2. Let s(w) = 65*w**2 - w + 1. Is s(v) a prime number?
False
Let t = 47 - 26. Is t composite?
True
Let i be ((-3)/(-9))/(1/15). Suppose 40 = 4*l + i*z, 0 = -4*l - 0*l + 2*z + 12. Suppose l*x - 246 = 19. Is x a composite number?
False
Is 9926/30 - (-20)/150 a composite number?
False
Let s(l) = 4*l**2 + 9*l + 5. Let r be s(-7). Is ((-2)/3)/((-4)/r) a prime number?
True
Suppose 3*v - 4*x = -67, -44 - 83 = 5*v + x. Let s be (-5)/v - (-348)/10. Suppose 0*f = 5*f - s. Is f a composite number?
False
Suppose 514 = d - 31. Is d composite?
True
Suppose -4*d = d - 10. Suppose -d*v + 16 = r - 3, r - 4 = v. Let p(y) = 3*y + 6. Is p(r) a prime number?
False
Is 699 + ((-1)/(-3))/(14/84) composite?
False
Suppose 5*c = -5, -5*y + 2*y = 2*c - 6967. Is y composite?
True
Let o = -92 + 183. Let w = 182 - o. Is w a prime number?
False
Let n(u) = 0*u**2 - u - 4*u**3 + 77 + 5*u**3 + 0*u**2 + u**2. Is n(0) a composite number?
True
Suppose 0 = 2*a, 5*b - 5*a - 2018 - 47 = 0. Is b a composite number?
True
Let a(t) be the first derivative of 26*t**3 - t + 5. Is a(1) composite?
True
Let z(l) be the first derivative of -15*l**2/2 - 5*l - 1. Is z(-4) composite?
True
Let d = -91 - -230. Suppose -280 = 5*b + 90. Let m = d + b. Is m a composite number?
True
Let i(x) be the third derivative of 19*x**5/30 + x**4/24 - 3*x**2. Let y(l) = -l**2 - 4*l - 1. Let q be y(-4). Is i(q) a composite number?
False
Let q = -4 - -6. Let x = 6 - q. Suppose 3*j + 37 = x*j. Is j a composite number?
False
Let j be (24/(-10))/((-4)/10). Suppose j*d + 5*v = 2*d + 311, 2*v = -5*d + 376. Is d a composite number?
True
Suppose -9 = u + 4*p, 5*u - 4*p = 4*u + 15. Suppose 6*b - 57 = u*b. Is b composite?
False
Suppose 3*q - 7 - 2 = 0. Let x = 1 - q. Is 50 + (0 - -2)/x a composite number?
True
Let m = 878 - 537. Suppose 0 = 4*n - 7 - m. Suppose -n = -5*x - c + 29, 5*x = -3*c + 118. Is x prime?
True
Let v = 799 - 92. Is v prime?
False
Let m(o) = 234*o**2 + 2*o + 1. Is m(-1) a composite number?
False
Let i be 1 - 4 - 12/2. Is 3*3*(-67)/i a prime number?
True
Suppose 0*s + 65 = 5*s. Let c = s - -1. Let i = 20 - c. Is i composite?
True
Let f = 28 + -49. Suppose -3 + 27 = -8*i. Is i + (-7)/(f/342) prime?
False
Let m(v) = -v**2 + 6*v + 7. Let