. Let s be n(-24). Let q = s - -2034. Let u = -1313 - q. Is u a composite number?
True
Suppose -3*l = 4*k - 31970, -6*k = 29*l - 32*l - 47940. Is k composite?
True
Let y be 5 - (6 - (-1 + 2)). Suppose y = 4*x - 6*x + 4. Suppose -13*f + 4147 = -x*f. Is f composite?
True
Let u = 44 - 32. Suppose -5*b = 20, -5*l + 0*b + u = 2*b. Suppose 3*q + 5*m - 343 - 229 = 0, 0 = 2*m + l. Is q composite?
True
Let h = -17 + 15. Let x be ((-1016)/(-16) + -3)*1*h. Let f = 210 + x. Is f composite?
False
Let o(g) = 244*g - 31. Suppose -3*j + 2*p = -6 - 7, -5*j + p = -24. Is o(j) a prime number?
False
Let z = -19250 + 12993. Let x = z - -8998. Is x composite?
False
Let w = 35940 + 11657. Is w prime?
False
Let i be 4*6/(-12) - 1*-7. Let a(f) = f - 5*f**2 + 5*f**2 + 7*f + i*f**2 - 24. Is a(-17) a prime number?
False
Let f = -36 - -46. Is f*-3*4/24 + 6120 a composite number?
True
Let q(c) = -c**3 - 16*c**2 + 16*c - 17. Let u be q(-17). Suppose u = 30*g - 28*g - 2228. Suppose -27*v - g = -29*v. Is v a composite number?
False
Let z(h) = h**3 + 3*h**2 - 39*h - 41. Let s be z(-1). Suppose 0*i - 2044 = 4*i. Is (-1 + s)/(3 + 1534/i) a composite number?
True
Suppose 0 = p - 3*i + 5*i - 308, 2*p + 5*i - 620 = 0. Let v be ((-122)/3)/((-8)/p). Suppose 3*m + 2*m = v. Is m a prime number?
False
Suppose 3*n = -4*h + 28859, 2*h - 48103 = -2*n - 3*n. Let q = 15400 - n. Is q a prime number?
True
Is (1431911 - (22 + -17)) + -7*2/2 a composite number?
True
Let j be (0 - 2 - 257)*-1. Let r(i) = -5*i**2 + 37*i - 4. Let f be r(-3). Let y = j - f. Is y a composite number?
False
Let r(n) = -243*n**3 - 5*n**2 - 19*n + 86. Is r(-9) a prime number?
False
Let j(x) = -96*x**3 + 12*x**2 + 13*x + 445. Is j(-14) composite?
True
Suppose -4400 = -5*z - 4*c, 4*z = 3*z - 2*c + 886. Let o be -7*10/35*(-934)/4. Let f = z - o. Is f prime?
True
Let a(w) = -w + 24. Let f be a(0). Suppose 0 = -f*i + 29*i. Suppose 3*g - 782 = -4*t, 4*t + 234 = g - i*t. Is g prime?
False
Let y = -810790 + 1466757. Is y prime?
False
Let a = 35515 - -62432. Suppose 15*y = a + 13458. Is y composite?
True
Suppose 1793729 = 30*y + 749453 - 567234. Is y a prime number?
True
Let o be (2 - (-10)/(-3))*6/(-4). Suppose 3*x - 13705 = -o*q - 114, 0 = -3*q - 2*x + 20389. Is q a prime number?
False
Suppose -405139 - 853954 = -41*k + 21828540. Is k prime?
True
Suppose 3*g - 24945 = -6552. Suppose -11*v + 56764 = g. Is v a composite number?
False
Let a(j) = -2*j + 3. Let k be a(3). Let n(t) = t**2 - 6*t + 15. Let d(h) = h**2 + 4. Let i(x) = 4*d(x) - n(x). Is i(k) prime?
False
Suppose 152380 = 10*q - 14120. Suppose -16620 = -3*j + 5*r, -3*j - 7*r + q = -2*r. Is j prime?
False
Let s(c) = -c**2 + 14*c - 25. Let p be s(6). Suppose p*m = 17*m + 148476. Is m*-1*5/(-30)*3 a composite number?
False
Let r(v) = -v + 36. Let t be r(-12). Suppose -7*m = -3*m - t. Let f(o) = 13*o + 31. Is f(m) a composite number?
True
Let z(d) = 12244*d + 1717. Is z(9) prime?
True
Let i = -2897 - -2931. Let j = -329 + 204. Let f = i - j. Is f composite?
True
Is (2/3)/(8/389460 + 0) a prime number?
False
Let n be 16/2 - (-156)/(-26). Let a(q) = 21*q**3 - 4*q**2 - 6*q + 9. Is a(n) a composite number?
False
Suppose 12*k - 1091978 = -k - 21*k. Is k a composite number?
False
Let o be (1699/(-3))/(24/(-36))*16. Suppose 0 = -69*k + 73*k - o. Let n = k - 387. Is n prime?
True
Let m(j) = -25*j**3 + 6*j**2 - 13*j + 5. Suppose -411 + 11 = 40*s. Is m(s) a prime number?
False
Suppose 5860 = 42*l - 47*l. Let n = l - -2533. Is n prime?
True
Let z = -20326 + 53567. Suppose 0 = -15*h + z + 9254. Is h composite?
False
Let a be (14 - 13)/((-2)/(-26)). Let q be 3/2*a/(-39)*-2582. Suppose 3*u + 9839 = 4*s, -2*s - q + 6204 = 5*u. Is s composite?
False
Let l(m) = 50*m + 140. Let f be l(-3). Let h(v) = -28*v**3 - 6*v**2 - 52*v + 3. Is h(f) prime?
False
Suppose 0 = -3*r - 573 + 3723. Suppose 0 = 20*h - 17*h - r. Let n = 561 + h. Is n a prime number?
True
Suppose 5*o - l = -10, 0 = 5*o - 3*l - 0*l. Is (5 - 1) + (670 - o) a composite number?
False
Let d(p) = -16197*p**2 + 34*p - 33. Let l be d(1). Is (-5 - -7)/((-8)/l) a prime number?
True
Let s = 41 - 16. Let w = -22 + s. Suppose 3*b + w*g = 2*b + 52, 2*b - 154 = 4*g. Is b prime?
True
Let o = -108 - -130. Suppose 12*a - o*a + 200 = 0. Suppose -5*i + 305 = -a. Is i a composite number?
True
Let s(h) = 543*h + 84. Let v = 207 + -194. Is s(v) a prime number?
False
Let z(h) = h**3 + 20*h**2 + 4. Suppose 40 = -4*f + 2*f. Let n be z(f). Suppose 0 = n*v - 1120 - 72. Is v prime?
False
Suppose 2 = 7*h - 26. Suppose 0 = -5*p - 2*q + 2945, 3*p - h*p = -4*q - 567. Is p composite?
False
Is ((-124259)/(-4))/(750/3000) a composite number?
True
Let v = -11 - -11. Suppose -2*h + v*b - b = -1573, -h = 5*b - 773. Suppose h = p + 91. Is p composite?
True
Let f = 17 - 8. Suppose -4*l + 14 = 2. Is f + -4 + l - 2 a prime number?
False
Let d(k) be the third derivative of 7*k**5/60 + 29*k**4/24 - 27*k**3/2 + 3*k**2 + 29*k. Is d(17) prime?
False
Let x = 141 - 44. Suppose -l + x = 20. Is l a composite number?
True
Suppose -170253 - 320850 - 163532 = -5*k. Is k composite?
False
Suppose -j - 101*o = -100*o - 185054, 2*o = j - 185045. Is j prime?
True
Let m = 526 + -1440. Let a = m - -2899. Suppose a = 6*n - n. Is n a composite number?
False
Suppose -14 = -3*c + i, c + 3*c - 3*i = 17. Suppose z - c - 1 = 0. Is (z/9)/(1/6) + 873 a composite number?
False
Suppose -93 = -q - 5*h, q - 3*h = h + 57. Let z = q - 67. Let b(y) = 15*y**2 + y - 5. Is b(z) a composite number?
False
Let a(k) = -1175*k + 6. Let f be a(1). Let c = -407 - f. Let y = c + -433. Is y a composite number?
True
Let t = -55806 - -87989. Is t a composite number?
False
Let s(v) = 7*v - 7. Let i be s(6). Suppose -j + 191 = i. Suppose 4*m - 3976 = -j. Is m prime?
False
Suppose -3*v + 119 = -0*v - 4*w, -3*v + 109 = -2*w. Suppose -z - 9 + v = 0. Is (-1606)/(-18) + z/(-108) a composite number?
False
Suppose -b - 2*h = -17851, -b + 4*h = -16865 - 980. Is b a composite number?
True
Let b = -49 - -51. Suppose -4*a + 10274 = 2*p, b*a + 4*p = -2*a + 10272. Is a a prime number?
False
Let k = 43178 - -37323. Is k a composite number?
True
Let y(p) be the first derivative of 82*p**3/3 + p**2 - p + 1543. Let t(c) = c + 5. Let k be t(-4). Is y(k) prime?
True
Let b(i) = -1852*i**3 + 5*i + 7. Let g(u) = 2*u**3 - 6*u**2 - 2*u + 4. Let n be g(3). Is b(n) composite?
False
Suppose -2*y = 2*t - 5 - 5, -2*y = -6. Let l(o) = -3*o + 4*o**2 + 10 + 0 + o**3 + 7*o**t + 6. Is l(-9) a composite number?
True
Suppose -1647 = f + 620. Suppose -r = 2*s + 255 + 1097, s + 8079 = -6*r. Let o = r - f. Is o prime?
False
Suppose -43*d - 3 = -42*d, 2*d + 6 = -y. Suppose 20*j - 184453 - 128127 = y. Is j prime?
True
Suppose -100 = -52*i + 56. Suppose -72 = -5*p - 2*b, 0 = -2*b - 2*b + 4. Is (i + -1)*6223/p a composite number?
True
Is (1092/(-72) - -14)*-17502 a composite number?
True
Let r be (-1)/(-4) + (392/(-32) - -9). Is (50/5)/(r - (-26665)/8885) composite?
True
Let w = -88604 - -208401. Is w prime?
True
Suppose 0 = -3*g - 4*a - 6, 2*g = 4*a - 0*a + 16. Suppose -2*s = 3*l + 6 - 4, -g*l = s + 2. Suppose 646 + 4881 = 3*q - s*d, -d = 5*q - 9216. Is q composite?
True
Suppose -11*h + 123284 = 6*h. Let w be (-89800)/(-16) - (-3)/2. Suppose 7*d = h + w. Is d composite?
True
Suppose 0 = -29*f + 31*f - 12. Let h(r) = r**3 + 2*r**2 - r - 16. Let o be h(10). Suppose o = -4*n + f*n. Is n prime?
True
Let f be -155*(-48)/84*14/20. Is (6 - 5) + 229*f composite?
True
Suppose 43*u = 3*i + 45*u - 121793, 4*i = 3*u + 162419. Is i a prime number?
False
Suppose 8*a - 23*a + 34488188 = 13*a. Is a a prime number?
True
Suppose 0 = 5*j - 2*j - 15, m + 4308 = 2*j. Let d = -2889 - m. Is d prime?
True
Let p be 2 + (-15198)/(3 - 1). Let w = p - -16340. Is w a composite number?
True
Suppose -30839 = u - 6*u - 3*b, -24670 = -4*u - 2*b. Let i = 4027 + u. Is i prime?
True
Suppose 3*q + 13*q = 2*q. Suppose 17*w = -q*w + 82841. Is w a prime number?
False
Suppose 4*f + 3*j - 27 = 0, 2*j + 3 = 13. Suppose 0 = 4*r - 16, -5*r = -10*k + 13*k + 1210. Is k/(-1) + (f - 4) prime?
True
Suppose 3*v - 2*r = -r + 215, 220 = 3*v + 4*r. Suppose -v - 261 = 3*y. Let p = y + 268. Is p prime?
True
Let m(z) = -z**2 - 13*z + 1. Let c be m(-13). Suppose -4*f - 20 = 5*o, 3*f + c = 16. Let i(d) = -d**3 - d**2