se
Let n = 11 + -8. Suppose -n*x = -3*i - 2754, 2*x + 3*i - 2543 = -727. Suppose -3*b + x = 353. Is b a composite number?
True
Suppose 111 - 33 = -4*n - 3*c, -n = 4*c + 13. Let a = -18 - n. Suppose -3*g = 4*r - 661, a*g - 448 = g + r. Is g prime?
True
Let w(t) = -t**3 + 15*t**2 - 10*t + 29. Let d(u) = 13*u**2 - 2*u - 1. Let f be d(-1). Is w(f) composite?
True
Suppose d + 13 = 15. Suppose d*s - 1254 = -2*m, 5*s - 312 + 2161 = 3*m. Is m composite?
True
Let y = 17 - 335. Let c = y + 497. Is c a composite number?
False
Suppose 5*m + 144780 = 20*m. Suppose -3*h + l - 2*l + m = 0, 3 = 3*l. Is h prime?
True
Is 4/(-22) - 874717/(-407) composite?
True
Let q(k) = -35*k - 7. Let n(d) = d. Let r(j) = 2*n(j) + q(j). Let y be 2*(-1 + (-3 - -1)). Is r(y) prime?
True
Let w(v) = 15*v**3 + 30*v**2 - 10*v - 52. Is w(15) prime?
True
Let v = -1463 - -3624. Is v prime?
True
Let s = 6 - 3. Let f be (-7 + s)*6/(-4). Is ((-212)/f)/((-6)/63) a prime number?
False
Suppose 2*n = -6, 4*m + 3*n - 18 = 89. Let l = m - 19. Is ((-268)/(-6))/(l/75) composite?
True
Let d(m) = 61*m + 19. Suppose 7*r - 5 = 44. Is d(r) composite?
True
Suppose -5*o = 4*o. Let z(p) = 3*p + 631. Is z(o) prime?
True
Suppose -52*z - 4732 = -104*z. Is z composite?
True
Suppose 0 = -5*a + 5*s, s + 0*s - 2 = 0. Suppose -5*v = 4*w - 1126 - 676, a*w = 6. Is v a prime number?
False
Let a(z) = 1222*z - 745. Is a(23) composite?
False
Is (-213892)/(-20) - -2 - 8/(-20) a prime number?
False
Suppose -3*v + 5*u + 22601 = -32870, 5*v + u - 92461 = 0. Suppose -q + v = 11*q. Is q a prime number?
False
Let u be 1/3*-1*-9654. Suppose 498 = -3*k + 5*g + u, -k + 909 = -4*g. Is k a composite number?
True
Suppose 0 = -2*k - 3*z - 749, -4*k + 4*z = 1805 - 297. Let q = k - -917. Is q prime?
True
Suppose 0 = 51*y - 44*y - 2338. Is y composite?
True
Let x(f) = -5249*f + 6. Let r(l) = 875*l - 1. Let q(g) = -34*r(g) - 6*x(g). Let m be q(-1). Is m/(-12) + (-1)/2 composite?
True
Suppose -25*l + 420701 = 6*l. Is l a prime number?
False
Suppose -42*j + 44*j = 1944. Is 54/18 + j/2 prime?
False
Suppose 62*f = 33*f + 147842. Is f a prime number?
False
Suppose -2*t - 3*l = -69, -2*t - 123 = -6*t - l. Let z be 3/(-5) - 14442/t. Is 28/(-2)*z/4 a prime number?
False
Suppose -5 = 5*t - 4*d, -5 = -0*d + d. Let p be 44/10 + 2/t. Suppose z + 3*f - 94 = 0, -f = p*z - z - 322. Is z composite?
False
Suppose 4*v - 3447 = -o + 950, -1112 = -v + 4*o. Suppose 3*z - 2636 + 426 = -4*n, -2*n + z + v = 0. Is n composite?
True
Let u(v) = -35*v**2 + 142*v**3 + 13*v**2 + 20*v**2 + 3*v - 2. Is u(1) a composite number?
True
Let h = 43572 - 17705. Is h a composite number?
False
Suppose 7*j - 3 = 6*j. Suppose 8*m - j*m + 10 = 0, 5*q + 1 = -3*m. Let n(h) = 127*h**2 + h - 1. Is n(q) prime?
True
Is (-3129630)/(-40) + (-2)/(-8) a prime number?
True
Suppose 26*q - 20*q = 18. Suppose -2*b = b - m - 3494, -4*b - q*m = -4637. Is b a prime number?
True
Suppose 0 = -3*j + 3*s + 2901, j - 530 - 437 = -4*s. Is j a prime number?
True
Suppose 0 = 4*n - n - 12, 0 = -3*x - 2*n + 8021. Is x a prime number?
True
Let c(j) = -16*j - 6. Let h(l) = 1. Let w(s) = -1. Let b(k) = 2*h(k) + w(k). Let o(a) = -3*b(a) + c(a). Is o(-4) a prime number?
False
Suppose 2*s = 1471 + 1717. Is s a prime number?
False
Let w(x) = 55*x**2 - 19*x + 4. Is w(-6) a prime number?
False
Let w be -19 + 17 + (-1)/(2/(-424)). Let t = 83 + w. Is t prime?
True
Let h(s) = s**3 + 9*s**2 + s + 11. Let a be h(-9). Let c be -2 + 5/2*a. Suppose -388 = -7*k + c*k. Is k prime?
True
Let t(g) = 337*g - 196. Is t(59) a composite number?
False
Let n(q) = -q**2 + q + 2. Let w be n(2). Let v = 150 + -125. Suppose -h + 28 + v = w. Is h prime?
True
Let p(m) = -11*m**2 - 21*m**2 - m**3 - 16 - 14*m + 22*m**2. Let h be p(-11). Suppose 0*x = x + 2*c - h, 2*x - 545 = 5*c. Is x a composite number?
True
Let y(w) = -w**2 + 4*w - 8. Let i be y(4). Let d be (6/i)/((-1)/8). Suppose 5*x = d*x - 21. Is x a composite number?
True
Is 9/(45/3530) - (6 - 1) prime?
True
Suppose m - 13 = -15. Is m/8 + (3225/(-4))/(-5) prime?
False
Let q be -1*27/6*-4. Suppose s + 5 = 3*f + q, 3*s - 2*f = 18. Suppose -s*k - k + 635 = 0. Is k prime?
True
Let d = -4038 - -6199. Is d a prime number?
True
Is 48/144 - 1/(3/(-37418)) a prime number?
True
Suppose 0 = -5*z - 3*q + 67, -3*q = z - 0*q - 23. Suppose z*a - 48304 = -5*a. Is a a prime number?
True
Suppose -2*k = 2*x - 16, -5*k - 5 = -x - 3*x. Let z be (-8)/(-20)*(13 - k). Let c(m) = 115*m - 3. Is c(z) a composite number?
False
Is 695 + 18/12*2 a prime number?
False
Suppose -12 = -2*u + 3*i, 4*u + i = 6*u - 4. Suppose 4*j - 174 = 2*g, -3*j + 135 = -u*j - 3*g. Suppose 10*h - 12*h = -j. Is h prime?
False
Suppose 0 = -m + 8*m + 182. Let h = 537 + m. Suppose 0 = 4*j - h - 69. Is j prime?
False
Suppose 0 = 23*k - 33*k + 91430. Is k prime?
False
Suppose 2*v = 2*s - 14, 0 = 2*s - 4*s + 5*v + 20. Let t = -23 - -26. Suppose -s*b = t*m - 354, 4*b - m - 307 + 34 = 0. Is b composite?
True
Let i = 7955 - 4122. Is i a prime number?
True
Let y = 15923 - 6532. Is y a prime number?
True
Let f(x) = 261*x**3 - 13*x**2 - 8*x - 1. Is f(3) a prime number?
False
Let f(i) = -2*i - 18. Let m be f(-15). Suppose 5*r = 37 - m. Suppose r*h = 3*h + 62. Is h prime?
True
Let l be (-4)/18 + ((-17346)/27)/(-2). Suppose l = 2*k + 55. Is k a prime number?
False
Let i(w) = 8*w**2 + 3*w + 6. Is i(-13) a prime number?
True
Suppose 79686 = -10*b + 392756. Is b a prime number?
True
Let y = 24 + -14. Let f(s) = -s**3 + 12*s**2 - 8*s + 21. Is f(y) a composite number?
True
Suppose -3*l + 1244 = 5*t, 3*l = 7*l - 4*t - 1648. Is l a composite number?
True
Suppose -3*q - 4*k + 32 = 0, 4*q - 3*k - 112 = -36. Suppose -4551 = -q*h + 13*h. Is h a prime number?
False
Let m(q) = 0*q - 3 + 1 + q + 11*q. Suppose 5 = 5*v, -3*u + v = -0*u - 11. Is m(u) composite?
True
Is (-109956)/((-22)/2) - -11 composite?
False
Suppose -5*k + 258 = -32. Let b = k + 55. Is b composite?
False
Suppose 3583 = 2*i - 4*m - 9275, 3*i - 19267 = m. Is i composite?
False
Suppose -4*n + 3*h = -2*n + 6, 0 = 4*n + 3*h + 12. Let b = 8 + n. Suppose b*a = 6*a - 295. Is a a composite number?
True
Let g(j) = 5*j**2 - 2*j - 1. Suppose 0*q - 37 = -4*q - 5*i, 4*q - 2*i - 2 = 0. Suppose -15 = -3*f - q. Is g(f) a composite number?
False
Let z = -16 - -21. Suppose 3*w = -v + 68, 2*w - 82 = z*v - 14. Is w/(-18)*6234/(-8) a prime number?
True
Let k(l) = -22*l + 10. Let u(f) = -f**2 + 21*f - 9. Let h(i) = -6*k(i) - 7*u(i). Let z(v) = -4*v**2 + 7*v - 1. Let b(y) = -3*h(y) - 5*z(y). Is b(5) composite?
True
Let s = 94 - -207. Is s composite?
True
Suppose -a - 3*a = 2*h - 9382, 23455 = 5*h + a. Is h prime?
True
Let d be (-9)/6 - (3894/(-4) + 3). Let x = -440 + d. Is x a composite number?
True
Let l = 101 - -93. Is l a prime number?
False
Let x = 115 + -220. Let f = -68 - x. Is f a prime number?
True
Let t(d) = 12*d**2 + 2*d + 27. Is t(-19) a composite number?
True
Let r(y) = 186*y. Let k be r(-4). Let o = -335 - k. Is o a prime number?
True
Is 929/(-5)*(9 - 14) composite?
False
Suppose 15*z - 96355 = 8*z. Is z prime?
False
Let x = 138 - 23. Is x a prime number?
False
Let f = 16 + -9. Let n be (-12)/28 - (-24)/f. Is (-20)/15 + 439/n a composite number?
True
Let y be 4/(-12) - (-7)/3. Let m(s) be the first derivative of 10*s**3/3 - s**2 + s + 12. Is m(y) prime?
True
Suppose -l + 110001 = 36482. Is l composite?
True
Let b(k) = -4*k**2 + 1 - 7*k - 3 + 4*k - 230*k**2. Let p be b(2). Let c = 1617 + p. Is c a prime number?
True
Suppose 2*i = -5*v + 4273, 3*v = 16*i - 13*i - 6378. Is i a prime number?
True
Let q(j) = j**2 + 18*j + 24. Let n be q(-17). Suppose n*s - 5*s - 6 = 0. Suppose -1896 = -2*t - 2*t + 4*d, s*d = -2*t + 923. Is t prime?
False
Let z(a) = -a**3 - 7*a**2 - 3*a + 7. Suppose -4*k + 4*s = 70 - 26, 0 = -2*k + 4*s - 32. Let r be z(k). Let j = 26 + r. Is j composite?
True
Let d = -3993 - -6074. Suppose -4*g = -1523 - d. Is g prime?
False
Let f(u) = 18613*u**2 - 36*u + 36. Is f(1) a prime number?
False
Let u(w) = -w**3 - 5*w**2 + 19*w - 12. Let p be u(13). Is (-1)/2 - 3/6*p prime?
False
Let f be 4/6 - (-3 + 5/3). Suppose 0 = 2*u + 6 + f, -2*u + 737 = 5*r. Is r a prime number?
True
Let f(p) = 6*p**2 - 74 + 150 - 78 - 3*p. Suppose 45 = d + 4*d. Is f(d) composite?
False
Let i(o) = 17*o**2 - 58*o - 34. Is i(20