 -32 - -34. Suppose -3*l + 2087 = u*l + 4*p, -l - 5*p = -430. Suppose 5*y - l = w, 4*y - 249 = y + w. Is y prime?
True
Let h(w) = 12*w - 2 + 3 + w**2 + 4. Let p be h(-9). Let l = -3 - p. Is l a prime number?
True
Let t be (-15)/(((-9)/(-57))/(-3)). Suppose -817 = 4*b - t. Let z = b + 452. Is z prime?
False
Let x(g) = 20*g**2 - 8*g - 8. Let h be x(-4). Let m = 683 - h. Is m a prime number?
False
Suppose -2367 = 4*u - 3*s + 1869, 0 = -5*u - s - 5314. Let n = 4997 + u. Is n a prime number?
False
Suppose -11*x = 3*x - 21322. Is x a composite number?
False
Let x(l) be the first derivative of -l**4/4 - 2*l**3 + l**2/2 + 8*l - 4. Let n be x(-6). Suppose -3*s + 176 = -5*g, 5*s = -0*s - n*g + 314. Is s prime?
False
Suppose 0 = -2*n + 3*v - 2073, 0 = v - 5*v + 12. Is (309/(-4))/(18/n) a composite number?
True
Is ((-6)/(-27) - 11/9) + 185354 a composite number?
True
Suppose -5*h + 12 = -4*h. Let d be (3 - h)*3/(-9). Suppose 2*g - 4*k + 3*k = 765, d*g = k + 1146. Is g a prime number?
False
Let w(t) = 1 + 95*t**2 + 8*t + 93*t**2 - 10 + 3*t**3 - 192*t**2. Let b be -5*((-12)/5)/2. Is w(b) a composite number?
True
Let s(h) = 405*h - 578. Is s(15) a composite number?
True
Let a = 0 - 1. Let g(z) = -88*z**3 + 61*z + z**2 - 23*z - 23*z - 1 - 16*z. Is g(a) a prime number?
True
Suppose 6*p - 5*p = 5. Suppose 4*u - 50 = -2*s, p*s - 4*s = 5*u + 4. Is s composite?
False
Let m be (-2)/(-10) + 4376/20. Suppose 0 = h - 160 - m. Is h a composite number?
False
Is (-8)/(-10) - 75906/(-30) composite?
False
Let k = 11962 - 7241. Is k a composite number?
False
Let k = -2 + 8. Is ((-28)/10)/(k/(-1185)) prime?
False
Let v = 3717 - 1955. Is v prime?
False
Suppose -7*y = 12*y - 1744903. Is y composite?
False
Suppose 0 = l + 5*p - 85, -2*l + p + 224 = 10. Let j = l + 536. Is j a prime number?
True
Let n be -1*(2 - 1)*0. Suppose -u - 3*a + 1 = -a, 0 = -3*u - a + 8. Suppose -2*r + 179 = b, u = -r - n. Is b composite?
True
Let p be (-20)/25*5*-1. Suppose 2 = 3*h - p. Is -1 - h*-2*23 a prime number?
False
Suppose z - 123 = -w + 4*z, 4*w + 4*z = 540. Suppose 13*c + 8 = 15*c. Suppose -2*y = c*y - w. Is y a prime number?
False
Suppose -3*f = 2*f - 3*w + 175, 0 = -5*w. Is 244*(f/(-20) + 0) a composite number?
True
Let s(v) be the first derivative of -v**4/2 - 5*v**3/3 + 11*v**2/2 + v - 27. Is s(-10) composite?
True
Suppose 2*o - 58 - 120 = 0. Suppose -4348 = -93*q + o*q. Is q a prime number?
True
Suppose 0 = 2*a + 4*t - 8798, 25*a - 21*a = -3*t + 17621. Is a a composite number?
False
Suppose 3*r - 7*r = 28. Let l = -3 - r. Is 1/4 - (-91)/l a composite number?
False
Suppose -2*o = 4*o - 3126. Is o prime?
True
Suppose -4*g + 2*b + 8498 = 0, -4*b + 3128 = 3*g - 3218. Suppose t - 432 = -g. Is 6/(-24) + t/(-8) a composite number?
False
Let u(v) = 5*v + 37. Let b be u(-7). Is ((-10)/b)/((-1386)/346 - -4) composite?
True
Let h(v) = -v**3 + 10*v**2 + 4*v + 33. Let c be h(11). Let f = 1145 - c. Is f prime?
False
Let m = -21 + -169. Let a = 21 - m. Is a a prime number?
True
Let h = -20 - -51. Let i(l) = -30*l**2 - 2 + h*l**2 + 1 + l. Is i(8) prime?
True
Suppose 18*f - 36700 = -2*f. Is f a prime number?
False
Let g(o) be the first derivative of -35*o**2 - 25*o - 22. Is g(-6) a prime number?
False
Let g = 19 - 8. Is 254/(-6)*(g - 44) a composite number?
True
Suppose -4*k = -7*k. Suppose 0 = 5*b + 5, k*f - 3*b + 5844 = 3*f. Is f prime?
True
Let m be 3/(-9)*30/(-1). Is 3/(-15) + 1492/m composite?
False
Let n(s) = 4 - s + 4 + 4*s**2 - 6. Let y be n(3). Let p = y + -22. Is p prime?
True
Let o = -41 - -29. Let v = 25 + o. Let k(c) = -c**3 + 13*c**2 + 2*c. Is k(v) a composite number?
True
Let v = 5865 + -3670. Suppose 4*h - v = 5*y + 1780, 2*y = h - 993. Is h composite?
True
Let t(j) be the first derivative of j**7/840 - j**6/120 + 7*j**5/120 - j**4/12 - 4*j**3/3 - 4. Let l(c) be the third derivative of t(c). Is l(5) a prime number?
True
Let a(m) be the second derivative of 7*m**5/120 + 3*m**4/8 + m**3/3 + 3*m. Let c(h) be the second derivative of a(h). Is c(10) prime?
True
Suppose -5*q + 7 + 8 = 0, -4*h - 5*q - 181 = 0. Let p be 14/h + (-15)/21. Let v(u) = 123*u**2 + 2*u + 1. Is v(p) composite?
True
Suppose -30960 + 110277 = 9*s. Is s a prime number?
False
Let n(r) = 14*r - 4. Let w be n(13). Suppose f + 1007 = 4*t, -4*t + 841 + w = -5*f. Is t a prime number?
True
Let n = 1700 - -12263. Is n a prime number?
True
Let d(a) = 17*a + 643. Let h be d(-22). Suppose 2 = -2*k + 16. Suppose -k*x + h = -354. Is x a prime number?
True
Let v = -4521 - -2473. Let m = -822 - v. Let q = m - 727. Is q a composite number?
False
Let a(y) = -61*y**3 - y**2 - 4*y - 1. Is a(-5) composite?
True
Let t(d) = 2*d + 6. Let a be t(-3). Suppose a = 5*m + 5*v + 10, 0 = -m + v + 2*v - 14. Is (-446)/m - (-3)/(-15) a composite number?
False
Let z(n) = n**2 + 7*n - 2. Suppose 0*s - 25 = 5*s, -s - 29 = 3*p. Let o be z(p). Suppose -2*r = b - o, 5*b - 22 = 2*b - 4*r. Is b a composite number?
True
Let b be (-783)/45 - 2/(-5). Let h = 17 + b. Suppose h = -5*j + 2*j + 2901. Is j a prime number?
True
Suppose 2*v - 25 = -5*z + 4*v, 5*v = 0. Let u(o) = -7*o**2 - o - 9. Let d(i) = -8*i**2 - 2*i - 9. Let q(a) = 5*d(a) - 6*u(a). Is q(z) a composite number?
True
Suppose 0 = 5*t + 7*j - 4*j - 52, -3*t = 5*j - 44. Let m = -17 - 11. Is t + -9 - 2*m a composite number?
True
Let s(c) = 27 - 997*c + 934*c + 4. Is s(-12) a composite number?
False
Suppose -4*h - 4*m = -7*h + 3629, -2425 = -2*h - 3*m. Is h a composite number?
True
Let q(z) = -z**3 + 8*z**2 - 12*z + 17. Let u be q(7). Is 3 - (-57)/u - (-1543)/6 a composite number?
False
Let i = -945 + 3424. Is i composite?
True
Suppose -f + 0*f - 34559 = -3*g, -3*f - 57601 = -5*g. Is g a prime number?
True
Let w(a) = 114*a**3 + 6*a**2 - 26*a + 7. Is w(6) a prime number?
True
Let f = -20 - -22. Suppose -206 = -x + 2*j - 5*j, 945 = 5*x - f*j. Is x prime?
True
Let z(b) = 73*b**3 + 4*b - 5. Is z(2) composite?
False
Is (10/45)/(-1) + 56595/135 a prime number?
True
Suppose 6*f - 16 = j + 2*f, 5*j + 17 = -f. Let o(p) = -90*p**2 + 4*p + 5. Let b(h) = -45*h**2 + 2*h + 3. Let q(s) = j*o(s) + 7*b(s). Is q(-2) composite?
True
Let a(x) = 2120*x. Let y be a(1). Let r = y + -1133. Let b = r + -334. Is b composite?
False
Let d(v) = 51*v + 20. Is d(9) a composite number?
False
Suppose 0 = 5*v + o - 96683, 4 = 17*o - 19*o. Is v prime?
False
Let d(k) = 12*k**2 - 7*k - 13. Let o be d(11). Suppose 5*t = 3*v + 3*t - 4081, -t = v - o. Is v prime?
True
Let c = 386 + -132. Is c prime?
False
Suppose -4*f + 49 = -5*u, -5*u - 17 = f + 2. Suppose f*p = 9*p. Suppose -z + 8 = 2*v - 17, -5*v - 4*z + 55 = p. Is v a composite number?
True
Is -47*3/(18/(-3126)) a composite number?
True
Let h(p) = -2*p**3 + p**2 - p + 9. Suppose -2*i + 189 = 2*i - 3*f, f = -2*i + 97. Suppose 2*n + 2*n = -5*r - 8, 0 = 4*n - 5*r + i. Is h(n) composite?
False
Let d = -101 - -104. Is ((-2)/8)/(d/(-8868)) prime?
True
Let n be (-16)/(-6)*(-42)/8. Let s = n + -26. Is 27/18*s/(-6) composite?
True
Let b be 6/(-4)*8/(-3) + 777. Suppose -3*y = -392 - b. Is y a prime number?
False
Suppose -5*x + x = -4*k - 12, 0 = -x + 5*k + 7. Let m(i) = 830*i - 3. Is m(x) prime?
True
Suppose n + 3*i - 20 = 6, -5*i + 140 = 5*n. Let w = 32 - n. Suppose 3*t - 33 = -k, t - 66 = -w*k + k. Is k a composite number?
True
Let m(h) = 308*h**2 + 35*h - 275. Is m(8) prime?
True
Suppose -2*z = -0*z - 614. Is z prime?
True
Suppose -2328 = -5*f + 3*r, -2*f + 4*f + 3*r - 927 = 0. Suppose 0 = -8*u - f + 2201. Is u a prime number?
False
Let d(k) = -31*k - 24. Let s = -46 - -35. Is d(s) prime?
True
Suppose 0 = -5*c + 14*c + 4104. Let z = c + 1013. Is z a prime number?
True
Let h = 4354 + 2283. Is h a prime number?
True
Is -12 - (-1232)/99 - (-1966371)/27 a composite number?
True
Suppose 0 = 5*v + 4*s - 409, 0 = -4*s + 4. Suppose 0 = -2*y + 2*a + 756, -y - 2*a - v + 444 = 0. Is y prime?
True
Let k(v) = -217*v - 161. Is k(-30) a prime number?
False
Let a = 102610 - 51469. Is a composite?
True
Let d(h) = h**3 + 19*h**2 - 80*h - 49. Is d(-20) composite?
False
Let j = 29980 + -9503. Is j prime?
True
Let j(i) = -492*i**3 + 2*i**2 + 8*i + 5. Is j(-1) a prime number?
True
Suppose -l - 20 = 4*z + z, 2*l = 4*z + 30. Let b(t) = 3*t + 10 - 2*t - l*t + t**2. Is b(5) composite?
True
Let b(f) = f**2 - 6*f + 4. Let m b