 w be (-1)/(-4) - 30/(-8). Let y = -90 + 28. Is (y/w)/(3/(-6)) prime?
True
Let t(l) = -l. Let y(n) = 2*n**2 - 5*n + 4. Let b be y(3). Let k = b + -14. Is t(k) a composite number?
False
Suppose -2*u = -2122 - 676. Is u prime?
True
Suppose 251 = -0*c - c - 4*f, 5*f - 25 = 0. Let v = c + 386. Is v prime?
False
Suppose 0 = a + 2*l - 44, 0*l = -3*a + 2*l + 148. Let r be a/40*(-5)/(-2). Is 3/9 - (-380)/r a composite number?
False
Let r(y) = 7*y**2 + 3*y - 178. Let p(k) = 3*k**2 + k - 89. Let d(m) = -5*p(m) + 2*r(m). Is d(0) prime?
True
Suppose -3*y + 3 = 9. Let u(m) = -m**2 - 2*m. Let k be u(y). Suppose k*t = -2*t - 3*h + 106, -2*t = h - 106. Is t a prime number?
True
Suppose -2*a + 5*s + 40 = 0, -56 - 8 = -4*a + 2*s. Is a prime?
False
Let h(o) = 3*o**2 - 6*o - 3. Let i be h(6). Let k = i + 58. Is k a composite number?
False
Let f(t) = -17*t**2 - t + 11. Let v(r) = 4*r**2 - 3. Let g(b) = 2*f(b) + 9*v(b). Is g(7) a prime number?
True
Let v(o) = -6 + 0 + o + 3 + o**3. Is v(4) composite?
True
Let b(x) = 415*x**2. Is b(1) composite?
True
Let t(y) = y**2 + y - 1. Let d be 4*(1 + 2/(-4)). Let v(u) = 2*u**3 - 3*u**2 - 5*u + 5. Let o(m) = d*t(m) + v(m). Is o(3) a composite number?
True
Let p(t) = t**2 - 8*t - 3. Let y be p(6). Let z = -7 - y. Suppose -4*s = -z, 3*s - 119 = -0*f - f. Is f a prime number?
True
Let z(r) = 85*r - 2. Let d be z(2). Suppose -3*k - 10 = 5*y - d, k - 49 = 2*y. Is k composite?
True
Let g(k) be the first derivative of -37*k**2/2 - 2. Is g(-1) composite?
False
Suppose 2 = 2*w - 2. Suppose -w*f = -z + 3*f + 13, -19 = -z + 3*f. Suppose -3*m - 7 = -z. Is m composite?
False
Let q = 7 + -7. Let b be 0*(2 + (q - 3)). Suppose 5*x = 10, 4*x = -t - b*t + 21. Is t a prime number?
True
Let i(p) = 29*p + 3. Let m(n) = -n + 2. Let o be m(-2). Suppose o*s + 4*f = -5 + 29, -2 = -s - 2*f. Is i(s) a prime number?
True
Let u = 4 + -2. Suppose 0 + 4 = u*x. Suppose x*j - z + 2*z - 8 = 0, -8 = -4*j + 2*z. Is j a prime number?
True
Let a(i) = 31*i + 3. Let g = 13 + -9. Is a(g) composite?
False
Let w(s) = 4*s + 2*s**3 + 3 - 4*s**3 + s**3 - 3*s**2. Is w(-5) a prime number?
False
Let c(x) = -4*x - 6. Let m be 66/4 - 6/12. Let y = 11 - m. Is c(y) prime?
False
Is -1*(2*-571)/2 a composite number?
False
Let d(y) = 59*y - 2. Let u be d(1). Let b be (-4)/((-4 - -2) + 1). Suppose l = b*l - u. Is l composite?
False
Let m(i) be the second derivative of 37*i**5/20 - i**3/6 + i**2/2 - i. Suppose 0 = n + 4, 5 = -3*h + n - 3*n. Is m(h) prime?
True
Suppose 4*x - 6*x = -790. Let j = x + -208. Is j prime?
False
Suppose -5*u = 3*y - u - 78, 3*u = y - 13. Is y a composite number?
True
Let t(l) = l**3 - 7*l**2 - l + 7. Let a be t(7). Suppose 2*r - r - 67 = a. Is r prime?
True
Let g be 1*4/((-12)/(-9)). Suppose 2*b - 20 = -g*b. Suppose n + b*n = 815. Is n prime?
True
Let b(h) = h**3 + 5*h**2 + 5*h + 3. Let g(q) = -q**3 + 3*q + 1. Let n be g(-2). Suppose n*a + 3*m + 15 = 0, 3*m + 2 + 4 = 0. Is b(a) prime?
False
Let t(p) = 10 - 3*p + 6*p - 4*p. Is t(0) prime?
False
Suppose 5*a = 2*x + 8, -x = -2*a - 2*x + 5. Suppose 4*u = g + 389, -2*g + a = -4*g. Is u a composite number?
False
Suppose -2*g + 0 - 2 = 0. Is (g/1)/(2/(-326)) prime?
True
Let j be 9/6*(0 - -2). Suppose -j*m - 3*o = 15, 3*m - 4*o = m - 10. Is (-1)/(-1)*(-575)/m a prime number?
False
Suppose -59 = -5*a + 5*w + 41, 4*a - 80 = 2*w. Let y be (326/4)/(5/a). Suppose -y = -o - o. Is o a prime number?
True
Is 9/3 + 0 + 376 composite?
False
Let y = 6 + 2. Let o = y - -11. Is o composite?
False
Suppose -6*c - 435 = -11*c. Is c a composite number?
True
Suppose -2*v = -0*v - 470. Is v composite?
True
Let z(l) = 2*l**2 + 4*l + 1. Let d be z(-3). Let x = -11 + d. Let m(q) = -8*q - 1. Is m(x) a prime number?
True
Let t(y) be the third derivative of y**5/60 - y**4/3 + 5*y**3/6 + 4*y**2. Let m be t(7). Is (-1 - m) + 60/2 a composite number?
False
Let w(a) = -a**2 - 11*a + 3. Is w(-9) composite?
True
Let d(b) = 85*b + 11. Is d(8) a prime number?
True
Let p(l) = l**3 + 5*l**2 - 2*l - 6. Let o be p(-5). Suppose 5*s - 2*s - o*y + 40 = 0, -33 = 3*s + 3*y. Is (7/(-2))/(2/s) a composite number?
True
Let m = 1058 - -485. Is m a prime number?
True
Suppose 0*i = i + 4. Let b = -1 - i. Is 12 - b/(1*-3) prime?
True
Is (-9 - -7)/((-2)/979) composite?
True
Suppose -5*z = -4*z + 52. Is (-8)/z - (-4951)/13 a composite number?
True
Is -1 + 2899 + 7/7 a prime number?
False
Let y(a) = 6*a**3 - 3*a**2 - 6*a + 5. Let k(u) = -u**3 + u**2 + u - 1. Let v(j) = 4*k(j) + y(j). Let o be v(1). Suppose 42 = o*c - 0*c. Is c prime?
False
Let y(s) be the second derivative of s**5/20 - 7*s**4/12 + 4*s**3/3 - 3*s**2 - 6*s. Is y(6) composite?
True
Suppose 2*n - 1961 = -n + 2*c, 0 = 2*n - 5*c - 1289. Suppose 0 = 5*g - k - 1646, 2*g + 3*k = 2*k + n. Is g a composite number?
True
Suppose -2*n - 3 = 3, 0 = 5*o + n + 48. Let q = -9 - o. Suppose q = -v + 150 - 31. Is v composite?
True
Let y = 3 + -5. Let i(s) = s**2 + s + 1. Is i(y) prime?
True
Let m = 1074 + 457. Is m prime?
True
Suppose -8 = j - 4*w, 4*j = -3*w + w - 14. Let s = 25 + j. Suppose -a + 0*a = -s. Is a composite?
True
Suppose 5*f + 1691 - 23306 = 4*n, 2*f = -4*n + 8674. Is f composite?
False
Let a(b) = b**3 + 5*b**2 - 7*b. Let g be a(-6). Suppose -g + 93 = i. Is i prime?
False
Let t = 21 + -30. Is (-442)/(-5) + t/(-15) a composite number?
False
Let q(v) = -6 + 6 + 171*v. Let l be q(1). Suppose -5*z + l - 61 = 0. Is z prime?
False
Let l(r) be the first derivative of r**4/4 - 4*r**3/3 - 9*r**2/2 - 7*r - 2. Is l(7) composite?
True
Is (6 + -4 + -1)*254 a composite number?
True
Suppose 3*u + 4*i = -u + 912, 1154 = 5*u - 2*i. Suppose -l = -3*l + u. Is l prime?
False
Let y(d) = -d**3 + 2*d**2 + 2*d - 3. Let r be y(2). Let x be 2*-1 + (1 - r). Is x*(-1 - (-39)/(-6)) prime?
False
Let g(k) = -k. Let j(d) = -9*d. Let u(i) = -6*g(i) + j(i). Is u(-2) prime?
False
Is ((-3 - -29) + 3)*19 a prime number?
False
Let w = -4 - -7. Let c = 4 - w. Is ((-4)/c)/(2/(-3)) prime?
False
Suppose -2*k + 11*k - 20403 = 0. Is k composite?
False
Let l be ((-10)/(-4))/(12/(-24)). Let m(w) = -22*w - 7. Is m(l) a prime number?
True
Suppose 2*d - 22 = 2*z, 0*d + z + 59 = 4*d. Suppose -3*g + 73 - d = 0. Is g composite?
False
Let b = 47 - -38. Is b prime?
False
Suppose 3*f - 3*n = 282, 3*f - 5*f = n - 191. Is f a composite number?
True
Let o = 1872 + -1309. Is o a composite number?
False
Suppose 0 = -0*v + 3*v. Suppose -4*f + 596 = -v*f. Is f prime?
True
Let i be 47/(-2) - (-1)/2. Let m = i + 70. Is m a composite number?
False
Let x(p) = p**3 + 3*p**2 - 3*p - 6. Let y be x(-3). Suppose -5*j + y*t + 658 = 0, 4*j - 6 - 517 = -t. Is j a composite number?
False
Suppose -16 = -4*l, 0 = -p + 4*p + 5*l - 23. Is (p*7)/((-2)/(-22)) composite?
True
Suppose 3*v - 99 = -3*u, -5*v + 4*v + 27 = 4*u. Is v a prime number?
False
Is -2 + 0 - (-873 - 16) composite?
False
Is (-3846)/(0 - 3)*1 a composite number?
True
Let l = 5 - -1. Let q be l/9 - 83/3. Let y = 41 + q. Is y a prime number?
False
Let a = 22 - 13. Is a a composite number?
True
Is ((-207267)/(-118))/((1*2)/4) a composite number?
True
Let g = 285 - 124. Is g composite?
True
Suppose o + 21 = 5*r, 2*o + o - 2*r = -11. Let b(y) = -260*y - 1. Is b(o) a prime number?
False
Suppose 0 = s - 2 + 8. Let x = 9 + s. Is x composite?
False
Suppose 0 = -3*n + 1943 + 1597. Suppose -5*h + 10*h - n = 0. Suppose 2*m + h = 2*u, -334 = -3*u - 0*m - m. Is u composite?
False
Is (62/(-4))/((-4)/(4 + 36)) a composite number?
True
Suppose -2*j = -4*n + 5*n - 2880, 5*j - 7189 = 3*n. Is j prime?
True
Let n(j) = 71*j**2 + 9*j + 5. Is n(7) a composite number?
False
Let a(o) = -2*o**3 - o**2 + 2*o - 1. Let t be a(1). Let b = t + 165. Is b a composite number?
False
Let l = 235 - 32. Is l a prime number?
False
Suppose -4*z - 900 = -i + 1486, -3*i + 3*z + 7194 = 0. Is i a prime number?
False
Let b(v) = -5 - 4*v**2 - 8*v - 7*v**2 + 13*v**2. Let r(s) = s**3 + s**2 + 6. Let f be r(0). Is b(f) prime?
True
Let h(n) = 2*n + 82. Let q(b) = -3*b - 81. Let k(j) = 4*h(j) + 3*q(j). Is k(0) a composite number?
True
Suppose -3*x - 4*f - 692 = 0, -3*x + 2*x - 229 = 3*f. Is -1*((0 - 1) + x) a composite number?
False
Suppose 0 = 2*s - 0*s - 560. Let x = -123 + s. Is x a composite number?
False
Let a = 52 - -89. Is a prime?
False
Let v be (-1)/4 - (-2