 0 = -2*s - r + 93069, -s + 46536 = -219*r + 220*r. Is s a prime number?
False
Let b(k) = -k**2 - 12*k + 31. Let d be b(-13). Is (-2)/(-9) - (-2570)/d a composite number?
True
Let a(s) = 1941*s + 363. Is a(6) a composite number?
True
Suppose -56*w = -3*t - 54*w + 270983, -3*t - 3*w = -271008. Is t prime?
False
Let f(x) = 6*x**3 + 50*x**2 + 7*x + 218. Is f(21) a prime number?
False
Let y(z) = -5*z**2 + 6*z - 10. Let t(h) = 3*h**2 - 3*h + 5. Let m(r) = 9*t(r) + 4*y(r). Let l be m(2). Is (-6)/(-27) + 55371/l + 2 prime?
True
Suppose 0 = 3*g - 9, 11*g = -3*s + 9*g + 3350499. Is s prime?
False
Suppose -105*w + 107*w = 12. Suppose -40*l = -w*l - 207026. Is l prime?
True
Is 3/(-15)*1*(-42417930)/6 a composite number?
False
Let n(g) = 36*g + 8. Let x = 9 + -4. Let v be n(x). Suppose 7*o - v = 169. Is o composite?
True
Let y be 6/((-3 + 6)/(-3)). Is 22267 + (y - (-6)/(-3)) a composite number?
False
Is (-32959890)/(-190) + (-11)/(627/6) a prime number?
True
Let w(b) = 419*b**2 - 6*b - 6. Let a be w(-1). Suppose -2*r = -4*n - 2038, -4*n = r - 630 - a. Suppose r = 3*v - 870. Is v composite?
True
Suppose -g = -15*d + 13*d - 38256, 2*g = 0. Is 2 + 5 + d/(-4) composite?
False
Suppose -71 = -4*i + l + 43, 5*i - 138 = -l. Let p(g) = 7 - 184*g + i*g - 54*g - 154*g. Is p(-3) a composite number?
True
Let d = 4228 + 6313. Is d composite?
True
Let f(s) = -2*s**3 + s**2 - 8*s - 12. Let h be f(6). Let n = 295 - h. Is n composite?
False
Suppose -573799 = 65*s - 8222931 - 6345173. Is s a composite number?
False
Let t(y) = -3*y - 62. Let c be t(-22). Suppose -2*b + c*v - 2 = 0, -b + 13 = 2*b + 2*v. Suppose 0 = 2*r + m - 1575, 3*m + b = 6*m. Is r prime?
True
Let y(c) = 2*c**3 + 2416*c**2 - 2415*c**2 - 91 + 0*c**3 - 3*c**3. Is y(-11) a prime number?
True
Suppose -54*h + 53*h + 5*x = -111233, 2*x = 8. Is h prime?
True
Let n be (-3)/(2/(-10)*-1). Let c be (10/n)/(10/135). Is -1*(2 - c/(-6))*-1406 a prime number?
False
Let n(v) = -138*v + 11. Let u(q) = -q**3 + 14*q**2 + 15*q - 3. Let s be u(15). Let k = -7 - s. Is n(k) a composite number?
False
Let t(s) = 84*s - 29. Let n be 3 - (77/(-21))/(1/3). Is t(n) prime?
False
Suppose -4*c + 2*y = -4176576, 0 = -6*c + 4*c + 9*y + 2088304. Is c prime?
False
Let t be 10/(-65) + 0 - 1174/(-26). Is -5*(0 + -1) - (t - 4346) composite?
True
Let f = -3301 + 5692. Is (f/(-12))/((-3)/84) composite?
True
Let v be (-1860)/24*(-12)/10. Let x = -80 + v. Let t(f) = 8*f - 37. Is t(x) a composite number?
False
Let i(g) = -g**3 - 4*g**2 + 12*g + 6. Let c be i(-6). Is 9792/14 - c/14 a prime number?
False
Suppose -20*c - 463635470 = -208*c - 102*c. Is c prime?
True
Suppose 3*c = -d - 3*d, 5*c = 2*d + 26. Is (c*332/(-8))/(-2) a composite number?
False
Let h(n) = -12*n**3 + 5*n**2 + 3*n + 4. Let a be h(-5). Suppose 3*g - 2367 = a. Is g a composite number?
False
Suppose 0 = -4*h + d - 2*d + 44423, -2*d = 2*h - 22204. Is h a composite number?
True
Let z = 67138 - 32627. Is z a composite number?
False
Suppose 0 = -y - 6*y + 35. Let i be (3/y)/((-42)/(-10) - 4). Suppose -25 = -u + 3*a - 0*a, 2*u + i*a = 86. Is u prime?
True
Suppose 2*q + 16 = 5*q + 4*a, -18 = -5*q + 2*a. Suppose -4*f = -12, -2*w - w = -q*f - 10029. Is w prime?
True
Let p = 7 - -3. Suppose p*q - 11*q = -414. Is q/27*(-1)/(-2)*111 a prime number?
False
Let o(y) = y - 6. Let c be o(-7). Let m = c - -14. Is (1 + 2 - m)*349 a composite number?
True
Let t = 80609 - -173024. Is t a composite number?
False
Let f(s) = -12*s**3 + 3*s**2 - 3*s - 2. Let i be f(-2). Let c(o) = -21*o**2 - o**3 - 86*o - 11 - 3 + i*o. Is c(-23) a composite number?
True
Let j be 1 - -22 - (-3 - -2). Let g(y) = 25*y**2 + 45*y + 11. Is g(j) prime?
False
Let k = -40 + 40. Let a be (-3)/(-9)*k + 3. Suppose -396 = -a*l - 3*u, -5*l - u = 2*u - 650. Is l prime?
True
Suppose 0 = 2*u - 3*u + 20. Suppose -u = g - 23. Suppose -2*n - 4268 = -t - g*t, -t + 1067 = -3*n. Is t a composite number?
True
Suppose 0 = -149*y + 625081 + 278604. Is y a composite number?
True
Let r = -38 - -40. Suppose 5*a = -4*x + 84527, 4*a - 67624 = -0*a - r*x. Is a/22 + (-6)/4 prime?
False
Suppose -c - 5 = 5*y, -c - 14*y = -13*y + 17. Suppose 0*w = -m + 3*w + 4, 5*m - 2*w = 72. Is 1852 - c/(m/(-4)) prime?
True
Let i(d) = 4*d**2 + 5*d + 4*d**2 - 19*d + d**2 - 17. Is i(-14) prime?
False
Suppose 46770 + 22193 = 109*m - 15839. Is m a composite number?
True
Let i(m) = 3*m**2 - m + 1. Let c be i(-1). Suppose -3*s = c*w - 4, 2*w - 2*s - 2 = -3*s. Suppose -3*u + 4911 - 944 = 5*l, w*l + 2*u = 1590. Is l composite?
True
Let x = -16 + 19. Suppose 0 = -x*b + 4*g + 9233, 4*g + 12320 = 4*b + 8*g. Is b composite?
False
Let a be 4 - 2 - 4*-2. Let v(r) = 2*r**2 + 49*r + 27. Let t be v(-24). Is ((-552)/a)/t*30/(-12) composite?
True
Suppose -75*u - 860841 + 164928 = -132*u. Is u a composite number?
True
Suppose -5*l - t - 2 = 0, 4*t + 8 = -4*l - 0*t. Suppose 3*o - 991 = -2*m + 1164, 5*m - 5*o - 5425 = l. Suppose 0 = i, 3*s = 5*s - 3*i - m. Is s a prime number?
True
Suppose -3941*i + 4019*i = 43759482. Is i a composite number?
False
Suppose -83*a + 70*a + 52637 = 0. Is a prime?
True
Is -74078*140/(-40)*(-1)/(-7) composite?
False
Let y(u) = 10*u**3 - 10*u**2 + 263*u - 275. Is y(42) a prime number?
False
Suppose -4*s + 1250 = 5*u - 2960, 3*s = u + 3167. Let h = -792 + s. Is h prime?
True
Let h be (-123)/(-9) - 14/21. Suppose 7*i - h*i = -4272. Let v = i + -491. Is v a composite number?
True
Let f(u) = 2428*u + 7. Let r(k) = -12141*k - 34. Let s(b) = 11*f(b) + 2*r(b). Is s(2) prime?
True
Let s(k) = k**3 + 6*k**2 + 2*k + 17. Let i be s(-6). Suppose -3*h + 3365 = 5*m, i*h + 2019 = 2*m + m. Is m composite?
False
Let u = -4346 - -7285. Is u prime?
True
Is (3*24/18)/(10/1282805) a composite number?
True
Let h be (-36)/(-14) - 112/196. Suppose h*c + 1410 = 2656. Is c a prime number?
False
Let m(z) = -254*z - 257. Let d be m(-19). Suppose 0 = 7*c - d - 688. Is c prime?
True
Is -1*619*(-3 + -1 + 2)/2 a composite number?
False
Let j(z) = -50*z**2 + z + 25 + 4*z**2 + 42*z**2 + 89*z**3. Is j(3) prime?
False
Let o(p) = 787*p**2 - 42*p + 191. Is o(6) composite?
True
Suppose -6*g + 62 = -22. Suppose g*d = 18*d - 17996. Is d prime?
False
Let j(n) = 1499*n**2 + 34*n - 123. Let f be j(4). Suppose 3*l - 6105 = -h + f, 5*l = 3*h + 50156. Is l prime?
False
Suppose -4*p - 4*r - 17 + 9 = 0, p = -2*r - 4. Suppose -3*x - 2*c + 5120 + 1256 = p, 5*x = 5*c + 10585. Is x composite?
True
Suppose -5*h = h - 2*h. Suppose 48*n - 2*n - 235934 = h. Is n prime?
False
Let y(q) = q**3 - 3*q**2 - 2*q - 3. Suppose 3*m - 6 = 0, 0 = -3*x - 0*x + m + 10. Let o be y(x). Let h(k) = 13*k**3 + 5*k + 7. Is h(o) a composite number?
False
Is 2891365 - (0 - 13 - 3) a composite number?
False
Let x be (114/(-4))/(3/(-6)). Suppose x*d - 54*d = 60. Is d/8*2*223/5 a prime number?
True
Let t = -6 - -26. Let g = -24 + t. Let b(w) = -496*w - 7. Is b(g) a prime number?
False
Let i(a) = a**3 + 106*a**2 + 44*a - 335. Is i(-92) a composite number?
False
Let r(v) = 10074*v - 847. Is r(12) a prime number?
True
Let u be 19*(-1 + -3 + 1). Let h = u + 59. Is (h/(-8)*-6)/(12/8488) prime?
True
Let y be ((-6)/(-8))/(6*7/(-15120)). Let b = 2627 + y. Is b a composite number?
False
Suppose -9*q + 3*q + 12 = 0. Suppose -4*d - t + 942 = -q*d, -2*d - 5*t = -942. Is d prime?
False
Let i = 42 - 37. Suppose i*g - 4*g - 2 = -2*a, 0 = 4*a. Suppose s + 1197 = 5*x, 0 = -2*x - g*x + 3*s + 962. Is x composite?
False
Suppose 0 = -14*o - 116 - 304. Is 42/o + 93872/5 a prime number?
True
Let j = 216 - 298. Let b = j - -159. Is b a composite number?
True
Suppose 5902 = -8*q - 1898. Suppose -d = -5*d - 5912. Let o = q - d. Is o a composite number?
False
Let v(r) = -r**3 - 22*r**2 - 23*r - 39. Let w be v(-21). Suppose -w*a = -4893 - 3438. Is a a composite number?
False
Let h be (-24)/40 - (350056/(-10))/(-4). Is (-12)/((-252)/7) - h/6 a prime number?
True
Suppose -21*i + 48 = -9*i. Let b be (60/18)/((-4)/(-6)). Suppose 5*o - 4*p = 700 + 639, b*p = -i*o + 1104. Is o a prime number?
True
Is 34/153 - (-32)/18 - 542688/(-12) a composite number?
True
Let y(j) = 36779*j - 103. Is y(3) prime?
False
Suppose 159735 = -4*b - 3*s, 2*b + 51773 + 28089 = 4*s. Let l = -25454 - b. Is l prime?
True
Let s(q) = 8 + 0*q - 3*q - 10 + 5*q + 157*q**2. Let z be s(1). Let v = 246 - z. Is v a 