 = h*l - 93. Is l prime?
True
Suppose 0 = 5*n + 4*v - 25275, 3*n + 0*n - 15192 = 3*v. Is n composite?
False
Let k(t) = -3*t + 12. Let a be k(4). Suppose 5*y - 8 = 4*s, 5*y = 3*s - a*y + 11. Is -3 + 89 + s*1 composite?
False
Let u(c) = -14*c**3 + 2*c**2 - 1. Let j be u(-1). Suppose 5*l - g + j = 2*g, l = -3*g + 15. Suppose 5*q = -l*q + 835. Is q composite?
False
Let b(l) = -9*l**2 + 2*l - 3. Let g be b(1). Let p(k) = k**2 - 5*k + 7. Is p(g) composite?
False
Suppose 43*v = 35*v + 7768. Is v a composite number?
False
Let j(k) = k**3 - 25*k**2 + 65*k + 55. Is j(24) prime?
True
Let b = -10785 + 19152. Is b composite?
True
Let i(w) = -w**3 + 19*w**2 - 19*w + 34. Let n be i(18). Suppose 1811 = -15*g + n*g. Is g a composite number?
False
Is ((-7)/2 + 4)*30218 a composite number?
True
Is (-1)/(((-20)/80)/(27933/12)) prime?
True
Suppose -2*o + 6985 = 2*z - 3451, -3*z + 15666 = -o. Let p = z - 3039. Is p a prime number?
False
Suppose -s - 22 = 2*j, 4*s + s - 7 = -j. Let d(r) = -25*r + 10. Let u(w) = -74*w + 29. Let q(i) = -8*d(i) + 3*u(i). Is q(j) a composite number?
False
Suppose 0 = 5*b + 2*y - 171443, 5*b - b = 2*y + 137158. Is b prime?
False
Let h be ((-78)/8)/3 - 16/(-64). Is 81790/130 - ((-12)/26)/h a composite number?
True
Let v = -15 + 5. Let q = v + 9. Is 7 - (2/q + -1) a composite number?
True
Let p be ((-4)/12)/((-1)/12). Suppose -2*y + 4806 = -p*y. Is y/18*4/(-6) a composite number?
False
Let z = -5 - -7. Let j(h) = -2*h**z + h**2 + 15 - 4*h**2 + 6*h**2 - 8*h. Is j(10) a composite number?
True
Let k = -2 + -7. Is (-5)/(-15) + (5430/k)/(-2) composite?
True
Suppose -905977 = -43*p + 390946. Is p prime?
True
Let y = 35 + -32. Suppose -3*s - 178 = -5*x, 2*s - 126 = -y*x - s. Is x prime?
False
Is (13/39)/((-1)/(-2001)) a prime number?
False
Let x = -7 - -16. Suppose 4*o = -5*k - 12, -x = 5*o - 5*k - 39. Is 3/(-1)*o/(-2) prime?
True
Suppose -295 - 1751 = -6*x. Is x a composite number?
True
Suppose 5741 - 108809 = -36*b. Is b prime?
False
Is 24910/6 + -1*14/21 prime?
False
Let x(k) be the second derivative of 7*k**4/12 + 5*k**3/2 - 25*k**2/2 + 2*k. Is x(6) a prime number?
True
Let n = 21345 - 4028. Is n prime?
True
Let b be 28/35*(-190)/(-4). Is b*(-2)/(8/(-26)) a composite number?
True
Is (-12)/(-10)*(-12055)/(-3) a composite number?
True
Suppose -24*n + 195999 + 32793 = 0. Is n a composite number?
False
Let v = -8571 + 18442. Is v prime?
True
Suppose -41566 = -4*f - 3*f. Is f a composite number?
True
Suppose -2*l - 8 - 2 = 0, w + 3*l + 13 = 0. Suppose w*u + 104 = 464. Let j = -103 + u. Is j a prime number?
False
Let g(s) = -622*s + 1. Suppose 3*f - 5 + 2 = 0. Suppose 0 = -3*j - 3*v + f - 7, -2*j - 6 = 4*v. Is g(j) prime?
False
Let q = -3594 - -5567. Is q prime?
True
Let k be 10 - 4/(-2)*-2. Suppose -n + 3*n + 9 = 5*t, 4*t - 2*n - k = 0. Suppose -3798 = -t*g - 3*g. Is g prime?
False
Let c(d) be the third derivative of 37*d**4/24 + 2*d**3 - 143*d**2. Let l(s) = -6*s + 1. Let i be l(-2). Is c(i) a composite number?
True
Let n(d) = -2*d - 37. Let s be n(-19). Is ((-443)/(-2))/(s/2) composite?
False
Suppose 10945 = 2*r + z, -155*z + 10954 = 2*r - 151*z. Is r prime?
True
Let t be (-2 - (-1 + -1))/2. Suppose -5*h + i = -1183, -4*h + 946 = -t*h - i. Is h prime?
False
Suppose 3*x - 3 = 0, 0 = -5*y - 2*x - 416 - 57. Suppose -3*h = -2*t - 482, 0*h + 2*t = 4*h - 644. Let r = h + y. Is r prime?
True
Let s = -37 + -39. Let n = 107 + s. Is n a composite number?
False
Let q(o) = -3*o**3 + 9*o**2 + 4*o**3 - 3*o + 4*o**2 + 3 - o. Let d be q(-12). Let n = d + 244. Is n a prime number?
True
Let i(l) = -3264*l + 353. Is i(-5) a prime number?
True
Let d be 5/(70/4) - 93/7. Let x(o) = 6*o**2 - 17*o + 24. Is x(d) prime?
True
Suppose -258*q + 257*q + 23461 = 0. Is q a composite number?
True
Let k(o) = -o**2 + 5*o + 3. Let y be k(6). Let g(v) = 55*v + 6. Let s(n) = 83*n + 9. Let c(z) = 7*g(z) - 5*s(z). Is c(y) prime?
False
Suppose o = -3*r + 5572, -7*o + 5*r = -4*o - 16646. Is o composite?
False
Suppose -g = g - 12. Let i = -4 + g. Suppose -2*k - k = -y + 232, -4 = i*k. Is y prime?
False
Is (-6)/(-27) - ((-195620)/(-45))/(-4) prime?
True
Let x be (-2860)/(-14) - 16/56. Let i = x - 13. Is i prime?
True
Let z be ((-6)/4)/((-7)/(-14)). Is (-1)/(-2*z/(-582)) a composite number?
False
Let m(c) = c**3 + 9*c**2 + 24*c + 24. Let s(a) = -a**3 - 10*a**2 - 23*a - 23. Let l(b) = -5*m(b) - 6*s(b). Let t = -259 - -246. Is l(t) a composite number?
True
Let n be (-3)/(7/((-14)/3)). Suppose -n*q = -4*h - 7*q + 27, 2*q = h - 23. Is h prime?
True
Suppose m + m - 220242 = -2*s, 0 = 4*s - 8. Is m a prime number?
True
Let x(r) = -r**3 + r**2 - r - 1. Let v be x(-1). Suppose 0*f - 5*f + 718 = -3*y, -v*f + y = -287. Is f a prime number?
False
Let c(i) = -i**3 + i**2 - 2*i + 1. Let s be (-8 + 0 - -2) + 3. Let k be c(s). Let z = k + -20. Is z a composite number?
False
Let s = 32574 + 237. Is s composite?
True
Let h(n) = -n - 11. Let f be h(-11). Suppose -4*p - 2*x = -350, 4*p + f*p - 368 = 4*x. Is p prime?
True
Let q(w) = 89*w**2 - 19*w - 44. Is q(-15) composite?
True
Let v(f) = 16*f - 11. Let n be v(-7). Let q = n + 250. Is q composite?
False
Suppose 0 = 3*d + 542 + 880. Let i = d + 697. Is i a composite number?
False
Let f(n) = -2*n + 695. Let r = 25 + -22. Suppose -2*c = r*c. Is f(c) prime?
False
Suppose -m - 5*y + 1388 = 0, -y - 518 = -4*m + 4929. Is m a prime number?
False
Suppose 0 = -13*f + 14*f - 7253. Is f a prime number?
True
Is 1/(-8) - 916772/(-32) prime?
True
Suppose 4*r - 12 = -0. Suppose -r*o - 220 = -4*o - 4*i, -o = -4*i - 180. Let q = -67 + o. Is q prime?
False
Let m = 42 - 40. Suppose x + 2*x = 45. Is m/3 - (-1175)/x composite?
False
Let u = 6462 - 4381. Is u a prime number?
True
Let y = 12439 - 7092. Is y a composite number?
False
Let y(r) = 28*r**2 + r + 1. Let x(m) = m**2 + 6*m + 3. Suppose -2*v - 6 + 2 = 2*l, -8 = v - l. Let s be x(v). Is y(s) prime?
False
Let b = 2336 + 28393. Is b prime?
False
Suppose -5133 = 3*s + 129. Is (s/(-5))/(7/((-105)/(-6))) a prime number?
True
Let v = -4 - 6. Let h be (-63)/(-13) + v/(-65). Suppose -3*g = -3*z + 147, -h*z - 16 = 4*g - 297. Is z composite?
False
Is 23780/24 - 36/(-216) a prime number?
True
Let f(b) = 2*b. Let z be f(4). Let a(j) be the third derivative of -j**6/120 + 11*j**5/60 - j**4/4 - 11*j**3/6 - 144*j**2. Is a(z) prime?
False
Let o = -80858 + 155481. Is o a prime number?
True
Let u = 23714 - -10607. Is u prime?
False
Suppose -r = -u + 2621 - 470, -2*r - 8608 = -4*u. Is u composite?
False
Let z = 114363 - 73202. Is z composite?
False
Let d = -358 - -2331. Is d a prime number?
True
Let m(i) be the second derivative of i**5/20 - 5*i**4/6 + 3*i**3/2 - i**2 - 3*i - 1. Is m(17) composite?
True
Suppose 10 = -l - 2. Let i be 164*(1 + (-93)/l). Suppose 7*c - 12*c + i = 0. Is c composite?
True
Let w be 28/3*387/6. Suppose -412 = a + w. Let f = a - -1433. Is f composite?
False
Suppose 0 = 2*c + 29*c - 2421503. Is c a prime number?
False
Let m = -20 - -44. Suppose n = -5*n + m. Suppose 16 = 2*d + 2*q, 3*d - 5*q = n*d + 4. Is d composite?
False
Let m be 414/12*(-1 + -21). Let z = m + 1316. Suppose z + 783 = 4*o. Is o a prime number?
False
Let h(k) = -2*k + 41. Let p be h(19). Suppose 2*i = p*z - 1055, -z + 403 = 3*i + 33. Is z composite?
True
Suppose 5*w + 30 = 3*b + 2*w, 25 = -5*w. Suppose -b*y = 2*d + 685 - 2594, 2*d + 758 = 2*y. Is y a composite number?
True
Let q(k) = -144*k. Let y(j) = 29*j. Let i(b) = -4*q(b) - 21*y(b). Let h be i(-6). Suppose -3*u = 5*w - 151, 0 = -4*u - 7*w + 2*w + h. Is u composite?
False
Suppose -3*h + 74165 = -4*k, -2*h + 70324 - 20878 = -2*k. Is h composite?
True
Suppose z - 4*r = -3*r + 171, -4*z + 5*r = -684. Let m = z + -104. Is m composite?
False
Suppose 3*h - 21 = -3*b, -4*b - h + 18 = h. Is 24600/25 - b/4*2 a composite number?
False
Let a(t) = 4*t**2 - 12*t - 4. Let h be a(4). Suppose -186 = -h*y + 10*y. Is y a composite number?
True
Suppose 0 = 11*u - 6*u - 310. Suppose u + 105 = b. Is b composite?
False
Suppose -4*y + 4 = -2*k + 3*k, 4 = -k + 4*y. Suppose k = -5*v - 0*v + 15. Suppose -4*m - 3*z + 1158 = 0, 283 = m + 7*z - v*z. Is m a composite number?
True
Suppose 74*p - 3003381 = -501811. Is p a composite number?
True
Suppose 15 = 3*u + 4*p, -2*u + 6*p + 10 = p. Suppose -4*b - 10 = b, 2086 = -u*d +