uppose 0 = -n*j + 943 + 1462. Is j prime?
False
Suppose 74 - 834 = 4*q. Let i = q - -312. Is i a composite number?
True
Suppose -3*r = -3*l + 133503, 3*l - 186152 + 52649 = 4*r. Is l a prime number?
True
Let c be (51/6)/((-2)/(-4)). Suppose 0 = o + 15 + c. Let d = 5 - o. Is d prime?
True
Suppose 5 = -5*p + 15. Suppose p*v = 6*v + 4. Let d(c) = -53*c**3 + c + 1. Is d(v) composite?
False
Suppose 0 = b - 5*b, 35 = 5*k - 4*b. Suppose -k*j = -4*j - 1134. Let g = j - -35. Is g a composite number?
True
Let n(a) be the first derivative of -a**2 + a - 9. Let r be n(-3). Suppose 5*t + 289 = 4*i, r*i - 4*t - 359 = 2*i. Is i prime?
True
Let m(d) = -14*d**3 + 18*d**2 - 3*d + 14. Let x(w) = -5*w**3 + 6*w**2 - w + 5. Let c(v) = -4*m(v) + 11*x(v). Let q be c(7). Is (-4)/22 - (-3585)/q prime?
False
Is (2/12)/((-17)/(-1519494)) prime?
True
Let o(i) = 2*i**2 - 12*i. Let f be o(-14). Let d = f + 129. Is d composite?
True
Is 9/18*(0 - -9014) a composite number?
False
Suppose 14*f + 2796 = 12*f. Let z = -905 - f. Is z a prime number?
False
Let h(o) = -o**3 + 36*o**2 + 6*o - 34. Is h(15) prime?
False
Let o = 6 - 1. Suppose o = -5*s, -k = -3*s - 10 - 24. Is k*2/2 - -2 prime?
False
Let s be (16/10)/((-2)/(-5)). Suppose -s*c - q + 7 = 0, 3*c - 3 = 2*c + q. Suppose -3*u = -9, 3*r - c*r + 3*u - 128 = 0. Is r composite?
True
Is 1778086/6 - (200/(-24) + 9) composite?
False
Suppose 0*m - 3*m = -90. Suppose -3*x + 0*n - 3*n = -m, 2*x = -5*n + 35. Suppose x*q = q + 356. Is q a composite number?
False
Let r(l) = l**2 - 3*l - 6. Let w be r(5). Let b be (-2)/9 - 5244/(-27). Suppose -w*i = -2*i - b. Is i a prime number?
True
Let w(f) = -171*f - 3. Let a(z) = -343*z - 6. Let h(p) = -2*a(p) + 5*w(p). Let s(g) = -169*g - 3. Let j(o) = 3*h(o) - 2*s(o). Is j(-4) a composite number?
False
Suppose 5545 = -5*j - 3*q, -6*j + j = 5*q + 5545. Let w = 6370 + j. Is w a prime number?
True
Let u(d) = 9*d**2 - 28*d + 75. Is u(16) prime?
True
Suppose 17 = -2*m - 0*t + 5*t, m + 5*t - 29 = 0. Suppose -7460 = -m*s - 0*s. Is s/35 + (-8)/28 a prime number?
True
Let c(k) be the first derivative of k**4/4 - 4*k**3 - 15*k**2/2 + 12*k - 1. Let r(x) = x + 47. Let s be r(-33). Is c(s) a prime number?
False
Let h(f) = 69*f**2 + 4*f + 46. Is h(-5) a composite number?
True
Let u = 21 - -34. Suppose -4*b - u = -5*b. Is b composite?
True
Let t(m) = -m**3 - 18*m + 18*m + 2*m**2 + 2. Let o be t(2). Suppose -829 = -o*i - 231. Is i prime?
False
Let o(b) = 66*b**3 - 11*b**2 + 21*b + 9. Let y(q) = -13*q**3 + 2*q**2 - 4*q - 2. Let c(i) = -2*o(i) - 11*y(i). Is c(5) prime?
False
Suppose -3*x + 7 + 62 = 0. Suppose 2*y = x + 1. Is y/18*4254/4 a prime number?
True
Suppose -19*q + 165333 = -38404. Is q a composite number?
False
Let y(r) = -43*r**3 + 3*r**2 + 12*r + 9. Is y(-2) composite?
True
Let j = 4 + 4. Suppose -3271 = -3*n - 5*h, -3*h = -5*n - j*h + 5445. Is n composite?
False
Suppose -3*c + 2*z + 35 = 2*c, 7 = c - 2*z. Suppose 3*a - c = 4*a. Is (-10)/35 - 1871/a prime?
False
Let p = 2781 - 1870. Is p composite?
False
Let a be 6/9*-3*8. Is (2*4/a)/(1/(-1174)) a prime number?
True
Let j(c) = -c**3 + 32*c**2 - 22*c + 35. Let g be j(31). Suppose g = i - 483. Is i a composite number?
False
Suppose -5*w + 10 = -5*h, h - 2 = 3*w + 6*h. Suppose 463 = 25*v - 37. Suppose -o = -v - w. Is o composite?
True
Let r = -11 - 5. Is 4 - 8/(r/750) a prime number?
True
Let d = -2087 + 5166. Is d a prime number?
True
Let s be (-29 - -2)/((0 - -1) + -2). Is s/(-63) - 8452/(-7) a prime number?
False
Let y(s) = -91*s + 3. Let m(h) = -h**2 - 12*h - 13. Let g be m(-11). Let r be y(g). Suppose 5*v - 4*u - r = 0, 132 - 21 = 3*v + u. Is v composite?
False
Suppose -g = 3*b + 3*g - 19645, -g = b - 6548. Is b composite?
False
Let l = 6946 + 2799. Is l composite?
True
Let v(x) = 2*x**3 - 15*x**2 + 5*x + 9. Let u be v(7). Let n(l) = -93*l + 1. Let i(z) = -47*z. Let s(o) = u*i(o) + 2*n(o). Is s(1) a composite number?
True
Suppose 2*m = -4*n, 0 = -0*m + m - 3*n + 15. Is ((-6)/m)/((-3)/(-609)) a prime number?
False
Let q(r) = r**2 + 3*r - 4. Let g be q(-4). Suppose g = 6*d + d - 469. Is d a composite number?
False
Let v be 2034 + (6/(-15) - (-12)/(-20)). Suppose v = 6*p - 3373. Is p a prime number?
False
Suppose -9*j + 10*j = -24. Let k = 19 - j. Is k a prime number?
True
Suppose -4*k + 58574 = 5*d, -d + 9628 = -4*k - 2082. Is d prime?
False
Is (-4)/(-32)*28094 - (-36)/(-48) a prime number?
True
Suppose -48 = -5*v - 13. Suppose -2*y + v = -1. Is (-18)/15*(-110)/y a composite number?
True
Let z(v) = -7*v + 683. Let a(u) = -u**2 - 3*u + 10. Let w be a(-5). Is z(w) a composite number?
False
Suppose 3*y + 7 = -5*p, -5*y - p - 11 - 8 = 0. Let k be 11 + 201 - y/(-1). Suppose -204 = -4*z + k. Is z prime?
True
Let b(t) = -70*t - 73. Is b(-33) a prime number?
True
Let a(x) = 4*x**2 - 5*x - 6. Let q be a(-2). Suppose -1137 = q*h - 23*h. Is h composite?
False
Let t = -33335 + 63628. Is t composite?
False
Suppose -4*k = -0*k - 4*m - 23924, 0 = -4*m. Is k a prime number?
True
Let b = -953 + 10960. Is b prime?
True
Suppose 0 = -2*h + 4*h - 10. Suppose -785 = -h*v + 5*a, 2*a + 980 = 5*v + 192. Is v a composite number?
True
Let i(q) = -q**3 + 10*q**2 + 6*q + 10. Let u be i(12). Let a be (-4)/(-10) + 9165/25. Let v = a + u. Is v a composite number?
True
Let g(k) be the second derivative of k**5/20 - 4*k**4/3 + k**3/2 + 16*k**2 + k - 21. Is g(18) prime?
False
Let n(q) = 16*q - 13. Let k be 3/((-126)/(-12)) - (-75)/7. Is n(k) a composite number?
False
Suppose -i = d - 4, -2*i = -0*d - d + 10. Let b = d + -2. Let m(n) = 104*n + 11. Is m(b) composite?
True
Suppose 0 = -5*z + z. Suppose -6*w + 29 + 1561 = z. Is w composite?
True
Let j be (-6)/15 + (-32)/(-5). Let y be (-1)/((-3)/(-6)) + j. Suppose 0 = -5*t - q + 692 + 1216, -t + y*q + 369 = 0. Is t a prime number?
False
Suppose 0 = -4*w + 9*w - 110. Let b = 22 - w. Suppose b = 2*q + m - 291 - 491, q = -m + 393. Is q a composite number?
False
Let c(o) = 6 - o + o**2 + 4 + 0 + 7*o. Let g be c(15). Let l = 588 - g. Is l prime?
True
Let g(u) = 250*u**2 - 3*u + 4. Let a(z) = 251*z**2 - 3*z + 3. Let k(j) = 3*a(j) - 2*g(j). Let b = 23 + -22. Is k(b) prime?
True
Is 70010/(-30)*12/(-4) prime?
True
Suppose 18*p - 25 = 13*p. Suppose 0 = -4*r + p*b + 497, 3*b = -2*r + 2*b + 245. Is r a composite number?
True
Let c(q) = -103*q + 8. Let v(r) = -102*r + 9. Let t(l) = -6*c(l) + 5*v(l). Is t(2) a composite number?
True
Let w = -132 - -129. Suppose -1 = -2*a - 5*n + 2, 20 = 4*a - 4*n. Is w + a + 1 - -249 a composite number?
False
Let b = -36 + 46. Suppose b*r - 805 = 3*r. Is r a prime number?
False
Is (-370*(-10)/100)/((-2)/(-254)) a composite number?
True
Suppose p + 2*y + 5 = 0, -4*p + 2 = 5*y + 13. Let l be (p - -785)/(-3)*-2. Suppose -4*g - l = -4*v, g + 2*g - 6 = 0. Is v a prime number?
False
Suppose 2*c = 3*a + 18010, -8*a + 4*a - 18014 = -2*c. Is c prime?
True
Suppose 5*z - 30 = 5*h, -3 = 3*z + 4*h - 0. Let k be (-2 + (-808)/(-6))/(130/585). Suppose -5*j + 1150 = z*i + 126, 0 = 3*j - 4*i - k. Is j prime?
False
Suppose 0 = -8*p + 53790 + 92842. Is p a composite number?
False
Let s(p) = 2*p**3 - 4*p**2 - 11*p. Let j be s(-2). Let y be 1598 + (0 - (-1 - 0)). Let f = y + j. Is f a composite number?
True
Let w(d) = -44*d - 2. Suppose j + 36 = -5*j. Is w(j) a composite number?
True
Suppose 0 = -3*d + 78 + 141. Suppose -3*f - 409 = -10*k + 5*k, d = k - 5*f. Is k a prime number?
True
Let o be (95/(-2))/((-3)/6). Let l be (3/(-6) + (-57)/(-2))*2. Let m = o - l. Is m prime?
False
Suppose -46*h + 109122 = 32*h. Is h prime?
True
Suppose n - 4709 - 1308 = -2*o, -3*n + 15040 = 5*o. Is o a composite number?
False
Suppose 3*q + 4*l + 14 = 0, 2*q = -q + 4*l + 26. Suppose -q*w + 3735 = 7*w. Is w composite?
True
Let z = 10304 - -10707. Is z prime?
True
Suppose -2*n - 2*c - 2 = 0, -2*n - 2*c = -7*n + 2. Suppose -5*s + n = f + 2, -f = 2*s - 1. Suppose 223 = z - 4*q, -f = -q + 4*q. Is z a composite number?
True
Suppose -10 - 38 = -3*p. Is (-2)/8 - (-13044)/p composite?
True
Suppose -5165 = -4*m - 3*n, -m = 4*m - 2*n - 6485. Suppose 14719 = 6*l - m. Is l composite?
True
Let g(q) = -2*q**2 - 20*q - 1. Let t(v) = -v**2 - 13*v - 1. Let f(p) = -5*g(p) + 7*t(p). Is f(-8) composite?
True
Suppose 21*q - 95336 + 2201 = 0. Is q composite?
True
Let n be (-124)/10 - 