d*(-2 - 55) prime?
False
Let d = 139 - 13. Let n be d/27*(-3)/2. Is (n + -3)*(-1 + 0) a composite number?
True
Suppose 21744 + 248747 = 13*f. Is f prime?
True
Suppose -3*w = -3*k - 69741, w + 2*w - 69733 = 5*k. Is w prime?
True
Let w(i) = -1. Let t(o) = 91*o + 11. Let z be 0/(-3 - 0) + 2. Let l(r) = z*w(r) + t(r). Is l(8) a prime number?
False
Let u be ((-139)/(-4) - 1 - -2)*44. Let n(y) = y**2 + y. Let t be n(-1). Suppose -4*v + t*o = -4*o - 1608, 3*o - u = -4*v. Is v prime?
True
Let j(l) = -l - 5. Let q be j(-3). Let s = q - 2. Is ((-2)/s)/((-2)/(-132)) a prime number?
False
Suppose u = -4*l + 30281, 3*u + 9*l - 90804 = 10*l. Is u a composite number?
False
Let t(n) = 21*n**2 - 26*n - 27. Is t(-10) prime?
True
Let y = -4 - -8. Suppose 34 = y*g - 3*g. Let v = g + 1. Is v a composite number?
True
Let d be (4 - 0)*5/10. Suppose -d*y + 5*f + 406 = 0, 0 = -5*y + f + f + 1015. Is y a prime number?
False
Suppose 0*v - 5*k = 3*v + 10, -2*v + 4*k + 30 = 0. Suppose -10 = -2*b - 10*p + v*p, 0 = -3*b - 4*p + 29. Is (-8)/12 + 3535/b a prime number?
False
Let h(x) = x**2 - 6*x. Let p be h(6). Let t(n) = n. Let a be t(p). Is ((-2)/(-4) + a)*206 prime?
True
Suppose -7*k - 10*k = -212891. Is k a composite number?
True
Let v be 267/9 - 4/6. Let p = 111 - 97. Suppose a = v + p. Is a composite?
False
Suppose 12166 - 276 = 10*t. Suppose 0 = -3*m, 2*m - t = -f - 0*f. Is f prime?
False
Let x(l) be the first derivative of 5*l**4 - 14*l**3/3 + 5*l**2/2 + 2*l + 25. Is x(5) a prime number?
False
Suppose 105 = 5*r - 0*r. Let l(v) = -10 + 11 + 10 + r*v + 6. Is l(18) prime?
False
Suppose -5*r + 15 + 10 = 0. Suppose 0 = 2*f - r*m - 228, -4*m - m = -4*f + 446. Is f composite?
False
Let n(j) = -130*j + 2 + 0 + 17*j. Let w be n(-3). Suppose -3*f + 4*b = -w, -4 = -b - 0. Is f prime?
False
Let c = 5018 + 861. Is c a composite number?
False
Let h = -563 + 1060. Is h prime?
False
Let x(p) = -570*p - 347. Is x(-8) prime?
False
Suppose 3*a + 4*b = 2*a - 200, 2*b - 224 = a. Is -1 - (a + -4 + 8) prime?
True
Let f(i) = i**3 + 20*i**2 + 16*i - 4. Let g be (66/(-6 + 3) - -3) + 0. Is f(g) a prime number?
True
Let o(k) be the first derivative of -k**4/4 - 4*k**3/3 + 2*k**2 + 9*k - 12. Is o(-6) a composite number?
True
Let p = 16 + -8. Suppose -p*j = -3406 - 826. Is j a prime number?
False
Let k = -47 - -24. Let r = 26 + k. Suppose r*o - 405 = 2*b + 18, 405 = 3*o + 4*b. Is o prime?
True
Let h = 15788 + -9543. Is h prime?
False
Suppose 4*s = 5*w - 16483, 27*w = 29*w - 2*s - 6592. Is w a composite number?
False
Suppose -6*c + 56 = c. Is (1/1)/(c/3992) a prime number?
True
Suppose -12*b + 286 = 2*m - 7*b, 4*m - 572 = -3*b. Is m composite?
True
Suppose 0 = -4*r + 3*k - 341, -2*k - 350 = 5*r + 82. Is -1*(r - (-3 + 2)) a composite number?
True
Let z = -41 - -28. Let c(q) = -77*q - 34. Is c(z) a prime number?
True
Suppose 0 = -3*k + 5*a + 131197, 2*k - 87466 = a + 3*a. Is k prime?
False
Suppose 5*m - 2*n - 760 - 408 = 0, 5*m = -n + 1171. Suppose j - 7*j = m. Let o = 14 - j. Is o a composite number?
False
Suppose 3*n - 11 = 4*l, 0*n - n + l = -4. Suppose 3*a = 0, -n*i + 531 + 524 = -a. Is i a composite number?
False
Suppose 20*u - 262624 = -12*u. Is u a prime number?
False
Suppose -10 = 4*o + 3*n + 11, 15 = -4*o - n. Let r(m) be the third derivative of 7*m**5/15 - m**4/12 + m**3/6 - m**2 - 9*m. Is r(o) a composite number?
True
Suppose 0 = 6*a + 216 - 738. Suppose a = s - 442. Is s prime?
False
Suppose 7*v - 36 = -4*l + 3*v, -l + 5*v + 33 = 0. Let x be (1 - 1)*(l - 12). Suppose 2*g + g + w - 381 = x, 0 = 4*g - 4*w - 508. Is g a prime number?
True
Let a be (28/12 + -2)*6. Suppose 0*o + 3*o + 24 = -a*t, -4*o = 4*t + 36. Let n(m) = -m**3 - 4*m**2 + 5*m - 5. Is n(o) a composite number?
False
Let v = 1137 + -463. Let u be (2 + -2)*-1 - v. Is ((-10)/(-5))/((-4)/u) composite?
False
Suppose 5*j - 6491 = 159. Let n = 1871 - j. Is n composite?
False
Let u(z) = -z**2 - z + 1. Let m(s) = 5*s**2 + 4*s + 120. Let a(q) = m(q) + 4*u(q). Let v be a(0). Let g = v - -19. Is g prime?
False
Let h be (1096720/105 - (-6)/(-21))*3. Let x = 44473 - h. Is x composite?
True
Let g = 75799 - 53456. Is g a prime number?
True
Let j(d) = -d**3 + 6*d**2 + d. Let p be j(6). Let a(y) = 3*y - 6 - 2 - 3. Is a(p) prime?
True
Suppose -4*z - 3*t = 3235, 8*z - 3*z = -4*t - 4043. Let d = 1928 + z. Is d a prime number?
True
Let s(z) = -6*z**2 - 34*z - 12. Let g(w) = -7*w**2 - 35*w - 11. Let h(i) = 3*g(i) - 4*s(i). Is h(-17) prime?
False
Let d(x) = 4*x + 46. Let h be d(-10). Is (1185/h)/((-3)/(-6)) a composite number?
True
Let j(v) = v**3 - 5*v**2 + 15*v + 16. Is j(11) prime?
True
Suppose m - 2*u + u + 11 = 0, 4*m - 2*u = -40. Is (3697 - -5)*(-3)/m a prime number?
False
Let k(y) = 4*y**2 - 2*y + 11. Let f be 15327/52 + 3/(-4). Let c be (-1)/6 + f/36. Is k(c) a composite number?
False
Suppose 30070 = 2*a + 2*a + i, 7523 = a + 3*i. Suppose -4*w - 769 + a = 0. Is w a prime number?
False
Suppose 6937 = 131*r - 124*r. Is r a composite number?
False
Let m = -3886 - -26007. Is m a composite number?
True
Let f = -72 + 108. Is f + 2 + (0 - 3) prime?
False
Suppose -q + 4 + 1 = 0. Is (3453/(-12))/(q/(-20)) a composite number?
False
Suppose 0*q - 5 = -q. Suppose 7596 = -q*s + 23911. Is s composite?
True
Let h(q) = 33*q**2 + 9*q - 10. Let g be h(4). Is (-7 + -2 + 4)/((-2)/g) a prime number?
False
Let w = -19 + 24. Suppose 5*o + 5*h - 10870 = 0, -w*h - 4363 = -2*o - 4*h. Is o a composite number?
False
Let u(m) = -4*m + 1. Let w be u(-2). Suppose w = 3*p + 3. Suppose 0 = -a + 2*a + 2*j - 339, -2*a + 676 = p*j. Is a composite?
False
Is 10129 - (232/(-48) + 5/6) composite?
False
Let r(l) = -207*l + 18. Let z(q) = -2. Let p(d) = 3. Let h(g) = -3*p(g) - 4*z(g). Let j(m) = -5*h(m) - r(m). Is j(4) composite?
True
Let i be 2308/16 - 2/8. Suppose 4*p = -0*p + i. Let r = 94 - p. Is r a prime number?
False
Let q(x) = -19*x**2 - 5*x + 6. Let u(c) = 38*c**2 + 9*c - 12. Let w(f) = 9*q(f) + 4*u(f). Let p(n) be the first derivative of w(n). Is p(-7) composite?
False
Suppose 13158 = 6*h - 13242. Let g(v) = 6*v**3 - 5*v**2 + v + 3. Let w be g(5). Suppose 0 = 7*f - h - w. Is f prime?
True
Let c(g) = g - 3. Let u be c(3). Suppose -4*j = l + l - 14, u = -3*j + 6. Suppose 2*d - o - 105 = -l*d, 2*o - 10 = 0. Is d a prime number?
False
Is -381*(-6 + (-1137)/9) composite?
True
Suppose 13 = 3*w - v, -11 - 5 = -5*w - 4*v. Let x(a) = 28*a**2 + 1. Is x(w) a composite number?
False
Suppose -33*z = -28*z. Let n(h) = 12 - h + 14 + 11. Is n(z) prime?
True
Let f(l) = -33*l + 15. Let b(p) = -17*p + 7. Let c(a) = 7*b(a) - 4*f(a). Is c(2) prime?
False
Let d = 3967 + 540. Is d composite?
False
Let r(o) = 2387*o - 71. Is r(24) prime?
False
Suppose 0 = 18*c - 0*c - 157770. Is c a composite number?
True
Let t(q) = 28*q**2 + 1. Let k be t(3). Let o = -447 - -869. Let l = o - k. Is l prime?
False
Let j = 26 + -20. Suppose -j*h + 1141 = h. Is h prime?
True
Let p(x) = 17*x**3 - 5*x**2 - 22*x + 29. Is p(6) a prime number?
True
Suppose -19*m + 256799 = -497178. Is m a composite number?
True
Suppose -2*k + 2 = -3*k. Let i be (3 + -5)/k - 5. Is ((-254)/(-3))/(i/(-6)) prime?
True
Let o = 262 - -5097. Is o composite?
True
Let k(o) = o**3 - 16*o**2 - 16*o - 14. Let i be k(17). Suppose i*v - 7*v + 5332 = 0. Is v a prime number?
False
Suppose 4*g - 3*m + 1529 = 0, g + 4*m + 1536 = -3*g. Let h = g + 930. Is h a composite number?
False
Let j(w) = 8*w**2 + 2*w + 3. Let t(q) = -q**3 + 9*q**2 + 10*q - 2. Let l = 0 - -10. Let f be t(l). Is j(f) composite?
False
Is (-8)/((-1 - 1)/93634) - 5 composite?
False
Let u(a) = a**2 + 12*a - 19. Suppose 72 = 13*q - 9*q. Is u(q) a prime number?
True
Suppose i + 12 = -2*o, -i - 4 = 2*o + 2*i. Let y(a) = 3*a**2 - 5*a + 7. Is y(o) a prime number?
True
Suppose -8*d + 9*d = 3. Suppose d*i + 734 = 4*n, -n - 3*n = -20. Let j = i + 415. Is j composite?
True
Let k(u) be the first derivative of -36*u**2 + 7*u - 2. Suppose 82*r - 95*r = 39. Is k(r) a prime number?
True
Let q(r) = r**3 - r**2 - r - 1. Let a be q(0). Is a + 13/(78/2952) composite?
False
Let k(g) = 607*g + 5. Is k(6) prime?
False
Let m(r) = -r**2 + 7*r. Let p be m(6). Suppose 0*k - p = -3*k. Suppose -k*l + 294 = 5*w, l = 2*w + 118 + 47. Is l a composite number?
False
Let j be 4 + 0*2/(-8). Suppose j*f - 3*q = 2*f + 15