number?
False
Let r = -68155 + 35966. Let m = r + 45144. Is m a composite number?
True
Let i = 48263 + -26602. Is i a composite number?
False
Suppose 0 = -t + 6*t + 5. Let h be (t + 231)*(-1)/(-2). Let v = 192 - h. Is v a composite number?
True
Suppose 0 = 2*d - 110947 - 108319. Is d a prime number?
False
Let n = 1832417 + -887766. Is n a composite number?
False
Suppose 0 = -o + 1, 5*o + 90669 = 2*d. Is d prime?
True
Let l(q) be the second derivative of q**4/12 + 7*q**3/2 + 2*q**2 - 10*q. Let m be l(-21). Suppose -3*d + m*d = 127. Is d a prime number?
True
Let l(v) be the third derivative of v**4/24 - 5*v**3/3 + 15*v**2. Let p be l(18). Is -4 - (-1 + p*-23) composite?
False
Let y(k) = 5*k + 11. Let w(n) = -21*n - 44. Let m(a) = -2*w(a) - 9*y(a). Let p be m(-5). Suppose 0 = 2*f + p*q - 274, 2*f + 3*q + 493 = 6*f. Is f composite?
False
Let k(h) = 8*h + 83. Let q be k(-11). Is (20154/15)/((-2)/q) prime?
True
Suppose -4*y + 227766 + 379006 = 0. Is y prime?
True
Suppose -45*z - 839344 = -7766149. Is z prime?
True
Suppose 0 = 46*c - 2715878 - 9720636. Is c prime?
False
Is 693320 - ((-12)/(-96) - (36/32 + -4)) composite?
False
Let g be (6/(-2) + -2)*79. Let r = 1872 + g. Is r prime?
False
Let y(g) = -17782*g**3 + 2*g**2 - g - 5. Let l(a) = -17781*a**3 + 3*a**2 - 6. Let t(p) = 2*l(p) - 3*y(p). Let f be t(-1). Let j = -12181 - f. Is j composite?
True
Let v = -60282 - -34535. Let x = 52386 + v. Is x a prime number?
False
Suppose 32889918 = 207*s + 13317447. Is s composite?
True
Let u(m) = 121*m**2 + 34*m - 506. Is u(15) composite?
True
Let r be (-8)/(-6) - 11/(-3). Suppose -r*c = -9*c - 1436. Is (c - -4)*-1*(0 - -1) a prime number?
False
Is ((-6157890)/360)/(((-27)/(-12))/(-3)) a composite number?
False
Let x(t) = -26*t**2 + 45*t - 26. Let l be x(20). Let f = -4329 - l. Is f a prime number?
True
Let g = 51598 - 20291. Is g composite?
False
Let p(h) = 4510*h**2 + 158*h - 955. Is p(6) prime?
False
Suppose -4*d + 17 + 3 = 0. Let v(n) = 17*n**2 - 27*n + 9. Let a be v(-17). Suppose 374 = d*z - a. Is z a prime number?
True
Let k(l) = -l + 2. Let w be k(8). Let d be (-2 + 5)*(-1040)/w. Let j = d - 283. Is j composite?
True
Suppose b - 5*j + 19 = 0, 6*b + 2*j = 2*b + 34. Is (-16)/(160/(-12585))*76/b composite?
True
Let l(q) = q**2 - 8*q - 5. Let v be l(9). Let m(w) = 3*w**3 + 2*w**2 - 8*w + 13. Is m(v) composite?
True
Suppose -97455 = -5*v + 53*w - 48*w, -2*v - 5*w + 38968 = 0. Is v prime?
True
Let d be 10928/4 - (-1 - 1)/(-2). Suppose 5*v - 9674 = d. Is v a prime number?
False
Suppose -2*y - 430 = n, 2*y - 4*n - 6 = -416. Let d = 137 - y. Suppose -2*c = -328 - d. Is c composite?
True
Suppose 8*c = 13*c. Let z be (-1 + c + 26/8)*-596. Let t = z + 2752. Is t a prime number?
False
Let x = -22045 + 43473. Suppose -10*d + 7992 = -x. Let c = -2035 + d. Is c composite?
False
Suppose 5*g = 6*g + 55. Let n be (-14)/10 + (-22)/g. Is -2*-166*n/(-4) composite?
False
Let u be (-21)/(-14)*(0 - (-3728)/12). Is u - (-8)/(8/3) a prime number?
False
Let b be (-737)/(-22)*76 - (-1 + 5). Is 1/4 + (-168)/(-64)*b prime?
True
Let v = 56 - 42. Is 7567 + 9*v/(-21) a prime number?
True
Let t = 86 - 82. Suppose -p - p = -t*o - 2152, p - 1085 = -o. Suppose -42*c + 40*c + p = 0. Is c a composite number?
False
Let w(k) be the second derivative of 247*k**3/6 - 9*k**2/2 - 81*k. Let d = 1 + 3. Is w(d) a composite number?
True
Suppose 0 = -18*q + 3378481 + 1453889. Is q a composite number?
True
Let q(v) = 116*v**2 + 3*v - 1. Suppose 7*r = 6*r + 2. Is q(r) prime?
False
Suppose -6*k = 5*k - 33. Suppose -k*d + 50 = -7. Is d composite?
False
Suppose 2*k + 0*k = -3*y + 5449, 2728 = k + 5*y. Let g(z) = 60*z - 243. Let d be g(4). Is (-2 + d - -6)/(1/k) prime?
False
Let z(w) = 5461*w**2 - 22*w - 112. Is z(5) composite?
False
Is -7 - 25/(175/(-347298)) a composite number?
True
Let k = 63179 - -6932. Is k composite?
False
Let l(d) = -d**2 - 8*d + 8 - d**2 + 2*d**2 - d**3 - 4*d**2. Let c be l(-4). Suppose 4*p = 2*s - c - 24, 2*p = -5*s + 124. Is s prime?
False
Let a(m) = -2764*m**2 - 9*m - 4. Let w(x) = -5529*x**2 - 19*x - 8. Let t(g) = -9*a(g) + 4*w(g). Is t(-1) prime?
False
Let l(o) = 28*o**2 - 7*o + 3. Let c(n) = -1. Let a(r) = -c(r) + l(r). Let h = 48 + -45. Is a(h) prime?
False
Let t be (-33708)/9*6/(-4). Suppose t = 27*d - 25*d. Is d a composite number?
True
Suppose 0 = -3*m + m - 8, -4*m = 4*w - 31280. Suppose -7*n = 12 - w. Let z = -719 + n. Is z composite?
False
Suppose 8*r - 15508 - 14740 = 0. Is r composite?
True
Let s(n) = -3*n**3 + 2*n**2 - 23*n + 515429. Is s(0) composite?
False
Is 1317/4829 + 842080/11 a prime number?
False
Let g = -827982 + 1427459. Is g composite?
False
Let s(x) = -5804*x - 32. Let j be s(-5). Suppose -u - 21293 = -2*q, -u = -5*q + 24240 + j. Is q a composite number?
True
Suppose -38*s = -74*s + 8805276. Is s a composite number?
True
Let w = 1175 + -747. Suppose 3*k - 1229 = 2*j - w, 0 = -2*k + 2*j + 536. Is k a composite number?
True
Let r be (-5)/((-789)/(-393) - 2) + -3. Let u = r + 1249. Let c = u - 397. Is c a composite number?
True
Let g(h) = 5*h + 116*h**3 - 70 - 76 + 144 + 2*h**2. Is g(3) a composite number?
False
Let c(b) be the first derivative of -517*b**2/2 - 3*b - 8. Let z be c(1). Let a = z - -917. Is a prime?
True
Suppose c - 2864 = -5*x, 2829 = 23*c - 22*c - 2*x. Is c a composite number?
True
Let j be ((-30993)/12)/(3/(-12)). Let v be (-6 - -6 - 7) + 7303. Let u = j - v. Is u a prime number?
False
Suppose 8*y = -1 - 15. Let p be 8/4*y - -22. Is 8770/p - (-2)/(-9) prime?
True
Suppose 7*w = 3*w + 12. Suppose 6*t - 2090 = -4*t. Suppose t = w*c - 280. Is c prime?
True
Let u = -453041 + 894198. Is u prime?
True
Suppose 0 = -5*l + 18*p - 19*p + 89518, l = -6*p + 17921. Is l composite?
False
Let l(u) = 21*u - 146. Let p be l(7). Is 0 + 975 + 1 + -6 + p composite?
False
Let r(d) = d**3 + 173*d**2 + 93*d + 925. Is r(-128) a composite number?
False
Is 1*((-318143)/(-94))/((-2)/(-316)) - 6 a composite number?
True
Let p(m) = 15*m - 10. Let b be p(2). Let i be (5/b + -1)/(3/(-24)). Suppose -w = -i*w, -673 = -z - w. Is z a prime number?
True
Suppose 2*m + m - 30 = 5*a, 3*a - 1 = -2*m. Suppose m*g - 10*g + 8005 = 0. Is g prime?
True
Suppose 4*i - 5788 = -516. Suppose 917 = d - i. Let t = 3206 - d. Is t composite?
False
Let k(w) = 22*w**2 - 6*w - 17. Let z be k(-5). Let d = z - 150. Is d composite?
True
Let t be (-206874)/36*(-8)/6. Is t + (1 - -1)*(-2)/4 prime?
False
Let f(d) = 52*d**3 - 5*d**2 - d - 63. Is f(11) composite?
True
Let u(s) = -8050*s + 333. Is u(-3) a prime number?
False
Let h = 1475 - -2999. Is h prime?
False
Is ((-28559473)/2372)/((-1)/4) a composite number?
True
Is (-36692061)/(-46)*(2 - 4/3) composite?
True
Let a(m) be the third derivative of -39*m**6/40 + m**5/60 - 5*m**4/12 - 7*m**3/2 + 6*m**2 + 2*m. Is a(-4) a composite number?
False
Let a(h) = 5*h**2 + 44*h + 11. Let s = -309 + 321. Is a(s) prime?
True
Let g(s) = 3*s - 16. Let x be g(5). Let c be (28275/100)/(x/4). Let l = 2345 + c. Is l prime?
False
Suppose v + 5*a - 3 + 17 = 0, -12 = 4*a. Suppose n - 2 = -v, 3*m + 2*n = 8. Suppose m*o = 1436 - 90. Is o a prime number?
True
Let u(p) = -17*p**2 + 0 - 5*p**3 + 14*p**2 - 2*p + 5. Is u(-3) prime?
False
Suppose -39 = 18*m - 21*m. Suppose m*a = -a + 85778. Is a a composite number?
True
Let l(n) = -22*n**2 - 7*n + 7. Let y be l(-5). Let d = -240 - y. Let t = 79 + d. Is t composite?
False
Let b be 1*4*(-33 - -2). Is b/(-1178) - (-124201)/19 prime?
False
Let g(v) = v**3 - 4*v**2 + 4*v - 3. Let l be g(3). Let k = 18266 + -12125. Suppose -10*f + 13*f - k = l. Is f composite?
True
Let p = 274933 + -168132. Is p a composite number?
False
Let c = 19 + -13. Let g be (-8)/c*(19 + 5). Is (-8)/g - 3030/(-8) prime?
True
Let u(j) = 24*j**2 + 6 - j**3 - 6*j**2 + 19*j - 3*j. Let a be u(-11). Suppose 2*p + 3324 = 2*b, -7*b + 5*p + a = -5*b. Is b a prime number?
True
Let f = 1 + 6. Suppose 0 = -w - f*w + 24. Suppose 3*h - 2*n = w*n + 583, -h = -n - 193. Is h composite?
False
Let o be (-1551)/21 - (80/(-28) + 3). Let t = 42 + o. Let q = 171 + t. Is q prime?
True
Suppose 0 = 9*d - 2*d. Suppose d = 3*i - 1806 + 345. Suppose h - 968 = -h + s, -h = s - i. Is h a composite number?
True
Let w(t) = -162*t**3 + 4*t**2 - 22*t - 325. Is w(-11) a composite number?
False
Suppos