Is k a composite number?
True
Suppose 3*u - 2939857 = 5*b, -3*b - 2274354 = -2*u - 314450. Is u composite?
False
Let j(c) = c - 5. Let m be j(6). Let q be 0 + (m/(-4) - 213/12). Let x(i) = -i - 7. Is x(q) prime?
True
Let z(u) = 11 - 3*u + 4*u - 2*u - 24. Let g be z(-16). Suppose -g*d + 2891 = 278. Is d composite?
True
Let n = -63 - -134. Suppose -n = -4*b - 55. Suppose -2773 = -b*w + 775. Is w a composite number?
False
Suppose 1097814 = 42*x - 171963 + 31491. Is x a prime number?
True
Let g = 2227692 - 1054799. Is g prime?
True
Suppose -6*l - 7161 - 21333 = 0. Let i = 7970 + l. Is i a composite number?
False
Let h = -20794 - -24057. Is h a composite number?
True
Let l(g) = 31 - 22*g**2 + 103*g**2 - 11 + 54*g**2 + 19 + 2*g. Is l(-8) composite?
False
Let a(z) = -32*z**3 - 4*z**2 + 59*z + 28. Let n be a(-12). Suppose -2*p + n = 3*p - 3*f, -4*p + f = -43225. Is p a prime number?
False
Let g(z) be the second derivative of 0 - 2*z**2 - 2/3*z**3 - 9/5*z**5 - 23*z - 1/4*z**4. Is g(-3) a prime number?
True
Let f = -4 - -24. Suppose 0 = 5*k - 9*k + f. Suppose k*n - 211 = 234. Is n prime?
True
Suppose -44*h = -829914 + 723027 - 2733445. Is h a prime number?
True
Suppose 147*y - b + 498031 = 150*y, y - 5*b = 166053. Is y a prime number?
True
Is 948/5214 + ((-42302)/11)/(-2) a composite number?
True
Let v be (-2)/3*1188/72. Let w(p) = 77*p**2 + 13*p + 137. Is w(v) a prime number?
True
Let t(r) = 6*r**2 + 4*r - 7. Let g(n) = n**2 + 15*n + 11. Let i be g(-14). Let x = i + 9. Is t(x) a composite number?
False
Let c(v) be the third derivative of -v**6/60 - 13*v**5/30 - v**4/2 - 25*v**3/6 - 271*v**2. Is c(-17) a prime number?
False
Let n(l) = -7*l - 99. Let i be n(-16). Suppose 108951 = i*g + 10*g. Is g composite?
True
Suppose 3*b = 89 + 13. Suppose -b*o - 80905 = -45*o. Is o composite?
True
Let j(n) = -n**2 - 3*n - 4. Let o be j(-4). Let w(g) = 8*g. Let s(x) = x**3 + 6*x**2 + 94*x - 9. Let q(h) = -s(h) + 11*w(h). Is q(o) a prime number?
False
Let y(u) be the second derivative of -u**5/20 - u**3/6 + u**2/2 + 34*u. Let v be y(0). Is v/5*5044 - 1/(-5) a prime number?
True
Suppose 0 = 19*q + 16*q + 105. Is (7/(-28))/(q/287916) a composite number?
False
Suppose -251739 = 8*a - 1322323. Is a a prime number?
False
Suppose 0 = -y - f - 2, -2*y - 3*y - 26 = f. Let g(z) be the second derivative of 5*z**4/4 - 4*z**3/3 - z**2/2 - 7950*z. Is g(y) composite?
False
Let t(u) = 2*u**3 + 21*u**2 - 17*u + 90. Let w be t(-16). Let m = w + 7153. Is m composite?
True
Suppose 0 = 2*f + 2*g - 193768, -5*f + 862*g - 859*g + 484444 = 0. Is f a prime number?
False
Suppose 3*l + 30 = 24. Let i be (-1536)/(-16)*l/(-3). Suppose 0 = -3*h + 445 - i. Is h a composite number?
False
Let o(x) = x**2 - 14*x - 16. Let s be o(15). Is s/1*(-1082 - 5) a prime number?
True
Let a = -50094 - -109427. Is a a prime number?
True
Suppose -2333*c + 2325*c = -224152. Is c composite?
False
Suppose -1207 = -2*s - 5*o, -9*s + 13*s = 3*o + 2453. Suppose d - 2174 = s. Is d a composite number?
True
Let g = -404 + 407. Suppose -q = -6*q + 2*i + 26095, -q + 5219 = g*i. Is q composite?
True
Suppose 4*z - 11418844 = 6507*g - 6511*g, 0 = 4*z - 2*g - 11418796. Is z prime?
True
Let s = -95779 - -523662. Is s prime?
True
Let d = 194661 + 546208. Is d a composite number?
True
Let w(z) = -z**2 - 2*z + 5. Let a be w(-4). Let y be a - (-1506 + -1 + 2). Suppose 2*r - 5*v = -3*r + 1500, -5*r + 3*v + y = 0. Is r prime?
False
Suppose 3*d - 18 = d. Suppose 0 = -d*o - 218 + 1424. Let m = o - -15. Is m prime?
True
Suppose -58*p + 63*p = 0. Suppose p*o = -5*o - 4*d + 3455, 4*o - 2764 = -d. Is o a prime number?
True
Let x = -687 + 690. Suppose 6059 = 2*n + x*c, 0*n = 4*n - 5*c - 12173. Is n a composite number?
False
Let l(n) = 16*n**2 - 28*n - 45. Let g be l(26). Suppose 3*z + 4*t = 7533, -4*z + t - 6*t = -g. Suppose -8*s + 5*s + 5023 = 4*a, -z = -2*a + 3*s. Is a composite?
True
Let i be (6 - 10)*(-6865 + -3). Suppose -i = -14*f + 25182. Is f prime?
True
Is -6*(-4 + (-50)/(-15))/((-16)/(-258052)) a composite number?
False
Let r(a) = a**2 + 33. Let v be r(-6). Let u = v + -49. Suppose u*n - 25*n + 22045 = 0. Is n a composite number?
False
Suppose -1 = t - h - 5, t + h = 2. Suppose -t*n + 10 = -2. Suppose -5*f = 4*p - 217, 101 = n*p - 2*p + 5*f. Is p a prime number?
False
Is -12 - -157953 - (12/4 + -13) prime?
True
Let r = 10 - 7. Suppose 1 = -w, 3 = r*y + 5*w - 1. Suppose 0 = -4*d - y*h + 3514, 9*d - 4387 = 4*d - h. Is d prime?
True
Let j = 17909 + 950. Is j prime?
True
Let r(w) = -252*w**3 - 15*w**2 - 226*w + 31. Is r(-16) a composite number?
False
Let d be ((-9)/6)/(1/(-2)). Let p(h) = -3*h**3 - 10*h**2 - 12*h - 4. Let m be p(-7). Suppose 842 + m = d*u. Is u prime?
True
Let g(s) = -25*s + 4. Let y be g(-3). Suppose 0 = -c + 3*m - 0*m + y, 2*c + 2*m = 126. Is c*3 - (3 - (-10)/(-2)) prime?
False
Let f be 4/(-3)*(510/(-20) + 0). Suppose f*i = 32*i + 15430. Is i composite?
True
Let t(m) = 10*m + 812376. Let r be t(0). Is r/(-162)*(-6)/8 composite?
False
Let o be (-1)/(-2) + 15/6 + -1. Suppose o*y + 10*y = -9144. Is (8/(-12))/(4/y) a prime number?
True
Is 5029890/10*(-3 + (-57)/(-9) + -3) a prime number?
True
Suppose -3*f + 5*f - 10 = 0, 0 = 3*a + 4*f - 152. Suppose -3*z - 3*l = -114, 0*z + a = z + 3*l. Is z a composite number?
True
Let f = -59686 + 194945. Is f composite?
True
Is 20/45 + (-75905440)/(-288) composite?
False
Let v = -264 + 263. Let i = 178 - v. Is i composite?
False
Let u = -80 + 79. Is u - -1 - 4 - -4308 - 1 a prime number?
False
Suppose 0 = 2*d + d + 3, 2*d - 10 = -3*t. Let v be ((-6)/t)/((-33)/44). Suppose 3*u + 10222 = 5*w, 2*w - 8182 = -2*w - v*u. Is w composite?
True
Let d(y) = -1229*y + 181. Let u = -168 + 162. Is d(u) composite?
True
Let h(g) = 852*g**2 + 27*g + 29. Is h(-6) composite?
False
Suppose -755 = -9*r + 14*r. Is 5*12/(-30) - r composite?
False
Let h(t) = -t**2 - 6*t + 34. Let r be h(-9). Suppose 12588 = 5*x - r*m + 6*m, 3*x = 5*m + 7566. Is x a composite number?
True
Let a = -65 - -63. Is 4983 + 2*a*4/(-4) a composite number?
False
Is (-16570)/(-2) - 0/(-52) composite?
True
Suppose 0 = 4*k + 3*g - 917611, -2*g - 11974 - 905612 = -4*k. Is k composite?
False
Let u be (-54)/(-45)*5/3. Let t(z) = 175*z**3 - z**2 + 1. Is t(u) prime?
False
Suppose 3525 = 4*t - t. Suppose k - 70 = 5*l + 432, 3*k - 5*l - 1486 = 0. Let a = t - k. Is a a composite number?
False
Suppose 0 = 3*n + b - 1291613, 1722144 = 4*n + b - 3*b. Is n composite?
True
Suppose 2*j - 14 = -2*w, 10 = -0*w + 2*w. Suppose -j*f - 251 = -g - 0*f, -248 = -g - f. Suppose -p + a + 122 = 0, -p - p + g = -a. Is p composite?
False
Let p(n) = -3 - 2*n + 508*n**2 - n - 504*n**2. Let q be p(-1). Is q/16*2 + (-897)/(-2) prime?
True
Suppose -235*l + 3*g = -231*l - 532634, 3*l - 399465 = -3*g. Is l a composite number?
False
Suppose 24 - 84 = -10*s. Suppose -16963 = -s*m + 4919. Is m a composite number?
True
Suppose -2*c + 4*q + 3652 = -c, 0 = q - 1. Suppose -14579 = -5*t + c. Suppose -9*y + t = -2*y. Is y composite?
False
Suppose 3*j + b - 5 = 0, -4*j + b - 71 + 87 = 0. Suppose 8*x = 3*x + 16240. Suppose 6*h - 1080 = 5*h - s, -s = -j*h + x. Is h a prime number?
False
Let z(a) = -20660*a - 223. Is z(-11) a prime number?
False
Suppose 23*g = 20*g + 216. Suppose -581693 - 308587 = -g*l. Is l a prime number?
False
Let h(d) = -d**3 - 25*d**2 - 100*d + 8. Let u be h(-20). Suppose 2*x - 587 = -3*j, -5*j = -5*x - u*j + 1454. Is x prime?
False
Suppose 0 = -4*h + 4*q - 4, -23 + 3 = -4*h - 4*q. Let l be (-202)/5*(54/(-12) + h). Let s = 264 - l. Is s prime?
True
Let w = 79 - 67. Let a be 57/w + (30/(-8) - -3). Suppose 5*d = -b + 819, b + a*d - 446 = 377. Is b a prime number?
True
Is 7171108*(-3)/(-33) + (-79)/(-869) prime?
False
Suppose -11*t = -251852 - 1213799. Is t prime?
True
Let o be (1/3)/(2/3522). Let z = -245 + o. Let s = z + -73. Is s prime?
True
Let x(k) = -73*k - 433. Let z be x(-6). Suppose z*u = -5*n + 7200, -n + 2*u = u - 1438. Is n prime?
True
Let y = 328 - 308. Is 8/y + 40953/5 composite?
False
Let h(p) = 241*p**2 + 4*p + 1. Let c be h(-3). Let o = c + -1271. Is o a prime number?
True
Suppose -314294 = 78*i - 3178220. Is i a composite number?
True
Let n = 48 + -36. Suppose 7*g = n*g - 15. Suppose 0 = g*m - a + 3*a - 124, 5*m + 2*a - 200 = 0. Is m composite?