-4*l - r - 9 + 6614 = 0, m*l - r - 8254 = 0. Is l composite?
True
Suppose 0 = 3*b - 6 + 3. Suppose 3*d = -n - 5, -2*d - 24 - b = 5*n. Let s(m) = -m**2 - m + 445. Is s(d) prime?
False
Let i(y) = y**3 + 8*y**2 - 3*y + 1. Let t be i(-12). Let m = -166 - t. Is m a composite number?
False
Suppose -2*p - 12 = -3*f, -4*f + 3*p - 3 = -18. Suppose 633 = -f*d + 9*d. Is d composite?
False
Let b = 198144 + 267. Is b composite?
True
Suppose 3*i + 4*x - 39 + 3 = 0, -3*i + 5*x = -63. Suppose 2*m + i = 4*m. Let f(p) = -p**3 + 13*p**2 + 11. Is f(m) a prime number?
True
Suppose -4*i - 744 = -6*i. Let f be i/15*(-10)/(-2). Let x = f + -59. Is x a composite number?
True
Suppose -x + 58241 + 67247 = 0. Is 3/(-5) - x/(-155) a composite number?
False
Let r(x) = -373*x + 484. Is r(-13) a prime number?
True
Let g be (-1*2)/((-2)/379). Suppose 5*i + 5 = 5*w, -w = -3*w + 4*i - 2. Suppose -6 = w*b, 5*b + g - 1024 = -5*t. Is t a composite number?
False
Suppose 29092 = 4*o - 5*z, -4*o - 4*z = -8*z - 29096. Suppose 11*x - 5*x = o. Is x a prime number?
True
Suppose b - 39001 = -3*l, -11*b + 9*b + 65001 = 5*l. Is l a prime number?
True
Let s be (-2 - -2) + 0 + 2. Suppose s*b - 6*b = -4*d - 1180, 4*d = 0. Suppose -4*a = -3*f + 5*f - 198, -b = -3*f - 5*a. Is f composite?
True
Let o(n) = 3*n**3 + 2*n**2 - 2*n - 33. Is o(10) prime?
False
Is (-36)/8 + 3/(-2) - -38267 prime?
True
Let t = 3917 + 1520. Is t composite?
False
Suppose 3*m = -0*m + 3444. Let v = m + -305. Is v prime?
False
Is 1409*(2 - -2 - (-33)/(-11)) prime?
True
Let c(y) = 4*y + 5. Let p be c(-2). Let o(v) = -38*v + 1. Is o(p) a composite number?
True
Let k be -2*((-2149)/(-2))/(-7). Suppose -3*j + 89 = -k. Suppose j = -3*i + 603. Is i a prime number?
True
Let w(j) = -j - 4. Let u be w(-2). Is (12/18)/(u/(-2007)) prime?
False
Let j(z) = z**2 + 3*z + 2. Let n be j(-3). Is -3302*(7/n + -4) prime?
False
Let o(h) = h**3 + 56*h**2 + 71*h - 125. Is o(-52) prime?
False
Let h be (3 + (-1)/1)*5. Suppose -3*w + h = 2*w. Suppose 0 = -5*c - 2*j - 0*j + 633, 5*c = w*j + 637. Is c a composite number?
False
Suppose -127 = 5*f - 47. Let c = 19 + f. Suppose -c*z + 261 = -0*z. Is z a composite number?
True
Let p(v) be the third derivative of -3*v**6/40 - v**5/12 + v**4/6 - 13*v**3/6 + 26*v**2. Is p(-5) composite?
False
Is 12/18*10275/10 composite?
True
Let z be 8/28 - (-12484)/14. Suppose 10*i - 8*i - z = 0. Is i a prime number?
False
Suppose -3*w + 2 = -4*w + x, 1 = -5*w + 2*x. Let u be 0 + 4 + (w - 1). Suppose -u*k - 25 = -3*g, -2*g = 3*g - 2*k - 23. Is g prime?
True
Let k(b) = 1887*b + 59. Is k(4) a prime number?
True
Let o = -17 - -27. Let s be 25/o + (-1)/2. Suppose 56 = s*w - 1050. Is w composite?
True
Let m be (-558)/(-90) - (-2)/(-10). Is (-44)/m*(-2910)/20 a composite number?
True
Let l be 9 + (0 - 0) + 0. Suppose 3*t + l = 33. Suppose -4*g + p + t + 48 = 0, 31 = 3*g + 2*p. Is g prime?
True
Suppose -2*v - 3031 = -389. Is (-4)/2*v*3/2 a composite number?
True
Let w = 2928 - 725. Is w a prime number?
True
Let t(y) = -2*y + 2 + 2 - 2. Let u be t(2). Is (u/((-4)/382))/1 a composite number?
False
Let d(k) be the first derivative of -k**2 + 8*k - 3. Let l be d(-5). Suppose 0 = l*c - 22*c + 652. Is c a prime number?
True
Let i = -1534 + 2871. Is i prime?
False
Let j(w) = 84 - 41*w + 0*w**2 - w**2 + 0*w**2 - 33. Is j(-22) a composite number?
True
Let s(l) = 73*l**2 - 21*l - 29. Is s(20) composite?
False
Let v(o) = -96*o + 18. Let y(n) = -4. Let c(t) = 4*v(t) + 20*y(t). Let k be c(-7). Suppose 5*h - k = 5*u, 368 + 699 = 2*h - 3*u. Is h a prime number?
True
Let n be (19/4)/(7/1708). Suppose 0 = 8*o - n - 9169. Is o a composite number?
False
Let z = -49 - -470. Suppose 465 = 2*f - z. Is f composite?
False
Suppose -13 + 10 = -3*j. Let w be j/(4*2/21320). Suppose 0 = 4*t + t - w. Is t composite?
True
Let w(h) be the second derivative of 3*h**2 + 1/3*h**3 - 2/5*h**5 + 7/12*h**4 - 10*h + 0. Is w(-5) prime?
True
Suppose -5*d + 16894 = m - 14658, 2*m - 63095 = -d. Is m a composite number?
False
Suppose -3*i = -16 - 2. Let o(k) = -2 + 29*k + i - 2. Is o(9) a prime number?
True
Let m = 39 + 23. Let v = m + -27. Is v a prime number?
False
Let o(i) = 14*i**2 - 14*i - 42. Let f be o(-8). Let k = f + -571. Is k composite?
True
Let r(p) = -p**2 + 11*p - 10. Let x be r(14). Let j = -21 - x. Is j composite?
False
Suppose -f - f + 594 = 0. Let r = f + -177. Let c = 189 - r. Is c a prime number?
False
Suppose 6*v - v - 25 = 0. Suppose v*y = 5*x - 10, x - y = -x + 6. Is 2614/x + (-5)/10 a prime number?
True
Let g(m) = m**2 - m - 287. Let h(c) = c**2 - c - 288. Let p(i) = 5*g(i) - 6*h(i). Let k be (-2)/4*(-4 + 4). Is p(k) a composite number?
False
Let w(q) = -7*q**2 - 4*q + 25. Let c(p) = -p**2 - p + 2. Let g(j) = 4*c(j) - w(j). Is g(-11) prime?
False
Let j = 66 - 38. Let i = j + -20. Suppose 0 = 10*m - i*m - 388. Is m a composite number?
True
Let b(f) = 3 + 4 + 22 - 192*f. Is b(-10) composite?
False
Let w be ((4/(-6))/(-2))/((-1)/(-3)). Is 874 - (-5 - -2 - (w + -1)) a composite number?
False
Suppose -2*c + 2 = -4*c - 3*y, -4*c - 5*y - 2 = 0. Suppose -c*g - 521 = -3*g + 3*h, -h - 1042 = -2*g. Is g composite?
False
Let s be -6*2/(2/(-5)). Let n = 43 + -144. Let m = s - n. Is m composite?
False
Let t be (-11)/2 - 2/(-4). Let j(r) = -19*r**3 + 14*r**2 + r + 21. Let f(u) = 7*u**3 - 5*u**2 - 7. Let z(n) = -11*f(n) - 4*j(n). Is z(t) a prime number?
True
Suppose -2*t + 4*t - y = -423, -y = -3*t - 636. Let c = 340 + t. Is c a prime number?
True
Suppose 63*s - 1292 = 67*s. Let g = 4086 - s. Is g prime?
True
Suppose -4*r = 3*k - 190627, 0 = 13*k - 16*k + 5*r + 190618. Is k a prime number?
True
Let b(n) = -75*n**3 - 1. Let v = -15 - -14. Let o be b(v). Suppose 0 = 3*u - 3*y - 210, 3*y - o = -0*u - u. Is u prime?
True
Let p(t) be the first derivative of -3*t**3 - 2*t**2 + 4*t - 5. Let d(h) = h - 1. Let u(n) = -3*d(n) - p(n). Is u(-3) a prime number?
False
Let n(j) = -16*j**2 + 9*j - 5. Let v be n(3). Let f = v - -184. Is f a prime number?
False
Let x be 84/16 + (-1)/4. Suppose o - 3*i - 20 = 0, -2*i = x*o + 3*i - 60. Is o a prime number?
False
Let p(q) = 3*q**2 - q**2 - 11 + 6*q**3 + 0*q + 9*q + 5. Is p(4) a composite number?
True
Suppose 4*w = 5337 + 4355. Is w composite?
False
Let n = 473 + -211. Suppose 3*v + l - 3714 = -n, 1146 = v + 5*l. Is v a prime number?
True
Let b be (-2 + 2)*(-1)/2. Suppose b = -4*i - 2032 + 6492. Is i composite?
True
Suppose h - 1644 = 2*q, 0 = 3*h - 2*h - 5*q - 1629. Suppose -i + 2*k + h + 1553 = 0, -5*i - 3*k = -16009. Is i a composite number?
False
Let s(r) = -2*r + 4. Let b be s(5). Let i(n) = -9*n**2 - 2*n - 13. Let l(h) = h**2 - h + 1. Let k(o) = -i(o) - 6*l(o). Is k(b) a prime number?
True
Let u be (3 - -1) + 12 - 0. Let t be (20/u)/(1/88). Let s = t + -51. Is s composite?
False
Suppose 0 = 5*s + 5*u + 15, 12 = -4*s - 0*s - 2*u. Let t be (-28)/(-6) + (-1)/s. Suppose -o - 4*o - 3*g + 10483 = 0, -4*o = t*g - 8376. Is o prime?
True
Let t be (1 + (-456)/16)/(2/16). Let w = 138 - t. Is w prime?
False
Let g = -512 + 1092. Let y be 2/5 + 88/5. Is (g/6)/(12/y) a composite number?
True
Let z(u) = -2*u + 7 + 2 + 11*u + 6*u**2 + u**3 - 2*u**3. Let p(w) = w**2 - 4*w - 12. Let g be p(5). Is z(g) prime?
False
Suppose 794*g = 795*g - 251. Is g composite?
False
Suppose 2*g + g - 6 = 0, -2*i + 3*g - 26 = 0. Let z(b) = 3*b**2 + 15*b + 7. Is z(i) prime?
True
Suppose 3*b + 247023 = -3*w, w = 3*b - 2*b + 82331. Is (-1)/9 - b/36 prime?
True
Suppose 5*p - 50 = -2*s, p - 52 = -3*p - 4*s. Suppose -3*l + 0*l - p = -2*j, 5*l = 2*j - 12. Is ((-169)/l)/((-5)/(-10)) composite?
True
Let w be ((-4228)/10)/(2/(-10)). Suppose 3*i = -4*s + 8859, -12*s = -13*s + 5*i + 2186. Suppose w = 5*o - s. Is o a prime number?
False
Let a(z) = 359*z - 29. Is a(18) a composite number?
True
Suppose -3*m + 1 = 2*n, -6 = -4*m - 5*n - 0. Let g = m + 3. Is -2 - (-134)/(g - 0) a prime number?
False
Suppose 0 = 3*w - 4*b - 1, -5*w - 2*b = -29 - 16. Let h(u) = u - 20. Let n be h(w). Let x(q) = -q**3 - 9*q**2 + 8*q + 1. Is x(n) prime?
False
Suppose -11*w - 51713 = -465456. Is w a composite number?
True
Suppose 8*k - 131863 = -21*k. Is k prime?
True
Is -7 - (4 + (-11673 - -9)) a prime number?
False
Let k = 27 - 17. Let n(q) = q**2 + k*q**3 - 7*q**3 + 47 - 4*q**3. Is n(0) a composite nu