n + 5*a = 4*n - 123. Is n a prime number?
False
Is (0 + -1693)/(8 + -21 - -12) prime?
True
Let q be (-62)/(-10) - 2/10. Let n(f) = -f**3 + 10*f**2 + 21*f - 37. Let m be n(11). Let v = m - q. Is v composite?
False
Suppose -4*x - 3*o + 30022 = 0, -x - 2*o = -7*o - 7517. Is x a composite number?
False
Let l = 5717 - 3214. Is l composite?
False
Suppose 0*j + j = 5. Suppose -341 = -j*u + 69. Let t = -5 + u. Is t a composite number?
True
Suppose 0 = -7*j - 9290 - 4017. Let y = -1083 - j. Is y a prime number?
False
Let s = -339 - -528. Let y(g) = 14*g**2 - 3*g - 12. Let z be y(-4). Suppose -s = -n + z. Is n prime?
False
Let u be (-3)/2*2/3. Let f = u - -4. Let z(w) = 8*w**2 + 4*w + 1. Is z(f) composite?
True
Is (127/2)/(((-10)/20)/(-1)) composite?
False
Suppose 9*t + d - 7755 = 5*t, t - 1941 = 2*d. Is t a composite number?
True
Let h(q) be the third derivative of q**5/12 - 3*q**4/8 + 7*q**3/6 + 8*q**2. Let j be h(6). Suppose 6 - j = -s. Is s composite?
False
Let x(n) = n**3 - 8*n**2 - 6*n + 9. Let g(b) = 2*b**2 + 7*b + 6. Let f be g(-4). Is x(f) composite?
False
Let o = -65 - -132. Is o a prime number?
True
Let x = -1398 - -2411. Let g = x + -492. Let o = g + -270. Is o composite?
False
Suppose 6*q + 64 = -8. Let a(j) be the first derivative of -69*j**2/2 - 13*j + 3. Is a(q) composite?
True
Let m = -1266 - -1932. Suppose -362 = -4*l + m. Is l a prime number?
True
Let j = -22481 - -32248. Is j a composite number?
False
Suppose 4*j - 3*h + 943 = 2*h, -2*j - 464 = -4*h. Let z = j - -373. Is z prime?
True
Let l be (-1870)/6 + 2/3. Let o = l + 688. Is o a prime number?
False
Suppose -3*k - 2*i = -9896 - 6949, 3*k - 16854 = -5*i. Is k a composite number?
True
Let d(j) = 27*j + 3. Let v be d(3). Suppose -w + 295 = -v. Is w a composite number?
False
Let y(m) = 2*m**2 - 12*m - 39. Let p(t) = -t**3 - 15*t**2 - 14*t - 17. Let u be p(-14). Is y(u) a prime number?
True
Suppose 2*b - r - 102654 = 0, 3*b - r = 70896 + 83087. Is b prime?
True
Suppose 0 = 3*t - 1326 - 4842. Let w = t - -25. Is w prime?
True
Let p(a) = -a**2 - 6. Let i be p(0). Is (110 - 0)*i/(-12) a composite number?
True
Let t(i) = i**3 - 6*i**2 + 6*i - 1. Let d be t(5). Suppose d*f = -s + 180, 182 = s + f + 4*f. Suppose 3*o - 703 = -s. Is o a composite number?
True
Let i(o) = 18919*o - 23. Let b be i(3). Is (-4)/(-22) + b/22 a prime number?
True
Let x = 166 - 164. Is ((-93)/6)/(x/(-164 + 0)) composite?
True
Suppose 0*j = a - j - 571, 3*j = 15. Let z = 1035 + -638. Suppose 3*s - 2*w - a = 0, 2*s - 2*w - z = -5*w. Is s a prime number?
False
Let o = -14 - -26. Suppose -o*u + 406 = -10*u. Is u prime?
False
Let c(d) = -1606*d - 305. Is c(-12) prime?
False
Let i(n) = -37*n + 2. Let g be i(-2). Suppose -15*a + 18*a = 135. Let z = g - a. Is z a prime number?
True
Suppose -3*o = -2*b + 1642, -4*b + 7*b = 5*o + 2464. Is b a composite number?
True
Let b(n) = 9*n**2 - 6*n + 6. Let r be b(-6). Suppose -5*j + 2*j + 401 = -4*p, -3*p + r = 3*j. Suppose -2*q = -3*q + j. Is q a composite number?
False
Let r(x) = -2*x**3 - 9*x**2 - 12*x - 2. Is r(-5) a composite number?
False
Let d(f) = 4*f**2 - 16*f - 3. Let x be d(17). Let r = 2020 - x. Is r a prime number?
False
Suppose -36506 = -4*p - w, -147*p + 143*p - 4*w = -36500. Is p prime?
True
Let b(x) = 3*x - 7. Let c be b(5). Suppose -3*y = y - c. Suppose -y*h + 4*a = -19 - 3, 4*h - 4*a = 48. Is h a composite number?
False
Let i = 93 + -96. Is 585 - i*2/3 a composite number?
False
Let u = -909 + 1696. Is u a prime number?
True
Suppose 39 = 5*i + g, -i - 2*g + 15 = -0*g. Is 0 - (-1475)/i - (-22)/77 prime?
True
Let h(v) = 2*v**2. Let c be h(-1). Suppose 3127 - 755 = 2*j - c*o, -4*j - 4*o = -4752. Is j a prime number?
True
Suppose 3*g - 4*x + 70060 = 7*g, -70084 = -4*g + 2*x. Is g prime?
True
Let i(y) = -y**3 + 8*y**2 + 7*y + 11. Let s be i(9). Let r(q) = -922*q - 5. Is r(s) composite?
False
Let w be -1 - 2 - (-3 + 22 + -1). Is ((-6)/w - 1250/14)*-1 prime?
True
Let k = -56 + 787. Suppose -4*q + 4*f = 3*f + 582, 5*q + k = 3*f. Let h = q + 306. Is h a composite number?
True
Suppose -5 = 5*k - 10. Is (k - -67)*(-2)/8*-29 composite?
True
Let u(d) be the second derivative of -d**3/6 + 3*d. Let m be u(3). Let f(j) = 17*j**2 + 2*j - 2. Is f(m) composite?
True
Let p(m) = m - 5. Let k be p(7). Let i(q) = 273*q**2 - q - 3. Is i(k) a composite number?
False
Suppose -3*l = -5*d + 352771, 3*l = -d + 88055 - 17508. Is d a composite number?
True
Let k = -98 + 102. Suppose 2116 + 1280 = k*r. Is r a composite number?
True
Let z(s) be the first derivative of -71*s**2/2 + s - 2. Let f be z(-1). Let b = f + 57. Is b composite?
True
Is (-5605743)/(-351) + (-2)/(-9) prime?
True
Let z = -1251 + 893. Suppose 0 = k + 3*k - 3756. Let c = k + z. Is c a composite number?
True
Let s = 78 - 44. Let w = -31 + s. Suppose -p = -4*y + 1175, 3*p + 864 = w*y + 8*p. Is y a composite number?
False
Let d be (-15)/3 + 3 + 4. Let a = 4 - d. Suppose -a*y + 23 = -5*n + 458, -5*n - y + 435 = 0. Is n a prime number?
False
Let p = 3 + 8. Let q(b) = 5*b + 25. Let y be q(p). Let f = y + -34. Is f composite?
True
Let t be (-5)/(-10) - (-14734)/4. Suppose -t = -7*k + 3*k. Suppose 7*c = 4*c + k. Is c prime?
True
Is (-2)/(-3)*((-48564)/(-8) - -3) composite?
False
Let l be 6/(-9)*3/(-2). Is -1 + (0 - (-403 - 2) - l) a prime number?
False
Let u = 337 + -16. Is u a prime number?
False
Is 773994/91 - 12/(-21) prime?
False
Let r be -1*0/(-3) - -2. Suppose -9*t + 4711 = -r*t. Is t a prime number?
True
Suppose 2*j - j - 178 = 4*q, 0 = 4*j - q - 637. Suppose -j = 5*c - 1623. Is c composite?
False
Let a be (-3)/((-12)/(-4))*11. Let d = a - -15. Suppose -g - d*t = -87, 2*t + 310 = 4*g - t. Is g a prime number?
True
Let k be (-1049)/((6 - 12/4) + -4). Suppose -p = -4*l - 451, -3*p + 3*l + k + 286 = 0. Is p prime?
True
Let p be (-4)/24 + (-879)/18. Let u = 136 - p. Is u a prime number?
False
Suppose 9*u = 34*u - 22675. Is u prime?
True
Suppose -3*k + 4*x = -82882, 2*k - 5873 = -4*x + 49395. Is k/110 - (-4)/(-22) composite?
False
Let h(k) = -3453*k + 28. Let z be h(-4). Suppose 0 = -3*j + 5 + 4, 0 = 4*i + 4*j - z. Is i a composite number?
False
Suppose -38*i + 33*i + 2*h + 5569 = 0, 3*i - h = 3342. Is i a composite number?
True
Suppose -4*o - 326 = -6022. Suppose 0 = -r - 7*r + o. Is r a prime number?
False
Suppose 542 = -4*z - 50. Let m = z + 399. Is m prime?
True
Suppose -19*t + 5*l + 1903 = -18*t, 4*t = -3*l + 7520. Is t composite?
True
Suppose -9*q = -10*q + 894. Suppose 1822 + q = 4*r. Is r composite?
True
Let t(r) = 5*r - 14. Let o be t(6). Let z be (-2)/o + 45/(-24). Is z/((0 + -2)/46) composite?
True
Suppose 0*b = -3*b + 15, -g - 3*b = -18. Suppose 8 = g*m + m. Suppose 10 = m*l, -3*l = 3*d + 2*d - 425. Is d composite?
True
Suppose 4 = 2*h - 12. Suppose 47 = y - 5*k - h, y - 45 = -5*k. Let g = y + 27. Is g a composite number?
True
Suppose -n = -3*c + 9, -3*c + 4*c - 1 = 0. Let w(o) = -164*o + 25. Is w(n) a prime number?
True
Let a(d) be the second derivative of 269*d**4/4 + 5*d**3/6 + 5*d**2/2 - 2*d. Is a(-2) a prime number?
False
Let p = -2212 + 4275. Is p a prime number?
True
Suppose 9*s - 2*s - 31913 = 0. Is s a composite number?
True
Let m = 114 - -81. Suppose r = -4*r - 80. Let o = m - r. Is o prime?
True
Let z be (-1 - -4)*(-62)/3. Let p be 1/(-6) + z/(-12). Suppose 230 = p*j - 245. Is j composite?
True
Let m(p) = 27*p**3 + 2*p**2 - 3*p + 5. Is m(3) a composite number?
False
Suppose -2*w - 4*n + 2978 = 0, 0*w - 4*n = -3*w + 4517. Is w prime?
True
Suppose 12*i - 11012 - 51472 = 0. Is i composite?
True
Suppose -14001 = -8*m + 49207. Is m a prime number?
True
Let d = 52 - 27. Suppose 21*l - d*l + 532 = 0. Is l a composite number?
True
Suppose 0 = -2*g - w - 3*w + 30, -5*w + 60 = 5*g. Suppose 4*i + 12 = v + i, 3*i = -g. Suppose -4*j - 31 = -3*y + 214, -5*y + 423 = -v*j. Is y composite?
True
Suppose 5*m - 8 = z + 7, -2*m + 2*z = -14. Suppose m*f = 3*x - 8*x + 1643, 0 = 2*f - 8. Suppose -4*v + v + x = 0. Is v a composite number?
False
Let v be (4 - 2 - 0) + 74*22. Suppose b - v = -9*b. Is b prime?
True
Suppose -87*y = -83*y - p - 59073, -4*y = -3*p - 59083. Is y composite?
False
Let v(j) = 7*j**3 - 34*j**2 + 36*j - 16. Is v(15) a composite number?
True
Suppose -5*f - 20068 = -9*f. Is f a composite number?
True
Is -15482*((-2