e (4 - 1)*662/6. Is (0 - (-4 + 3))*w prime?
True
Let g = -239 - -710. Is g composite?
True
Let o be (-2 - -3) + 2 + -2. Let m be (60/9)/(o/3). Suppose 104 = 4*p - m. Is p composite?
False
Suppose -4*r - 222 = -h, h - 34 = -4*r - 260. Let o = 121 - r. Is o a prime number?
False
Let s(q) = -2 + 2*q**3 - q**2 - 2*q**3 + 7*q**3 + q. Let i be s(2). Let t = i + -17. Is t prime?
False
Let o(q) be the first derivative of q**2 + 3*q + 3. Is o(5) a composite number?
False
Is (-6)/(-10) - 34010/(-25) a prime number?
True
Is -4 - 2*655/(-10) a composite number?
False
Let p(a) = -a**3 - 4*a**2 + 6*a + 7. Let x be p(-5). Let s(j) = x*j + 1 + 3*j**2 + j**2 - 3*j + 4. Is s(6) a prime number?
False
Suppose -4*k + 13321 = 7*k. Is k a prime number?
False
Let t = -1 - -6. Suppose -3353 = -t*y - 1288. Is y a prime number?
False
Let q be -43*(-3 + 1 + -27). Let b = q - 870. Is b composite?
True
Suppose -3*h = -0*h - 267. Is h a prime number?
True
Let n(v) be the third derivative of 37*v**6/60 - v**5/60 + v**3/6 + 3*v**2. Is n(1) a prime number?
False
Suppose 3*j - 18 = 3*m, -6*j + 3*j - 14 = 5*m. Suppose 5*h - 12 = 2*h. Suppose -2*w + 66 = 2*p, j*w - w - 144 = -h*p. Is p prime?
True
Suppose 4 = 3*o - 5. Suppose -o - 1 = 4*n. Is 1 + n + -2 + 35 a composite number?
True
Suppose -5*g = -4*w, -2*g - 2*g = -3*w. Suppose -11 = -3*c + 4. Suppose m = z - 82, -c*z + 3*m = -g*m - 410. Is z composite?
True
Suppose -4*v = -9*v + 10. Is 33 + (v - (2 + -1)) a composite number?
True
Let p = -78 - -239. Is p prime?
False
Let x = 2438 + -1365. Is x composite?
True
Suppose 2*p + 0*p = 70. Is p prime?
False
Suppose -2*a + 3*x + 20891 = 2*a, -20861 = -4*a - 3*x. Is a a composite number?
True
Is 53/2*14/1 a composite number?
True
Let o be (2/(-3))/((-4)/(-6)). Let f be o + -4 + 3 + 2. Is (f + 447/(-9))*-3 composite?
False
Let x = 11 - 6. Suppose x*f + c = 381, 5*f - 6*c + 2*c = 401. Let a = f - 44. Is a prime?
False
Let q = 2 - 0. Suppose -4*z - q*g + 23 = -5, 0 = 3*g - 12. Suppose -2*l - 5*r = -67, 57 = 3*l - l - z*r. Is l prime?
True
Let f(w) be the third derivative of w**5/60 + 7*w**4/24 + 2*w**3/3 - 2*w**2. Is f(-10) a prime number?
False
Suppose -3*r + 319 = a, -3*r - r - 305 = -a. Let h = a - 174. Is h a prime number?
True
Let k(n) = 2*n - 3*n**2 - 4 + n**2 + 3*n**2. Let v be k(-4). Suppose -88 = -v*r - 0*r. Is r a composite number?
True
Suppose 4 + 11 = 3*p. Suppose -p*i + 2*w + 189 = 0, -2*w + 152 = 4*i - 4*w. Is i prime?
True
Is (-1011 + 7)*1/(-4) a composite number?
False
Suppose 2*d - 18 = 6. Let t(l) = l**2 + 1. Let k be t(-1). Suppose 0 = m + k - d. Is m a prime number?
False
Suppose 15*v = 20*v - 445. Is v prime?
True
Suppose -5*d + 50 = -0*d + 5*q, -5*d + 5*q + 50 = 0. Let z be 236/d - 10/(-25). Is ((-8)/z)/((-1)/231) prime?
False
Let d(w) be the first derivative of -1 + 5*w**2 - 1/3*w**3 + 6*w. Is d(8) a composite number?
True
Suppose 0 = -3*u, 2*h - u - 2078 = 2*u. Is h a prime number?
True
Let b = 17 + -10. Suppose -12*x = -b*x - 695. Is x a prime number?
True
Let a be 2/(-4) - (-21)/(-6). Let g = a - -4. Is 36 + (2 - (1 - g)) a prime number?
True
Suppose 0 = 4*x - 6 - 6. Suppose -r - 1 = 0, 2*r + x*r - 298 = -d. Suppose -p - d = -2*y, 5*p = 4*y + p - 616. Is y a composite number?
False
Is 788 - (-2 + (0 - 1)) composite?
True
Suppose -16 = -4*w - 0*w. Suppose w*f - 31 = 13. Is f composite?
False
Let q(c) = c**2 - 6*c - 1. Let f be q(7). Suppose 0 = i - 3, -3*r - 2*i - 30 = -f*i. Is r/(-4) - 15/(-2) a prime number?
False
Suppose -3*o + 20 = -5*j - 66, -2*o = 4*j - 94. Is o a prime number?
True
Let i = 96 + -49. Is i a prime number?
True
Is (3628/(-8) - 0)*-2 composite?
False
Let o(b) = b + 109. Is o(0) a composite number?
False
Suppose -3*r + d + 389 = -r, 4*r + 4*d - 760 = 0. Let s = r - 128. Is s a prime number?
False
Let t(r) = -r**3 - 18*r**2 - 24*r - 17. Is t(-20) prime?
False
Let g(j) = -j**2 + 4*j + 3. Let w be g(4). Suppose 5*c - 716 = -3*i + 236, w*c - 570 = -3*i. Is c prime?
True
Let g(c) be the third derivative of -c**6/120 - 7*c**5/60 - 7*c**4/24 + 7*c**3/6 - 3*c**2. Is g(-8) prime?
True
Let m be 495/(-30)*(-8)/3. Let x = 63 - m. Is x a composite number?
False
Let v(c) = -c**3 + 4*c**2 + 4*c - 3. Let g be v(3). Is (-2)/(-9) - (-410)/g a prime number?
True
Let w be (-1*1)/(3/(-21)). Let m be 2/(-7) + 44/w. Suppose 5*k = -l + 4*k + m, 4*k + 4 = 0. Is l a prime number?
True
Suppose 12 - 27 = -3*h. Suppose -5*d - 5*z = -30, 0 = -h*d - 4*z + z + 22. Is d prime?
True
Let n be -1 - (1 + 1) - -11. Suppose n - 29 = -g. Is g composite?
True
Let b(i) = -1 + 6*i - 21*i + 4 - 5. Is b(-3) composite?
False
Let j be (-3)/12*1*-12. Suppose j*n - 86 = n. Is n a composite number?
False
Let p = -3 - -3. Let r(m) = m + 2. Let v be r(p). Is (508/(-8))/(v/(-4)) composite?
False
Let z = -437 + 636. Is z a composite number?
False
Let z(v) = 23*v**2 + v - 1. Is z(-2) prime?
True
Suppose 3*v = -58 - 86. Let i = 101 + v. Is i a prime number?
True
Let u(s) = s**3 - 6*s**2 + 5*s. Let z = 5 - 0. Let p be u(z). Is (p - -21) + -2*1 a composite number?
False
Suppose 0 = -n - 3*x - 730 + 1971, 2502 = 2*n - 4*x. Is n a composite number?
True
Suppose 5*d + b = -2*b + 14, 0 = 2*d + 5*b - 17. Suppose -3 - 3 = 3*w. Is 57 + w - (1 - d) a composite number?
True
Let n be (5 + -6)/(1/(-4)). Let u(s) = 98*s - 3. Is u(n) composite?
False
Let y = -8 + 13. Suppose 4*s = 3*t - 203 + 46, -y*t - 4*s + 251 = 0. Suppose 0 = 3*i + 3*g - t, -5*g - 126 = -4*i - 40. Is i a prime number?
True
Let q be (7/((-14)/12))/(-2). Suppose -q = 2*x - 1. Is (2 + -2 - x)*31 a prime number?
True
Let j = 587 - 107. Suppose 2*c - j = -3*i, 0 = 6*c - 3*c + 5*i - 721. Is c a composite number?
True
Let y(a) = -a**2 + 2*a. Let t be y(4). Is (12 + -8)*(-422)/t prime?
True
Let i(m) = -2*m**2 + 2*m + 3. Let j be i(-2). Is (-24 + j/(-3))/(-1) a prime number?
False
Let c be (-18)/12 + (-11)/(-2). Suppose -48 = -c*o + 60. Let d = o - -230. Is d prime?
True
Let m(f) = 18*f**3 + 2*f**2 - 2*f + 1. Is m(2) composite?
False
Let u be (4/(-6))/(6/(-6363)). Let z = 1036 - u. Is z composite?
True
Let q(x) = 17*x**2 - 4*x - 8. Is q(-3) a composite number?
False
Suppose -262 = -2*s - 5*b, -4*s + s + 3*b = -351. Is s prime?
False
Let u(l) = 275*l**2 + 4*l + 5. Is u(-2) a prime number?
True
Suppose -27 = -c + h, -c + 5*c + 3*h - 80 = 0. Is c a prime number?
True
Let p be ((0 - 2)*-2)/2. Suppose -3*r + 73 = p*t, 0 = -4*r - 2*t - 6 + 100. Is r a composite number?
True
Suppose 3*q - 2*q = 5. Let n = q - 2. Suppose -2*p + 277 = 3*p + 3*r, n*r + 147 = 3*p. Is p prime?
True
Let h(t) = -t**3 + t**2 - 6*t + 5. Let d be h(4). Let b = d - -118. Is b composite?
True
Let l = 19 + -14. Suppose -2*m + l*m = 78. Is m composite?
True
Let i = 11 + -6. Suppose 3*w - i*w = -34. Suppose -n = -p - 2*n + w, -5*n = 4*p - 72. Is p composite?
False
Let j be 1 - (12/(-4) + 158). Let i = j + 447. Is i a composite number?
False
Let w be 2/(-5) + 156/65. Suppose -24 - 42 = -w*h. Is h composite?
True
Suppose -5*c = -1853 - 12362. Is c a prime number?
True
Let i be 2*4/(-8)*-381. Suppose 5*d = -2*b + i, -2*d + 2*b = 6*b - 146. Is d a composite number?
True
Suppose 0 = -4*i + 230 - 50. Suppose -4*q = -7*q + i. Suppose -3*m = -q, 3*m - 2 = 5*z - 57. Is z composite?
True
Suppose 9*b - 4*b + 110 = 0. Let a = 31 - b. Is a a prime number?
True
Let y(q) = q**2 - 5*q - 7. Suppose -3*u + 6 + 2 = -2*b, 3*b = -2*u + 27. Let n be y(u). Let i(h) = -5*h**3 - 2*h**2 - h. Is i(n) a prime number?
False
Let w(v) = v**3 + 10*v**2 + 11*v - 6. Let x(t) = -t**3 - 10*t**2 - 11*t + 6. Let h(p) = -2*w(p) - 3*x(p). Let r = -11 - -3. Is h(r) a composite number?
True
Let a = 14 - 9. Suppose -8 = -a*g + 3*h + 82, 0 = 5*h - 25. Is g composite?
True
Suppose 0*c + 8 = 2*q - 4*c, -4*c + 12 = 3*q. Suppose j = 4*j + 2*o - 100, -q*j - 5*o + 131 = 0. Is j a composite number?
True
Let m(z) = z**2 - 2. Let s be m(-3). Let t(d) = 0 - 1 + 6*d + 6. Is t(s) a composite number?
False
Let i(h) be the second derivative of -h**4/12 + 5*h**3/3 - h**2 + 3*h. Is i(7) composite?
False
Let m(u) = -u**3 + 5*u**2 - 3*u - 1. Let j be m(3). Let y = -5 + j. Suppose y*v - 4 = 38. Is v composite?
True
Let f(y) = y + 77. Suppose 3*a = -0*i + 4*i, 5*i = 2*a. Is f(i) a prime number?
False
Let s(l) = 9*l**2 - 1. Let t be s(1). Suppose -g 