*k + 5*x + 1455. Is k a prime number?
True
Suppose -7*q = -11*q + 8. Is (3522/12)/(q/4) composite?
False
Suppose -131 = -3*k - 149. Is 16/(-4) - k - -1479 prime?
True
Let x(u) = -4*u**2 + 22. Let g be x(-9). Let p = g + 595. Is p prime?
True
Suppose 4*v + c = 11, c - 2 = 5*v - 27. Let q be v*2/(-4)*1. Is 0 + (3 - -42 - q) prime?
True
Is 72*9586/52 + (-189)/(-2457) prime?
False
Suppose 0 = -2*x, -4*a + 211676 = 3*x + x. Is a composite?
False
Let k = 1618 - 921. Is k prime?
False
Suppose 5*z + 2*o = o + 17, -4 = 2*z + 4*o. Suppose 0 = 3*g + 9, -3*n - z*g + 347 = -520. Is n a composite number?
False
Suppose 0 = 257*v - 260*v + 25383. Is v prime?
True
Let i be -4 + 0 + 47 + 3. Let a = i + -36. Is a a composite number?
True
Suppose 72*b - 86*b = -95242. Is b a composite number?
False
Let j(f) = 2*f**2 - 7*f**2 + 0 + 11 + 7*f**2 + 15*f. Is j(-12) a prime number?
False
Let j(m) = 52*m**2 + m + 8. Let y be 48/(-18) + (-1)/3. Is j(y) a prime number?
False
Let b be (0 + 540/(-16))*-4. Suppose 3*n + b = 375. Suppose -a + n + 41 = 0. Is a a composite number?
True
Let p(g) = -g**2 + 2*g + 1. Let t(j) = 37*j**2 - 9*j - 5. Let f(w) = 3*p(w) + t(w). Let i be (-1 - -3) + (-1)/(-1). Is f(i) a composite number?
True
Let y = 14428 - 7945. Let x = -3586 + y. Is x prime?
True
Let a(g) = 71*g**2 + 8*g + 11. Let y(q) = -47*q**2 - 5*q - 7. Let l(i) = -5*a(i) - 8*y(i). Suppose 6 = 5*m + 16. Is l(m) prime?
False
Suppose 2*k - 7*k = 2*w - 1484, -590 = -2*k - 2*w. Is (2/(4/k))/1 a composite number?
False
Suppose 198655 = 12*h - 138293. Is h a composite number?
True
Let b(n) = -15*n**3 - 8*n**2 + 14*n + 22. Is b(-9) prime?
False
Let h = 0 + -1. Let i be (h/2)/(1/(-208)). Suppose -2*f - 3*z + i = -5*z, 4*f = -4*z + 216. Is f composite?
False
Suppose 6*o = -9952 + 189334. Is o composite?
True
Let b be (-2)/(-12) - 357/(-126). Suppose -b*t - 2*t + 1313 = -4*o, -786 = -3*t + 3*o. Is t composite?
True
Let b be 2 - -1 - (4 + -1). Suppose 0 = -b*r + 2*r - 14. Let k(x) = 5*x**2 - 10*x + 8. Is k(r) a prime number?
False
Suppose -4*m = 3*x - 14, -2*m + 2 = -4*m + 3*x. Suppose 5*o = m*l - 44, 39 - 99 = -4*l + 3*o. Is 97/((l/4)/3) prime?
True
Is 8/18 - 308792/(-36) a prime number?
False
Let z(s) = 2*s**3 - 3*s**2 - 5*s - 4. Let n be z(5). Let k be (3 - 15/6)*n. Let g = k - -66. Is g prime?
True
Let x = 22309 - 692. Is x prime?
True
Let y(j) be the first derivative of -j**4/4 + 14*j**3/3 + j**2 + 12*j - 36. Is y(11) prime?
True
Suppose 2*p - 6 = 0, 2010 = 3*y + 15*p - 18*p. Is y prime?
True
Let j(l) = 677*l**2 + 35*l + 167. Is j(-6) composite?
False
Suppose -11*m + 9*m + 6 = 0. Suppose -6 = -3*u + m. Suppose u*a - 5*a = -66. Is a prime?
False
Let l be (-2)/(-11) + (-240)/(-132). Let y(v) = v**3 - v**2 + v. Let p(w) = 3*w**3 - 13*w**2 - 11*w + 9. Let c(f) = l*y(f) - p(f). Is c(12) a composite number?
False
Let n(b) = 39353*b**2 + 7*b - 1. Is n(1) a prime number?
True
Suppose 2*j - 4*x + 4 = -5*x, -5*x = -4*j + 20. Let n = 74 + -72. Suppose -n*p = g - 5, 3*p + j*p + 38 = 2*g. Is g prime?
True
Is 1/(-2) + 13695/10 a composite number?
True
Let w = 95 - -12. Let d = -320 + w. Let n = d - -422. Is n composite?
True
Is 551686/14 - (-9 - (-57)/7) a composite number?
True
Suppose 4*l = 3*b - 72 + 6, -2*b + 2*l + 42 = 0. Let p(h) = 5*h**2 - 25*h - 19. Is p(b) a composite number?
False
Suppose -4*l = -n + 9033, -2*n + 56*l = 52*l - 18070. Is n a composite number?
True
Suppose x = n + 2, 4*n = 2*x + 8*n + 14. Let z be (5/15)/(x/6). Let d(m) = -170*m**3 - m**2 - 2*m + 1. Is d(z) prime?
True
Let m be (-20)/90 + 11722/18. Let w = -358 + m. Is w composite?
False
Is (-7)/((-42)/30) - (-134)/1 prime?
True
Let x = 28 + -18. Let f(m) = 5*m**2 + 15*m - 52. Let y be f(-10). Suppose 8*s + y = x*s. Is s a composite number?
False
Suppose 5*l - 5*a = 35, -5*l - 7*a = -5*a - 7. Suppose 4*z - 5*x = -z - 40, -x = z + 14. Is (3/l)/((-1)/z) prime?
True
Let d = 10 - 8. Suppose 0 = -2*q - o + 871, o - 437 = q - d*q. Suppose 5*y - q = 1. Is y a composite number?
True
Let n(k) = 18*k**2 - 24*k - 305. Is n(25) a composite number?
True
Let j be (21 - 0)*13/3. Suppose 29 = 4*i - j. Is 3/(9/i) + 3 a prime number?
True
Suppose 39*m = 45*m - 36. Let k(j) = -5 - 3*j + 2 + j**2 + 0*j. Is k(m) prime?
False
Let y = 45931 - -8820. Is y prime?
True
Let i(s) = -32 + 1 - 3*s**2 + 27*s**2 - 4*s + 30*s**2. Is i(-9) a prime number?
False
Let d(z) = -7 + 2 - 3 + 39*z. Is d(6) prime?
False
Let w = -10 + 0. Let p = w + 13. Suppose p*o = o + 298. Is o a prime number?
True
Suppose 21*a - 48 = 15*a. Let b = -4 - -10. Suppose b*j - a*j = -206. Is j a prime number?
True
Suppose 0 = 2*i - 0*i + l - 1, i - 5*l - 28 = 0. Suppose -b = i, g - 2045 = 4*b + 416. Suppose -5*v = -4*h - g, 6*v - v = 2*h + 2457. Is v composite?
True
Let d(b) = 295*b - 123. Is d(8) composite?
False
Is -3747*5/(-15)*1 a composite number?
False
Let z be 27/63 + (-171)/7. Let r = z + 20. Is (-446)/r*14/7 a composite number?
False
Let z(a) = 13*a - 21. Let p(b) = 20 + 5*b - 18*b - b. Let l(d) = 4*p(d) + 3*z(d). Is l(-6) a composite number?
True
Is (-2218)/(4*(4 + (-36)/8)) a prime number?
True
Let x(y) be the third derivative of 29*y**5/20 - y**4/12 - y**3/6 + 45*y**2. Is x(-4) prime?
True
Suppose 3*q + 3*l = 3, 0*q = q + 3*l - 7. Let g(v) = 3*v + 2. Let c be g(q). Let y(b) = -23*b - 3. Is y(c) a composite number?
False
Let f(o) = -361*o**3 + 3*o**2 + 8*o + 17. Is f(-3) composite?
False
Is ((-30)/9)/(6/(-18477)) prime?
False
Suppose d + 2*n = 6529, 2*d - 13052 = -4*n + 6*n. Let v = d + -4596. Is v prime?
True
Let r = 1899 - 1348. Let i = 1116 - r. Suppose 0*y - 3*y + i = -4*v, -y + 181 = -5*v. Is y composite?
False
Suppose -3*k = 17 - 104. Let h = 75 - k. Suppose 2*j = 16 + h. Is j a prime number?
True
Let w(n) = n**3 + 100*n**2 + 2*n + 30. Is w(-17) a composite number?
True
Let l(w) = -5*w**2 + 4*w - 5. Let s(t) = 9*t**2 - 9*t + 10. Let u(g) = 5*l(g) + 3*s(g). Suppose 0 = -z - 2*m - 4, 7*z - 2*z - 16 = -m. Is u(z) composite?
True
Let v(g) = 46*g**2 + 5*g - 9. Let s(n) = 47*n**2 + 5*n - 8. Let l(o) = -6*s(o) + 7*v(o). Let c be l(6). Is ((-7)/21)/((-1)/c) a composite number?
True
Suppose 4*c = 2*c + 222. Let z = 544 + c. Is z a prime number?
False
Suppose -4*r - 5349 - 2587 = -4*m, -2*r = -3*m + 5953. Is m prime?
False
Suppose 5*k = -5*b + 52920, -k + b - 113 + 10707 = 0. Is k a composite number?
False
Let b be (-6)/3 - 34/(-4)*2. Is 205 - ((-5)/b)/((-3)/(-9)) a prime number?
False
Let y = 1980 - 1384. Let n = 1693 - y. Is n a prime number?
True
Let n(j) = j**2 - 3*j - 8. Let f be n(7). Let l = -15 + f. Suppose -c + l*c - 1796 = 0. Is c a composite number?
False
Let j(y) = 17*y + 2. Let t = -8 + 11. Is j(t) composite?
False
Let x(w) = 64*w**2 + w - 4. Let y(b) = 127*b**2 + b - 7. Let o(f) = -5*x(f) + 3*y(f). Let n be o(-1). Let h = n - 24. Is h a composite number?
True
Let d(x) = 19*x**2 - 7*x + 57. Is d(17) composite?
True
Suppose -22*a - 6020 = -24*a. Suppose -4*b + 2658 + a = 0. Is b prime?
False
Suppose 0 = -13*d + 10*d + 3, d = -v + 4862. Is v composite?
False
Let x(k) = 55078*k - 137. Is x(1) composite?
False
Suppose 5*k = 10*k - 15, -5*k + 32851 = 4*l. Is l composite?
False
Let f(p) = p**3 + 10*p**2 + 7*p - 4. Let g be f(-10). Let m = g + 265. Is m composite?
False
Let g = -11 + 18. Suppose -10*n + 12 = -g*n. Suppose -n*o - 370 = -4*s - o, 3*o - 194 = -2*s. Is s composite?
True
Suppose 4*f - 1784 = 3*b, 16*f = 13*f - b + 1325. Is f composite?
False
Let v(r) = r**2 + 2*r - 5. Suppose 8 = -o - o. Let b be v(o). Suppose 0 = b*u - 4*p - 743, 2*p - 1020 = -2*u - 2*u. Is u prime?
False
Let y = 47342 - 25195. Is y a composite number?
False
Let s = -18624 - -28007. Is s composite?
True
Suppose -4*q = 1244 + 14728. Let a = q - -6838. Is a prime?
False
Let f = -878 + 1615. Is f composite?
True
Suppose -3*n = -5*x + 35, -4*x + 15 + 6 = -n. Suppose -x*u + 1396 - 112 = 0. Is u composite?
True
Is (-306)/(-27) + -12 - (-320890)/6 a prime number?
False
Let r be (1 + -55)*(15/2)/(-1). Suppose -p + 26 = -r. Is p prime?
True
Let i = 2803 - -3598. Is i a composite number?
True
Let d(b) = -2*b - 3. Let n be d(-2). Is n*-3 - (-1 + (-5765)/5) prime?
True
Let h(n) = n**3 + 2*n**2 - 5*n - 3. Let s be h(-3). Suppose -s*o - j = -484, -5*o + 572 = 3*j - 236. Is o a composite number?
True
Suppo