 prime number?
False
Is (13 - (-1107)/(-81))*(0 - (-35331)/(-2)) a composite number?
False
Let c = 226 + -223. Suppose c*g - 23264 = 5*f, 0 = -g + f - 6*f + 7748. Is g a composite number?
False
Suppose 0 = -859*t + 882*t - 3361243. Is t prime?
True
Let i(q) = -q**3 - 4*q**2 + 6*q + 25. Let t be (-12)/10*40/(-12). Suppose -5 - 27 = t*o. Is i(o) composite?
False
Let u = 1556 + -273. Suppose -17*g + u = -16*g. Is g composite?
False
Let g(a) = -6503*a - 38. Is g(-5) composite?
True
Let o(c) = 10965*c + 1333. Is o(18) a prime number?
False
Suppose -6*f + 4 = -2*f. Let a be (1 + 0)*(f - 2). Is a/(-5) - (-71148)/110 prime?
True
Let q = -41 + 36. Let b(a) = 61*a**2 - 8*a - 10. Let x be b(q). Suppose 4*c + l + 4*l = 1253, 4*l - x = -5*c. Is c prime?
True
Let v(b) = -b**2 + 443. Let g = -151 - -151. Is v(g) a prime number?
True
Is ((-45)/(-14) - (-2)/7)*(-68578968)/(-812) a composite number?
True
Suppose -3424 = -5*h - 3*d, 0 = h - d - 3*d - 694. Let w = h - 298. Suppose -w - 506 = -3*u. Is u a prime number?
False
Let k be -3 + -14*9/(-6). Suppose 0 = -6*f - 0 + k. Is f - 2/(2/(-988) + 0) prime?
True
Suppose -10 = -3*m - 10. Suppose m = -24*i + 37*i - 9087. Is i composite?
True
Let p be (2/(-5))/(-13 + 29688/2280). Let f be 33/(((-18)/(-44))/3). Let k = f + p. Is k a prime number?
True
Let u be (5689*(-2 - -1))/(2/(-2)). Suppose q - u = -2*k - k, 4*q - 2*k - 22728 = 0. Is q a composite number?
False
Suppose 2*l + 31 = 3*u, u - l - 22 = 2*l. Suppose 1301 = -j - 5*y, -u*j - 5150 = -3*j + 2*y. Is j/(-8) + 3/12 a composite number?
True
Suppose 4*d + 3*l - 120 = 0, 9*l + 30 = d + 11*l. Suppose 381698 - 6188 = d*f. Is f a composite number?
False
Let q be 2/22 - (-228)/33. Suppose 0 = -4*z + q*z - 2733. Is z composite?
False
Let m = 3180 - 643. Is m composite?
True
Let d be ((18/10)/3)/((-1)/(-10)). Suppose 0 = b - d + 208. Let f = -59 - b. Is f composite?
True
Let a(h) be the third derivative of -91*h**5/60 - h**4/24 - 3*h**3/2 + 3*h**2. Let c be a(3). Is 2/(-10) + c/5*-1 composite?
True
Let r = 39169 + -20616. Is r composite?
False
Let r(k) = -3*k**2 + 14*k - 22. Let s be r(16). Let p = 872 + s. Suppose -v + 1 = -p. Is v a prime number?
True
Let b = 19238 + 231704. Is b composite?
True
Let y = -882 - -1298. Suppose -y*l - 1055 = -417*l. Is l a composite number?
True
Suppose -4*c - k + 1694 = -5496, 0 = 4*c + 4*k - 7196. Suppose c = b - 1443. Suppose -4*z + 4*q = -b, 0 = 3*z - 2*q - 899 - 1534. Is z composite?
True
Suppose 61*r - 119446 = 203061. Is r a prime number?
False
Is (-14314788)/(-36)*4/4 composite?
False
Suppose 15*i - 608311 = 14*i - 4*r, -3*i + 5*r = -1825018. Is i a prime number?
False
Let t be (4 - (-5)/(-3))*-849. Let i be t/4 - (2 - (-54)/(-24)). Let f = 698 + i. Is f prime?
False
Let x = -181 - -111. Let v be (12/(-56))/(4/x)*12. Is (41589/v - (-2)/(-10)) + -3 prime?
False
Let f(v) = v**2 - 5*v - 171. Let m be f(16). Suppose m*g + 5 = 0, g + 20460 = 4*q - 17993. Is q composite?
False
Let s be (-20)/(-6)*(-7)/(-14)*3. Is (4/6)/(s/122535*6) a composite number?
True
Suppose 101*x - 151743 - 124156 = 88*x. Is x prime?
False
Is 11 + (4542 + 10 - -10) prime?
False
Let r(f) = 2991*f**3 - 191 + 97 + f**2 + 1001*f**3 + 92. Is r(1) a prime number?
False
Let w = -27535 - -48012. Is w composite?
False
Let r be (-3)/(48/(-52)) + 3/(-12). Suppose -2*h - 21 = -r*p, -h - 4*p = h + 28. Is h/((-12)/(-4)) + 131 a prime number?
True
Suppose 3*q + 111 - 123 = 0. Suppose 4*a = 2*s + 18898, 4*s + 19673 - 785 = q*a. Is a composite?
True
Suppose 30*w - 10*w - 4930659 = 3182521. Is w composite?
False
Is (464674/14)/((1/1)/1) a prime number?
True
Let s = 1505 - 494. Let j = 260 - 84. Suppose -n - r = -s, 4*r - 3211 + j = -3*n. Is n prime?
True
Suppose -11321 = -6*i + 10615. Suppose 5*k + i = -2*p, -2*p = 4*k + 3168 - 244. Let l = k - -1219. Is l a composite number?
False
Let v be (-9)/27*6 - -7. Suppose -4*w = -119*k + 115*k + 160648, 0 = 5*w - v. Is k composite?
False
Let y(s) = -4*s + 27. Let n be (-1)/(3 + 62/(-21)). Let a be y(n). Is a/(-148) - (0 - (-1918)/(-8)) a composite number?
False
Is (-7 - -2 - (-20)/5)*-17771 prime?
False
Let u = 24150 + 14069. Is u prime?
True
Let d = -330 + 304. Let f(x) = x**2 + 25*x + 9. Is f(d) a composite number?
True
Let w be 24/6*130/8. Let o = 29 - w. Is 0 - (o - (-2 + 3)) composite?
False
Let w = -175 + 284. Suppose j = w + 18. Is j a prime number?
True
Let r be (8062/(-6) - 0)/((-3)/9). Suppose -7127 = -2*s + r. Is s a composite number?
True
Let q be (-3)/36*-4*0. Let a(n) = -n + 51. Let z(o) = -8*o + 256. Let c(v) = 11*a(v) - 2*z(v). Is c(q) a prime number?
False
Let p be (368/(-24))/((2/(-3))/(-1)). Is 2118*2 - (p + 18) a composite number?
False
Let l be 8/(-3*(-1)/(-6)). Let b(d) = -7*d - 31. Let f be b(l). Suppose 0 = 4*y + 2*o - f - 573, 3*y - 494 = -5*o. Is y prime?
True
Suppose 2379 + 9924 = 3*c - 6*n, 5*c - 20570 = -3*n. Is c a composite number?
False
Suppose 49*c = 44*c - 2610. Let y = -435 - c. Is y a prime number?
False
Suppose 74560211 + 19217599 = 210*j. Is j a prime number?
True
Let l(c) = -c**3 - 7*c**2 - c - 1. Let p be l(-7). Suppose 7864 = p*k - 12740. Suppose -k = -3*i + 6787. Is i composite?
False
Suppose 635 + 262 = 39*v. Suppose 111952 = -7*l + v*l. Is l a composite number?
False
Let y = 192 - 187. Suppose -4*b - y*t + 1965 = 641, 4*t = -b + 331. Is b a composite number?
False
Let a(b) = 96*b**2 + 156*b + 17. Let r be a(9). Suppose 3*n - 226 + 17338 = 0. Let j = n + r. Is j prime?
False
Suppose -966676 = 6*t + 264434. Is 24/(-156) + t/(-39) composite?
False
Let m(y) = 75*y**2 + 16*y + 37. Let s be m(-11). Suppose 2*d - 4*t = -2*d + s, -d = 3*t - 2246. Is d composite?
False
Suppose 16*k + 306029 = 18*k - u, 0 = -2*k - 2*u + 306020. Is k a composite number?
True
Suppose 49*u - 4800654 = 25590763. Is u a composite number?
False
Suppose 0 = -4*y - 0 - 16. Let f(o) = -4*o - 2*o**2 - 3*o + 2 + 3*o**2 + 5*o. Is f(y) composite?
True
Suppose 30*i - 29*i - 822314 = -n, 1 = n. Is i composite?
False
Suppose 39 = 25*a - 86. Suppose -2*o - 2*b = -4*b - 5852, -5*b + 14580 = a*o. Is o composite?
True
Let g(w) = 85007*w + 2080. Is g(3) a prime number?
False
Let v be (1 + (-3)/2)/((-11)/7326). Suppose -4*w = -b + v, 2*w - 37 + 1026 = 3*b. Suppose 32*h = 33*h - b. Is h a prime number?
False
Suppose 92*r = 70*r + 1640122. Is r composite?
False
Let m = -265 - -280. Is (5 + (-46)/8)/(m/(-490340)) composite?
False
Let p(f) = 5744*f**2 - 1081*f + 11. Is p(6) a prime number?
False
Let y = -15 - 0. Let x be (y/6)/(1/(-2)). Suppose -x*o + 662 = -1193. Is o a composite number?
True
Let m(k) = k**2 + 10*k - 8. Let h be m(-8). Let y be (h/5)/(39/(-1690)). Let q = y - -171. Is q a composite number?
False
Suppose -59 = 3*c + 88. Let t = 12 + c. Is (t/2)/((-2)/68) a prime number?
False
Suppose -20*o = -25*o + 2*a + 646573, 5*o + a = 646561. Is o a prime number?
True
Is 2029425/30*(-6)/(-10)*(-4)/(-6) a composite number?
False
Let r = -185839 + 397900. Is r a composite number?
True
Let r = 2504 - -199487. Is r composite?
True
Let l be 154/56 - (-6)/(-8). Suppose r = x - 663, -4*x + 2656 = -5*r + l*r. Is x composite?
True
Let g(o) = 7*o - 35. Let v be g(6). Let n(p) = -p**3 + 8*p**2 - 8*p + 7. Let a be n(v). Suppose -10*l - 1422 + 8792 = a. Is l composite?
True
Let p(d) = 27*d + 1365 - 1264 + 110*d. Is p(10) a prime number?
True
Let n(q) = 5*q**2 - 20*q + 27. Let g = 11 - -2. Let o be n(g). Suppose 0 = -5*z + o - 82. Is z a prime number?
False
Let p(v) = -7*v**3 + 2*v + 1. Let d be p(-1). Suppose -18 = -d*k - 0. Suppose -k*o = -4*i + 296, -2*i - 2*o + 134 = -7*o. Is i composite?
True
Suppose 1805*k - 84600 = -5*v + 1804*k, 0 = 3*v - 5*k - 50788. Is v prime?
True
Let i(j) be the third derivative of 29*j**4/6 - 83*j**3/6 + 3*j**2 + 7. Is i(17) a composite number?
False
Let x(d) = -6*d + 4 + 0 + d + 8. Suppose 3*b - 6*b = 39. Is x(b) a prime number?
False
Is (-234704)/12*(-5)/(-10)*(-45)/10 composite?
True
Let i(q) be the second derivative of q**5/30 - 7*q**4/24 + q**3/2 - 19*q**2/2 + 18*q. Let y(a) be the first derivative of i(a). Is y(-14) prime?
False
Suppose 28549 - 126815 = -5*p + 4*u, -3*u - 19662 = -p. Suppose 2*w + 4*r - 10646 = 0, -p = -4*w + 2*r + 1642. Is w a composite number?
False
Suppose 3*n - 2*x - 22 = 0, 0 = 3*n - x + 2*x 