e
Suppose -6*m + 56 = -40. Suppose -p = -2*w - 52 + m, -4 = -p. Let c = 15 - w. Is c prime?
True
Let a(b) = -256*b**3 - 3*b - 2. Let w be (-6)/(-27) - (-44)/(-36). Is a(w) prime?
True
Suppose 4*i - 5*z = 20, -2*i = -z - z - 8. Suppose -3*d + 2*n + 1693 = i, 3*n = -d - 0*d + 568. Is d a composite number?
True
Suppose 0*m = 4*m - 156. Suppose -r = 4*b + 47 + m, 20 = -5*b. Let k = -36 - r. Is k a composite number?
True
Is ((-88)/(-55))/(-4) - 3177/(-5) composite?
True
Let u = 21526 - 7737. Is u composite?
False
Let c = 243 + 64. Is c a prime number?
True
Let l(s) = s**3 - 34*s**2 - 34*s + 188. Is l(35) composite?
False
Let h(q) be the third derivative of 991*q**5/60 - q**4/24 - q**3/6 + 15*q**2. Is h(-1) composite?
False
Is 9659 - 48/((-18)/3) a prime number?
False
Let x(p) = -14*p + 5. Let s(c) = -1. Let d(q) = -3*s(q) - x(q). Let w be d(-2). Let l = w - -139. Is l a composite number?
False
Let f be 0*(1 + -2) - -3. Suppose -k + 11 = f*s, s = -k + 2 + 13. Suppose y + 3*u + 3 = -1, 0 = 2*y + u - k. Is y prime?
True
Is (21/(-12))/(-5 + (-638754)/(-127752)) a composite number?
True
Let d(x) = 8*x**2 - 16*x - 463. Is d(-55) composite?
True
Suppose 0 = o - 2, 3*d + 4*o - 3*o = 8. Suppose 4*p - d*p - 726 = 0. Suppose -145 = -4*i + p. Is i a prime number?
True
Suppose -9*d + 26981 = 9872. Is d a prime number?
True
Let h(k) = 445*k**2 - 8*k + 108. Is h(7) composite?
True
Let h = 26 - 22. Suppose 5*q - 16119 + 5621 = 3*a, -h*q - 2*a = -8394. Is q prime?
True
Let i be (-3 + 13)*3/6. Suppose 2 = -2*x - 5*d - 5, i*x = d + 23. Is (x/6)/((-9)/(-189)) a prime number?
False
Let o(u) = u. Let m(r) = 54*r - 6. Let p(q) = -m(q) - 5*o(q). Is p(-8) composite?
True
Let d = 42 - 12. Suppose -2*p - 42 + 176 = 0. Let z = p + d. Is z a composite number?
False
Suppose 80 = 5*a - 3*w - 60, 84 = 3*a + 2*w. Let u be 2/(-7) + 148/a. Suppose -u*z + 4821 = 286. Is z composite?
False
Suppose -4*b + 8 = -2*u, -3*b = -8*b - 4*u + 10. Let c be ((-667)/b)/((-3)/12). Suppose 3*w - 1008 = 3*t, -2*t = -4*w - 0*w + c. Is w a prime number?
True
Let w(o) be the third derivative of 7*o**5/12 + o**4/4 - o**3 + 8*o**2. Is w(3) a composite number?
True
Let p = 5764 + 13515. Is p prime?
False
Let z(i) = 683*i**2 + 4*i + 5. Suppose o + 6 = -2*o. Is z(o) a composite number?
False
Let u = 6 - 3. Suppose -u*w = q - 11, 0*q = 5*q + 4*w - 22. Is 89*(q - (0 - 0)) composite?
True
Suppose -4*j + 124785 + 295925 = 2*k, 0 = k + 4*j - 210363. Is k composite?
False
Suppose -495343 = -41*s - 105474. Is s prime?
False
Let f = 111 + -54. Let u = -9 + 44. Suppose -u = -2*m + f. Is m prime?
False
Let c = 1654 + -837. Is c a prime number?
False
Let a(i) = 3*i**2 + 13*i + 15. Let m(w) = 15*w**2 + 65*w + 74. Let c(j) = 11*a(j) - 2*m(j). Is c(-12) a prime number?
True
Suppose -5286 - 8876 = -5*q + v, -3*q + 3*v = -8490. Is q a composite number?
False
Is 11971/5 + (-6)/5 composite?
False
Let r be 2/1 - (-7 + 5). Let l be 106/(-9) - r/18. Is l/(-30) - 27766/(-10) composite?
False
Suppose -v + 2*v - 2 = x, 3*x - v = -4. Is x/4 + (0 - (-58494)/24) prime?
True
Suppose 5*l = 5*s - 40688 - 19287, -3*s - 5*l + 35985 = 0. Is s prime?
False
Let y = -10016 - -16103. Is y a composite number?
True
Let w be 468 + (-1 - -4 - 3). Let m = -200 + w. Suppose 2*p - 6*p = -m. Is p a composite number?
False
Let o(j) = -119*j**2 - 16*j + 4. Let r be (-5)/((-4)/(-4*1)). Let n(i) = -79*i**2 - 11*i + 3. Let f(h) = r*o(h) + 7*n(h). Is f(-2) a composite number?
False
Let m(y) = -y - 8. Let b be m(-10). Suppose b*j - 4*j - 274 = 0. Let o = j - -270. Is o composite?
True
Let z be 4 + (5 - 2)*12/(-18). Suppose 4*j - 580 = -z*t, -2*j - 3*j - t = -719. Is j prime?
False
Let s be 0/(0 - (6 + -4)). Is 1104 - 15/(-3 + s) a composite number?
False
Let w = 1415 - 91. Suppose -h - 3*h = -w. Is h a composite number?
False
Suppose -29*f = 19*f - 2620752. Is f a prime number?
False
Suppose 147*c - 140*c = 49791. Is c a prime number?
False
Suppose b - 24 = -x, 3*x - 11 = 4. Is b prime?
True
Let l = -28974 - -51541. Is l a prime number?
True
Let c(h) = 0 - 4*h**3 + h**2 - 6*h**3 - 1 - 2*h**3. Let a be c(-1). Let w(l) = 3*l**2 - 12*l + 10. Is w(a) a composite number?
True
Let q(h) = h**3 - 6*h**2 + 3*h + 8. Is q(15) composite?
True
Let b = -71 - -71. Suppose -2*c + l + 1979 = 0, b*l + 3967 = 4*c + l. Is c a composite number?
False
Suppose -5*o - 5 = -6*o. Suppose -o*f = -10*f + 2215. Is f composite?
False
Let h(g) = -g**2 + 4*g + 2. Let s be h(4). Suppose 0 = -s*d + 5*d. Suppose d*j - 35 = -j. Is j prime?
False
Let m be -4*(-1)/4 + -5. Let a be (0 - (-2)/m)*0. Let w(t) = t**3 + t**2 + t + 381. Is w(a) composite?
True
Let o = 17632 + -11211. Is o a composite number?
False
Suppose -s = 5*t + 712, t - 4*t + 6 = 0. Let p(i) = i - 333. Let m be p(0). Let f = m - s. Is f a prime number?
True
Let d = 2471 - 1384. Let h be ((-15)/(-9) - 3)*1*-1374. Let r = h - d. Is r prime?
False
Let g = 3104 + 1007. Is g prime?
True
Suppose -r = 2*h - 10, -3*r + 6 = -h - h. Suppose 0*n + 4*p + 5521 = 3*n, 0 = -h*n + p + 5536. Is n composite?
False
Let v be -14*(-3)/6 + -2. Suppose v = 5*x - 10. Is x a prime number?
True
Let p(m) = 5261*m**2 + 15*m - 15. Is p(1) prime?
True
Let j = 24842 - 17077. Is j composite?
True
Let o = -403 - -594. Suppose 3*j + 3 = 2*p - 4, 4*j = 3*p - 11. Suppose -275 - 52 = -4*d - q, 0 = -2*d + p*q + o. Is d a composite number?
False
Let p be 44142/18 - -3 - 4/(-6). Suppose -p = -7*k - 27. Is k composite?
False
Is (-180)/(-240) + (-431761)/(-4) a prime number?
True
Let m = -5472 - -7931. Is m prime?
True
Let b(t) = 25*t**2 - 6*t. Let o be b(2). Is 4/(-22) - (-15680)/o a composite number?
True
Let c(y) = -y**3 + 4. Let s be (-4)/(-18) + (-10)/45. Let g be c(s). Suppose 0*i + i - 117 = -g*z, -i + z = -122. Is i composite?
True
Let y be -2*1*306/(-36). Suppose j = 2*p + 14, -j - j = 5*p + y. Is 21/2*(-3 - p) composite?
True
Suppose 3*d + 38404 = 31*p - 30*p, 3*d + 153607 = 4*p. Is p a prime number?
False
Suppose 2*a - 4*n = -950, -a - 2*n = 2*n + 451. Let k = a - -768. Is k a prime number?
False
Let k(h) be the third derivative of h**5/4 - 11*h**4/24 + 7*h**3/6 - 25*h**2. Is k(6) a prime number?
False
Suppose 0*o + 2207 = w + o, 0 = 4*w + o - 8816. Is w prime?
True
Let w be (-218*(-1)/(-8))/(1/(-4)). Suppose i - w + 12 = 0. Is i prime?
True
Let z = 333 - 96. Let q = -110 + z. Is q composite?
False
Let n be (-373814)/(-98) - (-4)/7. Suppose -2*s = 2*s + d - n, 5*d + 2844 = 3*s. Is s composite?
False
Let z(q) be the second derivative of q**5/20 - 3*q**4/4 + 4*q**3/3 + 2*q**2 + q. Let a be z(8). Let r(m) = 15*m**2 + 3*m - 1. Is r(a) composite?
False
Suppose 5*k + 4*d - 6086 = 0, 5*k - 4854 = 3*d + 1204. Is k a composite number?
True
Suppose -4845 - 2459 = -8*l. Is l a composite number?
True
Suppose 0 = 6*u - 5265 + 1827. Is u composite?
True
Suppose 9*c = 42*c - 126489. Is c prime?
True
Let n(k) = -2*k**3 + 43*k**2 + 24*k + 43. Is n(22) prime?
False
Let t(d) = -3*d**3 + 3*d**2 + 4*d + 3. Let k be t(-2). Let n = k + -26. Suppose 2*r - 5*r + 375 = 3*m, -n*m = -4*r + 518. Is r composite?
False
Let v be (-34)/(-10) - (-9)/(315/(-14)). Suppose p = -4*x - 2*p + 1887, -2*x + 939 = -v*p. Is x composite?
True
Let s(q) = 9*q + 17. Let i(o) = 5*o + 8. Let n(l) = -9*i(l) + 4*s(l). Is n(-11) composite?
True
Suppose 5*g - 25 = 0, d + 3*g + 582 = 5428. Is d a prime number?
True
Is (98052/(-60))/(2/(-10)) prime?
True
Suppose 0*l + 2*m = l - 23, 0 = 5*l + 2*m - 55. Let q(a) = -a**3 + 15*a**2 - 15*a + 5. Let b be q(l). Suppose -b = c - 5*c. Is c composite?
False
Let o = 310 + 2540. Suppose -5*y - 9850 = -3*s, 2*s - 1970 = y - 7. Let c = o + y. Is c a prime number?
True
Let y be ((-12)/(-14))/((-14)/(-49)). Is (111/(-3))/(y/(-51)) a composite number?
True
Suppose -2*i - 97817 = -5*q, 4*q - 71434 - 6822 = 4*i. Is q a composite number?
True
Suppose -8 = -2*j, -5*w + 2*j + 22 = 5*j. Suppose -z - 25 = -3*q + w, 4*z = -3*q + 12. Is ((-28)/q - -4)*194 a composite number?
False
Let d(y) = 44*y**2 - 13*y + 70. Is d(11) prime?
False
Let z be 6*5*(-1 + (-2478)/(-12)). Suppose 3*i - 1276 = 4*a + z, 0 = -5*i - 2*a + 12419. Is i composite?
True
Let z = -7195 + 15442. Is z prime?
False
Let y(r) = -3*r**3 + 70*r**2 - 42*r + 14. Is y(17) prime?
False
Suppose -4*b + 2*z + 23 = 3*z, 1 = -z. Sup