 (-1)/((-5)/2) - (-7776)/u composite?
True
Let d = 12 - 15. Let v(h) = 72*h**2 + 2*h + 13. Is v(d) a prime number?
False
Let a be (2/2)/(2/54). Is -403*(2/3 + (-45)/a) composite?
True
Let d(f) = 5*f**2 + 80*f + 1. Is d(-27) prime?
False
Let o be 1/(-2) + 1/2. Suppose -c + 2*z - 6 = 0, -3*c + 2*z - z - 23 = o. Is c/(-3)*9 + 1 a prime number?
False
Suppose 4*x + 4807 = 3*b + 921, -5*x - 6485 = -5*b. Suppose 2*g - 1324 - b = 0. Is g a composite number?
True
Let v = 33067 - 19048. Is v composite?
True
Suppose -3*m = -4*b - 12 - 12, -b + 15 = m. Suppose 7*z = m*z - 2855. Is z composite?
False
Let x(n) be the third derivative of -29*n**4/24 + 7*n**3/6 + 12*n**2. Is x(-4) prime?
False
Let w = 7216 + 4585. Is w composite?
False
Let a(j) = 85*j**2 - 18*j + 78. Is a(-25) a composite number?
False
Let f(c) = c**3 + 9*c**2 - 11*c - 8. Let o be f(-10). Suppose 2*q + 4*n + 389 = 3*q, -o*q = -3*n - 778. Is q prime?
True
Let u = -2592 - -5453. Is u composite?
False
Let r(w) = -532*w + 481. Is r(-19) a prime number?
True
Let p = 7522 + -1353. Is p a composite number?
True
Let h = 9 - 5. Suppose h = 3*a - a. Suppose -a*u = 3*u - 1895. Is u a prime number?
True
Suppose -4*z + 4*l + 3040 = 0, l = 1 - 0. Is z a prime number?
True
Let h(x) = 153*x**2 - 22*x + 15. Is h(10) composite?
True
Is (-10373)/(-3) - (-4)/(-6) prime?
True
Suppose 0 = -g - 0*g + 18. Suppose 0 = -2*b + 5*b - g. Is -2*3/b*-77 a prime number?
False
Let c(i) be the third derivative of 631*i**4/6 + i**3/2 - 21*i**2. Is c(2) a composite number?
False
Suppose 2*k = 8, 5*k - 4 + 86 = 2*t. Is t a prime number?
False
Let q = 34 + -35. Is (0 + -3 - q) + 3 + 516 composite?
True
Let j(n) = 23*n + 24. Let g(h) = -h - 1. Let t(v) = 3*g(v) - j(v). Is t(-16) a composite number?
False
Let t(g) = g**2 + 8. Let h be t(4). Let a = 70 + h. Is a prime?
False
Let i be -3*-1*(-3)/1. Let v(s) = -s**3 - 4*s**2 + 11*s - 19. Is v(i) prime?
False
Suppose -106046 = -4*l + u + 2*u, -2*l + 53022 = -2*u. Is l a composite number?
False
Let w = 2065 - 1227. Suppose 4229 - w = 5*k - l, -l - 675 = -k. Is k a composite number?
True
Suppose -4422 = -f - z - 423, -5*f = -5*z - 20015. Is f a prime number?
True
Suppose 5*b + 1222 = d, 5*b = 2*d - 0*b - 2449. Suppose 3*o + a = d, -2*o - 7*a = -2*a - 818. Suppose 8*p - 9*p + o = 0. Is p prime?
True
Let n = 44983 - 17565. Is n a prime number?
False
Is -4 + 12 + (4 - -575) a prime number?
True
Suppose 0 = -4*g - 187 - 173. Let w = g + 157. Is w a composite number?
False
Let q(b) = b**3 - 2*b**2 - b - 15. Is q(7) a prime number?
True
Suppose p + 3535 - 921 = 0. Let v = 4953 + p. Is v a composite number?
False
Let t(k) = -k**3 + 13*k**2 - 14*k - 11. Let m be t(11). Let v(q) = -8 - 5 + 13 + m*q**2. Is v(-1) a prime number?
False
Let d(b) = 91*b**3 - 2*b**2 + 4*b. Let t(j) = j**3 - j. Let g(u) = d(u) + 5*t(u). Let q be g(-1). Let w = q + 146. Is w a composite number?
True
Let c(n) = -79*n - 33. Let b(z) = -396*z - 165. Let a(y) = -2*b(y) + 11*c(y). Is a(-10) a prime number?
False
Suppose 6 = q + 3. Is (-1)/(2996/(-998) + q) composite?
False
Suppose 2*k - 18 - 34 = 0. Suppose -50 = 2*j - 0*j. Let h = k - j. Is h prime?
False
Let z = -1527 + 1616. Is z composite?
False
Suppose 6*z - z = -2745. Let r = 1804 + z. Is r composite?
True
Let b(l) = 3*l - 38. Let m be b(-17). Let c = m - -255. Is c composite?
True
Suppose -3*q - 77753 = -16*q. Is q a prime number?
True
Let m(y) = 4*y + 19. Let j be m(-8). Let h = 5 + j. Is 4*((-574)/h + 2) a composite number?
True
Let x = -19 - -22. Suppose -c - x*z - 312 = 2*c, -2*c = -4*z + 184. Let f = 3 - c. Is f a composite number?
False
Let p(l) = 2*l - 1. Let y(m) = -78*m + 10. Let v(d) = -p(d) - y(d). Is v(20) composite?
False
Suppose -3506 - 5873 = -a - 3*m, 0 = -2*a - 5*m + 18762. Is a a composite number?
False
Let p be -3*-1*(-12)/(-9). Suppose c + 6 = p*y, 4*y + 5*c + 8 = 2*y. Is y + -2 - -3 - -85 composite?
True
Let l = 23 + -31. Is (-1)/(-4)*3 - 4690/l composite?
False
Let f = -13 + 9. Let c be -11 + 2/(f/(-6)). Is 0 - -213 - c/(-4) a composite number?
False
Suppose 3*j - 16725 - 724 = -5*h, 2*h - j = 6984. Is h prime?
True
Suppose 4*f = y + 17883 + 54278, -5*y + 108261 = 6*f. Is f prime?
True
Suppose 2*o - 3*f - 8237 = -0*o, -f - 5 = 0. Is o a composite number?
False
Let u(i) = i**3 + 6*i**2 - 10*i - 21. Let s be u(-7). Suppose 0 = -13*b - s*b + 6305. Is b a composite number?
True
Suppose 0 = 3*f + t - 3959 - 30737, -2*f - t + 23130 = 0. Is f a prime number?
False
Suppose -v + 1 + 10 = 5*i, 0 = -3*v + 3. Let x be -2 + 6/(6/i). Suppose x*s + 4*s - 776 = 0. Is s prime?
False
Let c = -594 + 381. Let s(g) = -g**2 + 16*g + 165. Let h be s(-15). Let o = c - h. Is o composite?
True
Let n(h) = 26*h**3 + 5*h**2 - 2*h - 7. Let x be n(4). Let i = x - 822. Is i composite?
False
Suppose -9 - 9 = -6*c. Suppose -4*x - 2131 + 24 = -c*n, -2*x = 8. Is n composite?
True
Let c = -5058 - -9641. Is c a prime number?
True
Suppose -2 = -i, 3*s = s - 5*i - 88. Let f = s + 108. Is f a prime number?
True
Let v(h) = 15*h**2 - 109*h + 19. Is v(18) a composite number?
False
Let v(u) = -1536*u + 389. Is v(-34) composite?
True
Suppose -m - 1 = -4*k + 7, 2*m + k = -52. Let w = m - -12. Is 8342/22 - w/(-66) a composite number?
False
Let k = 38 + -43. Let j = k + 124. Is j a prime number?
False
Is 138327/105 - 2/5 composite?
True
Suppose 0 = 17*z - 1184 - 60390. Is z composite?
True
Suppose -5*v = -5*i + 130 - 690, 0 = 3*v - i - 334. Is v composite?
True
Let v be 0/(-2 - 2 - -6). Let y be v + 8628/(9/3). Suppose 2*c = -2*c + y. Is c prime?
True
Suppose -3*i + 7 = -5*q, 5*i + q + 0 = -7. Let t = 18 - i. Is t composite?
False
Suppose 13*h = 22*h - 53721. Is 2*(-1)/(-1) + h composite?
True
Let t(u) = 38*u**2 + 3*u + 2. Let g be t(-1). Suppose 38*s - g*s = 119. Is s prime?
False
Let p = -14 + 18. Suppose 0 = -0*g - p*g + 20. Suppose 0 = 3*c + 2*q - 957, g*c + 5*q = 2*c + 948. Is c prime?
False
Suppose -47*l + 6282 = -5797. Is l a prime number?
True
Let i = 1099 - 638. Let d = -16 + i. Is d prime?
False
Suppose 3*p - 1513 = -4*g, -5*g - 2*p - 774 = -7*g. Is g a composite number?
True
Suppose -5*k - 57 = 3*z - 6, 0 = -4*k + 2*z - 32. Is (-2)/k - (-73535)/99 composite?
False
Suppose 0*a + 5*d - 139 = a, 845 = -5*a - 5*d. Let h = 338 + a. Let t = -119 + h. Is t composite?
True
Let p be (2/2)/(4 - (3 - 0)). Is (p/3*1)/(6/9594) a prime number?
False
Suppose -10*l - 84157 = -387747. Is l a composite number?
True
Let f be 0/((-1 - -2)/(-1)). Suppose 10*w - 790 = -f*w. Is w a prime number?
True
Suppose 308*g + 132027 = 329*g. Is g a prime number?
True
Let b be 3/9*(1 - 1). Suppose -9409 = -5*i + 3*n, b*i = 3*i + 2*n - 5653. Is i a composite number?
True
Let f be 2/8 + -6 + 81/12. Is f/((-3)/7731*-3) prime?
True
Suppose -1 = -s + 3. Let p be (2/s)/((-8)/(-7312)). Let a = p + -194. Is a prime?
True
Let u(v) = v - 3. Let w be u(-4). Let p be (66/(-4))/(6/(-8)). Let i = p + w. Is i a prime number?
False
Let q(x) = -5220*x**3 + 2*x + 1. Is q(-1) composite?
True
Suppose 16*m - 83753 = 19655. Is m a prime number?
False
Let k = 67 + 1084. Is k prime?
True
Let t(g) = -2*g**2 - 27*g - 6. Let y be t(-12). Let n be y/(-4)*2/3. Let b(q) = q**3 + 7*q**2 - 2*q + 11. Is b(n) a composite number?
False
Suppose z + 2*z = 4*v - 10365, 3*v + 13845 = -4*z. Let s = -2246 - z. Is s a composite number?
False
Suppose 0 = 4*m + m. Suppose 26 = 5*b - 3*x, m = -0*x - 2*x - 4. Suppose -8*s + 844 = -b*s. Is s a composite number?
False
Let y(t) = 2*t**3 - 11*t**2 - 9. Let w be y(8). Suppose -n = -4*r - w, 5*r = -n + 2*r + 325. Is n a prime number?
False
Suppose 12*c = 69491 - 5207. Is c prime?
False
Suppose 0 = 2*n - 3*g - 17, n = 4*g + 1 - 0. Suppose 83 = -5*l + n. Is 4/l - 1306/(-14) a prime number?
False
Let a = 25795 - 12750. Is a composite?
True
Is (-253977)/(-27) - 64/(-144) composite?
True
Let j(f) = f - 13. Let c be j(16). Suppose -1 = -c*a + 11. Suppose -4*l - l + 640 = 5*m, -a*l + 5*m = -503. Is l a prime number?
True
Let r(j) be the third derivative of -31*j**6/120 - j**5/15 - j**4/8 - j**3/6 - 18*j**2. Is r(-3) prime?
True
Suppose -3*o = 5*k - 492, -5*o - 3*k = -944 + 108. Suppose -4*b + 5*c = o - 887, -2*b - 5*c = -344. Is b a prime number?
False
Let t(l) = 197 - 101 + 17*l + 3*l**2 - 111. Suppose 0 = -u - 19. Is t