Let c(l) = -l**2 + l - 141. Let i be c(0). Let u = -72 - i. Is u a prime number?
False
Is (12/(-8))/3 + 9286/4 a composite number?
True
Let q(v) be the second derivative of -v**5/20 - 11*v**4/12 + 3*v**2 + 4*v. Let r be q(-11). Let j = 53 - r. Is j composite?
False
Let b be (-6)/9*(2 + -5). Is b + (2 + 139 - 0) prime?
False
Let t(s) = -2*s**3 - 3*s**2 - 2*s + 6. Is t(-3) a composite number?
True
Suppose 0 = -3*g + 5*x + 3 + 40, -3*x = 5*g - 15. Suppose g*d = 4*d. Suppose 4*z - 301 = -3*v - d*v, -5*v + 491 = 4*z. Is v prime?
False
Let l be ((-1)/(-2))/((-1)/(-120)). Suppose 5*s - l = s. Is s a composite number?
True
Let z = 201 - 106. Is z prime?
False
Let s be (68/6)/(3/9). Let r = 57 - s. Is r composite?
False
Suppose -4*n = -0*n + 4, 2*n = 3*y - 995. Is y a composite number?
False
Suppose 60 = 3*j - 5*w - 317, j - 4*w - 128 = 0. Suppose 0 = 5*x + 2*g - 0*g - 2, 4*x + 3*g = -4. Suppose 2*o = -x*o + j. Is o composite?
False
Is (-14)/(-7)*(-307)/(-2) composite?
False
Suppose u - 1421 = -5*x + 1045, 0 = 2*u - 2. Is x a prime number?
False
Let n = 11 - -34. Is -1 + n + (-3 - -5) prime?
False
Let p(q) = -q**3 - 3*q**2 + 41. Is p(-11) prime?
True
Is 2*11*(-259)/(-14) prime?
False
Let o be ((-2)/2 - 0)*-3. Suppose q + 2*q = -5*n + 154, 155 = o*q + 4*n. Is q composite?
False
Let o(v) be the third derivative of -8*v**4/3 - 5*v**3/6 + 2*v**2. Let l(x) = 193*x + 14. Let h(b) = 3*l(b) + 8*o(b). Is h(3) a prime number?
False
Let g = 239 + 972. Is g composite?
True
Suppose -15 + 39 = 5*j - 4*w, -5*j + 3*w = -28. Let i(q) = q**2 - 7*q - 10. Let o be i(j). Let m(l) = 7*l**2 + 2*l - 2. Is m(o) prime?
False
Let v be (-1 + 4)*(-1)/(-3). Let r = v + 3. Suppose -r*n - 4*t + 202 - 46 = 0, -4*n = -5*t - 138. Is n a prime number?
True
Let y(p) = -p**3 + 3*p**2 + 10*p - 1. Let w be y(7). Let k = w - -194. Is k a prime number?
True
Suppose 2*b + 64 = 2*m, 5*b + 57 + 68 = 4*m. Let y = 72 - m. Is y prime?
True
Suppose 5*a - 15 + 5 = 0. Suppose -t = a*t + 147. Is (-8)/(-4)*t/(-2) a prime number?
False
Let u be 8/((-5)/(5/(-2))). Suppose 478 = 2*v - 0*v + u*f, 2*v - 481 = -5*f. Is v a prime number?
True
Let q(s) = -2*s**3 - 4*s**2 - 2*s + 2. Let x be q(3). Let n = -57 - x. Is n composite?
False
Let k be (-4)/(-6) + 4207/21. Is (2/(-6))/((-1)/k) a composite number?
False
Let a be ((1 + 0)*0)/2. Suppose a = 3*g - 2 - 37. Is g a composite number?
False
Let x be (0 - -22)*(-20)/(-8). Suppose g + 4*g = x. Let c = 64 - g. Is c composite?
False
Let d(h) = -13*h**3 - 8*h**2 + 4*h - 6. Is d(-5) a prime number?
True
Let b(y) = 56*y + 5. Let n(f) = 56*f + 6. Let d(i) = -5*b(i) + 4*n(i). Is d(-6) a prime number?
False
Suppose 4*t - 336 = 484. Is t composite?
True
Let w be 1 + (1 - (-1 + 0)). Suppose -k = w*k. Suppose -149 = -k*q - 2*q - 3*u, -383 = -5*q - 4*u. Is q prime?
True
Let s = 14 + -9. Is (s/20)/(2/2536) a prime number?
True
Suppose -n + 1 = 0, -2*m + 21 + 21 = 4*n. Suppose m = 3*i - 2. Is i prime?
True
Is 4*((-8)/16)/(4/(-7342)) a composite number?
False
Let g = 3 - -1. Let f(l) = 29*l + 7. Let s be f(-5). Is s/g*(-4)/2 composite?
True
Let l = 3524 + -2409. Is l a composite number?
True
Let g be 23335/26 + (-2)/4. Suppose 3*r = 1170 + g. Is r a prime number?
False
Let q = -1 + 6. Suppose -5 = q*p + d, -d - 10 = 4*p + d. Suppose -2*x + 38 = 2*z, p = 2*z + 4*x - 53 + 5. Is z a composite number?
True
Suppose -y - 49 = -0. Let q be 6*y*1/(-3). Suppose 0 = 4*t + h - 207, 5*h + q = -5*t + 338. Is t a prime number?
True
Suppose 5*p = 4*z + 39085, -2*p + z + 2290 + 13344 = 0. Is p composite?
False
Let g(d) be the third derivative of 7*d**5/60 - d**4/8 + 3*d**2. Let r be g(6). Suppose -a + 3*a - 3*o = 80, 0 = 5*a + o - r. Is a prime?
False
Let k = -16 + 14. Is (12 - k) + -2 + 1 a composite number?
False
Let w(c) be the second derivative of -55*c**3/3 - 5*c**2/2 + 6*c. Is w(-2) composite?
True
Let b = 7 + -38. Let y = -12 - b. Is y a prime number?
True
Let c(m) = -2*m + 12. Let q be c(6). Suppose -173 = -2*k - q*k - a, 0 = -3*k - a + 260. Is k composite?
True
Let v(p) = 12*p**2 + 10*p - 7. Is v(6) a composite number?
True
Let r = -639 - -904. Let v be ((-62)/6)/(2/(-36)). Let f = r - v. Is f composite?
False
Suppose 3*y = -5*x + 8191, x + 5*y = 912 + 735. Is x composite?
False
Suppose -4 = -0*g - 2*g + 2*l, -4*l = -3*g + 3. Suppose -g*o + 107 - 7 = 0. Is 8/o + (-366)/(-10) a prime number?
True
Let o(y) = -5*y**3 - y**2 + 2*y - 1. Suppose -4*v - 9 = 3. Is o(v) a prime number?
False
Suppose -94 - 83 = -3*o. Is o a composite number?
False
Suppose h + 245 = 826. Is h composite?
True
Suppose -5*m - 9 - 5 = -h, m = -3*h - 6. Let y(l) = -2*l - 3. Let r be y(m). Is r/(-1) + 30 + -5 prime?
False
Let d = 1 - 3. Let k be (-3)/2 - 1/d. Is k/(-2 + (-74)/(-38)) a composite number?
False
Let z(l) = 2*l**2 + 2*l + 1. Let c be z(-2). Suppose 17 = -5*o + c*t + 42, 2*t = 3*o - 14. Suppose -80 = -2*q - 2*q - 3*h, -7 = -q - o*h. Is q prime?
True
Let h = 1 - -4. Suppose 4*b - h*b + 335 = 0. Is b a composite number?
True
Let j(s) = -s**3 + 10*s**2 - 9*s + 2. Let u be j(9). Let l(n) = 2*n**3 - 3*n + 1 + 5*n**3 - 2*n**u + 4*n. Is l(2) prime?
False
Let s(x) = 2*x**2 + 5*x - 1. Suppose 0 = 3*a - 4*h + 16, 2*a - 3*h + 0 + 11 = 0. Let y be s(a). Let k = 8 + y. Is k composite?
False
Suppose 3 = -2*g - 3*k - 3, 0 = -k - 4. Suppose 2 - 47 = -g*m. Is m composite?
True
Suppose -18 = -r - 4*f, 5*r + 0*f - 3*f = 21. Suppose 5*g = r + 49. Is g composite?
False
Let d(z) = 64*z**3 - 3*z**2 - z + 1. Is d(2) prime?
True
Suppose -2*y = 2*y - 3*b - 72, -4*b - 90 = -5*y. Let j(r) = r**3 - 6*r**2 - 6*r - 6. Let a be j(7). Let c = y + a. Is c a composite number?
False
Let t(j) = -j**3 + 2*j + 1. Let d be t(5). Let c = d - -271. Is c a composite number?
False
Suppose 7*l - 20 = 3*l. Suppose 57 = -2*c + c - l*q, 3*q = 15. Let g = c - -131. Is g a composite number?
True
Suppose j = 5 - 0. Suppose 0 = -j*l - 2448 - 12. Is (l/(-18))/(4/18) prime?
False
Let h be (-3)/(2/((-24)/9)). Suppose 0 = -2*j + q - h*q + 1, 3*j - 1 = -5*q. Suppose -4*y + j + 102 = 0. Is y prime?
False
Let x(k) be the second derivative of 7*k**3/2 - 5*k**2/2 + 2*k. Let a(q) = 1. Let d(u) = -6*a(u) - x(u). Is d(-4) a composite number?
False
Let a(o) = -o + 11. Let g be a(9). Is g + (50 - 0 - -3) composite?
True
Suppose -5*o - 5*x + 171 + 59 = 0, -3*o = -x - 130. Let w be 6/(-1)*(-23)/2. Let t = w + o. Is t a prime number?
True
Suppose -477 = -5*r - 3*b, 4*r - 5*b + 206 = 6*r. Suppose -3*p + 5*o = -r, -p - 2*o + 98 = 3*p. Is p composite?
True
Let s(n) = 5*n**2 - n. Let y be s(1). Let m be 2/(-7) + y/14. Is 4 + (-2 - m) + 55 a composite number?
True
Suppose 0 = -5*b - k + 17, -4*b + 0*b + k = -10. Suppose 5*l + 0*w = -b*w + 95, 4*l - 73 = -3*w. Is l a prime number?
False
Is (5 + -18)*(-66 + -2 + 1) a prime number?
False
Suppose 0 = 2*i + 3*u - 185, u = -4*i + 5*i - 95. Suppose m = x + 4*x - i, -3*x + 4*m + 53 = 0. Is x composite?
False
Suppose 0 = -4*m - 3*t + 11, 0 = 3*m - 2*t + 3 - 7. Let l(i) = 3*i**2 + 2*i - 2. Let d be l(-2). Suppose u - m*u = -d. Is u composite?
True
Let v = 12 - 24. Let z = 49 + v. Is z a composite number?
False
Let z(i) be the third derivative of -13*i**4/24 - i**3 - i**2. Let u be z(-4). Is u*1 - 2/(-2) composite?
False
Suppose 0 = -2*r + 40 + 272. Let n = r - -587. Is n composite?
False
Let u(n) = -10*n**3 + n**2 + 2*n + 1. Suppose -5*i = -4*p + 6, 2*p + 3 = 3*p - 2*i. Is u(p) a prime number?
False
Let m be 24/5 + 4/20. Suppose -m*g + 5*y + 132 = 42, -4*g = 2*y - 42. Suppose -4*t + 3*t = -g. Is t prime?
True
Let b = 5 - -1. Let l = b + 2. Let m(z) = 2*z - 6. Is m(l) a composite number?
True
Let m = -4 - -6. Suppose m*a = 5*a - 39. Is a - 1 - 2*-1 composite?
True
Suppose 0 = 4*v + o - 4232, -2*v + 3*o = -2142 + 12. Is v a composite number?
True
Is (-17)/(-34) + (-4346)/(-4) prime?
True
Suppose -1901 = -12*x + 11*x. Is x a prime number?
True
Suppose -2*i = c + 27, -5*c - 2 = 3*i + 21. Let m = i + 35. Is m a composite number?
False
Let z(r) be the third derivative of 0*r - r**2 + 0 + 11/30*r**5 + 0*r**4 - 1/6*r**3. Is z(-1) a composite number?
True
Let y(d) = d**2 - 3*d. Let v be y(4). Suppose 0 = v*w - 2*u - 806, 4*w + 5*u - 164 = 663. Is w prime?
False
Suppose 0 = k + 3 + 2. Suppose 4*d + 100 = 5*d - 4*t, 2*t - 76 = -d. Let x = k + d. I