n. Is r(n) composite?
True
Let j(s) = 11650*s**3 - 10*s**2 + 25*s - 80. Is j(5) a composite number?
True
Suppose 29*l - 3*k = 27*l + 100610, -k = 0. Is l composite?
True
Let g = 112 - 113. Let n be (-31 - -34)*(g - (0 - 2)). Suppose j = -2*q + 6*q + 499, 4*j - n*q - 1931 = 0. Is j a composite number?
False
Suppose 0 = -67*a - 99119 + 1945706. Is a a prime number?
False
Let x(r) = 12704*r**2 - 112*r + 367. Is x(9) a composite number?
True
Suppose 22*t + 3*t - 197942 = -13*t. Is t prime?
True
Let m be (423/(-45) + 8)/((-3)/15). Is ((-84)/(-18))/m - 37478/(-6) composite?
False
Let x = -17 - -32. Let s(w) = w**3 - 10*w**2 - 3*w + 35. Let f be s(x). Let l = f - 672. Is l composite?
False
Let x(g) = 355*g + 2. Let p be x(1). Let v be 5/(-7) + (-2)/7. Is p + 0 + (-2)/v a prime number?
True
Let b(w) = -9*w**2 - 38*w**3 - w + 5*w + 39*w**3 + 0*w - 24. Let n be b(9). Suppose n*v + 3880 = 20*v. Is v a composite number?
True
Let t(f) = f**3 + 9*f**2 - f - 9. Let a be t(-9). Suppose -13*r + 8*r + 5 = a. Is (-44)/(-16) - r/(-4) a prime number?
True
Suppose -3*i - 1036312 = -z, -845*i + 36 = -841*i. Is z prime?
True
Suppose 806*u - 755*u - 2406741 = 0. Is u a prime number?
False
Suppose -459*n + 7832198 = -437*n. Is n a composite number?
True
Is 322510/(114/22 + -3 + 32/(-176)) prime?
False
Let n(j) = 582*j + 21. Let r be n(-10). Is (-5 - r/4)/(7/28) composite?
False
Suppose 118*t - 348769 - 758341 = 108*t. Is t a composite number?
False
Let h(l) = 4*l + 10. Let s be h(-2). Suppose y = 2*y + s*z - 161, 5*z = 4*y - 644. Suppose -y - 384 = -5*j. Is j a prime number?
True
Suppose -10 = 2*m - 2*y, -2*m - 30 = -0*m + 3*y. Let a(z) = z**3 + 11*z**2 + 8*z + 11. Let n be a(m). Let q = n - -42. Is q prime?
False
Let y(b) = -b**3 - 7*b**2 - 4*b + 11. Let i be y(-5). Let p = 19 + i. Suppose 0 = -3*g + 5*n + 52 + 6891, 5*g - 5*n - 11585 = p. Is g prime?
False
Let x be -4*1*-1 + (-3 - -2). Suppose 5*f - 648 = -3*p + 2*f, 1082 = 5*p + x*f. Let c = p - 76. Is c a composite number?
True
Let s(w) = -7*w**3 - 8*w**2 + 5*w - 7. Let n be s(-6). Let q = 399 - n. Let d = q + 1231. Is d prime?
True
Let c(g) = -g**3 - 35*g**2 + 19*g - 63. Let y be c(-36). Let o = y + 1028. Is o prime?
False
Suppose 2*l - 6 = -2*z, -11*l = 3*z - 6*l + 1. Let q(u) = 6*u**3 - 5*u**2 + 5*u - 5. Is q(z) prime?
False
Let g = 1512735 - 420448. Is g prime?
False
Let r(v) = -v**3 - 13*v**2 - 24*v - 19. Let l be r(-11). Let x(b) = -14 - 44*b**2 + 5 - 4 - 2*b + 228*b**2. Is x(l) a prime number?
True
Suppose 5*j - 8171 - 6319 = 0. Let o = j + -1461. Is o composite?
True
Suppose 0 = 3*s - 237 + 231. Suppose -5*p - 3*m = -s*p - 2595, p - 881 = 3*m. Is p a composite number?
True
Let y(z) = 177*z**3 + 28*z**2 - 13*z + 29. Is y(6) composite?
False
Suppose 2*m - 3686 = -2*n, -n - 10853 + 3461 = -4*m. Is m a composite number?
False
Let n(q) = 4442*q + 2041. Is n(23) a composite number?
False
Let p = 14143 + -8996. Is p a composite number?
False
Let r(f) = -6*f**2 + 6*f + 3. Let q be r(-2). Let u be q/(-22)*(-16)/(-6). Suppose -u*n - 47292 = -16*n. Is n composite?
True
Let j = -23702 - -63361. Is j a composite number?
False
Let d(s) be the first derivative of 10*s**3/3 - 9*s**2/2 + 88*s - 299. Is d(7) composite?
True
Let g be -15 + 16 - (-1 - 0). Let f be (9 - 10)/(g/(-16)). Suppose 3*a - 4*h + f*h = 2649, -a - 2*h + 881 = 0. Is a prime?
True
Suppose b = -b - n + 8, -2*b + 16 = 3*n. Suppose 0 = -4*d, 4*a - 7204 = b*d - 0*d. Is a a prime number?
True
Let y(z) = -26*z**3 + 18*z**2 + 28*z + 187. Is y(-13) prime?
False
Let c(k) = -26*k**3 + 2*k**2 - 69*k - 12. Is c(-7) composite?
True
Let y(m) = -m**3 + 16*m**2 - 13*m - 8. Let n be y(15). Let t = n - 1. Suppose 22*p - t*p = 26. Is p a prime number?
False
Let m(a) = 2 + 7*a + 1 + 17*a**3 - 20 + 2 + 2*a**2. Is m(5) a prime number?
False
Let r = -105128 + 209618. Suppose r = 32*v - 6134. Is v prime?
True
Let x(g) = -7*g**3 + 24*g**2 - 17*g + 43. Let q(a) = -6*a**3 + 24*a**2 - 18*a + 44. Let w(o) = 6*q(o) - 5*x(o). Is w(21) a prime number?
False
Let g be 12/9 - 8/(-12). Suppose g*o - r - 4 = 0, -5*o + 7*r = 8*r - 17. Suppose -3*d - 5*k - 24349 = -5*d, 4*d - o*k - 48733 = 0. Is d a composite number?
True
Let j = 116918 - 7221. Is j composite?
True
Let x be (4 - (-74)/8) + (-2)/8. Suppose -18*p = -x*p - 70. Suppose p*u = 19*u - 9505. Is u a composite number?
False
Suppose 28*i - 29*i + 4 = 0. Suppose -2*f - 2918 = -i*y + 2*y, -4*y = 2*f + 2912. Let j = f - -2245. Is j a prime number?
True
Let k(b) be the first derivative of 27*b**3 + 7*b**2/2 + 54*b + 15. Is k(-7) a composite number?
True
Suppose 10*m - 45*m + 1610735 = 0. Is m a composite number?
False
Is 7 + 6 + -6 - (-154516 + 4) prime?
False
Let w = -304 + 322. Suppose -16*j - 2308 = -w*j + 3*g, 5*g - 5745 = -5*j. Is j a prime number?
True
Suppose -40*l = -51685 - 2920995. Is l a prime number?
True
Let u(f) = -305*f - 22. Let v be u(-6). Suppose 6*m - v = -i + 7*m, -2*i - 3*m + 3631 = 0. Is i a composite number?
False
Let n(y) = -27*y - 161. Let m be n(-6). Let l(g) = g - 11. Let c be l(-8). Is 1373*(m + 0) - (c - -21) composite?
True
Is ((-65)/13)/((-10)/137986) a prime number?
True
Suppose 0 = 2214*l - 2217*l, 3*q = 3*l + 162237. Is q a composite number?
True
Let d(s) = -3*s - 9. Let z be d(-5). Let k be z/(736/(-364) - -2). Let v = 922 + k. Is v a composite number?
True
Let s(u) = u - 7. Let f be s(10). Suppose f = 8*p - 7*p. Suppose 2*y + 2*d = -3*d + 1543, -p*d = 5*y - 3848. Is y a prime number?
True
Suppose -5 = -3*j + 1. Suppose j + 14 = 4*h. Suppose -236 = -h*m - 8. Is m composite?
True
Let b = 695 - 695. Let r(g) = 8*g**2 - g + 1. Let p be r(1). Suppose -3*u + p*u - 2865 = b. Is u prime?
False
Suppose 0 = 3*s - 4*a - 3712063, 443*a = 3*s + 441*a - 3712055. Is s composite?
False
Suppose 6*m = -3*j + 9*m + 121788, 5*j + 5*m - 203030 = 0. Is j a composite number?
True
Suppose 3*m + 2*w + 3*w = 56, 5*m - 52 = 2*w. Let r(k) = -3 + 14*k + 20*k + 1 + 8*k. Is r(m) a prime number?
False
Suppose -14272465 = -108*j - 4344997. Is j prime?
True
Let g = 120 + -120. Let f(m) = -7*m + 1507. Is f(g) prime?
False
Suppose 4*w = -c + 211479, -5*c - 2682*w + 2686*w = -1057275. Is c prime?
False
Suppose -2*r + 4*n + 4 = 0, -3*r + 6 = -0*n - 4*n. Is 0/(6/r) + 5273 a composite number?
False
Suppose 41 - 223 = -13*o. Is (o/(-70) - (-23603)/(-10))*-2 composite?
False
Let n(z) = -5 - 7 + 3 + 217*z**2 + 9*z - 14*z. Suppose -3*k - 2*h - 17 = -0*k, -2*h = -5*k - 7. Is n(k) composite?
True
Let m be (-228)/27*(-9)/2. Let p(j) = j**2 - 25*j + 183. Is p(m) a prime number?
True
Let t = 8965 + 23602. Is t prime?
False
Let n be (-8)/(-16)*34 - (2 - 0). Is 6191/2 + n/(-30) prime?
False
Suppose 5*k - 147*n + 148*n = 1621460, n + 5 = 0. Is k prime?
True
Let g = -308 - -326. Suppose 13*y = g*y - 2235. Is y prime?
False
Let i(j) = -j**3 - 3*j**2 - j - 1. Let s = -52 - -7. Let h = 39 + s. Is i(h) a composite number?
False
Let c be (-10)/6*(-4)/((-16)/12). Is (c - -7167) + -1 - -4 a composite number?
True
Let l(m) = -22*m**3 - 71*m**2 - 155*m - 41. Is l(-24) a prime number?
False
Let o(a) = 5192*a**2 + 350*a + 2671. Is o(-8) a composite number?
False
Let y(f) = -f**2 + 57*f - 157. Let c be y(3). Let k = -53 - 19. Let h = c - k. Is h a prime number?
False
Let n be 2/(-13) - 16131750/(-325). Suppose n = -392*o + 396*o. Is o a prime number?
True
Suppose -7*c = -0 - 7. Let w be (0/c)/((4 - -2) + -5). Let u(y) = y**3 - y + 1271. Is u(w) prime?
False
Is (-2)/13 + (-3 - (5 - 7332429/169)) composite?
True
Let u(n) = -555*n**2 + n - 31. Let x be u(-4). Let b = x + 15304. Is b composite?
False
Let w = -623508 + 1158841. Is w a prime number?
True
Suppose 1259 = -3*i - u, 0*i - 1257 = 3*i + 3*u. Suppose 0 = -2*q - q + 6, 1194 = -4*o - q. Let f = o - i. Is f composite?
True
Suppose 4*x - 5*v = 141, 0 = -4*x + 3*v - 18 + 165. Let z = -25 + x. Let n(i) = i + 23. Is n(z) prime?
True
Suppose 0 = -16*p + 20 - 4. Let l be p/(2 + 23/(-12)). Is (-2 - l/(-16))/(1/(-548)) a composite number?
True
Suppose 2*a = -6, -2*c + 1 + 15 = -4*a. Suppose c*y - 10450 = -2*g, 0 = -2*g + 2*y + 5524 + 4934. Is g a composite number?
False
Suppose 20*v - 22*v - 228 = 0. Let x = v + 120. Is 36/(-12)*(-1174)/x a composite number?
False
Suppose -519*p + 514*p + 1530415 = 0. Is p a composite numb