0 = -94*u + 85*u + 68229. Suppose -u + 1826 = -5*h. Is h prime?
True
Is 4533/(-15)*(-80)/32*86 prime?
False
Let t(r) be the second derivative of 27*r**5/40 - 5*r**4/8 + 2*r**3 - 14*r. Let h(x) be the second derivative of t(x). Is h(6) a composite number?
True
Let s(w) be the third derivative of 17*w**5/60 - 5*w**4/12 - 8*w**3/3 - 21*w**2. Is s(-7) prime?
True
Let k be 11/77 + 922/14. Let w be k/(-14) + (-7)/((-343)/(-14)). Is w/2*(-10548)/90 a prime number?
True
Let n = 3730686 - 2555927. Is n a composite number?
False
Let x(t) = -134363*t + 45. Is x(-2) a prime number?
True
Suppose 0 = 3*i + 1195 - 3043. Suppose -i = 2*z - 0*z. Let h = z - -705. Is h a prime number?
True
Suppose v - 2*f + 4*f - 8 = 0, 3*v - 3*f = -3. Suppose 4*d - 2*a = 6, 2*a - v = -2*d + 4*a. Suppose 2*p - 2*q + 6*q = 1510, -q = -d. Is p composite?
False
Suppose 0 = 2*m - 0*m - 8. Suppose -3*t - 12 = 2*u + u, u + m = -4*t. Suppose 2455 = 5*x - t*x. Is x composite?
False
Suppose 4 = 3*p + 4*g, 4*p + 0*g - g + 1 = 0. Suppose d + 12 = -3*d, -3*h + 4*d + 11871 = p. Is h composite?
True
Let m be (1/3)/(1/45). Suppose 2*s - 3*c - 15 = -4, 3*s - 3*c = m. Suppose s*w - 545 - 1371 = 0. Is w a prime number?
True
Let c = -34246 + 43445. Is c composite?
False
Let v be (6/7)/(7/49). Is (12903/(-99))/((-2)/v) prime?
False
Suppose -4*b = 5*r + 10 - 2, -5*b - 3*r = 10. Is ((-2)/4)/(b/4468) composite?
False
Let c be (17 + -15)/(1/(-3)). Is (-9)/c*(-4 + 9890) prime?
False
Let p(d) = 24*d**2 + 278*d + 37. Is p(71) composite?
False
Is (-3961323)/(-731) - 8/172 prime?
True
Suppose 9*z - 30*z = 63. Is (-4 - z)*0/(-12) + 1043 composite?
True
Let x = 0 - 0. Let b(r) = r**3 - 11*r**2 + 61*r - 385. Let j be b(9). Is (-38)/4*(x/(-2) - j) a prime number?
True
Let k = -41 - -85. Suppose 2*v = -5*s - 98 - k, -12 = 3*s. Let i = -42 - v. Is i a prime number?
True
Let n(g) = -2*g**2 - 36*g - 88. Let h be n(-15). Suppose -4*t + 0*t = -12. Suppose -3*u = h*c - 1578, 1052 = -u + 3*u - t*c. Is u composite?
True
Suppose -4*r - 47031 = -8*x - 140907, -r + 23473 = -3*x. Is r composite?
True
Let k(o) = 2*o**3 + 31*o**2 + 39*o - 33. Let l be k(-14). Is 10148/6 + (-3)/l composite?
True
Is (5/4)/(770/16494632) prime?
True
Suppose 5*d - 4*u + 199 = 0, -u - 4 = -0. Let r = -46 - d. Is (r/1 - -2)*-89 prime?
True
Suppose 64*k - 26*k - 2091280 = 22*k. Is k a prime number?
False
Let u be ((-3518)/(-4))/((-35)/(-350)). Suppose -u + 688 = -11*q. Is q composite?
True
Let p(i) = -i**3 + i**2 - 10*i - 12. Let g(v) = -v + 3. Let y be g(8). Let o be p(y). Suppose 81 = 2*f - 5*r - o, -4*f + 496 = 4*r. Is f a composite number?
False
Suppose -609*j + 129249772 + 79838807 = 0. Is j a composite number?
True
Suppose -20*d = 9 - 89. Suppose d*h + s - 7169 = 0, -3*h = 8*s - 7*s - 5376. Is h a prime number?
False
Let p(y) = -7*y + 15. Let f(l) = 11*l - 23. Let n(a) = -5*f(a) - 8*p(a). Let w be n(8). Suppose 5*t - 3*u - 12550 = 0, -2604 = -w*t - 4*u + 4955. Is t prime?
False
Let w be 42/21 + (2 - -8136). Let o = -3543 + w. Is o a prime number?
True
Suppose -28 = q - 6*q + 3*m, -5*q + 26 = -m. Suppose -q*s = 6*s - 12936. Let g = -665 + s. Is g composite?
True
Let n be (-7 - (1 + -5)) + -30969. Let f = -21921 - n. Suppose -3*u + 0*u + f = 0. Is u a prime number?
False
Suppose 25 = 5*f, 2*q = q - 2*f + 14. Suppose 198 = -q*o + o. Let n = 317 + o. Is n composite?
False
Let f = 95823 - -51448. Is f prime?
False
Suppose -5*s = 0, -5*b + 4*s - 21163 + 4148 = 0. Let f = -2240 - b. Is f a prime number?
True
Let l(w) = w**3 - w**2 + 1. Let n be l(-1). Let g(v) = -7*v - 2. Let z be g(n). Suppose 3*m + z*b = 5326, -2*m + 1778 = -m - b. Is m a prime number?
True
Let c be (10 + (-493)/58)/(3/8). Suppose -l - 1 = 3*x + 4, -2*x = 4*l - 10. Suppose 2*z + 4*u - 2291 = 83, -c*z + 4784 = -l*u. Is z a prime number?
True
Suppose -4*k + 3*k + 4 = z, 0 = 2*z + 5*k - 20. Suppose -4*y + 985 = 3*g, -3*g = -0*g - 4*y - 1001. Suppose z = -2*t + t + g. Is t a composite number?
False
Let c be 24/180 + 73796/30. Suppose -14*w + c + 634 = 0. Is w a prime number?
False
Let b(o) = o**3 + 3*o**2 - 2*o - 3. Let k be b(-3). Let g be ((-2)/k)/(12/(-8550)). Let v = -156 + g. Is v a prime number?
False
Let s(j) = -j**3 + 6*j**2 - 8*j + 28. Let c be s(4). Suppose -25*q = -c*q + 10653. Is q a composite number?
True
Let y(m) = -5181*m - 5. Suppose 3*k - 4 = -7*d + 6*d, 2*d - 2*k = -8. Is y(d) a composite number?
False
Let r be -1*((-1 + -7)*1 + -3). Is (209/22 - r)*(-4834)/3 a prime number?
True
Suppose -2 = k - 5. Suppose -n + 494 = k*u - 199, 1172 = 5*u - 4*n. Suppose r - 25 = u. Is r prime?
True
Suppose -5*g + 53 = 3*s, 2*g - 3*s + 7*s = 10. Suppose 8*x + g*x - 7833 = 0. Is x prime?
True
Is 37091 + -10 + (-4 - (-8 + 0)) a composite number?
True
Is ((-14)/42)/(10/(-1204770)) composite?
True
Suppose -221*d = -108649335 - 35895052. Is d a composite number?
False
Let s be -4318*(7/(-14))/(-1). Let y = 1268 - s. Is y prime?
False
Let o = 615073 + -274024. Is o prime?
False
Let g be (-1)/3 + 33938/(-3). Suppose -15*q + 13 = -17. Is (q/(-3))/(18/g) composite?
False
Suppose -2*z = 3*p - 3*z + 6, p + 2 = -z. Let l(r) = -138*r**3 - 2*r**2 + 6*r + 3. Is l(p) a prime number?
True
Let t(s) = s**3 + 50*s**2 + 58*s + 149. Is t(-40) composite?
False
Let f(o) be the first derivative of 8*o**3/3 - 6*o**2 - 46*o - 210. Is f(14) prime?
False
Let n be (-1*(-2)/3)/((-20)/(-60)). Suppose n*q = 4*c - 3*c + 61, -5*c = -5*q + 150. Is q prime?
True
Is 295615/5 - (20 + -10) a composite number?
False
Let q = -10318 + 19401. Is q prime?
False
Let j = -14888 + 24829. Suppose 0 = 12*w - j + 341. Suppose 12*h - w = 268. Is h composite?
False
Is (34/408 + (-2)/(-8))/(4/64836) a prime number?
False
Suppose -6*s + s - 455 = -5*d, 177 = 2*d - s. Let p = 4482 - d. Let b = p + -2549. Is b a prime number?
True
Suppose -6355 + 21277 = 6*m. Let r = m - 766. Is r a prime number?
True
Let c(u) = -66*u + 337 + 133*u + 61*u + 79*u. Is c(23) a composite number?
True
Let s be 13/2*(-13 + 2/(-2)). Let g = s + 96. Suppose 0 = g*z + m - 12785, 3*z - m - 10228 = -z. Is z prime?
True
Let w be (-1)/(42/10 - 4). Let d(u) = -u + 1. Let b(n) = -71*n + 22. Let a(k) = b(k) - 3*d(k). Is a(w) composite?
False
Suppose -3*q = -4*h - 5, 0*q - 17 = -4*q - 5*h. Suppose 1733 = 2*r - 5*l, 1343 = q*r + l - 1299. Is r composite?
True
Let v = 10157 - 6847. Suppose -z - v = -23949. Is z a composite number?
False
Suppose 1257*p = 1251*p + 150. Suppose -61480 = p*r - 65*r. Is r composite?
True
Suppose -4*k + 2618952 + 2618900 = 0. Is k a prime number?
True
Suppose -126 = 5*r - 3*d + 737, 15*d - 815 = 5*r. Let m = 1872 + -1300. Let c = r + m. Is c composite?
False
Is (-360)/(-780) + 233702/26 composite?
True
Let g(b) = 3*b - 26. Let i be g(10). Suppose 386 = 2*u + i*w, -3*w = 2*u - u - 194. Let t = u - 12. Is t a prime number?
True
Suppose -9*t + 2*t + 116690 = 0. Let p be 6/((-12)/8*-1). Suppose p*c = t - 2290. Is c a composite number?
True
Suppose 64*n = 66*n - 6. Let k be (-3)/(n + (-108)/33). Suppose 10*f + 1243 = k*f. Is f a composite number?
True
Let k(u) = u**3 - 20*u**2 - 49*u + 143. Is k(45) a composite number?
False
Let f(y) = 115*y**2 + 2*y + 5. Suppose -20*k - 35 = 125. Is f(k) composite?
False
Is 14/(-84) - (-2339991)/54 a prime number?
False
Is -1019541*((6/4 - 2) + (-9)/(-54)) prime?
False
Let g be (-567)/(-49) + (-4)/7. Suppose 5*w - g*w = -1938. Suppose d = w + 86. Is d composite?
False
Let q = -247 - -234. Is -1 + 1 - (-6538 - (8 + q)) a composite number?
True
Let r(u) = u**3 + 5*u**2 - 25*u - 3. Let h be r(-13). Let t = -485 - h. Suppose 6*p = p + t. Is p a composite number?
False
Let d(f) = -f**2 - 25*f - 174. Let c be d(-11). Is (-104)/c + 8/10 - -18197 a composite number?
True
Suppose 53*y = 50*y + 15. Let k(z) = 2*z - 3. Let t be k(y). Suppose t*d - 515 + 144 = 0. Is d a prime number?
True
Is (-8528543)/68*-4 + -20 a prime number?
True
Suppose 11*i + 310614 = 101691. Is 4/(-40) + i/(-30) a prime number?
False
Suppose 9402 = 4*m - 502. Let h = 563 - m. Is (3 + h/(-3))*3/2 prime?
False
Suppose 6*k - 8 = 2*k. Let i be k/7 - 196290/(-14). Suppose -4*y + i = -5*f, -5*y + 3*f - 5*f + 17485 = 0. Is y a composite number?
False
Let h = -216 - 5426. Is (h/(-52) - (-10)/4) + 0 prime?
False
Suppose -8*k + 147 = 179. Is (k + 4 + 1)/((-3)/