0062). Suppose -4*r = -5765 - c. Suppose -6*u + r = -9513. Is u prime?
True
Let f = 35 + -17. Suppose -23 = -w + 4*l, -w - 4*l + 1 = f. Suppose 4041 = w*x - 4*b, -3*x + b = 2*b - 4026. Is x composite?
True
Suppose 268*o - 238*o - 921870 = 0. Is o composite?
True
Let v = 85 - 88. Is (1 - 1/v)*-3 + 1839 a composite number?
True
Suppose -n - 1615957 = -24*n. Is n a prime number?
False
Let f(w) = -190*w**2 + 13*w + 60. Let v(h) = -3*h**2 - h - 1. Let g(a) = -f(a) - 2*v(a). Is g(-8) a composite number?
True
Suppose -b + 3*m + 70 = 2, 4*m = -2*b + 166. Let l = -71 + b. Suppose -3*f = l, 4*o + f = 1539 + 2295. Is o a prime number?
False
Let g be 2/(-4)*(0 - -2). Let y be -6*9/6*g. Is (-318)/(-2)*6/y a composite number?
True
Suppose 5*l = 6*y + 165499, 3*y - 165508 = 14*l - 19*l. Is l composite?
True
Suppose 0 = -12*a + 7*a + 11*a - 3636798. Is a composite?
True
Let j = 74647 + -42326. Is j a composite number?
False
Suppose 8*p - 4*h - 486 = 6*p, -3*p = -5*h - 732. Let m = 406 - p. Is m composite?
False
Suppose -2*y + 5*y - 63 = -4*c, -c + 7 = -y. Let v be (4 - 4 - -3) + c. Is v/(-24)*-2014 + (-1)/(-4) prime?
True
Let u(o) = 3*o**3 + 117*o**2 + 84*o + 251. Is u(78) a prime number?
False
Let p = -444 + 447. Suppose 0 = 4*d - p*l - 29804, -l - 2336 = -d + 5115. Is d prime?
True
Let x(s) = 1196*s**3 - 14*s**2 + 90*s - 23. Is x(10) a prime number?
True
Is (-2 - -7)*(-18421176)/(-40) prime?
False
Let t = 39 + -57. Let c = t + 21. Suppose u + 2*u - 275 = -4*q, -c*u + 263 = -2*q. Is u a composite number?
False
Let a = -189 - -174. Is a/(-5)*7158/18 composite?
False
Let z = 240 + -120. Let a = z - 115. Suppose -2*n = -k - 529, -8*n + a*k = -4*n - 1043. Is n a prime number?
False
Suppose z - 3*t - 21 = -2*z, -4*z = 3*t. Suppose -z - 11 = 14*l. Is (l/(-2))/((-3)/(-4470)) a composite number?
True
Suppose 0 = -2*s + 19611 - 2919. Let y(k) = 4*k**2 + 118*k - 195. Let n be y(-48). Suppose -l = 4*l - 3*x - s, -n = -2*l - 5*x. Is l a composite number?
True
Let s(r) = r**3 - 30*r**2 + 2*r - 57. Let h be s(30). Suppose 2*c = 3*w - h*c - 5517, 5*w - 9195 = 5*c. Is w a prime number?
False
Let a(f) = 5*f**2 - 4*f - 11. Let n be a(-11). Let k = 1317 - n. Is k a prime number?
False
Suppose 371*d + 26830 = 4*c + 370*d, 33529 = 5*c + 3*d. Is c composite?
True
Let x(s) = 2*s**2 + 41*s - 22. Let v be x(-21). Is -4*1/v*(-588698)/(-88) a composite number?
False
Let q(s) = 73*s**2 - 17*s - 25. Let i(d) = 74*d**2 - 16*d - 22. Let y(m) = -4*i(m) + 5*q(m). Is y(-7) prime?
True
Let d(u) = 50*u**2 + 12*u + 4. Let f be d(10). Suppose 2*b + 3*p - 5*p = 3424, 0 = -3*b - p + f. Is b prime?
True
Suppose -p - 2*k = -0*p - 63, -4*p + 2*k = -282. Let y be (0 + -2)/(p/(-24) - -3). Is 15/(-20) + (-6076)/y a composite number?
False
Let z = 286 + -286. Suppose -3*x + 573 = -4170. Suppose -2*i + x = r, z = 3*i - 0*i - 5*r - 2378. Is i a prime number?
False
Let m(z) = -z**2 + 33. Let w be m(0). Suppose -13*a - w = -16*a. Is a prime?
True
Suppose o = 3*l + 209 - 27, -5*o + 2*l = -819. Is o prime?
False
Let t be 0 - (-1*13178 - 2). Suppose -t = 5*r - 0*r. Let m = -1485 - r. Is m a prime number?
True
Suppose 0 = -2*z + 25*q - 22*q + 541703, 1083421 = 4*z - 3*q. Is z composite?
False
Let t = -24040 + 99007. Is t a composite number?
True
Suppose -2*m - 2*m = 0. Suppose m = -2*y - 2*y + 4*s + 12, -23 = -5*y - 3*s. Suppose -6*b + 11*b + 54 = 2*k, y*b - 53 = -k. Is k a prime number?
True
Let b(t) = -5*t + 4*t - 3065*t**3 - 2 - 86*t**2 + 87*t**2. Is b(-1) a prime number?
False
Suppose -28*n - 295298 = 42*n - 4038828. Is n a prime number?
True
Suppose -1231 + 5961 = 10*c. Let f = c + 1680. Is f a composite number?
False
Is (-4)/5 + (-5771661)/(-245) a composite number?
False
Let d = -230 - -234. Suppose -d*x + 1856 = 5*n - 0*n, 5*x - 4*n - 2361 = 0. Is x a prime number?
False
Suppose 0 = -7*t + 13416 + 1739. Let i = t + 1854. Suppose 5*q - i = 416. Is q composite?
False
Let w(q) = -938*q - 1905. Is w(-11) a composite number?
True
Let q = -13892 + 26230. Suppose -16*c - 15*c = -q. Is c a composite number?
True
Let a = -174 + 177. Is (-2 - a)/((-3)/339) a prime number?
False
Let g(t) = -t**3 - 2*t**2 - t + 2. Let v be g(-2). Suppose -v*w + 870 = -5*o - 17369, w + 3*o = 4564. Is w prime?
True
Suppose -3*g - 7*d = -324990, -32*d + 34*d - 6 = 0. Is g a prime number?
False
Let c(k) = -43*k + 33 - 11*k**2 - 9*k**2 + 25 - 8. Let d(p) = -10*p**2 - 22*p + 25. Let v(x) = -6*c(x) + 11*d(x). Is v(11) composite?
False
Let z(u) = -277*u + 17. Suppose 14*d = 9*d - 15. Let g be z(d). Let l = -451 + g. Is l prime?
True
Let b = -19800 + 388937. Is b prime?
True
Suppose h - 1081168 = -3*o, -2*o - 8*h = -10*h - 720792. Is o composite?
False
Let k = -205 - 3194. Let j = 5056 + k. Is j a composite number?
False
Let x = 11 + -16. Is (-7828)/x + (-54)/90 prime?
False
Let c = 10693 - 2185. Let a = c + -3355. Is a prime?
True
Let d = 34 + -29. Suppose -x + 1 = -d*k - 21, -5*k = -3*x + 26. Suppose 3*g - 474 = 3*m, -2*m = -6*g + x*g + 634. Is g a composite number?
True
Let z(g) = 5*g**2 - 13*g + 23. Let u(t) = -t**2 + t - 1. Let l(x) = 4*u(x) + z(x). Let y be l(8). Suppose -2*h = -y*h + 3573. Is h a composite number?
False
Let b be (-4 - (11756 + 4))/(-2). Suppose 892 = -s + b. Is (s/(-15))/(1*2/(-3)) prime?
True
Suppose -419669 - 277897 - 1725052 = -11*b. Is b a composite number?
True
Let f = -2 - 0. Let z be f/(-4) - (-45)/(-18). Is ((-34)/(-85))/(z/(-3265)) a composite number?
False
Suppose 7423*r - 7394*r - 28994345 = 0. Is r composite?
True
Is (4 - -10) + 25 + 113432 prime?
False
Let y = -50265 - -98756. Is y a prime number?
True
Suppose 1609216 + 690999 = 48*l - 2109881. Is l a composite number?
True
Let d(c) = 33*c**2 - 4*c + 13. Let h be d(2). Let f = -54 + h. Is f a prime number?
True
Suppose -b + 1202472 = 3*x, -5*x - 5*b = -2652279 + 648149. Is x prime?
True
Let y = -51169 + 77166. Suppose -9*c = -7150 - y. Is c a composite number?
True
Let n(s) = 3*s**2 - 15*s - 209. Suppose -2*y + 68 = -6*y. Is n(y) a prime number?
False
Let q be 0/8 - (0 + -3). Suppose 2*t + l - 3727 = -q*t, 0 = -5*t + l + 3723. Is t composite?
True
Suppose 3505 - 4369 = -9*w. Let x = -862 - 45. Let u = w - x. Is u composite?
True
Let g(o) be the first derivative of 897*o**2/2 + 2*o + 57. Is g(1) a prime number?
False
Let m(h) = -13817*h + 870. Is m(-3) composite?
True
Let k(v) = 198*v**2 + 16*v + 30. Let g be k(-10). Suppose 2*y - g = 4032. Is y composite?
True
Suppose 23*i = 6*i + 4080. Suppose 3*v + 129 = 42. Let k = i + v. Is k a prime number?
True
Let x be ((-154)/21)/((-2)/(-33)) - 4. Let g = 125 + x. Suppose g = 4*h + 4*h - 13256. Is h a prime number?
True
Is 931862/8 + 80/320 a composite number?
False
Let n = -776 - -778. Is (n/8)/(10/86120) a composite number?
False
Let s be (1 + -1)*25/25. Suppose 2*l - 38 + 24 = s. Is 1 + 0 + (-2688)/((-28)/l) prime?
True
Let i(n) be the first derivative of 26*n**3/3 + 9*n**2/2 - 11*n - 34. Let w = 14 + -8. Is i(w) prime?
False
Let w(t) = 2248*t + 19. Let x be w(12). Suppose 3766 + x = 19*j. Is j prime?
True
Let a(w) = -7*w**2 + 232*w - 206. Is a(29) composite?
True
Is 0 + 2 - (2 - -123)*(-103)/1 a composite number?
True
Let p(n) = -n**3 - 12*n**2 - 2*n - 8. Let x be p(-10). Let z = -46 - x. Let j = 1121 - z. Is j a prime number?
False
Let f = -37 - -36. Let g be 0/f - (-1098 + 8). Suppose -3*k + 5*p = p - 1045, -3*k + g = 5*p. Is k prime?
False
Suppose -9431 - 11423 = -2*m. Is m prime?
True
Suppose 3*n - 3*a = 2424, 3*n - 2*a - 2532 + 107 = 0. Suppose 4*w - 3*w - n = -5*y, w - 326 = -2*y. Is y composite?
True
Let h = 2 + 0. Let t be (-25)/(-10)*(h + 316). Is (16/(-20))/((-6)/t) a composite number?
True
Let y be ((-12)/4)/((2/(-12))/1). Suppose 3*v + y = w + 1, 0 = 4*w - 4*v - 52. Suppose 2*z - w*z = -171. Is z a prime number?
True
Let l(z) = 7*z**3 - 21*z**2 - 10*z + 23. Let s be l(16). Let t = s - 12312. Is t a composite number?
False
Let j(f) = 5*f**2 + 6*f + 6. Let x be j(-5). Let p = 107 - x. Suppose p*a - 7242 = -0*a. Is a composite?
True
Is 3/(-21) + (-47)/((-1645)/15331020) a composite number?
False
Let c = 976850 - 558919. Is c prime?
True
Suppose 14 = -y - 4*q, 0*y + 2*q + 6 = -y. Is 11967*((-2)/(-3))/y a prime number?
True
Let k(n) = -44240*n - 6619. Is k(-21) composite?
True
Suppose 119*z - 121*z